9 - d. Is m prime?
True
Suppose -26*t - 40467 = -27*t - 4*y, -3*y - 121341 = -3*t. Is t composite?
True
Suppose 0 = -w - 3, -305*y + 310*y - 2*w - 2907151 = 0. Is y prime?
True
Suppose 0 = -25*r + 2*r + 161. Suppose r*i - 32132 = 3225. Is i prime?
True
Suppose -23*p = -12*p + 149721. Let h = -438 - p. Is h a composite number?
True
Suppose -3*w + 829 = -2*c, 3*c - 461 - 96 = -2*w. Let b = 18 + w. Suppose -b = 21*v - 26*v. Is v a prime number?
True
Let o(j) be the third derivative of 103*j**6/4 - j**5/60 + 11*j**2 - j. Is o(1) a prime number?
True
Let j = -74 + 69. Let a be (-3 - -4) + j + 0. Let i(v) = 29*v**2 - 11*v - 9. Is i(a) composite?
False
Let x be 2 + (1544 - (0 + 3)). Let a = 2240 - x. Is a a composite number?
True
Let i = -117120 + 186433. Is i prime?
True
Suppose 52*t = 51*t + 4*i - 40, 4*i = -2*t + 4. Let a(n) = n**3 + 4*n**2 + 2*n - 1. Let y be a(-2). Is (-4096)/t + 12/(-9) - y composite?
False
Suppose 18 = -72*d + 63*d. Let y(c) = 4843*c**2 - 16*c - 31. Is y(d) a prime number?
True
Let p be (-1)/(-6 + 7877/1313). Let x = 5280 - p. Is x a prime number?
True
Let h be ((-36)/15)/(-6) + (-8)/(-5). Suppose s + h = -v, -4*v = s - 5*v - 6. Is (52394/(-69))/(s/(-3)) composite?
True
Let z(q) = 9*q**3 - q**2 - 5*q - 2. Let j(b) = 3*b**2 + 7*b - 11. Let u be j(3). Let l = 40 - u. Is z(l) a composite number?
True
Suppose 40*o = 35*o - 45. Is 20274/15 + o/15 composite?
True
Suppose -5*j = -7*j - 142. Let u = j - -71. Is 1/(-2) + 9381/6 + u prime?
False
Let w = 12702 + -13542. Let q = 132 - 529. Let t = q - w. Is t prime?
True
Let l(s) = 10446*s - 68. Let t be l(30). Suppose 0 = -9*u - 23*u + t. Is u composite?
False
Let u(h) = h - 5*h**2 - 346 + 3*h + 385. Let r be u(7). Let c = 1411 - r. Is c a prime number?
False
Let s = 640322 - 408543. Is s prime?
True
Let v(s) = 1182*s**2 - 2*s + 1. Let k be (8/10)/(-2) - (-744)/60. Let n be ((-3)/k)/((-3)/12). Is v(n) composite?
False
Let s be 33/9 + -3 - 46/6. Let c(f) = 35*f + 63. Let q(t) = -23*t - 42. Let a(m) = s*q(m) - 5*c(m). Is a(-16) composite?
True
Let f(h) be the third derivative of 137*h**7/2520 - h**6/720 - 29*h**5/60 - 11*h**2. Let u(z) be the third derivative of f(z). Is u(3) composite?
False
Let t be ((-32)/20)/((-1)/10). Suppose -5*p - t = -6, -o + 393 = -4*p. Suppose -o - 3117 = -2*y - 4*z, -1745 = -y - 4*z. Is y prime?
False
Suppose -11*y = 202485 - 1004506. Is y composite?
False
Suppose 3*f - f + 4245 = k, 0 = -3*k + 9. Let m = f - -3592. Suppose -3*j = -1892 - m. Is j a prime number?
False
Let i be 9/2*20/(-30) - -8. Suppose i*w - 3*w = 12. Let m(q) = 3*q**3 + 2*q**2 + 10*q + 7. Is m(w) composite?
False
Suppose 10 = -f - 3*a, 0*a - 2*a = -2*f + 12. Let l(o) = 4*o - 8. Let u be l(f). Suppose 2*n - 2*s - 2480 = -u*s, 2*s = 3*n - 3723. Is n prime?
False
Let b = -3490 - -12056. Suppose 24*t - 22*t = b. Is t a prime number?
True
Let i(a) = 2327*a**2 - 190*a + 2240. Is i(11) a composite number?
False
Suppose 11*c - 471120 = -2*p + 13*c, -2*p = 4*c - 471162. Is p prime?
False
Let g = 59913 - -450286. Is g prime?
True
Let q(m) = -6*m + 21*m**2 + m + 28 + 0*m + m**3. Suppose 5*t + 530 = f + 419, -87 = 5*t + 3*f. Is q(t) composite?
True
Is (-2)/6*(121 + -3400462) prime?
False
Let p = 169 - 166. Suppose p*l - 29185 = -2*j, 0 = 2*l + 1 - 3. Is j a prime number?
True
Let z(h) = 8*h**2 + 281*h - 14. Let w be z(-46). Is 0 + w - 1/(4 + -5) prime?
True
Is -1 - (-2)/1 - (-9 - -15)*-6613 a composite number?
False
Let t(q) = -38 + 78 + 1037*q + 111 + 87. Is t(9) composite?
True
Suppose 5*i + 4*v - 225067 = 0, 22*v - 18*v - 32 = 0. Is i a composite number?
False
Is 0 + -1 + (-4139716)/(-14) a composite number?
False
Suppose -4*d + 737 = -27*s + 28*s, 2190 = 3*s + 5*d. Suppose -95 = -4*m - 5*f + 338, -3*f + 321 = 3*m. Let t = s - m. Is t composite?
True
Suppose 3 = u, -103 - 1625 = -b + 3*u. Suppose 4*q = d + 3475, q = -q + d + b. Is q a composite number?
True
Is 153/(-68) - (-1000095)/12 prime?
True
Let k be (2/(-4))/(9/(-432)). Let m = k - 24. Suppose m = -9*s + 3*s + 234. Is s a prime number?
False
Suppose 21563444 = 194*z - 166*z. Is z composite?
False
Suppose -28*y = 91665 - 777. Let g(f) = -421*f**2 - f + 1. Let q be g(2). Let u = q - y. Is u prime?
False
Let d = 21941 - 9012. Is d a composite number?
True
Suppose 5*j = -3*y + 2*y + 6, 3*j - 4*y + 1 = 0. Let q be 9/18 + j/2 + 12728. Let p = q + -7640. Is p a composite number?
True
Let v(q) = -2*q**3 + 194*q**2 + 61*q - 134. Is v(81) a composite number?
False
Let v(r) = -r + 18. Let x be (-116)/(-14) + (-6)/21. Let n be v(x). Suppose n*s - 211 = 9*s. Is s prime?
True
Suppose 0 = 2*j - 4*c - 92, 65 = j + c + 19. Let i(h) = -h**2 - 80*h - 26. Let m be i(-19). Let v = m - j. Is v prime?
True
Suppose 6*j - 70 = -4. Suppose -43118 = -j*z + 27117. Is z prime?
False
Let y be 1/((-16)/(-40) + 3/5). Is 2493 - -19 - (-3 - y) - -5 prime?
True
Suppose -3*k - 2*z + 20 = 0, -109*z = 2*k - 113*z - 24. Suppose k*y - 2*y = 98202. Is y a prime number?
False
Suppose -3*y - 3*v = -13560, y + 2453 - 6973 = 3*v. Suppose 8*a + y = -0*a. Is (6 - 2) + -4 - a a prime number?
False
Let b(w) = 3668*w**2 - 279*w - 3039. Is b(-10) composite?
True
Let s(i) = 42641*i - 1160. Is s(2) a prime number?
False
Let c(v) = -53641*v - 1461. Is c(-4) a composite number?
True
Let i(b) = -b**3 - 39*b**2 + 566*b + 93. Is i(-55) a prime number?
False
Let p be (18/8)/((-6)/(-16)). Let i(j) = -14*j**3 - 3*j**2 - j + 54. Let g(m) = -5*m**3 - m**2 - m + 19. Let y(n) = 11*g(n) - 4*i(n). Is y(p) prime?
False
Let i(k) = k**2 - k - 10. Let y be i(4). Suppose -y*l = -27*b + 31*b - 2094, -3*b + 1051 = l. Is l composite?
False
Let b = 8137 - 18738. Let r = b + 19168. Is r composite?
True
Let p = 164 - 106. Suppose 2*s - 58 = p. Is s a prime number?
False
Let x(q) = -5*q**2 - 2*q - 2. Let z be x(-1). Let m be 6 + z - 1526/(-2). Suppose s - m = -3*s. Is s prime?
True
Let f(g) = 3*g**3 - g**2 + g + 5. Let d be (-16)/(-1) + 4/4. Suppose -2*t - 9 + d = 0. Is f(t) prime?
False
Suppose -2*c + 428 = n + 2*c, c = -n + 437. Let t = n + 179. Suppose 6*a - a - 5 = 0, 2*z - t = -5*a. Is z a prime number?
True
Let o be 292/8*(4 - -182). Suppose 5*p - o = -1844. Suppose -54 + p = 5*f. Is f composite?
True
Let f(a) = 5*a + 765. Let r be f(0). Suppose r = -4*h + 2209. Is h a prime number?
False
Let t(v) = 5*v + 34. Let x be t(-5). Suppose 0 = x*r - 10715 - 3352. Is r a prime number?
False
Is ((-42490502)/177)/(6/(-9)) a composite number?
False
Suppose -2*v = -0*v - 8. Suppose 18653 = 3*i + 5*b + 392, 6101 = i - 3*b. Suppose v*j + 0*j = i. Is j composite?
False
Suppose 0 = -12*t + 1535492 + 1252912. Is t composite?
False
Let s(p) = -2523*p + 1970. Is s(-23) a prime number?
True
Suppose 0 = -2*z - 3*y + 6559, -4*z + 4*y = -8878 - 4210. Let l = -4357 + 2164. Let c = l + z. Is c a composite number?
True
Suppose 3*k + 100*q - 104*q - 227811 = 0, -4*q + 0*q = 0. Is k prime?
True
Let x(f) = 61*f**2 + 78*f + 39. Is x(-28) a prime number?
False
Let u(i) = 570*i**3 - 14*i**2 + 24*i - 7. Is u(6) a prime number?
True
Let h be (-10)/(((-1)/4)/((-10)/4)). Let j = h - -102. Is (276/(-30))/(j/(-65)) composite?
True
Suppose -22 = 5*d - 16*d. Suppose 4*x + 2*j - 20588 = 0, 0*j = 5*x + d*j - 25735. Is x a prime number?
True
Suppose 98*y - 103*y - 4*q = -874097, -2*q = 4. Is y prime?
True
Let w = 35570 - -13953. Is w a prime number?
True
Let z(f) = 588*f**2 + 2*f + 8. Let k be z(-2). Suppose 0 = 3*y, y + k - 28171 = -5*q. Is q prime?
False
Let a(t) = -t + 30. Let u(y) = -y**3 - 26*y**2 + y + 32. Let f be u(-26). Let q be a(f). Is (-8)/q + (-778)/(-3) a composite number?
True
Let g(u) = -41665*u + 6204. Is g(-23) a composite number?
False
Let c(b) = 145*b**2 + 27*b - 53. Is c(17) composite?
True
Suppose -18*p + 1438775 = -3001093 + 828654. Is p a prime number?
False
Suppose -3 = 5*l + 4*v, -6*l + l - 5*v - 5 = 0. Let p(m) = 3786*m**3 - 4*m**2 + 4*m + 1. Is p(l) prime?
False
Let f = 4 - -4. Let d(a) = 5*a**2 + 13 + a**2 + 10*a**2 + 7*a - 8*a**2. Is d(f) prime?
False
Suppose 17*c - 2101177 - 19801504 = 0. Is c a prime number?
True
Suppose 0 = p + r - 18, -43 = -3*p - 5*r + 1. Let c(i) = -13*i**3 - 4 + 24*i**2 - 2*i - p*i**2 + 1. Is c(-5) composite?
False
Let k = 205 + -202. Suppose 0 = -k*d + 5*y + 1068, 0 = 2*d - 5*y - 0*y - 707. Is d a pr