 -2*a + w. Suppose -2*y - 231 = -5*y + 5*d, -4*y + 4*d = -a. Is y composite?
True
Let x be 7/28 + (-29)/4. Let v(p) = -4*p + 9. Is v(x) prime?
True
Let x(i) = -5*i. Let s(k) = -9*k - 1. Let g(m) = -4*s(m) + 7*x(m). Let f be g(-6). Is (-3930)/(-50) - f/5 a prime number?
True
Let k(t) = -t**3 - 3*t**2 + 7*t + 3. Let o be k(-5). Let b be (21/12)/(1/28). Let s = b - o. Is s a composite number?
False
Let k = 9 - 6. Suppose 0*v = k*v - 354. Is v composite?
True
Let m(d) = 4*d**3 - 7*d**2 - 7*d - 11. Is m(6) composite?
True
Let x = 192 + 643. Is x prime?
False
Let f = 185 + 306. Is f a prime number?
True
Let g = 3 + 0. Suppose -2*l + 98 = g*s, 0 = -s - 5*l - 4 + 15. Suppose 2*h = v + s, -5*h - 3*v = -49 - 52. Is h composite?
False
Suppose -5*v - 3*k + 6835 = 0, -4717 = -4*v + 4*k + 751. Is v composite?
False
Suppose 16*p + 5098 - 12890 = 0. Is p composite?
False
Let o(m) = -2*m**2 + 6*m + 5. Let x(w) = w**2 - 7*w - 6. Let a(g) = 2*o(g) + 3*x(g). Let i be a(-8). Suppose 3*u + 3 = 0, h + i*u = u + 98. Is h a prime number?
True
Let m(g) = -g**3 - 5*g**2 - 2*g + 4. Let p be m(-4). Let r be (-12)/(-8)*p/(-3). Is r/3 + 157/3 prime?
True
Let f = 13 - 8. Suppose -203 + 48 = -f*i. Is i a composite number?
False
Is 3089/(-2)*(1/1 + -3) a composite number?
False
Let h(w) be the third derivative of -w**6/120 + 7*w**5/60 + w**4/6 + 7*w**3/6 - 5*w**2. Suppose 0 = 3*n - 6*n + 18. Is h(n) a composite number?
False
Let r(f) = f**2 + 1151. Is r(0) a composite number?
False
Suppose 0 = -4*n + 2*n + 2*u + 18, -5*n = 4*u. Let y be 3*(n/6 + 1). Suppose -2*r = -33 - y. Is r prime?
True
Let k = -6 - -101. Is k composite?
True
Let f(o) = o**3 + o**2 + o + 9. Let v be f(0). Suppose 2*z = -v - 9. Let i = z + 62. Is i composite?
False
Suppose -3*o + 2*u + 7 + 10 = 0, -4*u - 29 = -5*o. Suppose -o*x + 10*x - 110 = 0. Is x prime?
False
Let w(v) = 47*v**2 - 3*v - 7. Is w(-7) a prime number?
False
Is (4 - 8 - -725)/1 a prime number?
False
Suppose t - 1 = 7. Suppose 0 = -z + 3*z - t. Suppose 4*s = -0*s - n + 136, -z*s + 2*n + 148 = 0. Is s prime?
False
Let o(m) = -6*m**2 + 7*m - 8. Let r be o(9). Let n = r + 738. Is n a prime number?
True
Let y(z) = 4*z + 0*z + 5 - z + 22*z**2. Is y(-2) composite?
True
Suppose 0 = -2*n + p - 19, 3*p = -4*n + 4*p - 35. Let u be n - (2 - (2 - -1)). Let b(m) = -19*m - 6. Is b(u) a prime number?
True
Let b(m) = 344*m**2 + m + 7. Is b(4) composite?
True
Let o be ((-6)/(-4))/(4/8). Suppose o*n + 2*n = 105. Is n a composite number?
True
Let k = -8 - -11. Suppose 0 = k*b + 2491 - 22. Let g = 1194 + b. Is g composite?
True
Suppose w + l + 1 = 0, -6*w + 2*w + 2*l - 16 = 0. Let d = w + -13. Let s = d - -73. Is s prime?
False
Suppose -2*y + 13 + 10 = l, 5*y - 5*l = 95. Is y a prime number?
False
Let b(p) = 6*p**3 + 2*p**2 - 9. Let d(u) = 17*u**3 + 6*u**2 - u - 28. Let q(h) = 7*b(h) - 2*d(h). Is q(4) a prime number?
False
Let h = 2 - 8. Let i(u) = -u**3 - 4*u**2 - u + 7. Is i(h) composite?
True
Let u be (-5)/2 + 2/(-4). Is 0 + 1 + (-18)/u prime?
True
Let v(l) = -l**3 + 5*l**2 - 5*l + 2. Let x be v(4). Is 0 + 1 - (x - 18) prime?
False
Let o(v) = 246*v**2 - 2*v + 1. Let t be o(1). Let u = -102 + t. Is u a composite number?
True
Let m = 2283 - 802. Is m a prime number?
True
Suppose 8*p - 20896 - 6728 = 0. Is p a prime number?
False
Suppose -t = -227 + 66. Is t a prime number?
False
Let x be 4/14 - 866/(-7). Let q = 37 + x. Is q a prime number?
False
Let b = -454 - -905. Is b prime?
False
Suppose -4*d = 4*u - 4404, 1191 - 70 = u - 4*d. Suppose 5*b - u = -3*z + 3*b, -345 = -z + 4*b. Is z a composite number?
True
Let s = -7 + 9. Suppose -s*f - 4*p + 741 = f, -p = f - 248. Is f a composite number?
False
Suppose -3*y - 16 = 4*q, y = 5*q + 6*y + 25. Let s(d) = -78*d**3 - 1. Let v be s(q). Let c = 14 + v. Is c composite?
True
Let r = 5 + -3. Suppose r*j - 25 = -3*y, j = 3*y + 6*j - 31. Let z(g) = 2*g**2 - g - 6. Is z(y) composite?
True
Suppose 379 = 3*b - 2279. Suppose -3*x - b = -5*x. Is x composite?
False
Let q be (-2)/3 + 915/9. Suppose 2*t - 3*u = -3*t + q, 0 = -3*t - 2*u + 72. Is t a prime number?
False
Let v = -6 + 10. Suppose 5*l + x - 16 = 0, -3*l = -0*l - v*x - 5. Suppose 0 = b + l*i - 104, -141 = -2*b - 3*i + 82. Is b a composite number?
True
Let q(n) = n**2 - 5. Let c(r) = r + 8. Let f be c(-4). Suppose 30 = -i - f*i. Is q(i) a prime number?
True
Let w = -3 - 1. Let z = 2 - w. Is 20/3 + (-4)/z prime?
False
Let k be 5 - (-2 + (-8)/(-2)). Suppose -k*j = 5*c - 3782, -4*j = -3*c - c - 5032. Is j composite?
False
Suppose 2*d = 3*d + 4. Is d*(134/(-8) + 2) a prime number?
True
Suppose -y - 3*s + 775 = 0, -y + 2*s = -3*y + 1558. Is y a prime number?
False
Let s = -13 + 17. Let w be (0 - 1/2)*-8. Suppose w*i + 8 = 0, 3*y - 9 = -s*i + 310. Is y composite?
False
Let x(b) = 3*b**3 + 11*b**2 - 3*b - 9. Let q(t) = -t**3 - 5*t**2 + t + 4. Let l(d) = -5*q(d) - 2*x(d). Is l(-3) a prime number?
False
Suppose 0*q = 2*q - 94. Let t = q - 28. Is t a composite number?
False
Let m = -7 - -7. Let a(k) = 0*k + 6 + 0 - 4*k + m. Is a(-5) composite?
True
Suppose 2*t - 45 = -3*t. Let n(u) = u**3 - 7*u**2 - 12*u + 13. Is n(t) a composite number?
False
Suppose 4*p + 10 = 2*i, -i = -3*p - p - 5. Suppose 23 = 3*f + 4*u, 0*f + i*u = f + 5. Suppose -f*w + 3*y + 21 = 0, w = 5*w + 2*y - 30. Is w prime?
False
Let u be 60/16 + (-1)/(-4). Suppose u*z - 747 = 1. Is z prime?
False
Let x(h) = 3*h - 1. Let l be x(3). Let a be ((-9)/12)/(2/l). Is 5/(-15) + (-112)/a a composite number?
False
Let z(n) = -115*n + 12. Is z(-5) prime?
True
Let w(k) = -33*k - 3. Let l be w(-3). Suppose l = -5*u + 691. Is u composite?
True
Let b(v) = -339*v + 5. Is b(-4) prime?
True
Suppose -6*q - 4820 = -q. Is (-2)/(-6) - q/6 a prime number?
False
Let f = 130 - -61. Is f prime?
True
Suppose 4*l - 4*g - 884 = 0, -4*g + 395 = 2*l - 59. Is l a prime number?
True
Let h = 13 + -2. Suppose -16*z + 1495 = -h*z. Is z prime?
False
Let t(i) = 3*i**3 - 8*i**2 + 9*i - 5. Is t(6) prime?
True
Let s(n) = n + 7. Let b be s(-3). Let d(k) = 30*k - 5. Is d(b) a composite number?
True
Let u be (-3)/(6/(-2)) + 1. Suppose 0 = -2*h - 2*x - 114, -u*x = 5 + 1. Let i = -29 - h. Is i a composite number?
True
Suppose q = -4*q + 2*y - 3, 10 = 2*q + 2*y. Is q/(-3*1/(-363)) a composite number?
True
Let f = 3 - -1. Suppose f*l = 4*v - 104, 3*l + 63 - 193 = -5*v. Is v a prime number?
False
Let v(i) = -273*i - 64. Is v(-9) a prime number?
True
Is 2*(1004/8 - -3) a composite number?
False
Suppose -5*g = -0*g + 75. Let j = g - -9. Is 770/21 - 2/j a composite number?
False
Suppose -4*s + 4626 = -2*b, -s + 6*s - 4*b = 5781. Is s prime?
False
Let g(a) = 3*a**3 - 4*a**2 - a + 4. Let d be g(3). Let v = d + 7. Is v prime?
True
Suppose o - 5*o = -2348. Is o a composite number?
False
Let n = 97 + -8. Is n prime?
True
Let w(u) = -2*u**2 - 4*u - 2. Let q be w(7). Let c = 195 + q. Is (1 + 1 - 1)*c composite?
False
Is (81362/(-51))/((-2)/9) prime?
False
Let h(p) = 4*p**2 - 10*p + 2. Let f(o) = 7*o**2 - 21*o + 5. Let j(x) = -3*f(x) + 5*h(x). Let t be (-42)/4*(-4)/6. Is j(t) prime?
True
Let b be 1*-7*(-36)/(-42). Is 1 - b*(2 + 51) composite?
True
Let p(u) = u**3 - 2*u**2 + 5*u - 3. Let f(s) = 2*s**2 + 3*s - 4. Let l be f(-3). Is p(l) a prime number?
True
Let x(s) = -s**3 + s**2 - s + 67. Is x(0) prime?
True
Suppose f - 2238 = -655. Is f composite?
False
Suppose -g + 1 = 6, 2*y - g = 1121. Suppose 50 = -4*l + y. Is l a composite number?
False
Suppose -f + 139 = -4*q + 1893, -3*q = 5*f - 1304. Let u = q - 260. Is u composite?
True
Suppose 3*f + h = -628, 2*h + 4 = 4*h. Let s = -119 - f. Is s a prime number?
False
Is 3 + -2 + 78 + -2 a prime number?
False
Let h(v) = -7 - 1 + 0*v**2 - 4*v + v**2. Let g be h(6). Is (50/g)/(1/2) a prime number?
False
Is (-1192)/2*(-4)/16 composite?
False
Suppose 115 = 4*o + 15. Is o a prime number?
False
Let i(a) be the first derivative of 0 + 2 - a**2 - 2*a - 1 + 0*a. Is i(-6) prime?
False
Suppose -5*c - 4*v = -6891, -5*c + 8617 = -3*v + 1719. Is c a prime number?
False
Let t(m) = 30*m**2 - m + 0*m + 254*m**2. Let b be t(-1). Suppose -2*l - b = -7*l. Is l prime?
False
Let s(k) be the second derivative of 3*k**5/10 + k**4/12 + k**3/3 - k**2/2 + k. Is s(2) composite?
True
Let j be ((-9)/(-15))/((-4)/(-100)). Suppose -j = -4*f - f. Suppose -2*v =