Is p composite?
True
Let m = -10 + 3. Let d be -11 + 14 + (0 - m). Is 6/(-7)*(-70)/d a prime number?
False
Suppose -3*l + r - 6*r + 21353 = 0, -21371 = -3*l + 4*r. Is l a composite number?
False
Suppose 0 = 5*w - 6*w - 28. Is (37/2)/((-2)/w) a composite number?
True
Let v = 15238 + -9933. Is v a composite number?
True
Suppose -29*s + 191996 = -25*s. Is s a composite number?
True
Let y(n) be the second derivative of -n**5/5 + n**4/4 + n**3/6 + 3*n**2/2 - 12*n. Is y(-4) a composite number?
True
Suppose -5*f + 1599 = -3*f - 3*t, -4*f + 3158 = 2*t. Suppose 1454 = 3*x + 5*j - f, -4*x = -2*j - 3038. Is x prime?
True
Suppose -g = 3*b - 19, -2*b + 0*b - 5*g + 30 = 0. Suppose b*j = 1178 + 1487. Is j a prime number?
False
Suppose -4*m = 2*w - 20, 3*w = m - 2*w + 17. Suppose -m*q - 308 = -7*q. Is q prime?
False
Let v = 66 - 63. Suppose -v*a + 498 = -471. Is a composite?
True
Let t(v) = -2*v**3 + v**2 - v + 203. Let n(i) = -i - 3. Let a be n(-3). Is t(a) prime?
False
Suppose 9*l + 0*l - 18 = 0. Let v(z) = -z + 17*z**2 + 12*z**2 - 3 + 0. Is v(l) prime?
False
Let u(b) = b**2 - 4. Let s be u(-2). Suppose s = -2*i + 1177 - 483. Suppose -2*q = h - i, -4*q + 4 + 8 = 0. Is h prime?
False
Let s(w) = 1165*w - 4. Suppose 3*f + 2*c = c + 12, 0 = -4*f + 4*c. Is s(f) composite?
False
Is ((-277608)/30)/(-2) - 2/(-10) prime?
False
Suppose -108*s - 5*b = -103*s - 94200, s - 18842 = -3*b. Is s a composite number?
False
Let h(f) = 2*f**2 + 24*f + 8. Let a be h(-13). Suppose 0 = -29*y + a*y - 3275. Is y a composite number?
True
Suppose 3*k - 24*k = -31101. Is k composite?
False
Suppose -2*b + 16 = -2*v, 4*b - 16 + 0 = 2*v. Let r be (-1)/2 + (-28)/v. Is (51 - (-2)/1)*r a composite number?
True
Let g(x) be the first derivative of x**4 - 11*x**3/6 - x**2/2 + 7*x + 2. Let n(k) be the first derivative of g(k). Is n(8) prime?
False
Let o be (-2)/3*(-2604)/8. Suppose o = x - 4. Let m = -156 + x. Is m a composite number?
True
Suppose -10896 = -10*g + 4*g. Let o = -1029 + g. Is o composite?
False
Suppose -25 - 29 = 3*v. Let g be (v/(-24))/(3/(-12)). Is g/6 - (-1247)/2 a prime number?
False
Let y(j) = 5*j**2 + 24*j - 380. Is y(-39) a prime number?
False
Let d = -20 - -34. Let p = -47 + 45. Is 3/p - (-1855)/d composite?
False
Suppose 4*x - 4*b = 2080 + 5552, -b = 1. Is x composite?
False
Let m be (5386 + 1)*(-2 - (-4 - -3)). Let o = -1938 - m. Is o a composite number?
False
Let l(s) = 137*s + 43. Is l(18) prime?
False
Suppose -4*j + 2*j - p = -17, p - 33 = -4*j. Let g(f) = -f + 9. Let u be g(j). Is ((-731)/2)/(u/(-2)) prime?
False
Suppose -19*i = -135*i + 1376108. Is i a prime number?
True
Suppose u + 0*u = 3*d - 171, -3 = -u. Is (-5)/(30/d)*-33 composite?
True
Let k(x) = 65*x**2 - 17*x + 23. Is k(-8) a composite number?
True
Suppose 0 = -2*v, q - 49 = 2*q - v. Let r = 109 - q. Is r a prime number?
False
Let v be -1 + (-1)/(-2)*6. Suppose -2*q + 1572 = 5*o, 0 = -6*o + 3*o + v*q + 940. Let t = o - 208. Is t a prime number?
False
Let s(z) = -318*z + 9. Let o be s(-2). Let g = o - 314. Is g composite?
False
Let m(t) = 2*t**2 + 2*t - 5. Suppose -8*w + 7*w = -8. Is m(w) composite?
False
Suppose -202 = 3*w - 1546. Let y = -247 + w. Is y prime?
False
Let t(d) = 267*d**2 - 6*d + 10. Let g be t(4). Let w = g + 616. Is w prime?
False
Let z(y) = -y**2 - 2*y + 2. Let h be z(0). Suppose -5*d = -5*n + 2255, 0 = -n + 3*d + 302 + 149. Suppose -4 = h*v - 2, -4*v = 5*j - n. Is j prime?
False
Let d be -2 + -5 + 4 + 5. Suppose 0 = -s + 2*c + 335 + 2632, 0 = 2*c. Suppose d*h + 2*q = -q + 1471, q = -4*h + s. Is h a composite number?
False
Suppose -59*y + 63*y - 12756 = 0. Is y prime?
False
Suppose 5*y - 13*y = -48. Suppose -y*a = -4*a - 5486. Is a a prime number?
False
Let b be (-117)/143 - (-4)/(-22). Let z = b - -1. Suppose 3*q = -4*w + 1337, z = -4*q - w - 3*w + 1780. Is q prime?
True
Is ((-9753)/2)/((-198)/132) a prime number?
True
Is (-14)/42 - (-1533620)/15 composite?
False
Let l be 3 + (2 + -1)*1. Suppose -b + l*b = -1068. Let d = b + 517. Is d a prime number?
False
Let p = 7352 - 2515. Is p a composite number?
True
Let y = 1473 - -184. Is y prime?
True
Suppose 28 = 2*c + 30. Let j(f) = 331*f**2 - f - 1. Is j(c) composite?
False
Let f(b) = -381*b + 74. Is f(-3) prime?
True
Let a = -13 + 1. Is 1/(-3) + (-3232)/a prime?
True
Suppose 0*o - 6*o = -18. Let a(l) = -6*l**3 - l**3 - 3*l + 4*l**2 - 3*l**2 + 7*l + o. Is a(-2) composite?
True
Suppose -413 = -3*c + 1666. Let w = -412 + c. Suppose 0 = 2*d - 3*k - w, 0 = k - 1 + 2. Is d prime?
True
Suppose -613 - 15 = n. Is n/6*336/(-32) composite?
True
Let i(b) = -b**2 - 2*b - 7. Let s be i(-3). Is 2*((-19285)/s)/7 composite?
True
Let v = -2 - -5. Suppose -v*x + 81 = 3*t, -4*t - 26 + 110 = -4*x. Suppose -w + 43 = -t. Is w a prime number?
True
Suppose 4*h - h + 3*t = 30, 16 = -4*t. Is (-20530)/(-70) - 4/h composite?
False
Let n be (-1)/1 + 2 + 1. Let w be 1/(-1) + (n - -2). Suppose 0*t = w*t - 639. Is t composite?
True
Let q(f) = -f**3 + f**2 + 2. Let g be q(0). Suppose g*d - 30 = -d. Is (86/d)/((-5)/(-25)) a prime number?
True
Let f(v) = v**2 + v. Let z be f(-1). Suppose 2*j - 12 + 4 = z. Suppose -5*w + 445 = -5*h, j*h - 3*h = 0. Is w a prime number?
True
Let j(z) = 66*z + 3809. Is j(0) prime?
False
Let q = 14348 - -7637. Is q composite?
True
Let l(f) be the first derivative of 43*f**5/60 + f**4/24 - 2*f**3 - 4. Let c(x) be the third derivative of l(x). Is c(6) prime?
False
Let r(l) = -15578*l - 67. Is r(-1) a composite number?
False
Suppose 4*z = o - 1127, 4*o = -4*z + 8*z + 4496. Is o prime?
True
Suppose 5*u - 4*h = 13 - 3, 5 = -h. Is u/16 - 55803/(-88) - -1 composite?
True
Let i be -502*2 - (-1 + 0). Let o = -536 - i. Suppose 0 = 5*p - u - 585, -2*u = -4*p - u + o. Is p composite?
True
Suppose -15*p + 16*p = 2153. Is p a composite number?
False
Suppose -12*b = -14*b + x + 19331, -3*b - 5*x = -29016. Is b prime?
False
Suppose 4*f + 4*g = -0*f + 132, 5*g - 99 = -3*f. Is (-18)/(-99) + 0 + 225/f prime?
True
Suppose -k + 4*g = -4876, k - 4*g - 4876 = -g. Is k/(-6)*(-15)/10 a prime number?
False
Suppose -2*r = -6, v = -4*r + 6*r - 141. Let k(l) = -33*l + 8. Let s be k(-12). Let h = s + v. Is h composite?
False
Let c(t) = 17*t + 16 + t**2 + t**2 - 10. Let g be c(-8). Is 112 - (g - (4 - 7)) prime?
False
Suppose -3*x - 6*i = -8*i - 33071, 4*i - 11047 = -x. Is x composite?
False
Suppose 5*m = -3*p + 34, -3*p + 6*p = m + 4. Let f(j) = 6*j**2 - 6*j + 6. Let s be f(-6). Suppose p*z - s = 189. Is z a prime number?
True
Let k = -77 - -53. Is -2 + k/(-14) + 2781/7 composite?
False
Suppose 2*o - 2*j - 28935 = -5217, -o - 5*j = -11883. Is o composite?
False
Let o be 69 - (-7)/((-21)/6). Let c = -14 + o. Is c composite?
False
Suppose 14*m + 2744 = 8190. Is m prime?
True
Suppose -n - n + 10 = 0. Suppose -8 = -9*i + n*i. Is 218 - 9/(i + -5) a composite number?
True
Let m(u) = -u**3 + 9*u**2 - 8*u + 2. Let r be m(8). Let i = -46 + 161. Suppose 3*n - i = -r*n. Is n prime?
True
Let b be 1526 + 0*(-1)/(-5). Let u = b + -503. Suppose 566 = k - u. Is k a prime number?
False
Let n = 1145 - 679. Is n a prime number?
False
Suppose -3 = -4*w + 17, -3*w - 110 = -5*o. Let l = o - -19. Is (l/(-12))/((-1)/15) prime?
False
Let u be 5/(-2)*(-300)/(25/5). Let w = -1 - -3. Suppose -w*h - 34 + u = 0. Is h a composite number?
True
Let m be -2 + 0 + (4 - 1). Let r(d) = -d**2 - 4*d + 1. Let x be r(-5). Is -42*x/8*m a composite number?
True
Let t = 242 + 521. Is t prime?
False
Suppose 5*s - 15 - 7 = -d, 2*d - 2*s = -4. Suppose d*q - 1421 = -5*q. Is q prime?
False
Let s = -7329 + 13832. Is s a prime number?
False
Suppose 8*x - 13*x = -2*i + 1764, 2*i - 1756 = x. Is i a prime number?
True
Is 38545 + (6/(-3) - 0) prime?
True
Let c be (-19 - 1)/(16/8). Let a(z) be the second derivative of -8*z**3/3 - 3*z**2/2 - z. Is a(c) a composite number?
False
Let g(b) = 13*b. Let z(r) = -14*r - 9. Let l be z(-2). Is g(l) a prime number?
False
Let j(k) = k**3 - 11*k**2 + 10*k + 1. Let n be j(10). Let u(y) = 4*y. Let o be u(n). Suppose q + 57 = o*q. Is q a prime number?
True
Suppose -5*l = 3*j - 15179, 6*l - l = -4*j + 15177. Is l prime?
True
Let r = -5932 - -12075. Is r a composite number?
False
Let w be 2/4 + (-1)/2. Let n be (w/(-2) - 1) + 123. Let x = n - 85. Is x composite?
False
Let d be (59/(-2))/((-2445)/12