 + 11. Let r be y(-10). Let x be ((-143)/26)/(r/(-12)). Suppose 3*u = 327 + x. Is u composite?
False
Let o = -49989 - -79730. Is o composite?
False
Let q(a) = 38*a - 26. Let m be q(7). Suppose 0 = 2*n + 3*u - 165, 3*n + 3*u - m = 12. Is n a composite number?
True
Suppose 0 = 34*m - 41*m + 180845. Is m composite?
True
Let r(u) = u - 12. Let s be r(14). Suppose 0*n + 2*w - 2611 = -5*n, 0 = s*n - 5*w - 1027. Is n prime?
True
Let m(n) = -n**2 - 29*n - 13. Let x(i) = -i**3 - 9*i**2 - 7*i - 1. Let y be x(-8). Is m(y) a composite number?
False
Let q = 80 + -53. Suppose 9*u - q = 36. Is u prime?
True
Suppose 376065 + 52769 = 14*z. Is z a prime number?
True
Let j(c) = c**3 - 16*c**2 + 13*c + 36. Let x be j(15). Suppose -14684 = -x*h + 17218. Is h a composite number?
True
Let q = -24 - -26. Suppose q*g - 1763 = 791. Is g composite?
False
Suppose -4*x + 2*x + 136 = 0. Let o be 1*42 - 28/7. Suppose -x = -2*h + o. Is h prime?
True
Is (-10)/(-2) + 34760/10 + 10 a prime number?
True
Let g(v) = v**3 + v**2 + v - 1. Let q(t) = -192*t**3 + 2*t**2 - 3*t - 8. Let h(s) = -3*g(s) + q(s). Is h(-2) prime?
False
Suppose 0 = -5*m - 4*r + 100, -4*r = -m + 3*m - 28. Is (0 + 4196/6)*m/16 a prime number?
True
Let t = 3718 - -3580. Suppose -2*o - 2*i - 1778 + t = 0, -2*i - 2 = 0. Is o a prime number?
False
Let c = 1253 + -666. Is c a prime number?
True
Let v be (-541 - 0)*15/(-5). Let r be v/9 - 3/9. Let n = -47 + r. Is n composite?
True
Suppose 0 = -p - 1 + 7. Suppose p*o - 3*o - 87 = 0. Suppose -3*m - o + 1376 = 0. Is m a prime number?
True
Let r = 30 + -32. Is (12/18)/(r/(-3987)) prime?
False
Suppose -299471 + 883153 = 22*c. Is c a composite number?
True
Is (-87154)/(-16) - (-4)/((-32)/1) composite?
True
Let w(k) = -5*k**2 + 3*k + 11. Let q be w(5). Let f = q + 294. Suppose -6*p + p = -f. Is p prime?
False
Is 2253 + 4/7 + 270/(-105) prime?
True
Let k(s) = 6*s**2. Let q be k(1). Suppose 2*x - u = 3*x - q, -4*x + 51 = -5*u. Is x a composite number?
True
Suppose -16 = -w - 0*w - 4*n, 2*w - 41 = n. Suppose w*m - 9*m - 18381 = 0. Is m composite?
True
Let t(o) = -11*o**2 - 4*o - 38. Let p be t(7). Let h = p - -1198. Is h composite?
False
Let o(w) = -w**3 - 6*w**2 - 3*w - 19. Let m be o(-6). Is m + 1/((-1)/(-1260)) prime?
True
Let m be (3/(-6))/(4/(-40)). Suppose 4*y + 26 = -m*p, p + y = -3*y - 2. Let v(d) = 5*d**2 - 4*d - 1. Is v(p) prime?
False
Let f = 21 - 17. Suppose -f*a + 1 = -15. Suppose 0*u + 572 = a*u. Is u a prime number?
False
Let x(i) = -2*i**3 + 2*i**2 + 5*i. Let c be (2/(-1))/(2/4). Let a be x(c). Suppose 3*p + a = 2033. Is p composite?
False
Is (11 - 39/3) + 14521 prime?
True
Is (80980/30)/((-33)/(-9) + -3) a prime number?
True
Let i be (-1 + 0 - -2) + (-13654 - 23). Is i/(-8) + (-3)/6 a composite number?
False
Let g = 6746 - 3087. Is g a prime number?
True
Let r = -7 + 4. Let k be (-207)/(-27) + 2/r. Let w(b) = 44*b + 9. Is w(k) prime?
True
Let u be ((-20)/(-3))/(1/3). Let a(w) = -66*w**3 - w**2 + 1. Let v be a(-1). Let h = v - u. Is h composite?
True
Let m = 2378 + 1611. Is m a prime number?
True
Suppose 0 = 5*t - 3*t - 12. Let k be 2 + t/(-3) + 5. Suppose 0 = -w + 24 - k. Is w prime?
True
Suppose -2*i = 19*i - 101787. Is i prime?
False
Let m be (-1 + (1 - 0))/(-1). Suppose -2*v - y + 3298 = 2*v, v + 4*y - 832 = m. Suppose 0 = o + 2*q - 66 - 137, -v = -4*o - 5*q. Is o prime?
True
Let j(r) = r**3 - 6*r**2 + 3*r - 14. Let l be j(6). Suppose w - 9 + l = 0. Suppose -2*x - 341 = -s - x, 2*x = w*s - 1705. Is s a composite number?
True
Suppose 3*u - 6 - 13 = 2*j, u = 4*j + 13. Suppose 0 = -u*w + 3*g + 3158, -w + 636 = -2*g - 3*g. Is w composite?
False
Let v = -24 - -14. Let q = v - -9. Is (-3 - -4) + (95 - q) a prime number?
True
Suppose -4*x = -2*x. Suppose 2*c - 11 - 11 = x. Is c a prime number?
True
Suppose -8*h + 7*h + 2*j + 65767 = 0, -4*h = 2*j - 263038. Is h a composite number?
False
Let t(n) = -n**3 + 21*n**2 + 6*n + 1. Let y(l) be the first derivative of 5*l**2/2 - 5*l - 10. Let w be y(5). Is t(w) prime?
True
Let o = 440 - -8019. Is o a composite number?
True
Suppose 10 = -r - 3*j - 0, -2*r + 35 = -5*j. Suppose -3*d = 2*k - d + 216, -r*k = -5*d + 540. Let q = k - -291. Is q prime?
False
Let x(r) = 127*r**3 + 4*r**2 + 7*r + 15. Let z(m) = 64*m**3 + 2*m**2 + 3*m + 7. Let i(l) = -6*x(l) + 13*z(l). Is i(2) a prime number?
True
Suppose 2*l + 2*l - 1224 = 0. Let a = l - 151. Is a composite?
True
Suppose -24*x = -38580 - 146004. Is x prime?
True
Let t(v) = 522*v**2 - 3*v - 2. Is t(5) prime?
True
Let d = -21 + 27. Suppose -1932 = -d*c + 3*c. Let u = -250 + c. Is u a composite number?
True
Let z(v) = -4*v - 17. Let i be z(-5). Suppose i*h - 2*h + 3*q - 459 = 0, 0 = -4*h + 3*q + 1896. Is h prime?
False
Let v = -9874 + 17887. Is v prime?
False
Let s = -425 - -427. Let m = -972 - -4160. Suppose -m = s*h - 6*h. Is h a composite number?
False
Let g = -2351 - -919. Is 2*(g/(-20))/((-12)/(-75)) prime?
False
Suppose -10*n = -5*n - 10. Suppose -8 + 4 = n*d. Is (-344)/(-6) + d/6 composite?
True
Let d be (5/(-3))/(11/(-33)). Let p(b) = 7*b + 2. Let a be p(d). Suppose 0 = r - a - 1. Is r a prime number?
False
Let f(w) = -44*w + 7 - 26*w + 12 + 22*w. Is f(-6) composite?
False
Let s(d) = 8*d**3 - 22*d**2 + 33*d - 154. Is s(15) composite?
False
Let o = 418 - 700. Is (-1 + -1)*(o - 1) a prime number?
False
Let m be ((-4)/8*-6)/(12/6416). Let l = m - 45. Is l a composite number?
False
Suppose 4*j - 4*b = 1066 + 6794, 5*j - 9793 = -3*b. Is j a composite number?
True
Let t(k) = k**3 + k + 89. Let y be t(0). Let q = y + 555. Suppose 4*x = 4*a - 496, 5*a + x = -2*x + q. Is a composite?
False
Let d be 161 - ((-9)/(-3))/3. Let c be 3/2*d/(-15). Is (-1 - 165)*56/c a composite number?
True
Let y(o) = 541*o + 13. Is y(4) a composite number?
True
Suppose -3*k = -3*g - 6252, 1110 = -4*k - 2*g + 9470. Let r = -527 + k. Is r a prime number?
False
Let w(u) = -u + 4. Let d be w(7). Let t(n) = n**2 - 3*n - 10. Let q be t(4). Is ((-134)/q)/((-1)/d) prime?
True
Is -8402*8/(-32)*2 a prime number?
True
Let y = 6091 + -3513. Suppose -2*m + y = 5*j, 5648 = 5*m - 5*j - 727. Is m composite?
False
Is (3 + 68)/((-4)/(-20)*5) a prime number?
True
Let i(r) = r**2 - 1. Let k(b) = b**2 + 19*b + 51. Let c(l) = 2*i(l) - k(l). Is c(25) a prime number?
True
Let m(s) = 1028*s + 203. Is m(10) prime?
False
Let p = -84 - -670. Is p/4*1/(8/16) a prime number?
True
Let z(q) = -11*q**3 - q**2 - 2*q + 1. Let s(c) = 2*c - 3. Let r be s(0). Is z(r) composite?
True
Let y(w) = w**2 - 15*w - 19. Let t be y(16). Let j(k) = 67*k**2 - 2*k + 5. Is j(t) a composite number?
True
Suppose -4*k + n + 224 = 0, 0*k - 4*n + 56 = k. Suppose -c = c - k. Let g = -13 + c. Is g composite?
True
Let h be 11/2*-1*54. Let o = 560 + h. Is o a prime number?
True
Suppose 5*i + 0*q + 2*q + 184 = 0, 3*i - 3*q = -123. Let b = 201 + i. Is b prime?
True
Let g = 2 + 0. Is ((-8)/g - -3)*-293 a composite number?
False
Suppose -q - 5*y = -0*y - 940, -4*q + 3741 = y. Suppose 0 = -5*k - 3*c + q, 5*k = 3*c + 2*c + 935. Is k prime?
False
Suppose 4*d = -4*d + 888. Let u = 11 - 25. Let j = u + d. Is j prime?
True
Let m = 10855 - 1254. Is m composite?
False
Let k be ((-8)/5)/((-2)/10). Is (-4)/(-6)*996/k composite?
False
Let r(p) = -31*p + 2. Let z be r(-13). Let m(k) = 181*k + 7. Let b be m(16). Suppose 3*x + q = b, 2*x = 5*q + 2329 - z. Is x prime?
True
Let i(s) = -12*s + 6. Let f be i(0). Let r = 0 + 0. Suppose r*u = 2*u + f, 3*y - 546 = -u. Is y a composite number?
True
Suppose 5*t = -2154 + 5559. Let g = 1052 - t. Is g composite?
True
Suppose -2*b + 2*s + 520 = 0, -3*s - 2*s = b - 260. Let f be 28/12 - 4/(-6). Suppose f*k = -2*p + 517, -5*p + b = -5*k - 1020. Is p a prime number?
True
Suppose 20*s - 109564 + 15024 = 0. Is s a prime number?
False
Let f(q) = -21*q**2 - 25. Let z(g) = -22*g**2 - g - 26. Let s(t) = 3*f(t) - 4*z(t). Is s(-6) a prime number?
False
Let d = 27 + -27. Suppose d = -2*m - 4*r + 162, 1 + 2 = 3*r. Suppose -11*t + 12*t = m. Is t composite?
False
Suppose 12139 = 17*d - 17798. Is d composite?
True
Let k(i) = -127*i - 9. Let u = 28 + -48. Is k(u) composite?
False
Suppose 0 = -4*g - 4634 + 966. Let a = g - -1404. Is a a prime number?
True
Let y be 1316/6 + (-2)/6. Let k(x) = 2*x**2 + 8*x + 12. Let v be k(13). Let a = v - y. Is a composite?
True