3*i - o*g + 9*g = -790. Is i prime?
False
Suppose -3714 = -o + 3*m - 2*m, -3*o + 11136 = 3*m. Is o a composite number?
True
Let b(r) = 11*r**2 - 6*r + 10. Let z be -11 + -8*4/(-8). Let s be b(z). Let a = s - 356. Is a prime?
False
Let u(v) = -v**3 - v**2 + 12*v + 16639. Is u(0) a prime number?
False
Let h(a) = -a**3 - 9*a**2 - 10*a - 13. Let r be h(-8). Let p(c) = 223*c - 16. Is p(r) composite?
False
Suppose -7*c = -10*c - 84. Let t = c + 363. Is t composite?
True
Suppose 4*c - c + 18 = 3*n, n - 15 = 4*c. Suppose -n*x + 6*x = 663. Suppose -594 - x = -a. Is a composite?
True
Let g = 97 - 268. Is (15 - 2)/((-9)/g) a prime number?
False
Suppose 0 = 4*w - 14749 - 7099. Suppose 9*q = -971 + w. Is q prime?
True
Let o(b) = b + 23. Let r be o(-21). Is 70 + -4*r/(-8) prime?
True
Suppose 46*z = 41*z + 70. Is z/105 + (-1843)/(-15) composite?
True
Let d = 49 + -35. Let m = d + -8. Suppose -29 = -3*l + 4*k, -4*k + m = 5*l - 21. Is l prime?
True
Suppose -s = -1 + 4, c - 4192 = s. Is c a prime number?
False
Let j(i) be the third derivative of -13*i**4/24 - i**3 + 12*i**2. Is j(-4) a prime number?
False
Let t(m) = m**2 + 8*m + 12. Suppose 0*s + 2*s + 30 = -5*n, -3*n - 4*s = 18. Let f be t(n). Suppose f = h + 3 - 6. Is h prime?
True
Let y be 9/(-9)*(0 - 0). Suppose y*i = -9*i + 2421. Is i composite?
False
Is (-2690)/(-4) - (-48)/96 prime?
True
Suppose 1 - 17 = -4*b. Let x be (3 + (-14)/b)*-66. Let c = x - 14. Is c a composite number?
False
Let t be 753/(-6)*(-16)/1 + 3. Suppose -2*v = -11553 + t. Is v composite?
True
Let p(v) be the third derivative of v**8/20160 + v**7/5040 + 317*v**6/720 - v**5/10 + 3*v**2. Let d(b) be the third derivative of p(b). Is d(0) composite?
False
Let p(f) = -4 - f - 1 + 9*f**2 + 0*f**3 - 2 + f**3. Let n be p(-9). Suppose 3*h - 189 = 3*x, -4*x + 2*x + 106 = n*h. Is h prime?
False
Let s = 301 + 18. Is s prime?
False
Let y(v) = v**3 - 14*v**2 - 18*v - 15. Suppose 4*h - 54 = 3*d, 4*h - 43 - 23 = -3*d. Let o be y(h). Let a = 189 + o. Is a a prime number?
False
Let k(g) = 4715*g + 81. Is k(2) a prime number?
True
Let q be 2*(-20 - -3)*-19. Let l = q + -165. Is l composite?
True
Let q(d) be the first derivative of 187*d**2/2 + 2*d + 5. Let a be q(-4). Let u = 1243 + a. Is u composite?
True
Let l be (3*-7)/(-3)*2/7. Is 667 + l + (-4)/2 composite?
True
Let u be -4 + 1*2/(-2). Let c(w) = 5 - 2 - 7 - 6 - 99*w. Is c(u) a prime number?
False
Suppose 2*f - 6 = -3*h + 2*h, 2*f + 10 = -5*h. Suppose -f*v = -3*v - 2. Is -33*((-464)/12 + v) prime?
False
Suppose -11*g = 25*g - 297468. Is g prime?
True
Let a(z) be the first derivative of 4*z**3 + 3*z**2 + 4*z + 12. Is a(5) prime?
False
Let g = -2246 - -11230. Suppose -5*a + g = 3*a. Is a composite?
False
Suppose 4*z + z = 25. Let y(p) = -37*p + 7. Let i(j) = -37*j + 7. Let n(b) = -4*i(b) + 3*y(b). Is n(z) a prime number?
False
Let i = 0 - -9. Let k = 10 - i. Is (-4 - (-2 - k))*-709 a prime number?
True
Let n(l) = l**3 + 19*l**2 - 7*l - 5. Is n(-14) a composite number?
True
Is (-28)/112 - 83818/(-8) a composite number?
False
Let n = 7902 + -1381. Is n a composite number?
False
Let v(k) = 3*k - 16. Let h be v(7). Suppose -h*w + 274 = -56. Suppose -5*q + 8*q - w = 0. Is q a prime number?
False
Suppose g + 2 - 8 = 0. Is 1267/g + (-2)/12 a prime number?
True
Suppose 8*y - 32216 = -5*i + 11*y, -2*i + 4*y + 12878 = 0. Is i a prime number?
False
Let o(k) = k**2 - 10*k + 20. Let h be o(8). Let v be 36 + ((-8)/(-2) - h). Let y = v - -13. Is y a prime number?
False
Let n = 4 - 2. Suppose -2*l - 4 = n*p, -10 = -p + 2*l - 0*l. Suppose 0 = h - 4*s - 311, -2*s + 1208 = p*h + 2*h. Is h prime?
False
Suppose 17 = -2*n + 37. Suppose -n*c + 9*c + 1889 = 0. Is c composite?
False
Suppose 19*v = 15*v + 13556. Is v composite?
False
Suppose 682 - 26230 = -6*m. Is m composite?
True
Let f(a) = 264*a**2 - 94*a - 23. Is f(-9) prime?
False
Let n = 183143 + -107792. Is n prime?
False
Let i be (-13)/(-52)*(-1 - -1). Suppose i = 21*w - 23*w + 2846. Is w prime?
True
Let c be -1*41/(-3)*-15. Let h = 1500 - 1030. Let n = c + h. Is n composite?
True
Suppose 0*t + 4*t = -5*o - 255, 0 = 5*o - 5. Let g = -8 - t. Is -2*(-2)/(-2) + g a composite number?
True
Let f be 25/7 + (15/35 - 0). Suppose -f*c + 325 + 1199 = 0. Is c a prime number?
False
Let w(u) = -274*u + 18. Let b be w(-3). Suppose -3*r = -2*s - 4*r + 426, 4*s = r + b. Is s a composite number?
False
Let h = 124 + -110. Suppose h*u - 14064 + 722 = 0. Is u prime?
True
Suppose 13*h - 95860 = 181755. Is h a prime number?
False
Let b = 18563 - 9714. Is b prime?
True
Let b be (6 - 2) + (-1 - 1). Suppose -355 = -b*j + 67. Is j a prime number?
True
Let w = 7744 + -1253. Is w prime?
True
Let a(h) = 1793*h - 1. Suppose -2*g = 3*g + f - 8, -2*g - 3*f - 2 = 0. Let k be a(g). Suppose -4*t + q + 2837 = 4*q, 4*q + k = 5*t. Is t a composite number?
True
Let x(p) = -4*p + 9. Let r be x(3). Is (-2523)/6*(1 + (r - 0)) composite?
True
Let g be (-1)/(-4) - (60/(-16) - -2). Suppose 5*p = j - 486, -g*p = -1 - 5. Is j a composite number?
True
Suppose -5*w - 4*g + 8 + 24 = 0, 0 = -2*w + 5*g - 7. Suppose 2*n - 5*v = -w*v + 352, -4*v + 893 = 5*n. Is n composite?
True
Let x(y) = 2*y + y - 4*y + 427 - 110. Is x(0) composite?
False
Let m = 15038 - 7841. Suppose -m = -4*t - 2033. Is t a prime number?
True
Let n(k) = -7*k**2 + k. Let w be n(2). Let s = -21 - w. Suppose s*x - 216 = 379. Is x a composite number?
True
Is 3/((-54)/(-245676)) - 2/(-6) prime?
True
Let y(w) = 0*w**2 + w - 2 + 6*w**2 - 4*w. Is y(4) a prime number?
False
Let g(m) = -2*m - 8. Let l be g(-6). Suppose 3*v - l*w = -2549 + 11358, 0 = -v - w + 2934. Is v a composite number?
True
Let s = 4032 - 521. Is s a composite number?
False
Let l(d) = 277*d + 37. Let w be l(9). Suppose 8*t = -2*t + w. Is t composite?
True
Let i(r) = 23*r - 5. Let h(g) = -1. Let n(t) = -h(t) + i(t). Is n(13) prime?
False
Suppose 4*u - 1 - 27 = -5*s, -22 = -3*u - 4*s. Suppose u*c + 29 = -c + 2*h, -c = -2*h + 15. Let j(f) = f**3 + 9*f**2 + 7*f + 4. Is j(c) composite?
False
Suppose -16*x = -7*x - 2637. Is x a prime number?
True
Let i be (3 + -418)*9/(-5). Suppose 561 + i = 4*t. Is t composite?
True
Suppose -3*a + a - 4 = -2*b, 4 = -3*b - 2*a. Suppose c + b*l - 1184 = l, -3*c + 5*l + 3546 = 0. Is c prime?
True
Let k = 85950 + -39355. Is k prime?
False
Let g(l) = 2*l**2 + 3*l. Let c be g(-2). Suppose 0 = -0*a - a + c. Suppose 3*i + 0*d + a*d - 331 = 0, 5*i - 551 = -4*d. Is i a prime number?
False
Let q(v) = -24*v - 1. Let l be -6*((-124)/(-30) - 4/5). Is q(l) prime?
True
Let m(y) = 65*y**2 + 15*y + 99. Is m(-10) a prime number?
True
Let l(u) = -69*u - 5. Let w(m) = -68*m - 5. Let a(j) = -j**3 - 8*j**2 - 8*j - 10. Let h be a(-7). Let v(s) = h*w(s) + 2*l(s). Is v(7) prime?
True
Let a = 14 + -86. Let g be (-232)/a + 2/(-9). Suppose 4*y + 5*p - 1437 = -0*p, g*y - p = 1054. Is y prime?
True
Let w(y) = -y**3 - 7*y**2 + 3*y + 6. Let i be w(-16). Suppose -4*j + 1294 = -i. Is j composite?
True
Suppose -3*n + 1100 = n. Let s = 194 - n. Let t = s - -119. Is t a prime number?
False
Is (3808 - 2) + 2 + -4 + -2 a composite number?
True
Let h = 4506 + -3136. Let x = h - 627. Is x composite?
False
Let a = -5 - -11. Suppose 5785 = a*q - 2129. Is q a prime number?
True
Let n = 30816 - -17321. Is n composite?
True
Suppose 0*n + n + 3*w - 8 = 0, 3*n - 10 = -2*w. Suppose 2*f - n - 6 = 0. Suppose 4*h = 4*k - 564, k - f*k + 4*h = -418. Is k prime?
False
Let q = -3639 - -11428. Is q prime?
True
Let n be -1 + 7/(7/6). Suppose 0 = n*y + 2*f + 72, 0 - 4 = -f. Let u = y + 101. Is u a composite number?
True
Let m be (-1)/2 - 6/4. Let b be -1*(0 + 0/m). Suppose -5*w + a = -b*a - 1089, -4*a + 201 = w. Is w a composite number?
True
Let x(c) = -c**2 - 8*c - 7. Let n be x(-7). Let o = -155 + 483. Suppose -4*a + 180 + o = n. Is a a composite number?
False
Let s(n) = n**3 - 11*n**2 + 14*n - 10. Let j be s(12). Suppose -14 = -2*q + j. Is q prime?
False
Let r be (552/10 - -1) + 3/(-15). Suppose -w = -r - 78. Is w composite?
True
Let p = -9 + 21. Let l(t) = 5*t**2 - 13*t + 9. Is l(p) a prime number?
False
Suppose -900*n - 265258 = -914*n. Is n composite?
False
Is ((-12)/(-8))/((15/102430)/1) a prime number?
True
Let c(p) = -475*p**3 - 6*p**2 - 13*p + 3. Is c(-4) composite?
True
Suppose y - 5*q = -0*q + 482, 0 = 2*q