 + (-5)/15*-12. Is 18 a factor of (-27)/54 - 251/h?
False
Let b(j) = -j**2 + 10*j + 91. Let q be b(21). Does 16 divide 112/q - (-1288)/10?
True
Suppose 2*x + 8 = -4*a, 2*x - 6 = -a + 4*a. Is 61 a factor of (a/(-3))/(14636/(-1830) - -8)?
True
Suppose l - 7115 = -4*l + v, l - 1414 = 2*v. Suppose -l = 33*g - 37*g. Is 27 a factor of g?
False
Let m = -179 + 46. Let r = m + 79. Let g = r + 193. Does 8 divide g?
False
Let l(p) = -125*p - 77. Suppose 0 = -11*d + 41 - 52. Does 2 divide l(d)?
True
Suppose -113*w + 114*w = 2938. Is w a multiple of 51?
False
Let b(g) be the second derivative of g**5/20 + 7*g**4/4 + 17*g**3/6 - 10*g**2 - 32*g. Let j be b(-20). Let w = j + -18. Is 11 a factor of w?
True
Suppose -5*v - 2502 = -2*w, 5*v + 5795 = 5*w - 475. Is 7/(133/w) - (-16)/(-152) a multiple of 4?
False
Suppose 0 = 58*y - 367 - 2243. Does 2 divide y?
False
Suppose 25*z - 2368 = 23*z. Suppose -4*b = -0*b - z. Suppose 0 = 4*l - 5*q + 55 - b, -2*l + 83 = 5*q. Does 24 divide l?
False
Let v be ((-40)/3)/(((-8)/33)/4). Suppose -v = 7*y - 11*y. Is 12 a factor of y?
False
Let a(t) = -26*t + 141. Let w(v) = 23*v - 141. Let b(r) = -6*a(r) - 7*w(r). Is b(0) even?
False
Let c be (-2)/(-11) + 38/(-209). Suppose -i + 148 + 386 = c. Is i a multiple of 45?
False
Let a(o) = -7*o**3 + 128*o**2 - 125*o + 4. Does 35 divide a(16)?
True
Let g(t) be the first derivative of -6*t**3 - t**2/2 + t - 42. Let k be g(1). Let h(v) = -v**2 - 22*v - 15. Does 26 divide h(k)?
False
Suppose -838*k + 837*k = 328. Let d = k - -536. Is d a multiple of 16?
True
Suppose 4*q = -5*g + 64673, 0 = -63*g + 72*g + 5*q - 116396. Does 7 divide g?
True
Let x(s) = 15*s**3 - 6 - 1 - 14*s**3 - 30*s**2 - 52*s + 0. Is x(32) a multiple of 10?
False
Let r = 6 - -40. Suppose r + 224 = -9*v. Does 12 divide v*(-1 + (-2)/(-4))?
False
Let f = 11768 + -2312. Is f a multiple of 38?
False
Suppose 11*q = 33356 + 47725. Suppose -27*s = -0*s - q. Is s a multiple of 21?
True
Let p(q) be the first derivative of q**4/4 - 11*q**3/3 - q**2 - 9*q - 129. Does 10 divide p(12)?
False
Let x = 110 - 39. Let t = -73 + x. Does 15 divide 358/6 + ((-4)/6)/t?
True
Suppose -11*m - 13760 = -8*m - 5*m. Is 40 a factor of m?
True
Is 106 a factor of (-5 - 15370/(-70))/(3/21)?
False
Let b = 5 + -9. Let h be 4/b - -3 - (-1)/1. Suppose -190 = -4*r - 5*a, 2*a + 174 = h*r + 20. Is 18 a factor of r?
False
Is (-1 - 10/(-9)) + 5978240/576 a multiple of 89?
False
Let y(z) = -z**3 - 16*z**2 + 17*z - 25. Let s be y(-17). Let t = 29 - s. Is 13 a factor of 4/((-158)/t - -3)?
False
Let t(i) = 7*i**3 - 6*i**2 + 68*i + 12. Is 22 a factor of t(6)?
True
Suppose -u + 2075 = -2*f, -4*f + 2039 = 4*u - 6189. Is 4 a factor of u?
False
Let u(c) = c**2 + 13*c + 43. Let p be u(-8). Is ((-7110)/27)/((-2)/p) a multiple of 79?
True
Suppose 0 = 98*v - 84675 - 603873. Is 6 a factor of v?
True
Let h be 0/1 - 12*(-104)/12. Suppose -h - 152 = -c. Suppose 9*z - 5*z - c = 0. Is 17 a factor of z?
False
Let q(t) = 11*t**2 - 2*t + 10. Let a be q(2). Let z = -51 + 15. Let j = a + z. Does 10 divide j?
False
Let l(z) = z**3 + 17*z**2 + 28*z + 10. Let b(g) = -3*g + 3. Let m be b(6). Is 4 a factor of l(m)?
True
Let w = -11034 - -6210. Let f be (2*1/(-2))/((-24)/w). Let z = -132 - f. Does 12 divide z?
False
Let q = 7681 + -6531. Is q a multiple of 46?
True
Let b(h) = -h**2 + 2*h + 15. Let l be b(-12). Let k = -111 - l. Is 14 a factor of k?
True
Suppose 98*a - 48*a - 755440 = -21*a. Does 95 divide a?
True
Suppose 265*q - 116688 = 252*q. Is q a multiple of 51?
True
Let a be 5/2 + -1 + (-335291)/(-242). Suppose 5*c = -4*x + a, -3*x - 10 = -19. Is c a multiple of 25?
True
Let r(x) = x**3 - 42*x**2 + 364*x - 203. Is 15 a factor of r(46)?
True
Suppose 0 = d - 7 + 2. Let o(u) be the second derivative of u**4/12 + 2*u**3/3 + 9*u**2/2 + 67*u. Does 9 divide o(d)?
True
Let l be (-6 - 80/(-12))/((-1)/(-3)). Suppose -399 - 383 = -l*p. Is 38 a factor of p?
False
Let a(l) = 2*l**3 - 21*l**2 - 28*l - 20. Let d be a(12). Let c = 112 - 74. Suppose g + 3*b + b = c, -2*g + d = -3*b. Is g a multiple of 11?
False
Let h(y) = y**2 + 15*y + 549. Is h(20) a multiple of 36?
False
Let i(h) = 84*h - 8. Let d be i(8). Let a = d - 188. Suppose a = 8*v - 108. Is v a multiple of 14?
False
Let n(f) = 24*f**2 + 2*f + 12. Let h be n(4). Let d = h - 246. Is d a multiple of 18?
False
Let i(q) = 16*q**3 - q**2 + 2*q - 1. Let v be i(1). Suppose -6*m - v + 10 = 0. Is 17 a factor of (5 - -54) + -1*(-2 - m)?
False
Let d be ((-8)/3)/(4/(-126)). Suppose -2*c + 29 = -5*m - 17, -c = 2*m + 13. Let u = m + d. Is u a multiple of 19?
True
Suppose 5*r = 3*j + 23, 4*r + 2*j = 20 - 6. Suppose 4*f + r*y + 712 = 6*f, 0 = -3*f - y + 1040. Is 45 a factor of f?
False
Let p(d) be the second derivative of d**5/20 + d**4/6 - d**3/2 - 4*d**2 + 83*d. Is p(6) a multiple of 37?
False
Let p = -64 - -230. Suppose 5*n = -4*h + 28, -7*h + 4*n = -3*h + 8. Suppose -7*q - 3*v + 414 = -h*q, -v = 2*q - p. Does 21 divide q?
True
Suppose 74536 = 26*j - 19*j. Does 242 divide j?
True
Does 19 divide 11 - (6 - 2379/3)?
True
Let a(o) = o**2 + 30*o + 93. Let k be a(-39). Suppose 2340 = k*s - 439*s. Is s a multiple of 6?
True
Let b(a) = -13*a**3 - 19*a**3 + 6 - 2*a**2 + 3*a + 10*a**3 + 0*a**3. Is b(-2) a multiple of 7?
True
Suppose -8561 = -556*q + 549*q. Suppose -2*c - 2 = 0, 0 = -3*w + 10*c - 5*c + q. Is w a multiple of 14?
True
Let i be 360*(6 - (-19)/(-4)). Let v = i - 58. Is v a multiple of 14?
True
Let b be (10 + -27)/((-4)/(-16)). Let g = b - -140. Does 4 divide g?
True
Is 3/(3/487) + -16 + 17 a multiple of 11?
False
Is (23/((-2898)/(-294)))/(2/1428*2) a multiple of 4?
False
Let w(v) = -1. Let j(l) = -15*l - 1. Let z(x) = -j(x) + 3*w(x). Suppose -16 + 6 = -2*u - k, u = -7*k - 8. Does 16 divide z(u)?
False
Suppose 5*f - 3*f = 4*b + 80, -b = -5*f + 200. Suppose -f*m = -36*m - 640. Is m a multiple of 8?
True
Let p(a) = a - 10. Let m be p(14). Suppose -5*v - j = -8*v + 5234, -5*v = m*j - 8712. Suppose -21*f + v = -13*f. Does 18 divide f?
False
Let f(r) = -2*r**2 - 36*r + 1. Let w be f(-11). Suppose -5*t + 0*o - 5*o = -w, 3*t - 113 = 2*o. Is t a multiple of 5?
True
Let c(b) = b + 1. Let p be (20/30)/(4/(-6)). Let r be c(p). Suppose r = -4*w - 26 + 154. Is 8 a factor of w?
True
Let z = 39 + -31. Suppose -6*a + 11*a - 3095 = 0. Suppose z*f - a = 421. Is 37 a factor of f?
False
Let v(x) = 79*x - 55. Let i be v(21). Let a = 2525 - i. Is 23 a factor of a?
False
Let l(v) = 104*v**2 - v - 14. Does 29 divide l(5)?
True
Let h = 152 - 215. Let u = 144 + h. Is u a multiple of 3?
True
Suppose -22114 = 20*h - 148374. Does 27 divide h?
False
Suppose 5*m = 5*s - 11480, -2*s + 4*m - 1522 = -6122. Let o = s - 1416. Is o a multiple of 40?
False
Let p = 2336 + 19467. Does 14 divide p?
False
Let i = 81 - 51. Does 15 divide i/(-20) - 183/(-2)?
True
Let c be ((-255)/68)/(-2 + (-5)/(-4)). Let l(d) = 2*d**3 + 5*d**2 - 4*d + 2. Does 17 divide l(c)?
True
Let o be (1 - (-6)/(-9))/(9/54). Suppose 441 = o*f + h, -3*h = -7*h + 4. Does 10 divide f?
True
Let w(u) = -3*u**2 - 5 - 8*u - 8*u**3 + 15*u - 12*u. Let v be w(-4). Suppose -7*p = -v - 263. Is 21 a factor of p?
False
Let p be (2/(-10))/((-1)/15). Suppose 0 = -2*i + p*a + 446, -3*a = 2*i - 331 - 127. Is 22 a factor of i?
False
Suppose 15292 = 7*v - 6947. Does 37 divide (v/(-15))/(8/10 - 1)?
False
Suppose -q - 5*a - 22 = 0, -46 + 12 = -3*q + 5*a. Suppose t - 189 = -6*r + q*r, -3*t + 5*r = -609. Is t a multiple of 33?
True
Let u = 46 + -23. Suppose -3*z = -g - 4, -g + z = -5*g + u. Suppose 94 = g*k - 41. Is k a multiple of 3?
True
Let r = -1104 - -3096. Suppose 31*n + r = 6332. Is 4 a factor of n?
True
Let w be (0 + 56/(-6))/((-274)/(-4521)). Let i = 189 + w. Does 35 divide i?
True
Let p = -61 - -90. Suppose -4*t = -2*l - 44, 3*t - 36 = 7*l - 4*l. Let k = p - t. Is 13 a factor of k?
False
Let g(q) = -11*q - 6. Let y be g(-4). Let p(w) = y + 17*w + 6*w - 36 + 12*w. Is p(5) a multiple of 38?
False
Let s = -28 + 28. Suppose s = 18*p - 13*p. Suppose p = -129*j + 131*j - 104. Is j a multiple of 13?
True
Let y(h) = -39*h - 4. Let c(j) = 38*j + 4. Let a = 27 + -31. Let v(u) = a*c(u) - 3*y(u). Is v(-2) a multiple of 19?
False
Let o = 3726 + -3216. Does 34 divide o?
True
Suppose -23*w = 3*m - 21*w - 2350, -4*m - 3*w + 3135 = 0. Is 13 a factor of m?
Tr