4051)/(836/(-55) - -15) prime?
False
Is (9 + 42/(-7))/((-27)/(-1831257)) a composite number?
True
Let u(a) be the first derivative of 13*a**5/4 + 5*a**4/12 + a**3/6 + 2*a**2 + 14*a + 48. Let g(i) be the first derivative of u(i). Is g(3) a prime number?
False
Suppose -8*f = 5*d - 4*f + 113, -5*d + 4*f - 97 = 0. Is -40 - -45 - d*26 a composite number?
True
Let v(g) be the first derivative of 118*g**3/3 - g**2 + g - 12. Let b be v(1). Is (-13)/(b/24)*(-1902)/8 prime?
False
Suppose 544739 + 1274930 = 3*o + 2*z, -5*o - 4*z + 3032779 = 0. Is o composite?
False
Let p(i) = -21*i + 39. Let b be p(8). Let c = b - -131. Is (-3 + 2)/(c/(-7606)) a prime number?
True
Let q = 43 - 38. Suppose -q = -5*j + 5. Suppose 0 = -j*v + v + 667. Is v composite?
True
Let p = 10926 - -5621. Is p prime?
True
Let i(m) = -1778*m**3 + 32*m**2 + 16*m + 59. Is i(-4) composite?
False
Is (16/(-24) - -1)/((-2)/(-110874)) prime?
False
Let w(r) be the third derivative of -3*r**6/20 + r**5/20 - r**4/6 - 17*r**3/6 + 17*r**2. Let q be w(-5). Let v = q + -1177. Is v prime?
True
Suppose 302*m - 172480 = 295*m. Let n = 52581 - m. Is n a prime number?
True
Suppose 0 = -i + 287 + 47. Let c(k) = -9*k**2 + 225*k + 7. Let p be c(25). Suppose 0 = p*r - i - 163. Is r prime?
True
Let r be -3516*15*(-3)/(-36). Let i = 15091 - r. Is i prime?
False
Let z = 248474 - 147073. Is z prime?
False
Suppose -33 = 3*f - 2*x - 217, 0 = -2*x - 10. Let y = f + 2301. Is y a prime number?
False
Suppose -1 = x - 5*y, -15*y - 12 = 2*x - 20*y. Let g(i) = -175*i - 24. Is g(x) composite?
False
Let o be -4 + -5*6 + 4. Let v be ((-2)/3)/(4 + o/9). Is (-6464)/(-12) - 2 - v/3 a composite number?
True
Let j(g) = 3567*g**2 + 10 - 24*g + 18*g - 8. Is j(1) a prime number?
False
Let w be (324/(-63) + 4)*(-14)/4. Is 13198*(18/w - (-25 - -29)) a composite number?
False
Let b be (-18)/(-81) - 42956/36. Let w = b - -1995. Is w prime?
False
Suppose 135*b - 4375863 = 54*b. Is b a prime number?
False
Let n = 730 + 5193. Is n a composite number?
False
Let z be (-34)/6 + (-2)/6. Let s(g) = g + 1. Let l(d) = 347*d - 39. Let n(o) = -l(o) + 2*s(o). Is n(z) prime?
True
Suppose 5*l + 6 + 4 = -y, 0 = 4*y + 3*l - 28. Suppose -6*u = -4*u + 4*f - y, 4*u - f - 11 = 0. Is (2 - 4074/(-4 - -1)) + u composite?
True
Let w = 56 + -51. Suppose w*d - g = 32109, 0*d - 3*g + 25672 = 4*d. Is d a prime number?
True
Suppose -3*f = -4*w - 17, -5*f - 3*w + 5 = -4. Let a(t) = -f + 13*t - 6 + 6 + 12*t**2 - 5. Is a(-7) a prime number?
False
Suppose 3*f - 2 = -11, -2*f + 2458513 = r. Is r a composite number?
True
Let r be (1*(1 + 1))/((-14)/(-35)). Suppose -2*v = r*v - 74991. Is v a prime number?
False
Suppose 0*s - 5*j = -5*s + 681030, -4*s - 4*j = -544832. Is s a prime number?
True
Let t be ((-2)/4)/((-10)/(-240)). Let l(k) be the second derivative of -30*k**3 - 7*k**2/2 - 450*k. Is l(t) prime?
True
Let b = 7858 + 1743. Is b composite?
False
Let r be 9424/(-12)*(-6)/(-3 + 2). Let q = 8403 + r. Is q a prime number?
True
Let w be -6*(-4)/6*6/8. Suppose 5*h - 22136 = -w*h. Is h a prime number?
True
Suppose o - 83*c = -79*c + 18435, 3*o - 55261 = c. Suppose -5*k = -5*z - 84030, -3*k + 32004 = -2*z - o. Is k a prime number?
True
Let k(h) = h. Let s(m) = -5*m**2 - 188*m + 39. Let x(j) = -5*k(j) - s(j). Let l(y) be the first derivative of x(y). Is l(0) composite?
True
Suppose 4*u + 5*k = -3*k + 23076, -4*u = -3*k - 23131. Is u a prime number?
True
Suppose 4*n - 164482 - 629138 = 4*k, -20 = -5*k. Is n a composite number?
False
Let b = 83438 - 39351. Is b a composite number?
False
Suppose 3*n = 17 + 22. Let u = n + 1447. Suppose h - u = 3*t, 4*h - 3118 = 4*t + 2698. Is h prime?
True
Suppose 3*b - b - v - 1 = 0, b = v + 1. Suppose z - 7*z + 18246 = b. Is z prime?
True
Let j(s) = -s**2 - 7*s - 3. Let m be j(-5). Suppose -m - 9 = 4*h, -h = -5*d + 64. Let t(q) = q**3 - 10*q**2 - 13*q + 17. Is t(d) a composite number?
False
Let z(v) = -95*v**2 + 9*v - 23. Let n(m) be the third derivative of 4*m**5/5 - m**4/6 + 11*m**3/6 + 3*m**2. Let x(w) = 13*n(w) + 6*z(w). Is x(4) composite?
False
Let d(u) = u**3 + 36*u**2 - 2*u - 41. Let v be d(-36). Suppose v*q - 101999 - 41159 = 0. Is q a composite number?
True
Let x(g) be the third derivative of 23*g**5/60 - 7*g**4/24 - 7*g**3/6 + g**2. Let z be ((-104)/(-182))/(1/(-7)). Is x(z) a composite number?
False
Suppose -2*w + 2 = 0, 2*r + 49 = 3*r + 5*w. Suppose -5*l - r = -3*l. Is (-9297)/(-81) + (-1 - l/18) prime?
False
Let o(j) = -13237*j**3 + 3*j**2 - 5*j + 3. Let k be o(1). Let y = -8265 - k. Is y a prime number?
False
Suppose -4*w - 3*g + 19854 = -227039, 5*g = -5*w + 308610. Is w a prime number?
False
Let l = 33508 - 9807. Is l composite?
True
Let g(c) = -36 + 5*c + 40 - 7*c + 3*c. Let n be g(3). Suppose 1741 = n*l - 1332. Is l prime?
True
Suppose -14 = -11*w + 8. Suppose 3*c - 77859 = -g + 5965, -2*c + w*g = -55880. Is c prime?
True
Let v(h) = -h**3 - h**2 - 2*h - 1959. Let o be v(0). Let a = o + 6604. Is a prime?
False
Suppose -28*j + 205364 + 500992 = 0. Suppose 6*w - j = -57. Is w a composite number?
True
Let d = 744901 + -434202. Is d prime?
False
Suppose 2*j + 2*u = -3*j + 30814, 5*j - 30802 = 4*u. Is (-36)/108*j/(0 + -2) composite?
True
Suppose -3*j + b + 58365 = 0, b = 2*j - 53149 + 14241. Is j a composite number?
False
Let w(u) = -1423*u - 7924. Is w(-55) composite?
True
Suppose -s + 33 = -4*k - 7, 5*s - 2*k = 110. Let q = 33 - s. Suppose q*b = 15*b - 3406. Is b prime?
False
Let i(c) = 7287*c**2 + 39*c - 22. Is i(3) prime?
False
Suppose -11*t - 8*t + 9*t = 0. Suppose t = 12*v - 10611 - 14001. Is v prime?
False
Is (815574/9)/(18/27) a composite number?
False
Let z = -22284 - -102085. Is z prime?
True
Let q(p) = 406*p**2 - 37*p - 378. Is q(-19) a composite number?
False
Let k(h) = -124*h**3 + 12*h**2 + 65*h - 49. Is k(-6) a prime number?
True
Let v = 6862 + -3865. Let w = 2560 + v. Is w a prime number?
True
Suppose -5*p + 2207 = 2*o, -3*o + 3*p + 4348 = 985. Let h = 416 + -781. Let v = h + o. Is v a prime number?
True
Suppose 25 = 6*h + 1. Suppose h*v - 20965 = -v. Let i = -2298 + v. Is i a prime number?
False
Let t(h) = 1974*h + 140981. Is t(0) a composite number?
True
Suppose 0 = 553*w - 578*w + 22750525. Is w composite?
True
Let f = 15 + -13. Suppose -p + 9924 = f*p. Suppose -p - 2530 = -6*z. Is z a prime number?
False
Let x = -306 - -290. Is 8187725/560 + (-1)/x composite?
False
Suppose 2*v + 5*t = 852, 3*t = 4*v + 8*t - 1704. Let h be -2*2939/(-2)*1. Let y = h - v. Is y prime?
False
Suppose -2*c - 38 = 4*u, -6*u - 8 = -2*u - 4*c. Is 3022 + u - 5 - -1 composite?
False
Suppose 0 = 4*h + 20, 5*q + 16747 = -2*h - 15973. Let k = 9213 + q. Suppose -1494 = -m - 4*n + k, -3*m + n + 12534 = 0. Is m composite?
False
Suppose 4*o + v = -4772 + 52701, -5 = -v. Is o composite?
False
Let z be -4 - 36/(12/(-3)). Suppose 7*w = z*w. Suppose 3*v - v + l - 829 = 0, w = -3*v + 4*l + 1249. Is v a composite number?
True
Suppose 0 = -6*q - 5*q. Suppose -m = 3*n + 2*n - 15810, 2*n + 2*m - 6332 = q. Is n a composite number?
True
Let v = -201 - -225. Suppose 2*o + 11 = -5*l, -8 = -0*o + 3*o - l. Is ((-28)/v*o)/((-2)/(-212)) a composite number?
True
Let w(l) be the first derivative of l**2/2 + 25*l - 2836. Suppose j = 5*q - 11, 2*q - 9 = 3*j + 11. Is w(j) a prime number?
True
Let c(a) = a**2 + 13*a + 39. Let d be 15/(-9)*-3 - 14. Let r be c(d). Suppose h + 5*q - 406 = 132, r*q + 15 = 0. Is h a composite number?
False
Let f(w) = 1461*w**2 - 15*w - 2898*w**2 + 1464*w**2 - 61. Is f(-5) composite?
True
Let g(y) = -4*y - 14. Let l be g(-4). Suppose -l*w + 854 = -v, 2*w - 4*v - 854 = -0*w. Is w a composite number?
True
Let w(o) = -34*o**3 - 125*o**2 - 12*o - 34. Is w(-5) composite?
False
Let t = 35 - 34. Suppose 4*w + 3*i = 3*w - 13, 0 = -3*w - i + t. Suppose -2*c + 2*y = -3672, 0 = 2*c - 5*y + w*y - 3669. Is c composite?
True
Let r(z) = z**3 - 9*z**2 + 2*z - 16. Let b be r(9). Suppose i - 3*t = -i - 500, 0 = -2*i - b*t - 510. Let w = i + 464. Is w a prime number?
True
Let v(l) = -77761*l - 813. Is v(-2) a composite number?
True
Suppose -3*n - 50 = 4*l, 5*n = -l + 2*l - 45. Let m = 227 + -211. Is 40/m*(-6236)/n*1 a composite number?
False
Let x(q) = -3*q**3 - 53*q**2 - 42*q. Let m be x(-18). Let i = m + 31. Is i prime?
False
Suppose 272*t - 271*t = -4*m