t p = 106 - 16. Is 18 a factor of p?
True
Suppose 0 = -10*g + 9*g + 165. Is 33 a factor of g?
True
Let u(m) = 5*m + 7. Let f be u(-6). Let l = f - -40. Is 12 a factor of l?
False
Let y = -7 - -9. Suppose -47 = 4*r - 4*s - 119, 0 = -y*r - 5*s + 50. Is r a multiple of 10?
True
Let v be 0*((-15)/6)/5. Suppose v = 5*a - 3 - 47. Does 10 divide a?
True
Is 1/5 - 11344/(-80) a multiple of 32?
False
Let x = 14 + -1. Let f = -2 - -5. Let w = f + x. Is 6 a factor of w?
False
Let l be 0 + 13/(26/(-60)). Let m = l - -73. Does 11 divide m?
False
Suppose 0 = -3*h + 3*b + 43 + 11, 4*b = -2*h + 6. Let k be -1 + (1 + 53)/2. Let m = k - h. Is m a multiple of 6?
False
Suppose -3*t - 9 = -2*z - 0*t, 4*t = -4*z - 12. Let a = 1 - -75. Suppose z*k = 4*k - a. Is 19 a factor of k?
True
Suppose 0 = -5*x + 41 - 1. Suppose 4*y - x = 288. Let q = y + -48. Is q a multiple of 9?
False
Let k = 0 - 5. Let b = 8 + k. Let r(v) = -v**3 + 4*v**2 + 3. Is r(b) a multiple of 7?
False
Suppose -n + 2*g + g + 218 = 0, 3*n = 3*g + 666. Is n a multiple of 28?
True
Suppose 8*k - 131 - 677 = 0. Is 12 a factor of k?
False
Let h = -199 + 279. Does 20 divide h?
True
Let j(d) = 2 + 7*d - 6 + 4 - 1. Let g be ((-6)/(-15))/((-1)/(-10)). Is j(g) a multiple of 11?
False
Let z(g) = -g**3 - g**2 - g - 1. Let h be z(-1). Let i be 10/6 - 12/(-36). Suppose h*j = j + i, 4*j - 20 = -m. Is m a multiple of 14?
True
Does 3 divide (-18)/(-5)*(5 + 0)?
True
Let n = -8 - -12. Suppose 22 = b - 6. Suppose -2*y = -n*y + b. Is 7 a factor of y?
True
Suppose 2*a - 3*a - 82 = 0. Let x = -56 - a. Let i = x + -5. Does 13 divide i?
False
Let w = 146 - 98. Is 9 a factor of w?
False
Suppose -2*m + 0*v = -5*v - 45, 0 = -2*m - 3*v + 5. Is 5 a factor of m?
True
Let d be (1/2)/((-3)/36). Let q be (-2 + 5)*(-4)/d. Suppose 0 = -r - q*r + 165. Does 15 divide r?
False
Is 38 a factor of (152/(-10))/((-6)/15)?
True
Suppose -3*f = -58 - 23. Does 21 divide f?
False
Let y be ((-72)/20)/((-1)/5). Let k = y - -82. Suppose 0 = 2*s + 3*d - 72, -4*s + 6*s - 4*d = k. Does 21 divide s?
True
Let l(c) = -c**3 - 13*c**2 - 7*c + 9. Does 27 divide l(-13)?
False
Let n(l) = 3*l**3 - l + 1. Let m(z) = z - 5. Let b be m(6). Let u be n(b). Suppose u*k + 2*k - 175 = 0. Is 17 a factor of k?
False
Suppose -137 - 55 = -4*z. Suppose -z = u - 4*u. Does 5 divide u?
False
Let r = 2 + 6. Let n be (-12)/(-8)*r/3. Let k = n + 7. Does 10 divide k?
False
Let x = -5 - -1. Let c = x + 50. Let g = c - 23. Is 18 a factor of g?
False
Suppose 0 = 3*f + f - 44. Let w = 28 - f. Is 5 a factor of w?
False
Let y(k) = k**3 + 3*k**2 + 2*k. Let d be y(-2). Suppose -5*n + 84 + 89 = -3*r, -n - 3*r + 31 = d. Is n a multiple of 17?
True
Suppose -216 = q - 9*q. Is 16 a factor of q?
False
Let j = 69 - 29. Is 8 a factor of j?
True
Suppose 0 = -5*n + 4*y + 176, 0*n - 146 = -4*n - 2*y. Let l be -1*(-8 + 6 + -3). Suppose -l*x = -3*x - n. Is x a multiple of 9?
True
Let s = -39 - -66. Is s a multiple of 10?
False
Is 3/(20 + -5) + (-158)/(-10) even?
True
Suppose 0 = 4*o + 1 - 17. Suppose -3*b - 26 = -5*b - o*n, 5*n - 64 = -4*b. Is 16 a factor of b?
False
Suppose -3*w + 72 - 21 = 0. Suppose u + 4*x + 8 = -u, -4*u + w = -3*x. Suppose 2 = u*c - 24. Is c a multiple of 13?
True
Let o = 0 - -8. Let w(j) = 2*j + 3. Is 7 a factor of w(o)?
False
Suppose -2*k = -6, -3*k + 2 = -5*f - 7. Suppose f = s - 6*s. Suppose -4*u = 4*c - 196, u + 5*c - 52 - 5 = s. Is u a multiple of 13?
False
Does 4 divide 2/(-1) + 6 + (0 - 0)?
True
Let j be (2 - (0 + 2))/1. Suppose 2*c + 236 = 5*f, -f + 5*c + 38 = -j*f. Is -9*(f/(-9))/4 a multiple of 12?
True
Let b(a) = -7 - 3*a**3 + 11 - 5 - 44*a**3. Does 12 divide b(-1)?
False
Let c(d) = -d**3 + 4*d**2 - d + 2. Let z(v) = -v - 9. Let r be z(-12). Is c(r) a multiple of 8?
True
Let p be (-80)/(-15)*6/4. Let q be (0 - (-18)/p)*44. Suppose -q = -5*v - 4. Is 12 a factor of v?
False
Let d(w) be the first derivative of -w**2 - 8*w - 3. Is 10 a factor of d(-9)?
True
Let p = 83 + -7. Does 13 divide p?
False
Let v(g) be the first derivative of g**3/3 + 3*g**2/2 + 3*g - 7. Does 8 divide v(-5)?
False
Let y(p) = 23*p**2 + 5*p - 1. Let n(a) = -24*a**2 - 6*a + 1. Let c(m) = 3*n(m) + 4*y(m). Is 5 a factor of c(1)?
False
Suppose a = -a - 14. Let q = a - -11. Suppose -q*r = r - 60. Is r a multiple of 6?
True
Let v(n) = -n**3 + n**2 - 1. Let c be v(-2). Let y = -6 + c. Suppose y*m = 2*m + 24. Is m a multiple of 8?
True
Suppose 0*y + 50 = -2*y. Is (-465)/y - 6/10 a multiple of 6?
True
Let y(m) = -m**3 + 16*m**2 - 20*m + 10. Let i be y(14). Let a = i + -60. Is a a multiple of 16?
False
Suppose -4*n - 9 = -7*n. Let p = n - -4. Suppose 0 = 3*y - 56 - p. Is 21 a factor of y?
True
Let t be ((-14)/(-35))/((-1)/(-5)). Is (18/30)/(t/130) a multiple of 18?
False
Let u be 4/(-1) + (7 - 3). Suppose 0 = -3*m - u*m + 180. Does 20 divide m?
True
Let j(t) = t**2 - 7*t + 5. Let g be j(4). Let q = -3 + 1. Let n = q - g. Is 5 a factor of n?
True
Suppose 31 = -2*u + 3*u. Suppose -2*k = -5*h - u, 2*k + 3*h = -0*k + 39. Is 9 a factor of k?
True
Let g be -5*12/(-45)*-6. Let i(h) = -h - 3. Is 5 a factor of i(g)?
True
Suppose -4*b + 3 = 4*n - 1, 0 = 2*b. Is 21 a factor of n*67 - (-7 + 7)?
False
Let y(p) = 2*p + 0*p - 9 + 3*p. Let f(d) = -d - 5. Let i be f(-11). Is y(i) a multiple of 14?
False
Suppose -2*x + 5*y = 1, 4*x + 2*y - 5*y - 33 = 0. Does 8 divide x?
False
Let i = 141 - 79. Suppose 0 = -a - a + i. Is 8 a factor of a?
False
Let q = -107 + 196. Is q a multiple of 22?
False
Let d = -105 + 201. Is 48 a factor of d?
True
Suppose -11*o - 3*o + 280 = 0. Is 20 a factor of o?
True
Is 35 a factor of (-26)/((-378)/(-96) + -4)?
False
Let o(u) = u**2 - 4*u + 8. Let l be o(6). Suppose 3*s - l = -5*m - s, 3*m + 3*s = 12. Let f(p) = p**3 - 3*p**2 + 2*p. Does 12 divide f(m)?
True
Is ((-20)/(-6))/(3/27) a multiple of 10?
True
Let y be -1*(-5 + -1) - 2. Let d = 6 - y. Let s = 13 - d. Is 11 a factor of s?
True
Suppose 17 = 5*x - 3*y, -2*y = -3*x + 10 - 0. Is x even?
True
Let r be 0 + (-1 + 2)*14. Let y = -2 + r. Is y a multiple of 12?
True
Let a(j) = -j**3 + 25*j**2 - 22*j + 22. Is a(24) a multiple of 8?
False
Let k be (0/2 - -26)/2. Let v = k + -8. Is v/(2/6 + 0) a multiple of 15?
True
Suppose 0*h + 4 = -2*h - 2*i, -4*h = -5*i - 10. Suppose 12*a - 11*a - 3 = h. Does 3 divide a?
True
Let x(c) be the first derivative of -3*c**2/2 - c - 1. Is x(-3) a multiple of 5?
False
Let v(b) = 2*b**3 - 2*b**2 - 2*b - 2. Let p be v(-2). Let l = 24 - p. Suppose 4*o = 2*t + 3*t - 78, 0 = -4*t - 5*o + l. Is 7 a factor of t?
True
Let o(i) = -4*i**3 + 6*i**2 + 5*i - 3. Let g(l) = 7*l**3 - 12*l**2 - 11*l + 6. Let q(y) = 3*g(y) + 5*o(y). Is q(8) a multiple of 23?
False
Let x be 10 - -4*3/(-12). Suppose -i = -m - 21, x = i - 3*m - 2*m. Is 4 a factor of i?
True
Suppose -2*f + f + 4*h = -51, 4*f - 5*h = 226. Is f a multiple of 28?
False
Let a = -12 - -39. Is 9 a factor of a?
True
Let o = 10 + -6. Let m(x) = x**2 - x - 4. Is 4 a factor of m(o)?
True
Suppose t - 2 = 4*a + 56, t - a - 61 = 0. Let j = -26 + t. Does 18 divide j?
True
Suppose -z + 12 = 3*z. Suppose z*c - 14 = c. Is c even?
False
Suppose 19*s - 234 = 17*s. Does 9 divide s?
True
Let f be (8/(-10))/((-3)/15). Suppose p = -3*m - 0*p + 15, -2*m - 5*p = -10. Suppose -2*i + 34 = m*c, -i + 22 = 2*c + f*i. Does 4 divide c?
False
Let j = 13 - 8. Let i = -39 - -85. Suppose -i = -j*g + 4. Is 5 a factor of g?
True
Suppose 4*u + 0*n + n = 10, 19 = 5*u - 2*n. Suppose -5*d = u*q - 205 - 41, d - 58 = -5*q. Does 24 divide d?
True
Let j = 15 + 10. Is 25 a factor of j?
True
Let h(q) be the second derivative of -2*q**3/3 + q. Let m be h(-1). Suppose -m*u = 0, u + 56 = 4*l - u. Does 14 divide l?
True
Let y(j) = 2*j**2 + j. Let z = -29 + 21. Let h be y(z). Suppose 0 = -3*b - b + h. Is 10 a factor of b?
True
Is 10 a factor of (11 - 21)/(1/(-2))?
True
Let t = -11 + 15. Suppose t*d = -5*b + 54, -b - 5*d = -d + 2. Is b a multiple of 7?
True
Let d = -46 - -122. Is d a multiple of 5?
False
Suppose 8 = 2*g - 4. Let f be (-4)/(-12) - 8/g. Let s = f + 5. Does 3 divide s?
False
Let g = 8 + -5. Is 20 - (2 - g)/1 a multiple of 7?
True
Let k = -17 - -11. Is (k/(-4))/((-3)/(-16)) a multiple of 4?
True
Let t(u) = u**2 + u + 3. Let w be t(8). Suppose -30 - w = -3*c. Is c a multiple of 11?
False
Let s(k) = -6*k - 33. Is 53 a facto