lse
Let b = -8 - 16. Let k = 36 + b. Suppose k*a - 15*a + 84 = 0. Is 7 a factor of a?
True
Let g = -505 + 507. Suppose g*r - 1252 = 6*c - 2*c, -3*r + 1910 = 2*c. Is 17 a factor of r?
False
Suppose -3*d + d + 230 = 0. Let w be (-2)/(60/(-6)) - (-816)/20. Let o = d + w. Is o a multiple of 12?
True
Let n = 4067 - 1727. Is n a multiple of 15?
True
Suppose -h + 141 = j - 21, -2*j = -5*h + 796. Let t(u) = u + 1. Let s be t(4). Suppose s*p - 35 = h. Is 10 a factor of p?
False
Is 820264/54 - 72/972 a multiple of 8?
False
Let p = 384 + -378. Does 24 divide -6*(p + (-1445)/10)?
False
Let s(a) = 186*a + 97*a + 112*a - 119*a. Does 12 divide s(1)?
True
Let p(m) = -32*m + 5. Let b be p(7). Let r = b - -374. Is 41 a factor of r?
False
Is (-36)/84*(-447566)/21 a multiple of 76?
False
Let i be (0/(-18))/(1 + -2). Let d be (i + -6)*5/(-10). Suppose 3*v + k - 61 = 5*k, 0 = -d*v - 2*k + 55. Is 4 a factor of v?
False
Let k = -17 + 19. Suppose 0 = -4*f - a - 5, -5*a = -k*f + 36 - 11. Suppose 0*w + w - 30 = f. Does 29 divide w?
False
Suppose 3*y - 2714 = -5*l, 16*y - 2*l - 923 = 15*y. Does 7 divide y?
False
Let p = -759 - -759. Suppose 967 = 3*x - 4*g, 2*x - x + 5*g = 316. Suppose -5*d + x + 79 = p. Is d a multiple of 9?
False
Let u(z) be the third derivative of -z**6/120 - 3*z**5/20 - 3*z**4/4 - 2*z**3 + 35*z**2. Let n be u(-7). Suppose 294 = n*d - 10*d. Does 6 divide d?
False
Let h = 15380 + -8699. Is 131 a factor of h?
True
Let h be (2/(-3))/(3*(-2)/45). Let b be (71 - h) + (-1)/(-2)*-4. Let c = 94 - b. Does 6 divide c?
True
Let t be 36*(0 - (-40)/15). Suppose 0 = f - 35 - 189. Let o = f - t. Is 15 a factor of o?
False
Let y(x) = x**3 + 5*x**2 - 21*x + 7. Let n be y(3). Suppose -4*g = n, -3*z + 1131 + 1237 = -4*g. Does 12 divide z?
False
Let l be 4/18*3*(-10791)/66. Let p = l - -41. Let f = -40 - p. Does 14 divide f?
True
Is 10 a factor of -12*6980/(-320)*28?
False
Let m be 83/4 + 12/16*-1. Suppose -m = -u - 4*u. Suppose u*o - 37 = 139. Is 22 a factor of o?
True
Let x(h) = 2*h**3 + 4*h**2 - 236*h + 159. Is x(16) a multiple of 16?
False
Let z(u) = -302*u - 2536. Is 7 a factor of z(-23)?
True
Suppose -212*t + 335263 = 82*t - 709025. Does 10 divide t?
False
Suppose 8*i + 2*p = 322924, 4*i - 7*p + 4*p = 161454. Is 69 a factor of i?
True
Suppose -2*y + 4*i + 37346 = 0, 3*y = 21*i - 24*i + 56028. Is y a multiple of 11?
False
Suppose -3*s + 5414 = 4*f, 0*f - 5*f + s + 6758 = 0. Is f a multiple of 52?
True
Let c(a) = a**2 - 6*a + 37. Let p be c(17). Suppose -p = -5*m + 11. Does 7 divide m?
False
Suppose -67832 = 8*g - 106664. Is g a multiple of 6?
True
Let t(f) = 4*f**3. Let p be t(4). Let m be 91/5 + (-160)/(-200). Let b = p - m. Is b a multiple of 13?
False
Let w(u) = 2*u**2 - 28*u + 6. Let m be w(14). Suppose -5*v = 5*h - 10, -2*v = -m - 0. Is 35 a factor of (((-5600)/(-4))/(-4))/h?
True
Let t be (-1590)/(-195) + 10/(-65). Suppose 0 = -t*n + 1173 + 4395. Is n a multiple of 68?
False
Is -1 + (1 - (-2)/10) + 185458248/15660 a multiple of 13?
True
Suppose -t = -3*m - 2223, -5*t + 11126 = 25*m - 29*m. Is t a multiple of 7?
True
Let g(n) = 7*n + 2. Suppose -l = 3*l + d, -d = -4*l - 8. Let y be g(l). Let s(m) = m**3 + 5*m**2 - 7*m - 7. Is s(y) a multiple of 28?
True
Let l = 10 + -18. Let g be -4 - (3 + -3 + l). Suppose 0 = -3*h - 3, 0*o + 80 = 2*o + g*h. Is 21 a factor of o?
True
Let v(h) = h**3 - 16*h**2 - 24*h - 18. Let k be v(17). Let o = 213 + k. Is o a multiple of 38?
True
Suppose -8*i - 13*i = 37*i - 950040. Does 42 divide i?
True
Suppose -171*a = -169*a - 2*z - 11882, -z + 3 = 0. Is 223 a factor of a?
False
Suppose -15 = 3*s + 315. Let m = s + 124. Is m a multiple of 14?
True
Let l be 5/((0 - (-4 - -3))/1). Suppose -2 = 2*x - 2*k, l*x + 5 + 14 = -2*k. Let h(f) = 4*f**2 + 3*f + 1. Does 17 divide h(x)?
False
Let k = 166 - 89. Suppose -3*m = k + 7. Does 18 divide (m - 4/2)/(1/(-3))?
True
Let z be 14/(-273)*-26*(-6)/(-2). Suppose 4*b = -3*y + 2339, -55*b = -z*y - 59*b + 3124. Does 83 divide y?
False
Let n(y) be the second derivative of -y**5/20 + 7*y**4/12 - 11*y**3/6 + 18*y**2 - 29*y - 1. Is n(6) even?
True
Let n(u) = -50*u**3 + u**2 - 31*u - 90. Is n(-4) a multiple of 10?
True
Let r(j) = -502*j - 19. Let m be r(-7). Suppose 4*b - m = -5*p, p = 2*p - 2*b - 699. Suppose -4*d + p = -d. Is d a multiple of 32?
False
Suppose 14*w = 28*w - 34818. Suppose -5*o + 502 = y, 6*y - y + 2*o - w = 0. Is 71 a factor of y?
True
Let l be (-7)/(-14)*2*(-8 - 0). Is 751 + (-7 - l) + -4 a multiple of 34?
True
Let q be ((-6)/(-2) - -1025) + (-6)/2. Suppose 5*c + 3*j - q = 0, 11*c + 5*j - 205 = 10*c. Is c a multiple of 9?
False
Let m(w) be the third derivative of 13*w**4/8 + 7*w**3/3 - 58*w**2. Is m(5) a multiple of 11?
True
Suppose 0 = -2*i - 2*p + 3*p + 518, 0 = -i - 2*p + 249. Let w = -128 + i. Is w even?
False
Let n = 111 - 78. Suppose 20*m = -n + 3013. Does 6 divide m?
False
Let h(b) = 7*b**3 - 4*b**2 + 9*b - 2. Let m = -42 - -33. Let j(c) = c**2 + 7*c - 15. Let n be j(m). Is h(n) a multiple of 30?
False
Let k(u) = u**2 - 8*u + 14. Let x be k(10). Suppose -9*n + 5085 - 3933 = 0. Let g = n - x. Does 14 divide g?
False
Suppose -u - 21 = -206. Let q = u - -13. Is 31 a factor of q?
False
Let f(y) = 147*y + 53. Let d(p) = -220*p - 80. Let g(h) = 5*d(h) + 7*f(h). Let i(b) = -24*b - 10. Let q(u) = -3*g(u) + 8*i(u). Is 19 a factor of q(4)?
False
Suppose 4*n + 122 - 670 = 0. Suppose q + 2*t + 0*t - n = 0, 509 = 4*q - 5*t. Let x = -102 + q. Is 29 a factor of x?
True
Let s = -1057 - -2778. Is s a multiple of 53?
False
Let d = -6994 + 20731. Is (d/76)/((-38)/(-16) + -2) a multiple of 9?
False
Suppose 3*g - 3*h - 28503 = 0, -150*g = -152*g - 2*h + 19010. Is g a multiple of 43?
True
Let v(b) = 107*b**2 - 25*b + 19. Let t(g) = 53*g**2 - 12*g + 10. Let u(j) = -5*t(j) + 3*v(j). Is 15 a factor of u(-4)?
False
Let a = -282 - -3747. Is a a multiple of 9?
True
Let w(p) = 330*p - 67*p + 20 - 575*p. Is 18 a factor of w(-2)?
False
Suppose -14*k + 16*k = 0. Suppose 3*p + 4*w - 7 - 19 = k, 3*w + 3 = 0. Suppose p*l - 4*l = 48. Is l a multiple of 4?
True
Suppose -m = 4*l + 8, 6 + 1 = -m - 3*l. Let t be (16/28)/(3/((-126)/(-12))). Is 4 - ((-1)/t)/(m/(-88)) a multiple of 2?
False
Suppose -22*f - 49860 = -5*k - 18*f, 4*f = 3*k - 29908. Is 29 a factor of k?
True
Suppose 57 = 7*p + 15. Suppose -5*j - a = 27, p*j - 4*j + 5*a = -20. Does 13 divide 95 + -1 - (0 + j/(-5))?
False
Suppose -z = 10*o - 5*o - 33079, -4*o + 4*z + 26492 = 0. Does 4 divide o?
False
Suppose u = v, -2*u + 4*v - 11 = -1. Suppose -5*p + u*g + 2770 = 0, 4*p + 4*g - 2221 = 7*g. Does 16 divide p?
False
Suppose -4*t = 2*u - 66, 34 = 3*u - 3*t - 47. Is -1*(1 + 3) - (u + -84) a multiple of 17?
True
Suppose 5*x = 4*t + 33449, -3*x - 2*t + 4076 + 16011 = 0. Let c = -4495 + x. Is 14 a factor of c?
True
Let v(j) = 263*j + 10307. Is v(0) a multiple of 31?
False
Let u(m) be the third derivative of m**5/60 + m**4/6 - 11*m**3/2 + 111*m**2. Does 7 divide u(10)?
False
Suppose -4*j = -2*j + 5*h + 4, 0 = 5*j + 3*h + 10. Let p be (0 - (-15 + j)) + -18 + 15. Suppose 13*y + 71 = p*y. Does 5 divide y?
False
Let t(j) = 831*j**2 - 407*j + 3165. Does 71 divide t(8)?
False
Let f(s) = 459*s + 920. Is 22 a factor of f(11)?
False
Does 13 divide ((-342)/5)/(15/(4 + -454))?
False
Does 92 divide 6532/(23 + -24)*(-2)/(-4)*-2?
True
Let a(u) = 2126*u**2 - 6*u + 4. Let d be a(1). Suppose 6*r - d = 2262. Is r a multiple of 43?
True
Suppose 0*n - 2*n = 3*n. Suppose -l + j + 116 = n, 3*l - 24*j = -25*j + 356. Is 11 a factor of l?
False
Suppose -5*c + 35 = 5*d - 0, d = 3. Suppose -5*v + 14 = c*h - 3, -2*h = -4*v + 24. Is 61 + v/15*-3 a multiple of 20?
True
Suppose 4*w - w - a = 84, -4*a = -5*w + 133. Suppose w*k + 525 = 34*k. Is k a multiple of 35?
True
Let y = 1249 + -2025. Suppose -26*m = -31*m - 2330. Let k = m - y. Is 26 a factor of k?
False
Let f(a) = -a**2 + 4*a + 1. Let x be f(0). Let d be (9/(-36) - 54/8)*x. Let t(n) = -n**3 - 7*n**2 - 6*n + 7. Is 8 a factor of t(d)?
False
Let c(y) be the second derivative of 7*y**2 + 0 + 14*y + 1/2*y**3. Is 14 a factor of c(0)?
True
Let u(r) = r**2 + 14*r + 40. Let m be u(-9). Let y(i) = -i**2 - 34*i - 6. Let h(z) = 17*z + 3. Let x(n) = m*h(n) - 2*y(n). Is x(12) a multiple of 27?
True
Suppose 0 = -18*m + 21598 + 17246. Suppose -6*y - m = -6298.