ative of 8*k**3/3 + 8*k**2 - 31*k. Does 16 divide m(2)?
True
Let g(r) = -7*r**2 - 28*r + 5. Let o be g(-4). Suppose 0*s = o*t - 5*s - 45, 0 = t + 2*s - 15. Does 2 divide t?
False
Suppose -638 - 97 = -3*f. Let d = f + -124. Is 27 a factor of d?
False
Does 2 divide 3/(84/15 - 5)?
False
Let t(c) = -7*c - 21. Let g be t(-10). Suppose 0 = -2*o - g + 175. Is o a multiple of 21?
True
Suppose -f = -3*f + p - 298, -2*p = 3*f + 454. Is f/(-9)*((1 - 0) + 5) a multiple of 50?
True
Let i(r) be the first derivative of 4*r**3/3 + 11*r**2/2 + 4*r + 14. Does 28 divide i(4)?
True
Suppose 2*o = 5*t + 157 + 25, 141 = -4*t - 3*o. Let n = -1 - t. Does 35 divide n?
True
Let r be (-2)/(-4) + 1 + 44/(-8). Let a(t) = 11 + t + 6 - 3. Is 8 a factor of a(r)?
False
Let j = 55 + -32. Is j a multiple of 2?
False
Suppose 0 = 30*u - 47*u + 4675. Is 25 a factor of u?
True
Let q = -31 - -35. Suppose -5*h + 20 = 0, q*h - 10 = -y + 13. Is 2 a factor of y?
False
Suppose 8*u = 3*u + 20. Let l be (22/(-33))/(u/(-114)). Is 23 a factor of (l - 15) + (0 - -42)?
True
Let b(y) = 3*y**2 - 5*y - 2. Let t be ((-9)/1)/(-3)*-1. Let u be b(t). Suppose -k + 5*k - u = 0. Is 10 a factor of k?
True
Suppose -41*a = -35*a. Suppose -2*b = -10 + 4. Suppose 4*k - b*k - 32 = a. Does 8 divide k?
True
Let o(r) = 1243*r - 273. Does 12 divide o(3)?
True
Let a(b) = -14*b + 9. Let k be (3 - -1)*1 - -2. Let v be a(k). Is (-30)/4*840/v a multiple of 24?
False
Suppose -x = v - 8 - 4, 1 = 3*v - 4*x. Suppose v*s - 252 = s. Is s a multiple of 21?
True
Let o = 1362 - 228. Does 7 divide o?
True
Suppose -5*u - 116 + 36 = 0. Is 14 a factor of (280/(-15))/(u/(-6) + -3)?
True
Let z(m) = 2*m + 77. Let n be z(0). Suppose 3*j + 8 = n. Is j a multiple of 9?
False
Let a(j) = 6*j - 25. Let v be a(7). Let q = v + 5. Is 2 a factor of q?
True
Suppose 5*j = -4*f + 35, 29 - 5 = 3*j + 3*f. Let u(p) = p**3 - 2*p**2 - 2. Let h be u(j). Let t(c) = 8*c - 10. Does 10 divide t(h)?
False
Let f(r) = 5*r**2 + 8*r - 56. Is 7 a factor of f(-7)?
True
Let f = 14 - 19. Does 9 divide -2 - ((-6 - f) + (-80)/2)?
False
Suppose 247 = 5*l + p, -18*p + 15*p = -3*l + 141. Is 5 a factor of l?
False
Let d be 4*((-10)/(-4))/(-5). Let n = d - -6. Suppose 0*v = -5*w + n*v + 224, -v = -5*w + 236. Is w a multiple of 11?
False
Let r be 5*3/(-3) + 4. Let t(d) = -d**3 - 9*d**2 + 2*d + 5. Let i be t(-9). Let a = r - i. Is 4 a factor of a?
True
Suppose -6*k + 643 = 4*f - 7*k, -3*k - 169 = -f. Suppose 0 = -2*n + n + 5*u + 98, -2*n = -u - f. Does 12 divide n?
False
Let z(a) = 31*a**2 + 2*a + 7. Let t be z(-7). Suppose -6*m = m - t. Does 12 divide m?
True
Let j(y) = 3*y**2 + 3*y + 4. Let g be j(-3). Suppose -2*f + 4*p + g = f, 4*f + 5*p = 19. Let q = -2 + f. Is 4 a factor of q?
True
Let m be (6/(-9))/(4/(-6)). Suppose -f - 5 = m. Is 14 a factor of (f/8)/((-8)/288)?
False
Does 49 divide (-17)/((-255)/2250) + 1 + -4?
True
Suppose -2*q - 3*q - 40 = -4*o, -3*o + 35 = -5*q. Suppose -4*p = -o*d - 25, -4*d = p - 7*d - 15. Suppose p = 5*r - 3*r - 170. Is r a multiple of 18?
False
Suppose 24*g - 35*g + 2794 = 0. Does 14 divide g?
False
Let f be -54 + (-1 - 2/(-1)) + -2. Let d = f + 84. Is 18 a factor of d?
False
Suppose 7843 = 5*z - 4487. Does 19 divide z?
False
Let b be (-12)/15*(-4 + -36). Suppose 35 = d + 5*j, -d - 4*j + b = -0*j. Is d a multiple of 14?
False
Is 13 a factor of 40*(1173/1020)/((-2)/(-16))?
False
Suppose -4*p = 3*t + 1, t - p = 3*t + 4. Is 12 a factor of 52 - (t/12 - 21/12)?
False
Let s = 5 - 11. Let c(w) = -w**3 - 5*w**2 + w + 2. Does 16 divide c(s)?
True
Let y be (4/4)/((-1)/27). Is 8 a factor of (y/(-18))/((-2)/(-48))?
False
Let b(s) = -6*s + 9. Let z be b(19). Let n = z - -153. Suppose -4*m + n + 4 = 0. Is 13 a factor of m?
True
Let d(c) = -21*c + 9. Is d(-7) a multiple of 26?
True
Let n(x) = x**3 + 5*x + 105. Is n(0) a multiple of 15?
True
Let x = -530 - -843. Is 45 a factor of x?
False
Is 2517/8 + (-51)/(-136) a multiple of 37?
False
Suppose -254 = -7*y - 1185. Is 12 a factor of -29 - y - 3*-1?
False
Let l = 0 - 3. Let n be (l/(-4))/(2/16). Suppose -n*c + 47 = -193. Does 5 divide c?
True
Let l = 334 - 181. Does 33 divide l?
False
Let t(j) = j**3 - j**2 - j. Let v be t(-2). Is 2 a factor of 15/3*6/v - -11?
True
Let u(d) = 33*d**2 - 13*d + 11. Is 17 a factor of u(5)?
False
Let i = 96 + -93. Suppose 5*h = -i*y + 4*y + 1074, 3*h = 5*y + 640. Is h a multiple of 43?
True
Suppose -77*w + 74*w = -12. Is 5 a factor of (-9)/w*(2 + -6)?
False
Suppose 5*m + 0*m = 5*t, 0 = 4*t - 3*m - 4. Suppose 9*o - t*o = 95. Does 18 divide o?
False
Is 0 - (-3)/2*(-320)/(-15) a multiple of 6?
False
Suppose f - 1 + 3 = 0. Let d be 3/f*(-5 + -7). Suppose 2*c = -0*c + d. Is c a multiple of 2?
False
Does 2 divide (-960)/(-9) + (-8)/12?
True
Let s(x) = -56*x - 8. Does 8 divide s(-3)?
True
Suppose -5*y = -2*y. Suppose y = 2*f - 187 - 229. Is 26 a factor of f?
True
Let w = 12 + -16. Is 6 a factor of 66*(4/(-8))/(2/w)?
True
Let s = 2928 - 2014. Is s a multiple of 26?
False
Let w(x) = x**2 - 11*x - 9. Let p be w(12). Suppose 2*m = 2*k + 12, 3*k - 3 + 6 = 0. Suppose p*o - 91 - m = 0. Is 13 a factor of o?
False
Suppose 0 = 35*g - 60*g + 23500. Is g a multiple of 20?
True
Suppose -m + 3259 = -2*u, -2*m - 5*u - 437 = -6910. Does 15 divide m?
False
Does 51 divide (-16355)/(-35) - (-6)/(-21)?
False
Let i(s) = 31*s**2 + 23*s - 12. Is 23 a factor of i(-6)?
True
Let b be ((-27)/6)/(-3) + (-892)/8. Is 6 a factor of 0 + 2 + b/(-5)?
True
Let f = 641 - 283. Suppose -f = -5*m - 2*t + t, 2*m + 5*t = 134. Is m a multiple of 12?
True
Suppose 0*q - q + 4 = 0. Suppose -18 + 2 = -q*d. Suppose -2*h = d*b - 180, 47 + 178 = 5*b - 2*h. Does 15 divide b?
True
Let g(a) = 71*a - 8. Let n be g(4). Suppose 7*h + n = 11*h. Does 23 divide h?
True
Let d(y) = -2*y**2 + 5*y + 1. Let o be d(8). Let u = o - -162. Is 15 a factor of u?
True
Let v(u) = u**3 + 0*u**2 + 9 - 6*u + 24*u - 13*u - 6*u**2. Is v(5) a multiple of 9?
True
Suppose 9 = 4*t - l, 5*t + 2 - 17 = 2*l. Let n(m) = -1. Let r(z) = 27*z - 2. Let g(y) = t*r(y) - 4*n(y). Is g(2) a multiple of 20?
False
Let t = -276 - -48. Let u = t + 441. Does 24 divide u?
False
Let s = 14 - 12. Suppose 0 = -s*n + n. Suppose n = j + 4*j - 70. Is j a multiple of 14?
True
Suppose -2*d = d. Suppose d = -k + 2*k + 11. Let p = -3 - k. Is p even?
True
Let x = -885 + 1058. Is x a multiple of 2?
False
Suppose 0*j + 2*j = 6. Suppose x - 19 = j. Is x a multiple of 22?
True
Suppose -2*m = -r - 1, -1 = 2*r - 6*m + m. Let z be (r*20/4)/(-1). Suppose 5*g = 3*v - 67, -2*v - z + 65 = 2*g. Is 8 a factor of v?
True
Is 4 a factor of (-18)/(-117) - 7725/(-65)?
False
Suppose 3*r + 212 = -s + 952, 4*r = 16. Suppose 0*h + h + s = 0. Is 10 a factor of h/(-20) + 3/5?
False
Let r be (-3 + 2)/((-2)/8). Let i = 123 + -39. Does 15 divide r*(i/8 - 3)?
True
Suppose 3*h = 1 + 11. Let y = h + 0. Suppose -5*f + 31 = -y*f. Is f a multiple of 14?
False
Let l(a) = -2*a**3 + 30*a**2 - 4*a + 22. Let m(p) = -p**3 + 30*p**2 - 3*p + 22. Let n(k) = -2*l(k) + 3*m(k). Is 13 a factor of n(-30)?
True
Suppose -6*c = 157 - 943. Does 20 divide c?
False
Let p be (-124)/4 - (-8)/4. Let a = p - -74. Does 3 divide a?
True
Let g be ((-9)/(-12))/3 - 1372/(-16). Let c = g - 52. Is 11 a factor of c?
False
Let g(w) = w**2 - 7*w - 59. Is 15 a factor of g(-14)?
False
Let v(x) = -35*x - 192. Is v(-17) a multiple of 31?
True
Suppose -3*f = -5*r - 5*f - 100, 5*r + 135 = 5*f. Let s = r - -113. Is 12 a factor of s?
False
Let h(r) = r**3 + 24*r**2 + 39*r + 23. Let l be h(-22). Suppose -l - 107 = -z. Does 16 divide z?
True
Let p(f) be the first derivative of -f**5/60 + f**4/3 - 5*f**3/3 + 2. Let a(i) be the third derivative of p(i). Is a(-8) a multiple of 24?
True
Let o(x) = -12 - 2 - 11*x**2 + 11*x**2 + 23*x**2 + 4*x. Is o(2) a multiple of 13?
False
Suppose 20*v + 16*v = 15300. Does 25 divide v?
True
Let v(g) = 11*g**2 - 5*g + 4. Let w(i) = i - 9. Let p be w(12). Does 20 divide v(p)?
False
Suppose 12 + 12 = 6*i. Suppose -i*c = 5*j - 200, -3*j = -c - 166 + 46. Is 10 a factor of j?
True
Let i(d) = -d**2 + d. Suppose b - 2 = -3*y, 3*y = b - 0*y + 4. Let u be i(b). Does 6 divide (12/36)/(u/(-42))?
False
Suppose -f = -7*f. Suppose 4*k - 10 + 26 = -4*d, 2*k + 8 = f. Suppose -5*n = u - 47, d = u + n - 6*n - 7. Is 27 a factor of u?
True
Let t(i) be the f