= w - 17782 - 16185, 4*w = -5*n + 42467. Is n composite?
True
Suppose -38*d + 33*d - 867 = -f, 3506 = 4*f - d. Is f prime?
True
Suppose 4*g + p = 26398, -g + 4280 = 3*p - 2325. Is g a prime number?
True
Let n = -672 + 327. Let b = -196 - n. Is b a composite number?
False
Let r(x) = -x**2 + 4*x + 13. Let f be r(6). Let v be 2 + -6 + (f - -1075). Suppose -30 = -2*m + v. Is m a prime number?
False
Suppose 0 = -5*r - 2*g + 7*g + 3335, 4*r - 5*g - 2666 = 0. Suppose -3*k + 4*a - 205 = -2244, -k - 4*a + r = 0. Is k prime?
True
Suppose -3*n - 5*i - 1105 = 2*n, 684 = -3*n + 4*i. Let v = n - -105. Let d = v - -198. Is d a composite number?
False
Let f(x) = 7 - 303*x - 74*x + 76*x - 40*x. Is f(-2) a prime number?
False
Let s = 11 - 8. Suppose -5*j + s*q = -495, 5*q - 11 = -36. Suppose 2*b - z = 39, 5*b - 2*z + z - j = 0. Is b a prime number?
True
Let p = -227 + 51. Let c = 213 - p. Is c composite?
False
Suppose 0 = -5*w - 3*v + 3, 3*w - v - v - 17 = 0. Let d(g) be the second derivative of 5*g**3/3 - 5*g**2/2 - g. Is d(w) composite?
True
Is (2 + -6)*(23511/(-6) + -8) a composite number?
True
Let i be 31713/(-155) - 3/(-5). Let a = 1895 - i. Is a prime?
True
Suppose 3*j = 6*j - 1893. Is j a composite number?
False
Let x(k) = -16732*k**3 + k**2 - 5*k - 5. Is x(-1) composite?
True
Let l(w) = 4667*w + 98. Is l(9) a composite number?
False
Let h = -347 + 517. Suppose 0*z = -2*z + h. Let k = z - -12. Is k a composite number?
False
Let v(s) = 9*s**2 + 6*s - 4. Suppose -2*w + 8 = -22. Suppose 5*g - 2*x + 5*x + 6 = 0, 3*g - 2*x + w = 0. Is v(g) a prime number?
True
Is (-6)/20 + (-43973)/(-10) prime?
True
Suppose -5*i = -0*t + 3*t - 379, -3*i = 3. Suppose 5*h + c - 470 = 6*c, -4*c = -3*h + 285. Let q = t - h. Is q a composite number?
False
Suppose 2*q - 55 = 1563. Suppose -5*m + 966 + q = 0. Is m prime?
False
Suppose -4*d - 70605 = -5*a, 24648 + 17698 = 3*a + d. Is a composite?
True
Is (-5258)/(-6) + (4/6 - 0) composite?
False
Let n(v) = 3*v - 1. Let o be n(2). Let p = -596 + 860. Suppose 3*h - p = -q - 0*q, 0 = -o*h + 3*q + 454. Is h a prime number?
True
Suppose 5*k + 3*r - 32 = 0, r = -k + 3 + 5. Let t(m) = -19 - 2*m - 3*m + m**2 - k*m. Is t(13) prime?
False
Let c(g) = -2*g**2 - 2*g + g + 5*g**2 - 2*g**2. Let i(u) = 2*u**2 + 2*u + 7. Let m(z) = -c(z) + i(z). Is m(7) a prime number?
False
Let f = 21329 + -38361. Is 15/10*f/(-12) a prime number?
True
Suppose -12*b + 8*b - 56936 = -4*z, 3*z - 42707 = 2*b. Is z composite?
True
Suppose 0 = 5*i + 3*h - 39508, -106*i + 110*i = -5*h + 31609. Is i a composite number?
False
Let o = -7505 + 12098. Is o prime?
False
Let u(d) = 3*d**2 + 2*d - 1. Let h be u(-2). Suppose -h*x + 30 = -x. Suppose 3*c - 4*c = t - 34, -4*t + x*c = -145. Is t composite?
True
Let u be -10 + 14 + -1 + 2. Let d be 23/1*(6 - u). Let b = 136 - d. Is b a composite number?
False
Let p = -12 + 21. Suppose -4*o + p*o - 2*s - 29 = 0, -4*o = 2*s - 16. Suppose 0 = -o*j + 4*v + 1315, 3*v + 437 = 2*j - 89. Is j composite?
False
Let q(m) = 175*m**3 - 2*m**2 - 3*m + 3. Let y be q(1). Let f = -106 + y. Is f prime?
True
Suppose 4*u - x - 259 = 0, -2*u - x + 152 = 3*x. Suppose 5*w - 279 = u. Let t = w - 10. Is t a composite number?
False
Let b(l) = -143*l**2 - 5*l - 5. Suppose 5*m + 2 = -18. Let z(k) = -71*k**2 - 3*k - 3. Let f(w) = m*b(w) + 7*z(w). Is f(-3) a prime number?
True
Let s be (38*-3)/((-10)/20). Suppose 3*n - s - 435 = 0. Is n prime?
False
Let d(n) = -n**3 - 7*n**2 + 8*n + 7. Let a(q) = -q**2 + 7*q + 11. Let k be a(9). Let s be d(k). Let z = s + 102. Is z a prime number?
True
Let v(u) = 106*u. Let s be v(-1). Suppose 5*c - 1538 = -538. Let m = s + c. Is m a prime number?
False
Is -111*(28132/(-12))/13 composite?
True
Let b(d) = 5*d - 8. Let i(t) = -4*t + 7. Let v(o) = -3*b(o) - 4*i(o). Let x be v(4). Suppose x = -5*m + 809 + 1266. Is m composite?
True
Suppose -2*b = -5*c - 2 - 2, -32 = -b - 5*c. Let a(m) = -m**2 + 12*m - 9. Let s be a(b). Is (-44)/(-3) + (-3)/s composite?
True
Let f = 1550 - -4404. Suppose y - 472 + f = 4*b, -4*y = -3*b + 4105. Is b composite?
True
Let s(h) be the first derivative of -3*h**2/2 + 1561*h + 19. Is s(0) composite?
True
Suppose 2*i + 16 = 2*q, -2*i + 2 = 4*q - 0. Let o be -4 + q + (-24)/(-4). Suppose -2*y = 3*y + f - 541, -o*f = -3*y + 347. Is y a prime number?
True
Let w = 4360 + -2330. Suppose -w = s - 3*s. Suppose -s = -5*a - 0*a. Is a composite?
True
Let p = 542 + -152. Suppose -5*r + p = -70. Suppose 0*f = 5*t - 3*f - 107, r = 4*t + 4*f. Is t composite?
True
Suppose 4*z = z - 2*r + 102, -z - 5*r + 21 = 0. Is ((-3)/9)/((-4)/z) a composite number?
False
Suppose 6*a - r + 6624 = 10*a, 4*r - 8269 = -5*a. Is a prime?
True
Let g(l) be the third derivative of l**5/20 - l**4/6 + l**3/2 + 31*l**2 - 2. Suppose -2*d - 3*d = 15, u = 4*d + 20. Is g(u) composite?
False
Suppose -912 = -4*o + 1996. Suppose 4*j - d = o, -d - 4*d - 377 = -2*j. Is j composite?
False
Is 7/((-42)/36) + 2455 composite?
True
Let t(h) = -367*h**3 + 4. Is t(-3) a composite number?
True
Let c = -25 - -28. Suppose -2*z - 1205 = -c*z. Is z a composite number?
True
Let n be 1 + (-1 - -2) + -29. Is (6/(-4))/((n/(-60))/(-3)) composite?
True
Is 0 + (-5982058)/(-58) - (-112)/1624 a composite number?
True
Let d(t) = 48*t**2 + 11*t - 67. Is d(6) a prime number?
False
Let w be (10*-4)/(26/(-871)). Suppose -4*n = -w - 608. Is n a prime number?
True
Let n be 2/5 - (-1988)/(-20). Let x be (-5)/10 - n/2. Suppose -x = i - 180. Is i composite?
False
Let i(d) = -8*d**3 + 4*d**2 - 6*d + 6. Let a(t) = -t**2 + t - 1. Let l(b) = -5*a(b) - i(b). Let c be l(-2). Let o = c - -100. Is o prime?
True
Suppose -a = -7 + 4. Let g(q) = 95*q**2 - 2*q + 2. Is g(a) composite?
True
Let a(d) = -d - 13. Let h be a(-15). Suppose l + 0*l + h*b = 210, 5*l - 1066 = -2*b. Is l composite?
True
Let b = -48 - -16. Let d be (-398)/(-4) - (-48)/b. Suppose 3*o - 463 = d. Is o a prime number?
False
Suppose k = 5*v - 84691, 2*k + 67754 = 4*v - 0*k. Is v/45*10/4 composite?
False
Suppose -o + 182 = -5*t, 5*t + 5 = -0. Is o composite?
True
Let y be (-16)/3*21/(-14). Is 22282/y + (-9)/36 composite?
True
Let d(a) = 2*a**2 + 21*a - 13. Let p = 61 - 35. Let l be -2 - 1*p/2. Is d(l) a composite number?
True
Let m = 8632 + -2641. Is m a prime number?
False
Let z(i) = 3*i**2 + 4*i - 27*i**3 + 18 - 11*i**3 - 17. Let c be z(-4). Suppose 698 = -3*v + c. Is v a composite number?
True
Is (346401/594)/((-2)/(-12) - 0) prime?
True
Let z(a) = -a**3 + 11*a**2 - 9*a - 10. Let f be z(10). Suppose 2*q = -f*q. Suppose -2*l + 4*l - 1114 = q. Is l composite?
False
Suppose 0 = -21*v + 34*v - 308347. Is v a composite number?
False
Let g be (-10 - 6/(-3))*-18. Let s = g + 147. Suppose v = 5*f + 350, 0 = -5*v + 5*f + 1479 + s. Is v prime?
False
Let y(z) = z**3 - 14*z**2 - 8*z + 10. Let v be y(11). Let h = v + 116. Let f = h - -483. Is f a composite number?
True
Suppose m = -3*a + 2*m, -2*a = 2*m. Suppose -1 = -3*v + 8. Suppose j + v*j - 1172 = a. Is j composite?
False
Suppose -6*k + 3 = -5*k. Suppose 0 = n + k*n - 80. Suppose 0*d - n = -2*d. Is d a composite number?
True
Let n(x) = -x**3 - 11*x**2 - 2*x - 24. Let v be n(-11). Is (2/(1 + -3))/(v/506) composite?
True
Let h be 3/(5/(325/15)). Let l = 150 + h. Is l a prime number?
True
Suppose 5*a + 3*d = 16, 3*a = -3*d + 2*d + 8. Suppose -a*i - 2*i + 6172 = 0. Is i prime?
True
Let k = -910 + 1322. Suppose k = 3*q + q. Let s = 172 - q. Is s composite?
True
Let a(d) = 75*d**2 + 10*d - 44. Is a(9) a prime number?
True
Is (-4 + 6)/(2/2039) composite?
False
Let c = -12982 - -21889. Is c prime?
False
Suppose -k - 18 = -3*o - 3*k, 5*k = o + 11. Let h(x) = x**2 - 7*x + 5. Let d be h(o). Is (-3594)/(-14) + (-2)/d prime?
True
Let p(t) = t + 34. Let w(u) = -u**3 - 8*u**2 + 8*u - 9. Let o be w(-9). Suppose 0 = -l - o*l. Is p(l) a composite number?
True
Let a = -405 + 820. Suppose 4*h + r = a + 216, -4*r = h - 154. Let m = h - 27. Is m a composite number?
False
Is ((6 - 4) + -1)/(1/10265) a prime number?
False
Suppose -y - 4*s = -3*y - 352, 2*s + 684 = -4*y. Let t = y + 803. Is t a prime number?
True
Let b(a) = a**2 + 14*a + 18. Let f be b(-12). Is (4 - 447/f)*2 prime?
True
Suppose 0 = 20*z - 124233 - 231427. Is z composite?
False
Suppose 2*f - 13045 = -5*h + 5*f, -4*f = 2*h - 5218. Is h a composite num