-5*h + 35. Let l(t) = 29*t**2 + 11*t - 5. Does 29 divide l(g)?
False
Suppose -2*y - 1224 - 6536 = -3*i, -2*i + 5175 = -3*y. Suppose 0 = -4*c + 5*z + i, -5*c - 155 + 3406 = 3*z. Is 11 a factor of c?
True
Let r(k) = 2*k + 40. Let p be r(-18). Suppose p*b = -5*y - 4 - 56, 9 = y + 5*b. Is 22 a factor of y/(-10) - 2 - 3860/(-25)?
True
Let j = -7107 - -13404. Is 34 a factor of j?
False
Let t = 84 + -81. Suppose 80 = 7*r - t*r. Is r a multiple of 2?
True
Is ((858/5)/(-11))/((-16)/17720) a multiple of 13?
True
Suppose 0 = -35*o + 109964 + 25661. Is o a multiple of 45?
False
Let a be -2*(2/1)/(3 - 5). Let o be a + (78 - (-2 + 2)). Suppose o = -6*b + 416. Is b a multiple of 7?
True
Suppose -304*k = -5*j - 308*k + 29905, 0 = 4*j + 5*k - 23915. Does 21 divide j?
True
Does 18 divide 4627*(-48)/112*(3 + 0 + -9)?
True
Suppose 5*h - s = 6868, -8*h - 2*s = -11*h + 4125. Is h a multiple of 34?
False
Suppose 0 = 4*r + 4*n - 432, 3*r - 5*n + 7*n - 328 = 0. Is 14 a factor of r/(-10)*(-320)/128?
True
Let y = 214 - 274. Is 1*((-21390)/y + (-2)/(-4)) a multiple of 17?
True
Let x be ((-20)/8)/(1/(-2)). Let r(h) = -h - 10 + 5*h + 4*h - x*h. Is 2 a factor of r(7)?
False
Let m = -10322 - -10677. Does 3 divide m?
False
Suppose 0 = n + 2*y + 8, 2*y = -4*n - 10 + 2. Let u(f) = f**3 - 3*f**2 + 4*f + 113. Does 12 divide u(n)?
False
Suppose 16*r + 24865 - 114939 = 28646. Does 140 divide r?
True
Let n = 735 + -732. Suppose r = -1, -n*r + 1828 = 3*x - 7*r. Does 16 divide x?
True
Suppose j - 34 = 14. Let k = 53 - j. Let h(q) = 14*q - 4. Does 22 divide h(k)?
True
Let y(b) = 60*b - 8. Let o(n) = n**3 + 12*n**2 - 12*n + 16. Let a be (-39)/6*(9 - 7). Let p be o(a). Is y(p) a multiple of 12?
False
Let m be (-1 + 2)/((-4)/(-172)). Suppose -2*k = -25 + 15. Suppose -3*w + 2*s = k - m, -2 = 2*s. Does 12 divide w?
True
Let m = 169 + -568. Let c = 705 + m. Is c a multiple of 5?
False
Let y be (-166)/(-8) - ((-63)/12 + 5). Suppose -2*d - 77 + y = -5*k, -2*k + 18 = -3*d. Is k a multiple of 4?
True
Suppose -326*k - 332*k + 665*k = 315742. Does 47 divide k?
False
Let t = 3300 + -1656. Suppose -2*o - 5*z = -t, -2*o = z - 5*z - 1680. Does 34 divide o?
False
Suppose q + 21435 = 5*a - 36277, 5*a - 5*q - 57720 = 0. Does 199 divide a?
True
Suppose 16575 + 91531 = 14*b - 13610. Does 69 divide b?
True
Suppose -2 = -13*z + 11. Let t be (15/(-45))/(z/(-15)). Suppose -3*b + 10*x - t*x + 438 = 0, 4*b - 4*x - 592 = 0. Is b a multiple of 22?
False
Let y(a) be the first derivative of a**4/4 + 3*a**3 - 13*a**2 - 14*a + 8. Suppose -1 = 41*i + 450. Does 5 divide y(i)?
True
Suppose 0 = 8*q + 30 + 34. Let w(k) = -14*k + 25. Is 49 a factor of w(q)?
False
Let i = 87 - 85. Let w(c) = 10 + 12*c**i - 34*c + 14*c + 16*c. Is w(4) a multiple of 27?
False
Suppose 0 = -9*v - 939 + 966. Let q = 824 + -519. Suppose -2*m + 311 = 3*m + v*l, 5*m = -5*l + q. Does 10 divide m?
False
Suppose -n + 114 = -76. Suppose -j = -n - 6. Suppose u - 5*u = -j. Is u a multiple of 7?
True
Does 93 divide (7/(-49))/((-1)/33299)?
False
Suppose -6*c + 5*c = -16*c + 51240. Is c a multiple of 14?
True
Suppose 0 = 5*p - 2*h - 28 - 20, 5*h + 36 = 2*p. Let w be (0 + -1 - -189)*2/p. Let y = w + -37. Is 10 a factor of y?
True
Suppose 17*q + 8 = 16*q. Let x be 4 + q/(-3 - -7). Suppose 0 = -5*w + n + 712, -x*w = -3*n + 8*n - 301. Is w a multiple of 13?
True
Suppose 5*u + 15 = 4*n - 9, -4*n + 3*u = -16. Is 2 a factor of 14/((n - -5)/3)?
False
Suppose 2*s - 2*g - 2505 = -g, 3*s = 4*g + 3770. Suppose -s = 8*f - 6218. Is f a multiple of 27?
True
Suppose 0*f + f = -2*f. Let d = 3 - f. Suppose -d*v - 4*p + 243 = 0, 0*p = p. Is v a multiple of 9?
True
Suppose 0 = 2*l - 2*z - 640, -1576 = -5*l - 20*z + 17*z. Suppose -3*d - l = -7*d - 3*b, 4*b = -4*d + 316. Is d a multiple of 16?
True
Let d be (-102)/(-12) + 3/6. Suppose 8*o - d - 15 = 0. Suppose 5*v - v + 4*c - 572 = 0, 429 = o*v - 4*c. Does 42 divide v?
False
Let j = -123 + 217. Let v(f) = -46*f**2 - 3*f + 3. Let i be v(1). Let c = j + i. Is c a multiple of 12?
True
Let a = 60384 - 40592. Is a a multiple of 186?
False
Suppose 4*b + 14 = 2*d, 0 = -d + 2*d - b - 5. Suppose d*c - 1857 = -0*p - 4*p, -2*c + 2316 = 5*p. Let o = p - 249. Is o a multiple of 37?
False
Suppose 12*y - 72 = -12. Suppose y*b = 3*f - 992 - 695, 0 = -2*f + 4*b + 1122. Is f a multiple of 57?
False
Let s = -52 - -54. Suppose 0 = 5*v - 0*q - s*q - 386, v - 2*q - 82 = 0. Suppose -i + l + v = 0, -5 = -4*i - 2*l + 275. Does 12 divide i?
True
Let u(t) = 3*t**2 - 5*t + 2. Suppose -2*v + k = -6, 3*v = 2*k + 4 + 6. Is u(v) a multiple of 2?
True
Let w = 19493 - 3054. Is w a multiple of 14?
False
Let b(m) = m**3 - 38*m**2 - 299*m + 41. Does 6 divide b(46)?
False
Suppose 5*l = -2*w - 938, -5*l - 139 - 800 = w. Let i = l - -426. Is i a multiple of 3?
False
Suppose -x + 5660 = 2*w, -2816 = -w + 32*x - 36*x. Is w a multiple of 36?
False
Let p(o) = -37*o + 224. Let t be p(8). Does 88 divide (-1)/(-9) - 76456/t?
False
Does 5 divide (1/(9/(-1014)))/(6/(-135))?
True
Let p = 22152 + -11022. Is p a multiple of 14?
True
Let h(f) = -1698*f + 842*f + 878*f + f**2 - 79 - 2*f**2. Is 13 a factor of h(15)?
True
Suppose 0 = -4*g - 58*w + 54*w + 352, w = 3*g - 272. Does 30 divide g?
True
Let m(f) = -78 - f - 37 + 13*f. Is m(20) a multiple of 13?
False
Suppose 0 = l + 4*c - 5744 + 1749, -2*l - 2*c + 8002 = 0. Suppose -3*o = 5*a - l, -5*o - 1216 + 421 = -a. Does 32 divide a?
True
Let w(h) = -h**3 - 4*h**2 + 2*h - 10. Let p be w(-7). Let m = p - 119. Suppose 5*b - 2*o - 76 = 0, 59 = 4*b + m*o - 5*o. Is b even?
True
Let v be (-74)/(-6) - (-2)/(-6). Does 5 divide (1*52/v)/((-10)/(-30))?
False
Let c = 66 + -60. Suppose 5 = c*w - 19. Suppose q + q - w = 3*x, x = 3*q - 13. Does 5 divide q?
True
Suppose 0 = 19*j - 16*j - 3288. Is j*16/68 - (-4)/34 a multiple of 10?
False
Suppose 5*k - 159865 = -3*k - 51913. Does 17 divide k?
False
Let k = 387 - 287. Suppose 97*m = k*m - 588. Is 4 a factor of m?
True
Suppose 2*l = 5*f - 4085, -f + 5*l - 325 = -1119. Suppose 0 = -8*g + 3*g, -2*g + f = -3*o. Let p = o - -420. Is 28 a factor of p?
False
Let j be 3/(((-1)/(-426))/((-11)/(-99))). Suppose -2*s + d + 140 = 0, -3*d - j = -2*s - d. Does 23 divide s?
True
Let t(k) = k**2 - 6*k - 87. Let w(j) = j**2 - 6*j - 87. Let n(i) = 5*t(i) - 4*w(i). Is n(-13) a multiple of 2?
True
Let o(v) = -28*v**2 + 3*v + 10. Let m be o(3). Let r = 127 - m. Is 10 a factor of r?
True
Suppose -3*s = -s - 10, -s = 2*w - 11. Let h be (68/8)/1 + w/6. Let y = 1 + h. Does 5 divide y?
True
Suppose -330 + 42 = -12*d. Suppose 34 = 2*m + d. Suppose m*j - 9*j - 4*k = -1004, -2*j + 487 = 5*k. Is 18 a factor of j?
False
Suppose -4*u + 75 = j - 15, -4*j = -4*u + 80. Suppose 21*p - u*p = -1147. Is p a multiple of 17?
False
Let i(j) = j**3 + 21*j**2 + j + 26. Let l be i(-21). Let r(z) = 75*z + 118. Is 29 a factor of r(l)?
True
Suppose -5*l + 10*l = 610. Let z = -18 + l. Does 3 divide z?
False
Let b(d) = 5*d**3 + d**2 - 2*d + 1. Let p be b(1). Suppose 0 = -8*y + 66*y. Suppose 0 = -p*i + 5*q + 65, -3*q + y*q + 45 = 4*i. Is 12 a factor of i?
True
Suppose 8*w - 13*w = 3*u - 45084, 2*u = 5*w - 45069. Is 13 a factor of w?
False
Suppose -6 = 3*k, 7952 = 3*f + 5*k - 3*k. Is f a multiple of 106?
False
Let n(u) = 806*u**3 - 3*u**2 - u + 8. Is n(2) a multiple of 150?
False
Let c(g) = g**2 - 7*g - 10. Let i be c(-3). Let s be -8*(-4 + 55/i). Suppose s*n - 1452 = -182. Does 23 divide n?
False
Let z be 591/6 - (-2)/4 - -3. Let y = z - -275. Suppose 217 = 6*u - y. Does 33 divide u?
True
Let n(x) = 182*x - 2. Let b be n(6). Let v be ((-6)/(-15))/(4/b). Let j = v - 73. Does 15 divide j?
False
Let w(v) = -265*v**3 + 25*v**2 + 48*v. Does 12 divide w(-2)?
True
Let o(v) = -3*v**2 + 7*v + 17. Let r be o(-5). Let s = 240 - 84. Let f = s + r. Is f a multiple of 9?
True
Let b(u) = 1092*u + 64. Does 131 divide b(18)?
False
Is 210 a factor of 14/(168/(-12))*-10327?
False
Let z(v) = -811*v - 1455. Is z(-23) a multiple of 10?
False
Let v = -626 - -4312. Does 95 divide v?
False
Let i = 64 + -31. Suppose -4696 = -41*m + i*m. Does 40 divide m?
False
Let m = 65489 + -41969. Does 20 divide m?
True
Let y = 58 + -34. Let x be ((-8)/(-32))/((-22)/y - -1). Suppose -2*j + x*j = 49. Does 33 divide j?
False
Suppose -k = 5*k - 42. Suppose k*s = 3*s + 12. Is 16/(-48) + 37/s 