- 4*x**2 - 11*x - 7. Is t(c) a composite number?
True
Let w be 9/(-2)*(5 + -1). Is 1269/w*(-14)/3 composite?
True
Is -3 - 868/(12/(-3)) a prime number?
False
Let z(o) = 197*o**2 - 4*o - 5. Is z(-4) prime?
True
Suppose 2*t = -w + 2*w - 1, w = -5*t - 6. Let x(p) = -31*p**3. Is x(w) composite?
False
Let l(n) = n**2 + 3*n + 2*n**2 - 4*n**2. Let o be l(4). Let a = o - -8. Is a a prime number?
False
Let h be 12/15*(-15)/2. Let o(x) = -x**3 - x**2 - 9*x + 1. Let c(y) = -y**3 - 9*y + 2. Let z(k) = -4*c(k) + 5*o(k). Is z(h) composite?
True
Suppose 0 = 4*o + 3*r - 0*r - 827, r = -2*o + 415. Is o composite?
True
Suppose 0 = 3*j + 4*h - 427, -j + 2*j = -h + 142. Is j prime?
False
Let m = 175 + -60. Is m a composite number?
True
Suppose 0 = b + 4*l + l + 8, 0 = 3*b - 3*l - 12. Suppose -b*k - 12 = -6*k. Is k prime?
True
Let r(l) = -12*l - 10. Is r(-14) a prime number?
False
Suppose 17 = -2*c + 603. Is c a prime number?
True
Let o be (1/(-2))/((-2)/20). Let m(y) = y**2 + 5*y - 1. Let j(k) = k**2 + 5*k - 1. Let w(x) = -2*j(x) + 3*m(x). Is w(o) composite?
True
Suppose -2*k = 3*h + 3, 2*k = 5*k + 3*h + 3. Let y = 9 - 6. Suppose y*t - t - 12 = k. Is t composite?
True
Let a be 1/(-4) + (-13559)/(-28). Suppose -4*f = -1832 + a. Suppose 5*w - 2*l = -0*w + f, -l + 334 = 5*w. Is w composite?
False
Let q = -1 + 5. Suppose -4*l - 4 = -w - 5*l, 0 = w - l. Suppose 0 = q*z + 3*i - 46, -2*z - 7*i + 30 = -w*i. Is z composite?
True
Suppose 11*v - 13958 = -681. Is v prime?
False
Let v(r) = r**3 - 4*r**2 - 6*r + 9. Let y be v(5). Suppose -u + 0*u - 2805 = -y*b, 2 = -2*u. Is b composite?
False
Suppose -3*x + 32 = 4*b, 4*x = -0*b - 5*b + 41. Let m be x/6 + 3/9. Is m/5 + (-294)/(-5) a prime number?
True
Let f(m) = m**2 + 6*m. Let n(h) = h**2 + 9*h - 16. Let k be n(-11). Let p be f(k). Let d = p + -38. Is d a composite number?
True
Let y = 7 - 6. Let g be y/(-1) - 87 - 1. Let w = g + 124. Is w prime?
False
Let u(o) = -o**3 - 19*o**2 - 14*o + 27. Is u(-19) composite?
False
Suppose -3*z = 2*z - 50. Let l = 13 + z. Is l a prime number?
True
Let p be 382*(5/(-2) + 2). Let g = -108 - p. Is g prime?
True
Suppose 26 - 188 = -3*i. Suppose 4*o = -s + 43, -3*s + 3*o = -0*o - i. Is s composite?
False
Let a = 18 + -7. Is a composite?
False
Let m be -1 + 824/((-8)/4). Let w = 76 - m. Is w prime?
False
Let f = 12 + -5. Let s be (2 + -1 - 40)*(-12)/18. Is f*(-1)/(-2)*s a prime number?
False
Suppose 7 + 52 = 5*w + 4*r, 0 = -5*w - 5*r + 60. Suppose -5*n + 5*v + 8 = -22, 5*v + 15 = 0. Suppose -n*c = -22 - w. Is c a composite number?
False
Let v = 31 - -22. Is v a composite number?
False
Let f = 44 - 10. Is f composite?
True
Let h = 47 - -12. Is 2/1 - (4 - h) a composite number?
True
Suppose -2690 = -5*x + 4*a + 127, -2*a = x - 569. Is x prime?
False
Suppose 353 = 2*u - 181. Suppose -3*c - u = 2*v - 35, -235 = 3*c - v. Let q = 77 - c. Is q a prime number?
False
Let x = 0 + 1. Let g(f) = 142*f + 1. Is g(x) composite?
True
Let x = -5 - -7. Let b = 7 - x. Suppose -2*o + 5*h + 110 = -54, -b*h = -o + 87. Is o prime?
False
Let l = 3 - -2. Suppose 3*j = 5*v - l, -j = -2 - 3. Suppose v*n - 4*i - i = 13, 3*i = -3*n + 3. Is n a composite number?
False
Let j be (2 - (0 + -3)) + 0. Suppose j*y - 4*k + 0 = 19, -4*y + 9 = 3*k. Is y a prime number?
True
Suppose -j - 2*f = 3*f - 8, 5*f = 5*j - 70. Let t = j + -6. Is t prime?
True
Let o(m) = 3 + 0 - m**3 + 2*m - 6*m**3 + 3*m**2. Is o(-2) prime?
True
Let j(s) = -4*s + 6. Suppose -4*i - 15 = 17. Is j(i) composite?
True
Let j(q) = 11*q**2 + q. Let m be j(-1). Is 3294/m + (-14)/35 prime?
False
Let j = 100 - -16. Let i be (3/((-6)/(-164)))/2. Suppose -i + j = 5*c. Is c a composite number?
True
Suppose 5*n - 3*s + 25 = 0, 2*n - 5*s = -2*n - 20. Let v = -9 - n. Let u(j) = 7*j**2 - 6*j - 3. Is u(v) composite?
True
Let k(q) = 370*q**2 + q. Is k(1) a composite number?
True
Let o(d) = d**3 - 8*d**2 + 7*d - 10. Let b(y) = 8*y**2 - y - 1. Let w be b(-1). Let p be o(w). Suppose 0*c = -c + p. Is c a composite number?
True
Is (-1371)/(-5) - 2/10 prime?
False
Let g(b) = -38*b + 21. Let v(x) = 13*x - 7. Let i(y) = -2*g(y) - 7*v(y). Is i(-6) composite?
False
Let l = -311 + 664. Is l composite?
False
Suppose 6*c - 3*c = 30. Let l(q) = 2*q**2 - 13*q + 7. Is l(c) a composite number?
True
Let w be 26 - 1/(1/3). Suppose 0 = b - 3*g - 20 - w, -b - 3*g = -55. Let s = -2 + b. Is s composite?
False
Suppose 375 = 3*o - a, o - 65 - 44 = -5*a. Let t = -54 + o. Suppose 2*q + t + 8 = 5*n, n - 34 = 5*q. Is n a prime number?
False
Suppose 3*g + k + 2*k - 3195 = 0, -2102 = -2*g + 5*k. Is g a prime number?
True
Suppose 0 = 4*j - 291 + 3. Suppose -5*l = j + 68. Let n = l + 47. Is n a composite number?
False
Is (-132)/(-8)*1070/15 prime?
False
Let a(w) = 23*w - 1. Let m be a(1). Suppose -m = -k - 4*v, -2*k - 3*v - 2*v = -53. Is k composite?
True
Let i(j) = j**2. Let z be i(-2). Suppose 6*w = z*w + 118. Is w a prime number?
True
Let d(b) = 12*b - 3*b + b + 3. Suppose a = -4*v + 13, -5*v - 9 = -4*a + 1. Is d(a) a composite number?
False
Let a(n) = 3 + 2*n + 1 - 1 + n**2. Let i = -16 + 8. Is a(i) a prime number?
False
Let m be 2*(-3)/9*3. Is (-1)/(4/166)*m composite?
False
Let t(h) = h**2 - 2*h - 5. Let p(c) = -3*c - 2. Let z(a) = -2*a - 2. Let q(w) = 4*p(w) - 5*z(w). Let b be q(-2). Is t(b) prime?
True
Let v(f) = 21*f - 7. Let k = 13 + -8. Let o be v(k). Suppose g = -g + o. Is g a prime number?
False
Suppose -4*c + 1053 = 3*y + 26, -3*y - c = -1015. Is y composite?
False
Let a(x) = -x**3 + 8*x**2 + 11*x + 1. Is a(8) a composite number?
False
Suppose -3*a - 380 = -20. Let b(i) = 15*i**2 + i + 3. Let w be b(-4). Let k = a + w. Is k a prime number?
False
Let a(p) = 2*p**3 + 14*p**2 - 8*p - 23. Is a(9) prime?
False
Let y = -5 - -8. Suppose 4 = -2*d + 2*n + 2*n, y*n + 11 = 5*d. Suppose -5*i = -d*i - 93. Is i prime?
False
Suppose 464 = 7*d - 5*d. Suppose -4*u + 0*u = -5*t + 303, -4*t = 2*u - d. Is t prime?
True
Let x(o) = -o**3 + 4*o**2 - 2*o + 3. Is x(-4) prime?
True
Let f(r) = -r + 62. Let q be 15/(-25) + (-3)/(-5). Let n be f(q). Is n/3*54/12 prime?
False
Let r(u) = -u**2 + 8*u - 3. Let h be r(6). Let g = h - 6. Suppose g*j = 4*w + 37, -j - 2*j - 3*w + 72 = 0. Is j a composite number?
False
Suppose -11*h + 7*h + 372 = 0. Suppose h = 5*g - 192. Is g composite?
True
Suppose 5 = 5*j, -j = 4*z + 3 - 4. Let q be (-50)/(-18) + (-8)/(-36). Suppose 3*w - w + 5*v - 93 = z, -4*v = q*w - 129. Is w composite?
True
Suppose -u = u + 5*y - 7209, -4*u = 2*y - 14426. Is u prime?
True
Is -2942*(3 + (-35)/10) a composite number?
False
Suppose 0 = -4*l + 2*u - 9 - 5, 2*l + 13 = 3*u. Let a(h) = h**2 - h - 2. Let z be a(l). Suppose -2*n + z*n - 14 = 0. Is n composite?
False
Suppose 4 = -0*o + o - g, -2 = 2*g. Suppose 7*b - o*b = 1164. Is b a prime number?
False
Let y(d) = 6*d**3 - 1. Let q be y(1). Suppose 8*b - q*b = 9. Is b a composite number?
False
Suppose 401 + 129 = 2*u - j, 0 = -u + 4*j + 279. Is u composite?
False
Let j(g) = 67*g**3 - 6*g**2 + 10*g - 6. Is j(5) prime?
True
Is (4 - 2)/(-1*6/(-1797)) prime?
True
Let q = 757 - 243. Is q prime?
False
Suppose -2*k = 2*k. Suppose k = 5*a + v - 99, a - 58 = -a - 5*v. Is a a prime number?
True
Let s = 6 - 4. Let k(i) = 45*i + 1. Is k(s) prime?
False
Let t(f) = 10*f**2 - f + 2. Let k be t(2). Is (-3 - (-3 - -3)) + k a prime number?
True
Suppose 4*c - 2*c = 706. Is c composite?
False
Let r(o) = o**2 - 14*o + 8. Let b be r(14). Is 10*(172/b - 3) a prime number?
False
Suppose -5*u + 2*o - 4*o = -52, -3*u - 3*o = -33. Is (-3)/5 + 76/u a prime number?
True
Suppose 1435 = 4*p - 3*z + 416, 4*p = 5*z + 1013. Is p a prime number?
True
Suppose -114 = -5*a + 861. Suppose -a - 18 = -3*c. Is c composite?
False
Let f(t) = 4*t**3 - 6*t**2 + 3*t - 3. Let v(i) = -11*i**3 + 19*i**2 - 9*i + 10. Let h(k) = 7*f(k) + 2*v(k). Is h(2) prime?
True
Let c be 2/(-6) + (-4)/6. Is 1 + c + (1341 - -20) composite?
False
Suppose -5125 + 510 = -13*x. Is x a composite number?
True
Suppose 14 = -0*f - f. Let k = 6 - f. Suppose 0 = -5*g + k, -b - 4*g + 28 + 71 = 0. Is b prime?
True
Let n be (1/(-2))/((-3)/36). Let m = 37 - n. Is m composite?
False
Let i(p) = -336*p**2 + 49. Let s be (2 + -1)*8/4. Let k(f) = 14*f**2 - 2. Let d(h) = s*i(h) + 49*k(h). Is d(1) a prime number?
False
Is -3 + 26844/78 + (-2)/13 prime?
Fa