+ 4*u + 54 = 0. Is p a prime number?
True
Suppose 0 = 5*f - 23 - 22. Suppose -1 = -4*a - f. Let x(z) = -25*z - 1. Is x(a) a composite number?
True
Suppose 4*c - 3 = f, -f - 4*c = c + 12. Let d(w) = w**3 + 9*w**2 + 9*w - 2. Is d(f) a prime number?
False
Let o be 75/18 + 2/(-12). Let t(c) = 5*c**3 - 4*c**2 + c - 3. Is t(o) a composite number?
False
Let z = -5 + 7. Let o be (1 - 3/z)*-14. Suppose -3*d + 57 = 3*v, -v - 2*d - o = -2*v. Is v prime?
False
Let n(q) = q**2 - 2. Let u be n(2). Suppose 0 = 3*i - u*l - 273, -3*l - 181 = -2*i - 2*l. Is i prime?
True
Let c be (-7 - 2)*(-28)/(-6). Let f = 81 + c. Suppose -q - 2*q + f = 0. Is q a prime number?
True
Is (-538)/(-3) - (-2)/(-6) prime?
True
Let x = -73 - -200. Is x prime?
True
Let w(l) = 71*l**2 + l - 2. Let t be w(2). Let y = 203 - t. Let x = y + 132. Is x composite?
True
Let c(v) = 2*v**3 - 5 + v + 0*v**3 + 0*v**3 + 4. Let x be c(1). Suppose -3*t - x*t + 2*o = -385, 5*o = -2*t + 183. Is t a composite number?
False
Suppose -r - 3*y = 4, -2*y - 2 = 2. Suppose 0 = -5*s + r*s + 915. Is s a composite number?
True
Let u(n) = n**2 + 3*n - 7. Let c be u(-5). Suppose 4*z - 3*s = -s + 360, -362 = -4*z + c*s. Is z composite?
False
Let c be 17/5 - (-4)/(-10). Suppose 0 = c*n - 4*n + 89. Is n a composite number?
False
Suppose -12 = 2*j - 2*g, -3*g = -5*j + 4 - 40. Let o be -1 - ((j - -2) + -2). Is (134/o)/(5/20) prime?
True
Is (-3*(-3)/18)/(1/982) prime?
True
Is (-4542)/(-18) + 2/3 composite?
True
Let o = 9 + -7. Is 2 + (53 - o) - 0 prime?
True
Suppose 6*b - 2*b - 2*h = -60, b + 18 = 2*h. Let s = b - -45. Is s a prime number?
True
Let d be (6/3)/(2/5). Suppose v + 1 = -v - d*o, 4*v + 14 = 2*o. Let z(j) = -48*j + 1. Is z(v) prime?
False
Let d(m) = 11*m**2 - 4*m + 5*m - 2*m - 2. Let w be d(2). Suppose x = -3*x + w. Is x prime?
False
Let y(h) = -2*h - 12. Let v be y(-8). Let p = 22 + v. Is p a composite number?
True
Is 2*(1 + 5)*5/20 composite?
False
Let n = 1208 - 707. Is n prime?
False
Let q(s) = 18*s - 7*s + 3 - 1. Is q(3) a prime number?
False
Let k(p) = -114*p**3 - 5*p - 3. Is k(-2) a composite number?
False
Suppose 0 = f - 5*f + 5*d + 409, -2*f = -3*d - 203. Suppose -4*v = -2*v - f. Is v prime?
True
Let r = 10 - 7. Suppose -3*f + r = -0. Is 798/6 - 2*f composite?
False
Let l(q) = q**2 - 3*q + 2. Let z be l(2). Let w be 0 - ((-12)/42 - 24/14). Suppose 3*d + 9 = 0, -w*s - 4*d = -z*d - 50. Is s composite?
False
Suppose -d = -467 - 2. Suppose 0 = -5*k + o + 810 - 24, 3*k + 2*o = d. Is k a composite number?
False
Let o(g) = -6*g + 9. Suppose 2*c + 12 = -0*c. Let v(b) = -b**3 - 6*b**2 + 2*b + 5. Let l be v(c). Is o(l) a composite number?
True
Let n = 817 + 6304. Is n prime?
True
Let k(o) = o**2 + o + 4. Let b be k(0). Suppose 4*n - 13 - 7 = b*u, 0 = 3*n - 5*u - 19. Suppose 0 = -n*h + 143 - 38. Is h a composite number?
True
Suppose -3*l + 60 = -4*h + h, -112 = -4*l - 4*h. Let j be l/(-10) + 8/20. Is j + (2/(-1) - -19) prime?
False
Let p be ((-3)/2)/(3/4). Let o(u) = 2 - 6*u**3 - 6 + 3 - u. Is o(p) a prime number?
False
Let t(o) be the second derivative of -o**3/6 + 7*o**2/2 + 2*o. Let a be t(5). Suppose 4*m + a*x - 206 = 0, -5*m - 82 = -4*x - 333. Is m a composite number?
True
Suppose k = -b + 5*b - 20, 0 = -3*b - 5*k - 8. Suppose -5*j = 3*t - 5, -b*j - 7 = -4*t + 53. Is t a composite number?
True
Let p = 1680 + 222. Suppose -5*s + 1101 = -n - 1262, -5*n + p = 4*s. Is s a composite number?
True
Suppose 0 = -x + 3*x - 10. Suppose -3*w = -x*w + 114. Is w a composite number?
True
Let w = -422 - -831. Is w a composite number?
False
Suppose o + 3*g - 1166 = 0, -g = -2*o + 733 + 1606. Suppose 364 = -5*q + o. Is q prime?
False
Suppose 2*l = 3*p + 19, 4*l = 2*l - p - 1. Suppose -l*w = w - 147. Is w composite?
True
Let m = 474 - 263. Is m composite?
False
Suppose 38 - 10 = 4*f. Is (-6 + f)/(2/30) prime?
False
Suppose 40 = -5*r - 0*r. Let m be (r/(-14))/((-2)/(-7)). Suppose -21 = -m*o + o. Is o prime?
False
Suppose 0 = 4*v - 3*v - 5. Suppose 0 = 3*s + v*p - 7, p - 5*p - 8 = -s. Suppose 5*c + 3*a = s*a + 1026, 0 = 3*a + 3. Is c composite?
True
Let p(i) = -i**2 + 6*i - 5. Let f be p(4). Suppose l = -f*j + 104, -l + 70 = j + j. Is j prime?
False
Let c(m) = -m**2 - 8*m - 7. Let q be c(-7). Suppose -3*k + 63 = -w, -2*w - 112 = -5*k + 2*w. Is q/(-4) + k + -1 composite?
False
Let s be (-2 + 4)/(2/5). Let z(v) = 12*v + 6. Let h be z(s). Suppose l - 35 = t, -2*t - h = -2*l + 2*t. Is l a prime number?
True
Suppose v = -v - 6. Let s(c) = 43*c + 2. Let r(i) = -43*i - 2. Let t(m) = v*s(m) - 2*r(m). Is t(-3) a composite number?
False
Suppose -3*t = -t - 10, -3130 = 5*x - 5*t. Is 1/(-3*3/x) a composite number?
True
Suppose -269 = -5*y - 34. Is y a composite number?
False
Suppose -35 = -8*t + 3*t. Let a(u) = -3 - 7*u - 3 + t - 3. Is a(-3) a composite number?
False
Let g(s) = s**3 - 5*s**2 - 7*s - 13. Is g(12) a prime number?
True
Let i = 11 + -7. Suppose i*b + b = -10, 0 = -5*m + 5*b + 180. Is m - (0/(-3) - 1) a prime number?
False
Let l(k) = -3*k**3 - 8*k**2 + 8*k - 7. Is l(-8) composite?
False
Let k(z) = -19*z**3 - 5*z**2 + 2*z. Let g be k(-5). Let r be (-2)/(-6) - g/24. Let i = r + 144. Is i a composite number?
True
Let l = 15 - 11. Let g be 17/4 + 2/(-8). Suppose -j + 25 + 39 = 5*k, g*j + l*k = 336. Is j a composite number?
False
Let z(o) = 96*o**2 + o - 1. Let t be z(1). Let y = t + -13. Let i = -52 + y. Is i composite?
False
Suppose 0 = -z - 3*z + 184. Is z/(2/(-65)*-5) a prime number?
False
Suppose 0 = -y - 0*y + 221. Is y a prime number?
False
Suppose -v + 3 = 1. Let m = -10 - -15. Suppose 0 = 3*f - m*t - 382, -f - v*t + 124 = -3*t. Is f a composite number?
True
Suppose 82 = -q - z + 315, q = 2*z + 239. Is q prime?
False
Suppose -3*w + 4*w + 3 = z, 4*z = 2*w. Let g be (8 - 2)/((-9)/w). Suppose -g*a + 28 = -2*a. Is a composite?
True
Let v = -17 + 35. Let m = v + 19. Is m prime?
True
Let b be (0 + -1*6)*-2. Let o be (2/(-2))/1*b. Let g = 3 - o. Is g prime?
False
Is (-5 - -2)/(7/(-203)) a prime number?
False
Suppose 0 = k - 2*k. Suppose k = -y - 0 + 2. Suppose y + 7 = 3*a. Is a a prime number?
True
Let a be 197*2*(-2)/(-4). Let s = a + 272. Is s a composite number?
True
Suppose 2*c - 16 = 4*b - 2*b, 0 = -4*c + 8. Suppose -2*k - 6 = -4*k - 5*j, -4*j = -3*k + 55. Let w = b + k. Is w a composite number?
False
Is 217/(-42) - -5 - 619/(-6) a composite number?
False
Let w(a) = -389*a - 1. Is w(-4) composite?
True
Let a = -460 - -1115. Is a prime?
False
Is 9/3*232/12 prime?
False
Let q(y) = y**3 + 9*y**2 - 8*y - 13. Is q(-9) a prime number?
True
Let o(d) = d**3 - d**2 - 3*d - 10. Is o(7) prime?
True
Is (-4610)/(-14) + (-28)/98 prime?
False
Let p(x) = 10*x - 3. Let a be 1*(0 - -10 - 2). Is p(a) a composite number?
True
Let y = -57 + 12. Let n = 64 + y. Is n a composite number?
False
Is (-4)/3 - (-1753)/3 a prime number?
False
Let m(c) = -21*c**3 + 4*c**2 - c + 4. Let h be m(3). Let q = h - -1039. Is q a prime number?
True
Let v = 204 - 73. Is v prime?
True
Suppose -2*s + 4*s - 566 = 0. Let o = s + -194. Is o/7 - 4/(-14) composite?
False
Suppose 3*l = 3*q - 319 + 4, -5*l = 5*q - 565. Is q a prime number?
True
Suppose -3*h = -8*h + 20. Suppose -5*y - 4*f - 96 = -h*y, 5*f = -5*y - 435. Is (2/4)/((-3)/y) a composite number?
True
Let n(x) = -1 + 3*x + x + 11*x. Is n(6) a prime number?
True
Let f(i) = i**2 - 5*i - 3. Let k(g) = -4*g**2 + 19*g + 13. Let b(z) = 9*f(z) + 2*k(z). Let t = -7 + 2. Is b(t) a composite number?
False
Let x(o) = 692*o - 1. Is x(1) a composite number?
False
Suppose -4*v - 1381 = -c - 0*v, -4*c + 5543 = 3*v. Is c prime?
False
Suppose 0*j - 44 = -4*j. Is j composite?
False
Let m = -79 - -410. Is m composite?
False
Let j = 405 + -166. Let o = j - 118. Is o a composite number?
True
Let p(b) = -13*b - 8. Let t be p(-7). Let l be -4*24*7/14. Let k = t + l. Is k composite?
True
Suppose s - 59 = 194. Is s a composite number?
True
Let y = -506 - -909. Is y prime?
False
Let c be (-10 - -3)*(-6)/7. Let q(h) = c + 0*h - 4 - 3*h. Is q(-4) a prime number?
False
Suppose -9 = -2*g - 1. Suppose g*p = 121 + 115. Is p prime?
True
Let i(s) = -s**3 - s**2 - s - 51. Let f be i(0). Is (1*f)/(18/(-12)) prime?
False
Suppose -3*t + 9 = -0*t. Let g = 3 + 1. Suppose -d - 33 = -t*b + g*d, -3*b + 21 = -d. Is b a prime number?
False
Suppose -5*x = 