= s + b - 2 + 378*s**3 - 1. Is m(1) a composite number?
False
Let z(w) = -11*w**2 + 7*w - 37. Let f be z(7). Let o = f - -918. Is o a composite number?
True
Suppose -2*d - 3*s = -17, 4*d - 4*s - 4 = -0*s. Suppose 0 = 2*w, -4*t = -d*w + 3*w - 2708. Is t*1*(-1 + 2) a prime number?
True
Let j(a) = 527*a + 40. Is j(9) composite?
False
Suppose 28*w - 5506 - 36746 = 0. Is w a composite number?
True
Suppose 18732 = 66*r - 54*r. Is r prime?
False
Let q = 55 + -39. Suppose 0 + q = 4*l. Suppose -2*t + 4*t + 3*g - 160 = 0, l*g = -5*t + 393. Is t a prime number?
False
Let v be (2/(-8))/(3/(-12)). Let y = 1 + v. Suppose -5*b - p = -1835, 2*b + y*p + 3*p = 734. Is b prime?
True
Suppose -12*u = 11*u - 35305. Is u a prime number?
False
Let w(c) = 7*c - 29. Let g be w(-13). Let i = g + 179. Is i a composite number?
False
Let n = 254 - 892. Let r = -9 - n. Is r a composite number?
True
Suppose q - 2 - 1 = 2*a, q = 4*a - 5. Let v = -17 + q. Is 1488/18 - 2/v a prime number?
True
Let i be (-121)/(-6) + (-1)/6. Suppose 3*a - 3*q - 72 = 0, 4*q - i = -a + 3*q. Is a composite?
True
Let v(z) = 9675*z + 12. Is v(1) prime?
False
Is (4890/75)/(3/15) a prime number?
False
Let f be (1 - -2)*(-10)/(-3). Suppose -z - f = -3*z. Suppose 28 = 3*h - 4*w + 3, 0 = 2*h + z*w - 9. Is h a prime number?
True
Suppose -5*n - 58 = -x, 2*x = 5*n - x + 54. Is (2/(-3))/(n/21834) composite?
False
Let k = 1656 - 113. Is k a prime number?
True
Let n(g) be the second derivative of g**7/1260 - g**6/120 - 13*g**5/120 - 3*g**4/4 + 7*g. Let t(y) be the third derivative of n(y). Is t(-6) composite?
True
Suppose i + 11 = 17. Suppose i*b = 4*b + 406. Is b composite?
True
Let y be (-2)/2*1*2. Let b be (-13)/5 + (-8)/20. Is ((-546)/(-9))/(y/b) prime?
False
Let n(o) = -116*o**3 + o**2 - 19*o - 37. Is n(-5) a prime number?
False
Let v(c) = -c**3 - 10*c**2 - 8*c + 12. Suppose -5*i = 4*r - 15, 0 = 3*i + 3 + 12. Let f(o) = -o**3 + 10*o**2 - 2*o + 11. Let x be f(r). Is v(x) prime?
True
Let a(b) = 16*b**3 - 4*b**2 + 7*b + 2. Let t be a(6). Suppose -9*y - t = -13*y. Is y composite?
False
Let s(g) = -38*g**3 + 3*g**2 + g - 8. Is s(-3) prime?
False
Suppose 0 = 4*l - 8*l + 240. Suppose -5*v + 5*t = -980, 247 + 737 = 5*v - t. Let m = v + l. Is m a prime number?
True
Let d = -2745 + 3877. Let l = -245 + d. Is l a composite number?
False
Let j = 14 - 2. Suppose 3*l + 25 = 5*l - 5*h, 3*l + 15 = -3*h. Is (634 + l)*j/24 a prime number?
True
Let o be (524/16)/(1/20). Suppose a - c - 125 = -0*c, -5*a - 5*c = -o. Let t = 805 - a. Is t a prime number?
True
Let d(o) = 10*o**2 - 13*o + 287. Is d(18) prime?
False
Let w be 30*(8/12 - 0). Let p be (-2)/(-4) - 10/w. Suppose -5*o - 94 = -4*b - 333, p = -o - b + 46. Is o prime?
True
Let c be -1 + 2058 - 36/18. Let k = -806 + c. Is k a composite number?
False
Suppose 3*r - 4*r - 5*w = -8, 0 = -2*r - 3*w + 16. Let g(d) = 2*d**3 - 7*d**2 - 2*d - 19. Is g(r) prime?
True
Let z(f) = f**3 + 3*f**2 + 4*f + 6. Let l be z(5). Let q = -24 + l. Is q composite?
True
Let p(r) = -r**3 + 16*r**2 + 16*r + 16. Let q be p(17). Is q + 3*266/1 composite?
False
Suppose 2*i = -0*i + 3*v + 14236, v - 2 = 0. Is i prime?
True
Suppose -2*m = -3*m. Suppose w + 5*j - 2 = -m, 4*w = -2*j + 8. Suppose 0*x - 8 = -w*x, 2*x = 2*b - 70. Is b a prime number?
False
Let w = -84 + 108. Is 6204/w - 1/(-2) composite?
True
Is 245728/42 - (-1)/3 composite?
False
Let r(f) = 10*f**2 + f + 1. Let n be r(-3). Let z be 4/22 + 22072/n. Let y = -48 + z. Is y a prime number?
False
Let c = 1 + -6. Let s(t) be the third derivative of -2*t**4 - 5*t**3/6 + 7*t**2 - t. Is s(c) prime?
False
Suppose 3*j - 17 + 5 = 0. Suppose -o - 5 = 4*k, -2*k + 34 - 14 = -j*o. Suppose k = 3*h - 5*u - 2353, u + 2*u + 3152 = 4*h. Is h prime?
False
Suppose 2*w - 6*w = -1192. Let j be 1*(3 + 402/3). Let s = w - j. Is s prime?
False
Let a(i) = i**3 + 3*i**2 + 1. Let b be a(-2). Suppose -370 - 825 = -b*y. Is y a prime number?
True
Let k = 7466 + 22555. Is k prime?
False
Suppose 2 = r + 4. Let o(j) be the third derivative of -43*j**4/24 - j**3/2 - 21*j**2. Is o(r) prime?
True
Let k be 1 + 0/(-1) + 2. Suppose -k*q - y + 16 + 6 = 0, -2*q + 2*y = -4. Is (5 + -3)*3351/q a composite number?
False
Suppose -2*a = -4*p - 18, 3*p + 21 = 2*a + 4. Let i(n) = 1 + n**3 + a*n - 7*n. Is i(4) prime?
False
Let i(v) = -3 + 3*v**2 - 10*v - 4 + 4 - 3*v**3 - v**3. Is i(-4) a prime number?
False
Let n = -21580 - -32231. Is n composite?
False
Suppose 3*h - 21167 = -2*u + 25739, 5*h = 20. Is u a prime number?
True
Suppose -5*s + 2*s - 2*d = -2535, 2*s = -4*d + 1682. Let j = s + -441. Suppose 3*u = -i + j, 3*u + 2*u + 1573 = 4*i. Is i prime?
True
Is 60/(-330) + 90939/11 a prime number?
False
Suppose -46*b + 100026 = -28*b. Is b composite?
False
Suppose -2*a - 129 = -4*d + 3*a, 5*d = -4*a + 192. Suppose -3*s + 1142 = 4*h, d + 253 = h - s. Is h a composite number?
True
Let h(o) = 228*o**2 - 37*o + 11 + 73*o - 28*o. Is h(-2) a composite number?
False
Suppose 15456 = t - 4*n, -3*t - 12201 + 58551 = -3*n. Suppose -t = -13*x + 3597. Is x a composite number?
True
Suppose 5*z = -4*i - 20, -2*z = -1 - 7. Let c(j) = -j**3 - 10*j**2 - 14*j + 1. Let w be c(i). Suppose -4*q - d + w = -294, 0 = q + 4*d - 105. Is q prime?
True
Suppose -6*l - 59*l = -719615. Is l a prime number?
True
Let h be (-228)/57 + (1553 + 0)/1. Suppose 4*s - 2105 - h = -2*m, -4*m = -20. Is s prime?
True
Let a(y) = 1455*y**2 - 15*y + 71. Is a(6) composite?
False
Let t = 376 - 122. Is t composite?
True
Suppose 13 = 2*z + r, 4*z - 2*z + 3*r = 23. Suppose 4*o - 611 = -z*n - o, o = -3*n + 450. Is n a prime number?
True
Let b = -2 - 0. Let l be (0 - -3)/3 + b. Let q(v) = -1150*v + 1. Is q(l) composite?
False
Suppose 5*v + 0*v = 5*g + 11190, -4478 = -2*v + 4*g. Is v composite?
False
Let s(n) = 18*n**2 - 10*n + 7. Let h(a) = -17*a**2 + 11*a - 8. Let v(y) = 3*h(y) + 4*s(y). Let j(l) be the first derivative of v(l). Is j(5) composite?
True
Suppose z + 14 - 17 = 0. Let b = z - 7. Is (-94630)/(-150) + b/(-30) a composite number?
False
Suppose -k - 4*d + 12 = -0*d, 0 = 4*k + 5*d - 26. Suppose k*g - 9819 = 1489. Is g prime?
False
Let d = 291 + -58. Is d composite?
False
Let i be (-3)/(3/(-4)) - -5. Suppose i*w + 37 = 1504. Is w a prime number?
True
Let x(j) = -22*j - 10. Suppose -4*g + 78 = -g. Suppose -3*k + g = -4*h, 5*h - k + 59 = 21. Is x(h) composite?
True
Suppose 3*w = -5*f + 40970, f - 9*f + 65571 = w. Is f prime?
False
Let n(s) be the second derivative of 8*s + 1/20*s**5 + 1/2*s**3 + s**4 + 0 + 15/2*s**2. Is n(-10) prime?
False
Suppose -4*b = -p - 9, -5*b + b = -3*p - 11. Let u = b - 1. Is (1/2)/(u/742) a composite number?
True
Suppose -476 = a - 2*z, 2*a + 57 + 895 = -3*z. Let f = 853 + a. Is f a composite number?
True
Suppose 3*a + 4*x = -61, -4*a - 2*x + 5 = 73. Let n(v) = -36*v + 1. Is n(a) a prime number?
True
Suppose 2*j - 14*w + 19*w = 3705, 4*j = -w + 7455. Is j a prime number?
False
Let y = 1031 + 406. Is y prime?
False
Let z = -5 - -7. Let o be 14945/30 - z/12. Suppose -317 = -5*p + o. Is p a composite number?
False
Let q(w) = 128*w + 415. Is q(54) composite?
True
Suppose -1 = t + 3*p - 7, -5*p = 4*t - 10. Suppose -4188 = -t*u - 4*u. Is u composite?
True
Let t(v) = -30 - 5*v**2 - 7 - 2*v**2 - 11*v + 11*v**2. Is t(16) prime?
True
Suppose -63*n = -59*n - 93076. Is n composite?
False
Suppose -5*s + 1866 = 2*k, -s - s = k - 747. Let g = -78 + -181. Let h = g + s. Is h a composite number?
False
Let u = 8 - 8. Suppose 2*b - 175 - 541 = u. Is b prime?
False
Let l(j) = -j**2 + 10*j + 5*j - 2*j**2 + 2*j**2. Let d be l(15). Suppose d = 4*f - 8*f + 3124. Is f a composite number?
True
Suppose -1751660 = -113*q + 93*q. Is q prime?
True
Let b be (5 + -2)/(6/458). Suppose -b = 5*t - 1044. Is t composite?
False
Let v(a) = a - 2. Let j be v(-2). Let c be 9/(-6) - 46/j. Let h(x) = x**2 - 8*x - 10. Is h(c) a prime number?
False
Is 22099/35 - 4/10 prime?
True
Let c = 20 + -13. Suppose 3 - c = -2*q. Let z(w) = w**3 + 2*w**2 - 4*w + 3. Is z(q) composite?
False
Suppose -5*g + 28 + 32 = 0. Let a = -18 + g. Let m(x) = 21*x**2 - 2*x + 11. Is m(a) prime?
False
Suppose 4*v = 10*v - 24. Suppose -195 = -v*p + p. Is p prime?
False
Let l(w) = 2*w**2 + 3*w - 22. Let q(m) = -m**2 - m + 11. Let h(z) = 6*l(z) + 13*q(z). Let s be h(10). Let t = s + 85. Is t