i. Is 2 + 6668 + (-9)/p prime?
True
Let k(c) = -c - 2. Let v be k(-5). Suppose 0 = 2*h + 2*p - 398, v*h + 0*p - 597 = 3*p. Is h composite?
False
Suppose 0 = 3*w + 3*z - 3246, 12*w - 10*w = 3*z + 2159. Is w composite?
True
Let c(s) = 56*s - 2. Let m(b) = b + 1. Let v(f) = -c(f) - 5*m(f). Is v(-14) a composite number?
True
Suppose 0 = 15*g - 32*g + 26537. Is g composite?
True
Let c be 8*((-276)/(-16) + 1). Let w = 106 + c. Suppose -q + w = -127. Is q a prime number?
True
Suppose -2844 = -4*f + 85912. Is f a prime number?
True
Suppose 0 = -z - 3*h + 8, 2*h + 12 - 4 = 2*z. Suppose -z*w + 9066 = w. Is w composite?
False
Let h = 6 + 3. Suppose -6*j + 27 = h. Suppose 4*x + j*a + 129 = 340, 5*a + 180 = 3*x. Is x composite?
True
Let i(g) = 4*g**3. Let o be i(1). Suppose 25 = o*u + u. Suppose -6*d = -u*d - 25. Is d composite?
True
Suppose -4*d = 2*d - 156. Suppose 1185 = d*a - 23*a. Is a composite?
True
Let n(p) = 0 + 9 - 59*p - 4 + 5. Is n(-11) a composite number?
False
Let j(a) = -3*a**3 - 2*a**2 - 5*a - 3. Let s(z) = z - 8*z**2 + 12*z**2 - 5*z**2. Let b be s(2). Is j(b) a prime number?
True
Let i(a) = -23*a - 13. Let k be i(-3). Suppose 53*h - k*h = -1227. Is h composite?
False
Let x = 272 - 213. Is x a composite number?
False
Suppose -3*l + 4*n + 11 = -18, 2*n = 5*l - 25. Suppose -4*z + 20 = -i, l*z - i = -2*z + 24. Suppose -u + 259 = 2*f, -5*u = -z*u - 2*f - 247. Is u prime?
False
Let l(f) = f**3 + 22*f**2 - f + 9. Is l(-7) a composite number?
False
Let t(f) = f**2 + 9*f - 6. Let p be t(-10). Let a be (-2)/p + (-65)/(-10). Is (-447)/2*(-4)/a a prime number?
True
Let b = -297 - -1336. Is b prime?
True
Let y = -561 - -3020. Is y a composite number?
False
Is ((-970245)/21)/(-3) - (-10)/35 a composite number?
False
Let a be (-13)/(-5) - 6/(-15). Let q(m) = 3*m - 12*m**3 + 6*m**2 - 2*m - 1 - a*m**2. Is q(-3) prime?
True
Suppose 95701 = 11*f + 17370. Is f a prime number?
True
Suppose 0*f = 4*f - 2344. Suppose -57*a = -5*q - 59*a + 11, 2*q + 2*a - 2 = 0. Suppose -q*t + f = -t. Is t a composite number?
False
Suppose 3*a + 3*v + 6 = 0, a + 2*a + v + 6 = 0. Is (27841/a)/(-11)*4/2 a composite number?
False
Let o be 1 - 5*18/15. Let b be ((-6)/2)/(3/o). Suppose -2*m - 5*q + 1106 = -0*m, -3*m + b*q + 1659 = 0. Is m a prime number?
False
Let v(y) = 200*y**2 - 9*y - 9. Let p be v(-6). Let r = -4726 + p. Is r prime?
False
Is (-33772)/(-6) + (-5)/3 a prime number?
False
Let r(f) = 46*f**2 + 3*f - 41. Is r(-18) composite?
True
Let d(t) = -213*t - 26. Suppose 2*z - 4*z = 10. Is d(z) a prime number?
True
Let m be 88/12*9/(-6). Let u = -14 - m. Is u/(-15) + 1584/5 a composite number?
False
Let f(m) = 18*m**2 + 19*m + 19. Let j be f(9). Suppose 0 = 3*v - 3*a - 2232, 4*a - 162 = 2*v - j. Is v composite?
True
Is -4*(-7)/(-98) - 154746/(-14) composite?
True
Suppose -4218 = 12*y - 15*y. Suppose -c + y = -825. Is c prime?
False
Let w = 48 + -43. Is (-2)/w*-2105 + (-1)/1 prime?
False
Let w = -25657 + 39246. Is w prime?
False
Let v be (-36)/2 + -2 + 3. Let g = 514 + v. Is g a composite number?
True
Let t be 2912/(-20) + (-4)/10. Let v be 5/(-15) + t/(-6). Is ((-381)/4)/(v/(-160)) prime?
False
Suppose g - 2*z = -0*z, -4*g - 4*z = 0. Suppose -m - 5*t - 17 = 3*m, g = 2*m - t - 9. Suppose -o + 327 = m*o. Is o composite?
False
Let y be (5/(15/446))/(2/15). Suppose 10*l - 5*l = y. Is l a prime number?
True
Is -4 + 186/45 - 3158212/(-60) composite?
True
Let u = -130 - -137. Suppose u*w - 5*w - 4892 = 0. Is w composite?
True
Let n = 478 + -148. Let f = n - -11. Is f prime?
False
Let x = -25 + 20. Is ((-45)/(-10) + x)*-3722 composite?
False
Suppose -4*r + 10 + 10 = 0. Suppose -140 = r*n - 7*n. Suppose -n + 1938 = 4*b. Is b prime?
True
Let j(p) be the first derivative of 7*p + 2 + 9/2*p**2 + 16/3*p**3 + 1/4*p**4. Is j(-15) a prime number?
True
Suppose -3*k + 1486 = 2*o - 5*k, -4*o + 2*k + 2982 = 0. Let a = o - -193. Is a a prime number?
True
Suppose 9 = 3*y - 4*f, -2*f + 7 - 1 = 2*y. Let q(w) = -5*w**2 - w + 12 + 7*w - w**y - 3 + 5*w. Is q(-8) a composite number?
False
Let q(z) = -z**3 + 6*z**2 + z - 5. Let b be 17/3 + 3/9. Let x be q(b). Is 37*(-2 + x + 2) a composite number?
False
Suppose -277*s + 8082 = -271*s. Is s prime?
False
Suppose 2*d = -2, 6*d = 5*y + 11*d - 22800. Is y composite?
False
Let y = 41 - 97. Let r be ((-48)/y)/(1/91). Suppose -566 = -4*p + r. Is p prime?
False
Let g(d) be the second derivative of -16/3*d**3 + 11*d + 7/2*d**2 + 0. Is g(-8) a prime number?
True
Let p be -2 - (-4)/((-12)/(-6531)). Let b = p + -903. Let h = -501 + b. Is h composite?
True
Suppose 32*w - 2704 = 35344. Is w composite?
True
Suppose -18*f = -10*f - 18880. Suppose 6*w + 2*w = f. Is w prime?
False
Let h(x) = -175*x + 31. Is h(-34) a composite number?
False
Is 35/(-21) - -1 - 575/(-3) composite?
False
Suppose d + 3*d - 12 = -2*v, 2*d + 3*v - 10 = 0. Suppose f + 184 = 2*f + 2*z, -d*z + 718 = 4*f. Is f a prime number?
False
Suppose 0 = -3*h + 9, 5*i - 4*h + 7*h = 4. Is -4 - 4/i - -191 a composite number?
False
Suppose -u = b - 1443, -5*u + 2939 - 10114 = -5*b. Is b a prime number?
True
Let l = -589 - -1154. Is l a prime number?
False
Suppose 3*n + 2*n - 20 = -k, 5*k - 2*n + 8 = 0. Is (74 - -1) + 2 + k a composite number?
True
Let l(a) = 90*a + 21. Let d(y) = 4*y - 28. Let r be d(8). Is l(r) composite?
True
Let q(c) be the first derivative of 7*c**2/2 + c - 1. Let o be q(2). Let r = o + 38. Is r composite?
False
Let a be (101 + 5)/((-1)/(-2)). Let f = 318 - a. Is f a prime number?
False
Suppose -3*j = 2*a - 25, 2*a = j + 5*a - 13. Let n(c) = 80*c - 1. Is n(j) a composite number?
True
Let q be (-2)/13 - (-328)/104. Suppose -3*k = 5*g + 5395, 5380 = -3*k - q*g + g. Let b = 3067 + k. Is b a prime number?
True
Suppose -v + 557 = 2*i - 0*i, -4*i + 3*v = -1109. Let u = i + 219. Is u a prime number?
False
Let m(h) be the third derivative of h**5/60 + h**4/12 - 2*h**3/3 - 3*h**2. Suppose 0 = -4*t + 3*d - 13, -35 = 5*d - 10. Is m(t) a prime number?
True
Let k(v) = v**2 + 7*v + 10. Let n be k(-2). Suppose 11 = -4*p - 5, n = -4*l - 3*p + 2672. Is l a composite number?
True
Let j(z) = -1404*z - 3. Let r be j(-2). Suppose -4*p + r + 359 = 0. Is p prime?
False
Let f be ((-4488)/4)/(-3) - 3. Let q = -160 + f. Is q prime?
True
Suppose -32*t + 7299 + 44477 = 0. Is t a prime number?
False
Suppose -38*i + 37*i = -3831. Is i prime?
False
Let u = 54 + -54. Let v = 49 + u. Is v prime?
False
Let m = 4773 - -1390. Is m a prime number?
True
Let s = -11381 + 19134. Is s composite?
False
Let g be (9/(-3))/3*-55. Suppose -x = -0*x + 36. Let f = g + x. Is f prime?
True
Is 94/4*(421 + 25) prime?
False
Suppose -191*f + 198*f - 34027 = 0. Is f a composite number?
False
Let p(i) be the third derivative of -i**6/120 + i**5/60 - i**3/6 + 5*i**2. Is p(-5) a prime number?
True
Suppose 7*q - 21776 = -9*q. Is q prime?
True
Let f(m) = -m**2 + 491. Let a be f(0). Suppose 5*q = a + 1184. Is q composite?
True
Suppose -5 - 35 = -4*s. Suppose 0 = -y + 4 + s. Suppose -y*p + 10*p + 2540 = 0. Is p a composite number?
True
Suppose 2*k + 6 = 0, -5*d + k + 128 + 800 = 0. Suppose -2*c - 2 + 6 = 4*u, 2*u = -4*c + 2. Suppose c*w - w = -d. Is w composite?
True
Suppose 0 = -2*j + 6*j - 2*c - 152150, -4*c = -j + 38027. Is j composite?
False
Let x = 15964 - -5445. Is x a prime number?
False
Let o(y) = -4*y + 7. Suppose 0 = 3*x - t + 15, -x - 6*t + 7*t = 3. Is o(x) prime?
True
Let u(j) = 19*j**2 - 5*j - 9. Suppose -4*k + 2*i = -2, 3*k - 2*i - 8 = 2*k. Is u(k) a prime number?
False
Let m = -10 + 12. Suppose -m*v = -0*v + 10. Is (-10)/v + 113 + -2 a composite number?
False
Let o(x) be the second derivative of x**4/12 + 2*x**3/3 + 6*x**2 + 2*x. Is o(-15) prime?
False
Suppose 6*p - 507 = 261. Is 35/10*p + (1 - 0) composite?
False
Let o(y) = -848*y - 113. Is o(-14) composite?
True
Let w(n) = -n**2 - 5*n + 7. Let t be w(-7). Let g be (t/(-3))/((-3)/(-9)). Suppose g*k - 3*l = 2*k + 272, 4*l - 4 = 0. Is k composite?
True
Suppose 2*m - 2*l - 11 = -m, -4*l = -m - 3. Let g be m - 1 - 1 - 2. Is ((-381)/(-6))/(g/2) composite?
False
Let c = -6 + -44. Let d = 65 + c. Is d a prime number?
False
Suppose -7*i + 54 = 68. Let q(v) = 392*v + 2. Let c be q(-2). Is (i/(-4))/((-1)/c) composite?
True
Let k be 13 - (-2 + (2 - -2)). Let w(u) = -18*u - 45. Let l(p) = 6*p + 15.