(-3). Is 11 a factor of 2*y/16*-2?
True
Suppose 2*r - 5*r = -6. Let h be (6/(-15))/(r/(-30)). Does 5 divide (-51)/h*-2 - 2?
True
Suppose -3*v - 5*b = -449, -4*v - 3*b + 394 + 201 = 0. Is 37 a factor of v?
True
Let v be 33/44 - (-6)/(-8). Suppose -5*m + 55 + 205 = v. Does 22 divide m?
False
Let a = 249 + -143. Suppose 12 = -3*f, a + 154 = 4*b + 5*f. Is b a multiple of 31?
False
Suppose 4*o = 20, y + o = 6*y - 40. Let j(a) be the third derivative of -a**5/60 + 11*a**4/24 + a**3/2 + 7*a**2. Is 15 a factor of j(y)?
False
Suppose 6*p = 4*p + 10. Suppose p*v = 59 + 1. Is v a multiple of 4?
True
Let l = 454 + -150. Is l a multiple of 38?
True
Let k(d) = -7*d**2 + d + 4. Let m be k(-3). Let a = -38 - m. Does 8 divide a?
True
Suppose 2*u - 12 = 4. Suppose -5*l + 9*x = 4*x - 20, -2*x = -5*l + u. Suppose -n - 10 = -b + n, -b + 3*n + 12 = l. Is 6 a factor of b?
True
Suppose -4*g + 8 = -0. Suppose 4*a = -a + 4*b + 4, 0 = g*b - 8. Suppose -u + 35 = a*u. Does 4 divide u?
False
Let b(x) = -x + 8. Let q be b(7). Suppose -115 = -3*j - q. Let y = -14 + j. Does 8 divide y?
True
Let y = -17 + 37. Let t = y + -12. Does 4 divide t?
True
Let x be (-14)/(-4) - 2/(-4). Let r = x + 1. Does 3 divide r/(-4)*12/(-3)?
False
Is 359/3 - 9/(-27) a multiple of 20?
True
Suppose -5*d = -6*d + 2. Does 2 divide d?
True
Does 16 divide ((-3 - 1) + 3)*-80?
True
Suppose -52 - 2 = -3*m. Does 9 divide m?
True
Is 8 a factor of 6/(-15) + (-284)/(-10)?
False
Let o be (-3)/9 + (-26)/(-6). Is 13 a factor of 736/28 - o/14?
True
Suppose -2*k + r + 184 = -24, 0 = -3*k + 4*r + 302. Is k a multiple of 16?
False
Let a(r) = -r**3 + 4*r**2 + 5*r + 5. Let v be a(5). Let y(i) = v + 2*i**2 - 2*i**2 - i**2 - 11*i. Is 23 a factor of y(-9)?
True
Let q(v) be the first derivative of -v**3/3 - 5*v**2 - 10*v + 1. Let d(l) = 3*l + 5. Let o be d(-4). Is q(o) a multiple of 4?
False
Let k be (-1)/((-3)/(-15)*-1). Suppose 2*t = -d + k, 0 = t + 5*d - 16. Let p(m) = 8*m - 1. Is p(t) a multiple of 3?
False
Let s(k) = 12*k + 23. Is s(10) a multiple of 13?
True
Let r = 4 + -6. Let h = r - -3. Does 7 divide 35/4 - h/(-4)?
False
Is 4/(-28) + (-414)/(-7) a multiple of 17?
False
Suppose j - 2*j + 2 = -k, 2*j - 7 = 3*k. Let u(r) = -9*r + 3. Is 7 a factor of u(j)?
False
Let z = -358 + 512. Is 14 a factor of z?
True
Let w(y) = y**3 + 4*y**2 + 5. Suppose -2*f - 7 = -4*f + z, 0 = 2*f + 4*z - 32. Let l be f/(5/((-30)/9)). Does 2 divide w(l)?
False
Let w(a) be the first derivative of -17*a**5/120 - a**4/8 + a**3/3 + 3. Let n(y) be the third derivative of w(y). Is 10 a factor of n(-2)?
False
Suppose -2*f + 4*k + 160 = 0, 0*k + 200 = 3*f + 4*k. Let g = f + -40. Is g a multiple of 9?
False
Let j = 107 - 65. Does 7 divide j?
True
Let n(m) = 8*m - 5. Let s(q) = -15*q + 10. Let r(d) = 14*n(d) + 6*s(d). Is 22 a factor of r(4)?
False
Suppose 276 = -9*w + 12*w. Does 34 divide w?
False
Let v = -15 - -22. Let r(g) = g + 2. Is r(v) a multiple of 7?
False
Let w(n) = -n**3 - n**2 - 1. Let p(j) = -j**2 - j - 1. Let s be p(0). Let r(v) = -2*v**3 + 2*v**2 - 6*v - 12. Let q(m) = s*r(m) + 3*w(m). Does 9 divide q(-6)?
True
Let d = 3 - -22. Let c = -5 + d. Is c a multiple of 12?
False
Let a be (-1)/(-3) + (-1446)/18. Let t = -30 - a. Is 8 a factor of t?
False
Let w be -1 - -4 - (12 - 9). Let s(f) = -f + 29. Let q be s(w). Suppose n + 11 = q. Is 10 a factor of n?
False
Suppose 2*c = 5*o - 108, -4*o + 91 = -0*o + 3*c. Suppose 0 = -2*l - 2*l + z + 46, -2*l = -z - o. Does 4 divide l?
True
Suppose 42 = -4*y + z, -2 - 2 = -2*z. Let a(b) = -2*b - 1. Let t(v) = v + 1. Let o(k) = -4*a(k) - 12*t(k). Is o(y) a multiple of 9?
False
Let w(y) = y**3 + 6*y**2 - 4*y + 7. Let x be w(-7). Let t = x - -9. Let s = t + 14. Is s a multiple of 5?
False
Let r be ((-74)/3)/(12/(-18)). Let q = -23 - r. Let o = -20 - q. Is 20 a factor of o?
True
Let t = 20 - -1. Does 17 divide t?
False
Let q(z) = -z**3 + 6*z**2 + 7*z + 5. Let a be q(7). Suppose p = a*k - 13, 0*p = -4*k - 2*p + 16. Suppose -x - k*x + 120 = 0. Is x a multiple of 15?
True
Suppose 0 = -3*b - 2*z - 3*z + 9, 0 = -3*z. Suppose 9 = 3*q, 3*d - 5*q - 132 = -b. Is d a multiple of 12?
True
Suppose 2*c = 6*c - 12. Let d be ((-16)/(-6))/(2/c). Suppose -4*m - 1 + 11 = -2*u, -d*u = 2*m. Is m even?
True
Does 26 divide ((-4)/5)/(18/(-1125))?
False
Let s(z) = z**2 - 9*z + 5. Let r be s(3). Let v(x) = x**2 + 7*x + 7. Does 22 divide v(r)?
False
Let c(a) = 41*a + 1. Does 14 divide c(1)?
True
Suppose 40 = 5*f - 5*x, -3*f - 2 = -f + 4*x. Let i = f + 7. Does 6 divide i?
True
Let r(p) = -21*p - 12. Is r(-2) a multiple of 10?
True
Let m = 10 - -2. Is m a multiple of 6?
True
Let p = 46 + -27. Suppose 19 + p = 2*x. Let g = 32 - x. Is 5 a factor of g?
False
Suppose 454 + 394 = -5*j - t, 346 = -2*j + 3*t. Is 7 a factor of j/(-10) + 1 + -5?
False
Let h = 94 + -27. Is 12 a factor of h?
False
Let n(z) = -z**3 - 8*z**2 - 6*z - 4. Suppose p + p + 16 = 0. Is n(p) a multiple of 12?
False
Let f(o) = -3*o - 10. Let t be f(-11). Suppose -3*w = -3*u, -2*u + 15 = -4*w - w. Let q = u + t. Is 9 a factor of q?
True
Suppose -5*l + 9 + 22 = -4*k, -12 = 3*k. Suppose 5*u + l*o - 134 = 0, 3*u + 3*o - 2*o - 82 = 0. Is 14 a factor of u?
True
Let u(k) = k**2 + 4*k. Let c be u(-3). Is 15 a factor of c*1 + 306/9?
False
Suppose 5*b - 8 = 22. Is 5 a factor of 6/(-18) + 56/b?
False
Suppose -4*z + z = 0. Let b = 187 + -151. Suppose b = -z*q + q. Is q a multiple of 13?
False
Suppose -h + 6*h - 356 = -2*r, 3*h = -3*r + 210. Is 11 a factor of h?
False
Suppose 0 = -0*g + 2*g. Suppose -h - b = 2*h - 19, g = 3*h - 4*b + 1. Suppose 15 = h*m - 90. Is 6 a factor of m?
False
Let m(v) be the second derivative of -v**3/6 - v**2 - 3*v. Does 6 divide m(-8)?
True
Suppose -2*r + 60 = 2*r + 4*l, 3*r = 2*l + 45. Is 10 a factor of 357/15 - (-3)/r?
False
Let y(n) = n + 4. Let x be 3 - (-8 + 1 + 0). Is 7 a factor of y(x)?
True
Let g = 212 - 126. Is 11 a factor of g?
False
Suppose 19 = -r - 13. Let f = -23 - r. Is 5 a factor of f?
False
Let u = 19 - -33. Is u a multiple of 13?
True
Does 11 divide (166 - 1)*(-34)/(-51)?
True
Let c(w) = -w**3 + 5*w**2 - 5*w + 2. Suppose 0 = a, -2*p + 22 = 4*a + 6. Let f be 2*2/p*6. Is c(f) a multiple of 5?
True
Suppose 7*i = 2*i. Suppose 0 = -w + 3*w + y - 1, w + 12 = -3*y. Suppose a + 2 - 1 = 0, -g - w*a + 19 = i. Is g a multiple of 19?
False
Let t(l) = 6*l**3 - 5*l**2 + 8*l - 8. Let y(h) = 2*h**3 - 2*h**2 + 3*h - 3. Let i(v) = -3*t(v) + 8*y(v). Is 6 a factor of i(-2)?
True
Let u(g) = g + 10. Let d be u(-7). Does 6 divide (d + -4)*0 - -11?
False
Let m(c) = -c**3 + 7*c**2 - 2. Let s be m(7). Does 26 divide ((-9)/s)/((-6)/(-104))?
True
Let v = -2 + 17. Let y = -4 + v. Is y a multiple of 11?
True
Suppose -8 = -r + 2. Suppose -30 = -2*n - r. Is n a multiple of 5?
True
Suppose 11*t - 16*t = -600. Is 30 a factor of t?
True
Let t be -4*(-3 - 9/(-12)). Let l = t + -7. Suppose -l*b = -4*b + 36. Does 18 divide b?
True
Let y = -89 - -316. Is 22 a factor of y?
False
Suppose -6 = 2*r - 0, 0 = -j - 3*r + 21. Does 9 divide j?
False
Suppose -5*n + 12 = -28. Suppose 57 = 5*z - n. Suppose -c + 52 = z. Does 13 divide c?
True
Suppose 0 = -2*d - 2*d + 512. Does 25 divide d?
False
Let z(n) = n**3 + 2*n**2 - 1. Let s be z(1). Let k(a) = 5 + 0*a + s*a - 3*a. Is 6 a factor of k(-7)?
True
Let d = 18 - 12. Does 5 divide (d/9)/(2/21)?
False
Suppose 0 = 11*q + 1 - 67. Suppose -5*r + 3*f = -f - 8, -10 = r + 5*f. Suppose r*b - 3*m + q = 3*b, 4*m + 17 = b. Is 3 a factor of b?
False
Suppose 3*q + 8*p - 144 = 4*p, 0 = -3*q + 5*p + 171. Is 13 a factor of q?
True
Suppose 4*d + 3*o = -0 + 14, 2*d = o + 2. Suppose -2*p + 3*p - 60 = 4*t, d = -2*t. Does 16 divide p?
False
Let r(o) = o**2 - 6. Is 30 a factor of r(-6)?
True
Let v = -1 + 4. Suppose -4*b - v*d = -2*d + 166, -94 = 2*b - 5*d. Does 4 divide (-10)/(-3)*b/(-35)?
True
Suppose 0 = -s + 2*o + 33, 0 = 2*s + o + 4*o - 48. Let n(g) = g**3 - 8*g**2 + 2*g - 11. Let j be n(8). Let m = s - j. Is m a multiple of 12?
True
Let d(s) = -2*s**2 + 3*s + 4*s**2 - 12*s. Is 6 a factor of d(6)?
True
Is 15 a factor of 120 + 0*(-2)/(-8)?
True
Suppose 2*o - 5*w - 155 + 35 = 0, 0 = -4*o - 5*w + 180. Let j = o + -32. Is j a multiple of 6?
True
Let l(s) = 21*s**2 + 6*s - 5. Does 7 divide l(1)?
False
Let f = 185 + 25. Does 30 divide f?
True
Is 32 a factor of (-15