 = -4 + p. Is c/3 - (-116)/3 composite?
True
Suppose 3*p + 5*r = 2209, -3*p = -3*r - 853 - 1340. Is p composite?
False
Suppose 0 = w - 0*w - 3, 5*v - 53 = 4*w. Suppose d - v - 294 = 0. Is d a composite number?
False
Let o = -64 + -205. Let k be (o/(-2))/((-2)/(-4)). Suppose -380 = -4*l + d + 133, k = 2*l - 3*d. Is l composite?
False
Let w = 6 + -13. Suppose 3*t + 159 = -486. Is t/w + 2/7 composite?
False
Suppose 3*k + 4*i - 300 = 491, -5*k + 1275 = -2*i. Is k composite?
False
Suppose 14 - 5 = -u. Let f = 12 - u. Suppose f = 6*p - 3*p. Is p composite?
False
Let c = -18 + 78. Let l = c - 41. Let i = l + 0. Is i a composite number?
False
Let m(z) = -153*z - 28. Is m(-5) a composite number?
True
Suppose 8*v - 3*v = 2095. Is v composite?
False
Let v(d) = 5*d**2 + 2*d - 3. Let t be v(-7). Suppose t = 4*p - 4*o, 3*p + 2*p - o - 277 = 0. Is p a prime number?
False
Let n = -500 + 1057. Is n a prime number?
True
Let a = 3 + 0. Suppose -a*m + 3 + 30 = 0. Is m composite?
False
Let m(f) = -f - 13. Let g be m(-9). Let y = -9 - g. Let i = y - -24. Is i a prime number?
True
Let y(v) = -v**3 + 5*v**2 + 7*v - 2. Let m be y(6). Suppose -w + m*o = -4*w - 1, o = -3*w - 7. Is (-3*1)/(w/14) composite?
True
Let y be (-1)/(4/(-68) + 0). Suppose 343 - y = 2*h. Is h a prime number?
True
Let q = 328 + -188. Let g = q - 61. Is g prime?
True
Let v(d) = 7*d + 5. Let j be (-4)/6 + (-40)/(-6). Is v(j) prime?
True
Let o = 604 + 87. Is o a prime number?
True
Let a = -238 + 347. Is a a prime number?
True
Let l(v) = 87*v + 8. Let s(f) = -88*f - 9. Let r(k) = -4*l(k) - 3*s(k). Is r(-4) composite?
False
Suppose 20 = -5*z, 0 = 3*t + z - 4*z + 45. Let u = t - -63. Suppose -3*y + u = y. Is y prime?
True
Suppose 293*f - 288*f - 3755 = 0. Is f composite?
False
Suppose -2*p - p + 1667 = -4*r, 3*p + 5*r - 1676 = 0. Is p a composite number?
False
Let r = -309 + 598. Is r a composite number?
True
Let h(p) be the third derivative of p**4/24 + 5*p**3/6 - 2*p**2. Let x be h(-4). Is (-2 + (1 - -38))/x a composite number?
False
Suppose -2*k + 117 = 5*u - 1373, -3*u = 0. Is k composite?
True
Suppose 5*w = 10 + 10. Let l = w + -34. Let o = l + 43. Is o prime?
True
Is -3314*(4/8 - 1) composite?
False
Let v be (-2)/(-4)*(2 - 0). Is 3/(-3)*(-14 + v) composite?
False
Suppose 2*d - 3*d + 31 = -5*p, 0 = 4*d - 2*p - 70. Suppose -4*s + 97 = -11. Let r = d + s. Is r a prime number?
True
Let c = 6 - -4. Is c composite?
True
Suppose a - 953 - 340 = 0. Is a composite?
True
Let u(v) = -v + 2. Let s(f) = -10. Let p(x) = -2*s(x) - 10*u(x). Let d be p(2). Suppose -5*y + 375 = -d. Is y composite?
False
Suppose 948 - 206 = 2*b. Suppose b + 444 = 5*g. Is g prime?
True
Let o = 57 + 1. Let m = o - 25. Is m a composite number?
True
Let v(h) = -2*h**3 - 8*h**2 - 4*h + 3. Let g be v(-5). Suppose 0 = -4*f + g + 247. Let q = f - 13. Is q prime?
True
Let d(z) = -z**3 - 9*z**2 + 8*z - 1. Let s(h) = h**2 + h + 1. Let g(j) = -d(j) - 2*s(j). Is g(-7) prime?
False
Let d = 3 - -2. Suppose -5*t = y + 23, -2*y - d*t = -6*y + 33. Suppose 0 = -y*j - 3*j + 310. Is j a prime number?
False
Suppose -8*r + 7*r + 157 = 0. Is r a prime number?
True
Suppose -3*a + 237 = -1323. Let j = a + -77. Is j a composite number?
False
Let d be -2*-1*(0 + 3). Is (d/(-4))/((-3)/66) prime?
False
Let i(j) = -j**3 + 10*j**2 - 8*j + 4. Let o be (-3)/3*11/1. Let m = 20 + o. Is i(m) a prime number?
True
Suppose -4*g - 28 = -5*y - 11, 0 = -3*y - 4*g + 23. Suppose -4*f - 256 = 200. Is -1 - y/(15/f) a composite number?
False
Let o = -427 + 1188. Is o prime?
True
Let u(p) = 4*p - 16. Let c be u(12). Suppose o = c + 53. Is o a composite number?
True
Is (-6)/(0 - 3) + 235 prime?
False
Suppose 186 = 4*p - 150. Suppose -g + p + 75 = 2*c, g - 161 = -c. Is g prime?
True
Let r = 78 - 65. Is r a composite number?
False
Let w = -40 - -113. Suppose j + w - 204 = 0. Is j a composite number?
False
Let i(t) = -20*t + 3. Is i(-2) a composite number?
False
Let b(q) = q - 8. Let o be b(8). Suppose -4*x + m + 1232 = o, 0*x - 3*x = -m - 925. Is x composite?
False
Let v(p) = 18*p + 5. Suppose h = -0 + 4. Is v(h) a prime number?
False
Let d be ((-1)/(-1))/((-2)/6). Let o be 5/(-3 - -1 - d). Suppose o*t + 2*g = 4*g + 1651, -3*t = -g - 991. Is t a prime number?
True
Suppose 440 = 2*o + 2*i, 5*o - 4*i - 1121 = -2*i. Is o a prime number?
True
Suppose -4*p + 43 + 13 = 0. Let n = -29 + p. Let w = 26 + n. Is w a prime number?
True
Let h = 8 - 10. Let s = 17 + h. Suppose 0*q + q - s = 0. Is q prime?
False
Suppose 0 = 4*x - 7 - 1. Suppose -x*m + 98 = -8. Suppose 2*z - z - m = 3*s, 3*z = s + 159. Is z a prime number?
True
Let h be -1*2*1/(-1). Let c = h - -1. Let q = c - -4. Is q a prime number?
True
Is (-12)/(-9) + (-2 - (-653)/3) composite?
True
Is (1/(-3)*-1011)/1 composite?
False
Let x = 633 + 206. Is x prime?
True
Let d(i) = i**2 - 5*i + 4. Let b be d(4). Is 1/(b - 3/(-111)) a composite number?
False
Suppose -2*x - 2*x = -1700. Suppose -3*d + x = 2*d. Is d a composite number?
True
Suppose -1 = -2*p + 9. Suppose -p*u + o + 915 = 0, 3*o = -0*o. Is u composite?
True
Suppose 2*x + x - 66 = 0. Suppose -x = -3*f + 2*f. Is f a prime number?
False
Let o = -60 + 43. Let p be 50*((-4)/10 - 21/(-15)). Let s = o + p. Is s composite?
True
Let j = 413 + -40. Is j a composite number?
False
Let d be (1 - 0)/(7/35). Let r(n) = 3 - d + 186*n + 1. Is r(1) a prime number?
False
Let k = -573 + 1010. Is k composite?
True
Suppose 0 = -0*o + o + 5*h - 8, 8 = 4*o - 4*h. Let p be ((-16)/3 - 1)*o. Let w = 28 + p. Is w prime?
False
Suppose 2552 = 3*f + f - 3*k, -4*k - 2556 = -4*f. Is f prime?
False
Let v be (-4)/12 - (-1)/3. Suppose v = 3*f - 3 - 6. Is 100/3 - 1/f a composite number?
True
Is 446 - ((-60)/(-45) + 26/(-6)) composite?
False
Let v(k) = 3*k + 1. Let q(b) = 2*b + 1. Let u(a) = 11*q(a) - 6*v(a). Let t be u(9). Suppose t = 3*w - 4*z, -z - z - 17 = -w. Is w composite?
False
Suppose 4*h + 12 - 4 = 0. Let c be ((-124)/(-4))/((-1)/h). Let z = c + 21. Is z composite?
False
Let i(x) = -2*x**3 + x**2 - 1. Let p be i(-1). Let f(h) = 8*h**3 - 4*h + 3. Is f(p) a prime number?
True
Let l be (0/(-2))/(-3 + 1). Is 12 + l - -1*2 prime?
False
Let n(w) = -4*w**2 - 2*w + 1. Let o be n(-3). Let t = 48 + o. Is t composite?
False
Let w(v) = v. Let p be w(3). Let x = p + 155. Let c = -111 + x. Is c a prime number?
True
Let u(d) = -d**2 + 16*d - 1. Is u(12) prime?
True
Let x = 96 - -155. Is x prime?
True
Suppose 5*m - 4 = 6. Let y(k) = 29*k - 5. Is y(m) a prime number?
True
Suppose 5*u - j - 4 = 4*u, 3*u - 12 = -4*j. Suppose 2*x - 18 = -3*o, -u*x - 5*o + 29 = -5. Is (-2 + 27/x)*38 a prime number?
False
Let s(t) = -t + 6. Let m be s(-7). Let j = -8 + m. Suppose -410 = -5*x - j*q, -3*q - 12 = -3. Is x a prime number?
False
Is ((-1948)/(-16))/(3/12) a composite number?
False
Suppose -4*z + 24 = -4. Suppose -5*u + z = 17, 5*b + 5*u - 20 = 0. Is b composite?
True
Let d be (1/2)/(1/316). Suppose 3*h = h + d. Is h prime?
True
Let g = 7 + -2. Suppose 2*v = -g*x + 2*x + 237, 4*v - 501 = 3*x. Is v composite?
True
Let b = 7 + -12. Let k(t) = 24*t**2 + 2*t - 7. Let r be k(b). Let z = r - 324. Is z prime?
False
Let z(u) = u - 5. Let k be z(5). Suppose -2*f - 177 + 467 = k. Is f a prime number?
False
Suppose 3*b - 144 = -3*d, 0 = d + b + 3*b - 51. Is d composite?
False
Suppose 5*j = -552 - 28. Let s = 195 + j. Is s a prime number?
True
Suppose 5*j - 3*j = f + 20, 5*j - f = 53. Let a = j + -6. Suppose -m - 4*l = -163, -5*m + 732 = -a*l + 42. Is m a prime number?
False
Let c(m) = m + 8. Let w be c(-6). Let y(n) = 15*n**3 + n**2 - n - 1. Is y(w) a prime number?
False
Let n = -21 + 13. Let o(k) = -k**2 - 10*k + 6. Is o(n) a composite number?
True
Suppose -3*c + 5*g - 1 = 0, -2*c + 2*g = 6*g - 14. Let l(k) = -k + 5. Let q be l(c). Suppose -2*f - 6 = 0, q*x + 13 = x - 5*f. Is x a composite number?
False
Let c be ((-40)/12)/(4/(-6)). Let l(a) = a**3 - 3*a**2 - 7*a - 2. Is l(c) composite?
False
Let l = 9 - 7. Let i = -2 + l. Suppose i = 2*o - 88 - 134. Is o a composite number?
True
Let o(d) be the first derivative of 7*d**2 + d - 8. Is o(4) a composite number?
True
Suppose 0 = 2*o - 4*z - 18, 0 = -2*o - 0*z + 3*z + 23. Is o composite?
False
Let m(r) = 4*r**2 - 5*r - 5. Is m(-4) prime?
True
Let q(w) = -2*w**3 - w + 1. Is q(-2) composite?
False
Su