76549 - 5072129 = -140*d. Is d prime?
True
Let a be (-2 - 0)/((-2)/7). Let f(c) = -88*c + c**3 - 2 + 0*c**3 + 79*c + 4*c**2 + a. Is f(9) prime?
True
Let t = 1175373 + -481408. Is t a prime number?
False
Let n = -16011 + 33614. Is n prime?
False
Suppose z = 3*h + 62054, -z + 23665 = 5*h - 38421. Is z composite?
True
Suppose 3*f + 2*j = 24556, -2*f = -6*f - 5*j + 32739. Let y = 16629 - f. Is y composite?
False
Suppose -3*w + 666902 = 5*o - 1119354, 2*w = 2*o + 1190864. Is w prime?
False
Let f be (-23 - -21)*(-3)/(-6). Is (f/(-1))/(13188/(-2638) + 5) a composite number?
False
Suppose -23*d + 602923 + 174868 = 0. Is d a composite number?
True
Suppose -7*u - 82 = -19. Is 634 + (-13 + 3 - u) a prime number?
False
Suppose 191*j = 196*j - 355. Suppose l - 185 = -4*c, -l - c + j + 102 = 0. Is l prime?
False
Let r(q) = q**3 + q**2 + q - 5. Let w be r(3). Let f = w - 29. Is f/(-15)*3*-899 composite?
True
Suppose 3*i - 2*o = -i + 20, -2*o - 26 = -5*i. Suppose i = -m + 9. Suppose -781 = -a - 7*d + 3*d, m*d - 2316 = -3*a. Is a prime?
True
Let s(w) = -w + 1. Let t(o) = o**2 - 14*o - 23. Let z(x) = -2*s(x) - t(x). Let c(g) = g**2 + g + 2. Let l be c(2). Is z(l) a prime number?
False
Let a = 105199 + -56862. Is a a composite number?
False
Let i = 77 + -72. Suppose -2*w = -a - 3936, 4*a - 3 = i. Let j = 3606 - w. Is j composite?
False
Suppose -8*k = -7*k - t - 76536, 2*k - 153072 = -4*t. Suppose -799387 + k = -71*r. Is r composite?
False
Suppose 2*q = j + 27786, -70*q + 41693 = -67*q - 5*j. Is q composite?
True
Suppose 0 = -799*k + 821*k - 19069666. Is k a composite number?
True
Let r = 456287 - 256392. Is r a composite number?
True
Suppose 8*w = 7*w + 2. Suppose 3*t - 2 = 2*t - w*s, -4*s = 4*t - 20. Suppose -t*p + 11372 + 14796 = 0. Is p a prime number?
True
Suppose -5*c = b - 21808, 0 = -c + 4*b + 2514 + 1835. Suppose -4*x = 4*l - l - 13163, -c = -l + 4*x. Is l prime?
False
Let h(x) = 200*x**3 + 2*x**2 + x. Let r be h(-1). Let q = 597 + r. Suppose -5*l - 9*f + 5*f = -995, 0 = -2*l + f + q. Is l a prime number?
True
Let i be 56149/9 - (-64)/288. Let n = i - -5000. Is n a prime number?
True
Let c(o) be the second derivative of -3980*o**3/3 + 9*o**2/2 + 5*o - 3. Is c(-3) prime?
False
Suppose -20199 - 9181 = x. Let h be (x/78)/(1*(-2)/9). Is (3 - (3 - 1) - 3) + h prime?
True
Is ((-18)/(-12))/((-90)/(-6607140)) a prime number?
True
Suppose 56*w = 42*w + 61754. Suppose 4380 = n - w. Is n a prime number?
False
Is (-463739392)/(-1600) + 9/(-75) composite?
False
Is ((-213)/(-12))/(32/166016) a composite number?
True
Let j(x) be the first derivative of x**2 + 0 - 10 + 55*x + 6. Is j(18) prime?
False
Suppose 4*f + 10*q = 13*q + 15, -4*f + 5*q = -25. Suppose f = 3*m - r - 1134, -7*r + 2*r = -15. Is m a prime number?
True
Let v(y) = 3302*y**2 + 17*y + 250. Is v(-9) a prime number?
False
Suppose 5*d = 3*g + 4578, 4*d + 11*g - 6*g = 3692. Let s = d + -449. Is s a prime number?
False
Let j(n) = n**3 + 65*n**2 - 81*n + 97. Is j(32) prime?
False
Is 2/7 + (-615)/315 + 861712/6 composite?
False
Suppose -5*g = -c - 35, -2*c + 0*g - 40 = -4*g. Let k(n) = 9*n**2 - 18*n - 13. Is k(c) a prime number?
False
Let k(u) = 25770*u**3 - 7*u**2 + 5*u + 1. Is k(1) prime?
False
Suppose 4*f - 5*h = 17406, 4*f + 2*h = -0*h + 17392. Suppose 4351 = 4*p - 3*k, 4*p - 8*p = -k - f. Is p a prime number?
True
Let i(q) = -11743*q**2 - 24*q - 24. Let m be i(-1). Let k = -5892 - m. Is k a composite number?
False
Let j = 5077 - 1503. Is j a prime number?
False
Let v = -236 + 237. Is -2*(v/3)/(20/(-32610)) prime?
True
Let n(r) = 198239*r - 105. Is n(2) a prime number?
True
Let z(o) = -o**2 - 22*o - 38. Let p be z(-20). Suppose -3*u = y + 51, y - p*u + 33 = -8. Is ((-638)/(-6))/((-15)/y) a composite number?
True
Suppose -14*a + 6*a = -1726808. Is a prime?
True
Let r be (-3810)/(-105) - (-4)/(-14). Suppose r = 4*s + 16. Suppose 0 = s*b + 15, -5*m + 3*b = b - 2401. Is m composite?
False
Let c(d) be the second derivative of d**6/120 + 9*d**5/20 - 37*d**4/24 + 14*d**3/3 - 3*d**2/2 - 9*d. Let b(p) be the first derivative of c(p). Is b(-27) prime?
False
Let x(s) = 86 - 476*s + 2 + 9*s**2 + 408*s. Is x(31) a composite number?
True
Let m(a) be the third derivative of 139*a**5/60 + 3*a**4/8 - 3*a**3/2 + 4*a**2 + 24*a. Is m(-4) composite?
False
Let b(m) = m**3 - 3*m**2 - 2*m - 1. Let r be b(2). Let h be r + 11 - (0 - -41). Is (-220)/(-66)*h/(-2) a prime number?
False
Let o(z) = -7362*z + 535. Is o(-2) composite?
False
Let g(b) = -508*b**3 - 17*b**2 - 31*b - 3. Is g(-6) prime?
False
Let t = 2226644 + -1289530. Is t prime?
False
Let w be 0/(-247) - -5*(0 - -1). Suppose w*p - q = 4*p + 17837, -4*p - q + 71328 = 0. Is p prime?
False
Let s(q) = 7673*q**2 - 30*q - 112. Is s(-9) composite?
False
Suppose -9*l + 28 = -71. Is (-14453880)/(-770) - 3/l composite?
True
Suppose 46*q = 45*q. Suppose -57*v + 64*v - 60473 = q. Is v a prime number?
False
Suppose -3*s + 99 = 3*w, 100 = 3*w + 4*s - 0*s. Let y = w - 29. Suppose y*n = -3*n + 6108. Is n prime?
False
Is (48/30 + 81261915/225)/(1/3) a composite number?
False
Suppose 45*p + 33*p = 97*p - 761729. Is p a prime number?
False
Let j(o) = -10*o**3 + 4*o - 4. Let g be -5 + 4 + -8 + -2 + 4. Let k be j(g). Suppose -k = -5*m - 988. Is m prime?
False
Let c be (315/6)/(-7)*2. Let r = 43 + c. Is (-3)/4 + (-7)/r - -582 prime?
False
Suppose -270*n + 232044 = -267*n - 5*h, 3*n = -2*h + 232002. Is n composite?
True
Let n(x) = 53378*x**2 - 8. Let g be n(-2). Suppose 79923 = 9*p - g. Is p a prime number?
True
Let w(s) be the first derivative of 70*s**2 + 39*s + 9. Let v be w(5). Let t = 4850 - v. Is t a prime number?
True
Let j(v) = -v**2 - 9*v - 18. Let t be j(-3). Suppose 0*d + 14161 = 5*d + 2*l, t = 5*d - 2*l - 14169. Is d a composite number?
False
Suppose 4632 = -5*i + 3*d, -2*i + 0*i - 2*d = 1840. Let w = i + 1782. Suppose -w - 474 = -4*r - 4*z, -4*z + 339 = r. Is r a composite number?
False
Let g be 6 - 1 - ((-3 - -6) + -5122). Suppose -3*t = -6*t - 6045. Let d = t + g. Is d prime?
True
Suppose -62*g - 171*g + 3546904 = -16327297. Is g a prime number?
True
Suppose -t - 2421777 = -18*g + 14*g, 0 = 4*g - 5*t - 2421749. Is g composite?
True
Suppose 12*z = -3 + 3. Suppose -n - 2*n + 12 = z. Suppose -5*a - 2*f + 2459 = 0, -n*f + 499 = -a + 2*a. Is a composite?
False
Let m(u) = 133*u**2 - 34*u - 1426. Is m(35) a composite number?
False
Let i(l) = 48*l - 21. Suppose 0 = -28*k + 26*k + 52. Let n = k - 20. Is i(n) a prime number?
False
Suppose 7*x = 5*s + 9*x + 2175, -2*s - 3*x = 859. Let h = -56 - s. Is h a prime number?
False
Suppose 0 = -d + 5*j + 19 + 1, -2*d - j = -7. Suppose 1238 = p + z + 2*z, 4*p + d*z - 4924 = 0. Suppose -8*h + p = -6*h. Is h composite?
False
Let t(x) = 687*x - 44. Suppose -17*u + 15*u = -6. Is t(u) a prime number?
True
Let b(h) = -h**2 - 11*h + 8. Let w be b(-11). Suppose 14*l - w*l = 12. Suppose t + 3346 - 9587 = -4*u, 2*t = l*u - 3128. Is u composite?
True
Let w = 89701 - 62447. Is w a prime number?
False
Let v be -2 - (-42)/(-7) - -5143. Suppose -4*p + 9*o - 4*o + 6854 = 0, 3*p = o + v. Is p prime?
False
Let a be ((-66)/(-99))/(7/6 + -1). Suppose 0 = -a*x - 20, -5*f + 5*x = -f - 41. Suppose f*m - 10*m = -522. Is m composite?
True
Suppose 73*w = -42437008 + 121706467. Is w a prime number?
False
Is ((-63197)/(-2))/(164/328) composite?
False
Let h(c) be the second derivative of 17*c**4/6 + 2*c**3/3 - 19*c**2/2 - 13*c + 1. Is h(5) a prime number?
False
Is ((-34)/(-8) - (3 - 4))*2490360/90 a composite number?
True
Suppose -3*o - 2*l + 4612 = -7*l, 3*l = 3. Let v = 3248 - o. Is v composite?
False
Let p(z) = 6834*z - 4739. Is p(118) prime?
False
Suppose -2*a - 110525 = 3*a. Is (a/(-10)*1)/((-1)/(-2)) prime?
True
Suppose -18476 = -7*z + 2*z + 3*o, 4*z - 4*o - 14784 = 0. Let u(i) = 35*i - 33. Let k be u(1). Suppose k*p + z = 4*p. Is p a composite number?
False
Let a(r) = 77*r**2 - 22*r - 1. Let p be a(9). Let m = 13380 - p. Is m composite?
True
Suppose 4*a - 8 = 0, 88 = -5*u + 5*a - 142. Let p = 34 + u. Is (9 + 725)*p/(-4) prime?
False
Suppose 14*u = 10*u + 2*n + 547390, 4*u - 4*n = 547384. Is u a prime number?
True
Let h = -306 + 311. Suppose 3*x - h*n - 4526 = 0, -x + 15*n = 16*n - 1506. Is x a prime number?
False
Let f = 386 - 383. Is f/((-9)/5118*(-2 - 0)) a prime numb