 3*o = -u. Let p(f) = 12*f**2 + 3*f + 7. Is p(o) a prime number?
True
Let z be (-6 + 11)/((-2)/(-2) - 0). Suppose -5*x + 4*j = 27, -z*j = 3 - 18. Is 3*4/x - -341 prime?
True
Let g = -1 + 0. Let l be (-712)/((-3)/(-3)) + g. Is 2/1*l/(-46) a prime number?
True
Is -153*(-57)/13 - 4/(-26) prime?
False
Let i = -34286 - 16521. Is (-20)/150 + i/(-15) composite?
True
Suppose -3*b = 3*j + 15, 3*j + b = -4*b - 19. Let p be (1 - j) + 0 - -605. Suppose y - 8*y = -p. Is y a prime number?
False
Let m(i) = i**3 + 9*i**2 - 12*i + 15. Let j(v) = v**2 - v + 1. Let x(w) = 6*j(w) - m(w). Let g be x(2). Let o(d) = -17*d + 28. Is o(g) prime?
True
Suppose -13825*d = -13829*d + 212564. Is d composite?
True
Let r = 125 - -70. Let p = -29 + r. Suppose -h + p = h. Is h a prime number?
True
Let f(r) = -1823*r + 8. Let h(o) = 3645*o - 17. Let b(a) = -9*f(a) - 4*h(a). Is b(1) composite?
False
Let f(w) = -152*w - 19. Suppose -5*n + 0*n - 15 = 0. Is f(n) composite?
True
Let s(y) be the first derivative of y**4/4 - y**3/3 - y**2 + 55*y - 2. Let t be (1 - (-36)/(-44)) + (-2)/11. Is s(t) prime?
False
Let v = 97658 - 54753. Is v a prime number?
False
Suppose -15*m + 2*m = 198299 - 705156. Is m a prime number?
False
Suppose 0 = -403*z + 386*z + 1549363. Is z a composite number?
False
Let n(m) = -2712*m + 134. Let w be n(-53). Is w/12 + 81/(-486) prime?
False
Suppose 2*o - 8*r - 116298 = -12*r, -r = -5*o + 290756. Is o prime?
True
Suppose 8*s - 5*s = 4*z + 143227, 2*s - 5*z - 95494 = 0. Is s a prime number?
True
Let n be (-37)/(0 + (-2)/(-26)). Let x = n + 239. Let s = 275 - x. Is s a composite number?
True
Let j(v) = 2*v**2 + 52*v + 141. Let d be j(-23). Let f(n) be the first derivative of 282*n**2 + n + 1. Is f(d) composite?
False
Suppose 5 = -56*r + 57*r. Suppose -r*v = -o + 1994, 21*v = -5*o + 26*v + 9970. Is o a composite number?
True
Suppose -m + 1493 = 2*h, h + 3*h = 4*m + 2992. Let f = h - 218. Is f prime?
False
Let z be 5/(5/3)*(-44)/(-33). Suppose -z*f + 24470 = -r, 0 = f + 6*r - 4*r - 6122. Let t = f - 2525. Is t prime?
True
Let j = 219 + -215. Let q(k) = k**3 - k**2 - 1. Let y(s) = -4*s**3 - 3*s**2 - 3*s + 4. Let w(u) = -5*q(u) - y(u). Is w(j) prime?
False
Suppose -t = -4*q - 86873, 3*q - 38671 = t - 125541. Is t a composite number?
False
Let q = 12 + 0. Let j(z) = -8*z - 22. Let b be j(q). Let s = b + 464. Is s a composite number?
True
Let g(u) = -u**3 + u + 2479. Let z(k) = -2*k**2 - 23*k - 56. Let q be z(-8). Is g(q) prime?
False
Suppose -5*i + 4 + 21 = 0. Let p be (-12)/(-30) + (-15332)/i. Is p/(-10) - (-12)/30 composite?
False
Suppose 2*r - 52 = -3*r - 2*d, -4 = -4*d. Let q be (-140884)/r - (6 + 64/(-10)). Is ((-4)/6*1)/(16/q) prime?
True
Let g(z) = 7*z**2 - 48*z - 56. Let u be g(-18). Let h = 9675 - u. Is h prime?
True
Suppose k + 5383 = 3*m, -4*k - 2270 - 3098 = -3*m. Suppose v = -3*s + 5281, m - 49 = s - 3*v. Is s prime?
True
Let v = -103 - -711. Let r = -127 + v. Is r prime?
False
Suppose -5*s + 309 = 294. Suppose -3504 - 11733 = -s*f. Is f a composite number?
True
Suppose 10 = 4*x - 22. Let o be ((-36)/x)/(3/(-234)). Let p = o - 245. Is p composite?
True
Let n = 2352 + -765. Let d = 2798 + n. Is d composite?
True
Let p = 692 - -1859. Is p a prime number?
True
Let h(q) = q + 3. Let d be h(0). Suppose d*v + 1 = -4*g - 1, 0 = -3*v + g + 8. Let z(r) = 257*r**3 - 2*r**2 + 3*r - 3. Is z(v) prime?
False
Suppose 11*g + 4 = 12*g. Let v(q) = 113*q + 4 - 1 - 75*q - 6. Is v(g) prime?
True
Suppose g = -4*g + 10. Suppose 2*n + 8 = g*r, -3*n + 2*r = -8*n + 8. Suppose n = 10*d - 8*d - 14. Is d prime?
True
Suppose -3*q + 2*g = 241867 - 1054378, 2*q - 541694 = -2*g. Is q composite?
False
Let l(w) = w**3 - 17*w**2 + 33*w - 2. Let f = 18 - 14. Let v be f/(4/19) - 4. Is l(v) a prime number?
True
Is 2624/(-984)*(-1158429)/8 prime?
True
Let j(s) = -s**3 + 5*s**2 + 7*s - 1. Let y be ((-9)/(-3)*-1)/((-6)/12). Let n be j(y). Suppose 17577 = n*v + 4162. Is v a prime number?
True
Let l be 3/5*5 + 8073. Suppose l = -0*c - 4*c. Is (c/9)/(1/(-3)) prime?
True
Let g be (-2)/(-2) - (41 + 191). Let z = g - -440. Is z composite?
True
Suppose 205 = 3*l - y, -3*l + 3*y - 269 = -7*l. Suppose -22*g = l - 4710. Is g composite?
False
Suppose -4*h + 2*w = -380056, -2*w + 285291 + 284793 = 6*h. Is h a composite number?
True
Is -21*19/133 + 71422 + -3 + 1 composite?
True
Let j(y) = 154*y**2 - 2*y + 1. Let c = -39 - -41. Let u be c/12 + 50/(-12). Is j(u) composite?
False
Suppose 3*n + d = 6*d - 5, 0 = 3*n - 4*d + 1. Suppose 683 - 15238 = -n*w. Is w a composite number?
True
Let c(u) be the third derivative of -9/2*u**3 + 0*u - 31/12*u**4 + 7*u**2 + 0. Is c(-12) a prime number?
False
Let f be (114360/(-32))/(3/(-16)). Suppose -74*i + f = -70*i. Is i composite?
True
Let d be (610/4)/((-25)/(-20)). Let r = d - -3421. Is r a composite number?
True
Let j(d) = 27*d + 8. Let n be (14 - 18)*(-2)/8. Is j(n) a prime number?
False
Let k be 0 + 2*(-4 - -33). Suppose 0 = -59*f + k*f - 680. Let p = 999 + f. Is p a prime number?
False
Let u = 658 - 432. Let m = u - 147. Is m a composite number?
False
Let m be ((-572)/(-33))/(2/5034). Suppose -m = -9*y + 5*y. Is y composite?
True
Let c be -2 + 5 + -1*(-3)/(6 + -3). Let a be (5/(-3) - -1)*-3. Suppose -31 = -u - a*z, -c*u + 0*z - z + 89 = 0. Is u a composite number?
True
Let z(y) = 18 + 11*y + 3*y**2 - 7*y**2 + 24*y**2 + 3*y + y**3. Let g be -3 + (-3 - (8 - -3)). Is z(g) a prime number?
True
Let v(q) = -36323*q - 1138. Is v(-19) a composite number?
False
Suppose -10*v - 10824730 - 3755548 = -176*v. Is v prime?
True
Let k = -21 - -17. Let t be (4156*-2)/(26/k - -6). Is 2/(0/(-2) + 32/t) a prime number?
True
Let r(g) = -g**3 - 2*g**2 + 3*g + 2. Let h be r(-3). Let p be h + ((-12)/(-4) - 1*2). Suppose 5*x - 2*a - 17523 = 0, p*x + x = 3*a + 14024. Is x a prime number?
False
Suppose -5*n - 15 = -2*n, f - 2*n = 12. Suppose -d + f*y - 16806 = -0*y, -2*y = 4*d + 67174. Is d/(-12)*1 - (-4)/(-6) a prime number?
True
Suppose -23*w + 56268232 - 8701173 = 0. Is w a prime number?
True
Let c(h) = 191*h. Let j(z) = 2*z + 1. Let w(q) = 5*c(q) - 15*j(q). Is w(2) prime?
False
Let a = -135 + 67. Let t = -64 - a. Suppose -t*i - 1671 = -n - 0*n, 0 = -2*n - 3*i + 3397. Is n composite?
True
Let g(t) = 19*t**2 - 79*t + 1045. Is g(34) a prime number?
True
Let c(x) = -782*x**3 - x + 0*x**2 + 2558*x**3 - 2*x**2. Let r be c(-2). Is r/(-12) + 3/2 composite?
True
Let c(d) = 195*d**2 - 2*d + 97. Is c(18) composite?
False
Is (1*(-88621)/78)/((-2)/12) prime?
False
Let l = 9138 - -1780. Suppose 3*s - l = -n, -3*n + 40025 = s + 7311. Is n composite?
False
Suppose -591 - 396 = -3*x. Is (-2)/(-14) + 5763704/x a composite number?
False
Let n = 103969 + -72610. Is n a composite number?
True
Let c = 135 - 131. Let k(g) = 3486*g + 7. Is k(c) prime?
False
Suppose 6094 = 4*h - 5*w + 393, -3*h - 5*w = -4232. Suppose 2796 = 3*u - h. Is u composite?
True
Let o = 1032420 - 559897. Is o a composite number?
False
Let v(x) = -74*x**3 + x**2 - 4*x + 12. Let c be v(-8). Let z = c + -17547. Suppose -26156 = -15*n + z. Is n a composite number?
True
Let l be 9 + (1 - 6/3). Is (-6 + 52/l)*(1223 + -1) a composite number?
True
Let j(k) be the first derivative of -k**4/4 - 11*k**3/3 + 6*k**2 + 5*k + 12. Let y be j(-12). Suppose -s + 79 = y*b, 2*s + 4*b = b + 179. Is s prime?
False
Let v be (-77288)/(-6) + (-4)/12*-2. Suppose 0*w - 3*w + 3*h + 38646 = 0, w + h - v = 0. Suppose -u - w = -7*u. Is u a prime number?
False
Suppose 7*b = b + 12. Let r be -5 + 1 + b - -4. Is (-1012)/(-4) - (0 + r) a composite number?
False
Let c be (-1 - (-2)/(-4))*228/(-18). Suppose -4*j - j + 39 = 2*d, 3*j - d - c = 0. Is -5 + j + (-1856)/(-2) + 3 prime?
False
Let f be ((-120)/90)/(2/1677). Let a = f + 3163. Is a composite?
True
Suppose 35*j + 720905 = 40*j. Is j composite?
True
Let t be 9/(-6)*(-3 + (-26)/(-6)). Let g be (-5)/((-5)/(-2))*5/t. Suppose 0 = -g*u + 3*u + 668. Is u prime?
False
Let a(z) = 35*z**3 - z**2 + 4*z - 5. Suppose 3*m - i = -2*m + 130, 5*m = 5*i + 110. Suppose -7*s = 2*s - m. Is a(s) a composite number?
True
Let y(k) = -25302*k + 245. Let v be y(-7). Suppose 969*m - 962*m - v = 0. Is m prime?
False
Let j(o) = 4*o**3 - 8*o**2 - 39*o + 9. Let m be (-16)/(-2) + (3 - 1). Is j(m) composite?
False
Let r(l) = -224*l + 67. Suppose -52 =