499 = 291. Suppose 4*i + 5*c - p = 3*c, -4*i + c + 143 = 0. Is i a composite number?
False
Suppose -3*d - 4*y = -15 - 10, 5*y - 17 = d. Suppose a = -d*q - a - 20, -4 = q - 2*a. Is (-20)/q*(-33)/(-2) a prime number?
False
Let w(r) = -84*r**3 + 1. Let o(q) = q - 5. Let s be o(3). Is w(s) prime?
True
Let h(k) be the second derivative of -k**5/20 + 5*k**4/4 - 3*k**3 - 15*k**2/2 + k. Suppose -5*i + 52 = -i. Is h(i) a prime number?
True
Let o = 1560 + 1753. Is o composite?
False
Suppose 871 = j - 2*x, 3517 = 4*j + x + 2*x. Is j a prime number?
True
Let j(w) = -2*w - 4. Let y(t) = t**2 - 3*t + 4. Let k be y(5). Let i be 1/(0 + (-2)/k). Is j(i) prime?
False
Let y = -23 - -27. Is (-5 + y - -94) + -4 prime?
True
Let y be (9/6)/((-3)/4). Let u be (y - (-2)/2)*-2. Is u/8 - (-139)/4 prime?
False
Let p(n) be the third derivative of -13/24*n**4 + 0 + 0*n + n**2 + 1/6*n**3. Is p(-1) prime?
False
Suppose -2*d - 5*w + 455 = 0, -3*w = 3*d - w - 699. Is d composite?
True
Let h(r) be the first derivative of 1/2*r**2 - 4*r + 4/3*r**3 + 2. Is h(3) a composite number?
True
Let k(w) = 8*w**2 + w + 11. Suppose 11*r = 14*r + 24. Is k(r) prime?
False
Let f be (-2)/(-4) - 54/(-4). Suppose -n + 4*n + f = u, -n = -4*u + 23. Let z = 11 - u. Is z a prime number?
False
Let y = 4 - -1. Let h be ((-66)/y)/((-3)/70). Suppose -r + h = 3*r. Is r a prime number?
False
Suppose 0 = 3*c - 2 - 13. Suppose -o = -c*o + 88. Is o composite?
True
Let v(d) = -d + 13. Let h be v(10). Suppose -10 = g - 5*z, -h*g + z + z = -22. Is g prime?
False
Let u(s) = 116*s**2 + 5*s + 11. Is u(-4) prime?
True
Let c(o) = 60*o. Let n be c(-2). Let y = 203 + n. Is y prime?
True
Let j(r) = -16*r**3 - 2*r**2 + 2*r + 3. Is j(-2) a composite number?
True
Let s = 29 + -1. Let a = 83 - s. Is a a composite number?
True
Suppose -2*q + 1435 = -1971. Is q a prime number?
False
Suppose -1 = -3*j + 2*z - 2, 0 = j - 2*z + 3. Suppose 4*k - 6*k - 5*d + 377 = 0, d + j = 0. Is k a composite number?
False
Let k be (1 - 1)/(-1) - 4. Is 509/4 + k/16 prime?
True
Let c(q) = 25*q**2 + 6*q + 3 - 8*q + 6*q. Is c(4) prime?
True
Is 0 + 157/(1/(-4)*-4) composite?
False
Let r(k) = 2*k + 748. Let i be r(0). Suppose -5*v = 143 - i. Is v a prime number?
False
Suppose -12*r + 8*r = 4. Is (-149)/(2*r/2) prime?
True
Suppose 120 = n + 2*n. Let v = 107 - n. Suppose 327 - v = 4*k. Is k a prime number?
False
Let f = 176 + -81. Is f prime?
False
Suppose -4*b + 10 = -6. Suppose -k - k = -3*o, 4*k = b*o. Is (k - 2)/(4/(-118)) prime?
True
Let h = -4 - -6. Let t be (-4 - (4 - 2)) + h. Is (1/1)/(t/(-84)) prime?
False
Let d(g) = 4*g**2 - 2*g - 1. Let k be d(-1). Suppose 2*a + 5*r + 571 = -a, 0 = 3*a - k*r + 581. Is a/(-10) + (-1)/5 prime?
True
Is (329*1)/(1 + 0) a composite number?
True
Suppose 10*r + r - 11957 = 0. Is r composite?
False
Suppose 3*x = 2794 - 901. Is x a prime number?
True
Let w(u) = -u**2 + 6*u + 6. Let q be w(6). Suppose -q*k = -10*k + 212. Is k composite?
False
Let z be 6/(-5) - (-2)/10. Let r be 15*(5/(-3) - z). Is 1*r/(-4)*46 a composite number?
True
Suppose -5*c + 7 + 8 = 2*k, 4*c = -3*k + 12. Is 1*(c - 4 - -80) composite?
False
Let b = 1600 - 803. Is b prime?
True
Let j = 4 + -2. Let b be j + -1 + 2/1. Is (-21)/(-2) - b/(-6) prime?
True
Let j be (0 - 1)/((-9)/18). Suppose 2*w - j*b + 601 = b, 2*w - 4*b = -602. Is w/(-2) - 1/2 prime?
True
Let r(x) be the first derivative of -x**3/3 - x**2/2 - 4*x + 3. Let c be r(0). Let h(n) = -2*n**3 - 6*n**2 - 2*n - 3. Is h(c) prime?
True
Let b = -1 + 0. Is (b/(-2))/((-3)/(-90)) prime?
False
Let w(h) = 0*h**2 + 5*h - 3 - 3*h**2 + 2*h**2. Suppose -8 - 1 = -3*k. Is w(k) prime?
True
Let x = -1884 - -6221. Is x a prime number?
True
Let q(f) = 186*f**3 - f**2. Let x(r) = r**3 + 4*r**2 - r - 3. Let h be x(-4). Let w be q(h). Suppose 3*l + 2*l = w. Is l a prime number?
True
Let u(j) = j**2 + 9*j + 9. Suppose 0 = 4*x - 30 - 10. Is u(x) composite?
False
Suppose -5*d + 503 = -q, 2*d - d - 99 = q. Suppose -3*i + 4*c = -167, -4*i = 4*c + d - 305. Is i a prime number?
True
Suppose 727 - 1 = 6*p. Is p a composite number?
True
Let b(t) = -3*t**3 - 2*t**2 - 2*t + 2. Let f(g) = -g**3 - 5*g**2 - 4*g - 2. Let n be f(-4). Is b(n) prime?
False
Suppose -f + 3*i - 7 = 0, i = -4*f - 3*i + 20. Let q(o) = -4*o**3 + 3*o**3 + 0*o**3 + 6*o**f + 7 + 5*o. Is q(6) a composite number?
False
Let n be -91*(-8)/(-6)*-3. Let c = n - 173. Is c a prime number?
True
Suppose 6*m = 2*m + 12. Suppose -s + q + 32 = -64, -5*s + 3*q + 470 = 0. Suppose 0 = m*b - 20 - s. Is b composite?
False
Let q(r) = r**2 - 10*r + 3. Let k be 2 - (1 + 2*-5). Is q(k) composite?
True
Suppose -3*o = 494 - 3425. Is o composite?
False
Let v(p) = p**3 + 3*p**2 + p - 1. Let t = -10 - -6. Let q be v(t). Is (q/(-4))/(6/24) a composite number?
True
Let h be 4 - 1 - (-4 + 3). Suppose -r + 10 = -h. Is r a composite number?
True
Suppose -5*y + 112 = -33. Let u = -10 + y. Is u composite?
False
Suppose 7759 = 2*k + 2*t + 1965, 3*k - 5*t = 8691. Is k composite?
False
Suppose 6*f - 522 = 60. Is f a prime number?
True
Let m(l) = -49*l**3 + 3*l**2 + 4*l + 3. Let b be m(-2). Suppose 0 = -5*i - j + b, 4*j + 383 = 5*i + j. Is i composite?
False
Let w(x) = 67*x. Suppose -5*o + 4 = -d - 0, 0 = 3*o + 3*d - 6. Is w(o) prime?
True
Let h = 1005 - 649. Suppose 0 = 3*a + a - h. Is a a prime number?
True
Let k(t) be the first derivative of -11/2*t**2 + 1 + 5*t. Is k(-4) a prime number?
False
Suppose -j = -4*l + 749, 0*l - 5*j - 566 = -3*l. Is l composite?
True
Let s be 2 + -1 + 4 + -3. Is 775/20 - s/(-8) composite?
True
Let r = -147 - -310. Is r a prime number?
True
Suppose 0 = -3*y + 238 + 713. Is y a prime number?
True
Suppose -n - 2*v - 12 = 0, 62 = -4*n + v - 13. Let w = 43 + n. Is (-1)/((-76)/w - -3) a composite number?
True
Let d(m) = 2*m**3 + 2*m**2 + 80*m + 17. Is d(12) prime?
True
Is 4 - (-61)/(2 - 100/52) a composite number?
False
Let i(m) = 9*m**2 - 2*m + 4. Let w(q) = -q + 1. Let s be w(-3). Suppose 5*h = s*j + h, -2*j - 6 = -4*h. Is i(j) a composite number?
False
Let p(b) = 4*b**2 + 2*b + 2. Let m be p(-2). Let x be (-2)/7 - (-46)/m. Suppose 2*i + 157 = x*i. Is i a composite number?
False
Let y be (6/2)/(2/8). Let o be y*((-9)/(-4))/(-3). Let x = o - -32. Is x prime?
True
Is ((-678)/(-4))/(36/24) a prime number?
True
Let h = 17 - -4. Let u(b) = 11*b**3 - 2*b**2 - 2*b - 1. Let p be u(-1). Let w = h + p. Is w a composite number?
True
Let l = 270 + 583. Is l prime?
True
Let f(c) = c**2 + 7*c. Let q be (112/35)/(4/10). Let u be f(q). Suppose -4*o = -o + 5*p - 80, -4*o - 4*p + u = 0. Is o a composite number?
True
Let x = -350 + 1409. Is x prime?
False
Let p = -109 - -2546. Is p prime?
True
Suppose 0 = -0*t + 6*t - 1356. Is t prime?
False
Let n(v) = -v**3 - 3*v**2 - 6*v - 3. Let k be n(-5). Suppose -2*b + 11 = 2*q - k, -q = -3*b + 144. Is b a composite number?
False
Let i(j) = 57*j - 4. Let h(f) = -3*f - 4. Let v be h(-5). Is i(v) prime?
False
Is ((-15)/6)/((-1)/34 - 0) a composite number?
True
Let q(a) = 3*a**2 - a + 3. Let o(b) = -b - 4. Let j(t) = -4*t - 21. Let c(s) = -2*j(s) + 11*o(s). Let h be c(-2). Is q(h) a composite number?
False
Let l = 30 - 3. Let h = -2 - l. Is (2 - 0) + h/(-1) prime?
True
Let g(c) = -2*c**3 - c**2 + 3*c + 1. Suppose -q + 4*d + 20 = 0, -3*d - 2 = 10. Let w = -6 + q. Is g(w) prime?
True
Let a(g) = -g**2 - 4*g + 3. Suppose 5*k = -3*y - 32, 0*y - 4 = -2*y + 3*k. Is a(y) a composite number?
False
Let i = 1422 + 1517. Is i a composite number?
False
Let f(n) = n + 20. Let i be f(14). Suppose 0 = 2*g - g - i. Is g a prime number?
False
Suppose 4*z = 3*l + 130 + 205, 5*z + 3*l - 412 = 0. Is z a prime number?
True
Let h = 14 - 8. Let w(a) = a**3 - 4*a**2 - 10*a + 7. Is w(h) composite?
False
Suppose -u + 0*u = -4. Suppose u*i = 3*g + 111, -1 = 5*g + 4. Let m = i - 17. Is m a prime number?
False
Let n(d) be the first derivative of -d**4/4 + 8*d**3/3 - 2*d**2 + 1. Let x be (3 + 40/(-25))*10/2. Is n(x) prime?
False
Suppose 2*l + 2*l - 444 = 0. Is l a prime number?
False
Let s(n) = -n**3 + 4*n**2 - 1. Let r be s(2). Let i(f) = 2*f + 4. Let b be i(r). Suppose w = 4*w - b. Is w a composite number?
True
Let n(a) = -7*a + 4. Let w be n(-4). Is w - (-3 + 2)*1 a prime number?
False
Let k(p) be the second derivative of 2*p + 0 - 1/2*p**3 + 3/2*p**2. Is k(-4) a composit