et j = 6813 + -1589. Let k = -2475 + j. Is k a prime number?
True
Let v = 962835 - 499628. Is v a prime number?
True
Suppose 18 = 5*a - j + 4, 0 = 5*a - 2*j - 18. Let q be -2 + 4 + 2 + -1. Suppose a*k + 5*h - 778 = 0, -h = 5*k - q*k - 778. Is k a prime number?
True
Let i(s) = -1675*s**3 - 7*s**2 - 55*s - 170. Is i(-7) a prime number?
False
Suppose 0*l + 8 = 3*f - 2*l, 4*f + 4*l - 4 = 0. Suppose f*w = 4*h - 1308, -4*h - 2*w = -1053 - 271. Is h composite?
True
Let h(w) = 2*w**2 - 2*w - 4. Let o be h(2). Suppose 2*d + u - 6775 = o, 0*d + 2*u = 4*d - 13538. Is d composite?
True
Let q(s) = -s**3 + 102*s**2 + 112*s + 1415. Is q(102) a prime number?
False
Suppose 2*g - 5*v - 19 = -172, 0 = 3*g + 5*v + 242. Let l = g + 81. Suppose 1854 + 428 = l*u. Is u a composite number?
True
Let x(n) = n**2 - 5*n. Let z be x(3). Let p(q) = -125*q + 2. Let h be p(0). Is (h - -355)*(-2)/z composite?
True
Suppose j + 0*j - 28 = 0. Let a(f) = -125*f - 1616. Let b be a(-13). Let q = j + b. Is q prime?
True
Let q(f) = -f**3 + f**2 - f. Let l(c) = 6*c**3 - 9*c**2 - 2*c + 7. Let h(x) = -l(x) - 5*q(x). Let g be h(5). Suppose -g*j + 155 = -2*j. Is j a composite number?
True
Let i be -2 + (-7)/((-14)/8). Suppose 0 = b - 4*f + 5, 3*b - 3*f + 3 = i*b. Suppose -b*j - 7*j + 2050 = 0. Is j prime?
False
Suppose 0 = -84*l + 10160057 + 922739 - 1291000. Is l a composite number?
True
Let i(d) = -50*d**2 - 9*d - 1. Let w(p) = -50*p**2 - 9*p - 2. Let z(f) = -3*i(f) + 2*w(f). Is z(-6) composite?
True
Let k = 19 - 24. Let q(t) = t**3 + 4*t**2 - 6*t + 7. Let c be q(k). Is (1671/c)/(2 - (-14)/(-8)) a prime number?
True
Let z = 341 + -35. Suppose 0 = -307*x + z*x + 1567. Is x prime?
True
Suppose 0 = j - 4*w - 249039, 15*w = 11*w + 20. Is j composite?
False
Suppose -3*d + 1158 - 3 = 0. Let n = d - 174. Is n prime?
True
Let p = 601209 + -331508. Is p prime?
True
Let y be -20*11/(-55) - (-1 + 2). Let f(n) = 76*n - 45*n - 10 + 136*n. Is f(y) prime?
True
Let t = -230 - -136. Let h = -41 + t. Let v = 358 + h. Is v a composite number?
False
Let f be 8*((-16)/72 - 10/36). Is f - 43407/((-42)/6) a composite number?
False
Suppose -10*k = -12*k + 6486. Let h = 6633 - k. Is h/9 + 2 + 7/21 a prime number?
True
Let z = 281719 - 54876. Is z a composite number?
False
Let y = -87 + 53. Let d = y - -36. Is 3/9*(4631 - d) a composite number?
False
Let s(f) = 2*f**2 - 9*f + 2273. Let a(p) = -3*p**2 + 13*p - 3410. Let h(m) = -5*a(m) - 7*s(m). Is h(0) a composite number?
True
Let v = 62 + -161. Let n = 108 + v. Is 5378 - ((n - 4) + -10) prime?
False
Let r = 7 + 89. Let m = r - 91. Is (5686/4)/(-4*m/(-40)) a prime number?
True
Let n(h) = h**2 - 13*h + 25. Let m be n(10). Let j be -1 + 0 - (-1 + m + 17). Is 908/3 - (-8)/j a prime number?
False
Suppose 3*s - 11986 = 12*g - 7*g, 4*g = -20. Suppose s + 675 = 2*i - 4*b, 4*i + 2*b = 9334. Is i a prime number?
True
Let r(w) = 51*w**2 - 33*w - 595. Is r(-61) a composite number?
False
Suppose 377525 = -6*r + 75215. Is ((-4)/(-6))/((-10)/r) prime?
True
Let q(y) = -488*y**3 - y**2 - 22*y - 27. Is q(-5) a composite number?
True
Suppose -3*o = 4*c - 185 + 46, 5*o - c = 270. Let b = o - 51. Suppose 1032 = 4*n + b*m, 3*m + 2 = 2*m. Is n a prime number?
False
Suppose 4*t - y - 3838 = 0, 3*y - 4161 = -5*t + 628. Suppose -3*q = -3*f + 576, 5*f + 0*f = 4*q + t. Is f composite?
False
Let w = 126 - 29. Let v be 3/3 + 275 + -7 + 7. Suppose a - v = -w. Is a a prime number?
True
Suppose -2*u + 9 = -x, u - 2*x = 6*u. Suppose -4*a - u*h = -325234 + 20648, -4*h = -4*a + 304592. Is a a prime number?
True
Suppose -5*n = -0*r + 2*r + 154, 0 = 2*n - r + 67. Let l be (2/(-4))/(2/n*4). Let d(p) = 18*p**2 + 2*p + 1. Is d(l) a composite number?
True
Let u(b) = b - 8. Let o be u(2). Let l(h) = -24*h**3 - 3*h**2 + 15. Let q be l(o). Suppose -8569 = -10*v + q. Is v prime?
False
Let l(y) = 4*y**2 - 11*y - 32. Let r be l(-15). Let i = r + 972. Is i a prime number?
False
Let j be (-4311)/6*10/(-15). Suppose 70 = 5*m - 340. Let t = j - m. Is t a prime number?
True
Let k(c) = 4*c**2 - 5*c + 3. Let r be k(3). Is 388383/r + 12/32 prime?
True
Let k be 1/((-1)/(-4233)) + 40/10. Let d = k - 2123. Suppose -5*t = -d - 701. Is t a composite number?
False
Let w be -2057 + (4 - 3) + 1. Let t = 4107 + w. Let s = -835 + t. Is s a prime number?
True
Let l = 30 + -17. Suppose -l*f = -13045 - 5116. Is f composite?
True
Let i be (2/5)/(4/20). Let q(m) = 112 + 23*m**i - 64 + 8*m - 57. Is q(10) a prime number?
True
Suppose -7*o - 16*o + 34270 = 0. Suppose -5*r + 5*j = -1490, 5*r - 20*j = -16*j + o. Is r prime?
False
Suppose 5*g - 2*p - 77 = 0, -g + 4*p = -5*g + 56. Suppose -5577 = -g*q + 13308. Is q composite?
False
Suppose -b = -3*r - 4*b + 3, 3*r = -2*b. Let v be -2*(70/4)/(-7) + r. Suppose 472 = d + 4*i - 555, -v*i + 4147 = 4*d. Is d a composite number?
False
Let o(t) = -144*t**3 - 47*t**2 - 391*t - 3. Is o(-10) a composite number?
True
Let p(b) = 4*b - 22. Let x be p(7). Let i(k) = 49*k**2 - 7*k - 7. Let o(f) = 50*f**2 - 6*f - 6. Let z(s) = x*o(s) - 5*i(s). Is z(3) prime?
True
Suppose 0 = -c - 4*n + 32, -2*c + 0*c = 3*n - 84. Suppose -2*j + 5*j + 5*k = 110, 3*k = 2*j - c. Is (106/(-3))/((-10)/j) a prime number?
False
Let u = 165 + -270. Let d = 953 - 405. Let n = d + u. Is n a prime number?
True
Let t(v) = 6*v - 33. Let a be t(6). Suppose 4*b - 140 = -l - 2*l, a*b + 3*l = 108. Suppose 14 = -o + 5*i, b + 13 = 5*o - 2*i. Is o prime?
True
Suppose -25 = 58*n - 53*n. Let k(l) = -323*l - 101. Is k(n) prime?
False
Suppose -27*c = -124 - 254. Is 4*(7791/c + -2) prime?
False
Let s(k) = 4*k**2 - 106*k + 48. Let c be s(17). Is (-11767)/(-13) + 92/c a prime number?
False
Suppose -3*t + 2*s = 18773, -4*t - 1876 = -5*s + 23157. Let z = 14242 + t. Is z prime?
False
Let s be (4 - -44)/6 + -6. Let f(v) = 174*v**3 - v**2 + 5*v + 1. Is f(s) composite?
False
Let o(a) = -a**3 + 8*a**2 - a + 9. Let u be o(7). Suppose -u + 219 = 2*i. Let c = i + 149. Is c a composite number?
False
Suppose 5*y = 2*k - 31, 2*k - 28 = 5*y - 3*y. Let g(c) = -393 + 0*c + c + 45*c**2 + 384. Is g(k) composite?
True
Let r be (-106)/10 + 1 + 24/(-60). Let u(x) = 121*x**2 - 12*x - 23. Is u(r) a prime number?
True
Let l = 264 - 256. Is (4 - 4/l*6) + 1162 composite?
False
Let p(y) = 250*y**2 + 4*y + 1. Let v(z) = z**3 - 5*z**2 - 49*z - 1. Let o be v(10). Is p(o) prime?
True
Let z(y) = -1500*y - 3. Suppose 4*q - 3*i - 11 = 0, 2*q - 8 = -4*i + 6*i. Is z(q) a composite number?
True
Let w = 358954 - 144743. Is w a prime number?
True
Suppose -27*z + 2334914 = -7*z - 171306. Is z a prime number?
True
Let k(m) = -2033*m + 341. Is k(-21) a prime number?
False
Let f(a) be the first derivative of -a**4/4 - 7*a**3 - 25*a**2/2 + 24*a + 6. Is f(-23) prime?
True
Let z(h) = 705*h + 791. Is z(38) composite?
False
Let b(w) = 158*w**2 + w + 1. Let u(t) = 2*t**2 + 5*t - 4. Let h be u(-3). Let v be b(h). Suppose -3*r - 4*j = -751, 4*j + 103 + v = r. Is r prime?
False
Is 8944796/36 + (-784)/(-63) + -12 composite?
True
Let j = -159 + 397. Let l = j - 159. Is l a prime number?
True
Let y be 5/(90/84)*-6. Is y/56 + 17434/4 a composite number?
True
Let o(y) = -y + 9. Let k be o(9). Let j(b) = b + 13. Let i be j(-10). Suppose -s + 596 = -3*x, s + k*x - 578 = -i*x. Is s composite?
False
Let c(v) = 24*v**3 - 22*v**2 - 17*v - 152. Is c(21) a composite number?
True
Let c = -337544 - -519163. Is c a prime number?
True
Let x(h) = 3*h**2 + 7*h - 61. Suppose 3*a - 60 = -7*a. Is x(a) prime?
True
Suppose 3 = -3*t, 3*m = 4*m - 5*t - 9. Suppose 17*a - 6097 = m*a. Is a a prime number?
False
Let y = -25 - -45. Let a be ((-6)/8)/((-5)/y). Suppose 7*r = a*r - g + 1029, -r + 254 = -3*g. Is r a composite number?
False
Let d(a) = 579*a**3 + 14*a**2 + 41*a - 37. Is d(11) a prime number?
True
Let o(r) = -r**3 - 3*r**2 + 2*r + 1. Let c(l) = 13*l + 19. Let b be c(-3). Is o(b) a composite number?
False
Suppose 5*w + 2*c = 4172733, 6*w - 3*w - 3*c = 2503623. Is w a composite number?
True
Suppose -4959270 = -56*a - 34*a. Is a a prime number?
True
Let r(g) = -4*g**3 + 28*g**2 - 3*g + 25. Let v be r(7). Suppose 5*q = -v*k + 8837, 3*k - 5*q = k + 4381. Is k a prime number?
True
Let s(m) = -m**2 - m + 1. Let l(a) = -8*a**2 + 8*a + 15. Let w(p) = l(p) - 5*s(p). Let q be w(5). Suppose 2*o - 2004 - 926 = q. Is o a composite