 s(d) = 4 + 2*d + 6*d**2 + 7*d - d**3 - 2*d. Let t be s(7). Is (-2)/t - (-213)/6 a composite number?
True
Let k(z) = z + 4. Let d be k(6). Suppose 2*g - d = 4. Is g a prime number?
True
Suppose 0*h - 26 = h. Let b(k) = 16*k. Let v be b(3). Let i = h + v. Is i a composite number?
True
Let b(g) = -137*g**3 - 2*g**2 + 2*g + 2. Is b(-3) composite?
False
Suppose 0*h + 989 = 2*w + 3*h, w - 2*h = 505. Is w a composite number?
False
Let z be 12/9*6/4. Let q be (2/z)/((-2)/(-6)). Suppose -k + 4*l + 23 = 0, -42 = -q*k + 5*l + 48. Is k composite?
True
Suppose 0 = 5*k - 8*k + 195. Is k a composite number?
True
Suppose 2363 = 4*g + 847. Is g prime?
True
Let l = 394 - 665. Let b = -546 - l. Is (-1)/(3/(2 + b)) a prime number?
False
Is ((-2)/2 - -6)*(-3352)/(-40) prime?
True
Suppose -4*y - 12 = n + 19, 27 = -n - 3*y. Is (-3318)/n - 2/10 composite?
True
Suppose 61 = 3*a - 98. Is a a prime number?
True
Suppose 2*n + 9 = -3*d + 2, 0 = 2*n - d - 13. Let r = -3 + 3. Suppose -4*a + b = -10, -4*a + 4*b = -r - n. Is a prime?
True
Let m(w) = w**3 - 9*w**2 - 13*w + 5. Let n be 3/(3/2) - -8. Let x be m(n). Let a = -11 - x. Is a a composite number?
True
Let c = -16 - -16. Suppose c = -h + 2*h - 89. Is h composite?
False
Let x = 3 + -1. Suppose 4*u + 4*n = 3624, -x*u - 838 + 2651 = n. Is u a prime number?
True
Let l = 10 + -3. Let b(c) = 4*c**2 - 1 + 4*c**2 - l*c**2. Is b(2) prime?
True
Let t = 402 + -236. Is t a composite number?
True
Suppose -2*u + 4*a + 20 = 0, -4 = a - 2. Let i be ((-6)/4)/(u/(-152)). Is (-2 - -3)*i/2 composite?
False
Suppose -d = -4*g - 749, -2*d + 0*g = 2*g - 1468. Is d prime?
False
Let y = -5 + 9. Suppose 0*f - 3*f = 3*a + 267, -356 = y*f - 2*a. Let q = f - -158. Is q a prime number?
False
Let g be (-8)/(-20) - (-2)/(-5). Suppose 4*u + g*u = -5*d + 12, -4*u + 12 = 0. Suppose d = 4*r - 100 - 48. Is r a prime number?
True
Suppose 2*l + l = -g + 11, 0 = -2*l + g + 4. Let y(d) = 59*d - 2. Let h be y(l). Let v = h + -104. Is v composite?
False
Let f(x) = 40*x**2 + 6*x + 4. Let m be f(-4). Suppose 224 + m = 4*a. Is a a prime number?
True
Let k = 17 + -5. Is (0 + 22)*k/8 a prime number?
False
Let y(h) = 4*h**2 + 5*h - 4. Let t be y(-4). Let u be (-2)/(4/(-130)*1). Let o = u - t. Is o a prime number?
False
Let u(l) = l**3 - 5*l**2 - 10*l + 6. Let g be -1*(0 - -2)*-1. Suppose g*y - 4*y = 2*d - 22, 20 = 5*d. Is u(y) a composite number?
True
Let k(x) = 3*x**2 - 6*x + 1. Let r be k(-7). Let q(y) = 139*y - 3. Let g be q(2). Let u = g - r. Is u composite?
True
Is -45*8/(-12)*3 + -1 a composite number?
False
Let p be (4/6)/(2/6). Suppose -u + p*u - 59 = 0. Is u a prime number?
True
Let n(k) = 4*k**2 - 5*k + 3. Let m be 126/10 + (-2)/(-5). Suppose 1 - m = -3*p. Is n(p) composite?
False
Let z(p) be the third derivative of 0 + 11/6*p**3 - 5/8*p**4 + 2*p**2 + 0*p - 1/120*p**6 - 7/30*p**5. Is z(-13) a composite number?
False
Suppose -2*y = -1917 + 79. Is y composite?
False
Suppose 0*b - 2*b + 106 = 0. Is b composite?
False
Suppose 2*j - 2 - 6 = 0. Suppose 1536 = 4*f - 2*s, 5*s = 4*f + j*s - 1532. Is f composite?
True
Suppose 0 = -4*b - 0*b + 952. Suppose 0 = -3*i + 70 - b. Let l = -25 - i. Is l a prime number?
True
Let d be 0/(-2 + -1 + 1). Suppose d = y + y - 226. Is y a composite number?
False
Let m(w) = 4*w**2 - 16*w - 1. Is m(-15) a prime number?
False
Suppose -l + 4 = 0, -582 = -2*i + 2*l + 2*l. Is i prime?
False
Suppose -6*v + 1436 = -2*v. Is v composite?
False
Suppose -4917 = -3*y - 2*i - 2*i, -4917 = -3*y + 3*i. Is y prime?
False
Suppose -2*r - 5 = -3*r. Suppose -y + 10 = -24. Suppose -r*l = -q + 46, q - 16 = l + y. Is q composite?
True
Let s(r) = -6*r - 1. Is s(-2) a composite number?
False
Let o be -4 - 9/(-3) - -6. Suppose 4*t - o*f - 82 = 0, -2*t = -6*t - 5*f + 102. Is t a composite number?
False
Let p(h) = h**2 + h - 1. Suppose -o - n + 3 = -0*n, o - 3 = n. Is p(o) prime?
True
Let j = 149 + -7. Is j prime?
False
Suppose -4*o + 842 = t, t = -4*t - 10. Is o prime?
True
Suppose -38*l + 48*l - 8110 = 0. Is l a composite number?
False
Suppose -f - 4 = -2*f + y, -2*y = 5*f + 8. Suppose -3*d + 5*t - 182 = f, 4*t - 61 + 426 = -5*d. Let n = 8 - d. Is n a composite number?
True
Let l(g) = -g**2 + 8*g - 5. Let r be l(6). Is 10/35 + 775/r a prime number?
False
Let r = 3 + -1. Suppose -r = d - 37. Is d prime?
False
Let d be 3 - (2 + -44) - 0. Suppose 5*i - d = 10. Is (1 + 2/2)*i a composite number?
True
Let d(b) = 5*b**3 - 2*b + 1. Let m = 4 - 3. Let g be d(m). Suppose -5*u + 4*v = -19, -g*u - 4*v + 36 = -2*v. Is u a composite number?
False
Let d(q) = 92*q - 6. Is d(5) prime?
False
Suppose -l + d = -6*l + 1881, -5*d + 1111 = 3*l. Is l prime?
False
Suppose -3*k + 7 = 1. Suppose -30 = -k*x + 12. Suppose o - 17 = x. Is o a prime number?
False
Suppose -b + 5*b + 271 = 3*j, -b = j - 102. Is j prime?
True
Is (-948)/(-8) - 2/(-4) composite?
True
Let h(w) = -2*w - 8. Suppose 3 + 2 = o - 4*c, -29 = -3*o - 2*c. Let f be h(o). Let d = f - -117. Is d a composite number?
True
Suppose 76 = -3*t + 316. Let g be -14*(-3)/((-6)/(-14)). Suppose t = 2*b - g. Is b a composite number?
False
Let t(s) = -23*s - 47*s - 88*s + 1. Is t(-1) prime?
False
Suppose -5*h = 4*t + 16, 3*h + 2*t - 10 = 5*h. Let c(r) = -r**3 - 3*r**2 + 3*r + 2. Let f be c(h). Let k = 13 - f. Is k prime?
True
Let x = -70 + 136. Suppose 2*p - 75 = -3*p - s, 4*p - x = -2*s. Is p a prime number?
False
Let k = 93 + 142. Is k a composite number?
True
Let u(g) = 40*g**2 + 11*g + 31. Is u(-8) a prime number?
True
Let v = -23 - -54. Suppose -3*d = -z + 16, 7 = 3*z - 4*d - v. Is z composite?
True
Let c(x) be the third derivative of x**4/24 + 145*x**3/6 - x**2. Is c(0) prime?
False
Suppose j - 163 = -o, -5*j - 4*o - 168 = -981. Is j composite?
True
Suppose -2*h - 109 = 5*v + h, -28 = 2*v - 4*h. Let z = -5 - v. Is z composite?
True
Let d(i) = i**3 + 14*i**2 - 8*i - 13. Is d(-12) prime?
False
Let x = 872 - 426. Is x a composite number?
True
Suppose l - 1 = 2*l, 5*l + 393 = 4*q. Is q a prime number?
True
Suppose 9 = -3*g - 3*r, g = -0*g - 3*r - 3. Is 0/2 + (g - -152) prime?
True
Let q(z) = -z + 4. Let g be q(7). Let j be 5 - (g - (2 - 8)). Let i(n) = 9*n**2 + 2*n - 3. Is i(j) a prime number?
True
Suppose -5*u = -477 - 38. Is u prime?
True
Let d be (0 - -2)*-1 + -20. Let g = 63 - d. Is g a prime number?
False
Suppose -5*b = 2*q - 67, 119 = 4*q + 4*b - 45. Let r = q + -33. Is r a composite number?
False
Let r(m) = m**3 - 11*m**2 + 9*m + 4. Suppose 2*g - 4 - 16 = 0. Let k be r(g). Let y(j) = 3*j**2 - 3*j + 1. Is y(k) prime?
True
Let h(q) be the first derivative of 2*q**3 - 5*q**2/2 + 2*q - 4. Let i be h(4). Suppose 3*k = 5*k - i. Is k a composite number?
True
Suppose 0*x = -x + 4. Let v be 1/x - 1575/(-20). Suppose 6*i - 83 = -k + 3*i, -k = i - v. Is k prime?
False
Let m(d) = 2*d + 3*d**2 + d**3 - 3*d + 5 + d**2. Let b be m(-4). Is 950/18 + 2/b composite?
False
Is 83175/18 + 1/18*3 prime?
True
Let v = -5 - -8. Is (-3)/v*(1 + -308) composite?
False
Suppose -107 = 3*h - 1844. Suppose p = -0*g - g + 111, -p = -5*g + h. Is g a composite number?
True
Let q = 8 + -10. Let h be (-3)/(-3) - (q + 1). Suppose -h*s = z - 9, -5*z + 22 = -3*s - 36. Is z a composite number?
False
Let h be (-26)/(-12) + 2/(-12). Suppose -h*t + 2 = -2. Is 57/(t*3/6) a composite number?
True
Let u = -10 + 7. Let s(q) be the first derivative of -q**4/2 + 4*q**3/3 - q**2/2 - 4*q + 1. Is s(u) prime?
True
Let m be (2 - 0) + (-1)/(-1). Suppose -2*z + m = -13. Is ((-174)/z)/(-3)*20 a composite number?
True
Suppose -5*f - 974 + 2519 = 0. Let s = -178 + f. Is s composite?
False
Let n = 12 + -28. Let w = n - -26. Is w composite?
True
Suppose -2*o + 1968 + 343 = 3*z, -2*z - 3*o = -1544. Is z a prime number?
True
Let i = 5540 - 3523. Is i composite?
False
Let y = -389 + 806. Is y composite?
True
Let t be 1/4 - (-1)/(-4). Let b(p) = p - 15. Let z be b(t). Let a = 68 + z. Is a a prime number?
True
Suppose -c - 3*y + 122 = y, 2*y = -2*c + 256. Suppose -c = 4*h - 350. Is h a composite number?
True
Suppose 5*p = p + 4. Let l(t) = -3*t. Let x be l(-1). Is (x - 16)/(p/(-3)) composite?
True
Suppose 4*v = v + 24. Let r be 92/16 - (-2)/v. Suppose 119 = 5*o - r. Is o a prime number?
False
Suppose -3*t = 4*g - 9, 2*g - t + 5*t = 12. Let d(m) = -m**3 + m + 77. Is d(g) a prime number?
Fal