c + f, w = -c + 6*w + 84. Is c prime?
True
Let m = -402 - -565. Is m a composite number?
False
Let o(c) = -2*c**2 - 3*c - 4. Let g(v) = 0*v**2 + 2*v + 2*v + 2*v**2 + 5. Let j(l) = -4*g(l) - 5*o(l). Is j(-3) prime?
False
Suppose 6*n - n + 1147 = 3*i, 0 = -i - 4*n + 405. Is i a composite number?
False
Let a(j) = 4*j - 4*j - j. Let q be a(-4). Suppose -40 = -q*g - 0. Is g a composite number?
True
Let q(b) = b**2 + 2*b + 1. Let f be q(-1). Suppose f*k - k = -169. Is k prime?
False
Let p = -12 + 18. Suppose p*k = k. Suppose k = s - 29 - 2. Is s prime?
True
Let z(h) = 0*h + h**2 - 5*h - 5 - 2*h. Let l be z(8). Suppose -i - l*i = -140. Is i composite?
True
Suppose -3*w + 2*w = 2*o - 359, -2*w = o - 709. Is w prime?
True
Let w = 58 - 39. Let g = -13 + w. Suppose 0 = -3*z + g*z - 141. Is z a composite number?
False
Let q(u) = -22*u**3 - u**2. Let d = 8 + -13. Let n(p) = p**2 + 4*p - 6. Let v be n(d). Is q(v) composite?
True
Let c(n) = 2*n + 16. Suppose 2*q - 3*y + 10 = 0, 59 = -5*q - 4*y + 3*y. Let z be c(q). Is 6/(-4)*8/z composite?
False
Suppose -759 = -5*n + 296. Is n a prime number?
True
Let i(m) = 15*m - 1. Let y = -1 + 5. Suppose 3*g - 3*q = -8*q - 2, -2*q - 32 = -y*g. Is i(g) prime?
True
Let g(q) = 133*q**2 + 2*q - 2. Is g(1) prime?
False
Let g = 153 + -104. Is g composite?
True
Let r(u) = -1199*u - 92. Is r(-5) prime?
True
Suppose -1183 = -4*h + 693. Is h a composite number?
True
Suppose -l + 5*w + 287 = 0, -2*l + 4*w + 62 + 512 = 0. Is l composite?
True
Let s = 2027 + -1228. Is s a prime number?
False
Suppose -2*c + 4*c = 10. Suppose -c*k = -k + 3*q - 9, k - 2 = -q. Suppose k*y - 16 = 41. Is y composite?
False
Suppose -2*x = x - 309. Is x a composite number?
False
Let r(j) = -3*j**2 - 8*j. Let p(m) = -2*m**2 - 7*m. Let q(s) = 4*p(s) - 3*r(s). Is q(7) a prime number?
False
Let f = -6892 + 10053. Is f prime?
False
Suppose -3*v + 143 = c, -c + 143 = -0*c + 4*v. Suppose -3*i + 167 = 2*l, 3*i - 2*i + 179 = 2*l. Suppose 3*q = c + l. Is q prime?
False
Suppose 0 = -x + 4*x - 132. Suppose 0 = 4*s - 296 - x. Is s a composite number?
True
Let f(o) be the third derivative of -o**6/120 + o**5/6 - o**4/3 - 3*o**3/2 + 4*o**2. Is f(8) composite?
True
Suppose 5*k + 3*j + 38 = 0, -3*k - j = -3*j + 19. Is k*((1 - 2) + 0) a prime number?
True
Let s = -26 - -29. Suppose k + s*k - 472 = 0. Is k prime?
False
Suppose -1570 = -2*q - 4*a, -2*q - 4*a - 791 = -3*q. Is q prime?
True
Suppose -10 = -5*r - 2*x, 2*r - 4*x - 3 = 1. Suppose 230 = -r*l + 4*l. Is l a composite number?
True
Suppose m + 6 = 3*m. Let o(i) = 54*i - 7. Is o(m) composite?
True
Suppose -y - 9 = 2*x - 4, -5*x - 10 = 2*y. Suppose x = -5*z - 4*r + 5319, 5*z - r - 4*r - 5310 = 0. Suppose -5*a - 248 = -z. Is a a prime number?
True
Suppose -27 = 5*u + 8. Let z = u + 46. Is z a composite number?
True
Let r(f) = -f - 5. Let n be r(-7). Let q(h) = 0 - h + 3*h**2 + 32*h**3 + 1 - 2*h + 0*h. Is q(n) composite?
False
Let l = -134 - -360. Suppose -2*s + 2*z - l = -0*s, -4*z = 2*s + 208. Let d = s + 237. Is d prime?
True
Suppose -179 = -3*n + 2*j, 2*j + j = -3. Is n prime?
True
Let h(i) = -7*i - 10. Let y(a) = -a + 1. Let o(n) = h(n) + 4*y(n). Let w(f) = -f**3 - 18*f**2 - 5. Let x be w(-18). Is o(x) a composite number?
True
Let s = 367 - 252. Let f(u) = s + 6*u - u**2 - 6*u. Is f(0) prime?
False
Let m(s) = -16*s + 15 - 3*s**3 - 8*s**2 + 4*s**3 + 0*s**3. Let x(w) = 2*w + 4. Let o be x(3). Is m(o) a composite number?
True
Let h(v) = -v + 2. Let z be h(-2). Suppose 3*x = -z*j + 5*x + 6638, 0 = -5*j - 3*x + 8270. Is j composite?
False
Let n(v) = v**2 + 2*v - 1. Let d be n(-4). Suppose c = d + 1. Let g(i) = i**3 - 7*i**2 + i + 2. Is g(c) a prime number?
False
Let z be (-20)/(-3)*(-759)/(-22). Suppose -3*s - 4*q + 97 + z = 0, 0 = -5*s + 5*q + 580. Is s prime?
True
Let r(j) = -6*j - 7 + 1 - 4 + j**2 + 2. Is r(11) composite?
False
Let z = -2 + 4. Suppose -z*u + 815 = 3*u. Is u a prime number?
True
Suppose 3*f + 0*f = 777. Suppose 0 = -2*g - 5*v + f, 504 = 6*g - 2*g - 4*v. Is g a composite number?
False
Let u(r) = -3*r**3 - 5*r**2 - r + 7. Suppose -c + 1 = n, 0*n + 10 = n - 2*c. Let i(b) = -4*b**3 - 4*b**2 - 2*b + 7. Let v(k) = n*i(k) - 5*u(k). Is v(8) prime?
False
Let q = 9816 + -6617. Is q composite?
True
Suppose -6 = -5*l + 39. Is 262/(-3)*l/(-6) prime?
True
Let n(w) = -w**3 - 8*w**2 - 9*w + 1. Let v be (1 - 2/1) + 40. Suppose 2*q = 5*t - v, -t - 15 = -4*t. Is n(q) a prime number?
False
Let u be ((-6)/(-4))/((-4)/(-24)). Let r = 1 + u. Is r prime?
False
Let a(h) = 36*h - 5. Let l(v) = -v**3 + 6*v**2 - 3*v - 4. Let t be l(5). Is a(t) a composite number?
False
Is (-585)/(-7) - (-4)/(-7) composite?
False
Let i(p) = p**3 + 6*p**2 + p**2 - 5 - 5*p + 0*p - 6*p. Is i(-8) a composite number?
False
Let z be (-6)/(-24) + (-10)/8. Let a(w) = -25*w. Is a(z) composite?
True
Let r be ((-1)/(-2))/(3/6). Let l(u) = 8*u**3 + u**2 - 1. Let p be l(r). Suppose -3*w = -p*w + 5*y + 55, 2*w + 2*y = 38. Is w a prime number?
False
Let w(s) = 0 + 1 - 4 + 0 + 18*s. Is w(3) composite?
True
Suppose 3*w + 7 = -5*n + 1, -4*n + 8 = -4*w. Let h be -2*1/w*0. Suppose -2*r - 2*r + 52 = h. Is r a composite number?
False
Suppose -p = -4*z + 3553, 2*z - p - 1418 - 361 = 0. Is z a composite number?
False
Suppose 3*u + 3 = 3*a, -a + 4*u + 0 = 2. Suppose -j - j - 428 = -4*n, 2*n - a*j = 210. Is n composite?
False
Suppose 21*o - 23*o + 10690 = 0. Is o prime?
False
Let a(u) = -113*u**3 - u + 1. Is a(-2) composite?
False
Suppose -2*p + 38 = -4*s, s + 2 = -0. Is p a composite number?
True
Let w be 1/2 + (-135)/6. Let j = w + 64. Is ((-1)/2)/((-1)/j) composite?
True
Suppose -20 = 4*x, -h - 2*x = -x. Suppose -h*g - 1 = -2*y, 5*y - 85 = -5*g + g. Is y prime?
True
Is 4/(-10) + ((-27444)/(-20))/3 prime?
True
Let r = -18 - -23. Suppose 5*p - 4*g = 1671, -2*p + 1344 = 2*p - r*g. Is p a prime number?
True
Suppose 3*w = -541 - 1418. Let t = 386 + w. Is t/(-5) - 4/10 a prime number?
True
Let z = 177 - 64. Is z a composite number?
False
Suppose -2*u + 279 = -143. Is u a prime number?
True
Suppose -r + 3005 = 3*l, 3*r + 20 = 2*l - 1998. Is l a composite number?
True
Suppose 0 = -12*o + 1707 + 825. Is o composite?
False
Let j = -3811 - -6270. Is j a prime number?
True
Let x(s) = 450*s**2 - 1. Suppose -3*b = -3*v + 9, -v + 3*v - 12 = 5*b. Is x(v) a prime number?
True
Suppose 2*u = 3*u - f - 324, -992 = -3*u - f. Is u composite?
True
Suppose t + c = 3, -2*t - t = c - 11. Suppose 652 = -t*j + 2696. Is j composite?
True
Suppose -5*c = 6 + 4. Let a(p) = 65*p**2 + p + 1. Is a(c) a prime number?
False
Suppose v + 495 = 2*v. Suppose -4*o + 9*o = 5*i + v, 293 = 3*o - 2*i. Is o prime?
False
Let z = 1 - -4. Suppose 21 = 2*j + z. Suppose -3*i + 13 = -j. Is i prime?
True
Is 1176/10 + -6*6/(-90) a composite number?
True
Suppose -9*h + 14*h - 5 = 0. Is 160 - (-2 + 1/h) composite?
True
Suppose 0 = 3*w - 3 - 12. Suppose 3*s - w*s = 12. Is 3/(s/55)*-2 prime?
False
Let c = -4 + 4. Suppose 3*h + 2 = -u - 2, 2*h - 2*u - 8 = c. Suppose h = -3*l + 606 - 225. Is l a composite number?
False
Suppose -4*u + 6 + 6 = 0. Let c = -18 + 6. Is 158/u - 4/c composite?
False
Suppose -o = -4*o, 0 = 5*v + 3*o - 6295. Is v a prime number?
True
Let j(z) = z**2 - 9*z + 9. Is j(14) a composite number?
False
Suppose 3*y - 11677 = -5*a, 0*a = 3*a + 2*y - 7007. Is a composite?
False
Let d = 354 - 195. Is d prime?
False
Let i be (-85)/(-4)*(-3 + -1). Let v = i + 146. Suppose b - v + 24 = 0. Is b a composite number?
False
Let b(x) be the first derivative of -x**4/4 - x**3/3 - x**2/2 + 14*x + 2. Let y be b(0). Let g = y + -8. Is g a prime number?
False
Let g = 11 - 9. Let x(h) = 46*h**2 - 2*h - 1. Is x(g) prime?
True
Let m(w) = 2*w**2 + 11*w + 4. Suppose -h = h + 16. Let y = h + 1. Is m(y) prime?
False
Suppose 5*b - 2*b = 795. Is b a composite number?
True
Suppose 7 + 3 = 5*a. Suppose -5*f = -5*d + 50, -4*f = -a*d - 5*f + 11. Is 528/14 + 2/d a composite number?
True
Let j be (-3302)/(-8) - (-6)/(-8). Suppose -5*d - 2*y = -d - 540, j = 3*d + 5*y. Is d a composite number?
True
Let q(x) be the second derivative of 11*x**4/12 + 2*x**3/3 - 3*x**2/2 - 4*x. Is q(2) composite?
True
Is 530/15 - (4/3 + -1) prime?
False
Let f(a) = -6 + 2*a**2 + 9*a**2 - 2*a**2 - 3*a**2 + a**3. Let q be f(-5). Let t = -5 + q. Is t a prime number?
False