3*r - 88, -5*k = -k + 5*r - 420. Is k a multiple of 10?
True
Let r = 213 - 171. Is 6 a factor of r?
True
Suppose -13*z + 8937 = -13995. Is 12 a factor of z?
True
Let h(c) = 3*c**3 - 20*c**2 - 2*c + 8. Let f(k) = k**2 - k - 1. Let v(b) = 5*f(b) + h(b). Does 29 divide v(7)?
False
Let x be 125/(-3) + 1 + (-5)/15. Let z = 107 + x. Is 22 a factor of z?
True
Let f = 206 - -498. Is f a multiple of 30?
False
Let x be 4 + (-3 - (-1 + 0)). Suppose -c + x*d = -129, -3*c + 3*d + 89 = -298. Does 43 divide c?
True
Suppose -6 = -w - i, 0 = -3*w - 4*i - 6 + 28. Let m = 8 + w. Let t = m - 2. Is t a multiple of 4?
True
Suppose 1032 = -2*r - 2*r. Let v = r - -413. Suppose -3*u - b + v = b, 3*b + 218 = 4*u. Does 27 divide u?
False
Suppose -t = 3*j - 480, -t = 4*j + 182 - 823. Suppose 0 = -x - 1, 4*r - 2*x = 3*x + j. Is 3 a factor of r?
True
Does 5 divide 1686/4 + 5/(-30)*9?
True
Suppose -2907 = -21*h + 12675. Is 39 a factor of h?
False
Let m = -69 - -73. Suppose -247 = -d + m*w, -7*d + 1044 = -3*d - 2*w. Is d a multiple of 47?
False
Suppose 188*a - 217 = 181*a. Is a even?
False
Let h(x) = 3*x**2 - 12*x - 16. Let i be h(12). Suppose -z + i = z. Is z a multiple of 34?
True
Let w(l) = -3*l + 1. Let b be w(-1). Suppose 2*i + 3*s = 13 + 6, 0 = -b*i - 3*s + 23. Is 28 a factor of 212/2 - 0/i?
False
Let h(t) = -t + 5*t + 2*t**3 - 3*t**2 - t - 3*t**3 - 4. Let u be h(-4). Suppose -a = 2*m - 0*m - 34, 4*a + 4*m - 128 = u. Is 11 a factor of a?
False
Suppose -2*x + 5*a = a + 20, 0 = -4*x - a + 5. Suppose -2*s - 3*q + 162 = x, -3*s + 312 = s + 3*q. Is s a multiple of 11?
False
Let i be (2 - (-22)/(-14)) + (-1698)/42. Let x = i - -94. Does 18 divide x?
True
Let o = 11 - -2. Suppose 0 = n - 2, 0 = -3*i - 0*n - 5*n + o. Does 4 divide 21 - (-3)/3*i?
False
Is 56 a factor of -23 + 135 - 0/(-1)?
True
Suppose 7*w + 250 = 698. Suppose 4*m + 0*a = 3*a + w, 0 = -4*a + 16. Is m a multiple of 4?
False
Let p(b) = 52*b - 32. Let m be p(6). Suppose -4*h + 560 = t - 0*t, -t - m = -2*h. Is h a multiple of 5?
True
Let o = 103 - 205. Let k = o - -184. Is 17 a factor of k?
False
Let d = -32 + 47. Let c = 62 + d. Is c a multiple of 9?
False
Suppose 116 = 4*s + b - 2*b, -12 = 3*b. Is s a multiple of 2?
True
Let x = 401 - 177. Is x a multiple of 56?
True
Let p = 64 - 46. Suppose -p = 2*d - 5*d. Is 7 a factor of 18*(21/d - 2)?
False
Suppose -2*r + 40 = 2*r. Does 13 divide (-8)/(-20) + 386/r?
True
Suppose -5*i - 4*o + 16 = 0, 2*o + 18 = 3*i + 4. Suppose 10*a - 2*v - 13 = 5*a, -3*v = -5*a + 12. Does 12 divide ((-4)/a)/(i/(-36))?
True
Does 3 divide -6 + (-24)/(-5)*(-1715)/(-147)?
False
Let p = -693 - -1259. Let v = -342 + p. Is 41 a factor of v?
False
Let s be 6/(-9)*(-189)/6. Suppose -6 = 5*p - s. Suppose 6 = -3*c - 0*c, 0 = f + p*c - 16. Is f a multiple of 11?
True
Suppose 14*z - 10*z - 20456 = 0. Does 17 divide z?
False
Let q(o) = -8 + 4*o**2 - 22*o + 3*o**2 + 6*o**3 - 7*o**3 + 2*o**3. Is 5 a factor of q(-9)?
False
Let p be ((-190)/20)/(3/(-72)). Is 20 a factor of (-11 - -16)*p/10?
False
Is (-18975)/(-10) + (-3)/(-6) a multiple of 73?
True
Is (5 + (-502)/(-10))/(3/20) a multiple of 27?
False
Let a = 1398 - 988. Suppose -k = 2, 2*k + 3*k + a = 4*p. Does 15 divide p?
False
Let p(v) = 15 + 5*v + v**2 - 14*v + 9*v. Let x be p(0). Suppose -2*c + x = -13. Is 14 a factor of c?
True
Let c(t) = t - 2. Let d be c(4). Suppose 0*j = -d*j + 18. Is j a multiple of 6?
False
Suppose 5*a + 26 = 3*h, -4*h + 4*a + a + 28 = 0. Let f be ((-3)/h)/(6/(-52)). Is 16 a factor of 2/((-2)/(-3 - f))?
True
Is 2472/(-40)*(-95)/3 a multiple of 14?
False
Let i be 0 - (-1)/2*-4. Is (-4)/(-12) - (8/(-3) + i) a multiple of 3?
False
Suppose 3*w - 4*t - t + 110 = 0, -3*w - 3*t = 150. Let h be (54/w)/(2/(-510)). Suppose -h = -4*d - 2*d. Is d a multiple of 13?
False
Suppose 2*g - 808 - 78 = 0. Is 10 a factor of g?
False
Let p be -209 + 1 + ((-30)/(-5) - 3). Let f = -127 - p. Does 9 divide f?
False
Let b(c) = 42*c + 442. Does 26 divide b(0)?
True
Let a = 10 - 11. Let r(w) = w**3 + w**2 - 2*w - 2. Let b be r(a). Suppose b = -3*l - 3*p + 2*p + 11, -2*l + 2*p = -10. Is l even?
True
Let d = -4 + 7. Suppose j - d*a - 5 - 9 = 0, -4*a = 16. Suppose 0 = -4*p - j*c + 88, 0 = 3*c + 2*c. Is p a multiple of 11?
True
Let a(f) = 4*f - 22. Let u(j) = -5*j + 21. Let p(v) = 6*a(v) + 7*u(v). Is 8 a factor of p(-4)?
False
Suppose 7581*v - 4522 = 7574*v. Does 27 divide v?
False
Let s = 645 + -448. Suppose 0 = 3*j + 2*t - 7, 2*t + 28 = 2*j + 2*j. Suppose -j*k + 38 + s = 0. Is 10 a factor of k?
False
Suppose -5*c + 2*z = -3203 - 2852, -5*c - 3*z + 6055 = 0. Is c a multiple of 41?
False
Let h = 15 - 13. Suppose h*d = -0*d + 68. Suppose d = j + 4*m, 6*m - 86 = -3*j + 2*m. Is j a multiple of 14?
False
Suppose -a - 139 = -2*j, -3*j + 5*a = j - 263. Suppose -3*m + 84 = -j. Does 13 divide m?
True
Let l be 2*-4*(-136)/32. Suppose 66 = 2*p + c - l, -3*p - 3*c + 153 = 0. Is p a multiple of 12?
False
Let d(a) = 0 + 3*a**2 + 5*a**3 + 1 + 3*a - 6 - 6*a**3. Let b be d(3). Suppose 3*v - 32 = -v + b*h, -4*h = 5*v - 22. Is 2 a factor of v?
True
Let i = 989 - 221. Is i a multiple of 32?
True
Suppose 0*b - 7*b + 28 = 0. Suppose -h + 209 = 4*q - 114, b*h - 5*q - 1250 = 0. Is h a multiple of 17?
False
Suppose -5*m + 9 = 29. Does 9 divide (-1264)/(-14) - m/(-14)?
True
Let s(k) = k**2 + k + 2. Let o be s(-2). Suppose 0*r - u - 96 = 4*r, o*u = -4*r - 108. Is 7 a factor of (-3 - r) + 1 + 0?
True
Let x be 5*(-2)/(-10)*2. Does 18 divide 1 + x - 2 - -35?
True
Let l(d) = d**2 + 5*d - 3. Suppose -i = 2*i + 18. Let v be l(i). Suppose a = -4*r + 47, -2*a + 155 = v*a + 4*r. Does 13 divide a?
False
Suppose 4*s + 5 = 2*s + 5*q, s = -3*q + 3. Suppose -4*t = -3*i + 12, 4*t + 0*t = -5*i + 20. Suppose i*u = -s*u + 56. Is 7 a factor of u?
True
Suppose 160 = -3*g + 5*g. Let y = 16 + g. Does 22 divide y?
False
Let t(b) = -b**2 - 7*b - 10. Let m be t(-4). Let a(u) = -u**3 + 2*u**2 - 2*u**2 + 3*u**m - 2. Is 6 a factor of a(-2)?
True
Suppose 5*y + a = 1883, 5*y + 5*a = 2*y + 1143. Is 68 a factor of y?
False
Suppose 0 = -5*u + u. Suppose u = -3*b - 48 + 126. Suppose s - b = 11. Is s a multiple of 16?
False
Let w be (4/5)/(10/(-275)). Let v = 121 + w. Does 11 divide v?
True
Is 1*(3/(-6))/(-1)*4870 a multiple of 17?
False
Let n = 173 + 248. Does 3 divide n?
False
Let a be (-3 - (-12)/4)/(-1). Suppose -3*q + 180 = -a*q. Is 10 a factor of q?
True
Suppose 4*t = 5*r - t - 5885, r = -5*t + 1159. Is 45 a factor of r?
False
Let y be (-2 - (-12)/8)*(-1 - -1). Suppose y = -11*d + 32 + 540. Is d a multiple of 4?
True
Suppose -1860 = 530*a - 531*a. Is a a multiple of 12?
True
Suppose -8*p + 4*p + 2*l + 876 = 0, -4*p - 4*l = -864. Is 4 a factor of p?
False
Let w be (0 + -12)/((-4 + 0)/52). Let u = w + -90. Is u a multiple of 6?
True
Is (20400/(-85))/(-2 + 1 - 0) a multiple of 7?
False
Let c be (16/(-6))/((-12)/90). Let u be 4 - c/(-8)*6. Suppose -24*w = -u*w - 140. Is 14 a factor of w?
True
Is 3 a factor of ((-10)/(-15))/((-654)/(-81) + -8)?
True
Let f = 930 + -694. Does 7 divide f?
False
Let v = -23 - -68. Suppose -43 - v = -8*a. Is 11 a factor of a?
True
Let j(v) = -2*v**3 + 4*v**2 + 6*v + 9. Is j(-4) a multiple of 9?
False
Let r(s) = 2*s + 24. Let m be r(-10). Suppose 5 = t + m, -558 = -2*y + 2*t. Suppose 4*a = -4*a + y. Is a a multiple of 11?
False
Is 4 a factor of ((-726)/55)/(2/(40/(-6)))?
True
Let o = 20 + -14. Suppose -10 = -4*y + o. Suppose 4*f = 5*f + 2*v - 45, -f = y*v - 51. Is 13 a factor of f?
True
Let t = 182 - 277. Let j = -112 + 58. Let r = j - t. Is 23 a factor of r?
False
Let u(v) = v**3 + 4*v**2 + 4. Let k be u(-4). Suppose -3*p + r + 3*r + 676 = 0, -3*r = k*p - 918. Suppose 0 = -7*d + 3*d + p. Is d a multiple of 11?
False
Suppose -4*s + 51 = v - 4, 5*s + 5*v - 50 = 0. Does 3 divide s?
True
Let f(n) = -4*n**2 + 5*n - 11. Let r be f(4). Does 11 divide -2 - 2 - r - -1?
False
Suppose -15*y - 4525 = -11935. Is y a multiple of 26?
True
Let f(p) = p**2 - 8*p + 8. Let q be f(7). Suppose c + 5 = q. Is -3 - -20*(-6)/c a multiple of 9?
True
Suppose -2*t - 2*z = -3214, 16*t + 3217 = 18*t + z. Is 35 a factor of t?
True
Suppose -725 = -5*n + p, 136 = -8*n + 9*n - 2*p. Is n a multiple of 5?
False
Suppose 0 = -t + 207 - 208. Does 6 divide (2 + t - -37) + (13 - 15)?
True
Let n(r) = r - 8. Let v(t) = 3*t - 8. Let 