 5*i = -v - 23. Let h be (-58)/10 + v/15. Does 15 divide (-2)/(4/h) + 71?
False
Let h(l) = l**3 + 36*l**2 + 17*l + 35. Is 17 a factor of h(-15)?
True
Suppose 23 = -4*l + 31. Suppose -a - 2*t = -37, 0 = -2*a - l*t + 31 + 43. Is 2 a factor of a?
False
Let f(v) = v**2 - 8*v + 7. Let h be f(6). Let g(b) = -b**3 - 6*b**2 - 3*b + 14. Let c be g(-6). Let y = h + c. Is y a multiple of 9?
True
Let p be 2/10 - 12/(-15). Let j be p + 2 - 3*3. Is 2 a factor of (72/40)/(j/(-20))?
True
Suppose -s + 0*s + 5*v = -5, -15 = -3*s + v. Suppose 3*b + s*r = b + 12, -2*b + 2*r + 12 = 0. Is 2 a factor of b?
True
Suppose -714 = -90*h + 88*h. Is 28 a factor of h?
False
Let h(t) = -5*t + 3*t**2 + 11*t - 3*t - 3 - 1. Is h(7) a multiple of 41?
True
Let w(u) = 14*u - 19. Let t be w(-9). Is (12/(-30))/(2/t) a multiple of 9?
False
Let b be (3/(-2))/((-6)/12). Let z = -77 - -77. Suppose z*p - 42 = -b*p. Does 7 divide p?
True
Suppose -t + 95 + 481 = 2*g, 5*t - 2856 = -2*g. Is t a multiple of 95?
True
Let k = 22 - 20. Suppose 0*r = -k*r - 12. Let w = 0 - r. Is 6 a factor of w?
True
Let m be (2/(-4))/(5*(-6)/(-1680)). Is (m/(-10) - -2)/((-4)/(-40)) a multiple of 6?
True
Let h(o) be the second derivative of 5*o**4/6 - o**2/2 - 15*o. Is 3 a factor of h(-1)?
True
Let b be (-5)/3*198/(-55). Suppose 21 = 4*r - g, b*g + 4 = -4*r + 2*g. Suppose -5*m + 4*n + 129 = 0, 0 = 5*m - 10*m - r*n + 121. Is m a multiple of 3?
False
Let a(l) = 30*l - 11. Suppose 8*b - 11*b = -24. Is 15 a factor of a(b)?
False
Let v = -5 - -8. Let t = -82 + 126. Suppose 0*p + 136 = v*k - 4*p, -k + 2*p + t = 0. Is k a multiple of 16?
True
Let v = 94 + -97. Is 1 + v + 6 + 111 a multiple of 15?
False
Suppose 6702 = 8*k - 5*k. Is k a multiple of 17?
False
Let q(u) = -5*u**3 - 9*u**2 + 2*u - 3. Does 7 divide q(-4)?
False
Is (3 + 45/(-12))/((-1)/240) a multiple of 15?
True
Let c be 132/14 + 4/7. Suppose -c*u + 9*u = -115. Does 12 divide u?
False
Suppose -h - 1708 = -4*l - 3*h, 4*h = -3*l + 1271. Suppose l = 5*t + 44. Is t a multiple of 14?
False
Let k(n) = 10*n**2 + 4*n - 2. Let m be k(3). Suppose -m = -a - 29. Is 17 a factor of a?
False
Suppose -3*i = -3*v + 35 - 176, 4*i - 195 = -3*v. Is 6 a factor of i?
True
Let i be (-15)/(-5) + 6 + -4. Suppose 0 = -i*t, -2*a - 3*t = -7*t - 52. Does 13 divide a?
True
Suppose 0 = -w + 6*w. Suppose -5*c + 40 + 50 = w. Let d = c - -30. Does 16 divide d?
True
Suppose -9*z + 2*z + 441 = 0. Suppose 4*t + 11 - z = -4*h, -85 = -5*t + 5*h. Does 3 divide t?
True
Let s = -9 + -1. Let r(v) be the third derivative of -v**4/12 - 5*v**3/2 + 2*v**2. Is r(s) even?
False
Suppose -d = 2*d - t - 11, -d = 3*t - 7. Suppose d*m - 2*m - 30 = 0. Let q = m - -70. Does 17 divide q?
True
Let s be 129/(-5) + (-1)/5. Let v = s + 24. Let z(o) = -o**3 + o**2 - 2*o - 1. Does 5 divide z(v)?
True
Let p be 22 + -13 - (-4)/2. Suppose -p*g + 360 = -7*g. Is 13 a factor of g?
False
Let i(d) = d**2 - 12*d - 10. Let z be i(13). Let x = 21 + -19. Suppose -5*g + x*h = h - 75, z*h = -2*g + 13. Does 14 divide g?
True
Let c be (-376)/(-2)*(-8)/(-8). Suppose -5*y - 23 = -c. Is y a multiple of 16?
False
Suppose 2*f - 10 = 3*l, 0 = 3*f - f + 5*l - 10. Let a(h) = -5*h**2 + 8*h - 16. Let s(v) = -6*v**2 + 8*v - 17. Let w(t) = 5*a(t) - 4*s(t). Does 3 divide w(f)?
True
Suppose 30*o = f + 33*o - 65, 5*o = 4*f - 345. Does 25 divide f?
False
Let o = -280 + 2405. Does 25 divide o?
True
Let l(x) = x**2 + 2*x + 34. Let p be l(0). Let t = 8 - 6. Suppose 3*y - 45 = 3*c, 0*c = 2*y + t*c - p. Is y a multiple of 16?
True
Let w be -1*(-1 + 0) - -4. Suppose 2*v + 7 = -w. Does 13 divide -8*-1*(-27)/v?
False
Let c(n) = n**3 + 16*n**2 + 22*n + 1. Let i be c(-11). Suppose m = -1, 6*m + i = 4*x + 2*m. Is 9 a factor of x?
True
Suppose -108 = 6*n - 2292. Is 14 a factor of n?
True
Let z(r) = -2*r**2 + 119*r + 76. Is 31 a factor of z(24)?
False
Suppose 3*q + h + 3*h - 506 = 0, -2*q + 2*h + 328 = 0. Is 46 a factor of q?
False
Let h = 22 - 54. Suppose -o - 2*o = -189. Let j = h + o. Is j a multiple of 11?
False
Let c be (-1)/((-4)/460) - 2/(-2). Let f = c + -22. Does 14 divide f?
False
Suppose -13*o - 124 = 318. Let q = o + 66. Is 32 a factor of q?
True
Let g be -11 - (-3 + (-1 - 4/(-4))). Does 33 divide 2/g + 2379/12?
True
Let s be 1/3 + (-88)/(-6). Suppose 910 = -2*k + s*k. Is k a multiple of 7?
True
Is 11 a factor of (77088/168)/(4/14)?
True
Suppose 57*f - 28800 = 9*f. Is 5 a factor of f?
True
Is 12 a factor of (-1)/2*(-46530)/45?
False
Let k be -2*((-15)/2)/5. Suppose 0 = -2*q + 5 + k. Suppose 0 = -q*p - 37 + 149. Does 7 divide p?
True
Does 3 divide 33/121 - (-5934)/22?
True
Let q(y) = -11*y + 3. Let z be q(8). Let w = z - -219. Does 17 divide w?
False
Let l = -129 + 219. Is 18 a factor of l?
True
Let j = 0 + 0. Suppose -4*w = -5*t + 8, -t + j*t - 4*w + 16 = 0. Suppose t*p + 2*g - 14 = 0, -g = 5*p + 3*g - 16. Is 4 a factor of p?
True
Let l(p) = -2 - 3*p + 3 - 11*p - 4. Let q be l(3). Let j = 106 + q. Is j a multiple of 26?
False
Let j(l) = -13*l + 180. Is j(-25) a multiple of 81?
False
Suppose 6*k + 74 - 368 = 0. Suppose -11*m + 10*m = -k. Is 11 a factor of m?
False
Let o = 19 + 20. Suppose h + o = 1. Let t = 74 + h. Does 16 divide t?
False
Let p = -196 - -288. Does 6 divide p?
False
Let c = -45 - -75. Suppose 6*o + c = 72. Is o a multiple of 4?
False
Let s be (40/25)/1*25. Suppose -s = 6*m - 178. Is m even?
False
Let i = -7 + 9. Suppose 0*g - i*z + 74 = 4*g, -4*g + 3*z + 49 = 0. Let q = g + 1. Is 6 a factor of q?
False
Let h be -2 - 4/((-16)/20). Suppose h = c - 6. Is 574/10 + c/15 a multiple of 18?
False
Is 3 a factor of 12/(-54) + (4256/36 - 1)?
True
Let z be 10/25*(-1 + 11). Suppose -z*h + 0*h = -220. Suppose o - h = -2*m, 0 = -4*m + 3*o + 2*o + 117. Does 12 divide m?
False
Is 42 a factor of (-105)/840*(-1 + -6855)?
False
Suppose r - 2*r = 9. Let h = r - -15. Suppose g = 4*y - 0 + h, -2*y - 28 = -3*g. Is g even?
True
Let i be (16/(-12) + 3)/(2/(-12)). Does 15 divide (-120)/(-14)*((-12)/4 - i)?
True
Let w = 641 + -240. Is 9 a factor of w?
False
Let h(c) = -c. Let o be h(-4). Suppose o*a = -0*a. Is -2 - -2 - (a + -30) a multiple of 10?
True
Suppose -2*a = 4*g - 68, 5*a = -g + 37 - 2. Suppose -11*r + g*r = 108. Is 7 a factor of r?
False
Let b be (-4)/14 - 69/(-21). Let z be (8/(-3))/(-2)*b. Does 16 divide 32 + 1 + (3 - z)?
True
Suppose 173 = 4*t + 2*k - 75, -57 = -t - 3*k. Suppose 14*x = 17*x - t. Is 7/x + (-17)/(-3) a multiple of 4?
False
Suppose 0 = -p + 210 + 258. Is 36 a factor of p?
True
Suppose 5*h + 40 = 9*h. Suppose -4*b - h = 5*a - 88, b - 3*a = 28. Is b/6 - 4/6 a multiple of 3?
True
Let o(b) = -b**3 + 15 + 7*b**2 + 1484*b - 1491*b + 2*b**2. Does 10 divide o(6)?
False
Suppose 5*b - 2458 = -4*v + 3945, -3*v + 1274 = b. Is b a multiple of 34?
False
Let k(i) = 4*i**2. Let j be k(1). Let y be 33 - (-12)/(j + 0). Let g = y + -28. Is 8 a factor of g?
True
Suppose -4*b - 4 = 0, 5*p - 2*b - 51 - 1 = 0. Let h = p - -4. Suppose -12*c + h*c - 18 = 0. Does 3 divide c?
True
Suppose -4*c - c = -25. Suppose -3 = c*j - 4*j. Does 24 divide 142/4 - j/6?
False
Let y(l) = 36*l**2 - 3*l + 1. Let d(x) = -x**3 + 14*x**2 - 12*x - 12. Let r be d(13). Is y(r) a multiple of 10?
False
Suppose 0 = 4*f - 12, -a - 5*f + 15 = a. Suppose -5*m + 540 - 105 = a. Is m a multiple of 16?
False
Let o = 369 + 2997. Is o a multiple of 84?
False
Let f = 636 - 613. Is 3 a factor of f?
False
Let k = -397 - -141. Is 18 a factor of 33/(-6*(-4)/k*-4)?
False
Suppose -2 = -3*j - 5*v, -2*j + 16 = 2*j + 4*v. Suppose j*q - 4*q - 630 = 0. Is 9 a factor of q?
True
Suppose 2617 = 2*u - 5*s, 2*s - 246 - 1076 = -u. Does 28 divide u?
True
Suppose -45*f + 38839 = -122441. Does 16 divide f?
True
Suppose 131*k + 404 = 133*k. Does 11 divide k?
False
Let w = -5 - -7. Suppose 3*i - 4*y = -14, w*y = 3*i - 3*y + 19. Is -2 - 29/i*-2 a multiple of 9?
True
Let p(o) = 183*o + 24. Is p(2) a multiple of 26?
True
Let k = 76 + -80. Is 8 a factor of -2 + (-5)/((-1)/(6 + k))?
True
Let z(c) = -6*c - 10. Let n(m) be the first derivative of -5*m**2/2 + 8*m - 2. Let y be n(3). Does 16 divide z(y)?
True
Suppose 0 = -5*w - h - 1020, -11 - 9 = 4*h. Let y(v) = -v**3 - 5*v**2 + 2*v - 4. Let u be y(-4). Is 4 a factor of w/u + 1/(-4)?
False
Does 10 divide (2920/25 - 4)/((-1)/(-5))?
False
Suppose m + 28 = 34. Let w(g) = -g**2 + 7