4*w + 5*w + w. Let r be v(4). Let o(u) = 3*u + 3. Does 12 divide o(r)?
True
Let t(u) = 5*u + 3. Let r(q) = 4*q + 3. Let k(n) = 4*r(n) - 3*t(n). Does 3 divide k(7)?
False
Let d be 54 + (-6)/(-3) + 1. Let w = 14 + -10. Suppose w*q - k - d = 0, 6*q - 2*q - 54 = 2*k. Is q a multiple of 15?
True
Let v = -18 + 13. Let h be ((-22)/v)/((-2)/(-40)). Suppose 3*c + c = h. Does 13 divide c?
False
Let q = 9 + -5. Does 4 divide q?
True
Suppose 5*k - 3*b = 2*k - 48, 3*b = -3*k - 54. Let u = -51 - -76. Let r = u + k. Does 8 divide r?
True
Let v(j) = 8*j**3 - j**2 + j - 1. Let l be v(1). Suppose 5*x + 4*h - 30 = 0, -2*x + 7 = 2*h - l. Suppose -x*d - 4*b = -b - 45, 5*d + 2*b = 96. Does 9 divide d?
True
Let y(m) = -m**2 - 8*m + 3. Let a be y(-8). Suppose 4*v = -2*o - 14, -2*o - 8 = -a*v - 29. Is o even?
False
Let m(r) = -2*r + 5. Let p be m(6). Let k(c) = -7*c + 2. Let n(g) = g. Let q(j) = k(j) + 5*n(j). Does 10 divide q(p)?
False
Let i = 559 + -307. Is 42 a factor of i?
True
Suppose -o - 5 = -u, -4*o + 2 = -5*u + 20. Is 6*o*(1 - 2) a multiple of 14?
True
Suppose -2 = -h + 4. Suppose -h*i + 2*i = 2*f + 1082, -2*i - 544 = 2*f. Does 18 divide (-3)/(-15) - i/5?
True
Suppose -2*j - 2 = 3*m, j + j + m - 2 = 0. Suppose -18 = -5*d - 4*l, d - j*l = 10 + 2. Is d a multiple of 4?
False
Suppose 0 = -5*n - 40 - 0. Is 2 a factor of (-6)/n - (-66)/8?
False
Suppose -837 = -7*a - 137. Is 11 a factor of a?
False
Let z = -13 + 38. Does 25 divide z?
True
Let s(n) = 10*n + 7. Let d(u) be the third derivative of -41*u**4/24 - 14*u**3/3 - 3*u**2. Let t(q) = -2*d(q) - 9*s(q). Does 12 divide t(-5)?
False
Suppose d = -3*d - 48. Let y be 2/6 - 404/d. Let q = 64 - y. Is q a multiple of 15?
True
Let d(l) = l + 16. Suppose -2*c = 6 + 8. Let x be d(c). Is 21/(-2)*(-6)/x a multiple of 4?
False
Let n = -11 + 11. Suppose n = 4*t + 12, -204 = 3*m - 8*m - 2*t. Is m a multiple of 14?
True
Suppose 0*i = -3*i + 228. Is i a multiple of 14?
False
Let o(l) = 91*l**2 + 4*l + 3. Does 18 divide o(-1)?
True
Let u(f) = -f**2 - 31*f - 6. Is u(-24) a multiple of 6?
True
Let o = 23 + 13. Does 9 divide o?
True
Suppose 4*v - 21 = v. Suppose -5*s + 3*f = -3, 2*s - f + v = 3*s. Let t(m) = m**3 - m**2 - m - 2. Does 11 divide t(s)?
False
Let w(x) = -x**3 + 5*x**2 + 6*x + 2. Let n be w(6). Let c = 1 + n. Is c a multiple of 3?
True
Let g(s) = -s. Let a = 10 - 17. Is g(a) a multiple of 7?
True
Let c(g) = g**3 + 5*g**2 - 8*g - 3. Let v be c(-6). Suppose -4*x + 7 = -v. Suppose -46 = -5*m + 2*t + 98, -3*t = x*m - 129. Is 15 a factor of m?
True
Suppose -10*a + 9 = -191. Is 20 a factor of a?
True
Suppose -4*y + 2*t + 213 = -191, 0 = 4*y + 4*t - 392. Does 4 divide y?
True
Let u = 3 + 6. Let l(n) = n**3 - 9*n**2 + 6*n + 2. Let b be l(u). Suppose 0 = 5*o - o - b. Is o a multiple of 13?
False
Suppose 0*m = -m + 4. Suppose 3*l = -m + 82. Is l a multiple of 6?
False
Suppose -6 = 2*w, s + 3*w = 4*s - 48. Does 4 divide s?
False
Let p be (-6)/7*7/(-1). Let a = 6 + p. Does 6 divide a?
True
Suppose -5*b = -2*b - 15. Suppose -25 = -5*s + b. Does 3 divide s?
True
Suppose -3*p - 4*g - 20 = 0, 2*p + 3*g - 2 = 4*p. Is (p - 1)*(-308)/55 a multiple of 7?
True
Let j(y) = y + 15. Let w be j(-9). Is (-543)/(-15) + w/(-30) a multiple of 12?
True
Let i(t) = 19*t - 3. Is i(5) a multiple of 15?
False
Does 9 divide (-1)/(2/(-56)) - 1?
True
Let r(k) = k + 18. Suppose 0 = -g - 4*o, -2*g + 2*o = g + 28. Let x be r(g). Suppose x = 4*d + 5*u, 0*d = 2*d + 4*u - 2. Is 3 a factor of d?
False
Suppose -4*c + 7*c - 9 = 0. Let o = 7 - c. Suppose -m + o*b - 144 = -5*m, 2*m - 100 = 5*b. Is m a multiple of 20?
True
Suppose -6*v = n - 2*v - 38, 0 = -n - 5*v + 43. Suppose n = 2*a - 18. Is a a multiple of 6?
True
Suppose 4*x - 2*m - 9 = 23, -38 = -4*x - m. Is x a multiple of 9?
True
Suppose 2*d = 4*n + 19 + 9, -20 = 4*n - 4*d. Is 4 a factor of 28/(-12)*n/3?
False
Let n(z) = z + 3. Let i be n(3). Let b(w) be the first derivative of 2*w**3/3 - 3*w**2 - 2*w + 1. Is b(i) a multiple of 13?
False
Suppose -40 = -b + 80. Is 23 a factor of b?
False
Let i = 48 + 49. Is 14 a factor of i?
False
Let z(w) = 3*w - 3. Let n = -4 - -11. Does 9 divide z(n)?
True
Let d be (-2)/7 + (-12)/(-42). Suppose d = -0*h + h - 34. Let n = h + -16. Is n a multiple of 8?
False
Let o = -16 - -46. Does 10 divide o?
True
Let q(c) = -c**3 + 3*c**2 + 7*c - 6. Let y be q(4). Suppose k - y*k = 4*z - 214, -2*k - 2*z = -86. Is k a multiple of 21?
True
Let t(f) = -f**3 - f**2 + f. Let h be t(0). Suppose 4*p - 6 - 6 = h. Does 7 divide (-32 - -2)/p*-1?
False
Suppose 6 = x - 3*h, -4*x = -0*h - 3*h - 15. Suppose 4*g = 3*t + 33, 2*t - 29 = -x*g - 0*t. Is 4 a factor of g?
False
Suppose 0 = -4*t + 3*w - 4*w + 64, t = -4*w + 16. Let z be (2/(-4))/((-4)/t). Suppose -3*m = 4*b - 63, b + z*m - m - 15 = 0. Is b a multiple of 9?
True
Let j(w) = 2*w + 2 - 3*w + 2*w + 2. Let h be j(-4). Suppose h = 5*k - 185 - 10. Is 10 a factor of k?
False
Let a(q) = 18*q**2 + 13. Is 34 a factor of a(4)?
False
Let h = 16 + -10. Suppose 72 = h*u - 2*u. Is 14 a factor of u?
False
Suppose 11*k = -2*k + 1703. Is k a multiple of 11?
False
Is (532/21)/((-2)/(-3)) a multiple of 8?
False
Let l(j) = -4*j**3 + 5*j + 7*j**3 - 4*j + 21*j**3. Is 17 a factor of l(1)?
False
Suppose 15*o = 20*o - 1290. Is 25 a factor of o?
False
Suppose -3*b + 5*f = -57, -3*b - f = -87 + 12. Does 12 divide b?
True
Suppose -37 = -4*m + 35. Let p = m - 6. Does 4 divide p?
True
Does 49 divide (-2)/(2/((-876)/3))?
False
Let p(x) = -x - 3. Let r be ((-9)/(-6))/((-1)/2). Let m be p(r). Suppose -5*o = -m*o - 130. Does 13 divide o?
True
Suppose -127 = -3*l + 20. Is 8 a factor of l?
False
Suppose -5*w = 14*w - 1216. Is w a multiple of 16?
True
Suppose -5*r = -2*x + 5*x - 356, 5*x - r = 556. Is x a multiple of 15?
False
Suppose 140 = 5*z + 5*o, 3*o - 16 + 56 = z. Is z + (-5)/(10/(-4)) a multiple of 11?
True
Let k = -54 + 33. Is 8 a factor of -1*k*2/3?
False
Let z(i) = -i**3 - 5*i**2 - i. Let m be z(-5). Suppose 3*v - 4*y = 113 + 196, 4*v - 431 = -y. Suppose m*r = v - 12. Is 12 a factor of r?
False
Let j(d) = -d**3 + 12*d**2 + 4*d + 18. Is 11 a factor of j(12)?
True
Suppose 0 = -2*t - 2*o + 18, 5*t - 5*o - 13 = -2*o. Let i = 18 - -43. Suppose -2*u + i = 3*d - 8*d, t*d = 4*u - 97. Is u a multiple of 18?
True
Let c(l) = -l**2 + 6*l - 4. Let v be c(3). Suppose 75 = p + 2*p - 3*y, 99 = 3*p + v*y. Suppose 0 = o - 3*o + p. Is 7 a factor of o?
True
Let s(z) = 3*z**2. Let p be s(1). Suppose -p*a - 13 = -u, 0 = 2*u + 3*a - 0*a - 35. Is 7 a factor of u?
False
Suppose 0*f = 2*d + 2*f - 132, 5*d - 303 = 4*f. Does 23 divide d?
False
Suppose 4*l - 60 = -12. Is l a multiple of 12?
True
Let o be ((-45)/60)/((-3)/8). Suppose -o*b = -3*a - 113, -5*a - 284 = -4*b - 57. Does 17 divide b?
False
Suppose 10 = 5*k - 0*k. Suppose 2*f - 80 = 5*i - 330, -k*f - 150 = -3*i. Does 11 divide i?
False
Does 25 divide (60/(-9))/(8/(-60))?
True
Suppose -3*a = 2*y - 117, 2*y - y - 4*a = 64. Suppose 2*g - 4*g - 4*r + y = 0, 4*g - 3*r = 65. Is 10 a factor of g?
True
Let j = -13 - -83. Suppose -5*w + j = -50. Is 12 a factor of w?
True
Suppose 10 - 4 = l. Let h(x) = -x**3 + 7*x**2 - 6*x + 4. Let o be h(l). Suppose o*w + f - 51 = 0, 5*w + 5*f - 31 = 29. Is 13 a factor of w?
True
Let k(b) = -b - 1. Let h(n) = -2*n + 5. Let i(c) = -h(c) + k(c). Let j be i(0). Is 5 a factor of 1/((j/20)/(-3))?
True
Suppose 8*v - 3*v = 4*z - 23, -2*v - 2*z - 20 = 0. Let h be 12/(-42) + 313/v. Let a = 83 + h. Is 19 a factor of a?
True
Does 10 divide 6/(-9) + 364/6?
True
Let g(s) = s**2 - 14*s + 5. Is 25 a factor of g(-6)?
True
Let m be -1 + (3 - 3 - -5). Suppose -m*k = -3*k - 15. Is k a multiple of 15?
True
Let p = 14 + -10. Let q = -7 - -15. Suppose -o = 4*l - p, 2*o - q = -l + 14. Is 12 a factor of o?
True
Suppose -1 = z - 2*z. Let p be z/(-1 - 6/(-4)). Suppose -14 = -4*r + p. Is 2 a factor of r?
True
Let o(w) = 5*w**2 - 4*w + 2. Let p be 1/(-2) + 5/2. Does 7 divide o(p)?
True
Let o(z) be the second derivative of z**5/60 - z**4/12 - z**3/2 - 2*z**2 - 3*z. Let h(j) be the first derivative of o(j). Is h(-3) a multiple of 6?
True
Is 50 a factor of 1498/15 + 16/120?
True
Suppose 0 = -2*q + q + 15. Is 12 a factor of q?
False
Suppose -4*o = -2*s - 10, -3*o - 2*s = -0 - 4. Is 4 a factor of (-3)/(-6)*22 - o?
False
Let o(w) = -1. Let t(k) = 2*k. 