ppose -2*h + 164 = m. Is h a prime number?
True
Suppose -4*w - s + 4*s + 496 = 0, -5*s = -20. Is w a composite number?
False
Let m be (-34)/(-2) - (-5 + 4). Let o = 42 - m. Suppose o = 5*t - 141. Is t a composite number?
True
Let d(q) = -q**2 - q - 8. Let o be d(0). Let p = -8 - o. Suppose 5*h - 175 = -5*z, 0 = -5*h - p*h + 2*z + 168. Is h prime?
False
Let l be 6/4*(2 - 0). Suppose -y - y - l = -t, -5*y + 5*t - 15 = 0. Suppose y = 3*d + 43 - 109. Is d composite?
True
Let a = -18 + 27. Is a*3/((-6)/(-2)) composite?
True
Let y(g) = -3*g**3 - 2*g**2 + g + 2. Let x = 10 - 14. Is y(x) a prime number?
False
Let s(o) = -3*o - 25. Let r(g) = -8*g - 74. Suppose 0*w + 2*w + 8 = 0. Let j(l) = w*r(l) + 11*s(l). Is j(0) a prime number?
False
Suppose -4*g + 288 = -g. Suppose 0 = -5*m - v - 6 - g, 4*v = -2*m - 30. Is 6/m - 316/(-28) a composite number?
False
Is 1360 + -3 + (1 - -3) a composite number?
False
Let s(w) = -w**2 + 10*w - 3. Let p be s(8). Let k = p + -24. Let b = k + 32. Is b a composite number?
True
Let o(y) = 9*y**3 + y**2 - y. Suppose 0 = -4*c + b - 3*b + 6, 4*c - b = 3. Let l be o(c). Let j = l - -104. Is j a composite number?
False
Suppose 0 = -5*n + 5*w + 50, -n + 4*w = -0*n - 22. Suppose h - 3*b + n*b = 67, -4*h = -2*b - 268. Is h composite?
False
Let f(t) = 35*t - 5. Is f(14) a composite number?
True
Let w = -13 - -18. Suppose -6 = 4*i - 26. Suppose w*r - 4*p = -i*p + 415, -4*p = 2*r - 166. Is r a prime number?
True
Let k = 39 + 106. Is k a composite number?
True
Let a(c) = 8*c + 62*c**3 - 63*c**3 + 3 + c**2 + 4. Is a(-6) prime?
True
Suppose -776 = -2*s + 4*i, 5*i = -2*s - s + 1219. Is s a prime number?
False
Let j be (14/35)/(1/5). Suppose 20 = 5*s, 4*c = -6*s + j*s + 116. Is c composite?
True
Let j(v) = -v**3 + 8*v**2 - 3. Let s(m) = -m - 1. Let b be s(-5). Suppose -2 - 11 = -i - 2*a, 19 = i + b*a. Is j(i) a prime number?
False
Let y(t) = t**2 - 4*t - 3. Let f be y(4). Is (-1)/f + (-60)/(-9) prime?
True
Let d(i) = 26*i**2 + 2*i + 1. Suppose -6*t - 2*x + 10 = -t, 4*t - 3*x = 31. Let k be (-1)/(-4) - (-7)/t. Is d(k) a composite number?
False
Suppose -7*f - 8*f + 36885 = 0. Is f prime?
True
Let d(c) = 4*c**3 - 6*c**2 - 5*c + 4. Is d(5) prime?
False
Suppose 5*i + 2*g - 1702 = 0, -2*i + 3*i = 5*g + 335. Suppose -3*s = s - i. Is s a prime number?
False
Suppose -g = 2*g - 108. Suppose 0 = -4*m + 3*u + g, -3*m - u = -25 + 11. Is m/(-21) - 765/(-7) prime?
True
Let b be 0 + ((-4)/(-2) - 1). Let a = b + 2. Is 61/a - (-10)/15 a composite number?
True
Suppose -l - 5*i = -111, 6*i - 204 = -2*l + 2*i. Suppose 4*n + 36 = l. Is n a composite number?
True
Let s(r) = r**2 - r - 4. Let g = -7 + 7. Let f be s(g). Let a(i) = -2*i**3 + i**2 + 3*i - 5. Is a(f) a prime number?
True
Let t = 108 - -103. Is t composite?
False
Let t = -4 + 6. Is t/(-2 + (-72)/(-35)) composite?
True
Is 6/4 - (6 - (-4686)/(-4)) prime?
False
Let u = -7 - -13. Let m = 8 - u. Is 2 - 4/m - -83 composite?
False
Let n(m) = -18*m**3 + m**2 + m + 1. Is n(-1) a composite number?
False
Is ((-4)/(-8))/(2/492) prime?
False
Suppose 38 = -5*b + 3*b. Let c be b*1/(-3)*3. Let a = c - 6. Is a composite?
False
Let o be 2/5*(-30)/(-3). Let x = o - 0. Is (-1)/x - 375/(-12) composite?
False
Let r be 10/4 + 1/2. Suppose -r*k + 50 = -52. Is k a composite number?
True
Suppose -4*k + 7*k = 1734. Suppose -5*m - 750 = -5*j, -133 + k = 3*j + 2*m. Is j prime?
True
Let l = -8 - -13. Let u = 87 - l. Is u composite?
True
Let q = -10 + 13. Let z(d) = 9*d**3 - 5*d**2 + 4*d + 1. Is z(q) prime?
True
Suppose -2*l + 8266 = 4*t, 5*l - 11460 = 3*t + 9205. Is l composite?
False
Let f = -38 - -69. Is f a composite number?
False
Let l(c) = -132*c + 5. Is l(-4) a prime number?
False
Let j(z) = 34*z**2. Suppose -2*p = -3*p + 5. Suppose -2 = -3*a + p*a. Is j(a) composite?
True
Let k = 455 - 322. Is k a composite number?
True
Suppose -9*c = -4*c - 35. Suppose -3*z = -4*z + c. Suppose 4*m - 2*k = 148, -2*m + 3*k + 89 = z. Is m a composite number?
True
Suppose -3*h = -5*m - 763, -4*h + 3*h + m + 251 = 0. Suppose -h = w + 2*w. Let t = 115 + w. Is t prime?
False
Suppose -2*w - 226 = -728. Is w a composite number?
False
Is (-206)/(-4) - 18/(-12) a composite number?
False
Suppose -2*r = 2*v, 2*r = -5*v + 4*r - 7. Let s be (4 - -238)*(-2)/v. Suppose z + 3*z = s. Is z composite?
True
Suppose 4*l + 2*q - 1436 = -2*q, -5*l - 4*q + 1791 = 0. Is l composite?
True
Let c = -36 + 61. Let d be (-1)/1 + c + -1. Suppose 0 = -0*t + t - d. Is t a composite number?
False
Suppose -2*n = -0*n + 20. Let k be n/4*(2 + -4). Suppose 152 = 4*o - 4*a, -2*a + 186 = k*o - 3*a. Is o a composite number?
False
Let b = -440 - -2193. Is b a prime number?
True
Suppose 3*n = n - 12. Let s be n/15 + 2/5. Suppose s*g - g = -49. Is g a composite number?
True
Let n(y) = 3 - 18 + 2*y + 91*y**2 + 5 + 8. Is n(1) a prime number?
False
Suppose -2*v - 3 = 31. Let t = v + 28. Is t a composite number?
False
Let r(b) be the first derivative of -8*b**3/3 + b**2/2 - b - 3. Let k be r(1). Is ((-38)/k)/((-3)/(-12)) a composite number?
False
Let s(i) = i**3 + 10*i**2 + i + 5. Is s(-9) a prime number?
False
Let o = 6 + 1. Suppose -2*i = -i - o. Is i composite?
False
Let j = 17 - 50. Let g = j - -46. Is g a prime number?
True
Suppose -4*a - 3283 = -11751. Is a a prime number?
False
Suppose -4*l + 4*k = -3023 - 417, -5*k + 25 = 0. Is l a prime number?
False
Let d(q) = 6*q**2 + 4*q - 1. Is d(2) a prime number?
True
Let p = 0 - -60. Let l = p + -39. Is (-7)/l + (-19)/(-3) a composite number?
True
Suppose -p + 5 = 1. Suppose h - 18 = -4*d, -2*d = -3*d - p*h + 12. Is ((-14)/(-8))/(1/d) a composite number?
False
Let u = -6 + 8. Suppose u*n = -n + 186. Is n prime?
False
Let c(s) = s**2 + 8*s - 38. Is c(25) composite?
False
Let r(c) = -c + 11. Let v be r(7). Suppose 0 = v*f - 290 - 202. Is f a prime number?
False
Suppose -5*n = -0*n - 2335. Is n a prime number?
True
Suppose 2*m - 74 = -16. Let h = 5 + -1. Suppose 0 = -h*b - 5*z + m, -3*b + 5*b = -2*z + 14. Is b composite?
True
Suppose -2*p + 3 = p, 4*a - 9 = 3*p. Let b = -1 + a. Is (b/(-6))/(2/(-1110)) prime?
False
Suppose -7 + 57 = -2*v. Is 5/v + (-4398)/(-15) composite?
False
Let u = -341 - -594. Suppose n + o - 65 = 0, 34 = -3*n + 5*o + u. Suppose n = 3*k - 7. Is k composite?
True
Let v(c) = c**2. Let l be v(0). Suppose o + l*o = 19. Is o composite?
False
Let k(p) = -2*p**2 + 6*p - 1. Let d be k(5). Is (-1668)/d - 18/42 a prime number?
True
Let v(p) = 31*p**2 - 5*p - 13. Is v(-7) composite?
True
Let d(c) = -7*c**3 - 3*c**2 - 3*c - 3. Let j = 12 - 6. Suppose -i + 10 = -j*i. Is d(i) a composite number?
False
Let c(u) = 37*u + 7. Let o be c(5). Let a = o + -73. Is a a prime number?
False
Let b(a) = 6*a - 2. Let p be b(-3). Let l = -11 - p. Suppose -l = -3*w + 21. Is w composite?
True
Let l(a) = -332*a - 1. Is l(-1) prime?
True
Let m be (-1885)/(-25) + 2/(-5). Suppose 4*i - 158 = -g, -83 - m = -g + 2*i. Suppose g = j + j. Is j a prime number?
True
Let f be (-153)/(0 - -3) - -1. Let o = 70 + f. Suppose -x + 65 = -o. Is x a prime number?
False
Let i = 1278 - 727. Is i composite?
True
Suppose -6471 = -12*o + 3*o. Is o a prime number?
True
Let p = -7 + 12. Suppose 496 = p*q - 124. Is (q/6)/((-8)/(-12)) prime?
True
Let j(m) = 18*m + 41. Is j(14) a prime number?
True
Let c be 1/(1/(-2) + 1). Suppose -3*m - 7*q - 9 = -c*q, -m + 4*q + 14 = 0. Suppose -f - 4*t - 25 = -m*f, 0 = f + 4*t - 1. Is f prime?
True
Suppose -3*m + 10 = 31. Is (m - -6)/(1/(-67)) a composite number?
False
Let d(u) = -u + 7. Let w be d(7). Let q be 0 - (-1 - w)*113. Suppose 2*j + 7 = q. Is j a composite number?
False
Suppose -11*t - 3*t + 2814 = 0. Is t a prime number?
False
Suppose 5 = z + 7. Let l(s) = -41*s - 3. Is l(z) a prime number?
True
Let p = -56 + 30. Suppose -5*n + 3*n - 4 = 0. Is (-1 + n)*p/2 prime?
False
Let o = -293 - -425. Let f = -9 + 7. Is f/4*o/(-3) a composite number?
True
Suppose -3*y - 5 = -4*y. Suppose -6*c + 4*c = -5*w, 0 = y*c. Suppose 0*s - s + 21 = w. Is s a composite number?
True
Let s(f) = 2*f**2 + 2*f + 1. Let g be 4*1/2*4. Let v = 5 - g. Is s(v) a composite number?
False
Let r = 30 + -31. Is (-309 + 11)/(2*r) composite?
False
Suppose 2*j + o = 0, 2*j + 2*o = 5*j. Suppose 435 = 3*t - j*t. Is t a composite number?
True
Let i(m) = 110*m + 3. Is i(11) p