3*m - 439 = -s + 231, -2760 = -4*s - 4*m. Suppose -7*b = 5*l - 3*b - 685, -5*l + s = 5*b. Let u = 74 + l. Is u prime?
True
Suppose 2*t - l = 205, 4*t + 3*l - 413 = 2*l. Let s = t + -29. Is s a prime number?
False
Suppose -5147 = 6*c - 36389. Is c composite?
True
Let p = 1395 - 384. Is ((-3)/((-36)/p))/(4/16) a composite number?
False
Suppose -6 = 4*b - 34. Suppose -4*g + 2*m = -4536, 3*m = 2*g + b*m - 2278. Is g a prime number?
False
Let a = 30 - 28. Let h(t) = 65*t**3 - t**2. Let f be h(a). Suppose -f = 2*x - 1810. Is x a prime number?
True
Suppose 2*a + 21 = -a. Let u = -2 - a. Suppose 17 + 58 = u*d. Is d composite?
True
Let c(p) = 127*p + 26654. Is c(0) a composite number?
True
Suppose -6 = -0*p - 2*p. Let g(q) = q**3 + q**2 - 1. Let w(n) = 4*n**3 + 3*n**2 - n + 5. Let r(k) = -2*g(k) + w(k). Is r(p) a prime number?
True
Let v = 9 + -2. Suppose 0 = -v*t + 4*t - 66. Is (-1341)/(-2) - 11/t composite?
True
Suppose 3*r = 4*r - 4. Suppose 5*j - 4755 = -r*x, j - 4*x - 945 = -6*x. Is j composite?
True
Let l = -178 - -881. Is l a prime number?
False
Suppose 0 = k + 2*s - 37691, -2*s = k + 3*s - 37691. Is k composite?
False
Suppose 54*m - 521237 = -55595. Is m a composite number?
False
Let v be (0 - -4)/((-52)/(-65)). Suppose 2*t + 5*x = 654, -3*t = -t + x - 654. Suppose u - t = v*n, -3*n = u + 2*n - 277. Is u a prime number?
False
Suppose 20*v - 91432 = -16212. Is v a composite number?
False
Let n(j) = -11*j**3 + 8*j**2 + 5*j - 9. Let x be n(-5). Suppose 6*a - 3493 = x. Is a a prime number?
True
Let p(t) = 5*t**2 - 2*t - 3. Let v be p(-1). Suppose 12*x - v*x - 6296 = 0. Is x a composite number?
False
Suppose -123446 = -4*n + 183566. Is n composite?
False
Let m(y) be the third derivative of -23*y**6/40 + y**5/60 + y**4/12 + y**3/6 + 5*y**2 - 12*y. Let t(x) = -x**2 + 5*x + 4. Let q be t(6). Is m(q) a prime number?
False
Suppose 0 = -12*q + 22*q - 1490. Is q a prime number?
True
Suppose 0 = -5*s - 10, s + 6636 = 4*x - 3*s. Is x prime?
True
Let h be (-91)/(-14) + 2/(-4). Let z(a) = -4 + a**3 - 2 + 6*a + 3 - 2*a**2. Is z(h) a prime number?
False
Let m(n) = 11*n**3 - 2*n**2 + 4*n - 2. Let d be m(1). Is (-2)/d - (8192/(-44) - 5) a prime number?
True
Suppose -5*u - 30 = x - 2*x, 2*x = -u + 5. Suppose x*t = -2*p + 14, 0*t + 4*p + 20 = 2*t. Suppose t*v + 39 = 243. Is v a composite number?
True
Let f(j) = -j**3 + 9*j**2 + 5*j + 18. Let w = 15 - 7. Is f(w) a prime number?
False
Suppose 2*o = -2*h + 47 - 397, -3*h = -2*o - 355. Let z = -19 - o. Is z composite?
False
Suppose 0*p + 4*p = 36. Suppose p*i + 877 = 10*i. Is i a prime number?
True
Let v = -19 - -103. Suppose -v = -h + 3. Is h a prime number?
False
Let b(n) = 11*n**2 + 9*n + 38. Is b(40) a prime number?
False
Is 40/(-300) + (-734794)/(-30) prime?
False
Let q be (-2 - -2) + (-2 - -243). Suppose -q = -4*i - 19621. Is i/(-30) - (-2)/(-4) composite?
True
Suppose -i - 4*u + 9*u = -59408, u + 59388 = i. Is i a prime number?
False
Let c = 6642 + -449. Is c composite?
True
Let c = -23 - -27. Let a(v) = 41*v**2 + 3*v + 3. Is a(c) a prime number?
False
Let f = 16 + 6. Suppose 0 = -4*v - 12, -f = -2*x + 5*v + 67. Is x a prime number?
True
Let a(v) = v**3 + 9*v**2 - v - 3. Let h be a(-9). Let i be (-3)/9 + (-46)/h. Is ((-6)/i)/(5/220) a prime number?
False
Suppose 12 = 7*v - 13*v. Is (-2)/(v*(-1)/(-4227)*3) a composite number?
False
Suppose 12*h - 8 = 10*h. Suppose h*b - 9*b + 1635 = 0. Is b a composite number?
True
Let d = 8795 + -5384. Suppose -4*g - 1159 = -d. Is g prime?
True
Let u(v) = 19*v + 5*v**2 - 16*v - 2 + 3. Is u(-6) a composite number?
False
Let x be (-270)/(-9)*100/3. Suppose -u - x = -5*u. Let t = u - 123. Is t a composite number?
False
Suppose 0 = -4*b + 2*f + 20222, 3*f - 4436 = -b + 602. Is b a composite number?
True
Let o(j) = 1691*j**2 - 4*j + 97. Is o(6) composite?
True
Suppose -v - 12 = -5*v. Is (v + 4/(-2))*3585/5 composite?
True
Suppose 0 = 957*t - 949*t - 1808696. Is t a composite number?
False
Is (-48)/(-264) - 295799/(-11) a prime number?
True
Is (-2 + (-6)/(-2))/(19/348973) a prime number?
True
Suppose 4*u - 5*r + 19 = 0, u + 4*r + 5 = -5. Let c be 3/u*(-6 + -2). Suppose -p = -c*v + 352, v + 2*v = -3*p + 279. Is v a prime number?
True
Is (161183/44)/((-4)/(-16)) a prime number?
True
Suppose 5*h - 2*x + 7220 = 19075, -9456 = -4*h - 4*x. Is h prime?
False
Let b(g) = 6 - 23*g**2 - g**3 + 32*g**2 - 18*g + 14*g. Let s(h) = -h**3 + 8*h**2 - 6*h + 1. Let t be s(7). Is b(t) a composite number?
True
Let d(z) = -489*z - 4. Let i(l) = l**3 - 25*l**2 + 22*l + 47. Let q be i(24). Is d(q) composite?
True
Let x be (-1034)/10 - (-2)/5. Is x*(3/3 + -2) composite?
False
Suppose -545378 + 93188 = -30*k. Is k a composite number?
False
Let d = -1702 - -15011. Is d a prime number?
True
Suppose -6553 = -4*h + 5155. Is h a prime number?
True
Suppose 4*f = -5*i + 6 + 24, 0 = -i - 4*f + 22. Let l = 1 + 0. Suppose i*s + l - 43 = 0. Is s composite?
True
Let r = -22 + 15. Let t = r + 1. Is t/(-2) + -1 + 495 a composite number?
True
Let b be -5*1/((-2)/4). Let o = 7 - b. Let z(h) = 5*h**2 - 2*h + 4. Is z(o) a composite number?
True
Suppose -34*j + 708 = -28*j. Let t = -31 + j. Is t a prime number?
False
Let c = 2820 - 1093. Is c prime?
False
Let u(s) = -s**3 + 5*s**2 - 4*s + 1. Let x be u(4). Let m be -6*(4/(-6))/x. Is (-466)/m*(3 + -5) prime?
True
Let c(w) = -351*w + 4. Suppose 5*s = 3*i - 86, -81 = 5*s + i - 3. Let b = 13 + s. Is c(b) prime?
False
Suppose -2*y = -k - 113529, 4*k - k = -5*y + 283850. Is y composite?
False
Suppose 3*s + 67329 - 25980 = 3*c, -5*s = -c + 13791. Is c a composite number?
False
Suppose 5*j - 116200 = 83165. Is j a prime number?
False
Let p(g) = 31*g - 24. Let d(n) = 10*n - 8. Let y(s) = 7*d(s) - 2*p(s). Let l be y(5). Suppose 3*k + 5*x - 127 = 0, 3*k - l - 119 = x. Is k composite?
True
Is (8550 + 6)/2 + -7 a composite number?
False
Let n be 9/6 + 116022/12. Suppose -n = -8*v - 2*v. Is v prime?
True
Is (-146)/7*(-125531)/158 a composite number?
True
Let w = 876 - -383. Is w a prime number?
True
Suppose 0 = 5*z - 20, 5*c - 3*z = -36 + 159. Let s(b) = -20*b - 2 - 6 + 5 - c*b. Is s(-4) a prime number?
False
Let q(o) = -4*o**3 - 9*o - 19. Is q(-5) a composite number?
True
Suppose 30 = r - 6*r. Let y(w) = -30*w + 4 + 15*w + 13*w - 1. Is y(r) a prime number?
False
Suppose -5*z = -3*t - 5, -2*t - 3*z = -t - 17. Let o(i) = 5*i**3 - 4*i**2 - 7*i + 3. Is o(t) a composite number?
True
Let t(o) = -o**2 - 26*o - 16. Suppose -9*f - 26 = 73. Is t(f) prime?
True
Suppose 14*w = 17*w - 7359. Is w a composite number?
True
Let i = 52 - 30. Suppose -2*t + 1 = -k + 2*t, -2*k - 4*t = -i. Is k composite?
False
Is 905 - ((-1)/(-8) + 1127/(-184)) composite?
False
Let k(f) = -341*f - 990. Is k(-19) a composite number?
True
Let p(r) = 25*r**2 - 49*r - 145. Is p(-22) prime?
True
Let a(q) = 29*q**3 - 3*q**2 + 11*q - 16. Is a(9) composite?
False
Let n(c) = -c**3 - 9*c**2 + 10*c + 13. Let u be n(-10). Let z = -13 + u. Is (892/(-8) - z)*-2 a prime number?
True
Suppose 8*a - 14*a + 18 = 0. Suppose -4*c + r + 14742 = a*r, -2*c + 2*r = -7356. Is c composite?
True
Suppose 4*u = f - 1908, -f + 2*u = 846 - 2758. Suppose f = 20*o - 16*o. Is o a prime number?
True
Let j = 519 + 436. Is j prime?
False
Suppose 2*h - 6*h - 5808 = 0. Let t = h - -2125. Is t prime?
True
Let z be (-2 - -4) + -2*(-9)/6. Let g = 15 - z. Is g a prime number?
False
Suppose 0 = -b + 1 + 5. Suppose 39 = 5*y - b. Suppose -7*s = -4*s - 4*i - y, 0 = -3*s + 5*i + 9. Is s prime?
True
Let o(k) = 17*k**3 - 2*k + 1. Let y be o(2). Let q = 197 - y. Suppose 3*i - 48 - q = 5*s, 0 = -4*i - 5*s + 161. Is i composite?
True
Is ((-3)/1 - -7) + 351970/10 composite?
False
Suppose -3*s = 5*a - 3941, 2*s + 4*a = -0*s + 2626. Is s prime?
False
Let f = -3 - -7. Suppose 3*x - 13 + f = 0. Suppose o = x*c - 0*o - 1019, 4*c - 1356 = 2*o. Is c composite?
True
Let f(m) = -763*m - 1. Let n be f(-3). Let o = n + -729. Is o prime?
True
Let t(n) = n**3 - 18*n**2 + 17*n - 15. Let j be t(17). Is j/6*11604/(-30) prime?
True
Let l(m) = -20*m**2 + 6*m**2 + 2*m - 7 + 15*m**2. Let i be l(-7). Suppose 3*f - 7*f - j + i = 0, 0 = -2*j + 8. Is f composite?
True
Let g(v) = 1256*v**2 - 5*v - 2. Is g(-1) composite?
False
Let g be (1 + 237)*5*5/50. Let y = g - 66. Is y composite?
False
Let n = 17456