t v be (-164)/(-1) - (-1 - -3). Suppose 2*u + v = 5*u. Is u a multiple of 15?
False
Let r(w) = -13*w - 2. Suppose -u + 0*b + 2 = 5*b, -3*u + 6 = 3*b. Let f = u + -4. Is r(f) a multiple of 12?
True
Let n(h) = h**2 - h. Let f(u) = 3*u**2 - u - 3. Let v(o) = -f(o) + 4*n(o). Let s be v(5). Let l = 25 - s. Is 12 a factor of l?
True
Let x(n) = -n**3 - 10*n**2 - 18*n + 1. Is x(-8) a multiple of 3?
False
Let j be 10 - 0 - (0 + 1). Suppose d = j + 38. Is 24 a factor of d?
False
Let z(r) = 8*r + 10. Does 17 divide z(9)?
False
Let n(f) = -2*f**3 + 2*f**2. Is n(-3) a multiple of 12?
True
Suppose -2*b + 144 = -26. Does 4 divide b?
False
Let h(a) = -7*a**3 - a**2 + 4*a. Let x(p) = -p**3 + p. Let l(y) = -h(y) + 3*x(y). Let u be l(1). Suppose -148 - 8 = -u*o. Does 13 divide o?
True
Suppose -55*g = -50*g - 350. Is g a multiple of 7?
True
Let h(f) = -6*f + 4. Is h(-8) a multiple of 26?
True
Let r(k) = -k**3 - 4*k**2 + 3*k + 1. Suppose -12 = -2*p + 5*p. Let a be r(p). Let c = -2 - a. Is 4 a factor of c?
False
Let k = -9 - -9. Suppose -u - 2*u + 189 = k. Is 17 a factor of u?
False
Suppose s - 18 = -3. Let c = s + -3. Is c a multiple of 4?
True
Let v = 11 + -6. Let m = 2 + v. Does 4 divide m?
False
Let t = -8 - -17. Does 9 divide t?
True
Let i be 8/5 + (-6)/(-15). Let h(d) = -d**3 - 9*d**2 - 15*d - 4. Let p be h(-7). Suppose 3*l - 3*v - 41 = -i, -p*l + 37 = -5*v. Is l a multiple of 7?
True
Let o(n) = -62*n. Let a be o(-1). Suppose -f - 3*h + 1 = -1, 0 = -3*f + 5*h + a. Is f a multiple of 14?
True
Let d(q) = -3*q**2 + 6*q + 1. Let c be d(5). Let p = c - -26. Does 5 divide (-186)/p - (-2)/(-6)?
True
Suppose 4*l - 16 = -0*l. Suppose -12 = -4*v + l. Is 4 a factor of v?
True
Let m = -7 + 7. Suppose -c = -m - 3. Suppose -c*v = -2*v - 12. Is 6 a factor of v?
True
Let d(c) = 3*c**2 - 1. Let s be d(-1). Suppose -3*p = l - s*l - 31, 3*l = -p + 7. Is 16/p*30/4 a multiple of 6?
True
Let t be 3 + 1/(-1) - -3. Suppose -t*c + 50 = 4*f, 3*c + 24 = 3*f - 0*c. Is f a multiple of 5?
True
Suppose 0 = -4*i + c + 8, -4*i = -0*c + c - 8. Suppose 2*d - 42 = 3*a - 5*a, 5*a + i*d - 96 = 0. Is a a multiple of 8?
False
Let z(b) = b**3 + 12*b**2 + 5*b + 1. Let f(t) = -2*t**3 - 25*t**2 - 11*t - 3. Let a(s) = 3*f(s) + 7*z(s). Does 18 divide a(-8)?
False
Let t(r) = r**2 - 5*r - 1. Let d be t(6). Suppose -2*l - 7 = k, l - 3*l = 5*k - d. Suppose -5*n = -10, -k*c - 3*n + n = -22. Does 5 divide c?
False
Suppose j + 2*j = -12. Is 8 a factor of ((-1)/j)/(1/92)?
False
Let m(w) = w**3 - w + 10. Let o be m(0). Let x be 3 + -6 + 11 - 3. Let n = o - x. Is 2 a factor of n?
False
Let d be (-2 - -1)/((-1)/(-5)). Let q = d - -18. Is 5 a factor of q?
False
Suppose k + 0*k + 15 = 0. Does 7 divide 2/(-5) - 141/k?
False
Let w = 117 - 72. Does 8 divide w?
False
Let u(v) = -v**3 + 4*v**2 - 3*v + 5. Let m(c) = -3*c**3 + 13*c**2 - 10*c + 16. Let l(n) = 2*m(n) - 7*u(n). Does 3 divide l(3)?
True
Let m = -1 + -1. Does 7 divide 174/15 + m/(-5)?
False
Let p be (-2)/(-6)*12/(-4). Is 11 a factor of 1/(0 - p)*29?
False
Let z = -7 - -5. Let c be (z/(-3))/((-10)/(-15)). Is 5 a factor of (0 - (-1 + c)) + 12?
False
Let p be (1 - 3/3)*-1. Let u = 12 - p. Is 6 a factor of u?
True
Suppose 6*w = 3*w + 249. Let t = -58 + w. Is t a multiple of 5?
True
Suppose -68 = -4*n + 4*g, 2*n - 36 = 3*g + g. Does 4 divide n?
True
Suppose r - 5*g + 134 = -g, 2*r = 3*g - 258. Let l = -84 - r. Does 21 divide l?
True
Let g(m) = -m**2 + 11*m - 13. Let s be g(9). Suppose -85 = -4*v - s*x, -v - 2*x = 2*v - 62. Let h = -6 + v. Is h a multiple of 12?
False
Let m = -55 + 93. Is 13 a factor of m?
False
Let o(k) = 4*k**3 + k**2 - 1. Let q be o(-1). Let s be 79/5 + 2/10. Let t = s - q. Is t a multiple of 10?
True
Does 12 divide (-1 - 0 - 0)/((-18)/2286)?
False
Suppose 2*f - 3*i = 9, -i + 16 = 2*f - 5. Suppose -4*q - f = -25. Does 4 divide q?
True
Suppose -2*l - l = -42. Let q = -10 + l. Does 4 divide q?
True
Let x be ((-12)/(-8))/(9/(-600)). Let y = -48 - x. Is 16 a factor of y?
False
Suppose 0 = -2*c - c. Suppose -2*n - 3*p + c*p = -42, -2*n + p = -34. Is 9 a factor of n?
True
Let z(u) be the third derivative of -u**6/120 + 7*u**5/60 - u**4/6 + u**3/6 + 4*u**2. Suppose -f + 18 = f + 2*k, 5*f + 2*k - 36 = 0. Is 13 a factor of z(f)?
True
Suppose -3*x + 9*x = 798. Is x a multiple of 9?
False
Let w(z) = z**2 - 3*z + 4. Let f be w(3). Suppose 2*g = 7*g - a - 42, a = f*g - 33. Is 3 a factor of g?
True
Does 25 divide ((-15)/(-2))/(9/48)?
False
Let p be (0 - 3)*(-4)/(-3). Let x(u) = u**2 + 4*u + 4. Let f be x(-6). Is 9 a factor of ((-44)/f)/(1/p)?
False
Let s be 2 - (-2 - -5) - -2. Let u = s + 2. Let x = u - -2. Is 4 a factor of x?
False
Suppose 4*w = -4*q + 24, -2*q - 10 = -3*w - 32. Let r = 49 - 46. Suppose -2*j = -3*j - 5*d + q, 6 = -r*d. Is j a multiple of 6?
True
Is 9 a factor of 168/3*54/8?
True
Suppose 4*m - 1136 = -5*h, 3*h = -6*m + 3*m + 849. Is 31 a factor of m?
True
Let h(a) = -23*a**2 - 8 + 2*a + a**3 + 3*a + 15*a**2. Let x be 2/(-1 - (-5)/4). Is 23 a factor of h(x)?
False
Let n be 291/(-2 - (-12)/4). Suppose -2*j + 485 = -0*m + 5*m, 3*m - j - n = 0. Is 31 a factor of m?
False
Let s(o) = -20 + 17 - 2*o**2 + 3*o**2. Does 6 divide s(-3)?
True
Suppose -7*u = -2*u. Let x = 4 - u. Is 2 a factor of x?
True
Suppose 325 = 5*m - 5*p, -p + 267 = 4*m + 2*p. Is 20 a factor of m?
False
Let b(s) be the third derivative of -s**5/60 - 10*s**3 - 2*s**2. Let y be b(0). Is 20 a factor of ((-16)/5)/(6/y)?
False
Let l = -56 - -78. Let n be 1/(-2) - l/(-4). Suppose -n = -2*s - 3*w, s - w = -2*w + 3. Is 4 a factor of s?
True
Let z = -90 - -95. Is z a multiple of 5?
True
Is (-76)/(-4) + 8/(-2) a multiple of 5?
True
Suppose -4*x + 24 = 2*b, x - b = 2*b + 6. Let v(o) = -o**2 + 8*o - 9. Let d be v(x). Suppose 0*a - d*a + 120 = 0. Is a a multiple of 14?
False
Let k be 0 + (-1)/((-2)/(-4)). Let g = 8 + k. Let j = 6 + g. Is j a multiple of 12?
True
Let n be (-1860)/55 - 2/11. Let j = n - -48. Is 8 a factor of j?
False
Is 2 - (88/2)/(-4) a multiple of 6?
False
Let b(h) = 25*h + 7. Let k be b(7). Let m = k - 129. Does 23 divide m?
False
Let p(r) = -6*r**3 - r - 1. Let f be p(-1). Suppose 8*n = f*n + 96. Is n a multiple of 16?
True
Suppose -45 = -2*m - 13. Is 8 a factor of m?
True
Let s = 6 + -14. Does 3 divide (s/16)/((-2)/24)?
True
Suppose -5*c - 37 = -v, 4*v = 2*v + 4*c + 86. Let h = -21 + v. Does 13 divide h?
True
Suppose 0 = -2*q - 4, m + 73 = 2*m - 2*q. Let p = -24 + m. Does 15 divide p?
True
Suppose 5*y + 61 = 3*j, -4*j + 31 = -j + y. Does 4 divide j?
True
Let p(x) = x + 1. Let i be ((-2)/(-4))/((-1)/2). Let s(a) = 8*a**2 - 2*a - 1. Let b be s(i). Does 10 divide p(b)?
True
Let c(m) = m**2 + 7*m + 7. Let g be c(-7). Let n = -5 + g. Does 2 divide n?
True
Let j(t) = -346*t + 6. Does 44 divide j(-1)?
True
Suppose 310 = 5*l + 85. Let z = l + 2. Let i = -22 + z. Is 16 a factor of i?
False
Suppose j - 5*j = 220. Is (-22)/j + (-86)/(-10) a multiple of 3?
True
Is 20 a factor of -1 - ((-3)/(-1) + (-144 - 0))?
True
Suppose -x + 54 = 5*x. Does 2 divide x?
False
Let g(j) = -j + 23. Does 11 divide g(-21)?
True
Let f = -16 + 22. Let p(b) = 6*b + 2. Is 7 a factor of p(f)?
False
Is 9 a factor of 2/(-11) - (-2784)/66?
False
Is 3 a factor of 21 - (4 - (-3)/(-1))?
False
Let l(g) = g**2 + 3*g - 5. Let n be l(-5). Let v be (4 - -7)/(1/n). Let p = -27 + v. Is p a multiple of 14?
True
Let j(n) = -6*n + 5. Let b be j(-6). Suppose 4*y - 67 = u, -5*y + 4*u = -b - 40. Suppose -y = -5*d + 38. Is d a multiple of 8?
False
Let v = 14 - -14. Is 9 a factor of 776/v - 4/(-14)?
False
Suppose -22*x = -19*x - 294. Is 13 a factor of x?
False
Let v = 114 + -66. Is v a multiple of 24?
True
Let k be (-10)/(-4) - 5/(-10). Suppose 2*r - k*x = 3*r - 57, -4*r + 5*x = -160. Does 27 divide r?
False
Let y be 4 + (-1 - (-3)/3). Suppose y = 3*n - 4*d + 27, -3*d + 15 = 0. Does 5 divide (39/6)/(n/(-2))?
False
Let h(c) = -c**3 + 26*c**2 - 14*c - 44. Is h(25) a multiple of 29?
False
Let p(m) be the second derivative of m**4/6 + m**3/2 - 2*m**2 + m. Does 20 divide p(4)?
True
Let m = 51 - 28. Suppose -m = -2*w + 25. Does 12 divide w?
True
Let f(p) be the first derivative of -p**2/2 + 4*p - 2. Is f(-7) a multiple of 11?
True
Suppose 0 = t + 6*t - 49. Does 7 divide t?
True
Suppose -5*d + 0*y + y - 5 = 0, -25 = -5*d - 5*y. Let m(o) = 