osite number?
False
Let j = -2093 - -3420. Is j a prime number?
True
Let b = -199 - -405. Let j = b + -320. Let i = j + 163. Is i composite?
True
Let o = 95 + -93. Is o + 8 + -5 - -1188 prime?
True
Suppose 3*j - 5274 = -4*q, -5*q + 5638 = 4*j - 955. Suppose 0 = 25*s - 22*s - q. Is s prime?
True
Suppose p + 33 = 4. Let a = p + 9. Is 12/a - (-5576)/10 a composite number?
False
Suppose -278 = -48*y + 46*y. Suppose -c + y = -0*c. Is c a composite number?
False
Let g(w) = 4*w - 1. Let j be g(4). Let v(y) = 2*y**2 - 22*y + 7. Is v(j) composite?
False
Let j(p) = 3*p**3 - 2*p**2 - p**3 - 9*p + 2*p**2 + 1. Let k be (21/7)/(1/2). Is j(k) a composite number?
False
Let h(r) = -r**3 + 3*r**2 + 2*r + 11. Let i be h(4). Suppose 2*t + 3 + i = 0, -3*y + 324 = t. Is y a composite number?
False
Suppose 6*b = -3*o + 2*b + 9, 0 = 3*b. Suppose -4*k = -n - 2355, 0 = k + 2*n - 397 - 203. Suppose o*i + 530 = 5*c, 5*i + 129 - k = -4*c. Is c a prime number?
True
Let y(f) = 41*f**2 - 13*f - 119. Is y(-9) a composite number?
False
Let i = 23 + -23. Suppose -h + 821 = f, i*h - 821 = -h + 2*f. Is h a composite number?
False
Suppose 0 = n + 2*m - 30873 + 7804, 3*n - 5*m = 69152. Is n a composite number?
False
Let k(m) = 72*m + 35. Let r be k(-13). Let q = -266 - r. Is q a composite number?
True
Suppose -4*q = -n - 14789, -9*q - 5*n = -10*q + 3702. Is q a prime number?
True
Suppose -66*p + 122914 + 165968 = 0. Is p composite?
True
Let a(n) = 9*n**3 - n + 1. Suppose -5*j + 5 = -10. Suppose 0 = 5*k + i - 14, 3*k + k + j*i = 20. Is a(k) a prime number?
True
Suppose -2*u = 3 + 3, -i - 2 = u. Is (-2 + i)*-1319*(-3)/(-3) prime?
True
Let h be 9/4*1/((-6)/(-54032)). Suppose 11*t = 5*t + h. Is t composite?
True
Let s(j) = j - 7. Let m be s(8). Let y = m - -3. Is 806/y - 9/(-6) a composite number?
True
Suppose -4*f - 2*w = -0*f + 20, -w - 4 = 0. Is (-1338)/(-9) - (f - 24/(-9)) a prime number?
True
Let w be (-1)/6*2*-3033. Suppose 5*h + 4*z = 10217, -4*z = h - w - 1042. Is h a composite number?
True
Let b(r) = r**2 + 5*r - 1. Let d be b(-6). Suppose 3*j = 6*j - 2*v - 258, -d*j - 4*v + 430 = 0. Let z = j - 19. Is z a composite number?
False
Suppose -113171 = -7*w + 72672. Is w a prime number?
False
Let n(m) = -4 - 2*m - 22 + 12*m + m**2 + 7. Suppose -24 + 10 = w. Is n(w) prime?
True
Let a(q) be the second derivative of 97*q**5/20 + 143*q + 2. Let c = -1 + 2. Is a(c) prime?
True
Let f = 2 - -1. Let a(y) = y**2 - 3*y + 1. Let v be a(f). Let l = 34 - v. Is l a composite number?
True
Suppose 28*l = -4073 + 49909. Is l a prime number?
True
Let h = 1630 + -2608. Suppose 587 = -3*n + 2*n. Let j = n - h. Is j prime?
False
Let z(y) = 498*y**2 - 3*y - 1. Let v be z(-1). Let j = 1265 - v. Suppose 2*s = 5*b + 747, -2*s + 2*b - 3*b = -j. Is s a composite number?
True
Suppose 0 = 4*k + k - 4*o - 24, -4*o = -2*k. Suppose 2*w = -k, u = -4*u - 2*w + 112. Is 5080/u - 4/6 prime?
True
Suppose 0 = 5*l - 2*l - 5670. Suppose 5*q = 5*u - l, -5*u + 364 = -3*q - 1528. Is u prime?
True
Let z = -4 - -8. Suppose -5*f + 2*f + 27 = z*h, 0 = -4*h + 5*f + 19. Let y(m) = m**2 - 5*m + 1. Is y(h) composite?
False
Suppose -19*o - 23217 = -76132. Is o prime?
False
Let v = 3 - -27. Is 70/4*24/v composite?
True
Let k(g) = -g**2 + 77*g - 193. Is k(33) a prime number?
True
Let x(q) = -13 - q**3 + 14 + q - 3*q**2 + q**2. Let o be x(-3). Suppose 2230 = o*k - 2*k. Is k a composite number?
True
Let n(z) = z**3 + 2*z**2 - 4*z + 5. Let j(p) = p**3 - 2*p**2 + 2*p + 2. Let c(x) = -x**3 + 3*x**2 + 2. Let t be c(3). Let d be j(t). Is n(d) composite?
False
Suppose 3*n + 3*h + 5 = -h, 0 = -4*h + 4. Let d be -7*6/n + 4. Suppose d*z = 13*z + 555. Is z composite?
True
Suppose 0 = 67*k - 60*k - 50687. Is k prime?
False
Let d(y) = 2*y**2 - 6*y. Let z be d(4). Let n(l) = l + 2. Let w(s) = -31*s + 21. Let o(f) = 6*n(f) - w(f). Is o(z) a composite number?
True
Is ((-821)/(-6))/(19/114) a composite number?
False
Suppose -5 = -0*b - 2*b + 5*p, 5*b - 28 = -3*p. Suppose -5*u - 2*j + 30 = 0, 0*j - 1 = 3*u + b*j. Suppose -u = 4*c + 12, 2*a + 5*c = 565. Is a a prime number?
False
Let i(w) = 20*w**2 + 3*w - 9. Let k(t) = -40*t**2 - 7*t + 19. Let m(z) = 9*i(z) + 4*k(z). Is m(-4) a prime number?
False
Suppose y - 102 = 42. Suppose y + 470 = 2*z. Is z prime?
True
Is 68 + -2 - (22 + -21) a prime number?
False
Suppose 0*a + a - 2 = 0. Suppose 3*t + a*p = 101, -3*t - p = 2*t - 159. Let z = t + 15. Is z prime?
False
Let k(d) = -445*d + 44. Let p be k(-9). Suppose -3*y = 3*i + 107 - p, 0 = y + 2*i - 1309. Is y a prime number?
True
Let u(k) = 81*k**2 + 6*k - 30. Let x(l) = 161*l**2 + 12*l - 59. Let n(w) = 5*u(w) - 2*x(w). Is n(5) a prime number?
False
Let m(z) be the first derivative of z**2/2 - 11*z - 3. Let o be m(11). Suppose o = -3*b + 50 + 55. Is b prime?
False
Suppose 7*q - 1310 = 8217. Is q a composite number?
False
Is (-4)/10*((-94747)/2 + 6) a prime number?
True
Suppose 1 = -4*d - 3*t, 5*d + 3*t + 4 = 5. Suppose i + 4 = 2*q - 3*i, -d*i = 3*q + 18. Is q/6 - 413/(-21) prime?
True
Let q(k) = -1 + k + 0*k + k + 9*k. Let d(r) = -21*r + 1. Let u(s) = 6*d(s) + 11*q(s). Is u(-8) a prime number?
False
Suppose x - 2*x + 5*t + 4644 = 0, -2*x = 3*t - 9249. Let q = x + -2920. Is q prime?
True
Suppose -p - 3*x + 8*x = -10, 0 = 2*p + 5*x + 40. Suppose -5*j + 257 = -j - m, 0 = 2*j - 5*m - 133. Let o = j - p. Is o prime?
False
Let m = 31 + -31. Is ((-4)/8*m)/2 - -65 composite?
True
Is (-128380)/(-42) - (-2)/6 a composite number?
True
Let y be (1 - -1) + -4 + 431. Suppose -900 - y = -3*t. Is t prime?
True
Suppose -3*m - 4*t + 21371 = 0, -85*m - t = -83*m - 14244. Is m a prime number?
True
Suppose -2*f = t - 2*t - 851, -4*f + 3*t = -1701. Suppose 0 = 3*d - d + f. Let n = d - -310. Is n composite?
False
Let s = 2448 - 287. Is s prime?
True
Suppose -7*l - 158352 = -55*l. Is l a composite number?
False
Let a(u) be the first derivative of 8*u**3/3 + 17*u**2/2 - 7*u + 16. Is a(-16) a composite number?
True
Let p be (-2)/(-4) + 78/4. Let j = p - 1. Is j a composite number?
False
Suppose 12*v + 143 = -1. Is (-8)/v - 11060/(-6) - -3 prime?
True
Suppose -3*n + 4*n = 5*c + 3, 4*n - 12 = -3*c. Suppose c*w + 1316 = 4*w. Is w composite?
True
Is -5 + (1 - -1) - 76636/(-34) prime?
True
Let f be ((0 + 1138)/(-1))/(6/12). Let g = -567 - f. Is g composite?
False
Suppose -3*k + 4*k - 2244 = -3*v, -k = -3*v - 2262. Let s = k + -1576. Is s a composite number?
False
Suppose -5*y = -2*h + 24, -2*y - 3*h = -2*h + 6. Let m(b) = b**2 + 6*b + 9. Let n be m(y). Let p(q) = 97*q**3 + q**2 + q - 2. Is p(n) prime?
True
Let j(f) = -39*f + 1. Let q(y) = 9*y + 16. Let d be q(-6). Let t = 34 + d. Is j(t) prime?
True
Let c(o) = -9813*o - 178. Is c(-3) a prime number?
False
Let x(g) = g**3 + g + 1. Let a(q) = 8*q**3 - 10*q**2 + 9*q. Let y(t) = a(t) - 6*x(t). Let c = 747 - 740. Is y(c) prime?
True
Let k = -11 + 7. Is 44 + 1*(-5 - k) a composite number?
False
Let s(r) = -57*r - 7. Is s(-12) a prime number?
True
Let d(w) = -w + 2168. Let s be d(0). Suppose 0 = k + 4*b - 657, 4*b - 1181 = -5*k + s. Is k composite?
False
Let y(n) be the third derivative of n**6/120 + n**5/15 + n**4/8 + 2*n**3/3 - 10*n**2. Let p be y(-3). Suppose -p*u + 993 = -u. Is u composite?
False
Is (-33474)/63*9/(-6) a composite number?
False
Is 20/24 + -1 - 1074665/(-30) composite?
True
Let z(b) = 5*b**2 - 47*b - 67. Is z(-53) a prime number?
False
Suppose 0 = -5*j + 25*s - 26*s + 12059, 0 = 4*j + s - 9648. Is j composite?
False
Suppose -3*u - 38*i + 39079 = -37*i, -3*u - 5*i = -39071. Is u composite?
True
Let g = -9006 - -15643. Is g prime?
True
Let s be (3 + (-1 - 2))/((-2)/(-2)). Is (-1 + 14)*(17 + s) a prime number?
False
Let h(c) = 26*c + 9. Let l(v) = 77*v + 27. Let s(t) = -17*h(t) + 6*l(t). Suppose 0*q + 30 = 3*q. Is s(q) a composite number?
True
Let k be (518/(-6))/1*9. Let f = -512 - k. Is f a prime number?
False
Suppose 4*q + 2*r - 10473 = 15709, 5*q = -r + 32732. Is q a prime number?
True
Is (-15)/(-6 + 38115/6356) - 6 composite?
True
Let q = 1399 + -637. Is 1 - (-2)/(4/q) a composite number?
True
Suppose 2*z + 5*h = -2*z + 4807, 0 = -5*z - h + 5993. Is z a composite number?
True
Let y(h) = -107*h - 25. Let z be y(-8). Suppose -c + z = -8092. Is c composite?
False
Let b(m) = -m**2 + 6*m - 3. Let h be b(5). Suppose -5*w = 5, h*v 