True
Suppose -2*o - 1 - 3 = 0, -o + 13 = 3*z. Suppose 2*i + 17853 = -z*d + 72849, 5*i + 5*d = 137505. Is i a composite number?
True
Is (-7 - (-19 - -11))*63521 prime?
True
Let s be ((-41)/2)/((-12)/120). Suppose 4*g = -5*y + 212, -5*y + s = g - 13. Let o = 157 - y. Is o a composite number?
False
Let u = -165 - -179. Suppose 13*i + 2681 = u*i. Is i prime?
False
Let o = 45118 - 22011. Is o a prime number?
False
Is 40288404/205 + 6/5 - -11 composite?
False
Let y(j) = -j**2 + 16*j - 9. Let b be y(8). Suppose 52*x + 4533 = b*x. Is x a composite number?
False
Suppose -6873 = -3*f - 3*p, -f - 4*p = 2*f - 6868. Is f - (1 - 3 - -5) prime?
True
Let n(o) be the second derivative of 47/6*o**3 + 0 - 38*o + 65/2*o**2. Is n(19) composite?
True
Suppose -4*l = 6*l + 440. Let z = l - -49. Suppose -2*w + 453 = 3*k - 5*w, -783 = -z*k - 2*w. Is k a prime number?
False
Suppose k + 2*c = 63041, -78*c + 75*c = -3*k + 189069. Is k a prime number?
True
Let j(u) = -u**2 - 18*u - 26. Let q be j(-15). Suppose -11*v - 10696 = -q*v. Is v composite?
True
Suppose 42 = 4*s - 62. Let u = 27 - s. Let n(g) = 130*g**2 + g. Is n(u) composite?
False
Suppose -i - 64 = -2*u, 128*u + i + 98 = 131*u. Suppose -u*c + 84362 + 151632 = 0. Is c composite?
True
Let d(a) = -a**3 - 6*a**2 + 7. Let j be d(-6). Suppose -3*i + 90 = j*i. Suppose 0 = -i*w + 4*w + 12335. Is w prime?
True
Let q(s) = -3788*s + 1434. Is q(-13) prime?
False
Suppose 3*p - 2*n - 9 = -7*n, -6 = -2*p - 3*n. Let x be 3/(p/1)*2. Suppose 2*l = 3*d + 841, -4*l - d = -x*d - 1677. Is l composite?
False
Suppose -3942 = -11*y + 8*y. Suppose 15*a = 18*a + y. Let s = 769 + a. Is s a composite number?
False
Let y(j) = -j**3 + 26*j**2 + 26*j - 8. Let f be y(14). Suppose g + 2031 = 4*g - 4*l, -2*l + f = 4*g. Is g prime?
True
Let z(v) = -9 + 6*v**2 + 31*v + 19*v - 70*v. Is z(14) a composite number?
False
Suppose -3*g = 5*r + 2*g - 220, 0 = -5*r + 4*g + 238. Let c = -10 - r. Let p = 145 + c. Is p prime?
True
Let i(a) be the second derivative of 175*a**3/3 + 69*a**2/2 - 141*a. Is i(13) prime?
False
Is ((-421719)/30 + 5/(-25))*4/(-10) a composite number?
False
Let s = -801 - -7579. Is s - 6/(30/25) composite?
True
Let y(v) = 79*v + 2. Let p(o) = 3*o - 16. Let c be p(5). Let m be (-3)/c*(2 + -1). Is y(m) a prime number?
True
Let j(h) = h**3 - 12*h**2 + 26*h - 7. Let n be j(9). Is (17867 - -2) + n + 8 a prime number?
False
Let w be 48/15 - (-1)/(-5). Suppose g - 4863 = -3*m + w*g, -4*m - 5*g = -6507. Is m a composite number?
True
Let n(f) be the second derivative of 2*f**3/3 - 29*f**2/2 - 28*f. Let b be n(7). Is (b - 894/(-4)) + 3/6 a prime number?
True
Suppose 1887034 + 1623907 = 7*d. Is d composite?
False
Let k = -69118 + 17459. Let n = k - -90032. Is n prime?
False
Let u = 825854 - -533139. Is u a prime number?
True
Is ((-2004)/60 + -39)/(1/((-23245)/2)) prime?
False
Suppose -2*p = -15*p + 26. Let o(a) be the second derivative of 89*a**4/12 - 2*a**3/3 - a**2 - a. Is o(p) a prime number?
False
Let l(g) = -8*g - 9*g + 16*g - 25. Let y be l(-11). Is (329/y)/((-3)/18) composite?
True
Let x be 42/56*40/6. Suppose x*m - 3*p = 25201, -3*m - 19*p = -18*p - 15115. Is m a composite number?
False
Suppose 96*q + 14*q - 11048592 = -1770422. Is q a prime number?
True
Let o be ((-3)/(-3))/((-3)/6). Let x be 21618/10 + ((-27)/15 - o). Suppose 2*p = -372 + x. Is p a composite number?
True
Let k(w) = 11*w**2 - 19*w + 9. Let d = -18 - -22. Suppose -2*f = -f - d*x - 6, -2*x - 18 = -2*f. Is k(f) prime?
True
Suppose -61*w + 785296 = 425211 - 914754. Is w a prime number?
True
Let w = -313911 - -581494. Is w a composite number?
True
Suppose -15*o = -3*o - 132336. Let z = o - 6613. Is z a composite number?
True
Let n = 946 + 5436. Is n a composite number?
True
Let i(q) = 4*q + 5. Let n be i(-8). Let t = -34 - -1142. Let d = t - n. Is d a composite number?
True
Let o(n) = -2290*n - 54. Let p be o(-17). Is p*(6 + 138/(-24)) composite?
False
Suppose 6*t + 1976 = -7*t. Let p = t + 106. Let v = p - -677. Is v composite?
False
Let z be (126/10 - 2)/((-1)/(-5)). Let m = z - 53. Is (-666 + -16)*((-1)/2 - m) composite?
True
Suppose 3*c + 193355 - 1983465 = -2*n, -c - 3580192 = -4*n. Is n a prime number?
True
Let t = 1975518 - 983147. Is t a prime number?
True
Suppose 29*n - 24*n - 50 = 0. Is n/4*91110/25 a prime number?
False
Let j(y) = 15530*y**2 - 7*y - 164. Is j(5) prime?
True
Let y(f) = -f. Let x be 0/(-5 - (-3 - 0)). Let l be y(x). Suppose 5*o = -5*n + 21520, -8605 = -l*o - 2*o + n. Is o composite?
True
Suppose -5*d = 5*f - 368620, 225*f + 294905 = 4*d + 232*f. Is d a prime number?
True
Let x(w) = 95*w + 296. Is x(27) composite?
False
Let j(s) = -s**2 - 8*s + 2. Let n be j(-8). Suppose 5*y - 14 = -4*q, -5*y + 6 = -4. Is q/((n + 3)/13615) a prime number?
False
Let c be 42 + 2 - (4 + -5). Let o be ((-14)/(-21))/((-6)/c). Is (-173)/o + (0 - (-16)/40) prime?
False
Suppose 4*l = -6 + 26. Let z be (-9)/(-18) - l/(-2). Suppose z*y - 6*y = -j - 179, 3*j = -6. Is y prime?
True
Suppose -u = 542 - 535, 3*l - 2*u - 3119291 = 0. Is l a composite number?
True
Let z(h) be the second derivative of -2119*h**3/3 + 27*h**2/2 + 22*h. Let k be z(-11). Is 3/4 + k/20 composite?
False
Suppose -4*u = -32, 5*m + 11*u - 11576 = 90147. Is m a composite number?
False
Let n = 23290 + -12758. Let z = n + -7261. Is z composite?
False
Let g = -81829 + 115878. Is g composite?
True
Let w be 598/(3 - 2) - (2 - 0). Let j = 2610 - w. Let v = -1175 + j. Is v composite?
False
Let y(b) be the second derivative of -b**5/20 + 5*b**4/12 - 5*b**3/6 + 9*b**2/2 - 46*b. Let h be y(4). Let t(a) = 129*a**2 + 3*a - 25. Is t(h) composite?
True
Suppose -2*k + 6*k + 2*q - 2 = 0, 4*k + 1 = -5*q. Let m(l) = 5770*l + 9. Is m(k) a composite number?
False
Suppose 0 = -4*v + 2*f + 12320, 2*v + 3*f - 9240 = -v. Suppose 3*w - 2134 = v. Suppose x + x - w = 0. Is x a prime number?
False
Let x(b) be the second derivative of -3*b**5/10 + b**4/4 - 29*b**3/6 - 105*b**2/2 - 121*b - 1. Is x(-16) prime?
True
Suppose 44190 = 76*f - 82*f. Is (6/18)/((-5)/f) a prime number?
True
Let g = 38692 + -21770. Is g composite?
True
Let n(p) = -p**2 - 18*p + 35. Let m be n(-15). Suppose 4763 = 16*l - 1621. Let o = l - m. Is o a composite number?
True
Let a be ((-640)/(-8))/4*10226. Suppose 24*l - a = 4*l. Is l prime?
False
Let c = 325 + -319. Suppose 5*f - c*f = -3*g + 3515, -5*g + f + 5857 = 0. Is g composite?
False
Let w(t) = -4*t + 38. Let o be w(8). Is -14*(((-127281)/(-6))/(-7) - o) prime?
False
Let u be (-13)/(-8 + 7) - 9. Is u/(-8)*-10 + 6542 a prime number?
True
Is (6/(6/19))/(5704227/(-475353) + 12) a prime number?
False
Let y = 59727 - -12292. Is y composite?
False
Let k be 10/15*1 - 2132/(-6). Is 1*6*k/12 composite?
True
Suppose -3*g = g - 4*r + 2308, -3*g = 5*r + 1707. Let d = g + 913. Is d - -9 - (0 - 2/(-2)) a composite number?
False
Let n be (14/(-4))/(((-35)/(-10))/7). Let c be (n/14)/((-2)/4). Let j(b) = 213*b - 2. Is j(c) a composite number?
False
Let y be ((12/8)/1)/((-6)/(-40)). Let x be 6135/y*(3 + -1). Suppose -t + x = -4*b, -2*t = 4*b + 190 - 2704. Is t composite?
True
Let t(g) = 2086*g**2 - 77*g + 29. Is t(8) a prime number?
False
Let q be (2 - -1 - 70/21)*52917. Let c = -11156 - q. Is c a prime number?
False
Suppose 1110 = w + 5*r, -5*w + 6*w + 3*r = 1108. Suppose w = 11*z - 3702. Is z a prime number?
False
Suppose -54148 = 7*x - 534313. Suppose -120*s = -105*s - x. Is s prime?
False
Is (16 - (-6954)/(-437)) + (-70125)/(-23) a prime number?
True
Let p(a) = 7*a**3 - 5*a**2 - 16*a + 10. Let z = 93 + -98. Let w(j) = 8*j**3 - 6*j**2 - 17*j + 11. Let y(x) = z*w(x) + 6*p(x). Is y(8) a prime number?
True
Let h(u) = 13*u**3 - 17*u**2 + 32*u - 23. Is h(8) a composite number?
False
Suppose 0 = -s - 4432 - 15868. Let z = -14015 - s. Suppose -2*n + z = 3*n. Is n prime?
False
Let w(j) be the third derivative of -29*j**6/15 - 7*j**5/120 - 35*j**4/24 + 32*j**2. Let x(d) be the second derivative of w(d). Is x(-2) prime?
True
Let o = -14 - -35. Let a be 4/(-10) - (-20736)/15. Let f = a - o. Is f a composite number?
False
Let b = 809426 - 431045. Is b a prime number?
False
Suppose 33 = -3*j + 6. Let v(c) = -4*c**3 + 11*c**2 + 13*c + 17. Is v(j) a prime number?
False
Suppose 0 = 39*i - 38*i - 18474. Suppose -p + 2*y = -21, 8*y - 3*y + 20 = 