se
Suppose -9 = 4*t - 25. Suppose 3*y + t*x - 657 = 260, -2*x + 612 = 2*y. Is y prime?
True
Let b = -353 - -660. Is b prime?
True
Let v(y) = 1770*y**2 + 30*y - 169. Is v(5) prime?
False
Let h = -22 + 37. Let m = h - -112. Is m a composite number?
False
Let l = -16 + -142. Is (4 - 36/8)*l prime?
True
Suppose -13*h - 20113 = -226696. Is h prime?
False
Let f(r) be the third derivative of r**9/8640 - r**8/20160 + r**7/5040 - r**6/720 + r**5/30 + 11*r**2. Let d(n) be the third derivative of f(n). Is d(6) prime?
True
Suppose 107 + 2480 = y - 5*i, i + 2583 = y. Suppose -1 = d, 3*x - 3*d - y = 2*d. Is x prime?
True
Let l(c) = -12*c**3 + 9*c**2 + 26*c + 16. Is l(-7) prime?
True
Let x = -571 + 332. Let g = x + 490. Is g composite?
False
Let i = 3853 - 1788. Suppose 0 = 6*c - 11*c + i. Is c composite?
True
Suppose -4*y + 7*y = -6726. Let u = y + 4043. Is u prime?
True
Suppose 0 = 56*t - 62*t + 12246. Is t prime?
False
Let k(q) = -q**2 - 12*q + 3. Let n = -19 - -7. Let g be k(n). Suppose -2*y + 396 = g*w - 63, 721 = 3*y - 2*w. Is y a prime number?
False
Suppose -4*t = t - 1910. Suppose -12*f = -35 - 1. Suppose -5*b - g - 93 = -t, -f*b = 5*g - 169. Is b prime?
False
Let g = -178 - 300. Let c = 773 + g. Is c composite?
True
Let s(n) = -4*n**2 + 15*n**3 + 2*n - 1 + 8*n**2 - 4*n**2. Is s(2) prime?
False
Suppose 16 = 4*l, w + 2*l + 32 = -3*w. Let a(m) = m + 10. Let i be a(w). Suppose i = -4*n - 5*r + 339, 2*n = -n + 2*r + 260. Is n a composite number?
True
Let t be ((-6)/18)/((-2)/678). Suppose -4*w + 5*w - t = 2*q, 242 = 2*w + 4*q. Suppose -3*f + 78 + w = 0. Is f composite?
True
Let l(c) = c**2 - 12*c + 26. Let m = 15 + -30. Is l(m) a prime number?
True
Suppose 2*s = 2*v - 14, v - 15 = 4*s - s. Suppose o - 3*o = d - 5877, -5*o = -v*d - 14720. Is o composite?
True
Let j = 25 + -23. Suppose j*n - 331 = n + b, -2*n + 674 = b. Is n a prime number?
False
Is 5/(180/66561) - (-1)/12 a prime number?
False
Let v be 53595/27*3/15. Let f be -46*(2 + (-3)/1). Let r = v + f. Is r a prime number?
True
Let s be 1492/(-6)*(-24)/16. Suppose -3*h = 4*h - 84. Is s/(-2 - h/(-4)) a composite number?
False
Let x = 2171 + -1054. Is x a composite number?
False
Let q = 741 - -2170. Is q prime?
False
Suppose -4*f = 4*w - 27212, -5*w - 3894 = -f + 2909. Is f prime?
True
Suppose -5*f - 3*w - 2*w = 10, -f = 3*w + 6. Is f - ((-7584)/15 + 3/5) a composite number?
True
Suppose -3*r = a + r - 5461, -5*r = -4*a + 21781. Suppose 0*n + 3*n = 4*f + 4103, f + a = 4*n. Is n a prime number?
True
Suppose -44 = -4*a + 2*w + 1044, 281 = a - 5*w. Is a prime?
True
Is (76622 - 1) + 6 - -4 a prime number?
True
Let k(f) = 24*f**2 + 17*f + 13. Is k(6) a composite number?
True
Suppose -8*y = -1551 + 175. Let r = -34 + 85. Let s = r + y. Is s a prime number?
True
Let w = -1440 + 2111. Suppose 15*c = 14*c + w. Is c composite?
True
Let b = -41 - -637. Suppose -2*c - 2*a - 3*a = -b, 5*c - 1463 = a. Is c a composite number?
False
Let o(c) be the second derivative of 25*c**4/12 - c**3/2 + c**2/2 - 15*c. Is o(-3) a composite number?
True
Suppose -3 = -2*s + 13. Suppose 3*p + 5305 = s*p. Is p composite?
False
Suppose -y - 3*z + 3442 = 0, 3*z - 5*z = -6. Is y a prime number?
True
Is 87668/588 - (-2)/(-21) prime?
True
Let s(l) = 14134*l**2 - l - 1. Is s(-2) a prime number?
False
Let m(z) = 57*z - 1. Let g(i) = -i**2 + 8*i + 1. Let y be g(8). Let l be m(y). Suppose -6*q + 2*q = -l. Is q prime?
False
Let p = -1219 + 2130. Suppose -p = 14*m - 2857. Is m composite?
False
Suppose 6 = -w - 4*i, -3*i - 16 = i. Suppose w*x = 3*j + 5*x - 2749, -j - 5*x = -903. Is j composite?
True
Let p = -5287 + 9911. Suppose 6*x = 998 + p. Is x composite?
False
Let h(f) be the second derivative of 37*f**4/12 - 13*f**2/2 - 10*f. Is h(-6) prime?
True
Let i(r) = -9*r**3 + 15*r**2 - 76*r - 41. Is i(-16) prime?
True
Suppose -5*r = 3*q - 4*r - 6473, -4*r - 16 = 0. Is q prime?
False
Let r(n) = -1986*n + 1. Let f be 3*(1 - (-8)/(-6)). Is r(f) prime?
True
Let b(i) = -17*i - 7. Let w be b(-2). Suppose 0 = -5*j + w + 28. Is j a composite number?
False
Let d = 6601 - 754. Suppose 0 = 5*p + 4*g - d, 4*g = -7 - 1. Is p composite?
False
Let w = 7 + -22. Is 3/w - 3732/(-10) composite?
False
Let c(l) = l**3 - l**2 + l + 450. Let w be c(0). Let i = 158 - w. Let b = i - -495. Is b a composite number?
True
Is 70582/((5 - 10) + 7) prime?
True
Let u(h) = 5*h**2 + 18*h - 12. Let b = 18 - 13. Is u(b) composite?
True
Let i(p) = -1663*p - 10. Is i(-9) composite?
False
Suppose -1024304 = -20*a + 3108996. Is a a prime number?
False
Suppose 355*t - 471 = 352*t. Is t a prime number?
True
Suppose 5*d = -o + 3666, -14*d + o + 2198 = -11*d. Is d prime?
True
Let l = -370 + 1061. Is l prime?
True
Let d(i) = -334*i - 217. Is d(-20) composite?
True
Let u(f) = -167*f - 48. Let g be u(-11). Suppose -3*r = 2*t - 1081, 5*r - t - g = 2*t. Is r prime?
True
Is (1 - 7)/12*-101978 composite?
False
Let r(j) = -320*j - 1. Let x(b) = b**2 + 7*b + 5. Let s be x(-6). Is r(s) a composite number?
True
Suppose x + 82 = -3*d + 2*x, 0 = d + 2*x + 32. Is -3 - 24/(-7) - 7352/d prime?
True
Let f be 2/7 - 445/(-35). Suppose 0 = o + 2*l + 1, 0*l + f = 5*o + l. Suppose 0*a - y = o*a - 646, -20 = 4*y. Is a a prime number?
False
Let x(o) = -6*o**3 - 1 + o**2 + 6 + 7*o**3. Let d be x(0). Suppose -d*y + 1551 = -4*m, 0 = 4*y + y + m - 1531. Is y prime?
True
Suppose 11752 = -50*t + 58*t. Is t composite?
True
Let v = -15 + 15. Suppose v = 4*o - 2*q - 298, -3*q = -5*q + 10. Let l = o - 46. Is l composite?
False
Let b(l) = 4*l - 3. Let f be b(2). Let d(r) = 0*r + r**2 + 6 + f*r + 5 + 5*r. Is d(-12) a composite number?
True
Suppose 2*b = -0*b - 8. Let r be 16/4 + b - -8. Is (-9729)/(-15) - r/(-20) composite?
True
Is (-8)/(48/30) + 3084 a composite number?
False
Let s(z) = -20*z - 1. Let h be s(-2). Let v = -36 + h. Is 3*v/(-9) - -378 prime?
False
Suppose 3*z = 13*z - 1030. Let y = z - -418. Is y prime?
True
Let h(s) = 2*s - 33. Let q be h(20). Suppose -q*y = y - 952. Is y a composite number?
True
Suppose 2*i = 3*i + 888. Is (i/48)/(2/(-116)) a prime number?
False
Suppose 2*r - 34 = 3*v, -2*v + 3*v = -4*r - 2. Let a be (-3 + 1)*(8 + v). Suppose -3*y + 0*y + 4*s + 269 = 0, 2*y + a*s = 166. Is y composite?
True
Suppose 65*y - 604075 = 40*y. Is y composite?
True
Suppose 2*v = -2*d + 4, -4*d - v + 4 + 4 = 0. Suppose -6626 = -4*g + d*a, -g + 6*g - a = 8284. Is g a prime number?
True
Suppose 31*k - 860290 = 1368579. Is k prime?
True
Let b(o) = -3*o + 2. Is b(-11) a prime number?
False
Is 310/372 - 44654/(-12) composite?
True
Suppose -4*k - 31 = -4*w + k, -3*w = 2*k - 6. Suppose -4*p = x - 3159, -w*x + 3654 = -3*p - 8963. Is x a prime number?
False
Suppose -4*i = -7*i + 1842. Is 12/8 + i/(-8)*-82 prime?
False
Is 189*209 - (80 - 84) composite?
True
Let a be (-4)/4 - (1 - -2). Let b(h) = -6*h**2 + 1 - 4*h - 23*h**3 + 16*h**3 + 2. Is b(a) a composite number?
True
Let m(u) = -u**2 + 7*u - 2. Let r be m(6). Suppose -r*s + s = -2*t - 11, -1 = 2*t - s. Suppose -2*i + 254 = t*v - 36, -5*i = v - 725. Is i composite?
True
Suppose -3*o - 17*u + 19*u + 42539 = 0, 0 = 4*o - 4*u - 56724. Is o composite?
False
Let k(x) = -1198*x + 19. Is k(-3) composite?
False
Let u(w) = 6*w**2 - w + 2. Let q be 10/2 + (2 - 6). Is u(q) a composite number?
False
Suppose 2*r - 135 = -3*r. Suppose 5*f - 2*f = r. Suppose 5*g = f*g - 28. Is g a composite number?
False
Suppose 1 - 16 = -3*x, b - x - 32 = 0. Let s = -72 + b. Is 7/s - (-21)/5 prime?
False
Let o(m) = 5*m**2 - 6*m - 3. Let x be -15*((-22)/(-5) + -4). Is o(x) a composite number?
True
Let f(u) = -25*u + 102. Is f(-23) composite?
False
Is (-1)/3 - 1918/(-63)*39 prime?
True
Suppose 3*w = -4*h + 55, 12 = -5*h + 2. Suppose -4*d = 3*d - w. Suppose 2*y = 4*t - 0*y - 2726, -3*t = -d*y - 2040. Is t composite?
False
Suppose 5*n - n - 45763 = -5*g, 2*n + 36600 = 4*g. Is g composite?
False
Suppose 4*d - 2*d = 2*m - 14, 0 = 4*d. Let k(g) = 12*g**2 + g - 6. Let u be k(m). Suppose 0 = 3*r - 5*f - u, 5*r - f - 1023 = -3*f. Is r a composite number?
True
Let m(t) = t**3 - 3*t**2 - 5*t + 7. Let r be m(4). Suppose -z - 238 = -r*z. Is z composite?
True
Suppose 4*q = 1400 + 864. Suppose 7960 = 2*p + q. Is p prime?
True
Let k = 9820 - 5267. Is k a prime number?
False
Let t = 133543 - 86954. Is t composite?
False
