-r + 145 = -f. Is f a composite number?
False
Let r = -800309 + 1177426. Is r composite?
True
Suppose -48 = -3*x - 4*v, 2*x - 7*x - 2*v = -66. Suppose -x*j + 14*j = 3122. Is j a composite number?
True
Let s = -226 + 449. Suppose f - 30 = -2*q + 42, 4*f - 5*q = s. Is f prime?
False
Suppose -o = -76 + 70. Suppose -4*b = -o*b + 3*u + 830, 0 = 4*b + 5*u - 1616. Is b a composite number?
False
Let o be ((-16)/18)/((-40)/180). Suppose 0*w = -4*c + 3*w + 12448, o*w - 12420 = -4*c. Is c a composite number?
False
Let q = -80 - -80. Suppose q = -3*b + 169 - 181. Is -69*(15/(-9) + b) a composite number?
True
Suppose -5*o - 3*i - 5823 = 0, 0 = -o - i - i - 1159. Let b be (-16)/(-6)*-3 + (-510 - -24). Let r = b - o. Is r a composite number?
False
Let v be 21/14*(-32)/(-6). Suppose 11*k - 13319 = -v*k. Is k prime?
True
Let o = 3744 + -5545. Let m be (-4)/20 - o/5. Let r = m - 219. Is r prime?
False
Let k = -82 - -99. Let c = 17 - k. Let x(s) = -s**3 + s**2 + s + 1115. Is x(c) a composite number?
True
Let r = 370 + -198. Let s = r - -95. Is s a prime number?
False
Let x be (-47872224)/(-112) - 12/(-28). Suppose -3*q + 8*q - 2*g = x, 5*g = 2*q - 170964. Is q a prime number?
True
Suppose 89*n + 144*n = 46*n + 52029571. Is n a prime number?
True
Let w(x) = -98*x**3 - 7*x**2 + 3*x + 13. Suppose -14*o + 5 = -15*o. Let f be w(o). Suppose -2*l - 10153 - 1926 = -5*y, 5*y = 4*l + f. Is y composite?
False
Let t(o) = 51*o + 149. Let y be (448/48)/(((-10)/(-3))/5). Is t(y) composite?
False
Suppose -73*b = -143*b + 68*b + 75682. Is b a prime number?
False
Suppose 4*a = -3*a + 91. Suppose -l = -x - 8, -2*l - x - 3 = -a. Suppose -l*m = -m - 925. Is m a prime number?
False
Let b(r) = -r - 120*r**2 + 22 - 5*r - 62*r**2 - 9*r + 187*r**2. Let t = 18 + -6. Is b(t) a composite number?
True
Let r(w) = 7 + 10 + 6*w**2 - 11*w + 6*w**2 - w**2. Is r(7) prime?
True
Suppose 4*p - 995749 = -2*g + 2173701, 3*p + g = 2377084. Is p prime?
True
Suppose 4*g = -3 - 17. Let k(d) = -d**2 - 2*d + 15. Let n be k(g). Is (1 - n)*2 + (-1190)/(-10) prime?
False
Let j be (41/13)/(-1) - (-8)/52. Let o(v) = -v - 3. Let h be o(j). Suppose 3*d - 284 = -y, -4*y + 3*d = -h*d - 1181. Is y a prime number?
True
Suppose 9 = -3*x, 5*i - 7664 = 5*x - 1824. Let p = -737 + i. Let j = p + 2131. Is j prime?
False
Suppose -5*d = -6*d. Suppose 5*z + 75 = -d*z. Let b(m) = -m**3 - 14*m**2 + 2*m - 34. Is b(z) a composite number?
True
Let m = -241 - -244. Suppose m*z = 3160 + 2243. Is z composite?
False
Suppose -3*i = 3*a + 1260, 2*i - 3 = -i. Let g = a + 2924. Is g composite?
False
Let g(y) = -y**3 + 26*y**2 + 59*y - 28. Let k be g(28). Suppose -k*f = -59*f + 44463. Is f prime?
True
Let a(q) = 6*q**2 + q - 70 - q**3 + 70 - 5*q. Let u be a(5). Suppose 3*t = u*m - 110 - 635, -t + 745 = 5*m. Is m prime?
True
Let q(l) = -1837*l + 33. Let g be q(-9). Let i = g + -10399. Is i a prime number?
False
Let h be (4 + -1)*(4 + -3 - -1398). Let y = -1656 + h. Suppose 0 = 3*r - 3, -5*s - y = 2*r - 8448. Is s a prime number?
True
Let v(q) = 572*q - 10. Let g be v(11). Let h = g + -1327. Suppose 0 = -5*c - 4*o + h, -c + 4*o - 991 = -2*c. Is c a prime number?
True
Let m(g) = 3241*g + 3198. Is m(21) composite?
True
Let s(w) = -w**2 - 11*w + 29. Suppose n + 129 = 3*u, -5*u - 4*n - 3 = -201. Suppose 6*r + u + 36 = 0. Is s(r) prime?
True
Suppose -2041058 - 2425399 = -141*h. Is h composite?
True
Let d(m) = m**3 + 15*m**2 - 15*m - 3. Let q be d(-15). Suppose -t - q = -2*t. Suppose -52 = 5*j - t. Is j a prime number?
False
Let p(c) = 17491*c + 425. Is p(6) a prime number?
False
Let u(l) = 15*l**2 - 68*l + 1037. Is u(120) prime?
True
Let j(m) = 8 - 12 - 15 + 12*m - 15. Let n be 20 + -1 + (2 - 2)/(-1). Is j(n) a prime number?
False
Let b = -55978 - -203345. Is b a composite number?
True
Suppose -4*l = -v + 3, l - 6 = 4*l + 3*v. Let t(m) = 124*m**2 + 34*m - 5. Let x(r) = -r**2 + 21*r + 1. Let b(d) = t(d) - 2*x(d). Is b(l) composite?
False
Let t = 34 + -32. Suppose 211 = -3*w + 58. Let p = t - w. Is p prime?
True
Let o = -15 - -18. Suppose o*d + 9 = 27. Suppose d*s - 555 = 651. Is s prime?
False
Let q(s) = -1680*s - 2417. Is q(-6) a composite number?
True
Suppose h + 0 = 3. Suppose -1356 = -h*g + 6009. Suppose 0 = -5*w + 5*o + g, 0 = -3*w - o + 5*o + 1471. Is w composite?
True
Let u(s) be the second derivative of s**5/20 + 2*s**4/3 + s**3/3 - 7*s**2/2 + 3*s + 3. Suppose -2*y + 3*f - 4 = 5*f, 0 = -3*y - 4*f - 2. Is u(y) composite?
False
Let b(o) = -o + 15. Let q be b(15). Suppose 5*s = -d, 0 = -2*d - q*s - 3*s - 28. Is ((-254)/(-4))/((-10)/d) a composite number?
False
Let p(b) = -18*b + 11. Let w be p(1). Is (w - -4) + -3 + 17713 a composite number?
False
Let i be (30/5)/(-3) - 4. Let j be ((-612)/(-15))/i*-285. Suppose l - 534 - 117 = 4*q, 3*l + 3*q = j. Is l composite?
False
Let t(v) = 68*v**2 - 6*v + 3. Suppose 8*k + 37 = 13. Is t(k) a composite number?
True
Suppose -4*d + 39495 = -17*a + 18*a, -4*a = -d - 158014. Is a prime?
True
Suppose 5*c - 3*d = 6250, -c - 5*d + 1134 = -88. Is (c - -2) + (-15)/((-30)/8) a composite number?
True
Let q = -153 - -298. Suppose 0 = 8*a + q - 2465. Suppose 0 = -15*m + 17*m - a. Is m composite?
True
Suppose 13 = -5*t + 38. Suppose 10*n - 1922 = -z + 7*n, -t*z = -n - 9530. Is z composite?
False
Let l(p) = -24*p - 35. Let c(q) = -11*q + 7*q**2 + 5*q**2 + q**3 - 2*q**2 - 10. Let i be c(-11). Is l(i) prime?
False
Let f be ((-12)/(-2) + -1)*16/5. Is (137980/80)/(4/f) a prime number?
True
Let a = 70 - 106. Let i be (0 + a/8)*-310. Let g = -916 + i. Is g a composite number?
False
Let t = 316 + -186. Let o = 1709 - t. Is o a prime number?
True
Let p(a) = 279*a**2 + 21*a - 157. Is p(13) a prime number?
False
Let k be (10 - 1)*4/(-12). Let n be (-8)/k + 4/12. Let w(g) = 27*g**3 - 4*g**2 + 2*g + 2. Is w(n) prime?
True
Let l(o) = -2*o**2 + 1. Let j be l(-1). Let a be j/((-1)/1 - 12/(-18)). Suppose -a*r + 2*x - 376 = -2979, 5*x + 2588 = 3*r. Is r a composite number?
True
Let h = -796 + 336. Let l = 249 - h. Is l a composite number?
False
Suppose 2843807 = 18*p - 318307. Is p a composite number?
False
Let c = 51789 + 19460. Is c a prime number?
True
Let b(s) = 46*s - 15. Let t be b(-5). Let q = 868 + t. Is q a prime number?
False
Is 1 - -50038 - (8 - (-7 + 9)) prime?
True
Let j = -123 - -143. Let n(s) = 2*s - 35. Let w be n(j). Is 1363 + w + -10 + -1 composite?
True
Let d be 4*(-2)/68 - (-848856)/102. Suppose -g - 8326 = -c + 4*g, -c = -g - d. Is c a composite number?
True
Let f = 47 + -60. Let z(m) = m**2 + 10*m - 29. Let t be z(f). Is (-11 + t)/((-2)/5066) composite?
True
Let k = -253 - -295. Suppose 37*n + 19715 = k*n. Is n composite?
False
Let j(u) = u**3 - u**2 + 1036. Let x be j(0). Let t = -2117 + x. Is 5/10 - 1*t/2 a prime number?
True
Suppose 0 = 16*d - d + 90. Is (4/d)/((-6)/117) a composite number?
False
Suppose 153 = 2*n - 1227. Suppose g = 4*c - n, 3*g + 470 = 5*c - 396. Suppose 3*z = c + 326. Is z a composite number?
True
Let o(x) = x**3 - 12*x - 22*x**2 + 2 + 9 + 2*x**2 + x**3. Let f be o(14). Suppose -3*h = 3*p - 2103, -5*h = -5*p - f + 4916. Is p a prime number?
True
Let w(o) = 1056*o**3 + 5*o**2 + 160*o - 844. Is w(5) a composite number?
True
Let z = 30 + 40. Suppose l = 6*l - z. Is ((-7)/l)/((-1)/1142) prime?
True
Suppose 11 = -3*u + 4*b - 5, 5*b = u + 20. Suppose u = 2*m + 4*s - 2138, 2*s + 2*s = 20. Is m composite?
True
Suppose -2*n - 12 = 0, 1055*h - 1053*h = n + 2100028. Is h prime?
True
Let t(u) = 14*u - 3740. Let y be t(0). Let b = y - -5325. Is b composite?
True
Suppose n - u = 2, 3*u = n - 14 + 16. Suppose x + 2*h + 8503 = n*x, -4*x - 4*h = -11324. Is x prime?
True
Let w = 292779 - 109376. Is w composite?
True
Suppose 2*d - 1 = 1. Let u be (-1 - d)/(-2)*27/(-1). Is (-1414)/3*u/18 prime?
False
Is -3313*161/((-14)/2) - -8 a composite number?
False
Is 595/119 - (-1 + 4/1 + -95867) a prime number?
True
Let h(v) = 32*v + 24*v**2 - 19 + 1 + 2 + 11. Is h(-9) composite?
True
Suppose -16*j + 19843 = -13005. Is j composite?
False
Suppose 0 = -t + 5*t - 2624. Let m be 6*(156/(-8) + 4). Let v = t + m. Is v composite?
False
Let u(l) = 29*l**2 + 24*l + 9. Let o(n) = -31*n**2 - 26*n - 8. Let r(b) = 5*o(b) + 6*u(b). Is r(15) a composite number?
True
Suppose 5*q + 13*q + 3*q = -24*q. Let t(b) = -b**3 + 4*b**2 + 2*b -