-406. Let m be 2/(-9) + (-16810)/90. Let b = h - m. Is b prime?
False
Let q be -3 + 0/(1 - 0). Let a(f) = 35*f - 16. Let p(x) = 9*x - 4. Let w(k) = 2*a(k) - 9*p(k). Is w(q) prime?
True
Let c(q) = 3*q**2 - 11*q + 9. Is c(7) composite?
False
Is (-57)/(-19) + 4*269 a prime number?
False
Let p = -50 + 194. Suppose -3*w = -3*q - p, -3*w = 3*q - 4*w + 154. Let h = -38 - q. Is h a prime number?
False
Suppose 0 = -18*m + 24*m - 582. Is m prime?
True
Suppose s - 4 = -11. Is 219/7 - (-2)/s prime?
True
Let r = 13 + -37. Let j be (-208)/r + (-1)/(-3). Suppose -3*s + 42 = j. Is s a composite number?
False
Let i(q) = q + 2*q + 12 - 2*q. Let p be i(-9). Is 5/(p*(-1)/(-141)) composite?
True
Let p(j) = -162*j**3 - 2*j - 4. Let a be p(-3). Suppose -5*n - 2*c + 5507 = -5*c, 0 = -4*n - 5*c + a. Is n a prime number?
False
Let i(z) be the second derivative of 9*z**5/20 + z**4/6 - z**2/2 + z. Is i(2) a prime number?
True
Suppose 0 = 2*v - 23 + 179. Is 3/(-3) - (v - 0) prime?
False
Let v = 2 - 2. Let b(g) be the third derivative of g**6/120 - g**5/60 - g**4/24 + 163*g**3/6 - g**2. Is b(v) composite?
False
Suppose 106 = 4*g + 2*h, 0 = -5*g - h - 0*h + 125. Suppose -4*u + 54 = -z, -2*u = -0*u + z - g. Is u a prime number?
True
Let p(u) = u**3 + 2*u**2 - 3*u - 3. Let c be p(-2). Suppose -2*w - 9 = -c. Is 226/w*(-9)/6 composite?
False
Let f = -3 + -3. Let h(w) = -w**3 - 6*w**2 - 2*w - 7. Let q be h(f). Let o(i) = 3*i**2 - 4*i + 3. Is o(q) composite?
True
Suppose 0 = 6*w - w - 25, -w = -4*f + 8591. Is f composite?
True
Let j = -352 + 741. Is j composite?
False
Suppose -r - 3*r = -12. Suppose -r*c - 4*n + 750 = -c, 3*n = 4*c - 1522. Is c a composite number?
False
Let x = -193 - -432. Suppose -x = -4*w + 2397. Is w prime?
True
Suppose -2*l = -129 - 53. Suppose -2*v + 0*y - 3*y = -26, -5*v - y = -l. Is v a prime number?
True
Is 1*-2 + (198 - 9) a composite number?
True
Let p(s) = -s**2 - 16*s - 10. Let v be p(-15). Suppose m + x = 16, -v*m + m + 3*x + 50 = 0. Is m a composite number?
True
Let w(g) = -4*g - 4. Let z be w(8). Is (0 - 1)*(z + -1) a composite number?
False
Let s(j) be the third derivative of j**5/3 - 5*j**4/24 - j**3/3 - 4*j**2. Is s(3) a prime number?
True
Is (-2 - (3 - 1)) + 75 a composite number?
False
Let a be ((-4)/12)/(2/(-18)). Suppose -26 = -a*l + 31. Is l a composite number?
False
Is (3 + -1)/2 + 96 composite?
False
Suppose -4*z + 672 = -3*c, -c = z + 2*z - 517. Let d = -168 + 48. Let w = z + d. Is w a prime number?
False
Let h = 187 + 109. Let m = h - 169. Suppose 146 + m = 3*l. Is l a composite number?
True
Let o = -14 - -8. Is 218*(-3)/o + 0 prime?
True
Let c(q) = 2*q**2 - 2*q + 8. Let x(i) = -1. Let k(r) = c(r) + 6*x(r). Let n be k(-7). Let w = n + 13. Is w composite?
False
Let w(h) = 165*h + 1. Let i(b) = -2*b - 4. Let o be i(-3). Is w(o) a prime number?
True
Suppose 6*r - r = -30. Let b be (-26)/(-6) - 4/r. Suppose 3*g + b*l - 8 + 2 = 0, -4*g + 25 = l. Is g a prime number?
True
Let k = 24 + 167. Is k composite?
False
Is -753*(-2 + (-1)/3 + 2) prime?
True
Let o be -3 + (2 - (-1 + 0)). Is 190 - (1 - o - 2) composite?
False
Suppose 238 = b + 5*q, -2*b + 1042 = 2*b + 2*q. Is b prime?
True
Let s = 55 - -678. Is s composite?
False
Let w(l) = 3*l**2 - l + 1. Let x be ((-2)/5)/((-8)/40). Let f be -2 - (x/(-1) + -2). Is w(f) a prime number?
True
Let q(g) = 2*g + g - 12 + 5*g**2 + 4*g + 1. Suppose 2*o = 3*o - 4*u + 4, 0 = -2*o + 2*u - 14. Is q(o) composite?
True
Suppose 0 = 7*z - 2854 + 705. Is z a prime number?
True
Suppose 4*t + 51 = -c + 6*c, -30 = 2*t + 2*c. Is t*-2*(-9)/(-12) a composite number?
True
Suppose -3*w + x + 288 = -0*x, -2*x - 382 = -4*w. Is w composite?
False
Let s(x) = 21*x. Let w = -2 + 1. Let k be s(w). Let d = 47 + k. Is d composite?
True
Is (1 + -4)*-1 + 670 composite?
False
Suppose 250 = 2*r - 72. Is r a composite number?
True
Let r(j) = -j**3 - 3*j**2 - j - 3. Let l be r(-3). Suppose 282 = 2*h + 2*b - 40, 2*h - 2*b - 342 = l. Is h a prime number?
False
Let d(v) = -2*v - 8. Let u be d(-6). Let l(c) = 73*c + 70*c + 1 - 140*c + 4*c**2. Is l(u) prime?
False
Suppose 3*y = -12, 2*w - 4*w + 1170 = -y. Is w composite?
True
Let j(r) = 543*r**2 - r - 1. Is j(1) composite?
False
Suppose -3*m + 3*h - 7 = -m, 2*h - 10 = 2*m. Let b = -37 + 52. Let r = b + m. Is r composite?
False
Suppose 504 + 524 = 4*p. Is p composite?
False
Let x(o) = -4*o - 4. Let g be x(-3). Let z be 2138/(-22) + g/44. Is (z/(-2))/((-2)/(-4)) prime?
True
Let z = 6 - 4. Is z + 137 + 0/(-2) a prime number?
True
Let t(g) = 2*g**3 + 7 + 7*g - g + 5*g**2 + 0*g**3 - 3*g**3. Is t(6) prime?
True
Let j(n) = n**3 - 7*n**2 - 7*n - 4. Suppose -v - 2*v + 24 = 0. Let t be j(v). Let p = 6 + t. Is p composite?
True
Suppose r = 4*r - 600. Let x = r - 51. Is x prime?
True
Let h(q) = 13*q**2 + 3*q - 3. Is h(-2) a prime number?
True
Let g(a) = a**3 + 3*a**2 - 2*a - 3. Let n be g(-3). Is n*-13*2/(-3) prime?
False
Let u be 1 + 45/3*8. Suppose -3*r + 4*r - u = 0. Is r composite?
True
Suppose -v + 5426 = 1099. Is v a composite number?
False
Let g = 1460 + -1011. Is g composite?
False
Let u(b) = 4*b**3 - 4*b**2 - 4*b - 3. Let y be u(6). Suppose -3*l - y = 2754. Is (-4)/(-22) + l/(-33) composite?
True
Suppose -68 + 400 = 4*d. Is d a prime number?
True
Let w(z) = -27*z + 1. Is w(-2) prime?
False
Suppose 8665 = 5*k + 5*l - 3*l, 0 = 2*l. Is k a composite number?
False
Suppose -4*j + 11 = -5. Let c(n) = -j*n + 6*n - 2*n + 7 + 9*n. Is c(10) a composite number?
False
Let y = -2 - -1. Let l be y/2*(-2 + 2). Suppose 0 = 3*w - 9, 5*w = 3*c - l*w - 222. Is c composite?
False
Suppose -c + 391 = -118. Is c a prime number?
True
Let y(h) = h**3 + 9*h**2 + 12. Let w(a) = a - 1. Let b(n) = 2*w(n) + y(n). Is b(-8) a prime number?
False
Suppose 0 = -2*v - 2*d + 12, -2*v + 4*v - 21 = -5*d. Is 373 + (0/v)/(-1) composite?
False
Suppose 5*i + 1335 = 5*r, 7*i - 833 = -3*r + 2*i. Is r a composite number?
False
Suppose -w = -5*w + 16. Suppose -2*m + w*m - 1418 = 0. Is m a prime number?
True
Let v(y) = 5*y - 1. Let h be v(1). Suppose -4*p = -12, h*s - 9*s = -p - 552. Is s a composite number?
True
Let i(z) = -26*z**2 - 3*z + 1. Let l(x) = -52*x**2 - 7*x + 2. Let v(n) = -7*i(n) + 3*l(n). Is v(-1) composite?
True
Suppose 0 = -2*f - f + 27. Let n(u) = 2*u**2 - 5*u - 4. Is n(f) a composite number?
False
Let t be 6/(-10) - (-27)/(-5). Let y = t + 43. Is y a prime number?
True
Suppose 54 = -5*a - 1. Let l = a - -7. Let j(n) = 3*n**2 + 7*n + 6. Is j(l) a composite number?
True
Let i be 1/(-3) - (-844)/3. Let y = -417 + i. Is ((-6)/8)/(2/y) composite?
True
Let h(c) = 165*c**3 + c**2 - c. Let d be h(1). Let n = -103 + 200. Suppose 0 = 5*x + z + 4*z - d, 3*x - n = -4*z. Is x composite?
True
Suppose -35 = 2*f + 365. Let a = 544 - f. Is (2/(-6))/((-8)/a) a prime number?
True
Is (4/((-4)/(-1657)))/(-3 + 4) a prime number?
True
Suppose 0*f + f - 7 = 0. Let c = f - 2. Suppose c*b - 27 - 8 = 0. Is b prime?
True
Let l(z) = -43*z - 25. Is l(-12) composite?
False
Let r = 21 + -17. Suppose 3*d - r*d = -53. Is d a prime number?
True
Suppose -295 = 4*h + 45. Let v = h - -134. Suppose 0 = -0*f + f - v. Is f prime?
False
Is 2 + 1 + -4 - -1040 a prime number?
True
Let t(m) = m**3 + 11*m**2 + m. Suppose 0 = 5*w + 5*b, -2*w + 0*b = -5*b + 35. Is t(w) prime?
False
Let p be 1 + 1 + -3 + 232. Suppose 2*a = -a + p. Is a a prime number?
False
Suppose -3*m = -905 - 430. Is m a composite number?
True
Let g = -22 - -601. Is g prime?
False
Let c(i) = 5*i**2 + 3*i + 3. Is c(4) prime?
False
Suppose 2*x + 4 - 30 = 0. Let l = x - -142. Is l prime?
False
Let r(u) = 28*u**2 - 7*u + 1. Is r(6) composite?
False
Suppose 4*x - 33 = -13. Let c(b) = 88*b + 3. Let v be c(x). Let s = v + -298. Is s prime?
False
Let g(a) = -a**2 + 5*a - 7. Let z be g(6). Let h(k) = -k**2 - 25*k - 7. Is h(z) composite?
False
Suppose 0*m - 110 = 5*m. Let l = 93 + m. Suppose 5*z - l = f + 175, f - 244 = -5*z. Is z a prime number?
False
Suppose -4*p + p + 5*k = -35, -4*p + 36 = -4*k. Let s(x) = -x + 7. Let a be s(p). Suppose 2*w = 3*y - w - 69, -3*w - 50 = -a*y. Is y prime?
True
Suppose -5*y - 3 = -13. Let c(f) = 36*f - 5. Is c(y) a composite number?
False
Suppose 0*n = 5*n - 410. Suppose 2 = 5*o + 5*f + 7, o - f = 5. Suppose 61 = w - 2*a, -2*w - 2*a + n = o*a. Is w a composite number?
True
Let