mposite?
True
Suppose -15*r + 1422 = -14*r. Suppose -o = z - r, -5*z - o + 4*o + 7078 = 0. Is z a prime number?
False
Let v(k) = k**2 - 10 - 9*k - 10 - 14*k + 7. Is v(-15) prime?
True
Let w = 5490 - 1939. Is w composite?
True
Let i(y) = 293*y**2 + 8*y - 11. Is i(2) a prime number?
False
Let g = -9 - -13. Suppose 0 = -g*u + 3*u. Suppose u = 6*k - k - 1655. Is k a composite number?
False
Suppose 2*p - 2*u = 1128 + 596, u - 1724 = -2*p. Is p prime?
False
Suppose 0 = 5*s - 1971 - 3379. Suppose -5*q = 5*i - s, 3*q = -4*i + 297 + 556. Is i composite?
False
Let r = -244452 + 353741. Is r prime?
False
Let j = -20 + 20. Suppose 6*b - 6127 - 1427 = j. Is b prime?
True
Suppose 3*q - 4*t = 10179, -5*q + 5*t = 7743 - 24703. Is q prime?
True
Let f(k) = k**3 - 3*k**2 - 9*k + 14. Let u be f(-6). Let s = u + 723. Is s prime?
True
Is 19/(-209) + (-425020)/(-22) prime?
True
Suppose 3*v = 1475 + 3436. Is v composite?
False
Is (-3 - -3) + (-268)/8*-118 a composite number?
True
Suppose 16 = 4*d + t, -3*t = -0*t. Suppose -v + 25 = d*v. Suppose -v*k + 165 = -180. Is k composite?
True
Let j(i) = -2*i**2 + 18*i - 47. Let g(l) = l**2 - 18*l + 46. Let w(c) = -4*g(c) - 3*j(c). Is w(-20) a prime number?
True
Let z = 74 + -35. Let s = z - 27. Let h = s + -10. Is h prime?
True
Let j = -22 + 103. Suppose -6*w - j + 219 = 0. Is w prime?
True
Let r(w) = 2*w**3 + 34*w**2 - 3*w - 52. Is r(15) composite?
False
Suppose -15*f + 4974 = -34161. Is f composite?
False
Suppose -3*i - 3*i - 90 = 0. Let w be (i/2)/(2/(-344)). Suppose 320 = -5*l + w. Is l a prime number?
False
Suppose -3*v + 7 + 8 = 0. Suppose -2*l + l = -4, -2*m = -v*l + 174. Let z = 114 + m. Is z prime?
True
Suppose 0 = -4*j - 3*a + 20, 0*a = -2*j + 3*a + 10. Let w be ((-32)/j)/((-18)/(-1215)). Let g = -241 - w. Is g a prime number?
True
Suppose 5*r + 5*b = -0*r - 15, 3*r + 4*b + 13 = 0. Let y = 5 - r. Suppose i + y*i = 170. Is i composite?
True
Is -4*(-4)/((-48)/(-537)) a prime number?
True
Let j(g) = -g + 2*g**2 + 11*g - 3*g**3 + 2 - 19*g**2 - g. Is j(-9) a prime number?
False
Suppose 0 = -47*w + 39*w + 20840. Is w composite?
True
Let u be (-9)/(-6) - 10/4. Let r be (1 + 48)*(u + 0). Let t = r + 176. Is t a prime number?
True
Let l be ((-130)/(-6))/((-2)/6). Let r be 14/((-2)/(-4*3)). Let z = r - l. Is z a prime number?
True
Let r be (-20)/(-50)*(1 - -19). Let d = -3 + r. Suppose 388 = d*b - b. Is b a composite number?
False
Let r(v) = 37*v**2 - 21*v - 33. Is r(13) prime?
False
Suppose z + 5 = 2. Is z - 348/(-6 - -3) composite?
False
Let o = 272 + -181. Suppose -o = -p + 168. Is p composite?
True
Suppose 2337 = w - 4*p, 0*w = 4*w - 5*p - 9337. Is w a composite number?
False
Is 52/(-65) + 13676/20 prime?
True
Let n be (-2)/(-6)*(2 - -463). Suppose -3*d = 8 - 2, -4*d = -5*t + 8. Is (n - -4) + (t - 2) prime?
True
Let n = -1078 + 1733. Is n composite?
True
Suppose 51*r = 45*r + 30. Suppose -r*b + 541 = -4*b. Is b a composite number?
False
Suppose 0 = -2*c + 2 + 6. Is ((-1676)/(-8))/(c/8) a prime number?
True
Let h(j) = -96*j**3 - 100*j**2 - 7*j + 5. Is h(-6) prime?
True
Let a(t) = 18*t - 14. Is a(4) composite?
True
Suppose 2*j - 4*p = j + 11, -j - p - 4 = 0. Let g be j - (-6 - -3) - 5. Let s(b) = -43*b + 2. Is s(g) a composite number?
False
Let n(x) be the second derivative of -x**3 - 2*x**2 + 9*x. Let t be n(-4). Is (-6)/(-15) - (-2532)/t prime?
True
Let h(r) = -3*r + 18. Let p be h(8). Let i(u) = -13*u**2 - 7*u - 12. Let t be i(p). Let s = t + 739. Is s a composite number?
True
Suppose -3*r - 1 = -0*c + 2*c, 4*r = 2*c + 8. Suppose q - 124 = -n - 3*q, -2*n + 3*q + 303 = 0. Let s = c + n. Is s composite?
True
Suppose -7*q + 3435 - 852 = 0. Let m = q + 97. Is m prime?
False
Suppose -w = 46*c - 49*c - 101942, c + 5 = 0. Is w composite?
True
Suppose -3*n + 18 = 3*w, 2*w - 4*w + 3*n + 7 = 0. Is (4 - w)/((-2)/106) prime?
True
Let y(h) be the second derivative of -25*h**3/6 + 9*h**2/2 + 4*h + 10. Let a be 48/(-5) - 2/5. Is y(a) composite?
True
Suppose 2*h = 3*h + 5*s - 3752, 3*h - s - 11240 = 0. Is h a composite number?
True
Let d = 7713 - 4684. Is d prime?
False
Let h(w) = 176*w**3 + 2*w**2 - 8*w + 5. Is h(3) a prime number?
True
Suppose 3*b + 173 = -x, -4*b - x - 221 = 9. Let f = b + 643. Is f composite?
True
Let r(d) = 128*d + 3. Let p(b) = 255*b + 8. Let w(h) = -2*p(h) + 5*r(h). Is w(2) composite?
True
Let y = 4288 + -659. Is y a composite number?
True
Suppose 27*w = -w + 181132. Is w prime?
True
Is (-7)/((-14)/3532) + -1 + 0 a composite number?
True
Let n(b) = -2354*b - 135. Is n(-8) a composite number?
True
Let u(o) = -81*o + 2. Let c be u(2). Let a = 453 + c. Is a composite?
False
Let m be (2/(-2))/(6/(-24)). Suppose 5*r + m = 5*b + 24, -3*r - 2*b + 17 = 0. Suppose -l = -r*u + 2192, -l - l - 2189 = -5*u. Is u prime?
True
Let m = 122 - 40. Suppose 3*p + 2*h - m = 0, 0 = -p - 5*h + 10 + 13. Let j = p - -309. Is j a composite number?
False
Suppose 3*p + 0*p = -54. Let y(k) = 2*k**2 + 21*k - 8. Is y(p) composite?
True
Suppose 22*q + 55307 = 184645. Is q composite?
False
Let g(p) = 5*p - 1. Let f be g(1). Suppose 3*k + f = 13. Suppose -v = -4*m + 1007, -k*v = v + 12. Is m a prime number?
True
Is (3 + 21/(-6))*-1402 a prime number?
True
Suppose 4*t + 2244 = -2*f - 408, t = -5*f - 6594. Let s = 3497 + f. Is s composite?
False
Let j(y) be the second derivative of 0*y**4 + 7/2*y**2 + 1/20*y**5 - 2*y + 1/2*y**3 + 0. Is j(7) composite?
True
Suppose 27945 + 95036 = 23*u. Is u a prime number?
True
Suppose -3*i = -5*m + 2 - 8, -8 = -4*i - 3*m. Suppose -f - 789 = -4*f - 2*z, 2*z = -i*f + 526. Is f a composite number?
False
Let n = -12 - -13. Let d be (4 - -1)/(n/1). Let i = d - -198. Is i a composite number?
True
Let i = 816 + 10157. Is i a prime number?
True
Let x(o) = 442*o**2 + 9*o + 33. Is x(-4) a composite number?
False
Suppose -2967 = 5*b + 7513. Let k = 3049 + b. Is k a prime number?
True
Is (11273/(-2))/(16 + 363/(-22)) a composite number?
False
Suppose 20975 = 8*v - 777. Is v a prime number?
True
Let o be (-2 - (-2)/3)*-3. Let s(h) = -67*h + 6. Let z be s(o). Is 9/(-45) - z/10 a prime number?
False
Let r(n) = -4*n + 0*n - 4*n - 6*n**2 + 8 - n**3. Let a = -161 + 150. Is r(a) composite?
False
Let w = 5355 - 2191. Let p = -481 + w. Is p a prime number?
True
Suppose -28*u + 33*u - 365 = 0. Let b = 284 - u. Is b a composite number?
False
Suppose 232*g = 237*g - 130205. Is g prime?
True
Let d(k) = -118*k**3 - 2*k**2 + 6*k + 3. Is d(-4) a prime number?
True
Let y(g) = -g**3 + 14*g**2 + 6. Let f be y(14). Is (3 + f/(-4))*(-1410)/(-9) prime?
False
Let d(g) = 978*g - 59. Is d(24) composite?
True
Suppose -g - 3*f + 4381 + 23629 = 0, -2*g + 56050 = -4*f. Is g composite?
False
Let r = 1092 - 646. Is r a composite number?
True
Suppose y - 5*q = 3953, 3*y = 3*q - 8*q + 11819. Is y composite?
False
Let g = 5772 - -8266. Is -3*(g/(-24) - (-30)/(-40)) a prime number?
False
Let y = 7 - 21. Let l be (7/y)/((-1)/(-28)). Let c = l + 223. Is c prime?
False
Let s(j) = -31*j - 787. Is s(-48) a prime number?
True
Is (-937150)/30*(-6)/10 prime?
True
Suppose -13*f = -12*f - 740. Suppose v = 2*r + 3*r - f, 0 = r - v - 144. Is r composite?
False
Suppose 0 - 10 = -4*q + 2*m, 0 = -2*q + 2*m + 4. Let b(r) = 335*r**2 + 4*r - 10. Is b(q) a composite number?
True
Suppose 8*m + 120 = -7*m. Suppose 0 = 4*l - 4, -j + 5*l + 0 = 9. Is (35/2)/(j/m) a prime number?
False
Suppose 3*y = 6*y - 3*t - 17289, 5*y + 5*t - 28775 = 0. Is y a composite number?
True
Let u be ((-8)/(-6))/(9/27). Let p(a) = -a + 7. Let v be p(u). Suppose 40 = v*y - 713. Is y prime?
True
Is (-1 - -4090) + (-108)/(-54) a prime number?
True
Let g(h) = -224*h + 51. Is g(-28) a prime number?
True
Let a(r) = 21*r - 10. Let w(i) = -42*i + 19. Let v(h) = -5*a(h) - 3*w(h). Is v(10) composite?
True
Let o(y) = -y. Let f be (3 + -3)/(-6 + 4). Let p be o(f). Suppose -5*k = -3*q + 588, q - 3*q - 5*k + 367 = p. Is q prime?
True
Let q = 1319 + 1290. Is q a prime number?
True
Let f be (-3)/(-4)*80/(-10). Let s be 6 + 1 - (-12)/f. Suppose -5*p = s*u - 4*p - 1268, -1022 = -4*u + 3*p. Is u a composite number?
True
Let g(r) = 10*r**2 - r - 1. Let d be 15/(-2) - 6/12. Let o be 4 + 3*d/12. Is g(o) a composite number?
False
Suppose 5*c - 184 = 9*c. Let b = 323 - c. Let z = -150 + b. Is z a composite number?
True
Suppos