3*y - w*j = 2034, 3*y + 5*j - 2249 + 175 = 0. Is y composite?
False
Let i be 1 - 4 - (-1 + 0). Let m(v) = -3*v - 3. Let n be m(i). Suppose -3*t = n*q - 219, 138 = -3*q - t + 365. Is q a composite number?
True
Suppose 0*p = -5*p - 35. Let g(o) = -19*o. Is g(p) composite?
True
Suppose 0 = -97*x + 101*x - 3548. Is x a composite number?
False
Let b(y) = -y**3 + 2*y**2 + 4*y - 5. Let a be b(5). Let v = a - -113. Is v composite?
False
Let h(l) = -l**3 - l**2 + 5*l - 5. Is h(-4) composite?
False
Let h = 159 + -100. Suppose -2*n = -n - h. Suppose -3*r = -2*c - 64, n + 28 = 4*r - c. Is r composite?
True
Suppose 0 = -3*v + 118 + 134. Suppose -g = 3*g - v. Is g prime?
False
Suppose 3*h + 236 = -h. Is (-3 + h)*(-21)/6 prime?
False
Suppose 3*a + 2*t = 18, 0*t - 5 = -2*a + t. Let q = 135 - a. Is q a prime number?
True
Let f(p) = 559*p + 27. Is f(8) composite?
True
Is (-544)/(-3) + (-17)/51 prime?
True
Suppose -5*i = -2*w + 980, 3*w + i + i = 1451. Is w a composite number?
True
Let c(b) = b**3 + 8*b**2 + 7*b + 7. Let g = 0 + 18. Let s = 12 - g. Is c(s) a prime number?
True
Let c(h) = h + 5. Let m be c(-3). Suppose m*v + v - 5 = p, 3*p = -4*v + 11. Suppose o = 4*b - v*o - 150, -8 = -4*o. Is b a composite number?
True
Is (-1 - -159) + (-4 - -1) composite?
True
Let f(z) = -545*z**3 + z**2 + 2*z + 1. Is f(-1) prime?
False
Let l = 1 - 2. Is 79/1*(2 + l) a prime number?
True
Suppose -2*z + 0*z - 2*b + 18 = 0, z - 5*b + 15 = 0. Suppose 5*m - m + z*o + 4 = 0, -m + 4*o = -20. Is m a prime number?
False
Is (-11668)/(-44) - 6/33 a composite number?
True
Let l(y) = 43*y + 6 - 2 + 9*y. Let t be l(4). Suppose 4*w + o = t, w = -3*w + 2*o + 212. Is w a composite number?
False
Let u(d) = -70*d + 1. Let k be u(-3). Suppose 2*o - 4*z = 544 - 82, 0 = o + 3*z - k. Is o a composite number?
False
Let z(r) be the first derivative of -r**4/4 + 5*r**3/3 + r**2/2 - 2*r + 5. Let p = 2 - -3. Is z(p) a prime number?
True
Is 5 + 110 - (-4)/1 a composite number?
True
Let b be 147/18 + 3/(-18). Suppose b*z - 3*z = 1055. Is z a composite number?
False
Let h = 55 + -18. Suppose -4*i = 3*q - h, -q + 2*q + i = 14. Is q composite?
False
Let o(l) = -l**3 - 3*l**2 + 4*l + 3. Let j be o(-4). Is 599/j + (-10)/15 prime?
True
Suppose 6 = -2*n, 146 = 3*t - 2*t + 5*n. Is t prime?
False
Suppose -3*v + 83 = v + 3*r, 4*v + 5*r - 93 = 0. Suppose 0 = -3*g + v + 7. Let t(n) = n**3 - 7*n**2 - 7*n + 11. Is t(g) prime?
True
Let p(g) = 2*g - 3. Let s be 8 + 2 + 1 + -5. Suppose 0 = -y - 0*y + s. Is p(y) a composite number?
True
Suppose 4*l = 2*l - 28. Let f = l + 29. Is f a prime number?
False
Let p be (2 - -3)*6/15. Suppose j - 176 = 3*x, p*j + 5*x - 317 = 4*x. Is j a prime number?
False
Suppose 0*p = 5*p - 1325. Is p prime?
False
Suppose -1088 + 48 = -5*b. Let q = b + -51. Is q composite?
False
Suppose -2816 = -4*c + 2180. Is c a prime number?
True
Suppose 3*t - 10 = -2*t. Let p be 3 - t/3*-3. Let c(o) = 2*o**3 - 3*o**2 + 8*o - 4. Is c(p) composite?
False
Let d(p) = -p - 6. Let y be d(-4). Let u = 5 - y. Let w = 7 + u. Is w prime?
False
Is -1*(5 - 2) - (-1 - 1069) a prime number?
False
Let f be (2*28)/(2/3). Suppose 3*t + 78 + 60 = 0. Let c = f + t. Is c a composite number?
True
Is ((-1)/(1/(-4)) + -5)*-7 a prime number?
True
Let w(c) = 133*c**3 + c**2 - 2*c + 1. Is w(1) composite?
True
Let w be 5 + 2/4*2. Let p = -4 + w. Suppose g + 4*b + 111 = p*g, -2*b = 4*g - 372. Is g a prime number?
False
Let c(m) = -5*m - 10. Let k(a) = 6*a**2 - 3*a - 3. Let o be k(-3). Suppose -2*i + z = 14 + 9, 5*i + o = 3*z. Is c(i) a composite number?
True
Suppose -8*f = -t - 3*f + 398, f = 3*t - 1124. Is t a composite number?
False
Suppose 35 = 3*i - 8*i. Let n = 3 - i. Is n a prime number?
False
Let s = -4 + 6. Suppose -3*c + 6*c - 30 = -s*w, c - 10 = 4*w. Suppose 45 = 5*p + c. Is p composite?
False
Suppose -2*s + 12 = 2*s. Is s/1 + 8/1 a composite number?
False
Suppose 4*f + 2*l - 70 - 14 = 0, -2*l + 65 = 3*f. Is f composite?
False
Suppose -3*y + 4*o = -58, 4*o = 3*y + 8*o - 74. Is y composite?
True
Suppose 4*d + k - 27 = 0, 4*d + 5*k - 2*k - 33 = 0. Is d a composite number?
True
Suppose 0 = 4*i + 16. Let v be (-10)/4 - 2/i. Is 21*(2 + (v - -1)) a composite number?
True
Let w be (-4 - -3)*(-6)/2. Suppose 0 = -w*n - 1 - 2. Is 14 - (n - (-2 - 2)) prime?
True
Let t = 12 - 6. Let j(b) be the second derivative of 5*b**4/12 - b**3/2 + 7*b**2/2 - b. Is j(t) a composite number?
True
Suppose g = 8*g - 6559. Is g prime?
True
Let i be (-11 + 1)*(-2)/5. Let l(w) = -i*w**3 + 2*w**3 - 4*w**2 + w**3 - 6*w + 12*w**2. Is l(7) composite?
False
Let t = 9 + -8. Let s(v) = 9*v + 1. Is s(t) a composite number?
True
Let k(d) = 3*d - 9. Suppose -5*u + 17 = s, 8 + 0 = 2*s - 3*u. Let h be k(s). Let f = h - 6. Is f prime?
False
Suppose 0*d = d. Suppose -4*o = 4*h - 56, d*h + 4*o = -h + 29. Is h composite?
True
Let z(x) = -x + 1. Let v(t) = -t**2 + 5*t - 3. Let q(u) = -v(u) + 2*z(u). Let k be q(7). Suppose 3*g - k*s - 280 = 193, g - 155 = 3*s. Is g prime?
False
Let q(u) = 42*u + 1. Suppose -x = -6*x + 5. Is q(x) a prime number?
True
Let r = -503 - -754. Is r a prime number?
True
Let g = -1054 + 1493. Is g a composite number?
False
Let c = 0 + 2. Suppose -2*u + 2*z + c = 30, -28 = 2*u + 5*z. Is (-4)/u - (-384)/28 a composite number?
True
Suppose -5*a - 16 = -a. Let v be 29/(-2) + (-2)/a. Let f = 20 + v. Is f a composite number?
True
Is -4*2/(-8)*-1*-919 a prime number?
True
Suppose -4*o + 515 = -1369. Is o prime?
False
Suppose r + 3*k = -2*k + 2, -5*r + 10 = 3*k. Let p be -73 + (r - (1 + 2)). Let d = -53 - p. Is d prime?
False
Is (-1)/1 - (1 - 1276 - 3) a prime number?
True
Let m(f) = 4*f**2 - 7*f + 16. Is m(7) a prime number?
True
Let c = 66 + -13. Is c a prime number?
True
Let c be (0 - 0 - 1)*2. Let z be ((-5)/c)/((-3)/(-264)). Suppose 6*y - 5*q = y + z, 137 = 3*y - 2*q. Is y a composite number?
True
Suppose h = 4*a - 1406, -2*a + 5*a = -2*h + 1060. Suppose -d = 2*m - 135, 305 + a = 5*d + m. Is d composite?
False
Is (251/(-2))/(-5 + 63/14) composite?
False
Let d = -177 + -2. Let g(w) = 6*w**2 - 5*w + 6. Let q be g(7). Let t = q + d. Is t composite?
True
Suppose 0 = 150*f - 146*f - 1292. Is f prime?
False
Suppose 2*o + 2*o = 496. Suppose u - 5*u = -o. Is u composite?
False
Let t(y) = -y + 5. Let c be t(0). Suppose 56 = 2*d - 3*j + 7*j, -5*d - c*j = -130. Suppose 0 = 2*v - 66 + d. Is v composite?
True
Is (-5)/((-20)/8) - -371 a prime number?
True
Suppose 0*n - 5*w - 22 = -3*n, -5*w - 26 = -4*n. Let o = 18 - n. Is o composite?
True
Let i(y) = -19*y + 9. Is i(-7) prime?
False
Let i(g) = -g**3 + 17*g**2 - 10*g - 1. Suppose -p - 33 = -3*b + 2*p, 3*b + p - 53 = 0. Is i(b) prime?
False
Let w(h) = -h - h + 5*h**2 + 4*h. Is w(-3) a composite number?
True
Suppose 0 = h + 5 - 24. Suppose p = -3*b - p + h, 3*b + 5*p = 7. Let f(d) = d**2 + d + 1. Is f(b) prime?
False
Suppose 2*l + 7 = -3*q + 4*q, -l = -3*q + 6. Let y = q + 36. Is y composite?
False
Let w = 2 - 1. Let r be 75/9 + w/(-3). Suppose -p - 10 = -b, -4*b = -r*b + p + 49. Is b a composite number?
False
Let u(a) = a**3 + 2*a**2 - 5*a - 3. Let z be u(-3). Let h = 0 + z. Suppose h*t - 575 = -2*t. Is t composite?
True
Let g = -81 + 230. Is g prime?
True
Let q be (-2)/5 + (-82)/(-5). Suppose 0 = -5*w - 0*t + 2*t + 28, 3*w - 2*t - q = 0. Suppose w*k - 66 = 3*k. Is k a prime number?
False
Let t(a) = -11*a - 6. Let r be t(-5). Let k = 98 - r. Is k prime?
False
Let b = 5 - 7. Is -4 - b - (-140 - 1) composite?
False
Suppose -5 = 3*n - c, 2*n - 2*c = -2*n - 6. Let d = -2 - n. Suppose 4*m + 2*j - 218 = d, -5*j = 2*m - j - 118. Is m a prime number?
True
Let n = 1474 + -636. Is n composite?
True
Let x(m) = -m - 3. Let g be x(-8). Suppose g*w - 2*y = 29, 0 = w + 2*y - 1 - 0. Suppose 308 = -v + w*v. Is v prime?
False
Let x = 3 - 3. Suppose x = -5*f - 2*w + 29 - 3, 8 = 5*f - 4*w. Suppose 0 = -c + f*c - 159. Is c a prime number?
True
Is 2/((-36)/(-15939)) - 6/(-4) a prime number?
True
Let z(w) = -3*w + 2. Is z(-3) a prime number?
True
Let u(y) = -y**3 + 6*y**2 + 2*y - 5. Let h be u(6). Let s(i) = 7*i - 8. Let t be s(h). Suppose 0 = p - 6*m + 3*m - 27, -m = 3*p - t. Is p composite?
True
Suppose -2*u + 1611 = u - 4*i, 5*u + 5*i - 2720 = 0. Is u a composite number?
False
Let g be (2/5)/((-1)/5). Is (0 - (-8 + -1)) + g a prime nu