214. Suppose -2*p + 3*x + 933 = -2530, 0 = -3*p + 5*x + n. Is p a prime number?
True
Let g = 39 + -36. Is (-1)/(g/231*-1) composite?
True
Let u(h) = -h**3 - 11*h**2 - 2*h - 9. Suppose 2*d + 16 = 5*v + 83, 0 = 4*v - 5*d + 57. Is u(v) prime?
False
Let c(d) = -2164*d - 383. Is c(-28) a composite number?
False
Suppose 430*g - 433*g = -12981. Is g prime?
True
Let j = -359 - 577. Let t = -557 - j. Is t prime?
True
Let s(m) = 2*m. Let i be s(-3). Let k(v) = -2*v - 9. Let n be k(i). Suppose 48 = -2*l - o + 219, -5*l - n*o + 426 = 0. Is l composite?
True
Is 6 + 6598/(2/1) prime?
False
Let v = 14 + -3. Suppose 4892 = -7*l + v*l. Is l prime?
True
Let p = -11456 - -29875. Is p a composite number?
True
Let z = 7311 + 3266. Is z a prime number?
False
Let y(r) be the third derivative of -19*r**6/120 + r**5/30 + r**4/12 + r**3/6 - 22*r**2. Suppose 3*v + 2 = w + 1, v = 4*w + 7. Is y(w) composite?
False
Suppose 0 = 4*z - 8*s + 3*s - 7935, 9927 = 5*z + 2*s. Is z a prime number?
False
Let y(b) = b**3 + 10*b**2 - 2*b - 19. Let o be y(-10). Suppose 4*d + 12 = 0, 5*d + 16 = -5*r + o. Suppose -3*f = -9, -4*p + 5*f - 50 + 1951 = r. Is p prime?
True
Let z = 374 - -2483. Is z composite?
False
Suppose -h = -0*h - 5. Let w(l) = -l**2 - l + 9. Let p be w(h). Is (-6)/p - (-159)/7 a composite number?
False
Let x(w) = 45*w**3 - w**2 - 4. Let k be x(-3). Let v = k - -4008. Suppose -792 = 4*d - v. Is d a composite number?
True
Suppose 25*x - 5225 = 20*x. Suppose 5*r - 5*h = x, 0 = 5*r - 4*h - 390 - 655. Is r composite?
True
Let x(k) be the first derivative of 137*k**2/2 - 11*k + 42. Is x(2) composite?
False
Let n = 2316 - 1640. Suppose -n = -3*t + 2777. Is t prime?
True
Let w = 17 + -26. Let m = w - -11. Suppose -m*j = -40 - 630. Is j prime?
False
Let d = -1776 - -4319. Is d a composite number?
False
Let h = -12614 + 53221. Is h composite?
True
Let x(u) = 0 + 14*u**3 + 5 + 7*u**2 - 15*u**3 + 6*u. Is x(-4) a prime number?
True
Let k(b) = 9*b**2 - 12*b - 20. Let t(r) = 9*r**2 - 13*r - 20. Let o(u) = 5*k(u) - 4*t(u). Is o(13) a composite number?
True
Suppose 0 = 3*f + 3*i - 15, f + 0*i - 14 = -4*i. Let a be (373/2)/(f/12). Is 4/6*a/2 prime?
True
Let v = -6544 + 14753. Is v prime?
True
Suppose -26 - 34 = -2*u. Suppose 4*a - 186 = -u. Let f = 78 - a. Is f a prime number?
False
Let p(k) = k**2 - 3*k - 6. Let o be p(5). Suppose -5472 = -2*u - 2*u - w, -o*u + 2*w = -5460. Is u a prime number?
True
Let x = 8352 + -5788. Suppose -5*b + x = 3*l + 795, 4*l - 2374 = b. Is l a prime number?
True
Let y = 4 + 0. Suppose -y*t + 2*b + 818 = 0, 0*b = -t - 3*b + 187. Is t composite?
True
Let s be -144 + -2 + 4 - 0. Let i = -75 - s. Suppose 0*f = -f + i. Is f prime?
True
Let m = -58987 + 135018. Is m a prime number?
True
Let l = -861 - 120. Let y = -584 - l. Is y a prime number?
True
Suppose -2*i = -3*i - 172. Let a = -115 - i. Is a prime?
False
Suppose 4*p - 6854 - 17262 = 0. Is p a composite number?
False
Is (1061199/63 - 3) + 9/(-21) a prime number?
False
Let h(k) = 13*k**2 + k - 1. Let y = -26 - -30. Is h(y) a prime number?
True
Let u(q) = -q + 3. Let l be u(-4). Let w be (2 + -1155)/(1 - 2). Suppose 1549 = l*m - w. Is m a prime number?
False
Let t(g) = 67*g**2 + 4*g + 13. Is t(4) a prime number?
False
Let m = 492 + 181. Is m composite?
False
Let q be (0 + (-9)/(-6))*4. Suppose -q*f = -8*f - 804. Is ((-8)/24)/(2/f) a prime number?
True
Suppose -5*l + 4*j + 0*j - 98 = 0, 0 = 5*l + 2*j + 86. Let i = l + 21. Suppose -i*g + 3 = -264. Is g a prime number?
True
Suppose 3*o - 6 = 3. Suppose -o*u - 8 = -0*c - 4*c, 3*u + 6 = 3*c. Suppose n + 0*n - 373 = u. Is n prime?
True
Suppose 0 = 2*a + a - 33. Let n(i) = 17*i + 14. Let c be n(a). Suppose 8*u - 5*u - c = 0. Is u composite?
False
Is ((-1064)/(-72))/(-19)*-12807 a prime number?
False
Let u = 5312 - 988. Suppose 5*x - u = x. Is x composite?
True
Suppose 26*r - 17*r = 86517. Is r prime?
True
Suppose -657 = -4*u - 5*a + 593, -3*u = -a - 928. Let o = u - 19. Is o a composite number?
True
Let k be ((-3)/1 - -3)*-1. Suppose k = 7*x - 6*x - 840. Suppose -45 - x = -3*c. Is c a prime number?
False
Let l = 35319 + -24832. Is l a prime number?
True
Let p = 552 - 976. Is (-40)/10 - (p + 1) a prime number?
True
Let z(h) = -2*h**3 + 8*h**2 + 28*h - 28. Let m be z(12). Let f = m - -6587. Is f prime?
True
Let g = 134 + -127. Is g/3*(6 - -747) composite?
True
Is 6843/2*(-6 + (-44)/(-6)) a composite number?
True
Is ((-255)/(-60))/(423/(-212) + 2) prime?
False
Let p(m) = m**3 - 4*m**2 + 8*m + 4. Let r be p(4). Suppose 233 = t + r. Suppose 4 = 3*s - t. Is s composite?
False
Let x = 18785 + -11608. Is x composite?
False
Let v = 12748 + -6954. Is v a prime number?
False
Let q(l) = -91*l**3 + 5*l**2 - 11*l - 43. Is q(-8) a composite number?
False
Is (114398/(-6) + 10)*(-6)/2 prime?
False
Suppose -4*m - 5*m = -1395. Let n = m + 54. Is n prime?
False
Let m(r) = r**2 + 10*r + 3. Let i be m(-10). Suppose 0*o = -2*o, 5*p + i*o = 2455. Is p a composite number?
False
Suppose -2*d + 9 = v, -2*d + 13 = -2*v + 7*v. Suppose a + d*z = -82, -3*a + 5*z - 214 = z. Let w = 39 - a. Is w prime?
True
Suppose 59868 - 7180 = 16*d. Is d composite?
True
Let o(g) = 50*g**3 + 5*g**2 - 15*g + 47. Is o(3) a composite number?
True
Is (-362487)/(-8) + (2 - (-120)/(-64)) a prime number?
False
Let n be 1*(3/(-12) - (-2)/8). Suppose -o + 3*o - 474 = n. Is o composite?
True
Let f(y) be the second derivative of y**4/3 + 5*y**3/3 - 9*y**2/2 - y - 35. Let p be 9 + 1 + -3 + 0. Is f(p) a composite number?
False
Let n = 28151 + 4584. Is n a composite number?
True
Is (3332/(-294))/((-4)/7818) prime?
False
Suppose 9 = 2*m + m, 4*p = 4*m. Suppose 3*j - 920 = 2*b, -b = -p*j + 287 + 632. Let t = j + -85. Is t prime?
False
Suppose 0 = -2*m + 1876 + 186. Let f = m - 723. Is 2*(4 + f/8) prime?
False
Suppose -2*c + 11435 = -26457. Is c prime?
False
Suppose -372511 = -38*p + 65211. Is p prime?
True
Suppose 155247 = -176*t + 179*t. Is t prime?
True
Suppose -30 = -4*k - k. Is (k/(-4))/(12/(-536)) a composite number?
False
Let g = 3601 - 1440. Is g prime?
True
Suppose -22*k + 75 = -17*k. Is -3*(0 + (-9035)/k) prime?
False
Let v(w) be the second derivative of -w**3/6 + w**2 + 7*w. Let q be v(5). Is (-7554)/9*q/2 a prime number?
True
Suppose -16 = -b - 7. Let v(w) = 66*w - 7. Is v(b) a prime number?
True
Suppose 2*f = 2, -a - 3*f = -0*a - 358. Suppose -3*w - 2*w = 1160. Let t = a - w. Is t a prime number?
True
Let n(a) = 7*a**2 - a. Let x be n(1). Let r = 883 + -584. Let w = r + x. Is w composite?
True
Let g(n) = 1032*n**3 - 3*n**2 + 4*n - 2. Let v be g(1). Suppose -5*p - 2*f + 2919 = 0, -3954 + v = -5*p - 4*f. Is p prime?
False
Let b = -10 - -1. Let k be ((-36)/2)/(b/6). Is -1 + (-104)/k*-6 prime?
False
Let o = -362 - -950. Let t = 273 - 70. Suppose -4*c = j - 101, 3*c + o = 4*j + t. Is j a composite number?
False
Let f(j) = 8*j**2 - 2 - 1 - 6. Is f(4) a prime number?
False
Let t(u) = 4012*u - 15. Is t(1) prime?
False
Let b(v) = 2*v**3 - 3*v**2 + v - 2. Let f be b(2). Suppose 3*x - f = 4*m, 5*x = x - m + 18. Suppose -x*r + 170 + 42 = 0. Is r a prime number?
True
Suppose 791 - 79 = 8*g. Is g a prime number?
True
Let a = -9937 - -23966. Is a a prime number?
True
Let d be 3/(9/3) - -4. Suppose y + d = 6. Let w(p) = 22*p - 1. Is w(y) composite?
True
Let n(g) = g**2 + 12*g + 13. Let m be n(-11). Is (3639/8)/((-6)/(-8))*m prime?
True
Let j(q) = 19*q + 165. Is j(-2) prime?
True
Let h(p) be the first derivative of p**3 + 5*p**2/2 + p - 9. Is h(-9) prime?
True
Is 3/5 + (11 - (-3735)/25) a composite number?
True
Suppose 6*u = -u + 35. Suppose -588 = -u*a + 767. Is a prime?
True
Let d(w) = 6*w**2 - w + 5. Let k be d(-5). Let g = -15 + k. Is g a composite number?
True
Suppose -5*s - 41 = -4*h, -2*h + s + 0*s + 13 = 0. Let g = -29 - -53. Is (-112)/g*(-30)/h composite?
True
Suppose -220*v - 8163 = -223*v. Is v a prime number?
False
Let l = 1692 - 955. Is l prime?
False
Let v(j) = -j**3 - 10*j**2 - 10*j - 7. Let g be v(-9). Let m be 105 + 0 + 0 + g. Suppose -154 - m = -3*p. Is p a composite number?
True
Let c = 9 + -14. Let d(x) = -x - 7. Let m be d(c). Is -3*(370/3)/m composite?
True
Let m = 53 + -52. Is (1659 - 1) + -2 + (2 - m) a prime number?
True
Let t(d) = d**3 - 10*d**2 + 4*d + 2. Let m(g) = -3*g. Let q be m(1). Let h(k) = -k**3