uppose 0 = -d*i - 5*i + 465. Is i composite?
True
Suppose -850 = -2*y + 3*g, -4*y = -0*g + 2*g - 1668. Is y a composite number?
False
Let p(r) = r**3 + 23*r**2 - 7*r - 34. Is p(-23) a composite number?
False
Let b(w) = 13*w - 4 - 4*w + 3 - 4. Is b(6) a prime number?
False
Let f = -35 + 690. Is f a composite number?
True
Suppose -3*o + 2*t + 667 = 2*o, 0 = 3*o + 2*t - 397. Is o composite?
True
Suppose -3*x = -17 + 5. Suppose -x*g = -2*t + 10, 0 = -5*t - 3*g + 12. Suppose t*q + 7 = 118. Is q a prime number?
True
Let k = -3 + 1. Is (-1)/3*870/k a composite number?
True
Let b(c) = -9*c - 5 - 24*c + 4. Is b(-2) a composite number?
True
Suppose 0*q + q + 103 = 0. Let h = q - -252. Is h a prime number?
True
Let v(h) = -2*h - h + 5*h**2 - 2*h**3 + 5*h. Is v(-3) composite?
True
Let t = -196 + 1073. Is t a composite number?
False
Suppose 4*x - 4 = -0*x. Let n(f) = -f**3 + f - 1. Let s be n(x). Is 1 + (-37)/(-1) + s a prime number?
True
Suppose -2052 = -4*z - j + 3405, -5*j + 1388 = z. Is z a prime number?
False
Suppose 0 = 5*v + 2*s - 8281, -2*v + 6*v - 6632 = -4*s. Is v composite?
True
Suppose 842 = -7*f + 8*f. Is f a composite number?
True
Let j = -201 - -402. Is j a prime number?
False
Let t(v) = 1 - v - v**3 + 3*v**2 - 3*v**2. Let k be t(0). Is 2/k - 536/(-8) composite?
True
Suppose d - 212 = -3*l, 624 = 6*d - 3*d + 5*l. Is d a composite number?
True
Suppose -4*r = -1065 + 325. Is r composite?
True
Let p(c) = -2*c**3 + 3*c + 2. Let r be p(3). Suppose 6*d + 62 + 118 = 0. Let g = d - r. Is g a composite number?
False
Suppose 0 = c + c - 148. Let n = c - 15. Is n composite?
False
Let g(p) = p**2 - 8*p + 15. Let z be g(6). Suppose 206 = z*m - m. Is m a composite number?
False
Suppose 612 = 3*a - 0*o + 3*o, -5*o - 807 = -4*a. Is a a prime number?
False
Suppose -2890 = -v + 572. Is v/14 + (-6)/21 a composite number?
True
Suppose 4*r - 4 = 8. Suppose -r*q + 3*m = -84, 3*q + 5*m = 3*m + 59. Is q prime?
True
Suppose 2*w - 3*b = 0, -2*w + 2*b + 16 = 3*b. Let u(x) = 4*x**2 - 3*x + 1. Is u(w) composite?
False
Is 5 + 1616 + (2 - 0) a prime number?
False
Suppose -f - 28 = a, 0 = -0*a + a - 5*f + 4. Let d = a - -101. Is d composite?
True
Let v(g) = -18*g - 7*g + 17*g - 1 + 10. Suppose 4*u - 5*m - 48 = 8*u, -2*u = -m + 10. Is v(u) a composite number?
True
Let x = -914 - -1745. Is x composite?
True
Let n be -22 - 2/(1 + 1). Is n*1*(7 + -8) prime?
True
Let k be 1222/13*(-1 - -11). Suppose 5*p - k = 3*r, 4*p + 5*r + 166 = 5*p. Is p a composite number?
False
Is (-1)/(-7) - 2952/(-14) prime?
True
Suppose -100 = -x - 4*x. Let a = x - 7. Suppose -j + a = -0*j. Is j composite?
False
Let x(k) = -k + 5. Let p be x(0). Suppose p*n + 110 = -v, 2*v + 3*v + 5*n = -470. Let y = v + 155. Is y a composite number?
True
Suppose 0 = 4*d + a + 272, -2*d + 3*a + 204 = -5*d. Let k = 29 - d. Is k prime?
True
Let k be (1 - 9/6)*566. Let y = -190 - k. Is y a prime number?
False
Let c be (10/(-4))/(1/(-2)). Suppose 0 = -c*z + 5*l, 3*z + 2*l = 6 + 4. Let j(m) = 34*m**2 - 4*m + 3. Is j(z) a prime number?
True
Let w(i) = i**2 - 5*i - 7. Let t be w(7). Let p be 720/21 + (-2)/t. Let q = 49 - p. Is q prime?
False
Let n = 2 + 6. Let t be (-1 + 6)*n/10. Suppose -x + t = -3. Is x composite?
False
Suppose -3*t + n + 4 - 2 = 0, 0 = 4*t - 2*n. Suppose -t*x = -4*x + 238. Is x a composite number?
True
Let x be 2*((-18)/4)/9 - 427. Let d = 3 + -2. Is x/(-1 - d) + -3 composite?
False
Let b(k) = k**2 + k. Let l(v) = 11*v**2 + 4*v + 2. Let u(c) = -6*b(c) + l(c). Let y be 3*(1 + -2)*1. Is u(y) a composite number?
False
Suppose -v = -3*k - 9 - 10, -5*v - 5*k = 5. Suppose v*p - 265 = -p. Is p a prime number?
True
Let j(h) = 5*h**3 - 3*h**2 + 3*h - 4. Is j(3) composite?
False
Let x(n) = 5*n**2 + 8*n - 11. Is x(6) a prime number?
False
Suppose -135*y = -132*y - 2514. Is y a composite number?
True
Suppose -4*m + 3*m = -2*l + 8, -5*l + 6 = m. Suppose -l*u - 601 = -5*d, u = -d + 86 + 30. Is d composite?
True
Let m(x) = -x**3 + 7*x**2 - 5*x - 1. Let g be m(6). Suppose 2*u - y - 260 = y, 640 = g*u + 5*y. Is u a prime number?
False
Suppose h - 5 = -1. Suppose 0 = -3*i + 5*u + 435, -2*i + h*u - 53 = -343. Is i a composite number?
True
Is (-472)/(-2) + 3/(-1) a prime number?
True
Let z(w) = 14*w + 17. Is z(9) composite?
True
Let y be 26/4 - (-1)/(-2). Suppose 0 = 2*i - y*i + 36. Is i a composite number?
True
Let l(q) = 3*q**2 + 5*q - 7. Let a be l(-3). Is (a - 7)*194/(-4) a prime number?
True
Suppose -6*b + 2618 + 1600 = 0. Is b a composite number?
True
Let w(y) = -4*y**3 + 89 + 5*y - y + y**2 - 4*y**2. Let i(j) = -5*j**3 - 4*j**2 + 5*j + 89. Let q(x) = -3*i(x) + 4*w(x). Is q(0) composite?
False
Let t = -594 - -1013. Is t a prime number?
True
Let u be 3724/21 + 1/(-3). Suppose -1232 + u = -5*j. Is j a prime number?
True
Suppose -2*c = 7 - 29. Is c prime?
True
Let r = -14 + 177. Is r a composite number?
False
Let g(a) = -2*a**2 + 14*a - 6. Let i(h) = -h**2 + 5*h + 3. Let w be i(3). Let p be g(w). Is (p/8)/(1/(-4)) a prime number?
False
Let x be -1 + 9 + 1 + -1. Let k = 1 - x. Is (-6)/(-21) + (-40)/k composite?
True
Suppose -2*w + 2 = -6. Suppose w*s = -0*s + 20. Is -1*(-7*s + 2) a composite number?
True
Let r be -477*(4 - 6)/6. Let d = -66 + r. Is d composite?
True
Let a(w) = 25*w**2 + 2*w - 1. Let r(m) = -m - 5. Let q be r(-3). Is a(q) a composite number?
True
Let g = -345 + 724. Is g a composite number?
False
Let q(p) = 2*p**2 + 4*p + 3. Is q(-6) a prime number?
False
Is 0 - -3 - 1398/(-3) a prime number?
False
Let u(s) = -5*s**2 - 7*s + 7. Let m(h) = 4*h**2 + 8*h - 7. Suppose 3*c - 29 = -4*z + 9, 5*c - 5*z = 5. Let k(t) = c*m(t) + 5*u(t). Is k(7) prime?
False
Let u(a) be the second derivative of 11*a**3/6 - 2*a**2 + 3*a. Let o be u(3). Suppose o = 2*j - 1. Is j a composite number?
True
Let y(i) = -37*i**2 - i - 17. Let m(o) = -18*o**2 - 9. Let r(t) = 7*m(t) - 4*y(t). Is r(4) composite?
False
Let q(k) = 2*k**2 - 7*k - 5. Let y be q(-4). Is y - (-1)/(-1) - -1 a prime number?
False
Let r(n) = -581*n + 80. Is r(-15) composite?
True
Suppose 2*z + 1 + 19 = 0. Is (-218)/z*5/1 prime?
True
Suppose 7 = 4*x - 5. Suppose y - x*y = -250. Suppose 3*q - y - 28 = 3*i, 2*q - 88 = -5*i. Is q prime?
False
Let t = -9 + 15. Suppose -v = -t - 157. Is v composite?
False
Let a = -1199 - -2254. Is a prime?
False
Let l(k) = k**3 - k**2 + k + 45. Let h be l(0). Let f = h - 26. Is f prime?
True
Let j(l) = 8*l**2 - 2 + 3*l + 7 + 2*l. Let q = -10 + 6. Is j(q) a prime number?
True
Is 1226/(-3)*(-9)/6 composite?
False
Let r be 30/9*6/4. Suppose 0 = -3*v - 2*g + 709, 0 = -0*v + r*v + 4*g - 1185. Is v a prime number?
True
Let c be 6/21 - 2/7. Let d(m) = m**3 + m + 13. Is d(c) a prime number?
True
Let z(y) = -223*y**3 - y**2 - 3*y - 2. Is z(-1) composite?
False
Suppose -3*h - 9 = 0, 4*h - 4145 = -4*p + 335. Let s = p - 560. Is s a composite number?
False
Let i(a) = 2*a**3 - 4*a + 1. Let k be i(3). Suppose -4*o + k + 329 = 0. Is o a prime number?
False
Suppose 4*f = -2*l - 1578, 2*l + 3117 = -2*l + 5*f. Let y = 61 - l. Suppose -5*d + d + y = 0. Is d prime?
True
Suppose -3*a + 5 = -4. Suppose -3*p + 6*p + a*x = 12, -p + 5*x = -4. Suppose 0 = w - 2*k - 22, 30 = w - p*k - 0*k. Is w a composite number?
True
Is (3 - 5)*-1 + 927 a prime number?
True
Suppose 0*k = -5*k + 45. Suppose 3*s + k = 6*s. Suppose -l - s*l = -124. Is l a composite number?
False
Let l(s) = s**2 - 3*s - 6. Let u be l(5). Suppose -u*p + 1115 = p. Is p composite?
False
Let a(x) = -2*x**3 + 2*x**2 + 2*x - 3. Is a(-5) prime?
False
Let v be (-227)/(-1)*4/2. Let k = 501 + v. Is k a composite number?
True
Let v(u) = -u**3 + 6*u**2. Suppose -4*r + 23 = -1. Let i be v(r). Suppose i = -3*p + 290 + 91. Is p a composite number?
False
Let h(p) be the first derivative of -7*p**4/2 + p**2/2 + 1. Is h(-1) a composite number?
False
Suppose 4*o - 182 = 2. Suppose -o = -y - y. Is y prime?
True
Let l be 7 - 3/(-3)*1. Let o(f) = -f**3 + 9*f**2 - 7*f - 6. Let z be o(l). Suppose 2*p - 76 = -z*p. Is p prime?
True
Is 6/(18/(-34107))*-1 prime?
True
Let i(o) = o**3 - o**2 - 3*o - 2. Let s be i(3). Suppose -s*m = -1213 + 72. Is m a prime number?
True
Let a(f) = 35*f**3 + 3*f**2 + 2*f - 1. Is a(3) a prime number?
True
Let d(j) = 14*j**2 - 4*j - 9. Is d(5) a prime number?
False
Suppose -30 = -3*i + 3*r, -i - 2*r -