*2 - 5*a - 3. Let t be x(-3). Let o = t - -74. Is o a composite number?
False
Suppose 15*j = 11*j + 844. Is j composite?
False
Suppose 0*t - 25 = 5*t. Let x(g) be the third derivative of g**5/60 + g**4/12 - 5*g**3/6 + 15*g**2. Is x(t) composite?
True
Let p be 2*(2 + (-2 - -1)). Suppose 3*o - 81 = -2*z, -6*z - p*o = -2*z - 174. Suppose -3*g + z = 2*g. Is g a composite number?
True
Suppose 2*z + 12 = 5*i, -2*i = 5*z - 4*z - 12. Is (-375)/(-3) + -2 + i prime?
True
Let o(l) = -37*l**3 + 14*l**2 - 17*l - 20. Let g(r) = -12*r**3 + 5*r**2 - 6*r - 7. Let y(p) = 17*g(p) - 6*o(p). Let f = -2 - -4. Is y(f) a composite number?
False
Let l(p) = -3*p + 23. Let a be l(7). Suppose a*h - 157 = 225. Is h a composite number?
False
Suppose -3*d - 407 = -2*b, 242 + 200 = 2*b + 4*d. Is b a prime number?
True
Suppose -4*c = -j - 76, -4*j - j = -5*c + 110. Let s = 31 + c. Is s + -1 + (-6)/(-2) prime?
False
Suppose 0 = -3*i + 7 - 1, -4*i + 10 = g. Let h(p) = 5*p - 5*p + 1 + 5*p**g + 9*p. Is h(-6) prime?
True
Let t be (-1 - 2 - -2)/(-1). Is t/2 + (-765)/(-10) composite?
True
Let z = 305 - 94. Is z composite?
False
Let i = -1917 + 4070. Is i a prime number?
True
Suppose 3*n = 4*n - 45. Suppose -2*o + 2 = 4, 0 = 5*j + 4*o - 6. Suppose -j = -a + n. Is a a prime number?
True
Let w(o) = -o**3 + 8*o**2 - 8*o + 8. Let a be w(7). Let k = 1 - a. Is k/6 - (-1 - 78) a composite number?
False
Let f(n) be the first derivative of -n**4/4 - 2*n**3/3 + 2*n**2 - 2*n + 1. Suppose 0*t = 2*t + 10. Is f(t) a prime number?
True
Suppose -4*w + 256 = 4*k, 5*k - 5*w - 558 + 198 = 0. Is (-11)/(200/k + -3) a prime number?
False
Suppose 0 = -5*a + 4*b + 1659, -4*a - 120 = -4*b - 1444. Is a a prime number?
False
Suppose -2*a = q - 133, a = 2*q - 139 - 112. Is q composite?
False
Is (-660)/18*(-6)/4 prime?
False
Suppose 2*t - 3*f = 12, -2*f + 5*f = -2*t - 12. Is 31 + (2 - t)*1 composite?
True
Is (15/20)/(3/372) prime?
False
Let d be ((-3)/9)/(2/(-48)). Let r(o) = 67*o + 17. Is r(d) composite?
True
Suppose v - 2*v - m = -7, 5*v - m = 65. Suppose 8*q = v*q - 92. Is q a composite number?
False
Let d(m) = 5*m**2 + 6*m + 13. Let c(f) be the second derivative of f**4/12 + f**2/2 - f. Let z(q) = -6*c(q) + d(q). Is z(6) a prime number?
True
Let w(i) = 12*i - 2. Let q(v) = 2*v**2 - 3*v. Let f(c) = -c**3 + 6*c**2 - 5*c + 2. Let s be f(5). Let o be q(s). Is w(o) prime?
False
Let a be (-2)/(-10) - (-14)/5. Suppose -3*l - 3*h = 18, -5*l - a*h + 0*h - 22 = 0. Let s = l - -23. Is s composite?
True
Let j = 484 + 409. Is j a composite number?
True
Suppose -5*q + 2*z = 0, -q + 2*z + 3*z = 23. Suppose 0 = -4*a - 0*a, -q*s = -a - 182. Is s a composite number?
True
Is (-12)/(-18) + (-238)/(-3) - 1 a prime number?
True
Suppose t = 5*p - 92, -2*p = 3*t - 5*t - 144. Let x = t - -20. Let s = -22 - x. Is s composite?
True
Let c be -2 + 255/(9/3). Suppose d - 4*l - c = 0, -2*d + 4*d - 153 = -5*l. Is d a composite number?
False
Suppose 5*f + 0*f = -4*g - 4, 2*f + 28 = 5*g. Let a = f - -8. Suppose 2*h = -3*j + 175, 4*j - 127 = -a*h + 113. Is j composite?
True
Let b(n) = -140*n**3 - 2*n**2 - n + 3. Is b(-2) a prime number?
True
Suppose b - 2*b = -59. Let p = 88 - b. Suppose 0 = 2*k - 4, 0*q + 3*q + 4*k - p = 0. Is q a prime number?
True
Suppose 9*a - 5*a = 4388. Is a a composite number?
False
Let c(u) be the first derivative of -23*u**2/2 + 6*u - 3. Is c(-5) composite?
True
Suppose 0 = 2*s + 3*k - 169, -405 = -5*s - k - 3*k. Is s composite?
True
Let v(z) be the first derivative of z**6/120 + 3*z**5/40 + z**4/24 + z**3 + 1. Let w(r) be the third derivative of v(r). Is w(-9) a composite number?
False
Suppose -2*z - 1 + 11 = 2*l, 2*z - 4 = l. Suppose -54 = z*t - 168. Let m = -23 + t. Is m a prime number?
False
Let b(d) = -3141*d. Let n be b(-2). Is n/66 - (-4)/(-22) prime?
False
Suppose -3*z + 0*z = -2*f + 2800, 4*z + 5*f = -3718. Let b = z + 1306. Let u = -259 + b. Is u a composite number?
True
Let g(v) be the second derivative of 9*v**4/2 + v**2/2 - v. Is g(1) a prime number?
False
Let v be ((-7)/21)/(2/(-4386)). Suppose 0 = -3*q + v + 382. Is q a composite number?
True
Suppose -5*x + 163 = -4*q - 0*q, 0 = -2*x - q + 60. Suppose 57 - 20 = 3*r - 4*o, -2*o + x = 3*r. Is r prime?
True
Is -5*359*-1 + (2 - 4) a prime number?
False
Suppose -3*f + 276 = 2*i, 0 = -2*f + 2*i + 295 - 101. Is f a prime number?
False
Let d(r) = -4*r**3 - 4*r**2 - 3*r - 5. Is d(-4) prime?
True
Let o = -16 + 47. Suppose 0 = 3*t + 5*m - o, -2*m + m = -4*t + 3. Suppose -t*v = -5*b - 3*v + 130, -2*b + v = -45. Is b a composite number?
True
Let s be 3/(1 - 4)*0. Suppose 5*z = 3*h - 9, 5*h + 4*z + 22 = -s*z. Is 2 - -125*(-2)/h composite?
False
Let c be (-5148)/(-20) + (-2)/5. Let h = -160 + c. Is h a composite number?
False
Let w = 4 - 1. Suppose n + w*n = 8. Suppose 5*c - n*c + 12 = 3*g, 0 = -4*g + 5*c + 14. Is g a prime number?
False
Let l(u) = -u - 470. Let y(z) = z + 471. Let r(g) = -4*l(g) - 3*y(g). Is r(0) prime?
True
Let z(r) = -5*r**3 + r**2 - 1. Let o be z(-1). Suppose 5*p + o*b = 1470, -p + b + 292 = -0*b. Is p prime?
True
Let j(b) = 2*b + 3. Is j(5) a composite number?
False
Suppose z + 3*d = 529, z + 2*z - 4*d - 1639 = 0. Is z a composite number?
False
Suppose 5*z + 47 = -3*f, 2*f - 15 - 12 = 5*z. Let w = 10 + z. Let x(d) = d**3 + d**2 - d + 4. Is x(w) composite?
False
Let i(b) = 43*b - 2. Is i(3) a composite number?
False
Let b(d) = d - 5. Let w be b(7). Suppose -w*v = 2*v. Suppose 3*c - 4*f - 235 = v, 3*f = 3*c - 2*f - 236. Is c prime?
False
Suppose 2*f = -3*f - 180. Let h be ((-218)/(-3))/(40/(-420)). Is h/(-6) + 6/f prime?
True
Let d(s) = -2*s**3 + s**3 - 4 + 2*s**3 - 3*s + 3*s**2. Let b be d(-4). Let x = b - -103. Is x a composite number?
True
Let d = -2 + -1. Is (2 - 1)/(d/(-213)) composite?
False
Suppose -2*g - g + 5*l = -447, 4*l + 447 = 3*g. Is g prime?
True
Let n(p) = 4*p**2 + 9*p - 14. Is n(-12) a composite number?
True
Let h = 2 - -5. Let c(o) = 11*o + 9*o - 8 - 11*o + 4*o. Is c(h) prime?
True
Is (19 + 0)/(-3 + 0 - -4) a prime number?
True
Suppose -s + 2*v = 4*v - 9, 8 = 4*s + v. Suppose 4*c + 4*p - 32 = 0, s = -2*c + 4*c - 3*p. Suppose -7*m = -2*m - 25, -4*w + 171 = -c*m. Is w prime?
False
Let f = 255 - 176. Is f a composite number?
False
Let j = 3 + -1. Suppose -n + 2*n + j = 0. Is (125/10)/((-1)/n) a composite number?
True
Let t(c) = 4*c**2 - 13*c + 4. Let f(u) = 26*u - 2*u**2 - u**2 - u**2 - 9 - 5*u**2. Let j(l) = -6*f(l) - 13*t(l). Is j(-9) a composite number?
False
Let y = 2 + 0. Suppose 2*m - 47 = -t, -y*m + t + 4*t = -41. Is m composite?
False
Let n(s) = -s**2 + 8*s - 7. Let m be n(6). Suppose 0 = -m*c + 5*j + 5, c - 1 = -5*j + 18. Suppose c*o - 4 - 120 = 0. Is o a prime number?
True
Let j = 544 - 240. Suppose 10 + j = 2*p. Is p a composite number?
False
Suppose 0 = -4*z - 2*i, 2*z - 4*i = -0*z + 20. Suppose -z*w = -6*w + 148. Is w a prime number?
True
Let h be (4/6)/(3/9). Let w be 280/(-12)*(-9)/h. Let k = w + -56. Is k a prime number?
False
Let m be 6/4*2344/12. Is m + 5 + -2 + -3 prime?
True
Let d(z) be the second derivative of z**3/6 + 19*z**2/2 + 3*z. Is d(0) a composite number?
False
Let t be 55/5*(-201)/(-3). Suppose -5*i = -4*h - t, 0*i = 4*i + 5*h - 606. Is i prime?
True
Let o = 1683 - 886. Is o a composite number?
False
Suppose -3*j + 172 = -713. Suppose k - j = -4*k. Is k prime?
True
Let z(l) = -l**3 + 6*l**2 + 2. Suppose y - 3 = 3. Is z(y) composite?
False
Let w(o) = -o + 2*o + 4*o + 3 - o. Is w(4) prime?
True
Suppose 3*a + 2*c = -2*c + 389, 4*a = -3*c + 514. Is a a composite number?
False
Suppose 19*m - 15*m - 1028 = 0. Is m a composite number?
False
Suppose -3*c + 34 = -893. Is c/15 - (-4)/10 prime?
False
Let m(v) = 222*v**2 + 1. Is m(-1) prime?
True
Suppose -a + 2*o + 1087 = 0, -4*o = -a + 180 + 907. Is a a prime number?
True
Suppose -1 = -3*g + 2. Suppose -2 = -v + 3. Suppose v*j + g = 96. Is j prime?
True
Suppose 1473 = -0*i + 3*i. Is i a prime number?
True
Suppose 2*j + 0*j = 0. Suppose j*i = -i + 65. Is i a prime number?
False
Suppose a - 3 = -0*a. Suppose 0 = x - 3*g - 3, -17 = -a*x + 3*g + 2*g. Is x a prime number?
False
Suppose 691 = 4*l - p - 601, -1615 = -5*l + 5*p. Is l prime?
False
Let b = 2325 - 1634. Is b a prime number?
True
Let p(r) = 19*r**2 + 0*r + 0*r. Let l(m) = m + 9. Let a be l(-8). Is p(a) a