Is 2/c + 3009/6 + 2 prime?
True
Let s(r) = 4810*r - 591. Is s(5) prime?
True
Let c be 64 - -3*8/12. Suppose -h - c = -2*h. Suppose h = 2*k - 32. Is k composite?
True
Let h(z) be the third derivative of 67*z**7/1260 - z**6/240 + z**5/60 - z**2. Let y(w) be the third derivative of h(w). Is y(5) a prime number?
False
Suppose 23 = 2*h - 17. Suppose r + 3*r = h. Suppose -r*k + 166 + 1144 = 0. Is k prime?
False
Let m(k) = -2*k + 1. Suppose 17 = 4*g - 3*p, 7*g - 19 = 3*g + p. Let z be m(g). Let t = 24 + z. Is t a composite number?
True
Is (5 - 0) + (52 - -2)*132 a prime number?
False
Let b = 63 + -39. Suppose j = -j - b. Let c(d) = -7*d - 15. Is c(j) composite?
True
Let j(v) = 9*v**2 + 4*v + 5. Let f be (-110)/25 - 9/15. Let o be j(f). Let y = -49 + o. Is y prime?
False
Let i(u) = 9*u**2 + u + 3. Suppose -4*h + 2*b + 6 - 2 = 0, 4*h = -3*b + 24. Let m = -8 + h. Is i(m) composite?
False
Let i(d) = 13*d**2 - 6. Let p(v) = 13*v**2 - 6. Suppose 2*q + 12 = -2*q - 5*o, 0 = 2*q - 4*o + 6. Let z(m) = q*i(m) + 4*p(m). Is z(-7) composite?
False
Let k(o) = 191*o**2 + 19*o - 3. Is k(7) prime?
False
Suppose 18 = 10*t - 7*t. Is (-3)/(t/4) + 8892/12 prime?
True
Suppose 6*o - 1 = -3*l + o, -l - 3 = 5*o. Let x be 0 + (l - 5) - -111. Let s = x + 86. Is s a composite number?
True
Suppose 3*t - 527 = 3*i + 1501, 5*t - 3380 = 4*i. Let q = t + -345. Is q a prime number?
True
Let h(d) = -10*d**3 + 8*d**2 - 36*d - 10. Let l be h(15). Is l/(-12) - (-8)/(-6) a composite number?
False
Let j(r) = -16*r**3 - 4*r**2 - r - 3. Let f(c) = 31*c**3 + 9*c**2 + c + 6. Let u(k) = 2*f(k) + 5*j(k). Is u(-2) a prime number?
True
Suppose -100*m - 5257 = -107*m. Is m prime?
True
Suppose 3*f - 4*l - 4 = -0*f, -f - l = 1. Suppose 0*d + 2*d = 844. Suppose f*b + 2*b = d. Is b a composite number?
False
Is (67 - -29980)/(4/2 + -1) a composite number?
False
Suppose 0 = -5*p - 10, 3*x + 5*p - 2*p - 10917 = 0. Is x a prime number?
False
Suppose 2*z + w - 2*w + 150 = 0, 0 = 2*z - 3*w + 146. Is 1005/19 + (-8)/z a composite number?
False
Let k(r) = 2291*r + 166. Is k(5) prime?
True
Let h(l) = -40*l**3 - 11*l**2 - 4*l + 6. Is h(-5) composite?
False
Suppose 4*u - 27 = 5*n, 4*n - 36 = -4*u - 0*u. Suppose -u*m = -5*m - 2757. Is m composite?
False
Let k(h) = -h**2 - 15*h - 18. Let x be k(-10). Suppose 0 = 3*v + 2*v + 5, -2*v - x = -5*n. Is n a prime number?
False
Suppose 23 - 8 = -5*n. Is 5/3*n - -894 prime?
False
Suppose -16*w - 234210 = -46*w. Is w composite?
True
Suppose -624 = 2*s - 3138. Is s composite?
True
Let q(y) = -5*y**3 + 5*y**2 - 11*y + 93. Let b(m) = 3*m**3 - 3*m**2 + 7*m - 62. Let i(h) = -8*b(h) - 5*q(h). Is i(0) composite?
False
Let r(d) = -2*d**3 - 10*d**2 + d - 8. Let i be r(-9). Suppose 0 = 6*f - 8 - 22. Suppose 0 = -f*c - 166 + i. Is c prime?
False
Let r(z) = -35*z**3 - 45*z**2 + 42*z + 81. Is r(-16) a composite number?
False
Suppose -4*w + 4*z = -0*z - 4, 5 = 2*w - 5*z. Suppose 0 = -w*j - 3*j - 99. Is (-4202)/j + 2/(-6) prime?
True
Suppose 0 = 2*n + 4 - 2. Let m(l) = 0*l + 11*l + 1 + 3*l**2 - 4*l**2 - 10*l - 224*l**3. Is m(n) prime?
True
Suppose d + 13 = 16. Let k be d/(-7) + (-114)/(-21). Suppose k*c + 6*w - 379 = 3*w, -4*c - 5*w + 298 = 0. Is c a composite number?
True
Let g = 0 + 0. Suppose -5*v = -2*l - 4615, -5*v = -4*l + 3*l - 4620. Suppose 5*j = -g*j + v. Is j composite?
True
Suppose 54*v - 485842 = 40*v. Is v composite?
False
Suppose h + 4*q = 5*q + 11672, 2*q + 35021 = 3*h. Is h prime?
True
Let u be 47/(-5) - 4/(-10). Let h = 12 + u. Suppose -h*w - 1059 = -8*w - 2*s, 0 = -3*w + 2*s + 629. Is w a composite number?
False
Suppose 3*g - 28 = -g. Suppose 0 = j + c + 576, 0 = 2*j - g*j - 4*c - 2885. Let h = j + 844. Is h a composite number?
False
Let c = -9311 - -26182. Is c a prime number?
True
Let t be 19290/13 - (-16)/104. Suppose -54*g = -50*g - t. Is g composite?
True
Let z be (8/(-5))/(6/30). Let q(p) = -p**3 - 8*p**2 - p - 5. Let c be q(z). Is 19 + c + (-1 - 0) composite?
True
Is ((-9762)/4)/((-21)/154) composite?
True
Suppose -6*r = -r - 140. Suppose 2*g - 10 = r. Is g composite?
False
Let j(h) = 4*h**2 + 7*h + 2. Let i(a) = -3*a**2 - 8*a - 3. Let r(o) = 6*i(o) + 7*j(o). Suppose 9 = 5*k - t - 8, 0 = -5*k - 5*t + 5. Is r(k) a prime number?
True
Suppose -6*n + 115704 = -147414. Is n a composite number?
False
Let n be 8/2*(-3)/(-6). Let d(x) = 427*x - 3. Is d(n) a prime number?
False
Suppose 5*a + 5*g = -5, 3*g - 20 = -4*a + 7*g. Let v(x) = -1 - 11*x**2 + 7*x**2 + 4*x**2 - a*x - 122*x**3. Is v(-1) a prime number?
False
Let j = 4243 - -460. Is j a composite number?
False
Let p(i) = 95*i + 54. Let y(r) = -97*r - 53. Let v(m) = -3*p(m) - 4*y(m). Is v(7) a prime number?
False
Let y(i) = -2*i**2 - 7*i - 6. Let p(n) = 3*n**2 + 11*n + 9. Let h(r) = 5*p(r) + 7*y(r). Let m be h(-5). Is ((-1)/(-3))/(m/(-834)) composite?
False
Suppose -4 = -4*s - 20, o - s = 3. Let c be -12*(o - 2)/6. Suppose -3*b = 0, -c*n + 2*n + b = -2708. Is n a prime number?
True
Let g be 8*2*(-34)/8. Let m = g + 1063. Is m a prime number?
False
Suppose 0 = 2*u - 10244 - 92142. Is u a composite number?
False
Suppose 5*k = 2*c + 12, -5*c + 3*k = k - 12. Suppose 4*f - 3*r - 7802 = 0, -4*f + 7798 = 3*r - c*r. Is f a composite number?
False
Suppose 85*s - 51952 = 69*s. Is s a prime number?
False
Let a = 35 + -11. Suppose 2*w - a = 5*i, 4*w = -i + 6*w - 8. Is 31/(86/(-22) - i) prime?
False
Let u(c) = c**3 + 16*c**2 - 11*c + 4. Let j be u(-15). Suppose 3*d = -2*o + 1131, o = d - 4*o - j. Is d a composite number?
False
Let h(j) = 54*j**3 + 7*j**2 - 55*j + 1. Is h(4) composite?
True
Let o(u) be the third derivative of u**6/120 - u**5/15 + 5*u**4/12 - 7*u**3/3 + 5*u**2 - 2. Suppose -2*l - 6 = 0, -k - 2*k = -l - 21. Is o(k) prime?
False
Let k = -387 - -806. Is k prime?
True
Let d = 330 + -753. Let c = 118 - d. Is c a composite number?
False
Let k = -19 - -22. Suppose k*n = -2*n. Suppose -5*w = -5*i - 5485, n*w + i - 3299 = -3*w. Is w a prime number?
False
Suppose 1425 = 2*w - 509. Is w a composite number?
False
Suppose w + 0*w + 4*r + 2011 = 0, r - 4022 = 2*w. Let y = w - -2982. Is y prime?
True
Let u(w) = -6 + 13*w - 1 - 359*w**2 + 392*w**2. Is u(-5) prime?
False
Suppose 19*b + 189835 - 611768 = 0. Is b composite?
True
Let r = -626 + 5325. Is r a composite number?
True
Let o = 14456 - 6157. Is o composite?
True
Suppose 3*k - 6795 = 3*c + 4083, 0 = 2*k + 4*c - 7228. Suppose -643 = -5*a + k. Is a prime?
True
Let m(j) = 45*j**3 + 17*j**2 - 83*j - 5. Is m(4) a composite number?
True
Let r(p) = 2*p**2 - 68*p - 48. Is r(35) composite?
True
Let o(r) = -236*r**2 - r + 2. Let i(g) = -236*g**2 - 2*g + 2. Suppose 9 + 7 = 4*w. Let t(z) = w*i(z) - 5*o(z). Is t(-1) a prime number?
False
Let z = -20314 + 47493. Is z prime?
True
Let t = 16 - 12. Suppose -t*x + 2*y + 213 = -137, -3*x - 2*y + 259 = 0. Is x a prime number?
False
Let q = 36 + -26. Suppose -15*j + q*j = -1255. Is j prime?
True
Suppose 0 = 5*w + 20, 6*m = 2*m - 5*w - 8. Is (m/(-6))/(2/508)*-1 prime?
True
Let j = 7765 - 3226. Suppose -j = -8*p + 5*p. Is p a composite number?
True
Let n = 75 + 1012. Is n composite?
False
Suppose 2*j + 5*s + 15 = 0, -5*j - 15 = 2*s + 3*s. Suppose -3*v + 2*f - 10 = -5*v, v - 4*f + 5 = j. Suppose 311 = v*n - 88. Is n composite?
True
Suppose -4*c - 73927 = -63*c. Is c prime?
False
Let u(n) = 678*n**2 - 6*n - 3. Is u(-3) a composite number?
True
Let h(r) = -r**2 - r + 3. Suppose -k - 5 = 0, -k = -t - 4*t + 20. Let c be h(t). Is -3*(c/3 + -40) prime?
False
Let t = -211 - -107. Let n = t + 238. Is n prime?
False
Let k(s) be the first derivative of 253*s**2/2 + 21*s - 6. Is k(12) composite?
True
Let z(c) = 317*c - 263. Is z(33) a composite number?
True
Suppose 2*p = z + 14821, 19*p = 23*p - 5*z - 29639. Is p a composite number?
False
Suppose -5*c + 21 = -9. Let h(p) = 21*p**2 - 8*p - 13. Is h(c) a prime number?
False
Suppose -c = -29 - 15. Let f = c - -75. Is f composite?
True
Let g = -7 + -9. Is 4690/16 + 2/g a prime number?
True
Let a = 25 - 23. Let v = a - -9. Suppose 10*i = v*i - 127. Is i a composite number?
False
Let y be -1 + -1 + (-5 - 24). Let q = 31 + y. Suppose q = 21*g - 17*g - 1724. Is g prime?
True
Let f(r) = 291*r**3 + r**2 + 2*r - 1. Suppose 10*k + 3 = 13*k. Is f(k) a composite number?
False
Is (1114/8)/((-28)/(-784)) prime?
False
Let j = 2