 = -5*v + 455 + 740. Is (-4)/(-8)*(v - 1) composite?
True
Let x(i) = 12*i - 29. Is x(12) composite?
True
Is 4/6*(-5 + 4899/6) prime?
True
Suppose -o - 2*o = -1584. Suppose -6*d - o = -2*d. Is (d/6)/((-4)/6) prime?
False
Let h = 145 + 5. Suppose -34 - 61 = -3*c + 2*i, 2*i - h = -4*c. Is c a composite number?
True
Suppose 42 = k + k. Is k a prime number?
False
Let c be 198/4 - 30/20. Suppose -3*w + c = -2*w - 5*a, 126 = 3*w + 3*a. Is w prime?
True
Let l = 1208 - 667. Is l composite?
False
Suppose 0 = 5*z + 17 + 23. Let i(a) = a**2 - 6 - 3 + 5*a + 4. Is i(z) a prime number?
True
Let j(z) = z**2 + 5*z - 9. Let r be j(-7). Suppose g + 296 = r*g. Is g a prime number?
False
Let o = 175 - -4. Let k = o + -70. Is k prime?
True
Let d(o) = -o - o**3 + 0*o**3 + 2*o + 7*o**2. Let z be 8 + -6 - (1 + -2). Is d(z) a composite number?
True
Let p(j) = 755*j**2 - 4*j - 1. Is p(2) composite?
False
Let b = 21 + -6. Is b a composite number?
True
Let o(k) = 2*k**3 - 5*k**2 - 3*k + 6. Let x(d) = d**3 + d - 1. Let u(t) = -o(t) - x(t). Let n(z) = -2*z**2 - z + 2. Let h be n(-2). Is u(h) composite?
True
Let c be -2 + 8/2 + 0. Suppose 0 = 2*x - 0*x - c. Suppose -x - 15 = -4*i. Is i a composite number?
True
Let p(a) = -4*a**2 + 5*a - 2. Let n(y) = 3*y**2 - 5*y + 3. Let i(m) = 5*n(m) + 4*p(m). Let o be i(-5). Suppose -o*r + 3*r = -140. Is r prime?
False
Suppose -p - z = 84, z + 88 = -p - 2*z. Let n = 104 + 11. Let r = n + p. Is r a prime number?
False
Let p(y) = -17*y**3 - y**2 + 4*y + 3. Let a be p(-3). Let g = a - 230. Is g composite?
False
Let g(b) = 4*b + 79 + b - 3*b - 3*b. Is g(0) prime?
True
Suppose 3*p - 4*q + 18 = 0, 0*q = -2*p - 4*q + 8. Is 3/(-6)*53*p a composite number?
False
Let w be ((-7)/(-2))/(2/4). Let h(c) = -5*c - w + c - c**2 - 7*c. Is h(-7) a composite number?
True
Suppose -4*g + 2*g + 10 = 0. Suppose 0*l + 5*l + b = -37, 2*l + 1 = -g*b. Let d = l - -12. Is d prime?
False
Let q(o) = 2*o**2 + 6*o - 7. Let n be q(-5). Suppose -c - 31 = n. Is c*(3/6 - 1) a prime number?
False
Let s(h) = 101*h - 1. Is s(4) a composite number?
True
Suppose -4*f = -3*f - 67. Is f prime?
True
Let b(q) = -3*q + 4. Let g(s) = -s. Let i(u) = b(u) - g(u). Let n be i(4). Let d = 9 - n. Is d a composite number?
False
Let n be (942/(-4))/((-1)/2). Suppose -n = -0*g - 3*g. Is g a composite number?
False
Let y = 2828 - 1627. Suppose -5*q = -1339 - y. Suppose p - q = -3*p. Is p a prime number?
True
Let j(t) = t**2 + 6*t - 5. Let s be j(-7). Suppose 0 = -s*m + z + 1, 0 = -3*m + 3*z - 3. Suppose a + m*a = 99. Is a a composite number?
True
Let k(r) = 26*r + 5. Is k(3) composite?
False
Let v = -24 - -16. Let c(y) = y - 1. Let q be c(v). Let k = q + 64. Is k prime?
False
Is (-6)/((-12)/406) - 0 a composite number?
True
Let f(w) = -10*w**2 - 2*w - 1. Let h be f(-3). Let p(k) = 52*k. Let l be p(-1). Let z = l - h. Is z composite?
True
Is ((-3764)/8)/(3 - (-35)/(-10)) composite?
False
Let n be 1136/(-7) + 12/42. Let v = n - -353. Is v prime?
True
Let u be (-282)/(-4) + (-6)/12. Suppose f = -f + u. Is f a composite number?
True
Let t(q) = -q**2 - 4*q - 2. Let h be t(-4). Let d be (-1 - h/1) + 16. Suppose -3*w + 155 = d. Is w composite?
True
Is ((-1893)/(-6))/(11/44) a composite number?
True
Is (-6 + 3)*(-3)/(-9)*-1087 composite?
False
Let d = 652 - 293. Is d composite?
False
Let n be -3 + 1 - (-2 + 0). Suppose n = -z + 26 + 20. Is z a prime number?
False
Let q(z) = 16*z**3 + z**2 - z + 1. Is q(2) a composite number?
False
Let t = -16 + 20. Suppose -t - 27 = -c. Is c composite?
False
Let f = -107 + 3. Is 2/6 - f/12 prime?
False
Suppose 2*v - 2*n - n = 385, 569 = 3*v + 4*n. Is v a prime number?
True
Let h be (0 - 1) + -4 + -7. Is h/(-16) - (-1177)/4 prime?
False
Suppose 3*k + 8 = 5*k. Let w(v) = -v**2 + 6*v - 6. Let i be w(k). Suppose h + 2 = 0, 5*a + i*h + 3*h = 65. Is a a composite number?
True
Suppose -4*l - l = -40. Suppose 0 = 3*t - 1 - l. Is t composite?
False
Let q = 41 - 16. Suppose k - q = -4*c, 3*k = -2*k + 3*c + 194. Is k composite?
False
Let v be (-4)/(3/((-6)/(-2))). Is (-528)/(-14) - v/14 a composite number?
True
Let b(x) = -4 + 1 + 5 - 1 + x. Let u be b(-3). Is (-10638)/(-66) + u/11 a composite number?
True
Let y = -3227 + 4624. Is y a composite number?
True
Let d = 9 + -2. Suppose 652 = d*b - 3*b. Is b a prime number?
True
Let g(a) = -9*a**3 - 15*a**2 - 9*a - 7. Let y(p) = -5*p**3 - 7*p**2 - 5*p - 4. Let w(v) = 3*g(v) - 5*y(v). Is w(-7) a prime number?
False
Suppose 0 = 3*i - 1206 + 345. Is i composite?
True
Let q be ((-6)/4)/(6/(-16)). Let c be 47 - (-3 - (-1 + 0)). Suppose m = c + q. Is m a composite number?
False
Let r(d) = -d**2 - 7*d + 10. Let b be r(-8). Suppose -5*f - 2*m - m = -32, -12 = b*f - 5*m. Suppose f*j + 98 = 5*t - 7, t - 4*j = 21. Is t a composite number?
True
Let q(n) = -10 - 2 - 2 + 33*n. Is q(7) prime?
False
Let t be (-4 + 1)/((-3)/46). Let l = t - 24. Is l composite?
True
Is -4 + 1 + 7*95 a composite number?
True
Suppose -13*w = -9*w - 1876. Is w composite?
True
Suppose 0 = -9*n + 4*n. Let w = n + -4. Is 127 - 1 - (w - -3) a prime number?
True
Let f = -887 - -1884. Is f a prime number?
True
Let m(i) = 7*i**3 + 2*i**2 - 7*i + 5. Is m(4) composite?
False
Let u(x) = x**2 + 13*x + 14. Let r be u(-12). Suppose -5*z + 325 = r*y, 158 = y - z + 2*z. Is y a prime number?
False
Let d(u) = u**2 - 2*u - 14. Is d(8) composite?
True
Let t = 2 - 0. Suppose -12*y + 4*y = -1688. Suppose -4*i + y = 3*r + 16, -3*r + 213 = -t*i. Is r a composite number?
True
Let g(r) = -r**2 + 2*r. Let w be g(3). Let d(u) = -4*u**2 + 3*u + 1. Let v be d(w). Is (v/6)/(9/(-27)) a prime number?
False
Let c(b) = -42*b + 1. Let i(p) = -p + 9. Let q be i(13). Let t be q + (-3 - (-2 + -2)). Is c(t) prime?
True
Suppose 2*v = -2*v + 16. Suppose v*j - x - 143 = 0, 3*j - 5*x = -x + 91. Is j composite?
False
Let j be (-20)/(-2)*(-24)/(-30). Let a(k) = 4*k - 9. Is a(j) a prime number?
True
Is (114/12)/((-2)/(-4)) a prime number?
True
Let h(d) = d**2 - 9*d - 3. Let g(v) = 3*v**2 - 26*v - 8. Let l(a) = 4*g(a) - 11*h(a). Is l(6) a prime number?
True
Let t(i) = 14*i**3 + i**2 - 2*i + 3. Let v = 7 + -5. Is t(v) composite?
True
Let i = 71 - 30. Suppose 0 = 2*o - i - 29. Is o a composite number?
True
Suppose 0 = -2*s - 0*s. Suppose -4*p + s = -8. Is (18 - -4)/(2/p) a prime number?
False
Let w(x) be the first derivative of 23*x**4/4 - 2*x**3/3 + x**2 - x - 3. Is w(1) a composite number?
True
Let r be 5/(-3)*(2 - 5). Suppose -2*m + 3*m - 2 = 0, r*d - 405 = -5*m. Is d a composite number?
False
Let d = -2 - -151. Is d a composite number?
False
Let n be -3 - 3*(-1 + -1). Let t(g) = 3*g - 4. Let q be t(6). Suppose q = n*v - v. Is v a prime number?
True
Let x = -121 + -80. Let v = x + -586. Is v/(-5) - (-4)/(-10) a prime number?
True
Is 302*1 - (11 - 7) a prime number?
False
Suppose -4*q + 20 = 4. Suppose c = q*c - 69. Let p = c - 13. Is p a composite number?
True
Let u(v) = 3*v**2 - 4*v + 3. Let y be u(-6). Let r = y + 26. Is r a prime number?
False
Suppose -15 = 5*i + 15. Let d be (i/4)/((-2)/8). Suppose 4*b + 2*r = 3*b + 4, -2*b = 2*r - d. Is b prime?
True
Let h = 48 - -104. Suppose 5*j = h + 78. Is j a prime number?
False
Let d = -3 + 256. Let t = d - 132. Is t prime?
False
Let y = -5 + 8. Let u(p) = -p**2 + 7*p + 2. Let o be u(7). Suppose 3*k = -2*w + 106, -k + o*k + 137 = y*w. Is w a composite number?
False
Suppose 5*k - 4*z - 197 = 0, 2*k = -2*k + 3*z + 157. Is k a composite number?
False
Let r(u) = -u**3 - 7*u**2 + 2. Let z be r(-7). Suppose 5*b + 3*o - 71 = z*o, -4*b + 68 = -2*o. Is b a prime number?
False
Let z(m) be the third derivative of m**6/30 - m**5/20 + m**4/8 + 7*m**3/6 + 7*m**2. Is z(5) composite?
True
Suppose -4*j = j - 10. Suppose j*u - 55 = 3*v, 4*u = -v + 101 + 44. Is u a composite number?
True
Suppose 821 + 970 = 9*n. Is n a prime number?
True
Let d be 0*(-4 - -1)/3. Is (d + 2)*(-147)/(-6) a prime number?
False
Let x(c) = 109*c + 60. Is x(11) a composite number?
False
Let y = -78 + 166. Let n be (580/(-15))/(-4)*3. Let p = y - n. Is p composite?
False
Let n(k) = k**3 - 11*k**2 - 3*k - 7. Let x be n(11). Let z = 6 - x. Is z a composite number?
True
Let a(g) be the third derivative of 31*g**4/12 + 7*g**3/6 + 6*g**2. Is a(9) composite?
True
Let g(r) = -6*r**2 - 11*r. Let c(t) = 5*t**2 + 11*t - 1. 