 Is b a prime number?
True
Let s = -1805 + 331. Let x = s - -134. Let q = 2745 + x. Is q prime?
False
Let k(a) be the first derivative of 476*a**2 + a - 3. Let x be (3 + -2)*(5 - 4). Is k(x) prime?
True
Suppose 2*h = -2*h + 5*o + 730254, 0 = -4*o - 8. Is h a prime number?
True
Let f be -11 - (5 - (8 + 3)). Is f*350/(-2) - (8 + -10) a composite number?
False
Let l(f) = 2*f**2 + 11*f + 1. Let a be l(-5). Let s(z) = -z**2 - 1. Let t(i) = -i**3 + 5*i**2 + 8. Let p(n) = 2*s(n) + t(n). Is p(a) a prime number?
False
Suppose 4*n = -i + 2563986, 5*n = 3*n - 8*i + 1281978. Is n prime?
False
Let y(p) = -57*p**3 - p**2 + p - 1. Let m be y(1). Is m*(33/(-8))/((-21)/(-28)) composite?
True
Suppose 0 = -61*k + 66*k - 20. Suppose 4*z = -3*u + 32035, 684 + 15326 = 2*z + k*u. Is z prime?
True
Suppose -792384 = 16*k - 2570441 - 9525351. Is k composite?
False
Suppose -14*o - 206413 = -651557. Is o - (-4 - (-7 - -2)) a composite number?
True
Let w(f) = 32795*f**2 - 127*f - 3. Is w(-2) a prime number?
True
Let a = 75 - 96. Let r be (-640)/(-12) + (-14)/a. Is 6840/r + 2/6 prime?
True
Suppose 4*b + 2*s - 187109 - 104079 = 0, -3*b - 3*s + 218391 = 0. Is b composite?
False
Let j = -83 - -84. Let z be (4 - 6) + 6 - j. Is 0 - (0 + (-3198)/z - 1) a composite number?
True
Suppose -742770 - 900352 = -9*i - 17*i. Is i composite?
False
Suppose -5*x - 1 = -6. Let y be ((-2080)/25)/(x/(-5)). Suppose -q + 3*q + y = 2*c, q + 1052 = 5*c. Is c a prime number?
True
Let i = -1938 - -4840. Suppose f + f = 2*a - i, -2*a - f + 2911 = 0. Is a composite?
True
Let l = -100 + 124. Let k(d) = d**3 - 12*d**2 + 46*d + 23. Is k(l) a prime number?
True
Is (-4)/10 + (-58)/(-203) + (-10749418)/(-70) a prime number?
True
Is 1/10 - (-771048)/(-10)*18/(-16) prime?
True
Let y(s) = 2663*s + 1321. Is y(44) prime?
True
Let l be ((-4032)/27)/(2/33). Let y be 3/9 + (l/6)/(-4). Let m = 12 + y. Is m composite?
True
Suppose 0 = -1228*y + 1168*y + 68984220. Is y a prime number?
True
Let q = 1268 + -3506. Let j = q + 3137. Is j a prime number?
False
Let k(b) = -47*b - 21 - 7 - 13 - 6. Is k(-20) a composite number?
True
Suppose 103627 = 18*a - 144755. Is a prime?
True
Let m(g) = g + 14. Let d be m(-11). Let u be ((-2001)/(-3))/(d/(9/(-3))). Let h = 2646 + u. Is h prime?
True
Let q be -2*3*45/(-10). Let m = q - -352. Is m a prime number?
True
Let i(d) = 2973*d**2 + 135*d + 179. Is i(-16) a composite number?
True
Let r(k) be the first derivative of -k**6/40 - k**5/5 - 11*k**4/12 - 2*k**3/3 - 17*k**2/2 - 19. Let d(q) be the second derivative of r(q). Is d(-9) composite?
False
Suppose 2*v = -10, 4*v = s + 3*v - 18. Suppose 10*u - s*u = -1146. Is u composite?
True
Is 2/(6*5/138855) prime?
True
Let d(l) = -8*l**3 + 4*l**2 + 10*l - 11. Let o be d(6). Let t = 1009 + o. Is 2/((-4)/t)*5/1 a prime number?
False
Suppose 144 + 76 = 11*q. Let l(m) = m**3 - 15*m**2 + 8*m - 1. Is l(q) composite?
True
Suppose 22*i - 54 = 16*i. Suppose -3*f = g - 9779, -7*g + 4*f = -i*g + 19566. Is g a prime number?
True
Let m(t) = -367*t + 1055. Is m(-8) prime?
False
Suppose 0 = -5*l - v - 170 + 39, -31 = l + 5*v. Let c be ((-68)/(-6))/(l/195). Let j = 34 - c. Is j prime?
False
Let a(u) = 1536*u**3 + 12*u**2 - 8*u - 11. Let s(o) = 767*o**3 + 6*o**2 - 4*o - 6. Let y(z) = 3*a(z) - 5*s(z). Is y(2) a prime number?
True
Let n(d) = -d**2 + 6*d + 13. Let f be n(6). Let x be 4 + (-76)/13 - 2/f. Is 4 - (-6580)/6 - x/6 a composite number?
True
Suppose w = -3*c + 7377, -c + 3 = -2. Suppose 3*a + b = -w, 5*a - 4*b + 11548 = -722. Let q = a - -3457. Is q prime?
False
Let c be (10/6)/((-1)/(-3576)). Let m be 87822/(-27) + (-1)/3. Let g = c + m. Is g composite?
False
Suppose 0 = -12*r + 1307 - 263. Let t = r - 83. Suppose 3*w + 305 = -0*g + g, -4*g + t*w = -1188. Is g a composite number?
False
Let p(q) = -q**3 + 130*q**2 + 41*q - 409. Is p(118) a composite number?
False
Suppose -5*f - 2*z + 12098 = 0, -z + 2398 = f - 6*z. Suppose 0 = -4*w + 1914 + f. Suppose 0*g + 3*g = w. Is g prime?
False
Let q(s) be the second derivative of -3*s**4/2 + 5*s**3/3 - s**2/2 - 18*s. Let o(b) be the first derivative of q(b). Is o(-6) prime?
False
Let z(i) = 46*i - 21. Let p(q) = 23*q - 11. Let n(r) = -7*p(r) + 4*z(r). Let b be n(17). Let d = 118 + b. Is d a composite number?
True
Suppose -9*u + 43*u = 215634 - 40364. Is u prime?
False
Suppose 0 = -26*n + 296037 + 2031301. Is n composite?
False
Let j(q) = -8180*q + 34. Let a be j(-7). Suppose -b + a = 4*p + p, 1 = -b. Is p prime?
False
Let t(q) = 372*q**2 - 3*q + 5. Suppose 12 = 2*v + 4*h, -10 = h - 3*h. Is t(v) a prime number?
False
Let v be (-1)/(-1) - 126/(-14). Let m be 52/v - (-15)/(-75). Suppose y + 5*q = 931, 4*y - m*q = -0*y + 3624. Is y prime?
True
Suppose -123*d = -10935641 + 5986937 - 8266047. Is d composite?
True
Let b(c) = -258*c**3 + 21*c**2 + 13*c - 3. Suppose -5*j + 50 = 70. Is b(j) composite?
True
Let c(o) = -87*o**3 - 4*o**2 - 13*o - 61. Let j be c(-6). Let b = -10928 + j. Is b a composite number?
True
Let l(j) = -25*j + 48*j + 38*j. Let k be l(3). Suppose -3*g + 279 = -5*u - k, -5*g = -2*u - 751. Is g prime?
True
Let q = 57 - 64. Let j be (-25 - q)/(1/((-424)/6)). Let m = j - 521. Is m prime?
True
Suppose 107*b = 105*b - 4*j + 56550, 6*j - 113108 = -4*b. Is b prime?
True
Suppose 2*v - 3*v + 277 = -5*d, -5*d + 2*v - 279 = 0. Let m = -53 - d. Suppose -1736 = -5*k - m*j + 2863, 5*k + j - 4597 = 0. Is k prime?
True
Suppose -5*q - 27 + 2090 = -2*b, q - 418 = -5*b. Let a = 406 - 402. Suppose a*c - w - q = -24, -w = 3*c - 290. Is c a composite number?
False
Suppose 5*i - 110 = w + 102, 2*w = 3*i - 123. Let t = i - -79. Let d = -83 + t. Is d a composite number?
True
Suppose 21*n - 2*i - 2368968 = 17*n, -5*n - i = -2961203. Is n a composite number?
True
Suppose 0*o = 3*o - 2*q - 10460, -20 = -4*q. Let l = o + 499. Is l a composite number?
False
Suppose -3*k - 3175 = y, 5*y - 14*k + 15857 = -11*k. Let h(i) = -5*i - 2. Let l be h(2). Is y/(-6) + l/(-36) prime?
False
Suppose -6*s = 4*s - 40. Suppose 5*a + 19 = 3*r, -5*a - s = -0*a + 2*r. Let q(m) = 23*m**2 + 4*m + 5. Is q(a) a prime number?
True
Is (-930454)/(-2) + (-276)/(-23) prime?
False
Let b = -605132 + 884241. Is b prime?
True
Suppose 68*q - 63*q = -4*d + 194135, 3*q = 11*d + 116414. Is q prime?
False
Let o be 111012/108 + (4/(-36))/(-1). Let l = o - 441. Is l a prime number?
True
Let w = -523 - -523. Suppose 281*l - 295*l + 10318 = w. Is l a prime number?
False
Let n(l) = 72*l + 35. Let g(k) be the third derivative of -k**4/24 + 2*k**2. Let a(o) = -4*g(o) - n(o). Is a(-14) a composite number?
True
Is 1824873/99 + (-152)/2508 a composite number?
False
Let b be (-2)/6*(-228)/19. Suppose -4*q - b*l = -16180, 2*q + 33 = l + 8135. Is q a prime number?
True
Let k = -12 + 1607. Let a = k - -408. Is a composite?
False
Let d = 30 + -35. Let x be ((-4)/d)/((-2)/(-10)). Is (-5)/x + 9702/24 prime?
False
Let o(f) = 7152*f**2 + 98*f + 299. Is o(-3) a prime number?
True
Is (-3062205)/(-65) + (-30)/(-195) a prime number?
True
Suppose -82*o + 80*o + 4*l + 31006 = 0, 5*l = 2*o - 31011. Is o a composite number?
False
Let f(q) = 51883*q - 2689. Is f(14) composite?
True
Let w be (-7)/(-35)*2 + 209246/10. Suppose -6 = -2*k, -3*k - w = -3*g - k. Is g a prime number?
True
Suppose 4*c - 189805 = -143*v + 140*v, 3*v + 3*c = 189801. Is v prime?
False
Let s(i) = 6*i**2 - i. Let q be s(-3). Let t(h) = 130*h - 240. Let m be t(4). Suppose m - q = d. Is d composite?
False
Let z(g) = 3186*g**2 + 17*g + 19. Is z(8) a composite number?
False
Is 17949668/66*(-9)/(-21)*(-28)/(-8) a composite number?
False
Let h = 54700 - 20379. Is h prime?
False
Let d(n) = 135*n + 22. Let k be d(-9). Let g be (22/154 + 27/7)/(-2). Is k/((6/g)/3) a composite number?
False
Let j = -114 + 119. Suppose -4*i = -j*i + 2. Suppose -i*a + 4*f = -13274, 2*a + 5*f = 15100 - 1835. Is a prime?
False
Is 80787/315*15*(41 - 0) composite?
True
Suppose 0 = -86*t + 89*t - 3*v - 66, -t = 5*v - 46. Suppose -23*u = -t*u + 95649. Is u a prime number?
True
Let g be 140/(-630) - (0 - (-1490)/18). Let i = g - -83. Suppose 5*a - 3*m = 9571, -4*m - 9 + 1 = i. Is a a prime number?
True
Let g = 90 - 320. Is (g/69)/((-2)/17103) a prime number?
False
Suppose -3*w - 3*n + 651186 = 0, n + 651168 = 3*w - 2*n. Is w composite?
True
Suppose n + 8*d - 12