*r = 5*x - 6532, 2*r + x = 4357. Is r a prime number?
True
Suppose 5*f = 4*p - 819 - 877, -4*f = 16. Is p a prime number?
True
Suppose -5*d + 300 = -0*d. Let p = 594 - d. Is ((-3)/(-9))/(2/p) a composite number?
False
Let l = 21 + -127. Is (l/4)/((-3)/12) a composite number?
True
Let l = 217 - 310. Let j = l - -172. Is j prime?
True
Suppose 4*b - 100 = 2*b - 2*r, -4*b + r = -190. Suppose b = 2*h - k, 4*h + h = 4*k + 120. Suppose h = 4*a - 292. Is a composite?
False
Let r(j) = 10*j**2 + 4*j + 17. Is r(-7) composite?
False
Let a be 2/4 - 34290/(-20). Suppose -1545 = -4*o + a. Is o a prime number?
False
Let h = 9 + -12. Is (103/h)/((-1)/3) composite?
False
Suppose -735 = -5*i - 7*x + 2*x, -3*i - x + 433 = 0. Is i composite?
True
Let y = 1 + -2. Let t be (-6)/(-4)*18*y. Is (-2 - (2 - t))/(-1) a composite number?
False
Let u(r) = r**3 + 9*r**2 - 18 + 5 + 13*r**2 + 6*r - 12*r**2. Is u(-9) a composite number?
True
Let u(t) = -t - 4. Let p be u(-6). Suppose -2*n + 254 = -0*i + 2*i, -3*i = -p*n + 254. Is n a composite number?
False
Suppose -26*j = -22*j - 56. Let c(o) = 2*o**2 - 18*o + 2. Is c(j) composite?
True
Let j be (459/(-12))/(-3)*40. Suppose -2*s + j = -s. Is s/(-24)*(-4 - 0) prime?
False
Let v(h) = -h**2 - 12*h + 3. Let f(m) = -m + 6. Let b be f(5). Let u(x) = -5*x**3 - x**2 - x + 1. Let t be u(b). Is v(t) a prime number?
False
Let v = 18 - 10. Let q = v - 6. Suppose -5*x + 2*f = -110 + 21, 4*x + q*f - 82 = 0. Is x a composite number?
False
Let o(g) = g**3 + 3*g**2 + 4*g + 2. Let n be o(-2). Let w = n + 2. Suppose w = -2*d - d + 93. Is d a prime number?
True
Let o = 43 + 41. Let r be (2/(-4))/((-3)/o). Is 4/r + 687/21 a prime number?
False
Let g(w) = 187*w**2 + 2*w + 1. Is g(-2) a prime number?
False
Let k(b) = b + 1. Let o be k(-1). Let j be (o + -1)/(3/(-15)). Suppose 3*x - 6 - 119 = j*c, -c + 31 = x. Is x a prime number?
False
Let q(u) be the second derivative of u**4/4 + u**3/6 + 5*u**2/2 - 2*u. Is q(-4) a composite number?
True
Let b = 311 - 34. Is b a prime number?
True
Let r be (2*1)/((-6)/(-2235)). Suppose -r = -4*s - s. Is s a composite number?
False
Let c(y) = -3*y - 2. Let o be c(-2). Suppose -d - 42 = -2*v, -o*v - 4*d + 92 = -8*d. Is v a prime number?
True
Suppose 555 = -0*l + 3*l. Is l prime?
False
Is ((-2 - -1) + 2)*(677 - 0) composite?
False
Let j = 5 - 9. Is 6*(-10)/j*1 prime?
False
Suppose 2*x = 5*u - 2*x - 45, -3*x = 0. Let n = u - 5. Is (-2)/(-8) + 11/n composite?
False
Let c(a) be the third derivative of 13*a**4/8 - a**3/6 - 2*a**2. Is c(1) a prime number?
False
Let l(p) = p**2 + 11*p + 12. Let q be l(-10). Is (-1450)/(-12) + q/12 a composite number?
True
Let b(z) = 114*z - 2. Let t be b(-4). Let k = t + 709. Is k composite?
False
Suppose 0 = 3*g + g - 16. Suppose -2*d - 42 = -g*d. Is d prime?
False
Is 2 + -1 - (-381 - 7) composite?
False
Suppose -568 = -3*o - 97. Is o prime?
True
Suppose 633 = 7*g - 4*g. Is g prime?
True
Let q(z) = z + z - 3 + 0 + 37*z**2. Let k be (-4)/2*(-5)/5. Is q(k) prime?
True
Let c = -275 + 568. Is c a composite number?
False
Let n = 354 - 167. Is n a prime number?
False
Let v = -5 + 9. Suppose 0 = v*z - 690 - 746. Is z a prime number?
True
Let x be (-30)/(-3 - (-405)/132). Let a = -43 - x. Is a composite?
False
Is 53 + (-3 - -3) + 0 prime?
True
Is 20868/20 + (-6)/15 + 0 prime?
False
Suppose q + 10 = -4*q. Is ((-508)/(-6))/(q/(-3)) prime?
True
Let i(f) = -16*f**3 + 4*f**3 + 20*f + 10 + 9*f**2 + 4. Let x(v) = 4*v**3 - 3*v**2 - 7*v - 5. Let p(d) = 4*i(d) + 11*x(d). Is p(-3) a prime number?
True
Let y = 5 + 72. Is y a composite number?
True
Let b = 32 - 5. Suppose -2*c = b - 133. Is c composite?
False
Let p(r) = 135*r**2 - r + 3. Is p(2) composite?
False
Let y = 217 + -90. Is y prime?
True
Let h(y) = -y - 4. Let r be h(-3). Let p(w) = -58*w - 1. Is p(r) composite?
True
Let s be 9*-10*(-4)/24. Let x = -12 - -21. Let p = s - x. Is p a composite number?
True
Let s(l) = 2*l**2 - 12*l + 9. Let n be s(9). Suppose -3*f - 5*j = 50 - 235, -f - 2*j = -n. Is f a composite number?
True
Suppose -2*r + 5*v + 13 = -8, -5*r - 4*v = -69. Is r prime?
True
Let f(r) = -r**2 - 12*r - 1. Suppose -4*y + 15 = -y. Suppose -36 = y*c + 4. Is f(c) a composite number?
False
Suppose -i + 0*i - 4*h + 61 = 0, 108 = 2*i + h. Is i a prime number?
True
Let g be 11 + 2/(-2) + 0. Let c(l) = 21*l + 1. Is c(g) a composite number?
False
Let r be (-5)/(-5)*(0 + 301). Suppose r = 4*d - 147. Suppose d = -5*s + 297. Is s a prime number?
True
Let h = -217 - -1563. Is h a composite number?
True
Let a be -7*(1 + (-57)/21). Let w be 190/a - 4/(-24). Suppose w = y - 3. Is y a prime number?
True
Suppose 0 = -3*i - 1 + 10. Suppose -4*t + 77 = z - 8*t, 3*z = i*t + 276. Is z prime?
True
Suppose -30 = -k + 1. Is k prime?
True
Let n = -93 - -674. Is n a prime number?
False
Suppose 10*w - 2*u + 4 = 5*w, -15 = 5*u. Let l(i) = -11*i**2 + i - 1. Let f(a) = -a**2 - a. Let o(b) = -3*f(b) - l(b). Is o(w) composite?
False
Suppose 0 = -7*l + 11*l - 508. Is l prime?
True
Let q = 13 - -454. Is q a composite number?
False
Let x be (-67)/2 + (-4)/(-8). Let a = 86 + x. Is a prime?
True
Let f = -148 - -69. Let i = -45 - f. Is i composite?
True
Let i(p) = 18*p**3 - 5*p**2 + 4*p - 4. Is i(3) prime?
True
Suppose 215 = -p + 6*p. Is p a composite number?
False
Let d(l) = 47*l**2 + 0*l**2 - 2*l + l + 1. Is d(-2) composite?
False
Let c be ((-24)/(-36))/(1/(-3)). Let w = -6 + 10. Is (-1)/(c/w) - -41 prime?
True
Let r(j) = -j**3 + 7*j**2 - 7*j - 6. Let k be r(6). Let y be 4/(-3)*18/k. Is (-2)/(y + 20/(-9)) composite?
True
Let g(y) = y**3 - 5*y**2 - 2*y + 4. Let f be g(5). Let s(n) = n**2 + 4*n - 5. Is s(f) a composite number?
False
Suppose 3*c - 5*c = h, -3*h = -4*c. Suppose c = w - 11 - 71. Suppose -2*d - 358 = -6*d - 2*p, d + 3*p = w. Is d a prime number?
False
Let s = 177 + -253. Let v = 113 + s. Is v prime?
True
Let q = -86 - -89. Let z(c) = -2*c**3 + 9*c**2 - 2*c. Let p(l) = 2*l**3 - 10*l**2 + 3*l. Let r(k) = -6*p(k) - 7*z(k). Is r(q) a prime number?
False
Let n(t) = t - 4. Let f be n(0). Let p = 6 + f. Is 0 + 0 + (213 - p) a prime number?
True
Let v = 0 + -14. Let u = -10 - v. Suppose 2*t - 106 = u*j, 0*t - 5*t + 4*j = -277. Is t prime?
False
Let z(t) = -13*t - 10. Is z(-13) composite?
True
Is 9 + 449 - (0 + 0 - -1) composite?
False
Let x = -3 + 5. Let g = x - -8. Is g a prime number?
False
Let c = 481 - -1042. Is c a composite number?
False
Let i(s) = 2939*s**2. Is i(1) prime?
True
Let m = 5 + -3. Let z be m/8 + (-7)/(-4). Suppose 2*c + z*h + 3*h - 131 = 0, 20 = 4*h. Is c a prime number?
True
Let u(b) = 2*b**3 - 2*b**2 + 5*b - 6. Let l(p) = -3*p**3 + 2*p**2 - 5*p + 7. Let j(h) = -4*l(h) - 5*u(h). Is j(3) prime?
True
Suppose 0 = 3*m - 12. Let p be 1 - 1*m/(-2). Let x = 19 + p. Is x a composite number?
True
Is (-5)/20*2*-1898 prime?
False
Suppose -5*n + 2*n = -6. Let h = -4 + n. Is 47 + (2 - (2 + h)) a prime number?
False
Suppose 2*j + 2*r + 0*r = 0, 0 = 4*j + 3*r + 2. Let o be (-1)/j - 14/(-4). Suppose 445 = q + o*q. Is q a prime number?
True
Let f(q) = q**2 + 5*q - 1. Let y be f(-5). Let g be (4/10)/(9/(-225)). Is (y - g) + 5 + -3 composite?
False
Suppose -2*p - 12 = -5*p. Is ((-105)/(-12))/(1/p) prime?
False
Let q = 12 - -2. Is q a prime number?
False
Suppose -2*a + 2 = -6. Let m(u) = 21*u - 1. Let c be m(4). Is c*(-1 + a/2) composite?
False
Let q = 7 + -6. Let t(c) = -2*c. Let p be t(q). Let y(a) = -5*a**3 - 3*a**2 - 4*a - 3. Is y(p) composite?
True
Suppose 4*u = w - 406, -2*w + 3*u - 856 = -4*w. Is w a prime number?
False
Suppose 0 = -2*u + 2*w + 722, -6*u - 5*w = -7*u + 345. Is u a prime number?
False
Let x = -14 + 13. Is x - (-3)/((-9)/(-321)) a composite number?
True
Suppose 83 = -t + u, -2*t + 3*u = -0*t + 171. Let j be 0 - (3*15 - 2). Let f = j - t. Is f composite?
True
Suppose -213 = -w - 7*x + 4*x, 2*w - 386 = 4*x. Is w a composite number?
True
Let v = -60 - -225. Let k = 2 + 2. Suppose k*w = -w + v. Is w a composite number?
True
Let x = 8 + -5. Let a(r) = 6*r**2 + 2*r + 1. Let q be a(-1). Suppose q*s - 51 = -4*p, x*s - 5*p = -0*p + 38. Is s prime?
True
Suppose -2*k - 4*t - 3 = 69, 0 = -k - 4*t - 40. Let b = k - -6. Let w = b - -49. Is w composite?
False
Let u(n) = n**2 + 6*n + 4. Let r be u(-6). Suppose 4*f + f = -r*b + 2687, 0 = -4*f + 3*b + 2131. Is f a c