 multiple of 60?
False
Let r be (10/3)/(18/(-864)). Let i be (5/(-1))/1*r/(-25). Let y = i + 59. Does 9 divide y?
True
Let l be 16/96 - 197/(-6). Suppose 2*n - 4*d + 100 = 6*n, n - 3*d - l = 0. Suppose -35 = -32*u + n*u. Is u a multiple of 2?
False
Suppose 0 = -5*j + 5*c + 80 + 230, 0 = 3*j - c - 176. Suppose 0*y = -5*y - 4*q + 125, -2*y = 3*q - j. Is y a multiple of 3?
True
Let h be (-1)/(-4) + 5337/12. Suppose -b + h = 364. Does 27 divide b?
True
Let c(j) = j**3 + 13*j**2 + 11*j + 3. Let z be c(-10). Let d = -58 + z. Does 15 divide d?
True
Let d = -21 - -26. Suppose -1040 = -3*z + h, -d*z = 3*h + 407 - 2117. Suppose z = -31*x + 36*x. Is x a multiple of 9?
False
Suppose 2265 = 6*s - s + 3*i, s = 4*i + 476. Suppose 5*n = -3*n + s. Let x = 86 - n. Is 14 a factor of x?
False
Let c = -73 - -73. Let u be 1/((c + 4)/20). Suppose -u*d + 478 = -3*d. Is d a multiple of 19?
False
Let j = 14457 + -8137. Is 79 a factor of j?
True
Let w = 43722 - 28926. Does 31 divide w?
False
Suppose -4*x + 307278 + 115814 = 15*x. Does 169 divide x?
False
Let m(q) = -4*q - 3*q + 56 + 3*q + 5*q. Let d be m(-22). Suppose -d = -4*p + 250. Does 24 divide p?
False
Suppose -5*t + 4*s + 8761 = 0, 3*t + 45*s = 47*s + 5257. Does 14 divide t?
False
Suppose -5*p + 5*u = 34541 - 241356, -u = p - 41373. Is p a multiple of 127?
False
Suppose 204 = g + 3407*a - 3404*a, 5*a + 397 = 2*g. Is 2 a factor of g?
False
Let z(j) = -2233*j - 7037. Is z(-9) a multiple of 155?
False
Let m = -4 - 67. Let o = 51 + m. Let f(a) = a**3 + 19*a**2 - 28*a + 8. Is f(o) a multiple of 24?
True
Let i(k) be the third derivative of k**5/15 - 7*k**4/24 - 37*k**3/6 - 43*k**2. Is i(9) a multiple of 16?
True
Let z = 526 - 364. Let i = z + 144. Does 24 divide i?
False
Let n be (-770)/(-18) + (-68)/(-306). Suppose -3 = -t + n. Does 46 divide t?
True
Let u(g) = -266*g**3 - 3*g**2 + 2*g + 5. Let w be u(-2). Suppose 25*z = w + 1783. Is z a multiple of 26?
True
Let v(z) = -160*z + 8979. Does 2 divide v(0)?
False
Is 33816/30*(58/4 - (11 - 4)) a multiple of 72?
False
Let i be (6/9)/(8/12). Let x = -118 + 120. Is 47 a factor of 235 + (2/x - i)?
True
Suppose 2470304 = 164*r + 339780. Is r a multiple of 11?
True
Let g(d) = 35*d**2 + 8*d - 2. Let h be g(-4). Suppose 3764 = 22*r - h. Is r a multiple of 15?
True
Let z(j) = -141*j - 85*j - 9 - 9*j**2 + 213*j + j**3. Let y = -20 + 31. Is z(y) a multiple of 10?
True
Suppose -3*p + 5*f = -10, 4*p + 5 = 4*f - f. Let a be 2*2*(-1 - -2). Is 10 a factor of a - (p - (133 - 4))?
False
Let l(p) = p**3 + 22*p**2 - p - 65. Let k be l(-21). Suppose 3*v + 46 = k. Is 26 a factor of v?
False
Let n = 5126 - -154. Is 22 a factor of n?
True
Suppose 20 = 5*k, -2*g + 93214 = 3*k + 3*k. Does 64 divide g?
False
Let t(f) = -f**3 + f**2 - 7*f + 3276. Does 42 divide t(0)?
True
Let p be (-200)/6*-42*5/(-20). Let x = -254 - p. Does 6 divide x?
True
Suppose 4*f + 1850 = a - 182, -3*f = -12. Is a a multiple of 64?
True
Let m = -4527 + 5910. Does 94 divide m?
False
Let k = 11329 - 3816. Is k a multiple of 93?
False
Let y be (-1 - (-451)/(-4)) + (-45)/(-60). Let w = y - -309. Is w a multiple of 14?
True
Let m(v) = -99*v - 1. Let n(f) = -33*f**3 - 2*f**2 + 4*f - 2. Let t be n(1). Let w = -34 - t. Is 14 a factor of m(w)?
True
Let l = -4954 + 7082. Is l a multiple of 5?
False
Let s = -33 - -27. Let v = s - -8. Suppose 0*l = v*l - 40. Is l a multiple of 4?
True
Does 25 divide 145941/135 + 94/(-2115)?
False
Suppose -f = -6*f - 4*m + 154648, -2*f + 61888 = -2*m. Does 10 divide f?
False
Let i be (-333)/(-185)*(-20)/6. Is 6 a factor of (55 - 3) + i/10*-5?
False
Does 20 divide (-2 + -14 - -9) + 202*14?
False
Suppose 115139 + 17723 = 102*b - 468224. Is b a multiple of 7?
False
Suppose -5*i = -5*r - 5870, 17*r - 22*r = 5*i - 5850. Is i a multiple of 4?
True
Let x be 0/(-2) - (-7)/(56/120). Suppose 1385 = x*j - 130. Is j a multiple of 24?
False
Let h(c) = c**3 + 7*c**2 + 3*c + 10. Let j be h(-5). Suppose -k - a = -2 - j, -a = 4*k - 185. Does 23 divide k?
True
Suppose -2*g + 2*s - 5*s + 1314 = 0, 4*g = -s + 2628. Let d = -344 + g. Suppose 14*o - d = 93. Does 2 divide o?
False
Let f(j) = 23*j**2 + 8*j + 7. Let z be f(-1). Suppose -z*k = -10*k - 10200. Is k a multiple of 8?
False
Let v(h) = -59*h**3 + 3*h**2 + 2*h. Suppose 27*l = 30*l - 3. Let b(d) = d - 2. Let m be b(l). Does 6 divide v(m)?
True
Is ((-126)/45*(-14)/(-49))/(4/(-45150)) a multiple of 70?
True
Suppose -3*a = 3*y - 9658 - 1613, -a + 3757 = -5*y. Suppose -5*t - 4*z + 6179 = 0, 0 = 4*t + z - a - 1184. Does 13 divide t?
True
Is (-110924)/(-19) + 344/(-3268) a multiple of 12?
False
Let l = -19 - -289. Let z = -109 + l. Does 23 divide z?
True
Let l be -1*2/3*(46 - 49). Suppose -4*b + 807 = b + 2*t, 0 = -5*t + 5. Suppose -l*g + 1 = -b. Is 15 a factor of g?
False
Let k = -156 - -159. Suppose -3*w + 95 + 176 = -4*l, 0 = -2*w - k*l + 158. Is 3 a factor of w?
False
Does 93 divide 50034*(-18 - -17)*(-2)/4?
True
Let i be 1*(-24 - 5) + -6 + 1. Let l = 234 - 399. Let j = i - l. Is 16 a factor of j?
False
Let l(z) = 5*z**2 - 51*z + 7. Let w be l(10). Is 37 a factor of w/(-6) - 3/(6/(-319))?
False
Suppose -k = -17443 + 14035. Is 12 a factor of k?
True
Let j(o) = 2*o + 43. Let d be j(0). Let b = d - 41. Suppose -b*v - u + 112 = 0, v - 2*u - 34 = 3*u. Does 18 divide v?
True
Is 61 a factor of 9 - (-342)/(-95) - (-16)/10 - -9663?
False
Let u be (-6341)/255 + (-1 - 26/(-30)). Does 70 divide u*((-111)/5 + -3)?
True
Let a be 1/9 + 455/117. Suppose 0 = -12*g + 8*g + a*p - 204, -g - 4*p = 36. Let s = g - -108. Is s a multiple of 7?
False
Does 277 divide 10 + (3 - 13) + (-4 - 2) + 28260?
True
Let w = 312 - 310. Suppose 6*y = 5*g + y - 385, -75 = -g + w*y. Does 8 divide g?
False
Let q be ((-50737)/(-226))/((-1)/(-2)). Let o = -142 + q. Is o a multiple of 30?
False
Suppose q + 269 + 260 = i, -2*i + 1030 = 5*q. Does 2 divide i?
False
Let z(u) = -44*u + 108 - 52*u + 84*u - 33. Is 2 a factor of z(6)?
False
Suppose -3*w - 2*q = -5250, -2*q + 370 = 5*w - 8380. Does 21 divide w?
False
Does 5 divide (5 - (-336)/(-60))*-3175?
True
Suppose 49*b + 224250 = -95*b + 174*b. Is b a multiple of 13?
True
Let h(v) be the third derivative of 0*v - 1/120*v**6 - 15*v**2 - 7/12*v**4 - 1/5*v**5 - 13/6*v**3 + 0. Does 4 divide h(-11)?
True
Is 102 a factor of (1/2)/(4/(-8)) - 183011/(-23)?
True
Suppose 2*t + 77 - 25 = 5*j, 0 = -5*j + 3*t + 53. Suppose 71 = j*c - 9. Suppose 0 = -3*s - c + 137. Is s a multiple of 9?
False
Suppose 2*o + 4*i + 24 = -0, -3 = o - i. Let h(k) = -18*k - 34. Let j be h(o). Suppose 2*w + j = y, -2*y = w + 2*w - 183. Is y a multiple of 14?
True
Let v = 219 - -35. Let p be (-1 + v/(-6))*(-24)/10. Suppose -x + 5*x - p = 0. Does 17 divide x?
False
Let h(y) = -2*y + 9. Let z be h(3). Suppose -254 = -5*o - 2*r, -4*o = -z*r - 110 - 84. Suppose 4*l - 202 = o. Is 20 a factor of l?
False
Let r = 24 - 24. Suppose 3*z - 15 = r, -7*y + 535 = -2*y - 2*z. Is y a multiple of 20?
False
Let o(a) = -6*a - 7. Let g be o(-7). Let b be 2*(1 - g/10). Is (b/(-16 - -6))/((-2)/(-596)) a multiple of 25?
False
Let z(q) be the second derivative of 11*q**3/6 + 101*q**2/2 + 2*q - 36. Is z(9) a multiple of 10?
True
Suppose 3*l + 4*d = 26367 + 40670, 0 = 3*d - 24. Does 15 divide l?
True
Let h be (-460)/30*3/(-2) - 0. Suppose -h*x = -25*x + 198. Suppose 12*c - 11*c = x. Is c a multiple of 8?
False
Let n = 8084 + -6656. Does 32 divide n?
False
Let v(a) = -160*a**3 - 8*a**2 + 21*a - 4. Does 14 divide v(-3)?
False
Let z be 4 + 4 + -11 - -3. Let r be -3 + 12 + -1 + z. Suppose -r = 2*x, -4*q + 4*x + 116 + 8 = 0. Is q a multiple of 19?
False
Let v(x) = 1079*x**3 + 2*x**2 - 32*x + 136. Is v(4) a multiple of 24?
True
Let h = 47 - 34. Suppose -b = 4*b + i - 19, 2*b - h = 5*i. Suppose 2*s - s = 2*l + 50, -s - b*l = -80. Does 12 divide s?
True
Suppose -2*g - 23216 = -4*p, 8*p - 4*g - 29017 = 3*p. Is 25 a factor of p?
False
Let t be (-15)/3 + -8 + 16. Suppose 3*r + r = t*n - 3881, -5*n + r = -6457. Is 19 a factor of n?
False
Let p(d) = 351*d - 86. Let c be p(-3). Let h = -849 - c. Is h a multiple of 58?
True
Let b be (-2)/((5/4400)/(1/(-2))). Suppose 5*x - b = 3*x. Does 2 divide (1/2)/(10/x)?
True
Let v(o) = 8*o**3 - 7*o**2 - 94*o + 906. Is 173 a factor of v(10)?
True
Let x = 49 + -62. Let h = x + -12. Let f(l) = l**2 + 25*l + 36.