 composite?
False
Let j(m) = 3007*m - 1. Let a be j(2). Let y = a + -2624. Is y prime?
True
Let i(u) = u**2 + u - 11. Let p = 9 + -4. Let d be i(p). Is (d - 1) + (-2)/(-2) a composite number?
False
Suppose -3*s + 6 = 21. Let j(c) = -51*c - 18. Is j(s) prime?
False
Suppose -426 = -5*x + 104. Let i = x - -271. Suppose -2*n + 3*n - i = 0. Is n a composite number?
True
Let j(t) = -4*t - 2. Let b be j(-2). Let c be 1/(-2)*2 + b. Suppose 2*i + 5*w - 116 = 0, c*i + 0*w = 5*w + 255. Is i prime?
True
Let t = 209404 + -147357. Is t composite?
False
Is -57527*9/18*-2 a composite number?
False
Let j be 3060/(0 + 2) + -11 + 13. Suppose -j + 7698 = 2*g. Is g prime?
True
Suppose -38699 - 20749 = -24*o. Is o prime?
True
Let r be (583/44)/(2/24). Suppose -3*v + r = -126. Let p = 234 - v. Is p a prime number?
True
Let p(u) = -23*u**3 + 5*u**2 + 14*u + 5. Is p(-8) composite?
True
Let z = -51 + 55. Suppose -k = z*k - 6730. Is k a composite number?
True
Suppose -r = 1 + 2. Let y(j) = 12*j**2 - 3*j - 2. Is y(r) prime?
False
Suppose 0 = 9*o - 6*o. Suppose o = 4*b + n - 390, 0 = 2*b - 3*n - n - 186. Is b prime?
True
Suppose -274112 = 25*p - 89*p. Is p composite?
False
Let v be 26*(15/(-6))/(-5). Let y = v + -13. Suppose y = -2*d - 326 + 1140. Is d prime?
False
Suppose 0 = 3*r - 5*h - 8713 - 168, r - 3*h = 2963. Is r a composite number?
False
Suppose -27 = -2*i - i. Let d = i - 9. Suppose d*b - 5*b = -1015. Is b a prime number?
False
Suppose 4*i - 3*u = 52256, 3*u - 31762 = -4*i + 20470. Is i a composite number?
True
Let c be (-3)/4 + (-4652)/(-16). Is ((-8)/(-10))/(4/c) composite?
True
Let c = -5671 + 11178. Is c prime?
True
Let r(a) = 3*a**2 - 19*a - 3. Is r(-7) composite?
False
Let z = 5844 + -3067. Is z composite?
False
Suppose -38 = -7*g - 10. Let l(d) = 6*d**2 - 3*d + 5. Is l(g) prime?
True
Let m(j) = -3910*j**3 + 8*j**2 + 4*j - 1. Is m(-2) prime?
False
Let o(a) = 2*a**2 + 11*a + 14. Suppose n - 24 = -0*n - 2*t, 5*n + 3*t = 85. Suppose -c = c + n. Is o(c) prime?
False
Let z(o) = 4*o**2 + 5*o - 2. Suppose 0*a + 5 = c - 2*a, 0 = 4*c + 2*a - 20. Is z(c) prime?
False
Suppose -3*d + d + 12 = 0. Suppose -c = -d*c + 35. Suppose -265 = 2*b - c*b. Is b composite?
False
Suppose 0 = 8*x - 32056 + 7640. Suppose 2*g - 2*w - x + 172 = 0, 0 = -2*w - 2. Is g composite?
False
Suppose -34*h + 35*h = 11. Let p = h + 11. Is p prime?
False
Suppose 2*k + 0*k - 10 = 0. Suppose -k*d = 10, 29 + 49 = 2*g - 2*d. Is g composite?
False
Let o(n) = 2136*n - 29. Is o(7) composite?
False
Let g be ((-40)/16)/(2/(-4)). Let o be (0/g)/(-2*1). Suppose -2*t - r + 74 = 3*r, -3*t + 3*r + 102 = o. Is t a prime number?
False
Suppose 7110*l = 7101*l + 73341. Is l a prime number?
False
Suppose -5*b + 8 = 3*r - 0, 0 = 3*r - 2*b - 43. Suppose -r*l - 5930 = -13*l. Is l a composite number?
True
Is (18 + -8)*(-3527)/(-2) prime?
False
Let s(k) = -931*k + 69. Is s(-4) a prime number?
True
Let y = 549 - -6124. Is y prime?
True
Let m(r) = 14*r**2 - 9*r - 4. Let n = 4 + -11. Is m(n) prime?
False
Suppose -2*c + 18 = 10. Suppose 0 = 3*y, -2*o + y = 5*y - c. Suppose 5*l = t - 199, o*t = -0*l - 3*l + 398. Is t a prime number?
True
Let w(z) = -z**3 + 7*z**2 - 7*z + 8. Let a be w(6). Let g(o) = -17*o + 3*o**3 + 18 - 5*o**3 + o**3 - 5 + 14*o**a. Is g(12) a composite number?
False
Let r be 0/((-4)/4 + 0). Suppose 0 = -5*d - r*d - s + 52, -3*s = -d + 20. Let l = 120 - d. Is l composite?
False
Suppose 24*p = 22*p + 6. Suppose 0 = j - 4*a - 42, -4*j + 227 = j - p*a. Is j prime?
False
Suppose -2 = -5*v + 78. Let u = v - 15. Is -15*62/(-6)*u composite?
True
Let z = 17709 - 9188. Is z a composite number?
False
Is (714771/(-36))/((-12)/16) a prime number?
False
Is 0 - -1*36742 - (-167 - -160) composite?
False
Let h be 6960/(-56) - (-6)/21. Let t = 197 - h. Is t composite?
True
Let a(h) = -64*h**2 + 5*h + 2. Let y be (-102)/18 - (-2)/3. Let o(s) = -96*s**2 + 7*s + 3. Let g(d) = y*o(d) + 7*a(d). Is g(1) a prime number?
True
Let a be (-1 + 2)*(-84)/(-4). Suppose -j + a + 1 = 0. Is (j - 12) + (-1 - -2) composite?
False
Let l(k) = -238*k + 225. Is l(-41) composite?
True
Let c(u) = -6*u**2 - 3*u + 1. Let x(z) = z**3 - 4*z**2 - z - 6. Let n be x(5). Let s be c(n). Let i = -835 - s. Is i a prime number?
False
Let h(a) = -2*a**3 + 5*a**2 - 21*a - 3. Let o(w) = 2 - 4*w**2 + 10*w - 24*w**3 + 25*w**3 + w**2. Let r(l) = -4*h(l) - 9*o(l). Is r(5) composite?
True
Suppose -2*w = -w - 22. Suppose -887 = -4*m + s - w, 2*s = 3*m - 645. Is m a prime number?
False
Suppose 45*w + 129392 = 412307. Is w composite?
False
Let m(w) = w**3 - 6*w**2 + 10*w - 5. Let z be m(4). Suppose z*b = 5*c - 2947, 3*c = b - 770 + 2535. Is c composite?
False
Suppose 0 = -21*o + 531595 + 238748. Is o a composite number?
False
Suppose 2*w = 5*w + 2*b - 8313, 5542 = 2*w + 5*b. Is w a composite number?
True
Let m be -290 + 3/(6/(-4)). Let z be (-14)/28 + (1 - (-1766)/(-4)). Let b = m - z. Is b prime?
True
Let y(u) = u**3 - 6*u**2 - 7*u + 10. Let t be y(7). Suppose -p - 3*a + 26 = -2*a, -3*p - 4*a + 77 = 0. Let v = p + t. Is v a composite number?
False
Let o(d) = 50*d**3 - 9*d**2 + 2*d - 2. Is o(7) a composite number?
True
Let k be (-281)/(-2)*(2 + 2)*-1. Let s = k + 1005. Is s composite?
False
Let o(z) = z**2 - 10*z + 20. Let w be o(8). Let u(h) = 69*h**2 - 17. Is u(w) prime?
True
Let u(i) = -27*i**3 + i**2 + 2*i - 19. Is u(-4) composite?
True
Let y = 1 - 21. Let q = y + 20. Suppose -b = -3*x - 82, q*b + 114 = b + 5*x. Is b composite?
True
Suppose -4*r + 7*r = 30801. Let y = -5876 + r. Is y a composite number?
False
Let n(x) be the first derivative of 98*x**3/3 - x**2 + 3*x - 10. Is n(-6) prime?
False
Is 2*3 + (16674 - 13) a prime number?
False
Let x = 117 + -199. Let t = 63 - x. Is t prime?
False
Is (6/(-4))/(15/(-28460)) a prime number?
False
Suppose 2*d = 5*d + 18. Let l(y) = 89*y**2 + 6. Let b be l(3). Is (0 - 2)*b/d composite?
False
Let q(d) = -1540*d - 17. Is q(-4) a composite number?
False
Let g = 339 + -24. Let b = -545 + g. Let d = -7 - b. Is d prime?
True
Suppose 5*y - 39488 = m, m + 39494 = 5*y - 2*m. Is y a prime number?
False
Let i be (0 - 24/(-10)) + (-22)/55. Suppose n + 2 = 2*m, -12 = -5*n - 4*m + 6. Is (i + 1 + 671)/n composite?
False
Suppose 0 = -10*l + 15*l - 55. Let u = -13 + l. Is 4*((-924)/(-16) + u) a prime number?
True
Suppose -9*l = 24235 - 67138. Suppose -3*f = 3*u - l, -2*u - f + 3167 = -13. Is u composite?
True
Suppose -5642 = 5*s - 36472. Suppose -4*x - 3*l + s = 0, -5*x + x = 2*l - 6168. Is x prime?
True
Let n = 31480 - -12567. Is n a composite number?
True
Is 16620/90*(966/(-4))/(-7) a composite number?
True
Let o = -2 + -2. Let d be (10/o)/(2/(-4)). Suppose 581 = d*w + 3*i - 0*i, 236 = 2*w + 3*i. Is w composite?
True
Let z(m) = 29*m**2 - 341*m - 1. Is z(33) prime?
True
Is -6487*(-3 + (-7)/(35/(-10))) a prime number?
False
Let i(n) = 12*n - 109. Is i(25) a prime number?
True
Let n be 0/4 + (-4 - -1). Let a be 2/(1*3/(-9)). Is a/(-18) + (-356)/n prime?
False
Let i(a) = -a**3 - 5*a**2 + 5*a + 4. Is i(-7) composite?
False
Suppose -3*z = 6, 5*l + 35*z = 31*z + 10017. Is l prime?
False
Suppose 0 = -3*p - 2*i - 3*i + 1330, -5*p + i = -2226. Suppose 0 = -2*s + p - 39. Is s a prime number?
False
Let m(p) = p**3 - 3*p**2 - 3*p - 1. Let h be (-84)/(-18) + (-4)/6. Let o be m(h). Suppose 2*a = o*v + a - 612, 3*a = -v + 194. Is v a composite number?
True
Suppose 0 = 3*v - 4*a + 10, 9 - 29 = -4*v - 3*a. Let j(h) = 9 - 14*h**2 + 16*h**v + 14*h + h. Is j(-14) a composite number?
False
Let i(k) = -k - 2*k - 2 + k + 0*k. Let a be i(1). Is (-3)/12 - 1013/a a prime number?
False
Let c(q) = -q**3 + 5*q**2 - 8*q + 18. Let j be c(4). Suppose -m + 2*p = 95 + 59, 0 = -2*m - 2*p - 290. Is (m/(-8))/(j/4) prime?
True
Let k = 26 + -17. Suppose -3*z + k = 0, 3*z = 3*y + 2*y - 1. Let u(f) = 112*f - 3. Is u(y) composite?
True
Suppose 0 = 5*n - a - 4 + 9, 4*a = 4*n - 12. Let f be (-8 + 7)/(n/(-6)). Is 44 + f/((-2)/2) a composite number?
False
Is (14/6 - 80/60)*5603 a composite number?
True
Let h = -5 + 8. Let p be (-1)/((-40)/12 + h). Is -3 + -1 + p - -54 a prime number?
True
Let z(o) = 9*o**3 + 6*o**2 - 14*o + 23. Is z(8) a prime number?
True
Suppose -3*u - 6 = 0, h + u + 3 = -3*u. Suppose h*l + x = -0*l + 1014, 5*x = l - 208. Is l composite?
True
Let r(i) = -i**3 + 29*i*