f(y) prime?
False
Suppose -2552 = -b - 0*b - 5*n, n = -b + 2564. Suppose 0 = 2*h - b + 133. Is h a prime number?
True
Let j(f) = -15*f + 10. Let c(l) = 46*l - 30. Let y(o) = -6*c(o) - 17*j(o). Suppose -7*d = -6*d + 9. Is y(d) a prime number?
True
Suppose 3*y - z = 24, -3*z + 11 = 4*y - 8. Suppose y*u = 24*u - 29461. Is u a composite number?
False
Let n be (8 - 4)/(-12) + 5745/9. Suppose 197 = d - n. Is d a composite number?
True
Suppose -38*w - 30 = -8276. Is w composite?
True
Suppose -5*g + z = -149285, 0 = 5*z - 2*z. Is g a prime number?
False
Let s(u) be the third derivative of u**5/30 + 11*u**4/24 + 5*u**3/6 + 12*u**2. Is s(14) a prime number?
False
Is 1 + 5899 + 5 + (-80)/10 a prime number?
True
Suppose 0 = 3*k - k + 10. Let j be ((-4)/k)/((-12)/(-30)). Suppose -j*h + 2*z = -204, -h - 3*h - z = -428. Is h a composite number?
True
Suppose -o + s = -830, 6 = 3*s - 9. Let r = o + -206. Is r composite?
True
Let w(c) = 40 - 2*c - 48 + 6*c. Let a be w(4). Is a/(-2) - (-54 + -1) composite?
True
Let p(o) = 162*o - 1. Suppose -2*n - 5 = -3*i, 4*n + n + 7 = 2*i. Is p(i) prime?
False
Suppose -198*t + 202*t = 20908. Is t a composite number?
False
Let z(v) = v**2 + 2*v. Let m be z(-3). Let w(y) = 4*y**2 - 3*y + 6. Is w(m) prime?
False
Suppose 5*n = g - 6*g + 25, 4*n - 20 = 0. Suppose 7*s + 1491 - 4256 = g. Is s composite?
True
Suppose 0 = -3*l - 4*l - 13118. Let q = -625 - l. Is q prime?
True
Let w = 13 + -12. Let a(l) = 37*l**2 + 2*l - 1. Let m be a(w). Is (m/4)/((-8)/(-16)) a prime number?
True
Let x(l) = 18*l**2 + 2 + 36*l**2 + 83*l - 82*l. Let k be (-18)/14 + 8/28. Is x(k) a composite number?
True
Suppose 2 - 29 = 3*b. Let o = b - -16. Let v(r) = 4*r + 9. Is v(o) a prime number?
True
Let c(k) = -72*k + 1. Let h(q) = q**3 + 6*q**2 + 3*q + 15. Let o be h(-6). Is c(o) composite?
True
Suppose 922*u - 918*u - 70708 = 0. Is u a composite number?
True
Let f(k) = -338*k - 41. Is f(-3) prime?
False
Let r(h) = h - 7. Let z be r(4). Let m be -2*1 - (-7 + z). Suppose 5*a + 2*v + v = 43, -2*v = m. Is a composite?
False
Let n = -335 - -1816. Is n a prime number?
True
Is (-1 - -2)*(1823 + (-8 - -8)) a prime number?
True
Let g = -1081 + 4756. Suppose 2*z + 3*q = 22, -8*z + 5*z = 5*q - 35. Suppose 2*y = -z*k + g, 5*y = -2*k + 1701 - 252. Is k a composite number?
True
Let g(z) = z**3 + 7*z**2 - 2*z - 6. Let p be g(-7). Suppose -p*q + 11*q - 1089 = 0. Suppose 0 = -4*f + q + 273. Is f a prime number?
False
Let l(f) = -2*f**2 - 13*f - 4. Let h be l(-6). Suppose 18 = 5*u + 3, -3*u = h*c - 511. Is c a composite number?
False
Suppose 0 = m + a - 6, 3*m - 4*m = 2*a - 3. Suppose m = -3*l, 18 = s + 5*l - 44. Is s a composite number?
True
Let a(g) = -g**2 - g + 3. Let s = -7 - -7. Let c be a(s). Suppose -14 = -c*o - 2*b, -2*b = 3*o - 3*b - 20. Is o a composite number?
True
Let l(v) = v**3 - 4*v**2 + 2*v. Let t be l(2). Let o(j) = -241*j - 9. Is o(t) a composite number?
True
Let y be -5*((-14)/(-5) - 4). Suppose -4*w + w + y = 0. Suppose 0 = 3*t, -w*t + 52 = 4*g + 2*t. Is g prime?
True
Suppose 2 = 2*p - 2. Let k = 68 + -68. Suppose k = -p*i + 422 - 68. Is i a prime number?
False
Let b = 239760 + -145727. Is b a prime number?
True
Let k = -489 + 720. Suppose -h - 85 + k = 0. Is h prime?
False
Let x = 3753 - -6470. Is x composite?
False
Let g(x) = 11*x**3 - x. Let m be g(1). Suppose -i + 45 = 2*t, 2*i + 0*i = -t + 75. Is (i/m)/((-2)/(-284)) a prime number?
False
Let f be (15/(-2))/(51/(-136)). Let v(m) = m**2 + 7*m + 1. Let h be v(-7). Let l = f - h. Is l a prime number?
True
Let g(f) = 1833*f - 158. Is g(29) prime?
True
Suppose -2*j = -5*s + 21, 14 + 5 = 5*s - 3*j. Suppose -18 = -0*o + 3*o + 3*q, -o - 22 = s*q. Let i(k) = -8*k**3 + 2*k**2 + 5*k + 5. Is i(o) composite?
False
Let i = 22 + -32. Let l = i - -13. Is -11*(-21)/l*1 composite?
True
Let b = 13 - 18. Let x(a) = 3*a + 5. Let d be x(b). Is (-25)/d*38/5 a composite number?
False
Let a = 18580 - 11913. Is a prime?
False
Let i(r) = r**2 + 6*r + 1. Let w be i(-7). Suppose 0 + w = 4*u. Suppose -u*p + 340 = 50. Is p a composite number?
True
Suppose 14*h + h = 90. Suppose 30569 = h*f - 75445. Is f a prime number?
True
Let u = 592 - 366. Is 3*3/(6/u) prime?
False
Let n(p) = -2*p**2 + 2. Let i be n(-2). Let u = i + 7. Is 2 + 99/(2 + u) prime?
False
Let u(l) = 12*l**2 + 2*l + 5. Let o(b) = b**2 + 5. Let i be o(0). Suppose -v + 14 = i*r + 5, 3*v = -r + 13. Is u(v) composite?
True
Suppose -80*r + 57003 = -79*r. Is r a composite number?
True
Is ((-6477)/(-6))/(-5 - (-88)/16) composite?
True
Let m = 1233 + -184. Is m a prime number?
True
Let y(g) = 99*g**2 - 4*g - 42. Is y(-5) prime?
False
Let w(j) = j**2 + 3*j - 12. Let k be w(-6). Suppose -2*f = -k*f + 740. Is f prime?
False
Suppose -33*d + 614449 = -85844. Is d composite?
False
Let r(v) be the second derivative of v**5/20 + v**4 - 3*v**3/2 - 11*v**2/2 + 14*v. Is r(-12) prime?
True
Suppose 2*n = 2*y + 1048, n - 165 = 3*y + 349. Is n composite?
True
Let b be ((-10)/(-45))/((-4)/(-36)). Is (9 - -25)*41/b a composite number?
True
Let a = 2343 + 1084. Is a a prime number?
False
Let w = 670 + -93. Is w a composite number?
False
Let d be 2/10 + (-11438)/(-10). Let l = d - 387. Suppose -l - 7 = -4*f. Is f composite?
False
Let m be (-28)/(-21) - 2/6. Is m + 5 + -5 - -510 a composite number?
True
Suppose k + 2*l + 290 - 963 = 0, 3*k - 5*l - 2063 = 0. Let u = 1322 - k. Is u prime?
True
Suppose 0 = -4*h + y + 9572, 0 = h + 4*y - 6*y - 2393. Is h prime?
True
Let j = 23179 - 7388. Is j a composite number?
False
Let a(m) = m**2 + 4*m - 2. Let w be a(1). Let f(b) = 54*b**2 - 1. Is f(w) a prime number?
False
Suppose -3*o = -8*p + 5*p + 308592, -4*p + 3*o + 411451 = 0. Is p prime?
True
Suppose -4*b + 11*b - 29134 = 0. Is b a composite number?
True
Is 1072914/22 - (-5)/(275/10) a prime number?
False
Suppose -27839 = 11*a - 18*a. Is a a composite number?
True
Let m = 110 + -48. Suppose -2*o = -7*o - 3*v + 56, 5*o - m = -v. Let b(c) = c**2 + 5*c + 17. Is b(o) prime?
True
Let s(c) = -3*c - 7. Let f be s(-3). Suppose 3*r + 0*r + 102 = f*q, 0 = -r. Is q a composite number?
True
Let u(r) be the third derivative of -r**6/120 + r**5/60 - r**4/12 + 443*r**3/6 + 2*r**2. Is u(0) prime?
True
Let w(c) be the first derivative of 8*c**4 - 2*c**3/3 + 4*c**2 - 7*c + 15. Is w(2) a prime number?
True
Let v = -30 + 34. Suppose -4*l - 802 = -v*p - 2*l, 0 = 3*p + 5*l - 582. Is p prime?
True
Suppose 0 = x - 3*s + 16, -5*s = 5*x - 4*s + 64. Let z(g) = 2*g**2 - 9*g - 12. Is z(x) a prime number?
True
Let u be -20*76/(-8) + 3. Let k = u - 102. Is k prime?
False
Is (-2430944)/(-40) - (-27)/(-45) composite?
False
Suppose -4*s + 20 = 0, 24 = h + h + 4*s. Suppose 277 = -h*u - 365. Let g = u - -484. Is g a composite number?
False
Suppose -290 - 565 = -5*a. Suppose -5*r = 3*m - a + 38, m - 43 = -2*r. Is m a composite number?
True
Let i(b) = -b + 8. Let u be i(3). Is 0 + (-6037)/(-5) - 2/u a prime number?
False
Let k = 5 + -2. Suppose -k*h = 15, 3*h + 1 = -5*n - 19. Is -1*(-38 + 0 - n) a prime number?
True
Let q(u) = 90*u**2 - 394*u + 5. Is q(7) a composite number?
False
Suppose q + 3*b = -3*q + 98999, 4*b - 4 = 0. Is q a prime number?
True
Is 14107/2 - 2/(-40)*10 a prime number?
False
Let n = 14 - 13. Let z be (n - -4) + -2 + 4. Suppose 0 = t - 2*t + z. Is t a prime number?
True
Let b be (-15)/(-20) - (585/(-12))/(-5). Is (0/1 + 5541)*b/(-27) a composite number?
False
Let i(p) = -p**3 + 2 + p + 4*p**2 - 7*p**3 + 5*p**3 - 5*p**3. Let y be i(4). Let h = 695 + y. Is h composite?
True
Suppose -3*h - h - 687 = -f, -3*h = 0. Let k(s) = 3*s**3 - 5*s**2 - 14*s + 10. Let a be k(6). Let p = f - a. Is p composite?
False
Let q = 11401 + -4640. Is q prime?
True
Suppose -12538 = -7*o + 21489. Is o prime?
True
Let p(d) = 6*d**3 + 6*d**2 - 8*d + 1. Suppose 0 = -5*o + 10*o - 30. Let n(i) = 7*i**3 + 6*i**2 - 8*i + 1. Let k(w) = o*p(w) - 5*n(w). Is k(-6) a prime number?
False
Let o be 45*(10/6 + -1). Suppose o*g = 31*g - 1621. Is g prime?
True
Suppose -2*v + 5*a + 1482 = 0, -v + 5*a - 2273 = -4*v. Is v composite?
False
Let s be ((-16)/4)/(((-4)/(-10))/2). Is (-222)/(-4)*s/(-6) a composite number?
True
Suppose 0 = -m + 5*s + 65, 33*s - 35*s = -5*m + 279. Is m composite?
True
Suppose -x + 4*p = -4*x, -4*p = -4*x. Suppose -4*z - 8*v + 3*v + 18169 = x