. Let h be a(0). Let r = 4 - h. Suppose 93 = 6*m - r*m. Is m a prime number?
True
Is 157 + 1 + (-6)/2 a prime number?
False
Let z be (2 + -2)*(0 + -1). Suppose z = -2*q + 3 + 1. Suppose -q*m = -5*m + 339. Is m composite?
False
Let u = 6 - 3. Suppose -4*t + u*t + 4 = 0. Suppose 3*j - t*j = -23. Is j a prime number?
True
Let d(r) = -r**2 + 3*r + 2. Let j be d(5). Let m(n) = -n**2 + n - 1. Let h(y) = -4*y**2 - 4*y - 14. Let x(i) = -h(i) + 3*m(i). Is x(j) a composite number?
False
Let b(v) = 191*v**3 + v**2 - v. Is b(1) a composite number?
False
Let w(c) = c**2 - 3*c + 4. Let n be w(1). Suppose 0 = b - 0*b. Suppose b = n*z - 4*z + 6. Is z prime?
True
Let x = -56 + 307. Is x a composite number?
False
Let x = 333 - 87. Suppose 3*m + 0*m = x. Is m a composite number?
True
Let f be 3*(-3 - -4*1). Suppose -k = f*c - 79, -9 = -2*c + 5*k + 21. Let r = c - -136. Is r prime?
False
Let w be (12/(-14))/(9/(-63)). Suppose -2*q = -q - w. Is q a prime number?
False
Suppose -2*f + 126 = -52. Suppose 5*q - 5*b = f + 96, -b - 74 = -2*q. Is q a prime number?
True
Let j(y) = 18*y + 7. Is j(12) a prime number?
True
Let g(c) = c - 13. Let n be g(-10). Let w = 10 + n. Is -3*(-2 - w/(-3)) a prime number?
True
Suppose 2*n - h - 18 - 11 = 0, 3*n = -2*h + 61. Suppose -2*t + 21 = -n. Is t composite?
False
Let o(l) = 8*l**2 - 4*l + 3. Is o(6) a prime number?
False
Let i = -8 - -23. Is i a composite number?
True
Suppose -3*t + 140 = -151. Suppose -2*p - 2*y + t = -p, 4*p - 377 = 3*y. Suppose -26 = 5*b + r - 121, 0 = -5*b + 2*r + p. Is b a composite number?
False
Let h(j) = -j**2 - 8*j - 6. Let m be h(-6). Is (50 - -3)*(m + 1) prime?
False
Suppose -5*i - 79 = -674. Is i a prime number?
False
Let h be -3*(-10)/6 - -2. Let o(c) = 486*c**2 + 4*c. Let v(a) = -324*a**2 - 3*a. Let x(m) = h*v(m) + 5*o(m). Is x(-1) composite?
False
Let c(b) = b**3 - 6*b**2 + 5*b + 2. Let d be c(5). Is (-455)/(-20) + d/8 a prime number?
True
Let k(f) be the third derivative of -f**6/120 + f**5/20 + 11*f**4/24 - 2*f**3/3 + 3*f**2. Let y be k(7). Let j = -86 - y. Is j composite?
False
Let h(a) = 10*a**2 - 3 + 12*a**2 + 4. Is h(-2) prime?
True
Suppose 766 = -4*b + 2810. Is b composite?
True
Let m = 0 + 0. Let q = 2 + m. Is 35 - q*(1 - 2) a prime number?
True
Suppose -h + 5*z + 70 = 4*h, 70 = 5*h + 4*z. Is h composite?
True
Is 801/4 - (-21)/112*4 a prime number?
False
Let c(t) = t**3 + 6*t**2 - 7*t - 8. Suppose 185 = 3*d + 2*d + 4*g, 119 = 3*d + 4*g. Suppose d = -5*w - 4*o - 5, 2*o = 2*w + 8. Is c(w) composite?
True
Let s(a) = 232*a**3 + 0 + 1 - a + a - a + a**2. Is s(1) a composite number?
False
Let c = 678 + -56. Suppose -2*q - 1041 = -3*x - 146, 2*x - c = -5*q. Is x prime?
False
Let c = 223 + -132. Is c a composite number?
True
Is (-13419)/(-18)*1/((-6)/(-4)) a prime number?
False
Let n = 1506 + -890. Suppose 5*f = 719 + n. Is f a composite number?
True
Let w = -46 + 29. Let c(p) = -p**3 + 5*p**2 + 4*p + 6. Let x be c(5). Let n = w + x. Is n composite?
True
Let v be 5 + (0 - (-2 - -4)). Suppose -v*c = c - 452. Is c composite?
False
Let u(c) = -c**3 + 3*c**2 + c - 1. Let x be u(3). Suppose -x*q = -2*g + 21 + 29, 0 = -5*g - 5*q + 85. Suppose -2*b + g = -b. Is b prime?
False
Let t(l) = -2*l**3 - 5*l**2 - 7*l - 3. Is t(-7) composite?
False
Is -1*(9/21 - (-10904)/(-28)) a prime number?
True
Let h be (-486)/12 - 2/(-4). Let j = 10 + -17. Let c = j - h. Is c a prime number?
False
Let c(g) = -2*g**2 - 3*g - 6. Let y be c(-5). Is 6/(-2) - y*4 composite?
True
Suppose 0 = -4*k - 2*s + 9840, 0*k + 4*s = 3*k - 7369. Is k composite?
False
Is (2*(-76)/8)/(-1) composite?
False
Is 53/(6 - 4 - 1) a prime number?
True
Suppose -x - 394 = k, 4*x - 1191 = 4*k + 377. Is k*(16/6 + -3) prime?
True
Suppose 12 = a + 6*i - 4*i, -5*a - 5*i + 40 = 0. Suppose -2*g + 2*v - 8 = 0, a*g + v + 44 = -2*v. Let l(q) = -q**2 - 15*q - 3. Is l(g) prime?
True
Let b(q) = -q**3 - 7*q**2 - 3*q + 10. Let u be b(-7). Let n(m) = 118*m**2 + 2*m - 1. Let f be n(1). Suppose k + 3*s = u, -5*k + s + 2*s = -f. Is k composite?
True
Let s(i) = -31*i - 12. Is s(-14) composite?
True
Let u = -1301 + 1905. Suppose -4*i + w + 596 = 0, 4*i - 2*w - w - u = 0. Suppose i = 2*c + 2*r, 2*r + 317 = 4*c - r. Is c prime?
False
Let k be (-168)/(-5) + (-14)/(-35). Let q(j) = -j + 3. Let t be q(0). Suppose 0 = 4*x - 3*x - 3*a - k, 58 = t*x + 2*a. Is x prime?
False
Let f be 446 - (2 - (-6)/(-3)). Suppose 3*b - b - f = 0. Is b a composite number?
False
Suppose -3 - 6 = 3*h. Is 31 - 1 - 3/h composite?
False
Let m(o) = o - 3. Let p be m(3). Suppose -44 = -2*g - p*g. Is g composite?
True
Let j = 686 - 1009. Let x = 560 + j. Is x composite?
True
Let t be (-3)/9 + (-308)/12. Let l = t + 65. Is l composite?
True
Is 125 + -3 + (4 - -1) a prime number?
True
Suppose 2*s = -3*m - 0*s + 596, 4*s = -3*m + 586. Is m a composite number?
True
Let d(g) = -46*g**2 - 3. Let q(c) = -47*c**2 + c - 4. Let t(i) = -5*d(i) + 4*q(i). Is t(3) prime?
True
Let i = -131 - -349. Is i a composite number?
True
Suppose 0 = 5*k + 4*n - 9 - 8, -14 = -2*k + 2*n. Suppose 0 = k*s - 53 - 182. Is s a composite number?
False
Let x(y) = -3*y**3 - 3*y**2 - 1. Is x(-3) a composite number?
False
Suppose 3*v - 7 - 4 = x, -2*x - 19 = -5*v. Suppose -5*t = -4*a - 266, 5*t + 2*a - 221 = 51. Suppose -v*z - 49 = -p, -3*p - 2*z = -49 - t. Is p a prime number?
True
Suppose 15 + 5 = 5*s. Suppose 6*x = s*x + 130. Is x prime?
False
Let b(y) = -y**2 + 1. Let j(l) = -3*l**2 + 6*l + 7. Let g(k) = -5*b(k) + j(k). Suppose 0 = 2*s + 2 + 8. Is g(s) a prime number?
False
Let g(v) be the second derivative of -11/6*v**3 - v + 0 - 5/2*v**2. Is g(-4) prime?
False
Let c = 6 - 3. Let d be (c + 0)*(-4)/6. Let y(s) = -s**3 + 2. Is y(d) a composite number?
True
Suppose -3*w = -5*b + 250, -237 = -4*b - 4*w - w. Is b a composite number?
False
Suppose 4*w - 4*h - 1968 = 0, -w + 96 + 381 = 2*h. Is w composite?
False
Suppose 5*n = -5, -2*w + 4*w = -2*n + 22. Is (0 - w*-3) + 2 a prime number?
False
Let w = 536 + 21. Is w prime?
True
Let v(s) = 2*s**2 - 2*s - 4*s - 7 - s**3 + 3*s - 4*s. Is v(-5) composite?
True
Let t be 2*-1 + 6 + -9. Is (93/(-15))/(1/t) a composite number?
False
Let g(a) = a**3 + 12*a**2 + 7*a - 30. Is g(-11) composite?
True
Let u = -575 + 833. Suppose d - 3*d + u = 0. Is d a prime number?
False
Suppose 2*c - 98 - 228 = 0. Is c a prime number?
True
Suppose -12 = -w - 3*w. Suppose q = 3*s - 4*s - 105, -3*q + w*s - 345 = 0. Let t = q + 189. Is t prime?
True
Let t(g) = -106*g + 3. Is t(-7) a composite number?
True
Let i = 10 - 6. Suppose 56 = 4*h + i*w, -2*h - 3*w + 32 = -0*w. Is h a prime number?
False
Suppose -5*n - 1209 = -4*v, -n + 549 = 3*v - 353. Is v prime?
False
Let p(l) = 7*l - 3. Is p(10) prime?
True
Let h be (-14)/(2 - 4) - 1. Suppose 0 = -x + 3 - h. Is (x - -2)*(-1 + -34) a prime number?
False
Let x = -31 + 54. Let w be x/4 - (-2)/8. Let c = w + 3. Is c composite?
True
Suppose -2576 = b - 5*b + 5*f, -4*f = 2*b - 1314. Is b prime?
False
Let d(w) = 43*w**2 + 2*w + 3. Let c be d(-2). Let f = c + -65. Is f composite?
True
Let z = -24 + 275. Is z a prime number?
True
Suppose 4*o = 4*z + 3744, -o + 2*z + 951 = 4*z. Is o a prime number?
True
Let u = -10 - -17. Suppose 4*n = u*n - 699. Is n a prime number?
True
Suppose -4 = -4*v + 2*v. Let b be (-4)/(-3)*(-3)/v. Let l = 8 - b. Is l a prime number?
False
Let g = 0 - -3. Suppose -2*k - g*j = -317, 2*k + 2*k + 2*j = 630. Is k a prime number?
True
Suppose 0 = -u + 17 + 15. Suppose -u = -4*g - 4. Is g*-2*(-11)/2 composite?
True
Let r(h) = 5*h**3 - h**2 + h - 4. Let p be r(3). Suppose -2*o + 2*c = -o - p, 4*o - 2*c - 506 = 0. Is o a composite number?
False
Suppose w + 2 = -2*q - q, -4 = 2*q + 2*w. Suppose q = -5*n + 2*n + 465. Is n a prime number?
False
Suppose -s + 5*p - 15 = 2*s, 3 = -4*s + p. Let o = 1 - s. Is o/4 - (-59)/4 prime?
False
Let q = 60 + -62. Suppose 2*y + 4 = -2. Is q*((-69)/(-2))/y a prime number?
True
Let o(y) = -y - 1. Let t(m) = -5*m - 10. Let u(n) = -4*o(n) + t(n). Let w(g) = -9*g**2 + 1. Let v be w(1). Is u(v) composite?
False
Suppose -7 = -3*n - f, -5*f + 0*f = -3*n + 19. Suppose 0*c = -n*c - 4*t + 397, -c = -2*t - 119. Is c prime?
True
Suppose 1316 = 3*w + 449. Is w composite?
True
Let a be (9/(-12))/((-1)/24). Suppose a = -2*r + 156. Suppose -2*u + 5*u = r. Is u co