ue
Let h(m) = m**3 - 5*m**2 - 6*m - 4. Let l be h(6). Is 14 a factor of (-1)/((-10)/l) - 14348/(-170)?
True
Suppose 0 = -13*k - 169 + 936. Does 8 divide k?
False
Is 7 a factor of ((-34251)/(-932))/(0 - (-1)/4)?
True
Does 13 divide 964 + (5 - (-7 - -14))?
True
Let r(y) = 2*y + 59. Let x be r(-25). Suppose -7*f = -x*f + 98. Is f a multiple of 4?
False
Suppose -807 = 3*h + 3. Let t be (18 - 0)*24/9. Is ((-16)/t)/(2/h) a multiple of 15?
True
Does 2 divide (130/325)/((-2)/(-50))?
True
Let w(y) = 249*y**2 - y + 1. Let p be w(-1). Let g = -176 + p. Does 25 divide g?
True
Let d(q) be the first derivative of 39*q**3 - q**2 + q + 14. Is 11 a factor of d(1)?
False
Let q(w) = 13*w**2 - 7*w. Is 5 a factor of q(3)?
False
Suppose 46*o = 40*o + 6732. Is o a multiple of 34?
True
Suppose -7*z + 1254 = -314. Let i = z + -124. Is i a multiple of 25?
True
Let z = -11 + 20. Let l = z + -9. Suppose l = 6*j - 5*j - 7. Does 3 divide j?
False
Let p = -70 - -323. Is 23 a factor of p?
True
Suppose -5*h - 2*g - 62 = 1, 2*h + 21 = -5*g. Let y(c) = c**2 + c - 1. Let r(v) = 7*v**2 + 23*v - 14. Let o(q) = -r(q) + 6*y(q). Is o(h) a multiple of 20?
True
Let z(q) = -3*q + 1. Let p be z(-1). Suppose -t = 3*t - a + 4, -p*t - 4*a + 16 = 0. Suppose -6*h + 3*h + 60 = t. Does 8 divide h?
False
Let y(a) = 154*a + 2. Let k be y(1). Let z = k - 54. Is z a multiple of 10?
False
Suppose 0 = 2*i + 5*d - 12, 2*i - 4*d + 7*d - 16 = 0. Suppose 5*w - 34 = i. Is w a multiple of 9?
True
Let l(u) = -130*u + 17. Does 23 divide l(-1)?
False
Suppose -4*q + 1778 = -2*x, 70*q - 69*q + 3*x - 448 = 0. Is q a multiple of 5?
True
Suppose 3*o = -n + 23, 5*n + 3*o + 2*o - 75 = 0. Let r = -9 + 18. Let m = r + n. Is 5 a factor of m?
True
Let l(t) = t**3 - 6*t**2 - 9*t - 11. Let k(c) be the first derivative of c**2/2 - 2. Let y be k(8). Is 15 a factor of l(y)?
True
Suppose -164*r + 190*r - 43056 = 0. Is 46 a factor of r?
True
Let s be (3 + -1)/(-2) - -9. Is s/(-20) - (-186)/15 a multiple of 4?
True
Let d(q) = -q**2 + 89*q - 43. Is d(71) a multiple of 13?
True
Suppose 6*u - 2*q - 201 = u, -2*u + 2*q = -78. Suppose 21 = 4*l - 3*b, 5*l - u + 17 = 3*b. Suppose -5*m - v = -3*m - 29, l*m - 2*v - 40 = 0. Is 6 a factor of m?
False
Let h = 1 - -3. Does 14 divide (-128 + 2)/(((-8)/h)/2)?
True
Let n(x) = x**2 - 2*x + 3. Let j be n(2). Suppose 0 = -0*r - j*r - 60. Does 22 divide (94/(-4))/(10/r)?
False
Suppose 0 + 3 = -3*k, -4*w + 3409 = -k. Does 12 divide w?
True
Suppose 4*t = 2*t + 10. Suppose 2*p + 2*c = 32, t*c + 7 = -8. Is p a multiple of 5?
False
Let x(o) = -20*o - 2. Let c be x(-3). Let f = c + -45. Is f a multiple of 13?
True
Let z be (-10 + 9)/(1/(-3)). Suppose z*g - 99 - 18 = 0. Is g a multiple of 13?
True
Let v = -183 - -362. Let c = -29 + v. Is c a multiple of 30?
True
Let h(z) = -z**2 - z + 1. Let t(x) = -14*x**2 - x + 4. Let f(j) = 6*h(j) - t(j). Is f(2) a multiple of 4?
True
Suppose -s = -13 + 16. Is 29 a factor of -3*((-95 - 6) + (0 - s))?
False
Let z(x) = -2*x**3 - 9*x**2 - 13*x - 47. Is 28 a factor of z(-8)?
False
Let q(n) be the third derivative of n**4/24 + 7*n**3/6 - 2*n**2. Let c be q(-5). Let k(w) = 8*w**3 - 2*w. Is 10 a factor of k(c)?
True
Let i(c) = -c**3 + 5*c**2 - 3*c - 1. Let o be i(4). Suppose o*p + 5*l = 53, -35 = -2*p - 4*l + 1. Is p a multiple of 12?
False
Let h(v) = 3*v**2 - 10*v - 32. Is h(-5) a multiple of 7?
False
Let d = 2 - -3. Suppose -d*i = -13 - 7. Let r(g) = g**3 - 4*g**2 + 7*g - 6. Does 11 divide r(i)?
True
Suppose 94 = 3*z + z - 5*k, -5*z + 124 = -3*k. Is 14 a factor of z?
False
Suppose 3*d - 27*d = -11424. Does 28 divide d?
True
Let c(u) = 3*u**3 - 7*u**2 + 2*u - 4. Let w(f) = f**3 - f**2 + f - 1. Let m(y) = -c(y) + 4*w(y). Let s be m(-2). Does 5 divide 12/(-3) + 23 - s?
False
Let i(j) = -2*j**3 + j**2 + 16*j + 3. Does 4 divide i(-3)?
False
Suppose -6 = -3*s, -4*z + 0*z - 2*s + 52 = 0. Let f = 25 - z. Suppose -w - f = u - 43, 0 = -5*w + 3*u + 126. Is 7 a factor of w?
False
Suppose -3*k - 2 = -4*p - 7, 0 = 2*k + 5*p - 11. Suppose -y = o + k*y + 14, 0 = 5*o - 3*y - 45. Is o a multiple of 4?
False
Suppose 0 = 4*q - 16, 4*x - q + 5 = 21. Suppose c - 4*c - x*u + 64 = 0, 0 = c - 3*u - 40. Is c a multiple of 4?
True
Let u(t) = -t**3 + 15*t**2 - 16*t + 9. Does 6 divide u(7)?
False
Let a = -6 + 14. Suppose -4*b - b = k - 24, 3*k - 5*b + a = 0. Suppose k*f + 5 = 13. Is f a multiple of 2?
True
Suppose 2*w - j - 395 = 0, -2*j - 390 = 4*w - 6*w. Is 5 a factor of w?
True
Suppose 2*s - 8 = 0, -s = 3*q - 0*q - 148. Suppose 5*k - q = 7. Does 3 divide k?
False
Suppose -2*i + f = -f - 76, -5*i + f + 206 = 0. Is i a multiple of 21?
True
Let i(u) = 30*u**2 + 3*u - 3. Let d be (4/(-6))/(3/(-9)). Is i(d) a multiple of 35?
False
Suppose 4*i = -4*y - 668, -5*y + 539 - 219 = -2*i. Let k be i/(-143) - (-2)/(-13). Let v(l) = 21*l + 3. Is v(k) a multiple of 5?
False
Let f(h) be the first derivative of 5*h**2/2 + 66*h + 8. Does 3 divide f(-7)?
False
Let f(z) = 28*z**2 - 16*z + 21. Let a(t) = -7*t**2 + 4*t - 5. Let r(b) = -9*a(b) - 2*f(b). Suppose 9 = 5*m - 1. Does 7 divide r(m)?
False
Let c = 17 - 15. Let q(z) = -10*z + 4*z + c*z + 3*z + 3. Does 11 divide q(-8)?
True
Suppose 434 = 5*c - 4*d, -3*c - d = -3*d - 260. Does 2 divide c?
True
Suppose -3*g - 14 = 2*h, -4*h = -4*g + h + 12. Let o be g/(-5)*60/8. Suppose -o*m = -m - 3*q - 53, 19 = m + q. Does 9 divide m?
False
Let b be (6/(-24))/(2/8). Let r(l) = -4*l**3 + l**2 - 3*l + 1. Let i(g) = 5*g**3 - g**2 + 4*g - 2. Let o(p) = 2*i(p) + 3*r(p). Does 3 divide o(b)?
True
Is 81/(-162) + 21602/4 a multiple of 47?
False
Suppose 8*w = -b + 12*w + 1780, -5296 = -3*b + w. Is b a multiple of 7?
True
Let l(o) = -26*o + 2. Let k be l(-1). Suppose -5*m - k = -3*m. Let w = m - -37. Does 23 divide w?
True
Let m(b) = -b**2 + 10*b + 14. Let g be m(6). Let j = 40 - g. Suppose j*h + 4*u - 194 = 0, 2*u + 2*u = -h + 93. Does 18 divide h?
False
Suppose -m = -4*m. Suppose m*a = 5*a + 3*l - 19, 4*l = -4*a + 20. Suppose 124 = a*s + 26. Is s a multiple of 16?
False
Suppose 710 = 2*i + 166. Does 36 divide i?
False
Let u = -70 - -7. Let f = -7 - u. Is f a multiple of 9?
False
Let l = 1101 + -598. Is 42 a factor of l?
False
Suppose b = 5, 4*k + 0*b - b + 1 = 0. Let u(g) = 2*g**2 - g - 1. Let d be u(k). Suppose 7 = 2*a + 1, 3*f + 3*a - 294 = d. Is f a multiple of 19?
True
Let i(u) be the second derivative of 19*u**3/6 - 39*u**2/2 - 10*u. Is 5 a factor of i(6)?
True
Let f = -143 - -230. Let r = f + -48. Is 9 a factor of r?
False
Suppose 0 = 4*n - 4*y - 20, n + 3*y + 2 + 5 = 0. Let z(x) = 7*x**n + x**2 - 9*x**2 - 2 - 11*x. Does 5 divide z(-9)?
False
Let n(o) = o**2 - 7*o - 4. Let i be n(9). Is 14/(-49) + 116/i a multiple of 4?
True
Let f(p) = p**2 + 7*p - 12. Let o be f(-9). Suppose -w = -n + o, -2*w + 6*w = -2*n - 12. Suppose 0*y + 34 = n*y. Is 6 a factor of y?
False
Let j be 26/6 + 1/(-3). Let o be -2 + j/(-12)*-21. Suppose -m = -3*m + o*k + 27, -3*m + 46 = -2*k. Does 7 divide m?
False
Let r(p) = 2*p**3 - 11*p**2 + 4*p + 9. Let s be r(5). Does 4 divide (s/5)/((-8)/(-180))?
False
Let y(r) = -4*r - 7. Let q be y(-13). Let d = -55 + 35. Let k = q + d. Does 20 divide k?
False
Let y(b) = 2*b**2 + 2*b - 3. Let i be y(3). Let t = i - 11. Is (4/t)/(1/40) a multiple of 8?
True
Suppose -5*c + 2*c = 6, c - 88 = 3*s. Let l = -23 - s. Is 3 a factor of l?
False
Suppose -2 = 5*f + 13. Let r be 0 + f + (-26)/(-1). Let w = r - -37. Is w a multiple of 20?
True
Suppose 3*x + 1006 = 5*d, 0 = d + 6*x - x - 218. Does 2 divide d?
False
Suppose 5*n + 3*p - 76 - 2526 = 0, 2*n - 1037 = -5*p. Does 29 divide n?
False
Let i = 305 + -74. Suppose w = -2*p + 115, 4*p + 0*p - i = -3*w. Is 19 a factor of p?
True
Let h(y) = -y - 10. Let z be h(-12). Suppose 3*i = 3*g - 2*g - 6, -4*i = -z*g + 20. Is g a multiple of 6?
True
Let l(g) = g**2 - 3*g + 2. Let c(j) = -2*j**2 + 2*j + 3. Let r be c(3). Let k(n) = -n**2 - 10*n - 2. Let b be k(r). Is l(b) a multiple of 17?
False
Let j = 424 + 390. Does 73 divide j?
False
Let f(y) = -y**3 + 12*y**2 + 13*y + 5. Let x be f(13). Suppose -x = -5*s + 5. Does 17 divide (-6)/(-6)*(s + 71)?
False
Suppose 2*n = 4*q + 2274, 5*n - 7698 + 2073 = -2*q. Is n a multiple of 19?
False
Suppose -d + 91 = -3*r, 393 = 4*d + 2*r + 99. Suppose 2*z - 6 = -z. Suppose z*k - k = d. Does 26 divide k?
False
L