. Suppose t*c - 339 = -c + 2*b, 0 = c + b - 65. Is c composite?
False
Suppose 2*n = n + 1. Is (n - -263) + (-8)/8 prime?
True
Suppose -p - 2*p + 30 = 0. Let t = 47 + p. Is t prime?
False
Let k(y) = 3*y**2 - 25. Is k(-6) a prime number?
True
Suppose 3*d - 3*r - 1 = 5*d, 4*r + 3 = -d. Let t = 28 - d. Suppose 3*w - t = 3*z, 2*w - 10 = -z + 5*z. Is w a composite number?
False
Suppose 4*r - 4 = 0, 0 = 2*a + r + 232 - 4491. Is a composite?
False
Suppose -118 = -3*k + 4*g + g, 0 = 5*g + 25. Suppose -t + 3 = 0, -2*l + 18 + k = t. Is l composite?
False
Suppose -4*l - 3 + 19 = 0, -3*c + l = -5177. Is c a prime number?
False
Let z(s) = -s**3 - 12*s**2 - 4*s - 1. Let y be (-2)/4 + 46/(-4). Is z(y) a prime number?
True
Let i = -16 + 23. Let a = 13 - i. Suppose a = 4*s - 10, 0 = 2*b - 2*s - 102. Is b composite?
True
Let k be 1/((2/(-24))/1). Suppose 36 = 2*x - 6. Let a = x + k. Is a a prime number?
False
Let u = 341 + -178. Is u composite?
False
Let d be (-2 - 3908/6)*-3. Suppose d = 4*s + s. Suppose -10 + s = 2*r. Is r a prime number?
True
Let m(z) = -7*z**3 + 5*z**2 + 6*z + 9. Let v(s) = 13*s**3 - 10*s**2 - 12*s - 17. Let r(a) = -11*m(a) - 6*v(a). Is r(5) a composite number?
True
Let x(r) = r**3 - 8*r**2 + 9*r - 7. Let a be -2 + (-27)/6*-2. Let f be x(a). Suppose -4*k = -f*k - 6, 5*v = -k + 633. Is v a prime number?
True
Let o(x) = -x**3 - 2*x**2 + 3*x + 2. Let g be o(-3). Let h(s) = -s**2 + 4 - 2*s - g*s + s. Is h(-3) a prime number?
False
Suppose 3*u = -4*v, -2*u = 5*v - 0*v + 7. Suppose -3*l + 195 = -l + g, -393 = -u*l - 5*g. Is l a composite number?
False
Let b be 26/6 + 6/(-18). Suppose b*g - 365 = -105. Is g a prime number?
False
Suppose 0*x - 14 = -x. Suppose -3*z - x = 1. Is (-93)/(-15) - (-1)/z prime?
False
Is (2111 - 9)*2/2 a prime number?
False
Suppose 4*l - 6853 = -3*s, -s + 11437 = 4*s - l. Is s a composite number?
False
Let b be 2*(-2 + 28/8). Suppose 3*h - 242 = -h - 2*o, 3*h + 5*o = 199. Suppose -2*m - 5*r = -33, 0*m - h = -b*m + r. Is m prime?
True
Let z be (-36)/5*(-20)/(-6). Suppose 20 = -4*t, -4*t + 16 + 9 = i. Let w = z + i. Is w prime?
False
Let l(r) = -r**3 + 7*r**2 + 10*r - 8. Let i be l(8). Is (-166)/i*-2*6 a prime number?
False
Is (7 - 886)/((-6)/4) a composite number?
True
Let n(c) = -c**3 - 12*c**2 + 21*c + 19. Is n(-18) a composite number?
True
Let v(j) be the first derivative of j**4/4 - 3*j**3 + j**2/2 + 10*j - 1. Is v(9) a prime number?
True
Suppose -3*y + 41 - 350 = 0. Let s = -68 - y. Is s a composite number?
True
Let w(n) = -3*n - 8. Let x(p) = 3*p + 9. Let c(h) = 3*w(h) + 2*x(h). Let k(d) = d - 3. Let g be k(-4). Is c(g) a composite number?
True
Let s(n) = n**2 + 4*n + 3. Let x be s(-4). Let y = x + 4. Suppose 2*i - 38 = -4*a, 5*a + 4 + y = 4*i. Is i a composite number?
True
Let d(y) = -19*y + 4. Let c be d(3). Let k = 110 + c. Is k composite?
True
Suppose 2*q - 6 = -4*u, -q + 2 = q. Let p be 20/(u*6/51). Suppose 0 = -5*r + 95 + p. Is r composite?
False
Suppose -6*r - 21928 = -14*r. Is r prime?
True
Suppose s - 14 = -5*a, 3*s + 0 - 24 = 3*a. Let z be -2 + 72 - (0 + -1). Suppose -2*b - 3*r - s = -z, -2*r + 31 = b. Is b composite?
False
Let j(g) = g**3 + 7*g**2 + 7*g + 8. Let s be -3 - 6*2/4. Let y be j(s). Suppose 4*m - y*m - 20 = 0. Is m a composite number?
True
Let s(d) = d**3 - 8*d**2 + 8*d - 6. Let k be s(7). Suppose 0 = -4*f + 15 + k. Suppose 0 = -5*g + 2*x + 170, f*g + 5*x - 102 = g. Is g composite?
True
Let f(o) = o - 5. Let y be f(0). Let g be (-2)/y - (-3819)/15. Is 1/(-4) - g/(-12) composite?
True
Suppose 3*s - 36 = -2*x, s - x - 2*x = 1. Is ((-2575)/s)/((-1)/2) a composite number?
True
Suppose -v = 1, 3*v - 563 = m - 1621. Is m a composite number?
True
Let f(r) be the second derivative of 11*r**4/12 - 4*r**3/3 + 5*r**2/2 + 10*r. Is f(-6) composite?
False
Let z be 0/(-4)*2/(-4). Suppose -3*m + 3*u + 94 - 28 = z, 5*u = -4*m + 79. Is m a prime number?
False
Suppose -z + 196 = s - 0*z, 0 = s - 2*z - 181. Is s a composite number?
False
Let y(k) = 2*k - 5. Let z be y(5). Let b = z - 2. Suppose -4*f = -b*x + 385, 0 = 4*x + 2*f + 3*f - 503. Is x a composite number?
False
Let b = 4898 + -941. Is b composite?
True
Suppose 3*l - 1967 = -5*o, 2*o + 419 = 2*l - 903. Is l a prime number?
True
Suppose 7*a = -b + 2*a + 13, -2*b - a + 8 = 0. Suppose o + 550 = b*t, 3*t - 5*o = 7*t - 765. Is t a composite number?
True
Suppose -4*f + f = -6, -5*k + 2709 = 2*f. Is k composite?
False
Is (-3 + 2)/((-2)/118) composite?
False
Suppose 0 = -n - 0*n + 5. Suppose 4*r = -n*a + 391, 3*r - 348 + 35 = -4*a. Is a composite?
False
Suppose -5*o = -10*o + 1315. Is o composite?
False
Let r(y) = -y + 14. Let a be r(6). Let b(p) = p. Let h be b(-2). Is 502*(-2)/a*h composite?
False
Suppose 4*k + 7604 = k - 4*s, -2*s + 7610 = -3*k. Let r be (-4)/(-18) - k/(-72). Is (-2055)/r - (-4)/14 prime?
True
Let j(q) be the first derivative of 53*q**6/360 + q**5/40 + q**4/24 - 2*q**3/3 - 2. Let u(a) be the third derivative of j(a). Is u(-3) a composite number?
True
Let o(u) = -u**2 + 5*u + 4. Let r be o(5). Suppose -l + 94 = 3*d, 4*l - r*d + 2*d - 390 = 0. Is l a prime number?
True
Suppose -3754 = -4*z + 2*p, 0*z + 4679 = 5*z + 2*p. Is z a composite number?
False
Suppose -72 = s + 2*s. Let y = 103 - s. Is y a composite number?
False
Let k(r) = 3*r**3 + 2*r**2 - 3*r + 7. Is k(3) prime?
True
Let q(l) = -92*l - 9. Is q(-11) a composite number?
True
Let l be 3 - (0 - (1 - 0)). Suppose -4*m + 152 = -3*m + x, 0 = l*m + 5*x - 611. Is m composite?
False
Let s be 0*(2 + -2 - 1). Suppose s = 5*f - 87 - 78. Is f prime?
False
Let t(d) = 578*d + 7. Is t(2) prime?
True
Let c(o) be the second derivative of 7*o**4/6 - o**3/3 - o**2 + 3*o. Is c(3) a composite number?
True
Suppose 0*u + 127 = u. Is u a composite number?
False
Suppose 0*r + 12 = r. Suppose -z = d + 23, 3*d = -4*z - 55 - r. Let l = 63 + d. Is l composite?
True
Let w = -126 - -215. Is w a composite number?
False
Let l = 78 + -29. Suppose -3*x + l = -2*n - 306, 5*x = -5*n + 550. Is x prime?
False
Let n(g) = 3*g**2 - 3*g + 2. Let c be n(3). Suppose -2*i - z - 2 = 0, -4*i - 3*z - 6 = -2*i. Suppose 4*w - 4*d - c = -i*w, -5*d + 25 = 0. Is w a prime number?
False
Suppose 2*i = -2*i - 5*t + 1725, -i - 5*t + 450 = 0. Suppose 3*p - 4*p = -i. Suppose -5*o + p = -0*o. Is o prime?
False
Let l(j) = 11*j**3 - 21*j**2 - 20*j - 5. Let k(h) = 7*h**3 - 14*h**2 - 13*h - 3. Let u(q) = 8*k(q) - 5*l(q). Is u(9) prime?
True
Let p(l) = -l**2 - 6*l - 6. Let s be p(-4). Suppose 3*v + s = 4*v. Suppose i = 3, 0*i + 88 = v*d - 2*i. Is d a composite number?
False
Suppose -12*u + 9*u + 3804 = 0. Is (-2)/(-6) + u/12 prime?
False
Let s(x) = x**2 - x + 2. Suppose -4*v - 3*p = -8*p - 15, 5*v = -4*p - 12. Let t be s(v). Suppose t*a - 24 = -4*k + 8, 9 = k + a. Is k prime?
True
Let f = 24 + -26. Let t(r) = 90*r**2 + 4*r + 1. Is t(f) a composite number?
False
Let c = 813 - 482. Is c a composite number?
False
Suppose 1 = 4*z + 5*s - 32, -z - 5*s = -27. Suppose -2*u - 3*u - i + 120 = 0, z*i - 65 = -3*u. Is u prime?
False
Let o(p) = p**3 - 6*p**2 - 4*p - 3. Is o(12) a composite number?
True
Let p(s) = 103*s + 6. Is p(5) composite?
False
Suppose -5*j - 5*o = -0*o - 440, 3*j + 5*o = 270. Is j prime?
False
Let w = 789 + 280. Is w a prime number?
True
Let q(u) = u**3 + 6*u**2 - 5*u + 3. Let z = 7 + -11. Is q(z) composite?
True
Suppose -1506 = -6*i - 0*i. Is i a prime number?
True
Let y be ((-6)/(-5))/(3/(-40)). Let v = 25 + -6. Let q = v - y. Is q composite?
True
Let d(l) = -l - 3. Let u be d(-3). Suppose u*p - 2*p + 218 = 0. Let v = p - 44. Is v a prime number?
False
Let j = -28 - -17. Let f(t) = -14*t + 12. Let o be f(j). Suppose -2*u + 0*u = -o. Is u composite?
False
Suppose -6*d + 132 = -3*d. Let r = d + 67. Is r prime?
False
Suppose 137 = 11*i - 105. Let t(v) = 10*v**3 - 2*v**2 + 1. Let n be t(-1). Let c = n + i. Is c prime?
True
Suppose b + 2*b = 0. Let s = b - -2. Let m = 4 - s. Is m a prime number?
True
Is (-30)/25*4190/(-4) prime?
False
Suppose 0*l = -4*l + 664. Let h = 235 - l. Is h composite?
True
Let q = -8 + 10. Let t(x) = x**2 - 4*x - 3. Let g be t(5). Suppose 0 = -g*h - 0*h - m + 182, -101 = -h + q*m. Is h prime?
False
Suppose -3*x = -4*h - 1261, -5*h - 5*x = 801 + 784. Let k = 534 + h. Is k a composite number?
True
Let r be (-4)/(-16) - (-1