Suppose -4*p + 19 - 7 = 0. Let t be 2*101 - (p - 1). Suppose -4*h - 2*v + 6*v = -t, 0 = h + 3*v - 46. Is h prime?
False
Suppose 0 = k - 80 - 2. Let w = 923 - k. Is w prime?
False
Let j(s) = 58*s**2 + 4*s + 6. Let h be j(4). Let y = h + -319. Is y composite?
False
Let g be (-1589)/14*6/3. Let t = 526 + g. Is t prime?
False
Suppose 0 = -2*r - 6. Let z be (4 + -1)*148/r. Is 15 - 14 - (z - 0) a composite number?
False
Is ((-41)/123)/(2/(-20598)) prime?
True
Suppose -7*c - 6 = -5*c. Is (551/2 - c)*(1 + 1) composite?
False
Suppose -960907 = -30*a + 553583. Is a a prime number?
False
Suppose -22 = x - 26, 4*m - 2*x - 50100 = 0. Is m prime?
True
Let o(p) = p**3 + 40*p**2 - 24*p + 62. Is o(-25) a prime number?
True
Let j(d) be the third derivative of 0 - 4/3*d**3 + 0*d - 2*d**2 + 1/8*d**4. Is j(13) prime?
True
Let u(l) = 3*l**3 - 30*l**2 - 93*l + 35. Is u(27) prime?
True
Let o(s) = -1394*s - 38. Let r be o(-7). Is (-4)/14 - r/(-14) composite?
True
Let o(b) be the first derivative of 4*b**3/3 - 5*b**2/2 + 22*b + 3. Is o(-15) composite?
False
Suppose 3*r - 5 = 7. Let v be (90/r)/(-5)*-2. Is (v + -5)*251/4 composite?
False
Let t = 37 + -41. Let i = -7 - t. Is ((-2)/i)/(12/3798) composite?
False
Let a(n) = -7*n**2 + 8*n + 7. Suppose -4*g = 2*s - 34, -2*s + 29 = g + 2*g. Let q be a(s). Let l = 583 + q. Is l a composite number?
True
Suppose 8*n - 28 = 12. Suppose -2*o = 2*u - 2058, n*o = -2*u + u + 5137. Is o a prime number?
False
Let b(u) = 257*u**2 + 7*u. Suppose 0 = -7*j + 30 - 16. Is b(j) composite?
True
Let s(m) be the first derivative of 4*m**3/3 - 2*m**2 + 9*m - 13. Is s(-7) prime?
True
Suppose -5*o + c = 26, -46 = 5*o + 6*c - 2*c. Let q = o - -10. Suppose q*y + 980 = -3*a + 5135, a - 5*y - 1366 = 0. Is a a composite number?
False
Let f be -1 - 1 - (-360)/5. Let n be (-19)/(-7) - (-20)/f. Suppose -2*q - 3*q = -m - 2493, 0 = n*q - 2*m - 1493. Is q composite?
False
Suppose 0 = -7*v + 4575 + 6863. Suppose -6*u + 1528 = -v. Is u composite?
True
Suppose -19*c = -233634 - 407027. Is c composite?
True
Let n(c) = 4*c**3 - 5*c**2 - c - 1. Let v(k) = k**3 + k**2. Let d(x) = n(x) + 3*v(x). Let l be d(-1). Is (-298)/(-3*(-6)/l) a composite number?
False
Let w = -9 - -9. Suppose -5*a - 4*l + 253 = w, -2*a + 168 = a - 3*l. Suppose -a = -b - 0*b. Is b composite?
False
Let a(u) = 7*u - 6. Let v be a(8). Suppose 3*j + 2*m = 16, 8*j - 3*m = 3*j - 5. Is (v/15)/(j/177) a composite number?
True
Suppose x = 4*x - g - 140744, -g = -5*x + 234570. Is x a composite number?
True
Let g(p) = -4 + 2 + 5 - 2*p - 7. Let a be g(-4). Suppose 845 - 273 = a*w. Is w prime?
False
Suppose -2*c + 0*c = -674. Is c composite?
False
Let f be ((-25)/10)/((-1)/4). Is 686/f - (-2)/5 a prime number?
False
Let u = 2 - 10. Is (-1 - 1)/(u/204) a prime number?
False
Suppose -206*i + 211*i + 4*v - 282689 = 0, -3*v = -3. Is i prime?
False
Let c(z) = 13*z**2 + 41*z + 16. Let q(b) = -7*b**2 - 20*b - 8. Let h(i) = -6*c(i) - 11*q(i). Let o be (-3)/(-2) - 66/4. Is h(o) composite?
False
Let f(g) = -314*g**3 + g**2 + 2*g + 3. Is f(-2) a prime number?
False
Let y(l) = 9*l - 18. Let u be y(2). Suppose 17140 = 5*r - u*c + 5*c, 4*c = 4. Is r composite?
True
Let x = 9062 - 2620. Is x a composite number?
True
Let w(o) = -o - 12. Let x(l) = 2*l + 13. Let t(y) = -3*w(y) - 2*x(y). Let i be t(5). Suppose -q = 0, -37 = -g + q - i*q. Is g a composite number?
False
Suppose 14 = -q - 0*x + 3*x, -2*q - 18 = -x. Let m(y) = -23*y - 26. Is m(q) a prime number?
False
Let h(t) = 38*t**2 + 2*t + 1. Let u(c) = c**3 + 6*c**2 + 4*c + 4. Let b be u(-4). Suppose s = -4*s - 4*a + 15, b = -5*s + 3*a. Is h(s) a composite number?
False
Suppose -5*d = 5*o - 47515, 2*d - 28511 = -3*o - 0*d. Is o composite?
True
Let d be 12753*(2 - (-1 + 4)). Is (1/(-3))/(3/d) a prime number?
False
Let t(z) = 14*z**3 - 2*z + 1. Let k be t(1). Let b = k - 8. Let f(v) = 11*v - 6. Is f(b) prime?
False
Let f(g) = g**2 + 8*g + 13. Let k be f(-7). Let a(h) = h - 9. Let d be a(k). Is (-158)/(-3) + (-1)/d composite?
False
Let y(l) = -l**3 + l**2 + 11*l - 3. Let u be y(8). Let r = 1342 + u. Is r composite?
True
Let h = -10 - -4. Let l = 8 + h. Suppose -135 = -l*d - 5. Is d prime?
False
Suppose 10*d + 41358 = 2*o + 6*d, -4 = -4*d. Is o a prime number?
True
Let g(l) = 118*l - 149. Is g(22) a prime number?
True
Let t(w) = 68*w**2 - 11*w + 48. Is t(5) a composite number?
False
Is 12126/18 - (-6)/(-9) a prime number?
True
Let k be -477 - -3*(-2)/(-3). Let z = 897 + k. Suppose -x - x = -z. Is x prime?
True
Let g be 36/(-27) - 40/6. Is ((-4778)/g + 0)*12 a composite number?
True
Let q(v) = -v**2 - 7*v - 4. Let k be q(-6). Suppose 5*i - 4765 = -5*j, -5*i = k*j - i - 1906. Is j prime?
True
Let k = 56 - 19. Is k a composite number?
False
Suppose -3*t + 3*i + 546042 = 3*t, -273031 = -3*t - i. Is t a composite number?
False
Suppose -23*d + 17*d = -15486. Is d composite?
True
Let o(w) = 178*w**2 + 182*w - 7. Is o(6) a composite number?
True
Suppose 5*p + 2304 = -3*p. Let i = p - -493. Is i prime?
False
Is ((-818)/8)/((-14)/14616*9) composite?
True
Let a be ((-56)/(-12) + 2)/((-2)/(-15)). Suppose l - 271 = -a. Is l prime?
False
Let j = -371 - -774. Is j composite?
True
Let w(f) = -12*f**2 + 3*f - 1. Let q be w(6). Let n(v) = 170*v**2. Let k be n(-2). Let d = k + q. Is d prime?
False
Let u be (-12)/3*(2 - (-12)/(-4)). Suppose 5*g + u*w + 3586 = 8577, -5*g + 4*w + 4959 = 0. Is g composite?
True
Let m(j) = j**3 + j**2 + j + 5. Let p be m(0). Suppose -p*f + 4*q = 10, 3*f + 5*q + 0*q = 31. Suppose f*w - w - 397 = 0. Is w prime?
True
Let l(a) = -a**3 + 8*a**2 - 11*a + 9. Let d be l(8). Let z = 241 + d. Suppose -2*f + z + 28 = 0. Is f a prime number?
False
Suppose -15966 - 13638 = -4*a. Is a prime?
False
Suppose 0 = -29*p + 37*p - 209128. Is p composite?
False
Let w(b) = 655*b + 7. Is w(6) composite?
True
Let s(m) be the second derivative of 2*m**3/3 - 5*m. Let r be s(3). Is (527 - 0) + (r - 16) prime?
True
Let k = -26 + 23. Let q(w) = 48*w**2 - 3*w - 4. Is q(k) prime?
False
Suppose -253544 = i - 9*i. Is i a prime number?
False
Let l = 19 + -16. Suppose -l*j - 8 = -110. Is (5 - 8)/((-2)/j) a prime number?
False
Let m(q) = 169*q**2 - q - 5. Let v = 12 + -19. Let l(j) = -170*j**2 + j + 4. Let r(n) = v*l(n) - 6*m(n). Is r(1) prime?
False
Suppose -5*o + 781543 = -4*k, -296395 - 172536 = -3*o + 5*k. Is o composite?
False
Let v = -768 - -1128. Let x = 847 - v. Is x a composite number?
False
Let l(y) = -y**2 + 4. Let b be l(0). Suppose 0 = m + s - 706, b*s + 0*s = 2*m - 1394. Is m a prime number?
False
Is (5552 + -4 + 6)*(-2)/(-4) prime?
True
Let c(k) = -k**2 - 5*k + 10. Let i be c(-5). Suppose -10 = -4*l - 2*q, 5*q - q - i = -3*l. Suppose s + l*h + 0*h = 25, 79 = 3*s + 5*h. Is s composite?
True
Suppose -3*q + 1496 = -11*q. Suppose -55 - 645 = 2*m. Let o = q - m. Is o a prime number?
True
Let f be (-67)/(-4) - 2/(-8). Let a be 5 + (1 - (8*-2)/4). Let d = f - a. Is d a prime number?
True
Suppose -4052 - 51807 = -k. Is k a prime number?
False
Suppose -38*k + 189723 = 4625. Is k a prime number?
True
Suppose -5*q - 265 + 2010 = 0. Suppose 4*v = -4*r + 2748, 3*r = 5*v + 1696 + q. Is r a composite number?
True
Let t(g) = g**2 + g - 23. Let c(y) = y**2 + 4*y - 6. Let n be c(-6). Suppose 2*p - 4*x + 22 + n = 0, 3*p - 2*x = -46. Is t(p) composite?
True
Suppose 53 = -3*a + 65. Suppose -3*h - 738 = -3*o, -a*h = 3*o - 0*h - 773. Is o a composite number?
False
Suppose -l = 16*l - 68. Suppose 0*d + 4*d - 181 = 5*w, l*w + 98 = 2*d. Is d composite?
True
Suppose 4*w = -3*p - w + 130, 2*w - 4 = 0. Let c be 225/10*p/(-6). Let x = c - -373. Is x composite?
False
Suppose -7*d - 20 = -11*d. Suppose 6 = 3*j, 0*j = d*x + 4*j - 23. Suppose x*a + 1411 = 4*o - 0*a, 1763 = 5*o - 4*a. Is o a composite number?
True
Suppose 4*p + 2 - 10 = 0. Suppose 0*s + p*t = s - 417, 5*s = 3*t + 2071. Is s prime?
False
Let m = -35 + 33. Let u(p) = -p**2. Let x(n) = 26*n**2 + n - 1. Let a(w) = -3*u(w) + x(w). Is a(m) composite?
False
Let v(p) = -2904*p**3 + 2*p**2 - 9. Is v(-2) a prime number?
False
Let u be (-4447)/(-5) + 4 + (-6)/(-10). Let r(f) = -f**2 + 4*f + 3. Let s be r(5). Is (s/(-6))/(2/u) a prime number?
True
Let g(t) = -2*t - 3 - t + 0*t + 4*t. Let f be g(5). Let p = f + 11. Is p prime?
True
Let s(c) = c**2 + 5*c + 5. Let n 