4. Is t(w) a prime number?
True
Let k(d) = -119*d**3 - 4*d - 1. Is k(-2) a prime number?
False
Let c(f) = 1174*f. Let a be c(1). Let j = 2164 - a. Suppose -385 = 5*m - j. Is m composite?
True
Let x = -20 + 23. Suppose -518 - 53 = -5*w - 3*o, -x*o - 559 = -5*w. Is w composite?
False
Let h be (-19)/(-6) - (-2)/(-12). Suppose -125 = h*m - 572. Is m a composite number?
False
Let y be (0 - 1) + 2 + 1. Suppose 0 = -b + 4, -y*b + 2 = -3*t + 3*b. Is 1*2 - (-18 + t) a prime number?
False
Let z(r) = r**3 - 5*r**2 + 6*r - 6. Let b be z(4). Suppose b*a + 2 + 2 = 0. Is (-1 + -1)/a*59 a composite number?
False
Is (2 - (-9)/(-6))*(3863 - -11) composite?
True
Let y(t) = -219*t**2 + 2*t + 1. Let d be y(-1). Suppose f - 3*s = s + 321, 3*s - 933 = -3*f. Let b = d + f. Is b a prime number?
False
Let x be ((-2)/4)/(3/(-18)). Suppose 17 + 1 = x*z. Is z composite?
True
Let a(t) = 96*t - 1. Is a(11) prime?
False
Let c(u) = 2*u - 7. Let b be c(5). Suppose 5*q = -b*z + 441 + 307, -5*z = -q + 144. Is q a prime number?
True
Let y = -325 + 191. Let b = 237 + y. Suppose 0*g - 2*g + b = -3*v, v - 5 = 0. Is g a composite number?
False
Let j = -21 + 24. Is 12/(-36) - (-472)/j a prime number?
True
Suppose -177 = -3*b + 351. Let f = b + 275. Is f a prime number?
False
Suppose 0 = 2*f - 2 - 10. Suppose 0 = -c + f*c - 4*g - 419, 2*c - g - 167 = 0. Is c composite?
False
Let h(j) = j**3 - 5*j**2 - 8*j - 9. Is h(7) prime?
False
Let o(y) be the first derivative of 125*y**2/2 + 2*y - 4. Is o(1) a composite number?
False
Suppose 3*l = -4*t + 1, -3*l = -8*t + 3*t + 35. Suppose 0 = -2*a + 5*a - 3*h + 114, t*h = -4*a - 144. Let q = 10 - a. Is q composite?
False
Let m(n) = -5*n**2 + 9*n + 4. Let l(g) = 4*g**2 - 8*g - 3. Let s(z) = 4*l(z) + 3*m(z). Suppose 5*d - 24 = -3*x + 5, d - 5*x = 17. Is s(d) a prime number?
False
Suppose 0*g = -5*g + 440. Let s = 5 + -2. Suppose d = -s*d + g. Is d a composite number?
True
Let m = -415 + 1028. Is m composite?
False
Let o be (-152)/(-3) + (-8)/12. Let b = o - 7. Is b composite?
False
Suppose -6*f = -f - 8885. Is f a prime number?
True
Suppose -2*j = -3*j + 2. Suppose -5*m + 194 = -v, -2*m + 0*v + 84 = -j*v. Is m composite?
True
Suppose 11*i = 10*i + 3046. Is i a prime number?
False
Let i(t) = 476*t - 19. Is i(10) a prime number?
False
Suppose -3*x + 1096 = -665. Is x prime?
True
Suppose -5*x + 0*x - p = 7, -5*x - 4*p + 2 = 0. Is 135 + x + 0/(-1) composite?
True
Suppose -5*b + 4*r - 3*r + 262 = 0, 0 = -5*b + 2*r + 259. Is b a prime number?
True
Suppose -4*l + 4750 = -2*z - 7880, -4*l + 12605 = 3*z. Is l a prime number?
False
Suppose -3*f + 2 = -2*i, 4 = 7*i - 3*i - 2*f. Suppose i*b - 3 - 3 = 0. Suppose -3*j = -3*l - 93, -59 - b = -2*j - 2*l. Is j a prime number?
True
Let v(r) = 7*r**2 + 4*r - 6*r + 5 + r**3 + 0*r. Is v(-7) prime?
True
Suppose 0 = 4*a + 5*v - 5, -2*a = 3*a - 2*v - 31. Suppose 288 = a*k - 97. Is k prime?
False
Let m(y) = 10*y**3 - 3*y**2 + 3*y + 266. Let c(p) = -3*p**3 + p**2 - p - 89. Let a(u) = u + 5. Let d be a(-12). Let h(n) = d*c(n) - 2*m(n). Is h(0) prime?
False
Suppose -4*w = -9*w + 4*k + 473, -2*k = 3*w - 297. Let d = 246 - w. Is d prime?
True
Suppose 0 = 3*n + f - 1099, 2*n + 2*n + f = 1466. Is n a prime number?
True
Let j(k) = 5*k**2 - 3*k + 1. Let t = 2 + 0. Let m = -1 - t. Is j(m) prime?
False
Suppose -38 = -2*y + 4*r, 2*y + 0*y - 26 = -2*r. Suppose 0 = -2*k - z + 90, k - y = 4*z + 48. Suppose p + k = 112. Is p prime?
False
Let d(a) = 41*a + 1. Suppose -2*v + 4*h = 2*v + 8, -v + 2*h = 6. Is d(v) a prime number?
True
Let s = 1 - -2. Suppose -2*x = 6, -x + 18 = -s*o - 2*x. Let t(f) = f**3 + 7*f**2 + 3*f + 2. Is t(o) a prime number?
True
Let h(b) = 3*b**2 - b. Suppose -4 = -3*t + 2. Let d be h(t). Suppose 4*l - d = -l. Is l prime?
True
Let u be (-2)/(-5) - 1732/(-20). Let z = -236 - -491. Suppose 3*o + 2*i + i = z, u = o + 2*i. Is o composite?
False
Let q be (-2)/(-6) + 16/24. Let g(k) = 51*k**3 + k**2 - k. Is g(q) a prime number?
False
Suppose 0 = -3*x - 3*k - 123, k - 79 = 2*x - 0*k. Let f = x + 74. Let i = -9 + f. Is i prime?
False
Suppose -2*q + 2*b + 440 = 0, 1 - 7 = 2*b. Is q a composite number?
True
Is 2 + (-2)/2 + 5 + 105 prime?
False
Suppose 2*z - 275 = -p - 2*z, 540 = 2*p + 3*z. Is ((-18)/27)/((-2)/p) a prime number?
True
Suppose 4*o = -3*x + 2*x - 8, 3*o + 6 = 0. Suppose x*g = -4*g. Suppose 3*s + 18 - 39 = g. Is s prime?
True
Let o(i) = -i**2 + 6*i - 5. Let j be o(5). Suppose j = -m + 39 + 70. Is m prime?
True
Let l(p) be the first derivative of -1/3*p**3 - 11/2*p**2 + 3 - 9*p. Is l(-9) a composite number?
True
Let x(f) = -4*f + 1. Is x(-22) composite?
False
Is ((-48965)/(-20))/(-7)*-12 a composite number?
True
Let m = 5781 - 4124. Is m a prime number?
True
Suppose -3*x - 7 = -37. Let g = x - 16. Let k(u) = -8*u - 1. Is k(g) a composite number?
False
Suppose -5*k + 768 = -3*k + 5*z, 3*z = -4*k + 1550. Is k a prime number?
True
Suppose s - 5*s = -1140. Suppose j = -u + 156, -472 = u - 4*u - j. Let m = s - u. Is m composite?
False
Let d = 839 + -563. Suppose d = 3*x + 99. Is x a composite number?
False
Let x be (-4)/2 + 3 - -814. Suppose 0 = -i - 2*r + 201, 3*r + x = i + 3*i. Is i a composite number?
True
Let p = -743 - -1329. Is p prime?
False
Suppose -3*f = -o, 4*f - 51 = -5*o + 2*f. Let m = o - 7. Suppose -m*y + 55 = -y. Is y a composite number?
True
Let q(k) = 138*k**3 + k**2. Let b be q(-1). Let i = b + 298. Is i composite?
True
Let s = 4165 - 6565. Let i be 6/21 + s/21. Let f = i + 167. Is f composite?
False
Suppose -19*n = -17*n + 10. Let w(o) be the first derivative of -5*o**2/2 - 6*o - 1. Is w(n) a composite number?
False
Let q be -3 + -3 + 33 - -2. Suppose -193 = -3*j + q. Is j a composite number?
True
Let x = 4 - 2. Suppose -x*g = w - 2, -3 - 9 = -2*w + 4*g. Suppose 3*c = w*c - 2*v - 93, 5*v + 191 = 2*c. Is c prime?
True
Let k(l) = -l**2 + 3*l + 3. Let p be k(3). Let s(h) = 39*h - 8. Is s(p) composite?
False
Let u(n) = -3*n + 3*n + 1 + 26*n**2. Let c(a) = a**2 + a + 1. Let v(s) = -c(s) + u(s). Is v(-1) a composite number?
True
Suppose 16*u - 15*u - 3067 = 0. Is u composite?
False
Suppose 0 = 3*k + 3*o + 324, -59 = 4*k + 2*o + 371. Let h = k - -184. Is h a composite number?
True
Let p(q) be the first derivative of q**4/2 - 7*q**3/6 + q**2 + 3. Let h(x) be the second derivative of p(x). Is h(5) a composite number?
False
Let i(z) = 3*z**2 - 2 + 2*z + 7 - 4. Is i(-1) a composite number?
False
Let h = -9 + 13. Suppose 0 = -h*f + 2*f + 12. Let i(v) = 2*v + 3. Is i(f) a prime number?
False
Let l(s) = -38*s + 9. Is l(-4) composite?
True
Suppose 3*u + 14352 = 7*u. Is u/(-48)*(-5 - -1) a composite number?
True
Let r(v) = 177*v - 32. Is r(13) prime?
True
Suppose 0 = -8*l - l + 3798. Is l a composite number?
True
Suppose 0*x = -5*x - 15. Is (x/6 - -1)*118 a composite number?
False
Suppose 3*p = -2*t - 2*t + 29, 0 = -5*p + 3*t. Suppose -7*j = -p*j - 388. Is j a prime number?
True
Let p(w) = w**3 - 5*w - 3. Let y(f) = -f**3 + 4*f + 2. Let h(m) = -5*p(m) - 6*y(m). Is h(0) a composite number?
False
Let o = 692 + -360. Suppose v + 3*v - o = 0. Is v composite?
False
Let m = 19 - 10. Let o = m - 2. Is o composite?
False
Is (-2723)/(-3) - (-30)/(-45) prime?
True
Let u(t) = -t - 2. Let o be u(5). Let p = 848 - 510. Let c = o + p. Is c a prime number?
True
Suppose 3*v = t + 3*t - 6095, -2*t = 3*v - 3043. Is t a prime number?
True
Let i(l) = 34*l - 13. Is i(12) composite?
True
Suppose -2*c + 2 = -2. Suppose 3*x = -4*w + 129, 3*w - 3*x - 75 = c*x. Suppose b = -b + w. Is b a composite number?
True
Let g be ((-4)/6)/((-4)/18). Suppose 5*w - g*w = -6. Let y = 6 + w. Is y composite?
False
Suppose -r - 72 = -4*r. Suppose h - 4*i = 6 - r, -h + 3*i = 13. Suppose -31 = -3*d - h*g, -6*g = -2*d - g + 27. Is d a prime number?
True
Let l(f) = 7*f**2 + f + 1. Let j be l(-1). Let k = j - 5. Suppose k*o + 95 = 609. Is o a prime number?
True
Let u = -7 - -25. Let k = 10 - u. Is 509/4 + 2/k composite?
False
Suppose 5*a - 3*b - 69 = 0, 7*a - 3*a - 51 = b. Suppose -2*k = -y - 7, 4*k + 5*y + 5 = a. Suppose -249 = -k*j - 0*j. Is j a composite number?
False
Suppose -2*q - 5*y + 799 = 0, y = q + q - 793. Is q a composite number?
False
Let k = -1433 + 2074. Is k a prime number?
True
Let h(m) = -m - 2. Let w be h(5). Let j(d) = -2*d - 10. Let o(u) = -4*