Is a a prime number?
True
Is 356/2314 - (-31534)/26 a composite number?
False
Let f(o) = 170*o - 4. Let t = -12 - -20. Let m be f(t). Suppose m = 5*c - 1249. Is c a composite number?
False
Let y(q) = q**3 + q**2 + q + 6469. Suppose -3*j + 2 = b, -b - 1 + 3 = -3*j. Is y(j) a composite number?
False
Suppose -2*s + 49778 + 2852 = 4*b, 3*b - 5*s - 39466 = 0. Is b composite?
True
Let z(b) = 4*b**3 - 9*b**2 + 3*b - 11. Suppose 9 + 18 = 3*c. Is z(c) composite?
False
Let o be ((-48)/(-3))/(-4) - -6. Suppose -o*u - 9 = u. Is (u/1 - -4)*553 a prime number?
False
Suppose -6 = 2*o + 6. Is (-2)/(-4) - 255/o composite?
False
Let j be 2/(-11) + 34791/(-11). Is (j/3)/((-11)/33) a composite number?
False
Suppose -3*s + 78096 = 3*z, 2*s + 78104 = 5*s - 5*z. Is s composite?
True
Let t(r) = 4*r**2 - r - 2. Let w(b) = -b**3 - 8*b**2 + 2*b + 9. Let q be w(-8). Is t(q) prime?
False
Suppose 0 = -3*v + 2*b + 5423, 0 = -5*v - 4*b + b + 9013. Suppose 2*d + 3*r - 621 = 0, 4*r - 195 = 5*d - v. Suppose 2*n + n - d = 0. Is n prime?
False
Let u = 2168 + 269. Is u a composite number?
False
Let m = -54 - -252. Suppose -8*k = -14*k + m. Is k prime?
False
Suppose -25*z = -24*z - 4. Suppose 5*g = 2*i - 146 + 2145, -z*i - 790 = -2*g. Is g composite?
False
Is 2*48/160 + (-27782)/(-5) a prime number?
True
Is -6 + (0 - 6) - -89417 a prime number?
False
Let r = -1606 + 3705. Is r prime?
True
Suppose -12 = -3*v - 0. Suppose v*d - 564 = -0*d. Is d a composite number?
True
Suppose -27861 = 70*n - 73*n. Is n a prime number?
False
Let n be (2/5)/(6/210). Suppose g = 2, -2*d - n = -3*d - 5*g. Let t(b) = 113*b - 5. Is t(d) composite?
True
Let z = -58 + 55. Is (5 - (z + 4)) + 947 + 0 a prime number?
False
Is (-61 - 9972)*(1 + -2) prime?
False
Suppose 25*u - 30*u + 5 = 0. Is (-97)/1*-10 - (4 - u) a prime number?
True
Let a be -750*(1 - 0/3). Let p be a/(-21) - (-6)/21. Suppose 0*o = -4*o + p. Is o a composite number?
True
Let i = -879 + 1648. Is i prime?
True
Suppose 7*w + 12730 = 4*b + 4*w, 3*w = 3*b - 9549. Is b composite?
False
Suppose 5*t + 3*c - 2*c = 15, t - 5*c = 29. Suppose 0 = t*u - 90 - 1522. Is u a prime number?
False
Suppose 6*f - 5 = 5*f. Suppose 309 + 819 = s + f*c, 3364 = 3*s - 5*c. Is s composite?
False
Let z(c) = -c**2 - 8*c - 9. Let t be z(-6). Let p = 61 - 58. Suppose -p*q - t*v - 2*v = -330, q - 118 = v. Is q prime?
False
Is (146348/1)/4*1 prime?
True
Let y be 6/18 + (-5)/(-3). Suppose -1911 - 1003 = -y*c. Is c a composite number?
True
Let b(h) = 2*h**2 + 12*h + 21. Is b(34) prime?
True
Suppose 0 = -u + 5*m - 21, 2*u + u - 2*m = 2. Suppose 2*i - 4111 = -3*w, -5*w - u*i + 8542 = 1689. Is w composite?
True
Is (-2 - 938/(-6))/(3/45) composite?
True
Suppose 108116 = 2*u + s, 0 = u + 2*s - 7*s - 54069. Is u prime?
True
Suppose -298 = -6*c + 1964. Is c a prime number?
False
Suppose 0 = -4*k - 4*r - 60, -6*k - 40 = -5*k - 4*r. Is (-29)/((k/(-55))/(-4)) prime?
False
Let w = 109 - 104. Suppose -w*a = -5*n + 740, -3*a + 15 = -6*a. Is n a prime number?
False
Let r be (-1)/(4/(-56)*1 - 0). Let g(w) = 67*w - 5. Is g(r) a composite number?
True
Let u(w) be the second derivative of -587*w**3/3 + 25*w**2/2 + 2*w - 3. Is u(-3) a prime number?
True
Let k = 1381 + -3475. Let b = k - -3235. Suppose 0 = 4*a + 297 - b. Is a prime?
True
Let u be (-3)/(36/16 + -3). Suppose -u*n + 1652 = -0*n. Is n a prime number?
False
Let w(y) = -336*y - 43. Is w(-17) a composite number?
False
Suppose -p - 51693 = -3*f, 2*f - 12*p = -11*p + 34462. Is f composite?
False
Suppose -3*g + 31 - 3 = 4*z, -5*g = 3*z - 10. Let n(w) = 106*w + 22. Is n(z) a prime number?
False
Let b(o) = -132*o - 34. Let w be b(20). Let s = w - -8901. Is s a prime number?
False
Let g be (-53262)/(-24) + 10/(-8). Let y = g + -65. Is y prime?
True
Suppose 4*j + 2 = 2*j. Let y be 0/(-3) + j + 165. Suppose 0 = -o - o + y. Is o composite?
True
Let j be (-1)/(-1*3/33). Suppose 4*i - 5 = j. Suppose 35 = i*p + 5*o, 4*o = 3*p + o - 33. Is p composite?
True
Let q(w) = 2*w**2 - 34*w - 99. Is q(-20) a composite number?
False
Let g = -24 + 24. Is -3 - g - 4*-20 a composite number?
True
Suppose -3 = 3*c - 2*h - 1, 2*c + 13 = -h. Let k(f) = f + 6. Let s be k(c). Suppose -3*i = -3*n - 1419, 3*i + 4*n - s*n = 1419. Is i a composite number?
True
Let s(p) = 1828*p + 41. Is s(5) composite?
False
Let l be 8/6*(-381)/(-2). Suppose -49*s + 37 = -50*s. Let u = s + l. Is u composite?
True
Let j(o) = 82*o - 1. Let n(v) = v + 1. Let t be n(2). Suppose -6*r = -t*r - 6. Is j(r) a prime number?
True
Let y = 20 + -13. Let b be (5 + 1)*(y + -6). Suppose 0 = 2*f + b - 130. Is f a prime number?
False
Let x = -173 - -3424. Is x composite?
False
Let v = 1845 + -1142. Is v a prime number?
False
Suppose -322264 = -8*w + 380560. Is w a composite number?
False
Let d(b) = -90*b - 129. Is d(-9) composite?
True
Let d(s) = 2*s**3 - 7*s**2 + 8*s - 19. Let x be (-2)/(-5) - 48/(-5). Is d(x) a composite number?
False
Let h(u) be the first derivative of u**4/4 - 14*u**3/3 - 11*u**2/2 + 27*u - 44. Is h(15) composite?
True
Let f(i) = 6*i**3 - 5*i**2 + 14*i + 7. Let h(x) = x**3 + x**2 + 1. Let c(g) = -f(g) + 5*h(g). Let k = -4 + 10. Is c(k) prime?
False
Let x be (-7713)/(-81) + 2/(-9). Suppose 4*r - 247 = -x. Is r prime?
False
Suppose 0 = -11*j + 9*j + 2*k + 1090, -5*j + 2717 = -k. Is j composite?
True
Let o(g) = 1021*g - 21. Let z be o(-5). Let s = -3237 - z. Is s composite?
False
Let b = -6287 - -9166. Is b a composite number?
False
Is -6 - -10 - (-7402 + -3) a composite number?
True
Let m(f) = -2*f**3 + 4*f**2 - 2*f. Let k be m(2). Suppose t = 5*t + 16. Is 2/t - 766/k composite?
False
Let o(f) = -f**2 + 13*f + 3. Let k be o(8). Suppose -7*r + k = -8*r. Is (r/1)/(-8 + 7) prime?
True
Let v(o) = -428*o**3 + o**2 - 5*o - 5. Is v(-2) a composite number?
False
Let a(m) = -21*m + 3. Suppose -2*l - 37 = -3*g, 0 = 4*g + 2*l + l - 21. Suppose 2*t + g = 1. Is a(t) a prime number?
False
Let c be (-3)/((-36)/16 - -3). Is (111/c)/(15/(-260)) a prime number?
False
Let r = -9 - -1. Let w be 1173/15 - r/(-40). Let z = w + -52. Is z prime?
False
Suppose 0 = -c + 4. Suppose 3*d - 2*a = 263, d = c*d + 3*a - 273. Is d composite?
False
Let s(k) = 3*k**3 - 5*k**3 + 0*k**3 - 74 + 2*k + 69 + 4*k**2. Is s(-5) a composite number?
True
Let k(j) = -349*j - 1. Let g(t) = -1. Let o(b) = -5*g(b) + k(b). Is o(-1) prime?
True
Suppose 4*j - 4 = 2*j. Suppose 732 - 2087 = -5*t + 5*c, 533 = j*t - 5*c. Is t composite?
True
Let s be (-2)/(-15) - 32/15. Let k be (s + (-5)/3)*18. Let l = k + 97. Is l a prime number?
True
Let m(n) = 7*n - 3. Let a be m(4). Suppose r - 3*h = h - 5, 0 = -2*r + h + a. Suppose 2*c + r = -c, -q + 2*c = -93. Is q a prime number?
True
Let y = -53922 + 16452. Is (y/(-18))/((-1)/(-3)) a composite number?
True
Suppose -p + 246 = -5*p + 2*z, 3*p = -z - 192. Let y = p + 150. Is y composite?
True
Suppose -5*d + 5946 = u, 0 = -2*u + d + 810 + 11093. Suppose -15*m = -4*m - u. Is m prime?
True
Suppose 0*h = -h. Suppose h = 7*v - 4*v - 402. Is v a composite number?
True
Suppose 2*y = 20 + 20. Let d = 83 - y. Suppose 0 = -c + 4*c - d. Is c composite?
True
Suppose -92*p + 90*p = -4614. Is p a prime number?
False
Suppose -3 = 3*i - 15. Suppose 0 = i*v + 4*r - 40, -r = -4*r - 12. Is v prime?
False
Suppose 5*j - 3794 = -3*p, -275 - 473 = -j + 3*p. Is j a composite number?
False
Let s be 0/(5 - (5 + -1)). Is 853/(-1 - (s - -1 - 3)) a composite number?
False
Let n(v) = 2*v**2 - 4*v - 19. Let k = 2 + -9. Let u = k - -15. Is n(u) prime?
False
Suppose h - 3696 = -2*h. Let m = h - -988. Is (2/6)/(10/m) a prime number?
False
Let x be ((-27)/2)/(9/2700). Let m = 6769 + x. Is m prime?
True
Let f(h) = 3*h**2 + h - 4. Let o be f(3). Suppose -1731 = -29*q + o*q. Is q composite?
False
Let a(m) = m + 7*m + 2*m**2 - 5 - m**2 - m. Let k be a(-8). Is (-2)/k + 1347/9 prime?
True
Let k(h) = -h**3 + 5*h**2 + 2*h + 5. Let m be k(8). Let o = -363 - m. Let p = 23 - o. Is p composite?
True
Let z(p) = -208*p - 27 + 18 - p - 86*p. Is z(-4) a composite number?
False
Is -331*(1/(-2) + (-5)/10) a prime number?
True
Suppose -4*i = -2*m - 30, -2*i + 2*m + m = -25. Let h(f) = -2 - 5*f**2 + 5*f + 3 + f**3 + 0*f**3. Is h(i) a composite number?
True
Suppose -87042 = -29*x + 28639. Is x prime?
True
Let j = 1184 - 804. Let h = j - 121. Is h prime?
Fa