 = -5*u + 19944. Is u a composite number?
False
Let u be 307 + (-2 - (-2 + 0)). Suppose -2*h + 1287 = -u. Is h a composite number?
False
Let l = 27 - 8. Suppose 3*g - 11 = l. Is g composite?
True
Suppose g = 5*g. Is 0/3 - -95 - g a composite number?
True
Let x = -318 + 497. Is x prime?
True
Suppose 5*o - k = -5, -6*o + 2*o - 5*k + 25 = 0. Suppose -164 = -r - 3*v, -r + 3*v + 122 = -30. Is 3/(6/r) + o composite?
False
Suppose 2*q - 8 = u, q + 3 + 15 = -5*u. Suppose -z - 39 = -2*i, 5*i + 2*z - 31 = 53. Suppose -q*c + i = c. Is c a composite number?
True
Suppose -2*m + 0*m = -4. Suppose m*g - 265 = 75. Let k = -117 + g. Is k a composite number?
False
Let t(a) = 17*a**3 + 3*a**2 + 13*a + 2. Is t(5) a composite number?
False
Let g = -60 + 123. Suppose -g - 32 = -5*h. Is h a composite number?
False
Let b(m) = -m**3 + m**2 + 499. Is b(0) a composite number?
False
Let g = 17 + -16. Is (392 + 7)*g/3 a composite number?
True
Let k(g) = 192*g**2 - 2*g + 1. Is k(1) a prime number?
True
Suppose a - 24 = -3*z + 68, 5*z + 84 = a. Is a a prime number?
True
Let k(n) be the second derivative of 2*n**3 + 7*n**2/2 + n. Is k(6) a composite number?
False
Suppose 0 = -c - 3*z + 403, -3*z - 4 = 8. Is c a prime number?
False
Let y be 30/(-2)*(-10 - -9). Is (-1692)/(-15) + 3/y prime?
True
Let x(t) be the third derivative of t**6/120 - t**5/6 - t**4/4 + t**3/2 - t**2. Is x(11) composite?
True
Is (1 + 7)/(-2) - -41 prime?
True
Let z(d) = -105*d + 47. Is z(-8) a prime number?
True
Let n = 1746 - 541. Is n a composite number?
True
Let a = -890 - -1984. Is a composite?
True
Suppose -l - 140 = 3*l. Suppose -3*r + 58 = -2*r. Let j = l + r. Is j composite?
False
Suppose 6*d - 12 = 84. Is (-3867)/(-24) + (-2)/d a prime number?
False
Let c = -80 - -167. Let k be (c/2)/(6/16). Let d = -63 + k. Is d a composite number?
False
Suppose 3 + 3 = -3*s. Let z be (-3)/((0 + s)/2). Let l = 0 + z. Is l prime?
True
Let j(q) = 9*q**2 - 10*q - 5. Is j(8) prime?
True
Let h(s) = -s + 1 + 6*s - 2*s**2 + 3*s**2 + 2. Let q = 18 - 13. Is h(q) a composite number?
False
Suppose -2*y + 12 = 4*t, -2 - 6 = -5*y + t. Suppose -y*f + 3*x = 5*x - 72, 171 = 5*f + 2*x. Is f a prime number?
False
Suppose 2*w - 2*t - 422 = 0, -w + 4*t - 392 = -3*w. Is -5 + w + (-4)/(-2) a composite number?
True
Let p(w) be the second derivative of -w**3/6 - 2*w. Let k be p(-3). Suppose k*v + 0*v - 61 = z, 86 = 4*v + z. Is v prime?
False
Let a(s) = -s**3 + 7*s**2 - 7*s + 4. Let b be a(6). Let v be (-4)/6*(-3)/b. Let q = v + 5. Is q prime?
False
Let c be ((-9)/3)/3*-4. Suppose -c*f + 4 = -4. Suppose 2*v - f = v. Is v prime?
True
Let r be 18/(-3)*(0 - -1). Let n be (-2)/r + 96/9. Let k = n - -150. Is k prime?
False
Let p(f) = -29*f**3 + 5*f**2 + 13. Is p(-4) a prime number?
True
Let o(b) = b**3 + 3*b**2 + b - 4. Suppose 0 = -5*r - j + 8 + 35, -5*r = 2*j - 41. Suppose -r = -k - 2*k. Is o(k) composite?
False
Let j(d) = -d**2 - 4*d - 1. Let m be j(-3). Let p be m*(0 + 37/2). Let u = p - 18. Is u a composite number?
False
Let k(o) = -12*o + 4. Let r be k(-5). Let v = 109 - r. Suppose -2*d = -v - 85. Is d a composite number?
True
Let p = 1181 + -704. Suppose 5*b + 53 - 848 = a, 3*a + p = 3*b. Is b a composite number?
True
Suppose 5*t + 7974 = 2*q, 4*q - 15976 = -13*t + 16*t. Is q a composite number?
True
Suppose -300 + 3294 = 3*q. Is q prime?
False
Is ((-1085)/10)/(-1)*2 a prime number?
False
Suppose 0 = 7*v - 3*v. Suppose v = -6*k + k + 715. Is k a prime number?
False
Suppose s - 3 = -o - 1, -5*o - 11 = 2*s. Suppose -2*w + 69 = s. Is w prime?
True
Suppose -4*f + 6011 = -2585. Is f a prime number?
False
Suppose 0 = -4*g + 4 + 12. Suppose f + 0*a = -2*a - 4, -7 = g*f - a. Is (-163)/(-5) - f/5 prime?
False
Suppose -r + 428 = 5*w - 1032, -859 = -3*w - 4*r. Is w prime?
True
Let a = 5094 - -721. Is a composite?
True
Let d = 28 + -19. Is 2/d - (-313)/9 a prime number?
False
Let q = -32 + 67. Is q a composite number?
True
Let b(t) = -99*t**2 + 4*t - 2. Let v be b(4). Let k = -1101 - v. Is k prime?
False
Let l(t) = 16*t - 1. Let f(s) = -15*s + 1. Let b(j) = 4*f(j) + 5*l(j). Is b(4) a composite number?
False
Let l(f) = -f**3 + 6*f**2 - 5*f + 1. Let v = 10 - 6. Is l(v) a composite number?
False
Suppose -5*z = v - 23, -2*v + 35 = 3*v + 5*z. Suppose 3*m - 5*x - 537 = -0*x, -v*m = -3*x - 537. Is m a composite number?
False
Suppose m = -m + 4. Is m + (43 - (-1 - 0)) prime?
False
Let x(q) = q**3 + 7*q**2 - 6*q + 9. Let g be x(-8). Let o(n) = 3*n**2 + 9*n + 7. Is o(g) a prime number?
False
Suppose -14*l = -13*l - 89. Is l prime?
True
Let g(u) = -199*u**3 - u**2 + 2. Let s be g(-2). Is 3/1 - s/(-5) a prime number?
False
Let y be 0*(2/(-4) + 1). Suppose y = 4*r + 30 - 178. Is r a prime number?
True
Suppose 3*c - 19 = 4*h - 2*c, -3*h + c = 6. Let m(s) = 149*s**2 - 5*s - 1. Let k(u) = -299*u**2 + 11*u + 2. Let f(x) = 4*k(x) + 9*m(x). Is f(h) a prime number?
False
Let t = -67 - -99. Let y = t - 16. Let r = y - -10. Is r a composite number?
True
Suppose 0 = u + u - 6. Let i(p) = 2*p - 10. Let c be i(7). Suppose 69 = u*q - 4*y, -c*q + y = 6*y - 61. Is q a prime number?
True
Suppose -13*q = -16*q + 4083. Is q prime?
True
Let r(s) = 34*s + 2. Let w be r(1). Suppose -5*b + 64 = -3*u, 0*b + w = 3*b - 3*u. Is b a prime number?
False
Is 5/(-25) + 972/10 a prime number?
True
Suppose -311 = 4*a + s + 2*s, 3*a + 247 = -5*s. Let m be 4*1/4*-49. Let y = m - a. Is y a prime number?
False
Let q = -710 - -444. Let o = q + 372. Is (0 - o)*2/(-4) a composite number?
False
Let o be 2/6*-3 + 3. Is 3 + (440 - (o + -6)) a composite number?
True
Let o(y) be the first derivative of -y**4/4 + 3*y**3 - y**2 + 3*y + 3. Is o(8) a composite number?
True
Suppose 21 = 5*b - s, b - 4*s - 12 = -b. Suppose 6 = -b*d - 2*l + 356, -3*l = 3*d - 258. Is d a composite number?
False
Suppose 2*a + 3 = -3, -3*a - 141 = 3*d. Let o = 63 + d. Suppose -2*z - 1 = -o. Is z a composite number?
True
Suppose -5*o + 3578 = 1483. Suppose 0 = 5*g + 74 - o. Suppose g + 1 = 2*a. Is a a composite number?
True
Let t(v) = -36*v - 2. Let d be t(-4). Let m = 291 - d. Is m composite?
False
Is -3 + (-2 - -2) - -214 a prime number?
True
Let f(o) = -2*o**3 + 4*o**2 + 3*o + 8. Is f(-9) composite?
True
Suppose -4*m - 5*b + 9 = 0, -5*m + 3*m + 4*b = 2. Let t = 3 - m. Suppose t*x - 5*x + 3*h = -48, 10 = x + h. Is x prime?
True
Suppose -a - 4*n - 6 = -n, 3*a - 6 = 3*n. Suppose a*x = -x + 2. Suppose -4*g = 5*t - 0*t - 114, -x*t = -g + 35. Is g a composite number?
False
Suppose 6*f - 1227 = 2*f + 5*t, -5*t = -2*f + 601. Let y = 446 - f. Is y a prime number?
False
Let p(a) = 5*a**3 + 2*a**2 + 4*a - 22. Is p(5) a prime number?
True
Let w = -1557 - -4450. Is w a prime number?
False
Suppose -18*v - 2123 = -19*v. Is v a composite number?
True
Let g be 10/(-2) - -1*1. Let y(f) = f**2 + 4*f + 5. Let x be y(g). Suppose -x*s = 25, -2*s - 34 + 3 = -i. Is i a prime number?
False
Let l(u) = 7*u + 3 - 1 - u**2 - 1. Let s be 1 - 2 - (-14)/2. Is l(s) prime?
True
Let t(z) = -4*z**3 + z**2 - 15*z - 15. Let m(r) = 3*r**3 - 2*r**2 + 14*r + 14. Let c(p) = -5*m(p) - 4*t(p). Is c(-7) prime?
True
Let i(g) = -9*g**3 - 6*g**2 + 3*g + 7. Is i(-5) prime?
True
Let q(n) = 227*n - 1. Is q(6) a prime number?
True
Let h = 9213 - 4076. Is h a composite number?
True
Let u = 1619 - 1036. Is u prime?
False
Let v(i) be the third derivative of -i**4/24 + i**3/2 + 3*i**2. Let h be v(3). Suppose 30 = 2*f - h*f. Is f a prime number?
False
Let l be (-1)/2 + 34/(-4). Let r(x) = -x**3 + 9*x**2 - 3*x - 5. Let a be r(8). Let b = l + a. Is b a prime number?
False
Let t be (-50)/4*(-12)/(-15). Let f = -5 - t. Suppose 19 = -2*r + 6*r - f*n, -4*n + 31 = r. Is r a prime number?
True
Let m be ((-2)/4)/(4/(-96)). Let j be 2/6 - 4/m. Suppose j*q - 10 = -q + h, -3*q + 24 = -5*h. Is q prime?
True
Let w(f) = 2*f - 7*f - 5 + f. Let h be w(9). Let k = -18 - h. Is k a composite number?
False
Let r be (-4 - -4)/4 + 111. Suppose 4*s = s + r. Is s a composite number?
False
Let u(h) = 813*h + 1. Let p be u(1). Suppose 5*g + 0*t - p = t, 0 = -2*t + 2. Is g a composite number?
False
Let t(a) = -a - 10. Let g(r) = -r - 1. Let x(p) = -2*g(p) + t(p). Let s be x(8). Suppose s = 3*u - u - 194. Is u prime?
True
Suppose -7*a + 246 + 1819 = 0. Is a composite?
True
Suppose -l - 3*s + 8*s - 3 = 0, 0