Is n a composite number?
False
Is (-21)/14 - (98875/(-2))/7 prime?
False
Suppose -45 = -5*a + 15. Let y(k) = 17*k. Let w be y(-3). Is (-1 - 7)*w/a composite?
True
Let y(c) = -334*c + 111. Is y(-16) composite?
True
Suppose 87*f + 30 = 82*f. Is 5 + -101*(f + 0) composite?
True
Let m = 107 - 103. Suppose -619 = -5*x - 4*s, x + m*s + 270 = 3*x. Is x a composite number?
False
Let k(m) = -4*m**2 + 11*m - 700. Let y(w) = 3*w**2 - 7*w + 701. Let q(g) = 2*k(g) + 3*y(g). Let v = 2 - 2. Is q(v) composite?
True
Let f(j) = 2*j**3 - 5*j**2 + 3*j + 1. Let o(k) = 2*k + 0*k**2 - 41 + 47 - k**2. Let c be o(3). Is f(c) composite?
False
Let a = 35 - 7. Let m = a - -10. Let j = m + 163. Is j a prime number?
False
Let t(c) = -7 + c**3 - c - 2*c**3 + 5*c**3 - 3*c**3 + 7*c**2. Let y be t(-7). Suppose 2*x = -y*x + 178. Is x composite?
False
Suppose 6805 = 12*w - 13727. Is w composite?
True
Let k be 7/((-304)/61 - -5). Suppose 3*j + 688 + k = 2*o, -5*j = 2*o - 1155. Is o prime?
False
Let w(p) = -36*p**3 + 4*p**2 - 4*p - 5. Let o be w(-6). Suppose -o = -8*a + 27429. Is a a composite number?
False
Let m(p) = p**2 - 2. Let y be m(0). Let f = 0 - y. Suppose -f*q = 5*t - 83, -4*t - 14 = 3*q - 86. Is t prime?
False
Suppose 0 = v - 6 + 1. Suppose h + 1 = 2*b + b, 0 = h - v. Is 5 - (-2 + 3 + b) prime?
True
Let j = 29778 - 18233. Is j a composite number?
True
Let t(p) be the first derivative of 37*p**3/3 + 13*p - 4. Is t(6) a composite number?
True
Let t(g) = g**3 - g - 1. Let c(v) = 10*v**3 - 2*v**2 - 7*v - 5. Let l(u) = -c(u) + 6*t(u). Suppose 8 = 45*q - 41*q, -2*q = -5*r - 14. Is l(r) a prime number?
True
Let p(s) = s**2 + 3*s - 13. Let a be p(-6). Suppose -b - 95 = 4*t - 4*b, a*t + 116 = b. Let f = 168 + t. Is f prime?
False
Let t = -22 + 34. Is 1 + -1 + (-4)/(t/(-99)) composite?
True
Suppose 0 + 0 = 11*d. Suppose d = 29*b - 26*b - 2883. Is b a prime number?
False
Suppose 682 = g - 3*g. Let x = g - -550. Is x a composite number?
True
Suppose 3*r + r + 64 = 0. Let q = r + 16. Is -2 - q - (-1 - 180) composite?
False
Suppose 0 = 79*l - 87*l + 4168. Is l prime?
True
Suppose 1700733 = 17*u - 524312. Is u a composite number?
True
Let h(u) = 35*u - 129. Let k be h(5). Let d = -87 + 136. Suppose d = 5*l - k. Is l a composite number?
False
Let p(z) = -4*z**3 - 2*z**2 + 11*z + 15. Let v(y) = -4*y**3 - 3*y**2 + 12*y + 15. Let r(f) = 6*p(f) - 5*v(f). Is r(-6) composite?
True
Let x = 2151 + -1512. Let s = x + -380. Suppose 13 = -3*y + s. Is y a composite number?
True
Let k(z) be the second derivative of -9*z**5/20 - z**4/6 - 2*z**3/3 + 10*z. Suppose -5*v + 2 = g, 3*g - 1 = -4*v - 6. Is k(g) a prime number?
False
Suppose -5*i - 4561 = 3*h, -4*h - 2*i - 6092 = -6*i. Suppose 0 = -3*x - x - 2764. Let r = x - h. Is r prime?
False
Let d(k) = 36*k**3 - k**2 - k - 3. Let s be d(2). Let l = -102 + s. Is l a prime number?
False
Suppose -5*n - 102 = 1153. Suppose -101*k + 2176 = -105*k. Let l = n - k. Is l a composite number?
False
Let h be -166 - ((-9)/3 + 0). Let g = -104 - h. Let i = g - 10. Is i composite?
True
Is (1657*(-1)/2)/(25/(-50)) a composite number?
False
Suppose 0 = -5*h - 15, 22*f - 18*f + 4*h = 17456. Is f a prime number?
False
Suppose 0 = 2*b - 4*o - 8174, -4*b = -4*o - 13231 - 3109. Is b a prime number?
False
Is (5 + 2 - 4) + 257504/13 prime?
False
Let p = -1776 - -5761. Is p a prime number?
False
Let g(b) = b**3 + 4*b**2 + 3*b - 8. Let f be g(-6). Let o = 195 - f. Is o composite?
False
Is 15 + -13 - (-36617 + 2/1) composite?
True
Suppose 2*q - 17316 = 2*i, -2*q + 17301 = 13*i - 18*i. Is q composite?
False
Let x be -17 - (0 + -1 - 0). Let u = x + 15. Is (u*1)/((-1)/373) prime?
True
Let r be ((-2)/(-2))/(2/(-6)). Let m(h) = h + 7. Let d be m(r). Suppose i = -d*i + 635. Is i composite?
False
Let n = -1 + 1. Let q(c) = 108*c + 15. Let o be q(3). Suppose y = -n*y + o. Is y prime?
False
Is 45/(-90) - ((-38097)/6 + 0) prime?
False
Let q(v) = 633*v + 224. Is q(19) a composite number?
False
Suppose -8*y = -12*y + 24. Suppose -2*i + y*i = 220. Is i composite?
True
Let a be (-4 - -14)*((-6)/(-4) - 1). Suppose 2*r - 53 = a*p, 5*r - 293 + 78 = -4*p. Is r prime?
False
Let a be 0/(-1)*(-3)/3. Suppose -2*m + 3 + 1 = a. Is (126/4 - 3)*m a composite number?
True
Suppose 0*c = -2*c - 4*r - 3344, -3 = -3*r. Let a = 6385 + c. Is a composite?
True
Suppose 18 + 2 = 10*j. Suppose -3*a = 0, j*r + 3*r - 415 = -5*a. Is r a prime number?
True
Suppose 0 = -5*r + 14 + 16. Suppose 0 = r*p + 437 + 307. Is p*2*(-3)/8 a composite number?
True
Suppose -3*k - 3 + 21 = 0. Suppose -22 - k = -4*m. Suppose 0 = m*c - 9*c + 38. Is c composite?
False
Let k = 278 - -101. Is k prime?
True
Let d(f) = 2*f + 191. Let k = 0 - -4. Suppose 2*l + 13 - 5 = 5*z, l + k = z. Is d(z) a composite number?
False
Suppose -5*z + 60781 = 2*r, 0 = 55*r - 50*r + 5*z - 151990. Is r prime?
True
Let z = -36 + 351. Let s = -5 - -135. Suppose -g + z = s. Is g composite?
True
Let l = 256 - 143. Suppose -2*s = -2*o + 168, -l = -3*o + 5*s + 147. Let w = o + 663. Is w a prime number?
True
Let i = 11 - 8. Suppose -5*a = -i*j + 16, 0*j + 3 = -j. Let x(w) = w**3 + 4*w**2 - 8*w + 6. Is x(a) a composite number?
True
Let n be 1/(3*3/27). Suppose 0 = -n*d + 9, 3*w + 2*d - 7*d = 3102. Is w prime?
True
Suppose -6*k + 5*k = 0. Suppose 4*n - 1276 = -k*n. Suppose -2*m + 5*m + 4*p = n, 2*p + 549 = 5*m. Is m a prime number?
True
Let n be 1/((-25)/(-12) + -2). Suppose -8*y - 54 = 106. Is (201/n)/((-5)/y) a composite number?
False
Let w(d) = 265*d**2 - 17*d - 1. Is w(3) a composite number?
False
Is 12/(-9)*45/(-10) - -18793 composite?
True
Let q(p) = -4*p**2 - 27*p - 13. Let a be q(-6). Let j be 0/((-1)/(-2 + 1)). Suppose -1 + a = -g, j = 2*w + g - 190. Is w a prime number?
True
Let j(z) = 25*z**2 + 21*z + 31. Is j(25) composite?
True
Suppose -110 + 20 = -3*c. Let f be c/9*3/2. Suppose -4*b + 184 = 4*p, -f*p + 0*b = -3*b - 270. Is p composite?
True
Suppose -2*m - 64 = -10*m. Suppose 7544 = -m*x + 16*x. Is x a prime number?
False
Suppose 4*v + w - 1177 = 0, -4*w + 596 = 4*v - 596. Is v a composite number?
False
Let p = 1 - -5. Let s = p + 0. Let t = 3 + s. Is t composite?
True
Let c = 1203 - 1735. Let n = -83 - c. Is n a composite number?
False
Suppose 0 = 6*w - 23 - 25. Suppose 2*y = -w, 105 = 4*g - y - 495. Is g a composite number?
False
Let y(v) = 4 - v + 33*v**2 - 12*v**2 - 3. Let j(m) = -m**2 + 19*m + 1. Let o be j(19). Is y(o) prime?
False
Is (-330968)/(-132)*(-1 - (-5)/2) composite?
False
Let v = 20 + -8. Let y = v + -8. Suppose -y*j = -6*j + 20. Is j composite?
True
Is (44866/4)/((141/(-6))/(-47)) composite?
False
Suppose 232 = 5*s - 5*t - 1283, 0 = 2*s - 5*t - 612. Let y = s - 174. Is y a prime number?
True
Suppose 0 = -q + 9 - 6. Suppose 3*w + q*s = 18, -18 - 6 = -2*w - 5*s. Suppose 3*u - w*b - 757 = -6*b, u - 3*b = 274. Is u a composite number?
True
Suppose 2*j - 24 = 2*g, -5*g + 3 = -2*g. Let f(n) = 5*n**2 - 5*n - 12. Let z be f(j). Let v = -475 + z. Is v a composite number?
False
Suppose -280 + 1292 = i - 5*r, 0 = 2*i + 2*r - 2060. Suppose i = 7*j - 891. Is j a prime number?
False
Suppose 8*q = q + 25018. Suppose -886 - q = -4*w. Is w a composite number?
True
Suppose -o + 547 = -0*y - 4*y, 3*o + 4*y - 1561 = 0. Is o a composite number?
True
Let b(t) = -t**3 + t**2 + 3033. Let f be b(0). Suppose -2*h = -a - 0*a - 2022, -3*h - 5*a = -f. Is h a prime number?
False
Suppose 0 = 2*q - 4*q. Suppose q = -10*g + 8*g + 14. Suppose -2*c = -g*c + 290. Is c prime?
False
Suppose f - o = 827 + 52, f - 5*o = 887. Is f a composite number?
False
Is (11238105/(-10))/17*2/(-3) composite?
False
Suppose -2*d + 199408 = 73*l - 71*l, l - 99689 = 4*d. Is l a prime number?
False
Let a = 174 - 24. Suppose -4*q + 3*q + a = 0. Let t = q - -53. Is t prime?
False
Suppose -20*x - 318079 = -39*x. Is x a prime number?
True
Suppose a = w + 936, -4*a + 3*w + 3752 = 7*w. Is a a composite number?
False
Let z = 22 + -13. Suppose -3*j + 2*m = -26, 3*j - 4*m - 19 = z. Let p = j - -1. Is p a composite number?
True
Let l(r) be the third derivative of -1/30*r**6 + 0*r + 0 - 2/15*r**5 - 1/6*r**3 + 1/8*r**4 + 7*r**2. Is l(-6) a composite number?
False
Let n = 14 + 2. Let j(m) = -m**3 + 20*m**2 - 15*m - 33. Is j(n) a prime number?
True
Let f(u) = -25*u - 22. Let w(c) = 50*c + 45. Let k(v) = 9*f(v