mposite?
True
Let i(h) = -65*h - 9. Let z be i(-11). Suppose 5*j = 7*j - z. Is j prime?
True
Let i(m) = -286*m + 5. Is i(-3) prime?
True
Let i = 906 - 506. Let b = i + -283. Suppose -10*a = -7*a - b. Is a a prime number?
False
Let s = 291 - 161. Suppose -h + 3*h - s = 0. Is h a composite number?
True
Suppose 2*h = 120 + 1478. Is h composite?
True
Let s(f) be the third derivative of -f**6/15 - f**4/12 - f**3/6 - 2*f**2. Is s(-2) a composite number?
False
Let x(v) = 8*v**3 - v**2 - 7*v + 4. Let m be x(4). Is 0 - (m/(-2) + 3) a prime number?
True
Suppose 0 = -86*g + 87*g - 411. Is g a composite number?
True
Suppose -2*a + 105 = 4*f + f, -f - a = -24. Is f composite?
False
Let o(x) = 4*x + 3. Is o(7) a composite number?
False
Let w(n) = n**2 + 8*n + 11. Suppose -5*d = -18 + 3. Let a(x) = x**2 + 7*x + 10. Let m(s) = d*a(s) - 2*w(s). Is m(-6) a prime number?
False
Suppose 0 = -0*u - u + 20. Let f = 43 - u. Is f a composite number?
False
Suppose 5*w + x - 1050 = -0*x, w - 231 = 4*x. Is w composite?
False
Suppose 966 = 2*q - 2*m, -2*m + 1445 = 3*q - 4*m. Is q composite?
False
Let w(n) be the second derivative of 9*n**5/10 + n**4/24 + n**2 - 2*n. Let y(c) be the first derivative of w(c). Is y(1) a prime number?
False
Let u(a) be the third derivative of -11*a**4/24 - 2*a**3/3 - a**2. Is u(-5) composite?
True
Let i = -14 - -12. Is i/(-4)*-6 + 96 composite?
True
Suppose -1326 = 4*n - 5450. Is n composite?
False
Suppose 3 = 5*q + 2*n - 12, 4*q = 5*n + 12. Is (2 - q)*-2 - -65 composite?
False
Let x = -1573 + 2382. Is x a prime number?
True
Is 1/(4 - (-21335)/(-5335)) composite?
True
Let p(v) = -v. Let j be p(-2). Suppose -5*k + 8 = -j. Is k prime?
True
Let u = -295 - -704. Is u a prime number?
True
Let j(n) = n**2 - 9*n + 9. Let k be j(8). Let f be 3 + (k/(-1) - -2). Suppose -5*g = -2*y - 119, f*g + 2*y + 3*y - 115 = 0. Is g a composite number?
True
Suppose -2*i + 122 = -0*i + 3*r, 0 = 2*i - r - 106. Is i a prime number?
False
Suppose -5*z + o + o + 6815 = 0, 0 = z + 3*o - 1346. Is z composite?
False
Let w(v) = v**2 + 145. Suppose 0 = -0*y + 4*y. Is w(y) a prime number?
False
Let s(m) = m**2 - 22*m - 27. Is s(-24) a prime number?
False
Let k = -4 - -8. Suppose 140 - 12 = k*r. Suppose 0*f + 14 = 2*c + 3*f, 0 = -4*c - 5*f + r. Is c a composite number?
False
Suppose 2*n = 6 + 2. Suppose 0 = -n*x - 0*x + 40. Is x prime?
False
Suppose 34 - 300 = -2*n. Let l = 67 - 31. Let h = n - l. Is h composite?
False
Let t(j) = -2 + 0*j + 2*j + 3*j**2 + 5. Suppose -2*s + 4 = -3*s. Is t(s) prime?
True
Let a(l) = 16*l + 1. Let x(z) = -47*z - 3. Let j(w) = 7*a(w) + 2*x(w). Is j(9) a prime number?
True
Let g(y) = y**3 + 4*y**2 - 5*y + 5. Let u be g(-5). Is 3/u + 1092/30 a composite number?
False
Let k(w) = 6*w**2 - w**3 - 4*w + 1 + 0 + 2. Let r be k(4). Suppose -5*g = -r - 1. Is g a composite number?
True
Suppose -4*a = 3*m - a - 606, -4*m - 3*a + 807 = 0. Suppose 3*w = -3*p + m, -5*p - 3*w + 7*w = -290. Is p a prime number?
False
Let f = 0 - -2. Let b be 4592/10 - f/10. Suppose z - 126 = -6*c + c, 5*c - b = -4*z. Is z composite?
True
Let p be 10224/(-112) - 4/(-14). Let y = p + 194. Is y a prime number?
True
Let t be (-2 + -1)/(1 + -2). Suppose -t*s = 5*j - 7 - 5, j = -5*s - 2. Suppose -3*l + 78 = j*r, 5*r = 4*l - l - 38. Is l prime?
False
Let i be (-24)/(-9) - (-4)/(-6). Let b be (555/(-9))/(2/(-6)). Suppose i*h + b = 7*h. Is h a prime number?
True
Suppose 3*g = -2*j + 954 + 523, 2*j + 495 = g. Is g a composite number?
True
Suppose -5*p + 2 = -13. Let c(b) be the second derivative of -b**4/12 + 5*b**3/6 - 3*b**2/2 + b. Is c(p) prime?
True
Let k = 4 + -2. Suppose -h - 38 = k. Is (15/(-6))/(4/h) a prime number?
False
Let r = 79 + -21. Is r prime?
False
Let c = 66 + -31. Let l = 166 - c. Is l a composite number?
False
Let r = -4 + 7. Let n(y) = -8*y**2 + 8*y. Let a(h) = -9*h**2 + 9*h + 1. Let s(z) = 3*a(z) - 4*n(z). Is s(r) prime?
False
Let l(h) = 2*h**3 - 5*h**2 + 4*h - 11. Is l(6) prime?
False
Let q be 2/2 - (-7 - -9). Is 111*q/(-3) + -3 a composite number?
True
Let w = -15 - -46. Let a = -9 + 14. Suppose -a*z + 304 + w = 0. Is z a composite number?
False
Let z = 79 - 10. Suppose 0 = -u + z. Is u a composite number?
True
Let u(z) = z**3 - 5*z**2 - 3*z + 4. Let h be u(7). Let w = 25 + h. Suppose -5*t + w = -19. Is t a composite number?
True
Suppose 5*y - 2 + 7 = 0, 5*g - 3*y - 558 = 0. Is g prime?
False
Suppose -2*a - 18 = -5*a. Suppose a = -d + 20. Is d a composite number?
True
Let a = 353 + -187. Let x = a - -91. Is x composite?
False
Let x(t) = 127*t - 9. Is x(8) prime?
False
Let z be 148 + 0 - (-9 + 9). Let m = z + -89. Is m composite?
False
Is 1*1787/2 - (-30)/(-60) a composite number?
True
Is 3*(3 - (-200)/6) a prime number?
True
Let w = 393 - -86. Is w composite?
False
Suppose w + 4*n - 7 = 0, -w - 2*n = -8 + 3. Let h be -2 - (w*-1)/(-1). Let x = 132 + h. Is x a composite number?
False
Let j(d) = -569*d. Is j(-5) a prime number?
False
Let r be (-7 - -3)/(1/(-3)). Let x = 1 + r. Let k(v) = 2*v - 16. Is k(x) composite?
True
Let r = -4 + -4. Let s = -4 - r. Suppose -j + s = -15. Is j prime?
True
Let a(r) = -r**3 + 2*r + 2. Suppose 1 = -z + w, 6 = -z - 0*w - 4*w. Is a(z) prime?
False
Let q = -1353 - -2216. Is q prime?
True
Suppose 12 = 4*t - t. Suppose 3*d - t*v + 9*v = 11, 4*v = 4. Is d composite?
False
Let q(k) = 32*k**3 - k**2 - 2*k + 2. Let n be q(2). Let t = n - 141. Is t a composite number?
False
Suppose 0 = 4*w - 177 - 179. Is w a prime number?
True
Suppose 6*u + 2*j + 4877 = 9*u, -u - 2*j = -1615. Is u a composite number?
True
Let d(l) = -l**3 - 4*l**2 + 3. Let q be d(-4). Suppose 2*o + 5*i - 317 = 0, -5*o + 806 = -q*i + 2*i. Is o composite?
True
Is (-358)/(-6)*(-9)/(-3) composite?
False
Let a = -45 + 27. Is 10/(a/(-14) - 1) composite?
True
Suppose 0 = -4*d + 55 + 37. Is d a composite number?
False
Let j(t) be the first derivative of 7*t**2/2 - 2*t - 2. Is j(3) composite?
False
Let a be (-49)/(-3) + (-6)/(-9). Suppose a = -l - 13. Is (-3 - -2)*-1 - l a composite number?
False
Let x(c) = 3*c**2 - 4. Is x(5) a prime number?
True
Suppose -h - 3460 = -4*p + h, -3*p + 2595 = 3*h. Is p a prime number?
False
Let l(v) = 8*v**2 + 4*v + 2. Is l(-2) a prime number?
False
Suppose 4*x - x - 96 = 0. Let k = -22 + x. Is k a prime number?
False
Let r(b) = -11*b**3 + 1 - 2*b**2 + b**2 - b**2. Let n(i) = -i**3 - i**2 - i - 1. Let a be n(0). Is r(a) composite?
True
Let h = 693 + -1830. Let t = 1906 + h. Is t prime?
True
Let v be ((-117)/15)/(2/(-10)). Suppose v + 16 = 5*g. Is g a prime number?
True
Let m(o) = 7*o**2 + 22*o - 33. Is m(10) a prime number?
True
Suppose -2*s + 1676 = 2*s. Is s prime?
True
Let r = -5 - -3. Let u be (-18)/(-4) + r/(-4). Suppose -u = -2*w + 21. Is w composite?
False
Let h = 2 + 1. Let n = h - 1. Suppose 2*q - 124 = n*f, 0 = -0*q - 2*q - 3*f + 104. Is q prime?
False
Let r = -8 - -28. Suppose 7*l + 5*u - 45 = 2*l, 4*u - r = 0. Suppose g = -2*b + 4*b + 9, 57 = 5*g - l*b. Is g composite?
False
Let r = 37 - 6. Suppose 0 = -0*f + f - r. Is f a prime number?
True
Suppose -3*a + 16 = a, 20 = c + 4*a. Let j = 435 - 302. Suppose 5*o - j = c*o. Is o a composite number?
True
Let f be (-4 - -6)*1/1. Let n(g) = -f + 0 - 10*g + 4*g. Is n(-6) a prime number?
False
Suppose 4*c - 13 + 1 = -4*g, -39 = -5*c + 3*g. Suppose c*f - 3*f = -6. Is 2 - (f - -3 - 3) composite?
True
Let q(v) = v**2 + 2*v - 5. Suppose -3*p + 2 = -2*h, 4 = 2*h + 12. Let m be -2 + (p - -2 - 2). Is q(m) a composite number?
False
Let l(u) = -316*u - 13. Is l(-6) a prime number?
False
Is 4 + -6 + 819 + -2 prime?
False
Suppose 2*p - 941 = -2*z + 709, -1626 = -2*z + 4*p. Is z a composite number?
False
Let c(k) = -k**2 - 8*k - 5. Let g be (-219)/(-12) + 2/(-8). Suppose 2*r = 2*d + g, 5*r - 40 = 5*d - d. Is c(d) a prime number?
False
Let y(j) = j**2 + j - 1. Let o be 2/2*-1*-1. Let r be -2*(-4*o)/2. Is y(r) a prime number?
True
Suppose 45 = 4*s - 5*r, 4*s - 3*s + 5*r = -20. Let k(f) = -f + 11. Let g be k(s). Let h(q) = 7*q - 4. Is h(g) composite?
True
Let g(y) = y**3 - 5*y**2 + 5*y - 1. Let q be g(4). Suppose q*t - 3*w = 426, t - w = w + 138. Is t prime?
False
Let t(x) = -x**3 + 6*x**2 - 5*x + 7. Let h be t(5). Suppose -h*p = -2*p - 575. Suppose 0 = -0*z + 5*z - p. Is z composite?
False
Suppose 4*u = -3*o + 633