 - 7 = 0. Is o a composite number?
False
Suppose -50 = 3*c - 335. Let y = -26 + c. Is y composite?
True
Suppose 5*s = m + m + 33, -9 = -4*m - 5*s. Let b be 1 + 1 + m/2. Suppose r + 0*r - 7 = b. Is r a prime number?
True
Let r = -3 - -2. Let z = r - -32. Is z prime?
True
Suppose -5 = a, -3155 = 2*q - 7*q + 2*a. Is q prime?
False
Let g(r) = 9*r + 53*r + 23*r. Is g(1) prime?
False
Let d be 16/56 + (-4)/14. Suppose -4*x - 2*p + 1676 = -d*p, 2*x = 5*p + 838. Is x a prime number?
True
Suppose 824 = 4*y + o + 3*o, 0 = -5*y + 5*o + 980. Is y prime?
False
Suppose 80 = -3*v - 5*b, -10 = v - 3*b + 26. Let y be (-6)/(3/v*2). Suppose -4*u = u - y. Is u composite?
True
Suppose 4*z = -5941 + 1565. Is 18/(-45) - z/10 a prime number?
True
Let c be 2/(-8) + (-105)/(-20). Suppose 163 + 92 = c*x. Is x a prime number?
False
Suppose -3*c + 1134 = -237. Is c a composite number?
False
Let p be (1 + -2)*(-110 + 3). Suppose x = -3*x + 12, 4*i = -5*x + p. Is i composite?
False
Suppose 105 = 5*s - 0*s. Is s a composite number?
True
Let a(g) = g**2 + 13*g - 11. Suppose -4*b + 12 = 5*n, -5*n = -5*b + 21 + 39. Is a(b) a composite number?
False
Let y(t) = 2*t**3 - 4*t**2 - 3*t + 7. Let v be (7 - 2) + 0 + 0. Is y(v) a prime number?
False
Let b be ((-16)/(-6))/((-4)/(-12)). Let x = b - 4. Suppose 7*m - 2*m = -2*d + 105, 21 = m - x*d. Is m a composite number?
True
Let u = 25 - 72. Let d = 66 + u. Is d a prime number?
True
Suppose -3*c - 2*j + 40 = 0, -j - 2*j + 5 = -c. Suppose -1 = -h, -b - 4*h + 0*h + c = 0. Suppose -2*w + 65 = r - b*w, -3*w + 9 = 0. Is r a composite number?
True
Let x(y) = -3*y**3 - y. Let z be x(-1). Suppose 5*n + i = 3*i + 323, -n = -z*i - 61. Suppose 0 = -2*c + 29 + n. Is c prime?
True
Let c = -59 - -96. Let o = c - 4. Is o a prime number?
False
Suppose -i - 6 = i. Is (1 - -3)*20 + i composite?
True
Suppose 3*o - 12 - 3 = 0. Suppose -q - 4*g = 14, o*g = q - 6*q - 10. Is 0 + 1 - -23*q a prime number?
True
Let n(j) = j**2 - 9*j + 10. Let s be n(8). Suppose 0 = -l + 5*d + 4, -5*l + 8*d = 3*d - 80. Is (l/(-2))/(s/(-4)) composite?
False
Let k be (6 + -5)/(1/27). Suppose 3*w = 4*i - 184, -7 + k = 5*w. Is i a prime number?
False
Let d(c) = c**2 + 4*c + 6. Let i = 9 + -13. Let k be d(i). Let b(x) = x**3 - 3*x**2 - 6*x + 7. Is b(k) prime?
True
Suppose -3*a = -0*a + u - 369, 0 = u. Is a composite?
True
Let m(v) = 7*v**3 + 2*v**2 + 2*v - 7. Let k(i) = 13*i**3 + 4*i**2 + 4*i - 13. Let q be 114/(-10) - 4/(-10). Let n(g) = q*m(g) + 6*k(g). Is n(2) a prime number?
True
Let t be 1 - (-11 - 1)/2. Let y be 23/t - 10/35. Suppose y*r = 307 + 182. Is r prime?
True
Let q(n) = 152*n + 59. Is q(12) a prime number?
False
Let d = -157 - -414. Is d composite?
False
Let y(p) = -p**2 + 14*p - 2. Let v be y(6). Let c = -103 - -202. Let x = c - v. Is x a prime number?
True
Let p = -2444 - -4801. Is p prime?
True
Let y(r) = -24*r. Let p be y(2). Suppose -155 = -3*v + 346. Let c = v + p. Is c composite?
True
Let j = -1 - -1. Suppose j = -4*x + 4*o + 372, -4*x + 0*x - 5*o + 372 = 0. Is x composite?
True
Suppose w + 285 = 4*w. Let k = -201 + 141. Let c = k + w. Is c a prime number?
False
Suppose 47 = l - 0*l. Is l a prime number?
True
Suppose -531 = -h + 5*g, 4 = 4*g - 12. Is h prime?
False
Suppose -6*q - 557 = -7*q. Is q a prime number?
True
Let c(r) = r**2 + 4*r + 4. Let p be c(-4). Suppose 0 = -k + a + 7, 5*k + p*a = 15 + 20. Is k a composite number?
False
Suppose -1 + 5 = 2*l - q, l - 4*q = 16. Suppose b - i - 47 = l, -5*b - 2*i = -8*b + 141. Is b a composite number?
False
Suppose -4*m = -11 - 5. Suppose m*k = 23 - 3. Suppose 2*w + 10 = u + 3*u, -4*w - 14 = -k*u. Is u composite?
False
Suppose 4*j + 6*j = 3170. Is j composite?
False
Let a(j) = 50*j**2 - 2*j - 1. Let k = -7 - -6. Is a(k) prime?
False
Let b(r) = 40*r + 17. Let c(i) = -27*i - 11. Let o(k) = 5*b(k) + 8*c(k). Is o(-7) prime?
True
Let j(h) = -h + 67. Let y be j(0). Suppose -q - 134 = -2*v, y = v + 2*q - 0*q. Is v a composite number?
False
Let p = -3 + 3. Suppose p = -5*m - 4*j + 167, -m + 0*m = -3*j - 22. Is m a prime number?
True
Let u be -4 + (2 - -15) + 2. Suppose -4*j - 149 = -785. Is (j/u - -1)*5 a composite number?
True
Let s(d) = 14*d + 107*d + 44*d. Let m be s(1). Suppose -4*g + m = g. Is g composite?
True
Suppose -2 = -2*p + 2*w + 4, 4*p = w + 3. Let n be 1 + -1 + 1 + p. Is ((n + 10)*-1)/(-1) a prime number?
True
Let j = 1542 + -888. Suppose 0 = 3*d - 225 - j. Is d prime?
True
Let w(y) = 3*y**2 - 4*y - 10. Is w(7) composite?
False
Let u(m) = m**3 - m**2 - m + 35. Is u(0) a prime number?
False
Let l(h) = -29*h - 7. Is l(-9) a composite number?
True
Let y(q) = -q**2 - 6*q - 2. Let m be y(-5). Suppose 5*p + 5*c + 3180 = 0, 2*c - m = 5. Let g = -345 - p. Is g a prime number?
False
Is (-180)/8*36/(-5) + -1 composite?
True
Let n(j) = -39*j**3 + 5*j**2 + j - 1. Let k be n(-4). Suppose 5*t - k = 3764. Is t composite?
True
Suppose -5*q + 33 = -32. Suppose -q = 3*v - 184. Is v a prime number?
False
Let v(t) be the third derivative of t**6/120 + 11*t**5/60 + t**4/4 - 5*t**3/6 - t**2. Is v(-10) a composite number?
True
Let i(p) = 9*p**2 - 2*p + 2. Let r(a) = a. Let u be r(2). Is i(u) a composite number?
True
Let x(j) = 0*j + 0*j - j. Let b be x(4). Is (-1 - b) + -1 + 2 prime?
False
Suppose 0 = -c + 2*k + 49, 2*c + 104 = 4*c - 2*k. Suppose -7*v - c = -12*v. Is v composite?
False
Let i = 337 - 32. Is i composite?
True
Let g(p) = p**3 - 12*p**2 + 3*p - 11. Is g(12) composite?
True
Suppose 2*y + 4*f - 2618 = 0, -4*f + 1905 = 3*y - 2032. Is y a composite number?
False
Let x = -10 - -244. Suppose -2*t + 122 = -x. Is t a composite number?
True
Let u(z) = -z**2 - 4*z - 5. Let d be u(-5). Is 562/5 - 6/d composite?
False
Suppose 4*u - 3*l - 3935 = -768, 4*l = -4. Is u composite?
True
Let l = 1193 + -834. Is l prime?
True
Let z(w) = w + 4. Let a be z(-6). Suppose -l + 0*l - 2 = 0. Is (-5 - l - a)*-46 composite?
True
Suppose -2*k + 37 = -7. Suppose -z - 8 = -3*z. Suppose d = 2*f + 19, 5*d - 55 = z*f + k. Is d composite?
False
Let z(n) = 132*n + 5. Let o(k) = k + 1. Let w(f) = 2*o(f) - z(f). Is w(-2) prime?
True
Let n(z) = -54*z - 5. Is n(-7) prime?
True
Let b be 40/16 + (-2)/4. Suppose 4*p - 744 = g, -b*p + 5*g = 45 - 435. Is p composite?
True
Let z(c) = 4*c**2 + 4*c - 3. Let f(q) = q - 1. Let w be f(-4). Is z(w) a composite number?
True
Let k(x) = x**3 - 5*x**2 + 2. Let n(f) = -f**2 - 8*f - 7. Let a be n(-6). Let c be k(a). Is c*(-3)/(-6)*25 composite?
True
Suppose 5*l - 4 = -4*u, 2*l + u = -0*l + 1. Suppose 0 = 2*h - l*h - 96. Suppose 37 + h = g. Is g a prime number?
False
Suppose 3*g + f - 1489 = 0, g = 9*f - 5*f + 505. Is g a composite number?
True
Is (-1 + -4)*(-1)/5*443 a composite number?
False
Let i(t) be the second derivative of 3*t**5/20 + t**4/12 - t**3/3 + t**2 - t. Is i(4) a composite number?
True
Suppose -7*t = -14*t + 2786. Is t composite?
True
Let t(x) = 18*x + 1. Is t(1) a prime number?
True
Let c = 6549 - 3920. Is c composite?
True
Let j(a) = a**3 + 19*a**2 + 18*a - 5. Is j(-17) composite?
True
Let n be (-96)/(-7) + 4/14. Suppose -2*v - n = -3*v. Is v composite?
True
Let m(a) = 194*a**2 - 2*a - 2. Let v(z) = z**2 - z - 1. Let t(s) = m(s) - 3*v(s). Is t(-1) composite?
False
Let k = -202 + 365. Is k prime?
True
Let x(d) = 34*d + 9. Is x(4) a prime number?
False
Let r(l) = 745*l + 9. Is r(2) composite?
False
Suppose 8*u - 10 = 3*u. Is -1 - 10/(-4)*u a composite number?
True
Suppose a - 5*a = -3916. Is a composite?
True
Let c(a) = a**3 - 4*a**2 - 4*a - 1. Let s be c(5). Suppose 7*w - 9 = s*w. Let x = w - -4. Is x composite?
False
Suppose 5*c = 25, -2*r - 5*c = -0*r - 29. Let p(m) = -19*m**3 - 2. Let f(g) = g**3 + 1. Let l(s) = -3*f(s) - p(s). Is l(r) a composite number?
False
Suppose -p + 104 = 2*u - 2*p, 3*u = 3*p + 159. Is 4/(1 - u/53) prime?
False
Let m be (0 - 4)*10/(-8). Suppose -5*s = 2*c - 0 + 2, m*c + 5 = -4*s. Suppose s*o = 3*o - 69. Is o composite?
False
Let q(w) = w + 7. Let y be q(-13). Is y*(-1)/(-2) - -152 prime?
True
Let z(b) = 528*b - 93. Is z(7) a prime number?
False
Let a(g) = g**3 - 5*g**2 - 5*g - 8. Let k be a(6). Is (10/(-4) - k)*-326 a composite number?
False
Let f = 283 + 19. Is f a prime number?
False
Let q = -155 + 232. Is q composite?
True
Let z(d) = 1261*d**2 - d - 1. Is z(-2) prime?
False
Let q(