er?
True
Is -2*(-91134 - ((-10)/4 + 3)) prime?
False
Let l be (-6)/(-3) - (-13)/1. Suppose -47*x + l = -42*x. Suppose -170 = x*f - 1163. Is f composite?
False
Suppose 18 = -5*z - 27. Is (-15 - z)*953/(-2) + 2 a prime number?
True
Suppose c = -6, 1686*q - 1687*q + 11267 = 2*c. Is q a prime number?
True
Let y(f) = -27*f + 3. Let a be y(1). Let b be (a + 42)*(-8)/6*-1. Suppose 0 = g - b - 895. Is g composite?
False
Let l be 0/(3 - (10 - 4)). Suppose 16*i - 13*i - 6 = l. Suppose -4*o = i*n - 510, o - 32 = -n + 96. Is o a composite number?
False
Let v = -768 + 765. Let r(b) = -b. Let a(m) = 89*m + 4. Let c(s) = -a(s) - 4*r(s). Is c(v) a composite number?
False
Let f(x) = x**2 + x - 1. Let l be f(2). Suppose 5*m = -3*n + 2672 + 1874, 0 = -5*m + l*n + 4570. Is m prime?
True
Let b be (-8)/10*(160 - (1 + -6)). Is b/(-176) + (-2945)/(-4) prime?
False
Suppose -1 = -d, -3*y + 4*d + 2975 = -102090. Is y a composite number?
False
Let x(d) = d**3 - 3*d**2 - 13*d + 23. Let z be x(5). Suppose -z*u + 35447 = -41041. Is u a prime number?
False
Let q be (13 - 9 - (-15)/(-5)) + 4. Let p be (1/2)/(3/24). Suppose -5*f - p*t = -2633, 0 = 4*f + q*t - 2365 + 264. Is f a prime number?
False
Let q(b) = -4*b**3 - b**2 + 2*b + 3. Let u(w) = w**3 - w**2 - w. Let d = 48 - 53. Let f(t) = d*u(t) - q(t). Is f(-5) prime?
True
Suppose 28616004 = 30*l - 32981286. Is l prime?
False
Suppose -n + 4*c = -13879, -n - c + 16474 = 2615. Suppose n = 31*i - 28*i. Is i a prime number?
True
Let i(m) = -m**3 - 5*m**2 + 5*m + 4. Let h be i(-6). Let g be 3/6 + 8835/h. Suppose -z = -g - 147. Is z prime?
True
Let y(m) = m. Let i(a) = -478*a**2 - 3*a - 1. Let h = -48 + 47. Let r(o) = h*i(o) - 3*y(o). Is r(1) composite?
False
Suppose 3*c - 110 = 5*c. Suppose 11*r = 9*r - 2, 4*r + 6 = -y. Is y*(22/c)/(8/10610) composite?
False
Let c(d) = -d**3 - 14*d**2 - 16*d + 96. Let v be c(-12). Suppose 0 = 2*x + 3*k - 34222, 2*x + 0*k - 3*k - 34246 = v. Is x a composite number?
False
Suppose 4*g + 3 = -17. Is g + 6 + -527*(-8)/4 a composite number?
True
Let t(n) = -296*n + 170. Let v be t(-26). Let q = v - 3655. Is q a prime number?
True
Suppose 2382 = -4*w - 3946. Let s = 2330 + w. Suppose 0 = 4*z - 544 - s. Is z a prime number?
False
Suppose -c - 4*z = -13, 2*c + 5*z + 0*z = 20. Suppose -3 = -c*g + 22. Suppose -64 = -5*h - l + 229, -g*h - 4*l + 287 = 0. Is h prime?
True
Let m(g) = 71*g**2 + 855*g - 397. Is m(138) a prime number?
True
Let x(y) = y**2 - 20*y - 288. Let q be x(30). Is (0 - -27596) + (q - (15 + -4)) a prime number?
False
Suppose 5*s = -4*l - 9, 99 = 5*l - 4*s + 59. Suppose 0*n = 4*b + 4*n - 13472, -l*b + 13475 = 3*n. Is b composite?
False
Let a(l) = -l**3 + 5*l**2 + 2*l - 5. Let x be a(5). Suppose -3 = 3*k + x*c - 10, 5*k = -2*c + 18. Is (-4)/(-16)*k*(1 + 738) a composite number?
False
Is ((-8032860)/1650)/(1 + (-14)/10) prime?
False
Let z be (2/(-4))/(8/48). Let w be (z/2 - -1) + 2/4. Let y(a) = -2*a**2 + a + 37. Is y(w) a prime number?
True
Let j(o) = -6*o**2 + 27*o + 167. Let d be j(-6). Let k = d - -7380. Is k a composite number?
True
Suppose 0 = -17*d + 24*d - 79821. Suppose 0 = 14*k - 10955 - d. Is k a composite number?
False
Let p be (-9 - -5)*(-123)/(-12). Let b = p + 43. Suppose -g + x = b*g - 1983, g = 4*x + 650. Is g composite?
True
Suppose 1908 - 7080 = -12*u. Suppose j = 5*h + 399, -u = -j - 4*h + h. Is j composite?
False
Let s(i) = -8*i**2 - 9*i - 3. Let f be s(-4). Let l = 93 + f. Is 3/(-1)*(2398/3)/l composite?
True
Let r(f) = -f**3 + f**2 - f - 10. Let q be r(7). Suppose -4*i = 2*s - 926, 2*s - 86 = 2*i - 540. Let h = i - q. Is h a composite number?
False
Suppose 23*g - 15*g = -80. Is ((-2124)/g - 44/110) + 1 prime?
False
Suppose 5*l - 5*q - 1 = -11, 2*q = -l + 10. Suppose 5*j - 695 = -5*w, -j - l*w - 2*w = -139. Suppose k - 902 = j. Is k prime?
False
Let m(i) = -i + 1. Let q(s) = -1281*s - 23. Let u(w) = 6*m(w) - q(w). Is u(2) a prime number?
True
Suppose -3*p = -k + 153154, -242663 = -2*k + 4*p + 63647. Is k a composite number?
True
Suppose 16*o - 403868 + 6764 = 0. Is o prime?
False
Is 7 - (-27023 + 2*(-14)/4) prime?
False
Let u = 21259 - -11190. Is u prime?
False
Let v = 695901 - -256496. Is v a composite number?
False
Suppose 3*j - 5*j + 4 = 0, -6 = -4*i - 3*j. Suppose i = -k + 2, 5*w = -k - 4*k + 9995. Let g = 4834 - w. Is g prime?
True
Let j be ((-996)/10)/2 + 13/(-65). Let n be ((-20)/j + 18/(-20))*-8. Is n/(-30)*3 + 22188/20 prime?
True
Let x(q) be the first derivative of -7*q**4/4 - q**3/3 - 3*q**2 - 27*q - 2. Is x(-5) prime?
True
Let r(p) = -74*p - 67. Suppose 3*x - g - 16 + 102 = 0, 3*g + 12 = 0. Is r(x) composite?
False
Suppose 0 = -9*a + 24 - 6. Let m(f) = 3*f**2 + f**a + 1 - 2*f**2 - 8*f. Is m(-9) composite?
True
Suppose -3*k + 3*w = -2*k - 7236, -k = -w - 7246. Is k prime?
False
Suppose 6*b - 2*b = 36. Suppose 19*a + b*a - 77980 = 0. Is a a prime number?
False
Suppose -23 = -2*k - 7. Suppose -4*r + 8*r = k. Suppose -301 = -r*c + 441. Is c prime?
False
Suppose 4*p - 5*p = -2*b, 5*b + 15 = 0. Let d(y) = 77*y**2 + 9*y + 39. Is d(p) a composite number?
True
Let u = -4 - -66. Let o(w) = u - 79 + 39 + 355*w. Is o(3) a composite number?
False
Let x(b) = -b**3 + 24*b**2 - 18*b. Let l be x(23). Is (-15493)/(-5) - (-46)/l composite?
True
Let z(q) = 134*q**3 + 7*q**2 - 7*q - 27. Let w be z(4). Is (1 - 0) + w + -31 a prime number?
False
Let i = 1441 + -2675. Let b = 2560 + i. Let m = b - -217. Is m prime?
True
Suppose -2*j - 3238 = -y, 0 = 2*j + y + 1338 + 1908. Let i = j + 5028. Is i composite?
False
Let t = -215 - -298. Suppose -t*k + 65*k = -82494. Is k composite?
False
Suppose 0 = -67*a + 62*a + 12220. Let r = a + 4217. Is r a composite number?
False
Let k(w) = -w**2 + 8*w - 10. Let s = 36 - 31. Let d be k(s). Is (3 + -2)/(d/7405) a prime number?
True
Let p = 72122 - 35859. Is p composite?
False
Let g = 81 + -101. Let p(o) = 4*o**2 + 43*o - 33. Is p(g) prime?
False
Suppose 0 = 3*d + 4*o - 131787, -4*d - 53*o + 58*o + 175747 = 0. Is d a composite number?
False
Let n(z) = -32 + 6 - 62 - 336*z + 3747*z. Is n(7) a composite number?
False
Let t(y) = 56*y**2 - 376*y - 405. Is t(82) a prime number?
True
Let j(h) = -40*h**3 - 2*h**2 + 2*h - 7. Let r(g) = -g - 8. Let s be r(-7). Let a(t) = 3*t**3 + t**2 - 1. Let o be a(s). Is j(o) composite?
False
Let c = 24290 - 14141. Suppose 18*b = 3*d + 15*b - c, 3*d + b = 10161. Is d composite?
True
Let g = 619 + -611. Let n(z) = 136*z**2 + 4*z + 11. Is n(g) a composite number?
False
Suppose -3 = 5*h + 5*p - 13, 0 = -3*h + 2*p + 21. Let j = 1 - h. Is (-1 - 330/j)/(3/6) a prime number?
True
Suppose 2*q - 4*k = 23990, -6*k + 15601 = 2*q - 8349. Is q prime?
True
Let n be (2 - 5)*((-21)/(-9) + -3). Suppose -5*g + n*y + 2*y + 24519 = 0, 4*g - 19608 = 5*y. Is g composite?
True
Let n(p) = -p**3 + p**2 + 12*p - 9. Let b be n(4). Is 16197/5 - (1 + b/15) a prime number?
False
Let s(a) = -2*a + 33. Let z be s(18). Let g(y) = 6 + 33*y - 1 - 451*y. Is g(z) a prime number?
True
Suppose 0*g + 16 = 3*l + 5*g, 4*l + g = 10. Suppose -l*o - 8 = -4*o. Suppose o*q = 3*m - 311, 5*m - 453 = 3*q + 47. Is m a prime number?
True
Let l(v) = -4*v**2 - 32*v - 23. Let a be l(-7). Suppose 14448 = 4*i - 4*g - 34776, 3*i - 36878 = -a*g. Is i a composite number?
False
Let o(x) = -150*x + 1. Suppose -6*s + 12 = -0*s. Let b(w) = w**2 - 4*w - 1. Let a be b(s). Is o(a) a prime number?
True
Let b(z) = 52 - 21 - 18 - 2*z + 57*z**2. Is b(6) prime?
True
Suppose 11 + 7 = 4*p + 5*d, -5*d = -10. Suppose 217 - 1275 = -p*k. Is k prime?
False
Suppose -6*s - 2478 = -f - 8*s, 9888 = 4*f - 4*s. Let n = f - 823. Is n a prime number?
False
Let z be 3 + 5/10*14052. Suppose -7*j = -z - 3632. Is j a composite number?
False
Let w(t) = -7*t**2 + 4*t + 32. Let n be w(9). Let b = 1578 + n. Is b prime?
False
Suppose 3*b - 16 = 2*b + 3*m, 4 = 3*b + 2*m. Suppose 5*j + 5*k - 21800 = 0, -b*j - 5*k + 13086 = -j. Is j a composite number?
False
Let n(o) = -o**3 + 20*o**2 - 36*o + 12. Let u be n(18). Is (5114/(-7))/(u/(-42)) composite?
False
Suppose -i + 23 = 84. Let u = -59 - i. Suppose 5*t - d - u*d = 7002, 2*t = d + 2801. Is t composite?
True
Suppose -2*u - 2*h + 195730 = 0, -246*u + 5*h = -245*u - 97901. Is u prime?
True
Let f(s) = 36*s**3 - 11*s**2 - 89*s + 605. Is f(18) a composite number?
False
Sup