 1. Let g be f(5). Let b be ((-102)/g)/((-3)/28). Is (-2)/8*-2*b composite?
True
Let g(v) = -2*v - 15 + v**2 + 4*v + 4*v. Is g(10) a prime number?
False
Let j = 0 - -2. Suppose -j*y - y = -699. Is y prime?
True
Suppose 4*z = -2 - 10. Let r be 3*(-15 - (-6)/z). Let x = r + 174. Is x composite?
True
Let s(v) = v**3 + 16*v**2 + 11*v - 3. Is s(-14) prime?
False
Let z(v) = v + 1. Let w be z(4). Suppose -n - 2*s + 16 = 2*s, s - 4 = w*n. Suppose 4*h + f - 186 = n, -2*h - 192 = -6*h + 2*f. Is h prime?
True
Let b(v) = 28*v - 1 + 5 - 7. Is b(14) a composite number?
False
Let n = -12 + 9. Let a = n + 16. Is a prime?
True
Let m(v) = v**3 - 7*v**2 + 10*v + 11. Let q be -18*4/(-6) - 3. Is m(q) a composite number?
False
Suppose -5*y + 355 = 4*w - 2708, 5*y = -5*w + 3065. Is y a composite number?
True
Suppose 5*m - 88 = 477. Is m prime?
True
Let r be (4/(-3))/(18/(-27)). Suppose 0 = -3*l - 2*t + 157, -l + 0*t = r*t - 59. Is l a prime number?
False
Let h = 2 + 20. Is h a prime number?
False
Let n(d) = 131*d - 8. Let t be n(6). Suppose 3*g = -5*k + t, k = 4*k + 3*g - 468. Suppose -o + k = -2*w, o = 2*w + w + 152. Is o a prime number?
False
Let b(m) = 7*m**3 - 7*m**2 - 18*m + 3. Let c(n) = 4*n**3 - 3*n**2 - 9*n + 2. Let j(z) = 3*b(z) - 5*c(z). Is j(8) a composite number?
True
Suppose -286 = -5*h - i - 2*i, -h = -2*i - 52. Suppose -23 + 124 = -5*w - 2*m, 2*m - 51 = 3*w. Let o = h + w. Is o a prime number?
True
Suppose 2*p = 0, -4*q + p = -2*q - 770. Let w = q + 30. Is w a prime number?
False
Let h be (-1)/((-3 + 5)/(-8)). Suppose -4*w - 4*j + 20 = 0, 3*j - 16 = -0*w - 4*w. Suppose 2*r + w = r, -r = -h*c + 333. Is c a prime number?
True
Suppose -5*z + 0 - 10 = 0. Is 177 - (-4 - z) - 2 a prime number?
False
Suppose -731 = -5*i - 4*h, 6*h - 289 = -2*i + h. Let r = i + -68. Is r prime?
True
Let k be 3/(1*1/(-13)). Let b = 40 - k. Is b composite?
False
Is (-6 - -12)*(-191)/(-2) composite?
True
Let c = -1 + 1. Let r be (-2 - (-10)/6)*c. Suppose r = 2*b + 6, y = -3*y - 2*b + 134. Is y prime?
False
Let x = -6 + 8. Is (-9)/6*(x + -64) prime?
False
Let c(l) = 14*l**2 + 4*l + 3. Is c(-4) prime?
True
Let w be (8/6)/((-2)/12). Let n = w + 13. Suppose -4*s - 181 = -5*k, 7*k - n*s - 185 = 2*k. Is k a composite number?
True
Let a(j) = j + 12 + 2*j**2 - 4 + j - 5*j. Is a(5) prime?
True
Let k be 5*-1 + (-6)/(-3). Let a(m) = -22*m + 6*m + 2 - 1. Is a(k) composite?
True
Is -10 + 3806 - 3/1 prime?
True
Is (-6 + 4)/(6/(-477)) prime?
False
Let c(z) = 0 + z - 2 - 1. Let v be c(8). Suppose -266 - 299 = -v*u. Is u a prime number?
True
Suppose 0 = 5*g - 50 + 5. Let d(t) = -t**2 + 10*t - 7. Let r be d(g). Suppose r*p + 2*p - 332 = 0. Is p composite?
False
Let v be ((-3)/9)/(4/(-14004)). Suppose -5*i = 232 - v. Is i a composite number?
True
Let v(r) = -29*r**3 - r**2 + 3*r + 3. Let i be (2 - -4)*(-1)/3. Let d be v(i). Let w = d - 158. Is w prime?
True
Let d = 1321 - 310. Is d composite?
True
Suppose 19 = 2*k + 4*p - 3, 0 = 2*k - p - 12. Suppose -v = -5*c + 49, -k = c + 6*v - 2*v. Is c a prime number?
False
Let n(x) = -42*x + 17. Is n(-6) a composite number?
False
Suppose 4*u + 0*u = 440. Suppose 0*p - 4*p - 3*b = -220, 0 = 2*p + 4*b - u. Let y = p + -24. Is y composite?
False
Suppose -5*d - h + 4*h = -510, -2*h + 430 = 4*d. Suppose 0 = -0*n + 3*n - d. Is n prime?
False
Let k(l) be the second derivative of 4*l**4/3 - l**3/6 + l**2 - 5*l. Is k(-5) composite?
True
Suppose 0 = -2*x + 521 - 21. Suppose 3*u = -3*c + 4*u + x, -2*u - 90 = -c. Is c a composite number?
True
Let b(j) = 4*j**2 - 3*j - 4. Let g(k) = -3*k**2 + 2*k + 3. Let p(u) = -2*b(u) - 3*g(u). Let s be p(2). Let o(m) = 11*m**2 - 3*m + 3. Is o(s) prime?
False
Suppose 2*a - 1320 + 495 = -5*k, -4*a = 2*k - 346. Is k composite?
False
Let s be ((-115)/20)/((-1)/20). Let j = s - 76. Is j a prime number?
False
Suppose 2*b = 4*r - 0*b - 132, -77 = -3*r - 4*b. Is r a composite number?
False
Suppose -3*o = -18 + 3. Suppose o*y = r + 364, y - 4*r + 0 = 88. Let c = y - 19. Is c prime?
True
Let o be (-14)/(-4) + 4/(-8). Suppose -a + o*q = -14, a + 6*q - q + 10 = 0. Is (-1 + 12)*(a - -6) composite?
True
Let v(i) = -i**3 + 20*i**2 - 19*i + 7. Is v(13) a prime number?
False
Let g(x) = 29*x**2 + x. Let k be g(-1). Let s = 87 - k. Is s prime?
True
Suppose -4*h = -2*c + 82, -c = -2*h + 2*c - 39. Let y = h - -44. Is y composite?
False
Let a be 16/(-10)*(-35)/2. Let q = -25 - -7. Let d = a + q. Is d composite?
True
Let c(q) be the third derivative of q**5/60 + q**4/8 + q**3/2 - 2*q**2. Let d be c(4). Let g = d - 5. Is g composite?
True
Let i be (276/16)/(6/16). Suppose -5*n + 49 + i = 0. Is n a prime number?
True
Let i = -51 - -22. Let c = -3 + i. Let s = 63 + c. Is s a prime number?
True
Let q = -68 - 53. Let j = q + 170. Is j composite?
True
Suppose 11*o - 9236 = 7*o. Is o a composite number?
False
Let v(u) = u**3 + 11*u**2 + 8*u - 9. Let j be ((-4)/(-6))/((-6)/(-9)). Let d be j*(-6)/2 + -5. Is v(d) a prime number?
False
Let f = 13 - 8. Suppose 0 = l - 2*i - 9, -l - 2*i - f = -26. Is l a composite number?
True
Let p(c) = c**3 - 8*c**2 + 8*c - 3. Let i be p(7). Let g(t) = -2*t - 5 - 2*t + 4*t + 7*t. Is g(i) a prime number?
True
Let s(c) = c**2 - 3*c - 2. Let r be s(4). Suppose 0*k = -r*k + 12. Suppose 0 = -4*w + z - k*z + 119, -87 = -3*w - 3*z. Is w composite?
True
Let a = 280 + -121. Suppose -7*m = -6*m - a. Is m prime?
False
Suppose 2*q = x + 3, 0*x = -q - x + 3. Suppose q*c = -16 + 70. Is 2/(-9) + 600/c a composite number?
True
Let o(x) = -31*x**3 - 2*x**2 + 1. Let t be o(-1). Suppose 2*k = 5*z + t, 4*k - k - 4*z = 45. Is k a prime number?
False
Let n be 2/(-6) - (-220)/(-6). Suppose -75 - 65 = -2*t. Let h = t + n. Is h a prime number?
False
Let r be (-2 + (1 - -3))*2. Suppose -5*q + r = -11. Suppose 4*k - q*w - 71 = 0, -2*w = -7*w - 25. Is k a prime number?
False
Let a(c) = 87*c - 13. Is a(4) composite?
True
Let s = -25 + 33. Let p(l) = -3*l**2 + 15*l - 7. Let y(r) = r**2 - r + 1. Let t(c) = p(c) + 2*y(c). Is t(s) a composite number?
True
Let t(s) = s + 19. Let r be t(-15). Suppose 6*k - 894 = r*k. Is k prime?
False
Suppose 3*n = -n + 100. Let x be n/(-1 + (-5)/(-4)). Let t = -3 + x. Is t a prime number?
True
Let d(k) be the third derivative of 2/3*k**3 + 3*k**2 + 0*k - 1/8*k**4 + 0 + 1/30*k**5. Is d(5) prime?
False
Let c be -1 - (6*-1 + 0). Suppose 0*n + 2*n - 8 = 0. Suppose -n*r - 83 = -c*r. Is r a prime number?
True
Let x(u) = u**2 + 6*u. Let l be x(-5). Let n = l + 15. Suppose t - 87 - n = 0. Is t a composite number?
False
Suppose o + i + 0*i = 7, 0 = -o + i + 1. Suppose -3*h + o*h - 22 = 0. Is h a composite number?
True
Suppose 3*u + c = -5, -12 + 2 = 5*c. Is u/3*-2*87 a composite number?
True
Suppose i = 3 + 1. Let s(k) = k + 7. Let g be s(-5). Suppose -i*q + g*q = -52. Is q prime?
False
Let s = -2 + 2. Suppose 2 = -2*j + 6. Suppose j*w - 61 - 7 = s. Is w a prime number?
False
Let r be 15/(2 + 14/(-6)). Let o = -200 - -106. Let w = r - o. Is w a prime number?
False
Suppose -2*b + 9 = 3. Suppose 0 = -f + 2*d + b*d - 3, 3*d + 15 = 3*f. Is f - (-3)/3 - 2 a prime number?
False
Let c = -3825 + 7076. Is c a composite number?
False
Let g(f) = 5 - f**2 + 2*f**2 - 6 - 2*f. Let h(y) = -2*y**2 + 5*y - 3. Let w be h(3). Is g(w) prime?
True
Suppose -5*v + 2*v + 249 = 0. Is v composite?
False
Let b = 37 - -106. Is b composite?
True
Let o(w) = w**3 - 11*w**2 + 9*w - 12. Let i be o(9). Let t = i - -164. Is t a composite number?
False
Let u(k) = -2*k + 7. Is u(-6) composite?
False
Is 0 - -1 - (-257 + 4) prime?
False
Let x = -15 - -480. Suppose 0 = -3*p + 2*v - 27 + 326, -5*p - 5*v + x = 0. Is p a prime number?
True
Let z(x) = 2*x - 2. Let f be z(2). Suppose 0 = w + f*h - h - 48, -5*w = -5*h - 250. Is w composite?
True
Suppose 3*w = u + 637, 2*u = 3*w + 3*u - 629. Is w composite?
False
Let g(v) = 40*v**2 - v + 1. Is g(2) a composite number?
True
Suppose -7 = 3*c + 5*u, -4*c - 4*u - 3 - 9 = 0. Let a = c - -7. Suppose a*f - 234 - 3 = 0. Is f composite?
False
Suppose 3*n + 4 = 4*l + 2, -5*n - 14 = -4*l. Let q(k) = 2*k + 6. Let b be q(n). Let w = 4 - b. Is w composite?
True
Let w be (6/(-12))/(1/(-6)). Is w - (1 + -46*2) prime?
False
Let b = 7 + -3. Suppose -1865 = -m - b*m. Is m a prime number?
True
Suppose 5*c - 42 = -17. Suppose c*f - f - 148 = 0. Is f a com