se
Let i = -290 - -40. Let g = i + 731. Suppose -4*w - 69 = -g. Is w prime?
True
Is (-5 - 25/(-5)) + 409 a prime number?
True
Is (-4)/14 - (-7 + (-137424)/98) composite?
False
Suppose 4*n = 5*n. Suppose n = -i + 481 + 231. Suppose -t + i = 3*t. Is t prime?
False
Let g = 4778 + -2741. Suppose 5*k - 3018 = g. Is k prime?
False
Let n = -109 - -112. Suppose -3*w + 1801 = -2*c - 136, 15 = n*c. Is w prime?
False
Suppose 0 = 10*v + 773 - 9963. Is v prime?
True
Suppose 7 = 2*y - 9*y. Let n be (93 - y) + (2 - 2). Is -1*1*(9 - n) composite?
True
Suppose 68*i - 59*i - 39969 = 0. Is i a prime number?
True
Let w(t) = 2 + 1358*t - 4 - 1368*t - 7. Is w(-4) a composite number?
False
Is (-3)/(9742/1949 + -5) a prime number?
True
Suppose -47621 = 6*i - 7*i. Is i prime?
False
Let m(t) = -t**2 - 10*t - 6. Let z be m(-7). Let b(n) = n**2 - 14*n - 4. Let h be b(z). Let a(l) = -l**3 + 13*l**2 + 7*l + 10. Is a(h) a composite number?
True
Let u = 9 - 7. Suppose -3 + 10 = -m + u*d, 3*d - 9 = 2*m. Is ((-1)/m)/((-11)/4191) prime?
True
Suppose -j = -7*j - 42. Let q(b) = 5*b**2 + 11*b + 10. Is q(j) a prime number?
False
Let l be 9/6 - 2970/(-12). Suppose -3*u - 3*x + 2*x + 719 = 0, u - l = -5*x. Is u a prime number?
True
Let p(c) = -c**3 - 4*c**2 + 7*c + 4. Let y be p(-5). Let o be ((-14)/(-4))/(y/(-288)). Suppose 4*a + z = 647, -a + 0*z = -z - o. Is a prime?
True
Let h(g) = -33*g**3 + 14*g**2 + 8*g - 62. Is h(-7) a composite number?
False
Suppose -2*x + 3 + 7 = 0. Let w(k) = 130*k**3 - 128*k**3 + 4*k + 0*k**2 - 2*k**2 + 3. Is w(x) composite?
False
Suppose -5*x + 15 = -2*x. Suppose 0 = 4*a - x*f - 8, 3*a - 2*f = -0*f + 6. Suppose -2*t = a*t - 212. Is t prime?
True
Suppose 0 = -11*g + 5167 + 8572. Is g prime?
True
Let t(p) = p**2 - 2*p + 3. Let y(m) = m - 4. Let c be y(4). Let l be t(c). Suppose 2*k - 108 = o, 5 + 1 = -l*o. Is k prime?
True
Suppose -3 = -5*v + 7. Suppose 0 = -m - v + 7. Suppose 5*w + 3*t - 107 = 0, -2*w - m*t = -0*w - 39. Is w a prime number?
False
Suppose -217 = -4*s - 5*f, -4*f = -3*s + 6*s - 164. Suppose -320 = -4*u + c, 3*u - 5*c - 209 = s. Is u a composite number?
False
Is -2*(-3)/6*(2 + 2435) composite?
False
Suppose -5*j - 2*o - 3*o = -92735, 0 = 3*j + 2*o - 55639. Is j prime?
False
Let i(p) = 40*p + 249. Is i(20) a prime number?
True
Let p(m) = 103*m**2 - 26*m + 32. Is p(-15) composite?
True
Suppose -2*o + 4*h = 36, 5*h = -2*o - 12 + 3. Let v(c) = -c**2 - 12*c + 9. Is v(o) composite?
True
Let b(y) be the first derivative of -y**5/20 - 5*y**4/6 - 5*y**3/3 - 6*y**2 + 10*y + 2. Let h(o) be the first derivative of b(o). Is h(-11) a prime number?
False
Let u = -15 - -19. Suppose f = 6*f + 4*j - 425, -u*j + 247 = 3*f. Is f a prime number?
True
Let t = 5 - 5. Is (t + -1)*-262 + 12/(-4) a prime number?
False
Suppose 3*f = 14066 + 36871. Is f composite?
False
Let i = -13 + 14. Let q = i + 4. Suppose 0 = 3*k - 4*f - 122, 99 + 66 = q*k + f. Is k a prime number?
False
Let g(p) = 271*p**3 - 19*p**2 + 11*p - 7. Is g(4) a prime number?
True
Let x = 34528 + -17015. Is x prime?
False
Let i(g) = -6*g + 9. Let s = -26 + 28. Suppose -7*x + 2*x = -3*h + 10, 0 = s*h + 10. Is i(x) prime?
False
Let n(o) = 19*o - 6. Let v be n(4). Let r = -18 - v. Let q = 719 + r. Is q prime?
True
Let n(x) = x**3 + 9*x**2 - 12*x - 15. Let t be n(-10). Suppose -4 = t*z - 24. Suppose -5*v + 909 = z*q, -7 = 4*q + 9. Is v composite?
True
Let h be -3 - ((-16)/4 - -738). Let w = 1288 + h. Is w a composite number?
True
Suppose -108*b + 107*b + 3780 = -n, -3*n = -5*b + 18910. Is b a prime number?
False
Let v = -31 + 25. Is 2763/v*(-2)/3 a composite number?
False
Let n(r) = 7*r**2 + 97*r - 89. Is n(-31) a prime number?
True
Let x(k) = 3*k**2 - 9*k + 11. Let h = -19 + 10. Let o be x(h). Suppose -3*q + o = 2*q. Is q composite?
False
Let t(o) = 51*o**2 - 1. Let q be (0 + 1)/(-8 - -7). Let j be t(q). Is j - (3 + -6)/(-3) a composite number?
True
Suppose a + 4 = -w, -w + 3*a - 20 = -0*w. Let j(b) = 50*b**2 + 6*b + 11. Is j(w) a prime number?
True
Suppose -2*n + 3142 + 11182 = 0. Is n composite?
True
Suppose -4*k + 2*s + 140096 = 3*s, 2*s = 5*k - 175107. Is k prime?
True
Let i(t) = 17*t + 2*t + 6*t - 40 + 6*t. Is i(3) a composite number?
False
Suppose 49*g - 37*g = 60744. Is g composite?
True
Let f = 60 - 36. Let o be f/4*2*8. Suppose -3*i - 3*h = -o, 2*h = -3*i + 7*i - 146. Is i a composite number?
True
Suppose -40*q = 51*q - 130767. Is q prime?
False
Suppose -2*w = -q + 5, w + 0*w - 1 = 0. Is (-7)/(q/(-4)) - -373 a composite number?
True
Let f(a) = a**2 + a - 2. Let v be f(1). Suppose -z + 2*z - 4*w - 20 = v, -5*z + 4*w = -36. Suppose z*t + 0*t = 2828. Is t a prime number?
False
Suppose 3*g - 5514 = 3*n, 4*n + 3138 + 532 = 2*g. Is g prime?
False
Let a = 345 + -359. Suppose -3*b = 621 + 1329. Is b/a + 39/(-91) a prime number?
False
Let h(l) = 110*l - 161. Is h(17) a composite number?
False
Let n(z) = -37*z**2 - 11*z + 17. Let a be n(7). Let s = a + 3530. Is s a composite number?
False
Let w(r) = r**2 + 5*r - 2. Let q be w(-6). Suppose q*j - 7128 = -2*j. Suppose 0 = z - 5*h - 896, 4*z - 2421 = -5*h + j. Is z composite?
True
Let c = 42140 + -18169. Is c prime?
True
Suppose -3*o + 2*m = -0*o + 209, 4*m = -2*o - 150. Let c = o - -104. Is c prime?
False
Suppose 0 = 2*r - t - 21 - 0, r - 33 = 5*t. Suppose -f + r = -195. Is f prime?
False
Let u(n) = n**2 - 9*n + 5. Let l be u(9). Suppose -l*k - 1734 = -8*k. Suppose 3*w - f = k, -3*w + 484 = -4*f - 109. Is w composite?
False
Let q = 4 + -3. Is 4535/10*2*q a prime number?
True
Let z be ((-20)/10)/(2/40). Is (2110/z)/(1/(-4)) prime?
True
Let v(b) = -1017*b**3 + b**2 - 2*b + 1. Let h be v(1). Let d = h - -2744. Is d a prime number?
False
Let k(y) = -y + 9. Let n be k(7). Suppose -n*f + 280 = -4*f. Is (f/8)/7*-46 composite?
True
Let n(c) = c - c**3 - 31 + 2*c**3 + 23*c**2 - 10*c + 7*c**2. Is n(-22) a prime number?
False
Suppose -h - 3*g + 2098 = -229, -2*h + 5*g + 4632 = 0. Is h a composite number?
True
Let a(m) = -64*m + 15. Is a(-19) prime?
True
Let m(o) = 909*o**2 - 24*o - 19. Is m(-4) a composite number?
False
Let t = 3 + -3. Let w be (-3 + (-4)/(-2))*-493. Suppose -3*u - 4*s + w = t, -u - 4*s + 0*s + 175 = 0. Is u a prime number?
False
Suppose 38 = -4*o + 6. Let n be (o/(-10))/((-32)/240). Is (-4)/n*762/4 a composite number?
False
Suppose 3*x = -3*v + 21 - 6, 4*x - 2*v = 14. Suppose 0*f + 5*b - 2303 = -f, x*f - 9280 = -3*b. Is f composite?
True
Let s = 254 + -252. Suppose 3*t - 9 = 3*d, 4*t = -3*d - 3 + 1. Is 3 + 186*t + s composite?
False
Let s(a) be the second derivative of 7*a**5/10 - a**4/4 - a**2 - 5*a. Let v be s(3). Suppose 84 = -5*x + v. Is x a prime number?
True
Let v(f) = 31*f**3 - 7*f**2 + 25*f + 1. Is v(6) a composite number?
True
Let y be (0 + 0/3)/(-2). Suppose y*h - 1923 = -3*h. Suppose t + 0*t = h. Is t composite?
False
Is 156410/22 + ((-288)/66)/8 prime?
True
Is 38/76*(-8)/1 - -7061 a composite number?
False
Let a(z) = 10*z**3 - 12*z**2 + 13*z + 8. Let t be a(7). Suppose -4*m = -3*q - 2947, 4*m - 3*q - t = 2*q. Is m prime?
True
Let m(v) = v**3 + 6*v**2 + 4. Let h be m(6). Let r = h - 39. Is r composite?
False
Let r(c) = 426*c - 13. Is r(4) a prime number?
False
Suppose 135808 = 67*p + 25794. Is p composite?
True
Let z(k) = 45*k**2 - 50*k + 14. Is z(27) a prime number?
True
Let c = -16 + 16. Suppose c = -2*i + o + 165, 185 = 2*i + 2*o + o. Is i prime?
False
Suppose 41402 = 27*g - 122731. Is g a prime number?
True
Let h(x) = -24494*x. Let o be h(-2). Is 5/(-35) - o/(-14) a prime number?
True
Let j be (-1)/(-2)*0/(-7). Let x(y) = -y + 1397. Is x(j) composite?
True
Let t = 11 - 9. Suppose 547 = t*m - m. Is m prime?
True
Suppose n = a + 4*n + 17, 4*n = 4*a + 4. Let k(d) = -120*d - 5. Let q be k(a). Suppose q + 340 = 5*i. Is i a prime number?
False
Suppose 0 = -3*u + f + 30098, 4*u = 3*u + 4*f + 10029. Is u a prime number?
False
Let n(z) = -3*z - 24. Let h(f) = 4*f + 36. Let m(v) = -5*h(v) - 7*n(v). Let j be m(11). Is 6/j*(-15)/6 composite?
True
Suppose -1110 = 3*k - 11832. Is k a composite number?
True
Let a(n) = n + 5. Let r be a(-2). Let w(p) = p**2 - 6*p + 2. Let l be w(-5). Suppose -3*c + j + 57 = 0, j = 3*c - r*j - l. Is c composite?
False
Let l = -10 - -12. Suppose b + 5*w + 15 = 0, l*b - 3*w - w - 12 = 0. Suppose b = -0*p - p + 2*y + 64,