se t*r = r + 61. Is r a multiple of 15?
False
Let y(m) = 8*m**2 - 19*m - 1. Does 14 divide y(7)?
False
Let m(z) = -7*z - 12. Let c(f) = -7*f - 12. Let h(r) = 2*c(r) - 3*m(r). Does 31 divide h(10)?
False
Let c(l) = 27*l**2 - 37*l + 6. Let b(f) = 13*f**2 - 18*f + 3. Let j(r) = 13*b(r) - 6*c(r). Is j(5) a multiple of 20?
False
Let g = 4 + -6. Let d(t) = 4*t - 18. Let c be d(2). Let q = g - c. Does 4 divide q?
True
Suppose -22*s + 6*s + 8704 = 0. Suppose 0 = 6*w - 374 - s. Does 14 divide w?
False
Let v(o) = 38*o**2 + 17*o - 135. Does 52 divide v(6)?
False
Let v(q) = 28*q**2 + 2*q + 4. Let l be v(-2). Suppose 3*p - 260 = l. Is 14 a factor of p?
False
Suppose 0 = 4*f - 15*f + 737. Suppose -4*m = 34 - 86. Suppose f - m = d. Does 14 divide d?
False
Let f = 15 - -180. Suppose -2*i = -7*i + f. Does 4 divide i?
False
Let d = -2109 - -3579. Is d a multiple of 15?
True
Let k = -62 - -62. Suppose 3*j - 70 - 59 = k. Is j a multiple of 3?
False
Let k = -18 + 22. Suppose 2*l - 84 = 3*j, -3*j = -9*l + k*l + 201. Is 13 a factor of (-1)/(-1 - (-36)/l)?
True
Let x(a) = -452*a**3 - 6*a**2 - a - 3. Is 6 a factor of x(-1)?
True
Let h = -6 - -1. Let k = 7 + h. Is (-2 - 5)*(1 - k) a multiple of 2?
False
Let w be (-4)/6 + (330/(-18))/(-5). Suppose 3*i - i - 110 = 4*u, -159 = -3*i + w*u. Does 17 divide i?
True
Let u be 3/(-12)*-4 + -11. Let w(v) = v**3 + 10*v**2 - 9*v + 3. Let t be w(u). Suppose -t = -4*x + 103. Does 12 divide x?
False
Suppose 2*o = 140 + 124. Let m = -94 + o. Is m a multiple of 38?
True
Suppose 3*s - 2594 - 739 = 0. Is s a multiple of 5?
False
Is (-866)/(-4) - (-1)/(-2) a multiple of 18?
True
Let o = 6 + 0. Let q be -5*-1*o/5. Does 6 divide (-88)/(-12) - (-4)/q?
False
Let l be (-4)/(-8) + (-302)/(-4). Suppose l = -0*i + i. Is i a multiple of 22?
False
Let u(y) = 5*y + 21. Let m be u(-6). Let z be -10*(0 - 12/5). Let q = m + z. Does 7 divide q?
False
Suppose -30*t + 576 = -27*t. Is t a multiple of 4?
True
Does 31 divide 25920/22 + (-22)/(-1573)*-13?
True
Suppose -n + 1129 = 4*m - 2*n, n - 569 = -2*m. Suppose -r + m = 4*j, 5*j - 5*r - 335 = -0. Is j a multiple of 20?
False
Suppose 7*g - 102 = 24. Is (g/(-5))/((105/1100)/(-7)) a multiple of 24?
True
Let m = 1961 - 5405. Is m/(-63) - 2/(-6) a multiple of 5?
True
Let h = -345 - -923. Is 17 a factor of h?
True
Let f(y) = -5*y**2 + 2*y + 41. Let z(o) = -3*o**2 + o + 20. Let j(b) = 2*f(b) - 5*z(b). Is 34 a factor of j(5)?
True
Let y be 120/(-2)*(-4)/(-10). Let s be y/(-2)*(-123)/(-12). Is 4 a factor of (-2)/(-14) + s/21?
False
Let j(g) = 8*g**2 - 5*g + 3. Suppose -6*d + 5*d = 3. Does 10 divide j(d)?
True
Let g = 4 + -7. Let t = -9 - g. Let q(j) = j**2 + 6*j + 4. Is q(t) a multiple of 4?
True
Suppose 2*b + 4*p = 9*p + 199, -4*b + 3*p = -433. Is b a multiple of 16?
True
Let y(h) = -4*h**3 - 4*h**2 + 1. Let f(v) = 17*v**3 + 17*v**2 - 4. Let t(q) = 2*f(q) + 9*y(q). Let r be t(-1). Is 17 a factor of 1*(r - 2) + 52?
True
Let j(o) = -4*o - 2. Does 6 divide j(-40)?
False
Let d = -69 - -93. Suppose -d*p = -20*p - 480. Is 21 a factor of p?
False
Let w be 12/((-15)/(-5)) - 4. Suppose -2*l + 12 = l. Suppose w = l*g - 8*g + 232. Is 25 a factor of g?
False
Let j(c) = c**3 + 10*c**2 + 15*c + 13. Let i be j(-6). Let x = -46 + i. Does 5 divide x?
False
Let t be 0 - (12 + 3)/(-3). Suppose t*w + 309 = -4*c - 65, -3*c = 5*w + 283. Let u = c + 127. Does 12 divide u?
True
Is -290*((-18)/(-4))/(-9) a multiple of 5?
True
Let s(o) = 5*o - 2. Let y(c) = -6*c + 1. Let g(u) = 3*s(u) + 4*y(u). Let w be g(6). Let i = -24 - w. Is 16 a factor of i?
True
Let o = -4 + 39. Suppose 0*d + b + 25 = 2*d, 2*b = 3*d - o. Is 5 a factor of d?
True
Let o(b) = 2*b - 4. Let k = 0 - -3. Suppose 33 = 4*w + k*s, w + 13 = 2*w - 4*s. Is o(w) a multiple of 3?
False
Let g(o) = -o**2 - 23*o + 32. Is 27 a factor of g(-22)?
True
Let y(n) = -n**2 - 25*n + 56. Does 6 divide y(-19)?
False
Let q(y) = -y + 3. Let n be q(-6). Suppose c + 5*k - 212 = 0, 3*c - 704 = n*k - 7*k. Does 28 divide c?
False
Let a = 7 - 3. Let g be 1*3 + (-2)/((-14)/7). Suppose -4*p - c + 219 = 0, -g*c = a*p - p - 174. Is 18 a factor of p?
True
Suppose 2 = s - k + 6*k, -13 = 3*s - 4*k. Let t be ((-28)/10)/((-1)/60). Is 14 a factor of t/18*s/(-2)?
True
Suppose 246 = 2*r + 40. Let l = r - 43. Is l a multiple of 15?
True
Let b be (-1 + -2 - -2) + -29. Does 6 divide b*12/40*-4?
True
Let o(t) = -t**2 - 2. Let d be o(10). Let u = -81 - d. Does 21 divide u?
True
Suppose -6*a - 16 = -8*a. Suppose 3*c + 25 = a*c + 5*b, 3*b = 15. Suppose c = 8*k - 6*k - 62. Is k a multiple of 7?
False
Let x = 19 + -19. Is 47 a factor of ((1 - x)*1)/((-8)/(-2840))?
False
Suppose 0 = -2*x - 4*c + 1595 - 485, 4*c + 1110 = 2*x. Is 10 a factor of x?
False
Suppose 79 - 1374 = -4*v + 5*i, -i = -2*v + 655. Is v a multiple of 10?
True
Let k(a) = -7*a**2 + 5*a + 2. Let y be k(-2). Let b = 91 + y. Does 5 divide b?
True
Suppose -4*n = 38 + 186. Let t = 217 + n. Is t a multiple of 28?
False
Let d = 13 - 2. Let o(l) = l**2 + 0 - 120*l + 117*l - d. Is o(8) a multiple of 24?
False
Let u(y) = 2*y**2 - 5*y + 3. Does 10 divide u(7)?
False
Suppose -6 = -3*i + 6*i, 4*s + 5*i = 2482. Is s a multiple of 31?
False
Let q be (-2)/9 - 4/(-18). Suppose q = p - 3*p - 30. Is (p/12)/(1/(-40)) a multiple of 20?
False
Is (94/(-3))/((-20)/990) a multiple of 47?
True
Let r(y) = y - 1. Let d be r(3). Let s be (36/(-8))/(1/d). Does 19 divide (-1 + s)*90/(-12)?
False
Suppose -k = -5 + 126. Let q = 180 + k. Does 23 divide q?
False
Let j(y) be the first derivative of -14*y**2 + 2*y + 9. Let n be j(-3). Suppose 2*u - p - 24 = 0, -n = -5*u - 2*p - 2*p. Does 14 divide u?
True
Suppose -4*t - 54 = -534. Is 20 a factor of t?
True
Let y(u) = -u**3 - 27*u**2 + 30*u + 63. Let m be y(-28). Suppose 12*x - 20 = m*x. Is 4 a factor of x?
True
Is ((-8)/2 - 1)*(-560)/100 a multiple of 4?
True
Let q(b) = -24*b - 39. Let d(v) = 12*v + 19. Let f(o) = -5*d(o) - 2*q(o). Let j(l) = -l - 28. Let s be j(-16). Does 22 divide f(s)?
False
Let p(m) = -3*m + 11. Suppose -3*l - 50 = -2. Let c be 1/((3 + 1)/l). Does 14 divide p(c)?
False
Suppose 3*j + 43 = 2*r, 0 = -5*r - 2*j + 4*j + 91. Suppose -r*w = -19*w + 132. Is 22 a factor of w?
True
Let b be (-2)/20*-4*5. Suppose -b*g + g = -11. Suppose 59 - g = 4*q. Is 4 a factor of q?
True
Let d = -25 + 49. Let a = d + 10. Does 18 divide a?
False
Let o(l) = 79*l - 514. Does 3 divide o(12)?
False
Let a(c) = c**3 - 3*c**2 - 4*c - 10. Let i be a(6). Suppose 10*y = 5*y - 4*z + 486, -y = -5*z - i. Is y a multiple of 6?
False
Suppose o = 4*o - 27. Let r = o + -15. Is (-68 + 0)*r/12 a multiple of 12?
False
Let u = 591 - -250. Is u a multiple of 28?
False
Let i(f) = -f**3 + 58*f**2 + 4*f - 211. Is i(58) a multiple of 8?
False
Let l = -9 + 10. Let f be (-6*l)/((-18)/81). Suppose f = c + 1. Is 14 a factor of c?
False
Let o(p) be the second derivative of p**8/6720 - p**7/840 - p**6/120 + p**5/40 - p**4/6 - p. Let f(r) be the third derivative of o(r). Is 9 a factor of f(5)?
False
Suppose -68*j + 12487 = -33753. Is j a multiple of 36?
False
Let g be -3 - (-2)/2 - -6. Let h = 2 - 30. Is 9 a factor of h/g + 4 + 30?
True
Let m(i) = 24*i**3 + 2*i**2 - 5*i - 13. Does 4 divide m(3)?
False
Let s be (2 - 0)*(-1)/(-1). Let c be 0 + (-4)/s + 3. Let z(v) = 50*v**2 + v. Is 16 a factor of z(c)?
False
Let u(c) = c**3 + 5*c**2 - 8*c + 3. Suppose 15 = 3*o + 18. Let f = o - 5. Is 5 a factor of u(f)?
True
Suppose 2*s = 5*s + 4*g - 568, s + 3*g = 181. Is 6 a factor of s?
False
Suppose 3*p - 523 = 26. Suppose 5*a + 3 + 2 = 0, 4*h + a = p. Is h a multiple of 23?
True
Let u = 3 + 0. Suppose 4*m = 3*h + 4 + 14, m = -3*h - u. Let g = h + 7. Is g a multiple of 5?
True
Let g = 13 - 8. Suppose 0 = 5*d + g*k - 66 - 469, 2*k = 0. Is d a multiple of 30?
False
Suppose -476 = -8*t + 25*t. Suppose -18 = -d + 47. Let x = d - t. Does 31 divide x?
True
Suppose 0 = -3*v + 4*m - 5*m + 13, 0 = -5*m + 5. Suppose 0 = v*w + t - 84, 0 = -w + 4*w - t - 56. Is 5 a factor of w?
True
Suppose -11*i = -15*i + 44. Suppose 13 = x + i. Suppose -a = -x*a + 11. Is 2 a factor of a?
False
Let s be 15 + 0 + 6 + -10. Let u(z) = z**2 - 7*z - 8. Let d be u(s). Let x = d - 16. Is x a multiple of 10?
True
Suppose 10068 = 5*m + r, 2*m + m - 9*r - 6060 = 0. Is m a multiple of 106?
True
Suppose -4*i + 3*g - 329 = 0, -i + 3