ue
Suppose -14*i = -413 - 1939. Is 28 a factor of i?
True
Let u = -48 - -354. Suppose -7*x + x + u = 0. Is 14 a factor of x?
False
Let d = -29 - -31. Suppose -d*w + 0*w = 20. Let b = w - -26. Is 5 a factor of b?
False
Let j = 8 - 10. Let n(x) = x**2 + x - 4. Let q be n(0). Does 17 divide (-4)/j + q - -36?
True
Suppose -t - 18 = -4*o, o + 2*o = -5*t + 2. Suppose -o*q + k - 3 = 0, -4*k = 2*q + 11 + 13. Let b = 14 - q. Does 6 divide b?
False
Let o be 3/6 - 1/(-2). Let z be o/((2/66)/1). Does 8 divide 2 + (z - -3)/3?
False
Let g(n) be the second derivative of n**3/6 + 45*n**2 + 4*n. Does 18 divide g(0)?
True
Suppose 3*w = 6*w - 18. Let y = 18 - w. Does 3 divide y?
True
Let q be (1*-1)/((-4)/12)*7. Suppose z - q = -3*o, 0 = 5*z - z - 3*o - 84. Is 21 a factor of z?
True
Let g(k) = -2*k - 30. Let r be g(-10). Let z(h) = -h**2 + 3*h + 3. Let v be z(-3). Let c = r - v. Does 2 divide c?
False
Let b = 91 - -3. Let q = -56 + b. Does 22 divide q?
False
Let i(v) = -v**3 - 5*v**2 + 7*v + 19. Suppose -3*d - a - 26 = 0, 6*d = 3*d + a - 16. Is i(d) a multiple of 24?
False
Let w(k) = 63*k**3 + 2*k**2 + k. Let h be w(-1). Let b = h + 96. Is 7 a factor of b?
False
Let v be (-2)/7 + 7/(196/(-272)). Is 48 a factor of (-4)/(-20) + -3 + (-818)/v?
False
Let a(v) = 8*v**2 + 4*v + 3. Let n(d) = d**3 - 14*d**2 + 13*d - 2. Let i(h) = 4*h**2 - 2*h + 1. Let r be i(2). Let g be n(r). Is 18 a factor of a(g)?
False
Let s(l) be the first derivative of -5/2*l**2 - 3 + 1/3*l**3 - 5*l. Does 6 divide s(7)?
False
Let o = 74 - 22. Suppose -4*f + 2*x - 46 = 0, 0*x + 4*x - o = 4*f. Let d = 2 - f. Is 4 a factor of d?
True
Let t = 50 + -45. Suppose 0 = r - 3, 6*r - 107 = -t*q + 2*r. Is q a multiple of 19?
True
Suppose -g = 3*b - 4*g - 162, 2*g = -3*b + 167. Suppose -b = -8*q + 3*q. Let w(d) = 2*d**2 - 15*d - 13. Is 23 a factor of w(q)?
False
Suppose -5*b + 5*c = -0*c + 15, -3*b - 12 = -2*c. Let g = 21 + b. Is 7 a factor of -12*(-5)/(g/4)?
False
Let u(c) = -c**2 - 20*c - 13. Let j be u(-16). Let r = j + -20. Is 12 a factor of r?
False
Let d = -382 - -212. Let a = d - -280. Is a a multiple of 11?
True
Let q(l) = l + 15. Suppose 0 = -2*h - 5*w - 26, 3*h = -3*w - 39. Let g be q(h). Suppose j = -g*j + 60. Is j a multiple of 10?
True
Let h(n) be the third derivative of -n**6/180 + 2*n**5/15 + n**4/4 + n**3/2 + 11*n**2. Let r(x) be the first derivative of h(x). Is 9 a factor of r(5)?
True
Does 15 divide (-5 - 1)*4298/(-42)?
False
Suppose -3*f + 22 = -80. Let r = -13 + f. Is 21 a factor of r?
True
Suppose -3*c - 4*a + 16 + 342 = 0, 0 = 3*c + 2*a - 362. Suppose -26 = r - c. Does 19 divide (-3)/((-4)/r*1)?
False
Let c(u) = -17*u - 169. Is c(-40) a multiple of 73?
True
Let i be -1*2 + 17 + -15. Suppose i = -3*q - 9, -2*a + 174 = a - q. Is a a multiple of 12?
False
Suppose 3*a - 14 = 193. Let k = a + 33. Is 34 a factor of k?
True
Let r = -11 - -13. Suppose 0*p = -4*p - 20, -3*p = -r*n + 3. Is n/(-21) + 488/7 a multiple of 14?
True
Let b(r) = -20*r - 62. Does 8 divide b(-13)?
False
Let r = 84 + -65. Let a = 30 + r. Is 10 a factor of a?
False
Suppose -5*z = 3*x + 42, 0*x - x + z - 14 = 0. Does 25 divide (-514)/x - (-4)/14?
False
Let h(m) = -52*m - 18. Let o be h(4). Let i = 41 - o. Is 48 a factor of i?
False
Let z(b) = -b + 8. Let u = -22 - -16. Let a be z(u). Suppose 3*v - a = 82. Is v a multiple of 8?
True
Let f = 37 + -35. Suppose 3*w - r - 52 = 0, -3*r = 3*w - 62 + f. Is w a multiple of 18?
True
Is 13 a factor of (-1743)/(-8) + 211/1688?
False
Is -3 + 3283/17 + 4/(-34) a multiple of 24?
False
Suppose -5*i + 7648 = 2*v, i + 2*v = 3*i - 3062. Is i a multiple of 34?
True
Suppose -2062 = -n + 48*i - 47*i, -3*i - 10302 = -5*n. Is 49 a factor of n?
True
Let j(v) = -v + 17. Let f be j(15). Let g = f + 1. Does 13 divide (-4)/g*-21 - -3?
False
Let d be (-1)/1 - (-3)/3. Let m(c) = -2*c**2 - c + 51. Is m(d) a multiple of 23?
False
Let c(h) = 70*h**2 - 9*h - 105. Is c(-7) a multiple of 11?
True
Suppose -3*t + 8 = 2*w - 0*w, 4 = -4*w - t. Let n = 2 - w. Suppose 416 - 156 = n*b. Is 13 a factor of b?
True
Suppose 3*d + 4 = -5*k + 18, 3*d = 4*k + 5. Does 14 divide 87 + (1 - (0 - k))?
False
Let d(a) = 2*a - 3. Let h(l) = 3*l - 2. Let u(c) = -4*d(c) + 3*h(c). Let n be u(-6). Suppose -5*o + 28 + 37 = n. Is 3 a factor of o?
False
Let z = 222 - 209. Let f = -10 + 16. Let r = z - f. Is r a multiple of 7?
True
Suppose 600 = 4*l - 2*d - 2*d, -4*l - 6*d = -550. Is 29 a factor of l?
True
Let u be 3 + 2/(-1) + -1. Let c = u - 0. Suppose c = 8*o - 5*o - 24. Does 8 divide o?
True
Let p(g) be the third derivative of -3*g**4/8 - g**3 + 5*g**2. Let s be p(-4). Let r = 68 - s. Is r a multiple of 20?
False
Suppose 79*g - 32*g - 7379 = 0. Is g a multiple of 11?
False
Suppose -3*r - 1048 = 5*o + 103, -799 = 2*r - 3*o. Is 10 a factor of (-61 + 3 + -2)/(84/r)?
True
Suppose -4*t + 3*x + 15 = 0, 15 = -2*t + x - 4*x. Suppose r - 2*o - 232 = -t*r, r - 236 = 3*o. Is r a multiple of 32?
True
Let z(u) = u**2 - 8*u + 14. Let v be (-4)/(-12)*-3*-7. Let j be z(v). Is (-1 - -1) + 6*j a multiple of 14?
True
Does 61 divide 58 - (5/(20/(-16)) + 1)?
True
Let u(g) = 19*g**3 + g**2 + g - 2. Let c be u(2). Suppose -w + 137 + c = 0. Suppose -3*j - 3*o + 168 = 0, 117 - w = -3*j + 5*o. Is 19 a factor of j?
True
Suppose -2*o - o + 42 = 0. Let n(i) = 6*i - 35. Is 13 a factor of n(o)?
False
Suppose -l + 0*l + 5*q - 2 = 0, l - 3*q = 0. Suppose -5*a - 8 - 1 = -4*o, l*o - a = -7. Is 10 a factor of o/16 + (-121)/(-4)?
True
Let w = 1006 - 785. Is w a multiple of 4?
False
Suppose -t - 9*j + 4*j = 0, -4*t + 19 = j. Suppose -4*u + t*u = 5. Suppose -3*c + s + 4*s + 62 = 0, 5*s = u*c - 120. Does 6 divide c?
False
Let b(d) = -11*d**2 - 13. Let z be b(-4). Let a = -71 - z. Does 35 divide a?
False
Let i(u) = -u**3 - 23*u**2 + u + 86. Is i(-23) a multiple of 8?
False
Let u(q) = -2*q**3 - 12*q**2 - 13*q - 22. Let v(d) = -d**3 - d**2 + d. Let b(y) = u(y) - v(y). Is 18 a factor of b(-10)?
True
Let y = -9 - -2. Let g = y - -19. Does 17 divide 618/g - (-2)/(-4)?
True
Suppose -2*y = -q - 1149, 7*q = -5*y + 4*q + 2878. Is y a multiple of 5?
True
Suppose -4*t + 9*t = -l - 39, -l - 3*t = 29. Let b(h) = h**3 + 13*h**2 - 18*h + 18. Does 37 divide b(l)?
True
Let v be 180/22 - (-28)/(-154). Suppose 4*o - 3*g = -v + 26, 2*o + 3*g - 18 = 0. Suppose -5*t + 2*n = -10, 3*t + 0*t + 2*n = o. Does 2 divide t?
True
Suppose -8*w = -3*w + 10. Is (0 + 8)*(w + 4) a multiple of 4?
True
Let y = 263 + -135. Let j = y - 120. Is j a multiple of 6?
False
Suppose 5*u = 4*y - 13, u + 8 = 3*y + 1. Is 15 a factor of ((-3)/(15/2))/(y/(-1390))?
False
Suppose 7*l - 2*l - 5 = -5*m, 2*m - 3*l + 3 = 0. Suppose m = -2*x + 5*b + 235, b - 15 = 4*b. Is 35 a factor of x?
True
Suppose -2698 = -4*x + 5*n, -2*x - 259 = -4*n - 1611. Does 4 divide x?
True
Let q be 52 - (-3)/(-12)*4. Let m = q + -33. Is (20/(-6))/((-4)/m) a multiple of 3?
True
Let o(d) = -66*d - 8. Suppose -2*i - y = -0*i, -16 = 2*i - 3*y. Is o(i) a multiple of 31?
True
Let f(o) = -o**3 + o**2 - o - 1. Let g(u) = 70*u**3 - 4*u**2 + 5*u + 3. Let i(j) = 4*f(j) + g(j). Does 17 divide i(1)?
False
Let b be ((-14)/3)/(1/(-3)). Suppose 0 = -5*i + j - 49, 10*i - 2*j = 7*i - 35. Let c = i + b. Does 4 divide c?
False
Let i(f) = -117*f**3 - 18*f**2 + 116*f**3 - 10*f + 15 + 6. Is i(-18) a multiple of 31?
False
Suppose q - 6*q = -15. Suppose q*g = 5*n - 60, -5*n + 5*g = -n - 61. Is n a multiple of 5?
False
Let f(o) = -9*o**3 + 3*o**2 - 4*o + 5. Let p(g) = 9*g**3 - 4*g**2 + 5*g - 6. Let v(a) = -5*f(a) - 4*p(a). Suppose -4*y = -1 - 3. Is v(y) a multiple of 9?
True
Suppose 5*t - 4*t - 2*l - 176 = 0, 0 = 5*l + 10. Suppose -67 + t = 7*z. Is z a multiple of 3?
True
Suppose o - 1531 = 653. Is 28 a factor of o?
True
Let a = -3 + 2. Let z(x) = -89*x + 3. Let p(n) = 2*n - 1. Let o(d) = 4*p(d) + z(d). Does 23 divide o(a)?
False
Let r be 8 + 1 - (-6)/6. Suppose 4*y = 2*y + r. Suppose 0 = x - 5, 113 = y*m - 2*x - 27. Does 20 divide m?
False
Let n(u) = 24*u**2 - u - 2. Let d be n(-1). Let l = d - -27. Is l a multiple of 16?
False
Let v = -596 + 742. Does 2 divide v?
True
Let u = 3 - -6. Suppose 40 = 4*d - u*d. Let c(r) = r**3 + 8*r**2 - 5*r + 4. Is c(d) a multiple of 12?
False
Let v = 18 + -16. Suppose v*t - 10 = u + 2*u, 2*u = -t - 2. Suppose -y + 2*y = -t*s + 58, -5*y = -s - 25