posite?
True
Let b = 12 + -1. Let a = -7 + b. Suppose -h - 4*m = -69, 2*m - 224 = -a*h - m. Is h prime?
True
Let q = -32452 + 138495. Is q a composite number?
True
Let x = -12 - -10. Let k = 5 + x. Suppose k*w = 87 + 708. Is w composite?
True
Let g(b) = 2*b**3 + 15*b**2 - 22*b + 3. Let m(q) = -q**3 - q**2 + q - 1. Let u(o) = g(o) + 3*m(o). Is u(10) a composite number?
True
Let c = 4842 + -2541. Suppose s + 5*v - 1175 = -29, 0 = -2*s - v + c. Is s a prime number?
True
Suppose -5 = 3*h - 17. Suppose 0*z + 16 = -h*z. Is ((-272)/(-12))/z*-21 composite?
True
Let c = 14939 - 8320. Is c composite?
False
Let z(t) = 2*t. Let b be z(1). Let g be b/6 + 5148/27. Let u = 508 - g. Is u a prime number?
True
Is ((-4)/(-3))/((-34)/(-2703)) prime?
False
Suppose 5*t = 2*t. Suppose t = -4*l - 20, -5*a + 2*l = -346 - 16614. Suppose -a = -5*w + r, -2 = -3*r - 17. Is w composite?
False
Let w be 0 + 116/(-12) + (-3)/9. Let c(a) = -a**3 - 9*a**2 - 17*a - 7. Is c(w) a prime number?
True
Let z be 5/20 - 3/12. Let p(k) = k**3 + 2*k**2 - 147. Let h be p(z). Let l = h - -224. Is l prime?
False
Let q(k) = -10*k - 68. Let n be q(-20). Let l = 2179 - n. Is l composite?
True
Suppose -28*r + 155338 = -77090. Is r prime?
False
Let q(i) = i + 18. Let m be q(-15). Is 1914/1 + (-3)/m*-1 a prime number?
False
Let b be (-3)/1 + (-16)/(-4). Let g be b/(-5) - (-82)/10. Suppose g*j - 5*j = 129. Is j a prime number?
True
Suppose -12 = z - 3*d, -4*z + 3*d = z. Let l(k) = 113*k**2 - k. Let u(q) = -225*q**2 + 2*q. Let s(f) = z*u(f) + 7*l(f). Is s(1) a composite number?
True
Suppose 7*w + 7631 = 20*w. Is w a composite number?
False
Let l = -91 + 91. Let k(d) = d**3 - 2*d + 1163. Is k(l) prime?
True
Is -2371*(68/(-17) + 4 + -1) a composite number?
False
Suppose t - 23 = -4*t + 3*s, 3*t - 9 = 3*s. Is (2163/6)/t + (-4)/8 a composite number?
True
Is -22835*(-6)/15 + -3 a prime number?
False
Let m = 60368 - 24639. Is m composite?
False
Is 13/5 + -4 + 5563296/90 a prime number?
True
Let m(f) = 23*f**2 + 11*f + 15. Is m(-8) prime?
True
Let t(a) = -a**2 - 10*a - 9. Let w be t(-9). Suppose -22*y + 4*y + 20070 = w. Is y a prime number?
False
Suppose -2*p - 12335 = -3*x - p, -3*x + 12337 = -2*p. Is x a composite number?
False
Let z(i) = -1. Let n(y) = -5*y + 18. Let d(l) = -n(l) + 3*z(l). Is d(11) a prime number?
False
Let f = 11 + -14. Let q = 14 + f. Suppose -1119 = -q*j + 8*j. Is j a composite number?
False
Let x be ((-675)/20)/((-3)/(-8)). Suppose 175 = -4*p - 29. Let y = p - x. Is y composite?
True
Suppose -24*u + 37201 = -77111. Is u a prime number?
False
Let k = -223 + 1560. Is k a prime number?
False
Let k(y) = 3*y**3 - 2*y**2 + 5*y - 1. Suppose -3*v + 44 - 8 = 0. Suppose 0*n - 3*n = -v. Is k(n) a prime number?
True
Let v = -113671 - -347108. Is v composite?
False
Suppose -y + 4875 = 2*h - 6*y, 0 = -4*h - 6*y + 9734. Is h composite?
True
Let v(q) = -5*q**3 + 6*q**2 - 15*q - 1. Let z be v(-10). Let b = z - 9565. Is 1/5 + b/(-20) composite?
False
Suppose 13 = -b + 95. Is b a prime number?
False
Let c(u) = u**2 + 2*u - 1. Let b be c(-4). Suppose 5*p + 2*f + b = -10, 2*p - 2*f = -18. Let t(m) = -3*m**3 - 5*m**2 + m + 12. Is t(p) a composite number?
False
Suppose 21 = 3*o + 2*v + 7, v - 3 = -o. Let h(l) = l**2 - 7*l - 2. Let p be h(o). Suppose 0 = -0*c - 2*c + 3*r + 37, -c - r = -p. Is c composite?
False
Let r = -690 - 2463. Let s = r + 5252. Is s composite?
False
Let y(g) = g**3 + 20*g**2 + 2*g - 2. Let o be y(-12). Suppose -4*q - o - 961 = -3*x, -x + q = -694. Is x a prime number?
False
Let o be 10/((-6)/(-3) + 0). Suppose -p + 1 - 3 = 0, 4 = 4*d - 2*p. Suppose -o*n + 236 - 81 = d. Is n a prime number?
True
Let v be -2*(3 + (-39)/6). Let c = v - 4. Is 3/((-5)/((-10)/c)) a composite number?
False
Let o = -131 - -112. Let m(h) = -300*h + 47. Is m(o) composite?
True
Suppose 0*j - 59 = -4*j - p, 0 = 2*j + 5*p - 25. Let w(k) = k**3 - 13*k**2 - 5*k + 14. Is w(j) a prime number?
True
Let b(i) = -377*i + 29. Is b(-52) prime?
False
Let g(c) = c**3 - 1. Let d(h) = -5*h**3 + 22*h**2 + 16*h + 58. Let x(p) = d(p) + 6*g(p). Is x(-21) composite?
False
Let d(h) = 129*h**2 + h - 3. Let o(x) = -x**2 - 1. Let p(r) = d(r) - 6*o(r). Is p(-2) a composite number?
False
Let l = 25 + -7. Suppose -2*w = 2*r, w - 5*r = -0*r + l. Suppose 0 = -3*z - w*h + 231, -4*z - z - 4*h = -387. Is z prime?
True
Let l(a) = 19*a**3 + 4*a**2 - 3*a + 1. Suppose d = -4 + 7. Is l(d) composite?
False
Suppose -8*q = -9*q - 117. Is q/18*(-28)/2 prime?
False
Let q be (-2 - -54) + (-2 - (-4 - 1)). Is 2/11 + 24685/q a composite number?
False
Let s(y) = -y**2 - 14*y - 1. Let w(j) = -j**3 - j**2 + j + 2. Let z be w(0). Suppose -z*i - 21 = 3. Is s(i) a prime number?
True
Let v(f) = 46*f + 5. Let n = -14 + 19. Is v(n) prime?
False
Suppose 220 = 12*m - 13*m. Let l = 411 - m. Is l a prime number?
True
Suppose -11*x + 4 = -15*x. Is 4*x/(20/(-3155)) composite?
False
Is (-10857)/(-22) + 10/(-4) a prime number?
True
Let v(m) = 55*m**2 - 2*m - 1. Suppose 3*z = -5 + 17. Is v(z) a prime number?
False
Suppose 4*q - q = -3*x + 21, 1 = 4*x - 5*q. Suppose -156 = r - x*r. Let t = r - -25. Is t a composite number?
True
Let b be (-4)/((-8)/6) - 0. Suppose 20 = -4*c + 5*r, -2*c - b*r = -0*r - 12. Suppose c*h - 3*h = -129. Is h prime?
True
Let s be (-6)/(-3*(-2)/(-16)). Suppose 0 = 97*k - 101*k. Suppose k = -3*d - 0*r - r + 1495, s = 4*r. Is d composite?
True
Suppose 0 = 3*y + y. Suppose y = 2*t - 539 - 235. Suppose -4*g - q + 475 = 0, 3*g - 2*q = t - 28. Is g composite?
True
Suppose 3*f - 36 = -6. Suppose -2 = -t + 2*v - v, 0 = 3*t + 5*v + f. Suppose 969 = 3*a + w, t*a + 1615 = 5*a - 5*w. Is a a composite number?
True
Suppose 0 = 6*y - 3*y - 36. Let c be (422/(-4))/(6/y). Let r = -146 - c. Is r a prime number?
False
Is (-55804)/(-52) + (-2)/13 composite?
True
Let b = -7 - -8. Let c be (374/(-2))/(b/(-1)). Is -1 + c - (4 - 5) prime?
False
Suppose -3*m + 2*s + 8197 = 0, -m - 4*s + 3*s = -2729. Is m composite?
False
Suppose -86*b - 1947623 = -127*b. Is b a composite number?
True
Let r = 9 + -4. Suppose 2*o + 1271 = 3*t, -30 = -r*o - 5. Is t prime?
False
Suppose -i + 25*x = 28*x - 2156, 10792 = 5*i + 3*x. Is i a prime number?
False
Let j(t) = -855*t + 167. Is j(-12) a prime number?
True
Let a(d) = d**3 - 6*d**2 - d + 8. Let s be a(6). Suppose 99 = 2*n - 4*t - 1219, 0 = -5*n - s*t + 3295. Is n a composite number?
False
Let y be 50647/4 + 9/(-12). Suppose -6*n - 5*n = -y. Is n prime?
True
Is (-129248)/(-7) + -3 + 0 prime?
True
Suppose -2*l + 1 - 6 = -5*g, -2*g + 6 = 0. Suppose l*z - 5*a - 102 - 188 = 0, 2*z + 4*a = 86. Suppose 0*s + z = s. Is s a composite number?
False
Let z be (-1 - -1)*(-8 - -7). Suppose z = 2*t + 2, 3*o - 424 = -6*t + t. Is o composite?
True
Suppose -x - 11 = -2332. Is x composite?
True
Let u(x) be the third derivative of -x**6/120 + 2*x**5/15 + x**4/12 - 5*x**3/6 - x**2. Suppose 5*h - 32 = 2*c, -5*c - 9 = -5*h + 26. Is u(h) prime?
True
Suppose 0 = x + 2*k - 354, -1062 = -4*x + x - 4*k. Suppose -2*u + 4292 - x = 0. Is u a prime number?
False
Suppose 5*c - 8*c + 5667 = 0. Let i = c - 1092. Is i prime?
True
Is 5/((-10)/4324)*18/(-36) prime?
False
Suppose 26*d = -16*d + 216174. Is d prime?
True
Let k = -23 + 10030. Is k composite?
False
Suppose 6*d - 826 = -3652. Suppose 2921 = 5*l - 389. Let q = d + l. Is q prime?
True
Suppose -12 - 24 = 3*v. Let q be 4*(v/(-16))/1. Suppose p - 134 - 20 = 3*w, -q*w = p - 160. Is p prime?
True
Suppose -5*u + 5*x = 465, -2*u - 57 = -x + 131. Suppose -n = -51 - 17. Let v = n - u. Is v prime?
True
Suppose 0 = 3*w - 1050 - 1554. Suppose 3*p - 508 = -4*r, 0 = -0*p + 5*p - 4*r - w. Let q = p - 119. Is q prime?
True
Suppose 3*o = -a - 83, 3*o = -3*a + 3 - 90. Let y be 12/(-30) - o/5. Suppose -r - 568 = -y*m, -3*m - 3*r + 223 = -107. Is m composite?
False
Suppose 5*m = 2*j - 2041, -59 = -2*j + 2*m + 1973. Suppose -3*r + j = -700. Is r prime?
True
Suppose 0 = 3*b + 5*n + 7, -1 + 0 = -b - n. Suppose 35 + 283 = b*y. Is y composite?
False
Let f = -10 + 15. Suppose 2 = -f*h - 3. Is 145 - 2 - 0/h a composite number?
True
Suppose -2*z = -6*z - 20, 0 = -3*u + 2*z + 49. Let v = u - 48. Is ((-6)/(-3))/(-2)*v prime?
False
Let v(a) = -3*a**3 + 4*a**2 - 3*a + 4. Let n(r) = r**3 + 1. Let l(h) = 4*n(h) + v(h). Let c be l(-5). Is ((-415)/10)/(