-8). Suppose 9*g - 5*n = 14*g - 130, -8 = b*n. Is 12 a factor of g?
False
Suppose -127 = -g + 4*t, 3*g - 5*t + 2*t - 354 = 0. Suppose -2*j + j - 3*a = -32, -a = -4*j + g. Is j a multiple of 2?
False
Is 60 a factor of 304 - ((-40)/50)/(2/(-10))?
True
Does 27 divide (-810)/(-4)*(5 - -5)?
True
Suppose -360*a = -379*a + 22420. Does 113 divide a?
False
Suppose -844*y + 845*y = 205. Is 5 a factor of y?
True
Suppose -2 = -5*p + 18. Let h(n) = 28*n + 4. Does 9 divide h(p)?
False
Let m(k) be the first derivative of 2*k**6/45 + k**5/120 + k**3 - 10. Let x(c) be the third derivative of m(c). Is 8 a factor of x(2)?
False
Let u(g) = 6*g + 6. Let m be u(5). Suppose m*o = 39*o - 72. Is 8 a factor of o?
True
Suppose -2*l - 120 = m + 2*m, 0 = -2*m - 3*l - 85. Is 5 a factor of 3/(4 + m/10)?
True
Is 95 a factor of (2 - 1 - 11240/(-30))*6?
False
Suppose -4734 + 1640 = -14*w. Is 17 a factor of w?
True
Suppose 0 = -0*w + w - 6. Let v(i) = i**3 - 4*i**2 + 8*i. Does 24 divide v(w)?
True
Does 16 divide ((-1961)/212)/(1/(-4))?
False
Let c = 87 - -48. Suppose s - c = -4*s. Is s a multiple of 14?
False
Let f = 8 + -10. Let p be 16/1*f/(-4). Is 4 a factor of p*(11/2 - 4)?
True
Let t be (-2)/(3 + 7/(-2)) + -6. Does 14 divide 5/10*(-280)/(1*t)?
True
Let v be (-256)/(-24)*(4 + -1). Suppose 0 = 4*p - 4*s - v, 4 + 9 = 2*p - s. Suppose 3*u = -p*c + 208, -5*u + 24 = c - 0*u. Is c a multiple of 15?
False
Let d(t) be the first derivative of 15*t**2/2 - 7*t - 2. Let y be 10/(-45) + (-58)/(-18). Is d(y) a multiple of 19?
True
Let r be (-1)/(-1*2/4). Suppose 0*a = r*a - 68. Let p = a + -14. Is 15 a factor of p?
False
Suppose -5103 = -7*u - 2*u. Does 21 divide u?
True
Suppose -5668 = -4*n - g, -4*n + 4279 = 2*g - 1393. Is 24 a factor of n?
True
Let g = 5321 - 3341. Is 12 a factor of g?
True
Is (-4)/(-32) + 2303/8 a multiple of 32?
True
Suppose -2*s + 520 = -7*s. Is 13 a factor of (s/12)/((-2)/6)?
True
Let x be (-5)/4 + 100/16. Suppose -x*o = 4*q - 363, -3*q + 329 = 2*o + 55. Is q a multiple of 23?
True
Suppose 1575 = 4*l + l. Suppose j = -4*k + 62, k - l - 90 = -5*j. Is j/3 + (-8)/24 a multiple of 9?
True
Suppose -12*f + 15*f = 177. Let v = -4 + f. Does 12 divide v?
False
Suppose 0 = -z - 8*z + z. Suppose 3*l = -z*l + 294. Is 14 a factor of l?
True
Let j(i) = i**2 + 11*i - 9. Let x be j(-12). Suppose x*c - 169 = 521. Suppose -c = 3*z - 8*z. Is 14 a factor of z?
False
Let w be 6/9*30/(-4). Let d be -1 + 1 - (w + 8). Is (-6)/(6/(-35)) + d a multiple of 8?
True
Is (5 - 1)*(-960)/(7 + -11) a multiple of 12?
True
Let d be -1 + 8*(3 + -4). Let x(r) = -r**3 - 8*r**2 + 9*r + 2. Let c be x(d). Suppose -2*g + 44 = -2*s, 0 = g + 7*s - c*s - 34. Is 12 a factor of g?
True
Let u = -1 - -9. Suppose -2*y + 4*y = u. Suppose 0 = y*c - 193 - 87. Does 29 divide c?
False
Let z(o) = o**3 - 10*o**2 + o + 23. Is 32 a factor of z(12)?
False
Suppose -5 = -g, 5*k - 25 = -3*g + g. Suppose i - k = -2. Is 21/i - 16/8 a multiple of 9?
False
Suppose -2*f - 4*r = 1030, -5*f = r + 2214 + 388. Let o = 851 + f. Is 11 a factor of (-15)/(-6)*o/25?
True
Suppose -3*b + 1 = 2*g, g + 8 = -4*b + 3*g. Let p be 309/9 + b/3. Let f = p + -18. Does 8 divide f?
True
Suppose 3 = 3*m - 3. Suppose 2*z = 8, 0 = 5*p - 3*p - z - 44. Suppose 14 - p = -m*g. Is 5 a factor of g?
True
Let q = -4 - -4. Suppose q = 2*d - d - 6. Let g(b) = 2*b**2 - 9*b + 4. Does 11 divide g(d)?
True
Suppose -5 - 8 = -q. Let c(k) = k**2 - 19*k + 90. Let h be c(9). Suppose h = 5*w - 4*w - q. Does 13 divide w?
True
Is 26 a factor of ((-3)/4)/((-42)/(-28))*-584?
False
Let l be (-3)/(((-189)/(-6))/3)*-14. Let d(b) be the third derivative of b**5/60 + b**4/6 - b**3 + b**2. Does 13 divide d(l)?
True
Let t(s) = -229*s - 486. Does 99 divide t(-17)?
False
Let l(t) = 192*t - 225. Is 3 a factor of l(2)?
True
Suppose 2*c = 3*c. Suppose c*r + r - 24 = 0. Let q = r - -9. Is q a multiple of 11?
True
Let x(p) = -p + 3. Suppose -5*q + 150 = j, -8 + 3 = j. Let b = 18 - q. Does 16 divide x(b)?
True
Let u = 1 + 300. Is u a multiple of 7?
True
Let c = -648 - -949. Is c a multiple of 56?
False
Let b(f) = f - 4. Let h be b(4). Suppose -5*p + 25 = h, m + m + p = 15. Does 5 divide m?
True
Suppose d = -d + 2. Is 4 a factor of 23 - 7 - 4/d?
True
Let i(q) = q**2 - 4*q - 8. Let p(d) be the third derivative of d**5/20 - 2*d**3/3 + 3*d**2. Let c be p(-2). Is 12 a factor of i(c)?
True
Let c(y) = -y - 4. Let w be c(-3). Let d be 18/21*w*7. Is 8 a factor of ((-6)/4)/(d/64)?
True
Let q = -478 + 613. Does 5 divide q?
True
Let c(a) = 7*a + 7. Let n = -69 - -72. Is 14 a factor of c(n)?
True
Is -5 + (10/45 - (-2127)/27) a multiple of 8?
False
Suppose 4*f = -m + 3791 - 1076, 5*f = m + 3405. Is f a multiple of 40?
True
Let b be 1/1*-4 + 8. Suppose 0 = b*i - 79 - 81. Suppose v - i = -v. Does 4 divide v?
True
Suppose 2*l - 6722 + 1140 = -2*w, w - 2801 = l. Does 80 divide w?
False
Suppose -4 = -0*j - 2*j. Suppose 0 = 3*q + j*t - 50, -2*q - 3*t + 68 = 2*q. Does 5 divide q?
False
Let j = -92 + 279. Suppose -3*y - 4*i = -8*y + 469, j = 2*y - i. Is y a multiple of 14?
False
Let r = 95 + 235. Is r a multiple of 66?
True
Let z(r) = -4*r**3 + r**2 + 6*r + 5. Let p be z(-3). Suppose 3*u - 119 = 2*n, -3*n = 3*u - 8*n - p. Is 24 a factor of u?
False
Is 7 a factor of 483 + -33 - (-1 - -8)?
False
Let j be 344/(-10) - (3 - 51/15). Let n = j + 118. Does 4 divide n?
True
Let x(p) = p**2 - 8*p - 5. Suppose 28 = 3*k - 14. Let t = k + -5. Is x(t) a multiple of 3?
False
Let n be -1*(2/((-4)/18) + -2). Suppose n*r - 978 = -241. Is r a multiple of 41?
False
Suppose -15*o + 608 = 563. Suppose -q + 9 = x, 4*x - 4 - 22 = -2*q. Suppose -x*f - z + 348 = -o*z, -f - 3*z = -94. Does 11 divide f?
True
Suppose 0 = 5*s - 20*s + 3240. Is s a multiple of 12?
True
Let f be 8/20 + (144/15 - 0). Suppose -f*c + 672 = -4*c. Is c a multiple of 28?
True
Suppose 0 = 2*q - 5*q + 576. Suppose 11*g = 7*g + q. Is 6 a factor of g?
True
Let t = 149 + -79. Suppose 0 = 5*z - 560 - t. Is z a multiple of 42?
True
Let q(b) = -b**3 + 10*b**2 + 20*b + 84. Is q(12) a multiple of 6?
True
Suppose 2*u + 64 = -28. Suppose 32*p = 29*p - 267. Let i = u - p. Does 8 divide i?
False
Suppose -4*q + 897 = 4*o - 443, -3*o = -15. Is 29 a factor of q?
False
Suppose 6 = -19*q + 21*q. Suppose -3*z + 117 = l, 5*z - l - 194 = -q*l. Does 12 divide z?
False
Let q be 2/(3/(54/(-4))). Let g = q + 11. Is 15 a factor of 1*(-3)/g*-16?
False
Let r(n) = 4*n - 14. Let u(b) = -3*b + 14. Let z(y) = 2*r(y) + 3*u(y). Suppose 0 = 2274*a - 2267*a + 49. Does 10 divide z(a)?
False
Let w = 1694 - 1035. Is 27 a factor of w?
False
Let l(r) = 80*r - 19. Is l(2) a multiple of 3?
True
Suppose -8*z + 11 - 35 = 0. Is 10 a factor of ((-42)/(-9))/(z/(-90))?
True
Let n(q) = q**3 - 9*q**2 + 5*q - 1. Suppose 3*u = 3*s - 1 - 2, 4*s - 5*u + 1 = 0. Let r be n(s). Let o = r + 122. Does 10 divide o?
False
Suppose 840 = 7*p - 0*p. Let h = p - 44. Let s = h - 4. Does 18 divide s?
True
Is 56/3*42/4 a multiple of 20?
False
Let c(t) = -59*t - 20. Is c(-6) a multiple of 70?
False
Let m be (-4)/(-18) + 220/(-18). Let j(l) = l**3 + 11*l**2 - 10*l - 7. Let g be j(m). Let i = g + 82. Does 33 divide i?
False
Suppose 15 = -13*m + 10*m. Let t = m + 74. Is t a multiple of 16?
False
Let l(r) = r**3 + 18*r**2 + 17*r + 7. Let d be l(-17). Suppose -d = -j - 4. Suppose -5*n = g - 380, -j*n + 267 = -2*g + 52. Is n a multiple of 25?
True
Suppose -9 = 4*b + 23. Let c(l) = l**2 + 7*l + 12. Is 10 a factor of c(b)?
True
Let z be 5 - (1662/18 + (-8)/(-12)). Let j(u) = -2*u**2 + 9*u + 4. Let k be j(7). Let b = k - z. Is 36 a factor of b?
False
Suppose -7*h = -3*h - 12. Suppose 20*u - 16*u = 8. Suppose 295 = u*i + h*i. Does 25 divide i?
False
Let n be 9/(135/(-10))*-201. Does 22 divide 3/(-9) + n/6?
True
Let b be (-1)/(68/(-17) - 14/(-4)). Suppose -12*p - b*p + 1176 = 0. Does 9 divide p?
False
Let c(j) = -j**3 - 8*j**2 - 8*j + 8. Let g be c(-7). Suppose 40 = 5*l + g. Does 5 divide l?
True
Let d(z) = -145*z - 7. Let c be d(7). Does 5 divide c/(-42) + 1/(-3)?
False
Let c(y) = -y**3 + 16*y**2 - 28*y - 30. Let r be c(14). Is 3 a factor of (r/(-21))/((-3)/(-21))?
False
Let s(g) = 163*g - 1. Let j be s(-7). Let b = -2202 - j. Is 14 a factor of b/(-25) - (-4)/(-10)?
True
Suppose 3*r + r = -2*b + 48, 2*b - 5*r - 75 = 0. Let h = -28 + b. Does 12 