 = 0, 6 = 2*c - 2*r - 2*r. Let n(g) = -3*g**2 + 11*g + 15. Let h(w) = w**2 - 5*w - 7. Let z(a) = c*h(a) - 2*n(a). Is z(-7) composite?
True
Suppose 3*v + 33 = 4*k - 2*v, -4*k + 3*v = -23. Suppose 131 = 3*m - k*m. Is m a composite number?
False
Let y = 54 - -131. Is y prime?
False
Let z = 295 - 84. Is z a prime number?
True
Let w(t) = -4*t**2 + t + 1591. Is w(0) a prime number?
False
Is 333/6 - (-6)/4 a composite number?
True
Let k(q) = -2*q - 10. Let t be k(-5). Suppose -5*p + 2*n = -1345, t = -3*p + p - 5*n + 567. Is p a prime number?
True
Suppose 3*a - 926 = -2*j + j, a - 312 = -j. Is a a composite number?
False
Suppose -4*m + 3*j + 19 = 0, -6*m + m + j + 32 = 0. Suppose 0*h + 2*r + 160 = 4*h, -2*h - 4*r + 60 = 0. Let u = h - m. Is u a prime number?
True
Suppose -2*a + 19 = 3*k, 0*a - 7 = -4*k + a. Suppose -4*b + 37 = -3*b - f, b = -k*f + 25. Is b a prime number?
False
Suppose -5*c - 8 = -4*n - 3*c, -5*c + 10 = 0. Let y be 1 - (3 + -2)*-2. Suppose -5*l + 2*i + 751 = -i, n*i - 441 = -y*l. Is l composite?
False
Let w(p) = p**2 - 2*p. Let v be w(3). Suppose 2*o - 73 = -5*y, 6*o = o + v*y + 198. Is o prime?
False
Suppose -3*t = 15, -2*t + 11 = 5*l + 1. Suppose 0 = l*q - 0*q - 476. Is q a composite number?
True
Suppose -g - g - 2*o + 1766 = 0, -g + 5*o + 883 = 0. Is g composite?
False
Let m = 77 + -55. Suppose -8 = 5*l + m. Let v(o) = o**3 + 7*o**2 + 5*o + 1. Is v(l) a prime number?
True
Let a(k) = -2*k**2 + k. Let q be (8/(-6))/((-4)/6). Let p be a(q). Is -2 + p*7/(-2) prime?
True
Is (-173)/(-9) - (-4)/(-18) prime?
True
Suppose 0 = 2*q - 4*h - 3266, -3*q + 4040 + 863 = -4*h. Is q a composite number?
False
Let a be (1 + -14)/1*-3. Let z = a + -17. Is z composite?
True
Let j(o) = o**3 - o - 3. Is j(3) composite?
True
Suppose 3*f - 7 - 11 = 0. Let u be (100/f)/((-3)/9). Let i = -11 - u. Is i composite?
True
Suppose -5*d + 1209 = 2*p - 8*d, -5*d - 2413 = -4*p. Is p a prime number?
False
Let l = -21 + 645. Let f = l + -243. Is f prime?
False
Let q = 9 - 1. Is ((-110)/q)/((-1)/4) prime?
False
Let i(p) = p**3 - p**2 - 2*p + 4. Let a be i(5). Suppose -5*v + 171 + a = 0. Is v composite?
False
Let q(x) = 93*x**2 - 2*x - 2. Is q(-3) prime?
False
Let j be (24/(-14))/(5/(-105)). Suppose -i + j = i. Is 4/i - (-799)/9 composite?
False
Let s(y) be the first derivative of y**5/20 + y**4/12 - y**3/6 + 11*y**2/2 - 3*y + 3. Let n(g) be the first derivative of s(g). Is n(0) prime?
True
Let r = 2645 + 62. Is r composite?
False
Let w be -3 - (-4 - -3) - -5. Suppose 4*b - 341 = -w*i, 0 = -b + 5*b - 2*i - 326. Is b prime?
True
Suppose 0 = -2*l - 1 + 11. Let v = l + -3. Suppose 3*a - 73 - v = 0. Is a composite?
True
Let r = 348 + 452. Suppose a + 4*a - r = -5*i, 0 = -2*a + 6. Is i a prime number?
True
Let k(x) = -2*x**3 - 5*x**2 + x - 3. Is k(-7) composite?
False
Suppose -77 - 258 = -r - 3*y, -1719 = -5*r - 4*y. Is r prime?
True
Suppose x + 2*x = 2*g + 1125, x = 4*g + 385. Is x prime?
True
Let u be 4/(-2) - (2 - 253). Suppose 0*s = -3*s + u. Is s a composite number?
False
Suppose -2*u + 2*h = -0*u + 90, 3*h = -2*u - 85. Is (u - 9)*(-1 + 0) prime?
True
Suppose -9*n - 1090 = -14*n. Is n prime?
False
Suppose -4*a + 2162 = 2*j - 4*j, 5*a - 3*j - 2701 = 0. Is a prime?
False
Suppose -4*q = 2*v + 3*v - 1781, -3*q - 3*v + 1332 = 0. Is q a composite number?
False
Suppose -2*o - 5*a = -1846, 923 = 4*o - 3*o - a. Is o a prime number?
False
Suppose 2*r + 2*r = 268. Let v = r - 46. Is v a composite number?
True
Let j be ((-2)/(-3))/((-4)/24). Let m(l) = l**2 + l - 5. Is m(j) a prime number?
True
Let g(s) = 4*s**2 + 2*s - 5 - 5*s**2 + 3*s**2. Suppose -5*b = -9*b + 24. Is g(b) a prime number?
True
Suppose 7*j + 3*p = 5*j + 11170, -5607 = -j + 4*p. Is j prime?
True
Let q = 1 + 0. Let h(v) = 125*v**3 + v - 1 - 66*v**3 + 96*v**3. Is h(q) a composite number?
True
Is (-1)/(1*(-1)/647) prime?
True
Let g(q) = q**3 - 4*q**2 - 6*q + 2. Let u be g(5). Let n(o) be the third derivative of -o**6/120 - o**5/20 - o**4/8 + 2*o**3/3 - o**2. Is n(u) composite?
False
Is ((-1027)/13)/((-1)/7) a prime number?
False
Let o = -2884 - -1999. Let x = -609 - o. Suppose -u - 3*u = -x. Is u prime?
False
Suppose 0 = 5*y + 3*x - 434, 5*y + 90 = -5*x + 520. Suppose -y = 2*l - 298. Suppose -4*o = o - l. Is o composite?
True
Suppose -3*v + 1181 = -v + m, -5*m + 2965 = 5*v. Let j = v + -143. Is j composite?
True
Suppose s = -1 + 4. Suppose 0 = -4*u - 3*y + 411, s*u - y - 302 = -2*y. Suppose d - u = -2*d. Is d a prime number?
False
Suppose 3595 = 4*q + 407. Is q prime?
True
Suppose g - 5*v = -g + 2294, -4 = v. Is g a composite number?
True
Let m = -1 - -1. Suppose 4*n - 246 + 58 = m. Let j = 82 - n. Is j composite?
True
Let b be (-1 - 0)*18/3. Let x be 21/b + (-2)/4. Let v = x - -10. Is v prime?
False
Suppose 34 = -4*x + 5*x. Is x a composite number?
True
Let b(d) = 14*d**3 - d**2 + 4*d - 2. Is b(3) a composite number?
False
Suppose 0 = 4*g + g - 15. Suppose -j - 5*t = -3*t - 42, -5*j - g*t = -217. Suppose l = 5*l - j. Is l composite?
False
Let u(t) = 16*t + 1. Suppose x = 4*n - 2*n - 11, -n - 3*x - 12 = 0. Is u(n) a prime number?
False
Suppose 0 = 4*n + 5*r - 893, -5*n + 6*r - r = -1105. Suppose f - 88 = -p, 63 + n = 3*f - 4*p. Is f a prime number?
False
Let p be 2/(-2) + 308 - 3. Suppose o - p = -k, 5*k + 15 = -0. Is o prime?
True
Suppose 4 - 8 = -2*b. Suppose 5*h + 0*j + 5*j = 0, -b*j = -5*h + 21. Suppose h*g - 73 = 92. Is g a composite number?
True
Let r(l) = -2*l + 211. Let j be 0/((-1)/(-2 + 1)). Is r(j) a prime number?
True
Let u be ((-34)/8)/(9/36). Let s = u + 32. Is s a prime number?
False
Let g(n) = -6*n. Let r be g(-6). Let h be 116/r + (-2)/9. Let m = h + 36. Is m prime?
False
Suppose -2*g - 16 = -3*b, 4*b = -b - 4*g - 10. Suppose 5*j - 471 = b*j. Is j prime?
True
Let h = -13 - -28. Is h a composite number?
True
Let c be 30/(-4)*8/10. Let v(n) = 3*n**2 - n - 5. Is v(c) prime?
True
Suppose 0*q + 3*t + 549 = 3*q, -381 = -2*q + 5*t. Is q a prime number?
False
Suppose 3*k - 2573 = -950. Is k a composite number?
False
Let q = 741 + -211. Suppose -w + 3*w - q = 0. Is w composite?
True
Suppose -4*h + 2 + 6 = 0. Suppose -h*k = 4*y - 210, -5*y - 200 = 4*k - 629. Is k composite?
True
Suppose 2*b - 30 = 4*k, 5*k + 7 - 1 = -2*b. Let l = 5 - b. Is l/6 + (-200)/(-6) composite?
True
Let u(z) = -z**3 + z**2 + z - 29. Let w be u(0). Is (w/(-2))/((-3)/(-18)) a composite number?
True
Suppose 2 = -2*k, 196 + 154 = 3*q + 4*k. Suppose -20 = -3*p + q. Is p a prime number?
False
Suppose 0 = f + 6 - 2. Is (-858)/4*f/6 a prime number?
False
Suppose -l + 127 = -56. Is l a prime number?
False
Let v = 98 - -213. Is v a composite number?
False
Let x be (-2)/(-12) + 7643/6. Suppose 4*g - 2*y - 1280 = 0, 4*g + 3*y - x = 2*y. Is g a prime number?
False
Suppose 4*g = 3*d - 5 - 7, -g + 8 = 2*d. Let q be (18/d + -3)*2. Is (-270)/(-8) + q/12 prime?
False
Let n(u) be the third derivative of 1/12*u**4 + 0*u + 1/60*u**5 + 0 + 2*u**2 - 1/6*u**3. Is n(8) a composite number?
False
Let j be 3/(-6) + (-18)/(-4). Is (50/j + 0)*2 a composite number?
True
Suppose 17*s - 590 = 15*s. Is s composite?
True
Suppose -4*p = -5*q + 4101, 3*q - 824 = 2*q - 3*p. Is q a prime number?
True
Let c(r) be the third derivative of r**6/120 + 2*r**5/15 + r**4/3 + 3*r**3/2 + 3*r**2. Let z be c(-7). Is 87 + -3 + z + -1 a composite number?
True
Let j(v) = v**3 + 3*v**2 - v - 2. Let m be j(-2). Suppose 0 = 5*o + 24 - m. Is (-14)/o*(-1 - -11) prime?
False
Let g(n) = -2*n**3 + 3*n**2 - 5*n - 5. Let l be g(-4). Suppose -k + 4*t = -63, -l = -2*k - 4*t - t. Is k prime?
True
Let w = -5 + -6. Let m(k) = -k**2 - 15*k - 1. Is m(w) composite?
False
Is 10/(-20) - 143/(-2) a prime number?
True
Suppose 0 = g + g - 526. Is g composite?
False
Let l = 490 + 723. Is l a composite number?
False
Is (-16)/(-24)*138/4 composite?
False
Suppose -2*d - u + 9 = 0, 5*u + 8 = 33. Suppose k + 18 = 5*m, 18 = 4*m + d. Suppose -5 = -k*j + 9. Is j a composite number?
False
Let f be (0 - -1)*(1 - -4). Suppose 3*w = -2*v + 397, -3*w = -f*v + 1002 - 41. Is v prime?
False
Let s(x) = 5*x + 10. Let i(k) = -3*k - 7. Let v(l) = 7*i(l) + 5*s(l). Let a(t) = -3*t. Let j(y) = 6*a(y) + 5*v(y). Is j(4) a prime number?
True
Let r = -32 - -289. Is r a composite number?
False
Let m(i) be the first derivative of -i**4/12 +