- 10*c + 7318. Is c prime?
True
Suppose -4*l + 3*l = 1. Is (-79)/(2/(2/l)) a composite number?
False
Let q(l) = 231*l**3 - 3*l**2 - 11*l + 14. Let j(k) = 77*k**3 - k**2 - 4*k + 5. Let d(f) = 11*j(f) - 4*q(f). Is d(-1) prime?
False
Let i(x) be the first derivative of x**3 - x**2 - 2*x - 2. Is i(6) a prime number?
False
Suppose -16 = 5*s + 4. Let k = s + 7. Suppose -k*v + 2*v + 21 = 0. Is v a prime number?
False
Let k be (114/15)/((-2)/(-5)). Let o(c) = c**2 - 8*c + k - 16 - 2*c**2. Is o(-4) composite?
False
Let m(w) = -w + w**2 + 2*w**2 - 4 + 3. Let z be m(-1). Is (-195)/(-9) - 2/z prime?
False
Let g = 19 + -22. Is 211/g*-3*1 composite?
False
Let v(t) = -t**2 + 6*t - 3. Let d be v(4). Suppose -q - q + 257 = r, 0 = -2*r - q + 514. Suppose 3*i - r = d*g, -3*i + 93 = -2*i + 2*g. Is i a composite number?
False
Let q(u) = -9*u**3 + 5*u**2 - 16*u + 11. Is q(-7) composite?
True
Let d(w) = 7*w - 4. Let m be d(6). Let l be (-4 + 5 + -332)/(-1). Suppose l = 4*u + 3*s, 3*s - m + 339 = 4*u. Is u a composite number?
False
Suppose -2*w - 3*w - 4*f + 7 = 0, 0 = 4*w + f - 10. Let y = 11 - 6. Suppose o = -y*g + 324, -w*o = -3*g + 8*g - 322. Is g composite?
True
Let u(v) = -9*v**3 - v**2 + 2*v + 1. Let w be u(-2). Suppose -s - 70 = -4*q + 69, -2*q + w = s. Is q a prime number?
False
Suppose 5*x + 83 = 313. Is x a prime number?
False
Let u = 641 - 260. Is u composite?
True
Suppose -4*u - n + 6 + 0 = 0, 3*n = -6. Suppose -u*y = -0*y - 420. Let r = 469 - y. Is r a prime number?
False
Suppose -2*k = -2 - 8. Suppose 74 = 2*a + k*o, -4*a + o + 239 = a. Is a a prime number?
True
Let h(m) = m**3 - 6*m**2 + 2*m + 3. Let k be h(3). Is (-609)/k + (-2)/(-12) composite?
True
Let k = -118 - -455. Is k a prime number?
True
Let x(v) = 2*v - 6. Let r be x(4). Let b be 1 + -6 + r/2. Let q = b + 18. Is q prime?
False
Let b(o) be the second derivative of o**4/12 - o**3/2 - 9*o**2/2 + 8*o. Is b(-10) a prime number?
False
Let i = 89 + 209. Is i composite?
True
Let v be 34/(-6) + 4/6. Let s(b) = 12*b + 2. Let t(a) = -49*a - 7. Let r(c) = -9*s(c) - 2*t(c). Is r(v) a prime number?
False
Let j = 373 + 66. Is j a composite number?
False
Suppose c - 18 = 4*u, c = -u - 4 + 2. Let r(z) = -2*z - 2*z + 0*z**3 - 6*z**2 + z**3 - c. Is r(7) composite?
False
Is (-3*136/(-36))/((-4)/(-174)) prime?
False
Let y(w) = 1 - 3 + 10 + w**3 + 7*w**2. Let i be y(-6). Suppose c - 3*c = -i. Is c a prime number?
False
Let z = 2963 - 1486. Is z composite?
True
Suppose 4*h + b - 415 = -2*b, -3*b - 203 = -2*h. Is h a composite number?
False
Suppose -p + 0*z = -2*z - 8, -4*p = -4*z - 28. Suppose x - p = 28. Is x a prime number?
False
Let w = -2 - -2. Let h be (w*(-3 - -2))/(-2). Suppose h = -3*v - m + 60, 2*m - 101 = -7*v + 2*v. Is v prime?
True
Suppose -3*y = -16 + 4. Suppose y - 20 = -4*x. Is x a composite number?
True
Suppose 2*b = -4*k - 24, 0 = 5*b - 4*k - 10. Let h = b - -25. Is h a prime number?
True
Suppose -4*l + 13057 = -699. Is l a composite number?
True
Suppose -3*y + 0*y + 618 = 0. Let o = y + -137. Is o composite?
True
Suppose -6 = 2*o - 0. Let g be (3/2)/(o/(-10)). Suppose 2*m + 3 = 3*m, -338 = -g*h - m. Is h prime?
True
Let g = 135 - 93. Let m = 16 - 10. Suppose -3*a = -m*a + g. Is a a composite number?
True
Suppose 109 = -b + 2*b. Is b composite?
False
Is (-1 - 190)/(-12 - -11) composite?
False
Let v(b) = b**3 + b**2 - 4*b + 3. Let t be v(5). Let i be 0/(-2 + -1 + 1). Is t + i/((-2)/(-1)) composite?
True
Let r = 2598 - 1827. Is r a composite number?
True
Let f = 0 - -4. Suppose 0 = f*j - 4*u + 524, -2*u - u = 5*j + 623. Let b = -88 - j. Is b composite?
True
Let f be (12/6)/((-2)/(-4)). Suppose 51 = f*j - 9. Suppose 2*w - j = -3*w. Is w a prime number?
True
Suppose 4*h + 0*h = 0. Suppose h = b + 2*x - 121, -b - 2*x + 375 = 2*b. Suppose -4*f + b = -93. Is f a composite number?
True
Let x(v) = v**3 + 9*v**2 + 8*v + 7. Let m = -7 - 0. Let b be x(m). Suppose 66 = 5*k - b. Is k a composite number?
False
Let z(o) = o**3 + 3*o**2 - 6*o - 6. Let q be z(-4). Suppose -4*w - p + 103 = -0*p, -q*p - 94 = -4*w. Suppose -w = -a + 6. Is a a prime number?
True
Let o = -23 - -30. Is o prime?
True
Let x = -35 + 56. Is 514/6 - 14/x a composite number?
True
Suppose -261 = -4*a - g, -3*g - 8 - 1 = 0. Let f = a - 37. Let x = -15 + f. Is x composite?
True
Let v(x) = -x**3 + 2*x**2 + x - 2. Let m be v(-3). Suppose -5*c + 145 = -m. Is c a composite number?
False
Let u(p) = 8*p - 2. Is u(2) a prime number?
False
Let k be (-105)/(-12) - 2/(-8). Is 10/2*(k + 2) composite?
True
Let r be 77*5/(35/6). Suppose -r = 5*h - 981. Let i = h + 26. Is i a composite number?
True
Suppose 3945 = q + 2*i, i - 7781 = -4*q + 8006. Is q prime?
True
Let c(w) = 6*w**3 - w - 2. Let o(k) = 5*k**3 - k - 1. Let l(t) = 2*c(t) - 3*o(t). Let a = 4 + -6. Is l(a) a prime number?
False
Let w(f) be the third derivative of -f**4/24 - f**3/6 + 2*f**2. Let i be w(-2). Is 89/(-4)*i*-4 prime?
True
Suppose 0 = 2*x - 4*x + 24. Suppose 3*s = -c - 2 + 10, 4*s = -2*c + x. Is -14*(-15)/12*c composite?
True
Let a = -55 - -168. Is a a prime number?
True
Let w(o) = 2*o - 9. Let g be w(7). Suppose 0 = g*v + 4*t - 166, -v - 35 = -2*v + t. Is v composite?
True
Let g = 145 + 33. Is g a prime number?
False
Suppose n = 4*n - 18. Suppose -n*p + 25 = -p. Suppose -3*i + 47 = p*c, -2*i = 2*i + 3*c - 59. Is i composite?
True
Let s(c) = 744*c - 2. Let o be s(1). Is o/(-6)*(-4 + 1) composite?
True
Let f = 6 + -4. Let m be 1/(2/(-6)) + f. Is (m + 2)/((-3)/(-63)) composite?
True
Let d = -1 + 6. Let l(a) = 5*a**2 - 3*a + 3. Is l(d) a composite number?
False
Let p = 0 - -5. Suppose 3*q - 331 = -d - 4*d, -4*q - p*d + 443 = 0. Suppose s + 2*s - 6 = 0, 0 = -4*c - 4*s + q. Is c a composite number?
True
Let w(o) be the first derivative of 31*o**4/12 - o**3/2 - 3*o**2/2 - 3*o + 3. Let b(r) be the first derivative of w(r). Is b(-2) a prime number?
True
Is 1/(-3) + 84680/87 prime?
False
Suppose 3*f + 1748 = 7*f. Is f prime?
False
Suppose -3*w + t + 14 = w, -8 = -3*w + 2*t. Suppose 2*s = 5*s - c - 791, w*c = s - 271. Is s prime?
True
Let j(d) = d**2 + 5*d + 6. Let y be j(-5). Suppose -2*i = -3*f, 2*i - 5*f + 22 = y*i. Suppose i*t = -0*t + 21. Is t a composite number?
False
Suppose -4*m + 137 + 95 = 0. Suppose 2*v - 52 - m = 0. Is v a prime number?
False
Let k(x) = -2*x - 26. Let l be k(-11). Is l - (-187 + -1) - -3 a prime number?
False
Let s(j) = -j**3 - 8*j**2 - 8*j - 8. Let p be s(-7). Let k(b) = -21*b**2 - 4*b - 5. Let i(y) = y**2 - y - 1. Let q(d) = p*k(d) + 5*i(d). Is q(1) a prime number?
False
Suppose 0 = 4*t - 16, -3*t = -4*c - 0*t + 8. Suppose 2*x + 4*v = c*x - 422, 5*x + 3*v = 655. Is x a composite number?
True
Is (471/6)/(4/8) composite?
False
Let c = -46 - -96. Suppose 3*q - c = q. Is q a prime number?
False
Suppose 3 = 5*n - 17, 0 = -3*h - 5*n + 242. Is h composite?
True
Let v(p) = -p**2 - 27*p - 17. Let t(k) = -2*k**2 - 27*k - 16. Let n(m) = 2*t(m) - 3*v(m). Is n(14) prime?
False
Let s = -6 - -13. Let w(x) = -4*x**3 + 2*x**2 - 12*x + 3. Let f(b) = -7*b**3 + 5*b**2 - 23*b + 5. Let i(k) = -3*f(k) + 5*w(k). Is i(s) composite?
True
Suppose -2*a + 445 = 3*a. Is a a prime number?
True
Let f(i) = 380*i**2 + 3*i - 2. Is f(1) prime?
False
Let a(n) = -2*n**3 - 4*n**2 + 5*n + 2. Is a(-4) a prime number?
False
Suppose -4*c = -5*r - 6, c + 10 = 3*r + 2*c. Suppose -6*g + r*g + 204 = -2*l, l + 255 = 5*g. Is g a prime number?
False
Let h be 1/(-2 - 9/(-6)). Is (-237)/(-2) + 1/h prime?
False
Suppose -c - 86 = -5*f, -4*c + 68 = 2*f + 346. Let g be (0/(-2) - -17)*6. Let i = c + g. Is i composite?
False
Let m(t) = -6*t**2 - 4*t - 2*t**3 + 9*t**2 + t**3 + 3*t + 6. Is m(-5) composite?
False
Let u = -612 + 1035. Suppose -4*j + u + 29 = 0. Is j a prime number?
True
Let o(g) = -142*g - 19. Is o(-8) prime?
True
Let m = -49 - -31. Is 950/18 - 4/m composite?
False
Suppose 4*a = 2*y + 8, 3*y - a = -3*a + 4. Suppose y = 4*u - 828 - 232. Is u a prime number?
False
Suppose 0 = -2*p, b + 8*p = 4*p + 223. Is b a composite number?
False
Let z = -653 + 3144. Is z a composite number?
True
Let h = 124 + -65. Let b = h - -128. Is b a composite number?
True
Let w be (-1 + 3/(-3))/(-1). Suppose w*y = 7*y - 155. Suppose 4*d - 3*d - y = 0. Is d prime?
True
Let w be (-208)/(-1) - -3 - -3. Suppose 4 = -s + 6. Is w/10 - s/5