lse
Let f = 147 - 96. Let d = f - -8. Let r = d + -30. Is r a multiple of 10?
False
Suppose -41*h = -43*h - 2*y + 1016, 16 = -4*y. Is h a multiple of 16?
True
Suppose 2*r + 10 - 2 = 0, 3*r = -k + 102. Does 3 divide k?
True
Let c = -242 + 90. Let h = -147 - c. Is h a multiple of 2?
False
Let m = -483 - -627. Is m a multiple of 63?
False
Let f be 0/((-4)/(-4)) + -7. Let z be f/((-21)/6) + 15. Does 4 divide z/(3 + (-5 - -3))?
False
Let b(h) = -h**3 + 6*h**2 + 7*h. Let y be b(7). Suppose -5*r = -y*r + 10. Is (1 - -32) + r - -3 a multiple of 17?
True
Suppose -24480 = 13*t - 43*t. Does 24 divide t?
True
Does 11 divide (-16422)/(-36) + 2/(-12)?
False
Suppose -25 = -r - p + 3, -108 = -5*r + 3*p. Is r a multiple of 3?
True
Suppose -278*m + 114 = -276*m. Is m a multiple of 17?
False
Let r = 186 - 6. Let x = r - 95. Does 13 divide x?
False
Suppose 0 = -4*n + 6*x - x + 76, 5*n - 2*x = 78. Is (n + -1)*((-10)/(-1) - 2) a multiple of 17?
False
Suppose -g = -5*g - 0*g. Suppose x = -3*w + 279, 4*x - 2*w + w - 1090 = g. Is x a multiple of 15?
False
Let r(w) = 6*w - 10. Let y be r(5). Suppose 0 = 2*k - 4*o - y - 50, 0 = 2*k + 3*o - 49. Let g = k + -2. Is g a multiple of 16?
False
Suppose -w - 5*l = -956, 5*w + 1081 - 5971 = -3*l. Does 12 divide w?
False
Let r be 37/(-7) - (-6)/21. Let f(u) be the third derivative of -u**4/24 + u**3/3 + 11*u**2 + 4. Is 5 a factor of f(r)?
False
Let l be -1*(-2)/10 - (-618)/10. Let n = l - 32. Is n a multiple of 6?
True
Let d = 343 + -171. Is 43 a factor of d?
True
Suppose -23 = -3*m + 145. Let v = -24 + m. Is v a multiple of 8?
True
Suppose -3*b + 0*b = -27. Let h = 18 + b. Suppose 2*o = 3*k - 29, -4*k = -o - 4*o - h. Is 13 a factor of k?
True
Let r = -45 - -158. Suppose 0 = 3*f - 535 - r. Let j = f - 145. Does 30 divide j?
False
Suppose -3*x = 5*a - 833, -3*a + 2*x + 3*x + 493 = 0. Let t = a + -76. Is 6 a factor of t?
True
Let o = 7 - 5. Suppose 1 = -o*i + 5. Suppose -z - 7*q + 35 = -3*q, -2*z + 100 = i*q. Is 20 a factor of z?
False
Let g = 51 + 156. Is 23 a factor of g?
True
Suppose -11*m + 4*m + 28 = 0. Is 3 a factor of 3 - (-2)/m*2*19?
False
Let f(g) = -4*g**2 + 10*g + 9. Let w(n) = -n**2 + n. Let q(y) = -f(y) + 2*w(y). Let h be ((-10)/(-20))/(2/28 - 0). Is 11 a factor of q(h)?
True
Let m = -73 - -276. Is m a multiple of 24?
False
Let z = -2 - -3. Let t be 2 + -4 - (-21)/z. Suppose 0 = -m + 53 - t. Does 12 divide m?
False
Let n(c) = -2*c**3 + 3*c**2 + c - 2. Let k be n(2). Does 16 divide (1 - (-38)/2) + k?
True
Let d(m) = 42*m - 9. Let x be d(1). Does 18 divide x/88 - (-2 + 557/(-8))?
True
Suppose b = -5*i + 16 + 8, 10 = 3*i + 5*b. Suppose -i = -4*g - 21. Does 10 divide ((-6)/g)/(21/364)?
False
Let i be (2 - 0 - 14056) + -4. Let n be i/117 - 4/(-26). Let z = n - -224. Is z a multiple of 28?
False
Let j(b) = -b**3 + 3*b**2 + b + 1. Let r be j(5). Let y be (r/8)/((-3)/66). Suppose -5*g = -3*q + y + 63, 0 = 4*q - 5*g - 252. Is q a multiple of 14?
False
Suppose 5*k + 2*r = -3 + 31, r - 4 = 0. Suppose 2*f = 2*l + 8, k*f - 20 = 3*l - 0*l. Suppose -13 = -d + f. Is 8 a factor of d?
False
Suppose 5*u = 2158 + 972. Suppose 32*w - 34*w + u = 0. Does 32 divide w?
False
Let o(y) be the first derivative of -11*y**2/2 - 14*y - 5. Let d be o(-10). Is 17 a factor of (-1 + -14)*d/(-18)?
False
Suppose -f = -16*y + 12*y - 1550, -5*f = y - 7771. Does 73 divide f?
False
Suppose 7*v - 1888 = 3*v + 4*h, 2*v - 5*h = 929. Does 3 divide v?
True
Let n = -81 - -79. Let m = 59 - 28. Does 16 divide 5 - 3 - n*m?
True
Suppose 0 = -y + x + 2 + 4, 5*y - 29 = 4*x. Suppose -g - 525 = -y*f - 6*g, -3*f + 2*g + 315 = 0. Does 21 divide f?
True
Let l be (-12)/6 - 2*-1. Suppose 3*w = -2*b + 4*w + 9, l = -4*b - w + 9. Suppose 0 = -3*v + 30 + b. Does 11 divide v?
True
Let a(d) = 2*d**2 - 1. Let b = 22 + -18. Is a(b) a multiple of 7?
False
Let u(h) = -h**3 + 9*h**2 - 7*h - 4. Let j be u(8). Suppose 2 + j = m. Does 11 divide ((-188)/m)/((-10)/15)?
False
Let m(p) be the first derivative of -p**4/4 - 10*p**3/3 + 15*p**2/2 + 12*p + 7. Is m(-12) a multiple of 8?
True
Suppose 10*c = 13*c - 15. Suppose 598 = c*z - 277. Does 35 divide z?
True
Let s(c) = 24*c + 4. Let u be s(2). Is u - (1 + -2 - -2) a multiple of 15?
False
Let t be (-12)/18 - 16/(-6). Suppose 3*a + 5*i = 7, 0 = t*a - 5*i - 9 - 4. Is a a multiple of 3?
False
Suppose 6*j = 10*j - 12. Suppose j*v + 160 = 7*v. Does 20 divide v?
True
Suppose -3*d + 120 = r, 4*r + 37*d - 466 = 32*d. Is r a multiple of 3?
True
Does 17 divide 4465/55 + 9 + (-4)/22?
False
Let p be (-3)/(-3) + -1 + (-8)/(-2). Suppose -7*f - p*f = -2750. Is 23 a factor of f?
False
Let m(j) = 18*j + 7. Let v be m(-2). Let b = 26 + v. Let i = 18 - b. Is i a multiple of 4?
False
Let s be 1 + (-1 - 3)/(-4). Suppose -v = -5*r + 13, -3*v = -v + 2*r + s. Does 5 divide v/12 - 41/(-4)?
True
Let m be 11 + (0 - (-10)/(-5)). Does 6 divide m*(-100)/(-15) - (6 - 3)?
False
Let q(h) = -4*h**3 - h**2 + 1. Let u be q(-1). Suppose -2*w - 11 = -4*l + w, -l + u*w = -6. Suppose 0 = l*b - 5*b + 21. Is b a multiple of 7?
True
Is 2 - 5 - (-720)/2 a multiple of 17?
True
Let i(u) = 3*u**2 + 10*u + 3*u**2 + 1 - 2*u**2 + 13. Is i(-7) a multiple of 10?
True
Let s(o) = -o + 1. Let y(g) = -g**2 + g - 10. Let v(l) = -3*s(l) - y(l). Is v(-13) a multiple of 30?
True
Let t be 25/(-2)*64/(-60)*-6. Let l = -42 - t. Is 4 a factor of l?
False
Let f = 1049 + -675. Does 34 divide f?
True
Suppose -571 = 20*p - 5451. Does 11 divide p?
False
Suppose -8*z + 4*j - 1730 = -11*z, -3*j = 3. Is 20 a factor of z?
False
Let r = -7 + -19. Suppose -17*p = -28*p - 462. Let o = r - p. Does 16 divide o?
True
Suppose 0 = -42*l + 48*l - 7632. Is l a multiple of 9?
False
Suppose 0 = 5*j + 10, w + w - 5*j = 20. Suppose 3*p + 0*p + v - 154 = 0, -w*v = -p + 78. Suppose 3*f - p = -2*n + 4*n, 0 = f - 4*n - 31. Is f a multiple of 15?
True
Let v(o) be the first derivative of o**4/2 + o**2/2 + 8. Is 5 a factor of v(2)?
False
Let b be 3 - (4 + 20 - -3). Is 16/b + 344/3 a multiple of 29?
False
Let i be 3 + (2/(-1))/(-2). Suppose 6*a - 42 = i*a. Suppose 5*l - 6*l = -a. Is l a multiple of 3?
True
Is 42 a factor of (3 - (-1936)/8)*(-1 - -2)?
False
Let b be 158*((3 - 0) + -2). Let n(z) = -91*z**3 + z**2 - 5*z + 3. Let l be n(1). Let k = l + b. Is k a multiple of 10?
False
Suppose 84201 = 48*v + 3*v. Is 127 a factor of v?
True
Let g(q) be the third derivative of -q**4/3 + q**3/6 - 5*q**2. Is g(-4) a multiple of 11?
True
Suppose 21*b = 23*b - 196. Let x = b - -262. Is x a multiple of 60?
True
Is 70 a factor of (-1274)/39*(0 - -3 - 33)?
True
Let x = 22 + -3. Let p = x - 15. Let i = p - -4. Is i a multiple of 2?
True
Suppose 26*c = 9*c + 40256. Does 30 divide c?
False
Let n = -423 + 453. Is n even?
True
Suppose 4*s - 3*p - 817 = 864, 0 = 4*s + 3*p - 1711. Is 19 a factor of s?
False
Suppose 35 = 5*a - 2*m - 3*m, -4*a - 3*m = 7. Suppose 5*g - 51 = a*l, 3*g - 36 = l - 5. Suppose -3*r + 100 + g = 0. Does 12 divide r?
False
Let t be 17/(-3) + 1/(-3). Let q(v) = -v - 6. Let j be q(t). Suppose -2*r - 5*i + j*i + 22 = 0, -r = -5*i - 26. Does 11 divide r?
False
Let g be (-28)/(-7) + 1 + -33. Let l = g + 32. Is 3 a factor of l?
False
Let a = 247 + -55. Does 4 divide a?
True
Let v = 161 - 167. Let w(t) = -10*t + 21. Does 27 divide w(v)?
True
Let x(z) = 4*z**3 + 9*z**2 - 11*z - 7. Is 42 a factor of x(5)?
False
Let m(s) = -s**2 + 26*s + 7. Is 6 a factor of m(24)?
False
Suppose 5*x - u + 14 - 3 = 0, -4*u = 5*x + 6. Let m be x*(2 - (-3)/(-1)). Suppose 16 = c - m*y, -4*c + 0*c + 20 = 3*y. Is c a multiple of 5?
False
Let h(c) be the first derivative of 3*c**2/2 + 20*c + 11. Suppose -3*a = -4*f - 20, -2*a = -3*a + 5*f + 25. Is 20 a factor of h(a)?
True
Let y(a) = -a**3 + 3*a**2 + 3*a + 3. Let m be y(-3). Suppose -3*g + 117 = m. Let j = g - -9. Does 9 divide j?
False
Let r(x) = x**2 - x. Let g(c) = -5*c**2 + 13*c - 6. Let i(v) = -g(v) - 6*r(v). Is 12 a factor of i(-6)?
True
Let a(u) = -162*u - 81. Is a(-4) a multiple of 81?
True
Let l = -4 - -6. Let i(o) = -4*o + 67. Let n be i(16). Suppose 3*a - 39 = n*u, -a + l*u + 8 = -0*u. Does 9 divide a?
True
Suppose -4 = y - 2*c, -4*c = -3*y - 3*c - 7. Does 11 divide (-1300)/(-24) + (-44)/(-24) + y?
False
Let k(l) = 4*l**2 + 6*l + 14. Let b be k(-5). Let w be ((-224)/b)/((-4)/(-162)). Let z = -28 - w. Does 2