 y + 103. Is g composite?
True
Let a(p) = 5*p**2 + 8*p + 29. Let c be a(-12). Suppose -3*d + 176 = 2*k - c, -2*k = -4*d - 822. Is k a prime number?
False
Suppose 462 = -4*z + 1242. Let u be z + (-1 - -3) + 0. Let f = -70 + u. Is f prime?
True
Let h(p) = p**2 + 5*p - 9. Let u be h(-7). Suppose 2*j - 3*j + u*q = 705, 4*q = -j - 687. Is j/(-9) - 10/45 prime?
False
Let x(c) be the first derivative of 25*c**3/3 - 3*c**2/2 - 2*c - 7. Let a be x(-1). Suppose 36 = 2*z - a. Is z composite?
False
Suppose -14349 = 13*n - 16*n - 3*x, -4*n + 5*x + 19132 = 0. Is n composite?
False
Let h be 2 - (15/5 - 302). Suppose -2*i + 915 - h = 0. Is i prime?
True
Suppose 2*o + o + 4*i = 66, 4*o - 4*i = 60. Suppose o*g = 15*g + 147. Is g prime?
False
Let z be (-52 - -1)*(-4 - 32/(-12)). Suppose 0 = -4*h + 11480 + z. Is h a prime number?
True
Let n(y) be the first derivative of y**4/4 + 5*y**3/3 - 5*y**2/2 + 3*y - 5. Let u be n(-6). Is (1 + -2)/(u/471) composite?
False
Let n = 14 + -9. Suppose 5*d = -2*w + 5863, 0 = n*d + 3*w - 3852 - 2015. Is d a composite number?
False
Suppose 2*z + 2*z = 272. Let y be 4/18 - z/(-18). Is 4 - (-1 - (y + 322)) a composite number?
False
Suppose -d + 4*l = d - 1110, l = -d + 564. Suppose 2*a - 102 = -f + 5*a, 5*f - d = -2*a. Is f a composite number?
True
Suppose 0*a - 16*a + 368 = 0. Let h(q) = 4*q**2 - 32*q + 17. Is h(a) a composite number?
True
Let f(x) = 9*x**2 - 7*x + 2. Let b be f(-5). Let g = b + 93. Is g a prime number?
False
Suppose -2*a + 2*c + 8 = -4*a, 3*a - 12 = 3*c. Suppose -3*k + 4*k - 6 = a. Is k/(-8) - (-9317)/44 prime?
True
Suppose 12*l - 19184 - 7732 = 0. Is l prime?
True
Let p = 1 + -11. Let u = 16 + p. Let v = u + -3. Is v a composite number?
False
Let h be 1 - (-2)/(1 + 1). Let f be -3 + 19 - 4/h. Is 1334/f - (-6)/(-21) prime?
False
Suppose -b + 2 = 0, -13*g + 16*g + 4*b - 57953 = 0. Is g prime?
False
Let t = 46050 - 1233. Is t a composite number?
True
Let d(i) = i**2 - 7*i + 4. Let y be d(7). Suppose -704 = -3*u + 2*v + 77, 0 = -y*u - 2*v + 1032. Is u prime?
False
Suppose -3*k - 2*b + 255579 = 0, 4*k = -5*b + 251295 + 89477. Is k a composite number?
False
Let w(u) = u**3 - 2*u**2 - 2*u + 2. Let a be w(2). Let o(f) = -31*f**2 + f + 2. Let x be o(a). Let t = -87 - x. Is t prime?
True
Suppose -173*f + 980448 = -77*f. Is f a prime number?
False
Let b(o) = 194*o**2 - o. Let u be b(4). Suppose -2*p + 4*s = -u, -3*p + 7011 = 2*s + 2337. Let a = 2307 - p. Is a a composite number?
False
Let f be (-5)/(-7) - (-12)/42. Is (5 - f) + 2 + 139 composite?
True
Suppose -b - 5*m = -4*m - 7137, -b + 3*m = -7121. Is b prime?
False
Suppose 0 = 2*f - f - 3. Suppose -3*q - u - 334 = u, -f*q - 320 = -5*u. Let i = -36 - q. Is i prime?
False
Let y = 40 + -36. Suppose 0 = 3*s - 5*n - y, -3*n + 12 + 1 = -4*s. Let w(d) = 4*d**2 - 9*d - 2. Is w(s) a prime number?
True
Let u(d) = 273*d**2 - 22*d - 24. Is u(-13) a composite number?
False
Let b(v) = 3*v**3 + v**2 - v + 1. Let s be b(1). Suppose -3*o = -s*c - 2, -5*o + 5*c - 4*c - 8 = 0. Let h(w) = -18*w + 1. Is h(o) prime?
True
Let s be (24/30)/((4/10)/2). Suppose -4*u + 7198 = -3*w, s*u - u - w - 5401 = 0. Is u prime?
True
Suppose 29 + 3 = 4*s - 4*x, 0 = x + 5. Suppose -s*p - y + 151 = 3*y, 0 = -2*p + y + 97. Let g = -27 + p. Is g a prime number?
False
Let i(l) = 37*l + 20. Suppose -j = 1 + 2, 5*j + 36 = u. Is i(u) a prime number?
True
Let t = 6053 + -2838. Suppose 2*c + 3*z = 6410, 4*z + 16035 - t = 4*c. Is c a composite number?
True
Suppose -j - 18 = -4*f, 5*j + 0*f = 4*f - 10. Suppose 3*o + 9434 = j*w, -4*w + 4*o + 18856 = o. Is w composite?
True
Let x = 2 - -1. Let s(u) = -108*u - 7. Let m be s(-7). Suppose 0 = -5*f - x*r + 1280, 2*r = 7*f - 4*f - m. Is f prime?
False
Let k(j) = 383*j + 10. Let d be k(7). Let n = d + -1534. Is n a prime number?
False
Let k(n) = 281*n**2 - 10*n - 7. Let r(q) = 141*q**2 - 5*q - 3. Let m(x) = -2*k(x) + 5*r(x). Is m(-2) composite?
True
Let s be 15 + (3/2 + -1)*6. Is (-3363)/(-5) - s/(-45) prime?
True
Let c = 133 - -2124. Is c prime?
False
Let s be (-496952)/(-88) + 4/(-22). Suppose -8*d + 921 = -s. Is d prime?
True
Suppose 0 = 6*f - 16622 - 51046. Is f a prime number?
False
Let v(m) = -6810*m - 43. Is v(-2) prime?
True
Let n(t) = t**3 + 8*t**2 - 5*t - 3. Let s be n(-6). Let o(u) = -41*u - s*u + 3 - 4. Is o(-8) composite?
True
Let y = -12 - -6. Let g(l) = -l**3 - 8*l + 3. Is g(y) prime?
False
Let c(l) = l**3 - 7*l + 2. Let x be c(4). Let t = x - 16. Is t composite?
True
Is (-23706)/(-8) + 77/44 + -2 composite?
False
Let v(k) = -1065*k - 11. Is v(-2) prime?
False
Suppose -3*k = -4*z + 1823 + 64, -2*z = 3*k + 1905. Let u = 1796 - k. Is u a prime number?
False
Let x be (-4)/(-3) - (-14305)/15. Suppose x = 2*q + 3*q. Is q a prime number?
True
Suppose 3*f + 0 - 39 = 0. Let n = f - 9. Is 1*(43*n + -3) a composite number?
True
Suppose -4*g = 4*g + 4480. Is (51/12)/(5*(-4)/g) a composite number?
True
Let d = -680 + 1021. Let v = d + -106. Is v prime?
False
Suppose 5 + 5 = 2*o. Suppose -o*t - 9 = -8*t. Suppose -5*n - h + 620 = -t*h, -2*n + 4*h + 264 = 0. Is n a prime number?
False
Let l(t) = 3244*t + 15. Is l(4) a prime number?
False
Let v be (18/15)/((-15)/50). Let i be (-1)/(v/(3 - 463)). Let p = i + 182. Is p prime?
True
Let s(w) = -w - 27 - 3*w - w**2 + 4*w. Let o be s(0). Let a = -5 - o. Is a a prime number?
False
Let s(c) = c**2 - 22*c + 2. Let z be s(22). Is 10*(1/z)/((-3)/(-39)) prime?
False
Let f = -2210 - -5319. Is f composite?
False
Suppose -l - 6*l = -14. Suppose -3*a - 138 = -l*v - 2*a, 4*v + 5*a - 304 = 0. Is v prime?
True
Suppose 28*n + 5*r = 30*n - 35429, 5*n + 4*r - 88589 = 0. Is n composite?
True
Let u(k) = k**3 - 19*k**2 + 18*k + 23. Let w(f) = f**3 + 15*f**2 + 15*f + 32. Let o be w(-14). Is u(o) a prime number?
True
Is 29*(-3)/(-5 - 786/(-159)) a prime number?
False
Let g = 28 - 25. Suppose -3*p - g*y + 1917 = -3960, -p - 3*y = -1959. Is p a composite number?
True
Let h(v) = -v - 16. Let d(o) = o**3 - 3*o**2 + 4. Let j be d(-2). Let m be h(j). Is 237 - (m - (-2 + 4)) a composite number?
False
Let m(t) = 3*t**2 - 11*t - 5. Let q be m(4). Is 5 + q + (-8 - -215) composite?
False
Is 5/15 - ((-180950)/15)/5 a prime number?
False
Let o(t) = 644*t**2 + 64*t - 5. Is o(-7) a composite number?
True
Let p be 265/(-2)*(48 + 4/(-2)). Let m = -3858 - p. Is m a composite number?
False
Is (((-372)/(-8))/3)/(4/40) a composite number?
True
Suppose -3*o + 5515 = -x + 3*x, 4*o + 8281 = 3*x. Is x prime?
False
Suppose 2*g - 1258 = -2*o, o + 287 + 346 = g. Is g prime?
True
Suppose 489*n + 47621 = 496*n. Is n a prime number?
True
Suppose -165 + 2366 = -i. Let d = i - -3418. Is d prime?
True
Let p(t) = 2*t**2 - 44*t + 151. Is p(-35) prime?
False
Let v(x) = -593*x + 9. Let c(g) = -198*g + 3. Let j(f) = -7*c(f) + 2*v(f). Is j(2) a composite number?
False
Suppose 6*d - 70746 = -0*d. Is d a composite number?
True
Let p(n) = 15*n + 36. Let r be p(-16). Let a be r/7*770/(-20). Suppose -4*d - a = -7670. Is d a composite number?
False
Let h = 39445 - 13908. Is h a composite number?
False
Suppose -3*r - 3*g = -1998, -690 = -20*r + 19*r + 5*g. Let b = 7 - 3. Is (r + b)*(-2)/(-4) composite?
False
Let a be (14/(-4) - -3)*874. Let g = 660 + a. Is g composite?
False
Is 1393 + 6 + (-5 - -5) prime?
True
Let m(d) = d**3 - 2*d. Let o(h) = h + 4. Let w be o(6). Suppose -3*c = -5*c + w. Is m(c) a prime number?
False
Suppose 4*a - 2*o = 597198, a - 5*o - 121169 - 28153 = 0. Is a prime?
True
Suppose -28 = -4*r - 5*w, 6*r - 5*w = 4*r + 14. Let j(c) = 28*c - 17. Is j(r) prime?
True
Let j = 0 - 0. Suppose l + 26 - 2 = 5*r, r = -l. Is 1 + j + 760/r a composite number?
False
Let j = 52 - 54. Is j*(1916/(-8) - 0) a composite number?
False
Let y be (0 + 1 - -1) + 1. Let r(s) = -5*s + 2 + 63*s**3 + s**2 + 52*s**3 - 12*s**3 + 2. Is r(y) prime?
False
Suppose 3*a + 0*a + b = -3, a = -b - 3. Suppose a*w = 3*w + 18. Is 1494/27*w/(-4) a prime number?
True
Suppose -901672 - 1366691 = -93*n. Is n a composite number?
False
Let d(g) = 5*g**2 + 11*g + 6. Let m be d(-7). Suppose 53 = -x - m. Let p = 768 + x. Is p a prime number?
True
Let p(x) = -484*x - 125. Is p(-30) prime?
False
Suppose -17*x + 3576 = 7*x. Is x composite?
False
Let c(u) = 8*u - 22*u - 7*u - 3 + 1. Is c(-1) a composite number?
False
Let x(r) = -16*r