 22 divide m?
False
Suppose 0 = 3*h + 18 - 24. Let l(d) = 37*d**2 + 4*d - 6. Is 25 a factor of l(h)?
True
Let u(n) = -n + 13. Let t be u(6). Let p = t - -3. Let o(r) = 9*r - 13. Is 26 a factor of o(p)?
False
Let h be (-3)/(-9) + 861/9. Suppose h = 12*b - 10*b. Is 3 a factor of b?
True
Suppose -2*l = -2*l - l. Suppose l = 4*t + 27 - 207. Is t a multiple of 15?
True
Suppose 10 = 5*t, -t = 2*o - 4*t - 954. Does 12 divide o?
True
Let n(q) = -1440*q + 50. Is 17 a factor of n(-2)?
False
Let l = -39 + 382. Is l a multiple of 49?
True
Let s = -11 - -13. Suppose -5*a + 0*a - s*n = -60, -48 = -4*a + 5*n. Is a a multiple of 6?
True
Let q(i) = -51*i - 83. Is 7 a factor of q(-3)?
True
Let z be (3/1)/((-15)/50). Let a(j) = -2*j - 4. Is 16 a factor of a(z)?
True
Let b = 159 + -100. Is 25 a factor of 3*b + (2 - -4)/(-3)?
True
Suppose 15421 + 30275 = 24*d. Is 14 a factor of d?
True
Let z(l) = -2*l**2 + 2*l + 413. Is 30 a factor of z(0)?
False
Let g be 120/3 - (0 + 2). Does 20 divide 2*(-6)/(-3) + g?
False
Let n(w) = 3*w - 12. Let h(u) = 5*u - 25. Let q(r) = -4*h(r) + 9*n(r). Let f(z) = -z**2 + 39*z + 6. Let x be f(39). Is q(x) a multiple of 14?
False
Let w(s) = s**2 - 13*s + 22. Let i be w(11). Suppose z + 2*x + 29 - 222 = i, -4*z + 756 = 4*x. Is 37 a factor of z?
True
Let q(i) = -4*i**3 - 4*i**2 + 10*i - 6. Let w(l) = 5*l**3 + 3*l**2 - 11*l + 5. Let n(s) = -4*q(s) - 3*w(s). Let c be n(-8). Does 30 divide (15 - 17) + 50 + c?
False
Let m be 0/(2*((-6)/3 + 3)). Suppose m = 6*k - 364 - 68. Is 12 a factor of k?
True
Let z(w) = -6 - 23*w - 6 + 9. Is z(-3) a multiple of 5?
False
Suppose z - 5 + 3 = 0. Suppose z*n - 3*j = 14 + 84, -3*j - 202 = -4*n. Suppose 4*k = 2*a + 63 - 19, 4*k = -2*a + n. Is 12 a factor of k?
True
Let i be (-96)/(-40) + 2/(-5). Suppose 101 = -2*f + 3*f - 5*a, 2*f - 186 = i*a. Is f a multiple of 13?
True
Let f be ((-3)/3)/((-1)/173). Suppose -603 = -4*n + f. Does 11 divide n?
False
Let y(f) = 6 + 7 + 9*f + 2*f**2 - 21. Is y(-8) a multiple of 16?
True
Suppose -2952 = -6887*g + 6886*g. Does 36 divide g?
True
Let j = 233 + -372. Let t = -10 - j. Is t a multiple of 11?
False
Let z = 1802 + -1280. Suppose -z = -3*o - 5*p, o - 169 = 3*p + 19. Is o a multiple of 32?
False
Let d be -1 - 1/(-1) - -4. Suppose -3*c - 1 = -d*c. Does 16 divide 46/c - -1*4?
False
Let w(t) be the first derivative of t**3/3 - 2*t**2 - t + 11. Is w(8) a multiple of 11?
False
Suppose -138 = -2*b + 76. Let l be (-1295)/28 + (0 - 3/(-12)). Let a = l + b. Is a a multiple of 11?
False
Suppose 5*n - 4*a = -7*a + 19, 0 = -2*n - 3*a + 4. Let k be 0*(3 + (3 - n)). Suppose 0*h - 2*h - v + 52 = k, -3*h + 79 = v. Is 12 a factor of h?
False
Let m(u) = 16*u**2 + 16*u + 19. Let k(d) = -3*d**2 - 3*d - 4. Let b(v) = -11*k(v) - 2*m(v). Does 12 divide b(6)?
True
Let y(a) = -a**2 - a + 21. Let g = 7 + -7. Let t be y(g). Is 2/(-3) + 287/t a multiple of 5?
False
Suppose 0 = -4*u + s - 25 - 17, 29 = -3*u + 2*s. Let w(i) = 4*i**3 - 3*i**2 + 2*i - 2. Let f be w(2). Let l = f + u. Is l a multiple of 11?
True
Let a(i) = i**2 - 2*i - 10. Let z be a(-3). Suppose -4*o - 345 = -6*o - c, z = c. Is 34 a factor of o?
True
Let i(c) be the second derivative of 11/2*c**2 + 5*c + 5/6*c**4 + 0 + 4/3*c**3 + 1/20*c**5. Is 10 a factor of i(-9)?
True
Is (-2304)/(-21) + -1 + (-9)/(-7) a multiple of 10?
True
Let r(j) = j**3 - 23*j**2 - 21*j - 87. Is r(25) a multiple of 58?
True
Suppose 0 = 4*b + 4 - 24, -2*c + 1 = -3*b. Suppose -m + c = 3*m. Suppose -m*i = -81 + 3. Is i a multiple of 13?
True
Let s(m) = -4*m - 9. Let j be s(4). Let v = 70 - j. Does 16 divide v?
False
Suppose -5*t - 4*y - 5 = -39, 0 = -t + 2*y + 4. Let a be (-2)/t + 4/12. Suppose a*z = 2*z - 54. Does 14 divide z?
False
Let a be (-14)/(-77) - (-20)/11. Suppose 4 = -w - a*q + 2, 14 = 2*w - 5*q. Does 15 divide (w + 3/(-3))*29?
False
Let u be (-1 + -1)/(4/(-10)). Suppose 3*f = -5*d + 220, u*f - 404 + 74 = -d. Is 13 a factor of f?
True
Let s(w) = 54*w - 34. Let p be s(-20). Is 31 a factor of (-120)/(-54) - 2 - p/9?
True
Suppose 4*m - 5 - 3 = 0. Suppose m*q + q = 12. Suppose -2*u - 2*l + 0 + 16 = 0, q*l = -2*u + 6. Does 13 divide u?
True
Let v(j) = -23*j**3 + 13*j**2 + j - 14. Is 34 a factor of v(-6)?
False
Let z be (-2 - -1)/1 - 2. Is (6 - 2)/(z/(-21)) a multiple of 7?
True
Suppose 0 = -4*k - 7*v + 4*v - 7, k - v + 7 = 0. Is 47 a factor of (k + 7)/((-3)/(-134))?
False
Suppose 5*u - 81 = 3*y, u = -3*y - 10 + 37. Let w be (1 + 5)*(-3)/2. Let a = u + w. Is 3 a factor of a?
True
Let i = -20 + 606. Is i a multiple of 4?
False
Let n(u) = u**3 - 4*u**2 + u - 12. Is n(5) a multiple of 10?
False
Does 11 divide 26*(16 + -6) - 8/(-2)?
True
Let f(a) = a. Let y(g) = 13*g + 34. Let x(i) = 7*i + 17. Let p(z) = 7*x(z) - 4*y(z). Let b(v) = -5*f(v) - p(v). Does 15 divide b(-9)?
False
Let i be (44/(-10))/((-2)/10). Let q be (-2)/(21/9 + -3). Is (6/q - 2) + i a multiple of 14?
False
Suppose -d = 5*b - 484, -2*d + 923 = -3*b + 4*b. Does 17 divide d?
True
Let l be 119/28 + -4*3/(-16). Suppose -2*m + 2*d = -268, 2*m + 5*d - 77 - 198 = 0. Suppose 188 = 5*q - t + 53, l*q - 5*t = m. Is 27 a factor of q?
True
Suppose 6 + 18 = 2*d. Let j(y) = -2*y + 24. Let f be j(d). Suppose f*k + 540 = 5*k. Does 30 divide k?
False
Let g(w) be the second derivative of 5*w**3/2 - 2*w**2 + w. Let s be g(2). Suppose -c = -3*v, 5*v - s = -c - 2. Is 9 a factor of c?
True
Suppose 0 = -2*j + 375 + 563. Does 17 divide j?
False
Let k be 15/4*(-32)/6. Let h = 23 + k. Suppose -92 = -r - h*r. Does 16 divide r?
False
Let k be (-9)/((36/(-8))/3). Let o(m) = -m**3 + 5*m**2 + 9*m - 9. Is o(k) a multiple of 7?
False
Suppose -2*g + j = -14, 0*j = -3*j + 6. Is g a multiple of 8?
True
Suppose -5*x + 3*x - 2*w - 12 = 0, 9 = -3*w. Is 15 a factor of 13 + (-1 + x - -6)?
True
Let w be 23/(3 + 320/(-108)). Suppose 36 = -5*v + w. Is v a multiple of 31?
False
Suppose 0 = x + 4*d - 9, 0*x + 4*x - 4*d = 16. Let h(p) = 2*p - 7. Let y be h(x). Let a(s) = 2*s**3 - 2*s**2 + s + 3. Is a(y) a multiple of 14?
True
Let s = 1 + 3. Let g = 23 + -19. Suppose -4*d = -g*j + 80, -d = -2*j + s*d + 46. Does 9 divide j?
True
Suppose -6*g + 8*g - 190 = 0. Let z = g - -43. Is z a multiple of 22?
False
Let a be 2 - ((-2 - -4) + -5). Suppose 0 = -a*p + 2 + 28. Suppose 7*t - 25 = p*t. Is 19 a factor of t?
False
Is 19 a factor of 19168/56 - (-4)/14*-1?
True
Let l be (-308)/(-55) - (-3)/(-5). Suppose 0 = 2*v - l*v + 54. Suppose -v*i + 16 = -14*i. Is i even?
True
Does 18 divide ((-58110)/(-975))/((-2)/15*-3)?
False
Let r(f) = f**2 + 33*f - 34. Let d be r(-34). Suppose 152 = y - d*y. Does 19 divide y?
True
Suppose -14 = 3*j + 22. Let b = j - -17. Suppose h + 0*g + b*g = -4, -4*h = 3*g - 52. Is 8 a factor of h?
True
Suppose -5*a + 19 = -2*r, -5*a - 3*r + 7 = r. Suppose -a*t + 13 = -11. Is 12 a factor of 37 + 1 + t/(-2)?
False
Let w = 78 - 71. Let y be 2/1*(-3)/(-2). Let b = y + w. Is 3 a factor of b?
False
Let i = 4 + -2. Suppose i*m + 5*d - 31 = 0, 4*m + 2*d = -m + 46. Does 15 divide (50/m)/(4/32)?
False
Let w be ((-8)/6 - -4)*-54. Is 9 a factor of ((-10)/4)/(8/w)?
True
Let q(g) = -2*g + 12. Suppose 12 = -5*w - 33. Let y be q(w). Is y/15 + 9 + 1 a multiple of 12?
True
Suppose -25*o + 32*o - 1204 = 0. Is 5 a factor of o?
False
Let d(f) = 2*f**2 + f - 5. Let k be d(-3). Suppose -2*v = -3*m + m - k, -5*v - m = -37. Suppose -z - 98 = -4*x, 4*x + v*z - 86 = 2*z. Is 12 a factor of x?
True
Is 6/4 - (10506/(-12) + 1) a multiple of 73?
True
Let r(k) = -5*k - 16. Let m be r(-9). Suppose 4*o - l = 184, o + 0*l - m = -4*l. Is o a multiple of 11?
False
Suppose v + 5*a - 131 = 3*a, 0 = v + a - 135. Is 9 a factor of v?
False
Suppose 10287 = 3*p + 3*v, -5*p + 16287 = 3*v - 864. Does 12 divide p?
True
Let d(t) = 5*t - 35. Let y be d(8). Suppose 6*a - y*a - 126 = 0. Is 9 a factor of a?
True
Suppose 5*v - 24 + 9 = 0. Let u = 8 - 4. Suppose 0*s - 51 = -v*s - u*a, a = 0. Is s a multiple of 17?
True
Does 8 divide (96/(-20))/((-2)/120)?
True
Does 11 divide 34/((-2)/(-17 + -5))?
True
Suppose -4*s - 5*y = -1193, 4*s - 1196 = -0*s - 4*y. Is 18 a factor of s?
False
Suppose -4 = t - 8. Suppose 6*s - 216 = t*s. Is s a multiple of 36?
True
Suppose c - 417 = -3*f - 52, -c = -5*f + 595. Does 8 divide f?
True
Let z(v) = -6*v**2 + 15*v - 5. Let x(p) = -p**2 + p + 1. Let d(l) = -5*x(l) + z(