 number?
False
Let m = 528 + -317. Is m a composite number?
False
Suppose 12 = -4*k + 4. Let t be ((-2)/6)/(k/498). Suppose d = -p + t, -4*p + 5 = -11. Is d a prime number?
True
Let x = 746 + -303. Is x a prime number?
True
Let u(q) = 148*q - 1. Let k = -2 + 4. Let y be u(k). Suppose y = 5*w - 0*w. Is w composite?
False
Let l(s) = -28*s + 7. Let o be l(-7). Suppose -4*y - o = -5*y. Is y composite?
True
Let v = 8505 + -5786. Is v prime?
True
Let p(f) = -f**2 + f + 9. Let l = 1 - 1. Let q be p(l). Is 9/((q/6)/1) a prime number?
False
Let i(y) = -y**3 + 12*y**2 - 8*y + 6. Let p be i(6). Suppose 3*b + 98 = 3*c - c, 2*b = 2*c - 102. Let r = p - c. Is r composite?
True
Suppose 2*x + 0*y - 1568 = 3*y, -2*x + 2*y = -1570. Is x prime?
True
Let u(b) = -4*b - 12 - 4*b**2 - b**2 + 6*b**2. Is u(9) a prime number?
False
Let r be (-52 - -2)/(5/(-10)). Suppose -3*a = 4*s - 199, 2*s + a - r = -a. Is s prime?
False
Suppose 6 = -2*q + 3*t, -2*q + t = -t + 2. Let z = q + -3. Suppose 5*p - 3*h - 179 = 25, -3*p - 3*h + 108 = z. Is p a prime number?
False
Let k = 10 - 7. Let c = k + -3. Suppose -13 = -c*f - f. Is f a composite number?
False
Let k(n) = 4*n + 1. Let h = -3 + 2. Let t be k(h). Is 2/6 + (-98)/t composite?
True
Let x be (2/(-5))/((-1)/5). Suppose 2*d = -2*k - 122, x*k + 179 = -3*d - 0*d. Let w = -34 - d. Is w a prime number?
True
Is 3 - (1*-1563*1 + 1) prime?
False
Suppose 4*y + 2*q - 10 = 0, -4*q + 0*q = -20. Suppose y = -3*w - 2*w + 235. Let f = w + -33. Is f prime?
False
Let b = 9 + -5. Suppose b*g = w - 14, 5*g = 4*w - 72 + 27. Is (0 + -14)*w/(-4) prime?
False
Suppose -2*v + 4*v - 78 = 0. Let f = v + -16. Is f a prime number?
True
Let o(k) be the second derivative of -k**4/12 + 2*k**3 + 5*k**2 - 4*k. Is o(9) composite?
False
Is (-2 + (-2)/(-2))*-19 a prime number?
True
Let h = 6 - 1. Suppose 0*x = 4*s - 3*x + 19, 0 = -h*s + 3*x - 20. Let n = s + 11. Is n a composite number?
True
Let m(r) = 29*r + 25. Is m(6) prime?
True
Let l(b) = 142*b + 4. Let n be l(2). Suppose -n + 94 = -2*v. Is v a composite number?
False
Suppose -3*y + s = -88 - 902, 4*y - 3*s - 1325 = 0. Is y prime?
False
Let t(x) = -x**3 - 7*x**2 - 9*x + 6. Suppose -a = 5*d + 39, 9 = 5*d - 2*a + 36. Is t(d) a prime number?
False
Let d(j) = -j**2 + 6*j + 3. Let u be d(6). Let g be 13*(-2 + 15/3). Suppose -g = -4*f - u*l + 269, -308 = -4*f - l. Is f a composite number?
True
Let n be 0 + 146 - (-7 + 6). Is n/4 + 2/8 a prime number?
True
Let t(v) = -v**3 - 4*v**2 - v + 4. Let n be t(-3). Is 1/n + 154/4 prime?
False
Let h = 110 - 48. Suppose -7 - h = -3*m. Is m a prime number?
True
Let u(b) = -b**3 + b**2 - b - 1. Let t(l) = -5*l**3 + 2*l**2 - 7*l - 3. Let k(q) = -t(q) + 6*u(q). Let w be 100/(-40)*6/5. Is k(w) composite?
True
Suppose -5*o = -3*x + 29 + 67, 4*o + 12 = 0. Let a = x + 62. Is a prime?
True
Is 195 + (-9)/((-9)/(-4)) composite?
False
Let a(i) = i**2 + i + 11. Let m be a(0). Let g = m - -4. Is g a composite number?
True
Let v(a) = -4*a**2 - 8*a - 6. Let z be v(-5). Let d = 121 + z. Is d prime?
False
Let x(d) = d - 7. Let t be x(7). Suppose 0 = 3*u - t*k - k - 133, 0 = 2*u + k - 82. Is u prime?
True
Suppose 38 = -3*z - 34. Let a = 43 - z. Is a composite?
False
Let m(x) = x**2 - x - 4. Let v = 9 + -6. Let p be m(v). Suppose p*u = 6*u - 76. Is u a composite number?
False
Suppose -51 - 253 = -4*h. Is (-5)/(-10)*(h - 2) a composite number?
False
Suppose -2*o = -5*x + 4*x - 2125, 0 = -4*o + 5*x + 4259. Is o a composite number?
False
Let y = -755 - -375. Let t = -179 - y. Is t a prime number?
False
Let g(k) = -k**3 - 6*k**2 + 8*k + 10. Let j be g(-7). Suppose -149 = -j*l + 52. Is l a prime number?
True
Let m(f) = 6*f**2 + 1. Let l(n) = n. Let g be l(0). Let p = g + -3. Is m(p) composite?
True
Let h = -2 + 3. Suppose -9 = -4*g + 2*x + 5, 0 = -2*g - x + 9. Suppose 5 = -g*n + h, -3*q = 3*n - 192. Is q prime?
False
Suppose -3*o + 0 + 6 = 0. Suppose o*t - t = 353. Is t prime?
True
Let o be 3/(-12) + 322/8. Is (-33)/12*o/(-2) a prime number?
False
Suppose -5*l = x + 11 + 4, 4*x = -2*l - 6. Is 10 + 631 + (0 - x) a composite number?
False
Let o be 8/(-6)*(-3)/2. Suppose o*c - 29 = -3*y, -3*c - 2*y + 43 = 2*y. Is c a prime number?
True
Suppose -16 = u - 3*u. Suppose -3*n = -0*n. Suppose n = 4*v - 48 + u. Is v prime?
False
Suppose -3*c - 4*m + 1123 = 0, -2*m - 4 = 6. Is c prime?
False
Let n(f) = -f + 13. Let a be n(9). Suppose -2*j = -y + 3*j + 98, -458 = -a*y - 2*j. Is y a prime number?
True
Let w = -327 - -548. Is w composite?
True
Suppose -2*c - 2*c = -5*x - 4811, -2*x = 6. Is c a prime number?
False
Let b(c) = c**3 + 4*c**2 + c - 1. Let h be b(-3). Let s(w) = -w**3 + 4*w**2 + 7*w - 7. Let d be s(h). Is 0 - -6*(d + -2) a composite number?
True
Suppose -3*z + 8*z = 2285. Is z a prime number?
True
Let l(v) = -v**3 - 4*v**2 + 6*v + 5. Let y be l(-5). Suppose 1 = -x - 0, y = -2*n + 4*x + 20. Is -11*(-4)/(n/6) a prime number?
False
Let x be 5/(-3 + 12/3). Suppose 0*w - 2*q = x*w - 86, -4*w - q + 70 = 0. Let a = 40 - w. Is a prime?
False
Let k = 114 + 30. Let x be k*(-3)/((-6)/(-2)). Is (0 - x) + (-3 - -2) a composite number?
True
Let c(u) = u**2 + 10*u + 11. Let i be c(-9). Suppose -b + 51 = -3*k, -153 = -3*b - k - i*k. Is b a prime number?
False
Suppose -849 = -2*l - 5*n, -n - 2107 = -5*l + 2*n. Is l a composite number?
True
Let k be (-1*8)/(1 - 3). Suppose -3*z = -w - 11 - 166, -4*z + 236 = -k*w. Is z prime?
True
Suppose -2*p + 113 = 3*u, 4*p + u = 162 + 39. Is p a composite number?
True
Let k(o) = 11*o**2 + o - 2. Let p be k(4). Suppose -p = -3*l + h, 8*l - 2*h - 179 = 5*l. Is l a prime number?
True
Let f = 47 - 23. Suppose 0 = -2*k - k + f. Suppose 44 = 2*c - k. Is c prime?
False
Let r be (6 + -12)*(-2)/6. Suppose -5*a = 0, 4*b - a = -r*a + 36. Is b a prime number?
False
Suppose 1 = 4*h - 15. Suppose h*q - 435 = -q. Is q a prime number?
False
Let n(z) = 3*z**2 - 6*z + 6. Is n(5) prime?
False
Let x = 7 + 57. Let q = 153 - x. Is q prime?
True
Let j(g) = -g**3 + 2149. Is j(0) composite?
True
Suppose q - 5 - 494 = 0. Is q a composite number?
False
Is (-3)/(-2)*22205*4/30 prime?
True
Let h(m) = m**3 + 5*m**2 - 8*m - 7. Is h(-5) composite?
True
Suppose -4*c + 3*u = -1894, 5*c - 2381 = -u - 2*u. Suppose 3 = -s, -2*q + c = -3*s - 492. Is q prime?
True
Let o(f) = 6*f**2 - f + 4. Let g(n) = n**3 + 8*n**2 + 5. Let z be g(-8). Let y = z - 2. Is o(y) a prime number?
False
Let d = 7 - 11. Let n(r) = 5*r**2 + r - 5. Is n(d) a composite number?
False
Let r be 2/(-10) + 11/5. Is r/5 - (-263)/5 a composite number?
False
Let g(k) = 1 + 6 + k**2 - 2 - 1. Is g(3) composite?
False
Suppose -y - 86 = 14. Let c = -45 - y. Is c composite?
True
Let r = -55 + 132. Is r a prime number?
False
Let g = -626 - -1350. Suppose m - c - g = 0, -2*c - 2 = 8. Is m prime?
True
Let h = 6 + -9. Is (-7)/21 - 382/h a composite number?
False
Let a(w) = 198*w**2 - 3. Is a(-2) prime?
False
Suppose 0 = -3*y + 518 - 128. Is (y/4)/(2/4) composite?
True
Let i(n) = -54*n + 1. Is i(-3) prime?
True
Let m(x) = x**3 + 13*x**2 + 13*x + 8. Is m(-7) a prime number?
True
Let j(g) = -6*g - 1. Let o = 3 + 0. Let d(a) = -a**2 + 3*a - 4. Let r be d(o). Is j(r) a prime number?
True
Let r = -465 - -700. Is r prime?
False
Let l be 1764/27 + (-2)/(-3). Suppose l - 356 = -5*g. Is g a prime number?
False
Suppose -7 = -2*m + 3. Suppose -2*s + 2 = p - 109, -5*s + m*p + 300 = 0. Is s a composite number?
True
Let w be 1*(2 - 27/3). Let b(y) = 2*y**2 + 8*y - 5. Is b(w) a composite number?
False
Let u = 1 - 25. Is (8/u)/(2/(-66)) a prime number?
True
Let m = -11 - -19. Suppose -q = 4*x - 6, -q + m = x - 4. Suppose j = 5*z + 36, 4*j - 3*z - q = 113. Is j a composite number?
False
Let d = 5064 + -3011. Is d a composite number?
False
Suppose -4 = 3*h + 2. Is h/(-5) - (-666)/10 composite?
False
Let o be (7 + 3/(-1))/2. Suppose -c - d = 3*c - 929, 4*c - o*d - 938 = 0. Is c a composite number?
False
Suppose j - 2*s = s + 104, 270 = 3*j + 5*s. Is j a prime number?
False
Let a = 6 - 0. Is 4/12 + 220/a composite?
False
Let d(c) be the first derivative of 2*c**3 - 3*c**2 + 5*c + 1. Let y = -3 + 7. Is d(y) a prime number?
False
Suppose -4*k + 1590 = k + 4*x, 5*k + 5*x - 1595 = 0. Is k a prime number?
False
Suppose 3*l - 5*z = 4*l - 8, 0 = -l + z + 2. Suppose -l*f + 460 = 133. Is f c