osite number?
True
Let w = 1086 - 639. Is w a composite number?
True
Let k(t) = -t + 8. Let z be k(6). Suppose 3*f + 2*r = 953, 0*f + 315 = f - z*r. Is f prime?
True
Suppose 0 = -0*w - 3*w + 993. Let l = w - -378. Is l a prime number?
True
Is (0 + -3 + 2)/((-13)/55783) a composite number?
True
Let q = 47 + -25. Suppose -3*j + 2*s = -q - 463, 5*j + 2*s = 819. Is j a composite number?
False
Is 3/((-3)/(-1402)) + (77 - 76) prime?
False
Let c(m) = 16*m + 17*m + 1 + m. Let o(f) = f**3 - 20*f**2 + 1. Let i be o(20). Is c(i) composite?
True
Suppose 3*l = -0*l + 2238. Suppose 774 = 3*r - 3*m, -2*r - 4*m = r - l. Suppose -4*c - r = -6*c. Is c a composite number?
False
Is 1*(-9290)/(-8 + 6) composite?
True
Suppose 3*w + 5*s - 27 = 0, -5*w - 7*s = -5*s - 26. Suppose -x - w*x = -485. Is x a composite number?
False
Let t = -140 + 144. Suppose -8*a + 6932 = -t*a. Is a composite?
False
Let m be (-6)/(-8)*48/18. Suppose 2*f - n = -m*n + 50, -100 = -4*f - 3*n. Is f composite?
True
Is 181865*((-1)/(-3))/(20/12) composite?
False
Suppose r + n = 7, -6*n + 2*n = -3*r. Is 2*557*2/r prime?
True
Let m = -754 - -1385. Is m a prime number?
True
Suppose 2*h - 7*h = 10, -4*t - 2*h + 38400 = 0. Is t a composite number?
False
Let g = 18 - 25. Let m be (g - -8)/((-1)/(-43)). Let t = m + -12. Is t prime?
True
Let q(b) = 4*b**2 + 99*b + 1. Is q(18) prime?
True
Suppose 6*o - 15 = o + 2*b, -5*o - b = -30. Suppose -2*q + u + 3466 = 5*u, o*u - 1721 = -q. Is q prime?
True
Suppose 0 = -24*t - 15*t + 569049. Is t a prime number?
True
Let u(w) = 3*w**2 + 22*w + 4. Is u(-19) a prime number?
False
Let z = 17967 + -3686. Is z composite?
False
Let v = 8 + 40. Let s(a) = a**3 - 8*a**2 + 6*a + 7. Let f be s(7). Suppose 2*n - 38 - v = f. Is n a prime number?
True
Suppose -6*q = -2*q + 1472. Let g = q - -525. Suppose -t = 3*z - g, 0 = 5*t + 2*z - 718 - 15. Is t composite?
True
Suppose -4*v = v. Suppose 5*k + 8 + 7 = v, -249 = -3*m + k. Suppose -s = -m - 37. Is s composite?
True
Let b(g) = -2931*g + 99. Is b(-2) a composite number?
True
Is 793 - 2*((-2)/4 + 0) composite?
True
Suppose -4*z + 47692 = 3*u, 3*z + 9*u = 4*u + 35769. Is z prime?
True
Suppose y + 35 = 38. Is 2 + (y - (4 + -112)) a composite number?
False
Suppose 2 = y + 6. Let w be (y - (-3 + 5)) + -2. Let c = 251 - w. Is c a composite number?
True
Suppose 0 = -t - 5, -k - 3*k + 4*t = -276. Let g(r) = -3*r**3 - 3. Let w be g(-3). Suppose -2*m + k = -w. Is m composite?
False
Let k(i) be the third derivative of i**5/60 - i**4/4 + 8*i**3/3 - 124*i**2. Suppose 0 = -3*l + 4 - 37. Is k(l) a prime number?
False
Suppose -3*y = 2*y - p + 491, -5*y + 2*p = 492. Let n be (-1 + (-1 - -2))/(-1). Is y/(-1) + n + -1 a prime number?
True
Let m be (-3 - (-7 - -2)) + 1760. Suppose 5*w + 1758 = 2*b, 2*b + 3*w - m = 7*w. Is b composite?
True
Let o be 0 - (-4259 + 6/2). Suppose -6*g - o = -2*g. Is g/4*(-2)/4 a prime number?
False
Suppose 2*l - l + 964 = 3*h, -l - 643 = -2*h. Suppose 4*n - h = 3035. Is n composite?
False
Let n be (-210)/25 + 8/20. Is (-1)/((n/(-1822))/(-4)) prime?
True
Let p(g) = 1101*g + 133. Is p(5) prime?
False
Let b = 4956 - -1081. Is b a prime number?
True
Suppose -3*y + y = -72. Suppose -y*p + 436 = -32*p. Is p prime?
True
Suppose 30*y - 52885 = -5*y. Is y a prime number?
True
Suppose 6*y - 9*y + 6 = 0. Suppose 5*j = 4*n - 2*n - 4284, 8 = y*j. Is ((-4)/16)/((-2)/n) a composite number?
False
Let a(z) = 22*z**3 + 6*z**2 - 7 + 2*z - 4*z - 21*z**3. Let x be a(-6). Suppose -m + 194 = -0*k + k, x*k - 2*m - 949 = 0. Is k a prime number?
True
Let a be 57/(-21) - (-2)/(-7) - -5. Suppose 2*v - 1181 - 601 = t, 2*t = a*v - 1786. Is v prime?
False
Is 255/(-20)*(-27420)/45 composite?
True
Let g = -35 - -15. Let b be (-4)/g + 18/10. Suppose -3*n + 5*o = -2*n - 48, -104 = -2*n + b*o. Is n composite?
False
Suppose 0 = -5*g + 10*g - 5365. Is g a prime number?
False
Suppose 0 = 306*c - 304*c - 88582. Is c a prime number?
False
Suppose -2*h + 24 = 4*a, 5*h - 2*h - 4*a = -4. Suppose 268 = -2*y + 2*k, h*k - 414 = 3*y - 15. Let o = -60 - y. Is o prime?
False
Let c(w) = 12*w**2 - 3*w + 5. Let v(t) = -23*t**2 + 5*t - 9. Let r(q) = -7*c(q) - 4*v(q). Let f be r(5). Let n = 405 - f. Is n prime?
True
Let d(g) = 5*g**2 + 13*g - 1. Let b be d(-7). Let y = 240 - b. Is y prime?
False
Let n be (-4)/(-22) - 2/11. Let t be 1 + 1 + 4 + -6. Suppose t = 4*b + 3*x - 853, -4*x + n*x + 856 = 4*b. Is b prime?
True
Let l be ((-160)/(-100))/((-2)/(-5)). Suppose 2*c - 5*n - 976 = 0, -l*n - 152 - 333 = -c. Is c a prime number?
False
Let q(a) = 4*a + 30. Let t be q(-7). Is t*(-4 - 327)*-1 prime?
False
Suppose -15*n + 95448 = 9*n. Is n prime?
False
Let p = 66 + -63. Suppose 2*x = 6*x - 8, 3*x = -p*n + 5925. Is n composite?
False
Let f(d) = 8*d + 4. Let m be f(4). Let y be (-16)/6*m/(-24). Is (-2673)/(-12) - (-1)/y prime?
True
Suppose 0 = -682*r + 689*r - 42. Let j(g) = -58*g - 1. Let s(p) = p. Let t(f) = -j(f) - 2*s(f). Is t(r) a prime number?
True
Let j(v) = 11*v**2 + 19*v + 13. Is j(22) prime?
False
Let d = -6264 + -5952. Is d/(-54) - 2/9 prime?
False
Suppose 0 = 5*x + 5*y - 210425, 3*x - 155991 + 29746 = 2*y. Is x a prime number?
True
Let z(o) = 189*o**2 + 4*o + 4. Let g be (-2)/(-3)*18/(-8)*2. Is z(g) prime?
True
Let w be 224/80 + (-2)/(-10). Suppose 0 = 5*s + m - 5430, -s + 4353 = w*s - m. Is s a prime number?
True
Let w = -8287 + 15344. Is w a composite number?
False
Let u(x) = -24*x**3 + 5*x**2 - 8*x - 5. Let v be u(6). Let r = -2144 - v. Is r composite?
True
Let f(t) = t**3 - 8*t**2 - t + 11. Let b be f(8). Let n be b/(-3 + (-9)/(-2)). Suppose -4*u = -n*q + 1050, 3*q = 8*q - 3*u - 2611. Is q prime?
True
Let k(r) = 112*r**2 - 15*r + 33. Is k(2) composite?
True
Suppose 0*w = 5*w - q + 1906, 2*w + 763 = q. Is (2/(-6))/(-4 - 1523/w) composite?
False
Suppose 28*b - 133209 - 286315 = 0. Is b a composite number?
False
Let n be (-52)/65 - 2284/(-5). Let b = 925 - n. Is b prime?
False
Let w(q) = 9*q**2 - 1. Let j be w(1). Let p be 6 + (14 + 7)*1. Is p + j - 0/2 a composite number?
True
Suppose -2*h + 1351 = 3*o, 4*h = 13*o - 12*o + 2737. Is h prime?
True
Let d be (-3)/(-2) - (-222)/12. Let z be 10/3*72/d. Suppose 8*t - z*t = -284. Is t composite?
False
Suppose 4*c - 6625 = -2*s + 3185, -4*s - 3*c + 19635 = 0. Is s a composite number?
True
Let h = -249 + 1708. Is h a composite number?
False
Suppose 2*a = -4*c - 15 + 57, 0 = -2*c + 4*a + 6. Let b(y) = 3*y**3 - 20*y - 22. Is b(c) a composite number?
True
Let j = 41 - 59. Let t be (-8)/(-5) - j/45. Is (4/8)/(t/940) prime?
False
Suppose -2*l = 5*o - 3333, 2*l - o - 3283 = 4*o. Suppose -3*y - 5*v = -1260, 3*v + l = 4*y + v. Is y a prime number?
False
Let c be 1*(75784/(-16))/(3/(-6)). Let k = c - 6654. Is k composite?
False
Let c(k) = -9655*k + 64. Is c(-1) a composite number?
False
Suppose 0 = 3*u + f - 384, f - 11 = -8. Is u a prime number?
True
Let j(y) be the first derivative of -y**4 + 2*y**3/3 - 3*y**2 + 7*y + 1. Is j(-5) prime?
True
Suppose -2*j = -17 + 13. Suppose 2*q - 822 = 4*d, -j*q + 3*d = -3*q + 401. Is q prime?
False
Let n be -1015 + 1 + (-5 - -2). Let s = n + 1436. Is s prime?
True
Let s = 93 + -86. Let f(y) = 6*y - 5. Is f(s) prime?
True
Let v(c) = -c**2 - 11*c - 8. Let r be v(-10). Suppose r*y - 8*y = -1938. Is y a prime number?
False
Suppose 9*p - 6685 = 33959. Let c = 7455 - p. Is c prime?
True
Suppose 25*v = 24*v + 21562. Is v composite?
True
Suppose 3 = -3*u + 3*r, 6*u + 3*r = 2*u - 4. Let q(a) = -78*a**3 + 2*a**2 - 1. Is q(u) composite?
False
Suppose 15220 = -6*n + 8*n + 2*y, -n = -y - 7616. Is n a composite number?
True
Let u(i) be the third derivative of 3*i**4 - 5*i**3/6 - 20*i**2. Is u(7) prime?
True
Let u(m) = -3*m - 21. Let l be u(-7). Suppose l*a + 777 = 3*a. Is a prime?
False
Let p(d) be the second derivative of 2*d**3/3 - 17*d**2/2 - 8*d. Is p(24) a composite number?
False
Let m(y) = y**3 + 8*y**2 + 3*y - 17. Let d be m(-7). Suppose -d*i = -14*i - 1683. Let p = -350 - i. Is p composite?
False
Suppose -10*a - 1038 + 4488 = 0. Let t = -6 + a. Is t a prime number?
False
Suppose v - 2*v + 210 = 0. Suppose 1 + 19 = 5*s. Suppose 2*p + v = s*d, 9*d - 5*d - 213 = -p. Is d a composite number?
False
Let i(p) = p**2 + 12*p - 36. Let w be i(-29). Suppose 5*f = -4*d + w, f + 9 = -2*f. Is d composite?
True
Let k(r)