. Suppose -342 = -x*v + 2096. Is v composite?
True
Suppose -3*v + 2*o + 325 = -2*v, 4*o + 327 = v. Suppose -7*g + 8*g = h - 202, 2*h = -2*g - 416. Let u = g + v. Is u composite?
True
Let g = -70783 + 199146. Is g a composite number?
True
Let a = 15 - 12. Suppose -a*p - 3 = 2*z, -z - 9 = z + 5*p. Suppose -z*l = -4*t - 1846, l + 2*t + 1230 = 3*l. Is l a prime number?
False
Let b = -154 + 158. Suppose -98 = -4*f + 4*x - 2*x, b*x = 5*f - 127. Is f a composite number?
False
Suppose -3*n + 4*w + 1460594 = -2494547, 2*n - 2*w = 2636760. Is n prime?
True
Suppose 2*c - 3*b - 41456 = 0, 82511 = 3*c + 2*b + 20314. Is c a composite number?
False
Let z be 0 - (-1)/5 - 816/(-20). Let b = 51 - z. Suppose 4*p = b*p - 1770. Is p a composite number?
True
Suppose 4*m - 8*m + 32 = 0. Suppose -13*i + m*i = -125. Suppose 0 = -5*c - i, 3*c - c + 1398 = 2*v. Is v composite?
True
Let u = -496 - 2608. Let j = u + 1613. Let b = 3544 + j. Is b prime?
True
Let h(g) = 91*g + 16. Let a be h(5). Suppose l = -q + 1445, l + 5*q - 962 = a. Is (-4)/(-20) + l/10 composite?
True
Let x = -13 + 32. Suppose -2*r - 13 = -5*i, 0 = -5*i - 9*r + 5*r + x. Is i + (-5 - -1) + 254 a prime number?
False
Let z(t) = 39169*t**3 + 2*t**2 - 2*t + 1. Let f be z(1). Is (-1 - f/(-6))/(56/84) prime?
True
Let a = 44701 + 8166. Is a a prime number?
False
Suppose t = 4*t + 42. Let l(j) = j**3 - 2*j**2 - 9*j + 7. Let y be l(4). Is (t - 0)/(((-24)/164)/y) prime?
False
Suppose -7*c + 24 = -c. Let j be (-11)/(-22) + c/(8/25). Let v(w) = -w**3 + 15*w**2 - 12*w + 9. Is v(j) prime?
True
Let p = 132537 + 375826. Is p a composite number?
False
Suppose -1287888 = 66*u - 114*u. Is u composite?
True
Suppose 6*c = -4*c + 30. Suppose 5*a - 13155 = -5*d, c*d = -a + 2*a - 2631. Is a a composite number?
True
Let p = -636161 + 969232. Is p a composite number?
False
Is ((-25386)/(-8))/(147/2548) composite?
True
Let c = 958 + -548. Let i = 29 - 24. Suppose c + 545 = i*v. Is v a composite number?
False
Let a(g) = -3*g - 256. Let c be a(0). Let m be (405/(-6))/(1/10). Let u = c - m. Is u prime?
True
Suppose 0 = -5*b - 5701 - 5449. Is b*(18/(-4) - -4) a prime number?
False
Suppose -2*v + 23 = 2*v - x, -2*v = 3*x - 1. Suppose -3*c + 8743 = 4*o, 10930 = 5*o + v*c - c. Suppose 3*t - o - 4007 = 0. Is t a prime number?
True
Let o(m) = 418*m**3 - m**2 + 2. Let h(v) = v**2 - 29*v - 29. Let t be h(30). Is o(t) composite?
False
Suppose -113 = -13*b - 48. Suppose 0 = 2*q + 2*m - 12, 3*m - 3 = -q + 9. Suppose -3*i = -3, q*i - i = -b*w + 1392. Is w a prime number?
False
Let x(v) = 745503*v**2 + 7*v + 11. Is x(-1) a composite number?
True
Let l(b) = b**3 - 35*b**2 - 120*b + 247. Is l(53) a composite number?
False
Suppose 0 = 830*y - 819*y - 672551. Is y composite?
False
Is -2*(-144061)/4 + ((-276)/(-24) - 11) a composite number?
False
Suppose -4*u + 3*k + 89 = -2*u, -3*u + 135 = -5*k. Let m be ((-19)/(-2) - 2)/((-20)/u). Is (-688 - -1)/(m - -14) composite?
True
Let t = -12 - -15. Suppose -t*c - 36 = -3*x, 3 + 5 = x + 3*c. Is (-62055)/(-385) - (2/x - 0) prime?
False
Let v(x) = -1768*x**3 + x**2 - 12*x - 9. Is v(-2) prime?
False
Suppose 141*w - 45*w + 21*w = 480285. Is w prime?
False
Let s(i) = -14*i + 425. Let g be s(30). Suppose g*o = -t + 8534, -5*t + 3*o = -0*t - 42586. Is t composite?
True
Let p be (-1)/6*58 + (-2)/(-3). Is (-11151)/p - (-3 + (-3)/3) a composite number?
True
Let m be 0/(3 + -3 + -2). Suppose m = -2*t - 3*t + 5*o - 15, 4*o - 18 = t. Suppose -145 = -t*s - p - 2*p, -4*s - p = -295. Is s a composite number?
True
Let r(o) = 3*o**3 - 24 + 12 - 8*o + 25. Is r(6) prime?
True
Is 25400/80*(-1388)/(-10) a prime number?
False
Let c(d) = d**3 - 7*d**2 - 9*d + 10. Let q be c(8). Suppose p + q*s = 53355, -p - 4*p - 5*s + 266755 = 0. Is p a prime number?
False
Suppose p = 2, -5*a = 2*p - p - 27. Is a/75*-5 - (-1894)/3 prime?
True
Let m(d) = 74 + 75*d + 253*d + 39*d + 114*d. Is m(3) a composite number?
True
Let u = 1363 - 852. Let t = u - 204. Is t a prime number?
True
Let f(k) = 4*k**3 + 9*k**2 + 6*k + 9. Let j(o) = -7*o - 9. Let t be j(-3). Let z be f(t). Suppose 4*a + 5*a - z = 0. Is a a prime number?
False
Let w = -1833 + -1486. Let g = -2370 - w. Is g a composite number?
True
Suppose 31*n = 30 + 342. Suppose 4*t + n = 32, -5*g - 4*t + 5615 = 0. Is g a prime number?
False
Suppose -9 - 5 = -7*t. Suppose 0 = -t*o + 2 - 2. Suppose -3*v - 4*v + 133 = o. Is v composite?
False
Suppose -13*m = 5*x - 386755, x + 153*m = 151*m + 77351. Is x a prime number?
True
Suppose 17*x - 5164379 = 3242444. Is x composite?
False
Let u = -3094 - -1700. Is 2/((-4)/6) - u a composite number?
True
Let a = 6181 + 5805. Suppose 2*v - 3*b = 8405, -4*v + a + 4813 = 5*b. Is v a composite number?
False
Is (((-578052)/15)/(-6))/(8 - (-6102)/(-765)) a composite number?
True
Let t(i) = i**3 - 7*i**2 - 9*i. Let z be t(8). Is 2 - 1 - (z - -1 - 35721) composite?
False
Let p(w) be the third derivative of -w**6/120 - w**5/15 - 11*w**4/24 - 14*w**3/3 + 6*w**2. Let o be p(-4). Is ((-644)/o)/((-2)/8) a composite number?
True
Let f = 1170 - 1635. Let q(l) = 20*l**2 + 10*l + 2. Let m be q(-8). Let k = f + m. Is k composite?
True
Let d(b) = 10*b**2 + 283*b - 91. Is d(98) prime?
False
Let y(s) = 4*s**2 - 33*s - 41. Let h be y(25). Let n = h + -667. Is n a prime number?
True
Is (-402014)/16*(80 + -88) prime?
True
Let x(g) = g**3 - 36*g**2 + 22*g + 51. Let l be -1 - (-840)/22 - (-104)/(-572). Is x(l) prime?
False
Let b(h) = 281608*h**2 + 37*h + 38. Is b(-1) composite?
False
Let o(c) = -201*c + 14. Let r(b) = -b**3 - 8*b**2 - 9. Let x be ((-2)/3)/(33/(-36) + 1). Let g be r(x). Is o(g) a prime number?
True
Let r(c) = -2*c**2 + 10*c - 6. Let a be r(4). Suppose -a*x - 483 = -5*x. Suppose -w = x - 810. Is w prime?
False
Let k be (-14)/(-49) - 4/14 - -3. Let i(h) = -h + 5. Let a be i(3). Suppose -a*z + 1479 = k*j + 124, -3435 = -5*z + 2*j. Is z a composite number?
True
Suppose 97*d = 105*d - 232. Suppose 4*g + q = 50735, 3*g - 27*q = -d*q + 38055. Is g a prime number?
False
Let w = 17 + -14. Suppose 3*h + w*c - 28416 = 0, -11*c = -4*h - 14*c + 37885. Is h a prime number?
False
Let n be 1/(-5) - 10840816/(-280). Suppose -c + 10820 = 3*p, 3*c = 5*p + n - 6243. Is c composite?
True
Suppose -17*n = -12*n - 215. Suppose 54 = q + n. Let i(k) = -k**3 + 13*k**2 + 14*k - 3. Is i(q) prime?
False
Let f(m) = 2*m**2 - 6*m + 6. Let s be f(1). Suppose 24*c = 27*c + s*g - 8825, -c + 4*g = -2923. Is c composite?
False
Let j(f) = 6*f**3 + 3*f**2 + 4*f - 1. Let v = -337 + 349. Is j(v) prime?
True
Let u(z) = z**3 - 5*z**2 + 7*z - 7. Let p be u(4). Suppose -4*f + p*k = -0*f - 20285, 0 = 2*f + 2*k - 10120. Is f a composite number?
True
Is (2 + (-111772)/4)*(-74 - -67) composite?
True
Suppose -35 = -16*q + 11*q. Suppose 60759 - 4066 = q*k. Suppose 0 = -4*s - 9*s + k. Is s a composite number?
True
Suppose p = 5*q - 1617, -2*q + 638 = 7*p - 3*p. Let n = 8850 + q. Is n a composite number?
False
Let u(n) be the first derivative of 79*n**5/120 + 35*n**4/24 + 8*n**3/3 + 35. Let z(x) be the third derivative of u(x). Is z(14) composite?
True
Let p(c) = 22*c**3 + 60*c**2 - 5*c + 214. Is p(27) composite?
True
Let a(l) be the third derivative of -l**5/20 + 195*l**3/2 - 21*l**2. Let y be a(0). Is 4/(12/y) - 4 a composite number?
False
Let r(s) = -32084*s + 589. Is r(-6) prime?
True
Suppose 0 = -4*x + c + 328470, 2*x + 4*c + 10419 = 174645. Is x composite?
True
Let t(g) be the first derivative of 137*g**7/840 - g**5/30 + g**4/8 + g**3 - 29. Let b(j) be the third derivative of t(j). Is b(2) prime?
True
Suppose 0 = -128*w + 111*w + 4176679. Is w prime?
False
Suppose -24 = 5*j + 3*q + 4, 2*q = 2*j + 24. Let f(a) = -70*a**3 - 29*a**2 - 84*a - 7. Is f(j) prime?
True
Is 41384 + (-8 - -4) - (1 + 2)/(-3) a composite number?
False
Let x be (-2)/(-8) + 0 - (-331572)/(-16). Let t = x - -29470. Is t composite?
False
Suppose -c + 2*g + 49391 = 0, 5*c - 25*g - 247009 = -21*g. Is c a prime number?
True
Suppose -11*r = -8*r + 4*i + 77, 4*r = -5*i - 103. Is (r/5 - -5) + (-11667)/(-5) a prime number?
True
Let p(u) = -u**3 - 5*u**2 + 8*u + 9. Let j be p(-6). Let b(r) = r**3 + 4*r**2 + r - 2. Let m be b(j). Suppose -3*f - 1465 = -m*f. Is f a prime number?
False
Let y = 15582 + -6515. Suppose 15*z - 50182 = -y. Is z composite?
False
Supp