z(1) a prime number?
True
Let o(y) = -97*y + 5. Let t be o(2). Let k = t - -762. Suppose 0 = -4*r + 7*r - k. Is r composite?
False
Suppose -450*h = -454*h + 55364. Is h composite?
False
Let n = -18 - -22. Suppose 2*a = 2*f - a - 203, n*f - 418 = 2*a. Is f composite?
True
Suppose -5*j - 4*m = -5*m - 9, 2*m - 8 = -3*j. Let o be ((-33)/6)/((-1)/j). Is (o/(-2))/((-11)/374) a prime number?
False
Let k(g) = -g**3 - 8*g**2 + 6*g - 30. Let l be k(-9). Is 380 - (40/30 - (-1)/l) prime?
True
Suppose -6 = 2*j, -3*o = -6*o - j - 9. Let c be -2 + 2 + 0 - o. Suppose -5*n = c*z - 2355, n - z - 302 = 176. Is n a prime number?
False
Suppose 4*h + h - 3*z - 3066 = 0, -4*z = 2*h - 1216. Is (2 - h/8)/(2/(-12)) prime?
False
Suppose -3*b + 3 - 93 = r, -5*b = 3*r + 266. Let n = 424 - r. Is n composite?
True
Suppose -4*h + 2*v + 1936 = 0, 0 = -10*h + 8*h + 4*v + 962. Is h a composite number?
True
Let j(f) = -438*f + 613. Is j(-17) a prime number?
True
Let t(a) = -31*a - 78. Let b be t(-9). Suppose -2*k + 257 = 3*d - 101, 5*d - 586 = 2*k. Let o = b + d. Is o prime?
False
Suppose -10 = -5*u, 47*g - 3*u + 28786 = 51*g. Is g prime?
False
Suppose 2*j + 3*j - 3*j = 0. Suppose j = o - 1634 - 1413. Is o composite?
True
Suppose -4*n = -3*x - 3089, 5*x - 3547 = -5*n + 358. Let j = n - 519. Is j a composite number?
False
Let d(p) = p**2 - p - 2. Let a be d(-1). Suppose a = 3*g - 6*g + 111. Is g composite?
False
Let r be ((-3)/(-1))/(6/22). Let z be (-18)/(-5)*(6 - r). Is (34/(-6))/(2/z) a composite number?
True
Suppose -g + 2*g - 2*m - 42937 = 0, -42958 = -g - 5*m. Is g a composite number?
False
Suppose -11*o + 8100 = -30774. Suppose 0 = 8*w - 2*w - o. Is w a composite number?
True
Suppose -2*o + 4 = -4. Let q(z) = 42*z - 1 + 0 - 5 - 1. Is q(o) a prime number?
False
Let m = 14 - 44. Is 45/m*(-4298)/3 composite?
True
Let s = -5 + 7. Let d(z) = 10 - 1 + s - 2*z + 5*z. Is d(14) composite?
False
Let q(j) = -2*j + 2. Let w be q(-1). Suppose w*a = -4*a + 168. Is a prime?
False
Let g = -51 - -74. Suppose -g*r = -22*r - 209. Is r a prime number?
False
Let n = 8 + -9. Let h(x) = -x**3 + x + 1. Let g be h(n). Is 3 - 1 - (-155)/g a prime number?
True
Let t = 41576 + -29013. Is t composite?
True
Is 5*(-10331)/2*26/(-65) a prime number?
True
Let y = 22 - 23. Let l be 639 + 3*y/3. Suppose 3*j = -5*w + l, -480 - 24 = -4*w + 4*j. Is w composite?
False
Suppose 0*r = 3*r - 3018. Suppose -312 = -3*b - s + 2694, -b + s = -r. Suppose -2*o - 2*l = -7*o + b, -4*l = 3*o - 607. Is o prime?
False
Let l be (-3)/((-9)/642) + 0. Suppose g = l + 112. Is g a composite number?
True
Let d(i) = 50*i + 43. Let u = -7 - -16. Is d(u) prime?
False
Let h(b) = 176*b**3 - b + 1. Let l be h(3). Let v = l - 1871. Is v composite?
False
Let a be -2 + 48/27 + 6/27. Suppose a = 7*d - 14*d + 5215. Is d a prime number?
False
Suppose -5*k = 5 - 0. Let j be (k - 0)/(6/(-114)). Let w = 26 - j. Is w a composite number?
False
Suppose -3*t + 2 = 8. Let y = t + 7. Suppose a = -a - y*r + 12, -4*a - 3*r = -38. Is a composite?
False
Let z(y) = 7*y**2 + 4*y - 6. Let a(l) = 8*l - 20. Let u(t) = -2*t + 5. Let n(s) = 2*a(s) + 9*u(s). Let h be n(5). Is z(h) composite?
False
Let f be (-44 + 3 - -3) + 4. Let j be f/(6/3) + -3. Is (-848)/j - 9/(-15) a composite number?
False
Suppose 25358 = 3*q - z - 4730, -10026 = -q + z. Is q a composite number?
True
Suppose 21 = -2*z + 5*y + 105, -2*z - 2*y + 56 = 0. Suppose 0 = 4*b - 8*b + z. Suppose -2*c = -2*o + 20, 2*o - 37 + b = 5*c. Is o a prime number?
True
Let y(v) = 134*v**3 + 2*v**2 - 11*v + 23. Is y(2) composite?
True
Let q(j) = -24*j**2 - 6*j - 4. Let a be q(5). Let x = -387 - a. Is x prime?
False
Let r = 2162 - 145. Let p = r - -916. Is p prime?
False
Suppose 16 = 3*u - 4*o, 5*u - 4*u + 5*o = -1. Is 3635/(5/20*u) a prime number?
False
Suppose -4*j - 4*a = -4672, 0 = j + 4*a + 482 - 1653. Is j a prime number?
False
Suppose 5*d - 3*n - 8 + 37 = 0, -5*n = 3*d - 3. Let p be (-4)/8*(d + -1502). Suppose 5*x - p = 2*x. Is x a prime number?
True
Suppose 3 = s + 1, -3*n = -5*s - 39269. Is n a composite number?
False
Let c = 27 + -22. Suppose 49 = -c*x - 6. Let s(n) = n**3 + 14*n**2 + 7*n + 1. Is s(x) composite?
True
Let m = -176 - -300. Let t be 1 + (-6)/(-3)*125. Let r = t - m. Is r composite?
False
Let m(x) = 2*x**2 + 3*x - 12. Suppose r + 2 = g, 4*r + r = 2*g + 5. Is m(r) composite?
True
Suppose y - 7 = -0*y. Let l = y - 5. Is -149*l/(1 - 3) a prime number?
True
Suppose -2387 = -17*u + 10*u. Let s = -192 + u. Is s prime?
True
Let k = -7613 + 36552. Is k composite?
True
Let n be (0 - 3)/((-7)/14). Let d(z) be the third derivative of z**6/120 - z**5/10 + z**4/4 - 5*z**3/6 + z**2. Is d(n) composite?
False
Let a = 23 + -3. Let o = a - -237. Is o composite?
False
Let m = 98069 - 65576. Is m a composite number?
True
Let w(l) = -305*l - 89. Is w(-26) composite?
False
Let c be (-1 + 8)/(-3 - -4). Suppose 2*x = c*x - 895. Is x a prime number?
True
Suppose s + 9*s = 50. Suppose -296 = -2*z - 3*l, -s*z + 588 = -z + 4*l. Is z prime?
False
Let j = -121 - 554. Let d = 1918 + j. Is d a prime number?
False
Let t(h) = -5*h**3 + 2*h**2 + 6*h + 3. Let f = -5 + -3. Let o = f + 4. Is t(o) a prime number?
True
Let f(u) = 5997*u - 16. Is f(1) prime?
True
Let c = -62 - -61. Is 1064/77 + (c - (-13)/11) a composite number?
True
Let w(i) = -7 - 6*i - 1 + 5. Let m be w(2). Is 11 + m/(-5) + -7 a composite number?
False
Let b(d) = d + 23. Let c be b(-19). Is (-1)/(c/(-16)) + 45 a prime number?
False
Let y = 9901 + 9280. Is y composite?
False
Let t be (0 - -3) + 1 - -72. Suppose 5*y + 6 = t. Suppose 17 = g - y. Is g prime?
True
Suppose 2*t - 519 = -5*a, -4*t - 4*a = -3*t - 261. Is t composite?
False
Let u(m) = -2*m + 18. Let o be u(9). Suppose o = -14*b - 2*b + 19856. Is b a composite number?
True
Suppose 0 = 2*r, -2*y + 6 = -0*y - 2*r. Let j be (y + 2)/((-1)/(-268)). Suppose s = 5*s - j. Is s a prime number?
False
Let t = -515 - -1625. Suppose -t = 5*x - 11*x. Is x prime?
False
Let n(x) = 436*x + 65. Is n(11) composite?
False
Let d(v) = 3*v + 14. Let h be d(-3). Suppose q + 84 = h*q. Is q prime?
False
Let q(x) = -8*x + 34*x + 2935 - 11*x - 14*x. Is q(0) prime?
False
Suppose 24*j = 4*w + 19*j - 168219, -5*w + 210315 = 2*j. Is w prime?
True
Let d(t) = -t - 6. Let w be d(-14). Let l be (-666)/w - (-6)/24. Let u = l + 166. Is u prime?
True
Let y = 7502 - -359. Is y prime?
False
Let f be 7328 - 2 - (0 - -4). Suppose 5*d + f - 30177 = 0. Is d composite?
True
Suppose -4*x - 24 = -2*w, 0 = -5*w - 0*w - 4*x + 4. Suppose 4*k - 32 = -w*k. Suppose 19 = 3*i + 4, c - 771 = k*i. Is c a composite number?
True
Suppose -4*m + 65 = c + m, -2*c + 130 = 3*m. Let z(s) = 2*s + 14. Let x be z(-6). Let a = c + x. Is a composite?
False
Let g(r) = -r**3 - 5*r**2 - 4*r + 2. Let m be g(4). Let y be m/(-6)*(-9)/3. Let k = y - -134. Is k prime?
False
Is 1402 - -2 - (-5)/(-1) a prime number?
True
Is 32/(-18) + 2 + 1216035/81 a prime number?
True
Let h(m) = m**2 + 17*m + 40. Let t be h(-15). Is (-2)/3*(-83355)/t a prime number?
True
Let o = 32 - 25. Let s = o - -4. Is s composite?
False
Let m be (-12)/4*(-2)/(2 + 4). Is m - 42*(-4 - 1) a composite number?
False
Let r = 1975 - 758. Is r composite?
False
Let r(w) = -10*w - 36*w**2 + 52*w**2 + 19 + 21*w**2. Is r(4) a composite number?
False
Suppose -w + 12883 = -4657. Suppose -28*j + 32*j = w. Is j prime?
False
Suppose -2*w - 13*f + 28914 = -11*f, 0 = 4*f + 16. Is w a prime number?
True
Is (58105/15)/(5/45) prime?
False
Suppose -5*t + 107545 = 3*r, -86036 = -13*t + 9*t - 2*r. Is t prime?
False
Let b(y) = 32*y + 319. Is b(-6) a prime number?
True
Suppose -2*s = -z - 12315, -17*z + 20*z = s - 6160. Is s a prime number?
False
Let n(h) = -h**2 - 13*h + 18. Let z be n(-14). Let j be (2 - (-504)/z) + -2. Let l = j + -89. Is l composite?
False
Suppose -5*m = 12 + 13, 0 = -3*b + 2*m + 3421. Suppose b = 2*r + r. Is r a prime number?
True
Let k(t) = -6*t**3 - 6*t**2 - 26*t + 11. Is k(-6) a prime number?
False
Let r = 16552 - 8618. Is r a prime number?
False
Suppose -4*i = i - 15, 4*p = 3*i - 65. Let s = p + 37. Suppose -n + 11 = -s. Is n prime?
False
Let k(d) = 3*d**3 + d**2 - 10*d + 7. Let h(i) = -2*i**3 + 5*i - 4. Let a(y) = -5*h(y) - 3*k(y). Is a(4) composite?
True
Let m(z) = z**3 + 5*z**2 + 2. Let w be m(-5). Suppose