 Suppose -x = 4*w - 63, -w = -2*w - n*x - 8. Let v = -10 + w. Does 5 divide v?
False
Let b be ((-2)/4)/((-1)/94). Let p = -576 - -593. Let y = b - p. Is 10 a factor of y?
True
Let z = 2112 - -701. Suppose -653 + z = 4*j. Is 14 a factor of ((-6)/5)/((-8)/j)?
False
Let h(k) = 932*k - 140. Is 12 a factor of h(4)?
True
Suppose -11*q + 728 = -262. Is q a multiple of 10?
True
Let v = 279 + -245. Does 3 divide v?
False
Suppose 5*z + 11*z = 2624. Does 41 divide z?
True
Suppose -4*v + 4*z + 1591 = -1189, -2*v + 1395 = -3*z. Is v a multiple of 10?
True
Suppose -45*s = -40*s - 2565. Is s a multiple of 27?
True
Suppose 0 = 3*r + 4*l + 31, r = 3*r + 2*l + 18. Is -1 - (7 + r + 2)*-4 a multiple of 6?
False
Suppose i = 5*i - 5*f + 99, 3*f = -4*i - 139. Suppose -4*c - 1 = -5*q - 245, -5*c + 2*q = -288. Let n = c + i. Does 25 divide n?
True
Let z(m) = -3*m**2 - 192*m + 45. Is z(-54) a multiple of 42?
False
Let i = 1 + 0. Suppose -4*t = -8*t + 12. Suppose t*m - 14 - i = 0. Is 2 a factor of m?
False
Let v be (-21)/9 - (-3)/9*1. Is 3 + v/2 + 43 a multiple of 6?
False
Suppose 0 = -4*r - 0*r. Suppose 0 = 2*z - r*z - 8. Suppose 0 = 3*d + g - 84, -z*d + 3*g + 112 = -g. Does 14 divide d?
True
Suppose 3*o = 2*t + 1569, -523 = 27*o - 28*o - 5*t. Is 6 a factor of o?
False
Suppose -a = -i - 50, -5*a + 227 = 2*i - 44. Let v = 80 - a. Is v a multiple of 3?
True
Suppose 17 = -5*k + 2*b, -k - 14 = 4*b + 7. Let v = 9 + k. Suppose 46 = 2*o - 2*y, v*o + y = -0*o + 67. Is 16 a factor of o?
False
Suppose 0 = 4*j + o - 255 - 174, 4*o = j - 120. Does 6 divide j?
True
Is (-2061)/(-6)*(-4)/(-2) a multiple of 5?
False
Let c(f) = 13*f**2 + f + 2. Let a be c(4). Suppose -371 = -3*g - 3*o - 2*o, -2*g + a = -5*o. Is g a multiple of 39?
True
Let l(a) = -40*a + 22. Let k(s) = 13*s - 7. Let j(d) = 8*k(d) + 3*l(d). Does 9 divide j(-5)?
True
Let r = 9 - 8. Let o be -1 + -2 + 0 + r. Does 8 divide o/4*(-1 - 45)?
False
Suppose 12*p + 386 = 2582. Is p a multiple of 10?
False
Let w be 228/20 - 1/((-15)/9). Let c(a) = -6*a + 18. Let d(o) = 17*o - 53. Let u(b) = 8*c(b) + 3*d(b). Is 8 a factor of u(w)?
False
Does 18 divide -5 - 63/(-12) - 1151/(-4)?
True
Let y = -23 - -25. Let j(h) = -4*h + h**2 - 2*h**y + 7*h**2 + 0*h**3 - 4 + h**3. Is j(-6) a multiple of 10?
True
Is -8 - (-182 - 0/(-3)) even?
True
Let d(c) = 19*c - 462. Is 53 a factor of d(55)?
True
Suppose -5*z - 5*j = -14 - 16, -4*z = -5*j + 3. Suppose 0*p + z*p = 558. Is 21 a factor of p?
False
Let c(h) be the first derivative of h + 5. Let q(p) = -11*p + 8. Let l(g) = -2*c(g) - q(g). Is l(6) a multiple of 14?
True
Let a(x) = 4*x + 7 + 0*x + x**2 + 6*x - 2. Let u be a(-9). Let o = 7 - u. Is 8 a factor of o?
False
Suppose -3*s = -3*b - 627, 2*s + 2*b - 336 = 86. Is 5 a factor of s?
True
Let g(t) = -2 + 16*t**3 - 15*t**3 + 5*t**2 - 8*t**2. Is g(5) a multiple of 8?
True
Suppose 0 = -3*u + 103 - 37. Let v be -6 - -3 - 0 - -3. Suppose y = -v*y + u. Is y a multiple of 11?
True
Suppose 4*y = -5*s - 8, -5 = 2*s + 3*y + 1. Suppose -4*h = i + 17, s*i + 3*h = -5*i. Suppose -5*n = -3*d - 138, 0 = 4*n - 0*d - i*d - 108. Does 10 divide n?
True
Let n(q) = -q**3 + 6*q**2 - 3*q - 7. Let v be n(5). Suppose 3*r + 129 = 2*x, v*r - 291 = -0*x - 5*x. Suppose 5*t - x = 180. Does 16 divide t?
True
Suppose 508*y - 504*y - 2440 = 0. Does 37 divide y?
False
Let s = 5 + 16. Suppose s*c - 205 = 16*c. Is c a multiple of 11?
False
Let s = 1230 - 393. Suppose s = 7*k + 2*k. Is 27 a factor of k?
False
Let n(v) = -v**3 + 4*v**2 - v - 7. Suppose 5*d - 25 = -5. Let z be n(d). Let h = 47 + z. Is h a multiple of 12?
True
Let a = 71 + -38. Let w = a + -17. Is w a multiple of 8?
True
Let r = 147 + -57. Suppose 201 = 2*q + 5*x, x + 0*x = q - r. Is q a multiple of 31?
True
Suppose 17 - 7 = 5*f. Suppose -11*w - f = -12*w. Suppose 0 = 3*t + w*t - 110. Is t a multiple of 11?
True
Let l(i) be the third derivative of -1/60*i**5 + 5/8*i**4 - 2/3*i**3 + 0 + 0*i + 4*i**2. Does 9 divide l(11)?
False
Let b(h) = -1009*h - 1. Let v be b(-1). Let l = 12 - 22. Is 4/l + v/70 a multiple of 7?
True
Suppose 3*c + h - 299 - 9 = 0, -5*h = -4*c + 436. Let x = 214 - c. Is 22 a factor of x?
True
Let a = 118 + -115. Suppose a*h - 99 + 9 = 0. Does 30 divide h?
True
Suppose 5*k = -l + 9*k + 4, 4*k + 28 = 4*l. Does 36 divide (-7336)/(-68) + l/68?
True
Let v be -1 + 2 - -1*7. Let o = -3 - v. Let z = o + 21. Does 10 divide z?
True
Let s(l) = 488*l + 116. Is 14 a factor of s(4)?
False
Suppose 0 = k - 3*t - 447, 3 = -t - 2. Is k a multiple of 72?
True
Suppose 0 = 4*y - 4*a - 10 - 186, -4*y = -3*a - 191. Is 4 a factor of y?
True
Suppose -2*j + 5*k = -752, 1141 = 3*j + 6*k - 7*k. Does 16 divide j?
False
Let y(p) = 4*p**3 - 4*p**2 + 8*p - 5. Is y(3) a multiple of 16?
False
Suppose 2*q - 6 = 5*w, 3*q - 18 = 7*q + 5*w. Let h be (3/q)/((-3)/6). Suppose -3*g = 4*c - g - 18, -h = g. Does 6 divide c?
True
Suppose -3*a - 23 = -5*n, -n - 5*a = 2 - 1. Is 2 a factor of -2*(-1 - (5 + n))?
True
Let i(c) = -c**2 + 6*c - 6. Let a be i(3). Suppose a*m = 4*l - 5, l - 3*m + 2 = 1. Suppose -130 = -w - l*w + y, 3*w - 138 = -3*y. Is w a multiple of 9?
False
Let v(p) = -p + 2*p**2 + 8*p**3 + 20 - p**3 - 6*p**3. Is v(0) a multiple of 6?
False
Let w(b) = -b**2 - 18*b - 10. Let q be w(-12). Suppose m + 4*u - 80 = 0, 0*m - q = -m + 5*u. Is 16 a factor of m?
False
Let t(p) = 16*p - 4. Is 22 a factor of t(25)?
True
Let n = -173 + 67. Let k be n/6 - (-6)/9. Let p = k - -61. Is p a multiple of 21?
False
Suppose -10137 = -66*d + 26229. Is d a multiple of 33?
False
Let x = 4355 + -2447. Is x a multiple of 36?
True
Let c = 8 + -2. Suppose -5*j + 1991 = c*j. Is 25 a factor of j?
False
Suppose -22 + 87 = -5*w. Let o = 81 - w. Let x = -52 + o. Is x a multiple of 14?
True
Let z(u) = u**2 + 7*u + 12. Let y be z(-5). Suppose -2*d = 2*c - 114, -2*d - y*c = -d - 53. Does 5 divide d?
False
Let q = 61 - -165. Suppose 4*l = 3*r - 560, -3*r + 5*l + 333 = -q. Suppose -3*d + 268 = 2*f, -d + f = d - r. Is 12 a factor of d?
False
Let l(m) = -2*m + 3*m + m**3 + 4*m**3 - 6*m**3 + 3*m**2 + 3. Let z be (-30)/20*(2 + 0). Is 18 a factor of l(z)?
True
Let q(r) = -7 + r - 7*r + r. Let v be q(-9). Let m = v + -20. Is m a multiple of 4?
False
Let a be 2*10*2/8. Let i(r) = 3*r**3 + 21*r**2 + 13*r - 12. Let k(t) = -t**3 - 10*t**2 - 6*t + 6. Let s(p) = a*k(p) + 2*i(p). Does 15 divide s(9)?
False
Let j(p) = -p**2 + 12*p + 3. Let f(z) = z**2 - 13*z - 4. Let c(t) = 6*f(t) + 7*j(t). Let a be c(2). Is (1 + (-6)/10)*a even?
True
Let r = 446 + -209. Let d = 201 + -370. Let o = r + d. Does 17 divide o?
True
Let j(o) = -27*o**3 - o**2 + 4*o - 3. Let l be j(1). Let u(h) = 20*h - 7. Let n be u(8). Is 13 a factor of (9/l)/((-1)/n)?
False
Suppose -5*l = 3*o + 4, -4*o + 2*l + 10 = -2. Suppose -2 - o = -2*s. Suppose -29 + 1 = -s*t. Is t a multiple of 14?
True
Suppose 0 = -h - 4*q + 198, 0*h = -h + 5*q + 153. Suppose 182 = 2*s - h. Suppose -4*c - g + s = 4*g, 2*g + 45 = c. Does 33 divide c?
False
Let q(m) be the first derivative of 21*m**2/2 - 69*m + 44. Does 18 divide q(16)?
False
Let k be (0 + 3/(12/400))*-1. Let d = -439 - -246. Let w = k - d. Is w a multiple of 19?
False
Let l be ((-26)/(-42) + (-4)/14)*15. Is (-26)/65 + 162/l a multiple of 7?
False
Let o = -173 - -583. Suppose o = 4*c + 4*k + 70, 2*c + 5*k - 161 = 0. Is c a multiple of 20?
False
Let a(h) = h**3 - 22*h**2 - 57*h - 2. Does 7 divide a(25)?
True
Suppose 2*b = 5*f - 29, -16 = -f - 3*b - 0. Let c(x) = 9*x + 1. Is 16 a factor of c(f)?
True
Let j(u) = -4 - 1 - 1 - 7*u. Let x be j(16). Let o = -66 - x. Is o a multiple of 26?
True
Let d(x) = -4*x**3 - 11*x**2 - 9*x + 8. Does 9 divide d(-5)?
False
Let h be 2/(-7) + (-24)/14. Is ((-3)/h - 0)*22 a multiple of 33?
True
Let b(c) = -7*c**2 - 4*c + 55. Let l(z) = -19*z**2 - 11*z + 164. Let x(h) = -8*b(h) + 3*l(h). Is 21 a factor of x(0)?
False
Suppose -3*c + 2*i = -69, 31 = -5*c - 3*i + 127. Let x = 44 - c. Does 23 divide x?
True
Let m(k) = -k**2 + 14*k - 5. Let a be m(11). Suppose 2*c = -0*c - a. Does 2 divide 8/c*14/(-4)?
True
Suppose 0*u = 26*u - 24232. Is u a multiple of 77?
False
Is 159 a factor of ((-745)/(-3))/((-25)/(-105))?
False
Let y(t) = 7*t + 6. Let d = 2 + 1. Is 12 a factor of y(d)?
False
Let a(s) = s**2 + 2*s. Let b be a(-3). Let l be b/(3 - -3)*-8. Let r(u) = -4*u - 5. Is 