s prime?
True
Let v be 0 + (0 + -3)/3. Is ((-2)/v)/(3/9) prime?
False
Let o = -102 + 1171. Is o prime?
True
Is (-3)/(-27)*5601 + (-1)/3 a prime number?
False
Let a be (1 - (-2 - 0)) + 104. Suppose -283 - a = -3*o. Is -2*(-3)/2 + o a composite number?
True
Suppose -f = -4*f - 4*v + 657, -v = -5*f + 1118. Is f prime?
True
Let t(b) = -2*b**2 + 8*b - 3. Let d be t(3). Let r(l) be the third derivative of l**5/15 + l**4/24 + l**2. Is r(d) a prime number?
False
Suppose 3*u + 12 = 5*z - 3, -3*u + z - 3 = 0. Suppose 4*s + u*o - 2*o - 654 = 0, -o + 162 = s. Is s a composite number?
False
Suppose 0 = -4*c - 16 - 0, -5*n = 5*c + 8035. Let b = 2318 + n. Suppose 2*f = -3*f + b. Is f a composite number?
True
Let c be 1*(2/1 + -26). Suppose -4*k + 206 = 58. Let j = c + k. Is j a prime number?
True
Let p(s) = s**3 + 18*s**2 + s + 21. Let g be p(-18). Suppose g*k - 2*f - 1015 = 0, 1360 = 4*k - 0*f - 4*f. Is k prime?
False
Suppose 0 = 5*i - 4 - 6, -2*i + 779 = 5*f. Is f composite?
True
Let b(c) = -c**3 + 8*c**2 - 8*c + 7. Let o be b(7). Suppose o = q + u - 23, -2*u = 5*q - 6*u - 115. Is q composite?
False
Suppose d + 5*l - 41 = 0, d + l - 23 = 5*l. Is d a prime number?
True
Suppose 5*v - 3*v = 62. Is v a composite number?
False
Suppose -4*c + 274 = 2*z, -z + 0*z + 107 = -4*c. Is z a prime number?
True
Suppose 3*m - 78 = -0*m. Let b = 116 + -76. Suppose b = 2*l - m. Is l prime?
False
Suppose -2*p - 5*p + 5397 = 0. Is p prime?
False
Let z(u) be the first derivative of u**4/4 + 7*u**3/3 - 5*u**2/2 + 2*u - 2. Is z(-7) a composite number?
False
Suppose -2*t + l + 471 = -103, -t + 287 = -l. Is t a composite number?
True
Suppose 2*c = -x - 2039, -x = 2*c + 4*x + 2019. Let j = -669 - c. Is j a prime number?
True
Is 28/21 + 754/6 a prime number?
True
Let a(t) = -t**3 - t**2 - t + 92. Let k be a(0). Is (-9)/3 + 0 + k a composite number?
False
Is (1122/(-9))/((-12)/18) a prime number?
False
Let v(l) be the second derivative of -1/2*l**2 + 16/3*l**4 + 0 + 1/3*l**3 + l. Is v(1) prime?
False
Suppose -2*s + s - 4*r + 7 = 0, 6 = 3*s - 3*r. Suppose -s*k - 3*a + 0*a = -570, -5*a - 578 = -3*k. Is k composite?
False
Let x be 3 + -1 + 2 + -1. Let t(j) = -2 - x + 2*j**2 - 2*j + 6. Is t(-7) composite?
False
Let b(u) = 127*u**2 + u - 1. Is b(1) a composite number?
False
Suppose 24 = 4*f + 272. Let l = f - -285. Is l prime?
True
Let o(k) = k**3 - 5*k**2 - 6*k + 2. Let q be o(6). Let d be -3 - q*(1 - 0). Let s = d - -9. Is s prime?
False
Let r(j) be the second derivative of -j**5/20 + j**4/4 + 2*j**3/3 - 5*j**2/2 - 3*j. Let m = 8 - 12. Is r(m) prime?
False
Let l = 14 + 8. Let w = l - 0. Is w composite?
True
Suppose 5*x - 6*b + b = 2245, 0 = -4*x - 3*b + 1782. Suppose 0*t = 3*t - x. Is t prime?
True
Let g(q) = -175*q - 3. Is g(-2) a composite number?
False
Let w(i) = -i**3 - 8*i**2 + 8*i - 6. Let r be w(-9). Suppose 0*t - 381 = -r*t. Is t composite?
False
Suppose -9*i + 13*i = 5224. Is i a composite number?
True
Let m(p) = -p**3 - 4*p**2 + 5*p. Let x be m(-5). Let r be 1/1 - (x + -1). Suppose -2*n - n = 4*i - 159, 0 = -3*n - r*i + 159. Is n a composite number?
False
Let r = 8 - 3. Suppose r*k = 4*k + 127. Is k prime?
True
Let a(k) = k. Let h be a(2). Suppose 0 = h*z, 5*c + 4*z - 8 = 7. Is c a prime number?
True
Is 56/(-308) - 14775/(-11) a prime number?
False
Suppose -14*d = 14587 - 104271. Is d prime?
False
Let i(r) = 26*r - 5. Is i(21) a prime number?
True
Suppose 7*j = 5*j + 206. Is j a composite number?
False
Let j be (-6)/(-6) + 0 + 0. Let u(s) = 125*s - 1. Let c be u(j). Is (c/6)/((-2)/(-3)) composite?
False
Let s(f) = -f**2 + 10*f - 7. Let o be s(9). Is (-3)/o*(-228)/9 a prime number?
False
Let z = -2 + 61. Is z a prime number?
True
Let p = 87 + 136. Is p composite?
False
Suppose -i - 4 = -5*i. Is i*113 - (-1 - 1) prime?
False
Suppose 4*g + 5*b - 30 = -g, 0 = -g + 3*b - 2. Suppose -g = 2*m - 2. Is 114/8 - m/(-4) prime?
False
Let t be 1/(2 + (-23)/12). Suppose -2*u + 276 = t. Suppose -135 = -3*m + u. Is m a prime number?
True
Suppose 4*y - 56 - 20 = 0. Suppose 9*b - y = 8*b. Is b composite?
False
Suppose 8*q + 115 = 3*q. Let x be q/4 + 3/(-12). Is (x/9)/(4/(-114)) composite?
False
Let s(d) = d**3 + 2*d**2 + 2*d - 11. Let p be s(-6). Suppose -3*x = 2*c - 2*x + 569, 0 = -2*c - 5*x - 557. Let i = p - c. Is i a composite number?
True
Let d be -3*(16/6 + -3). Is -2*(-251)/2*d a composite number?
False
Let v(g) = -20*g**2. Let i be v(1). Let r = i - 15. Let s = -20 - r. Is s a composite number?
True
Let o(k) = -93*k + 2. Is o(-5) a prime number?
True
Let g(s) = 4*s**2 - 2*s + 1. Is g(-7) a composite number?
False
Let s(k) = 14*k + 2. Let y be s(-1). Let j = y - -19. Is j prime?
True
Let r(t) = -t + 13. Suppose -b - 4*o = 10, 4*b - 12 + 1 = o. Suppose -3*d = 4*l, d + b*d = 0. Is r(l) a prime number?
True
Suppose 6547 = 5*p - 3468. Is p a composite number?
False
Suppose 0 = -4*u + 715 + 641. Is u composite?
True
Let o(q) be the first derivative of -1/2*q**2 - 1 + 0*q + 2/3*q**3 + 33/2*q**4. Is o(1) a composite number?
False
Let f = 148 - -5. Suppose 2*q - 7 - f = -2*h, 0 = -2*q - 3*h + 161. Is q a prime number?
True
Suppose 51 = 2*k - 11. Is k composite?
False
Suppose 11*b + 1331 - 23760 = 0. Is b a prime number?
True
Let k = 493 + 16. Is k prime?
True
Let b(w) = w**3 + 2*w**2 - 5*w - 4. Let x be b(5). Let d = 211 - x. Is d a composite number?
True
Suppose 2*t - 3*g = -2*t + 18, -3*t = 3*g - 3. Suppose 617 = s - t*q, -q + 0*q + 2494 = 4*s. Is s composite?
True
Suppose 3*s + 5*r = -6 - 19, -5*s - 10 = 2*r. Suppose 0*m - 5*t = -3*m + 1, s = 2*m - t - 3. Suppose -6*y + l + 51 = -m*y, 5*l - 81 = -4*y. Is y prime?
False
Let l(j) = j + 7. Let c be l(-5). Suppose 17 = -c*n + 99. Let h = 66 - n. Is h a prime number?
False
Let k = 3809 - -4196. Is k/30 + 1/6 a prime number?
False
Let t(f) = -2*f - 2. Let v be t(2). Let k = v - -10. Suppose k*b = 3*z - 53, -3*b = -5*z - 4*b + 73. Is z composite?
True
Suppose -47 = -4*d - 15. Is (0 + 4/d)*746 prime?
True
Suppose 2*d + 5*s + 24 = -160, -314 = 3*d - 2*s. Let k = 271 + d. Is k a composite number?
True
Let c(f) = 2*f**2 - 3*f. Let i be c(2). Let l = i + 27. Let u = 48 - l. Is u prime?
True
Let u = 12 - 6. Let g be (-2)/6 + (-16)/u. Is (-496)/(-10) + g/5 a composite number?
True
Suppose -2*n + 6*n + 20 = 0, -n = -m + 792. Is m prime?
True
Let c be 12/10*50/20. Suppose 3*u - 162 = -5*q, 6*q = c*q - u + 98. Is q prime?
False
Let q = -11 - -19. Is (-1 - -3)*(15 + q) a composite number?
True
Let y(b) be the third derivative of 1/6*b**3 + 5/24*b**4 - 2*b**2 + 0*b + 0 + 1/20*b**5. Is y(-5) a composite number?
True
Let g be (-1 - -1)*1/(-2). Suppose -k - 2*k + 954 = g. Suppose -5*c = f - 397, 0 = -4*c - 0*f - f + k. Is c a composite number?
False
Let l = -7 - -6. Let g(q) = -128*q**3 - 3*q**2 - 9. Let x(k) = -64*k**3 - k**2 - 4. Let t(u) = -3*g(u) + 7*x(u). Is t(l) a composite number?
True
Let g = -11 + 17. Suppose -g*q - 12 = -9*q. Suppose -q*z + 91 = -3*o, 5*z - 72 = 2*o + 40. Is z composite?
True
Is (4 + -14)*(-47)/2 a prime number?
False
Suppose 2*w + s - 3782 = 0, -s - 4 = -0*s. Is w composite?
True
Let v(p) = p**3 + 8*p**2 + 2*p + 7. Let w be (10/(-15))/(2/24). Let c be v(w). Is (-267)/c*(-6)/(-2) a prime number?
True
Is (1 - -290) + 4 + -6 a prime number?
False
Suppose 0 = -4*s + 15 + 5. Suppose -i - 20 = 5*p, 4*i + s*p = 41 - 106. Is ((-10)/i)/(2/21) composite?
False
Let z(u) = -u**2 + 16*u - 4. Is z(13) a prime number?
False
Suppose 0 = 2*b + 537 - 127. Let c = b + 336. Is c prime?
True
Suppose -3*u + 2055 = 7*r - 2*r, -r + 413 = u. Let m = -161 + r. Suppose 146 + m = 3*b. Is b prime?
True
Suppose 5*m = -c + 118, 4*c = 5*m + 112 + 285. Is c prime?
True
Let x(h) = -237*h**2 + 6*h - 4. Let i(s) = -237*s**2 + 7*s - 5. Let o(d) = 5*i(d) - 6*x(d). Let q be o(-1). Suppose 2*g - q = -g. Is g a composite number?
False
Let l(q) = q**3 + 17*q**2 + 19*q + 14. Is l(-13) prime?
True
Let b(z) = -z + 2. Let g be b(0). Is 1*102 - g - 3 a composite number?
False
Let n(l) = l**3 + 6*l**2 + 4*l - 2. Let k be n(-5). Suppose 2*y = k*y - j - 33, 0 = y - 5*j - 25. Is y composite?
True
Suppose 0 = -4*l - 27 - 5. Let g = -1185 + 811. Is g/l + (-3)/(-12) a composite number?
False
Let a be 1 + 2 + -1 - -22. Suppose -a - 20 = -2*s. Is s a composite number?
True
Let d(c) be the