mposite number?
False
Suppose -15*n = -4180 - 860. Let s(x) = 120*x + 1. Let q be s(-2). Let f = n + q. Is f prime?
True
Suppose 3*a + 12053 = 8*a + 3*z, 0 = -2*a + 3*z + 4838. Is a composite?
True
Suppose 25*r - 355841 = -137916. Is r a prime number?
False
Is (9 - 13 - 6)*(-43647)/6 composite?
True
Let w = 4034 - 1387. Is w prime?
True
Let h = -20298 - -38075. Is h a composite number?
True
Suppose 8*m = 3*m + 3*z + 26317, -3*z = -3*m + 15795. Is m composite?
False
Is 2/12*-1 - (-124376)/48 prime?
True
Suppose 3*m = 402 + 777. Suppose -8*i + 7*i = -m. Is i composite?
True
Suppose -19 + 73 = -2*y. Let c = 90 + y. Suppose -14 = -o + c. Is o composite?
True
Let l(j) = j**3 + 17*j**2 + 22*j + 20. Let b be l(-14). Suppose -q = -b + 943. Let w = q - -950. Is w a composite number?
False
Let c(u) = -2*u**3 + 8*u**2 - 3*u + 2. Let b(r) = r**3 - 9*r**2 + 4*r - 3. Suppose -5*k + 7 + 13 = 0. Let j(a) = k*c(a) + 3*b(a). Is j(-6) prime?
True
Let g(n) = -n - 4. Let w = -6 - -6. Let x = w - 7. Is g(x) composite?
False
Let w(a) = 2172*a**2 - 13*a + 12. Is w(1) a prime number?
False
Suppose 6*z = -36251 + 276521. Is z prime?
False
Suppose 7*a = 8*a - 4*r - 665, 2*a - 1350 = 4*r. Is a a prime number?
False
Let i = 82661 + -23970. Is i composite?
True
Suppose -2*v = -12*t + 11*t + 12367, 24758 = 2*t + 4*v. Is t a composite number?
False
Let r be (-8)/44 - 890/(-55). Is ((-1399)/(-4))/((20/r)/5) a composite number?
False
Let t(x) = 419*x - 139. Is t(12) a prime number?
True
Suppose -21073 = -10*j - 3*j. Let g = j + -612. Is g composite?
False
Let h = -1 + 1. Let z(l) be the third derivative of l**4/24 + 149*l**3/6 - 65*l**2. Is z(h) a composite number?
False
Let h(u) = 260*u**2 - 3*u + 13. Let z be h(3). Suppose 16*s - z = 8*s. Is s composite?
False
Is 26/26 - (-6975 - (-1 - -2)) composite?
False
Let j = -54 - -57. Suppose -j*i + 666 = -825. Is i a composite number?
True
Let u(w) = 2*w**2 - 16*w + 11. Let h(m) = 2*m**2 - 16*m + 11. Let v(l) = 6*h(l) - 5*u(l). Is v(-12) prime?
True
Is 4*-1*35753/(-4) a composite number?
False
Let r(u) = -u + 12*u - 5 + 12*u - 6. Let t be 6/(1*1/1). Is r(t) a prime number?
True
Let z(h) = -2*h + 9. Let l be z(5). Is l + -3 + -2 + 985 composite?
True
Let h be ((2 - 0) + -4)*-5. Let o be h*(1 - (-6)/(-4)). Is -1 - (-16 - (3 + o)) a prime number?
True
Suppose -7299 = -u + 2*p - 0*p, 4*p + 29192 = 4*u. Is u prime?
True
Let h = 16 - 14. Let o be (2 - h) + -2 - -156. Suppose 0 = -2*j - 3*l + o + 147, l = -5*j + 746. Is j a composite number?
False
Suppose 5*r + 80 - 5 = 0. Let i = -21 - r. Is ((-381)/i)/((-3)/(-6)) prime?
True
Let j = 3 - 0. Suppose -j*w - 220 = -7*w. Is w prime?
False
Let c = 806 - -706. Suppose -2*j - 3*a = -7*a - 3052, -j - 5*a = -c. Is j prime?
False
Let j = -4893 + 7124. Is j composite?
True
Let t = 24 + -23. Suppose -4*x + 3775 = -4*i + i, -i = t. Is x a composite number?
True
Let f(a) = -35*a + 1. Let v(t) be the second derivative of 6*t**3 - t**2/2 - 7*t. Let r(y) = -6*f(y) - 7*v(y). Is r(-5) a prime number?
True
Suppose -119 = -10*b - 39. Suppose -6*s = -b*s + 4866. Is s prime?
False
Let l(a) = 4*a**3 - 5*a**2 - 12*a + 11. Let s be l(5). Let n = 5 - -1. Is (-4)/(-6) + s/n a composite number?
True
Suppose 0 = q - 3 - 0. Suppose -4*k = -2*j + 17 + 11, -2*j + q*k = -23. Suppose 65 = j*u - 19. Is u composite?
True
Let u(w) = 3*w**2 - 10*w**2 - 1 + 133*w**2. Suppose -11*c = -9*c - 4. Is u(c) prime?
True
Let o be 3*3/(-12)*-4 - 0. Suppose g + 4965 = 5*r - 2*g, -o*r + 2979 = 3*g. Is r a prime number?
False
Is 5520/18 - 1*4/(-12) composite?
False
Suppose r - 2 = 4. Suppose -7 = r*c + 17. Let f(a) = -3*a**3 - 3*a**2 - 3*a + 5. Is f(c) prime?
False
Let d(q) = -q**2 - 6*q - 7. Let b be d(-3). Is 10*109 - -3*b/6 a prime number?
True
Let s = -74 + 32. Is s/105 + 1467/5 a prime number?
True
Let g(n) = 35*n**2 - 307*n + 61. Is g(25) prime?
False
Suppose -v = 76*v - 1480787. Is v composite?
False
Is 139/(7*(-2)/(-182)) a prime number?
False
Is 2 + -12 - -153*271 prime?
True
Let w = -76 - -76. Suppose -3*v + 369 = x - 78, 3*v = w. Is x composite?
True
Suppose 0 = 4*v + j - 21 - 5, -3*j + 15 = 3*v. Suppose -v*b + 4*b - 1016 = -2*r, 4*r = b + 2042. Is r prime?
False
Let l(n) = -120*n + 1. Let a(r) = -480*r + 4. Let y(s) = 2*a(s) - 9*l(s). Is y(1) a prime number?
False
Let k(u) = -u**3 - 13*u**2 + 6*u + 127. Is k(-26) prime?
False
Let k = 688 + 3369. Is k prime?
True
Suppose -5*x + 3*i = 2*i - 94, x - 26 = 2*i. Is (-12656)/(-63) + 2/x a composite number?
True
Suppose 0 = 2*f - 3*f + 2*i + 3, 0 = -4*f - 4*i + 24. Is (762*(f - 4))/((-2)/(-1)) a prime number?
False
Suppose o + 4 = -n + 2*n, -4*n - 3*o - 12 = 0. Suppose -5*d + 20 + 10 = n. Suppose -d*q = -447 + 117. Is q a composite number?
True
Suppose -2*w = -w - 3*k - 11, 2 = -k. Suppose 0*n = n - w. Suppose 18 - 68 = -n*s. Is s a composite number?
True
Let i(l) = 243*l**2 - 5*l - 28. Let t(m) = -121*m**2 + 2*m + 14. Let k(f) = 3*i(f) + 5*t(f). Is k(-3) a prime number?
True
Let t(r) = 2*r**2 + 17*r - 5. Let z = 21 + -30. Let p be t(z). Is p/14 - (-39352)/56 composite?
True
Let a(d) = -622*d**3 - d. Let p be a(-1). Let m = p - 349. Is m composite?
True
Let u be (7/2)/(22/(-528)). Let s = 821 + u. Is s prime?
False
Suppose -5*f - 3*w = -2*w + 35, 3*w = 0. Let n = 10 + f. Suppose -m + 124 = n*m. Is m a composite number?
False
Is (-2781918)/(-144) + (1 - 21/24) prime?
True
Let w(i) = 9*i**2 + 59*i - 7. Is w(15) prime?
True
Suppose 6*x - 2*x = 40. Let f(g) = -g**3 + 10*g**2 - 7. Let t be f(x). Is (t + 1368)/(2 - 1) a prime number?
True
Let y = 1128 - -3419. Is y a prime number?
True
Let d(t) = 7*t**2 - 6*t. Let f(y) = -14*y**2 + 12*y - 1. Let w(j) = 13*d(j) + 6*f(j). Let x be w(-5). Suppose x = s - 0*s. Is s composite?
False
Suppose 5*b = -2*x + 27, 2*x = -2*x - 4*b + 72. Let c be (-4)/(-7)*x/6. Suppose -j = -c - 5. Is j a prime number?
True
Let f(b) be the second derivative of -b**4/12 - b**3 + 7*b**2/2 - 5*b. Let a(v) = 1. Let o(g) = -3*a(g) - f(g). Is o(12) a prime number?
False
Suppose -41 = t - 128. Let l = t + -48. Is l a composite number?
True
Suppose -5*n + 2 = -4*y, 4*y = n - 0*y + 6. Suppose -5*q + 3*o = -6242, 0*o = 2*q + n*o - 2500. Is q a prime number?
True
Suppose -2*c = -2*b - b - 28, -5*b = -c + 56. Is 23 + 7/(21/b) prime?
True
Let w = -16 + 16. Let g(s) = 29*s**2 - s - 1. Let t be g(-3). Suppose w = -2*n + 3*n - t. Is n composite?
False
Suppose 639*p - 638*p - 17339 = 0. Is p prime?
False
Let d = -1666 + 3845. Is d a prime number?
True
Suppose -5*k + d = -4*d - 100390, -k + 2*d = -20079. Is k a prime number?
False
Let v(b) = -6*b**3 - b**2 - b - 9*b**3 - b + 2 - 4*b**2. Let s be v(-3). Let y = -207 + s. Is y prime?
False
Let t be (4 - 12)/(-2) - -799. Let q = t + -312. Is q prime?
True
Suppose -k = 5*b - 3160, 3*b + 10*k - 5*k - 1918 = 0. Is b a composite number?
False
Let x = 2305 + -1559. Suppose 5718 - x = 4*w. Is w prime?
False
Let z = -7 - -6. Let o be (2 - (-47 - z))*1. Suppose -5*m + 203 = o. Is m a prime number?
True
Let l be 2/(-4)*-10 + 0. Suppose 16 = j + 2*r - 15, -5*j = l*r - 165. Let o = -20 + j. Is o a prime number?
False
Suppose 57*v - 2552 = 86*v. Suppose -3*x + 3*z = 20 + 76, -3*x - 5*z = 136. Let p = x - v. Is p a composite number?
True
Let c = -2 + 14. Let i be (1/(-2))/((-10)/240). Is (-9)/i - (-1245)/c composite?
False
Suppose -29379 = -6*u + 26763. Is u a prime number?
False
Let q be -2 + -3108*(3 + -4). Let h = 5201 - q. Is h prime?
False
Let k = 731 - 350. Is k composite?
True
Let m(b) = 145*b + 1. Let o(r) = r - 1. Let j(h) = -m(h) - 4*o(h). Let a be j(-3). Is a/8 - 6/(-8) a composite number?
True
Is ((-6)/96*-4)/((-4)/(-78224)) prime?
True
Let r = 43 + -23. Let s be (r + -8)*1/2. Let v(o) = 2*o**3 - 8*o**2 - o - 11. Is v(s) a prime number?
True
Suppose 0 = -v - 1204 + 9. Let y = -562 - v. Is y prime?
False
Suppose -3*b = -b - 4. Suppose b*v - 3*i = -i + 462, 3*i - 442 = -2*v. Suppose 4*d - 2*t = v + 345, 2*d + t = 282. Is d a composite number?
True
Let f = -21 - -25. Suppose -3*l = -f - 2. Suppose j - l*j + 257 = 0. Is j prime?
True
Let g = 24901 - 6503. Is g prime?
False
Let o(g) = -40*g - 53*g - 236*g + 12. Is o(-5) prime?
True
Let x(j) = -j**3 - 9*j**2 - 9*j - 3. Let w be x(-8). Suppose w*y + 5*r = r + 4203, -3*y - 3*r + 2523 = 0. Is y co