 j a multiple of 15?
True
Let m(x) = x**2 + 3*x + 2. Let o be m(-3). Suppose 11 = -o*t + 65. Let z = 56 - t. Is z a multiple of 18?
False
Suppose -3*r - r - 3*t = -316, 70 = r + 3*t. Let y = -56 + r. Is 21 a factor of y?
False
Let r be 170/25 - 1/(-5). Let h(a) = 2*a + 16. Is h(r) a multiple of 10?
True
Suppose -44 + 10 = -2*a. Suppose 0 = 11*t - 13*t + 118. Suppose 4*b - t = a. Does 9 divide b?
False
Let t be ((-3)/(-1) - -14) + 1. Let f = -1 - 6. Is (f/((-7)/t))/1 a multiple of 9?
True
Suppose 3*l - 12 = 0, 7*p + 5*l = 4*p + 29. Suppose 0 = n - 0 - 3. Suppose -z + 45 = n*x - x, p*x - z - 80 = 0. Is x a multiple of 9?
False
Does 5 divide 1*3 + (28 - -3)?
False
Let p(l) = 49*l**3 - 3*l**2 - l + 3. Let s(y) = -50*y**3 + 4*y**2 + y - 4. Let n(o) = -4*p(o) - 3*s(o). Is n(-1) a multiple of 15?
True
Let h = 43 - 13. Is h a multiple of 15?
True
Let v be 6/8 + (-213)/12. Let r = v + 21. Does 2 divide r?
True
Let v(t) = 4*t - 7 - 9*t - 8*t. Let f be v(-5). Suppose o - f = -o. Does 16 divide o?
False
Is -2 + (-17 + 13 - (-166 - 0)) a multiple of 10?
True
Let q(a) = -564*a - 2. Let j be q(-1). Suppose -3*v = -2*v - 5*c - 134, 2*c - j = -5*v. Is v a multiple of 24?
False
Suppose 4*r = 38 - 2. Suppose -4*u + r = -u. Is 3 a factor of u?
True
Let d(z) = z - 2. Let s(i) = 6*i + 2. Let k(b) = 5*b + 2. Let f(x) = 4*k(x) - 3*s(x). Let r be f(3). Is 3 a factor of d(r)?
True
Suppose 9 = 2*i + l, -4*i = -5*l - 36 + 11. Suppose 3*y - j - 165 = 0, -i*y + 2*j = 6*j - 258. Suppose -r + y = 2*r. Does 9 divide r?
True
Let t = 6 + -2. Suppose -30 = -6*p + t*p. Does 15 divide p?
True
Suppose 2*f = -5*q + 60, -5*f + 21 + 54 = 5*q. Suppose -b = 3*a - 23, -b = -2*a + b + q. Is 7 a factor of a?
True
Suppose -5*x + 2*x = -12, -3*i = 2*x - 23. Let f(t) be the first derivative of 4*t**2 + 7*t - 11. Does 17 divide f(i)?
False
Suppose 2*j - 8 = 4*o, 0*o + 25 = -5*j - 5*o. Let s be ((-3)/5)/(j/10). Does 7 divide 2/s + 192/9?
False
Let d(j) = -j + 22. Is d(-10) a multiple of 16?
True
Suppose 252 = -4*z + 3*s, -3*z - 4*s - 43 = 146. Let p = -29 - z. Does 18 divide p?
False
Is 3 a factor of (1 - -31)*(-7)/(-14)?
False
Let z(q) = -5*q**3 + 2*q + 1. Let x be z(-1). Suppose -5*l + 2*h = -36 - 34, x*l + 2*h = 38. Is l a multiple of 4?
True
Suppose -178 - 254 = -4*n + 5*k, 216 = 2*n - 2*k. Is n a multiple of 36?
True
Suppose -7*i = -3*i - 4. Let n be 0 + -11 + (-1)/i. Let o = n - -23. Is o a multiple of 11?
True
Is 50 a factor of ((-15)/(-1))/(5/100)?
True
Let w(g) = 2*g + 36. Let o be w(0). Suppose 5*l - 189 = o. Is l a multiple of 12?
False
Let z be (-18)/7*(-70)/(-15). Is 7 a factor of 17*1 + (z - -9)?
True
Let z(a) = a + 2*a**2 + 3*a - 2 - 3*a. Let t = 0 - 3. Is z(t) a multiple of 13?
True
Let c(u) be the third derivative of -u**5/60 + 5*u**4/8 - 5*u**3/2 - 5*u**2. Is 18 a factor of c(12)?
False
Is 4 a factor of (-15 + (-3 - (2 + -4)))/(-1)?
True
Suppose 205 = 5*y + 5*g, 2*g = 2*y - 26 - 40. Suppose 0*b + 4*b + 3*n = y, 46 = 5*b + 4*n. Is 5 a factor of b?
True
Let b be (-3 - -1) + (1 - -1). Let t(l) be the second derivative of l**4/12 - l**3/6 + 2*l**2 + l. Is t(b) a multiple of 2?
True
Let i(c) = c**2 + c + 6. Is 2 a factor of i(0)?
True
Suppose 0 = -4*k - 2*d + 148, -k - 2*k - d + 113 = 0. Suppose 4*q - 139 + k = 0. Does 17 divide q?
False
Let q(l) = -l**3 - 4*l**2 + 8*l + 2. Suppose -8 - 4 = 2*g. Let h be q(g). Suppose 2 = -3*a + h. Is 4 a factor of a?
True
Suppose -29 - 1 = 2*t + 5*f, 3*t + 2*f = -23. Does 14 divide 705/25 - (-1)/t?
True
Suppose -3*k = -x - 16, -2*k = -2*x - 18 + 6. Is (x/2)/(1/(-70)) a multiple of 15?
False
Let a = -29 - -50. Suppose a = 2*w + w. Let o = w - -1. Does 8 divide o?
True
Let s(d) = -d**2 - 6*d. Let g be s(-5). Suppose 43 - g = y. Is 19 a factor of y?
True
Let w(h) = h**3 + 2*h**2 - 2*h - 2. Let g be w(-2). Suppose z - 50 = -4*i + 130, i + 4*z - 60 = 0. Let y = i + g. Is y a multiple of 23?
True
Suppose 0 = w + 2*j - 2 - 0, 4*w - 8 = 5*j. Suppose -2 - 6 = -w*v. Suppose 0 = v*l + 2*c - 54, -3*c + 7 + 10 = 2*l. Is 8 a factor of l?
True
Let u(t) = t - 1. Is u(4) a multiple of 2?
False
Let w(b) = b**3 + b - 2. Let o be w(2). Let z(d) = d**2 - 9*d + 10. Let i be z(o). Suppose 0*y = -i*y + 44. Does 8 divide y?
False
Let u(w) = 17*w + 2. Is 12 a factor of u(2)?
True
Let d be 4 + 0 + -2 - 10. Let a = 49 + d. Does 15 divide a?
False
Let v be -3*(3 + -4)*1. Suppose 0 = 2*m - v - 13. Is m a multiple of 4?
True
Suppose 2*y - i - 23 = 0, 5*y + 8 = 7*y + 2*i. Let k = y - -9. Is (1/2)/1*k a multiple of 7?
False
Suppose -n = -6*n + 110. Is 17 a factor of n?
False
Let n(y) = 13*y**2 - 3*y - 6. Does 13 divide n(4)?
False
Let q(x) = -2*x**3 + 3*x**2 - x + 4. Let f be q(3). Let t = f - 4. Does 15 divide (-2)/(-6)*0 - t?
True
Let j(b) = 2*b**2 - 30*b + 23. Is 7 a factor of j(17)?
True
Suppose 0 = n - 3*h + 17, n - 6*n - 13 = 3*h. Let o(a) = -7*a - 7. Let z be o(n). Is 12 a factor of 328/z + 2/7?
True
Suppose 165 = 5*n + 395. Let o = -22 - n. Is o a multiple of 12?
True
Suppose -8*j + 318 = -2. Is j a multiple of 6?
False
Let q = 59 - 23. Is q a multiple of 9?
True
Suppose -5*b + 8 = -7*b. Does 13 divide 30*(2/b - -3)?
False
Let r = 0 + 3. Let x = r - 2. Let a(y) = 13*y**3 + 2*y**2 - 1. Is 14 a factor of a(x)?
True
Let g be 1620/(-12) + 2/1. Is 11 a factor of g/(-9) - 20/(-90)?
False
Let w(z) = 10*z + 2. Let q(l) be the first derivative of l**4/4 + 5*l**3/3 + 2*l + 1. Let f be q(-5). Is 11 a factor of w(f)?
True
Suppose -20 - 5 = -5*p. Is p a multiple of 5?
True
Suppose -5*b - 42 = 13. Let d = 34 + b. Is d a multiple of 9?
False
Let i be 6/(-2)*(-6)/9. Let g be (-4)/(-14) - (-962)/14. Suppose -h - i*h = -g. Is 15 a factor of h?
False
Suppose 2*n - 31 = -5*z, 4*z - 24 = -0*z - 2*n. Let q = z - 2. Does 5 divide q?
True
Let m be (-1)/(3/(1 + -16)). Suppose 0*z + 18 = z + 3*g, -m*z + 3*g + 54 = 0. Is 12 a factor of z?
True
Suppose 12 = 6*g - 504. Suppose 128 = 4*o + 3*d - 0*d, g = 2*o - 4*d. Is o a multiple of 16?
False
Let f = -8 - -5. Let d(t) = t**2 + 2*t. Let c be d(f). Suppose 0 = c*v - 0*v - 4*s - 12, v = 3*s + 4. Does 2 divide v?
True
Suppose 3*z - 5*h = 12, -5*z + 3 + 17 = -2*h. Suppose 5*n - z*q = -9*q + 20, q + 20 = 3*n. Suppose s = -n*i + 3*i, -i = -5*s + 64. Is s a multiple of 12?
True
Let t(b) = -3*b**2 - 4*b - 5. Let m be t(4). Let d = m + 103. Is d a multiple of 17?
True
Is ((-6)/5)/((-2)/35) a multiple of 13?
False
Suppose 2*u + 5*u - 2030 = 0. Does 58 divide u?
True
Is 2 - 12/8 - 122/(-4) a multiple of 5?
False
Suppose 0 = 2*i + 3*l + 12, 0 = 2*i - 6*i - 2*l - 24. Let b = i - -14. Is 4 a factor of b?
True
Let m(i) = -4*i**3 - 12*i**2 - 8*i. Is m(-4) a multiple of 16?
True
Suppose -14 = -4*i - 110. Let h = i + 69. Does 16 divide h?
False
Suppose 3*v = 35 + 79. Is v a multiple of 19?
True
Let g(r) = -r**2 + r. Let n(p) = 4*p**2 - 10*p + 2. Let a(b) = -8*g(b) - n(b). Let i = -2 + -1. Does 10 divide a(i)?
False
Let m = 57 - 27. Does 15 divide m?
True
Suppose 3*h + 2*h = 105. Let o = h - 11. Is 5 a factor of o?
True
Let t(c) = c**2 - 2*c. Let s(d) = -4*d**2 + 9*d. Let m(g) = 2*s(g) + 11*t(g). Is m(4) a multiple of 14?
False
Does 22 divide -179*(-1 - (3 + -3)) - 3?
True
Let d(x) = x**3 - 11*x**2 + 13*x - 2. Is d(10) a multiple of 28?
True
Let g be -9 + 1 + 0 + 2. Is 9 a factor of (g/(-15))/(1/95)?
False
Is 20 a factor of 2/(-2) + (-4 - -3) - -122?
True
Suppose -4*h = -6*h - 56. Is 27 a factor of 8/h + 569/7?
True
Suppose -5*u - 2*v - 84 = 0, 9*u + 102 = 4*u + 4*v. Let c be 3 + 4/((-12)/21). Is (-220)/(-18) - c/u a multiple of 12?
True
Suppose 6 = 3*d - 6, f = -5*d + 11. Let r(p) = -18*p + 1. Let s be r(1). Let c = f - s. Is 5 a factor of c?
False
Let x = 10 + -6. Let m = 13 + -10. Suppose -18 = -m*v - 3, 0 = -x*a + 2*v + 166. Is 12 a factor of a?
False
Is ((-2)/4)/(6/(-12)) - -85 a multiple of 11?
False
Is 2/(-1) + -1 + (10 - 2) a multiple of 4?
False
Is 3 a factor of (2/4)/((-1)/(-12))?
True
Suppose 11 = 2*q - 17. Let m be 4/q + (-38)/(-14). Suppose -y = -m*y + 56. Is y a multiple of 16?
False
Suppose -4*m + 46 + 10 = 0. Suppose f = -f - m. Is (-2)/(-7) - 19/f a multiple of 2?
False
Suppose -4 = 3*k + 14. Does 10 divide ((-20)/k)/(5/15)?
True
Let u = 97 + -38. Is 35 a factor of u?
False
Let v = 5 + -3. Let f(g) = v + g**3 + 12*g - 10*g - 9*g**2 + 0. Does 10 div