rue
Let j(w) = -2*w**3 - 37*w**2 + 21*w + 34. Let d be j(-19). Is 44 a factor of (2/d)/(31/(-52948))?
False
Let y(s) = 3*s**2 - 32*s - 28. Let d be y(-8). Let o = d + 1022. Is o a multiple of 39?
False
Let h(y) = y**2 + 7*y + 6. Let f be h(-5). Let b(m) be the second derivative of -35*m**3/6 + 6*m**2 - 3101*m. Is 38 a factor of b(f)?
True
Let b = 38 + -35. Suppose -b*g + 7*g = -2*j + 836, j + 209 = g. Is g a multiple of 19?
True
Let w = 95 + -140. Suppose 0 = 62*b - 63*b - 10. Does 6 divide (b/3)/((-85)/w - 2)?
True
Let x(n) = -3*n**3 - 2*n**2 + n + 5. Let w be ((-3)/6)/((-4)/(-16)). Let i be x(w). Let v(g) = g**3 - 20*g**2 + 21*g - 32. Does 6 divide v(i)?
True
Let x = 1090 + -1931. Let b = -498 - x. Does 7 divide b?
True
Let r be (1 + -12)/((-15)/135). Suppose r = 5*q + 6*q. Is 5 a factor of q/(-15)*(-12)/(-18)*-25?
True
Let d(a) = -2*a + 1176 - 246 + 7*a + 0*a + 897. Is d(0) a multiple of 86?
False
Let q(j) be the first derivative of 134*j**3/3 - 7*j**2/2 + 17*j - 36. Is 11 a factor of q(2)?
True
Let k(s) = 20*s + 157. Let i be k(-8). Does 5 divide 595/21*(6 + i)?
True
Let p(h) = 10084*h**2 - 91*h - 188. Is p(-2) a multiple of 185?
True
Let x be (-13)/13 + (-4)/1. Let c = x - -7. Suppose -c*u + 98 = 2*j, -u = 3*j + 10 - 51. Is u a multiple of 8?
False
Suppose -210*a + 151*a + 408870 = 0. Is 9 a factor of a?
True
Suppose 13*z + 3*q + 3890 = 17*z, 0 = -3*z - 5*q + 2932. Is 3 a factor of z?
False
Let r(o) = 9*o + 24. Let w be r(-3). Is 9 a factor of (21/2 - 0)/(w/(-30))?
False
Let i be 1/5 + 6/(-30). Let h be i*(-3 + (-16)/(-6)). Suppose h*s - 195 = -3*s. Is 13 a factor of s?
True
Let z = -189 + 420. Is 5 a factor of (536/(-201))/(((-4)/z)/2)?
False
Let x(u) = -64*u**3 + 16*u**2 + 24*u + 60. Is 4 a factor of x(-4)?
True
Suppose 23309*l - 23322*l = -2769. Does 3 divide l?
True
Suppose l - 2*p - 40 = 0, -2*l - 4*p = -3*l + 48. Let h = -8 + l. Does 12 divide 6/h + 94/8?
True
Let v = -5021 + 8822. Is 24 a factor of v?
False
Let r be 1/(-3) + (-80)/(-15). Suppose -3*g + r*c = -0*c - 130, 0 = 2*g + 3*c - 93. Let x = 82 - g. Does 13 divide x?
False
Let y(r) = 20*r**2 - 19*r - 606. Is 7 a factor of y(-18)?
True
Let w(z) = -14 + 11*z**2 + 11 - 2*z**2 + 37*z. Is 15 a factor of w(-11)?
False
Is (-1)/5 - (-2218032)/1460 a multiple of 7?
True
Let h(i) = -11*i**3 + 2*i**2 + 2*i + 1. Suppose b - 5*b = 4*d + 4, 5*d + 5 = -b. Let n be h(d). Does 33 divide 97 - (3 + (-40)/n)*6?
True
Let p = 3777 + 9183. Is 54 a factor of p?
True
Let f be 4/6*-15*8/(-16). Suppose -f*l + 1 = 11. Let p(i) = -49*i - 1. Does 14 divide p(l)?
False
Let s be ((-35)/(-28))/(1/4). Suppose -4*f + s = 365. Let q = 154 + f. Is q a multiple of 16?
True
Suppose -4*p - 5*r = -3925, 2*p - 1962 = r - 3*r. Suppose -2*s + 4*z + p = -0*s, 5*s = -z + 2450. Suppose -20 - 56 = -l + 4*j, -2*j + s = 5*l. Does 16 divide l?
True
Let v = 26663 + -3726. Is 50 a factor of v?
False
Suppose -x + 4*c + 183 = -1678, -x + c = -1849. Is x a multiple of 15?
True
Let g be 84*((-6)/(-24))/(3/8). Let q = g + -84. Let y = q - -65. Is 37 a factor of y?
True
Let j(x) = 21*x**3 - 19*x**2 + 8*x - 8. Does 12 divide j(4)?
False
Let o = 1990 - -1106. Is 12 a factor of o?
True
Let p(u) = -31*u**2 + 2*u - 3. Let z be p(-3). Let m = z + 615. Is m a multiple of 16?
False
Let k = 46 - 31. Does 4 divide (k/(-30))/(1/(-248)) + -4?
True
Let v(d) = -d**3 + 14*d**2 - 64*d + 558. Is v(10) a multiple of 9?
False
Does 35 divide ((3234/(-56))/33)/(3/(-30948))?
False
Suppose 2*k = -4*r + 248, -15 = r + 4*k - 84. Does 12 divide r?
False
Let n(o) = o**3 + o**2 + 4*o + 26. Suppose 7*q = 8*q - 1, -5*r = q - 1. Is n(r) a multiple of 26?
True
Let w be (1 - 2) + (-6)/(-2) + -6. Let n be ((-10)/20)/(1*(-2)/w). Does 16 divide n/2*(-148 + 6)?
False
Let i(f) = -7*f**2 - 27*f + 49. Let y(u) = -3*u**2 - 13*u + 25. Let d(c) = 2*i(c) - 5*y(c). Is 53 a factor of d(-16)?
True
Let s = 67 - 40. Let k = s + -57. Is (-5)/(-30) + (-445)/k even?
False
Let p be 3*(-8)/18*(-27)/(-6). Let j be 4/p - 18676/(-69). Suppose -2*s = 3*l - j, 10*l - 5*l + s = 450. Is l a multiple of 45?
True
Let h = -4 - -38. Let p = h + -31. Suppose m = -3*k + 184, p*m = 4*m - k - 168. Is m a multiple of 43?
True
Let b = 673 - -175. Suppose 0 = -19*i + 14*i + 4*x + 2108, -4*x = -2*i + b. Does 14 divide i?
True
Let a be (-2)/4*784/8. Let z = a - -52. Suppose 5*v = 5*f + 460, 0 = 3*v - 0*f + z*f - 264. Is 10 a factor of v?
True
Let o = -917 + 2460. Is 9 a factor of o?
False
Let s = 1056 + 626. Let u = 300 - s. Is -5*(-2)/(-25) - u/5 a multiple of 46?
True
Let c(z) = z**3 - 157*z**2 - 85*z - 1359. Is c(158) a multiple of 5?
True
Let s = 22365 + -13219. Is 34 a factor of s?
True
Let z = 19 - 41. Let g be (-49)/(-2) - (-11)/z. Suppose -4*v + g = -5*x, 4*v - 4*x = 5 + 23. Is v a multiple of 8?
False
Let f = -3753 - -5310. Is 3 a factor of f?
True
Let y(h) = h**2 - 7*h + 10. Let x be y(3). Let k(i) = 5*i + 6. Let v be k(x). Is 29 a factor of 5768/42 + v/(-6)?
False
Let h = -153 + 158. Let t(b) = 10*b**2 - 5*b - 15. Is 15 a factor of t(h)?
True
Suppose 0 = -5*b - 4*u - 0*u + 41, 2*b + 2*u = 18. Suppose -4*o + 128 = -2*f - 456, o - 137 = b*f. Is o a multiple of 3?
True
Let c be 1*(2/5 + 130/50). Suppose -183 - 21 = -c*p. Does 14 divide p?
False
Suppose 0 = -3*r - 2*q - 668, 2*r - 323 = -q - 770. Let i = 604 + r. Does 42 divide ((-10)/3 - -2)/((-3)/i)?
True
Suppose -259939 - 207662 = -14*k + 145865. Is 121 a factor of k?
False
Let c(o) = -5*o + 15. Let f be c(0). Suppose 0 = -4*g - 4*t + 169 + f, 0 = -2*g + 4*t + 122. Is g even?
False
Let t be (-217)/(-14) - (-2)/4. Suppose 6*c + t = -128. Is (-48)/56*(3 + c) a multiple of 17?
False
Let f(p) = 24*p**2 - 23*p - 68. Let x(y) = 8*y**2 - 8*y - 23. Let s(t) = 4*f(t) - 11*x(t). Is 72 a factor of s(6)?
False
Let c = -1192 + 3838. Does 13 divide c?
False
Suppose -3*l + 3331 = 2*h - 2492, 5*l - 2*h = 9689. Does 154 divide l?
False
Suppose -5*l - 2*g = -4*l + 187, 5*l = 5*g - 890. Let s = -179 - l. Is s even?
True
Let m(v) = 8*v**3 + 8*v**2 + 6*v + 6. Let t(r) = r**3 + r**2 + r. Let c(l) = -m(l) + 6*t(l). Let o be 7/((-35)/4)*5. Is 19 a factor of c(o)?
False
Let u(a) = 70*a**2 + 32*a - 9. Let o be u(-11). Suppose -18*j + 22149 = o. Does 49 divide j?
False
Let b(v) = v**3 + 7*v**2 - 7*v + 13. Let n be b(-8). Let a be (-4)/8 - n/(-2). Suppose -2*d + 5*m + 605 = 0, -m - 295 = -3*d + a*d. Is d a multiple of 27?
False
Suppose -k + 6576 + 2387 = 4*p, -2*k + 17921 = 3*p. Does 8 divide k?
False
Suppose 4296 = 14*v - 632. Let t = v + 286. Is t a multiple of 70?
False
Suppose 3*f + 2*f + 88 = 2*p, 4*f = -p + 18. Let n = p - -5. Suppose -v = -81 - n. Is 15 a factor of v?
True
Let l be (-1)/((-26)/108) - 1240/8060. Let h be (-158)/(-14) + (-4)/14. Let d = l + h. Is 15 a factor of d?
True
Does 58 divide (-11)/(-99) + (-2198651)/(-117)?
True
Let v = 77007 - 53883. Does 6 divide v?
True
Suppose -37*k - 5824 = -45*k. Suppose 0 = -731*y + k*y + 1395. Is y a multiple of 9?
False
Suppose -5*d = -2*t + 538 + 226, 0 = -t + 2*d + 384. Suppose -294 = -3*v - 3*c, 4*v + 5*c = 2*c + t. Suppose 0*a - v = -a. Does 21 divide a?
False
Let f(g) = 307*g + 17. Let b = 226 + -225. Is 20 a factor of f(b)?
False
Suppose 5*i = -3*j + 1486, -j - 1466 = -4*j - i. Let q = 1015 - j. Is 12 a factor of q?
True
Let z = 276 + 725. Suppose 0*w - 11*w + z = 0. Is 10 a factor of w?
False
Let j(t) = 209*t**3 + t**2 - t + 1. Suppose -2*f + y + 3 = 0, -6 = -5*f + 5*y - 4*y. Let x be j(f). Let l = x - 87. Is 27 a factor of l?
False
Let p = 15107 - 11072. Is p a multiple of 12?
False
Let q be (1 + -682 - -1) + 2. Does 11 divide (0 - (1 + 1)) + 6 - q?
True
Let k = -7753 - -10483. Is 65 a factor of k?
True
Is (-1)/1 + -8 - (-242 + -16143) a multiple of 40?
False
Let l(r) = r**3 - 8*r**2 - 11*r + 33. Let u be l(16). Suppose 3*i + u = 8*i. Does 35 divide i?
False
Let s(p) = 2995*p**2 + 33*p - 23. Is 6 a factor of s(1)?
False
Suppose 41 = 5*b - 4*a, -9 = -3*b - 4*a + 22. Let g be ((-1695)/b)/((-1)/3). Suppose 5*r = -125 + g. Is 8 a factor of r?
True
Let u(d) = 22*d. Let r be u(1). Suppose 53 - 15 = -3*p + 5*a, r = -2*p + 4*a. Let h = p - -45. Is 4 a factor of h?
True
Let y be 14/(7/(-35) + (-72)/(-285)). Let b = y - 134. Is 12 a factor of b?
True
Suppose 1487*r - 34524 = 1475*r. Is 109 a factor of r?
False
Supp