*m - 5*m + 36. Is o a multiple of 7?
True
Let d(f) = -f**2 + 11*f + 20. Is d(9) a multiple of 5?
False
Let h(k) = k**2 - 9*k. Let r be h(8). Let y = r + 34. Is y a multiple of 13?
True
Suppose -3*w + 28 = -2*r, -7*w = -2*w - 2*r - 40. Let x(m) = m**3 - 4*m**2 - 8*m + 7. Is 10 a factor of x(w)?
False
Let f(s) = -3 + 2 - s**2 + 7*s**2 + 0. Let l be f(-1). Suppose -2*x = 2*v - 72, -l*x - 6*v = -7*v - 198. Is x a multiple of 13?
True
Let w be 3/15 - (-19)/5. Let n = w - -1. Is n a multiple of 3?
False
Let t(w) = 2*w**2 - 20*w + 46. Is t(15) a multiple of 20?
False
Suppose -3*x - 36 = -0*x. Let f = 19 + x. Is f a multiple of 7?
True
Let p(i) be the third derivative of i**5/30 - i**4/4 + i**3 + 2*i**2. Is 14 a factor of p(4)?
True
Let w(p) be the second derivative of p**5/20 - p**4/2 - 4*p**2 + 3*p. Is w(7) a multiple of 13?
False
Suppose 5*m + 3*n = 4*n - 23, 0 = -3*n + 9. Does 21 divide (21/2)/((-1)/m)?
True
Suppose -5*f + 17 + 20 = 3*r, 0 = -4*r + 5*f - 9. Is r a multiple of 4?
True
Does 44 divide (-1319)/(-6) - (-2)/12?
True
Let b = -104 - -149. Let s = b + -9. Is 32 a factor of s?
False
Suppose -4*k = 3*x - 221, -5*x - 250 = 5*k - 10*k. Suppose 4*l = 9 - k. Let t = l + 18. Is 7 a factor of t?
True
Let t(m) = -2*m - 7. Let v be t(-5). Suppose 6*x - 2*x - v*k - 85 = 0, 5*x - 115 = 2*k. Suppose -5*i - 10 = -x. Does 2 divide i?
False
Suppose 14 = 5*x + 4. Suppose 3*j = x*j - 3*s + 30, 174 = 5*j + 3*s. Is 6 a factor of j?
True
Let d be 6/39 - 2/13. Does 33 divide d - (-390)/(-4 - -7)?
False
Let p = 643 - 319. Is 12 a factor of p?
True
Let n(l) = l**2 + 3. Let g be n(0). Suppose g*k - 51 = 9. Is 9 a factor of k?
False
Suppose j - 6 - 9 = 0. Suppose 0 = 2*b + 3*b - j. Does 6 divide 37/b - (-5)/(-15)?
True
Suppose -3*a + y + 1 = -2, 5*y - 25 = -5*a. Suppose a*k - k = 11. Is k a multiple of 6?
False
Let g = -2 - -21. Suppose -1 = 2*p - g. Does 4 divide p?
False
Does 23 divide (-396)/(-6) - (-2 + -1)?
True
Let k(u) = u - 4. Is 2 a factor of k(10)?
True
Let o(x) = 3*x - 1. Let r be o(4). Let n = 7 - r. Let d = 12 + n. Does 8 divide d?
True
Suppose 4*v + 0*v = -56. Does 7 divide 1/((2/v)/(-1))?
True
Let x(t) = 16*t**2 - t. Is x(1) a multiple of 10?
False
Let p = -40 - -54. Suppose 0 = -d + 1 - 0. Does 8 divide 2 + (d + 0)*p?
True
Suppose -3*z = 5*h - 7*z - 19, 0 = -3*h + 5*z + 14. Suppose -76 = -h*k - 28. Does 9 divide k?
False
Suppose -2*z = -j + 4, -3*z - 2*j = -7*j - 8. Let f(w) = w**2 + 7. Is f(z) a multiple of 23?
True
Suppose -5*k = 3*b + 70 - 205, -3*k - 5*b = -97. Does 8 divide k?
True
Let o(f) = -f**3 + 9*f**2 + f + 16. Does 25 divide o(9)?
True
Let v = 2 - -1. Suppose 0 = -o + 4*l + 33 - 5, -57 = -3*o + v*l. Is o a multiple of 16?
True
Suppose 0 = j - 5*j + 52. Let o = -3 + j. Is o a multiple of 10?
True
Is 6 a factor of -1*(3 + -2) + 24?
False
Suppose 2*z + 0*i - 2*i + 28 = 0, -i = 4*z + 76. Is (-675)/z - (-6)/(-4) a multiple of 18?
True
Let g = 153 + -55. Is 4 a factor of g?
False
Let n(q) = -q**3 - 11. Let a be n(0). Let j be 4/(-6) + a/(-3). Is 11 a factor of -6*j/(18/(-32))?
False
Let t = 2 - 2. Suppose i - 10 + 1 = t. Does 5 divide i?
False
Let d(o) = 2*o**2 - 4. Let l(z) = -z + 6. Let c be l(6). Let m = c - 3. Is 14 a factor of d(m)?
True
Let x(i) = -i**2 + 7*i + 6. Let l be x(-6). Let k = -43 - l. Is 20 a factor of k?
False
Let b be ((-15)/(-6) + 3)*-8. Let g = b + 87. Is g a multiple of 16?
False
Let j(q) = -16*q. Let s be j(2). Let g = s + 59. Is g a multiple of 10?
False
Let c(m) = -67*m**3 - 4*m**2 + 9*m + 2. Let k(q) = -33*q**3 - 2*q**2 + 4*q + 1. Let b(p) = -4*c(p) + 9*k(p). Let j = -11 + 10. Is 13 a factor of b(j)?
False
Suppose -2*n - d + 7 = 3*n, 3*d - 10 = -4*n. Let t(u) = -2 + 4*u**2 - 8*u + 1 + 9*u. Is t(n) even?
True
Let b(r) = -r**3 - 6*r**2 - 6. Let x be b(-6). Is 8 a factor of (-198)/x + (2 - 1)?
False
Is (1640/60)/(0 - (-2)/3) a multiple of 4?
False
Suppose 2*p - 134 = -8. Is 21 a factor of p?
True
Let t = -157 - -256. Does 41 divide t?
False
Suppose 2*d - 3*w = 10, -d - 5*w - 4 = 2*d. Let x(c) = 2 + 2*c + 6*c**3 - c**d + 0*c + 3*c - 6*c. Is x(2) a multiple of 22?
True
Let m(x) be the second derivative of x**3/6 - x**2/2 + x. Is m(6) a multiple of 4?
False
Let u(b) = 4*b**2 + 6*b**3 + 1 + b + 1 - 3*b. Let t be u(3). Is 11 a factor of t/18 - (-8)/36?
True
Let f = 2 + 2. Let i(z) = -3*z**2 - 9*z - 11. Let u(k) = -2*k**2 - 5*k - 6. Let w(y) = 3*i(y) - 5*u(y). Is 2 a factor of w(f)?
False
Let g(q) = -q**2 + 34 - 14 - 1 + 53 - q. Let o be g(0). Suppose 3*f - o = -f. Is 10 a factor of f?
False
Let z(u) = 2*u + 26. Is z(0) a multiple of 16?
False
Is 2 a factor of (12/7)/(4/42)?
True
Let q = 38 - 26. Is 6 a factor of q?
True
Suppose 4*o + 1 - 4 = -p, 0 = 4*p - o - 12. Suppose 2*m - 30 = -p*m. Is 6 a factor of m?
True
Let m = -2 + 24. Does 22 divide m?
True
Let q be (4/10)/(1/15). Suppose -2*u - 3*u = -5, y = -2*u + 2. Suppose 3*d - q = -y. Is d even?
True
Suppose 0*n + 4 = 4*n. Let q = n - -1. Suppose q*x = 6*x - 48. Does 12 divide x?
True
Let a be (4/3)/(4/6). Suppose g = -a + 4. Suppose g*v - 3 - 59 = 0. Is 11 a factor of v?
False
Let s = 12 + -8. Suppose s*u - 3*u = 9. Is 8 a factor of u?
False
Let t(v) be the third derivative of -v**5/60 + v**4/3 - v**3 - v**2. Let o be t(6). Let p(i) = i**2 - 2*i - 2. Is 12 a factor of p(o)?
False
Suppose -2*v - 58 = -3*v + 2*j, -v = 3*j - 43. Suppose 2*l = -f + v, -5*l + 87 = -5*f - 43. Is 13 a factor of l?
True
Let f(r) = r**3 - 7*r**2 + r - 6. Let q be f(7). Let y = -1 + q. Suppose y*h = h - 4. Is h a multiple of 3?
False
Let b(s) be the first derivative of 14*s**2 - s + 3. Is b(1) a multiple of 9?
True
Let z be (-38)/6 - 4/(-12). Let v be 1/(z/15)*-6. Suppose -5*i + 201 = -g + v, 3*i - 2*g - 113 = 0. Is i a multiple of 16?
False
Suppose 0*g = 5*g - 10. Suppose 5*z - 42 + g = 0. Does 8 divide z?
True
Let z be (52/(-6))/((-6)/54). Suppose 12 = -3*l + z. Suppose -l + 7 = -g. Is 15 a factor of g?
True
Let g(c) = -11*c**2 - 1 - 2*c + c**3 + 3*c + 0 + 13. Is 8 a factor of g(11)?
False
Suppose -11*p = -6*p + 5. Let j(f) = -f + 1. Let q be j(5). Is 11 a factor of ((-2)/q)/(p/(-22))?
True
Let n = -2 + 0. Let x be ((2 - 1)*0)/n. Suppose 0 = -x*z + 3*z - f - 35, z = 4*f + 8. Does 4 divide z?
True
Suppose 4*i = -0*i - d - 15, -d + 9 = -2*i. Is (-18)/15*50/i a multiple of 5?
True
Let u be -4 + 1 - -10 - 3. Suppose -p + 63 = 5*n, u*p + 7 - 25 = -2*n. Is 6 a factor of n?
False
Suppose -5*t - 10 = -n, -13 = -4*t - 0*t + 5*n. Let h(o) = 36*o**2 - o - 1. Let y be h(-1). Is (-10)/t*y/5 a multiple of 13?
False
Suppose -21 = 4*o - 101. Is o a multiple of 20?
True
Suppose -3*q + 2*j - 16 = 0, -5*q = j + j + 16. Is 6 a factor of q/(-6) + 80/6?
False
Let y be ((-50)/15)/((-2)/6). Let b be (-7)/(-2) + (-15)/y. Suppose 4 = b*t - 0*t. Is t even?
True
Suppose -y = -0*y - 78. Is y a multiple of 26?
True
Let u(n) = 16*n. Suppose -4 = -z - z. Does 16 divide u(z)?
True
Let f = -19 - -30. Is 4 a factor of f?
False
Suppose 4*u - 321 = -5*h, 3*h - 1 = 2*h. Let b = -40 + u. Is 13 a factor of b?
True
Suppose 0 = r - 2*r. Suppose 4*j - 2*j - 10 = r. Is j a multiple of 2?
False
Is 27 a factor of 107/(4 - (-6)/(-2))?
False
Suppose -2*p + 11 + 21 = 0. Is 7 a factor of (3 + p)*(1 - 0)?
False
Let c be ((-3)/2)/((-15)/320). Suppose 5*a + 6 + 91 = 4*p, -2*a + 67 = 3*p. Let d = c - p. Does 7 divide d?
False
Suppose 4*p - 5*g - 24 = 941, -3*p + 4*g + 725 = 0. Is 50 a factor of p?
False
Suppose -3*p + 5 = -40. Let u be 2/(-4)*-2 + 5. Suppose b + p = u*b. Does 3 divide b?
True
Suppose -2*n - 13 = 35. Does 25 divide (n/(-30))/(2/125)?
True
Let u be (-66)/(-14) + 2/7. Suppose 5*x - 90 = -3*m, 0*x = 2*x - u*m - 5. Is x a multiple of 15?
True
Suppose 6*w - 3*w = 0. Suppose -4*r - 3*q - 349 = w, 5*r - 5*q + 706 = 261. Let s = r - -126. Is s a multiple of 19?
True
Let o = 29 + -42. Let i be (-3)/((-6)/4)*-15. Let k = o - i. Is 13 a factor of k?
False
Let c = 101 - 41. Does 5 divide c?
True
Suppose -5*h - 24 = -s - 0*s, -136 = -3*s - h. Is s a multiple of 11?
True
Let i(y) be the first derivative of y**4/4 + 2*y**3 - 3*y**2/2 - 7*y - 4. Let m be i(-5). Suppose 51 = g - 5*w, -g + w + m = 2*w. Is g a multiple of 15?
False
Let d(z) = 11*z**2 - 3. Let t(u) = -u**2 + 1. Let b(n) = d(n) + 4*t(n). Is 2 a factor of b(1)?
True
Let n(w) = 14*w - 1