. Is a a prime number?
True
Let k(v) = v**3 + 6*v**2 - 2*v - 4. Let x be k(-5). Suppose 4*b - 9 = x. Is b a prime number?
False
Let r(b) = -134*b + 11. Is r(-3) prime?
False
Let k = -377 - -614. Is k a composite number?
True
Suppose -4*y + 5*a = -583, 4*y = -0*y - 5*a + 553. Let c = y + -63. Is c prime?
True
Suppose -5*x + 5*w - 30 = 0, -3*w = -0*w - 3. Let f = x - -3. Is (2/(-6))/(f/462) composite?
True
Suppose -31*l + 418 = -29*l. Is l a prime number?
False
Let p(v) = -5*v**3 - 3*v**2 + 9*v. Is p(-5) a composite number?
True
Suppose 0 = -4*x + 2 - 18. Let r be x/(1*2/(-6)). Is (-3)/r - (-58)/8 a composite number?
False
Is 2*239*(-2)/(-4) composite?
False
Let j(g) = 37*g + 4. Suppose 0 = 2*o - 7*o - 25. Let q be j(o). Let r = -90 - q. Is r a composite number?
True
Let v = 47 + -4. Is v composite?
False
Let x(u) be the first derivative of 20*u**4 - u**3/3 - u**2/2 + u + 4. Is x(1) composite?
False
Let g be 3/((-12)/(-28) - 0). Is (g/(-28))/((-2)/3896) a composite number?
False
Let u = 36 + 13. Is u a composite number?
True
Let c = 117 + 176. Is c a composite number?
False
Let q = 7 + -4. Suppose 6 = 4*t - q*t. Is t prime?
False
Suppose -4934 - 5656 = -10*f. Is f prime?
False
Suppose 0 = -3*a - 2*a + 17775. Suppose -3*r = i + 2*r - 699, -a = -5*i + 5*r. Is i composite?
False
Is ((-2)/(-2))/((-2)/(-94)) composite?
False
Let s(i) = -i**2 - 11*i + 3. Is s(-7) a composite number?
False
Let q be 2/((12/9)/4). Suppose v - q*v = -25. Suppose -5*p + 5*m = -95, 0*p - p + v*m + 19 = 0. Is p a composite number?
False
Let v = -340 + 666. Suppose -n + v = n. Is n a prime number?
True
Suppose 5 = -4*b + f, b + 3*b - 2*f + 10 = 0. Suppose b = -3*r - r + 140. Is r prime?
False
Let i(y) = 14*y**2 + 6*y - 6. Let n be i(5). Suppose -221 = -5*p + n. Is p a prime number?
False
Let u be (-74)/(3*(-6)/9). Let p = 84 - u. Is p a composite number?
False
Suppose 0*p = -8*p + 24536. Is p composite?
False
Let l(y) = 29*y - 6. Let k be l(4). Suppose 3*f - 166 = -5*p, 5*f - 2*p - k = 177. Is f prime?
False
Let a(j) = j + 1. Let d be a(-1). Suppose d = 4*k + x + 4*x - 523, -390 = -3*k - 3*x. Let c = 184 - k. Is c a composite number?
True
Suppose -2*j + 0*j = 0. Suppose 0*w + 2*w = 0. Suppose j = -w*c - 2*c + 66. Is c a prime number?
False
Let b be (-2)/(-4)*6 - (1 + 2). Let n be (-1 + 85)*2/4. Suppose -4*s + s + n = b. Is s a composite number?
True
Let y = 109 - 293. Let i = y + 303. Is i prime?
False
Let b(n) be the first derivative of -n**4/4 - 10*n**3/3 + 11*n**2/2 + 9*n - 6. Suppose -39 = 3*s + 2*v, 4*s - 4*v + 49 = 17. Is b(s) a prime number?
False
Suppose 2*o - 1 + 11 = 5*l, -o - 5*l = -10. Suppose -w + 20 + 38 = o. Is w prime?
False
Suppose 0 = -3*f + 2*f - 4. Let b(w) = w**3 + 3*w**2 - 6*w - 3. Let p be b(f). Suppose -5*t - 2*i - 2*i = -53, 37 = 3*t + p*i. Is t a composite number?
True
Let k(f) = 6*f**2 - 5*f - 3. Let w be k(6). Suppose 2*c = -17 + w. Is c a composite number?
False
Suppose 739 = 2*d - 5*p, -5*d + p + 1876 = -2*p. Is d a prime number?
False
Let f(m) = -3*m**2 - 3*m + 7. Let a(v) = 10*v**2 + 8*v - 21. Let w(t) = -2*a(t) - 7*f(t). Is w(-7) composite?
False
Let r(c) = -c**2 - 9*c + 1. Let j = 2 + -9. Is r(j) prime?
False
Let t = -17 - 26. Is 3/(-6) + t/(-2) prime?
False
Suppose -5*k = -411 - 259. Suppose -2*g = -g - k. Is g/10 - 6/15 composite?
False
Is 2 + 24188/16 - 4/(-16) composite?
True
Let x(k) = -8 - 2*k - 3 - k**3 + 4 - 3*k**2 + 3*k. Suppose -4*o - 15 = -o. Is x(o) a composite number?
True
Suppose -m - 4*m - u - 66 = 0, -3*u + 10 = -m. Let z(r) = -13*r + 8. Let k(q) = -25*q + 15. Let n(w) = -3*k(w) + 7*z(w). Is n(m) prime?
False
Suppose -5*c - 2*y = -4, 2*y = c - 5*c + 2. Let h(a) = 2*a**2 - 8*a + 9. Let x be h(4). Suppose c*k + x = 5*k. Is k a composite number?
False
Let y = -56 + 177. Is y composite?
True
Let d(b) = -8*b**3 - b**2 + 2*b - 1. Suppose -3*i = v + 11, v + i - 3 = -8. Is d(v) a composite number?
True
Suppose -3*x + 3*p - p = -10, -4*p + 16 = 3*x. Suppose -3*m = u + x*u - 31, -4*m + 8 = 0. Is u/(2/2) + 2 composite?
False
Suppose 13*b - 11*b - 6 = 0. Suppose -b*m = 3*u - 1164, 6*u - 1958 = u + m. Is u composite?
True
Let s(c) = 33*c - 1. Let o be s(2). Suppose 0 = -3*j + 3*p - 2*p + o, -3*p + 65 = 4*j. Suppose h = -h + j. Is h a composite number?
True
Let u(t) be the second derivative of 11*t**4 - t**3/6 + 10*t. Is u(-1) a prime number?
False
Suppose n + 23 = s - 233, 5*s - 1260 = n. Is s a prime number?
True
Suppose 8*b + 3395 = 13*b. Is b prime?
False
Let r(m) = 0 + 2 - 8*m - 5*m + 4*m. Is r(-5) a composite number?
False
Suppose -2*s + 3*t + 434 = 6*t, -s + 2*t = -203. Is s prime?
True
Let u be (-9)/(-6)*(-12)/9. Let m be (-1*(-2 - 4))/u. Is 1722/3*m/(-6) prime?
False
Suppose -2*q + 6 = -2*c, -4*c - 10 = c - 4*q. Let k(x) = -1 + 0*x + x**2 + 0 - c*x. Is k(-2) prime?
True
Let n(h) be the third derivative of h**6/120 + h**4/24 + h**3/6 + h**2. Is n(6) a composite number?
False
Let z(y) = -2*y**2 - 8*y - 1. Let b be z(-8). Is (-3 + 5)/1 - b composite?
False
Let x = -3731 + 6300. Is x composite?
True
Let k(y) = 6*y**2 - 7*y + 11. Is k(-8) a composite number?
True
Let s = -4 - -7. Let d = 4 - s. Is (-1)/2*-106*d a prime number?
True
Suppose n = -3*m - 408, -459 = 2*n - 2*m + 381. Let l = n - -620. Is l composite?
True
Suppose 288 = -5*s + 3463. Is s a prime number?
False
Let r be 2/(-1)*(-2979)/6. Suppose -3*t - 36 = -r. Is t a composite number?
True
Let v = -76 + 44. Let c = v - -153. Is c composite?
True
Suppose 0 = -5*t - 0*g - 2*g + 1679, 2*t + g = 672. Is t composite?
True
Let x(n) = n**2 - 2. Let v be x(-2). Suppose -d - d - v*a = -378, -5*a + 390 = 2*d. Is d composite?
True
Suppose 3*y - 6 = 6, -2*y + 1057 = c. Is c composite?
False
Suppose i - 344 - 3 = 0. Is i a prime number?
True
Let y(d) be the second derivative of 3*d**3/2 - 3*d**2/2 + d. Let s be 12*(-4 - (-9)/2). Is y(s) a prime number?
False
Suppose -5*a = -a + 44. Is 6713/77 + 2/a composite?
True
Let b(d) = d**2 + 165. Let l be b(0). Suppose 5*v - 5*n = l, 3*n + 134 = 4*v - 2*n. Is v prime?
True
Let f = 848 - 367. Is f prime?
False
Let m(y) = -82*y - 9. Is m(-3) a composite number?
True
Let p(g) = -10*g - 4. Let f be p(-3). Let q be f/(-4) - (-1)/2. Let k(d) = 2*d**2 + 6*d - 5. Is k(q) prime?
True
Suppose 5*c - p - 24 = 0, -p + 0*p = 3*c - 16. Let s(f) = f**3 - 6*f**2 + 6*f - 5. Let b be s(c). Is 2*(74/4 + b) composite?
False
Let d be 2*(-4)/1*5. Let t be ((-2)/4)/(1/d). Is 4/10 - (-1092)/t a prime number?
False
Let j(w) = 3*w**3 - 3*w**2 - 7. Is j(5) a composite number?
False
Suppose -5*d = 265 - 0. Let c = -103 + 193. Let t = d + c. Is t composite?
False
Let u be (-136)/14 + (-4)/14. Is (-243)/(-7) + u/(-35) a prime number?
False
Suppose 3 = 2*s - 1. Let w be s*-1 - 52 - -1. Let f = w - -186. Is f composite?
True
Let u(j) = 177*j - 7. Is u(4) prime?
True
Let j(f) = -122*f**2 + 5*f + 12. Let m(y) = 41*y**2 - 2*y - 4. Let a(r) = -3*j(r) - 8*m(r). Let g be a(-3). Suppose -2*i = 3*i - g. Is i composite?
False
Let c = -5855 + 10620. Is c a composite number?
True
Suppose -2*s = -0*u + u + 12, -4*u = 5*s + 51. Let l be (-7)/(-1 - (-6)/4). Is 4/u + (-88)/l a composite number?
True
Let y(u) = u - 2. Let x be y(7). Let h(s) = 18*s + 1. Is h(x) prime?
False
Let o be (-2)/(-12) - 4684/24. Let b = o - -322. Is b a composite number?
False
Suppose 4*b = -h + 9, 2*b = 5*b - 3*h - 3. Let x = 100 - 71. Is x/b + (-1)/2 a prime number?
False
Let v = -969 + 2095. Is v composite?
True
Let q be (-4)/14 - 2660/(-49). Suppose -5*b - 3*f = -2*b - q, 2*f - 99 = -5*b. Is b a prime number?
False
Let p = 4 + -3. Let x be 0 + (-2 - -6)/p. Suppose -g + 2*g = x*d + 12, -3*g + d = -14. Is g prime?
False
Suppose -16*m + 202 + 1030 = 0. Is m a composite number?
True
Let y = -16 + -5. Let v = 34 + y. Is v composite?
False
Let c(r) = 4*r**2. Let b be c(2). Let x = b + -8. Is (106/x)/(3/12) a composite number?
False
Suppose 435 - 160 = 5*b. Is b composite?
True
Let b = 0 - -4. Suppose 0 = -b*y + 8*y - 124. Is y a prime number?
True
Let q(t) = 4*t**2 + 7*t + 11. Is q(-8) a composite number?
False
Let c = -568 - -875. Is c prime?
True
Let b = 3 + -18. Let i = 4 - b. Is i a composite number?
False
Let c(w) = 7*w - 50. Is c(21) a prime number?
True
Let n = -824 + 1390. Is n prime?
False
Suppose 2*a - 1028 =