number?
True
Let w(z) = -26*z**3 - 4*z**2 + 7*z + 17. Is w(-6) prime?
False
Let y = -43796 + 302193. Is y composite?
True
Suppose 4 = p - 5*w + 2, 8 = 4*p + 3*w. Is p/(-3)*7/((-14)/8517) composite?
True
Is (-1)/((-9240060)/(-1320010) - 7) prime?
True
Suppose -5*h + 6649490 = -5*d, 7*h - 4*h - d = 3989700. Is h prime?
False
Let v be (-2)/(-4)*(-7 + 7). Suppose v = -7*o + 11*o. Suppose t = -5*y + 2*t + 6592, o = -5*t + 15. Is y prime?
True
Suppose 203*k = -35*k + 913593 + 116233. Is k composite?
False
Suppose -4*u - 1194029 = -5*b, u + 1240321 = 4*b + 285078. Is b a prime number?
False
Suppose -204*k = -205*k + 313071. Suppose 32*l = -l + k. Is l prime?
False
Suppose 0 = -c + 2*s + 189725, -879278 = -4*c + 4*s - 120362. Is c prime?
True
Let u(w) = 3987*w - 1342. Is u(69) composite?
True
Let z = 31448 + -18201. Let a(t) = 7*t**2 + 20*t + 9. Let h be a(-16). Suppose -8*w + z + h = 0. Is w composite?
True
Let y(m) = -2*m**3 - 2*m**2 + 12*m + 25. Let t be y(-4). Let j = t - 69. Suppose -j*z + f = -13195, 2*f - 6*f + 4 = 0. Is z a prime number?
True
Suppose 13*u = 5416 + 655. Suppose 470*a - u*a = 26451. Is a a prime number?
False
Let j(q) = q**3 - 6*q**2 + 5*q - 5. Let z be j(5). Let n(o) be the third derivative of -97*o**4/24 + 2*o**3 - o**2 - 4. Is n(z) prime?
False
Let o = -43 + 42. Let h be (5/3 + o)/((-14)/(-1113)). Suppose 789 = 4*t + 3*a, -4*t - h = a - 852. Is t a prime number?
False
Let b(k) = -679*k**3 + 6*k**2 - 6*k + 19. Is b(-4) prime?
False
Let s(v) = 223*v**3 - v**2 - 3*v - 3. Let z be s(3). Suppose 3*i = z + 1737. Is i prime?
True
Let g = 200001 - 101404. Is g a composite number?
False
Is (0 - 22818/4)*(1232/(-84) + 14) a composite number?
False
Let j = -2145 + 9143. Is j composite?
True
Let k be (-30)/(-4) - (-1 + (-3)/(-6)). Let f be 7146/k + -2 - 3/12. Suppose -4440 = -5*g + 5*d, 0 = -2*g + 3*g - 4*d - f. Is g a composite number?
False
Let d(k) = 335*k + 25. Let z(h) = -2*h + 1. Let w(l) = d(l) + 6*z(l). Is w(6) composite?
True
Let s = -132940 + 355763. Is s prime?
True
Suppose 1402 = -3*m + 13627. Suppose v = 2*d + d - m, -3*d + 5*v + 4091 = 0. Let t = d + -938. Is t prime?
True
Is (-66)/(-198)*(2 - -2967691) prime?
True
Is (19/(-3))/1*(-37738 + -10 - -41) prime?
False
Let f be 7/(21/(-6)) + 6. Suppose f*l = y - 7, 16 = 3*y + 2*l - 5. Suppose -2*x = -35 - y. Is x composite?
True
Let l(b) = 2*b**2 + 2*b - 1. Suppose -5 - 5 = 5*j. Let i be l(j). Is i/5 + (-12008)/(-95) composite?
False
Is 30778569/75 - (-210)/2625 composite?
True
Let d = 15845 + -8924. Let h(s) = -s**3 + 23*s**2 + 20*s - 15. Let i be h(17). Suppose -i = -4*x + d. Is x a prime number?
False
Let l = -14 - -23. Let b = -302 - -314. Suppose -l*j - 3561 = -b*j. Is j a prime number?
True
Suppose -3*m + 1 = -2, 4*l - 4028 = -4*m. Let h = -489 + l. Is h composite?
True
Let y(q) = 1462*q**2 + 12*q + 22. Let m(o) = -4385*o**2 - 42*o - 66. Let s(d) = -3*m(d) - 8*y(d). Is s(5) composite?
True
Let u(r) = -5*r + 130. Let a be u(25). Is (7382/a)/(104/780) prime?
False
Let b = 379653 - 224744. Is b a prime number?
False
Let v(r) = 2200*r**2 + 7*r - 7. Let b be v(4). Suppose -3*h = -4*o + b, 23 = -5*h + 8. Is o a composite number?
False
Suppose 20*k = -3*c + 1360466, 3*k + 6*c = 7*c + 204067. Is k a composite number?
False
Let x = 3283717 + -2331720. Is x prime?
True
Let h = 7238 - -255235. Is h a composite number?
True
Let s = -550436 - -1016670. Is s composite?
True
Suppose 3*h + 3657 = 4*y - 2*h, 4575 = 5*y - 5*h. Suppose y = 8*g - 362. Is -5 + g - (-7 + 3) prime?
False
Suppose -6*y + 4 = -5*y. Is ((-472)/12)/(y/(-246)) a prime number?
False
Let i be (3 - -9)*(-9)/((-27)/(-2)). Let c be 30/3 + i + 3. Suppose 3*u + 7*o - 8*o = 1454, -u - c*o + 490 = 0. Is u prime?
False
Let y(b) = 4*b**2 - 14*b + 1. Let m(z) = -z**2 - z - 1. Let r(h) = 5*m(h) + y(h). Let g be r(-18). Is -614*7/(g/(-5)) composite?
True
Let z(l) be the first derivative of -l**4/4 - 17*l**3/3 + 9*l**2 - 21. Let q be z(-18). Suppose q = -2*b + 4, b + 155 = w - 3*b. Is w a prime number?
True
Suppose 11*s = 3*s - 8. Is 373/s*-7 - (-3 + 3) prime?
False
Suppose -15*i - 820954 + 5491849 = 0. Is i a prime number?
True
Suppose 0 = 6*q + 2*q + 56760. Let b = -4812 - q. Suppose -23 + b = 4*z. Is z composite?
True
Let z(i) = -147*i - 1. Let x = -3 + 11. Let t be ((-12)/x)/((-6)/(-8)). Is z(t) a composite number?
False
Suppose q - 1 = -3*w - 0*q, 2*q + 6 = -2*w. Suppose 16863 = 5*k + 3*z - 3164, 0 = w*k + 2*z - 8010. Is k prime?
False
Suppose 5*s = 138896 - 56301. Suppose 9*t - 4*t = -n + 41255, -3*n - s = -2*t. Suppose t = -6*d + 10*d. Is d a composite number?
False
Suppose 0 = -38*k - 11*k + 1305127 - 79686. Is k prime?
False
Let m be 6*(4 - 0)*4/24. Suppose -5*w + 0*b = m*b - 4778, 948 = w - 3*b. Is (w + 0 - 0) + (-156)/(-39) a composite number?
True
Let w(c) = -c**2 - c + 8. Let k be w(-4). Let r(l) = -1721*l - 51. Is r(k) a prime number?
True
Let d(q) = 8373*q - 215. Let p be d(17). Suppose -p = -34*o - 33530. Is o a composite number?
True
Let g(h) = -3*h + 31. Let u be g(9). Suppose 2*t + 5*s - 32 + 12 = 0, t - 9 = -2*s. Suppose -391 = -z - t*o, -o = -u*z - 0*o + 1522. Is z composite?
True
Suppose 3*j - 68903 = 4*t, 55843 = 4*j - t - 36045. Is j prime?
True
Is 5/(21 - 6) + (-3525592)/(-6) a prime number?
True
Let n = 190204 - 104325. Is n a prime number?
False
Let f(i) be the first derivative of 431*i**2/2 - 64*i + 174. Is f(7) composite?
False
Let u(s) = -s**2 + 40 + 0*s**2 + 242. Let p be u(0). Let c = 803 - p. Is c a composite number?
False
Let z = 302333 - -161378. Is z a prime number?
True
Is 28 + -32 + (44447 - 2) prime?
False
Suppose -3268951 = -248*o + 12919809 + 73477872. Is o composite?
True
Let a = -3 - -79. Let r = -27 - a. Let f = 1992 + r. Is f composite?
False
Let l(a) = -a + 3. Let g be l(4). Let d be (-2 + 0)*(g + -1). Is (317 + d)*1 + -4 prime?
True
Let j = -681396 + 976259. Is j a composite number?
True
Let f = 2656 - -148. Suppose -f - 31 = -5*z. Suppose z = l + 2*l - 2*m, -3*l + 561 = -4*m. Is l a composite number?
False
Let u be (-2)/6 - 34/6. Let w = 11482 + -11475. Is 0 + 968 - (u + w) a composite number?
False
Let z(s) = 964*s**2 + 14*s - 8. Let g be z(3). Suppose -7*u + 3*f = -3*u - 8722, 4*u + 3*f = g. Is u prime?
True
Let s(j) = 25*j**3 - 4*j**2 + 9*j - 16. Let d be s(-6). Is -2*(0 - (-5)/20)*d composite?
True
Let n(a) = -6*a + 3. Let o be n(0). Suppose b = -2*b + l + 30035, -2*b + 20028 = -o*l. Suppose -3*g + 1326 = -b. Is g a prime number?
True
Let w(y) = -6*y**2 - 6*y + 7350. Let l(t) be the first derivative of 5*t**3/3 + 5*t**2/2 - 7349*t + 16. Let v(g) = -7*l(g) - 6*w(g). Is v(0) prime?
False
Let k = 120534 + -59870. Suppose 0*h + k = 8*h. Is h a prime number?
True
Suppose -5*s + 37 = c - 14, 4*s - 5*c - 64 = 0. Suppose 48216 + 65051 = s*g. Is g a composite number?
True
Let s = -216 + 219. Suppose 0 = 3*m - s*a - 20217, -2*m + 12264 = -5*a - 1220. Is m prime?
True
Suppose -2*h + 5*z = -57488, 2*h - 2*z - 10231 - 47251 = 0. Is h a composite number?
True
Let q(t) = 9*t - 14. Let u be q(2). Suppose u*a + 34399 = -w + 4*w, 3*a + 2*w = -25778. Is a/(-8)*(4 + -2) composite?
True
Suppose -386*r = -5368926 - 5226388. Is r a prime number?
True
Let h(b) = 34*b**2 - b + 8. Let n = 173 - 167. Is h(n) a prime number?
False
Let d = -11974 + 7018. Let t = d + 7190. Is t a prime number?
False
Let w = 1760 - 1452. Suppose 4*l - 4*d = -0*d + 24, -5*l - 2*d + 16 = 0. Suppose -l*f + 944 - w = 0. Is f composite?
True
Let k = -10781 + 21339. Is k prime?
False
Is -2*(-17 + 6 - (-368604)/(-8)) a prime number?
True
Is (-35)/14 - 1498686/(-4) prime?
True
Let x = -14765 + 20532. Is x composite?
True
Let b(o) = 36619*o + 2533. Is b(6) a prime number?
True
Suppose 0 = 4*n + 2*i - 12, -2*i + 4 = 2*n - 0*n. Suppose 0 - 12 = -n*g. Suppose -q + g*z = -92, -5*q + 3*z = 128 - 528. Is q a composite number?
True
Let p be (-5 - (1 + 160))*-1. Let d be (-3)/(-12) - 1058/8. Let a = p - d. Is a prime?
False
Let k be (-12)/(-30) - 1017676/(-10). Suppose -3*y = 5*d - k, 2*d + 3*d = -2*y + 101767. Is d prime?
True
Let s = 62413 - 23120. Is s prime?
True
Suppose 1796915 = 34*z - 270251. Is z prime?
False
Let m(w) = 3563*w**2 - 4*w. Suppose 2*q - 3 = -1. Is m(q) composite?
False
Let x be 2 + (1630/90 - 17)/(2/9). Suppose -68 = 2*