2*k - 17*k = 384325. Is k composite?
False
Is (9 - -2) + (78584 - -162) a prime number?
False
Let g be (4606/10 - -1)*(38 - 43). Let p = g + 7125. Is p a composite number?
False
Let l(u) = 284*u**2 + 57*u + 919. Is l(-18) composite?
False
Let b(c) = 169*c - 12. Let n(l) = -2 - 3 - 36 + 4*l. Let s be n(12). Is b(s) prime?
True
Let s = -842 - -722. Is 24894*(-12)/s + (-2)/5 a composite number?
True
Let j(n) = n**3 + 6*n**2 - 7*n + 5. Let k be j(-7). Suppose 15 = -x + 4*x, 370 = 5*s - k*x. Is s a prime number?
True
Suppose 11*w + 14*w - 211800 = 0. Let y = w - 5903. Is y a composite number?
True
Let q(y) = -3*y**2 + 47*y + 21. Let z be q(-20). Let k = z + 4824. Is k composite?
True
Suppose -17 + 5 = -3*j, 3*j - 17 = -y. Suppose -17 = -4*r - y. Is 442*r/(-6)*-1 composite?
True
Suppose -18*p - 5*p + 2093 = 0. Is 2227 + (-13)/(p/(-28)) composite?
True
Let f(q) be the second derivative of 0 - 3/2*q**2 + 5/3*q**3 - 23*q + 1/12*q**4. Is f(4) a prime number?
True
Let b(y) = y**3 + 40*y**2 + 40*y + 44. Let r be b(-39). Is (-15)/6*(-662)/r composite?
False
Let q = 49 - 44. Suppose 5*b + q*f - 1315 = 0, 520 = -2*b + 4*b + 4*f. Suppose n + 3*m - 74 - b = 0, m = -5. Is n a composite number?
True
Is 138/(-621) - (-2001442)/18 a composite number?
False
Let g(t) = -513*t**2 + 17*t + 35. Let l(a) = 514*a**2 - 15*a - 35. Let p(s) = 3*g(s) + 4*l(s). Is p(-3) composite?
True
Let s = 401749 + 312678. Is s a composite number?
True
Let t(m) = 116*m**2 - 17*m + 36. Let g be t(9). Let y = g + -6352. Is y prime?
True
Suppose v + 4*u = 116, 7*u - 91 = -v + 8*u. Let y = -93 + v. Suppose -15*o = -y*o - 45996. Is o a prime number?
True
Let t(p) = 103*p**3 - 2*p**2 + 14*p - 19. Is t(6) a composite number?
True
Is (-3 + 1)*(2/10 - (-66118990)/(-700)) a composite number?
False
Let s(j) = 2*j**2 - 15*j + 23. Suppose -4*x - 3 + 5 = 2*c, 0 = 3*x + 15. Let q be s(c). Is 4/10 - (-12660)/q a composite number?
False
Let d be -1 + -1229*(-2 - 11). Suppose -m = 4*y + 2*m - d, y - 3975 = 4*m. Is y a prime number?
False
Suppose 8*i = -6*i - 51310. Let z = -1726 - i. Is z prime?
False
Let f = 1505 - 783. Suppose -2*l + f = -1012. Suppose l = 2*v + v. Is v a composite number?
True
Suppose -7 = -4*v + 3*i, 18 = -4*v - i + 37. Is (8664/(-36) - v)*66/(-4) a composite number?
True
Suppose 4*o = -7*r + 12*r - 23, -1 = r + 2*o. Suppose r*b = 9, 0 = 2*s + 4*b - 23710 + 1272. Is s composite?
False
Let l = 15 + -14. Suppose 19 = x + 4*x + 3*f, -f + l = -x. Suppose -3*m + m = 3*d - 119, -x*m = -5*d + 193. Is d composite?
True
Suppose 5*x - 3*h = 1056, -8*x + 13*x - 5*h - 1060 = 0. Let k(o) = 354*o**3 + 2*o**2 - o. Let i be k(1). Let c = i - x. Is c a prime number?
False
Let r(h) = -4*h**2 - 31*h - 1. Let m be r(-7). Suppose 16581 = m*j - 3599. Is j a prime number?
True
Let r = 402277 + -145446. Is r prime?
True
Let z(n) = 2*n**2 - 4*n + 43. Let x(k) = -2*k + 11 + 30 - 10 + k**2 - 9. Let r(u) = 13*x(u) - 6*z(u). Is r(15) a composite number?
False
Suppose 4*a + 2642 = -x - 53175, -3*x = 3*a + 167406. Let h = -21214 - x. Is h composite?
False
Suppose -732692 = 5*p - 2*b, -3*p = -4*p + 4*b - 146542. Is p/189*(1 + 5/(-2)) a composite number?
False
Let c(l) = 4*l**2 - 8*l - 58. Suppose 0 = 4*u + 115 - 11. Is c(u) a composite number?
True
Let s(u) = -u**3 - 59*u**2 + 254*u + 79. Is s(-72) composite?
True
Let d(w) = -920*w + 14. Let t be d(-2). Suppose 5065 = 17*j - t. Is j composite?
True
Let f(j) = 3*j**2 + 49 - 47 - 6*j**2 + 3389*j**3 + j**2. Is f(1) composite?
False
Let b = 735 - 406. Let p be (3 - 15/4)/(6/(-16)). Is b/14*-3*(0 - p) composite?
True
Suppose 23*v - 78 = 22*v. Let o = -75 + v. Suppose -o*a + 8*a - 295 = 0. Is a composite?
False
Suppose 5*j - 8719 - 1481 = 0. Let u = 3191 - j. Is u composite?
False
Suppose 2*p - 1976 = 29*a - 28*a, 3*a + 988 = p. Let z = p - -1449. Is z a composite number?
False
Suppose 0 = -3*g + 39 + 33. Suppose -16 = -g*w + 22*w. Suppose w*o - 2100 = 7268. Is o a composite number?
False
Suppose -2*m - 15 = 5*p - 4, -3*m = 2*p. Suppose -m*j + j = 247. Let r = j + 950. Is r a composite number?
True
Let z(l) = -2*l**3 + l - 408. Is z(-25) a prime number?
True
Let q(s) = 0*s - 13 + 7 + 25 + 33*s**2 + 3*s. Is q(-4) prime?
False
Let c be (1 - 0 - 0)*(37 - 2). Suppose 2*n - 15 = 5*h, 2*n = -8*h + 3*h - c. Is n - -3 - -2 - -2413 a prime number?
False
Let y = -29726 - -16781. Let f = y + 45404. Is f a prime number?
False
Let x(u) = 29*u + 80. Let h be x(-3). Let k(w) = -54*w**3 - 7*w**2 + 7*w - 11. Is k(h) composite?
False
Let u = 147 + -181. Let q(w) = -3*w**3 - 94*w**2 - 24*w + 17. Is q(u) composite?
True
Suppose -2*k + 3*b + 6322 = 4*b, -k + 3170 = -4*b. Is k - (-1 - (3 - 3)) prime?
True
Let y = 66 - 67. Let c be 4 - (y + (1 - -1)). Suppose -2172 = 3*p - 6*p - c*l, 2*l = -3*p + 2171. Is p composite?
True
Let k = 134 + -124. Let y be 3/(-30) + 41/k. Suppose -2*h - y*d = -10530, 4*h - d - 21040 = -4*d. Is h a prime number?
False
Suppose 3*x = -5*x + 3*x. Suppose 0 = -x*p + 13*p - 41119. Is p a composite number?
False
Suppose -10728 = -4*j + 5*n, 7*j - 10728 = 3*j - 2*n. Suppose j = 6*r - 4164. Is r composite?
True
Suppose 36*w = 30*w + 547062. Is w a composite number?
True
Let t be -10 + (-24)/(-6) + (-2)/2. Is (1/(-21)*t)/((-2)/(-11586)) a prime number?
True
Let w be 6/(-14) - (-301600)/224. Suppose 24*f = 26*f - w. Is f a composite number?
False
Let l be 5 + -1 + -4 + 5. Suppose -2*a + l = -1. Suppose a*i = 4368 + 909. Is i a prime number?
True
Is 8 + (-11)/((-44)/970212) composite?
True
Suppose -2*f - 9*i = -4*i - 14200, 0 = -3*f - 3*i + 21282. Suppose 17709 = 5*r + 2*q, 4*q = r - 3*r + f. Is r a prime number?
True
Let o(d) = -121*d**3 - 4*d**2 - d + 2. Let z be o(-2). Suppose -i - 5085 = 8*i. Let v = z + i. Is v composite?
True
Let m(q) be the first derivative of 91*q**2 + 13*q + 101. Is m(15) composite?
True
Let q(c) = 7*c**2 + c - 5. Let j = -48 + 49. Let w(h) = 3*h + 3. Let m be w(j). Is q(m) prime?
False
Let h(w) = 2*w**3 + 64*w**2 - 55*w - 46. Let a be h(-32). Let p = -13 - -18. Suppose -p*v = -2*c + 8331, 4*v = -3*c + a + 10725. Is c composite?
False
Let z(t) = -2*t - 7 - 3 - 6 - 4*t. Let g be z(-3). Suppose -g*w = w - 318. Is w a prime number?
False
Let w(o) = -o - 15. Let h be w(-11). Is (4600/35 - h)*7 + 1 a composite number?
True
Suppose -7*p = -10*p - u + 1566948, 3 = -u. Is p composite?
False
Suppose 5*h - 6 = 4. Suppose -h*t = 2*c + 24, -5*c - 58 = 3*t + t. Let p = c - -63. Is p a composite number?
False
Let m be (24/(-15))/(5/(-13025)). Let k = m - -9201. Is k a composite number?
True
Suppose -s + 7*s = 18. Suppose 0 = b + s*u + 12, 2*b + 7*u + 16 = 3*u. Suppose -5*z - k + 3231 = b, 4*z - z + k = 1937. Is z prime?
True
Let j = -90915 + 129442. Is j a composite number?
True
Suppose 7*x = 3*x, 5*s = 3*x + 10. Suppose 0 = 2*k + 5*b - 1349, s*k + 104 = 3*b + 1461. Is k prime?
True
Let n be ((-4)/(-12) + (-4)/3)*-2. Suppose 0 = n*z + 2*k + 1834, -4*z - 3*k + 2733 = -7*z. Let x = 1497 - z. Is x a prime number?
True
Is (-13 - (-196230)/5) + 14 prime?
False
Let g(q) = -q**3 + 11*q**2 - 12*q - 8. Let o be g(10). Let m = o + 25. Is ((-3)/9)/(m/(-18)) - -2155 composite?
False
Is 1182016/46 - (0 + 3/1) prime?
True
Is 5 - ((-8740)/(-15))/(1 + (-161)/159) a prime number?
True
Suppose -2*l - z + 225 = 3*l, -2*l + 90 = -z. Is 279330/l + (-10)/(-6) prime?
False
Let p(u) be the first derivative of -u**4/4 + u**3/3 - u - 12. Let g be p(-1). Is -11 + 14 - (-141 + g) a prime number?
False
Let l be (-10 - 132)/(3/6*-4). Let y(c) = c**3 + c**2 + c + 824. Let i be y(0). Suppose 5*n - l = i. Is n prime?
True
Let h be 18887/(-4) - 105/(-140). Suppose -4*p + 8 = -2*p, -8030 = 5*u - 5*p. Let b = u - h. Is b prime?
True
Let u be (-29 - 1)/(3/16). Let c = 2867 + -1856. Let i = u + c. Is i prime?
False
Let s = 134125 + -60726. Is s prime?
False
Suppose -3*x - 622 = 4*u, 0 = -2*x - 2*u + 6*u - 448. Let l = x - 92. Let f = l + 773. Is f prime?
True
Let o(b) = b**3 + 19*b**2 + 12*b - 12. Let j be o(-18). Let c = j + -102. Let a(w) = -w**3 - 5*w**2 - 15*w + 1. Is a(c) composite?
False
Let i = -12905 - -20474. Suppose -3*j = -h + 8324, 4*j + 3525 = -h - i. Let q = 4001 + j. Is q a prime number?
False
Let a = 4 - -1. Suppose 0 = -a*j + u + 385, 0 = 3*j - 2*j + 4*u - 77. Suppose 61 = v - 3*r, 