 y(f) be the third derivative of f**4/12 + f**3/2 + f**2. Let g(s) = 6*s**2 - s - 1. Let j be g(-1). Is y(j) a prime number?
False
Suppose 4 = g - 0*g - r, -r - 12 = -3*g. Suppose -116 = -6*l + g*l. Is l a prime number?
False
Let a(b) = 4*b**3 - 3*b**2 - b + 1. Let y(u) = -u**3 - 2*u**2 + 2*u. Let f be y(-3). Is a(f) prime?
True
Let k be -126 - (3 - (-1 + 3)). Let b = k - -254. Is b a prime number?
True
Is -6*(-4)/(-108) + (-3197)/(-9) a composite number?
True
Let m(a) = 201*a - 8. Is m(9) composite?
False
Let l(c) = 52*c + 97. Is l(30) composite?
False
Let n = -1434 - -2585. Is n a prime number?
True
Let p = 4 + -4. Suppose 1083 - 31 = 2*s - v, -2*s - 2*v + 1052 = p. Is 6/(-12) + s/4 a composite number?
False
Let t = 1298 + -495. Is t composite?
True
Let f(p) = -138*p**3 - p**2 - p + 1. Is f(-1) a composite number?
False
Suppose 3*a - 3 = 9. Suppose -5*p = -a*p - 55. Is p composite?
True
Suppose 252 + 133 = 5*y. Is y composite?
True
Suppose -3*f + 1333 = -2*f. Is f prime?
False
Let j(o) = o**2 - 3*o - 4. Let v be j(5). Suppose -29 = -2*s - 11*m + v*m, 17 = s + 3*m. Is 56 - s*(-2)/4 a prime number?
False
Let f(b) = 404*b**3 + 2*b**2 - 1. Let c be f(1). Suppose -u + c = 26. Is u prime?
True
Suppose 5*n - 6*n + 205 = 2*j, -2*n = 5*j - 408. Is n prime?
False
Let s(l) = -27*l + 1. Let t be s(-4). Let u = t + -50. Is u composite?
False
Let a(d) = -87*d**3 - 2*d**2 + 2*d + 5. Is a(-4) a prime number?
False
Let u(b) = 92*b - 16. Let m(h) = -46*h + 8. Let t(x) = -9*m(x) - 4*u(x). Let p be t(6). Let z = 477 - p. Is z composite?
True
Let m = -19 - -11. Let k(v) = v**2 - 7. Is k(m) composite?
True
Let h(s) = -s + 647. Is h(0) a composite number?
False
Suppose -s + 5*s - 24 = -m, -4*s + 28 = 2*m. Suppose -s*c = -413 - 32. Is c prime?
True
Let a(w) = -2*w**2 + 7*w - 4. Let x be a(-6). Let i = -65 - x. Is i prime?
True
Let r(y) = y + 12. Let g be r(-9). Suppose g*a - 608 + 5 = 0. Is a a prime number?
False
Suppose 70 = 5*w - 45. Is w prime?
True
Let v be ((-18)/12)/(3/8). Let z(t) = 2*t**2 - 4*t + 5. Is z(v) a composite number?
False
Let b(w) = -2*w - 7. Let u be b(-5). Let x(t) = 4*t - 1. Is x(u) a prime number?
True
Suppose 0 = -3*u - 5*v + 681, 2*u + v = 535 - 88. Let c = u + -95. Is c composite?
False
Let z(a) be the second derivative of a**5/20 + 2*a**4/3 - a**3/2 + 9*a**2/2 + 2*a. Let s be z(-8). Suppose s = j + 8. Is j composite?
True
Suppose -5*d = -5*b - 440, d + 4*b = -0*b + 83. Is d a composite number?
True
Let s = -5 - -6. Let q be -6 + s - -3 - 17. Let u = 30 + q. Is u a prime number?
True
Let q(m) = -m**3 + 9*m**2 + 4*m + 7. Is q(5) composite?
False
Let u(l) be the second derivative of 3*l + 0 + 0*l**3 + l**2 + 1/4*l**4. Is u(-5) prime?
False
Let q = -114 + 326. Suppose 4*x = -0*x + q. Is x a composite number?
False
Let k(x) = -x + 251. Let y be k(0). Suppose 2*w + y = 3*w. Is w prime?
True
Is (-2946)/(-10) + (-2)/(-5) composite?
True
Let h(q) = 98*q - 5. Is h(5) a composite number?
True
Let r be 4 - -3*(-2)/3. Suppose 398 = r*l + 4*k, 0 = 3*l - 2*k + 3*k - 577. Is l a prime number?
True
Let y(i) = -1 + 2*i**2 + 2 - 9*i + 6*i**2 - 4*i**2. Is y(6) a composite number?
True
Let c(d) = -113*d + 9. Let y(t) = 1. Let u(b) = c(b) - 2*y(b). Is u(-3) composite?
True
Let i = -1 - -7. Suppose -5*n = -4*m + i*m + 9, 5*n - m + 3 = 0. Is -23*(n*2 + 0) prime?
False
Let z(p) be the first derivative of 18*p**3 - p**2 - p + 4. Let g = 2 - 3. Is z(g) composite?
True
Suppose -4*d + 7*d = -3*y + 51, 62 = 4*y + d. Suppose -2*v + 3*v - y = -4*l, 25 = -5*v. Suppose -4*f - l*x + 4*x = -141, -20 = -4*x. Is f a prime number?
False
Suppose k + 3*k - 20 = 0, -2*k = d - 13. Suppose -d*t + 243 = -30. Is t prime?
False
Let r be -8*(0 + (-4)/2). Suppose -5*l - 27 = -2*i, 0 = l - 3 + 4. Suppose 0 = 3*n - i - r. Is n prime?
False
Let r(d) be the first derivative of 3*d**2 + 7*d - 1. Is r(5) prime?
True
Let h be 4/(-6) + (-2386)/3. Is 1/(-3) - h/3 a prime number?
False
Let m be 4*28 - (-8 + 6). Suppose 10 = 4*y - m. Is y a prime number?
True
Let c(r) = -2*r - 6. Let p be c(-4). Let l(m) = m - 3. Let j be l(p). Let f(d) = -2*d + 1. Is f(j) composite?
False
Suppose 0 = 5*w - 1401 - 254. Is w composite?
False
Suppose -2*l - 6 = -5*l. Suppose -l*s - 2*s + 364 = 0. Is s a composite number?
True
Let l(u) = 54*u**2 - u. Suppose 0 = -2*x + 4 - 2. Is l(x) composite?
False
Let a(y) = -y**2 + 8*y - 9. Let w be a(7). Let v be 1 + w + (-68)/(-4). Let b = v - 9. Is b composite?
False
Let l = 4 - 1. Suppose 2*c = -l*u + 3*c + 541, 5*u = 4*c + 911. Is u prime?
True
Suppose -609 = -5*o - 214. Is o a composite number?
False
Let y(o) = 20*o - 1. Let c(m) = -m**3 + 2*m**2 + 2*m + 4. Let j be ((-9)/(-6))/((-2)/(-4)). Let u be c(j). Is y(u) a composite number?
False
Let x = 2 - 0. Suppose 0 = x*m - 200 + 42. Is m a composite number?
False
Let p = -259 - -726. Is p prime?
True
Suppose -5*r - 4*b = -2, 0 = 5*r - r + b - 6. Is r*((-573)/(-2))/3 composite?
False
Let l = 773 + -1123. Let w = 641 + l. Is w a composite number?
True
Suppose 4*s = 2*g - 0*g - 2262, 4*g + 2*s - 4474 = 0. Is g prime?
False
Is (-2)/(-4) - ((-25785)/(-10))/(-9) prime?
False
Suppose 0 = -3*s - 505 - 3095. Let u be (3/(-6))/(2/s). Let a = -211 + u. Is a prime?
True
Let l(p) = 4*p**2 + p - 4. Let s be ((-3)/(-6))/(1/6). Is l(s) a prime number?
False
Suppose 2*o + a + 732 = -3*o, -o + 5*a - 136 = 0. Let y = o + 357. Is y a composite number?
False
Let p(u) = 8*u**2 - u + 4. Is p(5) composite?
False
Let f = 633 - 445. Let c = f - 43. Is c a prime number?
False
Suppose 5*a + 3*p - 25 = 0, -10 = a - 5*p + 13. Suppose 3*t + 2*m + 0*m = -38, -a = 2*m. Is (4/t)/(1/(-237)) composite?
False
Let d(t) = -t**3 - 3*t**2 - 3*t + 4. Let y be d(-3). Suppose 2*g + y - 293 = 0. Let n = -17 + g. Is n a prime number?
False
Let w(v) = -v**3 + 9*v**2 + v - 7. Is w(8) composite?
True
Let w(m) = -2*m + 2. Let t be w(-6). Suppose -v = t - 433. Is v composite?
False
Let h(i) = -6*i - 7. Let v(r) = 5*r + 7. Let f(k) = 3*h(k) + 4*v(k). Is f(6) composite?
False
Let g(a) = -a**2 + 3*a + 4. Let o be g(3). Suppose 3*d + 5 = 4*d, -4*r - o*d + 84 = 0. Is r + 0 - (-4 - -6) composite?
True
Suppose 896 = f - 3*f. Let a = -315 - f. Suppose -5*v = -5*g - 165, -4*v = -g - 2*g - a. Is v composite?
True
Let z = 6 - 3. Suppose 3*j - 5*u = -15, -u = -z*j + 1 - 4. Is (j - (1 - 1)) + 21 a composite number?
True
Let v(h) = 8*h**2 + 2*h - 2. Let k be v(-2). Suppose 3*d + 14 = g, -4*g + 2*d + k = -0*d. Suppose 31 = g*l - 64. Is l a composite number?
False
Suppose f - 2*f + 5 = 0. Suppose f*c = u - 2, -3*c - 10 = -5*u - 8*c. Is (1/u)/((-1)/(-130)) a prime number?
False
Suppose -4*d = 39 + 17. Is 2/(-7) - 158/d prime?
True
Let t(h) be the third derivative of -h**6/120 + 3*h**5/20 - h**4/3 - 5*h**3/6 - 3*h**2. Is t(6) a composite number?
True
Let a(c) = c**3 - 10*c**2 - 8*c + 2. Is a(11) composite?
True
Let j be 15 + 0 - (2 + -3). Suppose 14 = -z - j. Is ((-4)/8)/(1/z) a prime number?
False
Let p be ((-6)/5)/((-5)/25). Let q(o) = o**2 - 4*o - 1. Is q(p) a composite number?
False
Let i be (-1172)/(-8) + (-1)/(-2). Suppose -i = -3*l - 0*l. Let s = -30 + l. Is s a prime number?
True
Suppose 0*y - 4*y = -168. Is (1/(2/y))/1 prime?
False
Let i(v) = -5*v**3 + v**2 + v - 1. Let g be i(1). Let d be (-8)/(-6)*(-18)/g. Let m(b) = -b**2 + 6*b + 7. Is m(d) a composite number?
False
Suppose 4*u - 16 = 4. Suppose -4*k = 2*b - 80, -u*b + 113 + 51 = -2*k. Is b a prime number?
False
Let d(q) = q**3 + 5*q**2 - 7*q - 4. Suppose -t + 32 = -6*i + i, -i - 3*t = 0. Let o be d(i). Suppose 2*n + 57 = o*r - 39, -2*r + 91 = -3*n. Is r composite?
False
Let t(p) = -p + 4. Is t(-10) prime?
False
Suppose -n + 13 - 36 = 0. Is n/(-3 - (-6)/3) prime?
True
Is 48/(-40)*(-130)/4 a prime number?
False
Suppose -3*k + 8*k - 2708 = -4*q, 0 = 2*q + k - 1354. Is q a prime number?
True
Let q be (2 + 275*1)*1. Let d = -128 + q. Is d a prime number?
True
Let f be 8/2 + 0 + 2. Let o(q) = q**3 - 9*q**2 - 3. Let b(z) = -z**3 + 10*z**2 + 4. Let w(j) = -2*b(j) - 3*o(j). Is w(f) a prime number?
True
Suppose 5 = -5*b + s + s, 2*b - 4*s + 2 = 0. Let h = 13 + -11. Is (b/2)/(h/(-124)) a composite number?
False
Let n = 278 - 125. Suppose x = -3*q + 112, 4*q - 178 = -3*x + n. Suppose -3*h - v = -x - 36, 0 = -5*h - 2*v + 243. Is h compos