0 + (24 - (0 + 0)) a multiple of 9?
False
Let v(i) be the third derivative of -7/60*i**6 + 1/6*i**3 - 3*i**2 + 0*i + 0 + 1/12*i**4 + 1/60*i**5. Is v(-1) a multiple of 14?
True
Let x(r) = 2*r**3 - 22*r**2 - 18*r + 18. Is 10 a factor of x(12)?
True
Let y(c) = 25*c + 2. Is 5 a factor of y(2)?
False
Let x(a) = -a**3 - 8*a**2 - a + 7. Let q be x(-8). Let p = q + -11. Suppose -79 = -3*n - 3*z + 14, -p*n - z = -130. Is 16 a factor of n?
False
Let d(v) = 87*v**2 + v - 1. Is d(-1) a multiple of 17?
True
Does 15 divide (-4 - (2 - 8)) + 103?
True
Let q = -20 + 39. Is q a multiple of 19?
True
Let t be (-1)/(-3) + 44/(-6). Let w(s) = -s**3 - 6*s**2 + 6*s - 6. Let l be w(t). Let n = l + 8. Is 9 a factor of n?
True
Let j(l) = l**3 - 7*l**2 + 9*l + 3. Suppose 5*o - 18 = 12. Is 7 a factor of j(o)?
True
Is -4 + 0 - (-146 - -2) a multiple of 10?
True
Let u be (3 - -3)/(-2) - -7. Suppose -2*f = 3*f - u*g - 138, -21 = -f + 3*g. Does 10 divide f?
True
Let i(s) = s**3 + 6*s**2 + 6*s + 5. Let z be i(-5). Suppose -f + 2*f - 27 = z. Is f a multiple of 6?
False
Let s(r) = -4*r - 6. Let x be s(-2). Does 11 divide 33/x*(-112)/(-42)?
True
Let s(c) = c + 10. Let w be s(-6). Suppose 2*x + w = 12, -90 = -5*y + 5*x. Is 11 a factor of y?
True
Let u(v) = v**2 - 6*v + 6. Let h be u(4). Let w be ((-6)/9)/(h/156). Suppose -2*c + w = -0*c. Is c a multiple of 13?
True
Let m = -233 - -368. Is 10 a factor of m?
False
Suppose 5*k - 290 = 4*n, -2*k + 3*n + 110 - 1 = 0. Is 20 a factor of k?
False
Suppose 0*z - 32 = 4*z. Let t = 13 + z. Is 5 a factor of t?
True
Let v = 230 - 50. Is 10 a factor of v?
True
Let z = -15 + 24. Is 21 a factor of 21/(-1*(-3)/z)?
True
Let f(q) = q**3 - 10*q**2 + 28*q - 5. Does 13 divide f(8)?
True
Suppose 7*d - 3*d = 20, d + 31 = -4*w. Does 12 divide (-3)/w + 35/3?
True
Let u(l) = 8*l - 1. Let n be u(1). Let z = -5 + n. Is z a multiple of 2?
True
Let b(z) = -7*z**2 + 3*z + 5. Let q(t) = 13*t**2 - 5*t - 9. Let m(i) = 7*b(i) + 4*q(i). Let p be m(3). Let h = p - 11. Does 9 divide h?
True
Suppose 9 = 5*y - 66. Is y even?
False
Let t(p) = -p**3 - 18*p**2 - 20*p - 15. Is 12 a factor of t(-17)?
True
Let g = 317 + -142. Does 25 divide g?
True
Suppose 4*t + 2*g + g = 77, -65 = -4*t + g. Does 10 divide t?
False
Suppose -4*m + 28 = -2*m. Does 7 divide m?
True
Let z(o) = o**2 + 3*o - 10. Does 10 divide z(7)?
True
Let b = 2 + 1. Suppose -b*k - k + 56 = 0. Suppose o = -o + k. Is o a multiple of 7?
True
Let l(n) be the second derivative of -5*n**3/2 - n**2 + 4*n. Let u be l(-5). Suppose u = 4*h + 5*o, -h + 31 = -4*o - 3. Is h a multiple of 11?
True
Let o be (1*-2)/(4/(-8)). Suppose 2*a = o*a - 30. Is a a multiple of 15?
True
Let j(t) = 2*t**2 + 3*t - 3. Let b be j(4). Let d = b + -24. Suppose 3*z = -o + d, -z - 37 = -3*o + 4*z. Is 8 a factor of o?
False
Let q(b) = -b + 1. Let v be q(-3). Suppose -i = 5*a - 26, -2*i + 24 = v*a + 2. Is 9 a factor of (18/(-4))/(i/(-6))?
True
Is (2 - 3)/((-5)/100) a multiple of 5?
True
Suppose -n = f - 0*f - 52, -4*n = -4*f + 224. Let v = f - 0. Is 16 a factor of v?
False
Let i(a) = -34*a - 3. Does 6 divide i(-1)?
False
Suppose -5*g = -11 - 39. Let w be ((-7)/(-35))/(2/g). Is (w/(-3))/((-1)/57) a multiple of 15?
False
Suppose 4*z - 5 - 3 = 0. Suppose -y - 2*t = 4*y - 197, -z*y - t + 79 = 0. Does 14 divide y?
False
Let b(o) = 3*o**2 + 4*o + 3. Let x be b(4). Suppose 5*f = -1 - 44. Let k = f + x. Is k a multiple of 20?
False
Does 17 divide 3 - (-113)/1 - (-12)/4?
True
Suppose 2*o + 2*k = 12, 12 = 2*o - k - k. Let a = 20 + o. Is a a multiple of 7?
False
Let l = 29 + 32. Is 9 a factor of l?
False
Let o = 11 + -5. Let n(w) = w**2 - 5*w + 1. Let h be n(o). Suppose 2*a + 130 = h*a. Does 10 divide a?
False
Let j be (-10)/20*(-12)/(-1). Let z be -508*(2/(-4) + 1). Is 15 a factor of z/j + (-8)/(-12)?
False
Let m = 7 - 3. Suppose -m*c - c = -2*b - 99, -b = -2*c + 40. Is 19 a factor of c?
True
Let p be 3 + 1 + -2 + 12. Let a = -8 + p. Is a a multiple of 3?
True
Let s = -10 + 6. Let x(u) = u**3 + 3*u**2 - 4*u + 5. Let l be x(s). Does 3 divide l*(2 + (-1)/1)?
False
Let a = 6 - 2. Does 18 divide 2/4 + 194/a?
False
Let g(p) = -2*p**2 - p - 2. Let t be g(2). Let s = -7 - t. Suppose s*d + 11 = 126. Does 15 divide d?
False
Let k(c) = -1 + 2 - 4*c**2 + 5*c + 5*c**2. Let h be k(-5). Does 3 divide 14/(-4)*(-1 - h)?
False
Let q(z) be the third derivative of 11*z**4/12 - z**3/2 - z**2. Let b be q(3). Is 21 a factor of (-1)/((-3)/b - 0)?
True
Let x(t) = 1 + 1 - 3 + 16*t. Is 7 a factor of x(1)?
False
Let w(p) be the second derivative of p**5/20 + 2*p**4/3 + 5*p**3/6 + 3*p**2/2 - 2*p. Does 18 divide w(-6)?
False
Let p = 2 - -1. Suppose p*v + 0 = 12. Suppose 58 = v*h - r + 2*r, -2*h = -4*r - 20. Does 7 divide h?
True
Let t(i) = 23*i - 65. Is t(7) a multiple of 14?
False
Let v = 42 + -14. Is v a multiple of 22?
False
Let c = 0 + 3. Is 9 a factor of -18*(-7)/c*1?
False
Suppose -7*l + 5*l = -88. Is 12 a factor of l?
False
Suppose 3*a + 30 = -2*a. Let t(p) = -p**3 - 4*p**2 + 8*p - 3. Is 7 a factor of t(a)?
True
Let y be 3/5 + (-24)/(-10). Suppose -y*b - 22 = -g + 26, -3*g + 4*b + 149 = 0. Is g a multiple of 28?
False
Let z(h) = -h**3 + 5*h**2 - h + 1. Let w(s) = -s - 5. Let n be w(-8). Is z(n) a multiple of 8?
True
Let h(g) = 2*g**2 + 2*g - 1. Is 3 a factor of h(1)?
True
Does 3 divide (-12)/9*(-66)/4?
False
Suppose 5*f + u = -3*u + 50, -2*f + 13 = 3*u. Let v = -4 + f. Is 10 a factor of (5/v)/(2/120)?
True
Let d = -22 + 45. Suppose -5*q = -127 - d. Is q a multiple of 12?
False
Let o be ((-1494)/(-15))/((-6)/(-20)). Is 20 a factor of o/8 - 3/2?
True
Suppose -v - 36 = -4*i, -3*i - 8 + 35 = v. Let s = i + -13. Is 8 a factor of (-2)/(-4) + (-82)/s?
False
Is ((-36)/(-30))/(6/320) a multiple of 16?
True
Let b be (-2 - 5/(-3))*-6. Suppose -q - 117 = b*q. Let p = q + 69. Is p a multiple of 16?
False
Let u(h) = h**2 - 3*h + 2. Let j be u(2). Is 7 a factor of (-24)/(-1) + j + -3?
True
Let r(k) = -k. Let n be r(5). Does 4 divide (6/n)/(9/(-60))?
True
Let t be (6/9)/(4/(-282)). Let n = 105 + t. Does 30 divide n?
False
Suppose 0 = -4*i - 5 + 1. Let h be (2 + i)*(-20)/(-2). Is 89/7 - h/(-35) a multiple of 13?
True
Suppose -2*f + 217 = -3*y, y + 0*y = 5. Is f a multiple of 16?
False
Let u be 0 - -2 - 0 - -7. Is 13 a factor of 236/u - (-4)/(-18)?
True
Suppose -210 = j - 3*j. Does 15 divide j?
True
Let k be ((-9)/6)/(6/8). Let o = k + 4. Suppose a = 2*a - o*x - 8, -a = -5*x - 5. Is a a multiple of 5?
True
Let y = -248 - -67. Is y/(-4) - (-6)/(-24) a multiple of 18?
False
Let y(k) = k + 58. Suppose -3*w + 2*m - 4 = 0, -2*m + 4 = 2*w + 2*w. Is 10 a factor of y(w)?
False
Suppose -3*t = -7*t, 0 = -5*w + 5*t + 120. Let c = w - 13. Is c a multiple of 11?
True
Suppose 5 = -3*v - 10. Let g = v - -9. Suppose -41 = 3*o - g*o. Does 14 divide o?
False
Let b = -11 + 23. Does 2 divide b?
True
Suppose -3*s + 3*d - 14 = -2*d, -5*s - 4*d - 11 = 0. Let o(k) = -7*k + 2 + k + 0*k. Is 20 a factor of o(s)?
True
Suppose -4*f - 10 = -14. Suppose -74 = -3*l + f. Is l a multiple of 5?
True
Let r be (-2 - 0) + 7/1. Suppose i - 6*i = -r*q + 20, 3*i - q + 4 = 0. Suppose -4*p - p + 60 = i. Is p a multiple of 6?
True
Let o(f) = 42*f + 2. Let v be o(2). Suppose -14 = -3*u - v. Is 12 a factor of u/5*(6 + -11)?
True
Suppose 2*t = t + 2*r + 22, -34 = -2*t + 2*r. Let a = -9 - t. Is 6 a factor of (-258)/a + (-2)/7?
True
Let p = 8 + -5. Suppose -3*q + 79 = 5*n - 0*q, -5*q = -p*n + 61. Is 16 a factor of n?
False
Suppose 0 = 5*s + 5*o - 139 - 276, s + 5*o - 95 = 0. Suppose -14*z - s = -18*z. Is 4 a factor of z?
True
Let p = -230 - -487. Suppose -3*q + 269 = j, -6*q + 3*q - 4*j + p = 0. Is 23 a factor of q?
False
Suppose 0 = -2*n - n + 6. Is 23 a factor of (n/(-3))/(2/(-102))?
False
Suppose -5*t = -864 - 951. Suppose 2*q + 51 = -2*p + t, 3*q + 5*p = 466. Suppose 3*r = 2*r + 1, r - q = -4*c. Does 15 divide c?
False
Suppose 0 = -b - 3*b + 40. Let a = 8 - 2. Let m = b - a. Does 2 divide m?
True
Let m = -4 - -5. Let l = 9 - m. Is l a multiple of 8?
True
Suppose 9*m - 33*m + 5904 = 0. Is 41 a factor of m?
True
Suppose 15 - 115 = -4*w + 4*b, 0 = -b - 5. Does 6 divide w?
False
Let k be (0/2)/((-14)/7). Suppose -2*n + n + 17 = k. Let t = n + -5. Is t a multiple of 12?
True
Let a = 367 + -187. Is a a multiple of 15?
True
Suppose 0*l - 11 = -l