 composite number?
False
Is 23*21*(-2)/(-6) prime?
False
Suppose -2*l - y = -7, 0 = 3*l + 2*y - 7 - 6. Is ((1 - -7) + -1)/l composite?
False
Let p = 194 - 112. Suppose -m = -0*m - p. Is m prime?
False
Let x(l) = 4*l - 8*l - 5*l + 1 - 31*l. Is x(-4) a composite number?
True
Suppose 0 = -2*p + 3*p. Suppose 3*l - 2*y - 176 = p, -5*l + 76 + 210 = 4*y. Is l a prime number?
False
Let s(y) = 9*y**2 + 7. Suppose -11 = -3*n + 7. Is s(n) prime?
True
Let x = 270 + -55. Is x a prime number?
False
Let w = -8 - -12. Suppose 0 = 5*u - v - 34, -w*v = 4*u - 3*v - 20. Is u a prime number?
False
Let x = -7 - -8. Let m = 8 - x. Is m a prime number?
True
Let s(n) = -n**2 - n. Let x(c) = c**3 - 5*c**2 + c - 6. Let p be x(5). Let k be s(p). Is (9 - 0) + 0 + k prime?
False
Let t = 1 - -5. Is t a prime number?
False
Suppose -3*a + 6 - 2 = -2*u, -u - 2 = 4*a. Let v be (-41)/(-4) + u/8. Is v*(1 - 1/(-2)) a prime number?
False
Suppose 2*f + 4 = 8. Suppose 0 = -2*k + 5*t + 416, -2*k + 594 = f*t + 192. Is k a composite number?
True
Let b(x) be the second derivative of 71*x**4/6 - x**3/3 - x**2/2 + 4*x. Is b(-1) a prime number?
False
Let y be ((-2)/4)/(7/(-28)). Suppose -4*l + 2*t = -90, y*l + t = 5*t + 54. Is l a prime number?
False
Let o(g) = g**3 - 10*g**2 - 10*g + 10. Let b(k) = -k**3 + 9*k**2 + 10*k - 10. Let f(i) = 3*b(i) + 2*o(i). Is f(8) prime?
False
Suppose k - 518 = 3*v, 0 = -k - 4*v + 36 + 461. Is k a composite number?
False
Suppose 0*t = 4*k + 3*t + 371, 2*k - 5*t + 153 = 0. Let l = k + 133. Let d = l + -7. Is d a prime number?
True
Is 1/(3 + 59020/(-19675)) a prime number?
False
Let y(p) = 8*p**2 + p + 4. Let v be (12/(-4))/(0 + -1). Is y(v) a composite number?
False
Is (1850 + (-12)/4)*1 composite?
False
Let o = -130 - -333. Let r = o - 292. Let j = -34 - r. Is j a composite number?
True
Let w = -5 + 8. Suppose -p = -2*p + 2. Suppose 0 = 2*j + 4*r - 86, w*j - p*r = 2*r + 79. Is j prime?
False
Suppose 0 = 2*x + 6 - 14. Suppose 307 = 3*z + x*k, -3*z + 5*k + 132 = -139. Is z a composite number?
False
Let n(q) = q**2 + 5*q. Let r be 2/(4/(-6)) + -3. Is n(r) a prime number?
False
Let u = -4 - -6. Suppose -u*i + 80 = -4*i. Let o = 109 + i. Is o prime?
False
Let g(z) = -3*z**2 + 7*z - 11. Let u be ((-32)/(-6))/(8/12). Let r be g(u). Let o = r + 233. Is o composite?
True
Suppose 2 = t + 32. Let r = t + 119. Is r prime?
True
Let i(x) = -x - 7. Let v be i(-10). Let d(r) = 3*r - 7. Is d(v) composite?
False
Let i = 264 - 115. Is i a prime number?
True
Suppose -2*b + 7*b = 0. Suppose -3*z + 5 + 16 = b. Is z composite?
False
Is 24*5 - (15 - 14) prime?
False
Let p = -167 + 280. Is p a prime number?
True
Suppose -2987 = 8*b - 13731. Is b prime?
False
Let n(h) = 6*h - 1. Let m be n(1). Suppose 140 + 285 = m*x. Is x a prime number?
False
Suppose -4*k + 3*u + 3102 = -13717, -2*k - 4*u = -8382. Is k a prime number?
True
Is (-56955)/(-90) + (-2)/(-12) prime?
False
Suppose -2*l + 2*z = -3968, 4*l = l - 2*z + 5932. Let y = l + -1366. Is y a prime number?
False
Let q(f) = f**2 + 5*f + 4. Let s be q(-5). Suppose -s*l = -0*l + 24. Is ((-84)/8)/(l/8) composite?
True
Let o = -4492 - -8337. Is o composite?
True
Let c = -71 - -156. Is c prime?
False
Let w = -47 - -204. Is (-1 + 2/1)*w a prime number?
True
Let d = -125 - -382. Is d a composite number?
False
Let m(h) = 8*h**2 - 4*h + 22. Is m(9) prime?
False
Suppose 0 = 6*m - 7*m + 1277. Is m composite?
False
Let x(i) = -i**2 - 5*i - 4. Let u be x(-3). Suppose -26 = -f + 2*d, 3*f - 4*d - 26 = u*f. Is f composite?
True
Let o(n) = n**3 - 4*n**2 - 3*n - 7. Let j be o(5). Suppose -j*k - i = -668, -3*k - k + 890 = 2*i. Is k prime?
True
Suppose 2*b - 1112 = 642. Is b prime?
True
Suppose 0 = 2*x - 0*x - 6. Suppose -x*r = 2*r. Suppose 3*n = -2*g + 30, -4*g + 4*n + 60 = -r*n. Is g a composite number?
True
Suppose 0 = -0*b + 4*b + 8. Let l = b + 3. Is l/(321/159 - 2) prime?
True
Let z(v) = -1 - 1 - v**3 - 5*v**2 + 2*v**2 - 2*v**3 + v. Is z(-3) prime?
False
Suppose -84 = -2*j + 2*c - c, 5*c = -5*j + 210. Is 12/j + 542/14 a prime number?
False
Let j = 255 + 326. Is j composite?
True
Suppose s + 3*l - 172 = 0, 0 = -0*s + 3*s + 2*l - 530. Suppose -s = -p - 17. Is p composite?
True
Let z(q) = -q**2 + 12*q + 4. Let y be z(12). Suppose 0 = y*w - 0 - 12. Is (-1)/((-6)/w)*62 composite?
False
Let p(l) = 6*l + 3. Let x(r) = 3*r + 1. Let n(u) = -4*p(u) + 9*x(u). Let g = -8 + 16. Is n(g) prime?
False
Let j(f) = -f**3 + f**2 + 6*f - 1. Is j(-5) composite?
True
Suppose 4*p = p + 3*t + 1683, 0 = -p - t + 553. Is p composite?
False
Let h(n) = 3*n**2 + 6*n + 7. Let a be h(-6). Let l = -22 + -20. Let c = a - l. Is c a composite number?
True
Is (-2)/(4 - (6/2313 + 4)) a prime number?
False
Let o(n) = 133*n. Suppose 5*k = -4*m + 5, k + 1 = 5*m + 2. Is o(k) composite?
True
Let g(z) = -2*z - 6. Let w be g(-4). Is (3/w + 2)*6 prime?
False
Let d(p) = p - 7. Let g be d(11). Suppose 10 = f + g*l - 1, 3*l + 77 = 2*f. Is f a prime number?
True
Let y(d) = -12*d + 5 + 1 - 4 - d**2. Let o(s) = -s**2 + 9*s - 7. Let u be o(9). Is y(u) a composite number?
False
Let i(h) = h**3 - 10*h**2 + 4*h - 5. Suppose -16 = -4*j + 16. Let q be i(j). Let v = -24 - q. Is v composite?
True
Let i(m) = m**3 - 18*m**2 - 9*m + 1. Is i(19) composite?
False
Let h = 2012 + -871. Suppose -3*i + l + h = 192, 5*i - 3*l - 1583 = 0. Suppose -3*q + i = q. Is q prime?
True
Let z be (-1 + (-5 - -3))/(-3). Let f = 12 - z. Is f a composite number?
False
Suppose v + 132 = b + 10, 2*b - 232 = -2*v. Is b composite?
True
Let f be 30/(-5)*(2 + -1). Is 114/9*f/(-4) a prime number?
True
Let v be 6*(39/(-6))/1. Let w = -19 - v. Is 6/(-12)*w/(-1) a composite number?
True
Suppose -2*z + 28 = 2*z. Let d(h) = h**2 - 7*h. Let q be d(z). Suppose q*g + g - 37 = 0. Is g prime?
True
Suppose o + 87 = 2*o. Is o prime?
False
Suppose -4*v - v + 1685 = 0. Let k = v + -32. Is k prime?
False
Let o(q) = 0 + 8 - 2 + 0 + 37*q. Suppose a = -a + 10. Is o(a) a composite number?
False
Is 370*(-1 - (-12)/8) composite?
True
Let l = -246 + 461. Suppose -1 = -2*z + 9. Suppose -z*x + l = 4*g, 0 = -3*g + 2*g + x + 56. Is g prime?
False
Let d(j) = 2*j**2. Let m be d(1). Suppose -h - m*x + 18 = 3*x, -x - 1 = 0. Is h prime?
True
Let k(r) = -r - 2. Let g be k(-5). Suppose -x - x = 2*h + 2, -3*h - 15 = -g*x. Let j(u) = 55*u**2 + 2*u - 1. Is j(x) a prime number?
True
Let g = 3 - 0. Suppose 0 = -g*x + x. Is 33 + x + 1 + 1 composite?
True
Let p be ((-9)/3)/(-3)*2. Suppose 2*h = 4*j + 4*h - 10, 0 = -4*j + p*h + 22. Suppose 0 = u + w - 2*w - 60, -j*u + 280 = 4*w. Is u a composite number?
True
Is 786 + ((-6)/(-9))/(10/15) a prime number?
True
Suppose 3 - 50 = -j. Is j a composite number?
False
Let b(v) = -877*v + 10. Is b(-1) prime?
True
Let m(d) = 138*d + 5. Is m(4) a prime number?
True
Let c = -338 - -857. Is c a prime number?
False
Suppose -2*v + 3*y = -223, v + 0*v - 3*y = 104. Is v a prime number?
False
Suppose 0 = m - s + 5*s + 1, 8 = 4*m + 4*s. Suppose v + 0*v = -m*f + 12, -f = 3*v - 4. Suppose -5*j + 40 + 26 = 4*z, f*z - 16 = 0. Is j composite?
True
Let o be (-1 + 3 - 1)*-1. Let c be 3 + -5 + 86/o. Let n = -51 - c. Is n composite?
False
Suppose -91 + 27 = -t + x, 5*t = -x + 350. Is t composite?
True
Is -1 + -2 + (1 - -193) a composite number?
False
Suppose 0 = 3*s - 5*s + 170. Is s a composite number?
True
Let b be 1/(2/(28/(-1))). Is 2*b*3/(-12) prime?
True
Let i be 0 - 1 - -1 - -92. Let w = 339 - 164. Let m = w - i. Is m prime?
True
Suppose 0 = -0*p - 4*p + 68. Suppose 0 = 2*w - p + 5. Is w - 0 - (-2 + 1) composite?
False
Suppose 0 = 3*g - 7 - 5. Let x be g/6*24/4. Suppose x*o - 24 + 5 = -5*s, 0 = -4*o + 2*s + 26. Is o composite?
True
Let i = -7 + 9. Suppose g - i*g + 4 = 0. Suppose g*k = -2*c + c + 32, -2*k + 5*c - 6 = 0. Is k composite?
False
Suppose 0 = y - 3*y + 3*r + 106, r = -4*y + 212. Is y prime?
True
Let g(z) = -2*z + 9. Let a be g(6). Is (-742)/6*(0 + a) a prime number?
False
Suppose -3*c - 7 + 19 = -3*j, 0 = c + j - 4. Suppose -4*u + 320 = -c*b, 0 = -u + b - 5*b + 75. Is u prime?
True
Suppose -2 - 48 = -2*g. Is g a prime number?
False
Suppose 3*g = -g + 5*v + 2044, -5*g + 2*v + 2555 = 0. Is g a prime number?
False
Let q(y) be the first derivative of -8*y**4 + y**3/3 - 2*y**2 - 3*y + 2. Is q(-2) prime?
False
Suppose -4*l = -397 + 89. Is l p