 Let m = j - 17. Is m composite?
False
Let q(m) = -6 + 32 - 587*m + 572*m. Is q(-23) a composite number?
True
Let x = -2906 + 9033. Is x a composite number?
True
Let a(u) = -28*u**3 + 3*u + 2. Let q be a(-2). Suppose 0 = 2*w - q - 394. Is w a prime number?
True
Let d be 0*(-2 - (0 + -3)). Suppose -5*s + 13 = 2*q - 11, -5*s = -5*q - 10. Suppose 4*f - k - 354 = d, 0*f - 3*k = -q*f + 172. Is f prime?
True
Suppose -8 = -2*q - 0. Suppose -2*y - 516 = -5*i - 3*y, -4*y + 416 = 4*i. Suppose 0 = -q*n + 5*d + i, -n + 7 + 24 = -3*d. Is n a prime number?
False
Let a be ((-14)/(-2))/((-1)/(-7)). Let j = a - -27. Let o = j - -37. Is o a composite number?
False
Let o = 6 - 2. Let b(c) = 0*c - 5*c**2 + 5*c**3 - 2*c - 20 + 15 + 2*c**2. Is b(o) a prime number?
False
Let q = -49 + 48. Is ((-2)/(-3))/(3531/(-3537) - q) prime?
False
Suppose -z + 13754 = -935. Is z prime?
False
Let z be -1 + 4/(-8)*-20. Let i be z/(-6)*2/1. Let l(x) = -6*x**3 - 3*x**2 + 4*x + 4. Is l(i) prime?
True
Suppose -9*z + 4147 = 4*z. Is z prime?
False
Suppose 4*r = -3*s - s + 29312, 0 = -4*s - 2*r + 29310. Is s composite?
True
Suppose 61*c - 30*c - 734731 = 0. Is c composite?
True
Suppose 0 = 3*g + 4*g - 14. Let q(z) = 33*z + 5. Is q(g) a prime number?
True
Let h = -48 - -52. Suppose 0 = -2*v - 5*g + 848, 2*g + h = 4*g. Is v prime?
True
Suppose -32*b = -27*b - 26710. Is b a prime number?
False
Suppose 0 = -2*n + 3*t + 18, -3*n + 2*t + 14 = -n. Suppose r + 1076 = n*r. Is r a composite number?
True
Let n(a) = -75*a**3 - a**2 - 8*a + 41. Is n(-6) a prime number?
True
Let n = 38690 - -5477. Is n composite?
True
Let n = -8 + 19. Let l(r) = r**3 - 10*r**2 - 11*r - 5. Let i be l(n). Let v(b) = -11*b. Is v(i) a composite number?
True
Let u(m) = 3348*m**3 + m**2 + m - 1. Is u(1) a composite number?
True
Suppose -2*z = 2*p - 7166, p + z - 3573 = 5*z. Is p a prime number?
True
Is 4*(-3)/12*-16307 a prime number?
False
Suppose -2*k = 8, -2*g + 0*k = 2*k + 942. Let l = 658 + g. Is l composite?
False
Let w = 14257 + 9714. Is w prime?
True
Let n(k) be the second derivative of -k**5/20 - 4*k**4/3 + 7*k**3/2 - 19*k**2/2 + 24*k. Is n(-18) a composite number?
False
Suppose -4*h + 18 = 2, 0 = 2*j + 2*h + 28. Let z = 5 - j. Is z composite?
False
Suppose -5*g = -5*x + 5, 0 = 5*g - 5*x + x + 2. Is (-1 - g)/(8154/2721 + -3) a prime number?
True
Suppose z + 5*j - 15346 = 0, 2*z - 5*j - 5719 = 25048. Is z a prime number?
False
Let p = 93 + -66. Let a = -4 + p. Is a composite?
False
Let j(w) = -15*w**3 - 6*w**2 - 2*w + 9. Let g be j(-4). Suppose -4*z + g = -5107. Is z a composite number?
True
Let r(y) = -y**3 + 2*y**2 + 4*y. Let j be r(-2). Let d be j/12*(-81)/(-6). Suppose d*m - 11*m = -130. Is m a prime number?
False
Let y(i) = -i**2 + 8*i - 7. Let u be y(3). Suppose u*h = 1492 - 444. Is h composite?
False
Let f be (-4)/10 + 9/(-30)*-188. Suppose f*v = 58*v - 6778. Is v composite?
False
Let v(q) = -q**2 + 13*q. Let d = 32 - 19. Let s be v(d). Is s/4 - -35 - 0 a prime number?
False
Suppose -k = -2*k + z, -8 = -2*z. Suppose 376 = -0*f + k*f. Is f a prime number?
False
Suppose -11 = c + 3*a - 2, -2*a = 8. Suppose -c*o - 25 = -298. Is o prime?
False
Let z(j) = -j**2 + 5*j + 5. Let t be 1 + (7 - (0 + 3)). Let b be z(t). Suppose -b*u = -0*u - 1825. Is u a prime number?
False
Suppose 1294 = n + 39. Is n a composite number?
True
Let k(o) = -12*o**2 + 10*o + 2. Let j be k(-6). Let z = j + 857. Is z a prime number?
True
Let v(r) be the first derivative of -r**4/4 - r**2/2 - 2*r + 5. Let a be v(2). Let h(y) = 2*y**2 + 17*y - 5. Is h(a) a prime number?
True
Suppose 6*b = b + 20, b + 11791 = 5*w. Is w composite?
True
Suppose 0 = 275*b - 272*b - 5781. Is b a composite number?
True
Let p(m) = m. Let x(h) = -111*h**2 - 2*h - 1. Let a(l) = -5*p(l) - x(l). Is a(-2) prime?
False
Suppose -16*g + 89*g - 935203 = 0. Is g a prime number?
False
Suppose -2*r = -3*v - 2*v - 3371, -2*r = v - 3341. Is r a prime number?
False
Let t be ((-1)/2 + (-1003)/34)*-34. Suppose -3*c = -1701 - t. Is c a composite number?
False
Suppose 0 = -43*r - 181908 + 1623311. Is r a prime number?
True
Let b = -53 - -36. Let o = b + 13. Is (-58)/o*(9 + 1) composite?
True
Suppose 5*j + 4*l = 3*l + 9619, -l = 2*j - 3850. Is j a prime number?
False
Suppose 2*d + 4*n + 12 = 0, -n = n. Is (-6 + 4)*93/d prime?
True
Let f be ((-8)/(-12))/(2/180). Suppose 4*h - 3*h + w = 57, 2*w = h - f. Is h prime?
False
Let i(r) = -124*r - 3. Let j(n) = -n**2 + 8*n + 5. Let q be j(9). Is i(q) composite?
True
Is ((-1846)/(-4) + 2 + -3)*2 composite?
True
Let c = 7813 + -3660. Is c composite?
False
Let x(l) = -19*l. Let s be x(-8). Let p = s + -67. Is p composite?
True
Let h = -345 + 115. Let u = h + 327. Is u a composite number?
False
Let z be 3/3*(-16 - 1). Suppose -n - 2*f = -5*n + 102, n - 33 = -f. Let l = n + z. Is l composite?
False
Let c = -11 + 63. Suppose 2*y + 2*y - 41 = m, 5*m = 3*y - c. Let i = 46 - y. Is i a composite number?
False
Let u(y) be the third derivative of y**5/30 - y**4/12 - 7*y**3/6 + 2*y**2. Let q be (-1)/7 - (-246)/(-42). Is u(q) a composite number?
True
Suppose 0 = 4*t - 7*t - 6. Is (3182/(-4) - (1 - t))*-2 composite?
False
Let s be (-1)/(-5) - (-1)/(-5). Suppose 5*k - 5 = s, -3*c - c - 152 = 4*k. Let g = c - -64. Is g prime?
False
Suppose -h - 3 = 0, -2*h = -5*c - 7 + 63. Let b(o) = 31*o + 61. Is b(c) prime?
False
Let d = 3441 - -41098. Is d a composite number?
True
Let m(u) be the first derivative of -63*u**4 - 2*u**3/3 + u**2/2 + 2*u + 19. Is m(-1) a composite number?
False
Let i(l) = 407*l - 128. Is i(21) composite?
False
Suppose 2*o - 2*c - 6346 = 6460, -4*o + 25627 = c. Is o a prime number?
False
Let l(h) be the first derivative of 53*h**2/2 + 2*h - 5. Let g be l(3). Let v = g + -90. Is v composite?
False
Let o = -72 + 1149. Is o a composite number?
True
Let m be (-1)/(-3) - 18654/(-9). Let s be (1/(-1))/((-3)/m). Let g = s - 438. Is g composite?
True
Let l(j) = j**2 - j. Let a(r) = -8*r**2 + 7*r. Let w(f) = -a(f) - 6*l(f). Let q be w(-1). Suppose -q*k + 1 + 41 = 0. Is k prime?
False
Is ((-132374)/(-33))/(8/12) prime?
False
Is (-1)/(52281/13071 + -4) composite?
False
Let t(u) = u**2 + 5*u - 2. Suppose -j - 2*k - 3*k + 9 = 0, -5*j = -4*k + 42. Let q be t(j). Let d(r) = 37*r + 1. Is d(q) a composite number?
False
Suppose -4*d - 30 = -10*d. Suppose m - 387 = -2*f, d*f - 5*m - 147 = 783. Is f a prime number?
True
Let o(u) be the third derivative of 0*u + u**2 + 41/3*u**3 + 0 + 1/60*u**5 + 0*u**4. Is o(0) a prime number?
False
Let l = 1387 - 2787. Let j be l/(-15) - (-1)/(-3). Let k = -28 + j. Is k a prime number?
False
Suppose 0 = c + 4*d, -4*c + 0 + 17 = -d. Suppose -w + 5*q = 14, -c*w - 3*q - 19 + 55 = 0. Is (-2)/w*0 - -553 prime?
False
Let g(f) = 101*f - 15. Let n(s) = -102*s + 14. Let a(x) = 5*g(x) + 4*n(x). Is a(8) prime?
True
Suppose 22 - 46 = -6*y. Suppose -8*o + y*o + 6628 = 0. Is o composite?
False
Is (-2)/((-69240)/34617 - -2) prime?
False
Suppose 4*s - 5449 = 5*a, 3*a = 7*s - 3*s - 5447. Is s a prime number?
True
Suppose 0*d + 9*d = 20043. Is d prime?
False
Let o(r) be the second derivative of -r**5/20 - r**4/3 + 2*r**3/3 + 4*r**2 + 3*r. Suppose -h = 2*y + 7 + 2, -y = 3*h + 22. Is o(h) composite?
False
Let g(s) = 4*s**3 + 12*s**2 + 4*s - 11. Let i be g(-8). Let y = 1961 + i. Let u = -273 + y. Is u a composite number?
True
Let w = -3140 + 2203. Let s = 1844 + w. Is s prime?
True
Let o = -21 + 23. Is o - (-345 + (-2 - -2)) a composite number?
False
Let v be 1/(-1) - (-9)/(-1). Suppose 4*n = s + 21, 4*n + 2 - 14 = 4*s. Is (n/v)/(6/(-210)) prime?
False
Let f(k) = -k**3 - 19*k**2 - 10*k + 17. Let g(u) = -10*u**2 - 5*u + 9. Let j(h) = 4*f(h) - 7*g(h). Let c be j(-5). Let x = -223 + c. Is x prime?
True
Suppose 3*u - 30637 = -4*x, -2*u = 2*x - 4*x - 20420. Is u prime?
True
Let c(b) = 5 - b**2 - 4*b**2 + 4*b + b**3 + 5*b**2. Let d be c(4). Let p = d + 33. Is p prime?
False
Let b(g) = g**3 + 5*g**2 + 7*g + 27. Let c(n) = -n**3 - 6*n**2 - 8*n - 27. Let z(d) = -4*b(d) - 3*c(d). Is z(-8) a prime number?
True
Let a(l) = -l**2 + 40*l + 23. Let q be a(20). Suppose -8*c - q = -5551. Is c a composite number?
False
Suppose -52363 = -4*c + 10*j - 7*j, 0 = c - j - 13092. Is c a composite number?
True
Let o = 870 - 384. Let z = o + -329. Is z prime?
True
Let r be -4 