25 = 2*s - 7*s + 4*d, -a*s - 2*d = -260. Is s a composite number?
True
Let j(h) = -h**2 - 23*h + 5. Let w be j(-23). Suppose -6*o - 726 = -f - o, 4*f - w*o = 2979. Is f a prime number?
True
Suppose 5*s + s - 12 = 0. Suppose 2*d = s + 632. Is d composite?
False
Let g(x) = 6128*x - 93. Is g(11) a prime number?
False
Let d(j) = j**3 - 3*j**2 + 15*j - 3. Let m be 28/((-12)/(-3)) - 0. Is d(m) prime?
False
Suppose 47*s + 9505 = 52*s. Is s composite?
False
Let w(m) = -26*m - 5. Let x(v) = -77*v - 13. Let p(q) = 11*w(q) - 4*x(q). Let n be (-10)/(-8) + 2/(-8). Is p(n) composite?
False
Let v(z) = 2106*z - 11. Let y be v(10). Suppose -4*b = -y + 4517. Is b a prime number?
True
Let f be 351/(-6)*228/(-9). Suppose 796 = 3*t + 2*x - f, -t + 4*x = -778. Suppose -q = 2*q - t. Is q a prime number?
False
Let f = 515 + -2036. Suppose -d - 4*j + 7*j = 2201, 0 = -3*d + 5*j - 6599. Let c = f - d. Is c prime?
True
Let f(q) = q**2 + 16*q - 47. Let z be f(-23). Suppose h + r - z - 117 = 0, -3*h + 707 = -4*r. Is h prime?
True
Let u be (-18)/8 - (-4)/16. Let a be 1/((-4)/59) + (-4)/16. Is u/(-6) + (-7390)/a a prime number?
False
Suppose -10*n + 648089 = -397581. Is n a prime number?
False
Let t = -34 - -26. Is t/10*2385/(-18) composite?
True
Let w(h) be the second derivative of -1/20*h**5 + 1/6*h**4 + h + 1/2*h**2 + 0*h**3 + 0. Is w(-4) composite?
False
Suppose -f + 0*f + 4*t + 5457 = 0, -2*f + t = -10879. Is f composite?
False
Is 45366/(-15)*15/(-6) a prime number?
True
Suppose 0 = 4*i - 2*x - 26916, -x + 6739 = i + x. Is i composite?
True
Let p = -13 - -19. Suppose p*i = 3*i. Suppose i = v - 3*v + 422. Is v prime?
True
Let x(t) be the third derivative of 1/30*t**5 + 4*t**2 + 1/8*t**4 - 1/20*t**6 + 0 + 0*t + 1/6*t**3. Is x(-2) a prime number?
False
Suppose u = 2*f - 57495, 4*f - 7*u + 10*u = 114965. Is f a prime number?
False
Let b be (-20)/(-6) - (-6)/9. Suppose 2635 = o + b*o. Is o composite?
True
Let r(n) = -n**2 - 6*n - 7. Let x be r(-4). Suppose 14 = -3*k - x, k + 120 = 5*p. Is p a composite number?
False
Let a(y) be the first derivative of -y**4/4 + y**3/3 - y**2/2 + 5*y + 2. Is a(-6) a prime number?
True
Let y(a) = a**2 + 2*a - 1. Let o be y(1). Let w(g) = 204*g**2 + 2*g. Let z be w(o). Suppose 225 - z = -7*x. Is x prime?
False
Suppose 5*y - 69230 = -5*f + 995, 4*f + 8 = 0. Is y a composite number?
True
Let t be (-21 - -1)*(1248/15)/(-8). Let h = t + 309. Is h a prime number?
False
Let r = 10972 + -3255. Is r a prime number?
True
Suppose -x + 2 + 4 = 0. Suppose x = 2*z - 4. Let y(w) = 9*w**2 - 2*w - 4. Is y(z) composite?
False
Suppose 759*o - 284946 = 753*o. Is o a composite number?
False
Let i = -10 - -13. Let k(f) = 2*f - i - 7*f + 4*f. Is k(-9) composite?
True
Let g(s) = 3*s**2 + 4*s - 23. Is g(16) prime?
True
Let n = 109 + -59. Suppose 2*h - n = 3*m - 125, -3*h = -m + 32. Is m a prime number?
True
Suppose -q + 4*i = 0, -q = 2*i - 4*i. Suppose 2*m + 33 = 3*y + 5*m, q = -3*y + 3*m + 57. Suppose y*x = 10*x + 485. Is x prime?
True
Suppose 0*a = 3*a - 3*c - 24, -8 = -a + 5*c. Suppose -5*w - 1662 = -a*w. Is w a composite number?
True
Suppose -x = -g - 208 - 93, -2*g = 5*x - 1533. Suppose -x = -15*t + 3010. Is t a composite number?
True
Suppose 3*d = -4*u + 15, -7*d = -2*d - 5*u - 60. Let w be d/1*4/(-4). Is 3 + 6*(-300)/w prime?
False
Let u(y) = y**2 - 7*y + 30. Let d be u(14). Let h = 193 - d. Is h prime?
False
Let z = 2018 - 735. Suppose j + 1950 = -3*b + 4*j, 2*b + 2*j + 1292 = 0. Let k = z + b. Is k a prime number?
False
Let a = 429 + -272. Is a a composite number?
False
Suppose -16*q + 18*q - 33561 = -o, -4*o + 16763 = q. Is q composite?
True
Suppose -2*q + 4*p = -9468, -3*p = 4*q - 0*p - 18991. Suppose 5*a = -1679 + q. Is a prime?
True
Let b(d) = -d + 16. Let u be b(15). Suppose 2*o + 4*g = -3*o + 28, -3*g - u = o. Suppose 3*r = 12, -3*w + 3*r = o*r - 50. Is w composite?
True
Let t = 28 + -22. Suppose -t*b + b - 20 = 0. Let d(v) = -60*v - 3. Is d(b) a composite number?
True
Let x(r) = 2*r**3 + 8*r - 5. Let y be x(8). Suppose h + 538 = 3*i, 0 = 2*h + 2*i - i + y. Let k = 930 + h. Is k a composite number?
False
Suppose 279 = -2*y - y. Let a be 163/1 + (8 - 9/1). Let b = a + y. Is b a composite number?
True
Let r be 480458/143 + 2/13. Let i = r - 1001. Is i a composite number?
True
Suppose -2*u + 19530 = -4*h, 0 = -6*u + 2*u + 3*h + 39080. Is u composite?
True
Suppose -2*v - 304306 = -4*b, -5*b - 2*v = -521496 + 141091. Is b a prime number?
True
Let w = 24 - 22. Suppose 0 = 4*o + d - 9981 - 1292, w*o - 4*d = 5650. Is o a composite number?
False
Let h be (-4)/8 - (-1129)/(-2). Let o(p) = p**3 - 22*p**2 + 31*p - 26. Let f be o(20). Let j = f - h. Is j a prime number?
True
Suppose -2*b + b = -4. Suppose -3*w + b*w = 2147. Is w a prime number?
False
Let d(y) = 5*y**3 + y**2 + 2*y + 43. Is d(10) a composite number?
True
Suppose 0 = h - 0 - 1, h = -5*t + 1216. Let d = 496 - t. Is d + (-4)/8*4 a prime number?
True
Let j(h) = 131*h + 27. Suppose 2*o + 4*k = 4, 5*o - k = 3*o + 24. Is j(o) composite?
True
Let c be ((-5)/5)/((-4)/1388). Suppose 1 = 2*b - 3. Suppose 5*p + c - 27 = 5*f, 0 = -b*f - p + 137. Is f a prime number?
True
Let j(f) be the second derivative of f**8/6720 - f**7/630 - f**6/80 + f**5/30 + f**4/6 - 5*f. Let t(b) be the third derivative of j(b). Is t(6) prime?
False
Suppose -2*z - 25 = -5*s, -z + 19 = 2*s - 0*z. Suppose -74 = s*g - 1488. Is g composite?
True
Let b = -4073 + 5710. Is b a prime number?
True
Let g = -89 + 204. Suppose g = q + 18. Is q prime?
True
Let i = 58 + -92. Suppose 5*d - 87 = -4*b, 5*d + 34 - 127 = -b. Let x = d - i. Is x a composite number?
False
Suppose 2*w = h - 131, -5*w - 3*h = -3*w + 135. Suppose 4*l + 179 = -5*m + 664, 3*m + 9 = 0. Let r = l - w. Is r a prime number?
True
Let t be 49*(2/(-15) - 17/(-15)). Is (-4254)/(-5)*(t/14 + -1) composite?
True
Suppose 275891 = 34*k - 76247. Is k composite?
False
Suppose -3*t + 1275 = -5*o, 0 = -2*t + 4*o - 0*o + 852. Let j be (-4 - -4 - 161)*1. Let u = t + j. Is u composite?
True
Let q = -374 + 1735. Is q a composite number?
False
Suppose -88 - 22 = -2*a. Suppose -5*s = -1055 - a. Let k = s + -127. Is k prime?
False
Let y(h) be the first derivative of -h**4/4 + 2*h**3 + 5*h**2/2 + 5*h - 3. Let n be y(5). Suppose -2*v - n = -k, 0*k - 215 = -4*k + 3*v. Is k prime?
True
Suppose -2*y - 21 = -9*y. Suppose 3*t = -6, -23 = -5*s - 4*t + y*t. Suppose -7*k = -s*k - 674. Is k a composite number?
False
Is (-2 + 7/2)*(-44 + 8758) a prime number?
False
Let i = 1449 - 10. Is i a prime number?
True
Is 4/8*-2*-4265*1 prime?
False
Let b = 3 + 1. Is (22/b)/(14/6356) composite?
True
Let q(i) = 1031*i + 16. Is q(3) a prime number?
True
Suppose 4*o + 618 = 1910. Is o a prime number?
False
Is ((-7319)/(-26))/((-21)/12 + 2) a prime number?
False
Let i(s) = -2*s. Let b be i(1). Let a be b*(-4)/(-8)*-299. Suppose 0 = -q + 2*l + a, -5*l - 1184 = -3*q - q. Is q a prime number?
False
Suppose 377 = -k + 990. Is k composite?
False
Let d = -9 - -6. Let a be d/(-5) - (-33)/(-5). Is (77/(-2))/(a/12) a prime number?
False
Let z = 5827 + -2586. Suppose 0*p + 2*d = -5*p + 4035, 4*p = d + z. Is p a composite number?
False
Suppose -20663 = 11*t - 77104. Is t prime?
False
Let o = -704 - -2177. Is o a composite number?
True
Let y(p) be the second derivative of p**5/20 + 7*p**4/12 + 5*p**3/6 - 7*p**2/2 - 3*p. Let a be y(-6). Is -2*(a - -2) - -159 a prime number?
True
Suppose -8*w = -5228 - 14452. Suppose 5*k + w = 5*y, y - k + 494 = 2*y. Is y a composite number?
True
Let q = -13 - -5. Is (-575)/(-3) + q/12 a composite number?
False
Suppose -3*k - 394 = 5*v + 352, 738 = -3*k + 3*v. Let s = 93 - 49. Let t = s - k. Is t composite?
True
Let b be (-4)/22 - 7242/(-22). Let n(p) = -54*p - 2. Let m be n(-4). Let x = b - m. Is x composite?
True
Suppose -6*p + 16 = -2*p + 4*g, -8 = -3*p - 2*g. Suppose -x = -p*x. Let d(k) = -k**3 - k**2 + 2*k + 807. Is d(x) a prime number?
False
Suppose -6 = -5*f - 2*h, 3 - 11 = 4*h. Suppose 0 = -f*o + 4*x + 2778, -o - 3*x - x + 1419 = 0. Is o a prime number?
True
Suppose -6 = -2*q, -47419 + 7612 = -3*c - 2*q. Is c composite?
False
Suppose h - 26070 = -2701. Is h a composite number?
False
Is (-608 - -2)/6*(1 + -3) a prime number?
False
Let l(v) = -v**3 - 6*v**2 + 2. Let k be l(-6). Suppose -k*w + 1008 