). Is -3785*(-2)/r - (-2)/12 a composite number?
False
Let g(j) = 1904*j + 255. Is g(13) composite?
True
Let b(k) = -k**2 - 25*k + 11. Let z be b(-25). Suppose -z*l + 358 = -9*l. Is l composite?
False
Let b(k) = 4*k**3 - 10*k**2 - 33*k + 11. Is b(16) a composite number?
True
Let d(n) = n**2 + 4*n - 17. Let q be d(18). Suppose -5*u = 4*g - 3*g - 367, -q = -5*u + 3*g. Let i = u - 53. Is i composite?
True
Let i(r) = 2*r**2 + 83*r - 35. Is i(42) a composite number?
True
Suppose 33042 = 5*a + 3277. Is a prime?
True
Suppose 27 = -3*c - 0*c. Let u(f) = -f**3 - 6*f**2 - 20. Is u(c) prime?
True
Let j(v) = -307*v + 34. Suppose -6*s - 6 = -4*s. Is j(s) composite?
True
Let z be 76/(-28) - 4/14. Let m be (-509)/(-2) + z/6. Is 0 + 2 - m/(-2) composite?
True
Suppose 5*j - 9 = 2*z, 4*j - 14 + 4 = 3*z. Suppose -4*b + 2*i - 940 = -2*i, 707 = -3*b + 4*i. Is b/z + 12/8 a composite number?
True
Let t(h) = 181*h**3 + h - 1. Let a be t(1). Let v = a - 41. Let m = v - 91. Is m prime?
False
Let z be (12/(-5))/(14/(-35)). Suppose -3*h = z*h - 441. Is h prime?
False
Suppose -3*j + 2*j - 2*o = -12, j = 5*o - 9. Let h(d) = 1061*d**2 - d. Let w be h(-1). Suppose w = j*k + 60. Is k prime?
True
Let g = -260 + 481. Is g + 0 - (-6)/3 prime?
True
Let r = -59 - -577. Suppose 3*i = r + 1720. Is (-10)/5 + i/2 composite?
True
Let k(w) = -22 - 19 + 2 - 29*w + 6. Is k(-14) a prime number?
True
Suppose -6*z = -0*z - 18. Suppose -4*f = 5*i - 1261, -2*f + z*f - 322 = i. Is f composite?
True
Is ((-5997948)/(-36))/11*3 a prime number?
True
Suppose 0 = 2*g - 2*y + 20, -4*y + 19 = -3*g - 13. Is g/(-2) - (-155)/5 a composite number?
True
Suppose -12*y = -71231 - 401101. Is y a prime number?
False
Let y be (8/(-12))/(1/(-3)). Let s be y/13 + (-100)/(-26). Suppose 366 = 3*j + 6*v - 2*v, -3*v + 488 = s*j. Is j composite?
True
Suppose 5*q + 19 - 44 = 0. Suppose -62 - 540 = -2*t. Suppose -4*l + 505 = -3*c, q*l - t = 4*c + 330. Is l prime?
True
Let q = -6846 - -9809. Is q a prime number?
True
Suppose 4*i - 860 - 2244 = 0. Suppose 2*l = -h + 4*h + i, -760 = -2*l - 5*h. Let u = l - 240. Is u a prime number?
False
Let k(c) be the second derivative of c**4/12 + 7*c**3/3 - 19*c**2/2 + 16*c. Is k(-16) a prime number?
True
Let w(n) = -3 + n**3 - n - n + 8*n - 7*n**2. Let c be w(6). Is (1/c)/(1/(-573)) composite?
False
Suppose -2 = -2*s, -5*p - s = -10*p + 67204. Is p prime?
True
Is 1*(-1 + 8 + 1704) a composite number?
True
Let f = 6 + -7. Is 1/f - (6 - 118) a composite number?
True
Let c be (-2)/10 - 64836/(-30) - -3. Suppose -155*a = -151*a - c. Is a prime?
True
Let t = -5501 - -12496. Is t composite?
True
Let j(h) be the second derivative of 29*h**5/20 + h**4/4 + h**3/2 + 3*h**2/2 - 2*h. Let d be j(-2). Let z = -32 - d. Is z composite?
False
Suppose 0 = -3*f + 2*m + 941, 5*f - 1610 = -8*m + 3*m. Is f prime?
True
Let k = -7021 + 12530. Is k a prime number?
False
Is (587472/32)/((-3)/(-2)) a prime number?
True
Let p(j) = 12*j - 17. Let t be p(7). Suppose 0 = 7*r - 6*r - t. Is r a prime number?
True
Suppose u - 5*m = -4*u + 455, 3*u - 297 = -5*m. Let a = 362 - u. Let d = a - 141. Is d a composite number?
False
Let x = 14 - 26. Let b = 13 + x. Is (-633)/(-6)*(b + 1) a prime number?
True
Suppose -5*w = -7 - 3. Let p be -88*(w + 22/(-8)). Suppose 836 + p = 2*n. Is n a composite number?
True
Let m(r) = 2*r + 21. Let x be m(-7). Let u(f) = -13*f - 3*f**2 + 19 + 5*f**2 + 12 + x*f. Is u(16) prime?
False
Suppose 7*f - 20*f + 65 = 0. Suppose 0 = -l - 2*b + 929, -2*l + 1150 = -f*b - 726. Is l composite?
True
Let j = 47357 - 28396. Suppose j = 4*r + 5733. Is r composite?
False
Suppose 0 = 3*i - 7*i + 5*x + 24019, 0 = -2*i + 4*x + 12014. Is i prime?
False
Is (-24)/(-18)*(-7554)/(-8) a prime number?
True
Let z(q) = -q**2 + 9*q - 11. Let y be z(8). Let m(r) = -7*r**3 - 5*r**2 - r + 2. Is m(y) prime?
True
Suppose -2738 - 2594 = -4*k. Is k a prime number?
False
Is (-6)/57 + 3484362/266 prime?
True
Suppose -6*f - 552 = -5*f. Let d = 1171 + f. Is d a prime number?
True
Let x(u) be the third derivative of u**5/60 - u**4/6 + 2*u**3/3 + u**2. Let o be x(3). Is (o + -301)/(-3) + -3 composite?
False
Suppose 3*d + 0*s - 19 = -s, d + 5*s - 25 = 0. Let a(u) = -83*u + 9. Let f be a(-4). Suppose 0 = -d*x + 976 - f. Is x prime?
True
Let l be 972 - 2/(-4 + 2). Suppose -6*t = -38 + 8. Suppose h - l = -2*u, 2*h - t*u = -u + 1922. Is h composite?
False
Let m be 2 + -4 - (-9)/3. Let p(v) = 46*v**3 + v - 1. Let d be p(m). Suppose 3*w - 161 - d = 0. Is w a composite number?
True
Suppose 8*z - 1489 = 52663. Is z a composite number?
True
Suppose 0 = 3*v + 5*l - 434255, -30*l + 31*l - 4 = 0. Is v a composite number?
True
Let b = -6 + 8. Let m = 17 + 167. Suppose b*x + 2*c = m, 5*x - 2*c - 238 = 243. Is x prime?
False
Let p(j) = 18*j**2 + 4*j + 1. Is p(-9) a composite number?
False
Suppose -13 = -2*i + 11. Let y be (-3)/(12/(-38))*i. Let n = y - 79. Is n a prime number?
False
Suppose -4*m = -2*a, 2*m + 1 = 3*m. Suppose k - 24 = -k + 4*l, -a*k + 3*l = -20. Suppose -4*n - 1914 + 4627 = 3*h, k*n + 5*h - 2711 = 0. Is n prime?
False
Suppose 39*o + 385470 = 57*o. Is o composite?
True
Is -34 + 33 - -2187*2 a composite number?
False
Let m be -210 - (2 - 1 - -2 - 6). Let d = m + 1009. Is d composite?
True
Let d be 515/2*(-8)/(-10). Let i = d - -141. Is i a composite number?
False
Let o be -730*((-2)/(-10))/(1/4). Let j = 1301 + o. Is j prime?
False
Suppose -m - 2*r + 1042 = -5*r, 2*m + 3*r - 2084 = 0. Is m a prime number?
False
Suppose 3*g = -7 - 2. Let p = g - 0. Is 2 + p + 3 - -4 prime?
False
Let x(o) = 2*o**3 + 28*o**2 - 32*o - 71. Is x(10) prime?
True
Let g(a) = a**2 - 20*a - 16. Let o be g(9). Let x = 281 + o. Is x composite?
True
Suppose 0 = 4*c - 0*c - 16. Suppose 2*o + 5*f = 158, -c*f = f. Is o a prime number?
True
Let w be ((-359)/(-3))/((-2)/(-24)). Suppose -4*k + 4*i + 3896 = 0, i + 507 = 2*k - w. Suppose 4*l - l - k = 0. Is l prime?
False
Let n(k) = -446*k - 57. Is n(-5) composite?
True
Is (232 - 0)*(-22)/(-88) prime?
False
Suppose 0 = -t + 5*a + 6919, 5*a - 17332 = -2*t - 3509. Is t prime?
False
Let f(h) be the first derivative of 2*h**3/3 - 3*h**2/2 + 11*h - 320. Let u(x) = x**3 - x - 8. Let z be u(0). Is f(z) composite?
False
Let l(o) = 25*o - 53*o + 9 - 43*o. Is l(-4) a prime number?
True
Suppose 0 = -277*b + 289*b - 310092. Is b composite?
False
Suppose g = -2*p + 54840, 26511 = 5*p - 3*g - 110567. Is p composite?
True
Let r(u) = 7 + 0*u - 5 + 8*u. Let q be r(-6). Is q*2*(-65)/52 prime?
False
Is ((16 - 9)/(-14))/((-1)/29486) a prime number?
False
Suppose 4*q - 179574 = -2*k - 42144, 4*k + 5*q - 274848 = 0. Is k composite?
True
Let l(d) = -8*d**2 - 2*d - 3. Let y be l(4). Let x = y - -26. Let p = -36 - x. Is p a prime number?
False
Suppose -3005 = -u - 3*c, -69 = -u - 4*c + 2938. Is u prime?
True
Let y(b) = 2771*b - 2. Let u be y(1). Is (0 - 2)/((-26)/u) composite?
True
Suppose -57 + 5 = -13*q. Is 887/2*(q - 2) + 2 composite?
True
Let l(n) = -7*n**3 - 24*n**2 - 63*n + 47. Let d(a) = -3*a**3 - 12*a**2 - 32*a + 23. Let k(m) = -9*d(m) + 4*l(m). Is k(14) composite?
True
Let s(i) = -2*i + 8. Let a be s(7). Suppose 0 = 3*y - x - 5, y + 0 - 5 = -3*x. Is (-1 - 777/a)*y composite?
False
Suppose 2*q - 26 = -2*k - 3*k, 2*k = q + 5. Suppose 0 = -0*v - k*v + 7748. Is v a composite number?
True
Let f = -2506 - -3853. Is f prime?
False
Let g = -112 + 111. Let x(q) = -674*q**3 - q**2 + q + 1. Is x(g) a composite number?
False
Let r be ((-16)/24)/((-1)/6). Is 10060/(-30)*(-6)/r a prime number?
True
Suppose t + 3*y - 4769 = 0, -217*y = -3*t - 222*y + 14323. Is t prime?
False
Let v(s) = -8*s**2 + 6*s + 6. Let w(o) = 8*o**2 - 6*o - 5. Let l(q) = 4*v(q) + 5*w(q). Is l(-3) composite?
False
Let b(s) = 3*s**2 + 3*s - 2. Suppose -7*a + 2*a = -5. Let z be b(a). Suppose z = -2*d + 24. Is d prime?
False
Let q = -11 - -43. Let m(z) = 2*z**2 + 20*z + 19. Let r be m(-8). Let y = q + r. Is y a prime number?
True
Suppose 4*j + 2943 = c, 4*j - 4313 = -3*c + 4500. Is c a composite number?
False
Let q(i) = -i - 10. Let n be q(-7). Is (-2)/n*(3468/8 - -6) composite?
False
Let o(g) = g**3 + g**2 - 2*g + 2. Let t be o(-3). Let c(q) = -35*q + 103. Let l be c(-6). Let u = l - t. Is u a prime number?
False
Suppose -2690 + 444 = -2*o. Is o prime?
True
Let b = 39821 - -788. 