7 prime?
False
Let n(u) be the third derivative of u**6/120 + u**5/15 + u**4/12 + 3*u**2. Let l be n(-3). Suppose -4*h + 237 = -s, l*h + 5*s - 125 = 47. Is h composite?
False
Let d be (-4)/(-3)*(-3)/2. Let n be d/4*(0 + -8). Suppose 5*y = -2*c - 0*y + 24, 0 = -n*c - y + 30. Is c a composite number?
False
Let p = -123 + 464. Is p a prime number?
False
Suppose -19 = -f + 296. Suppose -3*j + 6*j + 564 = 0. Let d = j + f. Is d a prime number?
True
Let a be (-6)/(-9)*1233/2. Suppose 0 = 4*z - a + 55. Is z composite?
False
Let y(h) = 20*h**2 - 2*h + 4. Let q be y(2). Suppose -4*b + 844 = q. Is b composite?
False
Let b(h) be the third derivative of -11/6*h**3 + 1/8*h**4 - 3*h**2 + 0 + 0*h. Is b(8) prime?
True
Let w(d) = 3*d + 5. Let f = 9 - 3. Is w(f) composite?
False
Let t = 177 - 106. Is t a composite number?
False
Let j be 1 + -871 + (4 - 6). Let a = -555 - j. Is a prime?
True
Let f = 2635 + -1104. Is f prime?
True
Let k be 4/(-22) - (-486)/11. Suppose 6*t = 5*s + 2*t - 265, -s - t = -k. Is s a prime number?
False
Suppose 3*w - 2*k = 655, -3*w - 3*k + 645 = -0*k. Is w prime?
False
Suppose 0 = 2*z + d + 356 - 1756, -5*d + 1392 = 2*z. Is z prime?
True
Is (-5)/(-10) + (-961)/(-2) a composite number?
True
Suppose -2*h - 455 = 5*q - 5154, -3*q + 2811 = 4*h. Suppose -3*f + q + 391 = 3*w, 0 = -2*w + 2. Is f a composite number?
False
Let h(b) = -b**2 + 11*b + 2. Let v be h(11). Suppose 4 = v*q - 98. Is q composite?
True
Is (-4043)/(-5) + ((-18)/15)/(-3) a composite number?
False
Let d(s) = 5*s + 7. Is d(6) a prime number?
True
Let g(d) = 139*d + 7. Is g(4) prime?
True
Suppose 4*x - 3479 - 3389 = 0. Is x a composite number?
True
Is 2955*-2*2/(-12) a prime number?
False
Let q(v) = v**2 + 2*v + 6. Let n be q(-4). Let x be 4/n - (-12)/7. Suppose 2*g + 5*o = 99, 24 = g - x*o - 3. Is g prime?
True
Suppose f - 215 = 50. Is f prime?
False
Is (-14)/(-21) - ((-1663)/3 + -2) composite?
False
Let w(l) = -l - 7. Let j be w(-12). Let f(x) = -2 - x**3 - 7 + 0*x - 8*x**2 - j*x. Is f(-8) composite?
False
Suppose -2*h = 5*a + 13, 2*a + 10 = -5*h + 3*h. Let l = h - -6. Suppose 0*i = l*i - 46. Is i prime?
True
Let w be 6/(-9)*(-4 + 1). Suppose 628 - 194 = w*f. Is f a prime number?
False
Suppose 3*d + 7 = -5. Let j(c) = -7*c**3 - 2*c**2 + 5*c + 1. Is j(d) prime?
True
Let u(q) = 11*q**2 - 7*q - 4. Let j be u(6). Suppose -2*n - j = -18. Is n/(-3)*(-21)/(-14) a prime number?
True
Let x be 1 + 0/1 + -176. Let u = 438 + x. Is u a prime number?
True
Let i(s) be the second derivative of -s**5/30 + s**4/24 + s**3/3 - 2*s. Let p(f) be the second derivative of i(f). Is p(-5) prime?
False
Suppose 4*t = -0*t - 4. Let v(p) = -424*p**3 - 2*p**2 - 2*p - 1. Let x be v(t). Is (-2)/(-5) + x/5 prime?
False
Let q(n) = -218*n + 3. Is q(-2) composite?
False
Suppose -4*d + 2 = -6. Suppose -2 = -d*q + 2. Suppose 2*m - 28 = -q*m. Is m prime?
True
Suppose -1660 = 2*n - 7*n. Suppose 0 = -0*a - 4*a + n. Is a a prime number?
True
Let m be (-1 + 4/8)*-6. Suppose -4*q + 23 = -m*q + 5*y, 3*y - 31 = -q. Is q a prime number?
True
Suppose 0 = 3*q - q + 4*k - 310, q + 5*k - 143 = 0. Is q composite?
False
Let m(w) = -w + 6. Let c be m(3). Suppose -34 = 4*d + d + 3*h, 5*h + 30 = -c*d. Is (-39)/(-15) - 2/d prime?
True
Suppose 1461 = 4*s - 1511. Is s prime?
True
Let a(r) = 38*r - 1. Let x = 4 - 8. Let i(b) = -b - 1. Let m be i(x). Is a(m) a composite number?
False
Suppose -1535 = -4*z - 5*p, -384 = -z - 3*p + 2*p. Let d = z - 274. Is d a composite number?
True
Let v(n) = -117*n - 1. Let q = 10 + -12. Is v(q) prime?
True
Suppose 0 = 4*a - a. Suppose 0 = 2*b - a*b + 4. Is ((-53)/(-1))/(b - -3) a composite number?
False
Let l be ((-2)/(-2))/((-1)/(-2199)). Suppose -2*o + 4*o - 6 = 0, 5*q - 3*o = -l. Is (-1)/(-4) - q/8 a composite number?
True
Let a be (-2)/(-3) + 2/(-3). Let i(p) be the second derivative of -p**3/6 + 13*p**2 - 5*p. Is i(a) a prime number?
False
Let b = 1876 - 755. Is b composite?
True
Suppose 0 = -2*w - 4 + 12. Suppose 5*p + 10 = -3*s, 0 = s + 2*p - 0 + w. Is (-92)/12*(s - 3) composite?
False
Let p(g) = -g + 4. Let r be p(2). Suppose -4*n + 0*b = 4*b - 40, b = 5*n - 26. Suppose 97 = r*x + 3*z, -2*x - 2*z - 186 = -n*x. Is x prime?
True
Suppose 3*u - 1269 = 24. Is u a composite number?
False
Let k(v) be the third derivative of -v**7/840 + v**6/360 + 59*v**4/24 - v**3/2 + 3*v**2. Let z(f) be the first derivative of k(f). Is z(0) prime?
True
Suppose -4*h + 1863 + 1937 = 0. Suppose 2*n + 0*n = 4*j + 462, -4*n = 5*j - h. Is n prime?
False
Let p(f) = -52*f - 2. Let w be p(3). Let b = 45 - w. Is b a composite number?
True
Let i(v) be the second derivative of 11/2*v**2 + 0 + 4/3*v**3 + 3*v + 1/12*v**4. Is i(-8) a composite number?
False
Let b = -20 - -20. Suppose 2*d - 5*d + 30 = b. Is d a composite number?
True
Let y be -1*6*(-2)/3. Suppose y*d + 12 = 2*d. Is ((-11)/2)/(1/d) prime?
False
Suppose -4*v = 3*g - 5721, 0 = -2*g - 2*g + 4*v + 7600. Is g prime?
False
Let g(j) = -j**2 + 8*j + 9. Let w be g(9). Suppose 3*n + 2*n - 60 = w. Is (-39)/n*(-5 + 1) composite?
False
Suppose 8 + 2 = 5*u. Suppose -u*r = -5*r + 75. Suppose -a = k + a - 17, -k + r = 4*a. Is k a prime number?
False
Let v = 1 + 4. Suppose -v*j - 3 = -b - 23, 4*b - 4 = -j. Is (74/3)/(j/6) composite?
False
Let k(h) = 163*h + 9. Let o be k(7). Let z = o - 795. Is z a prime number?
False
Suppose -j + 321 = -328. Is j a prime number?
False
Let n = 628 + -193. Let d = 740 - n. Is d a prime number?
False
Let g(x) = 2*x**2 + 14*x - 15. Let a be g(-11). Suppose -2*f + 173 + a = 0. Is f a prime number?
False
Let m be (-4)/(-6)*(-24)/(-4). Suppose -m*k - 3*n + 18 = -2, -3*n + 12 = 0. Suppose -33 = j - k*j. Is j composite?
True
Is (-15558)/(-24) - (-9)/12 prime?
False
Suppose -k + 2*l = 0, l - 4*l + 6 = 0. Suppose -5*r = -o - r - 2, -4*r + k = 0. Suppose o*m = 117 - 31. Is m a composite number?
False
Suppose 2*g - 4 = -2*x, 5*g - 38 - 12 = 3*x. Let n be (-32 - 5)/((-1)/5). Suppose -g*c + 2*c = -n. Is c a prime number?
True
Suppose -v + 0*c + 5*c + 332 = 0, -25 = 5*c. Is v a composite number?
False
Let k(w) = w**3 + 4*w**2 + w. Let q be k(-4). Let n(f) = f**3 + 5*f**2 + f + 2. Let y be n(q). Suppose 4 - y = -5*b. Is b a composite number?
False
Suppose 0 = -3*t + 5*t - 8. Suppose 102 = 2*f + 4*p + t, -4*f - 5*p + 202 = 0. Is f a prime number?
True
Let a(d) = -147*d**3 - 1. Let n be a(1). Let f be n/18 + 4/18. Is ((-74)/4)/(4/f) prime?
True
Suppose 5*y - y - 224 = 0. Suppose 2 = -0*a + a. Suppose a*v = y + 54. Is v prime?
False
Let d(s) = -s**3 - 5*s**2 + 6*s + 3. Let p be d(-6). Suppose 9*n - 558 = -p*j + 4*n, n = 5*j - 958. Is j composite?
False
Let y(d) = -2*d - 15. Let m(w) = -w**3 + 2*w**2 + 5*w + 2. Let j be m(4). Let z be y(j). Let t = z + 2. Is t a prime number?
True
Let b = 1808 - -2012. Is 4/6 + b/12 composite?
True
Let m be 5*1*170/25. Let x = 57 - m. Is x composite?
False
Suppose x + 400 = -3*x. Let w = -33 - x. Is w prime?
True
Suppose 3*r + 20 = 8. Is 775/10 - 6/r prime?
True
Let v = -3 - -82. Is v a composite number?
False
Suppose 2*i + 5*q = 1710, -i - q = 3*i - 3456. Is i a composite number?
True
Let t(f) = 540*f + 3. Is t(3) composite?
True
Let p(f) = 2*f + 209. Let z(r) = -r - 5. Let n be z(-5). Is p(n) prime?
False
Let m be ((-24)/(-28))/(6/56). Let c = m + 229. Is c composite?
True
Let l(z) = 7*z**3 - 2*z**2 - 15*z - 4. Let j(b) = 3*b**3 - b**2 - 7*b - 2. Let k(x) = -13*j(x) + 6*l(x). Is k(3) composite?
True
Let x = 570 + -277. Is x a composite number?
False
Let b(k) = 12*k**2 - 4*k - 1. Suppose -2*a + 1 = j - 2, -4*j = -a + 15. Is b(a) composite?
True
Let j(w) be the second derivative of -2*w**2 - 3/2*w**3 - 3*w + 0. Is j(-3) prime?
True
Suppose -s - s = 14. Let u(r) = -23*r - 4. Is u(s) prime?
True
Suppose u - 2*a - 107 = 0, -2*u - a + 176 = -48. Is u prime?
False
Is (-6)/3*(-7522)/4 prime?
True
Let w(s) = s**2 + 7*s + 2. Let t be w(-7). Let v(f) = f - 6. Let j be v(6). Suppose -t*u + 55 + 13 = j. Is u a composite number?
True
Let o(s) = 6*s**3 - s**2 - 2*s - 2. Is o(3) a composite number?
True
Let i(z) be the third derivative of z**4 + 5*z**3/6 - 5*z**2. Is i(9) a composite number?
True
Let x(a) = a**3 - a**2 - a - 4. Suppose 3*d - 2*d = 0. Let s be x(d). Is 2 + 32 + (s - -1) a composite number?
False
Suppose -5*f = -7*f. Suppose -3*m