z - d, -3*x + 2*z + 153 + 116 = 0. Is x a composite number?
True
Let y = -1546 + 3235. Is y a composite number?
True
Let t = -360 + 1141. Is t prime?
False
Let a(b) be the second derivative of 0*b**3 + 19/4*b**4 + 1/2*b**2 + 7*b + 0. Is a(-1) prime?
False
Suppose 242*o - 238*o = 2996. Is o a prime number?
False
Suppose 0 = -3*z, -3*g - 3*z = -6*z - 9. Suppose -n + 4552 = g*n. Is n composite?
True
Let y be (-16)/(-40) - 28/(-5). Let l be 1086/(-4)*(-8)/y. Let j = l + -199. Is j composite?
False
Let u(n) = n**2 + 6*n - 4. Let h be u(-7). Suppose 0*b = -4*b + h*c + 5453, 3*b - 5*c = 4098. Is b a prime number?
True
Is ((-12)/8 - -2)*41528/4 a prime number?
False
Let v(a) = a**3 + 13*a**2 - 14*a + 5. Let o = -91 - -79. Is v(o) a prime number?
True
Suppose -1420 = 4*p + 4*w, p - 2*p - 379 = -5*w. Let o = -437 + 1007. Let v = p + o. Is v a prime number?
True
Let n(v) = 10*v + 9. Let k be n(7). Let p(w) = k - w + w + 2*w. Is p(0) a prime number?
True
Let q(w) = w**2 - 7*w - 4. Let a be q(9). Suppose -2*j + a = -j. Suppose 3*u - j = 124. Is u prime?
False
Let c(k) = 3152*k + 9. Is c(2) a composite number?
True
Is 75/(-325) + (-228344)/(-52) prime?
True
Let y(v) = -6*v**2 - 5*v - 2. Let x be 3/(-6) + 14/(-4). Let u be y(x). Let q = 121 + u. Is q a prime number?
True
Let l(p) be the third derivative of p**4/24 + 13*p**3/2 + p**2. Suppose -w + x - 2 = -6*w, 5*x - 10 = -3*w. Is l(w) prime?
False
Suppose 5*m + 2141 + 6642 = 2*b, -2*m = 5*b + 3519. Is m/((-5 - (-4 - -1)) + 1) a composite number?
True
Is (-2)/12 - 143/(-66) - -5145 a prime number?
True
Let k(b) = 3*b**2 + 4*b - 14. Let p be k(-13). Suppose p = -i + 2336. Suppose 1895 = 4*z + z - v, -5*z - 2*v + i = 0. Is z prime?
True
Suppose -2*q + q = -4*s - 6, 0 = -5*s. Let z be (-8)/(-10)*(4 + q). Let r(u) = 3*u**2 - 7*u + 3. Is r(z) a prime number?
True
Suppose 856 = p - 509. Let z(s) = -s**3 - 19*s**2 + 21*s + 17. Let k be z(-20). Is (1/k)/((-7)/p) prime?
False
Suppose 2*v + 470 = 4*c, -c - v = -5*c + 471. Suppose -2*q - c = -4*f, -4*f + 2*q = 3*q - 109. Is 22155/f - 1/4 prime?
False
Let n(c) = -335*c + 92. Is n(-3) a composite number?
False
Let n be 0/(2 + -1 + -3). Suppose n*d - 4*d = 12. Is 5216/7 + d/21 a prime number?
False
Let r(i) be the first derivative of -i**3 - i + 7. Let k be r(1). Is (-534)/k*14/21 a composite number?
False
Let y be -146*(3 + -6*(-4)/(-6)). Suppose -1482 - y = -4*i. Is i a composite number?
True
Let u(g) = g + 1. Let m(s) be the first derivative of 23*s**2 - 3*s - 2. Let k(n) = m(n) - 4*u(n). Is k(9) a prime number?
False
Let l(m) = -m**2 - m - 1. Let k(v) = -8*v - 7. Let o(a) = k(a) + l(a). Let s be o(-7). Let t(y) = -y**3 + 12*y**2 - 10*y + 7. Is t(s) composite?
False
Suppose -11*b = 2093 - 5646. Let q = 670 - b. Is q prime?
True
Suppose 0 = -5*g - 39*g + 517396. Is g composite?
True
Let o be 1 - (8*-2)/(-4). Is (1/1)/o + (-364)/(-3) a composite number?
True
Suppose -2*u + 4*u = -u. Is 0 + -5 + 87 + u composite?
True
Let o(u) be the first derivative of u**2/2 + 9*u + 5. Let t be o(-5). Suppose 4*g = t*l + 636, 6*l - 4*l + 644 = 4*g. Is g composite?
False
Let y(t) = t**2 - 4 - 8*t + 1 - 15. Let c be y(10). Suppose -c*k - 111 = -f + 112, -5*f - 4*k = -1185. Is f a composite number?
False
Suppose -3*b = 2*t - 17441, 24*t - 17440 = -3*b + 23*t. Is b prime?
True
Let l(b) = 31 + 32 + 64 - 3*b**3 + 4*b**3. Let c be l(0). Suppose 2*r - c = r. Is r prime?
True
Suppose -2*d = 4*d - 378. Let b = 94 - d. Is b prime?
True
Let i(n) = 12*n + 17. Let h be i(3). Let s = h - 22. Is s composite?
False
Let j = 61 - -46. Suppose -r = i - 2 + 1, 4*r = -5*i + 5. Suppose r = -5*x + 4*b + 463, j + 172 = 3*x - 3*b. Is x a composite number?
True
Let g = 7800 + -4141. Is g a prime number?
True
Let m = -5 + 2. Let o(g) = -426*g + 1. Let u be o(m). Suppose 0 = 5*d - 4*a - u, -3*a + 117 + 154 = d. Is d prime?
False
Let g(a) = -3*a - 25. Let f be g(-10). Suppose 667 = -f*l + 1732. Is l a prime number?
False
Suppose h - 639 = 5*u, -3*h = -2*u + 48 - 301. Let n = 234 + u. Is n prime?
False
Suppose 4*d - 20907 = 17681. Is d composite?
True
Suppose t = 5*p + 3*t + 1333, -p - 253 = -3*t. Let l = 349 - p. Suppose 5*u = -5*k + 1495, 0 = -6*k + 4*k + 2*u + l. Is k prime?
False
Suppose 3*i + 1998 = -5*t - 30, -5*i - 410 = t. Let x = -616 - t. Let v = 332 + x. Is v a prime number?
False
Is 15177/(21/(2 - -5)) prime?
True
Suppose -3*u - 5*l + 24 = -6*u, 74 = -5*u - 3*l. Let x = u - -28. Is x composite?
True
Let l(g) be the second derivative of g**7/168 - g**6/180 + 7*g**5/120 + 7*g**4/24 - g**3 - 2*g. Let j(c) be the second derivative of l(c). Is j(6) prime?
False
Suppose 5*i = -2*i - 14. Is (i/3*-4443)/(6/3) prime?
True
Let b = 2 + 1. Suppose -b*x + 540 = -30. Suppose x + 761 = z. Is z a composite number?
True
Suppose 633 = h - q - 590, -3*q = -5*h + 6123. Suppose -b - h = -4*b. Is b a composite number?
False
Let s be -7 + 9 + -12*1. Let g = 12 + s. Suppose -2*m + g*x = -6*m + 512, -121 = -m + 3*x. Is m a prime number?
True
Let m = 3 + -17. Let k be 1/((-8)/m)*4. Let v = k + 18. Is v composite?
True
Let d = -2085 + 3482. Is d composite?
True
Let m = -457 - -450. Let g be 9056/(-6) - 2/(-6). Is ((-21)/(-9))/m*g composite?
False
Suppose 6 = -k + 9, 5*k + 15 = 5*a. Let l(w) be the third derivative of w**6/120 - w**5/10 + w**4/6 - w**3/6 - w**2. Is l(a) composite?
False
Let m(z) = 2*z**2 + 23*z + 14. Let v be m(-11). Is (5420/(-8) - v)*-2 a composite number?
False
Is 2 + 50829/(1 - -2) a composite number?
True
Suppose 0 = 8*o - 9731 - 19301. Is o a composite number?
True
Let x = -50 + 53. Suppose -y + 1180 = 3*j, -x*y = -4*j - 5*y + 1570. Is j prime?
False
Suppose 5*t - 1931 = 3104. Is t composite?
True
Let p(t) = 3*t**2 + 11*t + 6. Let k be p(-4). Let d(r) = 43*r - 11. Is d(k) a composite number?
False
Let v(b) be the first derivative of 223*b**3/3 + b**2/2 + 37*b - 49. Is v(-6) composite?
False
Let i = -95 + 37. Let u(n) = -537*n. Let s be u(1). Let w = i - s. Is w prime?
True
Suppose d + 76392 + 39859 = 5*g, 5*g + 2*d = 116263. Is g a composite number?
False
Suppose 0 = -4*u + 5*u - 2596. Suppose -14*r + u = -10*r. Is r composite?
True
Suppose 36277 = -3*f + 112018. Is f a composite number?
False
Suppose 0 = -4*v + 17*v + 156. Is v/8 + 6605/10 a composite number?
False
Let b = -3784 - -11207. Is b a prime number?
False
Suppose -b - 4802 = 3*v, b = 3*b + 3*v + 9595. Let z = -2824 - b. Is z a composite number?
True
Suppose -2*k - 11 = -5*j, 4*j = k - 0*k + 10. Suppose 0 = 2*p + k*p - 196. Is p prime?
False
Suppose m + 4*m = 4*q - 48773, 5*q + 2*m = 60991. Is q a prime number?
True
Let i(f) = 2*f**2 + 4*f - 4. Let r be i(-4). Let j = r - -22. Is j composite?
True
Let r(q) be the second derivative of -79*q**3/6 - 2*q**2 + q. Let i be r(-6). Let y = i - 267. Is y composite?
True
Let k(p) = p**2 + 2*p + 1 - 1 + 3 + 2*p. Let x be k(-4). Suppose -5*d - 3*v + 145 = -4*d, x*v = -3*d + 435. Is d composite?
True
Let i = -2 - -4. Let m(z) = 32*z**3 + 9*z**2 - 10*z + 3. Let f(d) = 31*d**3 + 8*d**2 - 9*d + 3. Let q(o) = 6*f(o) - 5*m(o). Is q(i) composite?
True
Suppose -38 + 47 = -3*m. Let j(w) be the third derivative of w**5/4 - w**4/8 - w**3/2 + 2*w**2. Is j(m) a prime number?
False
Let a be 683 + 0 - (-7 - -7). Suppose 3*n - 2*n = a. Is n a prime number?
True
Let b = -2165 - -4318. Is b a composite number?
False
Let z be 167*1 - (5 + -6). Suppose b = -3*b + z. Let p = b - -47. Is p a composite number?
False
Let s be (-2 + 3)*(-163)/1. Let k = 29 + s. Is (k/(-6))/(2/6) composite?
False
Let o(y) = -y + 12. Let n be o(9). Suppose v - d - 48 = 246, -2*v + n*d = -587. Is v prime?
False
Is -2 + 8260 + -2 + 7 a composite number?
False
Let t(c) = 6*c + 3. Let o(h) = 3*h - 6*h - 4 - 3*h + h. Let z(i) = -2*o(i) - 3*t(i). Is z(-4) a prime number?
True
Suppose -5*a + 4*c = -45, -2*a + 3*c = 4 - 15. Let q(o) = -2*o + 19. Let i be q(a). Let g(m) = -m**3 - 4*m**2 + 7*m - 1. Is g(i) a prime number?
True
Suppose 5*r - 4 = -14. Let m(v) = v**2 + v - 2. Let d be m(r). Suppose 6*t + 196 - 3442 = d. Is t composite?
False
Let x(i) = -9*i**2 + 8*i + 41. Let t(d) = -d**2 - d + 1. Let q(y) = 5*t(y) - x(y). Is q(13) composite?
True
Is 3*-1 + 3806 + 8 + -18 prime?
True
Let t(k) = 22*k**2 + 5*k + 8. Let g(u) = -21*u**2 - 4*u - 7. Let y(r) = -3*g(r) 