ite number?
True
Suppose -2*v + 41 = -2*o + 3*o, 5*o - 72 = -3*v. Let k = v + -12. Let s = k + 28. Is s a composite number?
True
Suppose 5*z + 8 = -4*c + 2, -3*z = -2*c - 14. Let o(h) = 1 - 2*h**2 + 40*h**2 + 0*h**z + 2*h. Is o(-3) a prime number?
True
Let p = -78 - -133. Is p composite?
True
Let p(o) = -o**3 + 20*o**2 - o + 16. Is p(15) a composite number?
True
Let r(d) = 3017*d**2. Is r(1) a prime number?
False
Let j = 9 + -6. Suppose j*v = p + 8, -4*p = -2*p - 2*v - 4. Is p a composite number?
False
Let h(j) = 33*j - 6. Let y(m) = m**3 + 4*m**2 + m - 1. Let l be y(-2). Let t be h(l). Suppose q - f + t = 4*q, 0 = -4*q + 2*f + 212. Is q prime?
True
Let j(b) = 27*b**2 + 37*b**2 + 1 - 2*b + 0*b. Let l be j(1). Let r = l + 4. Is r prime?
True
Suppose -4*d - 12 = 0, 4*o + 0*d + 5*d - 749 = 0. Is o a prime number?
True
Suppose -23 = -j - 4*i - 3, -3*i = -3*j. Suppose -u + 14 = -5*c, -5*c + 77 - j = 2*u. Let z = u + 6. Is z composite?
True
Let m = -18 + 30. Let z = 80 - m. Suppose 2*d - z = -0*d. Is d a composite number?
True
Let u be -10*(4/(-10))/1. Suppose -m - 74 = 4*j, 2*m + 9*j - u*j = -136. Is m/(-2)*(-4)/(-2) a prime number?
False
Let j(n) = -2*n - 1. Let k be j(3). Let f(t) = -t**2 - 3*t + 41. Let c(y) = 2*y**2 + 5*y - 81. Let l(m) = k*f(m) - 4*c(m). Is l(0) a composite number?
False
Is -1 + (826 - -2)/2 a composite number?
True
Let q = 61 + 1. Is q a prime number?
False
Suppose -o = w + o + 13, -5*o - 25 = 0. Let h = -1 - w. Suppose -h*b - 4 = -i - 0*b, -4 = -i - 5*b. Is i prime?
False
Let v be 2*(-6)/15*5. Is (-204)/(-16) + (-1)/v composite?
False
Let s be 343/(-15) + (-4)/30. Suppose 336 - 36 = 5*w. Let a = w + s. Is a prime?
True
Let z(j) = -j**3 + 9*j**2 + 5. Let l be z(9). Suppose 185 = l*u - 30. Is u a prime number?
True
Suppose -4*j - 164 = -l, 2*l - 335 + 7 = -2*j. Let o = 309 - l. Is o prime?
False
Suppose 4*i = -174 + 54. Let h = i + 15. Is (-213)/h + 2/(-10) prime?
False
Let b be 3/(-2) - (-1580)/(-8). Let f = -86 - b. Is f composite?
False
Suppose -p + 2*r + 241 = -r, 0 = 3*r - 12. Is p composite?
True
Is (-2686)/(-4) - 39/(-26) composite?
False
Let k = 244 - -255. Is k prime?
True
Let o(v) = 4*v**3 - v**2 + 2*v - 1. Let h be o(1). Suppose -5*p = 2*q - 9, -q + h - 2 = 0. Is 2 - (1 - p)/1 prime?
True
Let p be 2/4*4/2. Let f be (0 + 4)/(-2) + 1. Is ((-1)/p)/(f/67) prime?
True
Let i(q) = -58*q + 5. Let u be i(-5). Suppose 0 = -o + 6*o - u. Is o a composite number?
False
Let u(y) = -3*y**3 - 5*y - 1. Let g(w) = 6*w**3 + 11*w + 3. Let p(b) = 2*g(b) + 5*u(b). Is p(-4) a prime number?
False
Let t be ((-3)/(-2) - 1)*6. Suppose -41 = n - 6*n + t*v, 0 = 3*v + 6. Is n composite?
False
Is 4/8*1*2086 a composite number?
True
Suppose -2*z + 2157 = -j + 6*j, 4*j - 1725 = -z. Let p = j + -52. Is p a prime number?
True
Is (-2)/(-9) + (-28058)/(-18) prime?
True
Suppose 2*r - 221 = -4*f + f, -3*r - 2*f + 319 = 0. Suppose 5*s - o - r = 0, -5*o + 44 = 2*s - 8. Is s composite?
True
Let l(i) = i**2 - i + 209. Let q be l(0). Let s = q - 103. Is s prime?
False
Let u = -1585 - -2948. Is u prime?
False
Let k(g) = 13*g**2 - 13*g + 9. Is k(11) composite?
False
Suppose -s - 4*g - 1 = -0*s, -4*g = -5*s + 115. Is ((-2)/(-4))/(s/9538) a prime number?
True
Let v = 6874 + -3711. Is v a prime number?
True
Let v(l) = 94*l + 3. Is v(4) composite?
False
Suppose -129*r + 122*r = -14273. Is r a prime number?
True
Let t = 3 - 3. Suppose t*a = -2*a - 58. Let o = 4 - a. Is o a composite number?
True
Suppose 7*y + 36 = 3*y + s, 3*s = -3*y - 12. Let l = 11 - y. Is l composite?
False
Let w be (30/(-9))/((-6)/9). Suppose -2*k + 4*m + 782 = 0, 1551 = w*k - 2*m - 412. Is k a composite number?
True
Suppose -2*r - 12 = -h, -r - 4*r - 29 = -2*h. Let i = h - -1. Suppose 0 = i*v - 4*v + 31. Is v composite?
False
Let x be (-99)/21 + (-4)/14. Is 1/x + (-3730)/(-25) composite?
False
Let r = 31 - 11. Suppose 5*w - 3360 = -5*z, -4*w = -8*w - r. Is z a prime number?
True
Let r = 4 + -5. Let u = r + 3. Suppose -u*v = -v - 95. Is v a composite number?
True
Let x be 6/(-4)*16/(-12). Suppose -x*l - 4 = -6, 3*n + 4*l = 46. Is n composite?
True
Let f(c) be the second derivative of c**4/3 + c**3/2 + 3*c**2/2 + 2*c. Suppose -2 + 6 = -2*a. Is f(a) composite?
False
Let b(q) = q**2 - 4*q - 7. Suppose 0 = -5*k - 2*c + 43, 0*k - 3*c + 5 = -k. Let v be b(k). Suppose -4*z + 3*z + v = 0. Is z a prime number?
False
Suppose 0 = 2*j - 5*d - 1909, -982 = -j + 2*d - 5*d. Is j a composite number?
False
Suppose -q + 2*y + 51 = 0, -2*y - 98 - 130 = -4*q. Is q a composite number?
False
Let n = -1 + 5. Suppose n = -x + 66. Is x composite?
True
Suppose -3*v + 296 = -52. Suppose -5*b = -299 - v. Is b prime?
True
Is 78/1 - (0 + -1) a prime number?
True
Let r(c) = c**3 + 4*c**2 - 1. Let l be r(-4). Let v(m) = m**2 + 23*m - 20. Let f be v(-20). Is (3 + f)*l*1 composite?
True
Let g be (2/(-6))/((-2)/1374). Suppose -3*l = y + 3*y - g, -4 = 2*y. Is l a composite number?
False
Let r be 4/30 + (-2)/15. Suppose r*w - 5*w = -635. Is w composite?
False
Let w(b) = -b**3 + 10*b**2 + b - 8. Let o be w(10). Suppose x + 12 = f + 4*x, -6 = -4*f + o*x. Suppose 8*u - f*u = 3115. Is u a composite number?
True
Suppose -4*k = 3*y - 23, 2*k + 5*y - 19 = 5*k. Suppose -o - 327 = -k*o. Is o composite?
True
Let s(d) = -3*d**2 - 2*d + 2. Let l be s(-2). Let r be 10/(-4)*(-8 - l). Let m(n) = n**3 - 2*n**2 + 6*n + 4. Is m(r) a prime number?
True
Let v = -324 + 542. Is v prime?
False
Let l = -3 - -16. Let v = l + 34. Let b = v - 22. Is b prime?
False
Let i(u) = 1. Let k(n) = 7*n - 11. Let d(w) = -3*i(w) - k(w). Is d(-17) a composite number?
False
Let z(t) = -t**2 - 9*t. Let o be z(-10). Is 2/4 + (-5565)/o a prime number?
True
Suppose 0 = -7*v + 2*v + 1015. Is v composite?
True
Let t = 2 + -2. Suppose t = 5*i + 10, 4*i = 4*a + 603 + 577. Is ((-4)/(-6))/((-6)/a) a prime number?
False
Let d(u) = 2*u**2 - 4*u - 1. Let m be d(-5). Suppose 28 = h - 8. Let w = m - h. Is w a prime number?
False
Let p(m) = -m**2 + 12*m + 4. Let a be p(7). Suppose -6*y = -165 + a. Is y a prime number?
False
Suppose 0*n = -3*n + 159. Is n a composite number?
False
Let d(l) = 8*l**2 - 6*l + 3. Let g be d(5). Suppose 4*m + y - 748 = g, -240 = -m + 3*y. Suppose -z - k = -3*z + 93, 5*z = 4*k + m. Is z prime?
True
Suppose -c + 5*c - 8 = 0. Suppose 0*p - c*p + 314 = 0. Is p composite?
False
Let k(m) = -19*m + 1. Let n = 14 - 1. Let t = 9 - n. Is k(t) a composite number?
True
Let x(u) = 2*u**2 + 9*u + 6. Is x(-11) composite?
False
Let q = -581 + 1768. Is q prime?
True
Suppose 31 = 2*l - 53. Suppose l = 2*j - 36. Is j a prime number?
False
Suppose -d - 2*g + 74 = -67, 0 = -3*d + 5*g + 368. Is d a composite number?
False
Is 489 - ((-12)/6 - -6) prime?
False
Let m(j) = -j**3 + 7*j**2 + 6*j + 6. Let h be m(5). Suppose -y - y = -h. Is y prime?
True
Suppose 7 = 3*l + 1. Suppose 10 = 2*j, -g + 40 = l*g + 5*j. Suppose -g - 8 = -h. Is h a composite number?
False
Let m(k) = -k**2 + k + 1535. Let p be m(0). Suppose 3*b = 8*b - p. Is b composite?
False
Let d(x) = -x**3 - x + 345. Let b be d(0). Suppose -5*r + b = -2*r. Is r a composite number?
True
Suppose -4*i + 9 = 5*v, i + 6 = 3*v - 13. Suppose -b - 64 = -4*c + 82, b = -v*c + 187. Is c a composite number?
False
Let x be 3/(1 + -4) + 6. Let u be 1/x - (-4)/5. Is (-240)/(-5) - (0 - u) prime?
False
Suppose 0 = 6*w - w. Suppose w*c - 3*r = 5*c - 961, -3*c + 567 = -3*r. Is c a prime number?
True
Suppose 0 = -2*j + 4, -2866 = -4*c - 2*j - 418. Is c prime?
False
Let a be 8 + (-12)/(-2 - -5). Suppose w - 831 = -a*x, -8*x = -3*x + 3*w - 1030. Is x a prime number?
False
Let m = 131 + 200. Is m a prime number?
True
Suppose -4*w - 4*i = -7*i - 4684, 5*i = 0. Is w a composite number?
False
Suppose -3*i + 21 + 312 = 0. Is i a prime number?
False
Let o(q) = 2*q + 6. Let x(i) = 4*i - 1. Let z be x(-2). Let v be o(z). Is (v/18)/(4/(-282)) a prime number?
True
Let d = 4 + -2. Let r be ((-25)/10)/(1/d). Let a = r + 42. Is a a prime number?
True
Suppose 0 = -5*n + 248 + 137. Is n prime?
False
Suppose -4*r = -4*w - 4, 7*r = 2*w + 3*r + 8. Let t(i) = -i**2 - 6*i + 2. Let x be t(-6). Is 37 - (4/x - w) prime?
True
Suppose y - w = w + 181, 0 = 3*y + w - 557. Is y a composite number?
True
Suppose 5*i - 8*i + 2361 = 0. Is i prime?
True
Let j(b) = 7 + 2*b - 3 