ose 15*x - 41836 = 46244. Is 20 a factor of x?
False
Suppose -336661 = -460*k + 1161099. Is k a multiple of 22?
True
Let w(p) = 5*p**2 - 2*p + 14. Suppose 35 = 17*h - 33. Is 3 a factor of w(h)?
False
Let h(x) = 383*x - 20. Let i be h(3). Suppose 3*c - i = 251. Does 20 divide c?
True
Let y be -7 + 6 + -9 + 7. Is (-128)/y*-30*(-7)/56 a multiple of 13?
False
Let y be 5/((-210)/(-4)) + (-1506)/(-63). Suppose -20*p - 3712 = -y*p. Is p a multiple of 8?
True
Let i = 13902 + 1869. Is 68 a factor of i?
False
Suppose -69557 = -4*c + 740*v - 735*v, -3*c - 3*v + 52161 = 0. Does 161 divide c?
True
Let i = 133 + 839. Suppose 34*v + i = 43*v. Is v a multiple of 6?
True
Is 17 a factor of 1 - 519429/(-15) - (27/45 + 0)?
True
Let j(l) = -6*l + 129. Let y be j(-11). Let b = 8 + y. Is 6 a factor of b?
False
Suppose 4*g + p = 17, 0 = -3*g - 6*p + 4*p + 9. Suppose x = 2*s + s - 419, -4*s + g*x + 555 = 0. Suppose 15*z - 1810 = s. Is 16 a factor of z?
False
Let p be 3/(-9) - 21/(-9). Suppose -v - 2*x + 7 = 0, 3*x + 15 = p*v + 8*x. Suppose 0 = 3*b + v*b - 1544. Does 36 divide b?
False
Does 22 divide (-7)/(22 + -24 - (-3754)/1878)?
False
Let p = -421 - -4088. Is p a multiple of 17?
False
Suppose 13047 = -11*h + 185241. Is h a multiple of 12?
False
Suppose -559 = 80*a - 79*a. Let s = -343 - a. Does 24 divide s?
True
Suppose 39*k - 33*k = 8910. Let h(p) = -7*p - 2. Let c be h(2). Is k/35 - c/28 a multiple of 24?
False
Let i = 378 + -603. Let u = 248 + i. Is 3 a factor of u?
False
Let h be 8 + (-1)/(5/20). Suppose -2*t + 6 = i, -i + 2*t - h + 18 = 0. Suppose -n = -4 - i. Does 14 divide n?
True
Let c(j) = -j + 37. Let v be c(15). Let i = 249 - 172. Let w = i - v. Is w a multiple of 6?
False
Let q(z) = -z**2 - 5*z + 28. Let t be q(-8). Is (7 - 4 - 127)/(t + -5) a multiple of 31?
True
Let u(q) = -q**3 + 26*q**2 + 36*q - 41. Suppose -3*j = -3*c + 69, -5*j - 6 = -c + 1. Is u(c) a multiple of 7?
False
Let n = -105 + 109. Is (-15)/(-60) - (-2054)/8 - n a multiple of 68?
False
Let t(y) = -y**3 - 13*y**2 + 27*y - 656. Is t(-25) a multiple of 31?
True
Let b(u) = -138*u**3 + 4*u**2 + 6*u - 1. Let y be b(-2). Suppose 2*c - y = 21. Is 18 a factor of c?
False
Let j(n) = -2*n**2 + 9*n - 12. Let w be j(0). Does 62 divide 790/(-1)*w/24?
False
Let x = 1468 + 405. Is 41 a factor of x?
False
Let x(w) = 12*w**2 + 3*w. Let s be x(5). Let y be (-8 + 9)*168*-1. Let j = s + y. Does 21 divide j?
True
Let b(n) = n**3 + 12*n**2 + 22*n - 24. Let f(t) = t**3 + 13*t**2 + 23*t - 24. Let q(s) = -7*b(s) + 6*f(s). Is q(-8) a multiple of 14?
True
Let q = 94 - 184. Let g = 40 - q. Is g a multiple of 26?
True
Suppose 8 = -4*m, 3*m - 16968 = -12*b + 9*b. Is b a multiple of 14?
False
Let a = -292 - -43. Let d = -390 - a. Let x = d - -167. Does 26 divide x?
True
Let p(y) = 2*y**2 + y + 11. Let a be p(-4). Suppose -40*l + 153 = -a*l. Is 18 a factor of l?
False
Let f(x) be the first derivative of -x**3/3 - 15*x**2/2 + 71*x - 30. Does 13 divide f(-14)?
False
Suppose 2*f - 12*l = -15*l + 285, 2*f - 4*l = 236. Does 11 divide f?
True
Let d(k) = 25*k + 64. Let u be d(8). Is 9 a factor of u/32*(12 + 0)?
True
Suppose 5*g - 4*d = -4, -2*g = -4*d - 0*d + 4. Suppose -12*j + 3*j + 315 = g. Suppose -4*l = -2*p + 174, -416 = -4*p - 3*l - j. Is 31 a factor of p?
True
Suppose -3*y - 10 = -34. Let h(a) = a**3 - 9*a**2 + 8*a + 7. Let r be h(y). Suppose 0 = -9*c + r*c + 216. Is c a multiple of 13?
False
Suppose 4*k - 4196 = -129*o + 125*o, 2*o + 8 = 0. Is 17 a factor of k?
False
Let z = -35 + 39. Let b be 226/(-4)*(2 - z). Suppose 3*k = 7 + b. Is 26 a factor of k?
False
Let r = -145 + 180. Let z = r - -142. Does 34 divide z?
False
Let g(x) = 2 - 5 + 4*x**3 - 177*x**2 + 20 + 172*x**2 - x. Let s(r) = 4*r**3 - r**2 + r. Let k be s(1). Is 29 a factor of g(k)?
False
Let z be ((-48)/(-108))/2 - (-20)/(-9). Let r(m) = 4 - 3 + 5 - 77*m. Is 27 a factor of r(z)?
False
Suppose -35 = -5*l + k - 2*k, l + k = 3. Suppose -142 + 1502 = l*h. Let i = h + -83. Does 29 divide i?
True
Let c(y) = -24*y - 51. Let t = -32 + 23. Is 10 a factor of c(t)?
False
Let v(z) = -z + 3. Let g be v(-20). Suppose -5*l - 3*q + g = 0, 2*q + 1 + 9 = 3*l. Suppose -l*h + 84 + 0 = 0. Does 21 divide h?
True
Let m = -1741 - -6564. Is m a multiple of 53?
True
Let v be (-6)/(-15) - (-29141)/(-115). Let x = -141 - v. Is 14 a factor of x?
True
Let p(i) = -37*i**3 - 8*i**2 + 2*i - 16. Is 8 a factor of p(-4)?
True
Suppose 16*x - 1425 = 1215. Let g = x + -51. Does 6 divide g?
True
Suppose -282810 = -102*z + 112236. Does 18 divide z?
False
Is (-146)/(-584) - (4/18 - (-385126)/(-72)) a multiple of 17?
False
Suppose 0 = -4*t - t + 35. Suppose -12 = -10*q + t*q. Suppose -q*h - 49 = -s, 0 = -2*s - 0*s + h + 133. Is 17 a factor of s?
False
Let f = -3233 - -40191. Is f a multiple of 34?
True
Let n(z) = -z**3 + 22*z**2 + 26*z - 32. Let d be n(23). Let x = d - 2. Is 14 a factor of (170/x - 4)*147?
True
Suppose 16 - 37 = l. Is 32 a factor of (-1377)/(-7) - 5 - 6/l?
True
Suppose -18 = 8*k - 186. Let i = 29 - k. Is 13 a factor of 9/36 + 790/i?
False
Is (2/16)/1 - (-61847)/8 a multiple of 5?
False
Let u(w) = w**2 + 4*w + 8. Let g be u(-4). Suppose 12*t = g*t + 224. Does 40 divide t?
False
Let u = 28100 - 20066. Is 103 a factor of u?
True
Let b = 420 - 189. Let a = -60 + b. Is a a multiple of 19?
True
Suppose -9*v + 1072 = -v. Does 54 divide v/1*(-216)/(-48)?
False
Suppose -6*u - 48 = -9*u. Suppose b + u = -10. Is 13 a factor of (b/39)/(2/(-357))?
False
Let p(a) = -3*a - 33. Let u be p(-12). Let t be ((-4)/u)/(24/(-18)). Is (13/4)/(t/20) a multiple of 24?
False
Let m(r) = 2*r**2 - 24*r - 14. Let u be m(16). Suppose 5*z - 304 = -2*o, -7*z + 3*o = -5*z - u. Does 4 divide z?
True
Let v(a) = 11*a**2 + 2. Let b be v(-1). Let p(q) = 3*q**2 - 25*q - 20. Is 54 a factor of p(b)?
True
Let f(v) be the first derivative of 14 - v**2 + 16/3*v**3 + v. Is 12 a factor of f(-2)?
False
Let k = 362 + -359. Suppose -4*x + k*x = -256. Does 16 divide x?
True
Let q(v) = 240*v - 46. Is 278 a factor of q(6)?
False
Suppose -5*n = -p - 283, 0 = -n + 4*n + 15. Let u = p + 406. Is 4 a factor of u?
False
Suppose -4041*b + 162496 = -4025*b. Is 43 a factor of b?
False
Let j = 15713 + -10884. Suppose -j = -44*u + 33*u. Is u a multiple of 5?
False
Suppose -3*o = 2*x - 65, 0 = 3*o - x - 85 + 14. Let q = -33 + o. Does 14 divide q/2*(-5)/((-30)/(-84))?
True
Let k(o) = -2*o + 29. Let m be k(13). Let z be ((-2)/m)/((-11)/(-264)). Let v = 49 + z. Is v a multiple of 7?
False
Let y(b) = -b**3 + 18*b**2 - 11*b. Suppose -70 = 61*c - 71*c. Is y(c) a multiple of 38?
False
Let v(c) = 7*c + 112. Let r be v(-11). Is (6 - (r + -3))*-4 a multiple of 62?
False
Let h = -10506 - -31770. Is h a multiple of 6?
True
Suppose -3*k = -5*s - 8*k + 885, -6*s - 3*k + 1059 = 0. Let h = 130 + -250. Let j = s + h. Is j a multiple of 7?
True
Suppose -14*l + 814 = 72. Suppose -5*j + 1557 + l = 0. Is j a multiple of 14?
True
Let g = 54 + -49. Suppose -2*v + 1630 = 5*t - t, -g*v + t = -4031. Suppose -7*i + v + 614 = 0. Is 25 a factor of i?
False
Suppose -22893 + 5470 = -7*w. Let k = w - 1112. Is 14 a factor of k?
False
Let u(z) = -z**3 + 5*z**2 - 2*z - 4. Let g be u(4). Suppose -a = g*q - 196, -4*a + 1 = 17. Is 10 a factor of q?
True
Let j(c) = -51*c + 14. Let y be j(-9). Suppose 128 = g - 3*q, -4*g - q = -0*q - y. Let w = g - 47. Is w a multiple of 8?
True
Let s = -833 + 1145. Let j = 194 + s. Does 67 divide j?
False
Suppose 5*g = -4*f + 15, -7 = 5*f - 5*g - 37. Let s = f + 148. Is 9 a factor of s?
True
Does 12 divide (-88479)/(-189) - (7 - 3)/28?
True
Let y = 671 + -117. Suppose z + y = o, -2*o + z = 4*z - 1128. Is 62 a factor of o?
True
Let m(n) = 17*n + 42. Let i be m(9). Let d = 466 - i. Does 10 divide d?
False
Is 17 a factor of ((-77)/(-2))/(4/136)?
True
Let c(u) = 2*u**2 + 28*u + 3. Let w be c(-14). Suppose -h - 216 = -w*h. Does 4 divide h?
True
Suppose -s - 4*w + 166 = -335, 0 = -4*s - 3*w + 2004. Let d = s + -296. Does 8 divide d?
False
Suppose -51414 + 199926 = 24*o. Is o a multiple of 28?
True
Does 17 divide (17680/1300)/(2/535)?
True
Suppose -39 = 13*r + 52. Let g(a) = -a**2 - a. Let x be g(r). Let k = -4 - x. Is k a multiple of 19?
True
Let m = -1520 + 197. Is 74*m/(-56) + (-1)/4 a multiple of 19?
True
Suppose t - l - 180 = 0, -2*t + t = -3*l - 186