k composite?
False
Let d = -26 - -17. Let j = -49 + 72. Let z = d + j. Is z a composite number?
True
Let r = 13 - 8. Suppose -3*h = -2*n + 70, 3*n - 3*h + 70 = r*n. Is n composite?
True
Let b be (-2 - -1)*(1 + -1). Suppose b*g + 45 = 3*g. Is g prime?
False
Let g(h) = h + 2. Let x be g(0). Suppose -x*f - 266 = 5*c - 50, 3*c + 5*f + 122 = 0. Let s = c - -75. Is s composite?
False
Let x(k) = k**3 + 3*k**2 - 3*k - 2. Suppose -15 = 3*q + m, -4*m = q + 16 - 0. Let n be x(q). Is (-3)/(-2)*(-52)/n prime?
True
Let s(q) = q**3 + 11*q**2 + 3*q - 3. Let o be s(-6). Suppose 3*n + 0*n = o. Is n prime?
True
Suppose -5*n - 906 = -3*k, -n + 930 = 3*k + 2*n. Is k a prime number?
True
Suppose 2*g = 5979 - 581. Is g composite?
False
Suppose 10*u - 4*u - 462 = 0. Is u a prime number?
False
Let z = 1 - -3. Suppose 2 = -z*w + 14. Suppose -12 = 5*g - 3*l - 82, 2*g = w*l + 37. Is g a prime number?
True
Suppose 0 = 5*h + 2*g - 10, 2*h - 4 = 3*g - 5*g. Suppose i + 5*t = t + 4, -2*t + h = -4*i. Suppose d = -i*d + 19. Is d a composite number?
False
Suppose 0 = -y + 5*s + 294, 3 = -s + 8. Is y prime?
False
Suppose 1 = 3*s - 5. Let x be (s/(-4))/(2/(-524)). Let c = x + -82. Is c a composite number?
True
Let o = 22 - 27. Let b(l) = l**3 + 5*l**2 - 11*l. Is b(o) a prime number?
False
Suppose 4*w - c = 6161, -2 = -c + 1. Is w a composite number?
True
Is 1268/(-1)*3/(-12) composite?
False
Suppose -s + 762 = 2*s. Is s composite?
True
Let b(w) = 44*w**2 + 4*w + 2. Let s(r) = -r**2 + 1. Let t(y) = b(y) - 5*s(y). Is t(2) prime?
False
Let o(z) = -102*z + 59. Is o(-25) composite?
False
Let x = 152 + -87. Suppose -4*n + 55 = 2*f + 13, -5*n = 3*f - x. Suppose 0 = -4*l + f + 27. Is l a composite number?
False
Let l(y) = -2*y**3 - 13*y**2 + 4*y + 13. Is l(-10) prime?
True
Suppose 2*a = -3*y + 7*y - 4, 4*a = -2*y - 18. Let z be 362/a - (-5)/10. Let q = z - -145. Is q composite?
True
Let t = -1925 + 3726. Is t a prime number?
True
Let x = 316 + -223. Is x a prime number?
False
Suppose -58 = -2*g - 2*g + 2*u, -4 = -g - 3*u. Is g a prime number?
True
Suppose -102 - 56 = 2*g. Let a = 3 + g. Is (-9)/(-6)*a/(-6) composite?
False
Let h(k) = -18*k + 5. Is h(-10) a prime number?
False
Let h be (4/10)/((-1)/(-40)). Let n = 144 - 84. Suppose -2*f + 5*m = -h, -f - 3*f - 4*m = -n. Is f prime?
True
Let j = -479 - -1052. Suppose 7*x = 4*x + j. Is x a prime number?
True
Let w(n) = -85*n - 27. Is w(-8) a composite number?
False
Let o(q) = -3 + 27 - q + q**2 + 2. Let h be o(0). Is (h/8)/(4/48) a prime number?
False
Let u = 6 - 4. Let j be u/(4/102)*1. Suppose 5*d = 2*b + j + 42, -3*b - 35 = -2*d. Is d prime?
True
Let n = 1198 - 1694. Let u = n - -789. Is u a composite number?
False
Let m = -5 + 11. Let g = 5 - m. Let h(f) = 14*f**2 - f - 1. Is h(g) a composite number?
True
Suppose -533 = -4*l - 0*a - 3*a, -2*l = a - 265. Is l composite?
False
Suppose 0*l - 3*l + 3 = -4*r, 4*l = -4*r + 4. Suppose 0 = -0*s + 4*s - h - 342, -5*s + 4*h + 433 = r. Is s prime?
False
Is (-1)/(-2) + 621/18 a composite number?
True
Let p = -4 + 11. Suppose -3*a + 2 = -p. Is a a composite number?
False
Suppose -4*b - 5*j + 9*j = -1544, 0 = -2*j - 8. Is b a prime number?
False
Let l(v) = 13*v + 6. Let m be l(7). Suppose 62 = 3*a - m. Is a composite?
False
Let s = 531 + -373. Let c = -112 + s. Is c a composite number?
True
Is ((-6)/4)/((-87)/47038) prime?
True
Suppose 2 = -6*s + 8*s. Let o(p) = 157*p**2 + p - 1. Is o(s) a composite number?
False
Suppose 3*m - 4*h - 47 = -0*m, -58 = -2*m - 4*h. Is m a prime number?
False
Suppose 882 = 3*i - 3*c, -7*i + 2*c = -3*i - 1174. Is i a composite number?
False
Let q(d) = -3*d - 5. Let a = 2 + -6. Let l be q(a). Suppose -2*g - l = -53. Is g a prime number?
True
Let h(g) = -g + 5*g**2 - 2*g**2 - 2*g. Is h(2) a prime number?
False
Let v(n) = 2*n**2 + n - 2. Let p be v(2). Suppose -5*x + 6 = -p*x. Let t(z) = -14*z**3 + z**2 - 3*z - 3. Is t(x) composite?
True
Let h = -626 + 1341. Suppose -h = -10*w + 5*w. Is w composite?
True
Let m(w) = w**3 - 5*w**2. Let j be m(5). Suppose -2*h - 3*a - 1245 = j, 0*h + 1235 = -2*h - 5*a. Is 2/4 + h/(-12) prime?
True
Let x = -310 + 536. Is x a composite number?
True
Let h = -18 + 23. Suppose -1228 = -h*p + 2*k - 433, -4*p + 629 = -3*k. Is p a composite number?
True
Is 183/4 - 3/(-12) a prime number?
False
Suppose 28 = -a - a + 4*i, 4*a - 3*i + 31 = 0. Let v(b) = 11*b**2 + 6*b + 3. Is v(a) composite?
True
Let n be 6/24 + (-1522)/8. Is ((-6)/10)/(2/n) composite?
True
Suppose 3*m + 347 = 4*m. Is m a prime number?
True
Let k(p) = 53*p**2 - 4*p - 5. Is k(-2) a composite number?
True
Let c be ((-2)/(-2))/((-2)/(-382)). Suppose -o + 0*o + c = 0. Is o composite?
False
Is 161 + (-3 - (1 - 0)) composite?
False
Let k = 11 + -32. Is (k/6)/((-3)/12) a composite number?
True
Suppose -i + 3 = -4*i, -2*i - 13006 = -4*k. Is k composite?
False
Let o = -27 - -113. Let j = o + -31. Is j a composite number?
True
Let u be 1/2 + (-28)/(-8). Suppose -u*p - 16 = -4*k - p, p = 4. Is k prime?
True
Suppose -92*m + 2524 = -88*m. Is m a prime number?
True
Let a(z) = -z**2 - 15*z - 1. Let w = 10 - 16. Is a(w) a prime number?
True
Let i = -14 + 41. Suppose 3*l - 30 = i. Is l prime?
True
Let l(v) be the first derivative of v**2/2 + 8*v - 2. Let d be l(-9). Let j(p) = 20*p**2 + p. Is j(d) prime?
True
Suppose n + 3*r - 1049 = 0, -692 = -3*n - 2*r + 2469. Is n composite?
True
Suppose -168 = -10*v + 7*v. Let x = v + 201. Is x a composite number?
False
Is ((-4)/12 - 0) + (-8108)/(-6) prime?
False
Let t be 4*(-1)/(-4) + 2. Suppose 4*r = -5*f + 171, 0 = -t*f + 5*f + r - 66. Is f composite?
False
Let t = -13 - -16. Suppose t*u = -5*j - u + 2487, -4*j + u = -1998. Is j a composite number?
False
Let i(b) = -308*b**3 - 2*b**2 + 1. Is i(-1) prime?
True
Let n(q) = 3*q + 1. Let b be n(1). Let d(l) = 0 + 2 - 21*l + 39*l. Is d(b) a prime number?
False
Is 111 + 2/3*-3 a composite number?
False
Suppose 0 = 3*h - 2*h - 14. Suppose -5*j + 5*s - h = -64, 0 = -3*j + s + 30. Is j a composite number?
True
Let i(k) = -k**2 + k + 1. Let a(p) = 5*p**2 - 4*p + 109. Let g(d) = a(d) + 4*i(d). Let n = -27 + 27. Is g(n) a composite number?
False
Let m(s) = s**2 - 257. Let t be m(0). Let n = -72 - t. Is n composite?
True
Suppose 0 = -3*s - 3*a + 2126 + 1921, -2*s + 3*a + 2678 = 0. Suppose 0 = 2*g + 5*p - 0*p - 900, 0 = 3*g + 5*p - s. Is g prime?
False
Let d = -3051 - -4612. Is d composite?
True
Let t be (-18)/(-8) + (-2)/8. Suppose 0 = t*m + 3*j - 139, m - 3*j + 7*j = 77. Is m a composite number?
True
Suppose -f + 4*a + 0 + 1 = 0, -4*f = 3*a + 15. Is 338*f/(-6) - 0 composite?
True
Suppose 5*l = -5*p + 725, 489 + 266 = 5*l - p. Let b = -71 + l. Is b a prime number?
True
Let d = -6 - 0. Let o = d + 8. Is 46 + o/(3 - 1) composite?
False
Suppose -312 = -2*u + 230. Is u a prime number?
True
Suppose -q - 5 = 0, q + 287 = 3*f - 3*q. Is f prime?
True
Let t = -8 + 13. Suppose 2*z - 57 = -t*v + 61, -4*z = -2*v - 236. Is z a prime number?
True
Suppose 5*w = 4*y - 21, -2*y - y + 15 = -4*w. Suppose 0 = -p - 3 + y. Suppose l = p*l - 175. Is l composite?
True
Let a = 2 + 0. Suppose -392 = -0*p - a*p. Suppose -3*h = -7*h + p. Is h a composite number?
True
Suppose 2*m - 1938 = c - 5*c, -2*m = -4*c - 1930. Is m a prime number?
True
Suppose -m + 370 = -6*m. Is m/(-2) + 0/(-5) prime?
True
Suppose -7*i + 805 = -2*i. Is i prime?
False
Let f(k) = -5*k**3 - k**2 + k + 1. Let b be f(-1). Let g = -4 + b. Let d = g + 31. Is d prime?
True
Let t = -211 - -324. Let o = t - 30. Is o prime?
True
Suppose 2*o - 5*q - 437 = 0, -o - q = -3*o + 441. Is o prime?
False
Suppose 6*x - 4*h = 7*x - 21, -9 = -3*h. Suppose 0 = m + 5, -x = -3*y - 2*m + 146. Is y a composite number?
True
Let n(o) = o**3 + 6*o**2 - 5*o + 8. Let w be n(-7). Let l = -4 - w. Suppose 4*x = -2*t + 48, -l*x - 5*t + 43 = x. Is x prime?
True
Let y be 3 + -3 + 5 + -2. Let q = -3 - -42. Suppose -212 = -4*v - 3*k, y*v - q = -2*k + 120. Is v composite?
False
Suppose 0 = -3*o + j + 6053, -2*o + 3*o - j - 2015 = 0. Is o prime?
False
Let y = -217 - -316. Suppose 3*k - y = d, 5*k + 3*d = 7*k - 66. Is k composite?
True
Is (-1 - -110)*-2*(-1)/2 a composite number?
False
Let i = 1265 - 684. Is i prime?
False
Let o(t) = 2*t + 1. Let h be o(2). Let k(m) = m**2 - 2*m - 4. Let u be k(-2). Suppose 0 = 2*y - h*c - 