4 - m. Is q a prime number?
False
Let z(d) = -363*d**3 + 2*d**2 - 40*d - 38*d - 12 + 114*d - 34*d. Is z(-5) a prime number?
True
Let t(m) = m + 28. Let s be t(-23). Suppose s*a - 12330 = 2*a - 3*w, 2*w = -a + 4109. Is a a prime number?
True
Let o = 135 - -129. Suppose -255 = -3*b + 2*b - 2*i, b - o = -5*i. Suppose -2*u = b - 1007. Is u prime?
True
Suppose -239*t = -31363782 - 26944024 + 19948067. Is t a composite number?
True
Suppose 0 = -2*v + 167238 + 23608. Is v a composite number?
True
Suppose -3*m = -i + 1, 7*i - 3*i + 4*m = 20. Suppose 0 = 6*b - 3*b - t - 57494, -i*b = 4*t - 76632. Is b a composite number?
False
Let p(o) = -4171*o + 11677. Is p(-12) prime?
True
Let s(n) = -2045*n - 11. Let t be s(5). Let h = -6577 - t. Is h a prime number?
True
Suppose -5*d = -u + 107314, -2*u - 22*d + 214616 = -20*d. Is u a composite number?
False
Let q = 109 - 167. Let a = q + 63. Suppose -a*u + u = -356. Is u prime?
True
Let o = -427 + 427. Suppose 3*j - 18*b = -15*b + 4074, o = -2*j + 4*b + 2710. Is j composite?
False
Let q be -1632 - (87/24 - 3/(-8)). Is 1 + q/((-2)/2) prime?
True
Suppose -2*f - 7552 = -2*h, -3*f - 806 = -h + 2964. Is h a prime number?
True
Suppose 64*q - 57*q + 33817 = 0. Let p = -2544 - q. Is p a prime number?
True
Let k = -24 + 21. Let b(o) = 2*o**3 + 17*o**2 - 12*o - 20. Let v(p) = 3*p**3 + 17*p**2 - 11*p - 19. Let t(h) = k*v(h) + 4*b(h). Is t(14) composite?
True
Let n(i) be the first derivative of -13*i**4/4 + i**3/3 + 2*i**2 + 7*i - 10. Let f be n(7). Is 3 - f/(-4 + 9) a prime number?
False
Suppose -7*r + 11*r = 5*d - 14, d = -r + 10. Is 3/(-6)*(-200724)/d prime?
False
Suppose 4*b - 2*z = 845 - 309, 552 = 4*b + 2*z. Suppose 62 = -b*f + 137*f. Is f prime?
False
Suppose 6*v = 3*d - 2157, 0 = 10*d - 12*d + 2*v + 1440. Let u = -402 + d. Is u a prime number?
False
Is -28 + 288/12 + 4496 + 1 a prime number?
True
Suppose 3*s = -w + 3, -4*w + 2 - 6 = -4*s. Suppose b + 12313 = 4*i - w*b, 2*b + 6164 = 2*i. Suppose 2*t - 637 = i. Is t prime?
False
Let l(t) = 797*t**3. Let s be ((-1)/(-2))/(9/36). Suppose b - s + 1 = 0. Is l(b) prime?
True
Suppose 0 = 17*k - 2985630 - 8441515. Is k composite?
True
Let h(g) = -2*g + 10. Let k be h(0). Suppose -k*u + 78476 = -6*u. Is u composite?
True
Suppose -25*v + 5496 + 37879 = 0. Suppose 4*g = 1157 + v. Is g a prime number?
False
Let x(u) = 486*u**2 + 152*u - 47. Is x(27) a composite number?
True
Suppose 2*t - 2*z = 5*t + 103, -t - 3*z - 46 = 0. Let j = t - 149. Let i = j - -289. Is i a prime number?
True
Let s = 63519 - 10728. Is s composite?
True
Is (7/49 - 33485392/(-126)) + 20/(-90) composite?
False
Is 0 + 6 + 20260331/67 prime?
True
Let w(s) = s**3 + 29*s**2 + 9*s + 22. Let u(l) = -2*l**3 + 30*l**2 - 17. Let p be u(15). Is w(p) a composite number?
True
Let p(h) = -2315*h**2 + 11*h - 19. Let s(a) = -2314*a**2 + 10*a - 18. Let o(i) = 5*p(i) - 6*s(i). Is o(2) a composite number?
False
Suppose q + 4*x - 15 = 0, -2*x + 7*x - 3 = 4*q. Suppose q*j = 27 - 87. Is j/16*11632/(8/(-2)) composite?
True
Let c = -136 - 10. Suppose -5*w + 5*d - 95 = 0, -100 = -0*w + 4*w + 2*d. Let x = w - c. Is x a composite number?
True
Let v be (0 - 3) + -1 + 7. Let p be 6/(-1)*(v - (-22)/(-6)). Suppose 0*y = -p*y + 1492. Is y prime?
True
Let w = 219414 + -130051. Is w prime?
True
Let o be (-486)/(((-18)/116)/3). Is o/6 - (-2 + 1) composite?
False
Suppose -159*l = -2966551 - 21304165 - 920767. Is l prime?
False
Suppose -2138 = -4*y + 2066. Let p = 3808 - y. Let m = -166 + p. Is m prime?
True
Is (909647758/(-3291))/((-4)/6) composite?
False
Let o be -1*(2355*5 - -2) - 1. Let z = 26498 + o. Is (-3)/(-5) + z/50 prime?
False
Suppose u + 0*g - 20458 = -5*g, u - 20476 = g. Is u composite?
True
Suppose 26*a - 63386 + 143564 - 469216 = 0. Is a a composite number?
True
Let s = 2345 + -1138. Suppose -2*n = x - 1683, 0 = 2*x + 5*n - 2154 - s. Is x prime?
True
Suppose -23*v + 672130 = -96139. Is v a composite number?
False
Let u = 172615 - 118364. Is u a prime number?
True
Suppose -10*k + 3964964 = 74914. Is k a prime number?
False
Suppose -5*k + 0*k + 57 = -2*r, 0 = 5*r + 4*k + 93. Is ((-7621)/5)/(r/105) a prime number?
True
Let f(a) = -3*a**3 - 4*a**2 - 2*a + 6. Let b be f(-4). Suppose -2*y - 19 = -69. Suppose 5*v + y = 0, 4*v - b - 98 = -4*k. Is k a prime number?
False
Let c = 11089 + -7098. Is c prime?
False
Let a be ((-24)/(-32))/((-1)/(-1220)). Let p = a - -2860. Suppose 0 = -13*u + p + 4428. Is u composite?
False
Let y be 30/(-7) + 4/14. Suppose -32*k - 212 - 236 = 0. Is 71169/k*y/6 composite?
False
Let y = -395 - -367. Is 13*1779/12 + 7/y composite?
True
Let y = -45476 - -66373. Is y a prime number?
True
Let v(x) = -x**3 + 2*x**2 + 2*x - 1. Let r be v(-1). Suppose g - 6*g + 5*o - 95 = r, 0 = 4*o + 20. Is (-39750)/g - 3/(-4) a prime number?
True
Let d(w) = -w**3 + 6*w**2 - 3*w - 7. Let s be d(5). Suppose -18 = -3*n - s. Let x(a) = 32*a**2 + 15*a + 2. Is x(n) a composite number?
False
Suppose -10*h + 13*h = 0, -4*h + 42734 = 2*z. Is z prime?
False
Let f be 6*((-2)/(-3) - 0). Suppose 0 = -8*i + f*i + 4. Is (-334)/(25/(-15) + i) prime?
False
Suppose 0 = 192*u - 13341070 - 28082. Is u a prime number?
False
Let l(j) = -26*j**3 + 9*j**2 - 4*j - 5. Let a be l(-4). Let u = -1150 + a. Is u composite?
True
Let r be 1134/(-9)*((-2)/(-4) - 1). Is (-3)/7 + 6 + 303372/r prime?
False
Suppose -3*y + 6*y = 15, 5*t + y - 25 = 0. Suppose x = t*r - 14219, 0 = x + 3. Is r composite?
True
Let p = -19 - -24. Let f(n) = 57*n**3 + 6*n**2 + 10*n - 16. Is f(p) prime?
True
Let h(b) = b**3 - 55*b**2 + 55*b - 52. Let p be h(54). Suppose p*g = 40 + 1314. Is g prime?
True
Suppose d - 6369 + 241152 = 10*d. Is d a prime number?
False
Suppose -89816 = -4*p - 5*i, -134758 = -6*p - 0*p + i. Is p prime?
False
Let u be 5/(25/(-12))*(30 - 10). Let q = u - -55. Let s(d) = 3*d**3 - 6*d**2 + 10*d - 18. Is s(q) prime?
True
Suppose -20*r = 5*d - 19*r - 303076, 0 = -2*r + 12. Is d a composite number?
True
Let d(k) = -292*k**2 - 10*k - 8. Let w be d(-3). Let u = 10923 + w. Is u a prime number?
True
Suppose 0 = -k + 4440 + 9312 - 667. Is k a composite number?
True
Let h be (-58122)/6*(5 - 44/12). Let q = 25289 + h. Is q composite?
False
Let z be (0/(-1))/(-13*16/208). Suppose -2*y = 2*x - 12, -2*y + 0*y = 0. Suppose -2*w + 7966 = 3*f, w - x*w + 3*f + 19915 = z. Is w composite?
True
Let y = 17226 - 26309. Let o = 1282 + y. Let x = o - -11052. Is x prime?
True
Suppose -12*z + 3084 = -8*z. Suppose -6*u - z + 9237 = 0. Let a = -50 + u. Is a a prime number?
True
Let h(l) be the second derivative of 1/12*l**4 + 53/20*l**5 + 0 - 24*l - 25/2*l**2 + 11/6*l**3. Is h(4) composite?
True
Let r = -129021 + 250984. Is r composite?
False
Suppose -2*r - 4664 = -4*p, 3*p = -p - 3*r + 4674. Suppose 3*c - 4*m = 3493, -c + 9*m = 5*m - p. Is c a prime number?
True
Suppose -4*b - 2*b = 24. Is (1 - b)*381/15*29 a prime number?
False
Is 4*(-21)/(-196)*180551 composite?
True
Suppose 12*p + 37 = 49*p. Is p/(-3) - (-1366414)/219 a prime number?
False
Let f(a) = -a**3 + 25*a**2 - 15*a + 20. Suppose -t = 6*t - 133. Is f(t) prime?
True
Let d = -2726 + 29503. Is d a prime number?
True
Let w(d) = -387*d - 8. Let m be w(-2). Let q = 452 - m. Let j = q + 547. Is j prime?
True
Let h(s) = 2624*s**2 + 87*s + 1082. Is h(-13) composite?
False
Let m(t) = 2667*t**2 - t - 49. Is m(6) prime?
True
Suppose 0 = -81*c + 80*c + 287. Is (-81)/27*(c/(-3) + -2) composite?
False
Suppose -35926 = 5*u - 197431. Suppose 6*f + 3*f - u = 0. Is f a composite number?
True
Let l(g) = 405436*g**2 + 22*g + 23. Is l(-1) a composite number?
False
Let o = -180756 + 271601. Is o composite?
True
Let f(j) = -81*j**2 - 10*j + 41. Let l be f(23). Is 1/(-5) - l/90 a composite number?
True
Suppose -1431817 = 109*m - 6371370. Is m a prime number?
True
Let b(o) = -o**3 + 6*o**2 - 7*o + 11. Suppose -2*u - 19 = -4*h - u, 4*u = 5*h - 21. Let f be b(h). Is (-144)/(-32)*(f + (-3230)/(-6)) prime?
False
Let p(q) = -q**3 + 32*q**2 + 32*q - 19. Let b be p(14). Suppose -8*f + 15822 = -4*f - 5*a, b = f - 2*a. Is f prime?
False
Suppose 0 = 3*t - 15 + 3. Suppose 0 = -t*p - 4*c + 8, -5*c + 4*c + 5 = 2*p. Suppose -p*q + 2292 = q. Is q a composite number?
True
Let p(v) = -93*v**3 + 3*v**2 + 10*v + 7. Suppose -4*x + 35 - 43 = 0. Is p(x) prime?
True
Suppose 0 = -8*j