857646 = -14*y. Is y composite?
False
Let z = -218 + 532. Suppose 130955 = -z*v + 319*v. Is v a prime number?
False
Let j = 316443 + 228136. Is j composite?
True
Is 879/(-4)*(-10 + (-13168)/24) prime?
False
Let v be -1 + ((2 - 3) + -2 - -6). Suppose -f + v*f = 240. Let m = 17 + f. Is m prime?
True
Let a(i) = 8*i**2 - i + 2. Let g(y) = -17*y**2 + 3*y - 4. Let u(s) = 13*a(s) + 6*g(s). Suppose -w + 3*z = -5, 0 = 3*w + 68*z - 73*z - 23. Is u(w) composite?
True
Suppose -8*q = -0*q + 1632. Let r be 2 + 2 + -3 + q/12. Let u(a) = -a**3 - 15*a**2 + 8*a + 21. Is u(r) a composite number?
False
Let h(j) = -1635*j**2 + 9*j - 11. Let i(w) = -1635*w**2 + 8*w - 8. Let f(g) = 6*h(g) - 7*i(g). Is f(3) prime?
True
Suppose 20943686 = 97*w + 85*w - 43*w. Is w composite?
True
Let c(r) = -r. Let j(t) = 3*t. Let l(w) = -11*c(w) - 4*j(w). Let p(f) = 374*f - 5. Let u(n) = 2*l(n) - p(n). Is u(-1) a composite number?
True
Suppose -116*b + 6931 = -115*b. Is b composite?
True
Suppose 10*y - 4*y = -6. Let z(a) = -3*a**2 - a - 1. Let j be z(y). Is 9/(-6)*((-628)/j)/(-2) composite?
False
Let m(b) = 642*b**2 - 9*b + 28. Suppose -18 = -5*a + 3*p, 5*p - 5 = -10. Is m(a) prime?
True
Let c(o) = 3*o + 2043. Let t be c(0). Let x be 6 + -6 - -1*1. Suppose 7*m - 2*m - 2*r - t = 0, -x = -r. Is m a prime number?
True
Is 13/52*1014956 + (1 - 1) a composite number?
True
Let v = -6938 + 9957. Is v a prime number?
True
Suppose -12 = 10*x - 6*x. Is 51/(-17)*355/x composite?
True
Let z(t) = 15*t - 141. Let u be z(10). Suppose -u*c + 3292 = -1145. Is c a composite number?
True
Let m(t) be the third derivative of -3*t**2 - 1/4*t**4 + 0*t + 0 + 11/6*t**3 + 13/30*t**5. Is m(5) prime?
True
Suppose 2*n = 0, -3*n + 8792 = 2*m + 19611 - 178253. Is m a composite number?
False
Suppose 0 = 5*u + 2*g - 2723859, -2*u + 826751 = 2*g - 262795. Is u prime?
True
Let v = -12786 - -8227. Let d = 7062 + v. Is d prime?
True
Let f(d) = -d**3 - 13*d**2 + 12*d - 8. Let p be f(-14). Let v be (p/8 - 3)*-8. Suppose 0*c + v*c - 884 = 0. Is c a composite number?
True
Let u(b) = 0 + 4 + 66*b - 2 - 3 - 9. Let m be (-12)/2*2/(-3). Is u(m) a prime number?
False
Let g(z) = -4*z**3 + 17*z**2 + 16*z - 12. Let f be g(5). Is (-1 + -2)/(f - 684280/(-97756)) prime?
True
Let h = -29039 - -97612. Is h composite?
True
Let y be (8 + -6)*(63/(-2))/(-7). Suppose c + 4*g = 5619, -y*c + 22488 = -5*c + 4*g. Is c composite?
False
Suppose 24*g + 4113 = 27*g. Let d = g + -477. Suppose -297*k + d = -295*k. Is k a composite number?
True
Let z be 0/6*(-2)/2. Suppose z = t - 122 + 87. Is t a prime number?
False
Let w(i) be the first derivative of 1023*i**2/2 + 4*i + 124. Is w(13) a prime number?
False
Suppose -4*k + 3*q = -2293478, 674*q = -3*k + 672*q + 1720117. Is k prime?
True
Let a = 5273 - 12388. Let c = a + 23834. Suppose -6690 = -2*r - 2*v, -2*v = 5*r - 0*v - c. Is r a composite number?
False
Let b be (-2)/((-40)/36)*45/27. Let h = -1 - -1. Is 4 - (h - (96 - b)) a prime number?
True
Suppose 5*z - 21*z = 0. Suppose 4*k - 4183 = -5*i, z = i - k - 525 - 317. Is i a prime number?
True
Suppose 2129241 = 227*k + 519262 - 6511854. Is k prime?
False
Let q = -2217 - 840. Let r = q - -4924. Is r a composite number?
False
Suppose -h = -4*w - 121 + 17, 0 = -h + w + 98. Suppose 38*k - h = 34*k. Let j(c) = c**3 - 23*c**2 - 14*c + 13. Is j(k) a composite number?
True
Let b(o) = 9755*o**2 - 19*o + 95. Is b(3) a prime number?
True
Suppose 10664 = 3*n + n. Let i = n + 395. Is i a composite number?
False
Let q(b) = 298*b**2 + 385*b + 12. Is q(43) composite?
False
Let q(k) = -3*k**3 - 17*k**2 + 3*k - 20. Suppose 0 = 8*y - 12*y - 44. Is q(y) composite?
True
Let y be -2*3 + (12 - -5514). Suppose 2947 = a - y. Is a composite?
False
Suppose -49*o - 91657 = -54*o + 3*t, 2*o - 36674 = 4*t. Is o a prime number?
True
Suppose -x - x + 1898 = 0. Let p(i) = 54*i - 120. Let t be p(26). Suppose -4*a = -6*v + 2*v + t, 3*v = -4*a + x. Is v composite?
True
Let x(a) = -835525*a - 5721. Is x(-4) composite?
False
Let o(k) = k - 1. Let d be o(6). Suppose -128 = -c - 3*g, c + 492 = d*c + 2*g. Let m = 240 - c. Is m prime?
False
Suppose 5*r - 266297 - 462558 = 0. Is r a prime number?
True
Is 1*-579966*((-25)/8)/(-25)*-4 a prime number?
False
Suppose 319*g - 180*g - 176*g + 25458886 = 0. Is g a composite number?
True
Suppose -22 = -21*x + 125. Suppose x*q = 6*q + 85. Is q composite?
True
Suppose m + 7045 - 23129 = 0. Let y = m - 10161. Is y a composite number?
False
Let f be 3728/2*11/(286/65). Let s = f + -923. Is s a composite number?
True
Suppose h + 5*q + 11 = 0, 0 = h - 4*h + 3*q + 39. Suppose 3894 = 12*b - h*b - 3*i, -2*b + 5*i = -2611. Is b a composite number?
True
Let g(u) = -u**3 - 24*u**2 + 24*u - 21. Let b = -22 + -3. Let r be g(b). Suppose -5*d + 1167 + 351 = a, -r*a = 4*d - 6152. Is a prime?
True
Let d be ((-7)/28)/(1/(-8)). Let x(y) = -y**3 + 17*y**2 - 4 - 3*y + 32 + d*y**3. Is x(-13) a composite number?
False
Let v(a) = 1010*a**2 - 23*a + 50. Is v(-9) composite?
False
Suppose 625 = -3*m - 245. Let w = 1077 + m. Is w a prime number?
True
Let u(b) = -4*b**3 + 18*b**2 - 10*b + 18. Let q(g) = g**3 - 2*g**2 - 1. Let r(z) = -5*q(z) - u(z). Is r(-12) a prime number?
True
Suppose -4*o + 192967 = x, -66*x = -59*x - 21. Is o a composite number?
True
Let y(c) = 2*c**3 - 16*c**2 - 4*c. Let j be y(8). Let n = j + 34. Is 111/3*10/n a composite number?
True
Let j = -92318 - -224005. Is j prime?
True
Suppose -3*s + 18777 = 3*w - 0*w, 0 = w - 5. Let i = 8772 - s. Is i a prime number?
False
Let x(u) be the second derivative of -79*u**3/6 + 5*u**2 + 3416*u. Let q(a) = -10*a**2 - a. Let z be q(1). Is x(z) a composite number?
True
Let p be (2/2)/((-2)/(-9988)). Suppose 2*u + 3994 = 5*d - 9*d, p = -5*d - u. Is d/(-2) - (5 - 63/14) a prime number?
True
Suppose 4*c - 602470 + 157214 = 0. Suppose -20*o - 29214 = -c. Is o a prime number?
False
Suppose 0*g = -3*h + 5*g - 138, -4*h = -5*g + 184. Let a = -39 - h. Is (-4)/7 + 249/a composite?
True
Let l = -47 - -61. Let a(u) = 4*u**3 - 13*u**2 - 9*u + 15. Is a(l) a prime number?
True
Let q = 2 - -14. Let d = 24 - q. Is 1780/d*(-4)/(-2) prime?
False
Let u = 31483 + -7332. Is u a prime number?
True
Suppose 3*m + 3*w - 1345320 = 0, 0 = 3*m - 773*w + 777*w - 1345319. Is m a composite number?
True
Let r = 34738 + -10035. Is r composite?
True
Let y(k) = -6959*k - 1654. Is y(-45) composite?
True
Let u = -64 + 64. Suppose 2*h + 4175 - 14387 = u. Suppose 0*b + 6*b = h. Is b composite?
True
Suppose 0 = -169*s - 59*s + 18191892. Is s a prime number?
False
Let v be (-1*(1775 - -4))/(-1 - -2). Let f = -757 + -43. Let x = f - v. Is x composite?
True
Let u be 52/182 + 16/(-7). Let j be ((-5)/(-15))/(u*1/(-36)). Suppose 3555 = j*i - 1299. Is i a composite number?
False
Let n(u) = 16343*u + 2959. Is n(18) a composite number?
False
Is (-11)/(-66) - 2156157/(-54) a prime number?
True
Let k(g) = 34*g**2 + 2*g - 9. Let b = -60 - -64. Suppose -5*p + b*d + 12 = -39, 0 = -4*p - 2*d + 20. Is k(p) a composite number?
True
Let t = 103 + -101. Let f be 21/7 + 1 + 1. Suppose -15 = t*o - 5*o, -f*k + 5*o = -310. Is k prime?
True
Let a(x) = 2*x**2 - 44*x - 28. Let r be a(23). Suppose r = 12*t - 9*t. Is (-2 + 24)*(7 - t) a prime number?
False
Suppose -3*x = -5*d - 121459 - 985015, 4*d = -16. Is x a prime number?
False
Is 74*(-5142)/(-8) + ((-1066)/52)/41 composite?
False
Let j be (-4)/((-5)/((-5)/(-2))). Suppose 5*i - j*x = 9, 6*i - x - 6 = 2*i. Is 82/(-287) - (i + (-46960)/14) prime?
False
Suppose -675097 = 15*v + 344798. Let o = -39350 - v. Is o a prime number?
True
Suppose 3*s + 2*y = 14903, -2*y = -2*s - 942 + 10894. Is s composite?
True
Suppose 5*x - 47354 = j, -3*x - 37888 = -7*x - 4*j. Let v = x - 4324. Is v composite?
False
Let j = 65390 + -23583. Is j a composite number?
True
Let u(y) = 99*y**2 + 133*y - 4. Let a be u(-13). Suppose q - 2*r - 2*r = 3011, a = 5*q - r. Is q a composite number?
False
Suppose -3*r - i = -443, -316 = -4*r + 3*i + 292. Is r prime?
True
Let n(v) = 5017*v + 363. Is n(4) a composite number?
False
Let m(u) = 23*u**2 + 14*u + 37. Suppose -9*i - 18 = -4*i + 3*t, i = -3*t + 6. Is m(i) a prime number?
False
Let m = 1902 - 1451. Let r = 1732 + -494. Suppose r = d + m. Is d composite?
False
Let r be (7*(-2)/(-21))/((-2)/6). Is r/(-2) - (-2441 + -7) c