rime number?
False
Let i = 48479 - 27130. Is i prime?
False
Suppose 80785 = 2*a - 3*p - 169560, 3*a + 2*p = 375537. Is a a prime number?
False
Is -287*((-28)/784)/((-2)/(-25624)) a prime number?
False
Let q = 90867 + -51120. Is q composite?
True
Let j(i) = 355*i**2 + 32*i + 47. Is j(26) a prime number?
True
Suppose 6*g + 3 + 27 = 0. Is 14213/5 - g/25*2 composite?
False
Let f(u) be the second derivative of 16*u**4/3 - u**3/6 - 7*u**2/2 - 2*u. Let r(s) be the first derivative of f(s). Is r(1) a composite number?
False
Let a(h) = -20*h**2 - 11*h + 25. Let j(y) = -y + 1. Let v(c) = -a(c) + 6*j(c). Is v(4) composite?
True
Let t = -30 - -30. Suppose i - 2 = -t. Let b(o) = 439*o**2 - 3*o + 7. Is b(i) a prime number?
False
Suppose -4*j = 894*z - 893*z - 11983, -3*z + 35859 = -3*j. Is z prime?
True
Suppose -32*l + 32467167 = 70*l + 231*l. Is l composite?
False
Let s be 1/2*(-6 + 0). Is (153/102)/(s/(-4358)) prime?
True
Let i = -23174 - -12510. Let c = -5961 - i. Is c a composite number?
False
Let u = 2329 - 1262. Let c = u + 2718. Is c a composite number?
True
Is 6*((-35)/6 + 6)*71789 a prime number?
True
Let h(r) be the third derivative of 13*r**5/60 + r**4/6 + 4*r**3/3 - 37*r**2. Let j be h(7). Suppose 0 = -5*a + 72 + j. Is a a composite number?
False
Let a(j) = 767797*j**2 - 19*j + 23. Is a(1) a prime number?
False
Let n(k) be the first derivative of k**4/4 + 14*k**3/3 + 3*k**2 + 2*k - 547. Suppose -3*l - 6 = 27. Is n(l) composite?
True
Let k(o) = o**3 - 20*o**2 - 15*o + 13. Let t(j) = -2*j - 23. Let h be t(-16). Let c(w) = -w**3 + 9*w**2 + w + 14. Let i be c(h). Is k(i) composite?
True
Let x(j) = -2*j**2 + 34*j - 31. Let r be x(16). Let f(b) = 1050*b**3 - 2*b**2 + 3*b - 2. Is f(r) a composite number?
False
Let j(k) = 3*k**2 + 13*k + 14. Let n be j(-4). Suppose -n*x = -13*x - 3*l + 4365, 5*x - 7273 = -3*l. Is x a composite number?
True
Let d(n) = -177273*n - 1163. Is d(-10) a prime number?
False
Let l = 174 + -153. Suppose l*m - 86616 + 22083 = 0. Is m a composite number?
True
Let x(r) = 113*r**2 + 16*r - 38. Is x(-17) a prime number?
False
Suppose 0 = -2*k + 6*k - 20. Let i(g) = g**3 - 6*g**2 + 4*g + 7. Let b be i(k). Suppose z - 3*z = -2*w - 1398, -b*z - w + 1404 = 0. Is z prime?
True
Let u(d) = -53*d + 181. Let w be u(3). Suppose -3*l + 17435 = -4*q, 2*q = 18 - w. Is l composite?
True
Suppose -3*v + 20 = 3*l - 2*v, 5*l = 3*v + 10. Suppose 3*s - 22 = -5*z, l*z - 4*s = -9*s + 30. Is 39 + 16 + 0/(z/1) composite?
True
Let c be 4 + ((-6)/(-9))/(4/24198). Suppose -2*a + k = -c, 4*a - k = -2220 + 10293. Is a a prime number?
False
Let w(c) = -2*c**3 + 12*c**2 + 2*c - 8. Let b be w(6). Suppose -5*o = b*h - 7*o - 7788, 2*h = -o + 3902. Is h a composite number?
False
Let b(j) = j**2 - 5*j - 1. Let o be b(-1). Suppose o*p = -5*v + 2310, -v = 3*p - 0*p - 1396. Is p a composite number?
False
Is (-28)/(-24) + 298774/12 composite?
True
Let z(a) = 72*a - 5*a**3 - 7*a**2 + 83*a - 18 - 2*a**3 - 151*a. Let y be z(-10). Let o = y + -2091. Is o composite?
True
Let o = -112 + 114. Suppose -489 = -o*n + 1013. Is n composite?
False
Let d = 293 + -284. Is 0 - -3 - (-9467 + d) a composite number?
False
Let p(d) = 31038*d**2 + 98*d + 99. Is p(-1) prime?
True
Let w(p) = p**3 + 9*p**2 + 16*p + 15. Let z be w(-7). Let m be (z - -256)*(2 + 3)/1. Suppose 17*g - m = 12*g. Is g a prime number?
True
Let s = -91 + 80. Let f(p) = -2*p + 16. Let w be f(s). Suppose -w*v = -42*v + 740. Is v prime?
False
Suppose 78*k - 144*k + 29235426 = 0. Is k prime?
True
Let n(i) = 91*i - 3. Let c be n(1). Is 1396/(-1)*(-286)/c composite?
True
Let y(x) = x**3 + 3*x**2 - 5*x - 1. Let f be y(-4). Suppose -5*u - f*o = 36, 2*u + 5 = -4*o - 1. Is 186/4*(-6)/u composite?
False
Let a(j) be the second derivative of -1/2*j**2 + 373/6*j**4 - 9*j + 0 + 0*j**3. Is a(1) prime?
False
Let l = 566 + -573. Let v(g) = 86*g**2 - 7*g + 8. Is v(l) prime?
True
Let p(r) = 84*r**2 + 11*r - 1. Let q be p(3). Let a = q - 91. Is a a prime number?
False
Suppose 2*q - 20 = -4*f, f = 4*q - 19 - 3. Suppose q*g - 31833 = 16773. Is g prime?
True
Let k(j) = -2*j**2 - 15*j + 8. Let s be k(-8). Let b be (-6 - (s - 0))*34/51. Is (-2)/b - 2885/(-10) a prime number?
False
Suppose 0 = -5*p + 768 - 23. Suppose 0 = -152*x + p*x - 6. Is -2 + 1566 + (x - -1) prime?
False
Let w(m) = -m**3 - 12*m**2 + m + 12. Let b be w(-12). Suppose 6 = 2*s - 2*q, -7 = -2*s + 3*q - b*q. Suppose 0 = -i - s*i + 1749. Is i prime?
False
Let t be (-18)/(-126) - (-34)/7. Suppose 3*b - 4*j - 62141 = 0, 13*b + t*j - 41389 = 11*b. Is b composite?
False
Let r be 1 - (4 - 71*16). Suppose -c + 6*c = 15, -h + r = c. Suppose 3*l + 214 = 4*a - 3*a, h = 5*a + 5*l. Is a a composite number?
False
Let o(i) = 13 - 7*i**2 - 50*i + 25*i**2 - 13*i**2. Is o(-20) a prime number?
False
Let y be (48/(-40))/((-4)/10). Let v(c) = 4*c**3 - 9*c - c**2 + 21 - 3*c**y - 4*c**2 + c**3. Is v(9) composite?
True
Let t(j) = -38*j**2 + j. Let x(w) = -77*w**2 + 2*w. Let y(l) = 7*t(l) - 4*x(l). Suppose -5*m - 323 = -308. Is y(m) a prime number?
False
Let j(n) = 11*n**2 - 113*n - 167. Is j(29) prime?
True
Let y = -35445 - -73108. Is y a prime number?
True
Is (470542/10 + 3)/((-407)/(-55) + -7) prime?
True
Let d = 1827 - 578. Suppose -35*r + 36*r = d. Suppose 11*g = 12*g - r. Is g a composite number?
False
Let s(w) = 1198*w**2 - 31*w - 76. Let r = -159 + 156. Is s(r) prime?
True
Suppose -x + 9 = 7. Let d(g) = -5*g + 17 - 14*g + g**x + g**2 - g. Is d(14) a prime number?
False
Is (-1704087)/(-3 - 8) + -20 composite?
False
Suppose -468*y = -469*y + 13. Suppose -y*n = 4*n - 40613. Is n composite?
False
Suppose 26*r = -67631 + 2303683. Suppose -28*s + 14*s + r = 0. Is s prime?
True
Let o(l) = -85*l**3 + 2*l**2 - 6*l - 2. Let r(z) = z - 9. Let m be r(6). Let i be o(m). Is 2 - ((-4)/2 - i) prime?
True
Let r(x) = -3160*x - 145. Let p(c) = -351*c - 16. Let w(k) = -55*p(k) + 6*r(k). Let t be w(8). Suppose n + t = 3*n. Is n a composite number?
True
Let v(d) be the first derivative of -d**4/4 + 5*d**3 + 11*d**2 - 5*d - 11. Let m be v(16). Let y = m - -36. Is y a prime number?
True
Suppose -5*o = 3*g - 79563, 2*o + g = 4*g + 31842. Let t = o + -7016. Is t a composite number?
True
Suppose -5*s + 2*x + 294379 + 333878 = 0, x - 376952 = -3*s. Is s composite?
False
Suppose -5*n + 3*g = -18, 3*n - 4*g - 13 = -0*n. Suppose -c - n*q = -5*c + 469, 0 = 5*c - q - 589. Is c a prime number?
False
Suppose -600*c = -413*c - 1863455. Is c composite?
True
Let g(k) = -3701*k - 6173. Is g(-12) composite?
False
Let q = 688540 - 315933. Is q a prime number?
True
Let j(y) be the first derivative of -2233*y**4/24 - y**3/3 - y**2 + 25. Let s(w) be the second derivative of j(w). Is s(-1) prime?
False
Let d be (1 - 4) + 6 - (-46)/(-2). Let b(i) = -2*i**3 - 31*i**2 - 31*i - 19. Is b(d) composite?
False
Let y = -986 - -1484. Suppose 406*x - 408*x + y = 0. Is x a prime number?
False
Suppose 189*n - 8856 = 183*n. Let u = 3685 - n. Is u composite?
True
Let g be 3/6 - (-180)/24. Suppose -7*s + g*s - 5113 = 0. Is s a prime number?
True
Is 41284612/329 + 2/(-14) + 0 a prime number?
False
Let u = -157 + 356. Suppose u*b = 194*b + 34735. Is b composite?
False
Let t(m) = 11*m**2 + 139*m - 237. Is t(-34) prime?
True
Let t(h) = 8*h**2 - 35*h - 92. Let n(m) = 3*m**2 - 12*m - 31. Let w(v) = 7*n(v) - 2*t(v). Is w(-16) composite?
False
Let u(q) = 4*q**3 + 13*q**2 - 27*q - 15. Suppose 3*l = 2*l - 5. Let w(y) = -7*y**3 - 27*y**2 + 55*y + 31. Let n(v) = l*u(v) - 3*w(v). Is n(-13) a prime number?
False
Let a = 141705 - 72782. Is a a composite number?
True
Let a(n) = 2513*n**2 + 44*n - 6. Let f(w) = 5028*w**2 + 75*w - 11. Let i(z) = -5*a(z) + 3*f(z). Let h(x) = x - 2. Let u be h(3). Is i(u) composite?
False
Let g(r) = -224*r + 17. Let x(j) = j + 13. Let i be x(15). Suppose 4 - i = 2*l. Is g(l) composite?
True
Suppose 0 = 38*z - 18 - 20. Is (-49 + 48)*(-7331)/z a prime number?
True
Is (-4 + 601)*(-11 + (-11462)/(-33)) a prime number?
False
Let a be 3 + (3 - (1 + 0 + -2)). Suppose v + 1 = -i, 5*i - 3*v + 4*v = a. Suppose i*n - 966 = -2*p, 0 = 5*p + 2*n - 850 - 1553. Is p a composite number?
False
Suppose -4*y = 4*f - 386508, -6*f = -2*y - f + 193268. Suppose 5*m - 18*m = -y. Is m a prime number?
True
Let m(y) be the first derivative of 36*y**3 + 9*y**2/2 - 8*y 