*m**2 - 4*m + 2. Let q be p(-4). Suppose -q*k + 60 = -2*w, -3*w - 3*k - 92 = w. Is (-1 + -2)*w/3 a prime number?
False
Suppose -5*x + 10938 = x. Is x a prime number?
True
Let q = -257 - -550. Let b = q + -88. Is b a composite number?
True
Let h = 71 + -50. Is h a prime number?
False
Let z(c) = c + 3. Let l be z(0). Suppose l*t + 0*j = -2*j + 19, t = j + 8. Suppose -3*w = -t*w + 332. Is w prime?
True
Let g be (-3 + (1 - -1))*0. Suppose -3*v - 31 = -2*r - 83, g = -v - 5*r - 11. Suppose -v = -0*s - 2*s. Is s a prime number?
True
Let g(t) be the third derivative of t**5/60 + 5*t**4/24 + 2*t**3/3 - 2*t**2. Let k be g(-5). Suppose -156 = -k*a - 2*b, -4*a - 4*b = -99 - 57. Is a composite?
True
Suppose 3*b - 2*b = 35. Is b composite?
True
Is (53 - -6)*(2 - 1) composite?
False
Suppose -4*u - 12 = 12. Is 2/1*(-291)/u a composite number?
False
Suppose -2*a = -0*a - 6. Suppose -a*h + 49 = -2*n + 3*n, 4*h = 5*n - 207. Suppose -3*y = -0*y - 4*w - 149, y - n = 3*w. Is y a composite number?
True
Let t = 192 + 82. Suppose -3*h - 3*o = h - 221, -3*o = 5*h - t. Is h prime?
True
Is ((-882)/(-2))/3 + 2 prime?
True
Let x(s) = -s**2 - 5*s - 2. Let a be x(-3). Suppose -a = -3*u + 11, 0 = -w - u + 18. Is w prime?
True
Suppose 0 = 4*u + 191 - 907. Is u a prime number?
True
Let u = 600 - 98. Is u a prime number?
False
Let u(q) be the first derivative of -5*q**2 - 7*q + 7. Is u(-12) a composite number?
False
Let u(f) = 21*f + 10. Let g = 6 + -9. Let b(x) = -11*x - 5. Let s(a) = g*u(a) - 5*b(a). Is s(-6) a prime number?
True
Let d = -10 - -19. Is ((-30)/d)/(2/(-9)) a prime number?
False
Let l(n) = -42*n - 19. Is l(-12) prime?
False
Suppose 4*n - 8*n + 1964 = 0. Is n a prime number?
True
Let o(z) = 36*z**2 + 2*z - 1. Is o(-3) a prime number?
True
Let z be ((-46)/3)/(2/(-6)). Suppose 0 = 2*l - 4*q - 232, 31 = -4*l - q + 450. Suppose -t + z = -s, -t - 40 + l = 3*s. Is t a prime number?
False
Let b = 624 + 64. Let r = 983 - b. Is r a composite number?
True
Let q be (-4)/(-3)*(-3)/(-2). Suppose -218 = -5*d + y, 55 = -d + q*d - 4*y. Is d a composite number?
False
Let l be 1728/(-10)*(-11 - -6). Suppose 4*a - l = 5*b, 5*b = -2*a + 445 - 43. Is a a composite number?
False
Let i = 0 + 2. Suppose 3*z - 630 = -i*z. Is (6 + -2 - 3) + z a prime number?
True
Suppose -3*g + 180 = g. Suppose -k + g = -22. Is k composite?
False
Suppose 6*w - 22 = 4*w. Suppose -2*o = -o - w. Suppose -3*c = 12, 2*c + 0*c = -l + o. Is l prime?
True
Suppose 28 = 4*x + 12. Is 22/x*104/4 composite?
True
Is 16185/21 - 1/(21/(-6)) composite?
True
Suppose 4*l + 2*m = 40, 0 = -3*l - 2*m - 2*m + 30. Let i(z) = -z + 9. Let g be i(l). Is 1*6*(2 + g) prime?
False
Let n be 1/(-1)*(-27)/3. Let p be (-286)/(-10) - (-3)/(-5). Let t = p + n. Is t composite?
False
Suppose 0 = -s - 5 + 2. Let w be (-20)/(-6) + (-2)/s. Is 2/w + 67/2 a prime number?
False
Is 2863 - (6 - (-1 - -2)) a composite number?
True
Let c = -3 + 4. Is (485/(-5))/(0 - c) a prime number?
True
Let f(d) be the first derivative of 31*d**2/2 + 11*d - 1. Suppose 5*g - 8 = 4*g. Is f(g) a prime number?
False
Suppose 0 = j - 58 + 9. Let c = j + 42. Is c a prime number?
False
Let a be ((-2)/5)/((-10)/150). Let g = 5 - a. Is ((2 + -141)/g)/1 composite?
False
Suppose -3*b + 411 - 154 = 2*p, -4*b - 5*p = -345. Suppose 0*c - b = -5*c. Let o = 36 - c. Is o a prime number?
True
Let x(p) = 7*p**2 + 5*p + 15. Let w(s) = 13*s**2 + 10*s + 29. Let u(c) = 6*w(c) - 11*x(c). Is u(-8) a prime number?
False
Let d(a) = -25*a**3 - 7*a**2 - 7*a - 2. Let n be d(-6). Is (-4)/14 - n/(-28) a composite number?
True
Let y(a) = 7*a**2 + 1. Let i be y(2). Suppose -3*g = i - 146. Is g a composite number?
True
Let u = -92 - -225. Let j = u + -41. Let c = -55 + j. Is c a composite number?
False
Let m = -611 + 1259. Suppose l - 498 = -2*j, 5*j + 2*l - 599 = m. Is j prime?
True
Suppose 5*r + 9 = 2*r. Let z be 3*1/(3/4). Is (r/4)/(z/(-112)) a prime number?
False
Let g(p) = -p**3 - 6*p**2 - 9*p - 1. Is g(-8) prime?
True
Let s = 32 + -73. Let m = 61 + 15. Let b = m + s. Is b a composite number?
True
Is (-2)/13 - (-8068)/52 prime?
False
Let b = -58 + 83. Is b composite?
True
Is ((105 - -1)*-1)/((-4)/82) a composite number?
True
Let q = -18 + 65. Suppose -2*u = -27 - q. Is u prime?
True
Let v(x) = 2*x - 8. Let r be v(6). Suppose r*i - 120 = 84. Is i a composite number?
True
Suppose 2*k - 2 = 10. Is 130 - (k/(-2))/3 composite?
False
Let z = -7 + 2. Let b be 7 + z/(15/6). Suppose -2*k - 7 + 1 = 0, -b*f - 3*k = -316. Is f prime?
False
Let u(d) = 4*d + 4*d - 2*d - 8*d + 37. Is u(0) a prime number?
True
Let r be 211 + (2 + 0)/(-2). Suppose 5*m + 5*x + r = 0, x - 1 = -0. Let h = 162 + m. Is h prime?
False
Let o(w) = 41*w - 1. Let x be o(1). Let p = x + -9. Is p prime?
True
Let u be (40/(-4))/(1 + 0). Let q = u - -4. Let k(v) = -v**3 - 5*v**2 + 6*v + 7. Is k(q) a prime number?
True
Let u(w) = 32*w - 8. Let t be u(6). Suppose 0 = 8*h - 4*h - t. Suppose -2*x - 4*b + h = -0*x, 0 = -4*b - 20. Is x a prime number?
False
Let h(s) = -s**3 - 7*s**2 - 6*s + 4. Let j be h(-6). Suppose 35 = 2*m - 5*i, -18 - 10 = -j*m - 4*i. Is m composite?
True
Suppose 0 = -3*u + 19 + 2. Is u prime?
True
Suppose 2*g + 2*g = 1588. Let u = g + -150. Is u prime?
False
Let m(i) = -i**3 + 3*i**2 + 4*i - 3. Let g be m(2). Let w = 0 + g. Is -37*3/(w/(-21)) composite?
True
Let t(p) = 0 + 6*p**2 + 2 + 2*p - 7*p**2 - 6*p**3. Let s be t(-2). Suppose -4*l + s - 2 = 0. Is l a prime number?
False
Let b(v) = 10*v**2 - 5*v + 5 + 2 - 2 - 7*v**2. Is b(-7) prime?
False
Let m = -2174 + 3813. Is m prime?
False
Let d(p) = p**3 + 4*p**2 + p + 4. Let q be d(-4). Suppose 5*y + q*y - 15 = 0. Suppose -n + 117 = y*u + 26, -3*n - 3*u + 285 = 0. Is n a composite number?
False
Suppose 3*i + 35 = 164. Suppose -175 = -5*q + 5*s, 2*q + i = 3*q - 3*s. Is q composite?
False
Let n(k) be the first derivative of k**4 - 2*k**3/3 - k + 2. Is n(4) a composite number?
False
Suppose 0*p + 735 = 5*p - 5*r, -p = 4*r - 137. Is p a prime number?
False
Let l = -3 - -6. Suppose -5*w - 2*c = -w - 1962, -l*w + 1471 = 2*c. Is w composite?
False
Let r be (-2)/(2/210*-2). Suppose 2*m = r + 77. Is m a prime number?
False
Suppose -3*p + 161 = 2*d - 598, 0 = -5*p - 3*d + 1264. Is p prime?
True
Let n(s) = s**2 + 4*s + 1. Let w be n(3). Suppose p - 89 = i + w, -p = -3*i - 111. Is p prime?
False
Let t(v) = v**2 + 4. Let m be t(0). Suppose -3*u + m*r + 709 = 0, 0*u - u - 5*r = -230. Suppose 3*g + 2*g = u. Is g a prime number?
True
Let o(h) = -5*h - 4. Let w be o(-2). Let r(i) = 4 - 4*i**3 + 10*i**2 + 3*i**3 + 3*i - 2*i**2. Is r(w) composite?
True
Let p = 2208 + -1355. Is p composite?
False
Suppose 5*j - 13 = 3*k, -4*j + 2*k + 2*k = -4. Suppose 6*z - j*z - 37 = 0. Is z prime?
True
Suppose 0 = -3*w + 3542 + 15613. Is w a prime number?
False
Suppose 4*b + 360 = 2688. Let n be (-4)/(-14) - b/(-21). Suppose -o + n = o. Is o a prime number?
False
Suppose 0 = 3*f - 8*f - k + 53, f = 3*k + 1. Suppose -2*p - 3 = -1, 4*j = -2*p + 14. Suppose -98 = h + j*b - 281, -2*b = f. Is h composite?
True
Let x(k) = 1. Let l(v) = -22*v - 3. Let f(a) = l(a) + 2*x(a). Let u be 22/(-10) - (-20)/(-25). Is f(u) a composite number?
True
Suppose 0 = 3*d + 3*l - 2667, -d - 3*d + 3*l = -3556. Is d prime?
False
Let i be 10*-19*(-45)/18. Let y = i + -334. Is y composite?
True
Let d = -73 + -119. Let z = d + 120. Let n = z - -139. Is n a prime number?
True
Is (188 - 2) + (-4)/(-4) composite?
True
Let n = 13 - 7. Is (2/1)/(n/2229) a prime number?
True
Let z(t) = t**2 - 10*t + 5. Let d be z(9). Let v be 141/(-21) - d/(-14). Let r(w) = w**2 + 5*w - 7. Is r(v) composite?
False
Let o be (-2)/3*-2*186. Let u = o + -99. Is u prime?
True
Let r(v) = 2*v + 9 + 11*v + 15*v. Is r(8) a composite number?
False
Suppose -3*r = -4*k - 1 - 17, 3*k + 7 = -r. Suppose r*z = -2*z + 1196. Is z prime?
False
Suppose 0 = -2*w - 2*w + 40. Is w/(-15) + (-94)/(-6) composite?
True
Suppose -2*s + 2 = -2*l - 0, 19 = 2*l + 5*s. Let a = l - 4. Is (3 - (-5)/a)*142 a composite number?
False
Let l be (-2 + 1)*(0 + -1). Let s be l + (2 - 8)/2. Is ((-79)/s)/(5/10) prime?
True
Let x be 5/2*1*12. Let o be 43 - (-4)/(-2)*-1. Let j = o - x. Is j a composite number?
True
Suppose -2295 = 6*b - b. Let d = -258 - b. Is d prime?
False
Suppose -x + 0*x = f - 2195, -5*x - 109