e number?
False
Let c(p) be the first derivative of 2*p**3/3 - 5*p**2/2 - 6*p + 1. Let t(j) = -j**3 - j + 5. Let h be t(0). Is c(h) prime?
True
Let y(f) be the first derivative of f**6/120 - f**5/20 - f**4/24 + f**3/3 - f**2 + 3. Let n(r) be the second derivative of y(r). Is n(5) a composite number?
False
Let z = 948 - 539. Is z a composite number?
False
Suppose -3*c = 4*d - 4311 + 1362, -c = -5*d - 964. Is c composite?
True
Suppose 5*d - 6 + 26 = 0, j + 3*d + 10 = 0. Suppose -a + 110 = a + z, -5*a + 257 = -j*z. Is a prime?
True
Suppose 159 = -j + 2*j. Is j prime?
False
Let q = 507 - 108. Let d = q + -148. Is d prime?
True
Is (3 - (-4)/(-2)) + 186 a prime number?
False
Let j = 97 + -250. Let w = -19 - j. Is w a prime number?
False
Suppose -w - 2 = -0. Let v be (-2)/((-4)/1 - w). Is v/(1 + 20/(-22)) a prime number?
True
Suppose -3*d - 3*p = -2*d - 7, 2*p = -3*d - 14. Let h = d + 21. Suppose -55 = -4*a + u, 4*a - 66 = 3*u - h. Is a a composite number?
True
Suppose 221 = 5*g - 164. Is g prime?
False
Suppose 176 = -0*l + 2*l. Suppose -12 = 4*m + 3*p + 2*p, 2 = -5*m - 3*p. Suppose 4*g - l = -m*h, 6 = -5*h - 4. Is g a prime number?
True
Suppose -4*y + 0*y = -24. Let a be y/27 - 64/(-36). Suppose i = a + 8. Is i a composite number?
True
Let r(p) be the second derivative of -p**3/6 + 13*p**2/2 - p. Is r(10) a prime number?
True
Let i = -3913 - -6360. Is i a prime number?
True
Let o be ((-148)/(-6))/((-1)/(-3)). Let h be (0 + 0)/(-1) - 23. Let b = o - h. Is b prime?
True
Let v(k) = 85*k**3 + k**2 + 2*k - 2. Let a be v(1). Suppose 0*i - i = -3. Is a/8 - i/(-12) a composite number?
False
Let f be 350/(-4)*6/(-3). Suppose -26*k + 21*k = -f. Is k composite?
True
Suppose 3*t + 6 = -4*d, 3*d + 1 + 3 = -2*t. Let z(h) = 2*h**3 - 8*h**2 + 7*h. Let a be z(5). Suppose a = b - d*b. Is b a composite number?
True
Let g be 6/(-6) + (0 - -4). Suppose g*t + 2 = 4*t. Is t a composite number?
False
Suppose -5*s = -10 - 0. Let b(r) = 12*r + 5 + 6*r**s - r**2 - 3*r**2. Is b(-10) a composite number?
True
Is 3420 - 0 - (14/7 - 1) a composite number?
True
Is (2 - (-5)/(-3))*(1672 + -1) prime?
True
Suppose -3*y = -4*y - 3. Is (-2391)/(-6)*(y + 5) prime?
True
Is 1*2 + (360 - 9) prime?
True
Suppose -848 = 5*s - 193. Let d = -24 + 10. Is (-4)/d + s/(-7) composite?
False
Let j(u) = 131*u - 2. Is j(5) composite?
False
Let n = 1174 + -657. Is n composite?
True
Suppose -i + 191 = 5*t, -4*t + 2*i + 154 = 4*i. Let h = t - -59. Is h a composite number?
False
Let z be 63/(-2) - (-9)/6. Is ((-23)/2)/(3/z) a prime number?
False
Let y(u) be the third derivative of -11/6*u**3 - 2*u**2 + 0*u + 1/3*u**4 + 0. Is y(8) a prime number?
True
Suppose -4*b + 12 = -112. Let t(g) = g**2 - 4*g - 3. Let w be t(7). Let i = w + b. Is i prime?
False
Let y = -3 + 5. Suppose y*i = -149 + 387. Is i a prime number?
False
Suppose -4*j = -4*a - 4, 2*a + 0*j = -5*j + 33. Suppose -a*d - 54 - 2 = 0. Let g = -3 - d. Is g a prime number?
True
Suppose -2*y - 3*n + 126 = 0, -2*y - n + 61 = -y. Is y composite?
True
Suppose 144 = -5*d + 499. Is d a prime number?
True
Let y(r) = r**3 - 3*r**2 - 10*r + 7. Let z(l) = -2*l - 3. Let g be z(-3). Suppose -15 = -3*u + g. Is y(u) a composite number?
True
Let i(l) = -l. Let u be i(-4). Suppose 4*o + 8 = 0, 2*h + 5*o + 18 = -u. Let c = h - -103. Is c composite?
False
Let u be 6/(-15) + (-84)/(-10). Is (-20)/u*-14*1 a prime number?
False
Suppose 3*l + l - 812 = -4*c, -2*l + 2*c = -406. Is l a composite number?
True
Suppose 195 + 153 = 2*a. Suppose a = -t - 49. Let x = -110 - t. Is x composite?
False
Let p(t) = 2*t**2 - 3*t. Suppose -2*g - 20 = -3*s, 0 = -4*s + 3*g - 4*g + 12. Suppose 0 = 3*a + 3*b - 3, s*a + b + 2*b - 8 = 0. Is p(a) composite?
True
Let q(w) = -w**2 - 8*w. Let i be q(-6). Let s = i - 5. Is s composite?
False
Let m(v) = v**2 + 6*v + 3. Let y be m(-6). Suppose y*l = -32 + 137. Is l composite?
True
Let d be (-9)/(1 + -4) + 1. Let w(y) = y**2 - 4*y + 3. Let u be w(d). Suppose -n + 7 = -u. Is n composite?
True
Let p(v) = -v**3 + 2*v - 9. Let x be p(0). Let i(y) be the first derivative of y**3/3 - 4*y + 1. Is i(x) a composite number?
True
Suppose 18 = 3*y - 0*y. Let w = y - 2. Let s(a) = 30*a - 5. Is s(w) a composite number?
True
Let h(i) be the second derivative of i**6/360 + i**5/60 + 7*i**4/24 - i**3/6 + 3*i. Let w(c) be the second derivative of h(c). Is w(-6) prime?
True
Is 436/12 - ((-8)/6)/2 prime?
True
Let u = -27 + 11. Is (-2)/(-8) + (-3244)/u composite?
True
Is 2/6*-3*-143 a composite number?
True
Suppose -p - 4 - 73 = 2*l, l + 256 = -3*p. Let h be 4/(-22) - 394/11. Let s = h - p. Is s a prime number?
False
Let p be ((-6)/(-8))/((-1)/(-76)). Let g = -31 + 11. Let f = g + p. Is f composite?
False
Suppose -13*j - 2427 = -16*j. Is j composite?
False
Suppose -14 = -5*l - 4. Suppose 4*t + l*j - 53 = 89, -5*t + 3*j = -194. Is t a prime number?
True
Let d(g) = g**3 + 6*g**2 - 6*g - 2. Let i = -19 + 13. Let x be d(i). Suppose -z + 2*m + 2 = -16, 4*m = -3*z + x. Is z prime?
False
Suppose 0 = 3*z + 5*f - 1775 - 3233, -3302 = -2*z + 4*f. Is z a composite number?
True
Suppose 0 = 9*d - 6*d - 24. Suppose f + 3*f = d. Suppose -f*s = -s - 13. Is s a prime number?
True
Is -5 + 6 + 3 - -949 a composite number?
False
Let n = 1 - 1. Suppose -5*o + 50 = -n*o. Is o prime?
False
Let j(t) = -t**3 + 2*t**2 + t + 53. Is j(0) composite?
False
Suppose -5*z + 2*z = 2*p - 6, 0 = -2*z + 5*p + 4. Is ((-3)/z)/(1/(-158)) a prime number?
False
Let k(q) = -q. Let g be k(-2). Suppose -n = 3*v - 49 - 43, 5*v - 157 = g*n. Is v a composite number?
False
Suppose -5*b = -11*b + 54. Suppose 0 = -b*d + 2*d + 4669. Is d prime?
False
Suppose 5*s - 1420 = -2*b + 1007, 0 = -s + 3*b + 499. Is s a prime number?
True
Let c = -4939 + 7362. Is c prime?
True
Let j(y) = -y**3 - 12*y**2 - 15. Let g be j(-11). Is -1*((g - -1) + 2) a composite number?
True
Let n(x) = -x**3 + 7*x**2 - 4*x + 1. Let l = 17 + -12. Is n(l) a prime number?
True
Let a(r) = r**2 - 8*r + 7. Let c be a(6). Is (-1)/c + 2976/20 a prime number?
True
Suppose -2*r = 3*p - 94 - 96, p + 352 = 4*r. Is r a composite number?
False
Let o(l) = l**3 + 6*l**2 + 4*l - 1. Let w be o(-5). Suppose w*i + 8 = 68. Is i a prime number?
False
Let v(w) = w**2 + w + 7. Is v(12) composite?
False
Suppose 0 = 3*i - 151 + 58. Is i a prime number?
True
Let h(q) = 7*q**2 - 8*q - 9. Let p(v) = 6*v - 3*v**2 + 0 + 1 + 3 - 2*v. Let g(k) = -2*h(k) - 5*p(k). Is g(7) prime?
True
Let y = -1 + -1. Is (-327)/9*y*3 prime?
False
Let i(f) = f**3 + 5*f**2 - 5*f - 2. Is i(-4) composite?
True
Let r = -1286 + 2073. Is r composite?
False
Let w(v) = -v**2 + 4*v - 4. Let r be w(3). Let d be 2*(35/r)/(-1). Suppose 3*a = -2*y + 70, 0 = -3*y + y + 4*a + d. Is y a prime number?
False
Let l(r) = 6*r + 2 + 2*r**2 + 1 - r. Is l(-8) a prime number?
False
Let j(g) = 20*g**2 - 14*g - 36. Let t(s) = 4*s**2 - 3*s - 7. Let u(p) = -2*j(p) + 11*t(p). Let h(m) = m**2 - 4*m - 1. Let d be h(3). Is u(d) prime?
True
Let t = -52 + 167. Is t a composite number?
True
Suppose y + 4*h = 559, 6*y - 3*y = h + 1716. Is y composite?
False
Suppose 5*h = 6 + 14. Suppose -5*l = -h*l - 233. Is l a composite number?
False
Let n be -1 + -1 + 171 + -1. Let h = n + -109. Is h composite?
False
Suppose -5*x - 22 = 3*p, x + 66 = 4*p - 9*p. Let i = p - -25. Is i a composite number?
False
Let y be (-12)/9*(-276)/8. Suppose -3*f + 59 = -y. Is f a composite number?
True
Let h(t) be the first derivative of -7*t**2 - 3*t - 3. Is h(-5) a prime number?
True
Suppose -k + 0*k = 2*t + 2, -5*t - 15 = 0. Suppose 2*u + 3*w = 43, 2*u + 40 = 4*u + k*w. Suppose -4 = -v, -3*x + 3*v = -x - u. Is x a composite number?
False
Let s(w) = 2*w**2 + 4*w + 3. Suppose 3*r + 4 + 8 = 0. Is s(r) prime?
True
Let g = -15 + 9. Let v be -1 + (-6)/9*g. Is (-1316)/6*v/(-2) composite?
True
Let o(u) = -u**3 - 13*u**2 + 14*u - 17. Is o(-15) composite?
False
Let w = -86 + 51. Let g = 66 + w. Is g a composite number?
False
Suppose 2*x + x = 5*v - 471, -v + 87 = 3*x. Is v a composite number?
True
Let i(y) = -11*y**3 - 2*y**2 - y. Let x(q) = -q**2 - 8*q - 2. Let v be x(-7). Suppose -1 = -4*p + v*p. Is i(p) a prime number?
False
Let x be (-8)/(1/((-76)/8)). Suppose -83 - x = -d. Is d prime?
False
Is 14124/7 - (-5 + (-66)/(-14)) composite?
True
Let c(y) = 434*y. Let v be c(6).