t u(t) = -t + 376. Let j be u(0). Suppose 1553 + j = 3*b. Suppose 0*x - 4*r = -x + 207, -r = -3*x + b. Is x prime?
False
Let a(s) = s**2 - 21*s. Let r be a(21). Suppose r = o - 15817 + 1736. Is o prime?
True
Let x be (12/8 + -3)*-2. Is x + -5 + 123 + -2 a prime number?
False
Let t = -15 + 15. Suppose t = -2*z + l + 8, 0 = 2*z + 2*z + l - 4. Is (z - 0)*1 + 41 a prime number?
True
Let f(p) = -565*p - 122. Is f(-7) prime?
True
Let c(w) = w + 8. Let f be c(-7). Let k be -1 + f + -3 + 7. Suppose 5*h = i + 168, -2*h - 51 = -k*h - 5*i. Is h prime?
False
Let r = -18 + 86. Let u = r + -3. Is u composite?
True
Let h be (0 + -1 + 42/28)*0. Suppose 2*r - 30 - 88 = h. Is r a composite number?
False
Suppose 16*f - 15*f - 4 = 0. Suppose f*i = -0*i + 3096. Suppose -5*t + h - 196 = -2145, -h = 2*t - i. Is t a composite number?
False
Let m be 12/(-5)*10/(-2). Suppose m = -4*c, -3*f = -0*c - c - 15. Is 2130/22 - f/(-22) a prime number?
True
Let u(n) be the first derivative of n**4/4 - 10*n**3/3 + 7*n**2/2 - 11*n - 7. Suppose -4*h - 2*f = -9*h + 59, 2*h - 41 = -5*f. Is u(h) prime?
True
Let r(u) = -5 - 4 + u**3 - 11*u**2 - 17*u + 3 - 6. Let w be r(13). Is ((w + -3)/(-1))/(-2) a composite number?
True
Suppose -2*r = -2932 - 884. Let t = 3641 - r. Is t prime?
True
Let g(f) = -f**3 + f**2 - 2*f + 928. Let k be g(0). Suppose -6*j + 4406 = -k. Is j prime?
False
Suppose 0 = 4*y - 0*y + 12. Is 2/(1352/2019 + 2/y) composite?
False
Suppose -14 + 6 = 4*o. Let w be -2 + o - 15/(-3). Is -1 - (-1)/(w/254) a prime number?
False
Let w(c) = -c**3 - 5*c**2 - 5*c - 2. Let x be w(-6). Let t = x + 40. Suppose 4*u = o - 67, -4*o - 4*u = -244 - t. Is o a composite number?
False
Is (1 - 2)/(5 + 1614192/(-322836)) composite?
False
Let q(m) = 9*m**2 + 23*m - 10. Let n(r) be the first derivative of 5*r**3/3 + 6*r**2 - 5*r - 2. Let j(z) = 11*n(z) - 6*q(z). Is j(-6) composite?
True
Suppose 63*q - 379248 = -45537. Is q a composite number?
False
Suppose 0 = -25*t + 20*t + 2230. Is t a composite number?
True
Let j be 4/(-18) - (5 + (-133964)/36). Suppose 12*v + j = 16*v. Is v composite?
False
Suppose -k + 25641 = 4*o, 9*o = 4*o - 2*k + 32049. Is o a composite number?
True
Let q = 4 + 0. Let s(d) = -2*d - 9. Let o be s(q). Let t = o + 102. Is t a prime number?
False
Suppose 8 = 5*q + 4*v, 4*q = -2*v - 0*v + 10. Suppose 1319 = q*x + 127. Is x composite?
True
Let y(k) = -29*k**3 - 13*k**2 + 6*k - 65. Is y(-12) a composite number?
True
Let n(d) = -3*d**2 - 3*d + 12. Let l be n(17). Let g = -527 - l. Is g composite?
False
Let q(m) = 3*m**3 - 7*m**2 - 2*m - 4. Suppose -5*d + 72 = 3*d. Let v be q(d). Suppose 3*p - 958 = s, 2*p - v = -3*p + 3*s. Is p a prime number?
False
Let b be 1160 - -3 - (-1 + 2*-1). Suppose 4*k - b = -7*k. Is k prime?
False
Suppose -2*p = 2*a - 392, -2*p + 588 = 3*a - 4*p. Let r = a - 102. Suppose 0 = -j + 277 + r. Is j prime?
False
Let l = 15 + -25. Let b = l - -14. Suppose 0 = j - b*j - 3*r + 249, j + 2*r = 83. Is j a composite number?
False
Let f = -609 + 384. Let b(z) = 897*z + 1. Let i be b(1). Let w = i + f. Is w a prime number?
True
Suppose -3*q - 600 = -5*k, -2 - 10 = 4*k. Is -4 - 6/(-3) - q a composite number?
True
Let v(w) = w**2 - w - 20. Let r be v(15). Let q = r + -114. Suppose -2*h + q = 2*h. Is h a composite number?
False
Suppose -c - c = 3*l + 139, 4*c = -8. Let p be 9/3 - l - -2. Let n = p + 209. Is n a prime number?
False
Suppose 2178 = 2*v - o, o = v - 2*o - 1099. Is v prime?
True
Let r(x) = x**2 - 4*x - 1. Let g be r(-5). Suppose v = -5*h + 72, 0*h - v + g = 3*h. Let d = 20 - h. Is d prime?
False
Let v(p) = -349*p + 362. Is v(-11) a prime number?
True
Let y(a) = 550*a**3 + a**2 - 4*a - 3. Is y(2) a composite number?
True
Let d be (-41)/(-3) - (-6 - (-80)/12). Suppose d*k = 18054 + 3487. Is k a prime number?
True
Let i = -44465 + 137278. Is i prime?
False
Suppose -j - 2*x = -0*j - 903, 2*x + 3632 = 4*j. Let l = -516 + j. Is l a prime number?
False
Suppose 45 = -5*h + 5*k, -4*h + 2*k = -0*k + 36. Let o = h + 3. Is (-3)/o - (-673)/2 a composite number?
False
Let z = 12 - 8. Suppose -5*o + 31 = -z*n, o + 5*n + 3 + 14 = 0. Suppose -p = o*q + 2*p - 156, 2*p = -4*q + 210. Is q a composite number?
False
Let a = 121 + -313. Let s = 607 + a. Suppose -2*h = 2*q - s - 15, 850 = 4*h - q. Is h prime?
False
Let g = 8 - 26. Is (-608)/g - 20/(-90) composite?
True
Let j = -3289 - -8274. Is j prime?
False
Let f(b) = -b**3 - 9*b**2 - 6*b + 1. Let a be f(-8). Let r be 1/(1/(-62))*a. Let h = 1303 - r. Is h composite?
False
Let n = -6877 + 13380. Is n a composite number?
True
Let t(f) = 371*f + 252. Is t(17) composite?
True
Suppose -5*w - 386 = 4. Suppose -5*c = 2*c + 315. Let u = c - w. Is u a composite number?
True
Suppose -4*h = -3*h. Suppose h + 10 = 2*c. Suppose c*r - y - 320 = -6*y, -262 = -4*r + 2*y. Is r prime?
False
Let h(c) be the second derivative of -5*c**5/4 - c**4/12 + 2*c**3/3 - c**2/2 + 15*c. Is h(-5) a prime number?
True
Suppose 4*u = -3*i + u + 10545, 5*i - 4*u = 17548. Suppose 3*j = -j + i. Let m = -199 + j. Is m prime?
False
Is ((-19344)/(-40) + 8)/((-2)/(-5)) composite?
False
Let i(c) = c**3 - c**2 + c + 6. Let b be i(0). Suppose -b*q - 1030 = -8*q. Suppose -2*x + q = 3*x. Is x a prime number?
True
Suppose 3*c = -2*c - 15. Let a(d) = d + 4. Let j be a(c). Is (-1)/(196/(-194) + j) prime?
True
Let t(p) = 100*p - 237. Is t(34) prime?
True
Let j(m) = 684*m**2 + 19*m + 6. Is j(-5) composite?
False
Suppose -a + 2*z - 1664 = -6*a, 5*a - 1661 = -3*z. Is a a composite number?
True
Suppose -8*l + 3*l = -250. Is 489 - (l/5)/5 composite?
False
Let f = -20 + 13. Let w = 9 + f. Suppose 5*p - 20 = 0, w*a = -2*a - p + 312. Is a prime?
False
Let w(i) = 46*i**2 - 8*i - 31. Is w(26) composite?
True
Suppose 0*h + 2*h = 4666. Is h prime?
True
Let v be -330*(85/25 + -3). Let z = v + 226. Is z a composite number?
True
Let a = -22 - -22. Suppose a*i = -5*i + 1005. Is (-1)/1*-1*i a prime number?
False
Let s(c) = 5*c + 21. Let d be 12/20 - (-261)/15. Is s(d) prime?
False
Suppose 5*q - 2033 = 3902. Is q a composite number?
False
Suppose 0 = 5*x - 21 - 9. Let z be -1 + -19 + 2 + -1. Let j = x - z. Is j a prime number?
False
Suppose -3*x + 135420 = -3*i, 2*x = -x + 2*i + 135425. Is x a composite number?
True
Suppose -116*q + 111*q + 1680 = 0. Suppose -1241 - 2354 = -5*o. Suppose 0 = 5*d - q - o. Is d composite?
False
Suppose -6*u + u = -4*p - 6, u = 2*p. Is 5 + 85 - u/2 a composite number?
False
Let o(f) = -3057*f - 35. Is o(-4) a composite number?
True
Suppose 18 = 5*h - c - 3*c, 4*h + 4*c = 36. Let m(y) = 39*y - 55. Is m(h) a composite number?
False
Suppose -5*g = -7*g + 4*m + 17698, -2*g - 2*m = -17728. Is g prime?
False
Let q = 21 + -18. Suppose q*u - 10 = -y, -u - 3*y = -y - 5. Is (282/(-6))/(u/(-15)) prime?
False
Suppose 45*o = 50*o. Is (1 - o) + 1/(4/1512) a composite number?
False
Let r(l) = 67*l - 10. Let o be r(-3). Let p = 569 + o. Suppose p = 4*h - 478. Is h a prime number?
False
Is 10*5/30*-3 - -15018 composite?
False
Suppose -5*a - 4119 = -5*u + 86071, 18044 = u + a. Is u a prime number?
True
Let o = -566 + 974. Suppose -3*j + 11*j - o = 0. Is j prime?
False
Suppose u - 1565 - 680 = 0. Suppose 34*k - 29*k = u. Is k composite?
False
Let y(o) = -47*o - 10. Let v be -12 + -11 + 2/1. Let z = v + 14. Is y(z) a composite number?
True
Let j = 106 + -103. Suppose 0*t + 2*t = -2*k + 1152, -t = j*k - 1722. Is k a prime number?
False
Suppose 0 = 9*s - 4*s - 139730. Suppose 6*x = -8512 + s. Is x a prime number?
False
Let j be 5/(-3)*(-9)/3. Suppose 0*g - j*g - 55 = 0. Is (g/3)/(1/(-87)) a prime number?
False
Suppose -106550 = -15*c + 132865. Is c a prime number?
False
Suppose 0 = -5*h + 15, -3*k - h + 11004 = -2*h. Is k a composite number?
True
Suppose 3*s + g + 6 = 24, 5*s - 29 = -2*g. Suppose 0 = -3*p + s*p - 16. Suppose 3*x + p*u = 147, -3 = -u + 2*u. Is x composite?
False
Let m(d) = 7*d**2 - d + 9. Let z(b) = -8*b**2 - 9. Let g(s) = 6*m(s) + 5*z(s). Let r(v) = 11*v**2 + 24*v + 24. Let i be r(-1). Is g(i) a composite number?
True
Let t(f) = f**2 + f - 4. Let y be t(-3). Suppose 256 = -8*q + 1648. Suppose -2*v - v = y*k - 281, -2*v + 2*k = -q. Is v a prime number?
False
Suppose -5*o = v - 13103, -5*v + 3*o + 13087 = -4*v. Is v a prime number?
True
Suppose -b + 5*p = 0, -5*b - 3*p =