r*b - 40. Suppose 5*g - 10 = 0, -b = -2*y - g - 16. Is 4 a factor of y?
True
Suppose -42666 - 18993 = -57*i - 4887. Is 7 a factor of i?
False
Let h = -6541 - -9617. Is h a multiple of 5?
False
Suppose -2*o - 3*o = -1295. Let u = 84 + o. Is u a multiple of 49?
True
Let n be (3 - -3064) + (10 - 12). Suppose 5*g = -s + n, -5*g - 3*s = -4*s - 3075. Does 25 divide g?
False
Let k be (-29488)/(-342) - 3/(54/4). Let n = k + -84. Suppose 5*q - 200 = n*i + 10, -210 = -5*q + i. Is q a multiple of 21?
True
Suppose 40094 - 3386 = 23*p. Suppose -3*l = -z - p, 0 = -6*z + 2*z. Does 38 divide l?
True
Let s be 3/(120/(-4495)) - 9/(-24). Let b = -97 - s. Is b a multiple of 2?
False
Let s = 2078 - 1985. Is s a multiple of 21?
False
Suppose -4*x = -5*q + 322, -5*x = q - 48 + 1. Is 11 a factor of ((-185)/(-30) - (-6)/(-9))*q?
True
Let i be -9*4/(-2) + (-4 - -1). Does 12 divide 1 - (-535)/i*3?
True
Suppose 5*i = -4*k + 22335, 88*k + 3*i = 90*k - 11151. Is k a multiple of 12?
True
Let u = -8272 + 53398. Is 15 a factor of u?
False
Suppose -4*d = 1475*r - 1478*r - 88512, 0 = -5*r - 20. Is 10 a factor of d?
False
Is 97 a factor of (-2324 - 245)*(-7 + 1)?
False
Suppose -20*v + 16 = -24*v, 5*s = -2*v + 252. Suppose 128 - s = b. Does 14 divide b?
False
Suppose 0 = 319*o - 303*o + 288. Let r(j) = 15 - 7*j - 5 + 32. Is 28 a factor of r(o)?
True
Is 14 a factor of (186/21 + -9)*2 - 10364/(-14)?
False
Suppose -y + 5*y = 16, 3*g - 263 = 4*y. Let m(l) = -119 + g + 4*l - 18*l. Is 20 a factor of m(-9)?
True
Let c(h) = 43 + 2*h + 0*h - 7*h. Suppose 2*l = -2*f - 16, 8*l = 5*l + 2*f - 19. Is c(l) a multiple of 27?
False
Suppose -135*y + 180 = -132*y. Is 11 a factor of y?
False
Let b(u) = -u**3 - 5*u**2 - 22*u - 157. Suppose -3*j - 13 = 2*k, -k - j - 4 - 4 = 0. Is b(k) a multiple of 19?
False
Let w = 3883 + 458. Is w a multiple of 48?
False
Suppose 4*y = 37956 + 732. Is 39 a factor of y?
True
Let s(j) = 246*j - 2. Let r(z) = -1231*z + 11. Let u(i) = -4*r(i) - 22*s(i). Let v be u(-2). Suppose -v = -6*g - 10*g. Is 20 a factor of g?
False
Suppose 56*w + 25*w = 286173. Is 15 a factor of w?
False
Let l(k) be the third derivative of k**6/120 - k**5/10 + k**4/3 - 2*k**3 + 10*k**2. Let c be l(8). Suppose -3*j = 0, 5*g - 6*j + j - c = 0. Does 9 divide g?
True
Let x(l) = -5*l - 67. Let n be x(23). Let d = 240 + n. Is d a multiple of 16?
False
Suppose 2*d - 17 = -3*j, 0 = 2*d - 4*j + 3 + 1. Suppose -18 + 198 = d*a. Is 15 a factor of (a - (-1 - 0)) + 0?
False
Let o be (22/(-55))/((-1)/10). Suppose 40 = 2*k - 2*a - 60, 0 = o*k + 5*a - 155. Does 2 divide k?
False
Suppose 25977 = 1183*l - 1176*l. Is 6 a factor of l?
False
Let h(b) = 53*b - 2225. Does 33 divide h(70)?
True
Let w(t) be the first derivative of 3*t**2 - 20*t + 1. Let g be 1/(-7*11/(-1463)). Is 8 a factor of w(g)?
False
Suppose -8*o + 7*o = -2, 4*x - o = 1562. Suppose -x = 6*j - 7*j. Is 48 a factor of j?
False
Let p be 0 + -5 + 7 + 1266. Suppose 6*v - p = -302. Is 23 a factor of v?
True
Let m(b) = b**2 + b + 28. Let s be m(-8). Let y = s - -85. Is 9 a factor of y?
False
Let h(m) be the first derivative of m**4/24 - 5*m**3/6 - 4*m**2 + 13. Let v(x) be the second derivative of h(x). Is 6 a factor of v(11)?
True
Let m = -182 - -281. Let w(j) = -2*j**2 + 8*j + 26. Let c be w(6). Is m*(3 - c) - -4 a multiple of 25?
False
Suppose -1116 = -11*y + 248. Let g = y - 37. Is g a multiple of 14?
False
Does 56 divide 0 + 6721/4 + (-40)/160?
True
Let a be (261/(-36) + 8)/((-6)/(-40)). Is 17 a factor of a - (90/(-2) - 1)?
True
Let a = 1061 + -524. Let f = 1010 - a. Is 20 a factor of f?
False
Suppose 0 = -2*s + 5*g + 85445, s - 39*g + 38*g - 42712 = 0. Is s a multiple of 39?
True
Suppose -2*a + 4*n + 702 = 0, 2*a + 316 = 3*a + 5*n. Let v = 386 - a. Is 12 a factor of v?
False
Let d be (-52)/8*(3 + -5). Suppose -d*f + 7950 = 17*f. Is 19 a factor of f?
False
Suppose -38*u + 29803 = -44411. Let g = u - 1060. Is g a multiple of 19?
True
Let c be -116 - (0 - -3)/(-3). Let k = c - -222. Does 5 divide k?
False
Suppose 3*r + 1540 = -5*d + 6088, -4*d + 3606 = -3*r. Does 6 divide d?
True
Suppose 11408 = 2*n - 4*m, -10*m + 11416 = 2*n - 6*m. Is n a multiple of 18?
True
Let h = 32861 + -18029. Is 62 a factor of h?
False
Let a = 9091 + -7344. Does 67 divide a?
False
Is (5 - 0) + (-39200)/(-6) + 44/(-132) a multiple of 9?
False
Let f(x) = -331*x + 240. Does 47 divide f(-12)?
False
Suppose 0 = -5*m + 3*v - 51, -3*m + 9*v = 13*v + 19. Let k(s) = s**3 + 9*s**2 - 5*s - 4. Does 8 divide k(m)?
False
Suppose -96921 = -78*i + 67*i. Is 89 a factor of i?
True
Let v be (-1048)/(-6)*(35 + -41). Let f = v + 1500. Is f a multiple of 45?
False
Let n(j) = 524*j**2 + 52. Is 24 a factor of n(6)?
False
Let r = -411 - -414. Suppose -4*s + 2*m = -2*s - 762, -3*m = r. Does 19 divide s?
True
Suppose -5*j = -4*j - y - 928, -4616 = -5*j - y. Suppose -8*z = -4*z - j. Suppose 16*k = 19*k - z. Is k a multiple of 11?
True
Let m be ((-2)/(-4))/((-15)/(-210)). Suppose -4*i = -5*w - m*i + 52, -4*i + 56 = 5*w. Suppose -w*o = -7*o - 36. Is 6 a factor of o?
True
Let b(r) = r**2 - 23*r + 136. Let l be b(9). Suppose -l*m - 26*m = -3240. Is m a multiple of 45?
True
Suppose -3*u = -7*u + 168. Suppose u + 170 = n. Is n a multiple of 21?
False
Suppose 189*r - 170*r = 22781. Is r a multiple of 72?
False
Suppose -2*h = 5*t - 34444, -h + 3 = 1. Is t a multiple of 41?
True
Let w(o) = 36 - 27*o**2 - o**3 + 13 + 4*o - 5*o - 10*o. Is w(-27) a multiple of 26?
False
Suppose 5*l = -4*a + 335, 3*a - 4*l - 225 = l. Let i be (9 + 1)*(20 + (-16)/4). Suppose i = 4*k - a. Does 12 divide k?
True
Let k = 8 - 23. Let z = -7 - k. Is 4 a factor of (((-156)/z)/(-13))/(6/68)?
False
Let l(f) = 14*f**3 + 5*f**2 - 12*f + 2. Does 20 divide l(3)?
False
Let j(d) = -129*d + 1625. Does 12 divide j(6)?
False
Does 37 divide (30 + -2 + 22)*37?
True
Let i be 34/(-6) + 14/21. Let v be (-1 - i)/1 + -1 - -161. Suppose 3*q = -32 + v. Does 44 divide q?
True
Suppose 384657 = 363*r - 213567. Does 11 divide r?
False
Let k(y) = 7*y + 243. Let d = 48 + -48. Is 9 a factor of k(d)?
True
Let z = -2106 - -5771. Is 4 a factor of z?
False
Let s(l) = l**3 + 13*l**2 - 14*l + 4. Let b be s(-14). Let y be (-4 + 3)/(b/(-20)). Suppose -231 = -y*n + 404. Is n a multiple of 13?
False
Let w = -12109 - -30871. Does 62 divide w?
False
Let l = 505 + -960. Let q = l - -873. Is q a multiple of 11?
True
Let g(t) = t**3 + 11*t**2 + 14*t + 8. Let n(l) = -l**3 - 11*l**2 - 13*l - 7. Let h(x) = -2*g(x) - 3*n(x). Let b be h(-5). Let y = 63 + b. Is y a multiple of 39?
False
Let m = 171 - 144. Is 1227 - (3 - m)/(-6) a multiple of 22?
False
Let s(v) = v**3 - 14*v**2 + 23*v + 18. Let x be s(18). Suppose x = 16*h + 8*h. Is 6 a factor of h?
True
Let b(a) = -171*a**3 + 9*a**2 + a - 6. Let c(j) = -168*j**3 + 7*j**2 + j - 5. Let x(u) = -3*b(u) + 4*c(u). Is 24 a factor of x(-2)?
True
Suppose -4*g = -2*g + 200. Let j be (-35888)/32 - 1 - (-10)/(-4). Is 25/(j/(-108))*g/(-6) a multiple of 10?
True
Let i(z) = -z**2. Let l(n) = 7*n**2 - 5*n - 6. Let s(j) = -5*i(j) + l(j). Let v be s(-2). Suppose 0 = 3*c - v - 2. Is c a multiple of 11?
False
Suppose -5*p = -0*p + 20. Let b(c) = c**3 - 7*c**2 + 7. Let w(a) = -a**3 + a**2 - a - 1. Let d(t) = b(t) + 3*w(t). Is 10 a factor of d(p)?
True
Suppose -4*u - 2*i + 58 = 0, 4*u - 78 = 7*i - 5*i. Suppose -19*r + u*r = -480. Does 40 divide r?
True
Suppose 65*k = -5*r + 67*k + 1367, -k - 271 = -r. Does 4 divide r?
False
Let s = 90 + -37. Suppose -3*o - 4*z = -92, 4*o - 18 - s = 5*z. Does 3 divide o?
True
Let m = -1641 - -2929. Is 14 a factor of m?
True
Let l(r) = -4*r**3 - 2*r**2 + 6*r + 10. Let b = 73 - 76. Is 7 a factor of l(b)?
False
Let l be 6/(-5)*(-59460)/8. Suppose -11*d = -3258 - l. Is d a multiple of 41?
True
Let b be (0 - 2)*(-9)/6. Suppose -2*i + 99 = -0*g - b*g, -g = -5*i + 228. Let a = i + -19. Does 13 divide a?
True
Let f = 15720 + -12939. Does 27 divide f?
True
Let p be 3/(30/(-4)) - 36/(-15). Is 25 a factor of (161/(-7) - p)/(1/(-10))?
True
Suppose 3*v - 19161 = 2*n + 3155, v + 4*n = 7420. Does 29 divide v?
False
Does 64 divide (152015*(-4)/(-36) - -5) + (-28)/(-63)?
True
Suppose 0*v - 2*n - 737 = 5*v, 5*v = 5*n - 730. Let i = -73 - v. Is 9 a factor of i?
False
Suppose -9*v - 6*v + 60 = 0. Is v - 11/((-33)/426) a multiple of 30?
False
Suppos