pose 0 = 4*c + 5*n - 203, 0 = n - 0 - 3. Suppose 5*d + 392 = -3*x - c, 5*d + 445 = -5*x. Let t = 143 + d. Is t a composite number?
True
Let u(i) = 1599*i - 205. Is u(6) a composite number?
True
Let v(f) = f**2 + 3*f + 6. Let x be v(-5). Suppose c - 4*h = -c + 1494, -4*h = x. Is c a prime number?
True
Suppose -222*x - 110449 = -226*x - 3*a, 5*a + 138070 = 5*x. Is x a prime number?
False
Suppose -4*t = 3*h - 58 - 0, 5*h - 92 = -2*t. Suppose -4*c + 58 = h. Let m = 13 - c. Is m a prime number?
True
Let m(g) = 7157*g - 3. Is m(2) a composite number?
True
Suppose 0 = 40*m - 43*m - 6. Is (11/33)/(m/(-1086)) a composite number?
False
Let l = 47 + -46. Is 104/l + (-1 - (1 + -1)) composite?
False
Let n(i) = 826*i + 192. Is n(11) prime?
False
Is (-4)/(-18) - (341364/(-108) - 2) a prime number?
True
Let x = -490 + 1062. Is x/(1 + 3) + 0 prime?
False
Let c(a) = 31*a**2 - 4*a + 7. Let q be c(5). Let d = q - 251. Is d prime?
False
Suppose -4*t - t + b = -13290, -3*b - 15 = 0. Is t a composite number?
False
Let o = -2 - 3. Let p(s) = 0*s + s - 13*s - 3 + 8. Is p(o) composite?
True
Suppose -q + 11*y + 12091 = 7*y, 0 = q - 3*y - 12086. Is q a composite number?
False
Let m(x) = x**2 + 8*x - 3. Let y(d) = -d**2 - 7*d + 4. Let a(k) = -3*m(k) - 4*y(k). Let b be a(-6). Is (-1780)/(-50)*b/2 a composite number?
False
Let d be 2 - (-1 - -9)/((-2)/(-116)). Let r = 667 + d. Is r a composite number?
True
Suppose b = 2*i + 1, 0 = 4*b + 2*i - 12 - 12. Suppose -6 = -b*w + 2*w. Suppose -w*y - 418 = -1184. Is y prime?
True
Is ((-64)/128)/((-1)/230818 - 0) a prime number?
False
Suppose c - 13369 = 2*j, -5*c - j + 27181 = -39653. Is c prime?
True
Let t = -32 - -32. Is (-1 + t)*(-9 - 880) prime?
False
Let m = 23 - 19. Suppose 2*c + 1166 = m*a, -2*c = 3*a - 4*c - 875. Is a a composite number?
True
Let f(u) be the second derivative of u**3/6 - u**2 - u. Let q be f(-3). Let i = q + 48. Is i a prime number?
True
Let x = -130623 - -217958. Is x a composite number?
True
Suppose -v = v + 6. Let y be 3/3 + 1 + 1. Is v*1/y + 4 prime?
True
Let x(j) = j + 2. Let n be x(1). Let c(v) = 0*v + 5*v**2 + 4 + 4*v - 3 - n*v. Is c(3) prime?
False
Is 0 + 1 - 4 - (-8215 - -65) a composite number?
False
Let t(k) = -2*k**2 + 17*k + 22. Let o be t(10). Is 8609 - (-1 - -1)/(4 + o) a prime number?
True
Let x = 4 - -13. Suppose 15*l = x*l - 4918. Is l a prime number?
True
Suppose 0 = -9*x + 18180 - 5913. Is x a composite number?
True
Suppose 3*z = -8*b + 10*b - 9956, 14951 = 3*b + 4*z. Is b a prime number?
False
Suppose 5 + 3 = 2*p. Suppose -p*m = -2361 - 707. Is m a composite number?
True
Let n be (-3)/(-9) - (-24)/9. Is 15253/21 - (-2)/n a prime number?
True
Suppose 5*y = -4*z + 182, y + 5*z - 57 = -8. Is -5 - (y/(-1) - 5) prime?
False
Suppose -13557 = -w + 4*p - 1656, p = 0. Is w a prime number?
False
Let q(o) = 3 - 2 - 10*o - 3 + 3*o. Let i be q(-2). Suppose 0 = -a + i - 3. Is a prime?
False
Let x = -15 - -19. Suppose 0 = -0*n - x*n + 2552. Let d = n + -379. Is d prime?
False
Suppose -2*a + 105 + 99 = 0. Suppose -a = 9*o - 12*o. Is (o/(-5))/((-6)/30) composite?
True
Let c(s) = -7*s + 24*s + 8*s + 5*s + 6. Let v be c(9). Let y = 425 + v. Is y prime?
True
Suppose -d = -k + 1545, -4 = -d - 8. Is k prime?
False
Let w = 5783 + 10400. Is w composite?
False
Let o be 15/((-2)/(-1) + -1). Suppose -5*g = -o, 0 = -2*l + l + g + 2543. Is l/4 + 57/(-38) a prime number?
False
Let g(h) = h + 5. Let l be g(0). Let r(z) = 5*z**2 + 4*z. Let y(j) = 24*j**2 + 19*j. Let k(f) = 11*r(f) - 2*y(f). Is k(l) prime?
False
Let g = -16 - -1. Is (0 + 1)/(g/(-10095)) composite?
False
Suppose o - 101 = 96. Suppose n + 3*s = o, -5*s + 401 = 3*n - 178. Suppose 0 = 3*r - r - n. Is r prime?
False
Let x = -14 + 10. Let o be (-9)/(-18) - 1018/x. Suppose -6 = b - o. Is b a composite number?
True
Suppose 205916 = 25*b + 5841. Is b prime?
False
Suppose -4*n + 112 = -2*n. Let h be 2/(-8) - (-70)/n. Let q(s) = 209*s + 2. Is q(h) a prime number?
True
Let b(k) = -k**3 + 13*k**2 + 24*k - 25. Suppose -q - l + 13 = 1, 10 = 2*q - 5*l. Is b(q) composite?
True
Let i = 6285 - 4316. Is i composite?
True
Let r = -7 - -6. Let m = r - -3. Suppose n = -m, 3*c - 361 = -0*c + 2*n. Is c a prime number?
False
Let r(g) = 17*g**2 + 14*g + 18. Let q = -28 - -23. Is r(q) composite?
False
Let q = -10 + 10. Suppose q = 13*z - 8*z - 820. Let g = 93 + z. Is g prime?
True
Let v = 0 - -12. Let w(m) = -10*m**2 + m. Let r be w(1). Let g = v + r. Is g composite?
False
Suppose 0 = 5*i, 0 = 3*d + d + 3*i + 4788. Let k = d + 2298. Is k a prime number?
False
Suppose 2*b + 1 = -3. Let f(a) = 2*a**2 + 1. Let c be f(b). Is 0 + (-39)/c*-3 a prime number?
True
Suppose -11*y = -30*y + 7049. Suppose -2*w + 428 = 4*l, -5*l = w - 174 - 40. Let b = y - w. Is b prime?
True
Suppose j - 2*j - 3*b + 2482 = 0, j + 4*b - 2483 = 0. Is j prime?
False
Suppose 23*z - 7 = 16*z. Suppose -5*x = -4*k + 110 - 363, 8 = -4*k. Is z + (x - (-2)/(-2)) a composite number?
True
Let n(k) = -k**3 + 25*k**2 + 26*k + 121. Is n(25) prime?
False
Let u(m) = -16*m**3 - 7*m**2 - 7*m + 25. Is u(-6) composite?
False
Let k(s) = -s**3 + s**2 + 5*s + 7. Let g be k(-4). Let i = g + -16. Suppose 3*u - 522 = -i. Is u prime?
True
Let q be ((-514)/(-8))/(4/16). Let l = -144 + q. Let j = 190 - l. Is j prime?
False
Suppose 0 = -3*s - 4*x + 32, 0*s + 3*x = -4*s + 31. Suppose 3*q + 13 = s. Let y(d) = 13*d**2 - 4*d. Is y(q) prime?
False
Suppose -59*i - 13998 = -65*i. Is i composite?
False
Let k = 659 - 352. Is k a prime number?
True
Let b(c) = 3*c + 6 - 14 - 2*c. Let t be b(-6). Is 25749/63 - 4/t prime?
True
Let x(f) = -f**2 - 3*f + 33. Let d be x(-9). Is (20279/d)/(2/12*-2) a prime number?
True
Suppose -5*n + 351 = -f - 39, 0 = 4*f - 5*n + 1590. Let o = -201 - f. Is o a prime number?
True
Let l(z) be the first derivative of -11*z**4/4 + z**3 + z**2 - 2*z - 6. Is l(-2) a prime number?
False
Suppose 3 = 2*g - 5. Suppose -5*m + 5*i + 1024 + 56 = 0, -m + 213 = -g*i. Is m a prime number?
False
Suppose 36*d - 33*d - 37353 = 0. Is d prime?
True
Let j(q) = 29*q**2 + 50*q - 50. Is j(-17) prime?
True
Let b be (11/(-2))/(3/(-6)). Let r(l) = -191*l - 55. Let n(k) = 38*k + 11. Let q(a) = 11*n(a) + 2*r(a). Is q(b) a composite number?
True
Suppose 0 = -v - 3*j - 18, -3*j = -3*v + 2 + 4. Let m(f) = -11*f**3 + 3*f**2 - 4*f + 1. Is m(v) a composite number?
False
Let u(b) = -2*b + 7. Let z be u(2). Suppose -r = -2*x - 443, z*x = -2*r + 538 + 355. Is r prime?
False
Let k be (-1 + 69)/(-2*1/(-2)). Suppose -3*r - 4*b + k = -26, -8 = 4*b. Is r a prime number?
False
Suppose -20 + 6 = 2*u. Let o(a) = a + 9. Let h be o(u). Let v(y) = 37*y**3 - y**2 - 2*y - 1. Is v(h) composite?
True
Let f be 3/((-21)/214) - 32/(-56). Is (10812/18)/((f/9)/(-5)) a composite number?
True
Suppose -128016 = -14*l + 5*l. Suppose g - 704 - 2144 = 3*v, -5*g + l = v. Is g prime?
False
Let d(p) = p**3 - 6*p**2 - 6*p - 4. Let s(h) = -4*h**2 + 4 - 4 - 8*h**3 - 2*h + 2*h**2 - 1. Let u be s(-1). Is d(u) a prime number?
True
Let j(c) be the third derivative of 0 - 1/24*c**4 - 1/6*c**3 - 1/40*c**6 - 1/30*c**5 + 0*c + 5*c**2. Is j(-5) a prime number?
False
Let d(k) = 6*k**3 - 12*k**2 + 4*k - 3. Is d(8) a composite number?
False
Let b(a) = 2*a**3 + 5*a**2 - 11*a - 9. Let s be b(-7). Let p = s - -666. Is p a prime number?
True
Suppose 2*q + 6 = -q. Is (q - -295)/(0 + (-2)/(-2)) prime?
True
Let r(w) = w**3 - w - 1. Let q(t) = 17*t**3 + 3*t**2 + 6*t + 3. Let h(g) = -q(g) - 2*r(g). Suppose -1 + 13 = -4*p. Is h(p) prime?
False
Suppose -2*s = -13*s + 115775. Suppose 4*g + 6287 = 3*j, -j + 5*g = -6*j + s. Is j a prime number?
False
Suppose 3*x = -3*m + 1440, -5*m + 5*x = -2*m - 1432. Is m composite?
False
Let l(n) = -40*n + 9. Let g = -8 + -8. Is l(g) composite?
True
Suppose 4*k = -4*t + 6*k + 10, 0 = -5*t - k + 16. Let x be (1082/(-4))/(t/6). Is (x - (3 + -3))*-1 a composite number?
False
Suppose -38*w = -41*w - 222. Let m = 1141 + w. Is m composite?
True
Let u(f) = 1999*f - 108. Is u(13) a composite number?
True
Let k(x) = -3*x**2 - x**2 + 5 + 7*x**2 + 4*x. Suppose m - 4 = -i, 2*i = -9*m + 4*m + 8. Is k(i) prime?
False
Let r(z) = 15*z**2 - 7*z. Let s be r(6). Let c(h) = -h**2 + 7*h - 10. Let j be c(5). Suppose j*t + 3*t - s = 3*b, 4*t + 4*b - 640 = 0. Is t prime?
True
Suppose 5*s - 8288 = -f, f