ird derivative of -7*o**4/6 + o**3/6 - o**2. Let l be (-10)/55 - (-31)/(-11). Is f(l) composite?
True
Let x(u) = -u**3 - 7*u**2 + 6*u + 1. Let i be x(-5). Is i/((-1 - 0)*1) a composite number?
False
Suppose -4*g - 2070 = -506. Let s = 602 + g. Suppose 0 = 4*k - 8, 2*z - 2*k - s = -57. Is z a composite number?
False
Let d(h) = -h**3 + 7*h**2 - h - 2. Let g be d(7). Let k = 0 + -2. Is 2 - (g + (-2)/k) prime?
False
Suppose -n + 0*n = -89. Is n prime?
True
Suppose 0 = -5*s + 3*l + 37 - 101, 0 = 4*l + 8. Is 425/2 + 21/s a prime number?
True
Is (-6 - -88)/((-2)/(-11)) prime?
False
Let j(k) = 2*k**2 + 15*k - 14. Is j(-15) composite?
False
Let b = 17 - 12. Suppose b*l - 71 = 124. Is l a prime number?
False
Suppose 4*h + 372 = 4*b - 2420, -5*h + 680 = b. Is b composite?
True
Let p(t) = -t**2 - 10*t + 16. Let j be p(-11). Suppose j*i = i. Suppose 2*v = -i*v + 14. Is v a prime number?
True
Let z(j) = -4*j**2 + 9. Let r be z(7). Let c = r - -606. Is c prime?
True
Let o(a) = 4*a - 13. Let i(y) = 2*y - 1 - 1 - 4. Let d(g) = 7*i(g) - 3*o(g). Is d(3) composite?
False
Let z(b) = -3*b - 6. Suppose 4*r + 19 = -3*v - 16, -v = -r. Is z(r) a prime number?
False
Let w(t) = 7*t - 89. Let n(u) = 20*u - 266. Let a(r) = -6*n(r) + 17*w(r). Is a(0) a prime number?
True
Suppose 2*x + x - 27 = -4*f, -1 = -2*x + 3*f. Suppose -2*z - 4*m = -14, -x*z - m = m - 11. Let i = 22 + z. Is i prime?
True
Let j = -64 + 101. Is j prime?
True
Let t(b) be the third derivative of -9*b**6/40 - b**5/30 - b**4/6 - 5*b**3/6 + 6*b**2. Is t(-2) composite?
False
Let x(c) = -c**2 - c + 2. Let n be (8/10)/((-4)/(-10)). Let g be x(n). Is g/(0 - 2/7) a prime number?
False
Suppose 2 = -5*y - 4*a - 0, 0 = -3*y - 4*a + 2. Let n be 1/(y*(-1)/6). Suppose -18 + n = -u. Is u composite?
True
Suppose 4*m - 17 = 3. Let y = 10 - m. Suppose j + 0*b = 2*b + 18, 0 = -y*b - 10. Is j a composite number?
True
Suppose -440 - 194 = -2*m. Suppose -4*w + 274 = 2*h, -m = -4*w + 2*h - 23. Is w composite?
False
Let t(r) = -3*r**3 - r**2 + 2*r - 4. Let d be t(-3). Let o = d + -29. Is o prime?
False
Let s = -6 + 18. Is 219 + 3/(s/16) composite?
False
Suppose b + b = 340. Suppose b = -3*o + 599. Is o composite?
True
Let r(w) be the second derivative of -17*w**4/6 - w**3/3 - w**2/2 - 3*w. Let i be r(-1). Let x = -20 - i. Is x composite?
False
Suppose -8*j + 2*j + 762 = 0. Is j composite?
False
Is (-4)/7 + (-46818)/(-126) a composite number?
True
Is (-3025)/(-15) - (-4)/(-6) a prime number?
False
Let g = 4523 + -2328. Is g composite?
True
Suppose 0 = -3*u + 29 + 133. Suppose 4*o - 3*o - 3 = 0, 2*o + u = -5*i. Let t = i - -49. Is t prime?
True
Let p = -11 + 12. Suppose 0*r - 4*u = r - 3, r + p = -5*u. Is r a prime number?
True
Suppose 9*y = 4*y + 5605. Suppose 6 - y = 5*k. Let n = k - -384. Is n a prime number?
False
Suppose -5*m + 6*b - 23 = 3*b, 0 = -3*m + 3*b - 9. Let j be (2/(-4))/(2/(-56)). Let x = j + m. Is x composite?
False
Suppose 3 = 4*k + 5*r, 4*r - 3*r + 5 = 2*k. Suppose w = -5, 80 = -k*o - 4*w + 328. Is o composite?
True
Let x(f) = -f**3 + 6*f**2 + f. Let r be x(5). Let j = r - 4. Suppose j = l + l. Is l a prime number?
True
Suppose -i - 12 = -5*i, 4*b = -5*i + 7. Is 36 + (b - (-2 - -3)) composite?
True
Suppose -5*w = -7*w + 116. Is w a prime number?
False
Suppose -4*q - n - 3*n = -404, 3 = n. Suppose -3*c = 2*o - 1 - 62, 0 = 2*o - 4*c - q. Is o a prime number?
False
Let q(x) = -x**3 - 3*x**2 - 6*x + 2. Let i(t) = 2*t**3 + 5*t**2 + 13*t - 3. Let o(a) = 2*i(a) + 5*q(a). Let r be o(-4). Let p = 19 - r. Is p a composite number?
True
Let o(c) = 55*c + 7. Let b(q) = -2*q - 6. Let m be b(-5). Suppose 2*u + m*z = -4, -3*u = -2*z - 0*z - 26. Is o(u) a composite number?
False
Let v(h) = -787*h. Suppose 3 = 3*l + 6. Is v(l) prime?
True
Let r = -1 - 25. Let t be (r/3)/((-2)/6). Is t*(-2 + (-15)/(-6)) a prime number?
True
Suppose -2*k = -4*w - 20, 0*k = 4*w + k + 14. Let h = -37 - -22. Let o = w - h. Is o prime?
True
Suppose -v - 377 + 1242 = 0. Is v a prime number?
False
Suppose 1654 = -4*l - 2*d, -5*l - 3*d - d = 2069. Let i = l - -590. Is i a prime number?
False
Let c(q) = -2*q**3 - 7*q**2 + 3*q + 10. Let r(t) = -t - 2. Let i be r(5). Let z be c(i). Suppose -5*b = -b - z. Is b a composite number?
False
Is (63/(-12) - 2)*-28 a prime number?
False
Suppose -o = 4*g - 6*o - 4662, -5*g = -4*o - 5823. Is g a composite number?
False
Suppose -j - 85 = -2*j. Is j composite?
True
Let h(d) = d**3 - 3*d**2 - 4*d + 5. Let f be h(4). Suppose 0*s + s = -f*x - 24, 4*s = -3*x - 28. Let w(p) = -2*p**3 - p - 3. Is w(x) a composite number?
True
Suppose -3*b - q = -5*b + 12, -16 = -3*b + q. Let t be 2/(-5) + 34/10. Suppose -9 = -3*o - t*p + p, -p = -b*o + 12. Is o a composite number?
False
Suppose -3*n + 25 = -5*t, n + n - 10 = 0. Let y be 2/(2/t) + 7. Suppose 5 = 5*f + 25, 3*f = -y*g + 183. Is g a composite number?
True
Let g(h) be the second derivative of 3*h**5/20 - h**4/3 + 5*h**3/6 + 7*h**2/2 - 3*h. Is g(5) a composite number?
False
Let z(m) = 4*m**2 + 2*m - 7. Is z(7) prime?
False
Let w(g) = g**3 + g**2 + 91. Is w(0) a prime number?
False
Suppose -3*n - 1375 = -211. Let b = n + 628. Suppose 3*d = -5*v + b, -4*v - 3*d + 184 = d. Is v prime?
False
Let p(i) = i**2 - 7*i + 4. Let c be p(7). Suppose 0 = 2*u - a + 4*a - 18, -3*a + 24 = c*u. Is ((-25)/3)/((-1)/u) prime?
False
Suppose -3*t = m - 26, 5*m + 14 = 39. Let w(j) = 6*j - 7. Is w(t) prime?
False
Let c(o) = 122*o**2 - 10*o - 3. Let g = -10 + 8. Let u(j) = -41*j**2 + 3*j + 1. Let z(i) = g*c(i) - 7*u(i). Is z(-1) prime?
True
Let q = -66 - -485. Is q a prime number?
True
Suppose 0 = -2*q + 9*q - 322. Is q a prime number?
False
Let g be (-5)/(-2)*2/1. Suppose g*r = y - 354 + 992, 0 = -3*y - 9. Is r a prime number?
True
Is (-9)/(-15) - 92/(-5) a composite number?
False
Suppose -2*x = -5*x. Suppose -3*n - m = -2*n - 4, x = n + 3*m - 8. Suppose 3*u - 22 = a + 20, -n*a + 36 = 2*u. Is u prime?
False
Suppose -2*i + 15 = -5*d, -4*i + 5 = -2*d - 1. Suppose i*r + 4*r = 0. Suppose -2*j = -r - 6. Is j a prime number?
True
Let r(h) = h**2 + 7*h + 7. Let b be r(-8). Suppose -d + 17 = 5*u - 4, 0 = 3*d + 3*u - b. Is 10/((0 - -1)/d) composite?
True
Let t be 1/(-2) - 57/6. Is (282/t)/((-2)/10) a composite number?
True
Let j(g) = 115*g**2 + 11*g + 5. Is j(4) a prime number?
True
Let n(g) = -g**2 + 11*g - 9. Is n(7) a prime number?
True
Let d be 10 + (-1 - 1) - 3. Let f be (4 + -2)/(2 - 1). Let l = d - f. Is l composite?
False
Suppose -f + 2*p + 9 = 0, 3*f - 4*p = -p + 33. Let a = -6 + f. Suppose -2*g + a*g = 455. Is g a composite number?
True
Is 19726/98 - (-4)/(-14) a composite number?
True
Let u(b) = 97*b + 6. Let f(p) = 32*p + 2. Let x(m) = -8*f(m) + 3*u(m). Is x(5) prime?
False
Let b = 5 + -3. Suppose b*p - p = 131. Is p composite?
False
Is 1814*((-39)/(-6) - 5) composite?
True
Let w(n) = n**2 + 5*n + 4. Let i be w(-3). Let m(q) = -25*q**3 + 2*q**2 - 2*q - 1. Is m(i) a composite number?
False
Let j = -10 - -15. Suppose 4*a = -4*b + b + 150, -a = j*b - 29. Is a a prime number?
False
Let g(w) = w**2 + 4*w + 5. Let i be 5/(((-1)/3)/(-1)). Let r be (-2)/(-8) + i/4. Is g(r) composite?
False
Suppose 4*w - 33 = 203. Is w prime?
True
Suppose 36 = 2*b - 4. Let r be ((-8)/b)/((-2)/10). Suppose 0 = -r*j - 2*j + 676. Is j composite?
True
Let n = 7 - 3. Suppose n*j + 0*j - 48 = 0. Is (38/(-6))/((-2)/j) a prime number?
False
Let h = 156 - 93. Let m = 2 + h. Is m prime?
False
Suppose -2*q + 535 + 3 = 0. Is q a prime number?
True
Suppose -4*p + 140 = -4. Suppose 4*h - 96 - p = 0. Is h a prime number?
False
Let a = -20 - -14. Let w(r) = -r. Let d be w(a). Suppose d*c - 3*c - 447 = 0. Is c composite?
False
Suppose 5*o = -15, 3*o - 173 = -4*g - 2*o. Suppose -834 = -4*z + 2*c, z = -z - 5*c + 387. Let h = z - g. Is h prime?
False
Let d(l) = -4*l**3 + 10*l**2 + 18*l + 12. Let h(o) = 7*o**3 - 20*o**2 - 35*o - 25. Let z(a) = -5*d(a) - 3*h(a). Is z(11) a prime number?
True
Let l(n) = 3*n + 1. Let g be l(1). Suppose -g*k + 9*k = 30. Suppose -3*b = 2*s - k*b - 33, 3*s + b - 66 = 0. Is s composite?
True
Let t(j) = 2*j - 5. Let d be t(4). Suppose 37 - 3 = d*l + 4*w, -4*w - 8 = -4*l. Let z(p) = p**3 - 5*p**2 - 4*p + 7. Is z(l) a composite number?
False
Let h = -4 - -4. Suppose h = -2*n + 5*n - 180. Let l = -34 + n. Is l prime?
False
