f composite?
True
Let d = 1694 + -943. Is d prime?
True
Let y(m) be the third derivative of 13*m**5/60 - 7*m**4/24 + 5*m**3/6 - 3*m**2. Let k(c) = 5*c**3 - c**2 - c + 1. Let a be k(1). Is y(a) composite?
True
Suppose -193 = -3*g + 2321. Is g a prime number?
False
Suppose -3*h + 8*h - 15 = 0. Is h*-1 + (-51)/(-3) composite?
True
Let m = -3 + 40. Is m a prime number?
True
Suppose -3*m - 3 = f, m = -4*f - m + 18. Suppose 0*d - f = -2*d. Suppose d*s - 150 = -3*q, -259 = -5*q - 4*s + 2*s. Is q composite?
False
Let r(j) = j**3 + j**2 + j - 1. Let a be r(-1). Let d = -4 - -2. Is 24 - (-2 - d - a) prime?
False
Let f be (-3 - (0 - 502)) + 2. Let z = f - 166. Is z a prime number?
False
Let t be (2/(-3))/(2/(-129)). Suppose -3*j - s + 37 = 0, -3*j = -s - s - t. Is j + 3 + -5 + 3 a composite number?
True
Suppose -5*m = -2*m - 2*y - 291, -y + 194 = 2*m. Is m composite?
False
Suppose d + 3*d = r + 380, 0 = 4*d - 3*r - 380. Is d a composite number?
True
Let q = -30 - -43. Let g = 12 + q. Is g a prime number?
False
Let c = 172 + -23. Suppose -286 = -3*p + c. Is p composite?
True
Let q(h) = 9*h**2 + 23*h + 5. Let b(a) = -5*a**2 - 12*a - 3. Let g(t) = 5*b(t) + 3*q(t). Let k(f) = -8*f + 1. Let u be k(1). Is g(u) a composite number?
True
Let b = 20 - -9. Let a = -7 + 13. Let y = a + b. Is y a prime number?
False
Let x = 146 + 173. Is x a prime number?
False
Suppose -4*k + 5546 = 3*n, 2*k - k + 3*n - 1391 = 0. Is k prime?
False
Suppose -4*l + 5*l + 16 = -2*r, -3*l - 3*r = 33. Let f = l - -11. Suppose -2*a = -f*a + 237. Is a a composite number?
False
Let q(n) = -n - 3. Let k be q(-8). Suppose 0*w = -k*w + 195. Suppose 4*t - w - 21 = 0. Is t a composite number?
True
Let j(h) = 0*h**2 - 56*h**3 - 2*h**2 + 1 + 4*h**2 - 86*h**3 + 2*h. Is j(-1) composite?
True
Let o = 4 - 4. Suppose 4*f - 788 = -o*f. Suppose 3*m - 2*j - 139 = 0, j + 46 = -3*m + f. Is m prime?
False
Suppose 0*x = -5*x + 455. Suppose 0 = 3*j + 22 - x. Suppose -j = -v + 16. Is v composite?
True
Suppose -3*r + 4*r = 0. Suppose r = 3*v, v + v = l - 443. Is l prime?
True
Let h(u) = 69*u + 17. Is h(4) prime?
True
Is (-1)/(-3) - 3248/(-12) prime?
True
Let b be -2*(-4)/(-8 - 0). Let y(n) = 55*n**2 - n - 1. Is y(b) a composite number?
True
Let j(z) = 15*z**2 - 15*z**2 - z + 2 - 2*z**3. Is j(-3) a prime number?
True
Suppose 0 = -2*b - 3*b + 425. Is b prime?
False
Suppose i - 428 = -34. Is i a prime number?
False
Suppose 5*g - 1099 = -x, 5*x - 4*g = -0*x + 5611. Is x a composite number?
True
Let k = -7 + 8. Let a be (8/(-3) + 1)*18. Let m = k - a. Is m a composite number?
False
Let f be (6*1)/((-12)/(-56)). Let s = -18 + f. Let x(n) = -n**2 + 14*n - 14. Is x(s) composite?
True
Suppose x - 86 = -5*i, 5*x - 5*i - 440 = 140. Is x composite?
True
Suppose 4*s - 882 = s - 3*b, -3*s + 862 = -2*b. Let l = -157 + s. Is l a composite number?
True
Suppose -o = -2*o + 176. Let v = o - 82. Suppose 5*x - 2*f = 179, -63 - v = -4*x - 3*f. Is x a prime number?
True
Let h(x) = x**2 - 7*x - 3. Is h(-5) a prime number?
False
Let z be (6 - 6)*(-2)/(-6). Suppose -412 = -4*c - z*c. Is c prime?
True
Let c be (1 + 0)*(-3 - -6). Suppose -3*s + 21 = c*m, 2*s + 0 = 6. Let f = 83 - m. Is f a composite number?
False
Let f = 0 + -2. Let g be 14/1*-1*f. Let v = g - 15. Is v a prime number?
True
Let t = -248 + -69. Let x = -154 - t. Is x a prime number?
True
Let u(z) = -6*z**3 - 4*z**2 - 4*z - 2. Let x be u(-2). Let f = 49 + x. Is f a composite number?
True
Is (-6409)/(-2) - (312/16)/13 prime?
True
Let b(q) = 4*q**2 - 14*q + 19. Is b(8) a composite number?
False
Let o(c) = -5*c**3 + 5*c**2 - 4*c. Let u(w) = -6*w**3 + 5*w**2 - 4*w - 1. Let x(g) = 5*o(g) - 4*u(g). Let r be (-9)/(-2)*(-5 + 102/18). Is x(r) composite?
True
Is 1732 + (-9)/(-6) + (-3)/(-2) composite?
True
Suppose -5*u = -0*u - f - 3, 0 = 5*u + 4*f + 12. Suppose 0 = -3*j - u*j - 6. Is ((-10)/6)/(j/42) a composite number?
True
Is (0 - (-289 + -1)) + 3 prime?
True
Let z(x) = 0*x**2 - 4*x**3 + 2*x**2 - 2 + 9*x**3 + 1. Is z(2) prime?
True
Let p(b) = 18*b - 7. Is p(5) a composite number?
False
Let y(t) = 7*t + t**2 - 2*t**2 + 2*t**2 + 2*t. Let d be y(-8). Let x(s) = -s**3 - 7*s**2 + 1. Is x(d) a prime number?
False
Is (3 - 898/4)/(2/(-4)) prime?
True
Suppose 130 - 605 = -5*k. Is k a composite number?
True
Let b = 1499 + 1910. Is b composite?
True
Suppose 5*b + 35 = -5*l, 3*l + 75 = -2*l + 3*b. Let x be (1 + -4)/(9/l). Suppose -174 = -x*j + j. Is j composite?
True
Is 1216/8 + (-3 - 0) a prime number?
True
Let v = -6 + 11. Let m = -5 + v. Is (-2 + 39)*(1 + m) prime?
True
Let j(a) = -522*a**3 - 2*a**2 - 3*a - 2. Is j(-1) a composite number?
False
Let a(x) = -2*x - 1. Suppose -f = 3*f - 16. Suppose -f*g = 24 + 4. Is a(g) a prime number?
True
Let n be 5/10 + (-6)/(-4). Suppose -n*v - 3*x = -4, 2*x = -v + 5*x + 2. Is v a prime number?
True
Let j(v) be the third derivative of v**6/360 + v**5/60 + 5*v**4/24 + v**3/6 + 3*v**2. Let t(y) be the first derivative of j(y). Is t(6) a composite number?
False
Let c(d) = -22*d + 1. Let y(f) = -f - 4. Let s be y(-6). Suppose -2*p + 4*p = -s*r + 2, -r = -5*p - 7. Is c(p) composite?
False
Let w(f) = 12*f**3 - 2*f**2 + 3*f - 5. Is w(4) a composite number?
False
Let v(a) = -2260*a + 1. Is v(-4) a composite number?
False
Suppose -422 = -2*y - 0*y. Is y a prime number?
True
Suppose -1 = -g - 16. Let x = g + 26. Is x prime?
True
Let m(v) = 41*v + 3. Let x be m(5). Let r be -5*(x/(-10) - -2). Suppose -z = z - r. Is z composite?
False
Let z be 9/18*(-15 + 1). Let o = z + 17. Is o prime?
False
Suppose -n - 5*i - 7 + 1 = 0, 4*n = -3*i + 10. Let v = -1 + n. Is v composite?
False
Let z(o) = 89*o - 8. Let d be z(8). Suppose 5*p - d + 29 = 0. Suppose 2*r - p = -4*u - 3*r, -3*r = -u + 38. Is u a composite number?
True
Suppose 2*l - 1225 + 201 = 0. Suppose -5*s + 8 = -2, 4*r + 2*s = l. Is r composite?
False
Let u(r) = 7*r - 4. Let f be u(-5). Suppose -3*v + 186 = -y, -5*v + y + 0*y = -310. Let a = v + f. Is a a prime number?
True
Suppose -5 = 5*y - 6*f + 2*f, 0 = -2*y - 4*f + 26. Suppose -y*w + 50 = 2*w. Is w composite?
True
Let d(c) = -c**2 + 17*c - 13. Suppose 0*i + 22 = 2*i. Is d(i) prime?
True
Suppose 5*c = -o + 777, 3927 = 5*o + 4*c - 0*c. Is o composite?
False
Suppose 0 = 4*m + 4*k - 624, 43 - 517 = -3*m - 5*k. Suppose 0 = -4*f + m + 59. Is f a prime number?
True
Let p be (-8)/(-3 + 14/4). Let i = -1 - p. Is i composite?
True
Let h(t) = -3*t**3 + 7*t**2 + 30*t - 19. Let p(n) = n**3 - 2*n**2 - 10*n + 6. Let l(a) = 3*h(a) + 8*p(a). Let w be l(6). Let s = w - 0. Is s a prime number?
False
Let d(q) = 998*q**2 + 3*q + 2. Is d(-1) a prime number?
True
Let c be -14*1*(-3)/6. Suppose -2*v = -5*g + 30, 3*g - c*g = -v - 12. Is ((-7)/(-4))/((-1)/v) composite?
True
Suppose -4*g + 21 = 5. Suppose 16 = 4*t, -g*t = -5*u - 0*u + 439. Suppose 0*z = z - u. Is z composite?
True
Let h be (2/5)/((-4)/(-220)). Let x = 4 + h. Is x a prime number?
False
Suppose -4*p + 0*p + 2*i + 22 = 0, 4*p + 3*i - 47 = 0. Let v(k) = k**3 - 9*k**2 + 7*k + 11. Let l be v(p). Suppose 6*q = l*q + 249. Is q composite?
False
Suppose -3*m + 132 - 3 = 0. Is m a composite number?
False
Suppose 12 = 4*r - 2*h, -4*r + 2*r + 6 = 5*h. Let g(a) = 2*a**2 - 3*a - 2. Is g(r) composite?
False
Let p = -4 + 8. Suppose -t - 4*y = y - 3, 0 = -p*y. Suppose -2 = -2*j + u + t, 2*j = -3*u + 17. Is j a composite number?
True
Let v be (5/(-5))/(2/8). Let q be 3*(v - (0 + -2)). Let m = q + 25. Is m prime?
True
Suppose 5*t + 141 = -4*b, 0*t = b - 4*t + 9. Let x be 1 - (-3 + 52 + 2). Let a = b - x. Is a a prime number?
False
Suppose -11 + 39 = 2*j. Suppose -112 = -2*z + j. Let r = z + 26. Is r prime?
True
Let k(l) = -l**2 + 8*l - 5. Let x be k(6). Is 2*(-14)/(-4)*x a composite number?
True
Let h(q) = 2*q**2 - 23*q + 52. Is h(13) a composite number?
True
Let j(n) = -202*n**3 + 1. Is j(-1) a prime number?
False
Let y be (-12)/(-3 - -1) + 0. Suppose -105 = -k + y*k. Is k/2*(-6)/9 composite?
False
Suppose 4*a = -r + 13, 10*a = 5*a - 2*r + 20. Suppose a*t - 10 = 18. Suppose 111 + t = 5*f. Is f prime?
False
Let i = 186 - 107. Is i a composite number?
False
Is (-1)/4*2*-2282 composite?
True
Let s(u) = -3*u**2 + 5*u - 5. Let o be s(6). Let n = -41 - o. Suppose 0 = -3*b + 5*b - n. Is b a composite number?
True
Let o(u) be the first derivative o