= 0. Let w be 225/(-6)*44/h. Is w/(-12)*8/10 prime?
False
Let d(n) be the second derivative of -n**5/20 + n**4/12 + n**3/3 + 379*n**2/2 - n. Is d(0) composite?
False
Suppose -2*n = 5*v + 19, 2*v - 6*v + 31 = -5*n. Is 17730/70 - (-2)/n prime?
False
Let v(r) = 7*r**2 - 5*r - 1. Is v(-4) a composite number?
False
Suppose -6*s = -4*s + 2. Let w be -94 + -2 + s + 5. Let n = 65 - w. Is n prime?
True
Suppose -2*h = -3087 + 713. Is h a composite number?
False
Let o be 2/2 + (7 - 5). Suppose 10 = 5*h - 3*r - 2, o*r = h - 12. Suppose h = -4*u + 3 + 89. Is u a prime number?
True
Let o(q) = -q**2 - q + 6. Suppose -3*l - 9 = 3*i, -2*i + 1 - 7 = 0. Is o(l) a composite number?
True
Let w(y) = y**2 + 6*y - 4. Let f be w(-7). Let j(r) = 0*r - 2*r + f - 4*r. Is j(-6) a prime number?
False
Suppose 3*f = 3*g - 1047, -4*g + g = 3*f - 1023. Let v be (2/(-4))/((-1)/664). Suppose 4*j - g = -5*i, 5*j - 2*i - v = 91. Is j composite?
True
Let k = 18 + -12. Is (69/k - 3)*4 a prime number?
False
Is 15/(-6)*2*-53 composite?
True
Let x = 1 - 1. Suppose -2*r + 5*r - 222 = x. Is r a composite number?
True
Suppose 0 = -4*t + 8 - 0. Suppose 4*w + 2*y = 6*y + 12, t*w - y = 5. Suppose w*h - 2*s = 2*s + 42, 47 = 3*h - 2*s. Is h a composite number?
False
Suppose -5*p = 5*y, 2*y - 2*p - 16 = -0*y. Let n(s) = 2*s**3 - s**2 + 2*s + 2. Is n(y) a prime number?
False
Let i(x) = -2*x - 8. Let o(p) = -p - 4. Let k(j) = 3*i(j) - 5*o(j). Let q be k(-6). Suppose -2*u - 3*g + 38 = 0, -5*u - 3*g = -q*u - 57. Is u composite?
False
Let t(y) = -13*y - 16. Is t(-11) composite?
False
Suppose -5*y - b = 3*b - 27, 5*b = 5*y. Suppose y*m + 21 = 4*m. Is m prime?
False
Let a be 3 - (2 + -3)*-1. Is a*(-3 + 43/2) composite?
False
Let s = -91 - -218. Is s prime?
True
Suppose 0 = -z - 0*z + 2, 5*y - 8 = -4*z. Let n(a) = -a + 1. Let x be n(-1). Suppose -x*i - q + 465 = 0, 3*i + y*q = -3*q + 690. Is i composite?
True
Let l(x) = x**3 - 12*x**2 + 8*x - 9. Suppose 3*h - 2*u = -h + 52, -4*h + 42 = 3*u. Is l(h) a composite number?
True
Let j = -27 - -39. Is j/(-4)*1*-7 prime?
False
Let p(l) = -221*l - 56. Is p(-5) a prime number?
True
Suppose 6*n = 4*n + 38. Suppose -4*v = v. Suppose -h + 2*h - n = v. Is h prime?
True
Let g(h) = 2*h**3 - 2*h**2 + 8*h - 1. Is g(4) prime?
True
Let d(x) = x**3 - x**2 + 3. Let j be d(0). Suppose 0 = 4*w, -w - j*w = 2*n - 4. Suppose 3*p + n*p - 445 = 0. Is p a prime number?
True
Let d(r) = -6*r + 4. Let v be d(-6). Let t = v - 3. Is t composite?
False
Suppose 3*l = -0*l + 11958. Is l composite?
True
Let g = -2778 + 4842. Suppose -g - 2349 = -3*l. Is l prime?
True
Let a = 165 - 26. Is a composite?
False
Let d = 273 - 62. Is d a prime number?
True
Let f = -167 + 496. Is f composite?
True
Is (-17)/(-51)*1*1101 prime?
True
Is 248/10 + 17/85 a composite number?
True
Let m be (0/(-1))/((-2)/(-1)). Suppose m = -5*g + 2*o - 15, -2*g = -4*g - o + 3. Let y = 60 + g. Is y a prime number?
True
Suppose 34*p = 39*p - 9235. Is p prime?
True
Let i(f) = 5*f**3 + f. Let j(k) = -k**2 - 9*k + 1. Let c be j(-9). Let a be i(c). Suppose m - a - 4 = d, 40 = 4*m + d. Is m a prime number?
False
Let h(r) = -r**2 + r - 10. Let k(q) be the first derivative of 9*q + 1. Let f(p) = -2*h(p) - 3*k(p). Is f(5) composite?
True
Suppose -2*t + 5*t + 3 = d, -5*d = -4*t + 7. Let f = -2 - d. Suppose -f = h, -j + 11 = h + 2*h. Is j composite?
True
Suppose -3*b + 2*t - 10 = -0*b, -6 = 3*b - 3*t. Is (-124)/b + 8/24 a prime number?
False
Let l = 265 - 113. Suppose -3*c = c - l. Is c a prime number?
False
Let n(b) = -b**2 - 10*b - 5. Let c be n(-9). Suppose -3*p - i + 229 = 3*i, 0 = c*p + 4*i - 312. Is p composite?
False
Let u = -26 + 22. Is u/26 - (-24782)/26 a prime number?
True
Suppose -2*t + 4*t = 6. Suppose -t*p - 2*p + 785 = 0. Let v = p + -108. Is v a prime number?
False
Let i = -1007 - -1450. Is i a prime number?
True
Is (-3)/((-47996)/11996 - -4) a prime number?
True
Suppose 0 = -2*r - 5*j - 28, -4*j + j - 8 = -r. Let c = r + 6. Is c a prime number?
True
Suppose 475 = c - 4*x, 2*x = -5*c + 854 + 1609. Is c composite?
False
Suppose f = -5*l + 12, f + f + 2 = 3*l. Is 291/(2 + -3 + f) a composite number?
True
Let b(k) = 6*k**2 - 1. Let q be b(-1). Suppose 0*l + 165 = -q*l. Let p = l + 54. Is p composite?
True
Let q(m) be the second derivative of -m**6/8 + m**3/6 + 3*m**2/2 + m. Let a(j) be the first derivative of q(j). Is a(-2) composite?
True
Let f = -7 - -12. Suppose 3*u - 421 = -f*c, 78 = c + 2*u - 9. Is c a composite number?
False
Is (91/(-14) + 5)/((-6)/14636) prime?
True
Let u(c) = -20*c - 3. Is u(-5) a prime number?
True
Let m = 7 - 2. Let b(t) be the second derivative of t**3/6 + t**2 + t. Is b(m) composite?
False
Let r = -3 - -5. Suppose -r*y - 4*h = 10, -h + 5 = 3*y + h. Let a(j) = j**3 - 2*j**2 - 4*j + 7. Is a(y) prime?
False
Let a = 9 + -9. Suppose a = -3*x + 922 - 55. Is x composite?
True
Suppose -296 = -9*b + b. Is b a prime number?
True
Suppose -4*d - 454 = -2*p, -1110 = -5*p + 6*d - d. Is p a composite number?
True
Is (1 - -2) + 0 + 112 prime?
False
Let q(i) = 4*i**2 - 4*i - 7. Is q(6) a prime number?
True
Suppose -z + 46 - 10 = 0. Is 842/18 + 8/z a prime number?
True
Let g(f) = -f**3 - 5*f - 2. Let k be g(-3). Suppose k = 2*t - 170. Suppose 2*i = 5*i - t. Is i a composite number?
True
Let k = 1284 + -907. Is k a prime number?
False
Suppose -m = -3*m. Let i be (-86)/(-2 + m/(-2)). Suppose -5*p = -i - 22. Is p a prime number?
True
Let y(s) be the first derivative of 38*s**3/3 - s - 1. Let k be (6/(-9))/((-2)/3). Is y(k) a prime number?
True
Let j = 11 - 8. Suppose j*h = -h + 236. Is h a composite number?
False
Let h(k) = -k. Let m be h(-3). Suppose -m*d = 5*x - 356, 0 = d + x - 2*x - 132. Is d prime?
True
Let k(h) = -h**3 - 12*h**2 - 10*h + 14. Let n = 2 - 13. Let m be k(n). Suppose 4*p - 21 + 170 = x, -2*x = m*p - 287. Is x prime?
False
Suppose 2*b + 3*b + 3*v = 5397, v = 2*b - 2161. Let c = 1644 - b. Suppose -248 - c = -4*y. Is y a composite number?
True
Let k = 805 + -1522. Let i = 1054 + k. Is i a composite number?
False
Let k(g) = -3*g**3 - 7*g**2 + g - 8. Let t be k(-6). Let z = t + -52. Suppose -j = 3*a - 251, 2*a = -2*a + j + z. Is a prime?
True
Let o(m) be the first derivative of 203*m**3/3 + m**2/2 - m - 3. Is o(1) a composite number?
True
Suppose 5*w = d + 21, w = -0*w + d + 5. Suppose -w*l + 7*l = 279. Is l a composite number?
True
Let p(d) be the first derivative of -25*d**2/2 - d + 4. Is p(-2) composite?
True
Let i(s) = -s + 3 - 1 - 1 + 53*s**2. Suppose 3*u - 4*y + 17 = 0, 5*u + 4*y = -y + 30. Is i(u) prime?
True
Let n = -3297 - -2283. Let g = n - -2165. Is g composite?
False
Let a = 18 - 12. Let o(z) = 9*z - 8. Is o(a) a composite number?
True
Let c be (-14)/(-4) + 5/(-10). Suppose -435 = -5*l + 5*i, c*l + 261 = 6*l + 4*i. Is l composite?
True
Suppose -4*d = -16 - 8. Let k(h) be the third derivative of -h**5/60 + 2*h**4/3 - 7*h**3/6 - 12*h**2. Is k(d) a prime number?
True
Suppose 0 = 3*m - 12, i + 2*m - 168 = 5*i. Let d be ((-26)/3)/(16/216). Let t = i - d. Is t composite?
True
Suppose 0 = -19*s + 18*s + 1337. Is s a composite number?
True
Let y(d) = -5*d**3 + 9*d**2 + 6*d - 7. Is y(-6) composite?
False
Is (-8)/(-6)*3/2 a composite number?
False
Let n = 23 - 16. Suppose 11*j - n*j = 316. Is j prime?
True
Let r be (-2 - -1)/((-6)/12). Let o be ((-1)/(-3))/(r/126). Is o*(-21)/(-27)*3 a composite number?
True
Let t(a) = a**2 - a. Let u(x) = 5*x**2 + 5*x + 12. Let z(v) = -4*t(v) + u(v). Let g be z(-8). Suppose -f - g*f + 565 = 0. Is f a prime number?
True
Suppose 0 = 3*x - 2*y - 251, -2*x + 336 = 2*x - 2*y. Is x a prime number?
False
Let d be 336/30 + 1/(-5). Suppose 11 = 3*p - 4*z - d, 16 = 2*p - 4*z. Is p a composite number?
True
Suppose n + 0*n = l + 1, -l = -3*n + 3. Let v be (n - (-1 + 4)) + -1. Let k(i) = -i**3 + 2*i**2 + 3*i + 3. Is k(v) composite?
True
Let p(f) be the second derivative of 3/2*f**2 - 3*f + 0 + 23/6*f**3. Is p(4) a composite number?
True
Let w = -24 + 58. Is w - (-1)/1 - -2 prime?
True
Let s be ((-16)/(-12))/((-1)/(-3)). Suppose -4*u + 779 = 3*r, -8*u + s*u + 3*r = -749. Is u a prime number?
True
Is 19*(-1)/2*-10 a composite number?
True
Suppose -2*l = 5*h - 2, 4*l - 4 = -4*h - 0. Let k = l - -1. Suppose k*n = 3*n - 4*d - 7, -n + 13 = 2*d. Is n prime?
True
Suppose 71 = -2*