 - 90 = 0. Is 56/252 - ((-2498)/i - 1) a multiple of 35?
True
Let r = 584 + -176. Does 13 divide r?
False
Let w = -15 - -20. Suppose 4*j - 2*y + 90 = 0, 4*j + 85 = w*y + 4. Does 13 divide ((-30)/j)/(1/52)?
True
Is (7069/10 - 5) + 2/20 a multiple of 13?
True
Is ((-5)/3 - -2) + 6125/21 a multiple of 14?
False
Suppose -6*p - 6 = -8*p. Suppose -2*s = 4*x - 48, -p*s + s + 12 = x. Is x a multiple of 3?
True
Suppose 21*c - 17347 = 2*c. Is 83 a factor of c?
True
Suppose -3*n - n = 324. Let z = -45 - n. Suppose 4*u - h = z, 0*h = 2*h. Is 9 a factor of u?
True
Let q(m) = 14*m + 14 + m**2 - 5*m + 7*m + 21. Is q(-24) a multiple of 13?
False
Suppose -158 = 3*t + 112. Suppose 290*l + 3087 = 269*l. Let q = t - l. Is q a multiple of 16?
False
Let u(f) = 8*f**2 - 65*f - 3. Is 6 a factor of u(-5)?
True
Let y = 833 - -757. Does 53 divide y?
True
Let x(k) = -k**2 + 11*k - 2. Let s be x(10). Let h be s + 3 + (-2 - -1). Suppose 2*o = h + 76. Is o a multiple of 11?
False
Does 10 divide (-1 + -14)*(-6)/3?
True
Let m be (-7 - -6)*0/(-2). Suppose 4*f + t - 103 = 0, -f + 5*t + 37 + 15 = m. Is f a multiple of 9?
True
Suppose 2*p - 10*p + 2880 = 0. Is p a multiple of 12?
True
Suppose 1312 = 14*x - 4232. Is 12 a factor of x?
True
Suppose 3*s - 4*l = 2716 + 3486, -5*s + 3*l = -10344. Is 69 a factor of s?
True
Suppose 0 = 2*c + 28 + 64. Let i be c/4*(-12)/2. Does 25 divide i - (4 - (-2 + 4))?
False
Is (-4 - -11) + (7 - -102) a multiple of 4?
True
Let h(k) = k**2 - 6*k + 5. Let o be h(6). Suppose -2*t + 5*t + o*q = 27, 0 = -t - 4*q + 2. Does 9 divide t?
False
Let n(z) = z**2 + 3*z + 8. Let i be n(-6). Let x = -2 + 7. Suppose -114 = -x*d + i. Does 7 divide d?
True
Let y be (-2)/(-7 - (-15 + 6))*-10. Let k(b) = -b - 1. Let v be k(2). Does 14 divide 306/y*(-10)/v?
False
Let v(y) = 3*y**2 - 31*y + 20. Suppose -25*r + 153 = -147. Is 5 a factor of v(r)?
True
Suppose 17 = 4*o - 3. Suppose -4 - 6 = -o*r. Suppose r*a = -3*f + 26, -18 = -2*a - 0*f + f. Is a a multiple of 10?
True
Suppose 6 = -3*i, -5*a + i = -2*i - 31. Suppose -5*x - 52 = -2*y + 59, a*y = -5*x + 225. Does 18 divide y?
False
Let a = -3 - -5. Let h be 2 + a + -2 + 1. Is 11 a factor of (11/h)/((-6)/(-18))?
True
Suppose 0 = -4*r - 2*c + 3168, -9*r + 1584 = -7*r - 3*c. Is r a multiple of 24?
True
Is (-78)/65*-3590 + -3 a multiple of 143?
False
Let a(x) = -x**3 - 6*x**2 - x + 4. Let y(o) = o**2 - 9*o + 2. Let c be y(8). Let t be a(c). Suppose -5*r = 5*q - 70, 3*q + 5*r - 46 = -t. Is q a multiple of 17?
True
Suppose 2*x = 2856 + 436. Is x a multiple of 98?
False
Is -39*((-1 - 9)/(-2) - 35) a multiple of 15?
True
Suppose -45 - 75 = -5*n. Suppose 11 = 2*y - 5*t - 1, t - n = -4*y. Does 3 divide 33/4 + y/8?
True
Let s(o) = -11*o - 269. Does 40 divide s(-46)?
False
Suppose -787 = 5*q - 47. Does 35 divide (-8)/(304/q + 2)?
False
Let x(c) = -6*c**3 - 6*c**2 - 3*c - 1. Is 29 a factor of x(-2)?
True
Let p = -2733 - -4979. Is p a multiple of 12?
False
Let y = -105 + 107. Suppose -4*u = -7*o + 9*o - 310, -y*o = -3*u + 229. Is 11 a factor of u?
True
Let q = -204 + 259. Does 12 divide q?
False
Let d(t) = 260*t - 124. Is d(6) a multiple of 7?
False
Suppose 4*w - 5*u - 647 = 0, -5*w - 458 = 2*u - 1308. Is 7 a factor of w?
True
Suppose -5*i + 3*h = -923, -2*i + 2*h = -5*i + 569. Does 11 divide i?
True
Let z(l) = -8*l + l**2 - 3*l + 0*l + 4. Let m be z(9). Let s = m + 20. Is 3 a factor of s?
True
Suppose -3*i = 15, -4*m - 21 = 6*i - i. Does 30 divide (-6)/(-4) + m*662/4?
False
Suppose 0*u = 9*u + 9. Let h = u - -37. Is h a multiple of 12?
True
Let g(j) = -4*j - 12. Let w be g(-5). Suppose r = 3*r + w. Does 3 divide 3 - 2*2/r?
False
Let i = 32 + -34. Is 14 a factor of -56*((-1)/i)/((-1)/1)?
True
Let v = 1712 + -1010. Is 15 a factor of v?
False
Let j(d) = -d**2 - 5*d + 2. Let c be j(-5). Is 12 a factor of (-357)/(-27) + c/(-9)?
False
Let k = -907 - -961. Does 3 divide k?
True
Let u(z) = 17*z + 659*z**2 + 5*z - 698*z**2 - 27 + 2*z**3. Does 15 divide u(19)?
True
Let q be (-2)/3*(1 - -2). Let t be (-155)/(-10) - q/(-4). Suppose f + 3*d = -2*d + 64, 5*d = t. Is 16 a factor of f?
False
Suppose 5*k + 3 = 6*k. Suppose 147 = 2*j + w, -223 = -3*j - 2*w + k*w. Is 37 a factor of j?
True
Let q = -2893 + 4765. Is q a multiple of 16?
True
Suppose -3*n = -4*n + 12. Suppose -3*q + 69 = 3*l, 2*l + n = 4. Is 2 a factor of 2/6 - (-234)/q?
False
Let u = 229 - 176. Is 2 a factor of u?
False
Let p be 0/(7/(7/2)). Suppose -4*q + 122 + 30 = p. Is 23 a factor of q?
False
Let p(t) be the second derivative of -t**3/2 + 13*t**2/2 + 7*t. Suppose 16 + 8 = -4*w. Is p(w) a multiple of 12?
False
Is 55 a factor of ((-1540)/28)/((-1)/13)?
True
Let k = -5 + -2. Is 6 a factor of 4/(((-28)/12)/k)?
True
Let t = 17 - 6. Let p(f) = f**2 - 14*f + 35. Is 2 a factor of p(t)?
True
Suppose -5*j = -7*j - 0*j. Is 24 a factor of j - -143 - (-7)/(4 + 3)?
True
Let b(y) be the second derivative of y**7/840 - y**6/72 - y**5/12 - y**4/24 - y**3 - 6*y. Let a(n) be the second derivative of b(n). Is 37 a factor of a(8)?
True
Let i(u) = -3*u**2 - u - 1. Let c be i(-2). Let f(d) = 8 + 0 + d**2 + 11*d + 4. Is 10 a factor of f(c)?
False
Let y = 1372 + -954. Is y a multiple of 22?
True
Let a = -5 + 66. Let q = a + -28. Is 11 a factor of q?
True
Suppose -h - 2*h = -48. Let u = 12 - -25. Let i = u - h. Does 21 divide i?
True
Let m(u) = -45*u**3 - u**2. Let a be -27 - (-6 + 2)/2. Let w = 24 + a. Is m(w) a multiple of 22?
True
Suppose 306 = k + 150. Is k a multiple of 13?
True
Let b(l) = -l**3 - 8*l**2 - 7*l + 9. Let u be b(-7). Let p(m) = -m**3 + 9*m**2 + 10*m - 7. Is p(u) a multiple of 14?
False
Suppose 3*r - 4909 = 5*f, 2*f + 3236 = 2*r + 6*f. Suppose -7*q - r = -18*q. Is 35 a factor of q?
False
Let p(r) = -61*r + 2. Let z be p(1). Let n = z + 35. Does 12 divide (-2)/(-8) + (-1146)/n?
True
Let u(p) = 15*p**2 - 13*p - 26. Does 18 divide u(13)?
True
Let u be 0*(4 + -8)/4. Suppose u = -0*w + w - 68. Let h = w + -16. Is 26 a factor of h?
True
Let w(c) = c**3 + c + 34. Let q be w(0). Suppose 5*z - q = -3*i, -i + 5*z - 22 = -0*z. Suppose -5*v + 72 = -i*v. Does 14 divide v?
False
Let o(f) = -46*f**3 + f**2 + 2*f - 4. Let j be o(-3). Suppose j = -3*a + 143. Let z = -258 - a. Is 27 a factor of z?
True
Suppose -3*t + 636 + 1194 = 0. Is t a multiple of 5?
True
Suppose 10*v - 13*v = -9, 2447 = 2*b + v. Does 33 divide b?
False
Let q = 1819 - -7829. Is 34 a factor of 2/(-11) + q/66?
False
Suppose -19*q = 15*q - 22746. Is 15 a factor of q?
False
Let j = 125 - 48. Does 3 divide j?
False
Let x be (-5 + 5 + -7)*2/(-7). Suppose -156 = -x*t - 0*t + 4*r, -435 = -5*t - 5*r. Is 9 a factor of t?
False
Is 8 a factor of (117/27 - 4) + 766/6?
True
Suppose 3*y + 60 = -12*y. Does 25 divide (6/y)/((-9)/300)?
True
Let m(a) = a**2 + 15*a + 115. Is m(8) a multiple of 3?
False
Let z(p) = 2*p - 6*p + 4 - 9*p - 3. Let v be z(1). Let c = 39 - v. Is c a multiple of 7?
False
Is -43*3*-1*(-12)/(-36) a multiple of 3?
False
Suppose 8 - 2 = -3*f. Let o(z) = 2*z + 2 + 10*z**2 + 1 - 1 - z. Does 20 divide o(f)?
True
Suppose -4*l + 13*h + 1631 = 14*h, 4*h + 4 = 0. Is l a multiple of 34?
True
Suppose 5*l = -5*r + 10, -5*r = 3*l + l - 11. Let g be 2/r + 44/33. Suppose -6 = -3*o, o + 154 = 4*f - g*o. Is 20 a factor of f?
True
Let u be 6/9 - (2 + 901/(-3)). Suppose -4*g - 4*f + u = -g, -g + 4*f + 73 = 0. Is 17 a factor of g?
False
Suppose 4*o = -2*j + 464 + 138, 2*j + o - 590 = 0. Let m = j - 204. Is 7 a factor of m?
False
Let m = -60 - -43. Let t = -211 - -282. Let i = m + t. Does 18 divide i?
True
Let v(r) = -r - 2. Let b be v(-4). Suppose c = -s + 6*c + 27, 108 = 4*s - b*c. Is 9 a factor of s?
True
Suppose -4*q = 3*t + 6, 3*t - 2*q + 7 = 19. Let l(a) = -8*a + 9. Let b(m) = -4*m + 5. Let z(j) = 7*b(j) - 4*l(j). Is 7 a factor of z(t)?
True
Suppose 3*z = -v + 3045, 5*z + 3*v - 2247 = 2832. Does 39 divide z?
True
Suppose 18*q - 6010 = 8*q. Is 47 a factor of q?
False
Let k be 30/(-4)*(-24)/36. Suppose 4*l + 216 = 2*i - 0*l, -518 = -k*i - l. Does 8 divide i?
True
Let g(x) = -x - 1. Let z be g(0). Let d be z*(-7 - (0 + 0)). Suppose 3*f - 10 = -0*f - 5*a, -d = -2*f - 3*a. Does 2 divide f?
False
Suppose -4*n - 5*f + 1435 = 0, -4*n + 1008 + 467 = -3*f. Does 23 divide n?
False
Let p = 618 - 170. Is 16 a factor of p?
True
Let a(c) = 4*c**2 - 43*c + 57. Is a(13