 -4*x - 1, -5 = 4*x - 3*a. Let h(w) = 206*w**3 + 2*w**2 - w. Let t be h(x). Suppose 0 = 5*v - 128 - t. Is v a composite number?
False
Let f = 15 - 0. Suppose -2*y - 16 = 2*y. Let o = f - y. Is o composite?
False
Let r be (-75)/(-20) - 2/(-8). Suppose r*d = 248 + 1088. Is d prime?
False
Let m = -181 - -57. Let c = m + 267. Is c prime?
False
Suppose -3*x = -4*q + 274, -5*x = -15 + 5. Suppose -i + 2*p + q = i, 2*p = -8. Is i a composite number?
False
Let j(m) = 2*m**3 + 11*m**2 - 7*m - 3. Let r be j(-6). Suppose 0 = -5*u + r*a + 146 + 192, -2*u - a + 133 = 0. Is u composite?
False
Let c(l) = l**3 - 3*l**2 - 4*l - 2. Let r be c(-2). Is (r + 8)*14/(-4) composite?
True
Is 6 - -286 - (-6)/2 composite?
True
Suppose 0 = r - 4*n + 7*n, -2*r - 21 = -n. Let l be (0 - 0) + r/(-3). Suppose 5*y - 35 = -5*w, -5*y + 19 = -l*w - 16. Is y a composite number?
False
Let r(q) = 5*q**2. Let p be r(-1). Let k(u) = 25*u - 7. Is k(p) a composite number?
True
Suppose 876 + 2176 = 4*r. Is r composite?
True
Let o(j) = j**2 + 3*j + 2. Let c be o(-2). Suppose 126 = 2*k - c*k. Let y = -14 + k. Is y a prime number?
False
Is 6219/12 + 15/(-12) composite?
True
Suppose 0 = -2*k + 3*k - 154. Let i = k - -82. Suppose -i = -0*n - 4*n. Is n a prime number?
True
Let w = -472 - -328. Let q = w - -213. Is q a composite number?
True
Let d be 45 - ((-6)/2)/(-3). Let l = 78 - d. Is l a prime number?
False
Let m(i) = 24*i - 11. Is m(7) composite?
False
Suppose -13*a + 5*a + 7256 = 0. Is a prime?
True
Suppose 15*p - 7*p = 2488. Is p composite?
False
Let q = 0 + -3. Let z = -2 - q. Suppose -3*u - 5*s = -z, s - 3 = -3*u + u. Is u a prime number?
True
Let w(d) = -d**3 + 7*d**2 - 5*d - 9. Let f(m) = m**3 - 7*m**2 + 5*m + 10. Let i(a) = 3*f(a) + 4*w(a). Is i(5) a prime number?
True
Let u be 2/10 - (-1)/(-5). Suppose u = o - 3*o + 562. Let t = -196 + o. Is t prime?
False
Let d(s) be the third derivative of s**5/15 + s**4/6 + 7*s**3/6 - 4*s**2. Is d(8) prime?
False
Let l(t) = 57*t**2 - 26*t - 1. Is l(6) a composite number?
True
Is (-11516)/(-10) + 6/(-10) prime?
True
Suppose 30 = 5*n - 3*b - b, 0 = 2*n + 3*b + 11. Suppose 7 = 4*w - h, 0*w - 4 = 2*w - n*h. Suppose w*i - 375 = 24. Is i a composite number?
True
Let h(y) = -y**3 + 4*y**2 - y - 2. Is h(3) a prime number?
False
Let s(p) = 3*p + 2. Let b be s(-2). Is (57/b)/((-1)/4) a composite number?
True
Suppose 2657 = 3*o + r, 0 = 4*o - 4*r + 2*r - 3556. Is o prime?
True
Let u(s) = -13*s**2 + 13*s + 159. Let v(h) = 3*h**2 - 3*h - 40. Let c(m) = -2*u(m) - 9*v(m). Let f be c(0). Is f*1*3/6 a composite number?
True
Let z = 5 - 5. Suppose -f = -z*f + 2*u + 2, 2*f = -u + 2. Suppose g + 34 = 2*g - f*w, 5*g = -w + 170. Is g composite?
True
Let b(r) = 60*r**2 - r + 19. Is b(6) composite?
True
Let j = -1 + 3. Suppose -j*l = 70 - 10. Let v = 61 + l. Is v prime?
True
Is (-1773)/(-11) - 20/110 a composite number?
True
Suppose 2*g = -5*f + 2*f + 682, 5*f + 5*g - 1130 = 0. Suppose -f = -0*s - 2*s. Is s a composite number?
True
Suppose -y = -11 - 0. Suppose y - 207 = -2*f - p, -3*p + 491 = 5*f. Is f + (2 - 2)/(-3) a prime number?
True
Let o(u) = -u**2 - 9*u - 4. Let k be o(-6). Let j = -20 + k. Is 2 - 58/4*j composite?
False
Let v(c) = 5*c - 1. Let b(w) = w**2 + 7. Let i be b(0). Is v(i) composite?
True
Let m(o) = 50*o**2 + 2*o + 3. Is m(-2) a composite number?
False
Let c(u) = -u**3 + u**2 - 1. Let q be c(-3). Suppose -24 = -0*f + 5*f - 3*j, -f - 3*j - 12 = 0. Is (4 + q)*(-4)/f composite?
True
Suppose -3*x = -2*g + 222, -143 = -g - x - 32. Is g a prime number?
False
Suppose -3*b + 7*b = 5*s - 11, -s + 5*b + 19 = 0. Is 74 + 2/s - 3 composite?
True
Is 3/((-6)/(-310)) - -2 a composite number?
False
Suppose h + c - 31 - 130 = 0, h = 4*c + 186. Is h a prime number?
False
Suppose 0 = f + 7 - 2, -226 = -v + 3*f. Is v a prime number?
True
Suppose -r + 3*w + 3 = -2*r, -4*r = -w - 1. Suppose d - 247 = -2*d + f, r = -5*f + 10. Is d composite?
False
Suppose 4*v = 4*g - 36, 0*g + 2*g - 21 = v. Let m = g + -6. Suppose -m = -7*o + 4*o. Is o prime?
True
Let x = 2105 + -1146. Is x composite?
True
Suppose -10*f - 1042 = -12*f. Is f a composite number?
False
Suppose g - 140 = -q, -124 = -g + 4*q - q. Suppose 3*i + 4 = -3*n + 130, -3*n = 5*i - g. Is n composite?
False
Let y(n) = 15*n + 6. Let w(c) = -15*c - 6. Let l(v) = 2*w(v) + 3*y(v). Is l(7) composite?
True
Let r = 454 - 3. Is r a composite number?
True
Let q = 387 + -207. Let b = q + -117. Suppose -4*h + 13 = -b. Is h a composite number?
False
Let f(g) be the first derivative of g**5/60 - g**4/12 - g**3/3 - g**2/2 - 1. Let o(r) be the second derivative of f(r). Is o(5) a prime number?
True
Let k(z) = z + 6. Let j be k(-8). Let a = j + 1. Is (-9 + 6/(-3))*a a composite number?
False
Let c(t) be the third derivative of -t**3 + 0*t + 4*t**2 - 19/24*t**4 + 0. Is c(-5) a prime number?
True
Suppose -b = -3*m - 31, 4*b - 2*b - 53 = 3*m. Is b a prime number?
False
Let w be (-30455)/(-25) + (-3)/15. Suppose -7*m + m + w = 0. Is m a prime number?
False
Suppose -2*y + 37 = v, y = 2*y - 4*v - 41. Let f be (4/7)/(6/y). Suppose 3*b - 6*b + 5*j = -306, -382 = -4*b - f*j. Is b a composite number?
False
Let q(d) = 3*d**3 - 2*d**2 + d. Let z be q(2). Let g = -195 - -317. Is 4/z - g/(-18) prime?
True
Let w = -10 + 16. Let r(o) = o**2 + 5*o + 3. Is r(w) a composite number?
True
Suppose 6*d = 4*d + 4. Is d*(2 - 471/(-6)) prime?
False
Let v(c) = -c**2 - 7*c - 7. Let j be v(-5). Suppose 385 = j*s - 2*w, -2*s + w + 122 + 136 = 0. Is s composite?
False
Let y = 15 - 11. Suppose 3*q + 0*q = y*u + 151, 5*u + 149 = 3*q. Is q prime?
True
Is (129 - 2)/(-1 + 0 - -2) composite?
False
Suppose 3*q + 7 = -4*m - 5, -16 = 2*m - q. Is (1 + 37)/((-12)/m) prime?
True
Let w be 6/4*(-16)/(-6). Suppose 2*g - w*v = 80, -3*g - 2*v + 18 = -78. Is g a prime number?
False
Suppose 12 = 4*u - 2*d, 3*u - 14 = 4*d - 0. Suppose 5*w = f - 48, 3*f + u*w - 127 = -0*w. Suppose -4*c = i - f, 81 = 2*i + 3*c - 0*c. Is i prime?
False
Let h(k) = 4*k. Let j be h(-1). Let o be (854/(-4))/(1/j). Suppose 2*l = 5*g + 432, -4*l + o = -3*g - 2*g. Is l composite?
False
Let y = 22 - -15. Is y prime?
True
Let y(q) = -180*q - 1. Let d be y(-1). Suppose -9 = -4*t + 4*r + d, 0 = t + 2*r - 44. Suppose i + k = 2 + t, -3*k - 121 = -2*i. Is i composite?
False
Let r(u) be the second derivative of u**4/6 - 2*u**3/3 + 3*u**2 - 3*u. Is r(4) a composite number?
True
Suppose 2*v = -560 - 436. Let m = v + 703. Is m prime?
False
Suppose 7*l = 17*l - 1460. Is l a prime number?
False
Suppose -3*q = -4*u + 2087, -u + 136 = 3*q - 382. Is u composite?
False
Suppose -4*u = -26 + 830. Is -2*2/(12/u) a prime number?
True
Suppose -10 = -3*b - 2*b. Suppose 0 = 14*a - 17*a + 6. Is 37*(b + (1 - a)) prime?
True
Let q(b) = -b**3 - 3*b**2 + 8*b - 7. Let r(c) = -3*c**3 - 8*c**2 + 25*c - 20. Let a(f) = 7*q(f) - 2*r(f). Is a(-10) a composite number?
False
Is 127/(-2)*(-4 - -2) composite?
False
Let j be (4 + -1 - -1)/2. Suppose j*m = -m + 45. Is m prime?
False
Let g(h) = -h**3 + 3*h**2 - 6*h + 4. Let s be g(4). Let p = -21 - s. Is p composite?
True
Let y(b) = b**2 - 8*b + 4. Let o be y(6). Let n be (-42)/o - 2/8. Let u = n - -14. Is u a prime number?
True
Suppose 8 = 2*n + 2. Suppose 4 = -n*i + 7. Is 196/6 + i/3 a prime number?
False
Let k(j) be the third derivative of 0 + 2/3*j**3 + 0*j - 31/24*j**4 - 3*j**2. Is k(-3) composite?
False
Suppose 2*h + 6 + 10 = 0. Is (-2)/h + (-891)/(-4) composite?
False
Suppose 0 = -4*s + 6 - 18. Is 196 + s*(2 - 3) a composite number?
False
Let p = -117 - -66. Let i = p - -90. Is i prime?
False
Suppose s - 5*s + 16 = 0. Let z be ((-10)/(-10))/((-2)/(-6)). Suppose -s*m + 270 = -0*y - 3*y, -z*m + y = -205. Is m prime?
False
Is (-8862)/(-18) + (-12)/9 prime?
True
Let g = -83 - -174. Is g composite?
True
Let g = -1 - -10. Is 78/g*15 + -3 a composite number?
False
Suppose -746 - 677 = -m. Is m a prime number?
True
Let w(o) be the first derivative of 8*o - 3/2*o**2 + 1/3*o**3 + 3. Is w(-6) composite?
True
Suppose -1845 - 879 = -4*a - 4*x, -2*a - 4*x + 1370 = 0. Is a a prime number?
True
Let c(n) be the second derivative of -n**4/12 + 8*n**3/3 + 2*n**2 + 4*n. Is c(7) a composite number?
False
Let o(s) = 163*s + 3. Is o(2) a composite number?
True
Suppose -3*z - 5*c + 1288 = 0, c - 2*c = 3*z - 1292. Is z 