= -15 + -12. Let z = 51 + a. Is z a multiple of 12?
True
Let w = 1 - -2. Suppose -w*u + 28 + 32 = 0. Does 8 divide u?
False
Let j = 94 + -66. Is 14 a factor of j?
True
Let l = 147 + -140. Does 2 divide l?
False
Suppose -v = -0*v - 156. Is 23 a factor of v?
False
Suppose -5*s - 3*k = -20, 3*k + 8 = 2*s + 8*k. Suppose -s*f + 2 = -3*d - 5, -4*d = 3*f - 24. Is 4 a factor of f?
True
Suppose 0 = 10*x - 4*x - 420. Does 14 divide x?
True
Let l = 2 - -3. Suppose -l*q + 61 = -14. Is 4 a factor of q?
False
Let a = 31 + -19. Is 12 a factor of a?
True
Suppose 25 = 4*l - 59. Suppose 0 = z + 2*z - l. Suppose 3*w + 72 = z*w. Is 9 a factor of w?
True
Suppose 5*c = -2*q - 24, c - 4*c = 5*q + 22. Does 14 divide 1 - (-105)/((-6)/q)?
False
Let f(j) = -18. Let u(k) = -k + 18. Let m(v) = -3*f(v) - 4*u(v). Is 10 a factor of m(14)?
False
Let l = 64 - 14. Suppose 5*n = -l + 220. Is n a multiple of 7?
False
Suppose 0*d = 3*d + 4*k - 330, -110 = -d + 2*k. Is 26 a factor of d?
False
Suppose 6*n = 2*n + s + 299, 0 = -2*n - 2*s + 152. Let a be -1 - (4 - 1)*-1. Suppose 4*m - 3*q = n + 2, q + 39 = a*m. Is 14 a factor of m?
False
Suppose y + 0*y = 9. Let s be (-3)/y - 44/(-6). Let r = 16 - s. Is 9 a factor of r?
True
Suppose 0*b = 5*b. Suppose b*f - f = -42. Suppose 0 = -5*m + 3*m + f. Is m a multiple of 9?
False
Let a(h) = 15*h**2 + 1 + 2*h - 4*h + 62*h**2. Let x be a(1). Suppose 4*u - 20 - 54 = -v, 2*v - x = -4*u. Does 13 divide u?
False
Suppose -3*p + 2*z = -0*p - 577, 2*p - 4*z - 374 = 0. Does 15 divide p?
True
Suppose l - 8*i = -3*i - 18, 8 = 2*i. Suppose 0 = -2*t - l*t + 136. Is 17 a factor of t?
True
Suppose -5*j = -r + 5*r - 197, r + 145 = 4*j. Is 10 a factor of j?
False
Suppose -t - 10 = 15. Let f = t + 35. Is 10 a factor of f?
True
Let s(t) = -38*t**2 - 2*t - 2. Let b(w) = 77*w**2 + 4*w + 5. Let c(n) = -3*b(n) - 7*s(n). Does 15 divide c(1)?
False
Suppose -96 = -3*g + 18. Does 6 divide g?
False
Let k be (-1353)/(-121) - (-2)/(-11). Suppose -2*m - 301 = -3*n, -393 = -4*n + 4*m + k. Is 21 a factor of n?
False
Suppose -5*u + 22 - 8 = -4*d, 2*d = 4*u - 16. Does 3 divide u?
True
Does 4 divide (-1)/((-3)/38) - 4/6?
True
Suppose 3*s + 304 - 61 = 0. Is 12 a factor of (-2)/(-9) + (-1926)/s?
True
Let d(z) be the third derivative of -z**5/60 - z**4/2 - 4*z**3/3 + z**2. Let s be d(-9). Suppose 5*f + 4*i - 52 = 0, i - s = -4*f + 2*f. Does 3 divide f?
False
Let m be 18/(-4)*(1 + 1). Let y be (m/2)/((-1)/4). Let g = y + -11. Is 7 a factor of g?
True
Let h = 64 + -17. Is 9 a factor of h?
False
Suppose 4*c + 24 = -0*c. Let j = -20 + 10. Let t = c - j. Is t a multiple of 4?
True
Let k = -8 + -34. Let i = k - -26. Let o = i + 30. Is o a multiple of 14?
True
Suppose -12*y - 62 = -14*y. Is y a multiple of 31?
True
Suppose -3*i = -5*i - 6. Let a = 6 + i. Suppose 3*s = -4*t + 34, -2*t + 43 = a*t + 4*s. Is 4 a factor of t?
False
Let c(n) = n**2 + n. Let j be c(-2). Let h be j/((-6)/(-249)) - -1. Suppose -5*s + k + 6 = -80, -3*k = 4*s - h. Is 15 a factor of s?
False
Let i(x) = 6*x**3 + 3*x**2 - 2*x. Let g be i(2). Suppose g = p + 3*p. Is 14 a factor of p?
True
Suppose -3*v - 2 = -8. Suppose 0 = -v*m - 8 + 22. Is 7 a factor of m?
True
Let c(j) = j**2 - 6*j + 4. Let t be c(5). Let i = t + 4. Is i a multiple of 2?
False
Let k(v) = v**3 + 2*v**2 + v - 1. Let h be k(-2). Let j be ((-6)/2)/h - -1. Suppose -27 = -5*i + j*i. Is 4 a factor of i?
False
Let a(c) = 14*c + 2. Let y be (-4)/(-1 + 3)*-1. Does 21 divide a(y)?
False
Let x(s) = -2*s + 8. Let v be x(6). Does 20 divide (-238)/v - 1/(-2)?
True
Suppose 5*k = 7 + 3. Suppose 43 + 41 = p. Suppose t + k*t = p. Is t a multiple of 14?
True
Let c(l) = l**3 - 7*l**2 + 10*l + 1. Does 5 divide c(6)?
True
Let h(f) = -18*f + 1. Let t be h(-1). Let q = -28 - -17. Let z = q + t. Is z a multiple of 3?
False
Suppose 3*y = -15, 6*r + 60 = r - 3*y. Let n = 17 - r. Is 10 a factor of n?
False
Let v(o) = -o**3 - o**2 + 6*o + 6. Let x be v(-4). Let h(q) = -1 + 1 - x*q. Is h(-1) a multiple of 15?
True
Let j(i) = 7*i. Is 15 a factor of j(7)?
False
Let q(x) = 2*x - 3. Suppose 0 = -0*r - 2*r + 8. Let v be q(r). Suppose j = -3*o + 21, 38 - 3 = v*o + 5*j. Does 5 divide o?
False
Suppose l + 3 + 13 = 0. Is 29 a factor of ((-12)/14)/(l/1680)?
False
Let x be (-3)/((-9)/(-4) + -3). Suppose 2*h + x*w - 18 = 5*w, w = 4*h - 40. Is h + -2 + 1 - 3 even?
False
Let k(o) = -o**3 - 5*o**2 - 6*o - 5. Let r be k(-4). Suppose 5*g + r = 333. Does 35 divide g?
False
Suppose 0 = 3*p - 6*p. Suppose -4*s - s + 110 = p. Does 11 divide s?
True
Suppose 4*z = -5*o + 93, 5*z - 2*o = 15 + 93. Does 7 divide z?
False
Suppose -3*b + 0*b - 237 = -4*z, b + 58 = z. Is z a multiple of 21?
True
Let c be 1/(0 - 2/(-14)). Suppose k + c = 21. Suppose -28 = -2*b - 4*u, 5*b - 4*b + 4*u - k = 0. Is b a multiple of 7?
True
Let o(p) = -p + 1. Let x be o(8). Let d be 10/4*(-14)/x. Suppose 3 - 33 = -d*w. Is 6 a factor of w?
True
Let n(k) = -k**2 + k - 1. Let s(f) = -3*f**2 + 2*f - 9. Let m(r) = -5*n(r) + s(r). Is 5 a factor of m(3)?
True
Suppose 2*s - 18 + 0 = 0. Does 11 divide (-16)/(-72) - (-268)/s?
False
Let l = -21 + 43. Is l a multiple of 3?
False
Suppose 2*c - c + 5*n = 30, 0 = -4*c - 3*n + 35. Suppose 0 = -0*l - c*l + 210. Does 21 divide l?
True
Let x(b) = -71*b - 2. Let a be x(-4). Suppose -72 = 5*y - a. Is 17 a factor of y?
False
Suppose -2*m = -6*m - 5*s - 69, -83 = 5*m + 3*s. Is 7 a factor of (m/(-12))/(3/36)?
False
Let j = 13 + -10. Suppose 64 = 4*t - j*t. Is t a multiple of 32?
True
Let r = -29 + 19. Let y = 2 - r. Is y a multiple of 6?
True
Let s(n) = n**2 - 4*n - 3. Let d(c) = c**2 - 9*c + 10. Let v be d(7). Is 9 a factor of s(v)?
False
Let w(i) = 4*i**2 + 6*i + 2. Is w(5) a multiple of 13?
False
Let j = 59 + -15. Is 25 a factor of j?
False
Suppose -2*t + 2*p + 626 = 4*p, -5*t + p = -1577. Is 45 a factor of t?
True
Is 19/57*(1 + 53) a multiple of 6?
True
Let c be ((-32)/40)/((-2)/10). Suppose c*x - 101 - 3 = 0. Does 13 divide x?
True
Let t(q) = 6*q**2 + 1 + 1 + q**2. Is 15 a factor of t(-2)?
True
Let y be (-4)/(-5)*(-10)/4. Let v be (18/15)/(y/(-10)). Let t = v - -3. Is t a multiple of 4?
False
Suppose -u + 11 = -4*q + 42, 4*q = -3*u + 19. Does 7 divide q?
True
Is (-996)/(-16) + (-1)/4 a multiple of 18?
False
Let c(y) = 2*y**3 - 5*y**2 - 5*y - 4. Let x be c(5). Suppose -2*s - 24 = -x. Is 9 a factor of s?
True
Is (0 - 6)*(-27)/2 a multiple of 36?
False
Let k(i) = 6 - 3*i + 4*i - 3*i - i. Does 21 divide k(-5)?
True
Let x(i) = -i**3 + 7*i**2 - 4. Let r = 9 - 5. Is x(r) a multiple of 15?
False
Let m(b) = -b**2 + 24*b - 22. Is m(9) a multiple of 14?
False
Is 36/20*8*5 a multiple of 18?
True
Let s be ((-21)/(-6))/(2/(-4)). Is s/(28/(-88)) + 2 a multiple of 12?
True
Suppose c + 46 - 7 = 5*q, 4*c = -16. Let t = q - -2. Is t a multiple of 7?
False
Suppose 3*u = -l + 8*u + 82, 3*l = -3*u + 264. Suppose 5*r = m + 4 + 6, -9 = -3*r. Suppose -m*x + l = 12. Is x a multiple of 9?
False
Let j = -11 - -16. Suppose -j*y + 88 = -4*q, -2*y + 36 = 2*q - 4*q. Is 4 a factor of y?
True
Let k(t) = 3*t**2 - 6*t + 2. Does 4 divide k(4)?
False
Suppose 0 = -5*x + 16 - 1. Suppose -x*w - 227 + 27 = -4*v, 5*v - 5*w - 255 = 0. Does 23 divide v?
False
Let b be (-9)/(-12)*(2 + 2). Suppose -b*q + 5 = -16. Is q a multiple of 3?
False
Let a = 31 + -78. Let q = a + 76. Suppose -2*r + 10 = 0, -h - 3*r + q + 2 = 0. Is 9 a factor of h?
False
Let v(b) = 21*b**3 + b**2 - 2*b + 2. Does 11 divide v(1)?
True
Is 7 a factor of ((-88)/(-12))/(2/15)?
False
Suppose 0 = 2*n - 3*v + v + 16, 0 = 2*n - v + 14. Is ((-2)/n)/((-9)/(-378)) a multiple of 7?
True
Let v = -22 - -43. Suppose 25 = i - v. Is i a multiple of 10?
False
Let g(d) = -d + 2. Let z = 0 + -3. Let j be g(z). Is ((-8)/j)/((-3)/15) a multiple of 8?
True
Let h(b) = -b + 3. Let z(i) = i - 1. Let w(m) = -h(m) - 3*z(m). Does 14 divide w(-7)?
True
Let w = 45 - 30. Let t be (-3)/w*-6*5. Suppose t*i - 75 = i. Does 9 divide i?
False
Suppose -o = -8*o + 49. Does 2 divide o?
False
Let p(l) = 3*l - 2*l - 2*l - 1 + 4*l. Is 11 a factor of p(4)?
True
Let r = 6 - 8. Let p(y) = -2*y + 2. Is p(r) a multiple of 6?
True
Let x be (-26)/(-7) + (-2)/(-7). Suppose t + 21 = x*t. Is t a multiple of 4?
False
Suppose 4*q = 8 - 4. Let v(h) = 4*h**2 + h - 1. Let a be v(q). Suppose -7*y + 39 = -a*y. Does 13 divide y?
True
