t = -f + 54. Is f a prime number?
False
Let b(o) = -22*o**3 - 3*o - 4. Let m be b(-3). Let x = m - 350. Is x composite?
True
Let f(z) be the second derivative of -z**5/20 + z**4/12 - 5*z**3/6 + 7*z**2/2 + z. Let u be f(-5). Let c = u + -105. Is c a prime number?
False
Suppose 137 = z + 5*v, -3*z = -z + 4*v - 280. Let b = z + -77. Is b prime?
False
Let o be (-2 - 0/(-4)) + 13. Let d(x) be the first derivative of -x**4/4 + 4*x**3 - 9*x**2/2 - 8*x - 1. Is d(o) a prime number?
False
Is (-210)/(-20)*(-22)/(-3) composite?
True
Let j(f) = f**2 + 3*f + 11. Is j(12) a prime number?
True
Suppose -15545 = -16*c + 11*c. Is c composite?
False
Let w = 9266 + -6267. Is w a prime number?
True
Let u(s) = -s**2 + 4*s + 7. Let i be u(5). Let h be 4/i*(-807)/(-6). Suppose 0 = 5*n + 3*t - 331 + 54, 0 = -5*n - t + h. Is n prime?
True
Suppose i - 4*d - 14 = 0, 6*i - 121 = 2*i + 3*d. Let x = i + 1. Is x prime?
False
Is (-4 - (2 + -504)) + (1 - 2) prime?
False
Suppose -3*d + 2*o = -o, o - 24 = -5*d. Suppose d*u = -1 + 9. Suppose 3*l - 97 = -2*l - 2*t, u*t - 76 = -4*l. Is l a composite number?
True
Suppose -15 = 2*j + f, 3*j + f + 20 = -0. Is -2 + 1 - 12*j composite?
False
Let m(p) = p. Let b be m(4). Suppose 2*g + 106 = b*g. Is g composite?
False
Suppose c = -3*t - 35 + 334, -5*c - 5*t + 1485 = 0. Suppose 5*k = -2*n + c, -4*n + n = 6. Let l = k - 7. Is l composite?
False
Is ((-2086)/(-4))/((-3)/(-6)) - 1 prime?
False
Let h(k) = -k**2 + k + 3. Let o be h(3). Is -9*(-1)/(o/(-47)) composite?
True
Let j(n) be the first derivative of n**3/3 - 3*n - 1. Let v(a) = a - 2. Let p(i) = 3*j(i) - 4*v(i). Is p(4) prime?
True
Suppose w = 477 + 80. Is w composite?
False
Suppose -4*n + 30 = -3*o, 2*o + 11 - 2 = -n. Let z be 4/o*-3 - 5. Let j(u) = 16*u**2 + 4*u + 1. Is j(z) composite?
True
Suppose -25 = 4*w - 9*w. Suppose -4*a = -2*a + w*o - 214, -5*o - 77 = -a. Is a prime?
True
Suppose -2*n + 636 = -5*j - 5*n, 528 = -4*j + 4*n. Let w = -58 - j. Is w a prime number?
True
Is (-5 - -10)/((-2)/(-226)) prime?
False
Let u(m) be the third derivative of -m**5/60 - 11*m**4/24 + 7*m**3/6 + 2*m**2. Is u(-5) a prime number?
True
Let z(m) be the first derivative of -2 + 52/3*m**3 + m + 0*m**2. Is z(1) a composite number?
False
Let g be (-65)/20*(1 - -3). Let d = g + 38. Let m = 47 - d. Is m a composite number?
True
Suppose 2*c - 2 = c. Suppose -3*g = c*g - 335. Is g a prime number?
True
Is 20/8 + (-2115)/(-6) a composite number?
True
Suppose j - 1 = 3. Suppose -j*h - 3*b + 1853 = 0, h = -b + 2*b + 472. Is h a composite number?
False
Let h(l) = 4*l**2 + 5*l + 10. Is h(9) a prime number?
True
Suppose 0*m = 3*m. Suppose m = 4*d + b + 159, -6*b = d - b + 54. Is 0 - -2 - 2 - d a composite number?
True
Let z be (-129)/(-6) - (-2)/(-4). Let s = -11 + z. Is s composite?
True
Let v = -333 + 1419. Is ((-10)/15)/((-4)/v) composite?
False
Suppose -5*u - 10 = 30. Let g(b) = b**3 + 9*b**2 + 5*b + 7. Is g(u) a prime number?
True
Let r = 192 + -328. Is r/(-6) - 2/3 composite?
True
Suppose -p + 4 + 171 = 4*v, -4*v = -2*p - 190. Let n = -30 + v. Is n prime?
False
Let h be 3 + 1 - (0 + 17). Let i(j) = -j**3 - 13*j**2 - 4*j + 7. Is i(h) prime?
True
Let o = 1611 + 190. Is o a prime number?
True
Is 5/(5 + 3094/(-619)) prime?
False
Suppose -10 = -5*g - 0. Let q(m) = 26*m**3 - 17*m**3 - 1 - 3 + 3 - 2*m**2 + m. Is q(g) a composite number?
True
Suppose 0*p - 4*f = 3*p - 13529, 5*p - 22552 = -3*f. Is p a prime number?
False
Suppose -2*m = 5*m - 6839. Is m prime?
True
Let j(k) = 8*k**2 + 6*k - 47. Is j(21) prime?
True
Let s(t) = 6*t**2 - 1. Let z be s(-1). Suppose -3*d + 160 = h, z*h - 247 = -2*d + 488. Is h a prime number?
False
Suppose 0 = -u - 2*d + 123, -19 - 92 = -u + d. Is u prime?
False
Let n be ((-6)/(-10))/(6/30). Let w(d) = -d**2 - d - 4. Let a be w(0). Is 2/n*(-1146)/a composite?
False
Suppose -3*u + 5*u = 3*w - 119, w - 2*u = 45. Is w a prime number?
True
Let w(b) = b**3 - 12*b**2 - b + 11. Let n be w(12). Let i be 1 - ((n - -3) + -4). Suppose 132 = i*p - 213. Is p prime?
False
Let u be 442/8 + (-3)/12. Suppose 4*r + u = 147. Suppose -i + 3 = -r. Is i a prime number?
False
Let m = 323 - 194. Is m a prime number?
False
Let k = 15 + -1. Suppose -v - v + k = 4*y, 2*v = 4*y - 10. Is (-3 + -18)*v/(-1) prime?
False
Suppose -2*t = -6*t + 876. Is t*(4/(-2))/(-2) composite?
True
Is (3/12)/(1/3508) composite?
False
Let p = 216 - -115. Is p prime?
True
Let m = 209 - 54. Suppose -4*j = 2*f - 170, -3*j - j + f + m = 0. Is (j/6)/((-4)/(-6)) a composite number?
True
Let a(m) = m - 2. Let f = 22 + -13. Let j be a(f). Let b(w) = -w**3 + 9*w**2 - 1. Is b(j) a composite number?
False
Suppose -1 = -v + 1. Suppose 6*q - v*q = 120. Let o = 53 + q. Is o prime?
True
Let y = 10 - 9. Is (y/3)/(2/348) a composite number?
True
Is -4 + 2 - 1*-341 prime?
False
Let r be (0/(0 + 1))/1. Let a = 24 - 43. Let k = r - a. Is k prime?
True
Suppose -5*z - 32 = -z. Is 1/2 - 292/z composite?
False
Let b(x) be the first derivative of x**2 - 7*x - 2. Let t be b(6). Suppose -o = 5*v - 8, -t*v + 10*v = -5. Is o a composite number?
False
Suppose 0 = -2*b + b. Let s be 30*(12 - b)/2. Suppose g = s + 11. Is g prime?
True
Suppose 18 = 2*g - 4*f, 0*f = 5*f + 15. Is ((-526)/(-4))/(g/6) a composite number?
False
Let i(q) = -2*q**3 - 3*q**2 + q - 1. Let r be i(-3). Suppose 5*u - 184 = -3*a, 3*u - r - 97 = 3*a. Is u composite?
True
Let l(x) = 10*x**2 + 7*x - 31. Is l(10) a composite number?
False
Is 2*(-5 - 3415/(-10)) prime?
True
Let l = 1 - 8. Let o(w) = -9*w + 4. Is o(l) a prime number?
True
Let z = 114 + 233. Is z composite?
False
Suppose f - 7 = -0. Suppose f*d - 2*d = 955. Is d prime?
True
Let s(a) = -1. Let v(k) = -5*k - 4. Let n(w) = -3*s(w) + v(w). Is n(-4) prime?
True
Suppose -4*s - 5 = 3*a, 0*s + s = a - 3. Is -1 + s + 16 + -3 composite?
True
Suppose 0 = 2*x - 4 - 4. Let s(u) = -u**3 + 4*u**2 + u - 1. Let a be s(x). Is 35*(-2)/(-6)*a composite?
True
Suppose -s - 3*o + 0*o + 43 = 0, 3*s = -3*o + 141. Let h = s + -24. Let b = h + -6. Is b composite?
False
Suppose -5*n - 37 + 12 = 0. Let u be 2 + (-1)/1 - n. Is 12/u*(-514)/(-4) a composite number?
False
Suppose -4*y + 72 + 4 = 0. Is y prime?
True
Let n = 56 + -38. Suppose a - 4*b + 19 = 0, 0 = -2*a + b + 2*b - n. Let m(o) = -19*o - 2. Is m(a) a prime number?
False
Let s(b) = 485*b + 2. Is s(1) prime?
True
Let a = -8 + 13. Is 398/a - (-12)/(-20) prime?
True
Let m = 286 - 19. Let v = 536 - m. Is v a prime number?
True
Suppose 2*s - 4 = 2*u - 2, 4*u = -5*s + 50. Suppose -s*q + 1895 = -q. Is q composite?
False
Let n(w) = 329*w - 5. Let k be n(-3). Let p = 1615 + k. Is p prime?
False
Is 2651/7 - 4/(-14) a composite number?
False
Suppose -5*h - 3 = -4*h. Let z be 1*5 - h/(-3). Suppose z*f - 437 = 5*x, 3*f = 4*x - 79 + 406. Is f composite?
False
Let u(m) = 14*m**2 - 1. Let b be (4/(-5))/((-3)/15). Suppose r = 0, -b*w - 6*r + r = 4. Is u(w) a composite number?
False
Let c(i) = -2*i**3 + 6*i**2 + 3*i + 3. Let o be c(5). Let t = o + 167. Is t a prime number?
False
Is (-385)/(-9) + (-6)/(-27) composite?
False
Let f(w) = w - 1. Is f(7) a prime number?
False
Let u = 90 - 40. Suppose -5*r + 3*r = -u. Is r a prime number?
False
Let y be 0*(-2)/(-2) + 1. Let u be y/2*(-1 + 35). Suppose 0 = 5*m + 5*t - 60, m + 2*t = u - 4. Is m prime?
True
Let c = 886 + -1671. Let q = 1342 + c. Is q a composite number?
False
Let j(o) = -o**3 - 5*o**2 - 4*o + 3. Let w be j(-4). Suppose -3*p - 100 = 2*b - 19, w*p = 3. Is (8 - b) + (-3)/1 composite?
False
Let q = -124 - -341. Is q a composite number?
True
Let n = 76 - 29. Let i(b) = 9*b**2 + 2*b + 3. Let y be i(-3). Let j = y - n. Is j a prime number?
True
Suppose -5*q - i = -3*i + 10, q + 15 = 3*i. Suppose -3*o + o = q. Let j = 2 - o. Is j composite?
False
Suppose 0 = -11*s + 5*s + 1146. Is s a prime number?
True
Suppose -5*r + 706 = -6054. Let b = r + -811. Is b prime?
True
Suppose 259 - 93 = 2*t. Suppose 5*r - 4*r = t. Is r a prime number?
True
Let l(i) be the first derivative of -2*i**2 + 5*i + 1/4*i**4 + 1 - 4/3*i**3. Is l(5) a prime number?
False
Let s(j) be the third derivative of j**7/1260 + j**6/360 - j**5/40 + j**4/12 - 2*j**2. Let h(c) be the second derivative of s(c). Is h(4) prime?
True
Suppose 4*w - 2060 = -4*q + 2*w, -1535 = -3*q - 4*w. Is q composite?
True
Let p(w) = 20*w**