3. Suppose 0 = -3*h + 2*w + 12, h + 0*h = -3*w + 4. Suppose -r + h = r. Is a(r) a prime number?
True
Let f be -1 + (-3 - 8*27). Is (f/(-2))/(0 + 2) composite?
True
Suppose -4*h - 2*g = -254, -3*h - 3*g = -4*h + 53. Is h a prime number?
False
Suppose -4*g + 6*g - 5*l - 243 = 0, -4*g = l - 519. Is g composite?
True
Let h = -2 + 6. Suppose 5*n - h*l = 3*n + 78, -4 = 4*l. Is n prime?
True
Let x(h) = -h**3 + 2*h**2 + 4*h - 4. Let v be x(3). Is 1 + (v - -211) - 0 a prime number?
True
Let w = 1518 + -1067. Is w prime?
False
Suppose u - 6 = -2*i - u, 5*i - 3 = u. Let o(c) = -i + c + 0*c + 0*c + 0*c. Is o(11) a prime number?
False
Let r = 1 - 2. Let o be (-4)/10 + 584/(-40). Is (6/o)/(r/25) a composite number?
True
Let f = 1522 + 981. Suppose 4*b - f = -719. Suppose -3*s + b = -s. Is s a composite number?
False
Let x = 45 - -29. Suppose -5*p + x = -101. Is p prime?
False
Let m be -1*(-1)/(-1) + 4. Suppose c - b + m = 0, -6*b = -4*b - 10. Suppose x = -z + 47, -x + 4*x - c*z - 151 = 0. Is x a prime number?
False
Let v = 7324 + -2541. Is v prime?
True
Let u(f) = -f + 5. Let g be u(0). Suppose -653 = -g*v - 58. Is v a prime number?
False
Let z = 150 + -74. Suppose 0 = y + 3*y - z. Is y composite?
False
Let a(u) = -u**3 + 7*u**2 - 8*u + 4. Let n be a(6). Let m = n - 27. Let k = -12 - m. Is k a prime number?
True
Let q be (0 + 5)*(-8)/(-8). Suppose 3*i - 348 = -q*t, -4*i - t = 3*t - 456. Is i a composite number?
True
Let a = -6 - -5. Let n be a/4 + (-365)/(-20). Is (27/n)/(1/74) prime?
False
Let z(c) = -c**2 + 4*c - 3. Let j be z(4). Let i be (4/(-8))/(j/(-6)). Is ((-1)/i)/(1/25) a prime number?
False
Let j = 120 + 20. Let t = -75 + j. Is t a composite number?
True
Let v(m) = 10*m**2 + 6*m + 3. Let r(j) = -j**2 - j + 1. Let u(s) = 6*r(s) + v(s). Let z be u(-8). Suppose 3*x = -2*x + z. Is x a composite number?
False
Suppose -6 = 2*r, 7*r - 2*r - 5 = -5*k. Suppose -2*u + 5 = -u - 5*q, -k*u = 3*q - 20. Suppose 0 = t - 2*x - 33, u*x + 16 + 9 = 0. Is t composite?
False
Let q(t) = -t**3 - 5*t**2 + 6*t - 3. Let d be q(-6). Let o(u) = 17*u**2 + u + 2. Let v be o(d). Let f = -103 + v. Is f a prime number?
False
Suppose -2*x - 7*x = -20889. Is x a composite number?
True
Let g = 7 - -6. Let x(v) = -6*v + 1. Let w be x(-2). Let u = g + w. Is u a prime number?
False
Suppose -t + 27 = 2*t. Suppose n = t - 4. Suppose 6*s - 2*s + 27 = p, p - 9 = -n*s. Is p a composite number?
False
Suppose -1758 = -4*q + 2*q. Suppose 2*v = 5*v - q. Is v a prime number?
True
Suppose z - u = 1, 2*z - 4*z - u = -11. Is z composite?
True
Suppose 0*l - 9 = -l. Suppose l*b - 129 = 6*b. Is b a composite number?
False
Suppose -2*b - 2*l - l = 440, -2*l - 4 = 0. Let f = b - -396. Let k = -112 + f. Is k prime?
True
Let x = 56 + -1. Is x prime?
False
Is (-1137)/(-6)*(-5 - (0 + -7)) composite?
False
Suppose 0*j - 2*r + 45 = -5*j, 0 = -4*r. Let x = j + 10. Let g(v) = 36*v**3 + v**2 - v + 1. Is g(x) prime?
True
Suppose 0*t = w - 4*t - 40, 3*t - 12 = 0. Let f = w + -23. Is f prime?
False
Let p be 4/8 - 6/(-4). Suppose -p*a - 125 = -7*a. Is a prime?
False
Let t = 301 + -182. Is t prime?
False
Suppose -9 = 3*u - 4*u. Let s(y) = -y + 6. Let g be s(6). Let t = g + u. Is t a composite number?
True
Is 322 - 6/(4 - 2) composite?
True
Let z = 871 - 464. Is z composite?
True
Let n(x) be the first derivative of 62*x**3 - 3*x**2/2 + 2*x - 6. Is n(1) a prime number?
False
Suppose -339 = -0*n - 3*n. Is n a prime number?
True
Let h(o) = o**3 - 4 - 2*o + 0 - 3 + o**2. Is h(4) prime?
False
Let n = 7 - 7. Suppose n = 5*d, 4*w - d - 364 = -4*d. Is w composite?
True
Suppose 0*n - 8 = -2*n. Suppose m - 2 = 3. Suppose -157 = -n*j - 3*p, -j - m*p + 56 = 4. Is j prime?
True
Let q be (5 + (3 - 0))/2. Suppose 2666 = -k + q*k + b, 5*k + 2*b = 4445. Is k a composite number?
False
Let a = 1154 + -609. Is a composite?
True
Suppose 4*m = 161 + 683. Is m a prime number?
True
Let k(l) = -l**2 - 12*l + 2. Let b be k(-5). Let t = b + 90. Is t prime?
True
Let s(p) = 253*p + 2. Let x be s(2). Suppose -10*h + x = -6*h. Is h a composite number?
False
Let m(q) = 46*q**3 + 2*q**2 - 4*q + 3. Is m(2) a prime number?
False
Let q = 7 - 4. Suppose 0*d = q*d. Suppose 5*y + 3*l - 379 = d, -178 = -2*y - 5*l - 34. Is y composite?
True
Let h be 2/(-7) + 162/(-21). Let d be ((-10)/h)/(2/8). Suppose -2*g = 0, -d*m - 2*g + 655 = -0*g. Is m a prime number?
True
Let h(w) = 31*w**2 - 3*w + 3. Is h(4) a prime number?
True
Let c be ((-4)/2 - 1) + 400. Suppose -c = -4*j + 199. Is j prime?
True
Let j(o) = 26*o. Let y(s) = -s. Let u(w) = -j(w) - 13*y(w). Let l be (-1)/(-2) - 6/4. Is u(l) a composite number?
False
Let a = 804 + -113. Is a composite?
False
Is (-5)/(4 + 225/(-55)) composite?
True
Let a = 7 + -3. Let o(b) = b**3 - 3*b**2 + 6*b - 3. Let k be o(a). Suppose -5*w = -2*u + k, -5*u + 2*w = -10*u + 49. Is u a composite number?
False
Suppose 20 = 3*u - 4*y - 4, -18 = -3*u + 2*y. Suppose -4*g = -u*b - 148, -3*g - 5*b = -59 - 52. Is g composite?
False
Let s(k) = 203*k - 1. Let c(r) = 203*r - 1. Let y(h) = -3*c(h) + 2*s(h). Let z be y(-1). Suppose -4*p = -104 - z. Is p a composite number?
True
Suppose -n + 788 = -5*n - 5*z, -2*n - 394 = -z. Suppose 4*j + 5*d = 1315, 734 = 4*j - 5*d - 591. Let c = n + j. Is c a composite number?
True
Let r = 286 - -85. Is r a composite number?
True
Let m(y) = 1327*y + 1. Is m(4) prime?
True
Suppose -10*m - 27870 = -20*m. Is m composite?
True
Is -4*(-3)/24*15362 a composite number?
False
Let x be 4/(-5)*(-50)/20. Suppose 49 = x*y - 57. Is y a prime number?
True
Is 2/(-10) - 43836/(-130) composite?
False
Let b = -5 - -3. Let t = b - -3. Let p(x) = 15*x - 1. Is p(t) a prime number?
False
Is 111*(-2)/(-12)*2 prime?
True
Suppose 3170 - 403 = 3*b - 4*h, 2*b - 3*h - 1845 = 0. Is b composite?
True
Let l(v) = v**3 + 8*v**2 - 11*v - 9. Let y be l(-8). Suppose -2*n + n + y = 0. Is n prime?
True
Let q = -493 + 1172. Is q a prime number?
False
Let r(l) = -10*l**2 + 3*l. Let k(h) = -21*h**2 + 7*h. Let x(b) = -4*k(b) + 9*r(b). Let p(n) = 17*n**2 + 2*n - 1. Let m(z) = 3*p(z) + 8*x(z). Is m(-4) composite?
False
Let v(k) = 2*k**2 - 2*k - 7. Let o be v(7). Let z = 144 - o. Is z prime?
True
Suppose -5*f - 2*r + 306 = 0, -r - 2*r = 6. Suppose 0 = 4*z - 6*z + f. Is z composite?
False
Let w(m) be the second derivative of 299*m**3/6 + 2*m. Is w(1) composite?
True
Let c(f) = 28*f**2 - f + 4. Let a be 18/12*(-3 + 5). Is c(a) prime?
False
Let v = 62 + -43. Is v prime?
True
Let a be (21/(-4))/((-21)/(-56)). Let j = a - -141. Is j prime?
True
Let u = -3 - -7. Suppose -1242 = u*j - 74. Let v = -173 - j. Is v prime?
False
Let s = -7 - -7. Let w(z) = -z**3 + z**2 - z + 113. Is w(s) composite?
False
Let u = -1517 + 3084. Is u composite?
False
Suppose 0 = 5*r - 4*s - 18, 2*r + 0*s = 2*s + 8. Suppose 3*k - 1435 = -r*k. Is k composite?
True
Let z(s) = 123*s**3 + 4*s**2 + s - 7. Is z(3) a prime number?
False
Suppose 0 = -3*k + 4*i + 37, 2*k - 3*i - 26 = -0*i. Suppose -2*b = -k*b + 75. Is b composite?
True
Suppose 0 = 37*y - 39*y + 814. Is y composite?
True
Let c(b) = -b + 7. Let w be c(6). Let p be w*(-5)/((-10)/24). Let h = 26 - p. Is h a prime number?
False
Suppose -2*x + 892 = 2*x. Is x a prime number?
True
Suppose -2*v = -4 - 16. Is v a prime number?
False
Suppose -2*t = -3*v + 6, -5*v + 11 = -t - 6. Suppose -36 - 6 = -t*a. Suppose g + g = a. Is g a prime number?
True
Let y(t) = 5*t**2 + 5*t - 2 + 0*t**2 + 0 - 13*t. Is y(7) prime?
False
Suppose -4*r = r - 15. Let m(j) be the second derivative of 16*j**3/3 - j**2/2 + j. Is m(r) prime?
False
Let s = 2076 + 317. Is s a prime number?
True
Let t = -1 - -4. Suppose -263 = -3*a + 2*w, t*a - 155 = w + 104. Is a a prime number?
False
Let k be (-1 + (5 - 3))*4. Suppose 10 = k*f + 2. Is (f - (-1 - -1)) + 31 a prime number?
False
Suppose 4*o + 1006 = 2*l, -3*l + 1503 = -0*l - 3*o. Is l composite?
False
Let i(j) = 2*j**2 - j + 5. Let b(r) = -6*r**2 + 4*r - 15. Let h(c) = -6*b(c) - 17*i(c). Is h(4) prime?
False
Let t = -1932 - -3191. Is t prime?
True
Suppose -4*u + 484 = -3*s - 4, -2*u = 2*s + 316. Let t = s + 495. Is t composite?
True
Let i = 726 - 499. Suppose -3*c + 0*u = 5*u - i, 53 = c - 4*u. Is c a composite number?
True
Suppose 0*x + 4 = -2*x, 2*x = -2*v + 670. Is v composite?
False
Let i be 4*(2 + (-9)/12). Suppos