). Is s(l) a prime number?
True
Suppose -3*f = -5*r - 349, f - 2*f + 121 = -4*r. Is f a composite number?
False
Let t(o) = o**3 - 8*o**2 + 11*o - 9. Suppose 6*d - 15 = d. Suppose b = -d*b + 28. Is t(b) composite?
False
Let u be 8 - 6 - (-2 - 513). Suppose 1248 = 5*p - u. Is p a composite number?
False
Let s be 2*(33/(-6) - -1). Let q(c) = -c**2 - 8*c + 12. Let n be q(s). Suppose -4*j - n*p = -59, j - 3 = -p + 12. Is j composite?
True
Suppose -5*u = -0*f - f - 5744, 0 = 4*u - 2*f - 4600. Let q(c) = c**3 - 7*c**2 + c - 4. Let h be q(7). Suppose h*l + l = u. Is l a composite number?
True
Let z(u) = -18*u - 18. Let g(f) = 18*f + 19. Let w(x) = -5*g(x) - 6*z(x). Is w(11) prime?
True
Suppose -o + 101 = -98. Is o composite?
False
Let x be 498*(-4 + (-1 - -6)). Suppose 5*p = x + 817. Is p composite?
False
Suppose -5*w + 2855 + 570 = 0. Is w a prime number?
False
Let p = 155 - -96. Suppose 3*u = 2*u + p. Is u composite?
False
Suppose 40*b - 22 = 39*b. Is b a prime number?
False
Let c = 290 - 203. Is c a prime number?
False
Suppose -g - 8 = -3. Let m(f) = -2*f**3 + 3*f**2 + 5*f - 7. Is m(g) a composite number?
False
Let n(r) = -3*r**3 - 15*r**2 - 3*r + 1. Is n(-6) composite?
False
Suppose -2*q = -4*p + 314, 2*q + 3*q - 73 = -p. Suppose 0 = 3*l + 5*w - p, 4*w + 47 = 4*l - 25. Is l a composite number?
True
Let l = 439 - 172. Is l a prime number?
False
Let v(b) = b**2 + 4*b - 3. Let o be v(3). Suppose 0 = -s - x - 7, s - 2*x = 2*x + o. Is s/(-3*4/1398) composite?
False
Let o(z) be the second derivative of 32*z**4/3 + z**3/6 - 3*z. Is o(-1) a composite number?
False
Suppose 82 + 10 = 2*r - j, r = 5*j + 46. Suppose 4*i - 166 = r. Is i prime?
True
Let a = 252 - 93. Is a a prime number?
False
Is (-460)/(-75) + (-2)/15 composite?
True
Let g(i) = 143*i + 13. Is g(6) a composite number?
True
Let c(z) = -2*z - 1. Let y be c(-7). Suppose -160 = -5*h + 3*q, 2*h + 18 - 82 = 3*q. Suppose 0 = -3*t + h + y. Is t composite?
True
Suppose 0 = -2*u - 3*u - 50. Let i be 15/25 + (-194)/u. Suppose -r - i = -3*r. Is r prime?
False
Suppose -4*t + 2*w - 6*w = -16, 3*t = 3*w + 42. Suppose 0 = -5*p + 2*p + t. Suppose p*d - 5*f - 121 = 0, f + f = -5*d + 181. Is d a prime number?
True
Let f(i) = 18 + 0*i - 18 - 2*i. Suppose -10 = 5*r + 15. Is f(r) a prime number?
False
Let x = -96 - -287. Is x prime?
True
Suppose 7*y - 2*y = -2*j + 96, -4*y + 94 = 2*j. Suppose 4*r - 279 = -j. Is r a prime number?
True
Let a(t) = 97*t. Is a(5) a prime number?
False
Let c(y) = -3*y - 3. Let x be c(-3). Let k = x - 2. Suppose -55 - 213 = -k*b. Is b composite?
False
Let k be ((-39)/26)/(6/6704). Is 1*k/8*-2 a prime number?
True
Let m = -573 + 871. Is m prime?
False
Let m(l) = -10*l**2 + 194. Let t(r) = 7*r**2 + 16*r - 129 - 16*r. Let w(s) = 5*m(s) + 7*t(s). Is w(0) a prime number?
True
Let f be (-68)/(-18) - 16/(-72). Suppose -o = -k + 3 + 81, f*o - 186 = -2*k. Is k a composite number?
True
Let f = -33 + 74. Let b = f - 22. Is b prime?
True
Suppose -3 = g - 3*b, -2*g - b - 2 = -3. Suppose -2*o + 6*o - 5*j - 304 = g, -o = -3*j - 83. Is o composite?
False
Let f be (153/(-12))/(3/24). Let b = f - -217. Is b a composite number?
True
Suppose 0 = n + 3*a - 214, 4*a = -n - a + 222. Is n a composite number?
True
Suppose 4*h - 643 = -5*i, -2*h + 512 = -3*i + 7*i. Is i composite?
False
Let k = 42 - 29. Is k composite?
False
Let i(f) = 239*f**2 + 5*f - 8. Is i(2) a composite number?
True
Is (7 + -6)/(2/1354) a composite number?
False
Suppose -69 = -0*q + q. Let w be (-2)/7 - q/21. Suppose f = w*f - 50. Is f a prime number?
False
Suppose -c - 43 = g + 3*g, 2*c + 66 = -3*g. Let y = 32 - c. Is y prime?
True
Let k = 190 + 47. Is k composite?
True
Let r = 790 - 541. Is r composite?
True
Suppose -3*m + 6 = -m. Suppose 3*f + 6 = 21. Suppose -v - 76 = -f*n - 2*v, -v - 44 = -m*n. Is n prime?
False
Let t = 3 - 2. Suppose -3*j = 2 + t. Is (-18)/j - 24/(-8) prime?
False
Let u = 2254 + -1344. Suppose 5*q - 5*w = -49 + 929, -5*q - w + u = 0. Let i = q + -107. Is i a prime number?
False
Let w = -6 + 9. Let t(i) = 5*i. Is t(w) a composite number?
True
Let i = -6 + 9. Suppose -t = -2*t + 5*y + 8, 0 = i*t - 4*y - 13. Suppose h - 4*o + 2 = 0, h - 2*o - t = 3. Is h composite?
True
Let k be 40/12 - 1/3. Is k + (-3)/(-3)*250 a prime number?
False
Let s be (-75)/(1*(-6)/8). Suppose -2*g - 3*g = -s. Suppose 2*w - g = -0*w. Is w a prime number?
False
Let c(t) = -2*t**3 - 9*t**2 - t - 3. Let r = 9 - 15. Is c(r) a prime number?
False
Let z = 6 - 9. Let o = z - -3. Suppose -5*s + 0*s + 485 = o. Is s composite?
False
Let z(j) = j**3 - 2*j**2 - 3*j - 6. Let k be z(6). Let f be 74/4*2 + -2. Let y = k + f. Is y composite?
True
Suppose -h = -2*w + 81 + 7, 0 = 4*h + 3*w + 407. Is (1 - 0)*-1 - h prime?
True
Suppose 0 = 4*j - 15 + 3. Let s(v) = 1 + v - 6 + j*v. Is s(4) prime?
True
Let m = 127 + 131. Let o = m - 7. Is o a composite number?
False
Let x be (-164)/(-10) - (-3)/5. Suppose -2*k - m + x = -0*k, k - 4*m = 31. Let n = k + -8. Is n a prime number?
True
Let j = -44 - -26. Let b be (j/15)/(4/(-10)). Suppose 94 = b*n - n. Is n a prime number?
True
Let b be (-4)/(-10) - (-18)/5. Let n be (2/(-4) - 0)*-4. Suppose n*s - 10 = -b*m, -2*s - 3*s = -3*m - 77. Is s prime?
True
Let y(v) = v**3 - 7*v**2 + 7*v - 3. Let u be y(6). Suppose -u*o + 118 = -o. Is o a prime number?
True
Let q = -14 - -22. Let z(l) = 2*l**2 - 8*l + 3. Is z(q) a prime number?
True
Let a = 198 - -197. Is a a composite number?
True
Let o(d) be the second derivative of 3*d**3 - 5*d**2/2 - 8*d. Is o(12) composite?
False
Let m(d) = -d**3 + d**2 + d + 1. Let q be m(-1). Let h(y) = -5*y**2 + 52*y**q + 37*y**2 + 1. Is h(-1) a composite number?
True
Suppose 2*o + 2*v = 904, -2*o = 2*o - 3*v - 1787. Is o a prime number?
True
Let s = 6073 - 2954. Is s a composite number?
False
Suppose 1 = 4*l - 3. Let c(f) = 32*f**3 + 2*f**2 - 1. Is c(l) composite?
True
Suppose -6*b - 78 = -5*p - 2*b, -4*b + 66 = 3*p. Suppose -k = 5*j - 300 - 120, 0 = 3*k - 15. Suppose j = h + p. Is h a composite number?
True
Suppose j - 5*j = -3*r + 941, -943 = -3*r + 5*j. Is r composite?
False
Suppose 5*w - 4*w + 5 = o, -4*o = 3*w + 15. Is -1 - (w - -3 - 148) prime?
True
Let l(m) = -34*m - 1. Let x = -5 - -4. Is l(x) prime?
False
Let c = 72 - 262. Let x = -120 - c. Suppose 6*v - x = v. Is v a prime number?
False
Suppose s = 21 + 67. Let r = s - 31. Is r a composite number?
True
Let r(h) = -2*h - 3. Let o(k) = -10*k - 16. Let n(q) = -2*o(q) + 11*r(q). Let p be n(-1). Is (13 - (p + -2)) + 1 a prime number?
False
Let u(z) = 2*z + 271. Let o(h) = -h + 12. Let b be o(12). Is u(b) prime?
True
Let x = -7 - -6. Let b be x - 2/4*-6. Suppose -b*a = a - 39. Is a a prime number?
True
Suppose 0 = -5*i + 5*c + 25, -i + 2*c + 9 = -c. Is (-2)/i - 233/(-3) prime?
False
Let t(n) be the third derivative of -11/60*n**5 - 2*n**2 - 1/3*n**3 + 1/24*n**4 + 0 + 1/120*n**6 + 0*n. Is t(11) a composite number?
True
Let d(o) = -o**3 - 8*o**2 + 5*o - 5. Let j be d(-9). Let w(m) = m**2 - 5*m + 4. Let k be w(5). Suppose 0 = s + k*l - j, 0*s - 2*s + 62 = 3*l. Is s composite?
False
Let r(t) = 5*t - 1. Is r(1) composite?
True
Suppose 5*d = 2*v - 32, 2*v + 5*d - 115 = -3*v. Suppose v - 233 = -4*f. Is f a composite number?
False
Let k(x) be the first derivative of 2*x**3 + 3*x - 6. Is k(-3) composite?
True
Let a be ((-96)/(-56))/(2/(-1106)). Is 2/6 + a/(-18) composite?
False
Is 2 + 65 + (5 - 5) prime?
True
Let w = 7 - 16. Let p(x) = x**2 - 7*x - 11. Is p(w) composite?
True
Let c = -2 + 5. Suppose 5 + 7 = c*g. Is 1 + 6/g*2 a composite number?
True
Let i(y) = 2*y. Let t be i(3). Suppose -t*n + 5*n = -53. Is n a prime number?
True
Let r(u) = -2*u**3 - 5*u**2 + 10*u - 26. Is r(-11) prime?
False
Let i(m) be the second derivative of m**6/360 + m**5/60 - 5*m**4/24 + m**3/6 + 3*m. Let f(s) be the second derivative of i(s). Is f(-6) prime?
True
Suppose 5*n + w + 3*w = 690, -4*n - 2*w = -546. Is n a composite number?
True
Let n be (2/(-2))/(0 - -1). Let o = -1 + n. Is (o/(-4))/(1/12) prime?
False
Let s(a) = a**3 + 10*a**2 - 11*a - 7. Is s(-10) prime?
True
Suppose 4*u = 5*l - 16, 4*l - 5*l + 5*u = 1. Suppose 4*o = c - 49, 2*c - 59 = -l*o - o. Is c a prime number?
True
Let a = 6078 + -3719. Is a a prime number?
False
Let w be (36/8)/(1/4). Suppose 0*o + 3*v + w = 3*o, 