*w = 275. Suppose 0 = -o - m + d, 0 = -3*o + m + 8 + 163. Suppose -7 + o = 5*l. Does 5 divide l?
True
Suppose -60 = 3*b + q - 3*q, -4*q - 100 = 4*b. Let o = b - -16. Let n = 28 + o. Does 11 divide n?
True
Let u = 61 + -1. Suppose -10*m = -7*m - u. Is m a multiple of 10?
True
Suppose -2*c + 3*f = -35, -45 = -4*c - c - f. Is 8*5*(-4 + 65/c) a multiple of 25?
True
Let f(a) = a**2 - 20*a + 104. Is f(-19) a multiple of 65?
True
Let g = -84 + -6. Let x = -38 - g. Is x a multiple of 26?
True
Let m be 2 - 3/((-3)/(-4)). Is m*(-8 + 2)*(-6)/(-4) a multiple of 9?
True
Let k(x) be the second derivative of -x**4/12 - 13*x**3/6 - x**2/2 - x. Let c be k(-14). Does 21 divide -74*(c/(-6))/(-5)?
False
Suppose -4*j = -47 - 29. Suppose -198 = -j*v + 16*v. Does 9 divide v?
False
Does 32 divide 10 + (-168896)/(-133) - (-4)/38?
True
Suppose 0 = -9*u + 17298 + 5166. Is 64 a factor of u?
True
Let h(d) = -d**2 + 15*d + 10. Let j be h(16). Let q be (-7)/21 - (-628)/j. Is q/(-10) - (-3)/2 a multiple of 7?
False
Suppose 2*m + 4*f = 122, 5*m - 142 = -4*f + 139. Suppose -u = -30 - m. Does 14 divide u?
False
Let u be 11/2 - 4/8. Suppose -4 = -4*m - v, -u*v + 10 = -5*m - 10. Suppose 3*c + 104 = 2*g - 2*c, -5*g - 2*c + 318 = m. Is 17 a factor of g?
False
Suppose 0*h + 7*h + 133 = 0. Let j(a) = -a**2 - 25*a - 60. Does 18 divide j(h)?
True
Let u = 541 - 466. Is 15 a factor of u?
True
Let i be (2/4)/((-2)/16). Is i/(-18) + 5360/180 a multiple of 10?
True
Let b be 39/(-3) + 0 + 2. Let d = 7 + b. Let s(j) = -4*j + 1. Does 6 divide s(d)?
False
Let x(t) = 178*t**2 + 3*t + 1. Does 16 divide x(-1)?
True
Let s = -40 + 80. Let r = 47 - s. Is 2 a factor of r?
False
Is 40 a factor of ((-1935)/(-20) - 2) + (-3)/4?
False
Let f(s) = -11 + s + 0*s + 0*s + 30. Does 11 divide f(12)?
False
Suppose -3*i + 1948 = 4*x, -3*x + 18*i - 14*i + 1486 = 0. Is 31 a factor of x?
False
Does 19 divide (-323)/(5/(5/1))*-1?
True
Let b(r) = 3*r**2 - 7*r + 10. Let a be b(3). Let q(n) = -n**2 + 16*n + 5. Is q(a) a multiple of 5?
True
Suppose 5*y - 855 = -0*y + 3*n, -2*n - 346 = -2*y. Suppose y = -m + 7*m. Does 4 divide m?
True
Is (24 - 2)*4/(-16)*-238 a multiple of 77?
True
Is 2 a factor of 26*2/(-1)*551/(-76)?
False
Let r(a) = -a**2 + 520. Let s be r(0). Suppose -4*l + 9*l - s = 0. Suppose -3*w + 49 = -l. Is 19 a factor of w?
False
Let m = 1709 + -893. Is 48 a factor of m?
True
Suppose -5*v = 2*a - 2035, -20*v - 1635 = -24*v - 3*a. Does 30 divide v?
False
Let g = 942 - 542. Does 40 divide g?
True
Let p = -140 + 157. Does 9 divide p?
False
Suppose 52*q - 57*q = -1020. Is 29 a factor of q?
False
Suppose -i + f = -0*f - 2, 0 = 2*i + 4*f - 22. Suppose i*m - 21 - 4 = 0. Suppose -2*w + 2*u + 250 = 2*w, -m*u + 215 = 4*w. Is w a multiple of 20?
True
Does 45 divide 462/(-168)*-4*47?
False
Suppose -2*h = f + h - 34, 5*f = 5*h + 130. Suppose -4*n + f = 3*s, -2*n + 2*s = -3*s + 12. Suppose -3*y = 3*g - 60, n*y = g - 3*g + 46. Is g a multiple of 15?
False
Let l(d) = 117*d + 720. Is l(0) a multiple of 6?
True
Suppose f = -2*u - 7, 0*f + 2*f + 5*u + 19 = 0. Suppose -373 = -2*n - 5*w, 4*n - f*w + 5*w = 722. Is n a multiple of 25?
False
Let t be (2 - (-15)/(-9))*6. Suppose 0 = x - t*j - 6, -14 = -x - j - j. Does 3 divide x?
False
Let i = 21 + 56. Suppose 0 = -2*y - 4*n - 88, 0 = -0*y + 3*y + n + 127. Does 8 divide (66/i)/((-1)/y)?
False
Let a(z) = 30*z**2 - 31. Does 35 divide a(5)?
False
Let i(t) = 9*t**3 - 2*t**2 - 3*t + 19. Is i(4) a multiple of 19?
True
Let f(h) = -1 - 7*h + 0 + 6*h. Let n be f(-4). Suppose n*w + 3 = 0, 0 = -2*m + 2*w + 3*w + 41. Is m a multiple of 18?
True
Suppose 0*j = -5*j - 40. Does 33 divide 5608/32 - (-2)/j?
False
Let p = 562 - -127. Does 13 divide p?
True
Let g(v) = 11*v**2 + 6*v + 9. Let a be g(-4). Suppose 2*p + t - 308 = 0, a = p - 2*t - t. Does 18 divide p?
False
Suppose 11 = -3*n + 7*n + x, 0 = 5*n + 4*x - 11. Does 19 divide 268/4 + n/(3/(-2))?
False
Let c = -589 + 697. Is 6 a factor of c?
True
Let n(o) = 2*o + 5*o**2 - 2*o**2 + 1 + 0*o. Suppose 19 - 10 = 3*c. Is n(c) a multiple of 17?
True
Suppose 2*y + 2 = -4, -o + 4*y + 26 = 0. Let j = 2 - -9. Suppose 81 = -j*r + o*r. Does 9 divide r?
True
Let u = 743 - 18. Does 10 divide u?
False
Let a(x) = -37*x - 408. Is a(-22) a multiple of 14?
True
Let w(k) = -k**2 + 8*k - 13. Let o be w(6). Is ((-168)/((-3)/o))/(-2) a multiple of 5?
False
Let v(a) = 9*a**2 - a - 2. Let j = 47 - 83. Let b be (j/(-45))/(2/(-5)). Does 23 divide v(b)?
False
Let a = 191 - 164. Is 3 a factor of a?
True
Is 32 a factor of 4940/5 + (11 - 7)?
True
Let m be 109 - (-6)/(4 - 2). Suppose 5*b = 138 + m. Is 24 a factor of b?
False
Let k(m) = -m**2 + 2*m + 29. Let q be k(0). Let g = 9 + q. Is 38 a factor of g?
True
Let q(b) = -b**2 + 15*b - 15. Let i = -11 - -26. Let d be q(i). Is (-2 + d/(-9))*-45 a multiple of 15?
True
Suppose 11*g + 194 = 40. Suppose 0 = -2*f - f - 114. Let r = g - f. Is 4 a factor of r?
True
Suppose 4*w = 3*p + 60, 3*w = -p - 2*p + 66. Let n(c) = 10*c - 35. Does 8 divide n(w)?
False
Let a(s) = s**3 - 2*s**2 - 3*s + 3. Let l be a(3). Let r(n) = -n**2 + l*n**2 + 6*n**2 - 6*n**2 - 4. Is 7 a factor of r(3)?
True
Suppose -5*a + 2*n = -16954, 14*a + 4*n = 15*a - 3398. Does 113 divide a?
True
Suppose 17*a - 15397 - 5819 = 0. Does 48 divide a?
True
Let b be 245/(-14)*(-4)/5. Let c = b - 15. Let f(m) = -9*m. Is 4 a factor of f(c)?
False
Suppose 4*q = x + 6, 2*x - 3*q - 18 = 5*x. Let j(d) = 2 - 2 + d**2 - 6 - d. Is 12 a factor of j(x)?
True
Let o(f) = 5*f**2 - 2*f + 1. Let l be o(1). Let b be -2 + 1 - (9 + l). Does 2 divide b/((-6 - -1) + 3)?
False
Suppose -36*b + 33*b = -711. Suppose 277 = 3*n + 5*v, -n - 2*n + b = -3*v. Is n a multiple of 10?
False
Is 64 a factor of (5 - 4)*-4 + -1 + 197?
True
Suppose 13*z = -0*z + 4784. Is z a multiple of 16?
True
Let u(r) be the second derivative of -9*r**5/20 - r**4/6 + r**3/6 + r**2/2 + 7*r + 5. Does 8 divide u(-2)?
False
Let n be (-18)/(-8) + (-6)/24. Let y be (-52)/n*36/(-24). Suppose -5*u = -16 - y. Is u even?
False
Let n = 0 + 4. Suppose -n*y + 9 = 1. Suppose y*j + 3*j = 220. Does 10 divide j?
False
Let f(u) = -u + 10. Let i be f(6). Suppose 0 = -k + i, 0*a - 5*k = -2*a - 12. Suppose 92 = a*n - 4. Is n a multiple of 12?
True
Let s be ((-50)/8)/((-4)/(-16)). Let t be s*(3 - 6)/(-3). Let c = t + 47. Is c a multiple of 13?
False
Is 1/((-1)/444*-2) a multiple of 6?
True
Suppose 941 = 5*d + 191. Does 25 divide d?
True
Let j be 391/153 - (-8)/18. Suppose -j*g + g + 40 = 0. Is 5 a factor of g?
True
Suppose 5*r - 6*n = -5*n + 959, -3*r = 3*n - 579. Does 6 divide r?
True
Let l(a) = 14*a**2 - 5*a - 4. Let u be l(-1). Does 2 divide (-4)/10 - ((-141)/u + -4)?
False
Let a = -180 + 334. Suppose 8*r = 10*r - a. Is 13 a factor of r?
False
Let l = 57 - 54. Is 13 a factor of (-15)/l - 1056/(-11)?
True
Let u be 2*-1*6/(-4). Let p(q) be the first derivative of 11*q**2/2 + 8*q + 169. Is 13 a factor of p(u)?
False
Let g = 9 - 4. Let f(h) = 2*h - 5. Let s(n) = -n + 5. Let a(y) = 2*f(y) + 3*s(y). Does 10 divide a(g)?
True
Suppose 51304 = 19*i + 1087. Is 61 a factor of i?
False
Suppose -j = x - 1444, x - j - 1956 = -508. Is 24 a factor of x?
False
Suppose 2*p = 4*p + 3*r - 62, 2*r + 72 = 2*p. Is p a multiple of 34?
True
Suppose -8*d - 1875 = -3*d. Let p = 264 - 254. Does 12 divide (8/(-5))/(p/d)?
True
Let d be (-5)/(-2) - (-5)/10. Suppose -3*b = -y - 11, 1 = d*b - 2*b - 3*y. Suppose b*c - 3*c - 11 = 0. Does 10 divide c?
False
Suppose -44*t = -39*t + 425. Let d = -51 - t. Is 10 a factor of d?
False
Let l be (-7)/(-3) + (-5)/15. Suppose 0*x - i - 127 = -l*x, i = -5*x + 314. Is x a multiple of 9?
True
Suppose 4*x - 2*x = 800. Suppose -9*j = -4*j - x. Let v = j + -54. Does 26 divide v?
True
Let b = 443 + 326. Does 22 divide b?
False
Let r(l) = -1. Let m(y) = 13*y - 16. Let n(h) = m(h) + 6*r(h). Does 26 divide n(15)?
False
Let k(z) = z**3 + 13*z**2 + 5*z + 32. Is 12 a factor of k(-6)?
False
Suppose 2*p + w + 2*w - 1050 = 0, 1575 = 3*p + 3*w. Is p a multiple of 5?
True
Suppose -4*c + 0*c = -296. Let p(a) = -2*a**2 - 27*a - 10. Let w be p(-13). Suppose g = c - w. Is g a multiple of 14?
False
Suppose 3*y - 3*f = 18, -5*y + 3*f + f + 29 = 0. Suppose -4*w - 394 = -y*r, -2*r + 110 + 41 = 5*w. Is 10 a factor of r?
False
Let u = -187 - -339. Let b = -92 + u. Is 3 a fac