. Let r = -2 - l. Let u = 210 + r. Is u a composite number?
True
Suppose y + 5*n = 8865, -y + 8873 = -0*y + 3*n. Is y a composite number?
True
Suppose 0 = -3*u + 976 + 356. Let y = -253 + u. Is y a prime number?
True
Suppose -32*q - 47993 + 2959801 = 0. Is q prime?
False
Let l(c) = 13*c**2 + 31*c - 145. Is l(-34) a composite number?
False
Suppose 38*z - 51494 - 63912 = 0. Is z a prime number?
True
Suppose 9*i = 227084 + 118453. Is i a prime number?
True
Is 43244/19 + (0 - -9) a composite number?
True
Suppose 7*z + 685 = 2*z. Let q = -58 - z. Is q a prime number?
True
Let p be (6/16*4 + 3)*-994. Is 12/9*(p/(-6) - -3) a prime number?
False
Let h(g) = g + 10. Let u be h(-4). Suppose 0 = u*m - 3*m - 282. Is m a composite number?
True
Suppose -3290 = -5*z - 3*f + 8*f, -3*f + 9 = 0. Suppose -2*v + 5*x + 278 = 0, 4*x = -2*v + 7*v - z. Is v a prime number?
False
Let b be -1 - -597 - (-3)/3*2. Let h be (0/(-2) + -1)*-9. Suppose 0 = -7*v + h*v - b. Is v a prime number?
False
Let q be (56/20 + -2)*-5. Let d be q/(-28) + 66/(-21). Is 89 + 7 + 2 + d composite?
True
Let i(f) = -5*f - 4. Let j be i(-2). Is 337*(-3 + j + -2) composite?
False
Let j(w) = w**3 - 5*w**2 + 136*w + 23. Is j(21) a composite number?
True
Is (1735/20)/((-2)/(-40)) composite?
True
Let v(q) = 7*q**2 - 17*q + 19. Suppose -r - 3*a = -2, r + 0*a + 1 = -4*a. Is v(r) prime?
False
Suppose -19*w + 28125 = -8906. Is w prime?
True
Let h be (-5 - 4) + (-3 + 2 - 2). Let p be ((-3)/(-2))/(9/12). Is ((-31)/3)/(p/h) a composite number?
True
Let a = 108 - 12. Suppose -6*n - a = -882. Is n composite?
False
Suppose -16*o = -24*o + 4152. Suppose -n = 2 - o. Is n a prime number?
False
Let u(d) = -11*d**3 - 29*d**2 - 32*d + 11. Let b(j) = 4*j**3 + 10*j**2 + 11*j - 4. Let z(a) = 8*b(a) + 3*u(a). Is z(-10) a composite number?
True
Let o = -818 + 570. Let h = -636 - o. Let c = h + 705. Is c prime?
True
Let f(w) be the first derivative of 1501*w**3/3 + 2*w**2 + 2*w - 4. Is f(-1) prime?
True
Let w(x) be the first derivative of x**2/2 + 9*x + 2. Let r be w(7). Suppose 20*y - r*y = 844. Is y prime?
True
Is (-957901)/(-42) + (-15)/90 a composite number?
False
Suppose 3*n + 7 = 2*o, 7*n - 4*n = -4*o + 23. Let q(h) = 81*h**2 - 3*h - 3 + n + 1 + 0. Is q(-1) prime?
True
Let c(u) = 11*u**2 - 6*u + 6. Let a be c(3). Let r(h) = -1 + 5 + 4 + 14*h - a*h. Is r(-5) a prime number?
True
Suppose -6*u - 9079 + 133777 = 0. Is u a prime number?
False
Let m = 13392 + 3171. Is m composite?
True
Let w(n) = -n**2 + 5*n - 3. Let s be w(3). Suppose o - k = 692, o + s*o = k + 2765. Is o a composite number?
False
Suppose -2*l - 4*l = -111738. Is l a prime number?
False
Suppose u = -4*f + 8441 + 20, -u + 2119 = f. Suppose 5*b = 2781 + f. Is b a composite number?
True
Let q(d) = d - 2*d + 0*d**2 + 3*d**2 - 4*d + 6. Let f be q(5). Suppose -3*j = 4*v - 888 + f, -j = -5*v + 1059. Is v composite?
False
Let m be (-5*1 + -1)*1. Let d(t) be the first derivative of t**3 + 3*t**2 + 5*t - 481. Is d(m) composite?
True
Let b(t) = -213*t + 8. Suppose -10*u - 9 = 1. Is b(u) a composite number?
True
Is (-2 + 453645/18)/(2/4) composite?
True
Suppose 4*w - 3*w - 258 = 2*k, 0 = 5*w + k - 1235. Suppose 5*f = 4*p - 0*f - w, 2*f = 8. Is p a composite number?
False
Suppose 182*f - 184*f + 1042 = 0. Is f prime?
True
Let h(v) = -v**2 - 7*v - 2. Suppose 0 = -n + 2*n - 2*i - 2, 4*n + 25 = -3*i. Let q be h(n). Is q/4*132/6 prime?
False
Let h(d) = -91*d - 34. Let f be h(7). Let u = f - -1348. Is u a prime number?
True
Let s(y) = 421*y**3 - 2*y**2 + y - 1. Suppose 0 = 12*m - 18*m + 6. Is s(m) composite?
False
Suppose 2*p = -2*p - o + 37870, 4*p + 4*o - 37876 = 0. Is p a prime number?
True
Let f(y) = 20*y - 45. Let x(q) = -7*q + 15. Let p(m) = -6*f(m) - 17*x(m). Let t be p(-7). Suppose -62 - t = -6*k. Is k composite?
True
Let t = 4 + -2. Let n be 0*(t + (-6)/4). Suppose 5*s - z - 133 = 30, n = -z + 2. Is s a prime number?
False
Suppose -g = i - 1169, 4*g = i + 423 + 4263. Suppose -o + 3*a - a + 407 = 0, 4*a - g = -3*o. Is o composite?
False
Suppose -3*y + 0*h - h - 53 = 0, -4*y + h - 59 = 0. Is (291*y/36)/(2/(-3)) a composite number?
True
Is 4 - 3/(2/5154*-3) composite?
True
Let p be (-26)/(-8) - (-3)/(-12). Is (-6)/(-90)*p*1055*1 composite?
False
Let u(k) = -k**3 - 4*k**2 - 4*k - 14. Let j be u(-4). Suppose -3*l - 3*r + 882 = 0, -8*l + 6*l + j*r + 608 = 0. Is l composite?
True
Suppose -2*q = 4*q - 2058. Let t(m) = 2*m**2 - 2*m - 1. Let k be t(2). Suppose k*b + 2*o - 472 = 3*o, -5*o + q = 2*b. Is b a prime number?
False
Let a(k) = 3*k - 8. Let l be a(2). Let m(y) = -29*y**3 - 3*y**2 - 4*y - 7. Is m(l) a prime number?
False
Suppose 2*v = 6*v - 32. Suppose 4 + v = -t. Is 129*(56/t)/(-2) a prime number?
False
Let r = -43 + 51. Is 441 - r/(-2) - -4 a composite number?
False
Let w(l) = 3*l**2 - 27*l - 22. Let j be w(24). Suppose -4*t - k = -4*k - 1001, t = 5*k + 229. Suppose 4*v - j + t = 0. Is v a prime number?
False
Let p(v) = -2231*v + 262. Is p(-15) a prime number?
False
Let i(r) = r**3 + r. Let k be -3 + 5 + 2 + -4. Let d be i(k). Suppose d = 11*u - 9*u - 530. Is u a composite number?
True
Let u(k) = -50*k**3 + k**2 - k + 3. Is u(-4) prime?
False
Let o = -51 - -6. Is (9/o + (-6)/20)*-1270 composite?
True
Let n(t) = t**3 - 6*t**2 - 8*t + 9. Let u(y) = -y - 2. Let a be u(-9). Let m be n(a). Suppose -3*j + 1965 = m*j. Is j prime?
False
Let l = 449 - 33. Let k = 1003 - l. Is k a composite number?
False
Suppose 0 = -0*u + 3*u + 3*v - 18, 0 = 3*u + 2*v - 16. Suppose u*o + 25 = f, 5*f - 20 = -2*o + o. Let y(k) = -24*k + 7. Is y(o) prime?
True
Let t(k) = 2*k**3 + 25*k**2 + 65*k - 1. Is t(-7) composite?
False
Let q(k) = 2*k**2 + 3*k. Let a be q(-2). Is (-10 + 9)/(a/4) - -471 prime?
False
Let b(y) = -3936*y + 10. Is b(-1) prime?
False
Let t(w) = 2*w**2 + 13*w - 18. Let i be t(12). Let x = -73 + i. Is x a prime number?
True
Let j(u) = u**2 + 1. Let g be j(2). Suppose -837 = -c - 4*z, -3*z = 2*c - g*z - 1654. Is c a prime number?
True
Let q be (-8)/12 + (-12884)/(-12). Suppose -410 = -l - 5*x, 2*l - q + 328 = 5*x. Suppose 0 = n + 5*t - 388, 0 = n - 2*t + 6*t - l. Is n composite?
False
Suppose 3*w + w = 40. Let y = w + -14. Is (-8)/y - (-482 - 1) prime?
False
Suppose 2*z = b - 8191, -2*b + b + 8176 = z. Suppose -3*f = v - 2042, 0*v - b = -4*v + f. Suppose v = 5*h - 465. Is h a prime number?
False
Let n be ((-3)/(-9) - 1)*-23172. Is 1/((2/3)/(n/12)) prime?
True
Let i be (318/4)/((-3)/8). Let j = i + 406. Is j prime?
False
Let b(p) = 4*p**2 - 8*p + 9. Let h = 41 - 49. Is b(h) composite?
True
Suppose -33174 = 18*c - 110952. Is c a composite number?
True
Suppose 0 = -4*y + 182086 - 42962. Is y a prime number?
True
Let r(i) = i**2 - 3*i - 1. Let l be r(3). Is (-2 - (-2 + l))*53 prime?
True
Is ((-90)/6 + -6)*(-291)/9 composite?
True
Suppose 0 = 46*v - 16*v - 449910. Is v a prime number?
False
Let h(a) be the second derivative of -a**3/3 + 3*a**2/2 - 6*a. Let m be h(0). Suppose -m*v + 587 = 3*f - 205, 2*f = 2. Is v prime?
True
Suppose 164*n = 142*n + 246026. Is n composite?
True
Is 1 + (-5)/(-1) + 11420 + 17 a composite number?
False
Suppose 0 = -t + 2*t - 3, -2*o + 3*t + 1339 = 0. Let p = o - 235. Is p a prime number?
True
Is (4 + -96)/(-3*8/12) composite?
True
Suppose 4*f = -t + 11, -f - 4 = 4*t + 12. Suppose f*m + c - 805 = 0, m + 2*c - 196 - 7 = 0. Is m prime?
False
Let a be 1/3*-3 - -7. Suppose 0 = -3*m - a*b + 3*b + 1014, 679 = 2*m + 3*b. Suppose -m = 2*o - 937. Is o a prime number?
False
Let w be 2 + -4*(-2)/(-4). Suppose 0*n - n + 4 = w. Suppose 3*d + 85 = a, 0*a + 404 = n*a + 4*d. Is a a prime number?
True
Let j = 5211 + -2051. Suppose 0 = 2*x - j + 1142. Is x prime?
True
Let p be ((-390)/4)/((-14)/28). Suppose 0 = t - p + 36. Is t prime?
False
Let o = -13 - -22. Is (-922)/(-3) + (-3)/o a prime number?
True
Let m(f) = -2*f - 6. Suppose -18 = 5*t + 2. Let r be m(t). Let n = r - -49. Is n composite?
True
Let m = -5706 - -19024. Is m composite?
True
Suppose -2*x - x + 2687 = 2*p, -1802 = -2*x - 4*p. Suppose 0 = -3*z + 5*n + 1015 + x, -5*z + 3164 = -3*n. Is z composite?
False
Suppose 5*j = 0, j + 4*j = -4*d - 32. Let o be (-922)/d - (-1)/(-4). Suppose -3*h - 2*h + o = 0. Is h composite?
False
Let s(x) = x**3 + 32*x**2 - 36*x + 79. Is s(-30) composite?
True
Let v(t) = t**3 - t**2