b = h - 7972. Is h a prime number?
True
Is (18/(-6) - -1039) + 3 composite?
False
Let z = 423 + -57. Suppose 0 = -2*p + 2 + z. Suppose 3*u - p = 2*d + 3*d, -d - 234 = -4*u. Is u prime?
False
Suppose 0 = 2*j + 10, -4*b + 51001 = 3*j + 2124. Is b a prime number?
False
Suppose -75*k = -60*k - 1388265. Is k a prime number?
True
Let u be 1 - ((4 - (2 - -2)) + -1). Let v be 1/(-4) - 21/12. Is (-1)/(v/764*u) a composite number?
False
Let z(j) = 2 - 2 + 63*j + 0 - 1. Is z(4) a prime number?
True
Suppose -2*r - 126 = -i - i, i + 345 = -5*r. Suppose -15*s = -6*s + 135. Let f = s - r. Is f composite?
False
Let o be (18/45)/(2/(-10)). Let z be 10*((-3)/1 - o). Is (-15)/z - (-2339)/2 a composite number?
False
Let o(g) = -g**2 + 33*g - 13. Let c be o(17). Suppose i - 6*i - c = -q, -721 = -3*q + i. Is q a prime number?
True
Let q be (-2)/10 - -2011*5/25. Let d = 1801 - q. Is d a prime number?
True
Suppose -7*d + 3*d = -64. Suppose w - 5*w = -d. Suppose 3*a + 0*a = -5*g + 1188, -w*a - 3*g + 1595 = 0. Is a a prime number?
True
Let i = 10476 + -983. Is i composite?
True
Let h = -250 + 485. Suppose -o - h = -2*o. Is o a prime number?
False
Let q = -1679 + 3185. Suppose 5*u + 1489 = 4*t, -4*t - 27 = 5*u - q. Is t a prime number?
False
Suppose 5*h + 4*w = -0*w + 10769, -3*h - w = -6460. Is h a composite number?
False
Let d = -117386 - -171679. Is d a prime number?
True
Let n(k) = -15*k**2 + 5*k - 2. Let q(i) = -30*i**2 + 9*i - 4. Let x(d) = 5*n(d) - 3*q(d). Is x(-3) a prime number?
False
Let w(o) = -7143*o + 374. Is w(-9) prime?
True
Let w be (-1 - 0) + -1 + 6. Suppose -w*y + 5*c = -14 - 63, -5*y + 55 = 2*c. Let g(v) = -v**2 + 24*v + 2. Is g(y) prime?
False
Let c(p) = -p**3 - 9*p**2 + 11*p + 14. Let h be c(-10). Suppose 1255 = 5*w + 7*i - 2*i, h*w - 1020 = 4*i. Is w a prime number?
False
Let q(y) = 20*y**3 - 7*y**2 + 2*y - 12. Let l be (-6)/15 + ((-189)/5)/(-7). Is q(l) composite?
True
Let h = 1244 + -2712. Let a = h - -2185. Is a a composite number?
True
Let c = 13 + -7. Suppose c*v + 18 = 12*v. Suppose -8*i - 190 = -5*y - 3*i, v*y = -3*i + 96. Is y composite?
True
Let h be (5 - 1) + 1/1. Let j be 1 - (7 + -3) - -5. Suppose 2*p = -h*f - j*p + 631, 4*f - 506 = -2*p. Is f composite?
False
Suppose -113*w - 645726 + 9409667 = 0. Is w a prime number?
True
Suppose 3*v - 6 = 15. Let s(n) = -n**2 + 9*n - 8. Let w be s(v). Is w/9 - (-55)/3 composite?
False
Is (25394/2)/((207/(-27))/(-23)) prime?
False
Let l(u) = 99*u - 41. Is l(16) a composite number?
False
Let r = -176628 + 430747. Is r a composite number?
False
Let r(h) = 5*h**2. Let g be r(-1). Let u(v) = 7*v**3 + v**2 + 5*v. Let n(p) = p**3 + p**2 + 1. Let o(m) = -6*n(m) + u(m). Is o(g) composite?
False
Let k(l) = l**3 + 30*l**2 - 8*l - 26. Is k(-21) prime?
True
Let m(h) = 3*h**3 + 5*h**2 - 13*h + 10. Suppose -2*b - 3*d = -2, -40 - 15 = -5*b + 5*d. Is m(b) prime?
True
Let v = 17118 + 5665. Is v composite?
False
Let m = 16782 + -5373. Is m prime?
False
Is (-62)/(-465) - (-2 + 590398/(-15)) composite?
True
Let h = 38 + -58. Let f(r) = r**3 + 20*r**2 - r + 17. Is f(h) prime?
True
Let x(v) = -v**3 + 2*v**2 + 3*v - 3. Let b be x(-2). Suppose -4493 = -5*q + 4*t, -b*q + 5*q - 2*t = -1808. Is q a composite number?
True
Suppose -5*m = -2*m + 12. Let s be 0 - (m - (-4)/1). Suppose s = 5*g - 4*q - 591, 0 = q - 6*q - 20. Is g a composite number?
True
Let b(q) = 12*q**3 - 18*q**2 - 14*q - 19. Is b(24) a prime number?
False
Let u(k) = k**2 + 5*k + 3. Let c(o) = o**2 + 1. Let t(z) = 6*c(z) - u(z). Let m be t(-6). Suppose 6*j - 261 = m. Is j a prime number?
True
Suppose 0 = 14*j - 40 - 16. Suppose -5*u = -4*z + 13349, j*z + u = z + 10026. Is z composite?
True
Let a = 17468 - 10938. Suppose 0*o - 2*o + a = 0. Is o a prime number?
False
Suppose -5*f = k - 11 + 5, 3*k = -f - 10. Let b be 136/32 + f/(-8). Suppose -b*w = w - 155. Is w prime?
True
Suppose 4*r - 3*a - 19 = 0, a + 11 = 5*r - 3*r. Let y(c) = c**3 + 3*c**2 - 11*c + 4. Is y(r) composite?
True
Let w be (-2)/3*(-16 - -10). Suppose -2*c + 4092 = w*c. Suppose -c = -6*b + 584. Is b composite?
False
Is ((-9)/63 - 0) + 20308/7 composite?
True
Let y(m) = -45*m + 59. Is y(-6) prime?
False
Suppose -1026 = -3*x + 183. Let b = 762 - x. Is b composite?
False
Let c(a) = -2*a - 15. Let u be c(-10). Suppose u*m - 2282 = 4028. Suppose -m = -3*z + z. Is z a prime number?
True
Let b(d) = d**3 + 15*d**2 - 22*d + 47. Is b(-16) composite?
True
Let q(k) = -k - 9. Let b be q(-11). Suppose -4*p - 1335 = -y - b*y, 0 = 5*y + 5*p - 2260. Is y prime?
True
Suppose 2*u - 6 = 0, -2*o - 13 = -7*o - u. Is o/(16/(-2260))*(0 - 2) composite?
True
Let b = 8632 + -4130. Is b a composite number?
True
Suppose 0*m = 3*m + 36. Let r = m - -8. Is (2/(-4))/(r/296) composite?
False
Suppose 0 = 5*n + r - 50, -4*r = -6 + 26. Suppose 1 = -5*w + n. Suppose -w*m - 2*s - s = -1348, -m - s = -675. Is m prime?
True
Let s(q) = -2165*q - 4. Let r be s(2). Let j = -1335 - r. Is j composite?
False
Let w(k) = -1 - 211*k - 2 - 100*k - 4*k - 31*k. Suppose 0*c - 8 = 2*c. Is w(c) a prime number?
True
Suppose 12347 = 2*z - 134487. Is z a prime number?
True
Let v(s) = -2*s**2 - 9*s + 26. Let f be v(-13). Let u(t) = -5*t**3 + 2*t**2 - 2*t - 4. Let a be u(-4). Let y = f + a. Is y a composite number?
True
Suppose 5*o + 4*s = 15561, -14*o = -9*o - 2*s - 15567. Is o prime?
False
Let u(f) = f**3 + 7*f**2 + f - 8. Let q be u(-7). Let s be ((-876)/q)/(4/10). Let d = 9 + s. Is d prime?
False
Let b(c) = 1361*c**2 + c. Let i be b(-1). Suppose -3*d = 2*v - 3*v - i, -2*d - 2*v + 920 = 0. Let a = d - 298. Is a composite?
False
Is 210/560 - 284773/(-8) a prime number?
True
Let y(o) = 123*o - 5. Let m(j) = 61*j - 3. Let g(d) = 11*m(d) - 6*y(d). Let x be g(-7). Suppose 3*p - x - 653 = 0. Is p a prime number?
True
Suppose -4*r + 4258 = -2*w - 6176, 3*r + 5*w = 7832. Is r prime?
True
Is (-55469)/(1*(-5 - -4)) a composite number?
False
Let f be 4/(-18) + (-630396)/(-243). Suppose f = 9*o - 169. Is o composite?
False
Suppose 3*l - 2629 = 5*j, 0 = 4*l - j - 1741 - 1753. Suppose 3*c - l - 408 = 0. Is c a composite number?
True
Suppose 18*q + 8*q - 363818 = 0. Is q prime?
False
Suppose -4*r = -5*r - 6. Is r/18 + ((-3184)/(-3))/1 a prime number?
True
Let n be (1/(-1) + -14)/(-1). Suppose -2*w = w - 3*l + n, 0 = w - 5*l + 5. Is 3/w + 5090/25 a composite number?
True
Let u(o) = -54*o - 20. Suppose -105 + 21 = 12*v. Is u(v) composite?
True
Let v(o) = 2*o**3 - 4*o**2 + 2*o + 1. Let g be v(2). Is (-6)/9*(-136 - g) a prime number?
False
Suppose 1833 = b - 2*c, 8*b - 5*b - c - 5489 = 0. Is b a composite number?
True
Suppose -c + 2*v + 104427 = 0, -5*v + 313226 = -6*c + 9*c. Is c composite?
False
Let d = 11562 + 3137. Is d a prime number?
True
Suppose 0 = 4*s + 16, -y + 3*y - 2524 = -s. Let m = 2478 - y. Is m a prime number?
False
Let y be 4/(-10) + 33156/(-60). Let h = 1304 + y. Is h a prime number?
True
Let g be (-384)/(-20) + (-8)/(-10). Let n = 24 - g. Suppose -n*i - 77 = 5*p - 876, -2*p + 338 = -3*i. Is p a composite number?
False
Let d = 176 - 178. Is 87036/30 - d/(-10) a composite number?
True
Let i = 157 + -154. Suppose 5*n + i*h - 20765 = 0, 2*h = -5*n - 0*h + 20765. Is n a prime number?
True
Suppose 0*a + 2*a - 828 = -4*k, 3*k = 4*a + 621. Suppose k = -x + 12. Let j = x - -324. Is j a prime number?
False
Suppose 0 = 3*g - 3 - 18. Let l = 0 + g. Is l prime?
True
Let b(w) be the second derivative of -5*w**3/6 + 3413*w**2/2 - 27*w. Is b(0) a composite number?
False
Let u(b) = 2426*b - 181. Is u(15) composite?
False
Let b be -2 + (-205)/(-30) - (-2)/12. Suppose -5*q - f - 4*f + 835 = 0, q - 175 = f. Suppose -m + q = b. Is m prime?
False
Suppose 8778 = 2*y + 5*h, -2*y - 3*h + 13714 = 4928. Is y a composite number?
True
Let y be (375/20)/(3/20). Suppose 0 = -x + y + 54. Is x prime?
True
Let a be ((-9)/(-6))/(2/(-4)). Is 481 - (5 + a + 0) composite?
False
Suppose v = 4*o - 10, -5*o + v + 0*v = -12. Is -4*o/(16/(-526)) composite?
False
Let o(g) = 3*g**2 + 33*g - 5. Let p(m) = -m**2 - 10*m + 10. Let s be p(-12). Is o(s) a prime number?
False
Let p = 862 + 681. Is p prime?
True
Let d = -16 - -19. Suppose -41 = -d*t - h, 5*t + 3*h - 6*h - 45 = 0. Suppose 0 = -4*q + t, c + 3*c - 3*q = 2075. Is c prime?
True
Let z(v) = -275*v + 44. Is z(-45) a composite number?
True
Let h