1)/15) a multiple of 14?
True
Let q = -18 + 52. Does 34 divide q?
True
Let l(t) = t**3 - 4*t**2 - 19*t + 23. Is 15 a factor of l(8)?
False
Suppose 3*b + 36 = -2*u + 240, 2*b = -5*u + 147. Does 8 divide b?
False
Suppose 30 = 13*s - 12*s. Is 3 a factor of s?
True
Suppose n - 2*r = -n + 54, -2*r = -4*n + 100. Suppose 4*m = n + 129. Let i = 63 - m. Is 11 a factor of i?
False
Suppose 3*f - 4*z + 56 = 4*f, -4*f + 152 = -2*z. Is f a multiple of 20?
True
Suppose 5 = 4*x - 19. Does 4 divide x?
False
Let j = 38 + -87. Let q = 91 + j. Does 11 divide q?
False
Suppose -4*j + 58 = -2*f, 3*f - 5 = -j + 6. Does 14 divide j?
True
Let d(u) = 33*u + 4. Let s = -5 - -10. Let j be d(s). Suppose -3*b - 3 = 0, 5*b = 4*q + 4*b - j. Is q a multiple of 15?
False
Let h be ((-9)/(-6))/(2/(-4)). Let b be 132 + (h + 2 - -4). Is (-4)/((-12)/b) + -2 a multiple of 19?
False
Let m be 1/(3 + 58/(-19)). Let d be m/(-7) - (-8)/28. Is 23 a factor of ((-644)/(-7))/(-1 + d)?
True
Let k(t) = -18*t + 18. Is k(-3) a multiple of 18?
True
Let s(g) = g + 4. Let l be s(-9). Is 3 a factor of ((-39)/(-65))/((-1)/l)?
True
Suppose b = r + 4, -3*b + 3 = -2*r - 2. Let l = r + 10. Is l even?
False
Suppose 6*i - 3*i = 4*b - 397, 2*b + 2*i = 202. Is 46 a factor of b?
False
Let g(d) = 2*d**2 - 2*d + 5. Let j be g(-4). Let b be ((-3)/6)/((-4)/(-136)). Let r = j + b. Does 14 divide r?
True
Let v be (-200)/(-16) + 2/(-4). Suppose 7*k = 5*k + v. Let d(m) = 6*m - 6. Is 15 a factor of d(k)?
True
Is -4*(-5)/(-5) - -39 a multiple of 5?
True
Is (71 - 1) + 9/9 a multiple of 35?
False
Suppose -4*d = -50 - 26. Does 9 divide d?
False
Let q = -81 + 97. Is q a multiple of 16?
True
Let m(l) = -l**2 - 13*l - 2. Let d(b) = 2*b**2 + 25*b + 4. Let x(k) = -3*d(k) - 5*m(k). Let v be x(-6). Let s = v + -4. Is s a multiple of 9?
True
Suppose -3*v - 5*h + 151 = 0, 0*v + 54 = v - 2*h. Is 13 a factor of v?
True
Suppose 0*f + 12 = 4*f. Let q = -1 + f. Suppose 0 = l - d + 3*d - 19, 70 = 4*l + q*d. Is 10 a factor of l?
False
Let a(t) = t**3 - 7*t**2 + 10*t + 8. Is 4 a factor of a(6)?
True
Suppose -3*k - o + 33 = 0, 28 = 4*k - 0*k - 4*o. Suppose b = -0*b + f + k, -2*f = -4*b + 46. Is b a multiple of 13?
True
Let l = 15 + -6. Let i(g) = g**2 + 3*g + 4. Let f be i(-3). Does 2 divide l/f + 1/(-4)?
True
Suppose -840 = -0*s - 6*s. Is 14 a factor of s?
True
Let m(u) = 30*u**2 - u. Let t = 3 + -1. Suppose -4 = 4*n, 0 = t*h + 3*n + 1. Is m(h) a multiple of 15?
False
Let u = 25 - 20. Suppose u*k = 8*k - 120. Is 10 a factor of k?
True
Let r(k) = -2*k + 22. Is r(0) a multiple of 11?
True
Let q(z) = z**2 + 9*z + 15. Let u be q(-7). Is 13 a factor of (-39)/(-3) - (-1)/u?
False
Let l = 24 - -23. Is l a multiple of 17?
False
Suppose -4*f - 156 = -0*f. Is (0 + -1)*(f + -2) a multiple of 16?
False
Suppose 22 = 3*h + 2*f, -9 - 1 = -3*h + 4*f. Suppose 0 = -2*p + 3*p - h. Suppose p*b = 2*b + 124. Is 14 a factor of b?
False
Let m be (-1)/(-4) - 5/20. Let x be 1 + (3 - (2 - m)). Is x/(-2) - (-9 - 0) a multiple of 4?
True
Is 60/(-25)*230/(-3) a multiple of 23?
True
Let l(j) = -j**2 - 17*j. Does 15 divide l(-15)?
True
Let t = 1 + 0. Let s be ((-2)/6)/((-2)/138). Is t + -2 + s - 0 a multiple of 22?
True
Let k(m) = -9*m + 15. Is 5 a factor of k(-5)?
True
Suppose 0 = 3*i - 2*h - 19, 0 = 5*i + 3*h - 0*h - 19. Suppose 3*x = -i*p + 47, -2*x = -p + 2*p - 29. Is 7 a factor of x?
True
Let t be ((-6)/4)/((-2)/4). Suppose t*d - 5 = 4*d. Is 3 a factor of (-1 + d)/(3 + -5)?
True
Is (-454)/(-6) + 2/6 a multiple of 15?
False
Suppose 0 = 2*l + 4*r - 92, -4*r - 188 = -l - 4*l. Does 11 divide l?
False
Let u = 7 - 7. Suppose 0 = 2*c + 3*q - 20, 3*q = -4*c - u*q + 52. Is c a multiple of 5?
False
Let t(v) = v - 5. Let m be t(0). Let l = 4 + m. Is 1*(2 + l + 14) a multiple of 15?
True
Suppose -k = 5*c - 112 - 52, 3*c - 108 = -3*k. Is 7 a factor of c?
False
Suppose -2*g + 882 = 2*z, -z = -3*g - 383 - 70. Is z a multiple of 37?
True
Let m = 154 - 14. Is m a multiple of 28?
True
Let v(y) = 11*y**3 - 2*y**2 + 2*y - 1. Let t be v(2). Let q = t + -29. Is q a multiple of 18?
True
Does 9 divide 135 + -1 + 1 + 0 + 0?
True
Suppose -s = 3*l - 28, 3*s + 22 - 134 = 5*l. Is 13 a factor of s?
False
Suppose 0 = 3*p - 4*i - 28, -i - 2*i - 8 = p. Is 4 a factor of p?
True
Suppose -2*r + 640 = 3*r. Suppose 5*c + r = 708. Suppose -c = -3*y - y. Is 19 a factor of y?
False
Let v be 1 - 3 - (-5 + 0). Let q(j) = -4 + j + 20*j**2 + 3 - v*j**2. Does 9 divide q(1)?
False
Let k(c) = -c**2 + 18*c + 7. Does 3 divide k(18)?
False
Let y be (-3)/4 - (-1)/(-4). Let b be 1 - y - (0 - 0). Suppose -2*s - i + 28 = -2*i, -3*s + 49 = b*i. Is s a multiple of 11?
False
Let x be 2*(-3)/(-6) + 4. Suppose -2*u = -2*f + 58, -5*f + 48 + 107 = x*u. Is 11 a factor of f?
False
Let j = 33 - 18. Suppose 0 = -5*x + j, 179 = 5*g - 2*x - 75. Is 13 a factor of g?
True
Let l be 0 + 26 + 16 + -14. Let p = l - -2. Is 10 a factor of p?
True
Suppose 0 = -4*g + 8, 2*k + 0*k = -4*g + 8. Let a = k - -3. Suppose -a*n = -2*n - 49. Is 14 a factor of n?
False
Let q(d) = 9*d. Does 27 divide q(3)?
True
Let i(a) = -a**2. Let z(o) = 3*o**2 - 5*o - 5. Let u(h) = 2*i(h) + z(h). Let n be u(5). Let r = -1 - n. Is 4 a factor of r?
True
Let k(n) = -4*n + 37. Let p(c) = -3*c + 37. Let z(q) = -4*k(q) + 5*p(q). Let v be z(0). Suppose -v = -4*f - 9. Does 6 divide f?
False
Let x = 16 + 36. Is 25 a factor of x?
False
Let u be (-2)/(-3)*(1 + -4). Let j(r) = 48*r**2 + r + 1. Let l be j(u). Is l/7 - 4/14 a multiple of 11?
False
Suppose 3*l + 48 = 3*i, -2*i - 4*l - l + 39 = 0. Does 15 divide i?
False
Suppose -2*d + 390 = 4*i - 0*i, 2*i + 5*d - 183 = 0. Let o = i - 54. Is 20 a factor of o?
False
Suppose 34*w - 38*w + 232 = 0. Is w a multiple of 24?
False
Let t = 122 - 72. Suppose i - t = -i. Is i a multiple of 17?
False
Does 13 divide (44/12 + -1)*(-78)/(-8)?
True
Suppose 3*p + 12 = 4*c, -p - 5 + 1 = -5*c. Let n(i) = -i**3 - 5*i**2 - 4*i + 3. Let g be n(p). Is 9 a factor of 5/((-42)/15 + g)?
False
Suppose -129 = -0*j - 3*j + 2*x, -3*j - x = -129. Suppose -2*w - 2*g + 24 = 0, 44 = 3*w - 2*g + g. Suppose j + w = 3*v. Is 7 a factor of v?
False
Let z be 4/14 - (-206)/14. Let x = z - 5. Is x a multiple of 5?
True
Let h(z) = z - 2. Let p be h(-2). Does 24 divide 95 + 0/(p/(-2))?
False
Let b be (-1)/4 - (-7)/(-4). Let y(a) = -2*a - 2. Let h be y(b). Does 13 divide (-1)/h*-13*2?
True
Suppose -3*n + 2*i + 310 = 0, 123 = n - 2*i + 17. Does 34 divide n?
True
Suppose 3*i - 404 = -38. Is 17 a factor of i?
False
Is 8 a factor of (8 - 3)/((-6)/(-18))?
False
Let u be 1/(2/24)*1. Let d = u + -7. Suppose -d - 4 = -3*w. Is w even?
False
Let m(a) = 4*a + 6. Let g be m(5). Let q = g + -15. Suppose 5*d + 4*f - q - 7 = 0, 42 = 5*d - 4*f. Is 3 a factor of d?
True
Let c = 3 + -7. Let y be (-3)/12 - 78/8. Is 13 a factor of (104/y)/(c/10)?
True
Let a(s) = 38*s**3 - s**2 + 1. Suppose -w = 5*v - 16, -2*v + 2 + 7 = 3*w. Is a(w) a multiple of 10?
False
Suppose 320 = -7*j + 11*j. Is 8 a factor of j?
True
Let m = -25 + 11. Is (-1)/(1 - (-15)/m) a multiple of 6?
False
Suppose -4*r - 12 = -2*r. Let q = r - -14. Suppose -3*k = -q*k + 80. Is k a multiple of 16?
True
Suppose 3*v - 3*m = 4*v - 15, 3*v - m = -5. Let t = -2 - v. Is 1*9 - (-3 - t) a multiple of 10?
True
Let r(x) be the first derivative of x**3/3 - x**2 - 7*x + 1. Is r(5) a multiple of 4?
True
Let f(i) = -i**3 + 19*i**2 + 21*i + 17. Is 27 a factor of f(20)?
False
Let a = 89 - 12. Does 11 divide a?
True
Is 5 - (-227 + 4 + -6) a multiple of 18?
True
Let q(v) be the third derivative of 2/3*v**3 + 0 - 3/8*v**4 - 1/60*v**5 + 2*v**2 + 0*v. Is 18 a factor of q(-7)?
True
Suppose 0 = 2*m - 8, 0*f + 2*m + 67 = 3*f. Does 3 divide f?
False
Let b(c) = c**2 - 3*c + 2. Let j be b(3). Suppose -15 = 4*f - 3*n, -7 = 3*f - j*n + 3. Let y(m) = -m + 10. Is y(f) a multiple of 7?
False
Let x(i) = i**2 + 2*i - 32. Is 7 a factor of x(-9)?
False
Let d be ((-8)/6)/((-6)/(-27)). Let s = 1 + d. Does 10 divide s - -6 - (-38)/2?
True
Let t be (4 + 2 + -2)*-1. Let h be 4 + (-2 - -1 - -1). Is ((-10)/h)/(2/t) a multiple of 3?
False
Let i(y) = 3*y - 6. Is 3 a factor of i(14)?
True
Suppose 4*h = -0*w - 3*w + 1421, -4*w = 4*h - 1896. Suppose 2*d = -2*b + 190, 3*b = -5*d + b + w. Suppose -4*f + 41 + d = 0. Is 17 a factor of f?
True
Let v = 8 - 32. Does 3 divide v/(-2) - 