r?
False
Let n(q) be the first derivative of 435*q**3 + 21*q**2/2 + 19*q - 57. Is n(-5) prime?
False
Let g(c) = -10 - 32*c + 88*c - 5 - 15. Let n be g(12). Suppose 3*r + 5*m - 1749 = 0, r - n = 4*m - 59. Is r a composite number?
True
Let h(b) = 2*b**3 - 8*b**2 + 8*b + 16. Let s be h(3). Is ((-1755)/18 - -8)/((-1)/s) a composite number?
True
Suppose -6*b + r = -2*b - 60, 0 = 4*b - 2*r - 56. Let m be ((-8)/12)/((-6)/2241). Suppose 17*c - m = b*c. Is c composite?
True
Let d(c) = 6*c**3 + 6*c**2 + 10*c + 17. Let t be d(-5). Is t/(-9 + -2 + 10) a composite number?
True
Let k(x) = x**2 + 5*x - 17. Let n be k(-7). Let a be (3/12)/(340/112 + n). Let i(g) = 2*g**3 - 4*g**2 + 11*g - 10. Is i(a) prime?
True
Suppose 3*t - 1023730 = -2*m, -1023706 = -2*m + 24*t - 21*t. Is m a prime number?
True
Let x be (-2)/(-6) + 0 + 15/9. Suppose 4 + 82 = x*s. Suppose s*i - 42*i = 839. Is i a prime number?
True
Suppose o = n + 3, -4*n + n - 4*o = 2. Is (-226)/(-2) - (6 + n + -2) a prime number?
False
Let j = -20769 - -11917. Is (j/(-10))/(((-18)/(-45))/1) prime?
True
Suppose -243*w + 28*w + 311823238 = 111*w. Is w a prime number?
True
Suppose 15*d - 263168 = 11*d. Let w = d + -46407. Is w a composite number?
True
Suppose 6*n = 3*n + 15. Suppose 3*d - 6 = 5*d, -2*d = -n*f + 2986. Is (f/8*-2)/(0 + -1) a prime number?
True
Let b(m) = m - 5. Let z be b(7). Suppose 0 = a - z*a + 5*x + 30, -x = 2*a - 5. Is 2 + 515/a + 1 a prime number?
False
Is ((-37232)/156)/((-4)/3387) a composite number?
True
Let o = 3 - 4. Let t be (-1030 + o)*-2*1. Suppose -p - t = -3*p. Is p a composite number?
False
Let s(i) = 11*i**2 - 35*i + 31. Is s(11) a composite number?
False
Let h = -245 - -245. Suppose h = -7*b + 19934 - 1503. Is b a prime number?
True
Suppose 35*y - 4*y = 148025. Suppose 4*c = 4893 + y. Is c a prime number?
True
Let q be (11 + -9)*-1 - -735. Let b = 1002 - q. Is b a prime number?
True
Is (105503/(-3))/(825/(-45) - -18) a composite number?
False
Let p = 331625 - 199608. Is p prime?
False
Is -4*(-12 + 15) - (1 + -225566) prime?
False
Let f(q) = -350*q**3 - 4*q**2 + q + 11. Let w be 3 + 0 + 315/(-45). Is f(w) a prime number?
True
Let t = 3163 - 5904. Let r = t - -3912. Is r a composite number?
False
Let n = 1923 - -10284. Let s = n - -70. Is s composite?
False
Let o(w) = 21*w**2 + 11. Let u = 497 - 273. Suppose -222*n = -u*n + 20. Is o(n) a prime number?
True
Let p be 1/8*-6*-4. Suppose 0*j - 17 = -p*j + k, 4*j - 21 = k. Let f(a) = 46*a**2 + 1. Is f(j) a composite number?
True
Is 5 + (121400 - -2*(2 - 3)) composite?
False
Suppose -18 = -9*i + 3*i. Let q be ((-11)/i)/(2/(-222)). Suppose q = -10*z + 2757. Is z prime?
False
Suppose -7177 - 9353 = 5*w. Let q = 9277 - 4082. Let v = w + q. Is v a composite number?
False
Let t(u) = 223*u**2 - 7*u - 1402. Is t(-28) prime?
False
Suppose 9*j + 21 = -12*j. Let g(l) = -665*l + 3. Let n(v) = -997*v + 5. Let i(z) = 8*g(z) - 5*n(z). Is i(j) a prime number?
False
Suppose -10 = -t - 3*p, -14*t + 2 = -9*t - p. Is 440 - -12 - (6 - t) prime?
False
Suppose -126073 = -2*o + 5*k, -4*k = -5*o + 423849 - 108692. Is o a prime number?
True
Let y(w) = 24*w + 29. Let m be 6/(-15) + (-428)/(-20) + 0. Is y(m) a composite number?
True
Let l(d) = 2*d**3 - 23*d**2 + 123*d - 529. Is l(48) a composite number?
True
Let o(z) = -9*z + 57. Let c be o(6). Suppose -26089 - 5894 = -c*k. Is k prime?
False
Suppose 563414 = 3*n + 5*m, -32789 - 155013 = -n - m. Let a = -132267 + n. Is a a prime number?
False
Suppose -30 = 3*w - 13*w. Suppose w*k + 174 = 5*k. Is (-1)/(-3)*k + 2 a prime number?
True
Let p(l) = l**3 - l**2 + l. Let a(k) = 13*k**3 - 5*k**2 + 10*k + 1. Let i(g) = a(g) - 6*p(g). Is i(7) a prime number?
False
Suppose -4*q + 48*u = 51*u - 259867, q = 2*u + 64975. Is q prime?
True
Suppose -20*x = -26*x - 6. Is (2*-442 - x)/(31/(-341)) prime?
False
Let d(f) = 46*f - 57. Suppose -180*u + 184*u - 52 = 0. Is d(u) prime?
True
Let m(z) = -2*z**2 - 10*z. Let q(i) = i**2. Let r(g) = m(g) + 4*q(g). Let w be r(5). Suppose x + k = 4*k + 410, 5*k - 5 = w. Is x a prime number?
False
Suppose -5*q + 3*q + 3*j = 0, -2*q + 5*j - 4 = 0. Suppose 3*k - 25 = -p, 5*p = -2*k - 2 - q. Suppose k*n - 1509 = 7*n. Is n composite?
False
Let l = -75 - -73. Let o be (-308)/l + (-2 - -1)*3. Suppose -5*k - o = -4*a + 622, 0 = -2*k - 10. Is a a prime number?
False
Is 7307215/35 - (-10)/7 composite?
True
Suppose 846899 = 33*s - 815872. Is s prime?
True
Let a(z) = -11*z**3 + 6*z**2 - 58*z - 305. Is a(-20) a composite number?
True
Let s = 16571 - -14060. Is s composite?
False
Let i(h) = h**3 + 17*h**2 + 24*h - 65. Let v be i(-15). Suppose 0 = -v*r + 47683 + 34042. Is r a composite number?
True
Let h(c) = -8*c**2 - 56*c + 249. Let d be h(46). Is 7 + -3 - 0 - d composite?
False
Let u(v) = 790*v + 142. Let z be (4/(-3))/(122/(-549)). Is u(z) a prime number?
False
Suppose q = -3*f - 1178, -17*f = -12*f - 15. Let k = q - -2424. Is k prime?
True
Let h = 82 + -70. Suppose -3*k = -5*l - 2010, -9*k = -5*l - h*k - 2040. Let i = l - -751. Is i prime?
False
Let d be ((-168)/35)/(6/(-40)). Let i(r) = 5*r - 109. Let j be i(18). Let f = d - j. Is f composite?
True
Let w = -631066 - -906884. Is w a composite number?
True
Let i = -89 - -103. Suppose i*h = 9*h. Suppose h = 50*y - 49*y - 397. Is y a prime number?
True
Let z(f) = 213*f - 67. Suppose -3*a = 5*b - 29, -a - 4*b - 5 = -6*b. Let r(j) = -212*j + 65. Let v(p) = a*r(p) + 4*z(p). Is v(6) prime?
True
Suppose 13*p = 3*p + 2615080. Suppose p = 28*s + 24600. Is s a prime number?
True
Let h be 70/14 + 14 + -1. Let k(o) = 102*o - 71. Is k(h) composite?
True
Let l be (-9)/2*4 + -3. Let a(o) = -3*o**2 - 93*o + 19. Let c(f) = -6*f**2 - 197*f + 37. Let v(x) = -13*a(x) + 6*c(x). Is v(l) a composite number?
True
Let j(a) = 236*a - 3. Let o be 11 + (-2)/(-4) + (-20)/8. Suppose n = -5*l - o, 0*n - 5*l = -n + 11. Is j(n) prime?
True
Is (868583 - -22) + (-5 - 5/((-25)/65)) prime?
True
Let d = -247 - -181. Is (-5 + d/(-15))*-2395 prime?
False
Let c(m) = 34*m**3 - 35*m**2 + 101*m + 151. Is c(14) composite?
False
Let n(w) be the first derivative of -749*w**4/4 + 4*w**3/3 + 19*w**2/2 + 37*w - 59. Is n(-2) a prime number?
True
Let k be (-8)/80 - (-21)/10 - 2. Is 133 - k*(-3)/(-15) a composite number?
True
Suppose 0 = -q + 3*r + 3 - 2, 43 = 5*q + 4*r. Let n(j) = -614*j + 49. Let d(x) = 615*x - 48. Let o(a) = -6*d(a) - 7*n(a). Is o(q) a prime number?
True
Let m = 563463 + -16972. Is m prime?
False
Suppose -8*n + 12498 = 2*k - 6*n, 4*k - 24960 = 2*n. Is k composite?
True
Suppose 3*m - 7*t = -4*t + 4665, 3*t - 1567 = -m. Suppose -2806 - m = -4*p. Let o = 2452 - p. Is o composite?
False
Let t be (16/20)/(-2)*-30. Suppose 8 = -2*g + t. Suppose 0 = 2*b + g*b - 316. Is b prime?
True
Suppose -10*u - g = -9*u - 5513, u - 5498 = 2*g. Let t = u - 3071. Is t a prime number?
True
Let d(g) = 2*g**2 - 13. Let j(b) = b - 12. Let k be (-12)/42 - ((-264)/14)/3. Let w be j(k). Is d(w) a composite number?
False
Is (30/20 + -1)/(2/1299164) - 0 composite?
False
Let b = -530 + 536. Suppose -30*u = -b*u - 23376. Is u composite?
True
Suppose 4*f = o + 17, 4*f + 25 = -2*o - 21. Is (-6)/o + (27225/(-35))/(-11) prime?
True
Let v be (-2)/(-18) - (-264)/54. Suppose v*u + 11216 + 3899 = 0. Let h = -1650 - u. Is h composite?
False
Let j be (5*3)/(6/(-20)). Let n be 1420/j - (-4)/10. Is 118*(n/(-8))/1 prime?
False
Let n(y) = -y**2 - 5*y + 11. Let o be n(-7). Let k(h) = h - 6. Let t be k(5). Is t + -2 - (o + -127) a composite number?
False
Let x(r) = -r**2 - r + 4. Let u be x(0). Suppose 0 = -3*b - b - 8, -10 = -2*d + 3*b. Suppose 64 = s + 3*c, d*s + s + u*c = 182. Is s prime?
False
Suppose 211*m + 241*m - 304836280 = 172*m. Is m a prime number?
False
Let f = 17064 + 28577. Is f a composite number?
False
Let x(i) = -2038*i + 823. Is x(-3) a composite number?
True
Let p = -26 - -28. Suppose -p*m + 2*k = -3394, 2*m = 7*m + k - 8479. Suppose 4*d - 2*o - m = 0, -o + 438 = d - 5*o. Is d a composite number?
True
Let x = 341 - 335. Let v(o) = 25*o**2 - 19*o + 67. Is v(x) a prime number?
True
Let w(p) be the third derivative of 5*p**4/2 - 5*p**3/6 + 72*p**2. Is w(40) composite?
True
Suppose -21*q = -18*q - 12. Suppose 2*s + 2*f = 2354, 0*f = q*s + 2*f - 4716. Is s prime?
True
Let p be 0 - 1*(-17 + 8). Is 43164/14 - (45/35)/