lse
Suppose 0*a - 2*a + 116 = 0. Does 10 divide a?
False
Let h = -8 + 12. Suppose -2*j = -3*i - 111, -h*j = i - 3*i - 210. Is 25 a factor of j?
False
Suppose -21 = -0*v - 3*v. Suppose 4*b = -4*m + 64, -m + 28 = -2*b + v*b. Is 13 a factor of m?
True
Suppose 5*b - 34 = -3*y, y + 3*b = 2*y - 2. Let o = y + 22. Is 28 a factor of o?
False
Let q(d) = 3*d**2 + 3*d + 2. Suppose 6*r - 7*r - 3 = 0. Is q(r) a multiple of 11?
False
Suppose 5*u = -5*k + 135, 5*k - 3*u = -0*k + 135. Does 9 divide k?
True
Suppose 0*c + 108 = 4*c. Does 15 divide c?
False
Is 27 a factor of (-2)/(-12) + 3/((-54)/(-4173))?
False
Let g = 40 + 111. Does 32 divide g?
False
Let m = -343 + 496. Is m a multiple of 11?
False
Let c(l) = -l**3 + 5*l**2 + 4*l + 2. Does 20 divide c(-3)?
False
Suppose -21 = -n - 11. Is n a multiple of 10?
True
Let r(h) = -4*h + 4. Let m be r(5). Let f = m + 28. Is f a multiple of 6?
True
Let d = 59 + -5. Let m(c) = -3*c + 11. Let g be m(-8). Let w = d - g. Does 19 divide w?
True
Suppose -2*v + 7*v = 205. Does 7 divide v?
False
Let o(s) = 17*s**2 + 2*s + 1. Let r be o(3). Suppose -r = -a + 2. Let k = a + -110. Does 26 divide k?
True
Suppose -4*b = 1642 - 586. Is 22 a factor of 6/2*b/(-9)?
True
Suppose 5*d = v - 5*v - 35, -4*d + 5*v + 13 = 0. Let x(l) = -4*l**2 + 9*l - 1. Let s(j) = j**2 - j. Let g(t) = -5*s(t) - x(t). Does 2 divide g(d)?
True
Suppose y + b = 41, -y + 118 = 2*y - 2*b. Is 17 a factor of y?
False
Let s = -27 + 40. Suppose w = -0*w + s. Is 8 a factor of w?
False
Let v = 210 + -200. Is 5 a factor of v?
True
Let j(s) = 2*s - 23. Is j(16) a multiple of 5?
False
Suppose -2*i + 5*z = -30, -3*i + 4*z - 2*z + 34 = 0. Does 6 divide i?
False
Let r(q) = q**2 + q + 1. Let c(v) = 30*v**3 - 6*v**2 - 3*v - 4. Suppose -3*u + 1 = -2. Let b(n) = u*c(n) + 4*r(n). Is b(1) a multiple of 11?
False
Let a = 53 + 39. Is a a multiple of 23?
True
Suppose -2*n = -0*n - u - 413, -3*n - 4*u + 636 = 0. Does 16 divide n?
True
Let x be (-6)/(2/((-2)/(-1))). Let c = 36 + x. Suppose -5*z + 3*k = -55, 0*k + 2*k - c = -5*z. Is z a multiple of 4?
True
Let n = 7 - 5. Suppose -2*q = 2*o + 3*q - 16, n*o = 4*q + 16. Is 268/o + 1/(-2) a multiple of 16?
False
Suppose -4*s + 0*s = -76. Is s a multiple of 16?
False
Let h = 17 + -15. Suppose f + h*m = 23, f + m - 46 = -f. Does 5 divide f?
False
Let k be 1/(-10)*6*-10. Let f = k - 1. Suppose -10 + 100 = f*x. Does 6 divide x?
True
Let q = 119 - 68. Let z = q - 36. Is z a multiple of 8?
False
Let b(x) = 20*x**3 + x**2 - 1. Let h be 6/4 + 10/(-4). Let g be b(h). Let u = -2 - g. Does 6 divide u?
True
Suppose 524 = 5*z + 2*f, 96 = z - 0*f - 4*f. Suppose -3*c + z - 20 = 0. Is 14 a factor of c?
True
Let x be (0 - 1) + 58 + 2. Let r = 99 - x. Is r a multiple of 20?
True
Is (-5 - 61)*(14/(-4) - 1) a multiple of 20?
False
Let p be (-1)/((-2)/28) + -1. Let a = 1 - -2. Suppose 0 = -5*x + p - a. Is x even?
True
Suppose 3*z - 2*z = 0. Let x be (-6)/(-3) + 0 - z. Is 2 a factor of (x/6)/(1/9)?
False
Let d = 81 + -62. Is d a multiple of 19?
True
Suppose 5*p - 643 = -43. Let s = p + -77. Suppose -5*t = -2*h - s, 1 + 1 = -2*t - 4*h. Is t a multiple of 7?
True
Does 10 divide 3 - 3 - (-14 - -2)?
False
Suppose -5*g = -8*g + 9. Let h = 13 - g. Does 9 divide h?
False
Let j = -174 - -288. Suppose 0*z = z - j. Suppose -2*h + 13 = -3*q + 91, -5*q - 2*h + z = 0. Is q a multiple of 9?
False
Suppose -4*r + 4 - 64 = 0. Is 12 a factor of (-3)/(-3) + (0 - r)?
False
Let j = -11 + 15. Suppose -j*y - 4*k + 56 = 0, y = -3*k - 0*k + 6. Let m = y - 1. Does 7 divide m?
False
Suppose -g + 72 = 6. Is 9 a factor of g?
False
Suppose 5*w + 9 = 34. Let k = 1 - -4. Suppose u = -0*m + w*m + 46, k*u - 230 = m. Does 17 divide u?
False
Suppose -3*q = -4*q. Suppose q = 5*b - 0*b - 320. Is 28 a factor of b?
False
Is 7/((1/102)/((-6)/(-18))) a multiple of 14?
True
Let y = -12 - -18. Does 6 divide y?
True
Let q(m) = -m**3 + 9*m**2 + 16*m - 19. Is q(8) a multiple of 15?
False
Suppose -304 = -4*u - n, 380 = 5*u - 4*n + n. Is 8 a factor of u?
False
Let n = 2 + 19. Is n a multiple of 3?
True
Let k be 2*2/(-1 + 2). Suppose 5*u - 69 + k = 0. Does 10 divide u?
False
Does 2 divide ((-95)/15)/(2/(-6))?
False
Let y be 16/6*6/(-4). Let v(a) = -4*a + 8. Is v(y) a multiple of 10?
False
Let w(d) = d + 22. Let z be 3/3 - (-1 - -2). Is 6 a factor of w(z)?
False
Let z(g) = g**3 - 6*g**2 + 5*g. Let r be z(5). Let o = r - 1. Is 8 a factor of (1/2)/(o/(-16))?
True
Let h(i) be the first derivative of -i**2 + 12*i + 2. Let d(c) = c - 4. Let z(a) = 7*d(a) + 2*h(a). Does 3 divide z(3)?
False
Let l(h) = -h + 1. Let s be l(-2). Suppose -q - 32 = -s*q. Is 8 a factor of q?
True
Let j = 39 + -26. Does 10 divide j?
False
Suppose 7*n = 2*n + q + 2, 6 = 2*n - 3*q. Let d = -8 + 11. Is 12 a factor of n + 0/d + 24?
True
Let f = 28 - -10. Does 38 divide f?
True
Suppose 5*n - 5*d - 10 = 0, 3*d = -2*n + n + 18. Let u = 4 - n. Does 11 divide (-2 + (-3)/u)*-44?
True
Let u(f) = 17*f**2 + 1. Let q = -5 - -6. Is 9 a factor of u(q)?
True
Suppose -5*y + 4*r + 287 = 0, r = -3*y - r + 159. Is 16 a factor of y?
False
Suppose -4*w + 0*w = -16. Is w*1*91/28 a multiple of 13?
True
Suppose 0 = -4*g + 5*b + 350, 5*g = -4*b + 129 + 329. Is g a multiple of 30?
True
Suppose 0 = 2*y - 7*y - 35. Let g = 4 + y. Does 19 divide (-1)/g - 128/(-3)?
False
Does 24 divide (-2321)/(-44) + (-2)/(-8)?
False
Suppose 0 = 5*a + 45 - 195. Suppose -3*c + a + 18 = 0. Does 6 divide c?
False
Let m = -2 + -1. Is 40/1 + m + 2 a multiple of 13?
True
Suppose 3*j = 5*d - 18, -4*d - 5*j + 7 = -0*j. Suppose -d*l + 154 = 52. Is 15 a factor of l?
False
Let i(l) = -l**3 + 6*l**2 - 6*l + 1. Does 7 divide i(4)?
False
Suppose -9 = u - 4. Let g(z) = 2*z**2 + 3*z - 7. Is g(u) a multiple of 11?
False
Suppose -5*p - 10 - 10 = 0. Is (-3)/12 - 237/p a multiple of 25?
False
Let p = 74 + 55. Is 28 a factor of p?
False
Let z(s) = -s**2 - 6*s + 5. Let r be z(-6). Suppose -68 = -r*o + 2. Does 8 divide o?
False
Is 11 a factor of 1*(334/4)/(2/4)?
False
Let r(i) = -6*i**2 - 13*i - 16. Let n(g) = 7*g**2 + 14*g + 17. Let v(p) = -5*n(p) - 6*r(p). Is 11 a factor of v(-8)?
True
Let i(u) = -u**3 + 4*u**2 + 8*u - 4. Let y be -1 - -3 - (-2 + 0). Suppose y*b - s - s - 24 = 0, b - 13 = 4*s. Is i(b) a multiple of 4?
False
Suppose -7 = -p - 4. Suppose -p*c - 27 = -t, -t + c + 73 = 2*t. Does 6 divide t?
True
Suppose -5*o - z - 16 = 0, 2*o - 4*z + 8 = -6*z. Let k(b) = 1 - 4*b + 0*b**3 + 3*b - 2*b**3 - 3*b**2. Is k(o) a multiple of 11?
False
Let m be (-9)/(-18)*-3*2. Let c = m - -6. Suppose c = -l, -2*z = z + 2*l. Is 2 a factor of z?
True
Let l(j) = -j**2 + 14*j. Let m be l(13). Is 6 a factor of -2 + -3 + (m - -2)?
False
Let m(x) = x**3 - 3*x**2 - 6*x + 2. Let p be m(4). Let v be (p/9)/((-2)/57). Let l = 19 + v. Is 19 a factor of l?
True
Let d(a) = 22*a - 1. Let r be d(-2). Let o be (1 + 2)/(6/128). Let s = o + r. Is s a multiple of 15?
False
Is (-2)/8 + (-6345)/(-20) a multiple of 35?
False
Suppose -5*n - 4*s - 16 = 0, -20 = -5*n + 4*s + s. Is (4 - n)*1 + 24 a multiple of 6?
False
Let y(k) = 16*k**3 - 2*k**2 + 2*k - 1. Let a be y(1). Suppose h - a = 12. Does 9 divide h?
True
Let p be (-18 - 1)/((-2)/10). Suppose u = -4*i + p, 4*i + 32 - 129 = u. Is 7 a factor of i?
False
Does 15 divide (1/(-1) + 238)/1?
False
Suppose 4*i - 5*x - 11 = 0, 0 = -i - 4*i + 4*x + 25. Let z = -15 + 30. Let l = z - i. Does 3 divide l?
True
Let v(p) = 2*p - 6. Is 2 a factor of v(8)?
True
Suppose 56 + 118 = 3*o. Does 15 divide o?
False
Suppose -267 = 10*m - 11*m. Is m a multiple of 49?
False
Suppose -a + 0 = 3. Let z be 3/((6/4)/a). Does 8 divide z/(-15) + 83/5?
False
Suppose 77*w + 135 = 80*w. Is w a multiple of 10?
False
Suppose 0 = 5*v - 239 - 531. Is v a multiple of 14?
True
Suppose k - 28 = -2. Let y = 10 + k. Does 9 divide y?
True
Let z(w) = 6*w - 1. Let n be z(2). Suppose 0 = -i - 5*h - 16 - 6, -2*i + n = -h. Suppose g - 14 = 4*a, 3*g - i*a = 2*a + 49. Does 9 divide g?
True
Suppose -5*p + 20 = -0. Let f be (14/p)/(2/8). Suppose -y + f = -v + 53, 2*v + 5*y - 64 = 0. Is v a multiple of 14?
False
Let x = 0 + 3. Suppose -w = x*w - 160. Suppose 4*z = -z + w. Is 8 a factor of z?
True
Let o = 1096 - 760. Is o a multiple of 21?
True
Let b(j) = j**3 + 8*j**2 + 7*j - 1. Let a be b(-7). Let z be -1 + (a + 0 - 32). Let v = -14 - z. Is 11