 l(u) + 2*x(u). Let v(g) be the first derivative of a(g). Is v(1) a multiple of 12?
True
Suppose 73 = -25*u + 26*u. Suppose -133 = -2*f + u. Is 10 a factor of f?
False
Suppose -4*j - 3*r + 269 = -381, -r = 5*j - 807. Is 7 a factor of j?
True
Let i = -78 - -83. Suppose -69 - 21 = -3*f. Let d = i + f. Is 16 a factor of d?
False
Suppose 4*b = -0*b - 5*s - 40, 0 = -5*s - 20. Let x = 19 + b. Suppose 3*c - 2*c = x. Is c a multiple of 10?
False
Suppose -47*x = 4331 - 40991. Does 20 divide x?
True
Suppose -1 = d + 3, 0 = 4*p + 2*d - 204. Does 2 divide p?
False
Suppose 0 = 2*c - 144 - 0. Is 36 a factor of c?
True
Let r = -6 - -12. Let l be 6/(5/(20/r)). Suppose -4*z + 197 = -x, -4*z + l*x + 31 + 157 = 0. Is 15 a factor of z?
False
Suppose 5*s + 3*i = 2766, 2*s + 4*i - 357 - 755 = 0. Does 46 divide s?
True
Let g = -2 + 191. Does 27 divide g?
True
Let i = -10 + 10. Suppose q - 3 - 1 = i. Let h = 0 + q. Is h a multiple of 2?
True
Is 9 a factor of -46*11/(-2) + (-8 - -7)?
True
Is (-56)/(-12)*2568/16 a multiple of 8?
False
Suppose -2*d + 2 = 0, 2*r = -3*d - d + 12. Suppose -o = -r*o - 24. Does 10 divide (-300)/o + 1/(-2)?
False
Suppose 1085 = 2*a - 5*d, a = -a + 2*d + 1094. Is a a multiple of 55?
True
Let h(i) = 35*i + 24. Is h(8) a multiple of 6?
False
Let s(q) be the first derivative of 13*q**3/3 - 3*q**2 + 5*q + 15. Is s(3) a multiple of 13?
True
Suppose -13*k + 7191 = 34*k. Is k a multiple of 28?
False
Let o = 94 + -11. Let p = o - -19. Is 21 a factor of p?
False
Suppose 0 = 4*y - 2*y - 6. Let z(u) = 3*u**3 - 2*u**2 - 2*u. Is z(y) a multiple of 19?
True
Suppose m + 8 = 3*m. Suppose -h = -c - 0*h, 4*c + m*h = -40. Let t(q) = -2*q - 7. Does 3 divide t(c)?
True
Let a(p) = -p**3 + 3*p**2 - 2*p + 8. Let o be a(3). Let m(z) = 8*z - 4 + 0 + 0. Does 7 divide m(o)?
False
Let q = 61 - -2. Suppose -q + 11 = -l. Does 11 divide l?
False
Let n(w) = -w**3 - 6*w**2 + 4*w - 5. Let s be (-2)/(3 - -3)*111. Let k be (-20)/(-50) + s/5. Is n(k) a multiple of 8?
True
Is 5 a factor of 20/(-10)*(-250)/4?
True
Let f = 314 - 205. Is f a multiple of 6?
False
Does 13 divide (174/(-18) - -9)*(-1041)/2?
False
Suppose 0 = -204*m + 194*m + 22950. Is 12 a factor of m?
False
Suppose -8*l + 1740 = 628. Does 13 divide l?
False
Let j = 2 + 2. Let i be ((-3)/(-4))/((-12)/(-32)). Suppose j*w - 8 = i*w. Is w a multiple of 3?
False
Let k be (-3 - 5/(-3))*-3. Suppose -2*g + 4*b = g - 400, -5*g = k*b - 624. Does 32 divide g?
True
Suppose 6*h + 110 - 860 = 0. Let j = h + 12. Does 23 divide j?
False
Let n(b) = -24*b + 1. Let r be n(-1). Suppose -5*t - 60 = -5*h, t - 3*t + r = 5*h. Is h even?
False
Suppose 0 = -2*m + 10, -m + 2673 = 5*z - z. Does 29 divide z?
True
Let x(a) = 83*a**3 + 5*a**2 - 5*a - 2. Let l(n) = -82*n**3 - 4*n**2 + 4*n + 1. Let q(r) = -3*l(r) - 2*x(r). Does 12 divide q(1)?
False
Let b(m) = 98*m - 1. Does 3 divide b(3)?
False
Let g(v) = -v**2 + 5*v - 3. Let f be g(4). Let m be 0 + (1/f - 1). Suppose m*o - 2*o - 4*a + 136 = 0, -152 = -2*o + 4*a. Is o a multiple of 28?
False
Suppose -o = -2 - 5. Suppose -12 = 8*l - o*l. Does 8 divide (l/(-24))/(2/96)?
True
Let f(w) = -4 + 7*w + 15*w - 24*w. Let u be -1 + -7 - (0 - 1). Is f(u) a multiple of 3?
False
Suppose -4*z + 201 = -3*z - v, 3*v - 804 = -4*z. Does 20 divide z?
False
Let w = 132 + 431. Is 33 a factor of w?
False
Does 26 divide (-144)/96*(-832)/6?
True
Let g = -107 - -76. Let z = 237 - 282. Let c = g - z. Does 14 divide c?
True
Let w = -86 - -136. Let o = 59 + w. Is o a multiple of 11?
False
Suppose 4*h = 5*g + 9, -40 = 3*h + 2*h + 4*g. Let o = 35 - 17. Let c = h + o. Does 14 divide c?
True
Suppose z - 2 = l, -3*l + 2*l - 2 = 3*z. Let y = -2 - l. Suppose y = -3*w + 19 - 4. Is w a multiple of 5?
True
Suppose -u = d - 399, -5*d + 0*d + 1995 = 4*u. Does 30 divide d?
False
Suppose 0 = 2*w - 3*i + 63, 2*w + i + 27 = -32. Let m = 31 - w. Let l = m + 35. Does 26 divide l?
False
Suppose -2*j + 0*j - 4*k = -4, 4*j - 2*k = 18. Suppose 3*a - 4*b - 280 = 0, 9*a - 520 = j*a - 4*b. Is 25 a factor of a?
True
Let d(x) = 10*x + 3. Let q = -2 + 8. Is 9 a factor of d(q)?
True
Let r = -50 - 75. Let s be (-2)/(-9) + r/(-45). Suppose 0*c + s*c = 72. Is c a multiple of 8?
True
Let z(t) = t**3 + 5*t**2 - 4. Let o be z(-4). Suppose 2*a + 4 = -3*p, -3*a = -p - 4 - o. Suppose 0 = -4*i + a + 108. Does 8 divide i?
False
Let w = -65 + 68. Suppose -2*j + w = -61. Is 16 a factor of j?
True
Let f(r) = -2*r**3 + 2*r - 2*r + 7 - 2 + 4*r. Does 10 divide f(-2)?
False
Suppose -42 = -4*g + 38. Suppose g = 3*i + 2*i. Suppose -i*p - p + 190 = 0. Is p a multiple of 18?
False
Let k be 4/3*(8 + -11). Is (-372)/(-10) - k/(-20) a multiple of 10?
False
Let r(o) = -o. Let b be r(-4). Suppose 2*f = 4*m + 346, -4*f = -b*m - 738 + 38. Is 30 a factor of f?
False
Let z = -22 - -1079. Is z a multiple of 51?
False
Let o be (-10)/(-2 + 5 - 2). Let c be o/(-2) - 4 - 1. Suppose 5*b + 0*b - 2*x = 81, b + x - 12 = c. Is 10 a factor of b?
False
Let o(t) = t - 8. Let r be o(9). Let u be (-5 + 1)/(r/39). Let i = 241 + u. Does 16 divide i?
False
Let r(w) = 4*w + 5. Let t be r(9). Suppose -o = -0*o - t. Let d = 63 - o. Is 11 a factor of d?
True
Is 27 a factor of -5 + (-1 - 3*-416)?
True
Suppose -p - 13 = 2*p + 5*u, -5*p = u - 15. Suppose -247 = 4*q - 0*m + 3*m, -5*m + 207 = -p*q. Let w = -20 - q. Is 10 a factor of w?
False
Suppose -2*h = -k + 12 + 3, 0 = 5*k - 2*h - 43. Suppose -k*l = -l. Suppose -4*i - 1 - 3 = l, -4*i = -3*b + 64. Does 10 divide b?
True
Is 12 a factor of (-4)/(-5 - -21) + (-4580)/(-16)?
False
Suppose 3*h + 28*w - 1999 = 29*w, -3*h + 3*w = -1995. Is h a multiple of 29?
True
Suppose 0 = -5*n - 5*a + 1510, -85*n + 1550 = -80*n - 3*a. Does 19 divide n?
False
Let n = -138 + 97. Is -4 - (n + 3/(-3)) a multiple of 5?
False
Suppose -g - 10*n = -6*n - 802, -3*n + 2424 = 3*g. Is g a multiple of 9?
True
Let b be 86 + ((-104)/(-40) - (-4)/10). Let i = b + -44. Is i a multiple of 9?
True
Suppose -11*d + 13*d - 16 = 0. Suppose 66 = 2*x + d. Does 4 divide x?
False
Let i(b) = 194*b - 15. Let m be i(3). Suppose 9*d + m = 18*d. Is d a multiple of 7?
True
Suppose 2*l - 5*f = 841, 1255 = 3*l - f - 0*f. Is 12 a factor of l?
False
Suppose 0 = 5*r + 3*t - 12497, 8*t - 10*t = -5*r + 12502. Does 56 divide r?
False
Suppose 3*n - 2*n - 21 = 4*l, 0 = 2*l + 8. Suppose -2*z = -4*w + 86, n*w + 3*z = 4*z + 106. Is 3 a factor of w?
True
Let o(x) = 512*x - 32. Is 84 a factor of o(4)?
True
Let w(h) = -h - 5. Let j be -7 + (-4 + 3)*2. Is 4 a factor of w(j)?
True
Suppose -y = 5*v - 0*y - 220, 0 = 3*v + 3*y - 120. Let g be -2*10*(-26)/8. Let s = g - v. Is 16 a factor of s?
False
Is 24/(-72) + (-2690)/(-6) a multiple of 32?
True
Let f(z) = z**3 - 27*z**2 + 2*z + 53. Let c be f(27). Suppose 2*p + 496 = 2*s, -s + 145 = 3*p - c. Does 37 divide s?
False
Let b = 129 + -58. Suppose -4*r = 23 - b. Is 6 a factor of r?
True
Let m(y) = -y**2 + 2. Let o be m(-2). Let b be (-1 - (-1 + o))*2. Suppose -x + b = -56. Is x a multiple of 20?
True
Suppose 4*k = 2*y + y - 3448, -2*y - 4*k + 2312 = 0. Is 9 a factor of y?
True
Let h(f) = 4*f**3 + 3*f - 2. Let j = -7 - -12. Suppose 0 = 8*o - j*o - 6. Is h(o) a multiple of 8?
False
Suppose -255 = -2*g + 5*n, 2*g - 265 = -11*n + 6*n. Does 8 divide g?
False
Let p(v) = 106*v - 125. Is 131 a factor of p(13)?
False
Let c(k) = 2*k**3 - 32*k**2 + 34*k + 11. Does 3 divide c(15)?
False
Suppose 2123 + 145 = 21*w. Is w a multiple of 2?
True
Let m be 4 - 3 - (-1 - 1). Suppose b - 32 = m. Does 14 divide 1 + (-2 - -1) + b?
False
Let j = 35 + -32. Suppose -5*l - c + 146 = 0, -2 = -5*c + j*c. Is 5 a factor of l?
False
Does 33 divide (5 + (7 - 13))*(-1139 - -4)?
False
Let v(u) = -7*u - 4*u**3 - 4 + 3*u**3 - 5*u - 3*u**3 - 11*u**2. Is 19 a factor of v(-4)?
False
Let u(s) = 3*s - 23. Suppose -n - 7 = -2*t + 7, -t = 4*n + 11. Let g(o) = -5*o - 3. Let z be g(n). Is 14 a factor of u(z)?
True
Suppose -2*s + 6 = 2*o, 3*s + s - 12 = -2*o. Suppose -5*z + z + 80 = o. Is 7 a factor of 182/5 + z/(-50)?
False
Let q(y) = 9*y + 387. Does 6 divide q(-42)?
False
Let t = -88 - -99. Let r = -16 - -33. Let y = t + r. Is 14 a factor of y?
True
Suppose -d + 2 = -0. Suppose 5*k = l + 101, 3*l + d = l. Let u = k - 2. Is u a multiple of 6?
True
Suppose 3*s + 12 = 5*k, 7*k - 6*k + 3*s + 12 = 0. Suppose -340 = -k*n - 5*n. Is n a