4 = -4*h, 0 = -4*h + 2*z + 895 - 4719. Is h/8*(7 - 4 - 5) a prime number?
True
Let n(i) = -2*i**3 - 25*i**2 + 4*i + 14. Is n(-27) composite?
True
Suppose -280262 = -91*d + 143070. Let k = 9 - 5. Suppose k*w + d = 8*w. Is w composite?
False
Suppose -10770837 = 45*o - 33857682. Is o composite?
False
Let k be 8/10 + (-121280)/(-25). Let l = 7245 - k. Is l composite?
False
Suppose -5*j = 30 - 170. Suppose -19*x = -j*x + 155583. Is x a prime number?
False
Let j be ((-30)/14 + 1)/((-4)/14). Let v(g) = -22 + 5*g + j*g - 4*g**2 + 12*g**2 + g**3 + 11*g**2. Is v(-17) composite?
True
Let s = -11 + -21. Let l = 49 + s. Let q(w) = 2*w**2 - 7*w + 22. Is q(l) a prime number?
False
Suppose 0 = -15*n + 17 + 13. Suppose 4*y + 10 = -4*b + 2, -b = -y + n. Is (-1 + 734)*(y - -1) a composite number?
False
Let p(y) = 112855*y + 7048. Is p(3) a composite number?
True
Let f be (2/(-11) + (-224)/(-22))/2. Suppose 2006 = f*g + 2*q, 3*g - 553 - 635 = 4*q. Suppose b - 1590 = -4*s - b, -b + g = s. Is s composite?
True
Let s = -434 - -23. Is s*(16/(-6))/4 a composite number?
True
Let u be -1 - (211 + (-1 - 1)). Suppose -5*y - 5*n - 1645 = 0, 7*y + 1313 = 3*y - n. Let f = u - y. Is f a composite number?
True
Suppose -29*q - 12304 = -32*q + 4037. Is q composite?
True
Let v = -66 - -106. Suppose -9*l + v = l. Suppose -j + l*h + 318 = -h, j + 4*h = 273. Is j a composite number?
False
Let m(q) = -q**2 + q + 1. Let g(y) = -161*y**2 - 6*y - 10. Let o(c) = -g(c) - 3*m(c). Let r = 1324 + -1320. Is o(r) composite?
True
Suppose 2*t + 2*t = -3*k + 240, 2*k + 300 = 5*t. Let p be (t/(-4))/5 - -1916. Suppose 0 = -8*d + p - 193. Is d composite?
True
Suppose 10*w - 13*w - 84 = 0. Is w/(-42)*(-163074)/(-4) prime?
True
Suppose 60 = -3*u + 165. Is 14/u - 1/(5/(-4788)) a composite number?
True
Let y = 181 + -178. Suppose j = 5*s - 2*s - 2871, -y*s + 2862 = -4*j. Is s a composite number?
True
Let c = -9373 - -4825. Let m = c - -7711. Is m prime?
True
Let c = 288 + -286. Suppose -x - 172 = -2*s + c*x, -2*s = 4*x - 186. Is s composite?
False
Is -12 - (8/8 + -564782) a composite number?
True
Suppose -13*z = 404 - 40. Let q(x) = -x**3 - 16*x**2 + 63*x + 55. Is q(z) a prime number?
True
Let p be ((-3 + 3)*-1)/1. Suppose 0*i + 38*i - 167086 = p. Is i prime?
True
Let h(y) be the third derivative of -197*y**4/6 - 173*y**3/6 + 106*y**2. Is h(-14) a composite number?
False
Suppose 15 = 2*a + 3*k, 4*a - 3*a - 4*k + 9 = 0. Suppose -p - 3*p = 0, -4*p = a*y + 1533. Let u = 1598 + y. Is u a composite number?
False
Let q = 5652 - -9787. Suppose d + 2*y = 14299 + 1140, -2*y - q = -d. Is d prime?
True
Let j(a) = -24*a**2 - 14*a - 12. Let z(f) = -f**2 + f. Let c(n) = j(n) - 3*z(n). Let v(p) be the first derivative of c(p). Is v(-19) a prime number?
False
Suppose 0 = -12*u - 4*u - 342821 + 15033205. Is u a composite number?
False
Let v be (0 + (-84)/8)/(9/(-24)). Let a be 8/v - (-204)/21. Suppose -u - 3555 = -a*u. Is u a prime number?
False
Let y(f) = 1727*f + 2240. Is y(11) a prime number?
False
Let g be 7377/(-2)*((-80)/(-12) + -6). Let w = 3578 + g. Let a = w + -738. Is a a composite number?
True
Suppose 5*d = -5, -5*k + 4615 - 1265 = -5*d. Is (-3 + -1)/((-6)/k) a prime number?
False
Suppose 5*o - 3*o = 4. Let u be ((-428)/2)/(o/(-3)). Suppose z + 3*p = 124 + 42, u = 2*z - 5*p. Is z a composite number?
False
Is ((-10576120)/50)/(4 + (-6)/(-45)*-33) a composite number?
True
Let r(o) = 9843*o + 3798. Is r(11) prime?
False
Let a(i) = -2*i**2 + 23*i**2 - 213*i**3 + 212*i**3 - 49 + 34*i. Is a(19) prime?
True
Is ((-12)/(-7) + -2)/((-56)/(-1148335580)*-5) a composite number?
False
Suppose -5850*w - 44219 = -5857*w. Is w a composite number?
False
Let w(g) = -g**2 - 5*g + 22. Let k be w(-8). Let c be -1 + (k - 270)*(-1)/1. Suppose -l = 1 + 3, -m + l = -c. Is m a prime number?
False
Let m = -135 - -139. Is m - (-3)/(6/1766) a composite number?
False
Suppose 2*b + 3*s + 8 = b, 2*s = 2*b. Is (14192/96)/(b/(-12)) prime?
True
Let i(q) = 1350*q + 98. Let a be i(-19). Let t = a + 38003. Is t a composite number?
False
Let p be 118/1357 - (-232)/(-23). Is (2656896/40)/16 - (-4)/p prime?
False
Suppose -5*n - 5*m + 10 = 0, n - 4*m = 6*n - 12. Suppose 3*i - 9259 = 9*s - n*s, -3*s = 4*i - 12326. Is i a prime number?
True
Suppose -69 - 35 = 13*b. Let f(h) = 51*h**2 + 4*h - 27. Is f(b) a prime number?
False
Is (-346575)/(-6) + ((-230)/20)/(-23) a composite number?
True
Suppose -88*n + 82*n = -17244. Suppose -9*j = -6*j - n. Is j a prime number?
False
Let u(g) = -29 + 340*g**2 - 13*g + 8 - 1 + 6. Is u(5) composite?
False
Suppose 493*f - 489*f - 383717 = 86271. Is f a prime number?
True
Let c = 296 - 263. Suppose 0 = c*v - 34*v + 1018. Is v a prime number?
False
Let u = -867 + 1616. Let q = -275 + u. Is (-2)/(4*(-3)/q) a prime number?
True
Let v(c) = 12*c + 98. Let o be v(-8). Suppose -3*f - o*f + 5163 = 2*j, -3*f + 2582 = j. Is j a prime number?
True
Suppose -13*l = -0*l - 65. Suppose 10*c = l + 35. Suppose -c*a - h + 639 = 0, -3*h + 5 = -a + 155. Is a a composite number?
True
Let i(h) = 9*h**2 - 4*h + 3. Let n be i(2). Let b(o) = -n*o + 30*o - 29 + 56*o**2 + 16*o**2. Is b(-6) prime?
False
Let r(f) = 120*f**2 + 24*f + 59. Let p(t) = -40*t**2 - 8*t - 19. Let d(w) = -7*p(w) - 2*r(w). Is d(-9) a composite number?
True
Let r(k) = 2*k**3 - 45*k**2 + 47*k + 27. Suppose 5*h - c = 150, 7*h - 77 = 4*h - 2*c. Is r(h) prime?
True
Let g(l) = -3*l**2 - 2*l + 26. Let u be g(-11). Let z = -168 - u. Suppose 144*r - z*r = -753. Is r a composite number?
False
Let z be (-1)/(190/294 + (-2)/3). Suppose 0 = 5*y + 4*f - 10, 7*y + 5*f + z = 11*y. Suppose -4046 = -y*q + 6172. Is q a prime number?
False
Suppose -5*s + 1013 = -4*w + 6*w, -s = -5. Suppose -w*j + 22370 = -492*j. Is j prime?
False
Let z(i) = 11 + 232*i**2 + 2 + 96*i**2 - 3*i - i. Is z(3) a composite number?
False
Suppose 0 = -b - 4*r + 45409, 40*b - 38*b - r = 90881. Is b a composite number?
True
Suppose 2*u - 4339 = -5*c - 578, 2*c - 7482 = -4*u. Suppose 18*o = 4378 + u. Is o a prime number?
True
Suppose 3*d = 9, -8*d + 7*d + 220074 = 3*y. Is y composite?
True
Let c be 32 + 116 + -1 + (-1 - -3). Let k(z) = 434*z**3 + 345*z + 2 + c*z**3 - 348*z + z**2. Is k(1) a prime number?
False
Suppose -55*b = -3197954 - 3247111. Suppose m - b = -32*m. Is m a prime number?
False
Suppose -9*x + 178276 = -5*x + 4*s, -4*x + 178266 = -s. Is x composite?
True
Suppose -27*h + 661171 - 157216 = 0. Is h composite?
True
Let v(j) = 342*j**2 + 8*j + 1. Let p(y) = -y**2 - y - 2. Let m(u) = 3*p(u) + v(u). Let h = 18 + -16. Is m(h) prime?
True
Suppose -28*h = -29*h - 7990. Let z = 11324 + h. Let n = z + -2363. Is n a composite number?
False
Suppose 275396 + 1419281 - 245824 = 21*u. Is u composite?
False
Let y(i) = 67278*i + 1043. Is y(11) a composite number?
False
Is (0/9)/4 - (-103316 + 1) composite?
True
Suppose -5*f = -3*g - 4292 - 16335, 4*f - 4*g = 16500. Is f composite?
True
Let f(p) = 13*p + 6. Let h be f(13). Suppose 23 + 505 = 6*n. Let v = h - n. Is v a composite number?
True
Suppose k - 214*k - 62*k + 86709425 = 0. Is k composite?
True
Let o be 7/(-2 + 5 - 4). Let d be 1*(2/o + 24/84). Suppose 13*n - 12*n - 97 = d. Is n a composite number?
False
Suppose -86*s - 2632 = -93*s. Let x(r) = -30*r - 7. Let q be x(6). Let b = s - q. Is b composite?
False
Suppose 0 = 7*z + 13249 + 6162. Let p = z + 5022. Is p composite?
True
Suppose 0 = -5*o + 4*o + 4*q + 6527, -32509 = -5*o + 2*q. Is o composite?
True
Suppose -x + 39*j + 777 = 35*j, -12 = 3*j. Let q = 890 - x. Is q a composite number?
True
Suppose -5*x - 9 = -29. Is 2812 + 2/(x/(-6)) composite?
True
Suppose -17557 + 112302 = 35*n. Is n a prime number?
True
Suppose -3*r + 2953 - 670 = 0. Let z(v) = -26*v + 27*v - v**2 + 3*v**2 - v**2 - r*v**3. Is z(-1) a composite number?
False
Suppose -5*g + 233 = -5*b + 3*b, -245 = -5*g + 5*b. Is (4713/(-9))/((-15)/g) prime?
True
Suppose 3*w + 3 = 0, 3*u + 4*w = -2*u - 5929. Let p = u + 2842. Is p a composite number?
False
Suppose -20*l - 18*l + 1315235 = -6306387. Is l composite?
False
Suppose -2*s + 4*f + 8500 = 0, -12786 = -3*s + 3*f - 6*f. Suppose 0 = -7*r - s + 22311. Is r a composite number?
False
Let u(m) = -22*m**3 - m**2 + 16*m + 33. Let k be u(-8). Let t = k - 6374. Suppose -t = -4*c + 1801. Is c prime?
False
Suppose -372 