*h**5 - 6*h**2. Is r(-7) prime?
True
Suppose -4*c - 44 = -5*m, -23 = -5*m + 5*c + 17. Let r be (m/8)/((-1)/(-2)). Is 1114/4*(-1 + r) composite?
False
Suppose -a - 2*a - 13 = -2*d, -a + 5 = 4*d. Suppose d*o - 10*o = -2456. Is o composite?
False
Let c(h) = -2*h**2 - 22*h + 29. Let q be c(-12). Let n(p) = 276*p**3 + 2*p - 1. Let b be n(1). Is b/q - (-12)/(-30) a prime number?
False
Let m = 1627 - -4290. Is m prime?
False
Suppose g - 1954 = 5*y, g - 2930 = 4*y - 971. Is g a composite number?
False
Suppose -4*q = -4*b + 161200, b - 45360 + 5056 = -3*q. Is b prime?
False
Suppose -99 = -2*t - 19. Let v be (-1)/(-5) - 8/t. Suppose v = 3*s - 0*s - 39. Is s composite?
False
Let c be 0 - (-1)/1 - -2. Suppose -s - 4*s = 0, s + 1506 = c*j. Is j prime?
False
Suppose 0*n + 2*n = n. Suppose -5*f = n, 4*y - f = 1816 + 2736. Is y composite?
True
Let z(q) = q**3 + 13*q**2 + 12*q + 3. Let r be z(-12). Suppose r*w + 53443 = 16*w. Is w composite?
False
Suppose 16*g - 12*g - 74372 = 0. Is g composite?
False
Let j = 26 + -4. Let y be 20539/253 + (-4)/j. Suppose 5*s - 3*n - 2071 = 0, -s + n + 334 = -y. Is s a prime number?
False
Let c(b) be the second derivative of b**5/20 + 7*b**4/12 - 3*b**3/2 + 3*b**2/2 - 2*b. Let j be c(-8). Suppose 8 = q - j. Is q prime?
True
Let a(c) = -1911*c + 16. Is a(-3) composite?
False
Let b be ((-27)/6)/9*-4. Suppose -29 = -5*g - d, g - 3 = b*d - 6. Suppose -x - x - 4*r = -178, -4*x + g*r + 317 = 0. Is x composite?
False
Let t = 120 - -542. Is t a prime number?
False
Is 150961/3 + 14 + 560/(-42) prime?
True
Let d(x) = -5445*x + 922. Is d(-13) a composite number?
False
Let g = -45 - -50. Suppose -t + s + 0*s = -423, 417 = t + g*s. Is t a prime number?
False
Suppose -5*n + 15 = -20. Let t = n - 4. Suppose -b + 2*b - v = 55, b = -t*v + 47. Is b composite?
False
Let g be 6/2*(0 - -1). Let w be g*(1 + 1/3). Suppose -5*c = -25, 3*c = w*b + c - 226. Is b a prime number?
True
Suppose 60*o = 333394 + 378386. Is o prime?
True
Let s(y) = 254*y + 23. Let r be s(4). Suppose 0 = -4*h + 3*h + r. Is h a prime number?
True
Suppose -16*h + 18*h = 6. Suppose h*x - 963 = 45. Let t = x - 230. Is t a composite number?
True
Suppose a = 3*g + 15, 4 = 3*a - 5*g - 25. Let f(v) = -3 + 4 + a*v - 20*v + 5. Is f(-5) a prime number?
False
Let v be (-3)/6*(-240)/(-15). Let j(b) = b + 1 - 34*b - 14. Is j(v) a prime number?
True
Let t(k) = -971*k + 10. Let o be t(-5). Suppose -5*z = 4*g - 3892, -4*g = g - 2*z - o. Is g prime?
False
Let q be ((-165)/10)/(3/(-18)). Let c(z) = -5*z + 2. Let r be c(3). Let w = q + r. Is w a composite number?
True
Let v = 71387 - 20406. Is v composite?
True
Let h(r) = 2135*r**2 + 13*r + 78. Is h(-4) a composite number?
True
Let q(b) = 215*b - 18. Let r be q(4). Suppose -5*g = -r - 213. Is g a prime number?
True
Suppose y + 45401 = 3*x, 3*y - 18000 - 12271 = -2*x. Let p be x/(-35) + (-4)/(-10). Let f = p - -911. Is f composite?
False
Suppose -5*n = -10*n - 170. Let d = 137 + n. Is d composite?
False
Let v(b) = 2852*b**2 - b. Let w be v(1). Let a = -1976 + w. Is a/15 - 2/(-3) composite?
False
Suppose 3 = 10*h + 43. Let g(p) = -387*p - 5. Is g(h) a prime number?
True
Let r be ((-4)/(-6))/(14/63). Suppose 0*i + 2*i + 5*n = 1943, 0 = -3*n - r. Is i composite?
True
Let i = -2801 - -4738. Is i a prime number?
False
Let c(l) = 10599*l - 71. Is c(14) composite?
True
Suppose -38516 = -28*a + 37224. Is a a prime number?
False
Let w(j) = 3*j**3 - 2*j**2 + 3*j - 2. Let b be w(1). Is (389/(-2))/(b/(-4)) a composite number?
False
Let i be 2/9 - 4/18. Let z = -7 + i. Is 887/7 + (-2)/z a prime number?
True
Suppose -90*m = -87*m - 14127. Is m composite?
True
Is 7149/(2/(-12) + (-175)/(-105)) a prime number?
False
Let z(h) = 2*h. Let x be z(-1). Let k(f) = -1 + 2 + 397*f**2 + 3 - 3. Is k(x) a composite number?
True
Let t be 402362/8 + (-9 - 140/(-16)). Suppose 22*d = d + t. Is d prime?
False
Suppose 10*j + 29 = -1. Is -127*((-1)/j)/((-14)/42) prime?
True
Suppose 0 = -5*r - 5*b + 1120, r + 4*b = -2*r + 673. Is r a composite number?
False
Let n(d) = 3*d**2 - 4*d - 2. Let v(r) = -3*r - 3. Let a(i) = -i - 1. Let l(o) = -4*a(o) + v(o). Let h(x) = 5*l(x) + n(x). Is h(5) a prime number?
True
Let w be -1 + 1 + (9 - 13). Let f(l) = -14*l**3 - 7*l**2 - 10*l - 11. Is f(w) prime?
False
Suppose 44*k - 1016842 = 6*k. Is k composite?
False
Let x(d) = 3*d**3 - 4*d. Suppose 2*n - 6 = 2*i, i = -2*n + 6 + 6. Let z be x(i). Is (-3225)/(-11) + z/(-88) prime?
True
Let w = -2692 - -4097. Is w a prime number?
False
Let b(k) = 90*k + 4. Let m be b(-3). Let t(v) = -v**3 - 4*v**2 - 14*v - 25. Let a be t(-6). Let d = a - m. Is d a composite number?
False
Let h = -14 + 16. Suppose f = -0*f + h. Suppose -d - 4*w = -35, 0 = -0*w - f*w + 8. Is d prime?
True
Is ((-14)/(-8))/((-769395)/(-54956) - 14) composite?
True
Let b(a) = -a**3 - 13*a**2 + 9*a - 15. Let i be b(-13). Let k = -29 - i. Is k prime?
True
Let d(a) = 43*a**2 - 9. Is d(-14) composite?
False
Let w(d) = -d**2 - 5*d - 2. Let a be w(-4). Suppose -4*b - 4*u = -1956, -3*u - 972 = -a*b - 2*u. Is b a prime number?
True
Let g = -2338 - -4287. Is g a prime number?
True
Suppose 0 = 28*j + 28596 - 213200. Is j a composite number?
True
Let s = 14 + -16. Let w(c) = c**3 + c**2 - 3*c - 2. Let i be w(s). Suppose 3*n = -i*n + 237. Is n a prime number?
True
Let l(v) = 0*v**2 + v**2 + 5 - 6*v + 3 - 5. Let u be l(6). Is 310 - (-1 - (-1 - u)) prime?
True
Suppose -2*l - 2*q + 81361 = 29045, -l + 3*q = -26138. Is l composite?
False
Let y(r) = 4*r**2 + r. Let s be y(-1). Let z be (-15)/2*(-196)/s. Suppose 4*b = -3*w + z + 576, -2*b - 2*w = -534. Is b a composite number?
True
Let a be -2 + (-2)/6*0. Suppose -3*j = 4 - 13. Is (-776)/(-24) - a/j a composite number?
True
Let f = 71 + -51. Suppose 3*u + u - f = 0, 4*u = -2*t + 782. Is t composite?
True
Suppose -3*v + 1633 = b - 5*b, -3*v = 5*b + 2075. Let k = b + 845. Suppose -5*i + k + 97 = 0. Is i prime?
False
Suppose -2*b - 4*r + 4674 = 0, -r - 339 = 3*b - 7340. Is b composite?
False
Suppose 4*b + 806 - 8168 = -2*u, -4*u - 4*b + 14728 = 0. Is u composite?
True
Let s = 22 + -8. Let d(o) = -o**3 + 14*o**2 + 5. Let p be d(s). Suppose i + 670 = p*g - 0*i, 3*i = -g + 118. Is g prime?
False
Suppose 5509 + 10510 = 5*g - c, c + 6410 = 2*g. Is g a composite number?
False
Let k(o) = 531*o**3 + 6*o**2 - 6*o. Let m(a) = 1061*a**3 + 11*a**2 - 11*a - 1. Let p(u) = -5*k(u) + 3*m(u). Is p(2) a composite number?
True
Suppose 15*i = i + 294. Is 2 + (-6833)/(-6) - i/(-126) composite?
True
Let y(d) = -d**2 + 89. Suppose -g + 4*g = 0. Is y(g) prime?
True
Let t(i) = i**2 + 101. Let b be t(0). Suppose 5*h - b = 69. Suppose q = 2*z - 4, -4*q + 3*z + h = 5*z. Is q composite?
True
Suppose 3*i - 5*o - 16 = -0*o, i + 2*o = -2. Is i*((-3015)/10)/(-9) a prime number?
True
Let x(o) = -93*o + 1. Let t be -1 + 4 - (3 + -5). Suppose 0 = -t*f + 2*j - 4 - 16, j + 1 = -3*f. Is x(f) a composite number?
True
Suppose 4*s - 11 + 3 = 0. Let k(u) = 3*u - 2. Let q be k(s). Suppose q*g - 24 - 544 = 0. Is g a prime number?
False
Suppose -1 = -k - 3. Is 2*469/(-4)*k a composite number?
True
Is (-9)/(-2)*34 - (-48)/8 a prime number?
False
Let k(o) = o**2 - 34*o - 16. Is k(-11) prime?
True
Suppose 10 = 2*h + 12. Is -3 - (h + 2) - -1035 composite?
False
Suppose -26*g + 23*g = -5*t + 7922, -4756 = -3*t - g. Is t prime?
False
Let h(b) = -71*b. Let j be 1 + (-40)/6 - 60/(-90). Is h(j) prime?
False
Suppose 18 = -27*s + 28*s. Let i(f) = 12*f**2 - 17*f + 11. Is i(s) composite?
False
Let a = 5984 - -3138. Is a a composite number?
True
Let t = -47 + 51. Suppose t*v = 1648 + 708. Is v composite?
True
Suppose -3*b = -5*z + 70, 4*z - 3*b + 2*b - 63 = 0. Suppose 3 = 5*g + 2*i - z, 3*i = g - 21. Suppose 4*l - 239 = -f, -3*f + f + g = 0. Is l prime?
True
Is 1675 + 18 - (0 - 0) a prime number?
True
Suppose 27*y + 4190 = 37*y. Is y a prime number?
True
Let y(l) = 6*l**3 + 14*l**2 + 18*l - 13. Let t(p) = 3*p**3 + 7*p**2 + 9*p - 6. Let h(x) = -7*t(x) + 3*y(x). Is h(-8) a prime number?
True
Let d(h) = 7*h - 375. Let b(i) = 22*i - 1124. Let k(u) = -4*b(u) + 11*d(u). Is k(0) prime?
False
Suppose -4*y + 2*b + 2552 = 0, 0*y + 3183 = 5*y + b. Suppose 0 = 7*k - 3248 + y. Is k prime?
True
Suppose -3*r + 68 = r. Let m(b) be the third derivative of 2*b**4/3 - 7*b**3/6 + 2*b**2 +