6)/7*(-42)/9. Suppose 4*q - 358 = -4*f + 2*q, 328 = c*f - 4*q. Is f a multiple of 10?
False
Suppose i = 3, -g = i - 4*i - 166. Suppose -2*a + 1017 = g. Suppose -a = 12*x - 1645. Does 13 divide x?
False
Let s = 11 + 33. Suppose 37 = -2*t - w, 3*t = -2*w - 12 - s. Is (-3748)/t - (28/18)/7 a multiple of 26?
True
Is 7458 + -3 - ((-828)/108 + (-15)/(-9)) a multiple of 8?
False
Suppose -46*i + 41 + 27 + 116 = 0. Is 2 a factor of i?
True
Let s = 15808 + -11308. Is s a multiple of 20?
True
Suppose -1178352 = 33*w - 89*w. Does 11 divide w?
False
Let q = 60 - 75. Let x = q + 8. Is 8 a factor of (-24)/((x/21)/(4/18))?
True
Let m(t) = t**3 - 10*t**2 - t + 20. Let j be m(10). Let d be ((-124)/(-10))/(j/200). Suppose 15*b - 19*b = -d. Is 6 a factor of b?
False
Let c = 15 - 6. Let k(t) = 309*t**3 + t**2 - 6*t + 5. Let s be k(1). Suppose c*n - 12*n + s = 0. Is 39 a factor of n?
False
Suppose 5*i + 1202 = 4*h, -3*h + 898 = -31*i + 29*i. Is h a multiple of 3?
False
Let t = 57 + -50. Suppose 2*o + t = 3*y - 0*y, -o + 29 = 5*y. Suppose 0 = o*w + 5*g - 600, 64 = w + g - 86. Is w a multiple of 10?
True
Suppose 12 = r - 2*g + 4*g, 5*g - 25 = 0. Suppose -r*j - 54 = 2. Is (-8)/j + 178/14 a multiple of 13?
True
Is 19 a factor of -10 + -2 + (-124040)/(-20)?
False
Let s = -37 + 58. Suppose -12*i + s = -5*i. Is 10 a factor of ((-87)/(-12) - 1/4) + i?
True
Let d be (-26)/(-10) + (-60)/(-150). Suppose 0 = -2*i - 10, -2*o + 0*i + 751 = -d*i. Is o a multiple of 46?
True
Let u = -1129 - -1894. Does 15 divide u?
True
Let s(q) = -26*q**3 - q + 1. Let l be s(1). Let n(t) = t**3 + 9*t**2 - 3*t - 6. Let w be n(-10). Let i = l - w. Does 9 divide i?
False
Suppose -47*i = -50*i + 2835. Let h = -645 + i. Does 6 divide h?
True
Suppose 5*j - 6*j = -9. Is 6187/j + (-76)/171 a multiple of 73?
False
Is (-5130)/2*(-1768)/1326 a multiple of 17?
False
Let w be 2 + -5 + (4 - (-6 - 0)). Let q(m) = -308*m + 545*m - w - 281*m. Does 30 divide q(-3)?
False
Let f = -17257 - -26797. Is 9 a factor of f?
True
Does 81 divide 16/48 - (-5 + 78134/(-21))?
True
Suppose 5*r + 35 = p - 39, -3*p = 2*r + 33. Does 12 divide 5*20/r*-15?
False
Let q = -4542 - -7110. Is q a multiple of 107?
True
Suppose 43708 = 2*v - 22454. Is v a multiple of 130?
False
Suppose 59 + 61 = 5*u. Suppose -8*h + u = -0*h. Does 13 divide ((-20)/(-15))/(h/468)?
True
Suppose 3084 + 9357 = 5*j - 4024. Is 18 a factor of j?
False
Suppose -25*a - 432120 = -129*a. Is 112 a factor of a?
False
Does 3 divide 860*10/250*130/4 - 5?
True
Let b be ((-6)/(-15))/(1/(-5)) - 22. Does 48 divide 1002 - (140/b - 2/12)?
True
Suppose 5*q + 2*g + 9054 = 9*q, -4*q + 3*g = -9057. Is 26 a factor of q?
True
Let q be (-9)/(-4 - -7) - -5. Suppose 85 = -q*p + 3*p. Is 0 + p + 72/(-24) a multiple of 11?
False
Suppose 8*z - 3*z - 25 = 0. Suppose -a - 77 = z*b, 2*b - 6*b - 3*a = 55. Does 9 divide 4/b*-214 + 2/4?
True
Let v(x) = -6*x + 155. Let l be v(26). Does 12 divide (-70 + -1282)*l*1?
False
Suppose -132*i = -87*i - 17325. Is 3 a factor of i?
False
Let s(u) = u**3 - 41*u**2 + 45*u - 176. Does 24 divide s(40)?
True
Is 313930/80 - 3/168*7 a multiple of 20?
False
Let m = -3886 - -9406. Suppose 11*u + 5*u - m = 0. Does 5 divide u?
True
Suppose 5*t - k - 507 = 0, 0 = -2*t - 0*t + 2*k + 206. Suppose 0 = 5*o + 5*j - 1745, j + t = -5*o + 1850. Does 40 divide o?
False
Let a = 58372 + -37652. Is 16 a factor of a?
True
Suppose i - 4*h = -i - 4, 3*h = 5*i - 4. Suppose -5*p = -i*p. Suppose p = -5*q + 35 + 25. Does 6 divide q?
True
Let l(t) = -454*t + 9826. Is 27 a factor of l(0)?
False
Let m(c) = -7*c**3 + 4*c**2 + 15*c + 1. Let h(w) = 21*w**3 - 12*w**2 - 43*w - 2. Let k(v) = 6*h(v) + 17*m(v). Does 13 divide k(2)?
True
Is (-6)/36 - 166225/(-150) a multiple of 2?
True
Let g(b) = 4*b**2 - 34*b + 97. Is g(-28) a multiple of 93?
True
Let o = 12695 + -8411. Is 34 a factor of o?
True
Let w(z) be the third derivative of -5*z**4/24 - z**3/2 - 3*z**2. Let r be 0 + 10 + -6 + -8. Is 7 a factor of w(r)?
False
Let h(b) = 3*b - 47. Let g be h(8). Let z = g - -25. Suppose 0 = 2*p - 2*i - 228, z*p - 346 = -p + 5*i. Is 13 a factor of p?
False
Let q(o) = -5 + 10 + 2*o + 4*o**2 + 43*o**2. Does 85 divide q(4)?
True
Let y = -264 + 266. Suppose -y*n + 708 = 2*c, -138 = n - 5*c - 480. Is 22 a factor of n?
True
Suppose -214 + 208 = -6*i. Is -7 + (i + 668)/3 a multiple of 55?
False
Let y(r) = 431*r - 4031. Is 33 a factor of y(12)?
False
Suppose 3*w - 456 = 6*x - 9*x, -3*w + 488 = -5*x. Let t = 538 - w. Is t a multiple of 14?
False
Let a be (3 + -4 - -5) + 1 + -1. Suppose 2*r - a*r = 5*f - 16, 0 = 4*f + 5*r - 23. Suppose -28 - 58 = -f*v. Is v a multiple of 5?
False
Let r(g) = 8184*g**3 - 5*g**2 + 5. Does 66 divide r(1)?
True
Suppose 0 = z - 638 - 52. Suppose 16*t - 10*t = z. Suppose 0 = -5*f + t + 25. Does 5 divide f?
False
Suppose 1 = 5*h + 21, -4*q - 4*h - 4 = 0. Suppose -6*t + 5*t = q*b - 195, 4*b - 3*t = 260. Suppose b = 3*u - 82. Is 8 a factor of u?
False
Suppose 0 = 3*j - 0*j, -4*j + 13296 = 3*y. Is 16 a factor of y?
True
Suppose 60*i - 479311 = 290549. Is 27 a factor of i?
False
Suppose -6*m + 138 - 102 = 0. Is (m + -9)*358/(-3) a multiple of 36?
False
Is (-10)/(35/((-27965)/34)) a multiple of 6?
False
Suppose 36*d - 1213597 = -961242 + 1295213. Does 31 divide d?
False
Suppose 0 = -3*s - 2*p + 59, -3*s + 0*s + 2*p + 55 = 0. Let z = s - -71. Suppose 72 = 3*t - z. Is t a multiple of 6?
True
Suppose 2*p - 4*j - 46184 = 0, j - 23113 = 77*p - 78*p. Is p a multiple of 38?
False
Does 41 divide 205/(6*(-20)/(-888))?
True
Suppose 5*k = 1 + 9. Let d = 6 - 1. Suppose w - k*y = 97, y = -0*w + d*w - 494. Is 15 a factor of w?
False
Suppose -21*q = -18*q - 9. Suppose -4*g - 4*d + 876 = 0, -4*g - 2*d = -657 - 217. Suppose q*y - g = 4*n, -2*y + 5*n + 140 = n. Is 26 a factor of y?
True
Suppose -181 = 3*t + 440. Let y = 209 + t. Is y even?
True
Let v(y) = 3*y + 6. Let q be v(6). Let a be 1*-4*1350/q. Is 11 a factor of a/(-20) - (-3)/(-12)?
True
Let t = -62 - -59. Let w be (-2)/t - (-66)/9. Suppose 266 = -m + w*m. Does 9 divide m?
False
Let f(w) be the second derivative of -w**3/2 + 23*w**2/2 - 5*w - 248. Let h be 74/(-4) + (-2)/(-4). Is 19 a factor of f(h)?
False
Let y(g) = -42*g - 1100. Is 4 a factor of y(-66)?
True
Suppose 0 = 4*j - 2*j - 8. Suppose -3*a - j*c = 14, -3*c = -4*a + 6*a + 11. Suppose 0 = 2*h - 5*n - 131, h + a*n = 3*h - 140. Is 12 a factor of h?
False
Suppose -8 + 48 = 8*f. Suppose 0 = -7*m + f*m - 790. Is 4 a factor of 2/(-7) - (-1 + m/35)?
True
Suppose 10*i + 1425 = -5*i. Is 4 a factor of (-3 + -39)/6 - i?
True
Let g(x) be the first derivative of 56*x**2 - 70*x - 46. Does 49 divide g(5)?
True
Let o be (76/266)/(1/63). Is 68 a factor of (-48)/(-5)*765/o - 0?
True
Let a(j) = -42 + 10*j**2 + 18 + 29 + 6*j. Is 10 a factor of a(-2)?
False
Suppose -49002 = -5*x + p, 3*x - 11561 = 5*p + 17849. Is 20 a factor of x?
True
Is 54 a factor of 54*4/12*9342/12?
False
Suppose 4*z - 185422 - 60305 = 3*n, 5*z - 307176 = -2*n. Is z a multiple of 313?
False
Let f(o) = 70 + 25 + 81 + 2*o - 43. Let b = 2 + -2. Is 26 a factor of f(b)?
False
Suppose -1837995 = -120*f - 551715. Does 27 divide f?
True
Let t(f) = 3850*f**2 + 222*f + 222. Is t(-1) a multiple of 22?
True
Let o(k) = 17*k - 6. Let t be o(-13). Let v = t + 274. Does 16 divide v?
False
Let l = -537 - -666. Suppose -l = -3*q + 1023. Is 9 a factor of q?
False
Suppose -467*v = -257*v - 8561280. Does 208 divide v?
True
Suppose -314*q = -382*q + 646884. Is q a multiple of 63?
True
Let s(j) = -89*j - 11. Suppose t + 235 = 3*i, 164 = 4*i + 4*t - 144. Let r = i - 80. Is s(r) a multiple of 32?
False
Suppose -2*j = -385 + 131. Let c = j - 17. Is 10 a factor of c?
True
Let i be 6/24 - 7/(-4). Suppose i*s = 4*s. Suppose s = a + 3*a - 108. Does 5 divide a?
False
Let b = -202 + 216. Suppose -13*n - 161 = -b*n. Is 23 a factor of n?
True
Suppose -8*x - 7*x + 248928 = -7*x. Does 12 divide x?
True
Suppose 62*f - 486801 = -6*f - 45685. Is f a multiple of 13?
True
Suppose -11*o = -19*o + 16. Suppose -l = -o*t - 8, -11 = -2*t + 7*t + 2*l. Let d(s) = -31*s - 2. Does 32 divide d(t)?
False
Let r be -1 - 5/(35/(-7)). Suppose r = -11*w + 6*w + 1360. Is w a multiple of 17?
True
Suppose 26*t - 11434 + 2048 = 0. Is 69 a factor of t?
False
Is 27 a factor of (-567617)/(-725) + (-681)/(-75) + -