 = 2*a - 239. Is x a prime number?
False
Let k(l) = -l**2 + 2*l - 157. Let f(r) = 2*r**2 - 5*r + 314. Let v(t) = -4*f(t) - 9*k(t). Let d be 3/(-18) - (-8)/48. Is v(d) prime?
True
Let o be (-2)/8 - 272/(-64) - 4. Suppose o = -5*m - 12*m + 58361. Is m a prime number?
True
Let a be 4/2*9/6. Suppose 0 = -2*q + 5 - a, q - 4 = 3*i. Is 90 - (1 + (-3 - i)) a composite number?
True
Let k = 26 - 24. Suppose 0 = f - 3*q - 267, -2*q = -k*f + 3*f - 247. Suppose 2*n - 3*u = -0*n + 170, 3*n + 5*u - f = 0. Is n a prime number?
False
Is 1492092/44 + -1 + (-18)/(-22) a composite number?
False
Suppose -4*i - 3*s + 6322 = 0, -2*s + 208 = -i + 1783. Is i prime?
True
Let q = 9 - 7. Let t be q + (3 - (-1 - -4)). Suppose 2*f = -z - z + 48, -t*f = -2*z + 36. Is z a composite number?
True
Let a(f) be the second derivative of f**5/20 - 5*f**4/6 + 7*f**3/2 + 11*f**2/2 + 2*f. Is a(9) composite?
True
Let j(b) = b**3 + 24*b**2 - 25*b + 5. Let d be j(-25). Let a(q) be the first derivative of 3*q**4/4 - 8*q**3/3 + 4*q**2 - 4*q - 1. Is a(d) a prime number?
True
Suppose 2*r + 3*r - 2213 = -3*b, -2*b + 2217 = 5*r. Is r a prime number?
False
Let d = 1349 + -625. Let h = 13 + d. Is h composite?
True
Suppose 2*f + 5*g = 18200 + 3731, -12 = 4*g. Is f prime?
True
Let s(d) = 86*d - 7. Let u be s(10). Suppose 139 + u = 4*a. Let q = 15 + a. Is q a prime number?
True
Suppose -36*c + 40*c - 26428 = 0. Is c prime?
True
Let a(q) = 557*q + 51. Is a(4) a composite number?
True
Let v(u) = -2*u**3 + u**2 - 2*u - 4. Let q(g) = -g. Let b(l) = -6*q(l) + v(l). Is b(-5) composite?
False
Let r(t) = -4*t**3 + 5*t**2 + 2*t - 4. Let s(q) = 2*q**2 + 2*q + 1. Let v be s(-2). Let a be r(v). Let o = a + 623. Is o prime?
False
Suppose 0 = -0*c + 3*c + 81. Let j = -2 - c. Is j a composite number?
True
Suppose 3*o + 2*v - 3*v + 24 = 0, -o + 5*v = -6. Is ((-87)/o)/(3/18) prime?
False
Let u be (-2)/(-5)*-8*-5. Let a = u - 11. Is (178/(-5))/((-2)/a) a composite number?
False
Suppose -2*d - 625 = 3*n + 183, 0 = 3*n - d + 811. Let w = n - -577. Is w prime?
True
Let x(f) = 6*f**3 - 2*f - 3. Let j be x(3). Let t = 404 - j. Is t a composite number?
False
Suppose 0 = -3*v - 5*u + 349511, -5*v - 44*u + 41*u = -582529. Is v prime?
True
Let q be (904/(-32) - (-1 - -3))*-28. Suppose -2*f - 309 = -2*x + q, 0 = -5*x + 3*f + 2900. Is x prime?
False
Let n(o) = o**3 + 8*o**2 - 21*o - 33. Is n(-7) prime?
True
Let u(d) = -5325*d + 56. Is u(-9) a composite number?
False
Let o(z) = -3*z**3 - 3*z**2 + 4*z. Let i be o(-3). Let q = -27 + i. Suppose 6*b - 3*b = -q, -2*b + 23 = v. Is v a composite number?
True
Suppose -2*o = 2*o - 104. Suppose -o*m + 30*m = 0. Suppose -j - 4 = m, -3*j + 1954 = 5*g + j. Is g a composite number?
True
Let j be (36/10)/(9/37110). Let y be (-6)/(-10) - j/15. Let a = y - -1396. Is a a prime number?
False
Suppose 5*r - 6817 = 4*s, -34*s - 4074 = -3*r - 37*s. Is r a prime number?
True
Let v(t) = -t**2 + 11*t + 2. Let k be v(11). Suppose -2*m + 10 = 0, 3*p - k*m + 0 = -1. Is p/(-5) - 1916/(-10) prime?
True
Suppose 0 = -3*j + 4*z + 18, 0*z = -j + 2*z + 8. Suppose 3*a = a + v + 132, -a = -j*v - 69. Suppose 239 = 2*m + a. Is m composite?
True
Let a = -28 + 30. Is 1363 + (0 + 0 - a) prime?
True
Suppose 0 = 799*s - 807*s + 7672. Is s composite?
True
Let o be 5/2 + (-3)/(-6). Suppose -3*f + f = y - 399, -o*f + 618 = -5*y. Is 2*5/5 + f a prime number?
False
Suppose 0 = 3*q + 3 - 18. Suppose -2*u + 7*u - 3*p - 3939 = 0, -3935 = -q*u + 5*p. Let l = -452 + u. Is l a composite number?
False
Suppose -5*d - 14 = -4. Is d/(3*(-4)/1218) a composite number?
True
Suppose 10*f + 6156 = 89666. Is f prime?
False
Let f(h) = h + 2. Let s be f(2). Suppose 3*d + 32 = -s. Let i = d - -123. Is i composite?
True
Let x(g) = g**3 - 4*g**2 - 35*g - 7. Is x(18) a composite number?
True
Suppose -p + 2*p = 2. Let j be 310/4 - (-11)/(-22). Suppose 0 = -p*k + 81 + j. Is k a prime number?
True
Let c be (-8 - -1) + 30/10. Is (-2)/14 + c*(-156)/7 a composite number?
False
Let g = 9599 - 5026. Is g a prime number?
False
Let o(l) = 67*l + 29. Let a be o(5). Suppose -3*y + a = -29. Is y prime?
True
Let a(s) = -17*s - 13. Let u(j) = j**2 + 7*j - 8. Let o be u(-5). Is a(o) a prime number?
True
Is ((-8 - -7)*-1949)/1 a composite number?
False
Let m = -472 + 673. Is m a composite number?
True
Suppose 0 = -3*c + 241 + 455. Suppose -3*j - 654 + c = -2*y, 2*y - j = 422. Is y composite?
False
Let n(h) = -h**2 - 5*h - 3. Let g be n(-2). Suppose -g*o = 3*o - 30. Suppose 692 = 5*k + 2*c - 567, -o*c = -2*k + 521. Is k a prime number?
False
Let l(j) = -j**2 - 2*j + 10. Let f be l(2). Suppose 0 = -2*p + f*w + 70, 5*w = 1 - 6. Is p composite?
True
Let j = 7733 - -8568. Is j prime?
True
Suppose -739 = -l - 3*u - u, 4*u + 3695 = 5*l. Let x be l + (3 - -1 - 3). Let d = x - 403. Is d a composite number?
False
Let o be 3 - 10/(-7 - -2). Suppose 910 = o*v + 5*v. Is v composite?
True
Suppose -o + 48697 + 39552 = 4*f, 0 = -5*f - 4*o + 110303. Is f a composite number?
False
Let g = -23 - -25. Suppose g*p = p + 2. Suppose 0 = -3*a + a + 2*v + 174, -p*v = -4*a + 340. Is a a composite number?
False
Let b(t) = 639*t**2 - 17*t - 123. Is b(-7) a composite number?
False
Let q be (-2 + 2)/5 - 0. Suppose -4*u + 12 = 0, -f + q*u - u = -7. Suppose -f*i + 698 = 190. Is i a composite number?
False
Let i be (-4)/(-10) - 336/(-35). Suppose 17 = -3*w + p - 12, -2*w - i = -3*p. Let k = w - -30. Is k a prime number?
True
Let b(y) = 2 + 29*y + 0 - 2 - 3. Suppose 4*j = 3*j + 4. Is b(j) a prime number?
True
Let q(r) = -40*r + 8. Let v be 9/(-1) + 8 + -5. Let z be q(v). Let n = z + -135. Is n prime?
True
Let q = 106 + -347. Let b(j) = 3*j**3 - 9*j**2 + 11*j - 28. Let s be b(6). Let a = s + q. Is a a composite number?
True
Suppose 15 - 9 = 2*z. Suppose -z*w = -w - 38. Is w a prime number?
True
Suppose 3 = 2*k + 23. Let o(y) be the third derivative of -31*y**4/24 - y**3/2 - 4*y**2 - y. Is o(k) a prime number?
True
Let c(i) be the third derivative of -i**7/840 + i**5/120 + 55*i**4/24 - 2*i**3/3 - 4*i**2. Let w(x) be the first derivative of c(x). Is w(0) prime?
False
Suppose 0 = 94*t - 102*t + 156424. Is t prime?
True
Suppose -3*i + d + 0*d = 6, -i - 2 = 3*d. Let a = i + 75. Suppose q - a = -2*m, -m + 4*m + 3*q = 108. Is m a composite number?
False
Let w = 6820 + -2327. Is w a composite number?
False
Suppose -2 = -m - 0*m. Suppose 2*c = -4*a + 3064, -2*c - m + 774 = a. Is ((-3)/6)/((-2)/a) composite?
False
Let b = -6777 + 12970. Is b a composite number?
True
Suppose -1817603 + 241633 = -55*q. Is q prime?
False
Let c(z) = -315*z**3 + 2*z - 1. Suppose -5*v + 0 = -5. Let k be c(v). Let w = k + 471. Is w composite?
False
Let h(i) = -8406*i + 7. Is h(-6) a prime number?
False
Suppose 38*r - 33*r = 4*h - 76239, 0 = -2*h - 2*r + 38142. Is h prime?
False
Let o(t) = 2*t**2 - 3. Let l be o(2). Suppose 11 = -l*n + 26. Suppose -5*g = 4*i - 529, -3*i = -2*i - n*g - 128. Is i prime?
True
Let j be (-1192)/(24/(-6)) + (-2 - -3). Suppose 2*x + 4 = 4*x. Suppose -1441 = -5*p + 2*q, -p + x*p - j = 4*q. Is p composite?
True
Let c = 108 + -103. Suppose -2*a + c*k + 4797 = -866, k = 4*a - 11281. Is a composite?
False
Suppose -r - 2*z + 371 = -442, -4*z + 4077 = 5*r. Let i = r - -552. Is i a composite number?
True
Suppose 1830 = f - 607. Is f composite?
False
Suppose 5*p = 2*p. Suppose -4*y - 6071 - 1029 = p. Is (6/(-3))/(10/y) composite?
True
Suppose p - 5*p + 8 = 0. Suppose p*o - 5*o = -9. Suppose 150 + 269 = 2*i + o*n, -10 = 2*n. Is i prime?
False
Let k(w) be the first derivative of -3 + w - 1/2*w**2 + 65/2*w**4 + 1/3*w**3. Is k(1) composite?
False
Suppose 0 = -6*p + 790 + 218. Let b(i) = i**2 - i + 3. Let n be b(0). Suppose n*w - p = 213. Is w a prime number?
True
Let n(z) = -23*z**3 - 25*z**2 - 36*z + 3. Is n(-15) composite?
True
Is (4/(-6))/2 - (-168916)/66 prime?
False
Let b(i) = i**2 - 3*i + 2. Let s be b(3). Suppose -s*j - 2*l + 5 = 525, -j - 4*l = 257. Is (2/3)/((-2)/j) prime?
False
Suppose -5*k = 3*r - 45328, 4*r = 3*k + 66483 - 6094. Is r prime?
True
Let y(f) = f**2 - f + 4. Let t be y(0). Suppose -t*g = -3*g + 3, -g + 727 = 5*b. Is b composite?
True
Suppose -42*n + 47*n - 4390 = 0. Suppose -3*m + n = -m. Is m prime?
True
Let k(a) = 5*a**3 - 12*a**2 - 16*a - 21. Let p(z) = -2*z**3 + 6*z**2 + 8*z + 10. Let q(