lse
Let t be (-2)/4*(-2 + -2). Suppose 3*i = 3*d - 51, 2*d - t*i - 14 = -4*i. Is 10 a factor of d?
False
Let t(a) = a + 1. Let v be t(8). Suppose 3*m + 5 = -4. Let y = m + v. Is y a multiple of 6?
True
Let z(p) = 39*p - 12. Does 12 divide z(4)?
True
Does 14 divide 4302/42 + (-2)/21*-6?
False
Let w(o) = -o**2 - 3*o + 6. Let n be w(-5). Let s be (6/n)/((-12)/320). Suppose -s = k - 6*k. Is k a multiple of 8?
True
Let n = 44 + -25. Suppose 5 - n = -2*b. Is 7 a factor of b?
True
Let i(r) = -r**2 - 5*r + 5. Let w be i(-5). Let u be 802/10 + (-1)/w. Suppose -f + 116 = 4*y, -3*y = -2*f + 4 - u. Does 15 divide y?
False
Let z(f) = -f - 2 + 2*f**2 - 4*f - f. Let m be z(-4). Is 4 a factor of (m/15)/(-3)*-10?
True
Does 16 divide (15 + 35)*(-1)/(-2)*2?
False
Suppose -6*k + 8 = -4*k. Let x be 2 + (3 + -2 - k). Does 19 divide 19 - (x - (0 + -1))?
True
Suppose -m - 2*m = l - 13, -13 = -2*m - 5*l. Let y = m + 13. Is y a multiple of 9?
False
Let y(u) = 2*u + 9. Let i be y(-8). Let z(j) = -j + 2. Let v be z(i). Let h = v + -5. Is h even?
True
Suppose 3 = 4*k - 1. Let t(p) = 14*p**3 + p - 1. Does 7 divide t(k)?
True
Let u be (-5)/(45/(-6))*3. Let z = -7 + u. Let m = 8 + z. Is 3 a factor of m?
True
Suppose 4*z - 3*u - 19 = 30, 2*z = 4*u + 12. Is 3 a factor of z?
False
Let d = -11 - -19. Is d a multiple of 2?
True
Let c = -11 + 16. Suppose 0 = -2*f - b + 12, -2 = -2*f - b + c*b. Is f a multiple of 3?
False
Let x(b) be the second derivative of b**3/3 - 2*b**2 + 3*b. Let g be x(4). Suppose 4*v + 30 = g*w + 6, -v = -4*w + 30. Does 8 divide w?
True
Let l be (-3 - -9*2) + 3. Suppose -3*d + 3*p + l = 4*p, -5*p = 4*d - 13. Suppose -d*a = -2*a - 15. Is 2 a factor of a?
False
Let f(q) = q + 16*q**3 - 2 + 5 - 3. Does 17 divide f(1)?
True
Let y(d) = d. Let x(h) = h**2 - 10. Let n(j) = x(j) + 3*y(j). Does 14 divide n(-7)?
False
Suppose 2*y + 6 = i, 0 = 5*y + 2 + 3. Let v(g) = 8*g - 1. Let b be v(1). Let x = b - i. Is x even?
False
Let s = -4 - -10. Is s even?
True
Suppose -r + 5*r = -4. Let u(z) = -z - 26. Let o be u(-27). Is 6 a factor of o*(r + 3) - -10?
True
Suppose 2*k - 2015 = -11*k. Is k a multiple of 10?
False
Suppose -4*g = -12 - 4. Suppose 4*m + 2 - 14 = -g*s, 5 = 5*s. Suppose -j + m*j = 25. Is 9 a factor of j?
False
Let u(c) be the first derivative of -7/2*c**2 - 2*c + 7/3*c**3 - 1/4*c**4 - 2. Is 8 a factor of u(5)?
False
Let w(b) = -b**3 - 10*b**2 - 13*b - 8. Let s be w(-9). Does 7 divide ((-6)/(-4))/(3/s)?
True
Is 6 a factor of (-1)/(-4) + (-258)/(-72)*15?
True
Let k(q) = 9*q + 3. Let b be k(5). Let c = -17 + b. Is 11 a factor of c?
False
Let n = 590 + -400. Does 31 divide n*7/((-35)/(-2))?
False
Let p = 62 - 51. Is p a multiple of 11?
True
Let j be (-1)/(-2) - (-195)/10. Suppose s = -s + j. Does 4 divide s?
False
Let j(i) = 31*i**2 + 2*i + 1. Let c = -5 + 3. Let p be (c - (-10)/4)*-2. Is j(p) a multiple of 15?
True
Suppose -764 = -8*b - 28. Does 23 divide b?
True
Let g(n) = -n**3 + 11*n**2 + 5*n + 17. Is 16 a factor of g(9)?
True
Let d(a) = a**2 + 5*a + 8. Is 2 a factor of d(-4)?
True
Let j be (10/8)/((-3)/(-24)). Let k = j + -6. Does 4 divide k?
True
Suppose -20 = -5*p + 920. Suppose 3*d = -d + p. Does 12 divide d?
False
Is 6*((-57)/(-6) + 1) a multiple of 11?
False
Suppose 4*r = -4*h - r + 281, -r + 261 = 4*h. Is h a multiple of 16?
True
Let w = 935 + -661. Is 40 a factor of w?
False
Suppose -179 = 3*j - 4*b - 0*b, 4*b = -2*j - 106. Let x = 31 + j. Let z = 41 + x. Is 13 a factor of z?
False
Let r be 4/18 - (-4)/(-18). Suppose 60 = 4*q - r*q. Does 7 divide 8*3/30*q?
False
Let z(f) = 123*f**2 - 4*f - 2. Does 13 divide z(-1)?
False
Suppose 0 = -3*l - 5*v - 5, 17 = -4*v + 1. Is 5 a factor of l?
True
Let w(u) = u**3 + 9*u**2 + 8*u + 10. Let p(z) = -z**3 + z**2 + 4*z - 2. Let m be p(3). Let t be w(m). Let a(q) = 3*q. Is a(t) a multiple of 10?
True
Is 14 a factor of (-48)/(-9)*21/2?
True
Let f(m) = 0*m - m - 7 + 7 + 6 - m**3 - 6*m**2. Does 31 divide f(-7)?
True
Suppose -3*j = -0*j + 4*i - 199, -i + 4 = 0. Is 29 a factor of j?
False
Suppose -2*v + 2*x + 172 = 0, 3*v - 110 = -2*x + 158. Does 10 divide v?
False
Let k(r) = -71*r**3 + 2*r**2 + 3*r + 2. Does 8 divide k(-1)?
True
Let b = 6 + -13. Let w(s) be the first derivative of -s**4/4 - 2*s**3 + 3*s**2 - 2*s - 2. Does 2 divide w(b)?
False
Suppose -2*f + 12 = 2. Let b(o) = o**2 + 3*o - 1. Is b(f) a multiple of 13?
True
Suppose 0 = -2*s + 1 - 5, -346 = -3*u - s. Suppose -u + 26 = -3*g. Does 11 divide g?
False
Let l(g) = 3*g**2 - 2*g - 4. Let q be l(3). Let m(n) = n**2 + 8*n + 9. Let r be m(-8). Let w = q - r. Is 4 a factor of w?
True
Let g(j) = j + 14. Let w(i) be the second derivative of 2*i**3 + i**2/2 - i. Let x be w(-1). Does 3 divide g(x)?
True
Let z(g) = g**2 + 11*g + 15. Does 11 divide z(-12)?
False
Let u be 2/((-4)/(-6)) - 23. Let q = u - -71. Does 17 divide q?
True
Let g = 174 + -120. Let d = g - 18. Is d/((-5)/((-10)/3)) a multiple of 8?
True
Is 2/8 - 402/(-24) a multiple of 4?
False
Suppose -2*k - 6 + 150 = 0. Suppose 5*q - k = q. Suppose -5*y + q = -2*y. Is y a multiple of 6?
True
Let v = 6 - 4. Let l = -90 - -128. Is (-2*l*-1)/v a multiple of 16?
False
Let n be 52/(-39)*6/(-2). Let c be 741/21 - (-4)/(-14). Suppose -v + c = n*v. Is v a multiple of 7?
True
Let y(o) = -o**3 + 3*o**2 + 8*o - 7. Is 13 a factor of y(3)?
False
Suppose -4*l + 7*l + 80 = 2*d, -2*d + 80 = 4*l. Is d a multiple of 14?
False
Let q be ((-144)/42)/(2/(-105)). Suppose 0 = -4*p + 8 + q. Does 23 divide p?
False
Let u(t) = -t**3 + 4*t**2 + 7*t - 1. Is u(-5) a multiple of 24?
False
Suppose 5*i + 424 = 179. Suppose 0 = 7*a - 2*a + 165. Let s = a - i. Is s a multiple of 8?
True
Let q(v) = 2*v**3 - v**2 - 1. Let n(w) = 4*w**3 - 2*w**2 - 2. Let p(i) = -2*n(i) + 5*q(i). Let k(l) be the first derivative of p(l). Is k(2) a multiple of 10?
True
Is (-1668)/(-42) - 4/(-14) a multiple of 8?
True
Let b(o) = -o**2 + o + 24. Suppose 0*s + 5*d = -3*s + 27, -36 = -4*s - 4*d. Let r = s + -9. Is b(r) a multiple of 9?
False
Let d = 159 + 81. Is d a multiple of 16?
True
Suppose 0*x = -2*x + 2. Suppose -r - x + 0 = 0. Is 14 a factor of 29 + r + (2 - 2)?
True
Suppose 5*m + 40 - 170 = 0. Suppose 5*p - 2*o = 107, 2*p = p + 5*o + m. Is p a multiple of 11?
False
Let z be 1/(-6) + 1562/12. Let s = -78 + z. Suppose -2*q + s = -0*d + 4*d, -2*d - 4*q + 14 = 0. Does 6 divide d?
False
Suppose 4*g = 3 + 9, -4*v - 2*g = -26. Is 5 a factor of v?
True
Let y(a) = -20*a + 22. Let q(s) = -8*s + 9. Let d(h) = 12*q(h) - 5*y(h). Is d(6) a multiple of 11?
True
Let o(i) = 5*i - 18. Is o(7) a multiple of 17?
True
Let w(x) = -x - 2. Let y be w(-4). Suppose 5*v + 3*l = -0*v - 29, 6 = -y*v - 4*l. Let f = v + 13. Is f a multiple of 3?
True
Let c(h) = -2*h**3 + h**2 - 3*h - 3. Let n = 0 - 2. Is c(n) a multiple of 17?
False
Suppose 4*n + 36 = 6*n. Is n a multiple of 9?
True
Let a = -39 + 75. Suppose 16 = -2*j - a. Let p = -1 - j. Is 10 a factor of p?
False
Let m = 69 - 45. Suppose -5*g + 2*c - 3*c = -26, -5*g = -c - m. Is 5 a factor of g?
True
Let v = -14 - -1. Let z(d) = -d**3 - 12*d**2 + 9*d - 16. Does 18 divide z(v)?
True
Let a = 16 - 8. Is a/(-2) - (0 + -74) a multiple of 35?
True
Suppose -7*m + 2*m = 5*r - 1115, 0 = -5*r + 2*m + 1101. Suppose 3*p = r - 32. Is 21 a factor of p?
True
Let f(k) = k**2 - 8*k - 5. Let m be f(8). Let q = m + 15. Is 8 a factor of q?
False
Suppose -5*c + 346 = 106. Is 48 a factor of c?
True
Let y(c) be the second derivative of c**5/4 - c**2/2 + 3*c. Let p be y(-1). Is 4 a factor of p/4*(-30)/9?
False
Suppose 4*t - 12*t = -320. Is t a multiple of 5?
True
Suppose 0 = -v - 9 + 44. Suppose v + 9 = -2*h. Let m = h + 64. Is 14 a factor of m?
True
Let x(r) = -r**3 + 7*r**2 - 2. Let y be x(6). Let i = y - 4. Is i a multiple of 15?
True
Suppose 0 = -6*s + 215 + 127. Does 13 divide s?
False
Let r be ((-20)/6)/((-6)/45). Suppose 0 = s + 2 - r. Is 10 a factor of s?
False
Let z be ((-5)/(-2) + -1)*-12. Let f be z/(2 + (-3)/6). Is f*-2*(-5)/(-3) a multiple of 20?
True
Is 15 a factor of -6 + 4 - (3 - 136)?
False
Let k(n) be the third derivative of -2*n**5/15 - n**3/6 - n**2. Let z be k(-1). Is 6/27 - 133/z a multiple of 11?
False
Is 7 a factor of -2 - 0 - (0 - 23)?
True
Suppose 28 = 5*t - 7. Is t a multiple of 7?
True
Let x = 13 + -10. Suppose -c + x*b = -20, 3*c = -2*c + 5*b 