 number?
False
Let w be 5 + (0/(-2))/(-3). Suppose 0*x + 5*l - 504 = -2*x, -w*l - 544 = -2*x. Suppose 0 = 5*z - x - 183. Is z a composite number?
False
Let n(x) = -x**3 + x**2 - x - 2. Let y be n(0). Is -3 - (y - -2) - -58 a composite number?
True
Suppose 240 = 2*w + 5*f, w + 3*f + 3 - 121 = 0. Suppose -3*j = -w - 353. Suppose 2*p + j = 2*b + 5*p, -5*b + 397 = 2*p. Is b a prime number?
True
Suppose 2*z - 4*b = 7*z + 38, -2*b = -3*z - 36. Let f = -56 - -40. Let p = z - f. Is p prime?
False
Let j(h) = 3*h**2 + 17*h + 31. Is j(-13) a prime number?
True
Let t(i) = i**3 - 16*i**2 - 20*i + 14. Is t(21) a composite number?
True
Suppose 2484 = 9*q + 126. Is q a composite number?
True
Let n(z) = -49*z**3 - 3*z**2 + 3*z + 2. Let r be n(-3). Suppose 5*h - r = -4*p, -219 = -h - 3*p + 41. Is h prime?
True
Let b be (-3)/(-3) + 3 + 0. Suppose 0 = d + q - 11 - b, -4*d + 80 = -q. Is d a composite number?
False
Suppose 3*x - x - f - 432 = 0, -x = -f - 214. Let z = x - 151. Is z composite?
False
Suppose 0*f - 4*f + 15956 = 0. Is f a composite number?
False
Suppose -4*f = -2*c - 0*c, -22 = -4*c - 3*f. Suppose -p + 2*j + 78 = 0, -2*p + 154 = -c*j - j. Is p a composite number?
True
Suppose -2 = -x - 0, -5*x + 10 = -5*b. Suppose 2*h = -b*h - 4. Is 76 - ((1 - 0) + h) a composite number?
True
Let i = 753 - 380. Is i prime?
True
Let o = 129 - 86. Suppose -3*i + 2*i = -o. Suppose 0 = 4*g - i - 57. Is g a prime number?
False
Suppose 0 = 2*m - 107 - 43. Let j = 146 - m. Is j composite?
False
Suppose 8*q = -q + 3879. Is q composite?
False
Suppose 0 = 4*u - 3*c + 103 - 1692, 5*u - 1969 = -2*c. Is u composite?
True
Let y = -2112 - -3371. Is y a prime number?
True
Suppose 5*x = -2*w + 203, 4*w - 3*x - 336 = x. Let n(s) = -s**3 + s**2 + 7*s - 3. Let b be n(-7). Suppose -b - w = -3*o. Is o a prime number?
False
Suppose b = 4*b - 759. Is b a composite number?
True
Let o = 3 + 7. Is o composite?
True
Is 2/(-7) + 47934/42 a composite number?
True
Let g = -11 + 22. Let u(j) = 9*j**3 + 3*j**2 + 33*j - 9. Let k(f) = -5*f**3 - f**2 - 17*f + 4. Let v(d) = g*k(d) + 6*u(d). Is v(8) prime?
False
Let o = 343 - 232. Is o composite?
True
Suppose -4 = 2*v - 8. Suppose -v*d + 62 = -0*d. Is d prime?
True
Let u(t) = -2*t + 443. Is u(0) a prime number?
True
Suppose 9*s - 5*s = 20. Suppose -5*x - 508 = -4*n, s*n - 5*x = -0*n + 635. Is n a composite number?
False
Let v(p) = 7*p**3 + p**2 - 2*p + 1. Suppose 5 = 5*z - c - 1, 2*z - c = 0. Suppose -1 = -z*n + 1. Is v(n) a prime number?
True
Let y(b) = 6*b**2 - b + 1. Let l be y(1). Let c = -3 + l. Suppose -s - c*t + 2*t = -12, -19 = -2*s - t. Is s a composite number?
False
Suppose -8*b = -3*j - 4*b + 758, 0 = -j - 3*b + 244. Suppose m - 5*m = 2*d - j, d - 2*m - 129 = 0. Is d a composite number?
False
Suppose 0 = 2*y + 5*w + 43 + 47, -3*w - 94 = 2*y. Let n = -31 - y. Is n composite?
False
Let p be (2/(-6))/((-1)/3). Let w(m) be the third derivative of 11*m**4/12 - m**3/6 - 2*m**2. Is w(p) prime?
False
Let i(v) = 4*v**3 - 2*v**2 - v - 1. Let l be i(3). Suppose 5*w + l = 456. Is (-1 - 1)/((-4)/w) a composite number?
False
Let p = 660 + -469. Is p a composite number?
False
Let f = -281 - -472. Is f prime?
True
Suppose 3*f - 3 = 6*f, -f = 5*c - 4. Suppose -h = -12 - c. Is h a composite number?
False
Let q(f) = f**3 + 2*f**2 - 2*f + 3. Let v be q(-3). Let c(o) = -o**2 + 13. Is c(v) composite?
False
Let v = -833 - -3996. Is v composite?
False
Let p = 2112 - 1157. Is p a composite number?
True
Let t be 0/(-2) - (0 + -8). Suppose 10 + t = 4*l - h, -3*l = 4*h - 23. Suppose l*p + 61 = 4*o, -4*o - 2*p + 18 = -64. Is o prime?
True
Let m = 11 + -19. Let v be m*(-3)/30*5. Suppose -42 = 2*u - v*u. Is u a prime number?
False
Let d(o) = -16*o + 2. Let g(v) = -32*v + 5. Let k(u) = -5*d(u) + 3*g(u). Is k(-9) composite?
False
Let m = 14 + -10. Suppose m*k = -3*l + 5, 0*l + 4*l - 3*k = 40. Suppose -3*b - 105 = 4*h - l*h, 136 = 4*h - 3*b. Is h a composite number?
False
Let u(n) = -n**3 + 5*n**2 + 5*n + 7. Let b be u(6). Suppose -3*z = -5*z + 840. Is z/18 - b/3 a prime number?
True
Let l = 12 - 7. Suppose -2*v - 38 = c - 143, 3*v - 560 = -l*c. Suppose -d - 30 = -c. Is d prime?
False
Let c(j) = -j**3 - 6. Let z be c(0). Let o(l) be the first derivative of l**4/4 + 5*l**3/3 - 9*l**2/2 - 8*l - 2. Is o(z) a composite number?
True
Suppose 0 = 3*v - 12, -3*d + 3*v + 4957 = v. Suppose d = 5*l - 0*l. Is l a composite number?
False
Let y(z) = 12*z - 7. Let a(f) = -18*f + 11. Let g(m) = -5*a(m) - 7*y(m). Let n be g(8). Suppose n - 7 = h. Is h composite?
True
Let h = 11 - 7. Suppose -3*z + 458 = h*f - 411, 4*z = -4*f + 1164. Is z a composite number?
True
Let y be 6/(-27) + 61/(-9). Let q = 13 + y. Suppose -2*b - 708 = -q*b. Is b composite?
True
Is -3 - 1*-422*1 composite?
False
Suppose 0 = -4*f + 5*f + 1, 0 = b - 3*f - 2. Let v be ((2 - -1)/(-3))/b. Is (-6 - -76) + (0 - v) composite?
True
Suppose 2590 = 2*n - 1324. Is n composite?
True
Let j be (2/(-4))/((-4)/(-56)). Let v = j + 11. Suppose -65 = -v*z + 3*z. Is z composite?
True
Let o(u) = u**2 - 3*u + 9. Is o(5) a composite number?
False
Let u(z) = z**2 + 10*z + 4. Is u(15) a prime number?
True
Let a(n) = -161*n - 15. Is a(-20) prime?
False
Suppose 6 - 2 = d. Suppose 4*a - 5 - 3 = 0. Suppose j - a*j - 4*y = -177, -j + d*y = -193. Is j a composite number?
True
Suppose 0 = -5*l + 4*u + 35, -22 = 3*l - 2*l + 5*u. Let z(m) = l*m**3 - 4*m**3 - 5*m**2 + 3*m + 11 - 4*m. Is z(-8) a prime number?
True
Is 10/(-45) - (-1066)/18 a prime number?
True
Suppose -2*o = 2*v - 4, -3*v - o + 10 = -2*o. Suppose -2*g + 185 = v*g. Is g composite?
False
Suppose 0 = -x + 3*x - 4. Let f be 0/x*(2 + -1). Suppose f*h + 5*w = 5*h + 10, -16 = -4*w. Is h a prime number?
True
Let i = 26 - -8. Suppose i = 2*s - 32. Is s a prime number?
False
Let l be (6 + 5)/(2/2). Suppose z = 88 - l. Is z prime?
False
Let k = -10 + 11. Let m(j) = 4*j - 1. Let r be m(k). Suppose v = -5*y + 14, -20 = -r*v - 2*v. Is y prime?
True
Is (3*1)/(12/424) a composite number?
True
Let p = 0 + -3. Is 7/((-7)/(-92)) + p prime?
True
Suppose -4*r + 10890 = 3*l, 3*r + 0*l = -5*l + 8173. Is r composite?
True
Suppose r = 3*b + 2*r - 88, -3*r = -3*b + 96. Let u = 4 + b. Suppose -w - 28 = -4*z - 4*w, u = 5*z + 4*w. Is z a prime number?
False
Let u be (36/30)/((-6)/(-20)). Suppose 3*k + 511 = -3*x - 311, -u*x = k + 259. Let s = 466 + k. Is s composite?
True
Let y = 46 + -10. Let i be (-8)/28 - (-89)/(-7). Let d = y + i. Is d a prime number?
True
Suppose -5*g + 25 = 5*x, 5*x + 2*g = -11 + 27. Suppose x*o - p + 20 = -151, -172 = 2*o - 2*p. Let n = o + 152. Is n composite?
False
Let q(g) = g**2 + 2*g + 8. Let f(p) = -1. Let r(v) = -6*f(v) - q(v). Let j be r(-2). Is (-1)/(207/105 + j) a composite number?
True
Let w = 397 + -206. Is w a composite number?
False
Is ((-15)/(90/(-28)))/((-4)/(-762)) prime?
False
Let c(h) = -h + 3. Let w be c(0). Suppose y + 226 = w*y. Is y composite?
False
Let x(u) = -u + 4. Let m be x(4). Suppose m = -0*w - 2*w. Suppose 3*q + 5*p - 151 + 42 = w, p - 101 = -3*q. Is q composite?
True
Suppose -4*j + 3*j - 3*f - 11 = 0, -2*j - 5*f = 21. Let z = j - -13. Suppose -2*a + 4*d = a - 53, a = -z*d - 14. Is a a prime number?
True
Let t(i) = -i - 3. Let c be t(0). Let j(h) be the third derivative of h**5/60 - h**4/24 + h**3/2 - 3*h**2. Is j(c) prime?
False
Is -6*4/(-16) - (-7305)/6 a prime number?
False
Let a = 3323 + -1564. Is a composite?
False
Let w(x) = -x**3 - 17*x**2 + 8*x - 19. Is w(-18) a composite number?
True
Let v(d) = d**2 - 10*d - 5. Let w be v(11). Let y(j) = -j**3 + 7*j**2 - 3*j - 8. Is y(w) a prime number?
False
Let f(g) = g**3 + 13*g**2 - 19*g + 9. Is f(-14) prime?
True
Let h(z) = z**3 - z**2 + z + 4. Let j be h(0). Suppose -3*y - j*t = 18, 5*y - 4*t = t + 5. Is 5 + (-4 - y - -3) prime?
False
Let o(v) = -8*v + 5*v + 7 - 16*v + 0. Is o(-12) composite?
True
Suppose 3925 = 2*c - 11293. Is c prime?
False
Let z(l) = -8*l**3 - 3*l**2 - 2*l + 3. Let o be z(-3). Suppose 4*i = -50 + o. Is i composite?
False
Let l = 7 + -5. Suppose 0 = -2*n + 4 + l. Suppose -n*x - 3*a = -132, -5*x - a + 32 = -208. Is x composite?
True
Let l be (127/(-3))/((-2)/6). Let c = l - 60. Is c a prime number?
True
Let u = 0 - 1. Is -2 - u - -2 - -46 composite?
False
Suppose -4*g + 148 = 5*l - 8*l, -l = 5*g