 = z + 238 + 120. Let k(f) = -2*f**3 + 2*f**2 + 6*f - 3. Let r be k(8). Let g = z - r. Is g prime?
False
Suppose 4*k - 10638 = -5*y, 2*k + 5*y - 13295 = -3*k. Is k a composite number?
False
Let o(v) = 3*v**3 + 6*v**2 - 4*v + 7. Let m(x) = -x**3 - 3*x**2 + 2*x - 3. Let d(r) = -5*m(r) - 2*o(r). Let w = 17 - 22. Is d(w) a prime number?
True
Let h(m) = 1178*m**2 - 1. Is h(-1) prime?
False
Let m(u) = -1433*u + 235. Is m(-20) composite?
True
Suppose 5*q = -10, -2*q = x - 0*q + 14. Let z = 10 + x. Suppose z = -4*r + 3*m + 287, 2*m = r - 23 - 45. Is r composite?
True
Suppose 0 = 3*z - 2728 - 1751. Let u = z + -16. Is u a prime number?
False
Let o = 21324 + -14903. Is o a composite number?
False
Let b be (-6)/2*(-71 - -2). Let l = b + 56. Let f = l - -186. Is f a prime number?
True
Let d = 5 - 1. Suppose -r = d*r + 15, 3*r = 5*z - 29. Suppose 0 = q - 2*h - 87, 3*h - z - 2 = 0. Is q a prime number?
False
Suppose 4*n - 3*o - 11079 = 0, -4*o + 6469 = 2*n + 935. Suppose 5268 + n = 9*h. Is h composite?
True
Suppose -10*j = -18546 - 13084. Is j prime?
True
Let j = 83299 + -47936. Is j composite?
False
Suppose 3*x + 8520 = 27981. Is x composite?
True
Let c = 12347 + -5670. Is c composite?
True
Let a = 12244 - 1085. Is a a prime number?
True
Let p = -378 - -383. Let z(n) = -n**3 + 7*n**2 - 7*n + 6. Let y be z(6). Suppose p*h - a - 1295 = y, -3*h - 5*a = -369 - 408. Is h a composite number?
True
Suppose 263*l = 277*l - 187138. Is l prime?
True
Suppose -1 = -22*a + 21. Is a - -5 - 3 - -898 a composite number?
True
Let f = 756 + -156. Suppose 2*a = 4*y - 2*a - 792, -3*y + f = 3*a. Is y prime?
True
Let y(m) = 458*m**3 - m**2 + m. Suppose -5*c - 4 + 9 = 0. Let x be y(c). Let v = -279 + x. Is v a prime number?
True
Let s = 1807 + -1262. Suppose 3*y + 552 = -y. Let j = s - y. Is j composite?
False
Let g(l) be the first derivative of l**3/3 + 6*l**2 - 12*l - 7. Let y be g(-13). Is y/2 + 117/18 a prime number?
True
Let n be 6/((-1)/2 + 2). Suppose 4*o - 13 = -5*j, -2*j - o + 0*o = -n. Is j + (-65 + -3)/(-1) a composite number?
True
Let x = -1161 - -660. Suppose 5*g = 2*g + 600. Let f = g - x. Is f prime?
True
Is (-5)/(-3)*377796/380 composite?
False
Let u = -4 - 295. Let n = u - -1218. Is n a prime number?
True
Suppose -3*u - 15047 = -4*g, -15046 = -34*g + 30*g + 2*u. Is g a composite number?
False
Suppose 4*w - 2*u - 3*u = 8608, -3*u = -2*w + 4302. Is w composite?
True
Suppose -56070 = -12*f + 3*f. Suppose -7*v + 15599 = -2*v + 2*u, -4*u = -2*v + f. Is v a prime number?
True
Suppose -10 = -2*u - 0, 0 = -5*l - 5*u + 2490. Is l prime?
False
Let q(t) = 109*t + 17. Let z be q(-6). Let j = 900 + z. Suppose -j = -4*u + 113. Is u a prime number?
False
Let f(h) be the third derivative of h**6/120 - h**5/20 + h**4/2 + 19*h**3/6 + 9*h**2. Is f(10) a prime number?
True
Let j(f) = 158*f**2 + 6*f - 11. Is j(2) prime?
False
Suppose -12183 = -5*l + 165512. Is l prime?
False
Is (-10)/6 - 468466/(-87) prime?
False
Let l(m) = -10*m**2 + 7*m + 31. Let j(h) = -5*h**2 + 3*h + 16. Let r(d) = 5*j(d) - 3*l(d). Let t be r(-3). Let u = 77 + t. Is u a prime number?
True
Let l(p) = 2*p**2 - 60*p - 49. Is l(40) a composite number?
False
Let o be 6051/2*2/3. Let c = -1426 + o. Is c a composite number?
True
Suppose 4*u - 2*v + 2 = 0, 4*u - v + 7 = 2*v. Is u*5/(-20) - (-6441)/6 prime?
False
Let y be 132*((-81)/(-12))/9. Let t = y - -67. Is t composite?
True
Suppose -5*s + 19 = -r - 0, -5*r = 2*s - 13. Suppose -4*h = -3*h + 2*y - 327, 0 = -s*y + 16. Is h a composite number?
True
Is (-6)/10 + 1*(-122088)/(-30) composite?
True
Is (60/8 + -8)*-56738 a prime number?
False
Suppose -39*p + 33*p + 126 = 0. Suppose -p*d + 6628 = -17*d. Is d a prime number?
True
Let h = -248 + 762. Suppose 4*w - 2026 = h. Is w composite?
True
Let c(k) = 308*k**2 + 54*k - 529. Is c(11) composite?
True
Suppose -4*l - 42 = 2*p - 0*p, 4*l = -3*p - 47. Let g = l + 5. Is (2120/(-30))/(2/g) a prime number?
False
Suppose 2*x = -5*j + 110, 0 = -5*x - 4*j + 107 + 202. Let v = 116 - x. Let u = v + 16. Is u prime?
True
Let m = 65 - 65. Suppose i - 6 = -2, -2*u + 3*i + 2218 = m. Is u a prime number?
False
Let p = -178 - -163. Is (-382)/(-4)*6*(-5)/p a composite number?
False
Let w be (-264)/30*(5 - 0). Let i = 117 - w. Is i a composite number?
True
Let v = 3211 - 960. Is v composite?
False
Suppose 126675 = -22*j + 886621. Is j composite?
False
Let l be (2/3)/(33/9 - 4). Let h(y) = y**3 - y**2 - y + 4109. Let b be h(0). Is (b/14)/(l/(-4)) composite?
False
Is -97*(-1 - -2)*(-114 - 13) prime?
False
Let k = -314 - -787. Is k a prime number?
False
Suppose -85*y + 33241 = -72*y. Is y a prime number?
True
Suppose 0 = -12*u - 34*u + 79718. Is u a prime number?
True
Let c = 13693 + 49720. Is c composite?
True
Is (-33935 + 2)/(8 + (18 - 27)) prime?
False
Suppose -508 = -4*d + 5*q, 3*d - 4*d + 5*q + 127 = 0. Is (2 - (-2 + -1))*d/5 a prime number?
True
Let g(b) = b**3 - 10*b**2 + 5. Let m(z) = z**2 + 2*z - 3. Let d(y) = -2*y - 9. Let a be d(-6). Let s be m(a). Is g(s) prime?
True
Let h be (3*3/(-9))/((-1)/118). Suppose -i + h = -211. Is i composite?
True
Let r(g) be the second derivative of g**5/20 + 5*g**4/6 - 7*g**3/6 + 17*g**2/2 - 7*g. Is r(-8) a prime number?
False
Suppose -3*m + 4*g + 10706 = 0, -6*m - 2*g = -m - 17826. Is m composite?
True
Suppose 9*n - 179774 = -5*n. Is n composite?
False
Let j be 31899/23 - (-26)/299. Suppose 0 = c - 1071 - j. Is c prime?
False
Let u(f) = -44*f**2 - 82*f + 360. Let x(a) = -9*a**2 - 16*a + 72. Let b(s) = 2*u(s) - 11*x(s). Is b(7) composite?
True
Let v be (6/(-6))/(1/132). Is (-108348)/v + (-4)/(-22) composite?
False
Let x(n) = 9*n**2 - 13*n + 5. Suppose 3*w = -4*f - 40, -2*w - w - 5*f = 44. Is x(w) composite?
True
Let y = -103 - -106. Suppose -8 = 4*m, 5*o + 713 - 2814 = y*m. Is o prime?
True
Let n be 6/3 + 1 + 149. Suppose -s = d - n, 0 = -2*s - s + 3*d + 474. Is s a composite number?
True
Suppose 14*w - 11*w - 44130 = f, -2*w = -2*f - 29416. Is w composite?
True
Let y(q) = -1573*q + 55. Is y(-4) a composite number?
True
Suppose -4*a = -2*o + 2190, 9*o - 11*o = -2*a - 2182. Is o a prime number?
True
Let h(q) = -119*q + 27. Is h(-8) a composite number?
True
Let w = 71686 - -65041. Is w prime?
True
Suppose 0 = 5*z - x + 13, -5*z - 11 = x + 6. Let v(f) = -f**3 + f**2 + 5*f - 2. Is v(z) a prime number?
True
Suppose 497 + 23 = -f. Let r = f - -731. Is r prime?
True
Let t be (-40)/6*(-27)/6. Let a = 84 + -44. Is t/a + (-970)/(-8) a composite number?
True
Suppose 0 = -a - 5*l + 5596, 4*a = 126*l - 124*l + 22318. Is a a composite number?
False
Let d = 22524 + -11053. Is d composite?
False
Suppose r - 8 = -r. Suppose 3*l + 1 = 2*l, l + 1 = r*g. Suppose -v - 2*v + 291 = g. Is v composite?
False
Suppose -11844 = -2*o - 2*o. Let a = o - 1691. Suppose -k - 455 = -5*p + a, -4*p - 2*k = -1394. Is p a prime number?
False
Suppose -5*c + 1054 + 10454 = 2*a, -c + 2299 = 3*a. Is c composite?
True
Is -1 - 31387/(((-65)/(-10))/(-13)) a prime number?
True
Is 73806/(-15)*(7 + 0 + -12) a prime number?
False
Let k(y) = -6*y**3 + y**2 - 6*y - 2. Let p be k(7). Let z = 3998 + p. Is z a composite number?
True
Suppose 7*f - 95049 = -2*f. Is f a prime number?
False
Let z(s) = 86*s**2 - 36*s - 349. Is z(-14) composite?
False
Let j = 29 - 12. Suppose j = 5*o - 13. Suppose -5*c + 2*d + 1961 = 0, -c - o*d + d + 376 = 0. Is c a composite number?
True
Let b = 3637 - 1392. Is b a composite number?
True
Let l be (2*1)/((-4)/(-82)). Let w be (-5 - -9*8/12) + 101. Let h = l + w. Is h a composite number?
True
Let k(y) = 7*y**2 + 3*y + 3. Let z(c) = -2*c - 2. Let h be z(-3). Is k(h) composite?
False
Let j = 11 + -8. Let h = -38 - -66. Suppose -j*u = -u - h. Is u a prime number?
False
Let h be 2 - (1 + 2)/(0 - -1). Is -326*(h/3 + 527/(-102)) composite?
True
Suppose 0 = 4*o - 284 - 196. Suppose -x + 3*x + c = -37, 5*x = 3*c - o. Is 5/((-1)/x*3) a composite number?
True
Let y(b) = -b**2 - 46*b + 1. Is y(-26) a prime number?
True
Suppose -5*o - 4174 = -p - o, 4*o = 16. Suppose -5*c - p = -2*s, -6*c = -4*c. Is s prime?
False
Suppose -2985 = -6*k - 219. Let x = -937 - -631. Let c = k + x. Is c composite?
True
Suppose -4*o = -5*m - 33, -3*m - 9 = 2*o + o. Suppose 3*c = 2*c + 5*h + 2, 4 = 2*c - o*h. Suppose c*n = -n + 957. Is n prime?
False
Let w(c) = c 