*v + 3*v - 20 = 0. Suppose a - 14 = v. Is (-4)/(-1 - a/(-22)) composite?
True
Let m be ((-729)/(-6) + 3)*2. Let i = -321 - -167. Let n = i + m. Is n composite?
True
Is 167280/85 - (-1 - 4) composite?
False
Let i(h) = 142*h - 1. Let d(n) = n**3 - 6*n**2 + n - 7. Let q be d(6). Let y be 5/(-5)*q/1. Is i(y) composite?
True
Let p(f) = 1116*f - 49. Is p(3) prime?
True
Suppose -7*f = -11*f + 20. Suppose -f*p - 5*d = -3360, -654 = -p + 2*d + 3*d. Is p composite?
True
Suppose -2*f - 9 = -4*m + f, 2*f - 16 = -m. Suppose -n - 2 = -c + m*c, 16 = -4*c + 4*n. Is c/3 + (-3388)/(-21) prime?
False
Let x = 625 + 3766. Is x prime?
True
Let d(n) = -202*n**3 + 4*n**2 - 2*n + 3. Let o(h) = 201*h**3 - 3*h**2 + 2*h - 2. Let t(z) = -3*d(z) - 4*o(z). Is t(-1) a composite number?
False
Suppose -c = -4*c. Suppose c = -o + 37 + 378. Is o a prime number?
False
Let m be ((-6)/(-15))/((-14)/70). Let g(j) be the second derivative of -13*j**5/10 + j**4/6 + j**3/3 - j**2/2 - j. Is g(m) composite?
False
Let c(d) be the third derivative of 0*d + 0 + 8*d**2 - 53/4*d**4 + 5/6*d**3. Is c(-4) a composite number?
False
Suppose -f + 4*j + 32 = 4*f, -2 = f + 2*j. Suppose -5*w = 3*a - 8650, f*w - 5*a + 6*a - 6927 = 0. Is w a prime number?
True
Suppose 5*m - 2*j = 26 + 9, 2*m + j = 5. Suppose -4*a = m*q - 947, -2*q = 5*a - 126 - 246. Is q prime?
True
Let i = 22 - 7. Suppose i + 0 = 3*o, -5*r = 4*o - 40. Is 1/4 + 555/r prime?
True
Let h be (16/(-6))/((-4)/6). Suppose x - 955 = -h*x. Is x prime?
True
Let a(r) = 53*r**3 - 5*r**2 + 2*r + 5. Is a(3) composite?
True
Let h = 10872 + -4751. Is h a prime number?
True
Let f = -27 - -42. Is 0 + (-10)/f*705/(-2) prime?
False
Let y(q) = -491*q - 4. Is y(-1) composite?
False
Let o be 4/(-16) + 5/20 + 5. Suppose 0 = y + y - 14. Suppose -o*z + y*z = 3522. Is z composite?
True
Let p = -3 - -14. Suppose -5*y + 19 = -p. Is y/(-21) + (-6421)/(-7) prime?
False
Let d(t) = 2233*t**2 + 9*t + 7. Is d(-1) a prime number?
False
Let h be 2/(-4) + 36/8. Suppose 3 = -h*v + 23. Suppose -2*r + 522 = 3*i - v*r, -189 = -i - 4*r. Is i prime?
False
Let i(r) = r**3 - 15*r**2 + 3. Let w be i(15). Suppose -j - t + 446 = 0, -w*j - t + 79 = -1265. Is j a prime number?
True
Let f(y) = y**3 - 4*y**2 - 8*y + 10. Let v be f(5). Let a(t) = -2*t**2 - 11*t + 7. Let n be a(v). Let k(s) = 2*s**2 - 18*s + 25. Is k(n) a composite number?
False
Let r(p) = p**3 - 46*p**2 + 92*p + 137. Is r(46) composite?
True
Let g(i) = 1188*i**2 - i + 8. Let a be g(-4). Let w = a - 10735. Is w a composite number?
True
Let x(k) = k**3 - 5*k**2 + 6*k + 1. Suppose -4*q + 100 = q. Let a be (-74)/(-14) + q/(-70). Is x(a) composite?
False
Let x(s) = 1329*s**2 + 6*s + 88. Is x(-7) a composite number?
False
Let b = 41182 + 7521. Is b composite?
True
Is 147606/(35/14 + -1) - -3 a composite number?
False
Suppose 18 = 3*z + 30. Let i = 0 - -1. Is (93 + z/(-1))/i prime?
True
Suppose -5*y - 10 = 0, -2*g + 2*y = -4*g - 1212. Is g*((-9)/2 + 3 + 1) a prime number?
False
Let x = 17035 + 9856. Is x a composite number?
False
Let q(s) = 178 - 2*s + 12*s**2 + 9*s - 179. Is q(4) a prime number?
False
Let g be 0 + (1 - -2) + (52 - 3). Suppose -g*z - 4696 = -56*z. Is z prime?
False
Suppose -2*s = -8*s + 3678. Let n = s + -200. Is n composite?
True
Let h = 12047 - 6292. Is h composite?
True
Let j(t) = t - 3. Let m be j(8). Let l(g) = -g**3 + 5*g**2 + 4. Let w be l(m). Suppose -2 = w*b - 22, 5*v + 2*b = 240. Is v composite?
True
Let l(g) = -1. Let u(d) = -d**2 + 2*d + 7. Let r(j) = -2*l(j) - u(j). Let y be r(4). Is (-8)/(-12)*573 - y a prime number?
True
Let a(v) = -v**3 + 9*v**2 - 8*v - 6. Let z be a(8). Let h = z + 10. Suppose -5*l - b + 4329 = 0, 2*l + 481 = h*b + 2195. Is l a composite number?
True
Let l = 131950 - 91877. Is l a prime number?
False
Suppose t + 4*f = 8243, t - 2*f = 3*f + 8288. Is t a prime number?
True
Let f = -1480 - -7949. Is f a composite number?
False
Suppose 2*v + 4*v = 15966. Is v*13/26*2/3 prime?
True
Suppose 15*p - 13*p = 4*l - 12880, -4*l + 12894 = 5*p. Is l prime?
True
Is (-2)/(24/1434)*-26 a prime number?
False
Let m(x) = -x**3 + x**2 + 9*x - 13. Suppose -18 = 3*d - d. Let t be m(d). Is ((-3)/6)/((-2)/t) composite?
False
Let z(m) = m**3 + 5*m**2 + 4*m + 2. Let r be 24/(-6) - 0/1. Let o be z(r). Suppose 3*p + 2*j - 147 = -o*j, 4*j - 245 = -5*p. Is p a composite number?
True
Let q(p) = 2*p - 4. Let n be q(2). Let i = 11 - n. Is i a prime number?
True
Suppose 277 = p + 86. Is p prime?
True
Let b = 31 + -18. Let q = 4 - b. Let o(p) = -p**2 - 15*p - 5. Is o(q) a prime number?
False
Let b = -118 + 66. Let r = b - -137. Is r prime?
False
Suppose 35*h = 49743 + 1141622. Is h a prime number?
True
Let q(g) = 19*g + 65. Is q(30) prime?
False
Suppose -9*g - 108286 = -38*g. Is g a prime number?
False
Suppose -24*x - 14*x + 2418358 = 0. Is x a composite number?
True
Suppose -4 = 3*a + 4*m, 0*m = -a - m - 3. Is (-156660)/(-160) - (-1)/a a composite number?
True
Let y(r) = 3*r**3 - 6*r**2 - r + 1. Is y(9) composite?
False
Let n(g) = 55*g - 2. Suppose 2*w + 2*w - 4 = 0. Is n(w) a composite number?
False
Let v(i) = -48*i + 24. Let n(h) = h + 1. Let g(y) = -5*n(y) + v(y). Is g(-6) composite?
False
Let j = -13116 + 24935. Is j a composite number?
True
Let l be ((-64)/(-2))/((-1)/(-18)). Let r = -325 + l. Is r a composite number?
False
Suppose 29*b - 18*b = 47839. Is b composite?
False
Suppose 3*n + 4*d = 3346, 2216 = n + n - d. Suppose u = 5*q - 1389, 4*q - u = u + n. Is q a prime number?
False
Suppose -39*o + 37*o + 2172 = v, -o - 5*v + 1077 = 0. Is o composite?
False
Let j be 7086/(-15) - (-16)/40. Let z = j - -663. Is z composite?
False
Suppose 522 = 5*f + f. Suppose -b = -126 - f. Is b a composite number?
True
Is (1 - 82173)*7/(-28) prime?
True
Suppose -1 = 3*t - 5*t - y, -4*t + 4*y + 20 = 0. Suppose -v - c + 181 = 0, -6*v + 563 = -3*v - t*c. Is v composite?
True
Let w = -3635 + 645. Let t = -1447 - w. Is t a composite number?
False
Let c(x) = -x**2 - 6*x - 1. Let d be c(-6). Is (d/((-1354)/452 - -3))/(-2) a composite number?
False
Let z(r) = -3*r**2 + 18*r + 5. Let d be z(6). Suppose -d*p + 874 = -1911. Is p prime?
True
Let x(t) = t - 5. Let w(r) = -2*r + 10. Let f(d) = -6*w(d) - 13*x(d). Let z be f(4). Suppose -u + 5 = z, 312 = 2*b - u. Is b prime?
False
Suppose r = -r + 4. Suppose 0 = -5*q + r + 8. Is q - (1 - -1) - -25 a prime number?
False
Is (-1 - 957)*(39/6)/(-13) a composite number?
False
Is 662/(8*(-3)/15 - -2) a prime number?
False
Is ((-63)/(-18) + -2)/(6/11068) composite?
False
Let o(f) = -f**3 + 2*f**2 + 2*f + 4. Let j be o(3). Let m(c) = 1359*c + 2. Is m(j) a composite number?
False
Is 279981/351*1*3 composite?
False
Let j = 34 - -1. Suppose -2*w + 3*w + j = 0. Let h = 4 - w. Is h a composite number?
True
Let l be (-1 - (1 - 0)) + 7. Suppose 0 = -4*y + z + 3247 + 1889, -l*z = 3*y - 3829. Is y prime?
True
Suppose 8*p - 31457 = 359. Is p composite?
True
Let w(h) = -33*h + 20. Is w(-37) composite?
True
Suppose -4*a = -7648 - 1068. Is a a composite number?
False
Suppose -r + 428970 = 5*x, 2*x - x = 5*r + 85768. Is x prime?
True
Let x be 32/14 + 16/(-56). Suppose -x*g + 4*v = -558, 4*g + 4*v - 309 = 3*g. Is g composite?
True
Let u(p) = 142*p - 20. Let r be u(5). Suppose 3*q = -r + 3837. Is q a prime number?
True
Let w be (-816)/20 + 12/15. Let q = -17 - w. Is q composite?
False
Let k = 146 + 32. Suppose -4*m = -w + m + 157, 0 = w + 2*m - k. Suppose w + 209 = 3*f. Is f composite?
False
Suppose 4*v = 16 + 8. Let b be 57/(-9) + 0 + 3/9. Is 674/v + (-4)/b a composite number?
False
Let c be -3*((-2)/(-1) + -1). Let g = 4 - 32. Is g*(c + 28/(-16)) a prime number?
False
Let y be -1006 - -1 - (2 + -4). Suppose -3*c = -c - 6, -c + 2779 = -4*v. Let u = v - y. Is u prime?
False
Let g(b) = b**2 + 8*b + 10. Let n(h) = -h**3 + 16*h**2 - 13*h - 22. Let u be n(15). Suppose -q + 1 = u. Is g(q) a prime number?
True
Let a(v) be the second derivative of 3/2*v**2 + 1/2*v**4 + 1/6*v**3 - 1/20*v**5 + 8*v + 0. Is a(5) a prime number?
False
Let i(b) = b**3 + 20*b**2 - 19*b + 11. Is i(-17) a prime number?
True
Let u = -102 - -186. Let i = 707 - u. Is i a composite number?
True
Suppose 18*c + 11*c + 116 = 0. Let a be 6/(3/(894/4)). Is a/2*c/(-6) a composite number?
False
Suppose -12 = 4*i - 8*i + 4*s, 15 = -5*s. Suppose 2*z + 4 