) a multiple of 7?
False
Let h = -254 - -493. Is h a multiple of 7?
False
Suppose -5*j = -93 + 113. Is 3 a factor of 10/j*(-78)/65?
True
Let n(l) = 45*l - 199. Is n(9) a multiple of 4?
False
Let f(l) = -2*l**3 + 2*l**2 - l + 8. Let b be f(0). Does 16 divide -5*b/((-120)/369)?
False
Suppose -r + 12 = 3*r. Let n(p) = -9 - p - 2*p - 7*p**2 + p**r + 6. Does 14 divide n(8)?
False
Let s be 2 - (4 + -2 + 2). Is (279/27)/((-1 - s)/6) a multiple of 9?
False
Let g(d) = 64*d - 388. Is g(17) a multiple of 70?
True
Let w be 4/(-10) + (-1092)/(-30). Let x be 70/(-4)*w/21. Does 5 divide 7/((-21)/x) - -3?
False
Let u(g) = -5*g**2 - 3*g - 4. Suppose -4*m - 2*p + 26 - 6 = 0, -p = -m + 2. Let f be u(m). Let r = 153 + f. Is 16 a factor of r?
False
Let z be (-2*3 + 1)*78/130. Let f(r) = -r**3 + r**2 - 3*r. Is 3 a factor of f(z)?
True
Suppose -4*w + 46 + 150 = 0. Let a = 3 - -2. Suppose w + 66 = a*p. Is p a multiple of 23?
True
Let m(k) = k**2 - 6*k + 1. Let i be m(-6). Suppose f + i = 2*v, 2*v - 3*v = 4*f - 23. Suppose 3*n = v + 19. Is 6 a factor of n?
True
Suppose 718 = 5*r + 4*t, 4*r + 6*t = t + 578. Is 82 a factor of r?
False
Suppose 108794 = 58*u - 4364. Is 90 a factor of u?
False
Let y = 9 - 20. Does 6 divide 4 - (4 + -1 + y)?
True
Suppose 512 = 3*k + 428. Does 12 divide k?
False
Suppose -2 = -5*f - 2*q, 3*f - 4*q = -3 - 1. Suppose r + 0*r = f. Suppose r*c - 15 = -c. Is c a multiple of 3?
True
Suppose -5*x + d = -175, 3*x = d + d + 112. Suppose 86 = z - x. Does 20 divide z?
True
Suppose 0 = 184*x - 185*x - 3*k + 1680, -2*x - 2*k + 3368 = 0. Is x a multiple of 19?
False
Let m(b) be the first derivative of 31*b**3/3 + 3*b**2/2 - b + 1. Let k be m(2). Let y = k - 60. Is y a multiple of 17?
False
Let v = 1569 + -1173. Is 22 a factor of v?
True
Let m = 23 - 20. Suppose 2*z - m = h, -1 = -z - 2. Let j = h + 15. Is j even?
True
Is 28/4 + 1686 + -18 a multiple of 17?
False
Suppose u = -3*u. Suppose b + 72 = 3*l + 5*b, -2*l - 3*b + 48 = u. Suppose -4*j + 45 = -4*w - w, -2*j + 4*w = -l. Does 10 divide j?
True
Let t(r) = 44*r - 11. Let g be t(-2). Let q = -34 - g. Is q a multiple of 13?
True
Suppose -5*x = -5*h + 366 - 21, -336 = 5*x - 2*h. Is x/(-5) - 2/10 a multiple of 13?
True
Suppose -5*y = -5*n + 4*n + 77, 4*y - 240 = -5*n. Let o = n + -23. Is 25 a factor of o?
False
Suppose -5*h = -35*h + 29400. Is h a multiple of 10?
True
Suppose 0*p = p. Suppose 4*n - 7*n + 90 = p. Let l = -12 + n. Does 4 divide l?
False
Suppose u - 3*u - 277 = -5*w, -2*w - 368 = 3*u. Does 6 divide u*(4 - (-204)/(-42))?
True
Let h = 17 + -37. Let f = -3 - h. Does 17 divide f?
True
Let s = 480 + 370. Is 25 a factor of s?
True
Let i(j) = -12 - 5*j + 7*j - 4*j. Let z be i(-10). Suppose 55 = 3*n - z. Is 13 a factor of n?
False
Let o(g) = g**2 + 9*g + 3. Let r be o(-9). Suppose -b - 3 = 0, -b - 138 = -r*c + 3*b. Is c a multiple of 21?
True
Let h(w) = 4*w + 13. Let v(l) = 16*l + 52. Let i(p) = -9*h(p) + 2*v(p). Suppose 0 = 6*k - 3*k + 36. Does 7 divide i(k)?
True
Let g = 48 + 1. Does 14 divide 11 + g + -4*1?
True
Let a(i) = -2*i**2 + 6*i + 4. Let y(s) = -s**2 + 5. Let k be y(-3). Let l be a(k). Let d = -35 - l. Is d a multiple of 4?
False
Suppose 0 = -4*i - 2*v + 34 + 42, 78 = 4*i + 3*v. Suppose w + 27 = 2*p + 2*w, 2*p - i = 2*w. Is p even?
True
Suppose 4*s = 2*s. Let l be 8/(-8) + (s - 6). Let j(d) = d**3 + 8*d**2 + 2*d - 7. Is j(l) a multiple of 7?
True
Suppose g = -6 + 47. Let w = 39 - g. Is 5 a factor of (-405)/6*w/3?
True
Let n = -73 + 74. Is (-3 - (-5)/n)*(-447)/(-6) a multiple of 20?
False
Let i be (-12)/(-18)*(4 - 1). Suppose i*m - 5*a = 91, -3*a = 5*m - 5*a - 217. Does 30 divide m?
False
Suppose -130*o + 133*o = y - 356, 3*y - 998 = -5*o. Does 11 divide y?
True
Suppose -35 = -5*z + 5*c, 6*z - 3*z + 2*c = -4. Suppose 0 + z = t. Is (-39)/(-9) - t/6 a multiple of 4?
True
Let q(i) = i**2 - i + 2. Suppose 5*l + 4 = 14. Let n be q(l). Suppose -o = n*o - 60. Does 6 divide o?
True
Let m be 4/(-6) + 580/15. Let v = 74 - m. Does 9 divide v?
True
Let d = 863 - 555. Does 14 divide d?
True
Let s be (-2 + 2/1)/(-1). Suppose 0 = -s*x + 6*x - 282. Is x a multiple of 7?
False
Let p be 2 + 87/(1 + 0). Let s = p + -50. Let m = 64 - s. Is m a multiple of 5?
True
Let t = -29 + 25. Let s(u) = -3*u**3 - 4*u**2 + 4*u - 5. Does 26 divide s(t)?
False
Does 40 divide (-1472 + -8)/((-13)/26)?
True
Let z(g) = -37*g - 7. Let s be z(-9). Let l = s - 117. Suppose 4*v - 43 - l = 0. Does 21 divide v?
True
Let r(l) = l + 24. Let t be r(-6). Suppose 0 = 4*u - 5*s - 168, -u + 2*u = 2*s + 42. Let y = u - t. Is 7 a factor of y?
False
Let v = 328 + -194. Is v a multiple of 11?
False
Let b be -2 - (2*(2 - 1))/(-1). Suppose b = 3*f - 0*f + h - 37, 3*f - 5*h = 31. Is f a multiple of 4?
True
Suppose 22*k - 3475 = 17*k. Is k a multiple of 60?
False
Suppose -2*t + 5*h = -7*t + 395, 4*t - 307 = 5*h. Suppose -10*l = -9*l - t. Is l a multiple of 10?
False
Suppose 7*o = -44 + 9. Is 19 + o + -4 - -2*1 a multiple of 4?
True
Suppose -4*r - 4*v = -916, 71*r = 66*r - 4*v + 1147. Does 11 divide r?
True
Let x(j) = j**2 + 11*j - 20. Does 11 divide x(-19)?
True
Let x be (6/4)/(81/(-108)). Is -1 - (-156 - x - (1 + 0)) a multiple of 13?
False
Let p be 186/(-3*3/6 - -3). Suppose 148 = 2*a - p. Is 17 a factor of a?
True
Let g = 22 + -15. Is 39/g + 9/21 a multiple of 3?
True
Let b be -16*(-4)/((-8)/(-6)). Suppose 0 = 3*z - 3*o - 198, -z - 2*o + b = -3. Suppose -z = -5*w + 104. Does 11 divide w?
True
Let a be 1/3*(-234)/13. Does 4 divide (a/(-15))/((-3)/(-45))?
False
Suppose 4*a + 685 - 3709 = 0. Does 24 divide a?
False
Let z(b) = -3*b + 30. Let y be z(9). Suppose -2*o - 3*l + 73 = 0, 0 = o + y*l + 8 - 46. Is 7 a factor of o?
True
Let x = 8 - 9. Let m = x + 4. Does 18 divide 98/m*39/26?
False
Let o = -29 - -231. Does 34 divide o?
False
Let v(m) = -2*m**3 + 5*m**2 + 10*m - 12. Does 6 divide v(-6)?
True
Let h(u) = 2*u**2 - 7*u + 25. Let i be h(6). Is 16 a factor of (-6)/10 + 6193/i?
True
Let r(u) = 3*u**2 + u. Let d be r(-1). Suppose -4 + 2 = -p, 5*z - 86 = d*p. Is 2 + -2 - z/(-3) even?
True
Suppose -h = 2*h - 240. Does 10 divide h?
True
Let l(g) = g - 11. Let x = 80 + -61. Does 8 divide l(x)?
True
Suppose -10*w + 1005 + 165 = 0. Suppose -2*y - r = -w - 180, -2*r + 294 = 2*y. Does 25 divide y?
True
Let o = -269 + 457. Is 6 a factor of o?
False
Let t be (-4220)/(-16) + 1/4. Is 20 a factor of t/2*(-3)/(-6)?
False
Let a(f) = -9*f - 2. Let i be a(1). Let d(y) = 4*y + 15. Let p(h) = -8*h - 31. Let b(m) = -5*d(m) - 2*p(m). Does 9 divide b(i)?
False
Let m(r) = 1328*r**2 - 81*r - 80. Does 10 divide m(-1)?
False
Let g(k) = k**3 + 4*k**2 - 11*k + 7. Let m be g(-6). Is 5 + 1 + -6 + m + 389 a multiple of 39?
True
Suppose -2*n - 3*a = 4 + 8, 5*a = -3*n - 20. Suppose 1 = v + 4*j - 12, 3*v - 17 = -j. Suppose 2*b - v*b + 15 = n. Is b a multiple of 2?
False
Suppose -4*o + 1131 = z, -3*z - 291 = -o - 6*z. Is o a multiple of 7?
False
Suppose -4*t + 10974 = r, 13726 = -73*t + 78*t - 3*r. Does 49 divide t?
True
Suppose -7 + 179 = 2*f - a, 5*f + 5*a = 430. Let m = -46 + f. Is 8 a factor of m?
True
Let i = -4 + 7. Suppose -3*t - 22 - 8 = 3*c, -16 = i*t - 4*c. Is 3 a factor of 2*2*(-22)/t?
False
Let p = 28 + -25. Suppose p*i - 45 = 48. Does 9 divide i?
False
Let k(w) = -2*w**3 + w**2 + w. Let g be k(-1). Let n be ((-4)/3)/(g/12). Is 6 a factor of 2 - -1*n/(-2)?
True
Suppose 5*a - 16 = 4. Suppose -6*c + a*c = -84. Is c a multiple of 7?
True
Let g = -197 + 258. Is g a multiple of 8?
False
Let q = 19 - 16. Suppose -2*d + 0*d + 112 = 2*b, -q*b + 172 = 2*d. Is 12 a factor of b?
True
Let y = 2 - 0. Suppose -3*d = -y*d - 6. Suppose -d*h + 5*h = -34. Is 18 a factor of h?
False
Let u = -40 - -42. Let f(a) = 3 - 11 + 5*a**u + 7*a - 2*a**2 - 2*a**2. Is 13 a factor of f(-12)?
True
Let w be 6 + -3 + 2 - (-3)/(-3). Suppose 3*o + 0*o - 3*h = 33, -2*o = 4*h - 4. Suppose -o = -w*a + 92. Is a a multiple of 17?
False
Let n = -6 + 8. Suppose -2*k - o = -44, -3*k - 3*o + n*o + 64 = 0. Is 8 a factor of k?
False
Suppose -3*x - 5*m + 1170 = 0, 27*m = 31*m - 12. Is 16 a factor of x?
False
Suppose 334 + 855 = h - 3*b, -2*h + 2*b + 2362 = 0. Does 17 divide h?
False
Suppose -2*p = -7 + 3. Suppose 0 = -3*x + 5*q + 657, -871 = p*x - 6*x + 5*q. Suppose 2*w - 5*y - 169 = 0, x - 50 = 2*w - 4*y. Is 30 a factor 