
Let l = -11 - -12. Is l*(90 + 2 + -5) a composite number?
True
Let y(t) = 4 - 3*t - 3*t**2 + 5*t**2 - 3*t**2. Is y(-3) a prime number?
False
Let x(k) = k**3 + k**2 - k + 161. Is x(0) a prime number?
False
Let o = -77 + 55. Let l be (-10)/(-55) + (-3934)/o. Let h = l - 108. Is h a prime number?
True
Is -12*10/(-80)*(-1262)/(-3) prime?
True
Let o = 1284 - 643. Is o composite?
False
Suppose 2*u = -u - 2*o + 288, 3*u - 2*o = 288. Suppose u + 63 = 3*b. Is b a composite number?
False
Let c be 7 - -653 - (-3)/1. Let b = -368 + c. Is b a composite number?
True
Suppose -2*j + 2222 = 3*d - d, 3*d = -5*j + 3337. Is d composite?
False
Let m(q) = 1198*q - 3. Is m(1) a prime number?
False
Let j be (-3 + 2)/(2/(-6)). Suppose -2*f + 0*f = n - 40, 0 = 4*f + j*n - 76. Is f prime?
False
Let p(j) = 4*j**2 - 29*j + 5. Let y(t) = 2*t**2 - 14*t + 3. Let o(r) = -4*p(r) + 9*y(r). Let l be (2 + -1 - 2) + 7. Is o(l) a prime number?
True
Let n(l) = l**3 + 26*l**2 + 5*l - 11. Is n(-18) a composite number?
True
Let g(j) = 74*j + 11. Is g(4) a composite number?
False
Suppose k = 6*k. Suppose 0 = -p + r - 9, 6 = 3*r - 0. Let b = k - p. Is b prime?
True
Suppose 1 - 10 = 3*b. Let m(t) = 4*t**3 - 1. Let w be m(-1). Is (-44)/w - b/15 composite?
True
Suppose 2*r + 1 = 29. Is r a composite number?
True
Let m = 113 + -36. Let p = 47 + m. Let q = 177 - p. Is q a composite number?
False
Suppose 4*a - 5576 = s - 97, s + 3 = 0. Is a composite?
True
Let j = -5 - -25. Suppose 6*r - j = 2*r. Suppose 2*i + 4*u - 374 = r*u, -3*u + 728 = 4*i. Is i composite?
True
Suppose 343 = 2*g - 635. Is g prime?
False
Suppose z + 2 - 4 = 0. Suppose 0 = 4*k - 4, 0 = 2*x - z*k - 22. Suppose d + x = 31. Is d composite?
False
Suppose q - 6*q = -150. Suppose -4*a + 2*a = -q. Is a prime?
False
Let d be 0/(((-8)/(-2))/(-2)). Suppose d*s - 3*s = -4*f - 27, -7 = -2*s - f. Suppose 2*v = -q - 3*v + 89, -q + 89 = -s*v. Is q a composite number?
False
Let s = 100 + -322. Let o = s - -445. Is o composite?
False
Let c(l) = -2*l + 3. Let v(z) = -z**2 - 7*z - 6. Let q be v(-7). Is c(q) composite?
True
Is (8 - 4) + (-123)/(-1) prime?
True
Let c be (-12)/(-5) - (-12)/(-30). Suppose -4*d + 16 = 2*p - 6*p, -c*p + 22 = 4*d. Let b(n) = 7*n**2. Is b(p) composite?
False
Suppose -3*n + n = -2. Let i(c) = n - 14*c - 11*c - 10*c. Is i(-2) composite?
False
Let t(p) = 3*p + 2. Let g be t(-2). Let o = -2 - g. Is o composite?
False
Let z(n) = -23*n**2 + 4*n - 2. Let m be z(3). Let p = m + 83. Let g = -79 - p. Is g prime?
False
Suppose 5*f - 112 = 343. Is f composite?
True
Suppose -4*b + g + 13 = 0, -2*b + 3*g = -0*b - 9. Suppose -4*n + 4*w + 1153 = w, 3*n = b*w + 864. Is n composite?
True
Let r = 0 + -5. Let p be (666 + 4)*(-2)/r. Suppose 2*b - p = -42. Is b prime?
True
Let l(j) be the second derivative of -j**3 + 2*j**2 + 8*j. Is l(-7) a prime number?
False
Let a(l) = l + 10. Let j be a(-8). Suppose -j*k + 5 = -k. Suppose m = 4*w - 224 + 1, -k*w + m = -278. Is w composite?
True
Is -2 + 6564/(-2 + 6) a prime number?
False
Is (382/6)/((-5)/(-15)) prime?
True
Let g = -921 + 1328. Is g a composite number?
True
Suppose 0*x = 2*x - 8. Suppose -x*b + 120 = 4*t, -5*t + t + 3*b + 85 = 0. Is t composite?
True
Let w = -144 - 47. Let h = -104 - w. Is h a prime number?
False
Let c(r) = 14*r**3 - 3*r**2 + r. Let l be c(3). Suppose 0 = -5*b + 4*i + 1115, -98 = 2*b - i - 547. Let n = l - b. Is n a prime number?
True
Let v(a) = -1 + 18*a + 5 - 3. Suppose -4*o - 4*u = u - 35, -3*o + 2*u + 9 = 0. Is v(o) a prime number?
False
Let m(r) = -5*r**3 + r. Let y be m(-1). Suppose 2*d + 0*c = -5*c - 18, 2*c = -y*d - 36. Is (39/(-9) + 2)*d a composite number?
True
Suppose 3*a - 37 = -2*a + 2*q, 2*q - 53 = -5*a. Is 2204/6 + (-3)/a composite?
False
Let c = -171 - -248. Is c a prime number?
False
Let b(k) = -9*k**2 - 7 + 2*k**2 - k**3 + 3*k**3 + 10*k + k**3. Is b(6) composite?
False
Suppose -7*r - 1889 = -3*x - 3*r, -2*r = -2. Is x composite?
False
Suppose -4*n + 28 = 12. Suppose m - n*m - 477 = -3*h, 2*h + m = 324. Is h a composite number?
True
Let h(z) = -50*z - 6. Let q be h(-4). Suppose 0 = 4*l - 2*m - q, 26 = l - 0*l - 5*m. Is l a prime number?
False
Let j(c) = c - 6. Let y be j(7). Suppose 4*v = -2*a + 6, -5*a - 15 = -3*v + 9. Is y/(-3) + 67/v a prime number?
False
Let a(y) = y - 1. Let t be a(6). Let u = t + 17. Is u composite?
True
Let f = 1379 - -666. Is f a prime number?
False
Let j(q) = 0*q + q**3 - 7*q**2 - 2*q + 8 + 5*q + 0*q. Let i be j(6). Is 4/(-8)*i*11 a composite number?
True
Let x be -1 + (-1 - -2) + 8. Is x - 5/(5/2) a composite number?
True
Suppose 4*w - 5*y = -1 - 7, -2*y = 2*w + 4. Is (-171)/6*w/3 a prime number?
True
Suppose 0 = d - 451 + 38. Is d prime?
False
Let l(b) be the first derivative of -b**2/2 - 10*b - 3. Let v be l(-8). Is (v + 1)*-1*3 composite?
False
Let x = -652 + 1106. Is x composite?
True
Suppose 0 = -2*r + 1647 + 1437. Let x = r + -1015. Is x prime?
False
Let d = 7 + -3. Suppose 0 = -d*t - 43 + 279. Is t a composite number?
False
Let c = -6 - -10. Suppose 2*j + 785 = c*j - t, -j + 5*t + 370 = 0. Suppose 3*v = -2*v + j. Is v composite?
False
Let m(z) = z**3 + 2*z**2 - z. Let n be m(-2). Let i(v) = 6*v + 5 + 0*v**2 + 2*v**n - 3*v**2. Is i(4) composite?
False
Let g(p) = -17*p + 31*p + 163 - 13*p. Is g(0) composite?
False
Let h = -5 - -14. Suppose h + 21 = 5*z. Suppose -15 = -s + z. Is s prime?
False
Let q(h) = h**2 + 6*h + 7. Let r be q(-5). Let v be 48/r - (-1 + 2). Is v/(((-3)/(-21))/1) a prime number?
False
Let n = 90 - 57. Is n composite?
True
Suppose -5*j = -2*j - 23169. Is j prime?
True
Suppose -2*x - 10*l + 1584 = -5*l, -795 = -x - 4*l. Is x a prime number?
True
Let i be (2 - 2)/(0 - -1). Let h(f) be the second derivative of f**3/6 + 7*f**2/2 + f. Is h(i) prime?
True
Let p = 46 - 15. Is p a prime number?
True
Suppose 0 = -3*n - 5*y + 38, 2*n - 5*y + 8 = -0*y. Suppose n*r - 3*r + 33 = 3*m, r = -4. Let q(h) = 2*h + 1. Is q(m) a prime number?
False
Let r(b) = 42*b. Let s(j) = j**3 + 6*j**2 + 4*j - 4. Let n be s(-5). Let i be r(n). Suppose i = 2*l - 0*l. Is l composite?
True
Suppose 0*y = -t - 4*y + 129, 0 = -5*y - 25. Is t a prime number?
True
Suppose 0 = -8*y + 2344 + 9648. Is y a prime number?
True
Let m be ((-2)/6)/((-2)/(-534)). Is 0/(-3 - -1) - m a prime number?
True
Let k(f) be the first derivative of -f**3/3 - 3*f**2 - 6*f - 1. Suppose -3 = 3*u + 2*t + 7, 0 = u + 2*t + 2. Is k(u) a prime number?
True
Let c be -103*(0 + -20)/2. Suppose -4*z - z = -c. Is (-2)/(-7) - z/(-14) a composite number?
True
Suppose -4*z + 4*h = 142 + 6, 3*z = 2*h - 112. Is 8/(-4) + 1 - z a prime number?
True
Suppose -9 - 1 = 5*a, -390 = -4*y + 3*a. Suppose -y = -4*n + 2*c + 178, 2*c = -3*n + 195. Is n a prime number?
True
Suppose -2*p + 637 = 4*i + 259, -154 = -p + 5*i. Is p a prime number?
True
Suppose 24 = 3*u - 3*x + 6, 3*u + 2*x = 13. Suppose u*p + 3*l = 155, -2*p - 3*p + 155 = -5*l. Is p a composite number?
False
Let u(m) = -m. Let q be u(-5). Suppose -q*t = -3*t + 70. Let p = 148 + t. Is p composite?
False
Is -2 + (-5)/(-5) + (-20)/(-1) composite?
False
Suppose -4*w + 2*w + 10 = 0. Suppose 0 = -w*h + 913 + 267. Suppose -h = -3*q + 10. Is q prime?
False
Suppose 10 = -x - 4*x. Suppose 0 = 2*c - 10 - 2. Is (9/c)/((-1)/x) a composite number?
False
Let d be (1 - 0)*(-5)/1. Let p(b) = b**3 + 5*b**2 + 3. Is p(d) prime?
True
Suppose 0*j = 2*j - 4. Suppose 0 = -j*k - 10 + 792. Is k a prime number?
False
Suppose 0 = -f + 5*f - 8. Suppose 0*p = 5*p - q - 200, f*q = -4*p + 146. Is p prime?
False
Let q(h) = -33*h - 2. Let o = -17 + 14. Is q(o) a composite number?
False
Suppose 10*u - 6136 = -4*v + 5*u, -2*v = 2*u - 3066. Is v prime?
False
Suppose 0 = 2*a - 4*g - 234, 0 = a - g - 12 - 106. Is a a prime number?
False
Let d(j) = -9*j**2 - 2. Let z be d(8). Let f be z/(-6) + (-2)/6. Suppose -498 = -2*l - f. Is l prime?
False
Let l(m) = 88*m**2 + 3*m - 2. Is l(1) a prime number?
True
Suppose -c - 3*c + 4*i + 740 = 0, 3*c - 4*i = 558. Suppose -3*h + 5*h - c = 0. Is h composite?
True
Suppose -15 = 3*h - 6. Let w(d) = 15*d**2 - 2*d + 4. Is w(h) composite?
True
Let z be (-63)/(-12) + 2/(-8). Suppose -z*g + 255 = 10. Let h = 16 + g. Is h prime?
False
Suppose -2*k + k = 0. Suppose -545 = -k*f - 5*f. Is f prime?
True
Let x(f) = 3*f**3 + 3*f**2 + 4*f - 7. Let