9. Let y = t - n. Is y prime?
True
Suppose 3*a - 18 = -21. Let x(i) = -388*i - 9. Is x(a) prime?
True
Is (18/4 + -4)*541*14 prime?
False
Let v = 34 - 29. Let j be (-3 + v)*(0 - -1). Suppose -j*i + 5*k = -1294, 2*k = -5*i + 3694 - 459. Is i a composite number?
False
Let t be (-4 - (-2 + 0))/(-1). Suppose 0 = -3*f - 4*h + 70, 5*h = -3*f + t*h + 66. Suppose -253 = -f*y + 17*y. Is y prime?
False
Let l be 0/(2 - (4 - 5)). Let o(r) = -r**2 - r + 127. Is o(l) composite?
False
Let p be ((-11)/33)/((-1)/3)*5. Suppose 3*l = p*l - 3*q - 7654, -4*q = 2*l - 7682. Is l a prime number?
True
Suppose -3*c + 3*y - y = -59215, -98697 = -5*c - 2*y. Is c composite?
False
Let l = 29 + -27. Suppose 14477 = l*w + 3*w - 2*j, 4*w - 11600 = -3*j. Is w composite?
False
Let r(a) = -62*a**3 + 3*a**2 + 7*a + 1. Let j = -145 - -141. Is r(j) a prime number?
True
Let a(c) = -c**2 - 10*c. Let x be a(-7). Let w be (-7)/(x/(-198)) - 3. Is w*3 + -7 + 9 a composite number?
False
Let s(q) = 31*q**2 - q + 1. Suppose j + j - 6 = 0. Suppose -3*c + 0*d + d + 5 = 0, 3*c = -j*d - 3. Is s(c) a composite number?
False
Suppose -5*f + 8108 = -15977. Is f composite?
False
Let f(b) = -339*b - 929. Is f(-4) prime?
False
Let q(a) = 3 - 204*a + 69*a - 145*a. Let j be q(-4). Let l = -674 + j. Is l prime?
True
Let j = -95 + 90. Is -1358*(j + 27/6) a prime number?
False
Let a = 6729 + -3860. Is a a composite number?
True
Let b = 2409 - -2894. Is b prime?
True
Let x(t) = 2*t**3 - 22*t**2 + 153*t - 2. Is x(16) a composite number?
True
Let m(j) = 960*j**2 - 39*j + 38. Is m(9) composite?
False
Let h be 2*(-291)/6*-16. Let w = 659 - h. Is 4/(-16) - w/4 prime?
True
Suppose 4*o + 47170 = 14*o. Is o a prime number?
False
Let m be -2 - (5 + 0)*-1. Suppose 595 = m*n + 211. Suppose 0 = g + 2*o - 125, 4*o + 3 + n = g. Is g a composite number?
False
Suppose -u = 3*b - 10296, -3*u + 5*u = -2*b + 6860. Is b composite?
False
Let z = 28 + -16. Let n be (14/3)/(z/18). Suppose 146 = 3*w - n. Is w a composite number?
True
Suppose 0 = 5*p - 2*t - 2008, 0 = -4*p - t - 3*t + 1612. Let q = -35 + p. Is q composite?
False
Let l(v) = 8*v - 46. Let q be l(6). Suppose 0 = -r + f + 467, 3*r + q*r = -5*f + 2295. Is r a prime number?
True
Let t(y) = y**2 + 20*y - 46. Let b be t(-22). Is 422 - (b/(-11) - 4/22) composite?
True
Let x(j) = -97*j - 26. Let z(r) = -290*r - 77. Let m(n) = -8*x(n) + 3*z(n). Is m(-6) a composite number?
False
Is 10/14 - 1 - 1356876/(-84) a composite number?
True
Let w = -11 - -9. Let b be 1 + 2 + (w - -106). Let s = -40 + b. Is s prime?
True
Suppose 5*q - 4*y - 20800 = 19764, 3*q = 2*y + 24340. Suppose -4*i + q = -96. Is i composite?
False
Let g be -48 - ((-10)/(-5) + -3). Suppose 2*j - 46 = -250. Let x = g - j. Is x composite?
True
Let q be (-2)/2*4 + -120. Let v = 361 + q. Is v composite?
True
Let l(o) = -o**3 + 8*o**2 + o + 16. Let x be l(5). Suppose -152 = -w - 0*w. Suppose -4*y + x = -w. Is y a composite number?
True
Suppose -7*c - 5*c + 6108 = 0. Is c a prime number?
True
Suppose i + 53344 = 4*m - 17231, -20 = -4*i. Is m a composite number?
True
Let y(o) = -1077*o + 197. Is y(-12) prime?
True
Let m = -21848 - -31711. Is m a prime number?
False
Suppose -70 = 2*a - 6*a + 3*o, -3*a - 5*o = -38. Let q be a/(-28) - (-3275)/35. Suppose -n - q = -2*n. Is n a composite number?
True
Suppose -30*y + 29*y = 2*g - 245, 3*g - 12 = 0. Is y composite?
True
Let n(w) = 5*w**2 - 2*w + 1. Let l be n(1). Let p be 2/(-14) - 12517/(-7). Suppose 0 = -l*t - d + p, 3*t = d + 3*d + 1341. Is t a prime number?
False
Suppose 8*o + 53225 = 13*o. Is o a prime number?
False
Let r(p) = 86*p**2 + 4*p + 2. Let y(u) = 85*u**2 + 4*u + 3. Let s(o) = 6*r(o) - 5*y(o). Is s(4) a composite number?
True
Let o(s) = 722*s - 1. Let u(p) = -p + 7. Let h be ((-6)/7)/((-1)/7). Let q be u(h). Is o(q) a composite number?
True
Let q(v) = 2121*v - 76. Is q(5) a composite number?
False
Let t(j) = 30*j**2 - 6*j - 5. Let i be t(-5). Suppose 2*q - 4*q - 5*g + 304 = 0, -5*g = 5*q - i. Is q a prime number?
True
Suppose -n = -4*b - 1182, 4*n = b + 1289 + 3454. Let z = n + -657. Is z a prime number?
False
Suppose 15*o - 14*o = -14. Let x(d) = d**3 + 15*d**2 + 7*d - 5. Is x(o) composite?
True
Suppose 3*h + 5*v = 12522, 2*v = -0*h - 5*h + 20851. Let t = -2328 + h. Is t composite?
True
Let p(o) be the third derivative of -2/3*o**3 - 1/20*o**5 + 0*o + 0 - 7/120*o**6 + 1/8*o**4 + 7*o**2. Is p(-3) a prime number?
True
Let c(s) = -s**3 - s**2 + s + 2. Let h be c(-2). Let v(i) = -h*i**2 + 5 - 5*i**3 + 3*i + 3*i + 0. Is v(-4) composite?
True
Let n be -1364*(3 + (-15)/4). Let x = n + -730. Is x a prime number?
True
Let s = -1 + 4. Let j(r) = -1 - 1 + r**3 + r**2 - 3*r + 0*r**s - 8*r**3. Is j(-3) composite?
True
Let g(q) = 29*q**3 + 2*q**2 + 12*q - 7. Is g(6) a prime number?
False
Let h(u) be the first derivative of 2*u**5/15 - u**4/3 + u**3/2 + 7*u**2/2 + 10. Let c(k) be the second derivative of h(k). Is c(5) a composite number?
False
Let n = -14 - -9. Let v = 9 + n. Suppose 4*p - 238 = 3*o + 52, 0 = v*o + 8. Is p a prime number?
True
Let m(o) be the third derivative of 2*o**5/15 + o**4/6 + 7*o**3/6 + 5*o**2. Is m(6) a prime number?
False
Let l(r) = r**3 - 8*r**2 - 10*r + 10. Let h be l(9). Let i(o) = 714*o**3 + o - 2. Is i(h) prime?
False
Let t(d) = -11*d - 33. Let n be t(-3). Suppose v - 145 = -5*g + 637, -2*v - 5*g + 1579 = n. Is v prime?
True
Let z(m) = m. Let n be z(-8). Let f be (110 - -1)/(n/(-8)). Let q = f - 24. Is q a prime number?
False
Suppose -2*v + 8956 = -33*q + 36*q, 5*v - 5*q = 22415. Is v composite?
False
Let l = -204 + 362. Let x = l - -848. Is x prime?
False
Suppose 0 = -3*u + u + 700. Let i = u - 201. Is i a prime number?
True
Suppose 0 = -4*y + 2*y + 48. Suppose -2*u + y = 4*m, 3*u + m = u + 9. Suppose 6*h - 3004 = u*h. Is h a composite number?
False
Let c(j) = j. Let n be c(12). Is ((-3162)/n + -4)/((-3)/6) prime?
False
Let u = 59 + 24. Suppose 10*s - 7*s + 360 = 0. Let b = u - s. Is b a prime number?
False
Let u be (-2 + -5)/((-1)/43). Let c = -110 + u. Is c a composite number?
False
Let l be ((-6)/(-10))/(6/330). Let x = l + -29. Suppose 254 = x*p - 2*p. Is p a composite number?
False
Let g = 151 + 110. Suppose -2*n + 407 = 4*s + s, -3*n - g = -3*s. Is s a prime number?
True
Let b = 20 + -16. Suppose -9*i + 1535 = -b*i. Is i composite?
False
Suppose -4*h = 12, 7*u + h = 2*u - 1683. Let w be (-21 - -1)*u/12. Suppose 3*v = k + 7*v - 109, 0 = -5*k - 5*v + w. Is k a composite number?
False
Let n(b) = 796*b - 891. Is n(4) composite?
False
Suppose -y = -7*y - 42. Let m(s) = 51*s**2 + 2*s + 10. Is m(y) a composite number?
True
Let o be ((-5)/(-5))/(0 + -1). Is (o/4)/((-9)/5364) a composite number?
False
Let l be 0 - -1 - 3/(-3)*-1. Suppose l*q = -4*q + 508. Is q prime?
True
Suppose 736*m + 40114 = 738*m. Is m prime?
False
Let g = 67 - 63. Suppose -g*v + 2*r = -6636, -5*v + 2*r = -9*v + 6620. Is v prime?
True
Let p be (-138)/(-30) + (-4)/(-10). Suppose -p = 5*n + 10. Is 117 - (-1 + n + 2) prime?
False
Is 792140/(-60)*9/(-3) a composite number?
False
Suppose -6*g - 4*h = -11*g + 590925, 2*g - 236393 = -3*h. Is g composite?
False
Suppose 0 = 7*x - 51683 - 29846. Is x a prime number?
False
Suppose -2*k - 3*k + 9167 = 4*d, -4*k + 3*d = -7346. Is k a prime number?
False
Let w = 2377 + -1499. Is w prime?
False
Let t = -3 + 11. Let i(h) = 10*h**2 - 14*h - 7. Is i(t) composite?
False
Suppose 2*p - 3*c - 30 = c, 75 = 5*p - 4*c. Let h = -6 + p. Suppose 5*m = h*m - 148. Is m prime?
True
Let l = -104 + 96. Is (l/(-40) - (-7)/(-10))*-1106 a prime number?
False
Let a(d) = -78*d + 1. Suppose 0*x = 3*x + 9. Is a(x) a composite number?
True
Suppose 30*o - 188339 = 25*o + m, 2*m - 37659 = -o. Is o a composite number?
True
Suppose 4*s - 9571 - 177 = 0. Is s a composite number?
False
Let f(r) = -20*r + 7. Let y(k) = 2*k**3 + 3*k**2 + k. Let m be y(-2). Is f(m) composite?
False
Suppose 2*u + 3836 = 7*u + 3*h, 3*u + 2*h = 2301. Is u composite?
False
Let z be 7/14 - (-18)/(-4). Let l(y) = -y. Let a be l(-1). Is 253*-4*a/z prime?
False
Let n(z) be the third derivative of 15*z**6/4 + z**5/15 - z**4/24 - z**3/2 - 3*z**2. Is n(2) composite?
True
Suppose -3*d - 12316 = d. Let b = 578 + 3838. Let i = d + b. Is i a composite number?
True
Let w(g) = -g + 6. Let j be w(3). Suppose