 5*d + 52 = v, -5*v + d + i = 0. Suppose -v - 10 = -2*c. Is c a composite number?
False
Suppose 12 = 4*y + 2*x, -y - 8 = -4*x - 29. Suppose -b + 5 = -y*k - 6, 0 = -k. Is b composite?
False
Suppose 2*h - 2*l = -34, 2 = l - 2. Let x = 132 + h. Is x a composite number?
True
Let d(h) = 12*h - 3. Let a be d(6). Suppose f + a = 268. Suppose 5*m + 24 = f. Is m prime?
False
Suppose 3*t - 196 = -2*g, 0 = g - 0*t - t - 93. Is g a composite number?
True
Let u(x) = -6 - 47*x - 1 + 12*x. Suppose -24 = 4*y - 0*y. Is u(y) a prime number?
False
Let d be -4 - 5/(5/(-1609)). Suppose -5*t + d = -2*t. Is t a prime number?
False
Suppose z = -5, u + 0*z = -2*z + 507. Is u a prime number?
False
Let m(v) = -39*v. Suppose 4*t - 28 = -3*i, -3*t + 0*i - 3*i = -24. Suppose x - 3 = 8*c - t*c, 5 = -3*c - 2*x. Is m(c) a prime number?
False
Is ((-2)/3)/(2/(-447)) a prime number?
True
Is ((-20)/(-16))/((-3)/(-852)) a prime number?
False
Suppose t = 4 - 2. Suppose 0 = 5*d - o - 12, t*d + 2*o = 12. Suppose 2*i + d*a = 5*i - 54, 5*a = i - 6. Is i a prime number?
False
Suppose -2*w = 2*t - 314, 0 = -2*w + 2*t + 230 + 100. Is w prime?
False
Let u(f) = -f**3 - 7*f**2 - 5*f - 4. Let x(a) = 5*a**3 + 28*a**2 + 21*a + 16. Let w(n) = -9*u(n) - 2*x(n). Let g = 16 + -11. Is w(g) composite?
True
Let p = 1 + 12. Let r = 36 - p. Is r composite?
False
Suppose 1448 = 3*n - 67. Is n a prime number?
False
Let x be 150/(-20)*(-8)/(-6). Is x/(-20)*(-298)/(-1) composite?
False
Let q(k) = 13*k + 3. Let s(l) = -l + 1. Let h(p) = q(p) - 4*s(p). Is h(4) prime?
True
Is -1 - 3 - (-6 - 305) a composite number?
False
Let q = 0 - -4. Let n(o) = 5 + 4*o - 1 - 1. Is n(q) a prime number?
True
Suppose -s + 9 = 3*u + 3*s, -4 = -u - s. Suppose -u*r - 1335 = -5*i - 2*r, 8 = 4*r. Is i prime?
True
Let b(t) = 8*t + 6*t**2 + 3*t**2 - 11*t + 5. Suppose 0 = 4*g + 1 + 15. Is b(g) composite?
True
Let y be ((-41)/1)/(0 - 1). Let j = 36 + y. Is j a composite number?
True
Suppose -3*x + 119 = 3*c - 2*c, 0 = 3*x - 3. Let g = c + 25. Is g prime?
False
Let z be (5 + -4)/((-2)/(-6)). Let s(f) = 7*f**2 - 4*f + 2. Is s(z) a prime number?
True
Let x(n) = 93*n + 21. Let p be x(-10). Let q = -588 - p. Is q a composite number?
True
Suppose -110*w - 4955 = -115*w. Is w prime?
True
Is ((-16)/(-16))/(1/359) a composite number?
False
Let j(n) be the first derivative of 5*n**4/6 - n**3/6 - n**2 + 4*n + 4. Let g(b) be the first derivative of j(b). Is g(-3) a prime number?
False
Let v = 68 + 137. Is v a prime number?
False
Let n(l) = 6*l - 4 + 0*l + 5*l. Let u be n(-3). Is 3/((-6)/2)*u composite?
False
Suppose -5*x - 10 = 0, -4*s + 220 = -0*s - 4*x. Is s a prime number?
True
Let i(n) = 6*n**2 - 5*n + 6. Let d(c) = 3*c - 1. Let o be d(2). Is i(o) composite?
False
Suppose 2*a = 4, -3*r + 44 = -2*r + 4*a. Suppose -4*y - 2*m = -236, y + r = 2*m + 95. Is y prime?
True
Let h(l) = l**2 + 6*l + 4. Let w be h(-6). Suppose 5*z + w*m = 181, -z - 3*z + 124 = -2*m. Is z a composite number?
True
Suppose -559 = -0*m - 4*m - 5*l, 4 = -4*l. Let d = m - 47. Let q = d - 41. Is q prime?
True
Let a = -1292 - -2089. Is a composite?
False
Let s be -1 - (-3 - (1 - 2)). Let n(y) = 3*y + 1. Let r be n(s). Is (5/r)/(1/28) composite?
True
Suppose 5*m - 1376 - 1539 = 0. Is m composite?
True
Let m be 5 + 6/(0 - 3). Suppose 2*d = 5*u - 1049, -m*u + 835 = u - 3*d. Is u composite?
False
Let t = 2 - 1. Let s be -2 - -181 - (3 - t). Is (-2)/(3 - 5) + s a prime number?
False
Suppose 2*t - 5*a - 10 - 8 = 0, -7 = -t + 2*a. Is 0 + (-2 - t*21) a prime number?
True
Let s = 32 + 109. Is s composite?
True
Is (-4 - -7 - 2) + 952 composite?
False
Let s = 1723 + -362. Is s composite?
False
Let l = 288 + -110. Is l a prime number?
False
Suppose -q - 3*a = 33, -a + 67 = -3*q - 2*a. Is 1124/6 + 7/q composite?
True
Suppose 2*r - r + w = 1253, w = -4*r + 5024. Is r a prime number?
False
Suppose 5*q + 252 = 7*q. Let i = q - 79. Is i a composite number?
False
Let r(a) = -3 + 0 - 3*a - 5*a. Suppose 2*n = 3*i + 2, -3*n = 5*i - 3*i + 23. Is r(n) composite?
False
Suppose -4*z - 351 = -k, 0 = 5*k - 5*z - 1106 - 634. Is k a composite number?
False
Suppose 4*a - 13 = 3*z, 2*a + 0*a + 43 = -3*z. Let t = -8 - z. Is -1 + 56 + (t - 3) prime?
False
Let q = -153 + 222. Suppose 3*a = 840 + q. Is a prime?
False
Let y(t) = 24*t - 2. Let r be y(2). Let p = -27 + r. Is p prime?
True
Suppose t = -7 + 122. Is t prime?
False
Let l = 110 - -155. Is l composite?
True
Suppose 2*b = 3*b. Suppose b = -m + 250 - 59. Is m a prime number?
True
Let n be (-1 - -1*5) + 0. Suppose -a = -5*p + 95, 2*p + 5*a + 15 = n*p. Let m = p + -13. Is m prime?
True
Let o = 531 - 335. Suppose -d - o = -5*d. Is d a prime number?
False
Let d(g) be the second derivative of 0 - 1/3*g**3 - 2*g**2 + 3/4*g**4 - g. Is d(-3) a composite number?
False
Suppose -a + 3*g = 4, -3*a + 0*g + 4 = -g. Let d be 1 + 44*a/4. Let i = d + 62. Is i prime?
False
Let u = 2390 - 1329. Is u prime?
True
Let m(o) = -8*o + 1. Let g(w) = -4*w + 1. Let x(f) = 7*g(f) - 3*m(f). Let c be x(7). Let s = -11 - c. Is s prime?
True
Let w = 4 + -4. Let x = 4 + w. Suppose 5*a + 2*u - 121 = 0, -5*u = 6 + x. Is a a composite number?
True
Let p = 2303 + -1534. Is p prime?
True
Let f = 5 + -9. Is ((-12)/(-9))/f*-111 prime?
True
Let n(u) = u**2 + 2*u - 8. Let a be n(-7). Suppose -3*g = -5*b + a, 2*b + 3 = -2*g + 1. Let q(o) = -o**3 + 3*o**2 + 3*o + 4. Is q(b) a composite number?
False
Let d(q) = q**2 - 3. Suppose -5*o = 25, -l - 5 = o + 2*o. Is d(l) a composite number?
False
Let q(j) = -2*j**3 + 2*j**2 + j. Suppose 0*l - 16 = 4*x + l, 0 = 4*l + 16. Is q(x) a composite number?
True
Let w(r) be the third derivative of r**2 + 0 - 29/12*r**4 + 1/6*r**3 + 0*r. Is w(-4) a prime number?
True
Let h(j) = j**3 - 6*j**2 + 6*j - 2. Is h(7) composite?
False
Let q be 1/(41/(-21) + 2). Suppose 0*t + 3*t + 8 = 4*v, v = -5*t - q. Is (-30)/t*(-44)/(-6) composite?
True
Suppose 2*d - 15 = -51. Let r be d/4*4/(-6). Suppose -392 = -r*o - 137. Is o a composite number?
True
Let m = 56 + 9. Is m composite?
True
Let n be (-124)/(-8) - (-1)/2. Suppose 0 = k - 77 + n. Let i = k + -35. Is i prime?
False
Is -2 + 0 + 4 - -83 a composite number?
True
Suppose -3*v + 8*v - 355 = 0. Is v composite?
False
Suppose 12*j - 17*j + 2785 = 0. Is j a prime number?
True
Let j be (-8)/(-12) + 3613/3. Suppose 4*t - t - 4*x = j, -5*x = -t + 420. Is t a prime number?
False
Let g be (-201)/(0 + -3)*3. Suppose -4*y = -y - g. Is y composite?
False
Let n(w) = w**2 - 3 + 3*w - 3*w - 5*w. Let q be n(6). Let b(a) = -a**3 + 3*a**2 + 2*a + 4. Is b(q) a prime number?
False
Suppose 0 = -a + 4*a - 12. Suppose -6 + 62 = a*r. Is r a prime number?
False
Suppose x + 6 = -0. Let s(c) be the first derivative of c**4/4 + 3*c**3 + 3*c**2 - 7*c + 8. Is s(x) a prime number?
False
Suppose 0 = -2*b + 3*b. Suppose b*m + 4*m = 8. Is m prime?
True
Suppose 5*m - 26 = 19. Suppose 2*w = -3*l + 9, 5*w + 3*l - m = 9. Suppose 3*o + w*x - 153 = 0, x = 3*o - x - 173. Is o composite?
True
Let p(f) be the second derivative of -f**4/12 - 7*f**3/6 + 7*f**2/2 - f. Is p(-7) composite?
False
Let s = 14 + -9. Suppose -49 = s*r - 224. Is r composite?
True
Is 7/((5/(-601))/(-5)) composite?
True
Is ((-1998)/(-10) - 2)*5 prime?
False
Let c(x) = -x**2 + 11*x. Let v be c(11). Suppose 0*o - 3*o = v. Suppose -5*k + o*k = -265. Is k composite?
False
Suppose -3*d - 255 = 183. Let o = d - -218. Suppose o - 25 = w. Is w a composite number?
False
Suppose 0*w - 4 = -w. Suppose -5*v = w*h - 770, 2*v = -3*h + 348 - 40. Let q = -69 + v. Is q prime?
False
Let b(w) = w**3 - 11*w**2 - 12*w - 10. Let f be b(12). Let s = f + 225. Is s a prime number?
False
Suppose 3*t - 30 = -2*t. Let j(y) = 3*y**2 - 4*y + 1. Is j(t) prime?
False
Suppose -g - 30 = -247. Is g composite?
True
Let f(w) = w**3 + 9*w**2 + 7*w + 6. Is f(5) prime?
False
Suppose 0 = -5*j - 21 - 24. Let s(y) = -y**2 - 19*y + 5. Is s(j) a prime number?
False
Suppose -4*j = 16, f + 2*f = 2*j + 38. Let w = f - -4. Is w prime?
False
Let p(g) = 37*g**2 - 2*g - 3. Let u(y) = y - 4. Let k be u(2). Is p(k) a composite number?
False
Suppose 0 = -0*i - 2*i + 2038. Is i composite?
False
Let g(j) = 337*j**2 - 3*j. Let q be g(2). Suppose 5*w = 3*w + q. Is w a prime number?
False
Let l be 147/(-9) - (-2)/(-3). Let f be (l + -1)/(14/(-35)). Let m = 8