5677589) - 12/(-6) prime?
True
Suppose 0 = -4*q - 20, -2*q + 82 = 9*t - 5*t. Suppose -t*o = -14*o - 125109. Is o prime?
True
Let i(a) = -44*a**2 + 19*a + 45. Let k(z) = -9*z**2 + 4*z + 9. Let f(s) = 2*i(s) - 11*k(s). Suppose 44 = 5*l - 3*c, l - 3*l - c = -22. Is f(l) prime?
True
Suppose 27 - 13 = 2*x. Suppose -18593 = -x*u + 56804. Is u composite?
False
Suppose 11*l - l - 743492 = -3*h, 0 = 4*h + 24. Is l a composite number?
True
Let c = 1197 - 589. Suppose 0 = -m + 3771 - c. Is m prime?
True
Let m(u) = 973*u + 282. Let p be m(11). Let s = p - 6936. Is s a composite number?
False
Let j(g) = -g**3 - 15*g**2 - 26*g + 2. Let z be j(-13). Suppose z*f - 3*f + 4*l + 1462 = 0, 1470 = f + 4*l. Is f composite?
True
Suppose 2328*j = 2333*j + 6860. Let g = j + 3123. Is g prime?
False
Let p(q) = q**2 - 2*q - 5. Let d be p(-2). Suppose -5*i + 3*i + d*f + 2193 = 0, 0 = 3*i + 3*f - 3327. Suppose -4*z + 8292 = i. Is z a composite number?
True
Is (972090/28 - 17)/(1/2) prime?
True
Let o be (8520/16)/(4/(-8)). Let s = 2416 - o. Is s a prime number?
False
Let b(l) = -l**3 - 12*l**2 + 40*l + 56. Suppose -2*a - 5*q = 43, -2*a + 27*q = 22*q + 33. Is b(a) prime?
True
Let n = -20 + 27. Suppose -3*l - 4*g + 4129 = 0, -3*l + n*l - 3*g - 5472 = 0. Let k = l + -904. Is k composite?
False
Suppose -464*v = -40*v - 466577656. Is v a composite number?
False
Let f(v) = 655*v**3 + 10*v**2 + 18*v + 83. Is f(10) composite?
False
Let q be 18/5 + 42/(-70). Let l(v) = 4*v - 7. Let w be l(q). Suppose w*g + 0*g - 1620 = -5*r, -2*r - 1314 = -4*g. Is g composite?
True
Suppose 24*w - 212690 = 259942. Is w a prime number?
False
Let d(z) = -17*z + 7. Suppose 36*s = 33*s + 6. Let x be (s + -3)/((-4)/(-24)). Is d(x) prime?
True
Let t = 794 + 213. Let y be 1/(-2) - (-26)/4. Suppose 0 = y*p - 7*p + t. Is p a composite number?
True
Let f be ((-13)/(-78))/((-2)/(-24)). Suppose 0 = -3*w - f*p + 4197, -27*w + 26*w = p - 1399. Is w a composite number?
False
Let h be (4656/(-10))/((-9)/(-30)). Let a be h/(-2) + (6 - (-15)/(-3)). Suppose -2*y + a = 5*n, 4*y - 455 = -3*n - 0*y. Is n a composite number?
False
Suppose 5*w + 5*k = -0*w + 5, 2*k - 26 = 4*w. Is (-446175)/(-50) - (-2)/w a prime number?
True
Let h be 3/(-5)*(10 + -35). Let v be (348/h)/((-2)/(-15)). Let w = 27 + v. Is w prime?
False
Let m(y) = y**3 + 36*y**2 - 37*y + 45. Let i be m(-27). Let h = -3358 + i. Is h a prime number?
False
Let t(q) = 668*q - 250. Let c be t(27). Suppose 3558 = v - n, -33*n = -5*v - 29*n + c. Is v a composite number?
True
Suppose -3*k + 5*l = 1, 4*k - 3*l - 20 = -7*l. Let b(o) = -29*o. Let i(v) = 29*v + 1. Let y(q) = k*b(q) + 2*i(q). Is y(-1) composite?
False
Let p(z) = -7*z**3 + 17*z**2 + 31*z - 2. Let j(v) = -3*v**3 + 9*v**2 + 16*v - 1. Let g(c) = 5*j(c) - 2*p(c). Is g(-19) a prime number?
True
Let m be 2960 - ((-57)/38)/(2/4). Suppose -m - 3490 = -27*j. Is j a prime number?
True
Let p be (-11)/3*8/(-44) + 1706/6. Let q(z) = -z + 6. Let j be q(4). Suppose 1531 = j*h + p. Is h a prime number?
False
Suppose -56 = -28*n + 20*n. Suppose -2*h = -n*h + 36920. Let i = h + -4911. Is i prime?
True
Let t(v) = 142*v**2 - 14*v - 16. Let i be t(-7). Suppose 2*y - 11726 = i. Is y a composite number?
True
Suppose 0 = -43*v + 95308 + 33649. Is v prime?
True
Suppose -6*o + 3*o = 0, -3*t + 3*o = -31653. Is t composite?
True
Suppose 5*s + 12 = s, 3*u = s - 2853. Let a = 3040 + -5247. Let g = u - a. Is g a prime number?
False
Let b = -40603 - -129894. Is b a prime number?
False
Let u = -450 - -927. Suppose -4*m + 367 + u = 0. Is m a prime number?
True
Let n = 23 - 15. Let j(t) = 54*t + 8. Let i be j(n). Suppose 0 = -4*x - i + 1708. Is x a prime number?
True
Let b(i) = 259*i**3 + 11*i**2 + 16*i + 11. Let o(d) = 52*d**3 + 2*d**2 + 3*d + 2. Let r(q) = -2*b(q) + 11*o(q). Let g be r(-1). Is 1*-1082*g/22 prime?
False
Let f = 5727 - 914. Let h = f - 2254. Is h a prime number?
False
Suppose 28*f = 3*n + 23*f - 298, -f - 96 = -n. Suppose x + x = a + 6, x = a + 1. Suppose -n - 2041 = -a*l. Is l a prime number?
False
Let l(b) = -14*b**3 + 2*b**2 + b. Let m be l(-1). Suppose m = w + 2*w. Suppose -4*p - 4 = -5*p, 0 = w*j - 4*p - 2919. Is j prime?
True
Let r = -5 - -5. Let a be 3 + (-1227)/(-3) + r. Let y = 1041 - a. Is y prime?
False
Suppose 238*j - 22582380 = -3525482. Is j prime?
True
Let y = 1515 + 2249. Let g(q) = -41*q**2 - 4. Let f be g(7). Let r = y + f. Is r composite?
True
Suppose 48*d - 162 = -6*d. Let k(q) = 34*q**2 + 6*q - 2. Let v be k(-5). Suppose 317 = -d*t + v. Is t a prime number?
True
Suppose 0 = 2*j + 3*p - 2*p - 8, 0 = 5*j + 5*p - 15. Suppose -2*f - 14905 = 4*q - 7*q, 0 = -j*q - 5*f + 24850. Is q composite?
False
Suppose 0*d - 75 = -3*z - 3*d, -3*z - 5*d = -85. Let t be 15/z - (-10)/8. Suppose -45378 = -t*y - 16*y. Is y prime?
True
Let f(u) = u**3 - 7*u**2 - 14*u + 5. Let v be f(9). Let q = v - 38. Suppose -q*t - 1016 = -7*t. Is t a composite number?
True
Let l = 31156 + 305667. Is l a composite number?
False
Suppose o = -0*w + 3*w + 582418, -4*o - 4*w = -2329656. Is o prime?
False
Let i(z) = -9435*z - 356. Is i(-9) a composite number?
False
Let o = -4460 - -25309. Is o a composite number?
False
Let z = 676 - 673. Suppose -z*o + 6322 = -o + 4*s, o + s - 3162 = 0. Is o composite?
False
Suppose 0 = -5*i - 2*h, -5*i + 4 = -8*i - 2*h. Suppose -36*v - s - 2958 = -37*v, i*v - 5921 = 3*s. Is v composite?
False
Suppose 143*w = 138*w - 30. Is (2 - 5) + w + 10906 a prime number?
False
Let f = 18226 + 227335. Is f composite?
False
Suppose 4*s + 9 = 25. Let c = -2045 - -4616. Suppose 4*z + c = 3*a, -1225 = -s*a - 2*z + 2181. Is a prime?
True
Let k(v) = 25*v**3 - 43*v**2 - 72*v + 107. Is k(22) a composite number?
False
Suppose -2*z - 11726 = -4*j - 0*j, 0 = 4*z - 3*j + 23477. Let x = -2278 - z. Is x prime?
False
Let a = 18403 + -5024. Is a a prime number?
False
Let k = 381665 - 255522. Is k composite?
False
Suppose 5*u + 4158 = 2*o - o, 0 = -2*o + 2*u + 8300. Suppose 4*j = -2*k + 14216, 3*j + k - 6514 = o. Let a = j + -2077. Is a composite?
True
Suppose 6103898 = -134*l + 29354640. Is l a composite number?
True
Suppose -4*t = -2*b - 63078, -121*t + 118*t + b + 47306 = 0. Is t prime?
True
Let f = 2074 + 12069. Is f*(12/18 + (-1)/(-3)) composite?
False
Let s = -42 + 57. Let g(f) = 12*f**2 - 6*f - 27 - 6*f - s*f + 22. Is g(12) prime?
True
Let v = -90 - -88. Is (-3)/((-15)/v) + (-58087)/(-5) prime?
True
Let s = -683 + 2172. Let y = -500 + s. Is y a prime number?
False
Let t(x) = x**3 - x**2 + 3*x - 2. Let p be t(0). Let c(j) = -1123*j + 5. Is c(p) a prime number?
True
Suppose 9*j - 26*j = 8*j. Let z(m) be the second derivative of m**3 + 79*m**2/2 - 2*m. Is z(j) a composite number?
False
Suppose -313197 = -5*p + 350800 - 224252. Is p composite?
True
Let m be (-92)/(-4) + (-4)/2. Suppose -m*u = -14583 + 1332. Is u a prime number?
True
Is (9 - (-1 + (0 - -2)))*182181/12 a composite number?
True
Let y = 413829 - 179590. Is y composite?
False
Let l = -14 - -19. Suppose 14*x - 9*x - 595 = 0. Suppose 0 = -l*t + x + 56. Is t prime?
False
Let g = -27 + 29. Suppose -z - g*p - 127 = 0, -z - 108 = -3*p + 19. Let q = 12 - z. Is q a prime number?
True
Let g(q) = 745699*q**2 + 61*q + 59. Is g(-1) prime?
True
Suppose 160*o - 6063980 = -1744886 + 1767146. Is o prime?
True
Let m(n) = 14*n + 24. Let u(r) = 4*r - 3. Let y be u(0). Let x be m(y). Is (20/24 - 3/x)*191 prime?
True
Suppose 86004 = 9*h - 5*h - 3*m, -2*h + 43002 = -5*m. Let c = h + -13880. Is c composite?
False
Let u = -731 - -420. Let w = u + 325. Is w prime?
False
Let x be 6/27 + (-1197)/(-81). Let i = x + 56. Is i composite?
False
Let f = -33766 - -51057. Is f prime?
True
Suppose 22*v - 24696 = -14*v. Let q = -945 - -1428. Let a = v - q. Is a a composite number?
True
Suppose -5*k + 4 = -p, 2*k + p - 3 = -0*k. Let c be -2*(10/(-4) + k). Suppose i = -t + 4387, c*t - 4*i + i - 13149 = 0. Is t a prime number?
False
Let y = -240 - -398. Let x = -89 + y. Suppose x = -2*l + 235. Is l a prime number?
True
Let p(l) be the third derivative of l**5/6 - 7*l**4/24 + 2*l**3 + 22*l**2. Let x be p(9). Let q = 208 + x. Is q a prime number?
True
Let v = 16632 - -13735. Is v composite?
False
Let w(r) = -r**3 + 10*r**2 + 2*r - 10. Let l be w(8). Suppose -5*h + l = 4*z, z = -3*h - 3*z + 82. Suppose n = -n + h. Is 