Let o be w(-1). Suppose o*x = -2*q + 98, -4*x + 3*q = -95 - 66. Suppose -i - 7 = -x. Is i composite?
False
Suppose -2*y + 5083 + 3375 = 0. Is y prime?
True
Let k(q) be the first derivative of 225*q**2/2 - 11*q - 7. Is k(4) a prime number?
False
Let u(q) be the first derivative of -q**6/30 - 7*q**5/60 + q**4/8 + q**3/6 + 5*q**2/2 + 2. Let m(y) be the second derivative of u(y). Is m(-7) a prime number?
True
Let j be 27/2 - (-6)/(-12). Let k = -10 + j. Is 86 + k/(-2)*2 composite?
False
Is (-88450)/(-14) + 180/(-210) composite?
False
Let n(x) = -10*x + 72. Let z be n(7). Suppose -z*g + 2*q + q + 1339 = 0, 2*g + 4*q - 1374 = 0. Is g composite?
False
Let g = 14 + -12. Suppose 3*b - 8797 = -5*u, -4*u + g*b + 7012 = -2*b. Is u a prime number?
False
Let s = -4 + 12. Let c = 6 + -4. Is s/c + 3132/4 composite?
False
Suppose -5*y + 2*y = -12. Suppose 1 = -y*t + 9. Suppose -481 = -t*x + x. Is x a composite number?
True
Let r(o) = o**2 - 3*o - 5. Suppose 4*c + 5 = -u, 5*u - 7 = -4*c - 0*u. Let p be (c + -3)/(-1) - -3. Is r(p) a prime number?
False
Suppose 0 = q + 3*r - 2710, -4*q = -2*r - 16301 + 5503. Is q composite?
True
Suppose -5*h + 0*h + 50 = 0. Let u(b) = -5*b**2 + h*b**2 + 8*b**2 + 3. Is u(4) composite?
False
Let q(j) be the third derivative of 19*j**6/120 + j**5/20 - j**4/8 - 4*j**2. Let f be q(2). Suppose 7*g - 9*g + f = 0. Is g composite?
False
Suppose 0 = 4*k + 3*f - 5204, -2*k + 807 + 1809 = -2*f. Suppose d + 7*d = k. Is d composite?
False
Let y = 593 - -17. Suppose -3*i = -y - 503. Is i a prime number?
False
Let g be 4 + 1/((-1)/1). Suppose -g*x - 2*o + 3409 = 0, -4*x - o + 4538 = -2*o. Is x a composite number?
True
Suppose -399501 + 124006 = -11*j. Is j composite?
True
Let q(d) = -35*d**2 + 5*d. Let j be q(4). Suppose 5*k - x + 1057 = 0, 1045 = -5*k - 2*x - 3*x. Let n = k - j. Is n composite?
True
Suppose 5*h - 2*h - 434 = 5*r, 3*r + 3 = 0. Is h a prime number?
False
Suppose -2*x - 6*x = 0. Suppose -4*o + 4*p + 1176 = x, -2*p - 3*p = 5. Is o a prime number?
True
Let w(o) = o**3 - 7*o**2 + 8*o - 6. Let z be w(6). Let q(h) = -h + 8. Let t be q(z). Suppose 0 = 3*x - t*x - 371. Is x prime?
False
Suppose 6*q - 1588 = 2*q. Suppose 0 = -5*h - 7487 + q. Let v = h - -2899. Is v a prime number?
True
Let x(i) = -i**2 + 53*i + 31. Is x(22) prime?
False
Suppose 0 = 5*h - 5. Let c be (17 + 2)*(2 - h). Let o = c - -36. Is o a prime number?
False
Let d(l) = -216*l - 79. Is d(-16) composite?
True
Let l(m) = 1. Let f(i) = -3*i + 17. Let n(w) = -f(w) - 2*l(w). Let t be n(15). Is (6 + 13)/(2/t) prime?
False
Is (-4)/(-2) - 8 - (96 + -7133) a composite number?
True
Let j(s) = -16811*s**3 - 3*s**2 - 5*s - 2. Is j(-1) a composite number?
False
Let a(q) = 15*q**2 - q + 1. Let t be a(1). Suppose -4*n - n = -t. Suppose 8*p - 15 = n*p. Is p a composite number?
False
Let m be 9/3 + 1*-5. Let r be (-19)/m + 3/(-6). Is r/(-3) + 2 - -140 prime?
True
Let t = 9114 + -923. Is t a prime number?
True
Let j(n) = -2*n**3 + 12*n**2 + 12*n + 29. Is j(-10) composite?
False
Suppose -v = -4*u + 16, v = 3*v - 4*u + 24. Let a be v*(2355/(-12) + 3). Suppose 505 = 7*j - a. Is j prime?
True
Let y = -2 + 2. Let b be 58/18 + (-5)/(180/8). Suppose -u + b*u - 290 = y. Is u prime?
False
Suppose -r - 5*k = -3*r + 9, 3*k = -3. Is (-178)/3*(3 - 21/r) prime?
False
Let z be 1 - (-12 - -3)*26/6. Let l = 77 - z. Is l composite?
False
Let q = -17 + 12. Let m(a) = 3*a**2 + 4*a - 8. Let f(j) = 3*j**2 + 5*j - 9. Let d(o) = -3*f(o) + 4*m(o). Is d(q) a composite number?
True
Suppose -10*h + 7*h - 48 = 0. Is ((-13479)/(-12))/((-4)/h) prime?
True
Let x = 28 + -20. Suppose -2*p = 2 - x. Suppose 2*m = -p*m + 1005. Is m a composite number?
True
Let l(y) = -29*y**2 + 5*y - 9. Let m be l(3). Let w = 632 + m. Is w a composite number?
True
Is (53661 - 0/8) + 4 composite?
True
Let k(a) be the first derivative of -5 + 5*a**2 + 3*a + 2/3*a**3. Is k(-7) a prime number?
True
Suppose 0 = -4*l - 8, -l - 5577 = -4*w - 2263. Let d = -239 + w. Is d a composite number?
True
Suppose 5*z = -5, -9 = -3*g + 2*z + z. Let s be (42/3)/(g/3). Let v = 170 + s. Is v a composite number?
False
Is 18162/8*5 + 2/(-8) composite?
False
Let t(v) = -2*v - 3. Let x be t(-4). Suppose 0 = -u - x*u + 13044. Suppose b + 1043 + 50 = f, 2*f - u = 5*b. Is f a prime number?
True
Suppose 3*r = -2*r + 4*s - 42, -4*s + 36 = -4*r. Is 6/(r/203)*-1 prime?
False
Let z(x) be the third derivative of 3*x**4/4 - 5*x**3/6 + 3*x**2. Let l be z(-6). Let u = l - -190. Is u composite?
True
Let v(q) be the second derivative of 5*q**4/6 + q**3/3 + 25*q**2/2 - 12*q. Is v(-11) composite?
False
Is 9/12 - (13801/(-4) + -6) a prime number?
True
Is (-18)/(-27)*-12 - -2431 prime?
True
Suppose -3*m - 5*b = -9882, -2*m + b = m - 9900. Is m prime?
True
Let h(l) = -231*l - 1. Let z be h(-4). Let p = -402 + z. Is p composite?
False
Let a be (-1)/((-8)/(-12))*-137*2. Suppose -5*f + 4579 = -a. Is f a prime number?
False
Suppose 249*s + 1366 = 251*s. Is s prime?
True
Let g = 23368 + -13821. Is g a composite number?
False
Suppose 8*r - 219111 = -5*v + 6*r, -4*v = r - 175290. Is v a prime number?
False
Suppose a = -4*w + 36955, 4*w - 36415 = 2*a + 543. Is w a prime number?
True
Suppose 73*h = 68*h + 56675. Is h a composite number?
True
Let w(a) = -a**3 + a + 1. Let m = 13 + -12. Let i(p) = -8*p**3 - 3*p**2 - 2*p. Let g(s) = m*i(s) - 5*w(s). Is g(-4) a prime number?
True
Let m(v) = -2*v + 14. Let x be m(6). Suppose -6*u = -u + 5, -2*c - x*u + 2 = 0. Suppose -8*g - 4*z + 169 = -3*g, c*g - z = 78. Is g composite?
False
Let h(r) be the third derivative of r**5/12 + r**4/12 - r**3 - 9*r**2. Let n be h(-9). Suppose -5*q + n = -2*q. Is q a composite number?
False
Let a(y) = -y**3 - y**2 - 10*y - 5. Let p be a(-12). Suppose 3*w - p = -4*i, 454 - 28 = i + 2*w. Suppose -2*g = -o - i, -g + 30 = -4*o - 175. Is g composite?
True
Suppose i + 2*c = -2, -5*i = -6*c + 2*c + 24. Is (-700)/(-8) + (-6)/i prime?
True
Let c(h) = -2*h**2 + 38*h + 2. Let u be c(19). Suppose z - 470 = 3*f, 5*z - f + u*f - 2366 = 0. Is z a prime number?
False
Is 5/((-40)/(-146664)) - 4 prime?
True
Is -9 + (-3 - -9) - (0 + -9794) a composite number?
False
Let k = 186 + -97. Is k composite?
False
Suppose -10*p + 8*p = -8. Suppose 3*h - 1465 = 4*u, -1481 = -p*h + h - 4*u. Is h a composite number?
False
Let x = -9 - -13. Suppose -x*q - 21 = -5. Is (-1 - 169)*q - 1 composite?
True
Suppose 0 = 3*h + 2*v - 25, -5*h = -3*v - 1 - 9. Suppose 11*o = h*o + 12. Suppose -3*r + 2*x = -493, r + o*r - 4*x - 497 = 0. Is r a prime number?
True
Is 116972/(-20)*(-25)/(-1 + 6) a prime number?
True
Suppose -5*j = -1390 - 595. Is j a composite number?
False
Suppose -231286 = 11*g - 22*g. Is g a composite number?
True
Let w(s) = 107*s**3 + 5*s**2 + 1. Let f(u) = 322*u**3 + 16*u**2 + 3. Let a(n) = -2*f(n) + 7*w(n). Is a(3) prime?
False
Suppose 3*j + 14 = 5*r, 0 = 5*j - 0*r - 5*r + 10. Suppose -3*g - 4*b + 451 = 0, -j*b + 294 = 2*g + 2*b. Is g composite?
False
Suppose r = -3*m - 2*r + 570, -189 = -m - 2*r. Is m prime?
True
Let n = -165 - -84. Let c be n/(-3) + (-4)/2. Let x = c - 11. Is x composite?
True
Is 8/2*-1*8202/(-24) composite?
False
Suppose 0 = -4*d - 5*m - 568 - 3101, -3*d - 2713 = -4*m. Let v = -378 - d. Is v prime?
False
Is (105/(-6))/7*(-2692)/10 a prime number?
True
Let y be ((-4)/5)/((-6)/30). Suppose -2*a - 674 = 4*r, 2*r + y = r. Let d = a + 648. Is d composite?
True
Is (-9)/39 - 54312200/(-650) composite?
False
Let h = 24 + -13. Let l(k) = -k**2 + 13*k - 24. Let c be l(h). Is (c/6)/(14/(-43722)) a composite number?
True
Let m = 3441 - -1145. Is m a composite number?
True
Suppose 4*s = -2*m + 13558, -4*m + 520 = 2*s - 6262. Is s a composite number?
False
Suppose -2*i + 30 = -4*q, -19 = -i + q - 3*q. Suppose -136 = -8*k + 264. Let v = k - i. Is v a prime number?
False
Let s be (4 + -1 - (-3 + 4)) + -3. Is (s + 8/6)/(8/42792) prime?
True
Suppose -2*a + 3 = 3*b, -b - a = -0*a. Suppose -b*y - d + 1402 = 0, -3*d - d = y - 482. Suppose -5*q - 2*w = -594, q - 5*q + 3*w = -y. Is q a prime number?
False
Let v = -7 + 8. Is -2 - v - (3064 + 4)/(-1) a prime number?
False
Let o be -2 - (53 - (7 - 3)). Let x = -99 - o. Let c = x - -233. Is c composite?
True
Is 2/(-9) + 528421/423 a prime number?
True
Let l = -1040 + 26781. Is l a composite number?
F