r be 18 + 4/(8/(-6)). Let u be (-170)/r*42/(-4). Suppose -5*x + o = -o - 117, 5*x - 4*o = u. Is x a prime number?
True
Let u(p) = -8*p + 6. Let a(w) = -7*w + 5. Let b(x) = -6*a(x) + 5*u(x). Let h be b(-2). Let v(s) = -14*s + 3. Is v(h) a composite number?
False
Suppose 0*m + 165 = -3*m. Is -2 - (-3 + 1 + m) a composite number?
True
Let f = 8 + -6. Suppose 4*d + 6*t = 3*t + 18, 2*d - f*t - 2 = 0. Is 7/d*84/4 a composite number?
True
Let k(z) = 100*z - 23. Is k(9) prime?
True
Let o(g) = 7*g**2 + g. Let r be o(1). Suppose 0 = -3*c + 7*c + r, 5*d - 3*c = 81. Is d composite?
True
Suppose 4*b = q + 1997, 5*b + 4*q - 1637 = 875. Suppose -2*h - b = 2*z + 2*h, 2*h = -2*z - 504. Is (z/8)/(1/(-4)) composite?
False
Let q(c) = -2*c + c + 10 + c**2 + 2*c + 87. Is q(0) composite?
False
Is (-2382)/(-4)*4/6 composite?
False
Let n(x) = -x**2 - 9*x + 7. Let j be n(-8). Suppose v + 2 = j. Is v a composite number?
False
Is (3/(-4))/((-2)/56) composite?
True
Suppose -4*k + 6 = -2*k, -15 = 3*a - 5*k. Suppose 3*n - 652 = -n - 2*c, 2*n - 5*c - 302 = a. Is n a composite number?
True
Suppose 2*m - 158 = 3*a + 131, 3*m - 5*a - 432 = 0. Is m a composite number?
False
Let x(k) = k**3 + 13*k**2 - 15*k - 18. Let h be x(-14). Let b(m) be the first derivative of m**3/3 - 2*m**2 + 3*m + 2. Is b(h) a prime number?
False
Suppose -q + 92 = -237. Is q a composite number?
True
Let i = 6 + -4. Let t be 146/4 - 1/i. Suppose 0*a = -4*a + t. Is a a prime number?
False
Suppose 2*l - 71 = -9. Suppose 4*o - l = 3*p, 5*p = o + 3*p - 14. Suppose -243 = -c - o*n, 654 = 3*c - 0*n - 3*n. Is c composite?
False
Suppose 0 = 3*u - 3*q, -4*u - q - 3 = 2. Let t be 46 - (u + (-1 - -2)). Suppose 4*v - 54 = t. Is v prime?
False
Is 1/6 - 1841/(-6) prime?
True
Let i be (-1)/(-4) + 4358/8. Suppose -p = -6*p + i. Is p a prime number?
True
Suppose 2359 = 3*j - m, -4*m - 19 = -3. Is j prime?
False
Suppose 2*z - 12 - 18 = 0. Suppose 3*o - 4*y - 297 = 0, -3*y + z = 2*y. Is o a prime number?
True
Let d = 8 + -6. Suppose d*z - 435 = 5*z. Let s = -86 - z. Is s a prime number?
True
Let m(v) = 4 - v**2 - 11*v - 4*v - 6. Is m(-12) a prime number?
False
Let j = 18 + -10. Suppose 3*z - 4*c + 1 = j, -2*z + 43 = 5*c. Let t = 22 - z. Is t prime?
True
Let q(u) be the third derivative of u**6/720 + u**5/60 - u**4/24 - u**2. Let n(a) be the second derivative of q(a). Is n(4) a composite number?
True
Let d(c) be the first derivative of -c**3/3 - 7*c**2 - 12*c - 2. Let a be d(-13). Is (a + 1)/(8/212) prime?
True
Let t(r) = r + 11. Let u = 13 + -19. Let f be t(u). Suppose f*q - 4 = 6, x = -2*q + 26. Is x composite?
True
Let u = 2 + 2. Suppose u*c + 8 = 32. Suppose c*g - g - 265 = 0. Is g composite?
False
Let v = 620 + -411. Is v a composite number?
True
Let m be 30/(-12)*6/(-5). Suppose -m*o + 2 = -2*o. Is 122/4 - (-1)/o a prime number?
True
Let h(j) = j + 2. Let k be h(-3). Let b be 1/(3 + k)*0. Suppose b - 21 = -3*p. Is p prime?
True
Let p(h) = -22*h**3 - 7*h**2 + 8*h - 7. Let j(y) = 22*y**3 + 6*y**2 - 7*y + 6. Let t(c) = 7*j(c) + 6*p(c). Suppose 2*q = 5 - 3. Is t(q) a composite number?
True
Let o = 102 - 62. Suppose 5*c + y - o = 3*y, 10 = 2*c - 2*y. Suppose u = -3 + c. Is u a composite number?
False
Let o = -10 + 5. Let t = o - -11. Is t a composite number?
True
Is (-12)/18 + 1222/6 a prime number?
False
Is (-3)/12 - (-6495)/12 composite?
False
Suppose -5*y - 5*f - 10 - 10 = 0, -16 = 4*y - 4*f. Let i be -78*2*1/y. Suppose r = 5*z - 0*r - 53, -3*z + i = 3*r. Is z a composite number?
False
Suppose a = -a + 12. Let q = -9 + a. Is (-3)/(-2)*(-38)/q a composite number?
False
Suppose -4*i = -9*i + 175. Let y = 328 - i. Is y a composite number?
False
Suppose -6 = 2*x + 5*d - 19, -3*d = 3*x - 15. Let w = -7 + x. Let f = w + 5. Is f a composite number?
False
Let d(p) be the first derivative of 4*p**3/3 + 5*p**2/2 - 6*p + 1. Let q = -1 - 4. Is d(q) a prime number?
False
Let o(v) = 6*v - 4*v - 3*v. Is o(-7) a prime number?
True
Is 1089*1 + -3 + -2 + 3 a prime number?
True
Let a(b) = b**2 + 7*b + 4. Let q be a(-9). Is 4/q + (-1080)/(-110) composite?
True
Let t be (-11)/1*1/(-1). Suppose -5*y + 1017 = -d, t - 618 = -3*y - d. Is y composite?
True
Let c(f) = -f**2 - 7*f + 2. Let z be c(-7). Suppose 0 = -0*w - z*w + 46. Is w a composite number?
False
Let z(f) = 150*f**3 + 2*f**2 - f + 1. Is z(2) composite?
True
Suppose -3067 = -4*m - 287. Is m a prime number?
False
Let g be (1 + -6 + 0)*-87. Is -1 + 1 + g/5 composite?
True
Suppose -5*n - 2*q + 295 = 0, 4*q = n + 3*n - 208. Is n a prime number?
False
Let n(d) = d**3 + 3*d + 7. Is n(7) composite?
True
Let b be -5*((-12)/(-15) + -1). Suppose -2*o = -b - 5. Suppose 3*p = 4*y + 593, 0 = -o*p - y - 4*y + 548. Is p composite?
False
Suppose n + 15 = p, n = -2*n. Suppose -3*j + 6 + p = 0. Is j composite?
False
Let w(s) = -s**2 + s + 43. Suppose -2*r - 11 = -5*r - 2*t, 5*t = 5*r + 15. Let l = r + -1. Is w(l) a prime number?
True
Let o(r) be the third derivative of -r**6/60 + r**5/15 - r**4/8 - r**3/2 - 7*r**2. Is o(-4) prime?
False
Suppose 0 = 5*d - 2*n + 5*n - 7, 2*d + 5*n = -1. Let o(r) = -d*r**2 + 4*r**2 - 5 + 1. Is o(-5) prime?
False
Let n(g) = g**3 + 4*g**2 + 2*g. Let l be n(-3). Suppose l*a = 7*a + 32. Let b = 21 + a. Is b composite?
False
Suppose 0 = 5*z + 22 + 3. Let j = -3 - z. Suppose -4*t - j*w - 11 = -121, -3*t + 4*w + 55 = 0. Is t prime?
False
Is ((-13)/2)/(-4 + 2250/564) composite?
True
Suppose 2*k - 8*k + 9258 = 0. Is k prime?
True
Let g(l) = -l**3 - l**2 - l + 2. Let s be g(0). Suppose 4 = s*j - 0*j. Suppose -i - j*m + 5*m + 37 = 0, 3*i - 111 = -4*m. Is i composite?
False
Is (-298)/3*(-9)/6 composite?
False
Let d be (5 + -8)/(0 + -1). Suppose -22 = -d*a + 467. Is a a composite number?
False
Suppose -5*o = 4*w - 4905, 0 = w + 1 - 6. Is o a prime number?
True
Let c be (-82)/((0 - -1)/1). Let t = -52 - c. Let h = t + -9. Is h composite?
True
Suppose z = -0*z + 5. Suppose 4*u = z*s + 453, -5*u + 3*s = s - 545. Let x = u + -58. Is x composite?
True
Let h be 13*5*(-2 + 3). Let q = h - 34. Is q composite?
False
Let u(m) = -m**2 + 11*m + 19. Is u(7) a prime number?
True
Let k be -2 + (8 - 2) + -1. Is ((-38)/(-4))/(k/6) composite?
False
Suppose 0 = y + 2, 3*y + 367 = -3*p + 1354. Is p prime?
True
Suppose 5*v - 1276 = -3*j, -v - 2*v + 765 = 2*j. Suppose -a = m - v, 5*a + 992 = 3*m + m. Is m composite?
True
Let r(g) = -g + 1. Let s be r(-2). Let b = -5 - -10. Suppose -2*z - 5*q + 218 = 0, s*z = 2*z - b*q + 99. Is z composite?
True
Let l = -3 - -6. Suppose 0 = g - l*g + 76. Is g prime?
False
Let b = -20 - 22. Let n = b - -74. Is n + (-3)/9*-3 a prime number?
False
Suppose 0 = -2*o - o - 5*z - 40, 0 = 2*o - 4*z - 10. Is 109/(3 + o - -3) prime?
True
Let x be 15/25*5/1. Suppose t - 2*z - 170 = -x*t, 4*z + 88 = 2*t. Let r = 79 - t. Is r composite?
False
Let t(d) = 6*d**2 - 18*d - 1. Is t(12) a prime number?
True
Let j(l) be the second derivative of l**5/20 + l**4/2 - 3*l**3/2 - 2*l**2 - 4*l. Is j(-7) composite?
True
Let a be -2 + 2 + (-2 - -2). Suppose a = -2*p - 29 + 79. Is p a prime number?
False
Let k = -5 - -5. Suppose k = 5*z + 3*d - 388, 0 = 4*d - d - 3. Is z a composite number?
True
Let a(g) = -g**3 + 7*g**2 - 7*g + 8. Let j be a(6). Suppose -o - j*i = o - 28, -3*o + 45 = 4*i. Is o a prime number?
True
Suppose 0 = -3*d + s + 13, 2*d + s - 2 - 5 = 0. Suppose -j + 5 = 0, 0 = v + d*v + 5*j - 290. Is v a composite number?
False
Let k = -209 - -604. Let p = k - 102. Is p prime?
True
Suppose 2*a - 2*t - 578 = 0, 0*t = 2*a - 4*t - 576. Suppose 4*p = a + 6. Is p a composite number?
True
Suppose -59 = -3*h - 0*h + 5*z, -4*z = -3*h + 55. Suppose -c = k - h, 4*k - 41 = k - c. Is k a prime number?
False
Let b(q) = 7*q**3 + 10*q**2 + 8*q - 2. Is b(5) a composite number?
False
Suppose 3*f - 5*l - 6 = -4*l, -8 = -4*f - l. Suppose f*d + 742 = 4*d. Is d composite?
True
Let d = -3 - -5. Suppose -4*c = -p + 2, -p - d*c + 17 = -c. Suppose -5*z = -g - 0*g + p, -4*z + 23 = g. Is g composite?
False
Suppose 0*r = 3*s - 4*r - 181, 5*r = -s + 35. Suppose 0 = 3*u - 2*x - s, -3*x + 53 = 3*u - 7. Is u a composite number?
False
Suppose 4*t = -0*t + 872. Is t a composite number?
True
Let t be -4 + 1 + -1 + 4. Let c = 161 - t. Is c a composite number?
True
Let f = 1374 + -980. Suppose -q = -0*q - 5*o - f, 0 = q - 2*o -