ue
Is (3/27*3)/(1/111) a multiple of 18?
False
Suppose -3*n - 210 = -552. Let m be 5 - (0 + (4 - 2)). Suppose 3*s + 3*u - n = 0, -7*s - 2*u = -m*s - 156. Is 18 a factor of s?
False
Let t(q) = -q**2 + 9*q - 3. Let g be t(8). Suppose -3*k + 7*b - 3*b + 11 = 0, -13 = -g*k + 4*b. Is 7 a factor of k/2 + (-81)/(-6)?
True
Let v(f) = f**3 + 48. Does 11 divide v(0)?
False
Let h(i) be the third derivative of i**4/24 + 2*i**3/3 + 3*i**2. Let l = 1 - -4. Is 9 a factor of h(l)?
True
Let a(f) be the first derivative of 2*f**3/3 + 5*f**2/2 + 4*f - 2. Is 16 a factor of a(-4)?
True
Let z = -21 - -23. Suppose 17 = -z*m - 3*b + 71, -m - 2*b + 29 = 0. Is m a multiple of 21?
True
Suppose 17 = 3*v - 5*j, -2*j - 2 = -0. Is v a multiple of 4?
True
Is ((-12)/10)/(2/(-45)) a multiple of 9?
True
Let i(b) = -b**2 - 10*b - 9. Let g(s) = 2*s + 1. Let u be g(-4). Let p be i(u). Suppose 4*m + 0*m = p. Is 3 a factor of m?
True
Let j = 13 - 5. Suppose 92 = b + j. Suppose b = 4*w + 20. Is 8 a factor of w?
True
Suppose -2*n = -n - 43. Suppose 0 = -4*h - 0*h + 3*s + 52, 5*s = 4*h - 44. Let d = n - h. Is 9 a factor of d?
True
Suppose l + 5*i - 22 = 0, 0*i - 2*i = -3*l - 19. Let a(n) be the second derivative of 5*n**4/12 - n**3/6 - 2*n**2 + 12*n. Is 22 a factor of a(l)?
True
Is (-88)/(((-16)/14)/4) a multiple of 44?
True
Let d be 5/20 + 1/(-4). Suppose d = 4*t + 3*y - 157, -2*t + 84 = -3*y - y. Is 14 a factor of 1064/t - (-4)/10?
False
Suppose 3*i - i + 517 = 3*l, -2*i = -5*l + 867. Suppose -5 = -2*y + 3. Suppose -y*f + 12 = -0, l = 5*p - 5*f. Is 26 a factor of p?
False
Suppose -3*b - 5 = 4*a - 0*a, -3*a = -12. Let v(m) be the third derivative of m**6/120 + 2*m**5/15 + m**4/8 - m**2. Does 14 divide v(b)?
True
Is (24 + 0)/(30/225) a multiple of 45?
True
Suppose -2*y = 4*w - 2*w - 210, -3*y = 0. Is 16 a factor of w?
False
Let w = 33 - -30. Suppose -74 = -c + 18. Let y = c - w. Is y a multiple of 11?
False
Suppose -4*t = -11*t + 70. Does 9 divide t?
False
Suppose 3*v + 48 = a + 2*v, 5*a + v - 264 = 0. Suppose -f = -3*c + 58, -2*c + 4*c - a = 4*f. Does 7 divide c?
False
Let w be 2/(-1) - (2 + 9). Let k = w - -25. Is k a multiple of 6?
True
Let y(h) = -h**3 + 7*h**2 + h - 7. Let z be y(7). Suppose z*b - 4*b = -56. Let l = b - -2. Does 10 divide l?
False
Let h be (-2 - 26/4)*2. Let u = 87 - 138. Let v = h - u. Is v a multiple of 17?
True
Let b = -18 + 61. Does 11 divide b?
False
Suppose 5*d + 2*f - 329 = 0, 4*d - 5*f = -2*f + 254. Is d a multiple of 13?
True
Let a(g) = 3*g**3 + 3*g**2 - g - 4. Let i(b) = -6*b**3 - 7*b**2 + b + 9. Let k(l) = 5*a(l) + 2*i(l). Let q be k(-2). Let w = -11 - q. Does 3 divide w?
False
Let t(p) = p**2 - 4*p - 1. Let y be t(-3). Does 3 divide 105/y + 2/(-8)?
False
Suppose -12 = -o + 3. Suppose -o = -b + 6. Let w = b + -13. Is 4 a factor of w?
True
Suppose -x - 3 = -k, -2*k - k - 4*x = -16. Suppose -16 = -3*m + s, 2*m - k*m - 4 = 3*s. Suppose 164 = 8*b - m*b. Is b a multiple of 14?
False
Let f(c) = c**2 - 6*c + 26. Is 7 a factor of f(6)?
False
Let z = 190 - 130. Is 10 a factor of z?
True
Let i(u) = -2 + 3 + 9*u - u**2 + 0 + 3*u. Is 16 a factor of i(7)?
False
Let a = 88 - 57. Suppose -4*i = -0*t + 3*t - 43, 0 = -5*t - 5*i + 80. Let w = a - t. Is 10 a factor of w?
True
Let d be (-57)/(-18) - (-6)/(-36). Is 2 a factor of (-32)/(-4) + -4 + d?
False
Let f = -18 + 29. Is 10 a factor of f?
False
Suppose -5*m - 3*f + 6*f + 9 = 0, -5*f = 5*m - 25. Does 5 divide (15/(-4))/(m/(-8))?
True
Let w(p) = -2*p - 8. Let v be w(-6). Suppose v*k - s - 23 - 17 = 0, 3*s + 39 = 3*k. Does 5 divide k?
False
Does 2 divide (-768)/(-54) + 2/(-9)?
True
Suppose -s + 0*s = -1. Let n be s/5 - (-54)/30. Suppose 2*r - 76 = -n*r. Is r a multiple of 6?
False
Let p(s) be the first derivative of -s**4/4 - s**3/3 + 5*s**2/2 + 3*s - 1. Does 3 divide p(-3)?
True
Suppose -8*q + 4*q + 20 = 0. Is 3 a factor of q?
False
Suppose -3*j = -2*h, -4*h + 0*j = 5*j - 44. Does 3 divide h?
True
Let f be (4/10)/((-3)/(-30)). Suppose -5*r + 6 = -3*r, 2*n + 4*r - 78 = 0. Suppose -f*t + 7*t - n = 0. Does 10 divide t?
False
Let r(z) = -8*z**2 - z + 2. Let x(l) = -l**2. Let t(p) = -r(p) + 5*x(p). Let w be 3*(-2 + (-16)/(-6)). Does 12 divide t(w)?
True
Suppose 15*r - 122 = 13*r - s, 3*r + 3*s - 189 = 0. Does 8 divide r?
False
Suppose 7*j = 4*j. Suppose u - 5 = j, -5*k = -3*k - u - 3. Suppose k*r = 70 - 22. Is 9 a factor of r?
False
Let o(q) = -10*q - 1. Suppose -3*j + 4*x - 3 - 9 = 0, 3*j + 5*x = -12. Is 15 a factor of o(j)?
False
Let k(f) = -f**3 + 7*f**2 - f + 2. Let s be k(4). Let t be 10/(1*1/(-2)). Let p = t + s. Is 11 a factor of p?
False
Is (-4)/2*(-8)/12*12 a multiple of 4?
True
Suppose 62 + 94 = h. Suppose 0 = l + 3*l + h. Let b = l + 66. Is 11 a factor of b?
False
Suppose 245 + 155 = 2*f. Is 44 a factor of f?
False
Let t(x) be the first derivative of x**3/3 + 13*x**2/2 - 4*x - 1. Is t(-17) a multiple of 32?
True
Let v = -56 - -88. Let g = v - 22. Let o = g - -6. Is 8 a factor of o?
True
Is 30 a factor of (-2)/18 + 7567/63?
True
Suppose 4*g + 3*m + 14 - 5 = 0, -3*g + 2*m = -6. Is 8 a factor of 9 + g + 1 + 1?
False
Does 5 divide -4 + 0 + 340/10?
True
Let j(u) = 86*u**2 + u. Is 29 a factor of j(1)?
True
Let l = -53 - -88. Suppose 4 = k - l. Is k a multiple of 10?
False
Let r(o) = 2*o - 2. Let f = -3 + 6. Let i be r(f). Does 5 divide ((-28)/(-16))/(1/i)?
False
Suppose y - a + 83 = 4*y, -1 = a. Is y a multiple of 7?
True
Suppose -3*l - l - 4 = 0. Is 13 a factor of (-2 - l)*1 + 63?
False
Suppose -3*n - 137 = -6*n + 5*f, -3*n - 5*f = -127. Is n a multiple of 18?
False
Let d = 15 - 10. Let s = d + -8. Is (14/(-3))/(2/s) a multiple of 7?
True
Let f = 465 - 292. Let o = f - 112. Suppose 5*g - o + 1 = 0. Does 10 divide g?
False
Let m(w) = w**2 - 2*w - 3. Let v = 6 + -8. Is 3 a factor of m(v)?
False
Suppose -1 - 1 = -y. Let g be y/(-3) - (-12)/(-9). Is 20 a factor of g/(-8) - 406/(-8)?
False
Let o(d) = 7*d + 35. Does 5 divide o(5)?
True
Let s be 14 + ((-2)/(-1))/2. Suppose 2*y - s = -y. Is 4 a factor of y?
False
Suppose -5*o = -k + 13, 4 + 3 = o - 5*k. Let x(y) = -2*y - 1. Let l(a) = -3*a - 1. Let h(m) = -2*l(m) + 5*x(m). Is 9 a factor of h(o)?
True
Let p(z) = 6*z**2 - 65*z - 44. Let d(g) = g**2 - 13*g - 9. Let s(t) = 11*d(t) - 2*p(t). Let m be (-737)/77 + 3/(-7). Does 7 divide s(m)?
False
Let o be (-10)/75 - 823/15. Let z = o - -85. Does 15 divide z?
True
Is 3/((-8)/((-160)/3)) a multiple of 10?
True
Suppose 7 = -r + 18. Let w = r - 2. Is 3 a factor of w?
True
Let a be 10*1/5*6. Let z = -33 + a. Is 11 a factor of 3 + 7/(z/(-120))?
False
Let o(m) = -m**2 + 3*m - 2. Let j be o(2). Is 5 a factor of -4 + 6 + 28 + j?
True
Suppose -2*g + 3*s + 837 = 0, -5*g + 2*s = 4*s - 2140. Suppose -3*x + 60 = -g. Suppose 5*a = -22 + x. Does 14 divide a?
True
Let k = -8 + 9. Let p = 13 - k. Does 6 divide p?
True
Suppose -2*j = 3*j + 35. Let h = j + 16. Is 6 a factor of h?
False
Is (-11)/((-22)/4) + 135 a multiple of 13?
False
Let u = -93 + 35. Let b = u - -86. Is b a multiple of 9?
False
Let o(d) = d**2 - 5*d. Let h be o(8). Suppose -g = -3*g, -r + 2*g = -h. Is r a multiple of 6?
True
Suppose 3*l + 45 = -27. Let o(k) = k**3 - 12. Let a be o(0). Let i = a - l. Is i a multiple of 9?
False
Suppose -10*o + 12 = -8*o. Is 2 a factor of o?
True
Suppose 9 = -y + 2*y. Is 3 a factor of y?
True
Let y(l) = -l**3 - 13*l**2 + 6*l + 8. Let d be y(-14). Suppose -3*n + 8*n = d. Is n a multiple of 8?
True
Suppose -2*t - 59 = -s, t - 36 = 2*s - 148. Is 10 a factor of s?
False
Let g be 9/2 + (-2)/4. Suppose -z = -g*z + 9. Suppose z*o = 7*o - 96. Does 12 divide o?
True
Suppose -4*q + 1836 = 756. Suppose 5*a = -0*a + q. Does 18 divide a?
True
Is (2/(-3))/(56/(-756)) even?
False
Suppose 2*x + 2*x = 5*c - 180, -16 = -4*c. Is 21 a factor of (-2)/(x/(-21) + -2)?
True
Suppose 0 = c - 26 - 64. Is c a multiple of 16?
False
Suppose 5*o - o = 88. Suppose 0 = -5*u, -u = -4*x + u + 44. Let v = o - x. Is v a multiple of 11?
True
Suppose 0 = -2*g - 2*t + 118, -g + 0*t = -4*t - 34. Does 18 divide g?
True
Let m(c) = c**2 - c. Let h be m(-1). Suppose 3*p - 63 = -2*u, -p - 70 = -h*u + 3*p. Is u a multiple of 15?
False
Let o(s) = s**3 + 4*s**2 + 5. Is 2 a factor of o(-4)?
False
Let g = -5 + 29. Is 12 a factor of g?
True
Let l(n) = -7*n**2 + 2*n + 0*n + 34*n**2 - n. Let u(f) = f +