*2 + 3*m - 6. Let n be o(-5). Suppose -4*l - 20 = -9*l, 0 = n*j + 4*l - 96. Does 17 divide j?
False
Let r = 1 + 1. Is 7 a factor of (6 - 6/r) + 14?
False
Let s(h) = -h**2 + 7*h - 4. Let n be s(7). Let c = 1 - n. Suppose 4*w + 18 = i, 3*i - c*w = -3*w + 34. Is 4 a factor of i?
False
Suppose 4*m = 2*m + 376. Let w be 3 - 0/2 - -2. Suppose 4*t + 5*c + 1 = 229, -w*c = -4*t + m. Is t a multiple of 20?
False
Let p = 14 - 9. Suppose -11 = -p*r - 1. Suppose b + 4 = -0*s + r*s, 0 = -4*s - 4*b + 32. Is s a multiple of 4?
True
Let w(s) = 4*s - 4. Let a = -2 - 2. Let v be -1 + 1 - a - -2. Does 10 divide w(v)?
True
Let i = 113 + 337. Is 15 a factor of i?
True
Let r(u) = u**3 - 3*u**2 + 6*u - 6. Is 34 a factor of r(4)?
True
Suppose -5*a + 229 = -31. Suppose 0 = 3*b - 20 - a. Is b a multiple of 8?
True
Suppose -4*h + 4*n - 5*n - 211 = 0, 74 = -h + 4*n. Let j = h - -10. Let r = j - -74. Is r a multiple of 14?
False
Let v = -5 + 10. Suppose 2*g - 17 = -v. Is 6 a factor of g?
True
Does 26 divide 1/3 + 3225/45?
False
Let a(h) = h**3 - 2*h**2 - h - 4. Let j be a(3). Is 4/(-4) + j - -12 a multiple of 13?
True
Suppose -3*s = -5*s + 28. Does 13 divide s?
False
Let j(x) = 3*x + 11. Let k = -26 + 33. Is 8 a factor of j(k)?
True
Suppose 5*a = -4*v - 2, -a - 1 = 3*a + 3*v. Suppose 15 = x + a*x. Is 4 a factor of x?
False
Suppose -3*c = -2*l - 2 + 9, -2*l = 4*c. Suppose 0 = 3*b - l - 25. Is b a multiple of 3?
True
Let m(d) be the third derivative of d**6/120 + 7*d**5/60 + d**4/8 - d**3 - 6*d**2. Is m(-6) a multiple of 4?
True
Let a(g) = 4*g**3 + 2*g**2 - 2. Let x(u) = 8*u**3 + 3*u**2 - u - 4. Let b(c) = 7*a(c) - 4*x(c). Is b(-2) a multiple of 17?
True
Let f = 589 - 384. Is 34 a factor of f?
False
Let r be 7/2 - (-9)/(-18). Let i = 11 + r. Is 5 a factor of i?
False
Suppose 227 = -4*a - 81. Let z = a - -135. Does 23 divide z?
False
Is (-3)/(6/(-100)) - (-2 + 2) a multiple of 9?
False
Let b = 120 + -80. Does 5 divide b?
True
Let c = 3 + -2. Does 6 divide c - (3 - -1) - -9?
True
Suppose 3*s - y + 18 = 3*y, 9 = -3*s + y. Is 343/14 - s/(-4) a multiple of 12?
True
Let o = -6 - -7. Is 7 + -7 + 10 + o a multiple of 5?
False
Suppose 0 = 3*y - 5*y + 184. Is 23 a factor of y?
True
Let n(t) be the second derivative of -t**5/4 - t**4/6 + t**2/2 - 2*t. Is 4 a factor of n(-1)?
True
Suppose 8*m - 3*m = 25, 73 = 4*z + m. Does 4 divide z?
False
Let o = 57 - -11. Is o a multiple of 23?
False
Suppose 1 = -5*b + 16. Suppose 2*j - 74 = 3*s, 3*j = 2*j + b*s + 34. Suppose -5*m - 3*q = -66, -5*m - 2*q = -24 - j. Is m a multiple of 9?
False
Suppose 4*o + 0*j - 1 = 3*j, 5*o = -3*j + 35. Let c be (-2 + o)/((-1)/(-2)). Suppose 3*y + 181 = 4*s, s = c*s - 3*y - 138. Is 15 a factor of s?
False
Let s(z) = -z**3 + 3*z**2 + 6*z - 1. Let m = 5 - 1. Let y be s(m). Is 10 a factor of (0 + y/2)*4?
False
Let p(v) = 2 + 2 - 5 + 16*v. Is 11 a factor of p(1)?
False
Let o = 88 - 52. Is o a multiple of 9?
True
Let q = 20 - 8. Does 9 divide (-10 - -1)/(-3)*q?
True
Suppose -7 = -z + 3*t, 2*z + 5*t + 11 = 4*z. Does 19 divide (z - -21)*(-1 - -2)?
True
Suppose -y = -4*l - 15, -3*y + 8 = -5*l - 9. Is 10 a factor of (29 - 8/l) + -1?
True
Suppose 0 = 3*o - o - 12. Let g(f) = 6*f + 8. Let j be g(o). Is 11 a factor of (4/8)/(2/j)?
True
Let o = 89 + -33. Is o a multiple of 16?
False
Let s be ((-2)/4)/(1/(-40)). Suppose q = 5*q - s. Suppose q*g + o - 114 = -25, 0 = -g + 4*o + 1. Is 6 a factor of g?
False
Let b(v) = 10*v**2 - 9*v + 4. Let a(s) = -1 - 3 - 9*s**2 + 1 + 8*s. Let y(h) = -6*a(h) - 5*b(h). Is y(3) a multiple of 13?
False
Suppose -t - 4*u + 35 = 6, -5*u + 10 = 0. Does 15 divide t?
False
Let q be -15 + -3 + (-1 - -2). Let p = -4 - q. Does 13 divide p?
True
Suppose -4*j + 15*j - 2827 = 0. Does 55 divide j?
False
Let u be (-8)/(-12) + (-40)/6. Is 2 a factor of (0 - -1)/((-3)/u)?
True
Suppose -5*f + 2*z = -122, 29 = 4*f - 4*z - 59. Is 5 a factor of f?
False
Does 17 divide -8 + 125 - (-1)/(-2)*-4?
True
Let d(w) = -w**2. Let m be d(-1). Is 18 a factor of m + (-4)/(12/(-63))?
False
Suppose -37 = -2*r + 1. Does 7 divide r?
False
Suppose 12*r - 16*r = -292. Is r a multiple of 15?
False
Suppose 0 = -0*l - 2*l + 6. Let a be 1 + 1 + (4 - l). Suppose 83 = a*b + 14. Does 9 divide b?
False
Suppose -g - 8 = 3*d, -4*g + 3*d + 34 = 6. Let t(f) = f**2 - 2*f. Let b be t(g). Suppose 5*v = -b + 33. Does 2 divide v?
False
Suppose -4 = 7*b - 137. Is 6 a factor of b?
False
Suppose 0 = -4*n + 6 + 2. Suppose 5*x - 12 = -2*r, -3*r + 3 = -n*x + 23. Is x a multiple of 2?
True
Let i(y) = y**3 - 9*y**2 + 8*y - 2. Let p be i(8). Does 7 divide 7/(p/6*-1)?
True
Suppose 6*r - 6 = 5*r. Suppose -r*p = -9*p + 63. Does 21 divide p?
True
Let a = -4 - -5. Let j be 3 + ((-2)/2)/a. Suppose 0 = j*q - 4*q - 4*h + 34, 5 = -h. Does 11 divide q?
False
Suppose -453 = -3*x + 5*w + 69, -x = 3*w - 174. Does 29 divide x?
True
Is 6/3 - (-1 + 5 + -85) a multiple of 21?
False
Let x = 3 + 63. Let y = x - 30. Is y a multiple of 11?
False
Suppose 0 = -4*n + n + 6. Is 18 a factor of (n - -52)/((-6)/(-4))?
True
Suppose 35 = -s - 0*s. Let p be (-235)/s - (-4)/14. Suppose 4*j - 3 = 5*b + p, 5*j + 3*b = 31. Does 3 divide j?
False
Let j = -113 + 191. Is j a multiple of 15?
False
Let t = 17 - 8. Is t a multiple of 2?
False
Let i(y) = y + 16. Let w be i(-12). Suppose -20 = -w*l + 3*v + 79, -6 = -2*v. Does 9 divide l?
True
Suppose 4*g = -0*g. Suppose -3*s - 99 = -3*p, g = -p - s - s + 18. Is p a multiple of 9?
False
Is (6/2)/(7/126) a multiple of 14?
False
Suppose 7*k - 749 = -0*k. Is k a multiple of 22?
False
Let k = -11 + 5. Let f = 4 - 5. Let b = f - k. Is b a multiple of 2?
False
Let r = 1 - -2. Suppose 0 = r*b - 2*u - 181, u - 16 = -2*b + 107. Let n = b - 43. Does 5 divide n?
False
Does 13 divide -1*23/1*-1?
False
Let p(f) = -4*f**3 - 4*f**2. Does 18 divide p(-3)?
True
Let o = -13 - -9. Is 7 a factor of 27/3 - o/(-2)?
True
Does 19 divide 217/(1/2*2)?
False
Let p be 4/(-14) - 636/(-21). Suppose -4 = r + 2*s + 2, -2*s = 5*r + p. Let k = r - -52. Is 12 a factor of k?
False
Let t(k) = 46*k**3 + 6*k**2 - 2*k - 7. Let c(o) = -5*o**2 + 15*o - 13*o + 1 - 45*o**3 + 5. Let a(x) = 6*c(x) + 5*t(x). Does 13 divide a(-1)?
True
Let g = 5 - 36. Let x = 96 + -50. Let l = g + x. Does 15 divide l?
True
Suppose -5*i - 44 = -14. Let z be i/(-9)*(-36)/(-8). Suppose 5 + z = r. Is r a multiple of 4?
True
Let l = 40 + -22. Suppose -2*s - l = -4*s. Is s a multiple of 8?
False
Suppose -2*f = 2*w - 172, -2*w = -0*f - 5*f + 409. Is f a multiple of 14?
False
Suppose -706 = -3*z + 4*i, -i = -5*z + 1820 - 632. Is 34 a factor of z?
True
Suppose -q + 31 = -9. Let c be ((-2)/(-4) - 1)*-20. Let j = q - c. Is j a multiple of 12?
False
Suppose 0*t = t. Suppose 4*d - 4 = t, -5*x - 4*d + 0*d - 1 = 0. Does 13 divide 40 + (2 + -1)*x?
True
Let y(o) = 51*o - 1. Let i be y(-1). Let s = i - -28. Is 3 a factor of 18/(-8)*s/9?
True
Let f(x) = 4*x**3 - 3*x**2 - 2*x - 4. Does 13 divide f(3)?
False
Let n = -19 - -13. Let m(i) = i + 10. Let h be m(n). Does 3 divide 1/h + (-45)/(-12)?
False
Let h(r) = r**3 + 4*r**2 - 3*r - 1. Suppose 0 = 2*o + 3*o + 20. Is h(o) a multiple of 11?
True
Let z(t) be the first derivative of -t**3/3 + 3*t**2 - 2*t - 4. Is 6 a factor of z(4)?
True
Let q = 2 + -4. Suppose -4*f + n - 3*n = 32, -n + 33 = -5*f. Let r = q - f. Does 5 divide r?
True
Suppose 6 = 5*n - 9. Suppose 0 = -n*w + 4*w. Does 3 divide (-8)/(-5)*(w - -5)?
False
Let h(b) = b**2 - b + 10. Let a be h(0). Let s(i) = -i**3 + 10*i**2 - 2*i + 10. Let m be s(a). Let l = 43 - m. Does 15 divide l?
False
Let h be 2*((-5)/(-2) + 1). Let t be h + -5 + (2 - 0). Suppose -4 - 20 = -t*i. Is 6 a factor of i?
True
Let f(q) = -q + 5. Let s be f(6). Let o = -5 - s. Is 11 a factor of 236/9 - o/(-18)?
False
Is (-2 - 1)*(-105)/45 even?
False
Suppose 6 + 4 = 5*t. Suppose 0 = -4*h + t*h + 30. Let g = 16 + h. Is 11 a factor of g?
False
Let n = 51 - 33. Let f = -6 + n. Suppose -4*u + y = 2*y - 12, 0 = -2*u + y + f. Is u a multiple of 4?
True
Let n = 4 + 2. Suppose f = n*f. Suppose f*m + 3*m - 30 = 0. Is 5 a factor of m?
True
Suppose t - 3*t = 3*z - 195, -5*z - 283 = -3*t. Is t a multiple of 9?
False
Suppose -10*k - 240 = -13*k. Is k a multiple of 14?
False
Let b(u) = 5*u**2 - 1 - 10*u + 12*u - 2*u**2. Is 5 a factor of b(-3)?
True
Suppose -5*d + 10 = -165. Is d a mul