s a multiple of 6?
True
Suppose 4*r - 4*l = 2468, 3 = -3*l + 4*l. Suppose 4*j + 5*t - 586 = -119, r = 5*j - t. Suppose 2*q = -v + 3*q + j, 0 = -3*v - 5*q + 345. Is 20 a factor of v?
True
Let a be -2 - (-3 + 0) - -4. Suppose 698 = 2*v + a*u, -21*u - 8 = -25*u. Is 15 a factor of v?
False
Let t = 16743 + -10035. Does 156 divide t?
True
Let m be 3 + -4 + 1 - 0. Suppose o + m*o = 5. Suppose -2*f - 274 = -3*c, -2*c - 5*f - 280 = -o*c. Is c a multiple of 21?
False
Suppose -2*r = 3*t - 456, 685 = 6*r - 3*r + 4*t. Let b = 125 - r. Let d = 41 - b. Is 18 a factor of d?
False
Let t(q) = -q**3 - 16*q**2 + 15*q - 28. Let j be t(-17). Let p be j/(-27) - (-65)/9. Suppose 90 = 2*z - g + p, -3*z - 3*g = -120. Does 13 divide z?
False
Let o(n) = -4*n**2 + 20*n + 6. Let f be o(5). Suppose -v + 17 = 5*b, 9*b + 5*v - 5 = 4*b. Does 8 divide 27/(33/f - b)?
False
Suppose -9 = 3*j + 3*m, 3*j + 3*m - 1 = 2*m. Suppose 15*u - 13*u + 564 = 2*t, -821 = -3*t - j*u. Does 7 divide t?
False
Suppose -87*w = -84*w + 1260. Let b = w - -796. Is 8 a factor of b?
True
Let q = 14906 - 4197. Is q a multiple of 177?
False
Let d = 6915 - 4803. Is d a multiple of 88?
True
Suppose -22*v + 607088 = 85*v - 342430. Does 27 divide v?
False
Let z(h) be the third derivative of 2*h**5/15 - h**4/12 - 5*h**3/6 + h**2. Let s be z(6). Let n = 387 - s. Does 29 divide n?
True
Let l be 2/(-6)*9/6*-12. Suppose 4*a - l = -2. Is (30/(-18))/(a/(-9)) a multiple of 15?
True
Let m be 5*5/25 - -3. Suppose -z + 22 = -0*z + 3*s, m*z - 66 = -s. Let f = 32 - z. Is 16 a factor of f?
True
Is 105/(-7) - (-2475 + -60) a multiple of 18?
True
Suppose -6*u + 60 = -7*u - 3*h, -5*u = h + 314. Let o = u + 82. Is o a multiple of 2?
False
Suppose 0 = -4*j - 2*n + 192, 2*j - 66 = 40*n - 36*n. Let v(w) = 9*w**2 - 3*w - 1. Let b be v(-2). Suppose -740 = b*p - j*p. Is p a multiple of 34?
False
Let d be 8/2 + -6 + 40/5. Let x(t) = -7 + d*t + 44 + 4. Is 27 a factor of x(9)?
False
Suppose -257400 = -16*l - 59*l. Is l a multiple of 66?
True
Let d(q) = q**3 + 29*q**2 - 16*q - 3. Let k be d(-29). Suppose -k = -b - 54. Is 33 a factor of b?
False
Let r(i) be the second derivative of -7*i**3/3 - 197*i**2 + 2*i + 203. Does 5 divide r(-33)?
False
Suppose -2 = k, 8*l - 291 = 3*l - 2*k. Let n = l + -55. Suppose -d + 2*d + 519 = n*a, -395 = -3*a - 5*d. Is a a multiple of 28?
False
Suppose 14*p - 18*p = -80. Let o = p - -682. Suppose u = -5*u + o. Does 13 divide u?
True
Suppose -6210 = 2*v - 18811 - 9195. Is 26 a factor of v?
False
Suppose d - 205 = 3*t, -t = -d - 2*d + 575. Suppose 2510 + d = 6*s. Is s a multiple of 18?
True
Suppose -6*c = -9*c. Suppose -d - 5*v = 0, 5*d + c*v + 5*v = 0. Suppose 0 = f + 2*r - 56, -r + 235 = 5*f - d*f. Is f a multiple of 26?
False
Suppose 3144 = 4*a - 4*n, 0 = 4*a + 2*n - 3*n - 3150. Suppose 8*k - a = 60. Does 5 divide k?
False
Suppose u + s = 20395, -3*u + 4*s + 14626 = -46517. Does 21 divide u?
False
Let l = -196 + 191. Let i(z) = -2*z**3 - 10*z**2 - 6*z - 12. Is i(l) a multiple of 18?
True
Suppose 32*i = 36*i - 12264. Suppose 33*l - i = -756. Does 4 divide l?
False
Let v be 9/(-36) + (1 - 15/4). Let j = v + -39. Does 21 divide (-1274)/j - 4/(-6)?
False
Let o(n) = -3*n**2 + 36*n + 12. Let f be (-2)/3 - (20/6 - 4). Let j be (1 - (-12)/(-9))*(f + -33). Does 9 divide o(j)?
True
Suppose s = 5*h - 14, s = -3*h + 10 - 0. Suppose 6*o + 27 = 2*l + 3*o, -3*o - 39 = -h*l. Is 278*(l/(-8) + 2) a multiple of 17?
False
Suppose 25132 = 2*m + 4*i, -5*m - 2*i + 75561 = 12675. Does 85 divide m?
True
Suppose -5*c + 15 = -15. Suppose 0 = 7*u + 15 - 15. Suppose u = -c*o + 138 - 6. Does 11 divide o?
True
Suppose -o + 2*t + 37 = 0, 4*t - 53 = -3*o + 38. Suppose 36*j - 663 = o*j. Does 15 divide (-724)/(-26) - (-34)/j?
False
Let o be ((-80)/(-6))/(-8)*(-3 - 0). Suppose 357 - 22 = a + o*m, -303 = -a + 3*m. Is 7 a factor of a?
True
Let m = 1 + -1. Let u(x) be the second derivative of -2*x**3/3 + 6*x**2 - 550*x. Is 2 a factor of u(m)?
True
Suppose -112*i - 46022 = -8*z - 115*i, -z + 5767 = -2*i. Is z a multiple of 2?
False
Let t = -1465 - -1504. Is t a multiple of 4?
False
Let p = -31 - -34. Let a be 20/3 - p*6/27. Is 11/(-33) + 506/a a multiple of 28?
True
Let g(l) = 13 + 0 - 16*l + 0*l**2 - l**2. Suppose 88 - 400 = 24*p. Does 11 divide g(p)?
False
Suppose 5*r = -s + 122, r - 9 = 5*s + 5. Is r/(-16)*426/(-9) a multiple of 5?
False
Let u be (19/2 - 5)*4/3. Suppose 3*l = 3*z - 921, 5*l = -u*z + 3*z + 913. Is 34 a factor of z?
True
Does 12 divide -1 + 2 + (-144)/252 + (-98876)/(-14)?
False
Suppose 0 = 129*a - 133*a + 24. Let l be (-35)/(-7) - a/(-4)*2. Suppose l*p - 7*p = 146. Is p a multiple of 15?
False
Suppose -3*q = 3*b + 9, 3 = -2*b - 3*q - 6. Suppose -c - 14 = -0*m - m, 4*c + 4 = b. Suppose -5*p + m*p = 632. Is p a multiple of 9?
False
Suppose -4*w + 5*a = -4370, 0 = -3*a + 137 - 155. Is 3 a factor of w?
False
Suppose -34*i + 32*i + 2*j = -83432, 3*i - 125142 = -3*j. Does 162 divide i?
False
Suppose -120 = -4*l + 16. Suppose -2*c + 37*k - l*k + 1647 = 0, 4*k = 4*c - 3284. Does 13 divide c?
False
Let u(v) = -v**3 - 12*v**2 - 36*v + 5. Let c be u(-6). Let r(t) = t**3 - 4*t**2 - 4*t. Let l be r(c). Suppose 1752 = l*a + 487. Is 19 a factor of a?
False
Suppose 0 = g + 4*b + 14, 3*g = -4*b + 2 - 12. Does 64 divide -50*(-69)/6 + (-4)/g?
False
Suppose -4*b = -3*i - 6540, -13*b + 4*i = -12*b - 1648. Is 68 a factor of b?
True
Suppose -2*x + 535 = -5*s - 567, 4*x - 2184 = 5*s. Let c = 1054 - x. Is c a multiple of 27?
True
Let p(h) = -3*h**2 + 31*h + 76. Let g(s) = -s**2 + 31*s + 77. Let b(m) = 4*g(m) - 3*p(m). Does 4 divide b(-3)?
True
Let z(s) = 25*s**2 + 750*s - 27. Does 53 divide z(-49)?
False
Suppose 0 = -4*z + 6*y - 3*y + 52, -3*z + 2*y + 38 = 0. Suppose z + 5 = 3*b. Suppose 5*a + 484 = 3*f, a + 828 = b*f - 2*a. Is 8 a factor of f?
True
Suppose 8*g = 44 - 52. Is (0*(-5)/(-15))/g + 221 a multiple of 26?
False
Suppose -3*k - 5 - 7 = -w, -w - 3 = 2*k. Suppose 2*m + w*o - 127 = 0, o + 0*o + 343 = 5*m. Is m a multiple of 34?
True
Is ((6 + 96552)/(-14))/(-1) a multiple of 20?
False
Let n(m) = m**2 + 26*m + 25. Let d be n(-25). Is 60 a factor of (-56)/(-3)*((-630)/(-40) - d)?
False
Let k(u) = u**3 - 2*u**2 - 6*u - 4. Let x be k(4). Suppose -v + 4*p - 5*p = -7, 4*v = 4*p - x. Is (v + -6 - -30)/((-9)/(-6)) a multiple of 9?
True
Let a = -5205 - -6087. Is a a multiple of 98?
True
Let d = -218 - -223. Suppose -d*t + 1122 = -3*t - 3*f, 2*f = -2*t + 1132. Is t a multiple of 18?
False
Let v = -131 - -138. Let i(j) = j**3 - 11*j**2 + 4*j + 18. Let t be i(v). Let h = 225 + t. Does 20 divide h?
False
Suppose -546 = 19*n - 128. Let a(m) = m + 1. Let y(j) = j**2 + 19*j + 10. Let u(o) = -6*a(o) - y(o). Is u(n) a multiple of 7?
False
Suppose 4*s = -2*v - 4, -4*v - 3*s = -9*v - 10. Is (11/(-5)*31)/(v/10) a multiple of 37?
False
Suppose 4*m + 32 = -3*n, 2*m + 10*n + 22 = 7*n. Let b = 8 + m. Let t(z) = 86*z - 7. Does 29 divide t(b)?
False
Suppose 11573 = 3*a - 2365. Suppose 0 = 85*b - 81*b - 2*g - a, 2*b = 2*g + 2324. Is b a multiple of 43?
True
Suppose 935*h - 76200 = 468*h + 459*h. Does 127 divide h?
True
Suppose -44*m = 5*m - 371*m + 3612196. Does 71 divide m?
True
Let k(g) = g**2 + 3*g - 8. Let t be k(2). Suppose 5*n - 924 = -t*n. Does 12 divide n?
True
Suppose -5*a + 4*t = -36888, 270*t = a + 274*t - 7368. Is a a multiple of 53?
False
Suppose 0 = w + 5*t + 22, 4*w + 7 = -3*t + 4. Is 2 a factor of w?
False
Suppose 5*v + 3455 = -p, -p + 2318 + 1147 = -5*v. Let c = 1220 + v. Does 33 divide c?
True
Let b = 50161 + -17411. Is b a multiple of 25?
True
Let r(s) = -s - 21. Let h be r(-23). Does 6 divide (-45 - -75)*(h - (0 - 1))?
True
Suppose -6*x = 2*d - 5*x - 23593, -2*x - 35414 = -3*d. Is d a multiple of 236?
True
Suppose 3*z = 12, -5*z = -r - 20 - 16. Let x be 6/r - 1940/32. Let a = -29 - x. Is 15 a factor of a?
False
Let j(t) = -91*t**3 + t**2 - 3*t + 1. Let s be j(1). Let p be s/(-5) - 24/60. Let f = p + 24. Is f a multiple of 14?
True
Suppose -5349 + 759 = 6*w. Does 21 divide (6 - 2/5)/((-6)/w)?
True
Suppose 4*m + 4*j = 44, 0*m - 4*m = -5*j - 17. Suppose -4*u - 16 = -5*y, u = -4*y - u - m. Suppose y = -3*z + 208 + 254. Does 37 divide z?
False
Let y(d) = -47*d + 675. Is y(-15) a multiple of 138?
True
Let m = 920 - 860. Is 60 a factor of m?
True
Suppose -18 