g = -2*w + 50. Suppose -5*v = -4*j - 76, 2*v + 33 = 4*v + j. Let u = v + g. Is u a prime number?
True
Let n(c) = -c + 179. Is n(0) composite?
False
Suppose -3*v + 3 = -3*b, 0 = 4*b + v + 24 + 5. Let g(p) = -13*p + 1. Is g(b) prime?
True
Let l(n) = -12*n - 5. Let a(s) = 13*s + 5. Let j(c) = 3*a(c) + 4*l(c). Is j(-11) composite?
True
Let q = 92 - 56. Let y = 55 - q. Is y composite?
False
Suppose 5*s + 77 = m - 7, -5*m - 3*s + 280 = 0. Suppose 2*z - z = m. Is z a prime number?
True
Let r(k) = -4*k**3 + 3*k**2 + 4*k - 13. Let w(v) = v**3 - v + 1. Let z(l) = -r(l) - 6*w(l). Is z(-6) prime?
False
Let m(b) = 12*b - 7. Let o be (5 + -7)/((-2)/5). Is m(o) a prime number?
True
Let z = 34 + -79. Let h = 119 + z. Let l = h + -27. Is l composite?
False
Suppose 3*n - 4 = q - 1, 3*n = 4*q - 6. Is (-55)/(-2 + -2 + q) composite?
True
Suppose 0 = -0*h + 3*h - 15. Suppose 4*r - 5*q - 11 - 39 = 0, h*r + 5*q - 85 = 0. Is r prime?
False
Suppose 5 = 2*g - 3. Suppose g*l - n - 6 = 0, -5*l + 2*n + 0*n + 9 = 0. Is 1 - 2/l*-43 composite?
True
Let h be -1 - (0 + (-2)/2). Let s = 0 - h. Suppose 0 = 3*r - s - 69. Is r composite?
False
Let v = -48 + 24. Let z = v - -77. Is z composite?
False
Suppose -t - 92 = -5*t. Is t prime?
True
Let r(s) = 13*s**2 + 6*s + 3. Is r(-8) composite?
False
Suppose 0 = 3*z - 4*n - 3385, -4*z = -5*n - 1105 - 3410. Is z composite?
True
Is ((-565)/(-10)*-2)/((-2)/14) a prime number?
False
Suppose 5*z + 2*d - 51 = 0, -2*d - 3*d = -2*z + 32. Let y(r) = -r**3 + 4*r**2 + 5*r - 7. Let g be y(5). Let n = z + g. Is n composite?
True
Let t = 7 - 0. Let h(f) = -f + 6. Let n be h(t). Let r(u) = -34*u**3 + u**2 + 2*u + 1. Is r(n) composite?
True
Let p be 96/40 + 2/(-5). Suppose v - 3 = 3*n + 2*n, -p = -2*n. Is ((-254)/v)/((-5)/20) a composite number?
False
Suppose 2*s + 2*s = 20. Suppose s*k + v - 268 = 4*v, 0 = -3*k - 2*v + 157. Is k composite?
False
Suppose 760 = o - v, -2*o - 3*v - v = -1526. Is o a composite number?
False
Let s(c) = -4*c - 5. Let p = 8 - 4. Let d be s(p). Let z = d - -30. Is z prime?
False
Suppose -9*j = -7*j - 3342. Is j composite?
True
Let c(d) = -11*d + 2. Suppose -9 = -0*f + 3*f. Is c(f) composite?
True
Let i(h) = h**3 + h**2 + h + 5. Let d be i(0). Suppose 0 = 3*x + d*p - 146 - 705, x + 4*p = 279. Is x composite?
True
Let b(u) = -25*u**3 + 4*u**2 - u - 1. Is b(-3) composite?
True
Let y(b) be the second derivative of -3*b**5/4 - b**4/12 - b**3/6 - b**2/2 + 8*b. Is y(-1) composite?
True
Suppose 3*l - 5 = 1. Suppose -14 = -l*v + 180. Is v prime?
True
Let t(m) = 27*m**2 + 10*m + 3. Is t(-4) a prime number?
False
Is ((-4922)/(-4))/((-1)/(-2)) composite?
True
Let o = 196 + -133. Let n = -26 + o. Is n prime?
True
Let b(h) = h**3 + 5*h**2 - 7*h - 6. Let t be b(-6). Suppose 0 = -5*n + s - 74, t*n - 2*s + 73 = -5*n. Let a = n - -68. Is a composite?
False
Suppose 0 = 2*l - 2, -4*o - l + 4 + 1 = 0. Is o/4 + 732/16 a composite number?
True
Let a(k) = -12*k + 5. Let p(g) = 49*g - 8 - 4 - 8. Let f(q) = -9*a(q) - 2*p(q). Is f(7) a composite number?
True
Let p(v) be the first derivative of -v**4/4 - 5*v**3/3 - 5*v**2/2 + 5*v + 1. Let u be p(-5). Let z = u + -15. Is z composite?
True
Suppose 1585 + 3591 = 8*x. Is x composite?
False
Suppose -m + 2*r = 3*r - 61, -m + 2*r = -46. Suppose a + a = 2*u + m, -a - u = -24. Is a composite?
True
Let r = 299 - 144. Is r a composite number?
True
Let w(f) = -3*f + 7. Let t be w(3). Let n(q) = -q**3 + 7*q**2 - 3*q + 3. Let r be n(6). Let o = t + r. Is o composite?
False
Suppose 5*f = 2*f - 33. Let h = -8 - f. Suppose 2*o = -2*i + 130, 3*i = h*o - 17 - 178. Is o a prime number?
False
Suppose -4*s + 204 = 8*v - 4*v, -5*v - 2*s = -243. Let i be (1 - 1) + (0 - -2). Suppose -i*a = -v - 27. Is a composite?
False
Let r(w) = -w**2 + 14*w + 10. Let z(b) = -3*b - 7. Let a be z(-5). Is r(a) composite?
True
Suppose -d = -3*h + 3944, 4*h = 3*h + 4*d + 1333. Is h prime?
False
Let s(t) = t + 1. Let y(u) = -u**3 + u**2 - 5*u - 10. Let p(r) = -6*s(r) - y(r). Is p(3) a composite number?
False
Is -4 + 1*659/1 a composite number?
True
Suppose -2*s - 80 = -7*s. Let t = -28 - -49. Let j = t + s. Is j a prime number?
True
Let j(u) = -11*u + 6. Let b(x) = 11*x - 7. Let s(o) = 2*b(o) + 3*j(o). Is s(-3) a composite number?
False
Suppose j = -2*h + 3797, -5*h = -0*h + 5*j - 9480. Is h composite?
False
Suppose 5*v - v - 21 = -3*p, v = 3. Suppose p*b + 389 = 4*b. Is b a composite number?
False
Let g = -1656 - -3415. Is g prime?
True
Let b = -8 + 23. Let f = 26 - b. Let s = f + 42. Is s a composite number?
False
Let y(o) = -55*o - 1. Let g be y(-1). Suppose 2*i + 2*l - 98 = g, 0 = 4*i + 3*l - 307. Is i a prime number?
True
Let n(c) = -c - 1. Let q be n(5). Let k be q/3 - -5 - 0. Suppose k*s = s + 38. Is s a prime number?
True
Let m be 9*-1*(-5)/15. Suppose -36 = -m*f - f. Is f composite?
True
Let s = -19 + 23. Suppose -s*g + 23 = k, k = -9*g + 4*g + 26. Is k prime?
True
Let r = 7 + -4. Suppose 3*p - r*u - 1434 = 0, 550 = 4*p + 4*u - 1370. Is p a composite number?
False
Let q(x) = x**3 + 5*x**2 - 2*x - 1. Let s be q(-5). Suppose -d + 5*c + 0 - 1 = 0, c + 19 = -3*d. Is d/s + 41/3 composite?
False
Let g be (-1915)/(-20) + (-6)/8. Let h = 186 - g. Is h a prime number?
False
Let t(f) = -2*f + 53. Let o be t(21). Suppose -3*q = -5*k + 166, -k - 2*q + 31 = 3. Let s = o + k. Is s composite?
False
Let t = -19 - -21. Suppose -w - t*w = -177. Is w a prime number?
True
Let x(g) = 16*g - 1. Is x(8) prime?
True
Let l(t) = -86*t + 5. Let c = 7 + -13. Is l(c) composite?
False
Let p(i) = -i + 1. Let h(c) = -c + 73. Suppose 0 = -v - 2*a + 4, 3*v + 15 = 3*a. Let z(d) = v*p(d) + h(d). Is z(0) composite?
False
Suppose 5*p = 2*p + 9. Suppose 0 = -p*i + 385 + 626. Is i composite?
False
Let u = -3 - -8. Suppose u*d - 4*d + 6 = 0. Is (-401)/d - (-10)/60 a prime number?
True
Is (-90)/(-35) + -2 - 8325/(-21) a prime number?
True
Let h(c) = 14*c**3 - 2*c**2 - 7*c - 2. Let z(p) = 13*p**3 - p**2 - 6*p - 1. Let d(t) = -2*h(t) + 3*z(t). Is d(3) a composite number?
True
Suppose 4 = -4*k + 2*i, 3*k + 3 = -4*i + 3*i. Let v = 25 - k. Is (-3 + 0)*v/(-6) prime?
True
Let z(j) = j**2 + 6*j + 3. Let k(w) = -w**2 + 8*w - 7. Let g be k(7). Suppose g = -4*t - 12 - 16. Is z(t) a composite number?
True
Let m = -7 - -2. Let u = m + 7. Suppose -u*r = 3*r - 275. Is r a prime number?
False
Let u(v) = -781*v - 1. Let s be u(-3). Let z = s - 1615. Suppose 0 = -2*c + 2*d + 286, -2*c = 3*c + d - z. Is c composite?
True
Suppose 1 = l - 7. Let b be l/6 + (-2)/6. Is -1 - (32/b)/(-2) composite?
True
Let y = 60 - -19. Is y a prime number?
True
Suppose l = -2 + 6, -3791 = -5*y - 4*l. Is y a prime number?
False
Suppose 3*k - j = -k + 13, 5*j = -2*k + 1. Suppose 0 = -k*y + 2*y + 20. Suppose -2*q + q = 2*o - 18, 4*o - 2*q - y = 0. Is o prime?
True
Let r = -4 - 10. Let g = r + 20. Is g a prime number?
False
Let x(q) = -2*q**3 - 15*q**2 - 6*q - 5. Is x(-12) prime?
False
Let p be 4/(-8) + 1 + (-22)/4. Let a(x) be the first derivative of x**2/2 + 7*x - 1. Is a(p) composite?
False
Suppose -4 = -4*a + 28. Let k(y) = y**2 - 9*y + 11. Let f be k(a). Suppose 0*g - 237 = -f*g. Is g a prime number?
True
Suppose -3*g = -0*g + 1359. Suppose -12*d + 4120 = -7*d. Let a = d + g. Is a a composite number?
True
Let j be (8 + 1)/((-1)/2). Let r be (-8)/(-12)*j/(-4). Suppose 0 = -2*c + r*k - 4*k + 81, -126 = -3*c - 3*k. Is c a prime number?
False
Suppose 0 = 4*l - 3*o - 892, -o + 892 = 4*l - 5*o. Is l composite?
False
Let s(x) = -2*x - 3. Let w be s(-3). Suppose 5*k + t = 5*t - 1, k = 4*t - 13. Suppose -2*b - 13 = 5*c - 10*c, 0 = -w*b + 3*c + k. Is b a composite number?
True
Let f(k) = 17*k**2 - 2*k - 5. Is f(4) prime?
False
Suppose 2*o - 4028 = -2*o. Is o a prime number?
False
Let n(c) = 20*c**3 - 3*c**2 + c - 17. Is n(6) a composite number?
False
Suppose o - 3*o + 3*w = -1051, -2596 = -5*o - 3*w. Is o composite?
False
Suppose 7*i - 104 = 127. Is i prime?
False
Suppose 3*n - r = 19908, -4*n - 4*r - r = -26525. Is n prime?
False
Suppose q = d - 219, 0 = -4*d + q - 2*q + 896. Is d a prime number?
True
Let o(r) = 2*r**3 + 3*r**2 - 2*r + 2. Is o(3) composite?
True
Let p be 2718/(-24) + 6/(-8). Let a = -27 - p. Is a composite?
True
Let d be ((-21)/6)/(2/(-24)). Let w be (-2 + 16)*d/4. Let f = w + -73. Is f composite?
True
Let