pose -3 = m + 3*y, 2 = 3*m + 2*m - 2*y. Suppose 4*z + 12 = 4*g, -3*g + m*g + 3 = -z. Suppose g = -p, 3*r - 2*p = -r + 44. Is r prime?
True
Suppose 19*k = 18*k. Suppose -2*p + k*p + 174 = 0. Is p a prime number?
False
Let p(c) = 23*c**2. Let v be p(4). Let s = -253 + v. Is s a composite number?
True
Let x = -174 - -89. Let d = 179 + x. Is d a composite number?
True
Let l(z) = z**3 - 7*z**2 + 6*z + 2. Let j be l(6). Let m be -1 + (-1)/3*-3. Suppose 4*g - 3*q - 1043 = m, q = -j - 3. Is g prime?
True
Suppose p - j - 4 = 0, p = 5*j - 10*j - 26. Is p/1*(-1758)/6 prime?
True
Let s(r) = -r**3 - 4*r**2 - r - 2. Let h be s(-4). Is (3/h)/((-6)/(-1004)) a prime number?
True
Suppose -x - 107 = -4*t, x - 83 = -3*t - x. Let i = 107 + -27. Let n = i - t. Is n a prime number?
True
Suppose -4*a = -3*a. Suppose 3*o + 2*o - 5 = a. Is -1*14/(o - 2) a composite number?
True
Let v = -17143 + 29754. Is v a prime number?
True
Suppose -5*k + 38 = -2*r, -5*r + 2 = 22. Let l = 17 - k. Is l composite?
False
Suppose m - k = 7, -2*m - 14 = m + 4*k. Suppose 0 = 2*c - 76 + m. Is c prime?
True
Let b(x) = x**3 + x**2 + x - 2. Let p be b(0). Let q = p + 1. Is (-1)/(q/20) + 2 prime?
False
Is 36106/49 + (-1)/(-7) composite?
True
Suppose f - 4 = r - 5, r - 1 = 0. Let n(c) = c**3 - c**2 + c + 5. Let q be n(0). Suppose -4 = q*t + 16, a - 3*t - 35 = f. Is a a composite number?
False
Suppose 4 = y - c + 3, 5*c - 15 = 0. Suppose t + 3*v - 97 = 0, -t - 2*t + 301 = y*v. Is t a prime number?
True
Suppose -o = 4*f + 194, -f - 35 = -o + 16. Let i be (-31)/(-7) - (-21)/f. Suppose i*v - 175 = -v. Is v composite?
True
Let o(s) = s**3 + s - 4. Let k be o(0). Let l(u) = 3*u**3 + 12*u**2 + 2*u - 8. Let g(h) = h**3 + 4*h**2 + h - 3. Let a(v) = -17*g(v) + 6*l(v). Is a(k) prime?
True
Is 1 - -4 - 4 - -484 prime?
False
Suppose -4*a = 9 + 3. Is (a/(-6))/((-3)/(-1146)) composite?
False
Suppose -3*d - 40 = p, -3*p - 17 = -5. Is 18/(-4)*296/d composite?
True
Is 11430/4 - -1*4/8 prime?
False
Suppose 9267 = 5*k - 16598. Is k a prime number?
False
Let j = 10 - -75. Is j prime?
False
Let l be (2/4)/((-3)/(-12)). Suppose -3*r = 9, 5*i - l*r + 4*r = 1049. Is i a prime number?
True
Let k(h) = h**3 - 4*h**2 + 6. Let s be (12/9)/((-4)/(-6)). Suppose -g = s*g - 15. Is k(g) a prime number?
True
Let j(g) = -3*g**3 + 2*g + 1. Let c(m) = -m**3 - 3*m**2 - 1. Let v be c(-3). Let p be j(v). Suppose p*z = 55 - 17. Is z a prime number?
True
Let u be -223 + (-2 - 0/(-2)). Let p = u - -343. Is p prime?
False
Let i be (-3)/15 + (-2)/(-10). Suppose t = -7*d + 4*d + 164, -2*t + 10 = i. Is d prime?
True
Suppose -7*y - 2055 = -10*y. Is y composite?
True
Let q = -156 + 82. Let n be q*(-3 - (1 + -2)). Suppose -4*f + n = -0*f. Is f a composite number?
False
Suppose -5*z + 14516 = d, 0*d = -5*z + 3*d + 14512. Is z composite?
False
Let y(g) = -8*g - 1. Is y(-1) composite?
False
Suppose 2*h - 6 = 0, -h - 2*h + 348 = 3*j. Is j composite?
False
Let n(v) = -3*v. Let r be n(2). Suppose y + 5*b - 57 = 0, 3*y + 3*b - 127 = -b. Let d = r + y. Is d prime?
True
Is ((-636)/(-24))/((-2)/(-28)) prime?
False
Let v(j) be the second derivative of -j**5/10 + 2*j**4/3 - j**3/3 - 5*j**2 - j. Let q be v(-7). Suppose -4*f - 238 = -q. Is f a prime number?
True
Let c(f) = -f - 1. Let w(g) = 3. Let a(y) = c(y) - w(y). Let m be a(-3). Let z = m - -14. Is z composite?
False
Let t(y) be the second derivative of y**5/20 - y**4/4 + y**3/6 - y**2/2 + 3*y. Is t(6) a prime number?
True
Suppose 6*r - 1045 = r. Is r a prime number?
False
Suppose -2*s + 223 = -s. Is s prime?
True
Let w(i) be the first derivative of i**3/3 - i**2/2 + 2*i - 1. Suppose -5*m - 10 = 5*n, -n + 3*m + 0*m = 6. Is w(n) composite?
True
Suppose -a - 17 = -0. Let t = -11 - a. Suppose -2*f + t = y + 3*f, -2*f = y - 21. Is y prime?
True
Let i = -6 - -11. Let u = 5 - i. Suppose -5*g - 2*t + 73 = u, -t - 3 = 2*t. Is g a composite number?
True
Let u(v) = 24*v + 2. Is u(6) prime?
False
Suppose 6*w - 3 = 3*w. Let y be 3*w + 6 + 351. Is 3/(-7) + y/7 a prime number?
False
Is 11/((-44)/(-728)) - 3/1 a prime number?
True
Let a be 1 - (11 - -2 - 3). Is 34/6 + (-3)/a composite?
True
Suppose f + 106 - 4 = 0. Let r = 229 + f. Is r a prime number?
True
Let a(b) = b + 15. Let m be a(-11). Is m/2 + -3 - -112 a prime number?
False
Let s(r) = 2*r**2 - 23*r - 4. Let g(y) = -y**2 + 12*y + 2. Let h(p) = -5*g(p) - 3*s(p). Let w be h(9). Is (1*678/3)/w a composite number?
False
Is ((-3627)/(-54) - (-2)/(-3))*2 composite?
True
Suppose -19*l + 16*l = -2283. Is l a prime number?
True
Suppose 5*r = 3*i + 8368, -3*i + i = 2. Is r a prime number?
False
Let r(l) = 27*l - 15*l - 6*l - 7*l + 163. Let p = -1 - -1. Is r(p) composite?
False
Suppose -2*j - 1180 = -6*j. Suppose 2*r = 7*r - j. Is r a prime number?
True
Let h(l) = -145*l + 7. Is h(-6) composite?
False
Let y(u) be the first derivative of 8*u**2 + u - 2. Is y(10) prime?
False
Let o = -18 + 27. Is o prime?
False
Let w = 1019 + -386. Let m = -302 + w. Is m prime?
True
Let v be (-8)/5 - (-4)/(-10). Is (-1 - v)/((-5)/(-475)) prime?
False
Is 846/8 - (-3)/12 a prime number?
False
Suppose -9 + 0 = 3*w. Let p = w - -3. Suppose -2*d + d + 121 = p. Is d prime?
False
Let o(x) = 291*x + 1. Is o(2) prime?
False
Let d(h) = h**2 + 3*h. Let b be d(-5). Let z be (-4)/(-20) - (-48)/b. Suppose -200 + 35 = -z*t. Is t composite?
True
Let k = 406 + -99. Is k prime?
True
Let u = 4 + 0. Suppose -2*p - 56 = -2*j, j + 4*p = -u*j + 185. Is j prime?
False
Let y(m) = 5*m**2 - 9*m + 5. Is y(5) composite?
True
Let d = 1 + 1. Suppose 1274 = 2*m - 4*y, d*y = -3*m - 0*y + 1879. Is m a prime number?
False
Let i = 51 - 26. Is i a prime number?
False
Let u = -10 - -24. Is u - ((-1 - 0) + 0) composite?
True
Let y(g) = 2*g**2 + 13*g - 12. Is y(-10) composite?
True
Suppose 0 = -3*k + z + 5230 + 285, 0 = -5*z + 10. Is k prime?
False
Let m(n) = n + n**2 - n**2 + 1 - n**2 - n**3. Suppose -1 + 3 = -d. Is m(d) a composite number?
False
Suppose -5*t + 236 = 2*v - 109, 5*v = 5*t - 310. Is t prime?
True
Let w = -63 + -12. Let c = -42 - w. Is c a composite number?
True
Suppose -15*t - 10 = -20*t. Suppose -3*g + t*g = -10. Is g composite?
True
Let n(s) = -s**3 - 5*s**2 - s + 1. Let u be n(-5). Suppose -u*b + b + 635 = 0. Is b prime?
True
Suppose 0 = -4*i + 4*b + 2 + 10, -i - b + 7 = 0. Suppose i*p = 892 + 423. Is p prime?
True
Let t be 5/2 - 1/2. Let x be ((-15)/(-10))/(t/(-24)). Let o = x - -80. Is o composite?
True
Let o(i) = 2*i**2 + 7. Is o(-5) a composite number?
True
Let m(j) = 136*j**2 + j - 1. Is m(-2) a composite number?
False
Is (-1)/((2/2)/(-127)) composite?
False
Let g be 4 + (-6)/4*2. Suppose 3*x - 8 - g = 0. Suppose -t = x - 14. Is t a composite number?
False
Let u(v) = -v**3 + 5*v**2 + 5*v + 5. Let x be u(6). Let n = 7 + x. Is n a prime number?
False
Let r(g) = 17*g**2 - g - 9. Is r(-4) prime?
False
Let c(q) = 58*q - 9. Let d be 96/9 + (-1)/(-3). Is c(d) a prime number?
False
Let c(j) = -80*j - 1. Let m(i) = i**2 - 8*i + 6. Let y be 6*1 - (-6 - -5). Let z be m(y). Is c(z) a composite number?
False
Let o be (-100)/(-5) - (0 - -3). Suppose 255 = o*i - 12*i. Is i a composite number?
True
Suppose o + 5*x + 104 = 3*o, 5*x = -4*o + 238. Is (8/(-12))/((-2)/o) a prime number?
True
Let n(u) = 3*u + 178*u**2 + 2*u**2 + 108*u**2 - 2*u. Is n(-1) composite?
True
Let s = 0 - -40. Let z = -29 + s. Is z prime?
True
Let n = -166 + 236. Suppose f = n + 7. Is f a prime number?
False
Let g(c) = c**2 - 3*c - 5. Let k be 3*21/9 - 3. Let p be g(k). Is (-41)/(p/(-10)*-2) a composite number?
True
Let i(z) be the first derivative of -3*z**2 + z - 3. Is i(-2) a prime number?
True
Suppose 0 = -c - 0*c + 409. Is c a composite number?
False
Let i(z) = -20*z + 23. Is i(-10) a composite number?
False
Let i(a) = 13*a**2 - 10*a + 4. Is i(19) a prime number?
True
Suppose 2302 = 2*u + 3*x - 7*x, -3*u - 4*x + 3453 = 0. Is u a composite number?
False
Let c(h) = -7*h**3 - 4*h**2 - h + 7. Suppose 0 = 2*l - 4*l - 8. Is c(l) a composite number?
True
Suppose -d - 2*o - o + 1261 = 0, 12 = 3*o. Is d a composite number?
False
Let t = 55 - 5. Suppose y = 2*y - t. Is (1 - y)*(-3 - -2) a composite number?
True
Let t(l) = 7*l**2 + 3*l. Let k be t(4). Suppose 0 = g - 35 + 5. Suppose -2*f + k = -g. Is f a composite number?
True
Suppose 6*d - 18 = 828. Is 