/(-10)?
True
Let p(j) = -j**2 + 9*j + 12. Suppose -30 = -0*o - 3*o. Let q be p(o). Suppose 3 = q*d - 13. Is d a multiple of 8?
True
Is 7 a factor of ((-2)/(-3))/(2/21)?
True
Suppose v = 5*v - 12. Is 11 a factor of 74/4 + v/(-2)?
False
Suppose -76 = -4*d + 4*n, 2*n + 37 = 4*d - 31. Is d a multiple of 6?
False
Let o = 34 + -22. Does 3 divide o?
True
Let m(v) = -2*v - 2. Suppose 0 = x + 1, 2*a - 5 = -0*x + 3*x. Let y(d) = d + 1. Let l(u) = a*m(u) + 3*y(u). Does 2 divide l(2)?
False
Let i(s) = -2*s**2 - 5*s + 3. Let z be i(-5). Let r be z/(-8) - 2/(-8). Suppose -r*t = -41 + 11. Is 5 a factor of t?
True
Let g(z) = -z**3 + 5*z**2 + 8*z - 9. Let f be g(6). Suppose 3*s - 148 = -4*y, f*y - y = -5*s + 60. Is 10 a factor of y?
True
Suppose 4 = -3*g - 26. Let n = -5 - g. Is 2 a factor of n?
False
Does 15 divide 11/((-11)/(-6))*15?
True
Let m(n) = 38*n - 8. Is 15 a factor of m(1)?
True
Is 10 a factor of (-2)/10 + 724*(-6)/(-120)?
False
Suppose 0 = 4*h - 3*l + 26, 15 = -h + 5*l. Let x(a) = -a**3 - 4*a**2 + a - 3. Is 9 a factor of x(h)?
False
Suppose -2*a = -6, 0 = 3*r + 5*a - 95 + 14. Let i be 24/4 + (1 - (2 - 3)). Let z = i + r. Is 15 a factor of z?
True
Let x = -3 + 5. Suppose -3*i - 6 = -x*i. Does 11 divide (-48)/(-4)*i/(-4)?
False
Suppose -145 = 2*t - 41. Let s = 96 + t. Is 21 a factor of s?
False
Suppose 2*l + 96 = 6*l. Does 8 divide l?
True
Suppose 0 = 4*j - 3*j + 10. Let n be (8/j)/(6/(-30)). Is n/(-5)*(-16 + 1) a multiple of 4?
True
Suppose 2*c - 43 = -i + 61, c - 297 = -3*i. Suppose i + 153 = 4*j - 5*x, -4*x + 283 = 5*j. Is j a multiple of 11?
False
Suppose 0*w + 9 = 3*w. Let q = w - 3. Is q*3/9 + 5 a multiple of 3?
False
Let h(s) = -5*s - 9. Suppose 0 = -3*g + t + t - 42, -3*g - t = 33. Does 17 divide h(g)?
True
Suppose -23 = -4*v - a, 7*a - 3*a = 3*v - 3. Suppose -4 = -4*g, -v*p = -p - g + 153. Let y = -20 - p. Does 18 divide y?
True
Suppose 375 = u + 2*u. Does 25 divide u?
True
Let g(i) = i**3 + 5*i**2 - 8*i - 2. Suppose -c = -2*c + 6. Let y be (c/4)/(1/(-4)). Is 5 a factor of g(y)?
True
Let o(z) = 2*z**3 - 7*z**2 - 9*z - 13. Does 22 divide o(6)?
False
Let w(g) = 5*g - 3*g**2 + 4*g**2 - 2*g. Is 9 a factor of w(-6)?
True
Let m = 1 + 3. Suppose 4*b + 0*d - 128 = 4*d, -m*b + 131 = -d. Does 11 divide b?
True
Let z = -7 - -9. Suppose -2*l = -z*o + 32, -2*o + 65 = 3*o - 2*l. Does 7 divide o?
False
Let y(s) = s. Let p be y(2). Suppose p*m + 4*w = 28, -3*m - 2*w + 37 = -w. Is 3 a factor of m?
True
Let k = -230 + 52. Let w be k/(-3) - (-6)/9. Suppose -w = h - 4*h. Does 10 divide h?
True
Let j = -23 - -14. Suppose y + 2*i = 9, y - 3*i = 16 + 3. Let h = y - j. Does 7 divide h?
False
Suppose -4*u + 4*z + 20 = 0, 5*z + 10 = 3*u + 1. Let y(c) = 2*c - 6. Does 5 divide y(u)?
True
Suppose 4*b = -0*b + 12. Suppose b*w - 9 = -3*h, -2*h + 1 - 2 = -5*w. Is 8/w - 0/1 a multiple of 4?
True
Let j(b) = 14*b**2 + 4*b - 1. Let w be j(-3). Let s = w - 33. Is s a multiple of 20?
True
Let l(r) = 3*r**3 + 26*r**2 + 32*r + 12. Let q(w) = w**3 + 9*w**2 + 11*w + 4. Let f(v) = -4*l(v) + 11*q(v). Is 8 a factor of f(-4)?
True
Suppose 14 = h - 9. Is h a multiple of 15?
False
Let v(r) = r**3 + 4*r**2 - 2*r - 6. Is v(4) a multiple of 20?
False
Suppose -3*f - 5*l = 8, 5*f + 0*l + 3*l = 8. Is 15 a factor of 366/24 + (-1)/f?
True
Let h(u) = -2*u - 4. Let r(i) = 2*i + 4. Let a(k) = 3*h(k) + 4*r(k). Is 5 a factor of a(6)?
False
Suppose 130 = 5*i - 4*x, -5*x = 2*i - 68 - 17. Suppose 165 = 3*c - i. Does 13 divide c?
True
Suppose 4*k = 9*k - 620. Is k a multiple of 31?
True
Let t = 142 - 82. Does 4 divide t?
True
Let o(a) = 2*a**2 - 9*a - 4. Let z(b) = 5*b**2 - 18*b - 7. Let w(g) = 7*o(g) - 3*z(g). Let t be w(-8). Suppose -2*k + t = -5. Is k a multiple of 3?
True
Suppose -2*r - r = -66. Is 12 a factor of r?
False
Suppose -5*z + 6*z = 3. Is -1*(-42)/z*1 a multiple of 14?
True
Let s be (2 - 2)/2 - 0. Suppose 5*z - 5*t + 0 - 5 = s, -5*z - 3*t = -13. Suppose -z*k = -6*k + 96. Does 12 divide k?
True
Suppose -5*h - 51 = 3*a - 159, 5*a - 3*h - 180 = 0. Is 14 a factor of a?
False
Let n(p) = p**2 - 6*p + 3. Let a be n(2). Let d(g) = 2*g**2 + 7*g. Is 8 a factor of d(a)?
False
Let c(z) = z**3 + 10*z**2 + 10*z + 13. Is c(-7) a multiple of 13?
False
Suppose 3*q + 31 = 3*d + q, -5*q - 55 = -5*d. Let w = d - 9. Suppose -118 = -5*o - w*o - v, 0 = 2*v + 4. Is o a multiple of 15?
False
Let c(a) = -a**3 + a**2 - a + 11. Let p be c(0). Suppose -4*y + p = 3. Is y even?
True
Let t(y) be the second derivative of y**4/6 - 5*y**3/6 - y**2/2 + y. Is 11 a factor of t(4)?
True
Let z be ((-1 + 0)*0)/2. Suppose -k = -z*k + 5*m - 18, -3*k = m - 110. Is k a multiple of 9?
False
Let h = -8 - -4. Let z = h + 16. Does 4 divide z?
True
Suppose 2*h + 1 - 6 = 3*l, -2*h - 4*l + 40 = 0. Let p = h + -4. Is 3 a factor of p?
True
Let w(i) = i**2 + 2*i - 7. Let h(z) = -z**2 - 2*z + 3. Let o be h(-4). Does 8 divide w(o)?
True
Let f = 84 - 58. Does 8 divide f?
False
Let l = 4 - 2. Suppose 2*i - 4*i = l. Does 7 divide 0/(-1) - i - -13?
True
Let j be (-13)/(3/(-21) + 0). Suppose -7*n - k = -2*n - 107, j = 4*n - k. Is 11 a factor of n?
True
Let w = 16 - 9. Let j = w - 13. Let z(k) = -3*k - 3. Is 6 a factor of z(j)?
False
Let a = -102 - -124. Is a a multiple of 14?
False
Let m(w) = -3*w + 14. Does 4 divide m(-4)?
False
Let d = 9 + -7. Suppose 0*c = -d*c + 12. Is 6 a factor of c?
True
Let p = 3 - 1. Let s be (-5)/(-2) + p/(-4). Suppose 4*x + h = 21, 1 = s*x + 2*x - 3*h. Is 4 a factor of x?
True
Suppose -349 = -4*f - 3*z, 3*f + 49 - 312 = -z. Is 22 a factor of f?
True
Let z be (0 - 1)/((-1)/3). Let t(s) = -3 - 4*s**2 - 3*s - s + 5 + s**z. Is 3 a factor of t(5)?
False
Suppose 0 = 5*c - 3*o - 252, 0*o = c - 4*o - 47. Is 17 a factor of c?
True
Suppose 4*b + b + 175 = 5*y, 2*y = 5*b + 67. Is y a multiple of 9?
True
Let t(y) = 3*y**2 - 9*y + 6. Let j(f) = 7*f**2 - 19*f + 11. Let c(x) = -2*j(x) + 5*t(x). Is 6 a factor of c(8)?
False
Suppose -6*t + 3*t + 165 = 3*i, 5*i = 3*t - 125. Is t a multiple of 9?
False
Let k(p) = -22*p**2 + 3. Let c be k(3). Does 13 divide (6/5)/((-6)/c)?
True
Let s(k) = -38*k - 15. Is 9 a factor of s(-3)?
True
Let q(v) = v**2 - 4*v - 3. Let j be ((-20)/(-3))/(-4)*-3. Let o be q(j). Suppose 2*x = -o*x + 108. Is 14 a factor of x?
False
Is 2/2 + (1 - -6) even?
True
Suppose -4*q + 5*y + 127 = 0, 2*q - 4*y - 71 = y. Is 14 a factor of q?
True
Let z = 15 - 15. Suppose 2*t + z*t = 30. Is 7 a factor of t?
False
Let t = 12 - 1. Does 11 divide t?
True
Let p(x) = x + 5. Let v be p(-9). Let l(z) = z - 1. Let j(h) = -h**2 + h - 6. Let y(c) = -j(c) + 4*l(c). Does 4 divide y(v)?
False
Let n = -50 - 48. Let x = n - -166. Let g = 107 - x. Does 14 divide g?
False
Let w(x) = 4*x - 8. Let v be w(-4). Let z = v + 35. Does 11 divide z?
True
Let n(z) = -7*z**3 + 3*z**2 + 8*z - 2. Let t(q) = 8*q**3 - 2*q**2 - 9*q + 2. Let w(s) = 7*n(s) + 6*t(s). Does 24 divide w(6)?
False
Let r(c) = -9*c + 1. Is 7 a factor of r(-6)?
False
Let t(y) = 5*y - 3. Let m be t(5). Suppose -w = -2*w + m. Is w a multiple of 11?
True
Suppose 4 = -4*s, 4*s - 4 = -4*m - 0. Suppose 28 = 3*k - 17. Is 13 a factor of m - (2 - (-2 + k))?
True
Let r(o) be the first derivative of -o**4/4 - 2*o**3 + o**2/2 + 5*o - 1. Let y be r(-6). Is 4 a factor of 0 - y - (-15)/5?
True
Suppose 0 = -2*f + 2*u - 5*u - 3, -5*u - 43 = -3*f. Suppose 0*l - 3 = -l, 2*l = b - f. Is 3 a factor of b?
True
Let h(l) = 37*l**3 + 3*l**2 - 2*l + 2. Let w(m) = 75*m**3 + 7*m**2 - 5*m + 5. Let f(r) = 5*h(r) - 2*w(r). Let p = -1 - -2. Is f(p) a multiple of 10?
False
Is 3 a factor of (-940)/(-18) + 32/(-144) + -4?
True
Let j be (-1 + 4)*(0 - -1). Let a be 4/j*3/2. Suppose -28 - a = -3*m. Does 5 divide m?
True
Let b(j) be the first derivative of -2 - 3*j**2 + 5*j + 1/3*j**3. Is 2 a factor of b(6)?
False
Suppose 7 = -5*v - 3*h, -2*v + 4*h + 22 = -h. Does 6 divide 2 - (3*-3 - v)?
True
Let n(q) = -3*q - 1. Does 4 divide n(-8)?
False
Let m(w) = w**3 + 18. Is 15 a factor of m(0)?
False
Suppose 0 = -7*u + 613 + 87. Is 7 a factor of u?
False
Suppose 3*g - 3*l - 462 = 0, 3*g + 2*g + 4*l - 770 = 0. Does 4 divide g?
False
Suppose y - 3 = 6*b - b, 2*b + 4*y = 12. Suppose g + b*c - 7 = 2*c, 2*g = -c - 6. Let p(v) = 8*v**2 - 1. Does 7 divide p(g)?
True
Let t(r) = 4*r**3 + 6*r**2 + 7*r - 6. Let m(f) = -7*f**3 - 13*f**2 - 14*f + 12.