s (-10011)/f - (-2)/(-5) a composite number?
True
Let c(g) = -g**3 + g**2 + 14*g + 17. Let t be -8 - (8/12)/((-6)/(-9)). Is c(t) a composite number?
False
Let t be -2 + 2 + 3 + -3. Suppose 4*m - 568 = -t*m. Is m prime?
False
Suppose 3*j + 2597 = -1909. Let m be 6/24 + j/(-8). Suppose -m = -n + 47. Is n composite?
True
Let o be (-259)/111 + (1 - (-4)/(-6)). Let c(s) = -445*s - 11. Is c(o) composite?
True
Let y = -1 - 25. Is ((-1)/2)/(y/39156) a composite number?
True
Suppose 0 = 4*c - 4*v - 75740, 0 = c + c + 3*v - 37850. Is c a composite number?
True
Let p(y) = -y**3 + y**2 - 2*y + 4621. Is p(0) composite?
False
Is (-315 + -16)/((6/2)/(-201)) a composite number?
True
Let j(z) = z**3 + 4*z**2 - 2*z - 2. Let i be j(-4). Let b(q) = -q**3 + 4*q**2 - 2*q. Let u be b(i). Let s = u + 151. Is s composite?
False
Let t(g) = -1. Let h(z) = z**2 - 13*z + 4. Let x(l) = h(l) + 3*t(l). Suppose 3 = -2*d + 41. Is x(d) prime?
False
Is -1*(5 - (-16090)/5*-3) a prime number?
True
Let y(j) = j**3 + 3*j**2 - 15*j - 3. Let a be y(-6). Let q(s) = 14*s**2 + 7*s - 56. Is q(a) composite?
True
Let d = 264 + -261. Let m = -62 - -116. Suppose d*v - 207 + m = 0. Is v prime?
False
Let x be 1/(3/6) - -2. Suppose -5*u = -3*p - 123 - 236, x*u + 3*p - 271 = 0. Let s = 121 - u. Is s a prime number?
False
Suppose -j + 4 = j. Suppose 5*i = a + 433, 7*i + j*a - 338 = 3*i. Let c = 3 + i. Is c a prime number?
True
Let f(r) = 14*r**2 + 22*r - 27. Let c be f(-16). Suppose 10*j = 15*j - c. Is j a composite number?
False
Let q be (-3*(-4)/(-8))/(1/1372). Let r = -907 - q. Is r composite?
False
Let p be (-5 - -4 - -2)/1. Let x(z) = 111*z**3 - z**2 - z + 2. Is x(p) prime?
False
Let s(x) = x**3 + 6*x**2 + 4*x + 8. Let q be s(-6). Let v = -15 - q. Is 2*v/(-2) + 192 a composite number?
False
Let m(n) be the second derivative of -n**6/120 + n**5/10 + 5*n**4/24 + n**3/6 - 5*n**2/2 + 4*n. Let t(k) be the first derivative of m(k). Is t(4) prime?
True
Let s be ((-1)/2)/(3/(-3510)). Let x = s - -382. Is x composite?
False
Let u(t) = -28*t + 5*t + 7 - 11*t + 10. Is u(-6) composite?
True
Let r be -1*10/(-1 + -1). Let c(i) = -3*i + 5. Let m be c(0). Suppose m*k = r*t + 575, 3*k = -t - 78 + 439. Is k a prime number?
False
Let a be -2 - (1 + 7/(14/(-984))). Suppose -3*z + 519 = -z + b, 5*b + a = 2*z. Is z a prime number?
True
Let q(c) be the second derivative of c**8/6720 - 3*c**6/80 - 13*c**5/120 - c**4/12 - 8*c. Let x(b) be the third derivative of q(b). Is x(12) a composite number?
True
Let s = -22 - -22. Let h be -869 - s*1/(-2). Let v = -488 - h. Is v a composite number?
True
Let j = 28 - 416. Is j/(-2) + (2 - 5) a prime number?
True
Let c = 36 + -26. Let s(i) = -10 - 19 - 14 + 4*i + i + 30. Is s(c) a composite number?
False
Let c = -1747 + 3096. Is c composite?
True
Suppose r = -p - 90 - 53, 3*p - 6 = 0. Let n = r + 230. Is n composite?
True
Suppose 2*q = 2*d - 12, -6*q + 3*q = -3. Let m(w) = 49*w + 9 - 6 + d. Is m(7) composite?
False
Suppose 3*s - 3024 - 10203 = 3*g, 0 = 3*s + 3*g - 13227. Is s composite?
False
Is (-38676)/(8 + -14) - (2 - 5) a prime number?
True
Let c(s) = 10*s**2 - 70*s - 46. Is c(-20) composite?
True
Is 52/(-10)*5360/(-32) composite?
True
Suppose -3*w - 947 = 8*a - 10*a, 4*a - 5*w - 1891 = 0. Is a a composite number?
True
Let d(h) be the second derivative of h**4/6 + 2*h**3/3 + 3*h**2 + h. Is d(-4) a composite number?
True
Let x(n) = 13*n - 6. Let y(r) = -12*r + 5. Let u(d) = 6*x(d) + 5*y(d). Is u(5) a prime number?
True
Let s(v) = v**2 - 2*v. Let p be s(2). Suppose p = 4*i + i - 50. Is i/(-2)*1284/(-30) prime?
False
Suppose 16 = -3*v - 0*v - n, 8 = -v - 3*n. Let t(l) = l**2 + l - 12. Let g be t(v). Is g - -228 - 3/(-1) a prime number?
True
Suppose 160453 = 3*q + 4*c, 0 = -5*q + 29*c - 27*c + 267387. Is q a prime number?
True
Let m(o) = 4*o**2 + 10*o - 29. Let g = -29 - -2. Is m(g) a prime number?
True
Let j(i) = 84*i**3 - 8*i**2 - i - 7. Let d(r) = r**3 + r**2 + 1. Let a(p) = -6*d(p) - j(p). Let b be a(-2). Let g = 1318 - b. Is g a prime number?
False
Suppose -3491 = j + m, -j - 4*m - 2795 = 687. Is (3 - j/6)/(2/3) composite?
True
Let j(i) = -2*i + 4. Let z be j(-3). Let k(g) = -g**3 + 11*g**2 - 10*g - 2. Let h be k(z). Let m(y) = 75*y**2 - 2*y + 1. Is m(h) prime?
False
Suppose 0 = -2*f + 10 - 4. Let h be 3 - 3 - -6 - f. Suppose -3*g - h*a + 165 = -6*a, -g = 2*a - 49. Is g prime?
True
Let g(n) = 105*n**2 + 18*n - 2. Is g(-3) composite?
True
Suppose 0 = 5*x - 65 + 40. Suppose -s + x*a = -650, 2*s - 2*a - 1261 = -5*a. Is s composite?
True
Suppose -3*z - 3*n = -3039, 0*z - 3*z + 5*n + 3015 = 0. Suppose -z = -c - c. Is c prime?
False
Is ((-3)/9)/(12/(-396)) a composite number?
False
Let f = 10 - 4. Suppose -f = -p - p. Suppose -u + 11 = -p*l - 14, 0 = -3*u - 4*l + 127. Is u a prime number?
True
Let t(k) be the second derivative of -1/20*k**5 - 1/2*k**3 + k + 0 + 2/3*k**4 - 3/2*k**2. Is t(3) a prime number?
False
Suppose -9*c + 7*c = -1788. Suppose 19*g - 22*g = -c. Is g composite?
True
Let x = 23 + -16. Let d = -3 + x. Suppose 0 = -d*v - 3*s + 313, -2*v - 2*v + 5*s = -353. Is v a prime number?
False
Let n = -617 - -8970. Is n composite?
False
Let r = -81 + 138. Suppose 2*q = -r + 251. Is q a composite number?
False
Let t(v) = 4*v - 15*v + 9*v - 6 + 3*v. Let m be t(9). Suppose -m*u = -5*k - 1708, 0*u - u - k = -572. Is u composite?
False
Is 1*((-12195)/(-9) + 2) a composite number?
True
Let t(s) = 6 + 1 - 5*s**3 + 3*s**2 - 1 - 2 + s. Suppose -m + j + 2 = 0, 2*m + m = 4*j + 11. Is t(m) a prime number?
True
Let f = 9284 + -5145. Is f a composite number?
False
Let a be 0 + (-3 - (-357)/1). Suppose -266 = -2*b + a. Let m = 543 - b. Is m prime?
True
Let w = -71770 + 102593. Is w a prime number?
False
Let b(a) = -4*a**3 - a**2 + 1. Let u be b(1). Let l(v) = 9*v**2 - 3 - 7*v + 6*v - 4*v + v. Is l(u) prime?
True
Suppose 64 = 5*k + 4*u, 3*k - 31 = -3*u + 8. Suppose -k = 3*z - 5*z. Is (-381)/(-2)*4/z composite?
False
Let l = -31 - -32. Suppose -y - 8 + l = 0. Is -1 - (y + 3 + -251) composite?
True
Let t be (-10 - -6)*7/4. Let m = t + -8. Let n = m - -62. Is n a prime number?
True
Let g(p) = 5*p**2 + 4*p + 5. Is g(-6) a prime number?
False
Suppose -10*t - 2305 = -11*t. Is t a prime number?
False
Suppose 0 = 5*o - 3*o - 73638. Suppose -9*u + o = -0*u. Is u composite?
False
Let l = -7286 + 26389. Is l a composite number?
True
Let n(d) = -24*d - 7. Let h(o) = -o**2 - o + 1. Let a be h(-3). Let c be n(a). Let k = c - 76. Is k prime?
True
Suppose 2*u + 129 = -u + 2*k, 2*k + 231 = -5*u. Is (78/(-4))/(u/6 + 6) a composite number?
False
Let o = -386 - -963. Is o prime?
True
Let a(d) = 44*d**2 - 4*d - 8. Let n(y) = y**2 - y - 1. Let s(q) = a(q) - 5*n(q). Let k(l) = 40*l**2 + l - 4. Let c(h) = -4*k(h) + 5*s(h). Is c(-1) composite?
True
Suppose 0 = -n + 2 - 0. Let h(d) = d**3 - 2*d**2 + 2*d - 1. Let i be h(n). Is 3 - (-2 + i*-7) prime?
False
Let c(o) = 104*o - 13. Is c(4) a composite number?
True
Let j(u) = 35*u**2 - 32*u - 122. Is j(20) a composite number?
True
Suppose -15 = 2*v - 1. Let i(p) = 34*p**2 - 6*p + 25. Is i(v) prime?
True
Suppose 0 = -3*j + 3 + 6. Let b(l) = -96*l - 3. Let g be b(-2). Suppose -5 = -t, -5*q - j*t = -2*q - g. Is q prime?
False
Suppose -5*i + 6*j - 68 = 3*j, -5*i - 5*j = 60. Let q = i - -9. Is 2*(-6)/q*3 composite?
True
Suppose -q + 30 + 29 = 2*s, -5*s = -4*q + 301. Suppose 2*h = q + 193. Is h a prime number?
True
Let c = 520 + -213. Is c a composite number?
False
Suppose 5*m = -0 - 0. Suppose m = -v + 2674 - 1017. Is v a prime number?
True
Let g(f) = -f**3 - f**2 - 1. Let y(q) = -3*q**3 + 8*q**2 - 13*q - 10. Let m(l) = 2*g(l) - y(l). Let z be m(10). Let c = z - -1915. Is c a composite number?
False
Let c be (1 - (-1162)/(-4))*6/(-3). Let v = -260 + c. Is v composite?
True
Let m = -3102 + 8213. Is m prime?
False
Let l(d) = 110*d**2 + 25*d + 4. Is l(-3) composite?
False
Suppose -5*h + 949 = -2*y - 0*y, -2*h + 386 = -4*y. Let x be 2*((-8)/(-4))/2. Suppose -5*i = -x*l + h, 0 = -4*l + i + 345 + 42. Is l a prime number?
True
Let u = -1075 + 3558. Is u composite?
True
Let y(j) = -j + 7. Let p be y(4). Suppose 0*k - k + p = 0. Is 212/4 - (1 - k) composite?
True
Is (4/(-6))/((-16)/6098520*5) prime?
True
Suppose 3*j = 62 - 11. Let g = 21 - j. Suppose 4*h + 4*l = 20 + 132, 4*l + 120