(t) = -t**3 - 9*t**2 - t - 7. Let d be a(-9). Suppose -u = d*u - 9. Suppose u*n = 2*n + 35. Is n a composite number?
True
Suppose -3*c = -5*c - 4*j + 8, -c = -5*j - 4. Suppose -397 = -c*h + 2127. Is h composite?
False
Suppose 0 = -18*b + 30 + 24. Is (-542)/(-2) + b + (-9 - -2) a composite number?
True
Let u = -7 - -7. Suppose 122 = 2*i - 284. Suppose z = 2*a + 31, 0*z - 5*z - 2*a + i = u. Is z a composite number?
True
Suppose 3*a - g = 1840, -2*a - 5*g = -6*a + 2446. Is a a composite number?
True
Suppose 0*l - l = -234. Suppose -2*v + 592 = k, -v + 72 + l = -2*k. Is v a prime number?
False
Let s(c) = 0*c + 2 + c**2 + 0*c + 18*c - 13. Let t be s(-8). Let u = -57 - t. Is u prime?
False
Suppose 34*a + 15820 = 54*a. Is a a prime number?
False
Suppose -1 = -r + 1, 16 = 2*y + 3*r. Let v be 0*(-3 + y + -3). Suppose 0 = -3*p - v*p + 21. Is p prime?
True
Suppose -18*b = 44*b - 1081838. Is b prime?
True
Let w(r) = r**2 - 9*r + 3. Let d be w(6). Let h = d + 17. Suppose -h*p - p + 1193 = f, 0 = -3*f + 6. Is p prime?
True
Let o be 480/34 - 8/68. Let a = o + -15. Is 2/(a/(444/(-8))) prime?
False
Suppose -3*c + 2*q + 5291 = 0, -4*c + 5001 + 2069 = 5*q. Is c composite?
True
Let v = -452 - -1186. Is (-12)/20 - 6/(-15)*v a composite number?
False
Suppose 2609 = 3*j + 14*k - 15*k, 0 = 5*j + 3*k - 4339. Is j composite?
True
Suppose -5*c + 5*i + 5855 = 0, 2342 = -3*c + 5*c + 5*i. Is c a prime number?
True
Let y(i) = i**2 - 7*i - 2. Let j be y(8). Suppose q = -2*x + 10, -2*x = -4*q + j*q - 14. Suppose -b + 6*n + 12 = q*n, -3*b - 4*n = -86. Is b composite?
True
Let o(w) = -20*w + 10. Let f be o(-7). Suppose -3*i - f - 273 = 0. Let m = -83 - i. Is m a composite number?
True
Let h(g) = -23*g**3 + 3 + 3*g - 8*g**3 - g**3 - g**2. Suppose -27*z - 16 = -19*z. Is h(z) prime?
False
Let a(c) = 5 - c**3 - 16 + 7 + 3*c. Is a(-6) prime?
False
Let q(u) be the third derivative of -u**6/120 - 3*u**5/10 - 11*u**4/12 - 5*u**3/3 + 8*u**2. Let c = -15 + -4. Is q(c) prime?
True
Suppose -18*g = -6*g. Is (-5646)/(-14) + g - (-12)/(-42) prime?
False
Suppose 3*q + 408 + 1314 = 0. Let k = q + 1987. Suppose -2*n + 821 = -k. Is n a composite number?
False
Let b be (-3)/(-2)*22/(-33). Let i be 3*(b + (-633)/(-9)). Suppose -3*d + 425 = -i. Is d prime?
True
Let n(d) = 2*d**3 - 11*d**2 + 3*d + 45. Is n(8) a prime number?
True
Let r(d) be the second derivative of d**5/20 + d**4/12 + 3*d**3/2 - 11*d**2/2 - 3*d. Is r(6) composite?
True
Suppose -5*n = -74 - 26. Let p = -18 + n. Suppose -p*w = -3*w + 377. Is w composite?
True
Suppose 4*n = n. Is 2128/7 + n + 3 prime?
True
Let c(n) = 53*n - 36*n + 41*n + 17. Is c(8) a composite number?
True
Suppose 234324 - 879903 = -9*l. Is l a composite number?
True
Let a be (-4 + 5)*2 + -16. Let y = a - -267. Is y prime?
False
Let h(j) = 16*j**2 + 63*j - 26. Is h(-19) composite?
True
Let j(s) = 161*s - 30. Let w be j(-12). Is (7/(-14))/(-1 - w/1964) prime?
True
Is 4/6 + 2/((-12)/(-26342)) a composite number?
False
Let d be ((-68)/(-5) - 1) + 8/20. Is ((-1)/2)/(d/(-19994)) a composite number?
False
Suppose -3*r = -8*r + 6335. Suppose -7*h + r = -1344. Is h a composite number?
False
Let c(v) = 267*v - 83*v - 10 + 10*v + 193*v. Is c(3) a prime number?
True
Let k(o) = -1651*o**3 + 7*o**2 - 1. Is k(-2) a composite number?
True
Let u = -1438 + 4215. Is u a composite number?
False
Let h = -2 - -6. Suppose h*q = 6 - 2. Is (-1114)/q*(-4)/8 composite?
False
Let v(k) = -7*k - 6. Let l be v(-6). Suppose 34*b = l*b - 158. Is b prime?
True
Suppose -q = -5*q + 8. Is q*(-3 + 2) - (-2 + -1191) a composite number?
True
Let p be 9/(45/20) + 3. Let z(h) = 56*h - 24. Let g be z(p). Suppose -3*j + 103 = -g. Is j a prime number?
True
Let f(k) = 2*k**3 - 4*k**2 - 7*k + 12. Let g be (1 - (1 - 0)) + 7 + -2. Is f(g) a prime number?
True
Let b = 815 - 360. Suppose -b - 69 = -4*f. Is f a prime number?
True
Let w be 2 + (1 + -3)/2. Let g(f) = -3*f**3 + f**2. Let x be g(w). Let h(y) = 36*y**2 - 2*y + 1. Is h(x) a prime number?
True
Suppose w + z = 1901, 8*w - z = 3*w + 9505. Is w a composite number?
False
Suppose 6*t - 25 = t. Let u(k) be the second derivative of k**3/6 + k**2/2 + 2*k. Is u(t) a composite number?
True
Let y = -20 - -22. Suppose -r + 0*r + 323 = -4*s, 4*r - 1236 = y*s. Is r prime?
True
Suppose -o + 3*k = -0*o + 11, 3*o = 3*k - 9. Suppose 10 = 4*b - 2. Is o*148 + b/3 composite?
False
Let z = -6 - -23. Let k = z + -13. Is (-1)/2*k*-59 composite?
True
Suppose 9*j + 13633 = 164554. Is j prime?
False
Let g(v) = -72*v - 17. Is g(-22) composite?
False
Let x = -42 + 34. Is 5/10 - 2340/x a prime number?
True
Suppose 9*d - 8124 = 1254. Is d a prime number?
False
Let p be (3/9)/((-1)/(-1203)). Suppose r - 668 = p. Is r composite?
False
Let l(p) = -2*p**2 + 129*p - 5. Is l(22) a composite number?
True
Let j = -12 + 16. Suppose 109 = -j*o - 171. Let r = 203 + o. Is r composite?
True
Suppose -4*b - 17 = -29. Suppose -3*i - 2*k = -3, 4*k - 2*k + 1 = i. Is 1 + 16 + b - i composite?
False
Let y(v) be the first derivative of v**5/20 + v**4 + v**3/6 + 5*v**2/2 - 5*v - 6. Let g(q) be the first derivative of y(q). Is g(-9) a composite number?
False
Let y(z) = -2*z - 9. Suppose 2*q + 12 = -0*q. Let x be y(q). Suppose x*f = 15, 1398 + 117 = 5*b - 4*f. Is b prime?
True
Suppose 4*x - 8*x = 20. Is -3 + (-26)/(-10) + (-3937)/x a prime number?
True
Is 3 - 3 - (-11 - 2468) a composite number?
True
Let h be -578*((-2 - -2) + (-7)/2). Suppose 5*k - 112 = h. Is k a prime number?
False
Suppose 61*l = -i + 56*l + 8938, 0 = -4*i + l + 35689. Is i a composite number?
False
Suppose 0 = 31*o - 28*o - 15441. Is o a prime number?
True
Let y = -42 + 38. Is (-420 + -4)/y - -3 composite?
False
Let i = 3 + -1. Is (1348/(-8))/(i/(-4)) a composite number?
False
Let s(x) = -3*x**2 + 7*x - 1. Let n(u) = u**2 - u + 1. Let c(z) = 4*n(z) + s(z). Is c(13) a composite number?
False
Let q be (84/(-2))/(12/(-1984)). Let a = -1627 + q. Is (a/52)/((-1)/(-4)) a composite number?
False
Suppose -s + 11913 = 2*v, 5*v + 59498 = 5*s + 8. Is s a prime number?
True
Suppose 0*t - 30 = 5*t. Let l be t*(-4)/(-3 + 11). Suppose 3*p = l*h - 240, -4*p + 11 = -9. Is h prime?
False
Let o(x) = 22*x**2 + 3*x + 4. Let p = 11 + -38. Let r = p - -30. Is o(r) a prime number?
True
Let i(g) be the first derivative of g**5/24 - g**4/6 + g**3/3 + 2. Let o(j) be the third derivative of i(j). Is o(3) a prime number?
True
Let x = -14764 + 22844. Let c = -5685 + x. Is c a composite number?
True
Let m(d) = 1497*d + 2. Is m(1) composite?
False
Suppose -r - 3*q + 784 = -480, -q = -4*r + 4991. Is r prime?
True
Let x(z) = -z**2 - 4*z + 3. Let y be x(-5). Let d be (45 - -2)/(y/(-20)). Is 3/(-7) + d/35 prime?
True
Let b be -2 - -40 - 0/(-2). Let o(z) = -z**3 + 12*z**2 - 14. Let h be o(5). Let u = h + b. Is u a prime number?
True
Let h(w) = -w**3 - 7*w**2 - 7*w - 5. Let l be h(-6). Let r be -3*(-3 + (l - -1)). Suppose 5*m = r*m - 4*o + 338, 4*o + 370 = 2*m. Is m a prime number?
False
Suppose -90*d = -120*d + 907230. Is d composite?
False
Let t(j) = -j**3 + 10*j**2 - j + 5. Let w be t(10). Let p be (-4)/10 - 5422/w. Let v = p - 713. Is v prime?
False
Suppose -2*r + 19 = 3*i, 3*r - 4 = 11. Suppose -i*g = -3*k - 528 - 168, -3*k + 3 = 0. Is g a prime number?
True
Let b(n) = n**2 - 15*n + 5. Let m be b(15). Is 1670 - (m - (5 - 1)) composite?
False
Let l = 9646 + -6647. Is l a composite number?
False
Let k = 42826 + -29663. Is k prime?
True
Suppose 2*b - 80207 = 911. Is b prime?
True
Let v(z) = -4*z**3 + 5*z**2 + 11*z + 1. Suppose -26*j = -30*j - 20. Is v(j) a composite number?
False
Suppose u + 1 = 8. Suppose u*d - 414 - 3233 = 0. Is d prime?
True
Let q be (7/21)/((-2)/150). Let u = 23 + q. Is -89*(1 - u/(-1)) composite?
False
Suppose -2*r = -4*r + 12. Let w be -2*3/r - -3. Suppose -w*v + 0*a = -a - 418, -824 = -4*v + 5*a. Is v a prime number?
True
Let d(b) = -b + 21. Let x be d(4). Suppose -16*z + x*z = 11. Is z composite?
False
Let n(d) be the second derivative of 5*d**3 - 5*d**2/2 - d. Let f be (-2)/(4/((-32)/4)). Is n(f) a composite number?
True
Let q = 37 - 29. Suppose -8636 = -q*j + 4*j. Is j prime?
False
Let q(i) be the first derivative of 13*i**3/3 + i**2 + 17*i + 11. Is q(6) a prime number?
False
Let x = -352 - -1569. Is x a prime number?
True
Suppose 0 = -3*u - u +