uppose -649 - 303 = -17*s. Does 3 divide s?
False
Let x = 2806 - 1456. Does 90 divide x?
True
Suppose -3*z + 16 = -2*v, v + z + 8 + 0 = 0. Is 76 - (-6)/(-8)*(-32)/v a multiple of 9?
False
Suppose 0 = -s, -v + 139 + 530 = -s. Is v a multiple of 5?
False
Suppose 4*d - 103 = -5*h + 642, 3*h - 460 = -5*d. Suppose y = -4*y - 3*x + 115, -5*y = -3*x - h. Is (-39)/y*(-116)/3 a multiple of 29?
True
Does 80 divide 7*-16*-5*(-19)/(-19)?
True
Suppose -2*h = 3*h - 60. Suppose -w + 336 = w. Suppose h = 4*p - w. Is p a multiple of 15?
True
Let y(d) = -2*d + 3 + 19*d**2 - 20*d**2 - 2. Let a be y(-1). Does 3 divide 15 - 4/(a + -1)?
False
Let x be 64/20 + 3/(-15). Suppose -55 = 2*y - x*y. Is y a multiple of 11?
True
Let t(z) = 2*z. Let s(m) = m**3 + m**2 - 2*m + 6. Suppose -3*n = -4*x - 9, -n = 5*x - 6*n + 15. Let c be s(x). Does 12 divide t(c)?
True
Let t(c) = -c**2 + 19*c + 358. Is t(17) a multiple of 8?
True
Suppose 2659 + 28445 = 27*a. Does 48 divide a?
True
Let r = 55 + -51. Suppose 0*q - 4*q + 64 = -3*o, 0 = -r*o. Is 6 a factor of q?
False
Suppose -5*o = p - 835, -4429 + 1073 = -4*p - 4*o. Is 12 a factor of p?
True
Suppose -2*q = 4*r + 454, 0 = q - 3*q + 2*r - 454. Let m = -132 - q. Is m a multiple of 17?
False
Let n be 1/(3 - (-24)/(-9)). Suppose 0 = 5*d - 3*k + 87, 2*d + n*k + 26 = 2*k. Is (-249)/d + (-9)/15 a multiple of 16?
True
Suppose 2*t - 8 = -2*t. Let k(m) = -5*m + m**2 + 9 - 21 + 0*m**t. Is 27 a factor of k(11)?
True
Suppose -i = -2*i + 3. Suppose -4*l - 142 = i*o + 234, 0 = -2*l - o - 190. Let d = l + 137. Is 8 a factor of d?
True
Let l = -17 + 0. Suppose -2*i + 4*z + 21 = -i, -4*i - 5*z - 21 = 0. Let c = i - l. Is c a multiple of 13?
False
Suppose 6909 = 3*a + u, -5*a = -8*a + 4*u + 6924. Is 19 a factor of a?
False
Suppose -4*n = 0, 5*n - 2 = -z - 0*z. Suppose 2*g + z = -4*i, 2*i - 10 = 4*i. Suppose -g*l = -10*l + 18. Is 18 a factor of l?
True
Let f(c) = c**3 + 12*c**2 + 5*c - 6. Let p be f(-10). Suppose 2*g + 4*o = 10 + 68, 0 = 3*g - 3*o - p. Is g a multiple of 14?
False
Let p(u) = 9*u. Let n be -5*-2*1/2. Suppose 0 = 5*d + 4*y - 4 - 17, 2*y + 27 = n*d. Is p(d) a multiple of 15?
True
Is 0 - (-12)/(-2) - -716 a multiple of 46?
False
Let v be 1*(-812)/10 - (-24)/(-30). Let g = 176 + v. Does 13 divide g?
False
Let c = -47 + 50. Does 17 divide (1278/4)/c*(-26)/(-39)?
False
Let s(j) = -14*j + 8. Let i be s(5). Is 9 a factor of -1 - 10/5 - (i - -1)?
False
Let n = -29 - -569. Is n a multiple of 9?
True
Let p(s) = 9*s**3 - 4*s**2 + 26*s + 26. Does 39 divide p(5)?
False
Let m(h) = 93*h + 5. Let p(f) = f. Let n(u) = m(u) + p(u). Does 11 divide n(1)?
True
Suppose -15*d - 583 = -1903. Does 48 divide (-4)/(-22) + (10808/d - 7)?
False
Suppose 2*q + 5*q = 210. Suppose 5*p + 181 = w, 2*w - q = p + 323. Is 48 a factor of w?
False
Suppose -1077 = 22*h - 4179. Is 8 a factor of h?
False
Suppose 4*s - 51 - 29 = 0. Let f = -11 + s. Is 9 a factor of f?
True
Let q(w) = 5*w**2 + 13*w + 88. Is 64 a factor of q(15)?
True
Suppose 2108 = -3*a - 1324. Is 21 a factor of a/(-55) + 1/5?
True
Let i = 90 - 63. Let x = 12 - i. Let d = x + 34. Does 19 divide d?
True
Let s = 1 - -1. Suppose -5 = s*l + 3*l. Let r(w) = -6*w - 1. Is r(l) a multiple of 5?
True
Let o be -4*((-168)/(-32) - 5). Let h = -5 + 3. Is h/(o - 0)*27 a multiple of 15?
False
Suppose 42 = 3*o + 36. Is 5 a factor of ((-1)/(o + -3))/(-1)*-55?
True
Suppose 4*m = m. Suppose -v + 4 = -m*v. Suppose -v*f + 8 = 0, -3*g - 4*f - 12 = -5*g. Is g a multiple of 10?
True
Let n(i) = -6*i**3 + 4*i**2 + 5*i - 18. Let u(d) = -d**3 - d**2 - 1. Let c(m) = n(m) - 5*u(m). Let p(y) = 10*y - 1. Let t be p(1). Does 11 divide c(t)?
False
Suppose 0 = -122*w + 24*w + 281652. Is w a multiple of 116?
False
Let p(w) be the first derivative of 8*w**2 - w - 5. Let v be p(3). Suppose 3*x + 12 = 3*h - 15, 0 = -3*h - x + v. Does 13 divide h?
False
Suppose 5*x - 5*l = -25, 1 - 16 = -5*x - 5*l. Let b(a) = -44*a + 10. Let z(q) = 14*q - 4. Let r(y) = 3*b(y) + 8*z(y). Is r(x) a multiple of 16?
False
Suppose -593 = -5*t - 2*k - 23, t - 97 = 3*k. Let u = -1554 + 1578. Does 7 divide (t/u)/(2/9)?
True
Suppose -184*z = -168*z - 8960. Is 35 a factor of z?
True
Let a = 142 + -142. Suppose a = 2*r - 176 + 144. Is r a multiple of 3?
False
Suppose -g - 25 = -5*y, 0 = -2*y + 3*g - 3 + 13. Suppose -y*q - 107 = -647. Is q a multiple of 18?
True
Suppose -2*u = -z + 333, -3*u - 28 = -40. Is z a multiple of 33?
False
Let f(l) = -l**2 - 15*l - 14. Let q be f(-13). Let y = q + -17. Does 15 divide ((-10)/8)/(y/60)?
True
Let d = -2673 + 1419. Let c be d/(-10) - (-2)/(-5). Suppose -2*s + c = -3. Is s a multiple of 12?
False
Suppose 5*o - 10 = 0, r + 10102 = -0*o - o. Let y be 2/(-7) + r/(-84). Suppose -80 = -5*d + y. Is 10 a factor of d?
True
Let y(c) = c**3 + 8*c**2 - 24*c - 8. Suppose r + 2 = -8. Is 8 a factor of y(r)?
True
Does 16 divide 1 + (-6)/(-1) + 76?
False
Let q(c) = -1 - 26931*c + 26931*c - 3*c**2 + 4*c**2. Suppose 4 = -3*t - 5. Is q(t) a multiple of 3?
False
Is 13 a factor of 10/35 - ((-41826)/21 + -3)?
False
Suppose -3*n - 9*x + 10*x = -7074, -5*n - 4*x + 11807 = 0. Is n a multiple of 16?
False
Let w(r) = 2*r + 12. Let f be w(-9). Let j(t) = -t**3 - 4*t**2 + 14. Is 14 a factor of j(f)?
False
Suppose -7*r + 1168 = -631. Is r a multiple of 14?
False
Let l be (-1270)/(-4) + (-2)/(-4). Suppose m = 5*a - l, -5*m + 174 = 4*a - 63. Suppose 5*d - 4*d - a = 0. Is d a multiple of 26?
False
Suppose i = 126 + 4. Let h = i - 184. Let x = h + 92. Is x a multiple of 16?
False
Let c(w) = -w**3 + 7*w**2 - 3*w - 7. Suppose 5*m + 2 = 4*b + 3, 5*b - 10 = 4*m. Does 2 divide c(b)?
False
Is 10 a factor of ((-4680)/(-364))/(1/7)?
True
Let q(p) = 0*p**3 - 41*p - p**3 + 0*p**3 + 47*p - 5*p**2. Let z be q(-6). Suppose -4*x + z*x + 44 = 0. Is x a multiple of 3?
False
Let o = -11 - -14. Suppose -8 = -y + o*y. Let f = y - -55. Does 17 divide f?
True
Suppose -36 = -4*g + 4*t + 16, 0 = 3*t + 12. Let k(f) = 4*f + 22. Is 16 a factor of k(g)?
False
Let a(j) = -13*j - 16. Let f(u) = 12*u + 15. Let l(c) = -7*a(c) - 6*f(c). Is l(4) a multiple of 20?
False
Suppose 4*s - 4*c + 0*c = -104, 0 = -5*s - 5*c - 140. Let a = 45 + s. Let f = 29 - a. Does 11 divide f?
True
Suppose 568 = -5*l + 3*l. Let m = l + 409. Is 16 a factor of m?
False
Suppose -7*j = -2*j - 2*n - 30, -2*n - 24 = -4*j. Let t = 6 - j. Let v(o) = o**3 - o**2 + o + 16. Is 16 a factor of v(t)?
True
Let j(b) = -3*b - b + 6 - 9*b. Suppose -2*v + 3*v + 9 = -2*k, 2*k + 39 = 5*v. Is j(k) a multiple of 14?
False
Let o = 3035 - 2115. Is o a multiple of 40?
True
Is (18/(-12))/(1/((-136)/12)) a multiple of 15?
False
Suppose 3*v - u - 1937 = 0, -10*u + 8*u + 634 = v. Does 7 divide v?
True
Let u = 268 - 120. Suppose -3*g = 6, -i + u = -2*g - g. Is i a multiple of 36?
False
Suppose -3*a - 5*m = -190, 128 + 122 = 5*a - 5*m. Does 5 divide a?
True
Suppose 15*j = -6*j + 39606. Is 23 a factor of j?
True
Let b be ((-52)/(-6))/((8/(-6))/(-4)). Let f = b + 6. Does 16 divide f?
True
Let v = -13 + 18. Suppose 0 = -v*f + 4*w + 916, -3*f + 2*f + 4*w + 180 = 0. Suppose q = -g + 44, -4*g = 2*q - 0*q - f. Is g a multiple of 12?
True
Let h = 13 + -21. Let m be (-2 - 20/h)*4. Suppose z = -5*j - 3*z + 177, 5*j - m*z - 189 = 0. Is 16 a factor of j?
False
Let c = -2 - -1. Let q(o) = -136*o + 153. Let i(k) = -k + 1. Let n(g) = 306*i(g) - 2*q(g). Is n(c) a multiple of 17?
True
Suppose -3*i - 348 + 93 = 0. Suppose -5*m - 671 = 339. Let a = i - m. Does 29 divide a?
False
Suppose 6*n + 4*l - 418 = 4*n, 0 = -3*n + 5*l + 572. Is n a multiple of 6?
False
Let n = 20 - 15. Suppose 136 = -y + n*y. Does 34 divide y?
True
Suppose 0*x = -x + 2*f - 16, f - 20 = 2*x. Is 7 a factor of (42/x)/(22/(-88))?
True
Let a(r) = r**3 + 13*r**2 + 17*r - 7. Let h(o) = o - 21. Let u be h(12). Does 17 divide a(u)?
False
Let g(j) = -9*j**3 + j**2 - 2*j - 1. Let v be g(3). Let u = -131 - v. Suppose 0 = -4*m + u - 6. Is m a multiple of 13?
True
Suppose 4*d - 3*k = -7, -4*k = 3*d - 4*d - 18. Suppose d*x + 2*x = -96. Does 13 divide (-3)/18 + (-988)/x?
False
Let m(r) = -r**2 + 5*r + 11. Let x(i) = -i**2 + 5*i + 12. Let a(y) = 3*m(y) - 4*x(y). Does 5 divide a(10)?
True
Suppose o - 5 = -1. Let v be (-496)/112 - o/7. Let a(g) = g**3 + 10*g**2 + 11*g + 3. Does 23 divide a(v)?
False
Let b(h) = -37*h**2 + 2*h 