*2)/(8 - 6). Let z be -2 - (0 - b/1). Let w(n) = 10*n**2 + n - 1. Is 4 a factor of w(z)?
False
Does 8 divide (27 - 4)/((-2)/(-6))?
False
Suppose 3*l - 20 = -8. Suppose -12 = -3*r - 0. Suppose 9*h - 15 = r*h + 5*n, 3*h - l*n = 4. Is 6 a factor of h?
False
Let b = -25 + 27. Suppose -4*t - t = 0. Suppose -w + b + 26 = t. Is w a multiple of 14?
True
Let l(o) = -o**2 + 5*o - 2. Let n be l(4). Suppose z = 4*x - 3*x - 6, 4*z = 2*x - 20. Is -9*n/z*2 a multiple of 9?
True
Suppose -3*f + 88 = f + 5*c, 0 = c - 4. Let q = -10 - -20. Let n = f - q. Does 4 divide n?
False
Let w(f) = -13*f - 12. Let o(n) be the third derivative of -n**4/4 - n**3 + 3*n**2. Let t(v) = -5*o(v) + 2*w(v). Is 15 a factor of t(6)?
True
Does 21 divide 9/4*(-1008)/(-27)?
True
Let l be 1/(-2)*2*0. Let s = 3 - l. Is 3 a factor of s?
True
Let k(z) = -z**2 + 7*z - 7. Let a be k(5). Suppose 0 = -a*s - 0 + 18. Is 87/s - (-1)/2 a multiple of 5?
True
Let z be -2 + (-3 - 0) + 53. Is 24 a factor of (-6 - 1)*z/(-14)?
True
Let y(c) be the third derivative of c**6/120 + 3*c**5/20 + 7*c**4/24 - c**3 - c**2. Let a(j) = -j**2 + 6*j - 8. Let s be a(6). Is y(s) even?
True
Let w be -2 + 0/(-1) - -11. Suppose -w + 4 = -y. Is 9 a factor of (0 + y)*(-42)/(-15)?
False
Is (-1)/(-1 - 1 - 184/(-96)) a multiple of 3?
True
Let n(j) = j - 6. Let s be n(8). Suppose -q = -s*l + 12, -29 + 7 = -4*l + 3*q. Is l a multiple of 7?
True
Suppose -s + 4*j + 23 = 0, 0*s - 3*s + 5*j + 34 = 0. Does 16 divide ((-32)/6)/(s/(-27))?
True
Suppose -2*a - 120 = -2*w, 0 = 2*w + a - 173 + 47. Suppose 2 - w = -3*o. Does 4 divide o?
True
Suppose -3*o = -4*o + 111. Is o a multiple of 13?
False
Is 19 a factor of (-3)/(-7) - 3180/(-28)?
True
Let r be (2/(2/(-5)))/1. Let k(d) = -4*d + 6. Does 21 divide k(r)?
False
Let a(x) be the second derivative of -7*x**3 + x**2/2 + 6*x. Is a(-1) a multiple of 13?
False
Let j(z) = -6*z - 12. Is 6 a factor of j(-7)?
True
Suppose 110 = 6*v - 568. Suppose -q - 2 = 0, -3*u - 4*q + 1 - 252 = 0. Let t = u + v. Does 16 divide t?
True
Suppose 16 - 42 = -2*n. Does 13 divide n?
True
Suppose -2*d + 1 = -i, -2*d - 5*i + 16 + 15 = 0. Let w be -25 - (-2 + d + -1). Is 2 - w - (-1 - -2) a multiple of 13?
True
Suppose -4*d = -4*t - 72, 2*t = -3 + 1. Is 3 a factor of d?
False
Suppose 2*c - 135 = -c. Does 12 divide c?
False
Let k = 148 + -80. Is 17 a factor of k?
True
Suppose -2*m + 2*v + 186 = -0*v, -3*m - 4*v + 265 = 0. Suppose -3*d - 2*q + m = 0, -5*q + 124 = 3*d + 18. Is d a multiple of 14?
False
Let w be -3 + (-1)/(-1) + 24. Suppose -3*f + f = -w. Is 4 a factor of f?
False
Suppose z + 3*o + 22 = 5, -5*o = -4*z + 17. Is 12 a factor of 2 - -26 - z/(-2)?
False
Let o = 161 - -28. Is ((-6)/9)/((-14)/o) a multiple of 7?
False
Suppose 0 = -3*g + g + 60. Let h = 14 - g. Is (-6)/(-3) - h/1 a multiple of 9?
True
Let z(a) = 2*a**3 + 3*a**2 - 4*a - 2. Let i be z(-3). Let o = 3 - i. Is o a multiple of 11?
False
Let g = -46 - -85. Does 8 divide g?
False
Is 462/12 - 2/4 a multiple of 22?
False
Let q(f) = 4*f**2 + 3*f + 2. Does 2 divide q(-1)?
False
Let w(r) = r**2 - 8*r + 9. Suppose 7 = -6*z + 3*z + 2*j, -2*z + 4*j = 18. Suppose 5*d + z = -5*b + 36, -3*d = -b - 25. Is 3 a factor of w(d)?
True
Let f be 6/21 - (-66)/14. Let w(z) = 6*z + 6. Let n(x) = 6*x + 6. Let l(q) = 3*n(q) - 2*w(q). Is 18 a factor of l(f)?
True
Let i = 49 - 41. Does 2 divide i?
True
Let n(j) = -11*j - 10. Let a be n(-7). Let w = a + -34. Is w a multiple of 13?
False
Let v(g) = 33*g - 66. Is v(6) a multiple of 11?
True
Suppose 5*r = 8*r - 300. Is 12 a factor of r?
False
Let m(s) = 207*s**3 + s. Is m(1) a multiple of 13?
True
Suppose -5*x + 9*x = 112. Does 12 divide x?
False
Let h be 44/12 - 2/3. Suppose 5*l + 0*c + h*c - 37 = 0, -5 = 3*l - 5*c. Suppose -i - 100 = -l*z, z - 3*z = 5*i - 40. Is z a multiple of 10?
True
Suppose -3*k + 5*s = -38, 5*k + 5*s - 130 = -0*s. Does 21 divide k?
True
Let l(k) = 5*k - 9. Suppose -2*b - 3*b = -4*r - 42, -12 = -b + 2*r. Is 19 a factor of l(b)?
False
Suppose -p + 30 = -2*b, 5*p + b - 66 = 73. Is 5 a factor of p?
False
Let r be ((-96)/(-20))/((-3)/(-10)). Suppose -4*c + 88 = -r. Is c a multiple of 13?
True
Suppose 3*y = -2*y + 110. Suppose -3*n - k - 3 + 16 = 0, 4*n = -5*k + 32. Suppose -c + 80 = 4*b, -2*b + y = -c - n*c. Does 11 divide b?
False
Let p = 12 + -10. Suppose 3*i = n - 12, 43 = 2*n - p*i + 3. Is n a multiple of 24?
True
Suppose 4*u - 1 - 15 = 0. Suppose 330 = 4*l - 2*d - 70, u = d. Let c = l - 66. Is 18 a factor of c?
True
Suppose j + 18 = -0*t + 4*t, j = -t + 2. Suppose 29 - 109 = -t*n. Suppose -s + 5*q - 3 - 7 = 0, -3*s + n = -5*q. Is 15 a factor of s?
True
Let t be -1 + 1 - 0/3. Suppose 0 = 2*a - t*a - 4. Does 2 divide a?
True
Let d = 8 - 2. Suppose 0 = -4*x + 4*m + 12, -5*x + 9 = -m - d. Let j = 10 - x. Does 5 divide j?
False
Let y(a) = 3*a**2. Let i be y(1). Suppose 0 = -i*r + 2 - 14, -4*r - 52 = -2*w. Suppose -k - w = -4*k. Is 3 a factor of k?
True
Suppose -5*q = 2*d - 349 + 37, 0 = -3*q + d + 185. Does 15 divide q?
False
Let k(c) = 8*c + 3 - 3*c**2 - 5*c - 4*c**2 + 5*c + c**3. Does 15 divide k(6)?
True
Let p be 0 - (-7)/(21/6). Suppose p*a + 0*a = 22. Is a a multiple of 9?
False
Let i be -1 - ((3 - 1) + -1). Let a = i - -4. Let p = 3 + a. Is p even?
False
Let a = 129 + -80. Let j = -24 + 9. Is 11 a factor of 5/j - a/(-3)?
False
Let w = -9 - -10. Is 9 a factor of (-1*w)/((-4)/108)?
True
Let h = 0 - -3. Suppose -z + h - 4 = 0. Does 8 divide 16*3*z/(-3)?
True
Let i(x) = x + 2. Let g be i(2). Suppose g*l + 11 = 95. Does 21 divide l?
True
Suppose 0 = 3*d - 0 - 3. Suppose 0 = -2*a + 13 - d. Is a a multiple of 6?
True
Let m = -27 - -51. Is 4 a factor of m?
True
Suppose -4*d + 44 = -3*c, 4 = -5*c + 4*c. Does 4 divide d?
True
Let i(a) = -a**2 + 12*a - 1. Let m be i(9). Let v = 38 - m. Does 12 divide v?
True
Suppose 390 = 6*f + 30. Does 20 divide f?
True
Let m(a) = a**2 - 6*a - 5. Let c be m(7). Suppose 247 = c*v + 5*g, g + 20 = -3*g. Suppose -3*u - 5*t = -140 - 24, 3*u = 2*t + v. Is u a multiple of 18?
False
Suppose 12*s + 32 = 16*s. Let t = s + 13. Is t a multiple of 7?
True
Let b(i) = -9*i - 3. Let a be 94/(-14) - (-4)/(-14). Let y be b(a). Suppose -2*d + 2*q + 6 = -22, 5*d - y = -5*q. Does 5 divide d?
False
Is 14 a factor of (24/18)/((-2)/(-45))?
False
Let x(h) = h**2 - 10*h - 4. Is 3 a factor of x(12)?
False
Let n(s) = -3*s + 12. Is n(-7) a multiple of 11?
True
Let t = -4 + 36. Is 9 a factor of t?
False
Does 30 divide 449/5 + 2/10?
True
Let q(o) = o**3 + o - 1. Let f(j) = -5*j**3 + 2*j**2 + 2*j + 4. Let c(t) = f(t) + 2*q(t). Is c(-2) a multiple of 13?
True
Let v(h) = h + 2. Let w be v(6). Let i = w + -4. Does 7 divide 1/2*104/i?
False
Suppose -3*h - 51 = -2*g, -2*g + 86 = g + 5*h. Suppose -v + 2 = 3*f - 31, 3*f - v = g. Does 4 divide f?
False
Suppose 0 = 3*d + 2*g - 7, 3*g - 3 = -15. Suppose 3*j - 3*s + 22 = 7, s = d*j + 5. Suppose -u + 13 = -j*u. Does 11 divide u?
False
Let j = -42 + 24. Does 2 divide (-40)/j + (-6)/27?
True
Suppose 0*j = -4*j + 20. Let m = 41 - 8. Suppose -j*c + 87 = -m. Is 12 a factor of c?
True
Let i(f) = f**2 + 5*f + 3. Let l = -16 - -22. Let g = l + -11. Is 3 a factor of i(g)?
True
Does 10 divide 56 + 0 - (72/3)/(-6)?
True
Suppose -10*h - 36 = -8*h. Let l = h - -29. Does 11 divide l?
True
Suppose -2 = 5*n - 32. Let x(o) = -o**3 - 6*o**2 - o + 8. Let j(c) = -c**3 + c. Let m(r) = 2*j(r) - x(r). Is m(n) a multiple of 6?
False
Let s(j) = 2*j**2 - 2*j. Let h be s(2). Suppose 23 = -h*c + 263. Is 15 a factor of c?
True
Suppose -60 = -6*g + g. Does 6 divide g?
True
Let m(a) = 5*a - 42. Is 9 a factor of m(12)?
True
Suppose 3*r + t - 14 = 0, -t + 30 = 3*r - 4*t. Let o be 0 - -46*3/r. Suppose -o = -3*z + 2*z. Is z a multiple of 11?
False
Suppose -c + 45 + 10 = 0. Is 11 a factor of c?
True
Let r be (2 + 13)*(-96)/20. Let o = r - -117. Does 15 divide o?
True
Suppose 4*a = 3*a + 2. Let y be 650/15 + a/3. Suppose 4*d - 3*d - 3*t = y, 3*d - t - 100 = 0. Is d a multiple of 16?
True
Suppose -k + 2 = -2, 4*s + 3*k = 112. Suppose -62 = -5*h + h + 2*q, -5*q = s. Does 5 divide h?
False
Let k(g) be the third derivative of g**4/4 - g**3 + 3*g**2. Is k(3) a multiple of 12?
True
Let h = 57 + -8. Suppose 0 = -z - 8 + h. Does 19 divide z?
False
Suppose 3*j = -2*z + 38, -47 - 5 = -4*j - 3*z. Is j a multiple of 10?
True
