5*y = -2*u - 11*y. Let d(l) = -l**3 - 6*l**2 - 6*l + 7. Let v be d(-5). Does 2 divide (-15 - -9)/(u/v)?
True
Let s = 4825 - 3676. Is 5 a factor of s?
False
Does 19 divide (-156117)/(-13)*1 + (-1)/((-2)/10)?
False
Suppose -9*o = -11*o + 4. Let l(j) = -j**2 - j + 9 + 3*j**o + j**3 + 7. Does 8 divide l(0)?
True
Let g(p) be the first derivative of 3*p**2/2 + 2*p - 22. Let s be g(0). Is 5 a factor of (s/(8/45))/(12/32)?
True
Is 32 a factor of ((-11776)/160)/((-5)/150)?
True
Suppose 29*c = 49154 + 20881. Is ((-20)/15)/((-20)/c) a multiple of 17?
False
Let u be ((-108)/15)/((-5)/25). Let x = u + 236. Is x a multiple of 42?
False
Let m(p) = p**3 + 18*p**2 + 36*p - 7. Does 12 divide m(-11)?
True
Suppose -18*h = 3*h - 105. Does 20 divide 1 + 138/h*(0 - -5)?
False
Suppose 0 = 5*b + 3*q + 6004, 5980 = -0*b - 5*b + 5*q. Let r = -498 - b. Suppose -8*c + r = 277. Does 5 divide c?
False
Suppose 0 = 13*i - 103124 + 26216. Is i a multiple of 102?
True
Let d(n) = -218*n + 1352. Is d(-27) a multiple of 59?
False
Is 29 a factor of (1/6)/(13/(-78))*(2 - 2612)?
True
Is 6 a factor of (4/10)/(77/1762530)?
True
Suppose -2*a - 446 = -2*x - 1524, -2*x + 2174 = 4*a. Let u = a + 100. Is 31 a factor of u?
False
Suppose 201792 = 23*i - 1712. Does 158 divide i?
True
Suppose 0 = -4*p + 5*p + 26. Let m(y) = y**3 + 96*y**2 + y + 39. Let s be m(-96). Let h = p - s. Does 23 divide h?
False
Suppose 352 = -9*x - 836. Let t = x - -367. Suppose -2*u = f + 58 - 214, t = 3*u + f. Is u a multiple of 5?
False
Let o = 3865 + 17779. Does 72 divide o?
False
Let g = 2268 + -951. Is 13 a factor of g?
False
Let h(o) = 145*o - 1602. Is 5 a factor of h(12)?
False
Suppose -12*n = -18*n + 48. Suppose -n*o = 2369 - 6401. Is o a multiple of 42?
True
Let u be (-6 - (-777)/(-14))/(1/(-4)). Let x = 304 - u. Is x a multiple of 29?
True
Let n(k) = k + 8. Let j be n(-5). Let t(l) be the third derivative of 47*l**4/24 + 20*l**3/3 - 165*l**2 + 6. Does 36 divide t(j)?
False
Suppose -141*o = -4869304 - 3460412. Is 9 a factor of o?
True
Is ((-300)/(-250))/((-21)/(-91000)) a multiple of 208?
True
Let b = -2070 + 4714. Suppose -1676 - b = -8*f. Does 60 divide f?
True
Is 7 a factor of (-558640)/(-400) - 9/15?
False
Suppose 2 = 5*j - 8. Suppose 20 = 3*z + j*z. Suppose -z*t = -38 - 10. Does 5 divide t?
False
Let j = 572 + -554. Suppose 2*r = o - 192, -4*r - 984 = 13*o - j*o. Is 50 a factor of o?
True
Suppose 0 = 3*l - 31 + 16. Suppose -22*z + l*z = -3043. Is 17 a factor of z?
False
Let a be (1 + 2 + (-3 - 0))/2. Suppose -c + 4*b = -a*c - 190, -3*c - 5*b + 485 = 0. Does 21 divide c?
False
Let a = -69 - -78. Suppose a*g = 10*g - 56. Let i = -46 + g. Is 3 a factor of i?
False
Let w(t) = -4*t - 64. Let h be w(-15). Does 2 divide ((-10)/h)/((-9)/(-90))?
False
Let f = 64 - 41. Suppose -f = -s - 19. Suppose -41 = -s*w + 79. Is 30 a factor of w?
True
Suppose 6*s + 3145 = 23*s. Suppose -213 + s = -j. Does 7 divide j?
True
Let c(m) = -2*m**3 - 5*m**2 - 6*m + 4. Let g be c(-5). Suppose -g + 147 = -i. Is 2 a factor of (-2*24/32)/((-2)/i)?
False
Let n(h) = -2*h - 16. Let i be n(6). Let l = i - -28. Suppose 4*t - g + 2*g - 81 = l, 9 = -3*g. Is 7 a factor of t?
True
Let s = 102 + -100. Let d be 24/18 - (-370)/6. Suppose -s*b = -13 - d. Does 19 divide b?
True
Suppose -26*k = -44994 + 4642. Is 12 a factor of k?
False
Let w(p) = -5*p**2 + 2*p - 157. Suppose 0 = -5*u - 8 - 12. Let x(r) = 6*r**2 - 2*r + 158. Let g(f) = u*x(f) - 5*w(f). Does 30 divide g(0)?
False
Let p = -6890 - -9652. Is 47 a factor of p?
False
Let b(p) = 149*p - 39. Let y(x) = 74*x - 19. Let z(r) = -6*b(r) + 11*y(r). Let h be z(15). Is h/(-75)*((-1 - 0) + 4) a multiple of 7?
False
Let c be 28 + (7 - 0) - 7. Let n = c + 108. Does 8 divide n?
True
Suppose -3*u + 21*u + 10908 = 0. Let f = 911 + u. Is f a multiple of 32?
False
Let x(m) = 8*m**2 - 177*m - 25. Let j be x(17). Let f = j - -1139. Is 20 a factor of f?
False
Let w(t) = t**2 - 6*t - 7. Let x be w(7). Suppose 2*c - 6 = -x. Suppose -c*n + 4*f + 343 = 0, 2*n - 5*f - 247 = -23. Is n a multiple of 27?
False
Let t = 65308 + -29959. Is t a multiple of 11?
False
Let c be 40/(-60)*(-33)/2. Suppose -c*u + 4757 = -1623. Does 15 divide u?
False
Let w be (-42)/3*7/2. Let n = w - -190. Does 12 divide n?
False
Let f be 82*(72/(-60))/((-4)/5). Suppose -14*i = -15*i - 4*m + f, 0 = -4*i + 5*m + 408. Is 8 a factor of i?
False
Let y(c) = 23*c**2 + c + 6. Let p(x) = -23*x**2 - 6. Let d(u) = -4*p(u) - 3*y(u). Is d(2) a multiple of 2?
True
Let d be 7/2*(-4)/2. Let r = 97 + d. Is (26/(-4))/((-9)/r) a multiple of 10?
False
Suppose 126*i + 3194421 = -42*i + 251*i. Is i a multiple of 20?
False
Suppose 97*m - 89*m - 3800 = 0. Suppose -z + 463 = 7*l - 12*l, l - m = -z. Does 20 divide z?
False
Suppose 165*i - 233*i + 116280 = 0. Is 6 a factor of i?
True
Suppose 0*u - 4*o - 38 = u, -2*u - 2*o = 106. Is u/435 - 6244/(-30) a multiple of 16?
True
Does 42 divide ((112665/(-58))/(-111))/((-943)/(-942) + -1)?
False
Let s(u) = u**3 + 9*u**2 - 13*u - 31. Let y be s(-10). Is ((-104)/(-6))/(6*y/(-171)) a multiple of 13?
True
Let p(r) = r**2 + 31*r - 592. Is 11 a factor of p(46)?
False
Let s(h) = h**3 + h**2 - 4*h - 1. Let f be s(-3). Let y = 4 + f. Does 16 divide ((-4)/(-8))/(4*y/(-3456))?
True
Let z(t) = 13*t - 5*t - 62 - 4*t**3 + 4*t**2 - 43 - 9*t**3. Let x(i) = -3*i**3 + i**2 + 2*i - 26. Let j(d) = -9*x(d) + 2*z(d). Does 4 divide j(0)?
True
Let i = 90 + 151. Suppose 0 = 14*k - 15*k + i. Is 11 a factor of k?
False
Suppose 23*q - 28912 - 65710 = 0. Does 34 divide q?
True
Suppose -x = -0 + 5. Let m(q) = 3*q**2 + 3*q + 5. Let y be m(x). Is (0 + 52/(-5))/((-26)/y) a multiple of 7?
False
Let r = -3052 + 9955. Is 48 a factor of r?
False
Let n be 1217 + 1*1*-1. Suppose 0 = -3*k - 2*x + 8, 78*x = k + 80*x - 4. Suppose -k*q = 6*q - n. Does 38 divide q?
True
Let o = -8888 - -13408. Is 5 a factor of o?
True
Let m(f) = -2*f**3 - 12*f**2 - 9*f + 8. Let o(u) = u - 22. Let v be o(14). Does 14 divide m(v)?
True
Let z(v) = v + 16. Let y be z(3). Suppose -5*h = -o + 15 - y, -2*h + 50 = 4*o. Is o a multiple of 2?
False
Suppose -6 - 4 = -2*z. Let g(w) = 11*w**2 + 4*w + 17. Is 39 a factor of g(z)?
True
Let t(d) = 6*d - 1. Let z be t(2). Suppose z - 5 = 6*r. Does 27 divide (-1)/(r/(-157)) - (1 - -1)?
False
Let t = -96 + 182. Suppose -3*a + 127 = 2*d - 2*a, d - t = -5*a. Suppose -9*m = -11 - d. Is m a multiple of 3?
False
Suppose 1 = -t, -5*h + 2*t = -4*h - 2. Let w be (-2 + h)/6 + 976/12. Does 18 divide w/(-6)*(-176)/12?
True
Let y be 108/(-270) + (-1613)/5. Let c = -293 - y. Is 6 a factor of c?
True
Let f(u) = -328*u + 879. Does 9 divide f(-31)?
False
Suppose -1212 = 2*n + 2*w, -12*n - 2*w - 1815 = -9*n. Let o = 225 - n. Is 12 a factor of o?
True
Let c(s) = 13*s**2 + 2*s - 1. Let o be -48 + ((-4)/8 - 6/4). Let q = o - -48. Is c(q) a multiple of 5?
False
Let m be (1*6)/((-24)/(-16)). Suppose -z - 9 = -m*h, -3*h + 6*h - 2*z = 8. Suppose 5 = -5*y, h*i + 2*y = -0*y + 30. Is 3 a factor of i?
False
Suppose 0 = -5*u + 2*u, 0 = 4*i - 2*u - 732. Let m = i + 409. Does 43 divide m?
False
Is (0 - -1) + (62 - -727 - (-11 - -2)) a multiple of 17?
True
Let r be 8*((-1)/3 + 70/(-60)). Let v(n) be the second derivative of n**3/6 + 20*n**2 + 27*n. Is v(r) a multiple of 2?
True
Suppose 4*a + 2*b = 50, 2*a = a + 5*b - 4. Let r(d) = -5*d - 36. Let i(j) = 2*j + 12. Let q(m) = a*i(m) + 4*r(m). Is q(10) a multiple of 8?
True
Does 9 divide (1 - -1397)/(-13 - 2052/(-156))?
False
Let x be ((-3)/((-9)/6))/(-3 - -4). Suppose -x*l = h - 950, -5*h + l + 4*l = -4720. Is 86 a factor of h?
True
Let k(o) = 8*o - 8. Suppose f + 156 = 3*i + 2*f, -i + 5*f + 52 = 0. Let x be 3 - 3/((-12)/i). Is 15 a factor of k(x)?
True
Let m(z) = -z**3 + 11*z**2 - 28*z - 6. Let a be m(9). Let i = 174 + a. Is 41 a factor of (i - -1) + (41 - 38)?
True
Let x = 36588 - 20658. Is 27 a factor of x?
True
Let m = -5 + 9. Suppose 0 = -m*x + 450 - 2. Let z = x - 9. Is 13 a factor of z?
False
Suppose 3*d - 215 - 118 = -3*y, y = -3*d + 335. Let u = 383 + d. Is 76 a factor of u?
False
Let x be -10*1*3/(-6). Suppose 0*c - 565 = -x*w + 3*c, 5*w + 5*c - 525 = 0. Is w a multiple of 59?
False
Suppose -3*a + 13305 = 132*p - 129*p, p - 17719 = -4*a. Is a a multiple of 82?
True
Let i = 43 - 39. Suppose i*g - 296 = 5*j, -g + 0*g + 5*j = -59.