 l a composite number?
True
Suppose -5*x + 2*w + 797 = 0, -4*w - 151 = -2*x + 155. Is x a composite number?
True
Is (-14)/63 - (-4558)/18 composite?
True
Suppose y = 5*r + 8, 3*y + r + 4 - 12 = 0. Suppose -35 = y*i - 146. Is i prime?
True
Let x be (8/10)/((-10)/(-25)). Is x - ((-1 - -3) + -53) composite?
False
Let b(z) = -6*z - z**2 + 1 - 3 - 4 + 0*z**2. Let k be b(-6). Is (-3)/k - 692/(-8) a prime number?
False
Is (647 - 0) + -4 + -2 prime?
True
Is (-11090)/(-30)*(0 - -3) prime?
True
Let g be (-2)/(1 + 1)*9. Let r be (-6)/g*-3 + 31. Suppose -x + r = -2. Is x prime?
True
Let x = -35 - -24. Let v be (-1)/3 - 3/(-9). Let y = v - x. Is y a composite number?
False
Suppose -3*s + 145 = -608. Is s prime?
True
Let s(x) = -2*x + 0*x + 0*x - 4*x + 7. Is s(-5) a prime number?
True
Suppose 0*j + 4*j + 3*r = 1199, -j + 3*r + 296 = 0. Is j a prime number?
False
Let r be (2/5)/(8/40). Suppose -5*t + 236 = 2*l - r*t, l = t + 113. Is l prime?
False
Let h(o) = -7*o**2 + 8*o - 1. Let t be h(8). Let v = t + 38. Let q = -220 - v. Is q composite?
False
Let d = -4 + 7. Suppose -20 = -d*y + 10. Is y composite?
True
Suppose d - 2 = x - 1, 3*d = x + 5. Let y(z) = 52*z + 1. Is y(x) composite?
False
Suppose 3*v = -v + 660. Suppose 5*k + 0*k - v = 0. Is k a prime number?
False
Let p = -224 + 428. Let h be (p/10)/((-2)/(-10)). Suppose -5*s + 21 = 2*r, -r = -5*r + 2*s + h. Is r a prime number?
True
Suppose -4*i + 40 = -4*q, -5*i + 3*i + 5*q = -35. Let o(a) = 12*a - 7. Let h be o(i). Suppose c + h + 62 = 5*l, 2*c = -5*l + 115. Is l a prime number?
True
Let g be (-6)/27 + (-210)/27. Let n(h) = h**2 + 7*h - 3. Let c be n(g). Suppose 0 = -c*u + 3*u - i + 108, 3*u + 4*i = 167. Is u composite?
False
Let c(f) = f**3 + f + 1. Let o(g) = -3*g**3 + 3*g**2 + 5*g - 2. Let k(s) = -3*c(s) + o(s). Is k(-4) a composite number?
False
Suppose z = -z + 8, 3 = -o + 2*z. Suppose -o = -3*q + 1. Suppose 3*w + q*w = 485. Is w a prime number?
True
Let o = -3 - -14. Is o prime?
True
Suppose -5*k = 3*t + 15, 4*t + 20 = 3*k - 5*k. Let p(m) = -m**2 + m + 79. Is p(k) composite?
False
Suppose -4*s + 2*s + 24 = -4*j, 0 = s - 2. Is (-267)/j - (-6)/(-15) a composite number?
False
Let j = -29 + 108. Let w = 87 - 61. Let n = j - w. Is n prime?
True
Suppose 0 = 5*k + 11 + 9. Let i(b) be the third derivative of -7*b**4/24 + 5*b**3/6 + 2*b**2. Is i(k) a composite number?
True
Let p be -106*(-1 - -2*1). Let x = 233 + p. Is x prime?
True
Is -2 + (-22)/(-8) - 16951/(-92) a composite number?
True
Suppose -j - 2*v + 3 = 0, 4*v = 4*j - 0*j - 24. Suppose j*f + 30 = 4*g + g, -2*g + 15 = -5*f. Suppose k + k - i = 25, -4*k + g*i = -65. Is k a prime number?
False
Let t be 3/12 - 438/(-8). Let x = -18 + t. Is x a composite number?
False
Suppose 4*t = 2*r - 2, 3*t + 25 = 4*r + 1. Let s(p) = 3*p**2 + 9*p + 11. Is s(r) a prime number?
False
Suppose -6 = -5*o + 4. Let b be 6/o + -1*20. Let z = 31 + b. Is z prime?
False
Let x(d) = 5*d**3 - 6*d + 8. Let s(b) = -b**3 + b**2 - 1. Let h(w) = -6*s(w) - x(w). Suppose -o + 4 = 0, -3*p - 4*o + 30 = -o. Is h(p) composite?
True
Is 2*(-4 - -281) - 1 a prime number?
False
Let y = 8 + 24. Suppose -3*x = 0, -n - 2*n + 2*x = -33. Let p = y - n. Is p a prime number?
False
Suppose -21 = -5*b - 4*x, -3*x = -2*b - 13 + 3. Let q(w) = -4*w + 1 - 66*w**2 + 2*w + 194*w**2. Is q(b) a prime number?
True
Suppose -4*g + 4*r + 769 = g, r - 475 = -3*g. Is g a prime number?
True
Let s(c) = c**3 + 5*c**2 - 9*c - 7. Let f be s(-6). Let i = -6 + 6. Suppose i = -4*m - 16, -2*l + 11 + f = 2*m. Is l a composite number?
True
Let a(x) = x**2 - 7*x - 17. Is a(-9) prime?
True
Let v be ((-30)/(-9))/(5/(-15)). Is 6/10 - 784/v composite?
False
Suppose p + 0 = 4. Suppose 5*h + 17 = -3*i, -p*i + 11 - 45 = h. Let z(r) = -r**3 - 9*r**2 - 3*r - 12. Is z(i) a composite number?
True
Let u(i) = 10*i**3 + 2*i**2 + 3*i + 1. Suppose 0*v - 8 = 4*v. Let x be u(v). Let y = x + 130. Is y prime?
True
Suppose 0*i - 6*i + 1644 = 0. Is i a prime number?
False
Suppose 0 = -w + 162 + 159. Is w composite?
True
Suppose -4*p = 227 - 47. Is (-12340)/p + (-4)/18 prime?
False
Suppose -51*m = -55*m + 676. Is m prime?
False
Let m(d) = -d**3 - 3*d**2 + 4*d + 1. Let p(i) = -i**3 + i**2 + 1. Let g(u) = -m(u) + 2*p(u). Let y be g(3). Suppose 7 + y = 2*c. Is c prime?
True
Suppose -a + 6 = 2. Let t be (-183)/(-2) + 6/a. Suppose 0 = -0*l + 3*l - t. Is l composite?
False
Suppose 4 = -3*h + 13, -4*n + 2960 = 4*h. Is n a composite number?
True
Let f = -1 - -1. Suppose 4*a - 17 + 203 = g, f = 3*g + 2*a - 516. Suppose -o - o = -g. Is o a prime number?
False
Let n(w) = -215*w - 1. Is n(-1) composite?
True
Suppose -7*i = -2*i - 1930. Is i a composite number?
True
Let x = 3 + -1. Let g = 1 + x. Suppose -15 + 45 = g*w. Is w composite?
True
Let v be 6/(-9) + 274/6. Let x = 118 + v. Is x a prime number?
True
Suppose 0 = -2*s - 3*s + 295. Let p = -112 - s. Is (-2)/(-3)*p/(-6) a prime number?
True
Let t(n) = -n - 2. Let i be t(0). Let h(c) = -38*c - 5. Is h(i) a prime number?
True
Let b = -269 + 390. Suppose w = b + 6. Suppose -2*n + 36 + 141 = 5*s, 4*n + w = 3*s. Is s a prime number?
True
Suppose 2*a - 3*a + u + 2846 = 0, 0 = 3*a + 2*u - 8523. Is a prime?
True
Let a(p) = -p**3 + 0*p**3 + 0 + 9*p**2 - 5 + 2*p. Let r be a(7). Suppose 0*v + 144 = 4*u + 4*v, 0 = -3*u - 2*v + r. Is u a prime number?
False
Let s(t) = 4*t**2 - 1. Let q be s(1). Suppose -q*z + 4 + 14 = 0. Suppose -z*u = -2*u - 148. Is u prime?
True
Is (9 - (-31550)/(-4))/(2/(-4)) prime?
False
Suppose 5*n - 610 = -5*h, 4*n + h = -2*h + 493. Is n a prime number?
True
Is 1*-1*(4 - 78) composite?
True
Suppose 0 = -v + 3*v - 3*x - 7, 5*x = -3*v + 1. Let l = -110 + 255. Let n = l - v. Is n prime?
False
Suppose -5*h - 3*i = -232, 0*h + 180 = 4*h + i. Suppose -401 - h = -5*p. Is p composite?
False
Let c(r) = 64*r**2 + 4*r - 3. Let q be -1*((-3)/3 - 1). Let u be c(q). Let o = 382 - u. Is o a prime number?
False
Let o be 6 - (-5)/(15/(-6)). Let z = 19 + o. Is z a composite number?
False
Suppose -p = -h - 1 - 0, -3*h - 2*p - 28 = 0. Let l(i) = -i**3 + 5*i + 5. Is l(h) composite?
False
Let z = -135 - -301. Is z composite?
True
Suppose 0 = -4*h - 3 + 11. Suppose -148 = -6*n + h*n. Is n prime?
True
Suppose 0 = -8*l + 2*l. Suppose -4*u = 0, 5*d + l*u - 275 = -u. Is d composite?
True
Let a = -2076 - -3670. Is a prime?
False
Let j = -19 - -20. Is j/((-168)/57 - -3) prime?
True
Suppose -5*h + 3583 = -4*c, 6 = -0*c + 2*c. Is h composite?
False
Let b(v) = v + 1. Let l be b(-1). Suppose -2*d = r - 302, r = d - l*d + 302. Suppose 5*s = 333 + r. Is s prime?
True
Let f(z) = 826*z + 2. Let n be f(-1). Let d = -453 - n. Is d composite?
True
Let u = 7 - 5. Suppose -o - u = -21. Is o a composite number?
False
Let h(m) = -m**3 + 6*m**2 - 4*m - 5. Let q(l) = -3*l**3 + l**2. Let a be q(-1). Is h(a) a prime number?
True
Let l = 602 - 178. Suppose -l = 4*i - 8*i. Suppose s + 9 = i. Is s prime?
True
Let r be -3*3/(9/2). Let t(p) = -26*p**3 - 2*p**2 - p + 1. Is t(r) prime?
False
Let h(b) = b**2 - b + 111. Is h(0) composite?
True
Suppose 0*f = f - 58. Is f a prime number?
False
Let v = 33 + 171. Suppose 5*x = 9*x - v. Is x a composite number?
True
Let u = -1 - -1. Suppose u = -6*b + 4*b - 68. Let j = b - -71. Is j composite?
False
Let l be (-1)/(-2) + (-12)/8. Let r be 2/(-3*l/6). Suppose b - r*b = -573. Is b composite?
False
Let l(c) = c - 8. Let v be l(7). Let m = -7 - v. Is (-10)/(-2) - (4 + m) a composite number?
False
Let n be (-6)/(-2)*16/(-12). Let a be (184/(-5))/n*10. Suppose a = j + 3*j. Is j composite?
False
Let a be (-6)/(-9) - (-2)/6. Is 3*a*1906/6 prime?
True
Let s(c) = c**3 - 2*c**2 + 5*c + 3. Is s(4) prime?
False
Suppose c - 60 = -2*y - c, -5*y - 4*c + 145 = 0. Let i be ((-8)/(-5))/(5/y). Let b(m) = -m**3 + 7*m**2 + 10*m - 10. Is b(i) composite?
True
Let u = 1219 + 190. Is u a composite number?
False
Let r = 322 - 3. Is r a composite number?
True
Suppose p = -2*p. Suppose 25 = 4*a + 9, p = 3*h - 5*a - 985. Is h prime?
False
Suppose 0 = 2*g, -2*i = -0*i + 3*g - 6. Suppose v - i = -c + 3, -5*v = 4*c - 27. Suppose 4*l = 5*z - 69, -z - l = v*z - 51. Is z a prime number?
True
Suppose -2*v - 145 = -3*v. Is v a prime number?
False
Let m be ((-9)/(-2) - 1)*2. Let r = 134 - 50. Suppose -r = 3*u - m*u. Is u a prime number?
False
Sup