ppose 25*x = 29*x - 364. Let r = 241 - x. Is r a multiple of 50?
True
Let s(v) = v**2 - 12*v - 7. Let p be s(9). Let k = p + 47. Does 9 divide k?
False
Let v = -6 - 24. Suppose 4*k - 13 = 19. Let l = k - v. Is l a multiple of 16?
False
Does 8 divide (-2)/13 - 27904/(-208)?
False
Is (78 - 0)*((-8)/(-16))/1 a multiple of 10?
False
Suppose -1551 = -42*q + 2901. Does 57 divide q?
False
Let j(v) = v + 1. Let c(m) = 20*m + 30. Let s(n) = -c(n) + 6*j(n). Is s(-3) a multiple of 3?
True
Let d be 2/(-1)*21/(-3). Let m = d + -9. Suppose 4*u + 40 = 2*v, -2*u + 52 = -0*v + m*v. Is 4 a factor of v?
True
Let l(m) = -m - 15. Let i be l(-13). Let y be 0 + 0 - (-3 + i). Let s = 31 - y. Is s a multiple of 10?
False
Let k(j) = -3*j**2 - 34*j + 29. Is k(-11) a multiple of 20?
True
Let b(z) = z**3 - z**2 - z + 1. Let a(j) = 6*j**3 - 15*j**2 + 12*j + 13. Let g(n) = a(n) - 5*b(n). Is g(9) a multiple of 5?
True
Let w(h) = -h - 8. Let q be w(-13). Suppose -4*c + c + q*b + 209 = 0, 267 = 4*c + 5*b. Does 17 divide c?
True
Let g(t) = 1903*t**2 - 12*t - 11. Is 16 a factor of g(-1)?
True
Suppose 0 = 2*j - 5*h + 16, 0 = -4*j - h + 12. Let f = j - -81. Suppose -4*p + 5*l = -198 - f, 0 = p - 3*l - 72. Is p a multiple of 23?
True
Suppose 9*b = -26*b + 82985. Is 47 a factor of b?
False
Let r(l) = l**3 - 3*l + 2. Let d be (0 - 3) + 8/(-8). Let t be r(d). Let b = -18 - t. Does 13 divide b?
False
Suppose 0 = 5*s - 15 - 5. Let d = s + 35. Suppose 3*v = d - 0. Is 10 a factor of v?
False
Let z(p) = -80*p + 159. Is z(-18) a multiple of 33?
False
Let j(d) = 5*d**2 + 17*d + 55. Is 7 a factor of j(-3)?
True
Is 16 a factor of 2/3*31455/18?
False
Let z(x) = -2*x + 61. Is z(8) a multiple of 5?
True
Suppose -3*l + 8*l + 3*a = 160, -2*l + 5*a + 95 = 0. Let c = l + 89. Does 36 divide c?
False
Let h(b) = 35*b**2 + 13*b - 42. Is 52 a factor of h(3)?
True
Let f(h) be the third derivative of h**4/24 + 7*h**3/3 + 15*h**2. Does 4 divide f(7)?
False
Let k = 2542 + -1759. Is 11 a factor of k?
False
Let u = -637 - -994. Is 12 a factor of u?
False
Let m be 8/60 + 28/15. Suppose 3*d - 138 = -3*f, m*d - 2 = -f + 39. Is f a multiple of 16?
False
Let l(b) = 3*b**2 + 4*b - 4. Does 10 divide l(4)?
True
Let p(n) = -3*n - 5. Let t be (-25)/4 - 1/(-4). Let f(m) = -2*m - 4. Let s(j) = t*f(j) + 5*p(j). Is s(-11) a multiple of 24?
False
Let h(g) = -10*g + 17*g - 10*g + 15. Let o be h(5). Let p(y) = -y**3 + y**2 + y + 83. Is p(o) a multiple of 15?
False
Suppose -6*f + 13*f + 98 = 0. Is (-1740)/f - (-4)/(-14) a multiple of 31?
True
Let u = 11 + -9. Suppose -6*w + u*w + 12 = 0. Suppose w*s = -3*b + 87, -3*b = -2*s + b + 88. Is 21 a factor of s?
False
Let z = -12 + 20. Suppose 2*g + z = -4*j, 5*j + 0*j + 13 = -4*g. Is 12 a factor of (-220)/(-6) + g/3?
True
Is 47 a factor of 3769 - 12/(-60)*-45?
True
Let d(r) = -r**2 - r + 2. Let g be d(1). Suppose -2*x = 5*t - 18, -2*t + 2*x - 7*x + 3 = g. Suppose -4*m + t + 8 = 4*n, -m + 18 = 4*n. Is n a multiple of 5?
True
Let g = 180 - 92. Let r = g + -46. Is r a multiple of 9?
False
Suppose -12*b + 3 = -15*b, 5*b + 2268 = c. Is 73 a factor of c?
True
Let j be -1*4/(16/(-4)). Suppose -a + 6 = j. Suppose -a*s + 81 = -4*t, -2*t = s - 2*s + 15. Does 17 divide s?
True
Suppose -h - 3*l = 4, 0 = -7*h + 2*h - l - 6. Does 14 divide -3 - (h + 253)/(-3)?
False
Let z(h) = -68*h - 5. Let v(f) = -2*f**2 + 29*f + 14. Let i be v(15). Is z(i) a multiple of 15?
False
Suppose -189*j + 181*j = -15928. Is 14 a factor of j?
False
Is 55*(-340)/(-15) - (-2)/6 a multiple of 29?
True
Suppose -4*a = -2*v + 3190, -v + 3*a = v - 3188. Is v a multiple of 37?
True
Suppose 2*b + 16 = 8. Let q(j) = j**3 + 4*j**2 + j + 4. Let c be q(b). Does 23 divide (c - 23)/(12/(-24))?
True
Suppose -2*s + 2*g = -5*s - 11, -2*s + 4*g = 2. Let i(q) be the third derivative of q**6/120 + q**5/12 + 5*q**4/24 + 5*q**3/6 + q**2. Does 8 divide i(s)?
True
Let l(i) = 2 + 12*i**2 + i**3 - 7*i + 3 + 8. Let z be l(-12). Let p = z - 60. Is p a multiple of 10?
False
Suppose 2*b - 5*g - 1215 = 0, 3*g = -3*b + 2095 - 304. Is 14 a factor of b?
False
Suppose -6 = -2*k - k. Suppose 0 = 5*u + 5, t - u - 34 = -k*u. Is 35 a factor of t?
True
Let x(u) be the third derivative of -u**6/120 - u**5/12 - u**4/24 - u**3/2 - 2*u**2. Let a be x(-5). Is 4 a factor of a*((-108)/(-8))/3?
False
Let s = -178 + 379. Does 10 divide s?
False
Suppose -5*z + 2*z = -3*m + 6, 4*m = -3*z + 8. Suppose -p + 155 = 2*w - 0*w, -m*p + 158 = 2*w. Does 38 divide w?
True
Suppose -37*k + 35*k + 2 = 0. Let j(h) = -62*h + 11. Let r(z) = -21*z + 4. Let y(w) = -6*j(w) + 17*r(w). Is y(k) a multiple of 4?
False
Suppose 6*k = 91 + 1061. Is k a multiple of 10?
False
Suppose 2150 + 34 = 4*w. Does 26 divide w?
True
Suppose -2 = -u + 7. Suppose -2*l - 3*z - u = 0, 0 = -4*l - z - 4 + 1. Suppose 5*i + 0*i - 360 = l. Is i a multiple of 24?
True
Does 16 divide 28/(-7) - -3 - -278?
False
Suppose -19*m + 21*m - 3588 = 0. Does 108 divide m?
False
Let g(u) = u**3 - 7*u**2 + 4. Let f be g(7). Suppose 4 = 4*l + f*b, -4*l - 4*b - 31 = -7*l. Suppose -8*d + 81 = -l*d. Is 16 a factor of d?
False
Let h(t) = -t**3 + 11*t**2 + 44*t - 10. Is h(13) a multiple of 4?
True
Suppose 4*o + 741 = a, -3*o = -4*a + 9*a - 3705. Is 86 a factor of a?
False
Let a be (15/(-6) - 0)*20. Let g = -32 - a. Suppose -3*f = -0*f - g. Is f a multiple of 4?
False
Suppose 0 = -p + 293 + 715. Let b = p + -576. Suppose -3*a - 2*l + 540 = 2*a, l = -4*a + b. Does 31 divide a?
False
Let l = -2339 - -4373. Is 43 a factor of l?
False
Let h = 3760 - 678. Is 67 a factor of h?
True
Suppose -2*p + 44 = -3*a, 4*a - 4*p - p = -68. Is (-498)/a - (-9)/(-6) a multiple of 10?
True
Let g = -83 + 70. Let t = 271 + g. Is 31 a factor of t?
False
Let w(i) be the second derivative of -i**3/3 - 44*i. Suppose 0 = -5*o - 3*l - 8 - 15, -3*o = -2*l + 29. Is 11 a factor of w(o)?
False
Suppose 0 = -y + 8 - 2. Does 14 divide (129/y)/(7/14)?
False
Let z(u) = -u**2 - 7*u - 4. Let a be z(-2). Let q = 12 + a. Is q a multiple of 9?
True
Let m(y) = 5*y**3 - 40*y**2 - 2*y - 19. Does 29 divide m(10)?
False
Let x(b) = 5 - b**2 + b + 2 - 8*b. Suppose 0 = -4*z + 5*t - 3, 19 = 6*z - 8*z - t. Is 7 a factor of x(z)?
True
Suppose -4*l + v = -1625, 4*l - 2*v - 1257 = 373. Suppose -3*j + a + l = -121, 0 = 5*j + 3*a - 886. Suppose -2*t + j = -0*t. Is t a multiple of 23?
False
Let w(f) = -16*f + 9. Let l be w(-4). Suppose -l*b - 51 = -76*b. Does 2 divide b?
False
Let l(f) = -6*f. Let p be l(-8). Suppose -5*b + p = -57. Is b a multiple of 3?
True
Suppose -5*x = 2*c - 274, 0 = -3*c - 3*x + 596 - 167. Is 3 a factor of c?
True
Let j(k) = 10*k - 16. Let a(i) = i**3 + 5*i**2 - 13*i + 13. Let v be a(-7). Is j(v) a multiple of 15?
False
Let n = -44 - -97. Let a = 143 - n. Is a a multiple of 15?
True
Let s(t) = t**2 - t - 23. Let l(c) = -c**2 + 1. Let m(u) = -2*l(u) - s(u). Does 18 divide m(9)?
False
Suppose 2*n + 5*f = 387, 3*f = 3*n + 6*f - 567. Does 9 divide n?
False
Let f(s) = -16*s**2 + s + 1216. Does 45 divide f(0)?
False
Suppose -5*z - 2*z + 2730 = 0. Suppose 8 = -2*f - 3*b - 9, -2*f = 4*b + 16. Does 13 divide (z/(-25))/(3/f)?
True
Let n = -194 - -223. Is n even?
False
Suppose 0*z + 5*z + 2*g - 465 = 0, -z - 2*g + 85 = 0. Is 6 a factor of z?
False
Suppose b + 4*t - 17 = -0*b, 5*t = -4*b + 35. Let x(l) = 6*l - b - 8 + 2 - 1. Is x(10) a multiple of 6?
True
Let n(m) = m**3 - 3*m**2 - 4*m - 11. Suppose -u - 3 = 0, -s - 2*u = -3*u - 8. Is n(s) a multiple of 5?
False
Suppose 639*v = 637*v + 3502. Is 26 a factor of v?
False
Let q be (2/1)/(-2) - -4. Suppose -14*k = -10*k + 16, -3*k + 213 = -5*t. Does 6 divide ((-2)/5)/(q/t)?
True
Suppose 3*j + 32 = 182. Suppose 10*r - j = 9*r. Is 10 a factor of r?
True
Let m(l) = 2*l**2 - l - 2. Let r = -10 + 6. Let x be m(r). Suppose 2*i = -3*y + 34, x = 2*i + 2*y - 0*y. Is i a multiple of 17?
True
Suppose -2*r + 400 = -2*f - 746, 579 = r + f. Is r a multiple of 64?
True
Does 14 divide 5518*(-3)/(-9) - 92/(-138)?
False
Suppose -2*v + 444 = -2*c, v + 4*c + 11 = 223. Suppose 0 = -0*o + 3*o + 9, 5*o = -5*z + v. Is z a multiple of 44?
False
Let t(a) be the first derivative of -a**4/4 - a**3 + 4*a**2 - 6. Let h(m) = m - 6. Let k be h(0). Is t(k) a multiple of 20?
True
Is 18 a factor of 1020 + 7 + 98/(-7)?
False
Let l be -1 + (-2 - -4) + 1. Suppose l*r - 4 = 2. 