*2/2 + 7*w - 2. Is j(-8) prime?
True
Let g be 2/(-4)*0 - -2. Let q(z) = -z**3 + 4*z**2 - 2*z - 1. Let h be q(g). Suppose -h*v + 30 = -108. Is v a composite number?
True
Let n(g) = 143*g**2 + 2*g - 2. Is n(1) composite?
True
Let o(q) = -96*q + 1. Let x be 7/2 - (-3)/(-6). Let i = 2 - x. Is o(i) prime?
True
Let l(b) = 5*b**2 - 4*b - 7. Let r(p) = -4*p**2 + 4*p + 6. Let d(n) = 3*l(n) + 4*r(n). Let j be d(4). Suppose -j*o = -26 - 16. Is o a composite number?
True
Suppose 0 = 3*z - 6*z + 129. Suppose 213 - z = 2*a. Is a prime?
False
Let h be (-3)/2*4/(-3). Suppose 0 = -2*w - h*w + 8. Suppose -3*i - 2*i + w*f + 227 = 0, 0 = -4*i + 3*f + 176. Is i composite?
False
Suppose 0 = -4*x - 2 + 18. Suppose 0 = -2*q - 3*q - x*v + 253, -v = -3*q + 162. Is q a composite number?
False
Let w(d) = d + 185. Suppose 0*c - 3*c = 0. Is w(c) prime?
False
Suppose -h + 235 = -0*h. Let t = h + -114. Is t composite?
True
Let x = -57 - -144. Is x a prime number?
False
Let h = 7 + -7. Suppose -5 = p - 2*j, 8 = -p - h*p + 3*j. Let q = 78 - p. Is q a composite number?
True
Let b = 18 - 15. Suppose -b*k = -4*k + 93. Is k a composite number?
True
Let g be (0 - (-2)/(-4))*-8. Suppose -2*h + g*o + 532 = 0, 5*o - 4 = 1. Suppose 2*t + h = 6*t. Is t composite?
False
Suppose 154 = 4*i - 3*r, -4*r - 4 = -2*r. Let d = -15 + i. Let x = 9 + d. Is x composite?
False
Let r(d) = d**3 + 13*d**2 + 14*d + 3. Is r(-10) prime?
True
Let g(z) = -z**3 - 3*z**2 + 6*z**2 + 5*z**2 - 6 + 4*z. Is g(4) composite?
True
Suppose 5*v = y + 2, y - 3*v = -y + 24. Suppose -m = -3*m - y. Let r = m + 20. Is r a composite number?
False
Let b be (-1)/(2/2 + 0). Let l(n) be the first derivative of 53*n**3/3 + n**2/2 + n - 2. Is l(b) a composite number?
False
Let h(n) = 38*n + 13. Is h(3) composite?
False
Suppose 2*d = 0, 2*m - 41 = -d + 63. Is 4/((-48)/(-9))*m composite?
True
Let n(f) = -f**3 + 17*f**2 - 19*f + 26. Is n(15) composite?
False
Suppose -2*c = 5*m - 3353, -3*m + 0*c + 2008 = 5*c. Is m composite?
True
Let j(l) = -l**2 + 8*l + 8. Let q be j(7). Suppose 2*k - 6 = -2*t, 5*t - 3 = -2*k - 0*t. Let f = q - k. Is f a prime number?
True
Let p = 325 - -64. Is p prime?
True
Let a = -1386 - -2899. Is a prime?
False
Let i = -317 - 281. Let b = -269 - i. Suppose 6*u - 5*u - b = 0. Is u a prime number?
False
Let y(v) = -5*v**2 - v - 4. Let c be y(8). Let m = 466 + c. Is m a prime number?
False
Suppose g + 1 = 6. Suppose -g*s = 2*q - 7*q + 470, -5*s + 306 = 3*q. Is q composite?
False
Let i be (-3294)/(-12) + (-1)/(-2). Let t = i - 109. Suppose -o + 4*h = -13 - t, 3*h + 664 = 4*o. Is o a prime number?
True
Let o = 0 - -2. Suppose 3 = -2*w - o*m + 1, 5*m + 15 = 0. Is w/7 - 369/(-7) a composite number?
False
Let c be 1/(-3) - 5240/(-6). Suppose -3*w = -0*w + c. Is (-4)/10 - w/15 a prime number?
True
Let t(k) = 7*k - 3. Is t(6) composite?
True
Is 1251/(-1 - 2)*4/(-6) composite?
True
Let t(j) = 10*j + 4*j + 15*j. Is t(7) a composite number?
True
Suppose 0 = 4*s - 659 + 151. Suppose -s = -3*t + 128. Is t a prime number?
False
Let v be (-2)/5*(-20)/(-4). Let n = 50 - -82. Is ((-1)/v)/(3/n) a prime number?
False
Is (-2 - -3592) + (8 - 9) prime?
False
Let g(n) be the second derivative of n**5/20 - n**4/12 - n**3/3 + 3*n**2/2 - 4*n. Is g(4) composite?
False
Is 1/3*(6 - -375) a prime number?
True
Let k be (0 - 0) + (-43 - 2). Let p = 41 - k. Let z = p - -20. Is z a prime number?
False
Suppose -4*b + 5 = -g - 5, -2*b - 2 = 3*g. Let v(x) = -51*x + 2. Let k be v(b). Let z = -42 - k. Is z a prime number?
False
Suppose 2*s - 5*l + 4 - 37 = 0, 0 = 2*s + l - 3. Let d = 6 - s. Suppose d*b = b + 77. Is b composite?
True
Let c(z) = -89*z - 1. Is c(-6) a prime number?
False
Let k = 50 - -36. Is k composite?
True
Suppose 0 = 5*g + 3*w - 5 + 2, 0 = -4*g + 5*w - 5. Suppose 5*t + o - 110 = g, -o - 28 = -t - 0*o. Let p = t - 0. Is p prime?
True
Let t = -64 + 98. Is t composite?
True
Suppose 5*r - 14 = 586. Is (-1 - 1) + r - -3 a composite number?
True
Let g(b) = 371*b**3 - b**2 + b. Is g(1) composite?
True
Suppose k - 9569 = -4*a, 4*k + 11977 = 6*a - a. Is a composite?
False
Suppose 4*a + 0*a = -4*b + 56, -5*a + 2*b = -35. Let g(u) = 5*u + 8. Is g(a) composite?
False
Let s = -297 + 500. Is s composite?
True
Let p = -1582 + 2227. Let l = -314 + p. Is l a composite number?
False
Suppose 3*m + 0*m - 4*j = 4, 0 = 2*m - 5*j + 2. Let o = m + -14. Let l = -4 - o. Is l prime?
False
Let w(j) = -j**3 - 2*j**2 + j + 7. Suppose 0*r + 3 = r, 2*d + 19 = 3*r. Is w(d) a composite number?
True
Let b(l) = l**2 + 8*l - 8. Let q be b(6). Let u = 10 + -53. Let k = q + u. Is k a prime number?
False
Suppose 0 = 5*d - 2*m + 12, 5*d + 36 = -6*m + 2*m. Let o be (-446)/10 - d/(-10). Let k = o - -76. Is k a prime number?
True
Let z = 82 + -23. Is z prime?
True
Suppose 2*d = 3*d - 471. Is d composite?
True
Let v(w) = 33*w - 2. Let r = 5 - -4. Let z be v(r). Suppose -2*n = 3*n - z. Is n a composite number?
False
Let w(z) = 5*z**2 + 0 + z**3 - 22*z + 26*z - 1. Let j be w(-5). Let s = -10 - j. Is s a prime number?
True
Let j(g) = -2*g**2 + g. Let m be j(1). Let k = m - -15. Is k composite?
True
Let k = -88 - -645. Is k prime?
True
Let s be (1/3)/((-2)/(-12)). Suppose s*l + 3*u - 96 = 15, 4*l - 4*u = 272. Suppose 0 = 4*x - x - l. Is x a composite number?
True
Suppose a - 3026 = -165. Is a composite?
False
Let v(m) = 56*m - 31. Is v(14) a composite number?
True
Suppose -4*t + 7*t = 0. Suppose t*m + 6 = m. Is m a prime number?
False
Let v(c) = c**3 + 9*c**2 + 7*c - 4. Let x be v(-8). Suppose m = 1, -5*m + x*m = -2*f + 27. Is f a composite number?
True
Suppose 3*n + y = -800, -5*y + 1092 = -2*n - 2*n. Let l = n + 399. Is l a composite number?
False
Let d be 3*2*(-4)/(-12). Suppose -3*b = 2*z + 2*b - 3, -d*b - 14 = -3*z. Is z a composite number?
True
Let c(z) = -z**2 + z. Let t be c(0). Suppose t = 4*b - 2*b - 242. Is b composite?
True
Let s be (-2)/(-5) + (-162)/(-45). Is s*((-204)/(-16) - -4) a prime number?
True
Suppose -4*t + 28 = 3*z - 12, 0 = -t + 3*z - 5. Let h = t - 6. Suppose h = w - 6. Is w composite?
False
Let l be (4/(-5))/(6/15). Let a(n) = 12*n**2 - 4*n - 5. Is a(l) a composite number?
True
Suppose -5*t + 4*t = 1. Is 152 - (-1 + -3 - t) a prime number?
False
Let w = -92 - -240. Suppose 2*p = 6*p - w. Is p a composite number?
False
Suppose 1919 = 4*i + 51. Is i a prime number?
True
Suppose 2*s - 5*v - 3759 = 0, -5*s + 2*s = -2*v - 5611. Is s a composite number?
False
Let u(w) = 22*w + 0*w**2 + 3 - 7 + 2*w**2 - 3*w**2. Let f be u(9). Suppose -291 = -3*g + 4*q + 48, 0 = g - 4*q - f. Is g composite?
False
Let u(i) = 19*i - 4. Is u(3) a composite number?
False
Suppose 267 + 102 = 3*z. Is z prime?
False
Is 18/12 + (-6675)/(-6) a composite number?
True
Suppose -l + 3*l = 0. Suppose l*j = 2*j - 430. Suppose -3*z + 7*z = -5*s + 213, 4*s + j = 5*z. Is z a composite number?
False
Let k(m) = 7*m**2 - 13*m - 17. Is k(10) prime?
False
Suppose -5*w = 3*l - 629, 5*w + 2*l - 623 = 8. Is w a composite number?
False
Suppose 0 = 4*r - 8080 + 2604. Suppose -5*l + r + 241 = b, 2*b = -2*l + 636. Is l a prime number?
False
Suppose -4*y = -2*y + 28. Let h = -26 - -49. Let g = h - y. Is g prime?
True
Let q(i) = -11*i. Suppose -7 = -4*n - 27. Is q(n) a composite number?
True
Suppose 4*a - 1193 = 1299. Is a composite?
True
Let p(a) = 71*a**2 - 8*a + 5. Is p(-6) prime?
True
Let j = 227 + -113. Suppose i + j = -2*i. Let m = -19 - i. Is m a prime number?
True
Is 100/45 - 2 - 3931/(-9) composite?
True
Let r = 15 - 13. Suppose -n = r*n - 261. Is n a composite number?
True
Let y(h) = 368*h**2 - 2*h + 1. Is y(1) composite?
False
Let l be (-18)/(-15)*30/9. Suppose -1544 = -3*a + 4*t, 5*a + 4*t - 2576 = 8*t. Suppose l*m - a = 2*u, -3*m + 385 = -2*u + u. Is m prime?
True
Is 0 + (-2)/(-3) + 23283/27 a prime number?
True
Let p be 401/7 - (-4)/(-14). Suppose 3*m + 0*m = p. Is m a prime number?
True
Let l = -2 + 2. Suppose 0 = 5*j - 178 - 167. Suppose l = -4*u - 5*t + j, 0*t - 2*t + 15 = u. Is u prime?
False
Let b = -599 + 863. Suppose -5*t = 3*y - 20, -2*t - 12 = -5*t - 4*y. Suppose t*a - 4 = b. Is a prime?
True
Let t(c) = -6*c - 7. Let k be t(-9). Suppose -a = -2*a + k. Is a prime?
True
Suppose 2*j + 0*j = 0. Let m(s) = s**2 - 6 + 3 + j. Is m(-3) a prime number?
False
Let v(w) = -12 - 8*w + 1 - 8*w + 3*w