 -3 composite?
True
Let m = 894 - 298. Suppose 0 = 3*k - 3*h - 1269, 19*h = 3*k + 15*h - 1274. Let u = m - k. Is u composite?
True
Suppose -5*m + 1251 = -1759. Let d = 865 - m. Is d a composite number?
False
Let o be (80146/(-8))/((-39)/156). Suppose 0 = 3*p + 8*p - o. Is p composite?
False
Is 8/8 - 9 - (-341028 - 7) a prime number?
True
Let b be ((-1)/(-4))/(((-6)/16)/(-3)). Suppose -u = -b*h - 10498, -3*h + 1 = -11. Is 4 - (-26)/(-6) - u/(-9) a prime number?
False
Let w = -605 + 607. Suppose w*s = 8455 + 25879. Is s a prime number?
True
Is (6/18)/(20/2697180) a prime number?
True
Let z(k) be the second derivative of 697*k**4/12 - 3*k**2/2 + k - 7. Is z(1) prime?
False
Let c(d) = 177*d**2 - 9*d + 47. Is c(30) a composite number?
True
Suppose 0 = 11*f - 334 - 7. Suppose -3*o = -4*s - f, -4 = -3*s + 4*s. Suppose -o*l + 344 = 3*l. Is l prime?
True
Let z(m) = m**3 + 15*m**2 + 16*m + 35. Let u be z(-14). Suppose -13933 = -u*q + 18358. Suppose 0 = 13*x + 999 - q. Is x composite?
True
Suppose 8*g - 114415 = c + 9114, c + 77206 = 5*g. Is g prime?
False
Suppose -15*q + 78736 = -9*q - 33086. Is q a prime number?
True
Let g be 7*1 + (-54 - -44). Is (1/g)/(8/(-1079736)) prime?
False
Let u(o) = -83*o - 1. Let n be u(-3). Let g = -305 - -86. Let j = n - g. Is j a prime number?
True
Let l = -100 - -105. Suppose -l*v = -3 - 2, 3*q + 290 = -v. Is q*34/(-3) - 3/9 composite?
True
Suppose 712506 = -20136*a + 20142*a. Is a a prime number?
True
Let o be (12/(-10))/((-4)/18030). Suppose l - 4*f = 1789, -4*l + o = -l + 2*f. Is l composite?
False
Let i = 4736 + -2792. Suppose -8*y - i + 424 = 0. Let n = 72 - y. Is n composite?
True
Let g = -69 + 92. Let c = g + -11. Is 42/c*((-116)/(-2) + 0) a prime number?
False
Suppose 0 = y + 4*i - 9189, 0 = 3*y + 2*i + 6951 - 34538. Suppose 5*u + 2*v - y = -2*v, -2*u + 5*v + 3659 = 0. Is u composite?
True
Let g be (-246)/(-22) + 10/(-55)*1. Suppose -8748 = -g*p + 12691. Is p a composite number?
False
Let y(p) = -p**3 - 13*p**2 + 2*p - 49. Let s be y(-20). Let w = 4696 - s. Is w a composite number?
True
Suppose 0 = 3*x - 12, -5*x - 9 - 1 = -2*o. Suppose -17*l - o = -66. Let g(u) = 125*u + 34. Is g(l) composite?
False
Let l(t) be the first derivative of -1/3*t**3 - 13 - 22*t + 13*t**2. Is l(24) composite?
True
Let q(k) = -171975*k**3 + 4*k**2 - k - 3. Is q(-1) a composite number?
True
Suppose -193*y + 200*y + 193599 = 0. Is (12/36)/((-3)/y) composite?
True
Suppose 8*p = 3*p + 3*h + 30, 0 = -2*h - 10. Suppose 15*c + p*o = 16*c - 1142, -3*c - 3*o + 3474 = 0. Is c a composite number?
True
Let b be ((-16)/12)/(3/(-9)). Suppose -l = b*q + 50097, -q - 12508 = -3*l - 0*l. Is q/(-63) - (-4)/18 prime?
True
Let u(q) = 95614*q + 9235. Is u(7) a composite number?
False
Let h = -4839 - 4430. Let a = 13948 + h. Is a prime?
True
Suppose -28*d + 26*d = p + 3511, -7028 = 4*d - 4*p. Let w = d + 3119. Is w prime?
False
Let o(h) = 38*h**2 - 20*h - 21. Let d(u) = 19*u**2 - 10*u - 11. Let q(y) = 5*d(y) - 2*o(y). Let f = 2180 - 2166. Is q(f) a prime number?
True
Suppose -g + 5*g = 36. Suppose -5*c - 20 = -g*c. Suppose 2493 = 2*q - c*b, q - 4*b - 277 - 962 = 0. Is q prime?
True
Let p = 343 - 146. Let d = 1974 + p. Is d prime?
False
Suppose 0 = -5*h + 5*t + 4385, 4*h - 5*t - 662 = 2843. Let x(a) = 3*a**2 - 8*a + 18. Let p be x(-11). Let i = h - p. Is i composite?
True
Suppose -3*i + 5*m + 23928 = 0, -908*m = 2*i - 905*m - 15971. Is i a prime number?
False
Let o be (-1 + (-55)/2)/(15/20). Let k be 12/(5 - 2)*o/4. Is (k/4)/((-6)/204) a prime number?
False
Let d = -2079 - -4935. Suppose -1465 = -q - 2*c + d, 3*q + 3*c = 12972. Is q prime?
True
Let r(s) = -s**2 + 5*s + 1. Let w be r(4). Suppose b + 10 = 3*l, w*b + 0*l = 2*l - 11. Is (-29)/(48/(-44) - b) a composite number?
True
Is (-1)/(1/3*(-69)/821767) composite?
False
Let w be (-5 + 23)*(4/(-3) + 1). Let d = 10 - 7. Is (d/w - 4/(-4))*446 a prime number?
True
Suppose 0 = -4*j - 5*i - 5 + 2, -4*i + 4 = 0. Let p(d) = -700*d - 141. Is p(j) a composite number?
False
Suppose 0 = 5*o - 1 - 24, -3650 = -4*g - 2*o. Suppose 4*j - 4110 = -g. Let d = 1177 - j. Is d composite?
True
Let k = -20499 - -32789. Suppose 0*l + 7380 = 3*z + 3*l, -5*z + 5*l + k = 0. Is z a composite number?
False
Let j(x) = -3*x**2 - 4*x + 14. Let c be j(-4). Let o(l) = 9*l**2 - 39*l - 23. Is o(c) a prime number?
False
Suppose 6 = -3*n - 3*c, -4*c + 8 = 5*n - 5*c. Suppose -21 = -4*t - n. Suppose -3207 = -t*o + 2818. Is o a prime number?
False
Let j = -2581 + 2580. Let m(v) = 1 + 0 + 0 + 2*v + 1212*v**2. Is m(j) a prime number?
False
Let b(j) = -236*j - 15. Let a(n) = 235*n + 14. Let h be -2 + (1/3 - (-28)/6). Let f(o) = h*b(o) + 4*a(o). Is f(5) a composite number?
False
Suppose 1854196 = 2545*q - 2541*q. Is q prime?
True
Is (-1428209)/(-33) + (-14)/231 composite?
True
Let w(a) = a**3 - 4*a**2 + 3*a + 3. Let v be w(3). Suppose 22 = v*l + 4. Suppose 0 = l*r - r - 5*f - 11080, -2*r + 4430 = -4*f. Is r a prime number?
False
Suppose -5*h - 5*m = -335, -h + 2*m + 0*m = -52. Suppose 4*f = 58 - 58. Suppose -3*i + 97 + h = f. Is i composite?
False
Let n be (-12)/(-9)*(-21)/14. Let g = 4 + n. Suppose 5*l - 13 = 2, g*t - 489 = -5*l. Is t a prime number?
False
Suppose 332216 = -7*u + 127634. Is (u/12 + 7)*-2 composite?
True
Suppose i - 5*y - 1 = 2, 0 = -5*i - 5*y + 15. Suppose -2*l + 54 = 2*t, -15*l - i*t = -10*l - 129. Suppose 22*q + 8842 = l*q. Is q a composite number?
False
Let u(j) = -j**3 - 16*j**2 - 19*j - 20. Let a be u(-15). Suppose -41*n + a*n = 12. Is n + 12 + 1597*1 a composite number?
False
Let j be (-1)/(-2) - 3/(-2). Suppose -8*o + 7*o + 4*p + 997 = 0, -2015 = -j*o + p. Is o prime?
True
Let i = 19 - 19. Suppose 3*j - 5*j + 530 = 0. Suppose -5*t + i*t = -j. Is t composite?
False
Let j(r) = -2 + 8 + 12*r**2 + 4*r**2. Suppose -4*h + 2 = 18. Is j(h) a composite number?
True
Suppose 4*s + 119358 = 2*o, 2*s - 105 = -107. Is o a prime number?
False
Let s = 221250 + 28345. Is s a composite number?
True
Let v(t) = 2263*t**2 - 28*t - 127. Is v(-4) a composite number?
True
Let j = 827634 + -386191. Is j a prime number?
True
Suppose -3*w + 5*j + 5 = -27, 4*w = -2*j + 8. Suppose 2*f + 4*f = w*f. Suppose -12*o + 20*o - 944 = f. Is o composite?
True
Suppose -20 = 6*i - 10*i. Suppose -5*z + 10 = i*n, -5*n - 2 = -z - 6. Is 9/n*1/3 + 174 composite?
True
Suppose -184659 - 250397 = -3*k - 20357. Is k a composite number?
True
Let g = -39 - -60. Let t be ((-14)/g)/(2/(-993)). Suppose -15 = 5*b, n + b + b - t = 0. Is n a prime number?
True
Is ((-1587)/115)/23 - 1912016/(-10) composite?
True
Is 323762 + (-24)/9 + ((-4)/(-6) - 1) prime?
True
Let d be (2/6)/((-7)/(-42)). Suppose -k + 5*x = -d*k - 98, x = 4. Let o = 93 - k. Is o a prime number?
True
Suppose -m + 10 = g, 0 = 14*g - 10*g + m - 43. Let i(p) = p**3 + 7*p**2 + 24*p + 7. Is i(g) a composite number?
True
Let s be (-1)/(((-3)/1)/27). Let h(w) = 2*w**3 + 6 - 10*w**2 - 5*w + w - 1 + 14. Is h(s) a prime number?
True
Suppose -3*w - 159 = 3*g, -w - 4*w = -3*g - 135. Let h be 80/g - 1/(5/2). Let t(u) = -315*u + 11. Is t(h) a prime number?
True
Let z = -7 - -15. Suppose z*c - 2292 = 5332. Is c a prime number?
True
Let c = -167555 - -623338. Is c a composite number?
False
Let h(r) = -1767*r + 11651. Is h(-64) a composite number?
False
Suppose -158*s - 3703231 = -4537742 - 4859335. Is s composite?
False
Let k(t) = -t**2 + 100*t - 722. Is k(27) a prime number?
True
Let f = -4191 + 58274. Is f a composite number?
False
Suppose -q = -9*z + 13*z + 24177, z - 4*q + 6040 = 0. Let g = z - -11647. Is g a prime number?
False
Is -14*18/(-252) - -282184 a prime number?
False
Suppose 0 = 9*m - 80150 + 5900. Let p = m + 1077. Is p prime?
False
Let u(j) = 3 + 5 + 11 + 24*j. Let o = -3994 + 4002. Is u(o) a composite number?
False
Suppose -2*y + 163*f + 2636099 = 160*f, 4*f + 6590223 = 5*y. Is y prime?
True
Let q(a) = 14*a**2 - 16*a - 3. Let c be q(-10). Let p be 2/((4/5)/(-10 + 12)). Suppose -262 = p*d - c. Is d a prime number?
False
Let y be (-24)/(-8) - (-1 - -1). Suppose -2*h - 4551 = y*s - 20593, 5*h + 3*s - 40087 = 0. Suppose h = 5*t - 0*t. Is t prime?
False
Let r(o) = -o**3 - o**2 - o - 2. Let u(i) = -83*i**3 + 9*i**2 + 5*i + 12. Let x(v) = -2*r(v) - u(v). Is x(5) a composite number?
False
Suppose -8*m + 5*m - 5*a + 6949 = 