i. Is j prime?
True
Suppose 3175 = 6*z - 1715. Is z a prime number?
False
Let f(i) = -102*i**3 + i**2 - 4. Let u be f(-2). Suppose t + 3*t - 3*a = 1646, -u = -2*t + 5*a. Is t composite?
True
Let d(a) = -a**2 - 4*a + 9. Let o be d(-5). Suppose -42 = -b - 5*l + 2, -5*b = -o*l - 307. Is b composite?
False
Suppose -5*o = -6*o + 693. Suppose o = 3*i - 744. Is i a composite number?
False
Let u(d) = d**2 + 7*d - 20. Let n be u(-12). Suppose 38*a = n*a - 6706. Is a a prime number?
False
Let f = 93 + -59. Let h be f/14 + (-9)/21. Suppose h*m + 0*m - 2 = 0, 183 = 5*r - 2*m. Is r prime?
True
Is 2938 + ((-5)/10*-2)/1 composite?
False
Let t(d) = 4*d**2 + d - 2. Let m be t(1). Suppose -m*n + 2*c + 2 = 0, n = 3*n - c - 3. Suppose -2*j = -v - 0*j + 57, 4*j = n*v - 228. Is v composite?
True
Suppose 0*b = j + b - 1037, 3*b + 6 = 0. Suppose -j = -w + 2*u - 6*u, -2090 = -2*w - 5*u. Is w a composite number?
True
Let b = -166 + 513. Is b composite?
False
Let t(s) = s**2 - s + 3. Let v(y) = y**2 + y. Let f be v(-1). Let m be t(f). Suppose -5*i + m*c = -99, -4 = i - 4*c - 17. Is i a composite number?
True
Suppose -5*s + 97 = 3*f, 0*f = f + 1. Suppose 4*t = 3*i + i + 4, -4*i = 2*t - s. Is 1*-1*(-22 + i) composite?
False
Let v be (-45)/(-12) + (-2)/(-8). Suppose 0 = -5*f + 2*f - 3*t + 1566, 0 = v*f + 2*t - 2090. Is f prime?
True
Is (3 + 2 + 5)*1747/2 composite?
True
Suppose 4*s + 19989 = 50377. Is s a composite number?
True
Let m = -3134 + 7185. Is m a prime number?
True
Let r = 22561 + -14282. Suppose -p = -d + 6*d - r, -4*d = p - 6624. Is d prime?
False
Let r be 104/(-65) + 6/10. Let t = 2 - r. Is ((-201)/9)/((-1)/t) prime?
True
Suppose 0 = -c - x + 2522, 4*c + 3665 - 13754 = -5*x. Is c a composite number?
False
Let n = -19884 + 33925. Is n a prime number?
False
Is 159*(-3 + 190/15) composite?
True
Suppose -4*j + 7 = -17. Let w(a) = 28*a + 43. Is w(j) composite?
False
Let a be ((-64)/24 - -5)/((-1)/(-441)). Let p = -501 - 227. Let d = a + p. Is d composite?
True
Is 27504/5 + ((-288)/(-40) - 7) prime?
True
Suppose -4*x + 0*x + 44 = 5*d, 8 = 2*x - d. Let s(m) = m**2 - 3*m - 15. Let w be s(x). Suppose -5*q + 2*c + 3059 = 812, -1350 = -w*q + 3*c. Is q a prime number?
True
Suppose 20 = 4*a, -5*z - 167 = -2*a - 477. Suppose 0 = -3*t + t - 22. Let i = t + z. Is i prime?
True
Suppose i = -1 + 4. Suppose -i*g = g - 100. Suppose -k = -g - 42. Is k composite?
False
Let n(h) = 707*h + 8. Let s = 6 + -2. Let q be n(s). Suppose 9*w = 5*w + q. Is w a prime number?
True
Suppose 3*l - 598 + 103 = 0. Let i = -96 + l. Suppose -5*f + 8*f = i. Is f prime?
True
Suppose 0 = -21*f + 914 + 1123. Is f a prime number?
True
Suppose 4*r - 44 = 36. Suppose s - a + 10 = -4*a, 3*s - r = a. Suppose -2*h - 1677 = -5*o, -o - s*h + 32 = -298. Is o prime?
False
Let x = 48 - 43. Suppose -m = -5*y - 2799, -x*m - 5*y + 11408 = -2467. Is m a prime number?
False
Suppose 641799 + 449233 = 8*o. Is o prime?
True
Let p = -2 + 4. Let m(z) = 8*z**2 - 4*z - 2. Is m(p) a composite number?
True
Suppose 0 = -2*i + 8, -2*g - i = -6*g + 8. Suppose 3939 - 1011 = g*p. Is 4 + (2 - 5) + p a composite number?
False
Suppose 0*w + 2*w + 20 = -2*n, -4*n = 20. Let m(u) = u**3 + 5*u**2 - 8*u - 3. Is m(w) prime?
True
Let y(t) be the second derivative of t**4/12 + t**3/3 - 5*t**2/2 - t. Let k be y(-4). Suppose 5*g + 236 = -0*x + k*x, -4*g = 4. Is x a prime number?
False
Let d = 3587 + -1966. Is d prime?
True
Let w(s) = 206*s**3 - 16*s**2 + 77*s - 7. Is w(4) a composite number?
False
Let x(z) = 65*z**2 + 10*z + 2. Let j be x(-12). Suppose 0 = -2*w + 5*g + j, 7*w - 2*w - 4*g = 23105. Is w composite?
False
Let m(z) = 4*z**2 + 21*z + 7. Let i be m(-5). Suppose -3*v = -0*b - 2*b + 5653, -i*v = -4*b + 11318. Is b a composite number?
True
Let r = -2635 - -5433. Is r a prime number?
False
Suppose 4*v + u = 16405, -37*v - 4096 = -38*v + 5*u. Is v a prime number?
False
Suppose 3*r = -r + 2372. Is r a composite number?
False
Let c(q) = -10*q - 3*q**2 + 2*q**2 + 12 + 0*q - 3*q. Let x be c(-13). Let b = x - -57. Is b a composite number?
True
Let m = -252 + 904. Suppose 2*d - 1223 = 935. Let b = d - m. Is b a composite number?
True
Let u(j) = -2*j**3 - 3*j**2 - 3*j - 1. Let i be u(-9). Let s = 4008 - i. Is s prime?
True
Let t = 4549 - 2195. Let w = -663 + t. Is w prime?
False
Let s(w) = -22*w**3 + 3*w**2 - 2. Let a be s(-1). Suppose -15*q = -a*q + 5064. Is q a prime number?
False
Let w(s) = 2*s**2 - 15*s + 8. Let z be (2 - 1)*(-21)/3. Is w(z) a prime number?
True
Let q(h) = -h - 4. Let g be 4/6 + (-115)/15. Let w be q(g). Suppose 3*o - 1010 = -w*b + 2*o, -2*o = -3*b + 995. Is b composite?
True
Suppose -3*y - 60 = 3*y. Is y/(-10)*(2439 + -2) a prime number?
True
Is (-4 - -2) + 1834 + 3 composite?
True
Let t be (-1 - 0)/((-8)/16). Suppose 2*v - 406 = -2*o - 2*o, 3*v = -t*o + 593. Suppose 564 = 3*b - v. Is b a composite number?
True
Let l(k) = -7618*k**2 + k. Let p be l(2). Let t be p/(-60) - 2/(-12). Suppose -13*o + 17*o - t = 0. Is o composite?
False
Let h(r) = 5 + 4*r + 0 - 4*r**2 + 2*r - r**3. Let g be h(-5). Is (-4411)/(-22)*(2 - g) composite?
False
Let n(i) = -6927*i**2 - 3*i + 12. Let r be n(-4). Is r/(-88) + 4/(-22) composite?
False
Suppose j + 3*r - 8 = 2*j, 0 = -4*j + r + 1. Let m be 2*j - 16/8. Suppose 12 = z + 5*f, m = 2*z + 4*f + 6 - 60. Is z a composite number?
False
Let i = 19 + 112. Suppose 5*k = 1334 + i. Is k a prime number?
True
Let c(b) = -6*b**3 + 7*b**2 + 10*b + 1. Let d = 28 + -27. Let z(u) = -u**2 - u - 1. Let f(n) = d*c(n) + 6*z(n). Is f(-4) composite?
False
Suppose -15 = -4*l + 3*w, -4*w = -w + 3. Suppose -4*y + 2905 = l*c, -2*y + 1937 = 2*c + y. Is c a prime number?
True
Let d(t) = -4561*t**3 - t**2 + 6*t + 7. Is d(-1) composite?
False
Suppose 0 = s - 2*h - 1, s + 0 = -h - 11. Suppose 0 = -k + 3*k - 60. Let o = s + k. Is o composite?
False
Let v(o) be the first derivative of 0*o**2 + 1/3*o**3 + 303*o - 3. Is v(0) composite?
True
Suppose f = a - 9, 0 = 2*f - 0 + 4. Let i(c) = 2*c**3 - 8*c**2 + 11*c + 2. Is i(a) composite?
False
Suppose 28*g - 134144 = -4756. Is g composite?
False
Suppose 10*t - 11*t = 82. Let i = 181 + t. Let v = 244 - i. Is v a composite number?
True
Suppose 0 = 3*c + 3 - 9. Suppose 2*l + c*l = -72. Is ((-9)/l)/((-1)/(-262)) composite?
False
Suppose 3354 = i - r, -5*r = -15*i + 12*i + 10064. Is i a prime number?
False
Let c = 14919 - 7975. Let p be ((-5)/(-4))/(8/c). Is p/2 + (-21)/14 a prime number?
True
Let i(d) = 64*d**3 - 7*d**2 + 37*d - 13. Is i(8) composite?
False
Let w = 30 - 23. Let b be 3/w - (-3375)/(-35). Let a = 209 + b. Is a composite?
False
Suppose -2*s + 1692 = -6*s + 4*d, 0 = 4*s + 2*d + 1710. Let y = -249 - s. Is y prime?
False
Let x = 77943 + -41080. Is x composite?
True
Let k be -8*((-40)/32 + (-1)/(-4)). Let l(r) = 226*r - 11. Is l(k) prime?
False
Let u be ((-3)/4)/((-3)/12). Suppose 6*m - 2*m + 10 = -2*y, -u*y + 10 = m. Suppose y*q - 1469 = -24. Is q a composite number?
True
Let j = -5794 + 8988. Is j a composite number?
True
Let a(q) = 502*q + 99. Is a(17) a prime number?
False
Let n be (-162)/36 + (0 - 1/2). Let t(l) = 18*l**2 - 8*l - 11. Is t(n) a prime number?
True
Let a be (2 + -4)*(-5)/(-10). Is (2 - 0)/(a/(-37)) a composite number?
True
Is (-5 + (-4)/(-2))*4535/(-15) a prime number?
True
Let f = 95306 + -52515. Is f composite?
True
Suppose -g - 36 = -7*g. Suppose -z = -4*z + g. Suppose -4*o - 2*b = -252, z = -b - 2. Is o prime?
False
Let b = 89568 - 36569. Is b a composite number?
False
Let g be 2/(-7) + 96/42. Suppose -7*o + 8*o = -g. Let j(r) = -5*r + 1. Is j(o) a composite number?
False
Let i be ((-2)/(-4))/(3/30). Suppose -3*a - 167 = -i*g, -4 - 54 = -2*g - a. Suppose 6*w = g + 251. Is w composite?
False
Suppose -4*l = -y - 12, 0 = -l - y - 3*y - 14. Suppose 0*n - 1262 = -l*n. Is n prime?
True
Let v(z) = -z + 6. Let g be v(-6). Suppose 0 = 3*q - 24 - g. Let r(y) = 2*y**3 - 13*y**2 - 15*y - 7. Is r(q) composite?
True
Suppose -143 = -5*t + g, 8*t - 4*t + g - 109 = 0. Let y be (0 - 6)/((-42)/t). Is (157/y)/((-6)/(-72)) prime?
False
Let u(v) = 2*v**3 + 2*v**2 + 2*v + 1. Let f be u(-1). Let m(t) = 3*t**2 - 1. Let w be m(f). Suppose x = 3*k - 108, 5*x - 20 = w*k - 79. Is k prime?
True
Let c(x) = -x**3 + 13*x**2 + 29*x + 2. Suppose 14*o = 10*o + 52. Is c(o) a prime number?
Tr