**2 + 1 + 1 - 6*m**3 - 3. Suppose -21*q - 16 = -13*q. Is o(q) composite?
True
Suppose 2*d + d = 0. Let t be 5 + -10 + 4 + (2 - -82). Suppose 11*p - 10*p - t = d. Is p composite?
False
Suppose 2*z - 2*j - 11882 = 0, -3*z - 5*j + 17851 = -j. Suppose -5*p + 350 = -z. Is p a composite number?
False
Let g = -2112 + 3755. Suppose 0 = -3*a + 6*a + 5*n - 1236, 0 = -4*a - 5*n + g. Is a composite?
True
Let a be (-29 - -14)/(6/(-4)). Let i(p) = p**3 - 8*p**2 + 5*p - 1. Is i(a) composite?
True
Let v = -28 + 31. Suppose -7*q + 12 = -v*q. Suppose 930 = q*m + 2*m - w, 0 = -3*w + 15. Is m a prime number?
False
Let w(v) = 5804*v - 119. Is w(4) composite?
True
Let a(m) = -m**3 - 23*m**2 + 35*m + 45. Is a(-32) a composite number?
True
Suppose 0 = -5*m + 3*v + 36593, 0 = v - 2*v - 1. Is m composite?
True
Let g(y) = y**2 - 2*y - 5. Let f be g(4). Suppose 5*r - r + 2*j = 4026, -3*j + 3024 = f*r. Suppose r = 2*n - 13. Is n a prime number?
True
Let a(x) = 279*x**2 + 35. Is a(-6) prime?
True
Let t = -9370 + 18707. Is t prime?
True
Suppose 4 = -2*c + 4*c. Suppose 0 = -3*f - 3*s + 60, c*s + 80 = 4*f + 5*s. Suppose -r + 3*r = 2*q - 154, 0 = 4*r - f. Is q a prime number?
False
Let z(o) = -17*o**3 - 7*o**2 + o - 7. Let v be z(-4). Suppose -4*k + 7737 = v. Is k prime?
True
Let s = 18 + -16. Suppose -4*f = -s*f - 14. Suppose -z + f = -3. Is z prime?
False
Let j = 0 - -7. Let u = j - 7. Suppose u = -f - f + 172. Is f a prime number?
False
Let t be 2/(3/(45/6)). Suppose -3*p + z - 6*z = 1, -t*z + 9 = -2*p. Is (1/p)/((-2)/92) prime?
True
Suppose 0 = -28*g + 22*g + 5442. Is g prime?
True
Suppose 5*w = -r + 63993, -2*w = 4*r - 6554 - 19036. Is w a composite number?
False
Let y = 4160 - 2619. Is y prime?
False
Let u(g) = 76*g - 13. Suppose 5*t - 44 = 3*h + 16, h = -3*t + 36. Is u(t) prime?
False
Suppose 20148 = 4*n - 7064. Is n prime?
True
Suppose 16*i - 1919 - 2033 = 0. Is i composite?
True
Let g = 32 - 24. Suppose -p = p + g, -2*p = -4*d + 2720. Suppose d = 2*c + 2*v, v + 2*v - 680 = -2*c. Is c a prime number?
True
Let l = 3181 - 1936. Let z = l + -186. Is z composite?
True
Suppose 0*j - 36226 = -4*d + 3*j, 27163 = 3*d + j. Is d prime?
False
Suppose 0 = 2*y + 3*r - 11 - 8, -2*r = -6. Suppose y*a - 5 - 5 = 0. Suppose 2*j - 874 = -a*w - 2*j, -2*j = 5*w - 2185. Is w prime?
False
Let c(g) = g**2 - 3*g - 3. Let z be c(-3). Suppose -z = 5*t - 10*t. Let o(v) = 2*v**3 - 2*v**2 - 3*v + 4. Is o(t) composite?
False
Suppose -f + 15040 = 3*q, 47 = -5*q + 32. Is f a prime number?
False
Let i(v) = 27367*v**2. Let m be i(1). Suppose -1870 = 9*a - m. Is a prime?
True
Let n(z) = -z**3 - 4*z**2 + 4*z - 3. Let s be n(-5). Suppose -s*f + 2859 = f. Is f a composite number?
False
Suppose -r + 2*j = -3801, -4474 + 15837 = 3*r + 4*j. Is r a prime number?
True
Let f = 101 - 267. Let g = -5 - f. Is g a composite number?
True
Let r be -2 + -2 + 1 + -52. Let u = r - -120. Is u composite?
True
Suppose -2*f + 6*f = -7048. Let h = 2655 + f. Is h a prime number?
False
Suppose 0 = -2*s - 5*f + 18, 0 = 4*s + 2*f - 7*f - 6. Suppose -4*u + 3291 = 5*a - 1981, 3*u + s*a = 3955. Is u a composite number?
True
Is 26544/(-12)*3/(-12) composite?
True
Let y(f) = -f**3 - 8*f**2 - 8*f + 10. Let z be y(-6). Is (-4)/z - (-307500)/84 prime?
False
Suppose -m = 1 - 4. Let j(h) = 13*h**3 + 2*h - 22*h**m + 8*h**3 + 5 + 3*h. Is j(-6) composite?
False
Suppose 1190944 = 38*y - 6*y. Is y prime?
True
Suppose 0 = -17*c + 3038123 - 1219038. Is c composite?
True
Suppose -10*i + 11*i - q - 767 = 0, 4*i + 4*q - 3084 = 0. Suppose -4*v + 2528 = 4*m, -v + i - 125 = 5*m. Is v a prime number?
False
Let j(x) be the third derivative of -x**6/120 - x**5/12 - x**4/3 - 5*x**3/6 + x**2. Let f = -506 + 500. Is j(f) a composite number?
False
Suppose -11*s + 5*s = -25986. Is s composite?
True
Let a(r) = 18*r - 9*r + r**2 - 2*r**2 - 12. Let x be a(7). Suppose f = -2*t + 1580, -x*t = t - f - 2365. Is t a prime number?
False
Suppose 3*w - x = -10, 6*x - 3*x + 10 = w. Is 2110/(-75)*3*w prime?
False
Let a = 16 - 13. Suppose -11 = -a*v - 5. Suppose -4*p + 799 = p - 2*m, 0 = p - v*m - 155. Is p composite?
True
Is 2/(-3) - 248957/(-57) a prime number?
False
Suppose b = -0 + 6. Suppose 3*x - b - 3 = 0. Suppose 0 = 8*j - x*j - 1255. Is j prime?
True
Suppose 6 = -7*z + 55. Let h(a) be the third derivative of -a**4/24 + 8*a**3/3 - a**2. Is h(z) a composite number?
True
Let q be 4*3/12*2. Suppose 5*h - 24 = q*h. Is 4/h*2*37 composite?
False
Suppose p - 316 - 128 = -2*u, -4*u = p - 444. Suppose 5*m = -229 - 156. Let y = p + m. Is y a prime number?
True
Let d = -5 + 9. Suppose 0 = -0*k - 4*k + 8. Suppose -h + 158 = 3*v, -2*h + d*v + 324 = -k. Is h composite?
True
Let m(a) = 12 - a**2 + 4 + 12*a + 2*a**2 - 1. Let v be m(-11). Let i(k) = 2*k**3 + 3*k**2 - 5*k + 1. Is i(v) composite?
False
Is (-660)/(-20)*541/3 prime?
False
Suppose -6*l + 3*s - 114436 = -11*l, -3*s = -l + 22898. Is l a composite number?
True
Suppose -6175 - 10189 = -4*a + 3*w, 4*a = -3*w + 16340. Suppose 0 = -v - 4*j + a - 1253, 0 = -2*v - 3*j + 5650. Is v a composite number?
False
Suppose -516015 = -s - 44*s. Is s a prime number?
True
Suppose 4*l = -d + 15, -2*d = -0*l + 3*l - 15. Let o(y) = 27*y**3 - 3*y**2 - 5*y + 4. Is o(d) a composite number?
False
Let c(z) = -13*z - 40. Let l be c(-4). Let t(r) = 22*r + 53. Is t(l) a prime number?
True
Let t(o) = 6*o**2 + 10*o - 20. Let u be t(-10). Let m = u - 213. Is m composite?
True
Let j = 38 - 21. Let x = j + -15. Suppose x*k - 5*d = 241, 4*k + 5*d = 178 + 289. Is k a composite number?
True
Let h be (-45)/(-30)*(-8)/(-6). Suppose -q = -3*i - 0*i - 74, h*q - 2*i = 136. Is q composite?
True
Let k(f) = -f**2 + 13*f + 11. Let v be k(14). Let q(c) = 2*c**2 - c - 2. Let w be q(2). Is 2/((w/v)/(-4)) composite?
True
Suppose -p - 2*p + x = 5, 0 = p - x + 5. Suppose 5*h + 5*r - 190 = p, 3*h - 106 = -r + 2. Let o = h - -44. Is o prime?
True
Let t(p) be the first derivative of -p**6/360 - 2*p**5/15 - p**3/3 + 3. Let u(z) be the third derivative of t(z). Is u(-5) a prime number?
False
Suppose 0 = 3*g + 3*h - 4974, 3*g - 1642 = 2*g + 3*h. Suppose -s - g = 12. Let j = -1085 - s. Is j prime?
False
Let z = -229902 + 361411. Is z composite?
True
Let b(d) = 19*d**2 - 43*d**2 - 14*d + 28*d**2 + 29. Is b(-13) prime?
True
Let l be -2 - -1 - (-8)/(-2). Let a be -107 + (2 - (-3 - l)). Let j = a - -154. Is j composite?
False
Let p = -56 + 59. Suppose -i + 261 = -2*y, 256 = i - p*y + 2*y. Is i a composite number?
False
Suppose -4*w - 2*p = -32314, -3*w + 2*w + 8084 = -5*p. Is w a composite number?
True
Suppose -2*w = -7*w + 4275. Let r = -366 + w. Is r a prime number?
False
Let w = 30445 - 14486. Is w prime?
True
Suppose 0 = 4*g - 3*r - 1183, g + 4*r = -2*g + 881. Is g composite?
True
Let u be (-8)/6*15/(-10). Suppose -3*d - 8 = -3*t - 4*d, 10 = 3*t + u*d. Suppose 462 = -t*s + 1426. Is s composite?
True
Let t = -1325 + 781. Is (-5 - t) + -3 + 1 composite?
True
Suppose -5*a + a + 406 = 2*c, 5*a - 3*c = 491. Suppose -a = -s + 94. Suppose f + f - s = 0. Is f composite?
False
Is (-11)/(88/(-16)) - 21*-240 prime?
False
Let j be (6/3 - -1) + -1. Let m(i) = i**3 - 2*i**2 + 4*i - 3. Let a be m(j). Suppose a*d - 20 = 0, s - 2*d - 6 = -s. Is s prime?
True
Suppose 2*o = -2 + 12. Let u be 4/o*(-75)/(-15). Suppose -1023 = -7*z + u*z. Is z a prime number?
False
Let h(k) = 7230*k + 203. Is h(5) prime?
True
Let w = -74 + 493. Is w prime?
True
Let s(j) = -5*j + 9. Suppose 0*v = -5*v. Suppose 0 = -h - v*h - d - 6, -2*h - 16 = d. Is s(h) prime?
True
Let r be (-117)/5 + (-4)/(-10). Let h = -12 - r. Suppose -h*p + 9*p = -586. Is p prime?
True
Let h = -104 + 565. Suppose 0 = 5*l - 1029 - h. Is l prime?
False
Is 24/(-16) - 70402/(-4) prime?
True
Let v(z) = z + 15. Let n be v(-9). Let k be (10422/36)/(n/(-16)). Let t = 1673 + k. Is t prime?
False
Let b be (-5 - -2) + (0 - -6918). Is b/2 - (-1)/(-6 + 4) composite?
False
Let a(s) = -s**3 + 8*s**2 + 6. Let l be a(8). Suppose -3*v - m - 358 = -l*v, 3*m + 114 = v. Let o = 239 - v. Is o composite?
True
Suppose 5*x + 4*t + 4080 = -t, -4*x = -5*t + 3255. Let s = 1716 - x. Is s a prime number?
True
Let v = -36 - -39. Is (-34)/1*2/(-4)*v composite?
True
Let x = -5 + 6. Is x/(8/(-276))*-2 prime?
False
Suppose 0 = o - 4*z - 20, -3*z = -8*o + 4*o + 28. Suppose -o*p + 