er?
True
Let o = -1188 - -2065. Is o prime?
True
Suppose 5*v + 26 = 6. Is 19*-1*v/4 prime?
True
Let c = 17 + -7. Suppose 2 = -3*k - 4*j + c, -k = -j - 5. Suppose -k*r + 74 = b, -2*b - 4 = -0. Is r composite?
False
Suppose -m + 233 = -4*n, -172 = 3*n - 0*m + 2*m. Let h = n + 106. Suppose -h = -4*y + 2*i, -y + 2*i = i - 13. Is y a composite number?
False
Is 3 - 0 - -4*2*14 a composite number?
True
Let c be (12/(-10))/(33/(-550)). Let k = c + 11. Is k prime?
True
Let s be ((-12)/9 - 0)*-9. Suppose 0 = 3*p + s + 60. Is 7*4*(-18)/p prime?
False
Suppose 0 = 3*z - f - 26, -3*f + 18 = -z + 4*z. Let c(v) be the first derivative of -v**4/4 + 3*v**3 - 3*v**2 + 3*v + 1. Is c(z) composite?
False
Suppose 0 = 4*k + 2*k - 4782. Is k composite?
False
Is ((-89)/2)/((-4)/56) prime?
False
Suppose -5*i = -3*t - 6*i + 15295, -3*i = -5*t + 25501. Is t prime?
True
Let j = -18 + 14. Is j/(-4) - (-84 + 0) prime?
False
Let u(a) = a**2 + a - 3. Suppose -3 = -3*g + 18. Is u(g) a composite number?
False
Suppose -4 = -l - 3*p, 3*l - 5*p + p - 25 = 0. Suppose -9 = u + l. Let m = u - -47. Is m a composite number?
False
Suppose 3*j = -2*n - 16, -2*n - 8 + 0 = -j. Let y(g) = -18*g + 3. Let m be y(n). Is 2*3/3 + m prime?
False
Let i = 619 + -324. Is i a prime number?
False
Let p be -10*((-4)/(-2))/2. Let i be ((-12)/15)/(4/p). Suppose 0*u - 382 = -i*t - 5*u, 0 = -5*u. Is t prime?
True
Suppose 78 = w + 4*w + 4*y, -62 = -4*w - 3*y. Suppose 5*x = w + 421. Is x prime?
False
Let d(c) be the second derivative of -c**4/12 - 7*c**3/6 + 2*c**2 + c. Let t = 10 + -16. Is d(t) a composite number?
True
Let t be 531/(-12) + 6/(-8). Let c = t + 282. Suppose c = 2*p + p. Is p a prime number?
True
Let q(l) = 10*l. Let b be q(1). Let c = 8 + b. Suppose c - 6 = 4*p. Is p a prime number?
True
Let a(w) = -7*w - 10. Let m be (-3)/(14/6 - 2). Is a(m) a prime number?
True
Suppose -3*k = v + 2*k + 10, -k = v + 2. Suppose -c - 8 = -5*h + 13, 4*c - 2*h - 6 = v. Suppose 5*f = c*n + n + 200, -5*f + 4*n = -197. Is f a prime number?
True
Let h be ((-8)/(-10))/((-4)/(-10)). Is 71 + (h - 6 - -2) composite?
True
Let j be (2/2)/(7/14). Suppose 307 = 4*r + g, -j*r - 2*g + 88 + 58 = 0. Let f = 167 - r. Is f a composite number?
False
Let x(g) = 110*g + 3. Let n(z) = -1. Let o(s) = 6*n(s) + x(s). Is o(2) a composite number?
True
Suppose -3*p - 14 = -2*p + 3*g, 2*g = -4*p - 16. Let m be 2/(p/61)*-5. Suppose 5*s + 40 = m. Is s composite?
False
Suppose -2*u = -13*u + 5863. Is u a composite number?
True
Let l = -661 + 1158. Is l composite?
True
Let w(o) = -o**2 + 5*o**2 + o - 2*o**2. Let l be w(5). Suppose -16 = 3*u - l. Is u prime?
True
Suppose a + 0*a = 677. Is a a prime number?
True
Let r = -63 - -140. Is r a prime number?
False
Let c = 281 + -118. Is c a prime number?
True
Suppose 9*q - 10 = 4*q. Let s = 0 - q. Let u(x) = 30*x**2 + 3*x + 1. Is u(s) composite?
True
Suppose -4*o - 2*b = -3 - 19, 0 = 4*o + 3*b - 25. Let a be o/18 - (-2)/(-9). Suppose 2*n + 0*n - 46 = a. Is n a composite number?
False
Let w(v) = v**3 + 23*v**2 + 18*v - 25. Is w(-17) a prime number?
False
Let v be (0 + 11/(-3))*3. Let x(y) = 3*y**2 - 10*y - 6. Is x(v) a prime number?
True
Let o(q) = -68*q + 1. Suppose -7*v - 16 = -3*v. Let y = v - -3. Is o(y) a prime number?
False
Let p(n) = -2 - 1 + 19*n + n. Let h = 0 + 4. Is p(h) a prime number?
False
Suppose 3*x - 2*x = 683. Is x a composite number?
False
Let g(x) = -x**2 + 3*x + 6. Let c be g(5). Is c/6*2226/(-4) prime?
False
Suppose 5*m - 2*t + 19 = -5*t, -6 = 2*t. Let s(z) = -31*z - 5. Let r(y) = 63*y + 11. Let o(f) = 2*r(f) + 5*s(f). Is o(m) a composite number?
True
Let h(y) = 14*y**2 - 16*y + 9. Is h(7) prime?
False
Let g(a) = -a**2 + 9*a + 4. Let b be g(10). Suppose 2*u - 4 = 26. Let h = u - b. Is h a prime number?
False
Let o(m) = m**3 - 7*m**2 + 3. Let c be o(7). Suppose 70 = c*q - 311. Is q composite?
False
Suppose -2*l - 3*s + 883 = 0, 2*s = -3*l + 4*s + 1331. Is l a composite number?
False
Suppose 3*i + 2*g - 14 = -2*g, 0 = 5*g - 10. Suppose w - 6 = 4*w, 10 = i*z - 5*w. Suppose 3*k - 68 - 91 = z. Is k a prime number?
True
Suppose -1175 = -7*o + 134. Is o a composite number?
True
Let r(j) = -2*j - 2. Let x be r(-6). Let f = x + -6. Suppose b + f = 2*q, 3*q + 10 = 8*q + 3*b. Is q prime?
True
Suppose -4*d + 1 + 3 = 0. Suppose y + 3*t - 4 = d, -5*y - 5*t + 25 = 0. Suppose 0 = y*m - 216 + 61. Is m prime?
True
Let y(v) = v**3 + v**2 - 2*v. Let n be y(-2). Suppose -3*r + 597 = -n*r. Is r composite?
False
Let x = 8 + -8. Suppose x = -g + 3 + 3. Is (160 - 2) + g/2 a composite number?
True
Let g = 73 + -18. Is g prime?
False
Suppose 0 = -5*k + 1870 + 3095. Is k composite?
True
Let x(k) = k**3 + k - 1. Let s(d) = 6*d**3 + 6*d**2 + 11*d. Let i(t) = t**3 - 7*t**2 + t - 6. Let v be i(7). Let n(w) = v*s(w) - 5*x(w). Is n(-4) prime?
True
Let f(v) = 7*v - 4. Let i(k) = -k - 1. Let n(p) = f(p) - 2*i(p). Is n(5) a composite number?
False
Let s(a) = 6 - 5 + 10 + a. Let z be s(-10). Is (2/(-6))/(z/(-45)) composite?
True
Let g = 8 - -1. Suppose -g*l + 70 = -4*l. Is l prime?
False
Let c be (2/3 + -1)*-9. Suppose -x - c*s = -184, 5*s + 228 = 3*x - 254. Let z = x - 102. Is z a composite number?
False
Is 2/(-9) + 7222/18 a composite number?
False
Suppose 0 = -0*r + 3*r - 12. Suppose i + 759 = r*i. Is i a prime number?
False
Suppose 15 = 2*d + d. Is 10/d*(0 + 2) prime?
False
Let z(h) = 2*h**3 - 7*h**2 - 6*h - h**3 - 6 + 2*h**2 - 4. Is z(7) composite?
True
Let d(p) = 2*p**2 + 3*p - 1. Is d(-5) a composite number?
True
Let i(b) = 3*b**2 + 7*b - 4. Let y(c) = -10*c**2 - 22*c + 13. Let l(n) = -7*i(n) - 2*y(n). Let f = 7 + -11. Is l(f) a composite number?
True
Let g be 0/1 - (-4)/(-1). Is 2 + (-2 - (1 + g)) composite?
False
Suppose -2*h - 4*i = -630, -2 = -2*i + 3*i. Is h a prime number?
False
Let s be (-1448)/(-12)*(-18)/4. Let q = -822 - s. Is (-2)/3*q/6 a prime number?
True
Let j = 3 + -1. Is j/(4*1/262) composite?
False
Let t be (-153)/2*4/(-6). Let h = t - 20. Is h composite?
False
Suppose 0 = 2*x, -3*x = -5*r - 736 + 296. Let n = r + 339. Is n a composite number?
False
Let l(f) = -2*f**3 + f**2 + 2*f + 1. Let p be l(-1). Suppose -p*j + 362 = -5*i, 3*j - 3*i = 4*j - 203. Is j a composite number?
False
Suppose 6*o + 17 = l + 3*o, 2*l - 4*o - 40 = 0. Let d be (-2)/(-7) - l/(-7). Suppose d = h + 3*w, 5*w = -h - 2 + 4. Is h a prime number?
True
Suppose -18 = 3*f + 33. Let l be ((-4)/2)/((-2)/(-86)). Let j = f - l. Is j composite?
True
Is 18/54 + (-1 - 5830/(-6)) a composite number?
False
Let h(r) = 2*r**2 - r + 1. Let o(u) = 3*u - 10. Let t(n) = -13*n + 41. Let k(i) = -9*o(i) - 2*t(i). Let d be k(7). Is h(d) a composite number?
False
Suppose -3*d - 15 = 0, -2*v + 7*v - 1300 = d. Is v a composite number?
True
Let x(u) be the second derivative of -5*u**3/2 + 5*u**2/2 - 6*u. Is x(-10) prime?
False
Suppose v - 62 = 13. Let d = 109 - v. Is d prime?
False
Let s be (-144)/(-60) - (-4)/(-10). Suppose 4*q + 2*j - 680 = -0*j, -3*q - 4*j + 505 = 0. Suppose q = s*a - d, -d - d + 73 = a. Is a composite?
False
Let a(v) be the first derivative of v**3/3 - 9*v**2/2 - 15*v - 3. Is a(12) composite?
True
Is -2 - ((-1)/(-3) - 20348/6) composite?
False
Suppose 9102 = 4*l - 16294. Is l prime?
False
Let d be -2*2*(-3)/(-4). Let p(z) = z**3 + 5 - 6 - 3*z + 3*z**2 - z - 2. Is p(d) prime?
False
Let y(a) = -a**3 + 4*a**2 - 5*a + 4. Let q be y(3). Let g(s) = -5*s - 4. Is g(q) prime?
False
Let x(j) = -47*j - 3. Let a(o) = 94*o + 5. Let p(u) = -3*a(u) - 7*x(u). Is p(7) composite?
True
Is (1262/(-8) + 2)*1*-4 a composite number?
True
Suppose 2*d = 2*o + 20, 3*d - 7*o = -3*o + 30. Let f(p) = p - 4. Let w be f(d). Let s = 33 + w. Is s composite?
True
Let p(z) = -130*z - 3. Suppose -10*v - 4 = -6*v. Is p(v) a composite number?
False
Let n be (-2)/(-8) - 1413/(-12). Let d = n - 60. Is d a composite number?
True
Let u be (-12)/(-4 + 2) - 2. Suppose 3*n - 4*n + 4 = 0, f = u*n - 11. Suppose f*l - 290 = 95. Is l a composite number?
True
Suppose 4*c - 1646 + 8671 = 5*d, c = -3*d + 4215. Is d prime?
False
Let s = 436 + -213. Is s composite?
False
Let z = 1 - 0. Let t be (-2 + 1)*0*z. Suppose t = -d + 2*q + 32 + 45, -4*d + 2*q + 314 = 0. Is d prime?
True
Let o(l) = 47*l. Is o(7) a prime number?
False
Suppose 5*o + 3*j - 25 = 0, 4*o - 3*j = -o - 5. Suppose c