uppose -15 = -5*f, 4*h - 145 - 185 = 2*f. Let w = -84 + h. Suppose -4*v - q = 2*q - 272, -2*q - 8 = w. Is v a multiple of 7?
False
Suppose 40 = 2*z - 2. Suppose 6 = z*a - 19*a. Suppose 4*n - 297 = -a*l, -4*n + 2*l + 327 = -l. Does 17 divide n?
False
Let x(q) be the third derivative of -2*q**4/3 - 4*q**3 + 6*q**2. Let i be x(-5). Suppose 7*m - 420 = -i. Is 4 a factor of m?
True
Suppose 5*t - 80 - 125 = 0. Suppose 0 = t*m - 42*m + 34. Is 34 a factor of m?
True
Suppose 4*j - 28 = 2*o - 10, 0 = -j - 3*o + 1. Suppose 5*w = -0*w - j*r - 18, 5*r = 5*w. Does 20 divide w + (3 - 0 - -112)?
False
Let l(o) = -o**2 + 9*o - 20. Let h be l(4). Suppose -11*b - 6 - 159 = h. Let f = 20 + b. Is f even?
False
Let x(m) = 168*m - 415. Is 12 a factor of x(28)?
False
Does 3 divide ((-10725)/(-13) + 24/3)*1?
False
Let t(j) = 22*j**2 - 143*j - 2159. Is t(-14) a multiple of 14?
False
Let q = -39 + 42. Suppose -3*c - q = 9. Does 7 divide 5/(1 + c/(-2))*21?
True
Suppose -3*g + g - 4*x + 220 = 0, 0 = -g - 4*x + 112. Let t = -102 + g. Suppose -t*q + 1552 = 628. Is q a multiple of 22?
True
Suppose -4*q + 316 = 2*r - 0*r, 3*q - 5*r - 250 = 0. Suppose 7*d + 3*d = -q. Is 24 a factor of -2 - ((-118 - 1) + (-8 - d))?
False
Is ((-12)/(-14))/((-283)/(-3042816)) a multiple of 36?
True
Let h = 165 + 812. Is 6 a factor of h?
False
Suppose -8*a - 13*a = -42. Suppose k + 884 = 4*x + a*k, -5*x = -k - 1105. Is 13 a factor of x?
True
Suppose 2*s - s = 0, 3*s + 125 = 5*f. Suppose 3*o + 0*o + 4*c - 20 = 0, 0 = o - 5*c + f. Suppose 8*w + 0*w - 672 = o. Is 28 a factor of w?
True
Suppose 86*s - 18193 = 85*s. Does 113 divide s?
True
Let h(d) be the third derivative of d**6/120 - d**5/6 + d**4/12 + 5*d**3/6 - 783*d**2. Suppose 2*o + 46 = 5*v, 4*v - 5*o - 33 + 3 = 0. Is 2 a factor of h(v)?
False
Suppose 12 = b - 4*j, 50 = 2*b + b + 2*j. Let u be (-1)/(-5) - (-8520)/150. Suppose -b*m = -15*m - u. Is m a multiple of 19?
True
Suppose 3*j + j = -4*y + 884, -4*y + 882 = 2*j. Suppose -5*v + y = -5*k, -k - 130 = -3*v - 4. Does 5 divide v?
False
Let x be (-3)/9*-309*(-1 - 7). Let z = -569 - x. Is 5 a factor of z?
True
Suppose 2*y - 86*y - 89*y = -1506484. Is y a multiple of 7?
True
Suppose -28*q + 6*q + 415800 = 18*q. Is 297 a factor of q?
True
Suppose -j = 1, -p + 2*j + 1066 = -2*j. Does 4 divide p?
False
Suppose -f - 4*f = -30. Suppose 4*h - 8*h = -704. Suppose -2*m = f*m - h. Does 12 divide m?
False
Suppose 3*m = 127 + 11. Let i = m + -43. Suppose 3*p - 2*d - 80 = -3*d, i*d = p - 20. Does 26 divide p?
True
Suppose 12*h = 202283 - 30347. Does 18 divide h?
True
Let y = 14973 + -8138. Does 162 divide y?
False
Let z be (((-56)/(-32))/(-7))/((-3)/348). Suppose 3102 = z*y - 146. Is 16 a factor of y?
True
Suppose 30*y - 3*o = 32*y - 1617, 3*y - 2443 = -o. Suppose -3*f = 21*f - y. Is f even?
True
Let t(k) = -4*k**3 - 8*k + 12. Suppose -5*d - 14 = -u, -20 = -0*u + 4*u - d. Let n be t(u). Suppose 9*s + 2*s - n = 0. Is s a multiple of 14?
True
Suppose -18 = -j - 16. Suppose -489 = -j*a - 283. Is 17 a factor of a?
False
Suppose 84*m = 79*m + h + 26831, 0 = -m - 9*h + 5403. Is 40 a factor of m?
False
Let i = -17559 + 26430. Does 59 divide i?
False
Suppose 2*b - 87888 = -3*s, 3*s - 2*b - 77373 = 10539. Is 50 a factor of s?
True
Let k(c) = 2*c**2 + 13*c + 28. Let b = -8 - 6. Is k(b) a multiple of 34?
True
Let y(q) = -16*q - 21. Let n be y(-7). Suppose -4*w - 499 + n = 0. Let j = w + 219. Is 39 a factor of j?
True
Let k = -3316 + 5467. Is k a multiple of 95?
False
Let v(x) = -x**3 + 10*x**2 + 27*x - 12. Let r(c) = c**3 - 2*c**2 + 3*c - 6. Let f be ((-22)/(-55) - (-14)/(-10))*-3. Let p be r(f). Is v(p) a multiple of 8?
True
Suppose 18*f = 2*f + 20240. Is f a multiple of 5?
True
Let h(f) = 74*f - 29. Let x be -1*(2/3)/(22/(-66)). Is h(x) a multiple of 33?
False
Let m(t) = -91*t**3 + 5*t**2 - 19*t - 50. Does 90 divide m(-4)?
False
Suppose -33*h = -28*h - 90. Suppose h*y = 21*y - 162. Is y a multiple of 10?
False
Suppose 18*w = -10*w + 58072. Is w a multiple of 61?
True
Suppose -28 = 2*v - 9*v. Suppose 1 = -4*q + u + 15, v*q + 2*u - 20 = 0. Suppose -3*y - q*n = -80, 5*y - 80 = -n + 5*n. Does 2 divide y?
True
Let g = -399 - -400. Let n = g - -87. Is 2 a factor of n?
True
Suppose -4*g - 85252 = -3*w + 20693, -g = 4*w - 141298. Is 74 a factor of w?
False
Suppose 0 = -12*g + 2*g + 240. Is 55 a factor of (604*(-1)/3)/((-16)/g)?
False
Suppose -247*k + 243*k + 20384 = 5*l, 0 = 5*k + 5*l - 25480. Is k a multiple of 8?
True
Suppose -18*j - 390 = -28*j. Suppose -78 + 3 = 3*u. Let r = u + j. Does 14 divide r?
True
Let b = 21797 - 1302. Does 256 divide b?
False
Let c(r) = -r**3 - 20*r**2 + 21*r - 4. Let u = -34 + 13. Let d be c(u). Does 16 divide 3 + d + (19 - 1)?
False
Suppose 24*i + 10626 = 47*i. Suppose 3*d - 6*w = -w + i, -3*d + w + 462 = 0. Is 16 a factor of d?
False
Let n be (-2110)/26 - 14/(-91). Let q = -77 - n. Suppose -5*g + s + 416 = -g, g - q*s = 104. Does 13 divide g?
True
Let f be (-3)/9 - (-320)/24. Let v(r) = -r**2 + 17*r - 27. Let m be v(f). Suppose 3*h - 27 = -z + m, -4*h = 5*z - 84. Does 4 divide h?
True
Let n be (39/(-12))/(4/(-144)). Let p = 109 - n. Is (-63)/12*(p/3)/2 a multiple of 2?
False
Let h(i) = -i**2 + 22*i + 18. Let f be h(23). Does 15 divide ((-150)/(-9))/(f/360*-2)?
True
Let y(h) = 342*h**2 + 36*h - 230. Is y(6) a multiple of 43?
True
Let k be (-9)/(27/1812)*1. Let a = 863 + k. Suppose 0 = 2*i - 4*u - 182, -5*i + a = -u - 151. Does 27 divide i?
True
Let j be ((-25)/(-10) + -4)*196/3. Does 3 divide -2 - j/(-4)*-4?
True
Suppose 0 = -14*d + 18063 + 5667. Is 15 a factor of d?
True
Suppose -2*c = -u - 0*c + 2190, 0 = 2*c + 6. Does 21 divide u?
True
Suppose 4*p = -3*i - 4, i - 2*p = -3*i + 2. Suppose i = -5*o - 0*u + u + 53, -3*o + 24 = 2*u. Suppose -1258 + 98 = -o*x. Is x a multiple of 14?
False
Suppose -7*t + 7553 = 14. Does 3 divide t?
True
Suppose 3*j + m = 4*j - 4, 5*j - 4*m - 16 = 0. Let w = 9 - j. Suppose w*c = 14*c - 120. Does 4 divide c?
True
Let y = 611 - 635. Let c(x) = -2*x**3 - 47*x**2 + 24*x + 24. Is c(y) a multiple of 12?
True
Let v(s) = -s**2 - 1. Let o(y) = -y - 59. Let i(r) = -o(r) - v(r). Is i(0) a multiple of 6?
True
Let g(u) = u + 57. Let j be g(0). Let b(v) = 120*v + 483. Let l be b(-4). Suppose 0 = -6*x + l*x + j. Is x a multiple of 11?
False
Let p(o) = -73*o**3 - 2*o**2 + 2*o - 2. Let g be p(-3). Let y = -555 + g. Does 4 divide (-14)/(-119) + y/34?
False
Suppose 3*u - 3*m - 687 = 0, 4*u - 3*m - 229 - 690 = 0. Is 116 a factor of u?
True
Is 29 a factor of 201/(-268)*(-33640)/3?
True
Suppose -1611 = -4*x + 5*w, 5*x + 0*w = -2*w + 2055. Let l = 199 + x. Does 68 divide l?
False
Let n(o) = 7990*o - 703. Is 6 a factor of n(1)?
False
Suppose -k - 5*u - 4 = -41, -2*u + 162 = 5*k. Let h(r) = r**2 - 18*r - 17. Let m be h(19). Suppose m*q = -k + 144. Does 4 divide q?
True
Let c(k) = -k**2 - 9*k + 5. Let g be c(-9). Let x(l) = -3*l - 13. Let i be x(-12). Let q = g + i. Is q a multiple of 6?
False
Let i(x) = 8*x**2 + 6*x - 16. Suppose s + y = 4*y + 10, -y = 4*s + 25. Let o(w) = 17*w**2 + 11*w - 31. Let t(j) = s*i(j) + 3*o(j). Does 20 divide t(-4)?
False
Let o be (-525)/(-60) - 2/(-8). Suppose h - o = 170. Let t = h + -19. Is t a multiple of 16?
True
Let a(r) = -r**3 + 27*r**2 + 451*r + 47. Is 16 a factor of a(38)?
False
Let u be (((-8)/12)/1)/(1/(-21)). Suppose -10*x = -u*x + 12. Does 3 divide x - 14/4*-6?
True
Let p(n) = -14*n**3 - 6*n**2 - 11*n + 143. Let k(y) = -5*y**3 - 2*y**2 - 4*y + 47. Let h(m) = -11*k(m) + 4*p(m). Does 3 divide h(0)?
False
Suppose 0 = 1558*d - 1556*d + 2*u - 11792, 3*d + 4*u - 17680 = 0. Does 24 divide d?
True
Let n = -75 - -11. Suppose -58 = 5*x - 3*x. Let w = x - n. Is w a multiple of 8?
False
Suppose d + 5827 = 3*q, 4*d + 0*d = -4. Is q a multiple of 20?
False
Let f(z) = -2*z**3 - 2*z**2 - 5*z + 27. Suppose 5*i = -v - 17, 10 = -4*v + i - 16. Is 52 a factor of f(v)?
False
Suppose w - 28 = -5*c, 14 = -2*c + 6*c + 5*w. Suppose -4 = c*k - 34. Suppose -22 = -2*d + k*f, 4*d = -d - f + 109. Does 20 divide d?
False
Suppose 4*q - 388 = -y, 1468 = 4*y + 8*q - 6*q. Is 90 a factor of y?
False
Let q(r) = -r**2 - 14*r - 17. Let s be q(-12). Suppose 90 = -6*l + 78. Is s/((l - -2) + (-1)/(-12)) a multiple of 9?
False
Suppose 4441 - 18428 = -6*x - 65*x. Is 2 a factor of x?
False
Su