False
Suppose -3*r - 195*c = -199*c - 546951, c - 729230 = -4*r. Is r a composite number?
False
Suppose 7 = -u - 41. Let t = 53 + u. Suppose -t*w + w = -932. Is w a composite number?
False
Is (30/(-8) - -3 - 35283978/648)*-3 prime?
False
Let k(j) be the first derivative of -227*j**2/2 + 11*j - 6. Let g be 1440/(-315) - (-8)/14. Is k(g) a composite number?
False
Let r be -1 - 0 - (27 + -26). Let q be -6067 + r + 4 + 1. Is (-6)/(-4) + q/(-32) a composite number?
False
Let m(b) = b + 13. Let w be m(-7). Let s be (3 - 41)/(w/(-12)). Suppose 0 = -3*d + y + s + 920, -3*d = 4*y - 981. Is d prime?
True
Let a = 2499 - 700. Let k be ((25 - -5)/(-2))/((-3)/230). Let n = a - k. Is n composite?
True
Is (2791768/(-12))/(204/(-306)) prime?
False
Let q = 64538 + -2935. Is q prime?
True
Let x = 8135 + -2277. Suppose -4*y = -6*y + 2*a + x, 14627 = 5*y + 4*a. Is y a composite number?
False
Let g(n) = 2831*n**3 + 27*n**2 - 80*n - 2. Is g(3) a prime number?
False
Suppose j + 26300 = 21*j. Let m = j + 478. Is m prime?
False
Suppose 20*s - 105001 = -3*c + 266022, 2*c + 5*s = 247382. Is c composite?
False
Let q be (-3261)/9 - 28/(-12). Is 2/5 + (-21096)/q prime?
True
Let d = 54573 + -25889. Suppose 0 = 4*f + h - 6*h - 22943, -h - d = -5*f. Is f a prime number?
True
Let k = 107 + -104. Suppose -k*d + 216 = q, 2*d - 144 = 2*q + 2*q. Suppose 3*y = -3*z + d, -2*y - 67 = -5*y - 2*z. Is y prime?
True
Let l be 3/(-15) - (-4083)/15. Let k = l + -151. Is k a prime number?
False
Let g be -1*8/20 + 346/(-10). Let t = 25 + g. Let q(y) = -2*y**3 - 5*y**2 + 12*y - 17. Is q(t) composite?
True
Let z(l) = 3*l**3 - 29*l**2 + 60*l + 103. Is z(19) a composite number?
False
Let k(z) = -z**2 - z + 8. Let i be k(0). Let g be (0 - i/4) + 12320. Suppose -2*f - 4*f + g = 0. Is f prime?
True
Suppose 110*n = -35*n + 21*n + 2226668. Is n prime?
True
Let m(i) = 5*i - 28. Let p be m(6). Suppose y + 214 = -q, -y - y = -p*q - 436. Let n = 379 + q. Is n prime?
True
Suppose 5*z + 13*y = 12*y + 64143, 0 = 3*z - 4*y - 38495. Is z a composite number?
False
Suppose 115 = 6*a - 29. Suppose j + 0*m - a = 2*m, -2*j + 2*m = -38. Is j composite?
True
Let g = 2696 - 1889. Is g composite?
True
Let h be 968/33 + (-2)/(-3). Suppose 4*u - 21196 = -2*q, -3*q - h = 2*u - 10628. Is u prime?
False
Let u = -9531 - -22564. Is u a prime number?
True
Suppose 2*y + 4 = 6*y, y = x - 1. Suppose 2*i = 4*i + 5*g - 37635, -4*i - x*g + 75230 = 0. Is i composite?
True
Let t be 40/(-16)*(-4)/(-5). Let p(h) = 93*h**3 - 3*h**2 - 5*h - 1. Let u(j) = -92*j**3 + 4*j**2 + 6*j - 1. Let b(l) = -3*p(l) - 2*u(l). Is b(t) composite?
True
Let q(x) = 12*x + 30803. Is q(0) a composite number?
False
Let a be (-48)/600 + 2/25. Suppose -4*m + 2*m = h - 193, a = 2*h - m - 381. Is h a composite number?
False
Let d(c) = c**3 + 13*c**2 + 4*c - 5. Let n = 2 - 13. Let j be d(n). Let y = 396 - j. Is y a prime number?
False
Let j be 30/8 + 3/12. Suppose 6892 + 2316 = j*o. Is o prime?
False
Is (15/25)/(4/(-20))*(-11664915)/45 prime?
True
Suppose 836*y - 856*y + 1670300 = 0. Is y a composite number?
True
Suppose 14*b - 45 - 11 = 0. Suppose z = -b*z + 3115. Is z composite?
True
Let h(n) = -12*n**2 + n**3 + 82*n - 7 + 0*n**3 - 61*n. Let b be h(10). Suppose c - 461 = -s, -b*s = -4*c + 2010 - 152. Is c a prime number?
True
Let z be ((-60)/10 - (-3 + 0)) + 16624. Let i = 26754 - z. Is i prime?
True
Let q(b) = 3*b**3 + 8*b**2 - 3*b + 4. Let y be q(-3). Suppose -16994 - 17010 = -y*c + m, 5*c - 42505 = m. Is c a prime number?
True
Suppose 274296 = 2*i - 2*y, 2*i + 5*y - 289125 + 14864 = 0. Is i a prime number?
True
Let u be (-6)/((-12)/(-10)) - -8. Suppose 12*q = t + 13*q - 3030, 2*t + u*q = 6063. Is t prime?
False
Let m(x) be the second derivative of 86*x**4/3 + x**3/3 + 13*x**2/2 - 122*x. Is m(-4) a composite number?
True
Let o(d) = 26*d**2 - 20*d - 31. Let t be o(-2). Suppose -23 = -2*x + 33. Let f = t - x. Is f prime?
False
Suppose -9*h + 12*h = 18, -a + 4*h + 2447 = 0. Is a a prime number?
False
Suppose -3*m + 156109 = -8*i + 3*i, -104094 = -2*m - 2*i. Is m composite?
True
Suppose 3*k + k - 26 = -2*o, -o = -3*k + 12. Suppose 0 = -v - 4*u - 10, k*v - 3*u - 34 - 8 = 0. Let q = v - -217. Is q a prime number?
True
Suppose -11*c - 23309 = -12*c. Suppose c + 46558 = 7*b. Let i = b - 6484. Is i a composite number?
True
Let d(b) = b + 20. Let r be d(-12). Suppose -5*u - r = -18. Suppose 4*v + h - 3816 = -h, 0 = u*h - 4. Is v a composite number?
False
Let p(m) = -9 - 179*m - 8 - 8. Let l(g) = 36*g + 5. Let o(y) = 11*l(y) + 2*p(y). Is o(13) a composite number?
False
Let m be (-2 - (-20)/(-15))*18/15. Let x be m/14 + 1548/28. Let t = x + 14. Is t composite?
True
Let w(q) = 440*q**2 + 145*q - 2103. Is w(74) prime?
True
Suppose 0 = -3*r - 3 - 6, 5*r = -5*y + 723055. Is y prime?
False
Let n(i) = -613*i - 63. Let a be n(-16). Suppose 42*v = 47*v - a. Is v a prime number?
True
Let z(i) = 12*i**2 - 10*i - 6. Let k = -2 - -13. Let g be z(k). Suppose -4*v + 3*j + g = -990, 3*v + 3*j - 1755 = 0. Is v composite?
True
Let q = -90 - -98. Suppose -q = 2*d - 12. Suppose 4*w + 2*v = -d*v + 11060, -3*w = v - 8299. Is w composite?
False
Let b = -2070 + 27725. Suppose -2*g + n + b = 0, 0*g + 5*g + n - 64141 = 0. Suppose 8*j + 4*j - g = 0. Is j composite?
False
Let g = 8875 - 8875. Let c(f) = -4*f**3 + f. Let i be c(-1). Suppose g = i*x - 4*q + 6*q - 2903, -4*x = -4*q - 3864. Is x a prime number?
True
Suppose v - 146838 = -3*m, 31898 = 5*m - 5*v - 212852. Is m composite?
False
Is 1/(1/539870)*(-558)/(-1116) a composite number?
True
Let x(a) = 151*a**2 + 2*a + 23. Suppose -21*w + 16*w = -30. Is x(w) a prime number?
True
Let k = -257 - -260. Is (k - -1835)*((-10)/(-4) - 2) composite?
False
Let m = 230 + -163. Let s be (-6)/1 + -26 - 1. Let k = s + m. Is k a composite number?
True
Let l be 928 + 0 + 1 - -4. Suppose -l = 5*c - 2*c. Let f = c + 682. Is f a composite number?
True
Let q(n) = -n**3 + 43*n**2 + 78*n + 171. Is q(35) composite?
True
Is 1531526404/7372 + (-2)/19 a prime number?
False
Let f = 1564 + -714. Suppose 3*p + f = 4*b, -21 + 27 = -3*p. Is b composite?
False
Suppose 0 = -f + g + 4171 - 114, 3*f + 3*g = 12171. Is f prime?
True
Let a = 60 + -60. Suppose a*i + i = -2*c + 3685, -2*c + 7376 = 2*i. Is i a composite number?
False
Is 3/(-18) + -14*1296872/(-96) a composite number?
False
Is (0 + -6)*((-4)/8)/(-1) - -66580 prime?
False
Let t(z) = 11*z + 66. Let j be t(-6). Is (398 - (3 - 2))/(j + 1) prime?
True
Let w(a) = 97*a**2 + 90*a + 39. Is w(-22) a prime number?
True
Let l = 39 + -37. Let h(j) = -3*j**2 - 13*j**l - 10*j + 28*j**2 - 14 - 7*j**2. Is h(13) a composite number?
False
Suppose 3*f + 3*y - 595515 = 0, 0*f - 198501 = -f - 2*y. Is f prime?
False
Is (2 - 5/3)/(210/25015410) a composite number?
True
Let b(u) = 13*u - 3*u - 6 - u**3 - 11*u**2 + 11*u. Let x(g) = -4*g - 257. Let m be x(-61). Is b(m) composite?
False
Let a(g) = 20*g**2 - 2*g. Let f be a(-2). Suppose p + 2*h = f, 4*p + 2*h = 4*h + 356. Let z = p + -6. Is z composite?
True
Suppose 0 = 2*q - y - 36, 0 = 4*q + 5*y - 0*y - 58. Let n(l) = 27*l + 8*l**2 - 4*l**2 + 9 + l**2 - 6*l**2. Is n(q) prime?
True
Let n = 720 - 724. Is 188508/(-184)*n/6 a prime number?
True
Let g(w) = -58*w**2 - 11*w - 25. Let x be g(-7). Let i = x - -4009. Is i composite?
True
Suppose 25*u - 8383599 = -7217704 + 9642530. Is u composite?
False
Suppose 26 = 4*u - 6*l, -19 - 16 = -5*u + 5*l. Let m = 6318 + -3655. Suppose -m = -u*c + 6273. Is c prime?
True
Let t(s) = 19*s. Let c(o) = -39*o. Let y(z) = -6*c(z) - 13*t(z). Let p be y(-14). Let i = p - 63. Is i composite?
True
Let r(m) = 35*m**2 + 17*m - 5. Let w(u) be the second derivative of -u**5/20 + 3*u**2/2 + 38*u. Let z be w(-2). Is r(z) composite?
True
Suppose 0 = -y - 4*g + 155173, -312*y = -316*y - 3*g + 620653. Is y a prime number?
True
Let o be 2/(-14)*-593 + (-26)/(-91). Suppose 5*z + 2*b + 30 = 7*z, 0 = 5*z - 3*b - o. Suppose -z*w = -21*w + 139. Is w a prime number?
True
Suppose -18350 = 2*q + w, -3*q + 9180 = -4*q + 2*w. Let p be q/(-18) - (-2)/9. Suppose t = 7*t - p. Is t a composite number?
True
Suppose -7*b + 7 + 7 = 0. Suppose 3*c - b*v = 1661, 650 = 5*c + 5*v - 2110. Is c composite?
True
Let v(q) = -q**3 - 12*q**2 - 6*q + 47. Let p = 138 + -162. Is v(p) a composite number?
False
Is 