*2/2 + 5*c. Is x(-1) composite?
True
Let x = 49 + -26. Is x a composite number?
False
Let t = -88 + 185. Is t a prime number?
True
Let h = 72 - 50. Is h prime?
False
Is (2414/2 + 18/(-9))/1 a prime number?
False
Is 129*(1 + (-16)/(-12)*2) prime?
False
Let t = 1 - -13. Suppose -a = -b + 6*b + 10, 4*b = -3*a + t. Suppose -5*s = -s + 2*y - 26, -s = -3*y - a. Is s a composite number?
False
Suppose -2*b + 6*b = 488. Is b - (-1 + -2) - -2 a composite number?
False
Suppose 221 - 1119 = -2*u. Is u prime?
True
Is 2/((-4152)/(-1036) - 4) a prime number?
False
Let u(g) = g**3 + 4*g**2 + 2*g + 4. Let c be u(-3). Let b(r) = 1 + 3 + 12*r - 10 - 4. Is b(c) a composite number?
True
Let l(k) = 4*k**2 + k - 2. Is l(5) a composite number?
False
Let l(c) be the third derivative of 5*c**4/4 + c**3/6 - 3*c**2. Is l(1) prime?
True
Suppose -5*g - 159 = -589. Let d = 405 - g. Is d prime?
False
Is -1 + -1 - -5 - (-56 - -4) composite?
True
Let f(i) be the first derivative of 9*i**2 - i + 3. Is f(9) composite?
True
Let o(d) = d**2 - 2*d + 2. Let l be o(3). Suppose 2*r + 25 = w + 4*r, l*w = 3*r + 164. Is w prime?
True
Let t be 4/(-4) - (-5 - -1). Let d(a) = 17*a + 4. Is d(t) prime?
False
Suppose 3*f - 591 = -2*m, -f = -3*f - 2*m + 392. Is f a composite number?
False
Let s(x) = x**3 - 9*x**2 + 9*x - 4. Let h be s(8). Suppose -h*z = -8*z + 1228. Is z a prime number?
True
Let a = 20 - 1. Is a prime?
True
Let d = 667 + 120. Is d prime?
True
Suppose -2*u = -5*u + 33. Suppose 2*z + u - 50 = -3*a, -5*a - 2*z + 61 = 0. Is a a composite number?
False
Suppose -5*i + 215 = -i + 5*b, -106 = -2*i - 4*b. Is i a composite number?
True
Suppose -2*a + 40 + 38 = 5*h, 4*h - 178 = -5*a. Let m = a - -93. Is m/(-3)*(-1 - 2) a prime number?
True
Let o be 162/2 + 0/(-2). Suppose d = -j + 297 - o, 0 = d - 4*j - 201. Is d a prime number?
False
Let a = 99 + -66. Suppose -t - 2*t = -a. Is t composite?
False
Let r(m) = -550*m**3 + 8*m**2 + 8*m - 11. Let k(b) = -367*b**3 + 5*b**2 + 5*b - 7. Let j(q) = -8*k(q) + 5*r(q). Is j(1) prime?
False
Let t(f) = 1. Let a(x) = 9*x**2 - 4*x - 4. Let z(o) = a(o) - 6*t(o). Is z(7) prime?
False
Let i(k) = k**3 + 6*k**2 - k + 3. Let h be i(-6). Is (-3)/(h/(-3))*157 a composite number?
False
Suppose 12 = 3*v, -3*y + 3*v = -5*y + 1430. Is y composite?
False
Is -794*(1 - 6/4) composite?
False
Is 10 - 8 - (-6135 + -2)/1 a prime number?
False
Let x(u) = u - 3. Let j be (-2 - 0 - -1)*-5. Let a be x(j). Is -2 + a - 59/(-1) a composite number?
False
Let k = 296 + 185. Is k a prime number?
False
Let f(s) = -s**3 + 19*s**2 + 20*s - 11. Is f(18) composite?
False
Let p = -198 + 493. Is p a prime number?
False
Let k(o) = 27*o + 5 - 8*o + 11*o + 9*o. Let i be k(5). Suppose 4*d - t - 795 = 4*t, 0 = -d + t + i. Is d prime?
False
Let i = -6 - -4. Let g be i/(2/(-184) + 0). Let l = -131 + g. Is l a prime number?
True
Let z(c) be the second derivative of -c**5/20 - c**4/4 + c**3/6 + 2*c**2 + 4*c. Is z(-9) a composite number?
True
Suppose 2*l = -0*l - 2*c + 1538, 757 = l - 5*c. Is l a composite number?
True
Suppose -5*q + 10 = -3*l - 27, -5*l = 4*q. Suppose 0 = 5*s + q + 5. Is (-2 - -3)/(s/(-290)) composite?
True
Let k(b) = -5*b + 1. Let h(z) = 6*z - 1. Let u(w) = -4*h(w) - 5*k(w). Let v be u(6). Suppose -3*f - v*s + 216 = 0, -3 = -4*s + 9. Is f composite?
False
Suppose 3*o = 0, -4*z + 6*z - 782 = 5*o. Is z prime?
False
Let n(b) = -b**3 - 12*b**2 + 12*b + 12. Let y be n(-9). Let v = 64 - y. Is v composite?
True
Let g be (2 + -2)*(-1)/(-2). Suppose g*u = 2*u - 8. Suppose -4*t - 264 = -4*v, -v + 63 = -0*v - u*t. Is v a composite number?
False
Suppose 81 - 1209 = -3*s. Let a = -251 + s. Suppose -5*c - 4*b - a + 516 = 0, 3*b = -3. Is c composite?
False
Let n = 412 + 211. Is n a composite number?
True
Suppose 3*j - 6 + 0 = 0. Suppose -4*d - 4 = -2*d. Is (j + -2)/d + 79 a composite number?
False
Suppose -9 = -t + 5*d, -4*t - 4*d = -78 + 18. Is 4/(-8)*-5*t a prime number?
False
Suppose -2*i - 10 = -3*i. Let o = i - -1. Suppose 3*l - o - 94 = 0. Is l composite?
True
Suppose 5*l - 26 - 47 = -4*w, 9 = l - 2*w. Suppose -5*f - l - 48 = -4*b, 5*b + f = 98. Suppose -a - 4*p + b = 0, -2*p = -a - 5*p + 17. Is a prime?
True
Let j(z) be the second derivative of -z**3/3 - z. Is j(-3) prime?
False
Let j(l) = l**3 + 4*l**2 + 4*l + 4. Let y(o) = -o - 8. Let b be y(-5). Let f be j(b). Let s = f + 6. Is s a prime number?
True
Let z = 1369 + 280. Is z composite?
True
Let n = -78 + 281. Is n a prime number?
False
Let q(x) = x**3 + 5*x**2 - 2*x - 7. Let t be q(-5). Suppose 4*u + 27 = -3*c, 3*u = 4*u + 2*c + t. Is (-44)/(-3) + (-3)/u composite?
True
Let l = -24 + 629. Let w = l + -388. Is w composite?
True
Let i be ((-12)/15)/((-4)/10). Let w(p) = p + 5 + 0*p + p**2 - i. Is w(3) a composite number?
True
Let a = 193 + 440. Is a a prime number?
False
Let l be -128 - (2/(-2) - -3). Let c(g) = 24*g - 3. Let v be c(-3). Let x = v - l. Is x prime?
False
Suppose 0 = -4*j, a = -3*j - 90 + 8. Let u = a + 131. Is u composite?
True
Let m(k) = -k - 4. Let a(h) = -6*h - 21. Let t(b) = -2*a(b) + 11*m(b). Let i be t(4). Is 993/3*(-1 + i) prime?
True
Let j = 6390 - 3685. Is j composite?
True
Let u = -6 - -11. Suppose 67 - u = 2*p. Is p prime?
True
Let v = 1 + -1. Suppose -2*z + 23 = 2*t - 3*t, v = -z - 3*t + 1. Is z a prime number?
False
Suppose -g - 117 = -588. Suppose -3*s = -390 - g. Is s a prime number?
False
Let h = -98 - -155. Suppose a - 3 = -1, 4*q = -2*a + 380. Let y = q - h. Is y a composite number?
False
Let r = -14 + 7. Let m = r + 21. Is m a prime number?
False
Suppose -4*m - m = 5. Let t be (1/m - 2) + 8. Suppose -2*j + 0*j = 3*c - 89, 3*j = -t*c + 136. Is j a prime number?
True
Let h(z) = 324*z. Let p be h(1). Suppose 835 = -5*g + 5*s, 4*g - 3*s - p = 6*g. Is (g/(-9))/((-1)/(-3)) a prime number?
False
Let q(v) = v - 3. Let w be q(8). Suppose 2*y + 1959 = 3*x, 2*x - 979 - 316 = w*y. Suppose -5*c + x = -0*c. Is c composite?
False
Suppose 0 = -3*f + p + p + 2343, 5*f + 5*p - 3905 = 0. Is f composite?
True
Suppose -167 = -v - 2*h, 0*h - h = 3. Suppose -2*g + k + v = g, -4*g + 2*k + 232 = 0. Let w = g - 32. Is w a composite number?
True
Suppose 0 = -7*m + m + 948. Is m prime?
False
Suppose -5 = 3*t + 7. Is ((-316)/(-16))/((-1)/t) prime?
True
Suppose 5*k = 4*h + 273 + 2152, 0 = -4*k - 4*h + 1940. Is k prime?
False
Let l = 3 + 3. Is (-2)/2 - (-516)/l a composite number?
True
Let s(v) = -52*v - 19. Is s(-6) composite?
False
Let c = 350 + -85. Is c composite?
True
Let x be 6 + 0 + 2 + -3. Suppose x*j + 35 = -0*j - 3*c, j + 25 = 3*c. Let f = j - -20. Is f prime?
False
Suppose -39 = -u - 0*u. Let b = u - -16. Is b a prime number?
False
Let x = 0 + 5. Let d be 43/2 + 6/(-4). Let h = d + x. Is h prime?
False
Suppose r + 4*r = 0. Suppose 2*x - 142 - 8 = r. Let q = x + -52. Is q prime?
True
Suppose 0 = 5*h - 9*h + 2980. Is h a composite number?
True
Let v be -2 - -3 - (4 - 1). Is 50 - 1 - v/1 prime?
False
Is 68/6*258/4 a prime number?
False
Suppose -8*i + 359 - 63 = 0. Is i a composite number?
False
Let v = 13 - -73. Let i = v - -3. Is i composite?
False
Let f(v) = 2*v - 4. Let l be f(5). Let o(p) = 2*p**2 + 2*p + 7. Let w(t) = 5*t**2 + 5*t + 21. Let z(d) = 8*o(d) - 3*w(d). Is z(l) a prime number?
False
Suppose 7*g - 5 = 2*g, g = 2*s - 3. Suppose -s*y + y = -85. Is y a composite number?
True
Suppose z = 12 - 2. Is ((-65)/z)/(2/(-12)) prime?
False
Let s(g) = g**3 - 7*g**2 + 4*g - 5. Let b be s(8). Let q = 158 - b. Is q prime?
True
Let r(w) = 676*w - 3. Is r(1) a prime number?
True
Let q = -4 + 5. Let m be q - 2 - (-2 - -3). Let n = 13 - m. Is n composite?
True
Suppose 4*m - 4*u - 2244 = 0, 0 = 3*m - m + 2*u - 1106. Is m a composite number?
False
Let x = 14 - 11. Is (-2 + x)/(3/129) a composite number?
False
Let u(y) be the first derivative of 2*y**3/3 + 3*y**2/2 - y - 3. Is u(-4) composite?
False
Let t be 2 - (2 + -1*2). Suppose -4*y - 17 = -f, -3*y - 7 = t. Suppose 4*j = -2*q - 10, f*j + 16 + 4 = 0. Is q a prime number?
True
Suppose -5*m = -6 - 4. Suppose -p - 372 = -3*p + m*n, -3*p + 5*n + 548 = 0. Is p a prime number?
True
Let h be 0/(-1*6/3). Is h/(-3) + -2 + 51 a composite number?
True
Is 3512/12 + 2/6 composite?
False
Is -7 + 4 + (5576 - -6) a composite number?
True
Let n be (1 - -5) + (6 - 6). Suppose n*f - 3*f - 120 = 0