k + 7606 - 33647, 5*q + a*k - 26050 = 0. Is q composite?
False
Suppose 0 = t - 4*j + 16, -14*t - 4*j = -18*t - 28. Is -8 + -1 - t - (-6762 + -4) prime?
True
Let o(w) = -w - 9. Let l be o(-9). Suppose -2*t + 74 = -l*t. Let c = 450 - t. Is c a prime number?
False
Let a be (2/((-8)/(-6)))/((-6)/(-52)). Suppose 5*l - 8766 = -a*l. Is l composite?
False
Suppose -4*b + 9*b = -1005. Let w = b + 21. Let f = w + 257. Is f composite?
True
Let g(m) = -384792*m**3 - m**2 - 11*m - 11. Is g(-1) a prime number?
False
Suppose -7*h = -5*h - 3*y - 48, -3*h - y + 50 = 0. Is (17 - h)*1/((-1)/1543) composite?
False
Let a(x) = -x**3 + 17*x**2 + 19*x - 15. Let h be a(18). Suppose 5*b = h*b - 4, -2*b = 5*d - 40731. Is d a composite number?
False
Let l be -2 + -5 + 5 - -5. Let t be l - ((1 - -3) + -1). Suppose t = 2*u + 4*f - 1827 + 697, -1683 = -3*u - 3*f. Is u composite?
False
Let y = 9 - -6. Suppose -12 = -4*f + 3*m, 5*f + 4*m = -m + y. Let s(j) = 2*j**3 - 2*j + 5. Is s(f) a prime number?
True
Is -9*(-11)/(-198) + (-189838)/(-4) prime?
True
Suppose 3*q - 5361 = -0*q - 3*w, -w + 2 = 0. Let c(z) = -z**2 + z - 932. Let l be c(0). Let m = q + l. Is m a composite number?
False
Let g be 2/(-2 - (-12)/4). Suppose 3*p - 4 = -g*f, p + 5*f - 2 + 18 = 0. Is 1359/1 - (-8)/p a prime number?
True
Let m(f) = -59*f**3 + 29*f**2 + 33*f + 526. Is m(-15) prime?
False
Let w(a) = -20628*a - 4169. Is w(-12) a composite number?
False
Suppose -g + 38005 = 8546. Is g a composite number?
True
Let b(s) = 18*s**2 - 3*s - 28. Let f = -3 - 8. Is b(f) a composite number?
True
Suppose 5*b + r = -40, -r + 4 = 2*b + 20. Let j(w) be the first derivative of -w**4/2 - 11*w**3/3 + w**2/2 - w + 274. Is j(b) a prime number?
True
Suppose -26859 = -2*q + 1847. Suppose 4*r = q - 725. Is r composite?
False
Suppose 2*f - 3*k - 660296 = 0, 12*k + 1320612 = 4*f + 16*k. Is f a prime number?
False
Suppose 3*a - 14619 = -4*k, 11*a = 9*a - 5*k + 9753. Is 9/90 + a/10 prime?
True
Is (30/25)/(8/5)*(-1570828)/(-21) prime?
True
Let v be -1*(3 - 1 - (0 + 11173)). Suppose 4*f - 6767 = z, 5*f + 2726 - v = 4*z. Is f composite?
False
Let y be (-2 + -18)/((-2)/(-17))*-2. Let t = y - 834. Let s = 823 + t. Is s a prime number?
False
Let g be -1*(2 - 4) - 1249. Let l = -28 - g. Is l prime?
False
Let m be 12 + -3 + -3 - 2. Suppose 0 = 5*s + 5*k - 25365, k = m*k + 12. Is s composite?
False
Let j(m) = m + 3. Let t be j(-3). Suppose t = -7*f + 18 + 17. Suppose 870 = 5*g - f*o, -4*g + o = -4*o - 693. Is g a prime number?
False
Let y be 8/(-28) - (-69)/21. Suppose -y*w = -5*b - 13471, -5*w + 4*b = 2995 - 25451. Suppose -j = 4*r - w, -4*r + j + 4492 = -2*j. Is r prime?
True
Let j(o) = 25*o**2 - 35*o - 680. Let g be j(53). Suppose 2*z + 2*v + 2 = 0, 3*v = -4*z - 0*v - 3. Suppose z*w - g = -10*w. Is w a composite number?
True
Let q be (-16)/(-28) + 66/(-42). Let j = -2 - 0. Is j - (1/q)/(4/2092) prime?
True
Let p be 4978/(-10) + ((-32)/(-20))/(-8). Let u(h) = 206*h + 1. Let a be u(-1). Let f = a - p. Is f a prime number?
True
Let o(d) = d**2 - 27*d - 669. Is o(80) prime?
True
Let u = 9223 + -5541. Let s = -655 + u. Is s a composite number?
True
Is -1*(-6 + 23/4 - 938283/4) composite?
False
Suppose 0 = -165*i + 171*i - 3676710. Is i composite?
True
Let t(k) be the first derivative of 3*k**4/4 - 7*k**3/3 - 4*k**2 - 16*k - 114. Let g(p) = p**3 - p**2 - 4*p + 1. Let b be g(3). Is t(b) a composite number?
True
Let g(w) = 50*w**2 - 7*w - 7. Let q be g(7). Let i = q + -1487. Is i a prime number?
True
Let h(p) = 166*p**2 + 99*p - 155. Is h(40) a composite number?
True
Let p be -1*-1522*(-2)/4. Let d = p + 4132. Is d composite?
False
Let f(n) = -n**3 + 23*n**2 + 8*n + 23. Suppose -27 = -3*i - 6*y, 53 + 3 = 5*i - y. Is f(i) prime?
False
Let j = 496381 + 896812. Is j prime?
True
Suppose -199 - 125 = -6*m. Let x(p) = -194*p - 30 - 23 + m. Is x(-2) composite?
False
Suppose 6*f = -5*l - 8512 + 29341, 2*f = 4*l + 6926. Let y = f + -762. Is y a prime number?
True
Suppose -2*r + 12 = j, -5*r = -0*r - 5*j - 60. Suppose 2*v - 2*q - 2*q - r = 0, -q - 2 = 0. Suppose g = 2*g + 5, v = -3*l - 2*g + 2093. Is l prime?
True
Suppose 5*n - 4*v - 474269 = 0, -62*n + 60*n + 3*v = -189709. Is n a prime number?
False
Let q = 87 + -84. Suppose q*w + 11*w = 885528. Is (1/2)/(18/w) composite?
True
Let o = 121 - 119. Suppose -3*q + 575 = -2*w, -o*q + 475 = 3*w + 96. Is q prime?
True
Let b = 128 + -537. Suppose 2*u - 2*c - 1790 = 0, 3*c - 17 = -2. Let k = b + u. Is k prime?
True
Suppose -2*k + 5*k - 6776 = 2*o, -6 = -3*k. Let t = -932 - o. Is t a prime number?
False
Suppose -3*a = -4*s - 38193, -12723 = -a - 27*s + 31*s. Let n = -6496 + a. Is n composite?
True
Suppose -w = 3*r - 28, -5*r - 12 = 5*w - 7*w. Suppose w*q - 38258 = -6*q. Is q composite?
True
Suppose 0 = -5*n + 2*n + 2*u - 4, -14 = 3*n - 4*u. Suppose -2*f + 1636 + 2448 = -n*w, 25 = 5*w. Is f prime?
False
Let v(q) = 2*q - 52. Let y be v(28). Let m(n) = -n + 7. Let t be m(y). Suppose 7*h - 2452 = t*h. Is h a composite number?
False
Suppose -303481 - 481 = -15*z + 122923. Is z prime?
False
Let d(m) = -12558*m**3 - 4*m**2 - 12*m + 9. Is d(-2) a composite number?
True
Let h(z) = -z**3 + 3*z**2 + 2*z - 1. Let p be h(3). Let b(k) = 158*k**2 - 5*k + 36. Is b(p) prime?
False
Suppose 5*v - 1775865 = -2*g, 5*g - 1409122 = v + 3030608. Is g a prime number?
False
Suppose 2*j = y - 2*y - 13, 27 = -4*y - 3*j. Is 0 - (2895/y + -2) a prime number?
True
Let n(b) = -214*b + 53. Let f(o) be the third derivative of -o**4/24 - 29*o**2. Let x be f(5). Is n(x) a prime number?
True
Suppose -77*f + 42 = -74*f. Suppose -13*p + 53 = f. Suppose 2*l + r - 961 = 0, 0 = -3*l - p*r + 952 + 494. Is l a prime number?
True
Suppose -21*a + 4032739 = 38*a + 14*a. Is a composite?
False
Let r be (1 + (-7 - -2))/(-2). Let u be (16/24)/(r/1869). Suppose u = 6*a + a. Is a composite?
False
Let c = -260 + 602. Let k = c - 11. Is k a composite number?
False
Let d = 293317 - 206936. Is d prime?
True
Suppose 0*j = 2*o - 4*j + 12, -2*j + 6 = 0. Suppose o = -3*m - 3*m + 4950. Suppose -4*q + m + 1859 = 0. Is q composite?
True
Let u = -268 + 205. Is (-210)/u*3138/4 a composite number?
True
Let q be 221 + -1 + 3 + -4. Let n(p) = -8*p - 12. Let i be n(10). Let z = q + i. Is z a prime number?
True
Let i be (-18)/90 + 263762/10. Let h = 37907 - i. Is h prime?
False
Suppose 0 = -11*f + 14*f - 894. Is f/(-8)*4/4*-4 a composite number?
False
Suppose -131 + 251 = 15*x. Let v(m) = 3*m - 8*m + 3 + 6*m. Is v(x) composite?
False
Let x be 3/5*70/21. Suppose -4*i + 20 = 2*m, -x*i + 25 = 3*i - 5*m. Suppose i*p + v = 26909, -870 - 4523 = -p - 3*v. Is p composite?
False
Suppose 27*o + 203972 = 562073. Is o a composite number?
True
Suppose 22*w + 16 = 258. Let k(g) = 3*g**3 - 7*g**2 + 19*g + 22. Is k(w) a composite number?
True
Let k be 8/(-2) - (32 + -197). Suppose h - 26 = -0. Let y = k + h. Is y a composite number?
True
Suppose 2*q + 3*n = -n + 4650, 3*q - 6987 = -2*n. Suppose -4*b - 3*w = -q, w - 1752 = -b - 2*b. Let o = -294 + b. Is o composite?
True
Let s be (1 - -1) + (-276)/(-6). Is 5128/3*36/s a prime number?
False
Let s be 148 + (-5 - -3) + -3. Suppose -5*u + 3*u = 68. Let v = s + u. Is v a composite number?
False
Let v(d) = 19446*d**2 + 1594*d - 3. Is v(-5) composite?
True
Suppose 806*c + 98749 = 813*c. Is c a prime number?
True
Suppose -1239892 = -53*b + 332035. Suppose 0 = r - 5*w - 7426, -4*r = -8*r + 5*w + b. Is r a prime number?
True
Let y(l) = 70*l**3 + 13*l - 19. Let z = 288 - 284. Is y(z) prime?
True
Let y(g) = 1608*g**2 + 414*g + 4159. Is y(-10) composite?
True
Suppose 36*b - 78308844 = -28672800. Is b prime?
False
Let h(l) = 620*l + 1077. Is h(22) prime?
True
Let y(q) = 4*q + 63. Let p be y(19). Suppose -10*f + 329 - p = 0. Suppose 22*j = f*j + 14559. Is j composite?
True
Suppose -37*i = -1457257 + 208211. Is i prime?
False
Suppose -231 - 159 = -5*j. Is (-52)/j + (-25505)/(-3) prime?
True
Let s be (-11)/(-44) + (-823094)/(-8). Suppose 0 = 37*t - 34494 - s. Is t a composite number?
True
Suppose 43 = 3*y + r, 0 = y - 2*r + r - 21. Is ((-8)/12)/(y/(-165912)) prime?
False
Suppose 0 = -3*b - 2*g + 12937, 14654 = 4*b - 5*g - 2580. Let u = -2678 + b. Is u a composite number?
True
Let n = -615139 - -938502. Is n composite?
True
Suppose 8*s - 10 - 70 = 0. Suppose 728