osite?
False
Suppose -3*h - 6 = -0*h. Let d be h/2 - 181/(-1). Let p = d - 127. Is p a composite number?
False
Let u(o) = 4*o**2 + 23*o - 21. Let n(f) = 2*f**2 + 11*f - 10. Let c(g) = 13*n(g) - 6*u(g). Is c(-5) prime?
False
Let c be 99/6*(-130)/(-3). Suppose -230 = 5*y - c. Is y prime?
True
Suppose -3*s + 2*s = -3. Suppose 41 + 160 = s*g. Is g composite?
False
Let m(x) = -2*x**3 + 4*x**2 - x - 2. Let u be m(-3). Suppose -2*v + 188 + u = k, -5*k - 2*v + 1427 = 0. Is k prime?
False
Let p(u) = -u**3 + 11*u**2 + 7*u + 6. Is p(7) prime?
True
Suppose 0 = -0*t + 4*t + 32. Suppose 10 = -2*j + 2. Is (-318)/j*t/(-12) composite?
False
Let i(y) = y**3 + 4*y**2 + 2*y + 2. Let g be i(-4). Is g + 42 + (-2 - -1) prime?
False
Let a be (-11 - 0) + 7/(-7). Let i(y) = y**3 + 13*y**2 + 5*y + 10. Is i(a) a composite number?
True
Suppose -3*l = -90 + 15. Suppose 0 = 3*k + n - l, 7*n - 6 = 2*k + 2*n. Is k a prime number?
True
Let p(d) = d**3 - 13*d**2 + 10*d - 5. Is p(14) a prime number?
True
Is (-88975)/(-21) - (-52)/546 a composite number?
True
Let j = -686 - -1840. Is j prime?
False
Let y(b) = -b**3 + 11*b**2 + 12*b - 1. Let q(o) = -o**3 + 10*o**2 + 11*o. Let t(n) = 7*q(n) - 6*y(n). Let h be t(5). Is (-141)/(-2)*h/9 a prime number?
True
Suppose -3*v = 5*a + 1 - 12, 8 = 3*v + 2*a. Suppose -23 = -v*h + 3*h + 5*w, 0 = 5*h + 2*w. Suppose -5*q + 121 = -2*o - 360, -h = -o. Is q a prime number?
True
Let g = 1273 + -578. Suppose -226 = -3*b + g. Is b a composite number?
False
Suppose 3*y - 4*y = 374. Let s be y/(-6) - 2/6. Suppose 175 + s = 3*w. Is w a composite number?
False
Is -2*2/(-4) - (-87 - -14) prime?
False
Let x(n) = n**2 + 4*n - 7. Let v be x(-5). Let d(t) = 31*t**2 - 3*t - 3. Is d(v) composite?
False
Suppose 0*z - 3*z - 27 = -5*i, -5*i = 4*z + 1. Suppose i*v - 2*v - 3*f = 5, -2*v = -3*f - 7. Suppose -q + v*q - 6 = 0. Is q composite?
True
Let p(x) = -x + 6. Let i = -2 - -5. Suppose -i*n + 6*n = 0. Is p(n) a composite number?
True
Let w(p) = p**3 + 11*p**2 + 8*p + 7. Is w(-9) composite?
False
Suppose -2*g - 89 = 4*x - 23, 5*x = -5*g - 150. Let m = -204 + g. Is (-1)/(-6) - m/18 composite?
False
Let c = 261 - -1316. Is c composite?
True
Let a = -57 - -112. Is a a composite number?
True
Suppose 3*m = 1190 + 1675. Suppose -3*w = -m - 1166. Is w composite?
True
Suppose -c + 388 = 3*n, 2*n = 4*c - 3*c + 257. Suppose -n = -3*o - 36. Is o a composite number?
False
Suppose 3*n + n = -24. Let t = n - -11. Suppose 3*u = a - 2*u - 67, t*u - 10 = 0. Is a composite?
True
Let z(d) = -d**2 - 3*d + 4. Let m be z(-4). Suppose t - c + 71 = m, 239 - 24 = -3*t + c. Is (-4)/14 + t/(-7) prime?
False
Suppose v + 5 = z, -5*z + 5*v = -2*z - 9. Is 4/z*388/2 composite?
False
Let j = 1073 - 490. Is j a composite number?
True
Let p(h) = -842*h**3 + 2*h + 1. Is p(-1) composite?
True
Let i be 1 + 710/(-2 - -3). Let g = i + -380. Is g prime?
True
Suppose -2*v + 0*v = -2. Let b(o) = -o + 1. Let s(z) = -49*z - 4. Let x(u) = -4*b(u) - s(u). Is x(v) composite?
False
Is 489 + 1*8/(-4) a composite number?
False
Suppose -12 = 3*z + z. Let b(p) = -2*p - 2. Let t be b(z). Suppose 0 = -0*n + t*n + y - 214, -2*n + 2*y + 102 = 0. Is n composite?
False
Let l(q) = -q**3 + 2. Let g be (2 + (0 - 3))*0. Let o be l(g). Suppose v - 4*r = 5*v - 368, o*v + 4*r - 186 = 0. Is v a prime number?
False
Let g be 6 + (-4)/8*4. Suppose -a - g*a = -1325. Is a composite?
True
Suppose -5*c = -154 - 11. Is c composite?
True
Let f be (-6)/21 + (-4462)/14. Let k = f + 506. Is k composite?
True
Let t(w) = w**3 + 5*w**2 - w - 5. Let q be t(-5). Suppose -3*l - 3*a = -q*l - 33, -14 = -2*l + 2*a. Suppose l*p - 425 = 4*p. Is p a prime number?
False
Suppose i = -3*q + 8*q + 718, -q = 2*i - 1403. Is i a prime number?
False
Suppose 3*s = -5*u + 601 + 519, -2*u + 3*s = -427. Is u composite?
True
Suppose -5*s - 24 = -s. Let u = s - -5. Is u*(-2)/4*326 composite?
False
Let r(v) = -v**2 - 3*v - 8. Let u be r(-6). Suppose -64 + 3 = t. Let f = u - t. Is f a prime number?
False
Let s(b) = -b**3 + b**2 - b. Let l(j) = 2*j**3 + 6*j**2 + j - 4. Let p(z) = l(z) + s(z). Let u be (-8)/12 - (-26)/(-6). Is p(u) composite?
True
Let v be (-34)/(-3)*(-6)/(-2). Let m(c) = -c + 18. Let a be m(9). Let r = v - a. Is r a prime number?
False
Suppose -2*m + 3 = -13. Suppose 0 = m*l - 6*l - 586. Is l a composite number?
False
Suppose h - 2595 = -4*a, 3*h + 0*a = 2*a + 7771. Suppose -3*u - o = -h, -4*u - 695 = 3*o - 4153. Is u a prime number?
True
Suppose -5*u - y + 46 = y, y = 3*u - 21. Let r(j) = 4*j**2 - 12*j + 3. Is r(u) a prime number?
True
Let t(j) = -112*j + 1. Is t(-6) a prime number?
True
Suppose 3*l + l + 259 = 3*f, 5*l = -4*f + 366. Is f a prime number?
True
Suppose 3*r - 2 + 0 = -2*n, 2 = -r - 2*n. Suppose -163 = -r*u + 187. Let a = -122 + u. Is a a composite number?
False
Is -4 - -141*(3 - 0) a prime number?
True
Let b be (1 + 50/(-14))*-7. Suppose 7*u - 4*u = -b. Is ((-28)/u)/((-2)/(-9)) a prime number?
False
Let t be ((-146)/5)/(3/(-15)). Is (1 + -4 - t)/(-1) a prime number?
True
Let o(l) = 62*l + 7. Suppose f + 69 = 4*a, 2*a - 5*f - 32 - 7 = 0. Suppose 5 = -c + a. Is o(c) a composite number?
False
Let l(o) = 18*o**2 + 3*o + 4. Is l(-11) a composite number?
True
Let x(c) = -19*c**2 + 21*c + 2 + c**3 + 1 - 2*c. Is x(18) a prime number?
False
Suppose 4*s + w - 28 = 0, 0*s + 7 = s + 4*w. Let f = 92 - s. Is f prime?
False
Let l(c) = -c**3 - c**2 - 1. Let g be l(-2). Is (g - 2)*(1 - -264) prime?
False
Suppose -4*v = -17 - 7. Let y = v + -2. Let w = y + 17. Is w composite?
True
Is 3 + 104 + 5 + -3 a composite number?
False
Suppose 4*b = 5*b - 809. Is b prime?
True
Let l be 6*(-2)/(-15)*5. Suppose -7*w + l*w = -1245. Is w a prime number?
False
Suppose -3*n = -2*n - 412. Suppose 0 = -0*r + 2*r - n. Is r prime?
False
Let x = -119 + -88. Let n = x + 410. Is n composite?
True
Let g(n) = -41*n - 8. Let z be g(-6). Suppose z = 5*v + j, 4*j + 129 = 3*v - 0*v. Suppose -3*k - v = -4*k. Is k a composite number?
False
Suppose 5362 = 5*p + 977. Is p a composite number?
False
Suppose 3*p - p = -4*v + 2306, 4*p = -4*v + 4624. Is p a composite number?
True
Is (-12145)/(-15) + 2/(-3) a prime number?
True
Let b = -6 - -8. Suppose -3*p - x + 295 = -2*x, b*x - 89 = -p. Is p composite?
False
Let y = -742 - -1048. Suppose 0 = 2*o + o + y. Let a = 181 + o. Is a a composite number?
False
Let w be (-1 + 2)/((-2)/6). Is 38/w*(-3)/2 prime?
True
Let v(l) = 2*l**2 - 2*l. Let u be v(2). Let x(k) = -4*k**3 + 6*k**2 + 2*k - 3. Let w be x(-5). Suppose u*s + 5*z - w = -0*s, 4*z + 175 = s. Is s prime?
True
Let i = -5 + 7. Suppose 0 = -0*v + i*v + 162. Let m = v - -128. Is m a prime number?
True
Let f(i) = -i**3 + 6*i**2 + 6*i - 1. Suppose 3*m + 5 = 41. Suppose 0 = 2*z - 4*z + m. Is f(z) a composite number?
True
Let g be (-101)/(-9) - 4/18. Let j(t) = 11*t - t**2 - g - 4*t + 4*t. Is j(8) prime?
True
Let f be (-10)/2*(-662)/(-5). Let r be 8/(-28) + f/(-14). Suppose -2*c - r + 125 = 0. Is c prime?
False
Let s(j) = 12*j**2 + 8*j + 3. Suppose 0 = g - o - 2*o - 10, 45 = -5*g - 4*o. Is s(g) a prime number?
True
Is -7*318/(-4) + 2/4 prime?
True
Suppose 3*n - 913 = -4*p, -2*n = -3*n + 3*p + 287. Is n a prime number?
False
Let s(k) = 2 + 2 - 9 + 4*k. Let f be s(7). Suppose 3*m - 10 = f. Is m prime?
True
Let i = -9 - -19. Let w(o) = o**3 - 5*o**2 + 2*o - 1. Let x be w(5). Let b = x + i. Is b composite?
False
Let x(l) = l**3 + 8*l**2 - 8*l + 10. Is x(6) a prime number?
False
Let y(j) = 10*j**2 + 3*j. Is y(2) composite?
True
Suppose -3*l + 92 = -t, -l + 2*t - 95 = -4*l. Let k = -8 + l. Is k a composite number?
False
Let x = 220 + 2229. Is x composite?
True
Suppose -4215 = -3*o - 2*o. Is o a composite number?
True
Let s = -25 + 28. Suppose 8*t + 108 = q + s*t, -2*q = t - 161. Is q a prime number?
True
Suppose 0 = -2*n + n. Let r = 26 + n. Is r a composite number?
True
Let n(d) = 88*d**2 - 8*d + 27. Is n(7) a composite number?
False
Let l(z) = -14*z - 1. Let w be l(-1). Let m(x) = -x + 1. Let a be m(1). Suppose a = -4*g + 2*t + 82, 9 = g - t - w. Is g prime?
True
Let h be ((-276)/5)/(12/(-40)). Is (-2)/(-4)*(h + -6) composite?
False
Suppose -4*r + 3*r - 2*f = -161, r - 163 = -3*f. Is r prime?
True
Suppose -5*l + 0*l - 1465 = 0. Let i = -166 - l. Is i a prime number?
True
Suppose -7 = 2*g - 649. Suppo