 divide a?
True
Suppose 20201 + 4442 = 3*c - 5*k, 3*k + 8205 = c. Does 65 divide c?
False
Let y = -1271 + 2733. Does 17 divide y?
True
Let i = 63 + -56. Let w(m) = 4*m - 23. Let r be w(i). Suppose -4*z - r*f + 191 = 0, -3*z + 2*f = f - 148. Is 49 a factor of z?
True
Let t(h) = 0*h**3 + 18 - 29*h + 17*h - 3*h**3 - 2*h**2 + 23*h. Does 16 divide t(-5)?
True
Let m = -248 + 129. Is 98/(-2 - 252/m) a multiple of 7?
True
Let n be (-7 - -5) + 3*6/2. Suppose -6*s + 268 = -2*s. Let f = s - n. Is 10 a factor of f?
True
Let r = -196 + 2948. Is 7 a factor of r?
False
Let z = 120 - -40. Let b = z - -277. Does 21 divide b?
False
Suppose -49*r = -14*r + 140. Does 4 divide (r - 0)/(32/(-1952))?
True
Suppose z - 3*f = 3, 4*f - 12 = -0*z - 4*z. Let v(d) = 4 - z + 2 - 4*d. Is v(-1) a multiple of 3?
False
Let r be ((-11)/22)/(2/216)*1. Is ((-144)/r)/((-2)/(-30)) a multiple of 10?
True
Suppose -5760 = -5*n - 4*t + 16267, 13223 = 3*n - t. Is n a multiple of 8?
False
Is 29 a factor of 7*(32876/28 - 6/2)?
False
Let s = 152845 + -108155. Is 22 a factor of s?
False
Suppose -4*q - 8 = -3*r, -5*r + q + 45 = 9. Suppose -r*j - 200 = -13*j. Suppose -b + 19 = -5*n + 3, -5*n - j = -5*b. Does 6 divide b?
True
Let k(n) = 5*n - 45. Let h be k(9). Suppose 6*i - i - 4*m - 2252 = h, 3 = -m. Does 35 divide i?
False
Let c be ((-6)/36*-3)/((-2)/56). Let g(s) = -s**3 - 10*s**2 - 21*s - 28. Is g(c) a multiple of 42?
True
Let u be (-6 + 4)*6*2. Is 18*2*(-78)/u a multiple of 18?
False
Suppose -73*k = -71*k - 5672. Does 15 divide k?
False
Suppose -4*s + 3*y = 1545, 5*y = 3*s + 838 + 318. Let g = s - -484. Is 4 a factor of g?
False
Suppose -4*a + 3*o + 18 = 0, 4*o = 5*a + 9*o - 5. Let s(w) = 75*w - 36. Is 27 a factor of s(a)?
True
Let w(i) = 21*i**3 - 11*i**2 + i - 4. Let p(f) = 52*f**3 - 21*f**2 + 3*f - 8. Let m(g) = 2*p(g) - 5*w(g). Let q = 30 - 18. Is 20 a factor of m(q)?
True
Suppose 4*w + 28 = 5*w - 5*j, -4*w + 3*j = -27. Suppose -2*f + 5*t = -2648, -3*t + 6*t - 3993 = -w*f. Does 16 divide f?
False
Suppose -6*i = -7*i + 70. Let w be (-2)/7 - (-3100)/i. Suppose 2*u + 5*h = 96 + w, 2*u - 136 = -4*h. Does 21 divide u?
False
Let r(i) = 3*i - 12*i - 19 + i - 30 - i. Let n(s) = -8*s + 3. Let j be n(2). Is 4 a factor of r(j)?
True
Let o = -20476 - -30092. Is 65 a factor of o?
False
Let p(d) be the second derivative of 49*d**2 + 1/3*d**3 + 0 - 12*d. Does 21 divide p(0)?
False
Is (201/134*(-91)/3)/(6/(-972)) a multiple of 175?
False
Suppose 7*x - 4452 = -0*x. Let v = x + -316. Suppose 0 = -3*a + 5*g + 200, v = 5*a + 5*g - 0*g. Is a a multiple of 22?
False
Let i = 17291 - 9607. Is i a multiple of 17?
True
Suppose -4*i + 10200 = 2532. Is i a multiple of 9?
True
Suppose -4*b + 3*p + 62333 = -10738, 0 = 5*b + 3*p - 91359. Does 87 divide b?
True
Let i = 23 + 2. Let u = 26 - i. Let t(g) = 85*g + 3. Does 17 divide t(u)?
False
Suppose -4*p = -209 - 595. Suppose -5*y = 4*w + 243, -5*y - w - p = -y. Is 34/y + -86*2/(-6) a multiple of 14?
True
Let v be 16/72 + 86/18. Suppose r - 2*a - 95 = 0, 7*r - 2*r + v*a - 400 = 0. Suppose 0 = -2*x + 55 + r. Does 35 divide x?
True
Let g(j) = 3*j + 7. Let z be g(0). Does 32 divide -5 - (-270)/(z + -5)?
False
Suppose -4*p = -203 - 97. Let x be (-5)/(p/27)*-115. Suppose 5*m + x = 4*o, -255 = -5*o + 5*m - 0*m. Is o a multiple of 16?
True
Suppose 2*i - 3*l - 2927 = 1498, -4*l = 5*i - 11005. Is 4 a factor of i?
False
Suppose 2*i + 8 = -3*s, 2*i = 2*s - 13 + 5. Suppose -56*z + 55*z + 28 = s. Suppose z = l - 4*q, -3*l = 5*q - 6*q - 73. Does 24 divide l?
True
Let y(p) = -11*p - 145. Let u(o) = -12*o - 146. Let v(m) = -5*u(m) + 4*y(m). Is 47 a factor of v(36)?
False
Let t(i) = 51*i - 4. Let g(w) = -101*w + 8. Let l(b) = -6*g(b) - 11*t(b). Let v be l(6). Suppose 5*k = -5*j + 149 + v, -4*j = 4. Is k a multiple of 11?
False
Let z = -125 - -161. Suppose -5*y + 4 = -z. Is 12 a factor of -2*(1 - 252/y)?
False
Let t = -81 - -405. Suppose -w - t = -3*k + 4*w, -4*w = -k + 108. Suppose -k = -3*s - 4*d, s - 36 = -0*s + 4*d. Is s a multiple of 17?
False
Let r(s) be the second derivative of -149*s**3/3 + 4*s**2 + 5*s + 27. Does 13 divide r(-1)?
False
Let p = 92 - 90. Suppose p*s - 7*s = k - 52, -3*k = 5*s - 166. Is k a multiple of 8?
False
Let f(d) = -d**2. Let k(j) = 3*j**2 + 7*j + 1. Let w(a) = -4*f(a) - k(a). Let t be w(6). Let m(y) = -y**2 - 14*y + 17. Is m(t) a multiple of 17?
False
Let d(i) be the third derivative of -2*i**6/15 + i**5/60 + i**4/24 - i**3/2 + i**2 - 19*i. Does 5 divide d(-2)?
False
Let s(l) = 27*l**3 + l**2 - 3*l + 1. Let b be s(1). Let y be (-2 - b/(-12)) + (-146)/12. Is 1 + 47 + 6*8/y a multiple of 44?
True
Let b(a) = 798*a + 447. Does 30 divide b(19)?
False
Suppose 5*o - 148 = 3*h, -150 = 4*o - 9*o + 5*h. Suppose -o*y + 32*y = 9. Suppose -5*u - 30 = i - 6*i, -4*i = -y*u - 27. Is 3 a factor of i?
True
Let u = -59 + 60. Let l(w) = -u + 35 - 35*w + 73*w - 37*w. Is l(-11) a multiple of 15?
False
Suppose 2*q - 10 + 2 = 0. Suppose 4*z - 192 = t, q*z + 5*t - 102 = 66. Is z a multiple of 21?
False
Suppose 4*n = 3*g - 26, 0 = g + n + 3 - 0. Suppose -4*k + 880 = -4*o, 4*k - g*o - 117 = 771. Does 7 divide k?
True
Let c = -5850 - -14240. Is c a multiple of 5?
True
Let f(t) = -6*t + 2. Let q be f(-6). Let u = q + -39. Is (u + 0)*(-321)/3 a multiple of 17?
False
Let u(j) = -j**3 + 11*j**2 - 8*j - 14. Let h be u(10). Suppose h*f - 7*f = -4. Is f/10 - (-5406)/85 a multiple of 16?
True
Let v(a) = -22*a + 4. Let p = 68 - 75. Let r be v(p). Let w = -81 + r. Does 16 divide w?
False
Suppose -6*v = -5*v + 2*p - 34, v + 5*p = 28. Suppose v*h = 34*h + 172. Is h a multiple of 7?
False
Suppose 0 = 27*b + 27*b - 0*b - 540000. Does 20 divide b?
True
Let v = 13980 - -9620. Is v a multiple of 20?
True
Let p = -1144 + 1503. Does 23 divide p?
False
Let r = -790 + 1149. Let l(p) = 3*p - 23. Let t be l(10). Suppose -t*w = -103 - r. Is w a multiple of 4?
False
Let m = -1104 - -3196. Does 64 divide m?
False
Let y(i) = 2*i**2 + 5*i + 5. Let h be y(0). Suppose -h*g + 305 = 5*x, -x + 0*g + 41 = 5*g. Is x a multiple of 33?
True
Suppose 0 = -20*y + 8*y + 12480. Suppose -3*o + y = -361. Does 4 divide o?
False
Let j(g) = g**2 + g + 1. Let t(c) = -c**2 - 2. Let d(b) = -5*j(b) - 4*t(b). Let r be d(-4). Let i(f) = -f**3 + 6*f**2 + 12*f - 10. Is i(r) a multiple of 13?
False
Let q = 21 - 26. Let n(v) = v**2. Let i(s) = s**2 + 2*s + 69. Let z(j) = q*n(j) + i(j). Is 5 a factor of z(0)?
False
Let l be (1266/(-5))/1 + 60/(-75). Let d = l - -270. Is d a multiple of 4?
True
Let m be (-1)/((-5)/2)*760/8. Suppose 0*w + 2*w - m = -2*u, -42 = -2*w - 3*u. Is 8*70/w*3 a multiple of 10?
False
Let g(u) = u**3 - 1. Let o(k) = -18*k**2 + 16*k + 3. Let i(m) = 3*g(m) + o(m). Does 4 divide i(6)?
True
Let l = 2003 + -1977. Let b be ((-42)/(-5))/((-1)/5). Let j = l - b. Does 10 divide j?
False
Let j(f) = f**2 - 6 + 25 - 12 + 5*f + 28. Is 10 a factor of j(-18)?
False
Let i = 28061 + 19028. Is i a multiple of 49?
True
Let a be ((-189)/108)/(17/16 - 1). Let z be (88/10)/((-16)/(-120)). Let c = z + a. Is c a multiple of 19?
True
Let z = 51 - 48. Suppose -34 = -z*m + 5*n - 2, -2*m = -3*n - 22. Is (-1)/((-2)/m)*(27 + 2) a multiple of 29?
True
Let y(t) = 2*t - 14. Let z be y(7). Suppose z = 3*k + 60 - 177. Is 9 a factor of 2/3 - (-325)/k?
True
Let a(j) be the first derivative of 20*j**2 + 101*j + 111. Does 24 divide a(5)?
False
Suppose 9 = 3*y + 3, 3*b = -5*y + 2485. Suppose r = 6*r + 5*i - b, 5*r - i = 801. Let x = 263 - r. Does 17 divide x?
True
Let q(c) = -2*c**3 - 5*c**2 + 2*c + 19. Let p be q(-8). Suppose p = 3*l + 4*a, 0 = 7*a - 10*a - 12. Is l a multiple of 3?
False
Let b(t) be the first derivative of 4*t**4 + 5*t**3/3 + 11*t**2/2 + 90. Is 41 a factor of b(4)?
True
Suppose -3*z - 2658 = -3*d + 1416, 4*z - 5440 = -4*d. Suppose -s + 24*p = 19*p - 441, 3*s - 3*p = d. Is 12 a factor of s?
True
Suppose 0 = -43*b + 491 + 197. Let s = 9 + -4. Suppose -2*j + 2*n = -b, 0 = -j + s*n - n + 8. Does 8 divide j?
True
Suppose 2*g - 858 = 4*i, -i + g = -3*g + 218. Let n = -167 - i. Is 4 a factor of n?
False
Suppose -4*p - 4*b - 168 = 0, -p - 50 + 0 = 3*b. Let i be p/(-95) - (-53)/5. Suppose 3*x = 2*h + 18, 0*h = -x - h + i. Is 8 a factor of x?
True
Let q(s) = s**2 - 12. Let u be q(-4). Let b be (0 + 1)/(1 + 1)*u. Suppose 114 - 202 = -b*l. Is l a