se -v*c = 172 + 348. Is (-9)/18*c*1 prime?
False
Suppose 0*l = 5*l - 3*a + 12, l + 4*a = 16. Is -2 + 211 + 2 - l a prime number?
True
Suppose 0 = o + 5*o - 1266. Is o a composite number?
False
Is ((-23)/(-46))/(1/998) a prime number?
True
Let v = 121 - 50. Let o = 216 - v. Is o a composite number?
True
Suppose -6*c + 3*c + 195 = 0. Let z = c - 46. Is z composite?
False
Suppose w - 19 - 32 = 0. Is w a prime number?
False
Let k = 5 - 5. Suppose 0 = -k*v - 3*v + 447. Is v a composite number?
False
Let u be -10 - -4 - (-1 + -1). Is (-30)/u + (-2)/4 a composite number?
False
Let k(q) = 3 - 1 + 1 + q**3 - 6 + 3*q**2. Is k(4) prime?
True
Suppose 0 = 2*f - 10, -l + 220 - 64 = 3*f. Is l composite?
True
Suppose 38*r - 40*r = -2518. Is r composite?
False
Suppose -3*w + 8*w = 1595. Is w prime?
False
Is (1/2)/(3/678) prime?
True
Let d = 5 + -11. Let j = 8 + d. Is 93 - (j - (2 + -2)) composite?
True
Let w(c) = c**3 + 7*c**2 + 4*c - 2. Let k be w(-5). Let m = k + -16. Suppose -t + 3*x = -34, x - 18 - m = -t. Is t a prime number?
True
Suppose -3*l - 2*m + 757 = -513, -l + m + 430 = 0. Suppose 0 = -g + 3*g - l. Is g a prime number?
False
Let g(d) = 16*d + 3. Is g(10) composite?
False
Suppose 3*u - 5*o = -4 + 349, 3*u - 345 = -2*o. Let p = 122 - 72. Let v = u - p. Is v prime?
False
Let n = 4 + -17. Let o = 12 - n. Is o a prime number?
False
Let k = 3 + 0. Suppose k*y = -y + 332. Let s = y - 28. Is s a composite number?
True
Suppose -2*d + 4 = -6*d - 4*m, -d = -4*m - 14. Suppose -b = -6*b + 2*u + 149, -d*b - 2*u = -68. Is b composite?
False
Let y be 1/(13/(-7) + 2). Let j(d) = -8*d - 10 - d**3 + 2*d + 9*d**2 + d. Is j(y) a prime number?
True
Let k be (-2)/6 - (-50)/15. Suppose -k*r - 1 = -43. Is (r/(-8))/(3/(-60)) a composite number?
True
Suppose -278 = 7*u - 2196. Is u a prime number?
False
Let o be -5*(-1 - 21/(-15)). Suppose 0 = -5*p + 53 - 13. Let s = p + o. Is s a prime number?
False
Suppose 3*f - 4*z - 6935 = 0, 6873 = 3*f + z - 52. Is f a prime number?
True
Suppose -4*w = 2*f - 662 - 650, -w - 4*f = -321. Is w composite?
True
Suppose 4*s - 3*t + 19 = 5*s, 5*s - t - 15 = 0. Suppose v - 185 = -s*v. Is v prime?
True
Suppose 5*b + 628 = 3083. Is b composite?
False
Let y(v) = -2*v + 3. Let s be y(3). Let o be s/(-1) + (-8)/4. Is 1 + 35 + o + -2 a composite number?
True
Let n = -2974 - -5831. Is n prime?
True
Suppose 4*i = -3*c - 4, -2*i + i + 4 = 2*c. Suppose 3*a + 7 = 7. Suppose -c*r + a*r = -76. Is r prime?
True
Suppose -g - 2*g = 0. Suppose g*q + 4*q = 1172. Is q a composite number?
False
Let o be 1/(2 + (-188)/96). Is 4762/12 + 4/o a prime number?
True
Let u = -2 - 0. Let h be (u/(-2))/(1/3). Suppose 354 = h*s - 81. Is s a prime number?
False
Let a(x) = x + 425. Let y be a(0). Suppose 4*k - y = -k. Is k composite?
True
Suppose -3*k = -4*u + 26, -4*k + u = -0*u + 26. Let c(m) = m**3 + 5*m**2 - 3*m - 7. Let d be c(k). Is (d/(-2))/((-1)/(-2)) composite?
True
Let q = 1 - 1. Let w be (0 + q)/(-1) + 2. Suppose w*y - 79 = -33. Is y a prime number?
True
Let u be 1/(-6) + (-26)/(-12). Suppose -3*x - u = -611. Is x a prime number?
False
Is 3/((-3)/(-127) - 0) a composite number?
False
Let m(y) = y**2 - 4*y - 2. Let s be m(4). Is 0/s - (-544 - 13) a prime number?
True
Let a = 838 - 368. Let p = -259 + a. Is p a prime number?
True
Let x = 43 + 114. Is x prime?
True
Let c(k) = 9*k**2 - k - 1. Is c(4) composite?
False
Is 2426 + -1 + (-2 - -1 - -5) composite?
True
Let i = 5 + -1. Let q = 170 + -107. Suppose 29 + q = i*c. Is c a composite number?
False
Let a = 2 - -1. Suppose -a*t = t - 76. Is t a composite number?
False
Let h = -56 + 247. Is h prime?
True
Let o(n) be the second derivative of n**6/360 + 7*n**5/120 - 11*n**4/24 - n**3/3 - 4*n. Let g(h) be the second derivative of o(h). Is g(-11) a prime number?
False
Suppose -c - i = c - 59, -i - 34 = -c. Suppose 4*f - 7 = 2*l + c, 0 = l + 3. Let m(n) = n**3 - 7*n**2 - 2*n + 5. Is m(f) a composite number?
False
Suppose -d + 0*d + 149 = 0. Is d a composite number?
False
Suppose -4*l + 7 = -5*c - 21, -2*c - 4 = 2*l. Suppose 0 = 3*v + l*v. Suppose 68 = 2*g + 2*d, g - 31 = -2*d - v*d. Is g composite?
False
Let o(s) = -3*s**3 + 5*s**2 + 24*s + 6. Let j(p) = -p**3 + 2*p**2 + 8*p + 2. Let d(r) = -7*j(r) + 2*o(r). Let h = -3 - -9. Is d(h) a composite number?
True
Let g(z) = -z**2 - 8*z + 13. Let i be g(-9). Suppose i*k - 582 = 130. Is k composite?
True
Suppose -n - 14 = -x - 0*n, 2*x - 5*n - 40 = 0. Suppose -316 = -x*f + 6*f. Is f a prime number?
True
Let q(y) = 8*y**2 + 16*y + 25. Is q(-12) prime?
False
Suppose 0 = -4*u + 3*q + 1030, 3*q - 1301 = -u - 4*u. Is u a prime number?
False
Suppose 36 + 16 = 2*x. Let d = x - 16. Is d a composite number?
True
Suppose -2*x + 4 = -b + 11, -5*b = -3*x - 35. Is b composite?
False
Let a be 0 + 2 - 5 - -41. Let f = a - -17. Is f composite?
True
Let m(d) be the first derivative of d**4/4 + 7*d**3/3 + 2*d**2 - 5*d - 2. Let y(j) = -2*j + 9. Let k be y(7). Is m(k) composite?
True
Let k = 20 + -14. Let v(j) = 4*j**2 + k*j**2 + 2*j + 9 + 3*j - j**3 + 2*j. Is v(10) a prime number?
True
Let z(q) = q + 10. Let y be z(-8). Suppose -4*d = 4*c - 244, 8 = -y*c + 6*c. Is d a prime number?
True
Suppose 0 = -c + 128 + 13. Is c composite?
True
Let p(s) = -s**3 + 6*s**2 + 2*s - 3. Let m be p(6). Suppose m*f - 265 = 4*f. Is f a prime number?
True
Let w = 5 + -5. Suppose -h = 4*a - 137, 2*h - 43 = -w*a - a. Is a prime?
False
Let k be (2 - (-6)/(-4))*-2. Let j(t) be the first derivative of -3*t**2 + 1. Is j(k) a composite number?
True
Let d = -72 + 94. Is d a composite number?
True
Suppose 4*h - 11*h = -5201. Is h prime?
True
Suppose 0 = -r - 73 + 340. Is 1*1/(3/r) composite?
False
Suppose -5*u - 2*y + 568 = 0, 2*u + 4*y = 325 - 85. Suppose 3*w - u = s, 200 = w + 4*w + s. Is w a composite number?
True
Let y(a) = a - 7. Let b be y(9). Suppose 0*t = 4*f - 3*t - 2315, -1150 = -b*f + 4*t. Is f a composite number?
True
Suppose 2*u = 6*u - 5*c - 10, 3*u + 2*c + 4 = 0. Suppose -g - g + 446 = u. Is g composite?
False
Let j = 9 + -6. Is (-64)/(-12) + 2/j composite?
True
Let j(t) = 3*t**2 + t + 1. Let l be j(-1). Suppose -42 = -d - 0*d - 3*s, 4*s - 111 = -l*d. Is d prime?
False
Let n = -2 - -1. Let i be 13 - (1 + 1 + n). Suppose 0 = 3*g - i, 94 = 2*a + 4*g + g. Is a prime?
True
Let f = 3354 - 1367. Is f a prime number?
True
Let h be (-8)/10*(-65)/2. Suppose 1 = -2*l + 15. Let s = h - l. Is s a composite number?
False
Suppose 0 = 2*j + 68 + 86. Let q = j + 129. Suppose 0 = 2*s - q - 22. Is s composite?
False
Let r(t) = -t**2 - 6*t - 3. Let j(f) = 2*f**3 + 4*f**2 + 4*f + 3. Let l be j(-2). Let n be r(l). Suppose n*x - 33 = -q, 3*x + 68 + 58 = 3*q. Is q composite?
True
Let s(z) = z - 2. Let x(q) = q**3 + 6*q**2 - 8*q + 1. Let j be x(-7). Is s(j) composite?
True
Let q = -34 - -24. Let a(k) = 2*k**2 + 11*k + 7. Is a(q) a prime number?
True
Is (1 - (-869 - 2)) + -1 a composite number?
True
Suppose -2*h + 4 = -0. Let s be (24/10)/1*15. Suppose -h*n = -s + 6. Is n prime?
False
Suppose -4 = -4*u - 8, 3*u + 7 = 2*a. Suppose 0 = a*o - 4*c - 68, -16 = -c - 3*c. Is (-12)/o - (-298)/14 a composite number?
True
Let f be -4 - -8*4/8. Suppose 2*v - x + 2*x - 814 = f, 3*x = -3*v + 1215. Is v a prime number?
True
Let k be (-1)/(-2) - 67/2. Let q = 70 + k. Is q prime?
True
Let z(b) = b**2 + 5. Let k(a) = 1. Let v(n) = -6*k(n) + z(n). Let l be v(2). Suppose l*d + d = 40. Is d a composite number?
True
Let o = 36 - 68. Let i be ((-15)/(-10))/(6/o). Let a = -5 - i. Is a prime?
True
Let s be (2 + 24)*2/(-4). Suppose -4*a - 3*d + 5*d = 56, -2*a = -4*d + 40. Is (-1)/(-1 + a/s) a composite number?
False
Let v(y) = 5*y + 2*y**2 + 4 - 3*y**2 - 6*y. Let u be v(0). Suppose 0 = -3*i + 3*n + 36, 0 = -3*i - 2*n + 7 + u. Is i a prime number?
True
Suppose 0*z = -2*z - 8. Let q(o) be the third derivative of -o**4/8 - o**3/3 - o**2. Is q(z) composite?
True
Suppose -a = -3*z - 6*a + 32, 5*a - 40 = -5*z. Suppose 5*d - 1985 = z*c, -485 = -2*d + 4*c + 297. Is d prime?
True
Suppose -f - 320 = -6*f. Let y = 363 - f. Is y prime?
False
Let y = 43 + 148. Is y a composite number?
False
Let l(b) = -b**3 - 7*b**2 - 3*b + 8. Let f be l(-6). Let q = 16 + f. Is q a composite number?
True
Suppose i + i - 10 = 0. Let a(x) = 5*x**2 + 9*x - 3. Let z(f) = 14*f**2 + 26*f - 9. Le