 j = l + k. Is j a composite number?
False
Let o = -3 - -144. Suppose c = 2*c - o. Is c a prime number?
False
Let a(l) = 8*l - 15. Let o be a(10). Is (6 - o)*(-2 + 1) prime?
True
Let u = 522 - 243. Suppose 5*h - 536 - u = 0. Is h a composite number?
False
Let g = -431 - -768. Is g a composite number?
False
Let w = 1 - 0. Is w/((5 + -3)/158) a composite number?
False
Let q be (3/(-3) - -1) + 109. Let a = q + -74. Suppose 0 = -w, 0*w + a = 5*k + 2*w. Is k prime?
True
Suppose 5*o = 3*o + 10. Let p(v) be the first derivative of v**4/4 - 2*v**3/3 - v**2/2 - 3*v + 5. Is p(o) prime?
True
Suppose 3*a = -3*d + 24, -2*a - 3*d + 4*d = -4. Let j(v) = -4*v**2 - 7*v + 5. Let r(q) = 8*q**2 + 14*q - 11. Let l(s) = a*r(s) + 7*j(s). Is l(6) prime?
False
Suppose -5*a = 4*l - 9802, 5724 = -5*l + 5*a + 17999. Is l composite?
True
Let z(r) = -r**3 + 7*r**2 - 2*r - 5. Suppose 0 = 5*c + 3*d - 1, c - 3 - 5 = 2*d. Let o be 9/(2 - c/4). Is z(o) a composite number?
False
Suppose 9*o = 10*o - 1751. Is o a composite number?
True
Suppose 4*c + 5*x = 1147 + 192, 0 = 3*c - x - 990. Is c composite?
False
Let n(q) = q**3 - 13*q**2 - 16*q - 11. Let m be n(15). Suppose b - m = -r - r, -5*b + 5*r = -935. Is b prime?
True
Suppose 0*g - 2*g + 10 = 0. Let d(l) = 3*l**2 + 0*l - 6*l**2 + 2*l**3 - 2*l**2 - 5 - 5*l. Is d(g) composite?
True
Suppose -y - 16 = -3*m - 406, 0 = 5*m - 10. Let q be (-2)/6 + 4616/6. Let v = q - y. Is v a composite number?
False
Let i(k) = -4*k + 3. Let s be i(2). Let m(q) = -11*q + 3. Is m(s) a prime number?
False
Let x(v) = 59*v**3 - v**2 + v - 1. Is x(1) composite?
True
Suppose 0*a - 20 = -4*a. Suppose w + 2*w - 12 = 2*y, 5*w - a*y - 15 = 0. Is (2/w)/(1/75) prime?
False
Suppose 132 + 256 = 2*k. Is k a prime number?
False
Is 3/(((-12)/86)/(-2)) a prime number?
True
Suppose -2*h = -2*r - 11852, 9*r - 23680 = -4*h + 5*r. Is h composite?
False
Suppose 0 = -0*x - 5*x + 12895. Is x a prime number?
True
Let l = 89 + -63. Is l composite?
True
Let f(r) = r + 6. Suppose 2*d - d - 7 = 0. Is f(d) composite?
False
Suppose -2*z + 3 = q - 120, -z - 528 = -4*q. Is q composite?
False
Let u = 7 + -7. Suppose -k + 159 = -u*k. Is k a composite number?
True
Let y be (-3)/3*-1*16. Suppose -2*m + 60 = 2*c, c - 47 - y = -2*m. Is m a prime number?
False
Suppose 10*i = 7193 + 197. Is i composite?
False
Suppose 29*p = 24*p + 385. Is p a prime number?
False
Let n = 3 - -14. Suppose 0 = r + x - 3*x + 2, x + n = -4*r. Let f(k) = -k**3 - 2*k**2 + k - 2. Is f(r) prime?
False
Let x = -197 + 342. Is x composite?
True
Let d(b) = 5*b + 5. Is d(6) prime?
False
Let z be 3*-4*1/(-1). Is (-1111)/(-6) + (-2)/z a composite number?
True
Let o be (13*-1)/(1 - 2). Let r = -36 + 123. Let x = r - o. Is x prime?
False
Is (4/2)/((-6)/(-4353) + 0) prime?
True
Let s(k) = 3*k**2 + 3*k + 1. Let t(z) = -z**2 + 11*z - 7. Let a be t(10). Is s(a) a composite number?
False
Suppose -1 = -f + 9. Suppose -v - 4*v = 0. Let l = v + f. Is l composite?
True
Suppose -5*a + 816 = 76. Let g = a + 1. Is g composite?
False
Suppose 0 = v + 3*j + 17, v - 3*v - 3*j = 22. Let y = v + 18. Is y composite?
False
Let y be 2/(-5) - (-124)/10. Suppose 0 = -3*s - 2*a - 1 + y, s = -3*a - 1. Suppose -n + 14 = -s. Is n a prime number?
True
Let d(r) = 3*r**3 - 6*r**2 - 10*r + 7. Is d(6) a composite number?
False
Suppose -5*l = 2*s + 60, l + 25 = -3*s - 0*s. Let r(q) = q**3 + 10*q**2 - 14*q - 13. Is r(l) prime?
True
Suppose 2*x = -2 - 0, 5*f - 5*x - 4080 = 0. Let s = f + -464. Suppose -k = -4*h + 7 + s, -2*h - 3*k + 172 = 0. Is h a prime number?
True
Let w(l) = -14*l - 1. Let r be w(-1). Suppose -b = 0, -f - 2*b - 2*b = 6. Let x = r - f. Is x composite?
False
Suppose d = -2*x + 331, -d = 4 - 1. Let m = x + -112. Suppose -m = -3*y + 2*p, 24 = 4*y - 4*p - 48. Is y prime?
True
Let h(q) = -191*q. Is h(-7) prime?
False
Let j(q) = -q**3 - 10*q**2 + 2. Let c be j(-10). Suppose -c*y + 188 = 70. Is y prime?
True
Suppose q - 75 = 136. Let h = 398 - q. Is h composite?
True
Is 8/12 - 194/(-6) a prime number?
False
Suppose 4*j + 4 = -4*u, 0 = 5*u - 0*u + 3*j - 3. Suppose -3*i + 1680 = b - 4*b, i = -u*b + 572. Is i composite?
False
Is 3/(1 - (-138)/(-141)) a prime number?
False
Let r(d) be the third derivative of d**6/120 + d**5/12 + d**4/12 - 5*d**3/6 + 4*d**2. Let y be r(-4). Suppose -6*t + y*t = -339. Is t composite?
False
Suppose 3*p + 12 = 0, 5*j + p - 2273 = 3*p. Is j a prime number?
False
Suppose 8*l - 6*l - 186 = 0. Is l composite?
True
Let u(a) = 9*a - 5. Is u(10) a prime number?
False
Suppose -5*v - 4*s = -0*s - 401, 0 = 2*s - 8. Is v prime?
False
Let f = 264 + -157. Suppose -2*h + f + 343 = 0. Suppose 0 = i + 76 - h. Is i a prime number?
True
Let o(x) be the third derivative of x**4/24 - x**3/2 - x**2. Let a be o(5). Is a + 9 + -2 + 2 a composite number?
False
Suppose -2*r + 4 = -p, 6*r - 4*r + 12 = 5*p. Suppose 5*n - 321 + 87 = -l, -l = -r. Is n prime?
False
Let o(i) = -2*i**3 - 4*i**2 - 7*i - 4. Let n be o(-4). Let k = n - 18. Suppose -k = -4*a + 78. Is a prime?
True
Let i = 90 - 50. Suppose 4*u + u = i. Suppose -t + u - 1 = 0. Is t a prime number?
True
Let s(l) = -2*l**2 - 2*l + 3. Let c be s(2). Is (c/6)/((-3)/62) a prime number?
True
Suppose -n + 4 = -2*z, -4*n = -n + 5*z - 67. Suppose 4*k - 3*h - n = 0, -12 = -4*k + k + 3*h. Is 21 + (0/k)/(-1) composite?
True
Let n be (4 - 1)*(-10)/(-6). Let g(s) = 38*s + 1. Is g(n) prime?
True
Suppose 3*j - 3*a - 1348 = 53, 5*a - 1417 = -3*j. Is j composite?
True
Let w(m) = -3*m + 15. Let z(t) = -7*t + 30. Let x(v) = 5*w(v) - 2*z(v). Let u be x(-11). Suppose 3*o + 4*j = 2*o + 51, o = j + u. Is o a composite number?
False
Let f = 28 + -16. Suppose -37 + f = -5*n. Suppose -a - 3*h = -4, -n*h + 5 - 49 = -a. Is a a prime number?
True
Let n be (-4)/(-3)*(-3)/(-2). Suppose -n*i + 5 = -i. Let a(k) = k**2 + k + 4. Is a(i) a composite number?
True
Suppose 0 = 3*d - 4*d + 106. Suppose d = t + t. Is t a prime number?
True
Suppose 2*r - 46 = 7*r + 4*p, 2*r + p = -16. Let g = 17 - r. Is g a composite number?
False
Let k = 4 + -5. Let b = k - 51. Is (2/4)/((-2)/b) composite?
False
Let h(s) = 4*s - 6. Let w be h(-6). Let m(l) = l**3 + 3*l**2 - 6*l - 5. Let g be m(-4). Is ((-5)/2)/(g/w) prime?
False
Let t be (81/18)/(3/4). Is (-2 - 1)*(-74)/t a prime number?
True
Suppose -f + 173 = -200. Is f a composite number?
False
Suppose 0 = 2*t + 4*s + 24, -t - 44 = 2*t - 2*s. Is 4/t - (-1917)/21 composite?
True
Let o = 277 + -129. Let s = 293 - o. Is s prime?
False
Let o = 10 - 7. Suppose -2*q + 51 = -5*d, -o*q + 119 = 2*q - 4*d. Is q a prime number?
True
Suppose -3*r + 11 = -2*s, -5*r + 18 = -3*r - 4*s. Let y be 6/(-30) + 222/10. Is r/(-3) - y/(-3) composite?
False
Let y(o) = 2*o**2 - 11*o - 15. Is y(-10) a prime number?
False
Let g(h) = 39*h**2 + 7*h - 5. Is g(-6) a prime number?
False
Let g(k) = -9*k**2 + 18*k + 7. Let y(v) = -6*v**2 + 12*v + 5. Let f(p) = 5*g(p) - 8*y(p). Is f(6) a prime number?
True
Suppose 4*x - 3*i - 3409 = -750, x - i - 664 = 0. Is x a composite number?
True
Let s = 682 - 301. Is s a prime number?
False
Suppose -5*n = 5*r - 770, -r - 2*r = 5*n - 456. Is r prime?
True
Let p(t) be the third derivative of -77*t**4/8 - 7*t**3/6 - 6*t**2. Is p(-4) prime?
False
Let o(v) = -2*v**3 + 23*v**2 - 7*v - 1. Is o(11) composite?
False
Let m = 570 + -263. Is m prime?
True
Let s(y) = 67*y**3 + y**2 - 2*y + 1. Is s(1) a prime number?
True
Let k(w) = 27*w**3 + 2*w**2 - 2*w + 1. Is k(2) a composite number?
True
Let h(j) = 3*j**2 + 8*j - 3. Let v = -4 + 8. Suppose 30 = v*z - 9*z. Is h(z) prime?
False
Suppose -2*x - 5*f + 50 = 3*x, -4*x + 15 = -f. Suppose 0 = -x*c + 43 + 442. Is c a composite number?
False
Let b(x) = -x**3 - 2*x**2 - x + 2495. Is b(0) prime?
False
Suppose -2*n - 3*h = 55, 3*n - 4*h = -0*h - 74. Let x = 36 + n. Suppose 2*m = -4*s + 10, -3*m + 5*s + 36 = x. Is m a composite number?
False
Let t(f) = 63*f - 19. Is t(14) prime?
True
Suppose 3*r + 127 = 4*p + 48, -4*p = -4*r - 76. Is (-4)/(8/(-7))*p a prime number?
False
Let a(s) = 30*s + 7. Is a(3) a composite number?
False
Suppose -2*k = k - 16521. Is k prime?
True
Let c(q) = 2*q**2 + 4*q - 4. Let o = 11 - 8. Let r be c(o). Let t = -16 + r. Is t a composite number?
True
Suppose -809 + 23 = -3*r. Is (r/(-4))/((-3)/6) a composite number?
False
Let d(l) = -l**3 + l