 -q = -5*k + 87480. Is k prime?
True
Let f be (-18)/(-45) + 16/10. Is (-1823*1/f)/((-2)/4) a prime number?
True
Let n = 7350 - 3897. Is n a prime number?
False
Is ((-18)/60*-5)/(9/1026222) a prime number?
False
Suppose -3*s + 1139 = m, -4*m - s - 2649 = -7205. Is m a prime number?
False
Let q(l) = 648*l**2 + 61*l - 341. Is q(8) prime?
False
Suppose p - 1914 = 5*r, -5*p = -4*r - 1797 + 249. Let a be 3/(-3) + 0 - r. Let j = a + -196. Is j a composite number?
True
Suppose -57*y = -85*y + 4564. Is y a prime number?
True
Let y be ((-161)/(-4))/(4/400) + -4. Suppose y = 10*j - 17509. Is j a prime number?
True
Suppose -4*w + 16 = 0, 3*z - 3*w - 15523 = 2*w. Let i = z - 2570. Is i composite?
True
Suppose 0 = 2*f - 4, 0 = -4*p - 5*f + 2222. Is p a composite number?
True
Let q(i) = 12*i**2 + 14*i - 29. Is q(-21) prime?
True
Let o = -23 - -19. Let i(a) = -a**2 - 6*a - 5. Let k be i(o). Suppose k*j = 249 + 84. Is j prime?
False
Let d(l) = 25 - 3 + 1 - 2*l - 1. Let z be d(9). Is 232 + (8/z - 1) a composite number?
False
Suppose x - 3*x = -10, 4*l = -3*x - 985. Let t = 1127 + l. Is t composite?
False
Suppose 18 = 3*k - 2*p, -k - p + 11 = -0*p. Suppose 0 = k*q - 5*q + 54. Is 15*3*(-26)/q composite?
True
Let a(v) = 3*v + 1. Let q be 2/(-4) - 25/(-2). Is a(q) a prime number?
True
Let w be 18/(-1 + (-14)/(-16)). Let b = 138 - 31. Let l = b - w. Is l a prime number?
True
Let s = 173 + -22. Let b = s - -104. Suppose v - b = -2*v. Is v a composite number?
True
Suppose -4*p + p = -5*n + 12448, -2*n + 4982 = -4*p. Is n prime?
False
Let j(q) = -49*q - 19. Let p be j(6). Let v = -204 - p. Is v a composite number?
False
Let b = -5 - -4. Is (-4 + 1)*b - -538 a prime number?
True
Let w(i) = -108*i**2 - i. Let r be w(1). Suppose -3*q - 2*q = -5, -2*u - 5*q = -365. Let g = r + u. Is g a composite number?
False
Let k(c) = 3*c**3 - 2*c**2 + 1. Let u be k(1). Suppose -7*a + 1120 = -u*a. Let s = 433 - a. Is s a prime number?
False
Let h(t) = -127*t - 55. Let z = 2 + -8. Is h(z) prime?
False
Let w = 18 + -13. Let d = w - 2. Suppose -o = -2*f - 2*f + 762, d*f - 5*o = 563. Is f a composite number?
False
Suppose 20*l = 57432 + 275908. Is l a composite number?
True
Let j(i) = -57*i + 1. Is j(-12) composite?
True
Suppose 2*l = -b + 9, -l - b - 4*b = 9. Let a be (l/4)/((-3)/28). Is (58/4)/((-1)/a) composite?
True
Suppose 5*w = -3*t + 372 + 921, w - 5*t = 253. Let z = w - 35. Is z composite?
False
Suppose 0 = -2*a + 3*a. Suppose -5*c + 11 - 1 = a. Suppose 3*g - 708 = -c*b + 5*b, 5*g = b + 1184. Is g a composite number?
True
Suppose n - 4*w + 18 = 0, n = -4*w + 4 + 10. Is n + 0 + 5625 + 0 prime?
True
Let t(z) = 39*z - 6. Suppose 0 = -2*q + 2*i, 5*q + 3*i = 2*i. Suppose q = -4*p + 4*a + 16, -p - 2*a = 2*a + 1. Is t(p) prime?
False
Suppose a - 2*v = 275, 0 = a + 5*v + 64 - 339. Let w be (-2)/(-8) + (-1)/4. Suppose w = p - a + 24. Is p composite?
False
Let r be (-12)/((-15)/(-80)*-1). Let l = -43 + r. Is l prime?
False
Let p = -24517 - -37688. Is p composite?
False
Let u(x) = -x**2 - x - 1. Let l(n) = -61*n**2 - 4*n + 15. Let q(t) = -l(t) - 5*u(t). Is q(4) a prime number?
False
Is (635 - 0) + -5 + 2 + 3 a prime number?
False
Let p be -1*(-4 + 7) + 21. Suppose 0 = 4*b + 2*y - 10 + 48, -2*y + p = -3*b. Is -1*166*4/b prime?
True
Let c = -92 - -83. Let s(a) = -a - 3. Let h be s(-5). Is h/c + 634/18 composite?
True
Suppose -12*b = -163 - 473. Is b a composite number?
False
Is (3 + -4)/((-5)/(43270/2)) prime?
True
Suppose -3*u - 1637 = -10838. Is u a composite number?
False
Suppose -3*z = 2*z + 15. Let o be -2 + (0 - z) + 79. Suppose 0 = -2*a + 4*i + 82, -3*i - o = a - 3*a. Is a prime?
True
Suppose 30 = 10*d - 10. Suppose a = -z + 337, -d*a + z - 6*z = -1350. Is a a prime number?
False
Let d(k) = 12*k**2 + 15*k + 29. Is d(34) composite?
False
Suppose 78 = 4*l - l. Suppose -4*z + l = -3*u, 2*u + u - 5*z + 28 = 0. Let q(x) = 13*x**2 - 6*x - 7. Is q(u) prime?
False
Let h(n) = 144*n - 1. Let v be h(1). Let t = v + 20. Let g = t - -144. Is g prime?
True
Suppose 7 = -5*p + 2, 4*l - 4*p - 36 = 0. Let a(q) = -q**3 + 7*q**2 + 8*q + 6. Let i be a(l). Is ((-51)/i)/(1/(-14)) prime?
False
Let h(r) = 274*r**2 - 2*r - 297. Is h(-14) a prime number?
False
Let z = -1697 + 1181. Let s = z - -727. Is s a composite number?
False
Suppose -3*v + o - 141 = 2*v, -3*o = 2*v + 53. Let u = v - -32. Suppose 5*t - 41 = -u*w + 3*w, -4*w + 202 = t. Is w a prime number?
False
Is ((-29259502)/(-933))/(-1*2/(-3)) prime?
True
Suppose 0 = -100*q + 95*q - 215. Let x be (-26 - -2)*(-38)/(-6). Let g = q - x. Is g a prime number?
True
Let a = -310 - -1163. Is a composite?
False
Suppose -5*k - 1166 = -2411. Is k a prime number?
False
Suppose -4*f = 2*x - 16, -2 = -2*f + f. Suppose 3 + 5 = x*m. Is -2 + m - (-1 + -5) a composite number?
True
Suppose -2*j - 17*i + 19*i = -110884, 4*i + 277209 = 5*j. Is j a prime number?
True
Suppose 0 = 7*g + 3*g - 149030. Is g prime?
False
Suppose 5*q + 35773 = 4*u, -44726 = -5*u + 20*q - 17*q. Is u composite?
True
Let a(w) = -w. Let t(v) be the first derivative of 174*v**2 + 9*v + 7. Let r(q) = -a(q) - t(q). Is r(-4) composite?
True
Let m(w) = 11*w**2 + 28*w + 143. Is m(30) a prime number?
True
Let u be (-4)/(-4)*-2*-4. Suppose -2155 = 3*v - u*v. Suppose -r - r + 421 = 5*n, 5*n - v = 3*r. Is n a composite number?
True
Let t = 14 + -14. Suppose 5*o - 6 - 9 = t. Is 2 + 77 + (o - 5) composite?
True
Is 19/(133/119119) + -6 prime?
True
Let r(d) = 2*d**3 + d**3 - 3*d**2 + 2*d**2 - 9 + 9*d + 0*d**2. Is r(4) a composite number?
True
Let w(r) = 99*r - 5. Let i be w(7). Let x be (-20)/(-5 + 1) + 9. Is (x/(-4))/((-8)/i) prime?
False
Let a(x) = -2*x**3 - 12*x**2 + 13*x - 6. Suppose z - 37 - 23 = 0. Suppose 2*u + y + 39 = -2*u, -z = 5*u - y. Is a(u) composite?
False
Let b(l) = l**3 - 9*l**2 + 2*l + 6. Let s be b(8). Let d(m) = 3*m**3 - m**2 - 3*m + 4. Let x be d(3). Let v = s + x. Is v a prime number?
False
Let i(b) = -1 + 1 - 1686*b + 296*b - 1. Is i(-2) composite?
True
Let o(d) = 70*d + 19. Let w(z) = 1. Let y(q) = q - 5. Let m(x) = 4*w(x) + y(x). Let u(i) = 6*m(i) + o(i). Is u(4) composite?
False
Let y = -149 - -143. Is 1*y/27 - 77732/(-36) composite?
True
Let n(l) = -29*l + 2. Let g be n(5). Suppose -3*y + 0*v - 785 = -5*v, 5*v = -2*y - 565. Let r = g - y. Is r prime?
True
Let b = -3 + 5. Suppose 0*j + 8 = b*j. Suppose -4*p = -3*l - 428 - 594, 5*p - j*l - 1278 = 0. Is p a prime number?
False
Let s = 975 + 1436. Is s composite?
False
Let s(u) = 9*u**2 + 31*u - 21. Is s(13) prime?
False
Let b(s) = 3*s**2 - 2*s - 3. Let o(m) = -2*m**2 + 3*m + 3. Let z(p) = -3*b(p) - 4*o(p). Let k be z(-5). Is 6/k*7/3 prime?
True
Let s = -1405 - -6246. Is s prime?
False
Let z(u) = 43*u**2 - 14*u**2 + 46*u**2 + 4*u - 10 + 3. Is z(-4) composite?
True
Suppose -2*w = 8, -5*s + 0*w + w = -24. Suppose 0 = s*r + 12, c - 3*r - 181 = -0*c. Suppose -5*h - u = -c, -3*h = -2*h - 4*u - 47. Is h a composite number?
True
Suppose -13135 - 8304 = -11*y. Is y a composite number?
False
Suppose -i + 4*o - 11 = -0, -2*o = -6. Suppose 0 = b - i - 2, 3*y - 5*b + 6 = 0. Suppose 4*v = x - 35, y*x - v - 200 = -x. Is x prime?
False
Let n be 1/(-2 - 7/(-3)). Suppose -2*m = n*z - 1118, -1094 = -2*m - 0*m + 3*z. Is m a composite number?
True
Suppose 4*d = -20, -3*d = z + 2*d + 22. Suppose l + 5*r = 76, z*l - l - 194 = 4*r. Suppose -3*y - l + 270 = 2*j, 2*j = 2. Is y a prime number?
True
Is (38 + -69)*1657/(-2)*2 composite?
True
Suppose -9*i + 12*i - 138 = 0. Is i a composite number?
True
Let n = 1 - 1. Suppose 4*w + 323 = -5*r - 0*w, n = r + w + 64. Let h = r - -200. Is h a composite number?
True
Let d = -9615 + 16420. Is d a composite number?
True
Is 2 - (-79946)/10 - (-2)/5 a prime number?
False
Suppose -2*i - 2017 = -601. Let c be (i/10)/(9/(-90)). Suppose 12*f - 8*f = c. Is f prime?
False
Suppose 12*f - 8*f = 12. Suppose -3*w - 1328 = -4*r, 0 = -f*w - w + 16. Is r a prime number?
False
Let x(i) = 121*i**2 - 4*i - 3. Let y = 5 + 9. Suppose y = -12*m + 5*m. Is x(m) a prime number?
False
Suppose 0 = -10*z + 5*z. Suppose 5*i = -z*i + s + 2045, -3*i + 1227 = 2*s. Is i a composite number?
False
Is -7 + 10 - (-4421 + 3) composite?
False
Suppose -1797262 = -46*h + 938220. Is h a prime number?
True
Suppose 5*j + o = 5*o + 8, 2*j - 3*o + 1 = 0. Let q(k) = 2*k - 