+ n*y = 5736. Is p a composite number?
True
Let p be 4695/10 - (-3)/2. Let g = 303 - p. Let b = -25 - g. Is b a prime number?
False
Let f(n) = 18*n**2 + 5*n - 1. Let d = 62 + -58. Is f(d) a prime number?
True
Suppose 0*y + 17598 = 3*j - 2*y, -5*y = 2*j - 11751. Is 2/(-8)*j/(-9) prime?
True
Let v(c) = -c**2 + 6*c. Let y be v(5). Suppose -y*a - 329 = 4*g - 2404, -3*a + 1248 = 3*g. Is a composite?
True
Suppose -2*n - q + 4*q + 26684 = 0, -53346 = -4*n - 5*q. Is n a composite number?
False
Let m = 1 - 10. Let p(z) = z**3 + 12*z**2 - 9*z - 3. Is p(m) a composite number?
True
Suppose -4*t - 478 = -158. Let a = 109 - t. Suppose a + 46 = 5*m. Is m prime?
True
Suppose 0 = -10*z + 2*z + 16. Suppose 0 = -2*h + 5*b + 773, b + 761 = -z*h + 4*h. Is h a composite number?
False
Suppose -3*d - 35987 = -4*c, 4*d - 6*d = -3*c + 26991. Is c prime?
True
Is (21/(-15))/((-11464)/3820 + 3) prime?
False
Let t be 67/(-7) - (-12)/(-28). Is (-1055 - 0)*t/50 prime?
True
Suppose -4866 - 9218 = -3*o + 5*h, -h + 4708 = o. Is o composite?
False
Suppose 2*g + 5*y = 3 + 12, g = -5*y + 15. Suppose -3*q = -g*q - 14721. Is q composite?
True
Let w(y) = -y**2 + 8*y + 21. Suppose 39 = 5*l - 1. Is w(l) a composite number?
True
Suppose -1588 = a - 0*n - 4*n, 15 = 3*n. Let d = a - -2245. Is d composite?
False
Let q(u) = 2*u - 3. Let s = 1 - -3. Let l be q(s). Is 1/((-5)/l)*-163 composite?
False
Suppose 5*w - w = 2*j + 4644, 3*w = j + 3484. Suppose -w = -8*f + 1294. Is f a composite number?
False
Let d = 9 + -6. Suppose -d*s = 5*z - 19, 3*s + 2 = z - 9. Is z*2/((-10)/(-267)) composite?
True
Suppose -1 = 2*w + 5*x - 6, 5*x = -4*w + 5. Suppose -15 = -5*i, w = 2*s - 7*s + 5*i + 1010. Is s composite?
True
Let y(x) = x - 1. Let l(b) = -11*b - 7. Let a(n) = -n + 1. Let s(i) = -3*a(i) - l(i). Let m(v) = -s(v) - 3*y(v). Is m(-4) a prime number?
True
Suppose -2*o + 1264 = -5*v + 58, -2986 = -5*o - 2*v. Let b = o + -359. Is b a composite number?
False
Suppose -n - 4*g + 5462 = -3*g, g - 1 = 0. Is n a prime number?
False
Let q = 853 - -257. Suppose 10*y - q = 4*y. Is y prime?
False
Is (-1936545)/(-468) + (-1)/(-12) a prime number?
False
Suppose m = 2*m - 34. Suppose 28*s - 26 = 15*s. Suppose -m = s*f - 212. Is f a composite number?
False
Suppose 4*s = 5*s + 2. Let x(i) be the first derivative of -71*i**2/2 + 3*i + 140. Is x(s) prime?
False
Suppose 8*j - 27*j + 535097 = 0. Is j composite?
False
Let n = 17 - 15. Suppose -4*r - 3*z = -8*z - 3561, r + n*z = 887. Is r composite?
True
Suppose -l + 3*q + 169612 = 4*l, 3*l - 3*q = 101766. Is l a prime number?
True
Suppose 0 = -h - 117 + 122. Suppose m + h*m = 9258. Is m a composite number?
False
Let r(z) = -25*z**2 + 11*z - 25. Let c(d) = -12*d**2 + 5*d - 12. Let q(g) = -9*c(g) + 4*r(g). Is q(-3) composite?
False
Let p(t) = -t - 7. Suppose 20 = w - 0*w + 3*m, -2*w - m = -15. Let o(n) = -2*n - 14. Let d(b) = w*p(b) - 3*o(b). Is d(7) a prime number?
False
Suppose 2*x - q = 2, 5*q + 10 = -5*x - 0*q. Suppose 3*w - 4*f - 326 = 0, x*f - 566 = -5*w + f. Let z = 467 + w. Is z prime?
False
Suppose -7*x = -3*x - d - 14837, 7421 = 2*x - 3*d. Is x prime?
True
Let v = 278 + 78. Is -5 + 2 + (v - 6) a composite number?
False
Suppose -4*s + 4 = -4*w, -4*s + 2*w + 2 + 4 = 0. Let q be s - (-92)/((-16)/(-4)). Let l = 992 - q. Is l composite?
False
Let t(c) = 31*c**2 + 91*c - 24. Let p(d) = 6*d**2 + 18*d - 5. Let q(b) = 11*p(b) - 2*t(b). Let i = -27 - -15. Is q(i) a composite number?
True
Suppose 3*t - 3*c = 2*t + 967, -c - 967 = -t. Is t a composite number?
False
Let s(x) = -7*x**3 - 10*x**2 + x - 20. Let u(w) = 4*w**3 + 5*w**2 + 10. Let v(l) = 4*s(l) + 9*u(l). Is v(7) prime?
False
Let t = 1935 + -967. Suppose -3*o + 163 = -t. Is o prime?
False
Let v be (12/16)/(-3)*-4. Let q(d) = -36*d - v + 0 + 0. Is q(-2) prime?
True
Let z(h) = -h**2 - 13*h + 20. Let n be z(-16). Let p = n + 39. Suppose -3*v = -p*v + 264. Is v prime?
False
Let d = 1392 + -727. Suppose 4*b - 5*k = d, -3*b + k + k = -497. Suppose 0*w = -5*w + b. Is w composite?
True
Let n = 14710 + -8361. Is n composite?
True
Suppose -4*d = -5*d + 166. Suppose -2*h - 1339 - d = -5*k, 3*h - 1181 = -4*k. Is k a composite number?
True
Let k(r) = r**2 - 4*r - 30. Let t be k(9). Suppose -n - 5*j - t = 0, -n - j - 5 = 2*j. Is n composite?
True
Suppose -2*v = 2*r - 6, 4 + 5 = 3*v + 2*r. Let l be 2/6*(v - 6). Is (2 - l)*1220/30 prime?
False
Suppose -5*n - 6813 = -u, -4857 = -5*u + 4*n + 29166. Is u composite?
False
Let q(y) = 80 - 151 - 48*y + 72. Suppose 0 = 4*h - 5*p + 18, 5*h = -6*p + 2*p - 43. Is q(h) prime?
True
Let x = -3013 - -5396. Is x a prime number?
True
Let x = -32 - -35. Suppose -x*m = -d + m + 133, -m = d - 133. Is d a composite number?
True
Suppose 2*n + 7 = 3*m - 2*m, -4*n = 4. Suppose 3*d = -2*d + m. Is (6 - -16)/(d + 1) a composite number?
False
Suppose 2*t - 1358 = 5*t + 5*f, 0 = f + 4. Let w = 937 + t. Is w prime?
True
Let w = -107106 - -186563. Is w prime?
False
Suppose 8*q - 5*q = 798. Let i = q + -12. Is i a composite number?
True
Let i(l) = l**3 + 8*l**2 + 5*l - 6. Let d be i(-5). Suppose -3*z = -298 - d. Let w = -52 + z. Is w composite?
True
Is (-6)/15*-2269 + (-33)/55 composite?
False
Suppose 4*s + 1085 = c + 2*s, 4*s = 0. Suppose -4*i + 3263 = -c. Is i a prime number?
True
Let s(y) = y**2 - 6*y + 10. Let c be s(5). Is c/(20/(-8))*1181/(-2) composite?
False
Suppose 27*u - 103805 - 92728 = 0. Is u prime?
False
Let u(y) = 217*y**2 + 27*y + 55. Is u(-2) prime?
False
Suppose -5*w + 2*w = -309. Let r = w - 68. Is r composite?
True
Let j(u) = 1661*u**2 - 18*u + 56. Is j(3) prime?
True
Let v = 1 - -2. Suppose 0 = -7*g + v*g + 2464. Let o = -353 + g. Is o a prime number?
True
Let u(x) = 23*x**3 - 2*x**2 + x - 11. Let q be u(5). Suppose 0 = -f - 2*t + q, -f - 4*f = 2*t - 14127. Is f a prime number?
False
Let v(b) = 5*b**2 + 9*b - 7. Let z(n) = -4*n**2 - 9*n + 7. Let u(x) = 3*v(x) + 4*z(x). Let a be u(-5). Suppose 0 = 3*c - 30 - a. Is c a prime number?
True
Let i(b) = -b**2 - 2*b + 8. Let f be i(-4). Is (-1 + f)*1*(-1 + -1636) prime?
True
Suppose y + r = 0, y + 4*r = 2 - 14. Suppose 0*d - y*d = -1420. Is d prime?
False
Suppose 185317 = 29*w - 12*w. Is w composite?
True
Let z = -3120 - -7385. Is z a prime number?
False
Let d(y) be the first derivative of -7*y**3/3 + 13*y**2/2 - 12*y + 4. Let m(h) = -7*h**2 + 12*h - 12. Let q(s) = 4*d(s) - 5*m(s). Is q(7) prime?
False
Let j = -31 + 31. Suppose j = 2*g + c - 10, -6*g + 22 = -g + 4*c. Suppose 0 = g*t - 180 - 1776. Is t a composite number?
True
Let q(j) = -2*j + 5 - 15 - 6. Let p be q(-11). Suppose p*g + 3*x - 38 = g, -3*x = -5*g + 62. Is g composite?
True
Let f = -23 + 21. Let v = -8 + f. Is (-8)/20 + (-154)/v composite?
True
Suppose u + i - 5*i - 126 = 0, -478 = -4*u + 3*i. Let j be u/(-5)*(18 + -8). Let o = -133 - j. Is o composite?
False
Let t = -8 + 14. Let o be 753*t/(-45)*-5. Suppose -3*c + 1518 = f, 0 = c - 3*f + 2*f - o. Is c composite?
True
Suppose 18 - 3 = 3*q. Suppose 3*a + 1787 = q*h, 4*h + a - 1416 = -0*a. Is h a composite number?
True
Let k(n) = 18*n**2 + 4*n + 1. Suppose 62*d - 64*d - 10 = 0. Is k(d) prime?
True
Suppose -6*s = -11*s + 10. Suppose -4*k = -4*p - 2 - s, -k = 2*p + 5. Is p + 0 - (-1 + -88) a prime number?
False
Let u = -4359 + 9770. Is u a prime number?
False
Let a be (12/10)/(39/130). Suppose 2*k - 10 = 0, -a*p = -0*p + 3*k - 1811. Is p composite?
False
Suppose 0*c - 4*c - 4*j + 48 = 0, j = -3*c + 40. Is c a composite number?
True
Let f(t) = -3*t + 39 + 4*t + 23*t**2 - 42. Is f(2) composite?
True
Let y be 33/2*(-4)/(-3). Let a(j) = -j**2 + 24*j + 23. Is a(y) composite?
False
Let o(n) = 211*n**2 + 21*n + 61. Is o(-11) a prime number?
False
Let n = -113 + 114. Let v(c) = 1537*c + 6. Is v(n) a prime number?
True
Let y be (0 + 3 + 49/1)*-4. Suppose -u - 11 - 40 = 0. Let r = u - y. Is r a prime number?
True
Let i(t) = t**3 + 2*t + 1499. Let v(q) = q**3 - 7*q**2 - 7*q - 8. Let d be v(8). Is i(d) a prime number?
True
Let d(n) = -17*n - 33. Let r(b) = -17*b - 33. Let y(h) = -3*d(h) + 2*r(h). Is y(16) a composite number?
True
Suppose h = 2*d + 37, 5*h + 2*d - 4*d - 185 = 0. Let f = h - 28. Is f composite?
True
Suppose 0 = 3*x - x - 16. Suppose -2*w - 4*c + x = 0, -11 - 7 = -2*w + c. Suppose w*u - 395 = 3*u. Is u composite?
False
Let g = -330 + 2