). Does 7 divide r(2)?
True
Let l(d) = -d**2 + 4*d. Let z be l(3). Let v(x) = x + 1. Let u be v(z). Is 5 a factor of u/(-14) - 72/(-7)?
True
Let n(m) = 8*m - 59. Does 14 divide n(22)?
False
Suppose -8*s = -2*s - 720. Does 24 divide s?
True
Let s = -92 + 173. Is s a multiple of 17?
False
Let k = -8 + 28. Suppose 3*p + k = 5*t - 3*t, -5*t + p + 24 = 0. Suppose -8*v - w = -t*v - 38, -5*v + 4*w + 58 = 0. Is v a multiple of 5?
True
Suppose 0 = -3*b + r - 0*r + 50, -3*r = -4*b + 75. Suppose 5*a = b + 15. Suppose 4*v - a = 2. Does 2 divide v?
True
Let y(t) = 6*t - 3. Suppose -3*g = -4*w + 3, 5*w - g - 11 = 1. Is y(w) a multiple of 12?
False
Let i be 52/(-6) - 2/6. Let f = 49 - 28. Let w = i + f. Is w a multiple of 6?
True
Suppose 3 = 4*p - p. Suppose 0 = 4*n - 11 - p. Suppose n*s - 37 = 2*s. Is s a multiple of 10?
False
Suppose 0 = -0*h - 2*h + 60. Does 14 divide h?
False
Suppose 2*g - 4*t - 128 = 0, -t - 3*t - 8 = 0. Is g a multiple of 15?
True
Let w be 1 + 5 + 0 + -3. Suppose 2*n = w*f + 2*f - 15, -4*f = -5*n - 12. Suppose 5*d - 20 = -n*d. Does 4 divide d?
True
Suppose 5*m - 583 = -203. Does 38 divide m?
True
Suppose 0 = -3*i - 36 + 201. Is 11 a factor of i?
True
Suppose -124 = -0*i + 4*i. Suppose 0 = 2*z + 3 - 1. Let a = z - i. Is a a multiple of 15?
True
Let i(t) = 5*t. Let w be i(6). Suppose 17*k - w = 14*k. Is k a multiple of 5?
True
Let u be (10/(-4) + 1)*-2. Suppose -3 = -0*h - 3*h - f, 1 = h - u*f. Suppose 3*y - h = 20. Is y a multiple of 4?
False
Let a = 41 - -31. Is 8 a factor of a?
True
Let t be 1 + (1 - 2/2). Let k = t - -12. Is 13 a factor of k?
True
Let v(k) = -k**3 - 4*k**2 - 4*k. Let x be v(-3). Suppose 0 = u - x*u. Suppose u = 4*t - 7 - 13. Is 5 a factor of t?
True
Let z = -4 - -2. Let y(p) be the first derivative of p**3 + p + 3. Is 5 a factor of y(z)?
False
Let m(q) = 3*q**2 + q. Let f be m(-1). Suppose -4*b + 9 = -2*x + b, -2*x - f*b = -12. Suppose -4*a + 16 = -x*a. Is a a multiple of 8?
True
Suppose -4*a = 4*x - 320, 0 = 2*a - 6*x + 3*x - 180. Let q(h) = h**3 - h**2 - 2*h + 1. Let r be q(2). Does 15 divide a/2 - (r - 3)?
False
Is 406/21 + (-4)/(-6) a multiple of 10?
True
Let u = -51 + 72. Let i be (12/u)/((-2)/(-7)). Suppose 2*a + i*a - 60 = -4*w, 4*w + a = 69. Is w a multiple of 9?
True
Let q = -7 - -12. Let l = -3 + 3. Suppose l*d - d + q = 0. Does 5 divide d?
True
Suppose 2*m + 0*u - 12 = 2*u, 5*m + 4*u + 6 = 0. Let q(f) = -11*f - 2. Let h be q(-8). Suppose m*s - h = -0*s. Is 22 a factor of s?
False
Let g(f) = 2*f**3 - 2*f - 2. Let y be g(-4). Suppose -5*w = 2*d - 58, 3*w - w - 4*d = 28. Does 4 divide y/(-12) - 2/w?
False
Suppose 0 = 2*p + 5*k - 4, 0 = 5*p - 4*k + k - 10. Suppose p*u = 3*u - 18. Is u a multiple of 18?
True
Let j(f) be the second derivative of -f**4/12 - 7*f**3/6 + f**2 - 3*f. Is 5 a factor of j(-5)?
False
Let h(p) = p**3 + p**2 + p + 14. Is 3 a factor of h(0)?
False
Let g(u) = -u**2 - 10*u - 7. Let v = -1 + 1. Suppose v = -5*l + 5*x - 45, -3*l = l + 2*x + 30. Is g(l) a multiple of 6?
False
Suppose -o - 4*b + 41 = 0, 0*b = -5*o + 4*b + 181. Does 18 divide o?
False
Suppose 4*m - 1 = -13. Let g = m + 11. Is 106/g - (-2)/(-8) a multiple of 6?
False
Let o = 6 + -4. Suppose 4 = r + o. Suppose r*j = 6*j - 104. Is 13 a factor of j?
True
Suppose -12 = -5*p - 3*v + 14, 5*v - 10 = 0. Suppose -4*l - 5*q = -16, -5*l + 2 = p*q - 27. Is l a multiple of 9?
True
Let g(m) = 58*m**3 - m**2 + m - 1. Let c be g(1). Suppose -j = -n + 28, -2*j = -0*j - n + c. Let v = -21 - j. Does 4 divide v?
True
Let f = 6 + -3. Suppose 0 = 2*g + f*q - 67, -4*g + 0*q = -q - 127. Does 16 divide g?
True
Let w = -6 - -8. Suppose -34 = 4*o - 5*d - 203, w*o = 5*d + 97. Does 9 divide ((-1)/2)/((-1)/o)?
True
Let b(i) = -i**2 + 7*i - 3. Let r be b(7). Is (8/r)/((-8)/156) a multiple of 33?
False
Let z(d) be the first derivative of -d**3/3 + 5*d**2 - 8*d - 1. Let a(r) = -r**2 + 12*r - 19. Let m be a(9). Does 4 divide z(m)?
True
Suppose 3*o + 1 = k + 8, -3*k = -6. Suppose 0 = -o*a - 2*a + 140. Is a a multiple of 8?
False
Let w(c) = -3*c + 4. Suppose 4*y = -0*y + 2*m + 6, -2*y - 2*m = 0. Let b(h) = -7*h. Let p be b(y). Is 12 a factor of w(p)?
False
Let g(u) = -3*u**3 - 3*u**2 + 5*u - 7. Let a(v) = 16*v**3 + 14*v**2 - 25*v + 36. Let b(o) = -2*a(o) - 11*g(o). Is b(-5) a multiple of 6?
True
Suppose 0 = -g - d + 115, 3*d = 3*g + 109 - 460. Does 4 divide g?
True
Let y be (26 + 3/(-1))*1. Let x = 44 - y. Is x a multiple of 5?
False
Let z(b) = -b + 1. Let p(j) = -4*j + 5. Let l(u) = 4*p(u) - 18*z(u). Let w(s) = -4*s - 2. Let k be w(-3). Does 22 divide l(k)?
True
Let r = -179 + 499. Does 10 divide r?
True
Let m(r) = -9*r**3 - 5*r**2 + 7*r - 29. Let l(h) = 5*h**3 + 3*h**2 - 4*h + 14. Let y(f) = -7*l(f) - 4*m(f). Does 9 divide y(0)?
True
Suppose 2*t + 2 = -2. Let r(q) = -4*q - 3. Let s be r(t). Suppose s*x = 16 + 64. Does 16 divide x?
True
Suppose -3 = -4*h + 13. Suppose 0 = -4*k + 2*u - 3*u + 138, h = 2*u. Is k a multiple of 10?
False
Let h(d) = 6*d**2 - d + 2. Is h(3) a multiple of 18?
False
Let o(y) = 14*y + 2. Let w be o(2). Let m = -14 + w. Is m a multiple of 16?
True
Let o(t) = -5*t - 5. Let w be -1 + -2 - (2 + -3). Let v(b) = 2*b**3 + 2*b**2 - b + 1. Let y be v(w). Is 10 a factor of o(y)?
True
Suppose 0 = 4*u + 29 - 145. Let d be 0 + -16*(2 + -5). Let a = d - u. Does 19 divide a?
True
Let q = -11 + 18. Does 6 divide q?
False
Let s = -29 - -46. Is s a multiple of 12?
False
Is 10 a factor of (-48)/(-32) + ((-107)/(-2) - -2)?
False
Let s(y) = -5*y**3 + y**2. Let c be s(-2). Let t = 7 + -13. Let j = c + t. Does 12 divide j?
False
Let a(h) be the first derivative of 35*h**3/3 + 2*h**2 + 3*h - 1. Let z be a(-3). Is z/8 - (-3)/(-12) a multiple of 17?
False
Let u be -13 + 17 + 3*-1. Let i be 1 + -3 + (4 - 2). Suppose i = -3*f - 4*q + 25, -3*f - 3*q + 20 + u = 0. Is 3 a factor of f?
True
Suppose 0 = -4*v - 4, 3*u - v = 10 + 3. Suppose -p - p = 0, u*p - 80 = -5*r. Is r a multiple of 8?
True
Let i(q) = 6*q - 1. Let b be i(1). Suppose 0 = 3*m + b*r - 19, 4*m + m = 4*r + 7. Suppose -m = v - 8. Is 2 a factor of v?
False
Suppose 0 = u + v - 84, 0 = -2*u - 0*v + 4*v + 180. Is u a multiple of 43?
True
Suppose 3 - 1 = o. Suppose o*a = 11 - 5, -4*l - 2*a + 6 = 0. Suppose l*n = 2*n - 50. Is 25 a factor of n?
True
Let k be (0 + 52/(-8))*-2. Let t be 45/(-6) - 2/4. Let y = k + t. Is y even?
False
Let t = -7 + 7. Suppose t = y + 3*y - 8. Is y even?
True
Let k = -135 - -91. Suppose 4*f = 3*f - 26. Let m = f - k. Is m a multiple of 11?
False
Let p be (8/1)/1 - 2. Is (-16 - (p - 3))*-1 a multiple of 19?
True
Suppose 2*v - 129 = -4*n + 5*v, 2*n - 77 = -v. Is 6 a factor of n?
True
Suppose -10*x = -4*x - 282. Is x a multiple of 10?
False
Let o(d) = -2*d + 2. Let v be o(-3). Suppose v = 2*b - 30. Is 13 a factor of b?
False
Let h(f) = -12 + f**2 + 4*f + 0*f + 2 - 2*f. Does 16 divide h(9)?
False
Suppose 40 = 2*q + 2*q. Suppose -q - 44 = -3*b. Is b a multiple of 18?
True
Let u = -14 - -24. Suppose 5*y + 7 = y - p, -4*p = -y - 23. Let w = u + y. Does 7 divide w?
True
Let q be (42/15)/(2/(-40)). Is 9 a factor of (-3)/9 - q/6?
True
Let v = 11 - 13. Does 5 divide 1 - v - (-1 + -14)?
False
Let g be 3*(3 + (-37)/3). Does 12 divide ((-6)/(-4))/((-2)/g)?
False
Let u = 6 + -21. Is 12 a factor of (u - -3)/(9/(-12))?
False
Let y = 107 + -52. Is 10 a factor of y?
False
Let d(j) = -4*j**3 - 2*j**2 + 3*j + 1. Let h be d(-4). Suppose h = 6*i + 3. Is i a multiple of 9?
False
Let p = 1 + 2. Is ((-84)/p + 2)*-1 a multiple of 7?
False
Let s = -245 - -452. Suppose 144 + s = 3*r. Suppose 10 = 2*n - 7*n, -5*d + r = 4*n. Is d a multiple of 25?
True
Let y(w) = -w**3 - 2*w - 1. Let s = 1 - 10. Let u be (-2)/(-6) - (-21)/s. Is y(u) a multiple of 7?
False
Suppose -7 = -n - 5*t, t = -5*n - 2*t + 79. Let f = n + -5. Is f a multiple of 6?
True
Let a = 45 + -27. Let s = -10 + a. Suppose -u + 62 = 5*r, 3*r - s - 26 = u. Is r a multiple of 4?
True
Let w = -29 + 57. Does 19 divide w?
False
Let o(y) = 5*y**2 - 5*y + 17. Is 13 a factor of o(5)?
True
Let o = -182 - -385. Is 29 a factor of o?
True
Let j(d) = 12*d**2 - 2. Is 23 a factor of j(-2)?
True
Let j be (-2)/5 + 34/10. Is (2/j)/((-2)/(-36)) a multiple of 9?
False
Let s(o) = o**3 - 9*o**2 + 12*o - 10. Is s(9) a multiple of 12?
False
Let k be 2 + 0 - (4 - 1). Let w = 98 - 