pose -f*n + 4*x + 983 = 157, -4*x + 1092 = 4*n. Is n composite?
True
Let s(q) = q**2 + 5*q + 11 - q + 14. Is s(-10) a composite number?
True
Let h(a) = -4*a**2 + a + 18. Let i(j) = -j. Let z(q) = -h(q) + 4*i(q). Let y(r) = 3*r**2 - 5*r - 17. Let d(c) = -6*y(c) + 5*z(c). Is d(-11) a composite number?
False
Is 3900 - (-7 - -6)*7 composite?
False
Suppose -31*t + 18*t + 126789 = 0. Is t prime?
False
Let z = -16 + 10. Let i be z - -3*(-2)/(-3). Is (211/4)/(i/(-16)) a composite number?
False
Let i(t) = t**3 + 11*t**2 + 12*t + 7. Let b be i(-10). Is (-3)/(-6)*b*-58 composite?
True
Suppose 0 = 4*h - h, -16 = 4*m - 4*h. Let a(i) = -3*i + 1 + 2*i - 2*i + 5*i**2. Is a(m) composite?
True
Let b = 3 + 1. Suppose b*h = 4*y - 252, -h - 64 = -y + h. Let x = 120 - y. Is x prime?
False
Let a be 6/4 - 2/(-4). Let t be a/5 - 4758/(-30). Let n = t - 100. Is n composite?
False
Suppose -5*f + 14 = u + 2, 0 = -2*f + 3*u - 2. Let o be 8/(-12)*-3*f. Suppose 3*y - 70 = -o*k, -4*k = k - 4*y - 103. Is k composite?
False
Suppose k - 8 = 3*r - 25, -2*r = -4*k - 28. Let f be 0/5*(-2)/r. Suppose f*z + 2*w + 72 = 4*z, 11 = z - 4*w. Is z a composite number?
False
Let w = 1455 - -724. Is w a composite number?
False
Let i = 162 + -92. Suppose -2*n - 4*w - 20 = -6*n, -5 = -n - 2*w. Suppose -4*p - n*o + 31 + 214 = 0, -p + i = 3*o. Is p a prime number?
False
Let t be (3/(-2))/(24/(-32)). Suppose 3*c - 44 = 3*x - 176, -3*x + t*c = -137. Is x composite?
True
Suppose 2*z = -2*z + 23612. Is z composite?
False
Let c = 14 + -143. Let j be c - ((0 - -1) + -5). Let v = j + 424. Is v composite?
True
Let v be (2 - 4*-4)/((-6)/15). Let f = v - -424. Is f prime?
True
Suppose 5*a + 12 + 73 = 0. Let q = a + 104. Is q composite?
True
Suppose 18*q - 25*q = -15281. Is q composite?
True
Let n(f) be the third derivative of 1/6*f**3 - 5/12*f**4 + 0*f + 3*f**2 + 0. Is n(-2) a composite number?
True
Let y(m) = m**2 + 8*m - 6. Let w be y(-9). Let h be (-71)/(-7) - w/21. Is (3633/(-35))/((-2)/h) prime?
False
Suppose -4*s = -3*f + 24, -7*f = -4*f + 4*s - 48. Let k = f - 10. Is (k/(-2))/(4/(-1164)) a prime number?
False
Let m(f) = 3*f**2 - 3*f - 3. Let t be m(3). Is (-4630)/(-25) - 3/t a composite number?
True
Let x(n) = n**2 + 2. Let c be x(0). Let y be 0*(1/c - 1). Suppose y = -7*o + 4*o + 399. Is o composite?
True
Let s(q) = 5*q**2 - 8*q + 3. Let o be s(-6). Let x be (-2 - -2) + o/(-3). Is 0/((-1)/1) - x composite?
True
Let w(j) = -5*j**2 + 17*j - 23. Let u(k) = 6*k**2 - 17*k + 22. Let t(o) = -2*u(o) - 3*w(o). Is t(12) prime?
False
Let h be -718*((-4 - -8) + -5). Let b = -420 + h. Suppose -b = -2*g - 0*g. Is g prime?
True
Let m = 75369 - 32728. Is m a prime number?
True
Let w(u) = -u**2 - 7*u - 2. Let m be w(-7). Let i be 40/16*16/(-10). Is 314*(1 - m/i) composite?
False
Suppose 157*i = 5354499 + 15983999. Is i a prime number?
False
Let q be 112/(-6)*(-78)/4. Let p(n) = 74*n - 5. Let w be p(8). Let f = w - q. Is f prime?
True
Suppose 22237 = g - w, 27*g + 4*w = 32*g - 111181. Is g a prime number?
False
Let z(x) = x**3 + 10*x**2 - 11*x + 14. Let n be z(-11). Let k be n/(-8) + 6/(-24). Is k/(-8) + 51/4 a prime number?
True
Let b = -41 - -31. Let o = -2 - b. Is (296/(-32))/((-2)/o) prime?
True
Suppose 5*g - 849 = 3101. Suppose -3067 = -7*c + g. Is c a composite number?
True
Suppose -m = -y + 4*m + 7043, 4*m - 7007 = -y. Is y a composite number?
True
Is (-4)/(-1) - (-420 + -23) a prime number?
False
Let b be 10/4 + (-10)/20. Is (-8)/b - -1*207 prime?
False
Suppose 2*u - 6*u + 856 = 0. Suppose -3*m + 5*c - 30 = -u, -318 = -5*m - 3*c. Let b = 121 - m. Is b a composite number?
True
Let f = 976 - 261. Let s = f + 304. Is s prime?
True
Let j = -6 - -9. Suppose 88 = p + j*p. Is -26*(3 + p/(-4)) prime?
False
Suppose -3*c - 5*y + 5707 + 3059 = 0, -y = 3*c - 8778. Is c a prime number?
True
Let i(t) = 5*t**2 - 3*t - 10. Let m(v) = v**2 + v + 1. Let n(l) = i(l) - m(l). Let s be (1 - (7 + -12)) + 7. Is n(s) a composite number?
False
Let q be 6/3 - -250 - -1. Let h = -143 + q. Let j = h + -75. Is j prime?
False
Let n(t) be the second derivative of t**4/4 - 8*t**3/3 - t**2 + 4*t. Is n(11) composite?
True
Let x(i) = -1625*i + 103. Is x(-14) a prime number?
True
Suppose 0 = -5*l - 0*l - 885. Let o = l - -105. Is (-7)/(o/68 - -1) a composite number?
True
Let v(n) = -994*n + 2. Let a be v(-1). Suppose -a = -4*c + 4*u, u - 355 = -c - 106. Suppose -3*l - 3*w + 249 = 0, 2*l - c = -l + 3*w. Is l a prime number?
True
Let c(u) = 2951*u - 127. Is c(4) a composite number?
False
Let g = -4741 - -8930. Is g composite?
True
Let q = 49 - 12. Suppose 2*s - 2 = -h, -s + 5*h = 8 + 2. Suppose t - q = -2*i, -t + 16 = -s*t - 5*i. Is t prime?
True
Let y(u) = u**2 - u + 4. Let c be y(0). Suppose -2*s = 5*l - 7, c*l + s = -s + 4. Suppose n - 2*v - 664 = -n, -l*v + 328 = n. Is n a composite number?
False
Suppose -l - 32 = -3*l. Let z be (l - -1) + (-6 - -6). Suppose -3*m + 6 = 0, z = -u - 3*m + 166. Is u a composite number?
True
Let v(f) = f**2 - 17*f + 20. Let h be 17 - (5 + 12/(-3)). Let u be v(h). Suppose 1568 = u*g + 2*w, 1576 = -0*g + 4*g - 2*w. Is g a prime number?
False
Let s(c) = -3*c**3 + 19*c**2 - 15*c + 6. Let a(i) = -3*i**3 + 18*i**2 - 15*i + 7. Let n(q) = -7*a(q) + 6*s(q). Is n(6) composite?
False
Let d(i) = -i**3 + 13*i**2 - 30*i - 29. Suppose 3*z = 8*z + 55. Is d(z) a composite number?
True
Let k(h) = h**3 + 10*h**2 - 2*h - 8. Let g be k(-10). Let f(x) = 56*x + 4. Let b be f(g). Suppose -b = -4*n - 24. Is n prime?
True
Let h(w) = 27*w**2 + 2*w - 26. Is h(9) a prime number?
True
Let x = -2200 - -6899. Is x prime?
False
Suppose -22*c + 306316 = -214006. Is c prime?
False
Let p = -76 + 55. Is (-4)/14 + (-22623)/p prime?
False
Let x(t) = -13*t**2 - 9*t + 6. Let p be x(-5). Let s = 423 + p. Is s a prime number?
True
Let b be (-478)/5*15/3. Is (1 - b)*(1 - 0) composite?
False
Let p = -17 + 20. Suppose p*u + 54 - 222 = 0. Suppose u = 3*f + f. Is f composite?
True
Is (-4910451)/(-637) + (-2)/28*-4 a composite number?
True
Let d(h) = -11*h**3 + 2*h - 1. Let w be d(1). Let y = w + 43. Let p = 62 + y. Is p a composite number?
True
Let c = -779 - -1352. Let j = -4 + 4. Suppose -3*g = -j*g - c. Is g a prime number?
True
Let b(x) = 73*x - 10. Let j be b(7). Let k be (j - 3)/3 + -1. Suppose 4*n + k = 1009. Is n composite?
False
Let f = 27 - 28. Let i(k) = -2*k - 2. Let o be i(f). Suppose o = -4*n + 1532 + 1056. Is n composite?
False
Suppose 5*u + 2*o = 4*u - 13, -4*u = 3*o + 67. Let l = 18 + u. Is (-1)/(l - 5064/(-5068)) a prime number?
False
Let t(a) = 26*a**3 + a + 1. Suppose -5*x = -8*x + 6. Is t(x) composite?
False
Let o(l) be the second derivative of -l**5/20 + 2*l**4/3 + l**3/6 - l**2 - l. Let t be o(8). Is ((-22)/3)/(t/(-657)) composite?
True
Let x(t) = -t - 7. Let h be x(-11). Let c(r) = r**3 - 5*r**2 + 4*r + 2. Let p be c(h). Suppose -16 = 4*f, 768 = p*s - f + 22. Is s a composite number?
True
Let p be (-4926)/8 - (-4 + 17/4). Let z = -207 - p. Is z prime?
True
Suppose -2*m = j - 3049, 0 = 5*m - 2*j - 1950 - 5659. Let q = m - 888. Is q prime?
False
Let w be (-9)/(-15) + 4/10. Let q(n) be the second derivative of 8*n**5 - n**4/12 - n**3/6 + n**2/2 + 13*n. Is q(w) composite?
True
Let c(f) = -f - 1570. Let o be c(0). Let n = o - -2241. Is n a prime number?
False
Let m = 44 - -413. Is m prime?
True
Is 419 - 3 - 5/5*-3 composite?
False
Suppose 15 = 4*r + 3, 2*s - 5*r = 4867. Is s composite?
False
Suppose 16*h - 54224 = -0*h. Is h prime?
True
Is 128624/(-16)*(-1)/1 a composite number?
False
Suppose 0 = 2*k + k + 30. Let d = k + 12. Is (7*(35 - 1))/d prime?
False
Suppose 15 = 5*h, v - 4*h - 786 - 289 = 0. Is v prime?
True
Suppose 5*u = 6*u - 3*o - 1376, 0 = -2*u - 3*o + 2779. Is u composite?
True
Let c(v) = -v**2 - 7*v. Let w be c(-7). Suppose w = 4*s + 5*g - 83, -2*s + 5*g = -65 + 16. Is s composite?
True
Let n = 1736 + -295. Is n a composite number?
True
Let v(r) = r**3 - 4*r**2 + 4*r + 10. Let n be (-4)/(-5)*(5 + 0). Suppose -23 = -n*i + 2*o + 5, -2*o = 0. Is v(i) a prime number?
False
Let n = 862 + -171. Is n prime?
True
Let f = 200 + -182. Suppose 0 = -y - 4*y - 395. Let r = f - y. Is r prime?
True
Let b(q) = -198*q - 163. Is b(-28) a composite number?
False
Let d = -63 - -65. Suppose -4*c + 2390 = 3*i, 2*i + 4002 = 7*i + d*c. Is i a pri