*p + 20 + 8 = c, -4*p - 60 = -r*c. Suppose -m + c = -37. Is m a prime number?
False
Suppose -2*u + 4*d + 6 = -6, -u + 4*d = 0. Suppose -j = j - u. Suppose -a = -j*a + 1045. Is a a composite number?
True
Let n = -8735 - -16774. Is n a composite number?
False
Let d be (-280)/6*3/(-2). Let t = d + 627. Is t prime?
False
Let x = -2547 - 510. Let b = x - -7604. Is b a composite number?
False
Suppose -3*u = 2*v + 6, 0*v + 8 = -4*v - 5*u. Is 9/((-45)/(-10750)) + v a prime number?
True
Suppose 0 + 8 = -b. Let r be -3*(-5)/(-30)*b. Suppose 0 = r*j + 4*y - 452, 4*j - 73 - 419 = 4*y. Is j prime?
False
Let y(p) = p**3 + 25*p**2 + 45*p + 13. Is y(-18) composite?
False
Let i(h) = -h + 4. Let v be i(0). Suppose 0 = v*a - 13 - 3. Suppose a*c - 617 + 109 = 0. Is c a composite number?
False
Let i(u) = 3622*u - 187. Is i(8) a prime number?
True
Let l = 47 - 51. Is ((-172)/3)/l*3 a prime number?
True
Let m(p) = -4083*p + 31. Is m(-2) a prime number?
False
Let x = 1970 - -209. Is x a prime number?
True
Let g(s) be the second derivative of -s**4/12 - s**3 - 2*s**2 + 2*s. Let j be g(-3). Suppose -j*y + 242 = -3*y. Is y a prime number?
False
Let a(m) = 6*m**2. Let z be a(-1). Let w(q) = 1 + 70*q + 8*q**2 + 6*q**2 - 71*q. Is w(z) prime?
True
Suppose 0 = -16*s + 21*s - 78505. Is s prime?
False
Suppose 4*o + 2*j - 6 = -0*j, 0 = -5*o - 5*j. Suppose 2*w + 2*w = -4*n + 12, -o*n = w - 13. Let m(s) = -s**2 + 11*s + 1. Is m(n) a composite number?
False
Let a(j) = j**2 + 14*j + 16. Let v be a(-13). Let s(w) = w**3 - 3*w**2 + w + 4. Let m be s(v). Suppose -5*p + m = -4*p. Is p prime?
True
Let p(f) = 258*f**2 + f. Suppose -5*l + 8 = -l. Suppose 2*g = -4 + l. Is p(g) a prime number?
True
Suppose 462255 = -109*l + 124*l. Is l prime?
True
Suppose 2*z - g = 4, -4*g + 15 + 21 = 5*z. Suppose 3*p + 5*v - 7661 = 0, 5 = -z*v - 3. Is p a composite number?
False
Suppose -q - 16 = 3*z, -z - 30 = 5*q + 4*z. Let r(c) = c**2 + 14*c - 2. Let o be r(-16). Is (230/o)/(q/(-15)) composite?
True
Let p be 216/90 + (-2)/5. Let w = 227 + -16. Suppose -p*m + w = -m. Is m composite?
False
Let x(j) = -j + 17. Let w be x(13). Suppose v + v + w = 0. Is (-39)/v*(-68)/(-6) a composite number?
True
Suppose 1318 = 2*n - 870. Is n prime?
False
Let a = 0 + -2. Suppose -4*y - 89 - 175 = 0. Is (y/18)/(a/18) a prime number?
False
Is (8 - (-8365)/(-10))*-2 a prime number?
True
Let p(f) = -f + 16. Let n be p(7). Let j = 12 - n. Suppose -j*i - 11 + 732 = -4*k, 4*k = -4*i + 952. Is i prime?
True
Let y = 497 - -3557. Is y a prime number?
False
Let r = 28 + -32. Let d(l) = l**2 + 5*l + 8. Let y be d(r). Suppose 0*w + y*w = 1964. Is w a composite number?
False
Let x = -36 - -40. Is 12925/35 + 2 + x/(-14) prime?
False
Let q(u) = 636*u**2 + 3*u - 2. Let f be 12/9*(-12)/(-8). Let h be q(f). Suppose 0*z - 3*s = 4*z - h, -3*z + 1894 = -2*s. Is z a composite number?
True
Let l = 193 + 433. Let y = -375 + l. Is y prime?
True
Let c = -18 - -19. Let y(h) = -392*h**3 - h - 13. Let d(a) = 98*a**3 + 3. Let s(b) = 9*d(b) + 2*y(b). Is s(c) a composite number?
False
Suppose -w = -s - 124, 2*w + 4*s - 337 = -w. Is w a prime number?
False
Let l(s) = -s**2 - 3*s. Let r = -13 - -9. Let g be l(r). Is (-582)/g*(-6)/(-9) prime?
True
Is -3 - (-5 + 3 - 9754) prime?
False
Let u(b) = b**3 - 10*b**2 + 35*b - 13. Is u(10) composite?
False
Suppose 0 = 1038*b - 1037*b - 5293. Is b prime?
False
Suppose 5*j = 1 + 29. Let s(h) = 25*h - 23. Is s(j) a prime number?
True
Let k be 22/6 - 1/(-3). Let f be (-6)/(-16) - (-44)/(-32). Is 11 + f + (3 - k) a composite number?
True
Suppose -731*y - 24155 = -736*y. Is y a composite number?
False
Let b = 16446 + -2959. Is b composite?
False
Suppose -12*z - 12018 = -114030. Is z a composite number?
False
Is (8285/15)/((-2)/(-5 + -1)) a composite number?
False
Suppose -5*a + 48 = -p + 20, 0 = -4*a + 20. Let n(w) = -23*w**3 + 5*w + 1. Let s(h) = 23*h**3 + h**2 - 5*h - 2. Let q(g) = p*s(g) - 4*n(g). Is q(3) composite?
True
Let s = 23645 + -14859. Let j = s + -3477. Is j a prime number?
True
Let z(d) = -9*d**3 - 2*d + 2. Let s(n) = n**3 + 6*n**2 - 2*n + 5. Let q be s(-6). Suppose -14 + 7 = 5*j + 2*g, -j - 5*g = -q. Is z(j) composite?
False
Is 15/12 + 17562/24 a composite number?
False
Let v = 23 - 16. Suppose 5 = -v*y + 8*y. Suppose -y*w + 751 + 224 = 4*z, 2*w - 407 = -5*z. Is w a composite number?
False
Let i(q) = -q**3 - 3*q**2 - 2*q - 1. Let z be i(-3). Suppose 5*h + z*p = -0*h + 315, -4*p = 2*h - 134. Let a = -8 + h. Is a a prime number?
False
Is 50404*2/12*(-3)/(-2) a composite number?
False
Let i(f) = 4*f**2 + 22*f + 10. Let u be i(-6). Is (u/4 + -4)*1546 a composite number?
True
Is (-214192)/(-14) + 54/(-126) a composite number?
False
Suppose 0 = -2*c - 3*s + 21 - 3, -3*c + 29 = 5*s. Suppose c*u = o + 226, -4*o - 199 = -3*u + 12. Suppose h - u = 4*x - x, 3*h + x = 271. Is h composite?
False
Suppose 0 = 4*z + 4*x, 7*x - 2*x = -2*z - 12. Let k(v) = -19 + 40 - 3*v - 28 + 42*v. Is k(z) composite?
False
Suppose 4*y - y + 6 = 0, 0 = b - y + 2. Let d be (6 - -1503)/((-6)/b). Suppose 0 = 4*s - 2*g - d, 2*s - 4*g = -8*g + 518. Is s prime?
False
Suppose 2 = -2*w, 0 = -i + 5*w + 1 + 5. Let n be 33/(4/(i*-8)). Let z = 461 + n. Is z prime?
False
Let m be ((14 + 0)*1 - 1) + 0. Suppose 154 = w - m. Is w prime?
True
Let o = 7923 - 5354. Is o prime?
False
Let l(f) be the third derivative of -7*f**4/12 - 59*f**3/6 - 29*f**2. Is l(-27) prime?
False
Let r = 31 - -39. Suppose -r = -6*d + 908. Is d prime?
True
Let i = 13 + -8. Suppose -i*u + 97 = -88. Suppose 56 = s - u. Is s composite?
True
Suppose 0*j + 5*j + 4 = -2*x, -10 = -5*j + 5*x. Suppose 2993 = 3*q - 2*i - 2*i, j = 4*q - 5*i - 3989. Is q composite?
False
Let q(d) = -3*d**3 - 13*d**2 + 27*d - 26. Is q(-17) composite?
True
Suppose 12*q - 16*q = 4*g - 32680, -2*q = 5*g - 40853. Is g a composite number?
False
Let c = 76125 - 44372. Is c a prime number?
False
Let w be ((-2103)/(-12))/((-5)/(-40)). Let n = w - -141. Is n composite?
False
Let x(j) = 7*j + 2. Let m be x(-4). Suppose 4*q = -0*c - 2*c - 90, -5*q = -3*c - 113. Let v = m - c. Is v composite?
True
Let c(z) = z**2 + 11*z + 22. Let k be c(-9). Suppose -3965 = -k*v + 4983. Is v composite?
False
Let z(c) = c**3 - 7*c**2 + 9*c - 15. Let i be z(6). Is (-2 + i)/((-7)/(-1337)) composite?
False
Suppose -r = -297 + 7. Suppose -r = -4*c + 546. Is c composite?
True
Is 3 - (-7)/(-2) - 2348/(-8) a prime number?
True
Is 8503 + 18/((-27)/9) prime?
False
Let r = 80 - 78. Suppose 2*h + w - 2352 = r*w, -2*h + 2332 = 4*w. Is h composite?
True
Suppose 5*m - 42713 = -0*b + b, -m = 4*b - 8551. Is m a prime number?
True
Let u(v) = v**3 + 8*v**2 - 2*v - 9. Let s be u(-7). Suppose p - 4*p = -5*n - s, 4*n = -2*p + 14. Let m = p + 10. Is m composite?
False
Let i = -1261 + 2130. Is i composite?
True
Let f = -83 + 35. Let a = f + 118. Let h = a + -47. Is h composite?
False
Let c be (-3 + 0)/((-18)/60). Let w = 126 + 296. Suppose -c*u + 11*u = w. Is u prime?
False
Let n(t) = 250*t**2 - 4*t - 3. Let j be n(-3). Suppose -6104 = -5*h - j. Is h prime?
True
Let a = 13918 + -8729. Is a prime?
True
Suppose 3*f + 3*n - 9513 = 9894, 5*f - 2*n - 32345 = 0. Is f prime?
True
Let x(w) be the second derivative of -w**5/20 - 2*w**4/3 - 2*w**3/3 - 3*w**2/2 + w. Let v be x(-8). Let k = v + 4. Is k prime?
False
Let t(n) = 2*n**2 + 2*n + 3. Let o be t(-2). Let b(j) = -31*j**2 + 6*j**2 + j**3 + 6 + 20*j**2 - 10*j. Is b(o) composite?
True
Let o = -1 - 0. Let i be (-98)/84 + o/(-6). Is i/(((-5)/(-431))/(-5)) prime?
True
Suppose 1770 = 2*l - 3*x, -l + 3*x + 3534 = 3*l. Suppose -3*y - 9583 = -10*y. Let n = y - l. Is n composite?
False
Let r = -15 + 14. Let q(i) = 2*i**3 - 7*i**2 - 4*i - 1. Let n(k) = k. Let j(o) = r*q(o) - 4*n(o). Is j(-3) a prime number?
False
Let d = 1404 + 2645. Is d composite?
False
Let r(x) = 192*x**2 - 2*x - 1. Let p be r(-1). Suppose 3*b - 4*b = 5*w - p, 5*b - 911 = 2*w. Suppose s = b - 4. Is s a prime number?
True
Let u = -36605 - -51584. Is u prime?
False
Suppose -54*p + 3*p = -44319. Is p composite?
True
Suppose -465807 = -0*f - 3*f. Is f composite?
False
Suppose -7*b = 3*b + 7760. Let i = 1455 + b. Is i a prime number?
False
Suppose 2*d - 22 = 176. Suppose -2*s + 19 = -d. Is s a prime number?
True
Let v = -6081 - -11403. Suppose 3*z = 4*x - v, 2*x