34 - o = 5*c. Suppose x = c*x - 1085. Is x prime?
False
Let f(y) = -y**3 - 7*y**2 - 2*y - 7. Let x be f(-7). Let k be ((-12)/x)/((-2)/21). Suppose -k - 127 = -h. Is h composite?
True
Let k(b) = 5*b + 4. Let d(w) = -14*w - 12. Let a(y) = -6*d(y) - 17*k(y). Let l be a(2). Is 54 + 0 - (3 - l) prime?
True
Let r = -5393 - -11956. Is r a prime number?
True
Let x be 5 + -8 + 5*2. Suppose -4*d + 27 = x. Suppose -3*k - v + 638 = -0*k, -d*v = 5*k - 1080. Is k prime?
True
Let g = -116 - -163. Suppose -3*h + g = -1990. Is h composite?
True
Let v = 6558 - 4141. Is v a prime number?
True
Let d be (-5)/15 + 106/3. Suppose d = -5*m + 1570. Is m a prime number?
True
Suppose d - 3*d + 30 = 0. Let l be ((-4)/6)/(20/(-90)). Suppose -l*v + 276 = d. Is v a prime number?
False
Let i(d) = -32*d - 90. Let l(j) = 11*j + 30. Let k(o) = -4*i(o) - 11*l(o). Is k(21) prime?
False
Let b = 28 + -26. Let f be -1 + (110*b - 4). Let d = f + -66. Is d composite?
False
Suppose 827 = 9*r - 127. Is r composite?
True
Is (-5708164)/(-196) + 2/(-7) composite?
False
Suppose -1189 = -9*r + 8*r + 4*p, 2*r + p = 2378. Is r a composite number?
True
Let n = 14 - -59. Let m be (n/(-3))/(1/(-18)). Suppose -3*w = -261 - m. Is w composite?
False
Suppose 6 = -2*y, d - 5*y - 3913 = -d. Is d a composite number?
False
Suppose -53*c + 61*c = 10936. Is c prime?
True
Let b = -6 + 12. Suppose 5*x - 1 = o - b, -2*o = -x - 10. Suppose 5*d - 10*d + 4865 = x. Is d composite?
True
Let i(l) be the first derivative of l**5/2 - l**4/2 + l**3/3 + l**2/2 + 4*l - 7. Let p(s) be the first derivative of i(s). Is p(4) a prime number?
False
Let x(p) = 979*p**2 - 2*p + 1. Let u be x(1). Let m(w) = w**3 + 2*w**2 + 475. Let c be m(0). Let r = u - c. Is r composite?
False
Is (-553049)/(-49) + (24/14)/6 composite?
False
Let s = -335 - 712. Let a = 1784 + s. Is a composite?
True
Let i(n) = -n**3 + 7*n**2 + n - 5. Let y be i(7). Suppose -y*k = -948 + 366. Is k a composite number?
True
Let y be 36/8*2 - 2. Suppose 0 = -3*k - a + y + 1, 4*a = -4. Suppose k*j - 19 = -2*q + 10, -2*q = j - 15. Is j a composite number?
False
Let k = 374 - 535. Let a = k - -324. Is a a prime number?
True
Suppose 0 = -9*k + 10842 + 2181. Suppose -2*d - 3*d = -2*h + k, -3*h + 2196 = d. Is h a composite number?
True
Let r = 13955 - 6504. Is r composite?
False
Let o = -10211 + 17154. Is o prime?
False
Let w(p) be the third derivative of -p**6/360 + 7*p**5/40 - p**4/24 - 5*p**3/3 - 9*p**2. Let d(s) be the first derivative of w(s). Is d(18) composite?
False
Suppose 2284168 = 59*u - 926317. Is u a composite number?
True
Let u(j) = j**2 - 1. Let l(r) = r**2 - 8*r - 5. Let h(v) = -l(v) + 2*u(v). Let x = 14 + -22. Is h(x) composite?
False
Suppose 4*z + 29498 = 2*q, -63*q + 65*q - 5*z - 29502 = 0. Is q a prime number?
True
Let o = 123503 + -82132. Is o a prime number?
False
Let c(t) = 477*t - 43. Let l = 134 - 129. Is c(l) composite?
True
Suppose -27*r + 1709 = -26*r. Is r prime?
True
Let f be -26*((-4)/(-8) - 1). Let h = f + -11. Suppose -3*b = -b + 2, -485 = -u - h*b. Is u a prime number?
True
Suppose 3*z + 1 - 13 = 0, -5*x + 2*z + 2417 = 0. Is x a composite number?
True
Suppose -177 = -3*l + 252. Let a = l - -3516. Is a composite?
False
Suppose 2*y + 3*k + 1 = 0, 41*k - 36*k = -2*y - 7. Let j(g) = 2*g**3 - 4*g**2 - 6. Let p be j(6). Suppose -y*f + p = -1210. Is f a composite number?
False
Let r = 43 - 33. Let t(d) = 25*d**2 - 3*d - 11. Is t(r) prime?
True
Let d(l) = l**3 - 4*l**2 + 4*l + 8. Suppose -5*u + r - 4 = 0, -4 = 2*u + 5*r - 24. Suppose 2 = 3*z - 5*s - 0*s, -2*z - 4*s + 38 = u. Is d(z) composite?
False
Is (-5)/10*(-5 + -417) prime?
True
Let u = 66 + -78. Is (-21567)/u + (-2)/8 prime?
False
Is ((-5)/3)/5*-4773 a composite number?
True
Let k = 4419 + 7991. Let w = -3972 + k. Is w/18 + (-2)/(-9) a prime number?
False
Let b = 30194 + -8743. Is b prime?
False
Suppose 7*k - 454 = 5*k. Suppose -9*o + k = 38. Is o composite?
True
Let z be 1/(-3 - (-28)/8). Let f be 4*3*z/6. Suppose -f*d + 695 = -1649. Is d prime?
False
Let h be 532 + -1*(0 - -1). Suppose -180 - h = -3*d. Is d a composite number?
True
Suppose -5*z = -21 - 9. Suppose -3*k + z*k = 645. Is k prime?
False
Let y(x) = -3 - 59*x + 6 - 44*x. Let v be y(5). Let h = -349 - v. Is h composite?
False
Let x = 95368 - 52171. Suppose 5*m - x = 2*c + c, -17278 = -2*m + c. Is m a composite number?
True
Let l be ((-256)/12)/(-2)*60/16. Suppose -44*s + 1708 = -l*s. Is s composite?
True
Is 39560 - 3*(-143)/39 a composite number?
True
Let z = -819 - -2512. Is z composite?
False
Let t(s) = 5*s - 12. Let a be t(9). Let x be (-6)/a - (-138)/33. Suppose 0 = -x*y - 3*u + 559, 5*u + 414 = 2*y + 141. Is y prime?
True
Suppose -5*u = -3*i, -3*i = 3*u + u - 27. Suppose 2*h = -o + 3942, 0*h - i*o + 5906 = 3*h. Suppose -h = -8*d + 4*d. Is d a prime number?
False
Let c = 60 + -104. Let z be (0 + 456)/((-33)/c). Let t = z - 355. Is t a composite number?
True
Let j(v) be the first derivative of -v**4/4 + 20*v**3/3 - 19*v**2/2 - 3*v - 20. Is j(17) a composite number?
False
Let f = -24 + 29. Suppose 0 = f*m - 1779 + 379. Suppose -4*b + m = -4*j, 235 = 4*b + j + 4*j. Is b a prime number?
False
Let s = -7 + 65. Let d be (-1*(-2220)/(-18))/(4/(-6)). Let q = d - s. Is q a prime number?
True
Let v(y) be the second derivative of 17*y**4/4 - 5*y**3/6 + 23*y**2/2 + 8*y. Is v(6) a prime number?
False
Suppose 0 = 2*c + 2*z - 62, -4*c - 7*z + 4*z = -123. Let s be ((-8)/5)/(c/(-225)). Suppose 3*t + s = 51. Is t a prime number?
True
Let r = 137038 + -85457. Is r a prime number?
True
Suppose 4*u + 1708 = -5*l + 28, 420 = -u - 5*l. Let v = -7 - u. Is v prime?
False
Suppose -211 = -2*u + 5*v, -2*u + 3*v + 0*v = -205. Suppose 2*m = u + 90. Suppose -q = -4*y + 300, 3*q + m = y - 2*q. Is y composite?
True
Let x = -560 - -867. Is x composite?
False
Let n(q) be the second derivative of 223*q**4/24 - q**3/3 + q**2/2 + 2*q. Let x(i) be the first derivative of n(i). Is x(1) prime?
False
Let p = 165 + -85. Suppose -r + 3*r - p = -m, 5*m - 355 = 5*r. Is m a prime number?
False
Let l(o) = 429*o - 303. Is l(6) a prime number?
False
Let n = -11 + 18. Let w = n - 4. Suppose -131 = -w*h + 106. Is h prime?
True
Suppose 24*l - 6 = 25*l. Is 80/14 + l - 6351/(-7) prime?
True
Suppose 5*x = 4*n + 25, -4*x + 4 = -n - 5. Is -9*(-4)/12 - (x + -751) prime?
False
Suppose -3*n + 0*k = 3*k - 33, -4*n + k + 64 = 0. Let t = 15 - n. Is 301 - (t + (1 - 1)) composite?
True
Let m(q) = 74*q - 3. Suppose 3*w - 14 - 1 = 0. Is m(w) prime?
True
Let c(j) = j**3 + 3*j**2 - 12*j - 10. Let g be c(-5). Suppose p = 3*d - g*d + 76, 3*p = -d + 238. Is p composite?
False
Suppose -140*y = -64*y - 892468. Is y composite?
False
Let w be (-2 - -1) + 4 + 1367. Suppose 4*v + 2*i = 3434, 4*v + 5*i - w = 2055. Let c = v - 393. Is c prime?
True
Suppose -6*l = -290 - 3778. Let r be 24/(-132) + l/(-22). Is r/((4 - 6)/2) a composite number?
False
Let l be (16/20)/(3 + (-39)/15). Suppose 0 = -2*p + 4*y + 766, -l*p - 373 = -3*p - 3*y. Is p a prime number?
True
Is (-2155)/(-40)*(-6 - -14) a composite number?
False
Let y(q) = -q**3 - 3*q**2 - 3*q - 20. Let b(u) = -u**2 + u - 2. Let c(h) = -2*b(h) + y(h). Is c(-5) prime?
True
Suppose g - 24 + 29 = 0, 4*o - 122104 = -4*g. Is o a prime number?
False
Is (-363510)/(-98) + (-4)/14 composite?
False
Let d(v) = 11*v**3 + 5*v**2 - 8*v + 7. Let g be d(5). Suppose 4*m - 5889 = -0*m - 5*o, -m + 4*o + g = 0. Is m composite?
False
Let n(o) = 22*o**2 - 12*o + 21. Is n(-5) a composite number?
False
Let c(f) = 6*f**3 - f**2 - 2*f + 2. Let o be c(1). Suppose 0 = o*g + l - 5*l - 89, g = -3*l + 33. Suppose t - g = 22. Is t a prime number?
True
Let w(o) = 20324*o**2 + 118*o + 117. Is w(-1) a prime number?
True
Let x(a) = 72*a + 3. Let s(j) = 3*j - 26. Let i be s(10). Is x(i) a composite number?
True
Let u be (1066/6)/(2/18). Let r = -502 + u. Is r a prime number?
True
Suppose 3*v + 391 = 2*g - 207, -5*g + 1495 = 4*v. Is g a composite number?
True
Let h(x) = x**3 - x**2 - x - 1. Let w be h(0). Let i be -10 + 123 + w + -1. Let v = i + -42. Is v a prime number?
False
Suppose -72 = 4*d - 28. Let w(y) = -96*y + 11. Is w(d) composite?
True
Let g be (2084/(-6) - 0)/(36/(-54)). Let s = g - -66. Is s a prime number?
True
Let k(v) = 10*v**2 + 3*v + 10. Let l be 12/(-28) - 46/7. Is k(