s s a prime number?
True
Let n(r) be the first derivative of r**5/20 + r**4/8 - 5*r**3/6 + 2*r**2 + 4. Let y(c) be the second derivative of n(c). Is y(4) a prime number?
False
Suppose 10*x + 3*x - 13871 = 0. Is x a prime number?
False
Suppose -3*c + 319 + 314 = 0. Let m = c - 113. Let w = m - -105. Is w prime?
False
Suppose 0 = 4*o + 6*g - 2*g - 24, -10 = -2*o - g. Suppose -h - o = -z - z, z + 25 = 5*h. Is ((-76)/h)/((-2)/3) prime?
True
Suppose 0 = -6*d + 6806 - 1772. Is d a composite number?
False
Suppose o + 4386 = 4*i, 3*i + 4*o = -0*i + 3299. Is i a composite number?
False
Let v(i) = 2*i - 12. Let b be v(7). Suppose -3*x + 256 = -d - 737, -x + b*d + 331 = 0. Is x a composite number?
False
Let z = -14 + 29. Let s = -9 + z. Suppose -3 = -3*r + s. Is r a composite number?
False
Let m(z) = 16*z - 5. Suppose -j = j - 4. Let k = j - -4. Is m(k) a composite number?
True
Suppose -2825 = 3*g - 8*g. Is g a prime number?
False
Let m = 77 + -48. Let z = 17 - m. Let k(b) = b**2 + 10*b - 3. Is k(z) prime?
False
Suppose 3*v + 39 = 4470. Is v a composite number?
True
Is (1 - 0)/(-2)*(-3898)/1 prime?
True
Suppose -2*c + 80 = 2*c. Suppose 4*w - 696 = l - 6*l, 0 = 5*l + c. Is w a prime number?
True
Let w(i) = i**3 + 5*i**2 + 4*i + 3. Let c be w(-4). Let u = 7 - 5. Suppose u*y = c + 17. Is y a composite number?
True
Let w(r) = r - 485. Let n be w(0). Let p = 916 + n. Is p a composite number?
False
Let x(v) = v**2 - 6*v - 8. Let o be x(7). Let t be (o/3)/((-4)/36). Suppose t*f + 815 = 8*f. Is f a prime number?
True
Suppose 0 = -0*t + 5*t - 15. Let r = t + 15. Suppose 0 = -2*p + r + 116. Is p composite?
False
Let h = -648 + 284. Let t = -6 - -4. Is h/(-8) - 1/t a composite number?
True
Suppose 4*j = -3*q + 25, 7*j - 3*j = 16. Is 1/3 + 92/q prime?
True
Let x be (-3)/12*2*0. Suppose x = -c + 5*c - 532. Is c a prime number?
False
Let g(z) = 13*z - 38. Is g(17) a prime number?
False
Let b be -4 - 1/4*4. Let m(d) = 4*d**2 + 2*d - 7. Is m(b) a prime number?
True
Let t = -9 - -14. Suppose 3*s - 5*h = 864 + 294, 0 = -5*s + t*h + 1940. Is s composite?
True
Is (-1485)/(-9) - (-4)/(-1) a prime number?
False
Let y(i) = 252*i**2 + 21*i - 14. Is y(-7) a composite number?
True
Suppose 2*b - 5*m = 31, 81 = -0*b + 2*b + 5*m. Is b/42 - 1190/(-6) prime?
True
Let d(m) = -54*m - 25. Is d(-16) composite?
False
Let f(z) = 3*z**2 + 5*z + 3. Let n be (-9)/3 + 2 + 0. Let k = -5 - n. Is f(k) a prime number?
True
Suppose -6*n - 4 = -2*n. Let l = 1 - n. Suppose 31 = -d + l*d. Is d a prime number?
True
Let n be -19 - (3 + -1 + -1). Let y be n*(7/(-2))/7. Is 2/y + (-3384)/(-30) prime?
True
Suppose 0 = -4*w - 7 - 1. Is (-90)/(-4) - w/4 prime?
True
Let v(s) = 33*s**2 - 3*s + 2. Let q be v(-3). Suppose 11*f = 7*f + q. Is f composite?
True
Suppose 2*b - 3*b = -3. Let x = -503 - -867. Suppose x = b*i + i. Is i composite?
True
Suppose 0 = 26*r - 24*r - 1010. Is r a prime number?
False
Suppose h + 2*w - 29 = -5, -3*h + w + 37 = 0. Let q = -8 + h. Is q prime?
False
Suppose 0 = -0*k + k + 4*q - 3, -3*k - 42 = -5*q. Let x(n) = n**3 + 10*n**2 + n - 3. Is x(k) a prime number?
False
Let i(m) = m + 1. Let s = -1 + -2. Let v be i(s). Is (v + 4)/((-4)/(-38)) a prime number?
True
Let m(f) = -6*f - 4. Let x be m(-3). Let t = 148 + x. Suppose 5*j - 15 - t = 2*r, 3*r = 5*j - 173. Is j a prime number?
True
Let u = 1745 - 1092. Is u a composite number?
False
Suppose 78*a - 1685 = 73*a. Is a a prime number?
True
Let s = 309 + -200. Is s prime?
True
Let h(p) = 2*p**2 - 11*p - 14. Let n be h(10). Let t = -39 + n. Is t composite?
False
Let s = 3872 + -1899. Is s a composite number?
False
Let s = -9 + -68. Let p = 192 + s. Is p prime?
False
Suppose -2*p + 3 = -p. Suppose -p*d = o - 576, -5*d + 3*o + 83 + 863 = 0. Is d composite?
False
Suppose 0*f + 12 = 2*f. Suppose 0 = -3*u + f*u - 1176. Suppose r - 91 = -3*g, -u = -4*r - g + 3*g. Is r a prime number?
True
Is 231/12 + (-2)/8 composite?
False
Let a(w) = w**2 - 11*w + 13. Let g be a(10). Suppose 3*x - 156 = -n + x, -470 = -g*n - 4*x. Is n a composite number?
True
Is (0 - 4/10) + 9554/10 prime?
False
Let k(u) be the third derivative of u**4/24 - u**2. Let j be k(0). Suppose -3*f + 208 + 59 = j. Is f a composite number?
False
Let d(i) = 4*i**3 - i**2 + 2*i - 1. Let l be d(1). Suppose y + 957 = r + 4*r, 0 = -l*r + 2*y + 768. Is r composite?
False
Let l = 6 + -8. Let o(q) = -5*q - 4*q - 1 + 2. Is o(l) a composite number?
False
Let l = 1676 - 457. Is l/3 - 30/(-45) composite?
True
Is (-1899)/(-12) - (-7)/(-28) composite?
True
Let k = 15 - -550. Let z = k + -219. Is z composite?
True
Suppose 45*s - 7545 = 40*s. Is s composite?
True
Suppose -5*c = -0*c + 650. Let x = c + 257. Is x composite?
False
Let z = 1071 - 748. Is z composite?
True
Suppose 9*l - 13*l + 3364 = 0. Is l prime?
False
Let n = -6 - -3. Suppose 4*s + 357 = -5*q, -3*s + 2*q - 153 = 86. Is -1*(s - 0/n) a prime number?
True
Suppose 3*l + 24185 = 8*l. Is l a prime number?
False
Suppose z + 1489 = 2*k, -2*k - 2*k - 4*z + 2960 = 0. Is k composite?
False
Let k(q) = -12*q. Let l be k(-1). Suppose 0 + l = 3*g. Suppose 60 = -0*t + 3*t + f, g*f = -2*t + 50. Is t a composite number?
False
Suppose 4*g = 4*n - 11 - 25, 0 = 4*n - g - 51. Suppose n - 83 = -3*z. Suppose 2*b - 15 = -x, -z = -0*x - x + 2*b. Is x composite?
False
Suppose -2*o - 8 = 0, -o + 393 = -4*c - 123. Let w = 219 + c. Is w a prime number?
True
Let t be 2/(-9) + 736/72. Suppose 5*h + 0 = t. Suppose -3*k + 6*k + v = 82, k = h*v + 18. Is k a composite number?
True
Let a(s) be the first derivative of -s**2/2 - 3*s + 2. Let c be a(4). Let m = c - -10. Is m prime?
True
Suppose -5*w = -6 - 44. Suppose -2*q = -w, 2*k - 5*k = 3*q - 768. Is k composite?
False
Let f(m) = -5*m**2 - 2 + 4*m + 14*m**2 - 6*m. Is f(-3) prime?
False
Suppose -9*k = -14*k + 17035. Is k a composite number?
False
Let j(z) be the first derivative of -z**4/4 + 11*z**3/3 - 7*z**2/2 - 11*z + 2. Suppose -3*i + 22 = -2*r, 2*i + 2*r = 7*r. Is j(i) prime?
True
Suppose 0*t + 62 = 4*s + 2*t, -2*t + 26 = 2*s. Let l = s + -8. Suppose -l = -2*b + b. Is b a composite number?
True
Let o(t) be the second derivative of -3*t**3 - 3*t**2/2 - t. Let x be o(-2). Suppose -4*j = -j - x. Is j a prime number?
True
Let t(a) = -91*a**3 + 2*a**2 - 2*a + 3. Let i(s) = 183*s**3 - 4*s**2 + 3*s - 5. Let f(o) = -3*i(o) - 5*t(o). Is f(-1) a prime number?
False
Suppose 0 = 2*z + 5*m - 44, -m + 174 = 5*z + 41. Suppose -2*d + 5*d = -z. Let p = d - -24. Is p a prime number?
False
Suppose -3*c = -3*b + 588, 5*b - 2*c = 2*c + 975. Is b composite?
False
Suppose 4*c = -3*i - 18, -3*i + 2*c = -8*i - 16. Is i*(-1)/(2/31) prime?
True
Suppose 5*k = -k + 306. Is k a prime number?
False
Suppose 5*t - 6090 = -5*z, -t - 2*z + 1223 = -0*z. Is t prime?
True
Let s = -32 - -48. Let o be (-378)/(-4) - 8/s. Suppose w + 5*i = -0*w + o, -2*i + 401 = 5*w. Is w a prime number?
True
Suppose 2*g + g - 166 = -4*r, -4*g - r + 217 = 0. Let k(i) = -i**3 + 11*i**2 + 2*i + 11. Let j be k(11). Let v = g - j. Is v composite?
True
Let q(u) = -393*u - 37. Is q(-10) prime?
False
Suppose 5*a + 774 = 59. Let p = a + 245. Let j = p + -23. Is j prime?
True
Suppose -x = 3*x + 12. Is 190*1 + x/(-3) composite?
False
Suppose 3*n - 3*f = f + 10, 12 = -2*n - 2*f. Is (-4)/6*(n + -235) a prime number?
False
Let z = 70 - -13. Is z prime?
True
Let h = 64 + -48. Let b(f) = 2*f**2 - f + 2. Let y be b(-3). Let w = y - h. Is w composite?
False
Let y(a) = -5*a**2 + 11*a - 9. Let q be y(7). Let l be (q/(-6))/((-1)/(-8)). Suppose 5*g + h - l = 0, -g - 2*g + 138 = -3*h. Is g a prime number?
True
Suppose 0*x + 5*x - 50 = 0. Suppose -x = -7*o + 2*o. Suppose 4*r = 6*r + 4*y - 134, 4*r - o*y = 318. Is r prime?
False
Suppose 2*n - 187 = 739. Is n a prime number?
True
Let h be (6 + -6)/(2 + -3). Suppose -3*o = -f + 1422, 0*o + 3*o + 5*f + 1440 = h. Let g = 686 + o. Is g a composite number?
False
Suppose -4*p + 2*p + 92 = 0. Suppose 6 = -6*b + 3*b. Is p/(-4)*(-4 - b) a prime number?
True
Suppose -8 = -2*f - 2*f. Let p = -1 + f. Is 7/(-3)*(-21)/p composite?
True
Suppose -4*r - 60 = r. Let h = -20 - r. Is (-282)/h - (-4)/(-16) prime?
False
Let x(c) = 18*c - 19. Is x(15) prime?
True
Suppose -a = a - 42. Suppose a = -4*r + 97. Is r prime?
True
Suppose r - 6*r + 15 = 0. Let o = 260 - r. Is o a 