807 - -4466. Suppose 0*q - p = -3*q. Is q prime?
False
Let s(j) = j**2 + 5*j + 4. Suppose -2*a = -2*o + 16, 5*a + 4*o + 2 + 11 = 0. Let h be s(a). Suppose -h*w - 107 = 2*c - 3*c, -c - 3*w + 121 = 0. Is c composite?
True
Let s = -12 - 70. Let p be (s/(-4))/(1/6). Let f = p - 84. Is f a prime number?
False
Suppose 2*m - 511 - 63 = -2*u, -4*u + 278 = m. Let h = 467 - m. Is h a prime number?
False
Let z(c) = -c**3 - 9*c**2 + 10*c - 3. Let y be z(-10). Is 32 + (y/(-1))/1 a composite number?
True
Let f(c) = -5 - 5*c**2 - 33*c**3 + 7*c + 15*c**3 + 17*c**3. Is f(-8) a prime number?
True
Suppose 261 = k - 58. Is k a composite number?
True
Let j(r) = 17*r - 3. Let x = 11 + -7. Is j(x) prime?
False
Suppose 4*j - 2894 = 2*l, 4*l - 6 = -26. Suppose 5*c + 1795 = 4*v, -c - j = -2*v + 172. Is v prime?
False
Let p be (-4)/(-6) - (-24)/(-9). Let k be 6*1*(-3)/p. Suppose 26 = b - k. Is b a composite number?
True
Let p(h) = -21*h + 1. Let z be p(-11). Suppose -3*b + z = b. Is b prime?
False
Suppose 2*z + 0*z = -3*q + 1019, -357 = -q - 5*z. Is q a prime number?
True
Suppose -3*o = -2*o - 40. Suppose -n = -4*q, -n = n + 2*q - o. Let b = n + 37. Is b composite?
False
Suppose 13*c - 55467 = 118616. Is c a composite number?
True
Suppose 798 = -2*w + 7*w + 4*v, w - 3*v = 152. Is w prime?
False
Let k be 1/((-2)/7)*2. Let c = 4 - k. Is c prime?
True
Let n be 1/(3/(-2190)) - 0. Let z be ((-2)/(-4))/((-1)/n). Let o = z - 108. Is o composite?
False
Suppose -3*a = -0*a + 18. Is 465/6 + 3/a a prime number?
False
Let n(g) = -15*g - 7. Let m be -3 - (-2 + -1 + 6). Let u = m - 0. Is n(u) a prime number?
True
Is (94/4)/(1/6) a composite number?
True
Let w = 7 - 6. Is (w + -2)/(1/(-33)) a composite number?
True
Let d(i) = -2*i - 4*i + 4*i**2 + 0*i + 4*i - 5. Is d(6) composite?
False
Suppose -7*z + 292 + 205 = 0. Is z a prime number?
True
Let w = 50 - 19. Is w composite?
False
Let m(v) = 3*v**3 + 2*v**2 - 225. Let h(r) = -13*r**3 - 9*r**2 + 901. Let q(o) = -2*h(o) - 9*m(o). Is q(0) a prime number?
True
Let f(n) be the second derivative of -11*n**5/20 - n**4/12 - n**3/6 - n**2/2 - 3*n. Let m be f(-1). Let u(h) = 9*h - 13. Is u(m) a prime number?
False
Let d(j) = -j**2 - j - 56. Let a be d(0). Let c = -30 - a. Is c a prime number?
False
Let o = 1 + 4. Suppose o*v - v - 316 = 0. Is v prime?
True
Suppose 5*j - 1600 = -5*z, -2*j - 3 + 628 = -3*z. Is j composite?
False
Is (77/(-14))/((-105)/102 - -1) composite?
True
Is (-8)/(2/1) - (-6 - 357) composite?
False
Suppose 2*k - 69 = 2*o + 89, 2*k - 4*o - 168 = 0. Is k a prime number?
False
Suppose 510 = 6*i - i. Let j = i - 151. Let d = -26 - j. Is d a composite number?
False
Let s = -16 + 22. Suppose -5*a + s + 9 = 0. Suppose a*w + 45 - 108 = 0. Is w prime?
False
Let v be (1*24/3)/2. Suppose -4*u + 2*u + v = 0. Suppose u*p + 5*n - 4*n - 18 = 0, 27 = p + 5*n. Is p a prime number?
True
Let x be -1 + -1 + 2 + 5. Suppose -x*q + 2*q = -45. Suppose 5*h - q = 60. Is h a prime number?
False
Suppose 2*w = -3*w + 20, -5*v + 31 = -w. Suppose 2*i + 110 = v*i. Is i a prime number?
False
Let k(n) = n**3 - 3*n - 3. Let v be k(-2). Let q(a) = -a - 3. Let z be q(v). Suppose 47 = -o + z*o. Is o a composite number?
False
Suppose 26*d + 501 = 29*d. Is d prime?
True
Let c(r) = 16*r - 7. Let l be c(5). Let k be 1/(-4) - 117/(-4). Suppose k = 2*a - l. Is a a composite number?
True
Let j(i) = -i**2 + 25*i - 5. Suppose -2*b = -4*b + 4*l + 34, 4*b - 4*l = 56. Is j(b) a composite number?
False
Let z = 24 - -126. Suppose 3*s - z = 99. Is s composite?
False
Let a = 158 + -31. Is a prime?
True
Let g = -3 + 0. Let b(f) = -f**3 - 9*f**2 - 7*f - 3. Let m(z) = -z**2 - z - 1. Let k(u) = -b(u) + 3*m(u). Is k(g) prime?
False
Let v(t) = 200*t**3 - t - 2. Let d(j) = -399*j**3 - j**2 + 2*j + 5. Let z(c) = -2*d(c) - 5*v(c). Is z(-1) prime?
False
Let o = -143 - -254. Is o prime?
False
Suppose -m + 3 = -2. Suppose m*h - 2*h = 633. Is h a prime number?
True
Let k(y) = 37*y**2 - y - 1. Is k(-1) a prime number?
True
Let m = 176 + 193. Let r be m - (-1 + 3) - 2. Suppose r - 127 = 2*q. Is q composite?
True
Let m = 62 - 22. Suppose -161 = -3*c + m. Is c a prime number?
True
Let f(c) = -c**3 - 7*c**2 + 2*c + 6. Let i be f(-7). Let q(b) = b**3 + 9*b**2 + 7*b. Let g be q(i). Is ((-12)/g)/((-6)/52) a composite number?
False
Suppose 349 = 3*i - 11. Let s = 205 - i. Is s a composite number?
True
Suppose 0 = 3*n + 5 - 68. Is n a prime number?
False
Let v(i) = -i**3 - 3*i**2 - i - 1. Let f be v(-2). Is 2/f + 269/3 a composite number?
False
Suppose 0 = -2*w - w + 6. Suppose 0 = w*c + 4*f - 118, -3*f = 3*c + c - 221. Is c a prime number?
True
Let r be 5 + -4 + 1241 - 1. Suppose 265 = 6*o - r. Is o prime?
True
Suppose -3*m + 1496 - 263 = 0. Is m a composite number?
True
Let f = -5 + 9. Suppose -18 = -4*g - 2*d, -g - f*g + 3 = -4*d. Suppose -4*o = -5*k + g*k + 118, -5*k + 5*o + 295 = 0. Is k composite?
False
Let t = -25 - -93. Let q = t + -47. Is q composite?
True
Let y(i) = 3*i**2 + 4*i + 4. Let c(a) = -5*a**2 - 6*a - 6. Let l(u) = -5*c(u) - 8*y(u). Is l(-10) composite?
True
Suppose -24225 + 70 = -5*s. Is s prime?
True
Suppose -3*m = -0*m. Suppose m = 5*z + 2 - 27. Let y(d) = -d**3 + 7*d**2 - 7*d. Is y(z) composite?
True
Let w = -138 - -241. Is w a composite number?
False
Suppose -2*i = 2, 0 = -q + i + 3*i + 8. Suppose 0 = -q*a + 97 + 3. Is a composite?
True
Let t(v) be the first derivative of v**3/3 + v**2/2 + 89*v + 1. Is t(0) a prime number?
True
Let g(d) = 2499*d + 14. Is g(1) prime?
False
Let o(m) = m**2 + m - 2. Let p be o(0). Is (-262)/(-4) + 1/p a composite number?
True
Let h(p) = 2*p**3 + 2*p**2 - 4*p + 5. Let m be (-1 - 2)*(-8)/6. Is h(m) a prime number?
True
Let r be (-2)/(-4)*4 + -6. Let i = r + 6. Is (i/(-3))/((-8)/636) a composite number?
False
Let f be (3 - 33)/(-3) + 0. Suppose 4*k = -k + f. Is -19*((-1 - 2) + k) prime?
True
Let q be -1*(3 - (3 - 6)). Let r(k) = -5*k - 2. Let p be r(q). Let y = 9 + p. Is y a prime number?
True
Let p(l) = 290*l + 1. Is p(1) prime?
False
Suppose 13*o - 17*o = -12620. Is o a prime number?
False
Suppose -3*h + 75 = -0*h + m, -h + 2*m + 25 = 0. Let w = h - -8. Is w prime?
False
Let n(p) = -p + 3. Let h be n(3). Let v be (0 - 2) + h + 22. Suppose -5*t + 3*m = -6*t + 76, 4*m = -v. Is t composite?
True
Let w(z) be the third derivative of z**6/120 - 7*z**5/60 - z**4/3 - 3*z**3/2 + z**2. Suppose -2*r + 3 = -17. Is w(r) composite?
False
Let s(b) be the second derivative of -257*b**4/12 - 5*b**3/3 + 2*b. Let z(w) = 171*w**2 + 7*w. Let a(m) = -5*s(m) - 7*z(m). Is a(1) prime?
True
Suppose 0 = -2*d - 22 + 2792. Is d a composite number?
True
Let c(w) = w**3 + 6*w**2 + 4*w + 11. Let m be c(-11). Let u = m - -905. Is u a composite number?
True
Suppose 0*r - 1021 = -3*r - s, -5*s + 1013 = 3*r. Is r a prime number?
False
Let l(k) = -k**2 + 15*k - 1. Suppose -5*n = 4*w - 31, 0 = -2*w - 6*n + 3*n + 15. Is l(w) a prime number?
True
Let c(v) = v**2 - 9*v - 37. Is c(20) a prime number?
False
Let x(d) = -2*d**3 + d**2 - 1. Let r be x(-1). Let j be ((-6)/r)/((-3)/27). Suppose 0 = -2*a + j + 23. Is a composite?
True
Let k be ((-5)/(-3))/(1/3). Suppose -k*s - 2*r = -4*r - 20, 5*s - 5*r - 20 = 0. Suppose -b - 3*w + 2 = 0, -s*w - 1 = b - 0*w. Is b a prime number?
True
Let n(m) = m**3 + 6*m**2 + m + 10. Let r be n(-6). Suppose 3*c - c - 5*b = 1162, 4*b = r*c - 2324. Is c a prime number?
False
Suppose 5*m + 5*b - 15 = 0, -b - 12 + 5 = -4*m. Suppose -7*k = -2*k - u - 7, 3*u = 9. Suppose m*a = -k*a + 132. Is a composite?
True
Let v be (2 + -2)*(-2)/(-4). Suppose -3*q - 14 = -f - v*q, -2*f = 5*q + 16. Suppose -f*s = s - 111. Is s prime?
True
Let r(u) = 2*u - 3. Let o be r(5). Let y be o + (-3 - (-2 + 1)). Suppose 4*m - y = 71. Is m a prime number?
True
Is ((-3)/9)/((-2)/1266) prime?
True
Let j(r) = -2*r**3 - 3*r**2 - r - 2. Let u be j(-2). Suppose -42 + 182 = u*n. Is n a prime number?
False
Suppose -5*m + 659 = -5*t - 641, -3*m + t + 786 = 0. Is m prime?
True
Let q(m) = 47*m + 39. Is q(14) prime?
False
Suppose n - 4*n + 201 = 0. Is n a prime number?
True
Is 561 - (-2 + -2)*1 composite?
True
Is (-4206)/(-4)*10/15 prime?
True
Let g(l) = l + 1. Let k be g(0). Is -2*k + (-2595)/(-3) composite?
False
Let v = -111 - -302. Is v a prime number?
True
Let k be (-42)/10 + (-3)/(-15). Let o = 