lse
Suppose 16 + 5 = 2*o - 5*p, 15 = -5*p. Suppose o*d = 5*d + 8. Let c = 20 + d. Does 8 divide c?
True
Suppose -7*j = -1858 + 101. Does 15 divide j?
False
Let q(d) = -15*d - 8. Let i(f) = f + 1. Let y(o) = -4*i(o) - q(o). Let s be y(2). Does 4 divide (10/(-20))/((-1)/s)?
False
Let a = -2206 + 5729. Is a a multiple of 8?
False
Let v = 1269 + -1126. Does 3 divide v?
False
Let u be 2/7 - (-34)/(-119). Suppose u = 18*a - 862 - 416. Is a a multiple of 8?
False
Suppose -7*u + 10*u = 927. Suppose -939 = -5*a - u. Does 14 divide a?
True
Suppose -2*g = -5*g - 63. Is 52 a factor of ((-763)/g)/((-3)/(-9))?
False
Let m(g) = 3*g**2 - 37*g + 4. Let d = 135 - 122. Does 5 divide m(d)?
True
Let b = 182 + -97. Suppose 2*c - 359 + b = 0. Suppose 5*n + 3*z - c = 0, -2*n - 4*z - 34 = -4*n. Is 11 a factor of n?
False
Suppose 2*h - 7*h + 4*b + 209 = 0, -b = -2*h + 86. Suppose -5*q + h + 125 = 0. Does 6 divide q?
False
Let h be ((-6)/18)/((-2)/12). Suppose -4*d = -2*a - h - 54, 2*d - 28 = 5*a. Is d a multiple of 7?
True
Suppose -5*r = -g + 714 - 5, -3*g = r - 2111. Is g a multiple of 8?
True
Suppose -3*f + 5277 = 3*t, -14*f + 17*f + 5*t - 5269 = 0. Is 41 a factor of f?
True
Let y(g) = -g**3 + 8*g**2 - 13*g + 4. Let z be y(6). Let h = 63 + z. Does 11 divide h?
False
Suppose 0 = 5*q - 11 - 4. Suppose 0 = -8*i + q*i - 250. Is 9 a factor of 4/((-8)/i) - -2?
True
Suppose 0*q + 4*q - 23 = -3*d, -q - 8 = -2*d. Let h(s) = -5*s + 8. Let w(j) = -21*j + 32. Let o(b) = q*w(b) - 9*h(b). Does 13 divide o(13)?
False
Let v(f) = f**3 + f**2 - 3*f + 65. Is 2 a factor of v(0)?
False
Suppose -5*p + 5 = 0, 8*f - 218 = 3*f - 3*p. Does 6 divide f?
False
Let t(b) = -b**3 + 11*b**2 - 5*b - 6. Suppose -22 = -3*g + 2*n, 0*g = -g - n + 14. Is t(g) a multiple of 15?
False
Let u(c) = 2*c**2 - 50*c - 148. Is u(38) a multiple of 21?
True
Suppose -98 = -4*a + 3*i, -a + 0*i = 2*i - 30. Let q = 142 + a. Does 12 divide q?
True
Suppose 35 + 30 = 5*r. Is r a multiple of 3?
False
Let o = -8 + 10. Suppose -4 = -o*c + 2. Does 18 divide 146/8 - c/12?
True
Let x be 0 - 184/(-3 - 1). Let v = x - 16. Is v a multiple of 15?
True
Suppose 2*a - 301 = -3*n + 733, -507 = -a - 4*n. Is 10 a factor of a?
False
Does 42 divide (-24)/(130/(-42) + 5 + -2)?
True
Suppose 2*u + 320 = 3*g, -103 = -g - 0*u - 3*u. Let n = g + 31. Does 6 divide n?
False
Let t = -439 + 493. Is t a multiple of 2?
True
Let j = -14 - 23. Let t be 0 + (-4)/4 + j. Is (-4)/2*247/t a multiple of 11?
False
Suppose 0 = 6*a - a - 35. Suppose a*g - 3*g - 72 = 0. Does 5 divide g?
False
Suppose -8*g - 4*a = -12*g + 440, 0 = -4*g - 2*a + 416. Is 5 a factor of g?
False
Let i(w) = -2*w - 29. Let q be ((-26)/2 + -4)*1. Let d be i(q). Suppose 72 = d*x - 108. Is x a multiple of 12?
True
Suppose 15 = 5*u + 5. Let c be (0 - 2)*(-7)/u. Let h(g) = 8*g - 2. Is 9 a factor of h(c)?
True
Let j(u) = -u**3 + 6*u**2 - 3*u - 2. Let z be j(5). Let n be (-4 + 0)*(-2)/z. Let g(p) = 23*p. Does 8 divide g(n)?
False
Let t(z) = z**3 + 6*z**2 - 7*z. Let j be t(-7). Let q be (-8 + 3)*(j - 1). Suppose 4*r + 3*g - 272 = 221, -3*g + 620 = q*r. Does 27 divide r?
False
Suppose 0 = -3*a + 9 - 3. Suppose -4*p = 2*y - 234, 7*p + y = a*p + 297. Is p a multiple of 30?
True
Let c be (14/(-5))/((-9)/45). Let n = -11 + c. Suppose 0 = -k - 4, 7*k - n*k = -3*y + 197. Is 33 a factor of y?
False
Let c(t) = -3*t + 9. Let a be c(5). Let z(n) = -n + 17. Let i be z(11). Let g = i - a. Is g a multiple of 6?
True
Suppose -4*k = m + 33, 0*m - 5*m = 5. Is 8 a factor of 132/k*-2 + -1?
True
Suppose -2*z + x + 8 = 0, 5*x + 7 = 3*z - 19. Let w be (0 - 0) + (-4)/(-2). Suppose 0 = 2*r + 2*r + z*u - 34, -5*r - w*u + 44 = 0. Is r a multiple of 5?
True
Suppose o = -4*t - o - 14, -5*t - 22 = 4*o. Let p be (-2)/(-2) - -5 - (9 - 11). Let f = p + t. Is 6 a factor of f?
True
Let j(h) = -16*h - 240. Let w be j(-15). Suppose -3*r = -2 + 41. Does 14 divide (-6 - r)*(10 - w)?
True
Let j be 152/36 - 6/27. Let c(w) = 23 - 5*w - 8 + j*w. Is 5 a factor of c(0)?
True
Let t be (1 - 0)/((-10)/(-30)). Suppose c + 21 = 2*f, -2*f + 7*f - 54 = t*c. Suppose 3*k - f = 3, 3*i = -2*k + 68. Is i a multiple of 5?
True
Let y(q) = q**3 - 17*q**2 - 68*q + 234. Is 84 a factor of y(24)?
False
Is -2 - -5 - (-22 + -380) a multiple of 3?
True
Suppose -4*r = -6*r + 204. Suppose 0 = -7*s + 6*s + r. Is 15 a factor of s?
False
Let t(b) = 9*b**2 - b + 2. Let j = 16 - 13. Suppose -j = c - 0. Does 25 divide t(c)?
False
Let s(k) = -k**3 - k**2 + 2*k + 3. Let n be s(-3). Is 23 a factor of 6/(-4)*(-710)/n?
False
Let t(j) be the third derivative of -j**6/120 - j**5/20 + j**4/24 + j**3/3 + 2*j**2. Let g be t(2). Is 3 + 4/(g/(-172)) a multiple of 10?
False
Does 11 divide (-237900)/(-360) + (-2)/(-12)?
False
Let j = 22 + -9. Let l(m) = 3*m + 1 - 1 + 12*m**2 + 14*m - 1 - m**3. Is 15 a factor of l(j)?
False
Suppose g + 6*j - 5*j = 0, 0 = -2*j - 8. Suppose a - g*a = -288. Is 15 a factor of a?
False
Suppose 0 = 8*t - 4144 - 720. Suppose t = -3*s + 7*s. Is 19 a factor of s?
True
Suppose -4*q - 3*o - 16 = 0, 0*o - 4*o = -3*q + 13. Let z(u) = -112*u**3 - u**2 - u. Does 23 divide z(q)?
False
Suppose 28*y = 22*y + 2160. Is 15 a factor of y?
True
Suppose -18*t = -16*t - 1292. Suppose -4*a - 311 = -3*c, -5*a = 5*c + 116 - t. Suppose 6 = -3*o + c. Is o a multiple of 11?
True
Let l(h) = -h**3 + 3*h**2 + 3. Let o be l(3). Suppose -o*j - 48 = -4*j. Is 16 a factor of j?
True
Suppose -33 = 5*s + 42. Let c = s - -19. Is c a multiple of 4?
True
Let i be 8 + (2 + -3)/(9/18). Suppose i*j - 370 = -34. Does 4 divide j?
True
Let l(f) = -f**3 + 4*f**2 + 9*f + 14. Let y be l(6). Is 10 a factor of (y/(-3))/((-4)/(-150))?
True
Let u(n) = n**2 - 3*n - 1. Let s be u(4). Suppose -25 = -2*p - 15. Suppose p*i + 59 = 3*k - 91, -2*k + 99 = -s*i. Is k a multiple of 15?
True
Suppose -5*j + 3*r = r - 1, 8 = 4*r. Does 10 divide (146 + -4)/(-2 + j - -2)?
False
Let g(o) be the first derivative of -o**4/4 - 4*o**3/3 - 2*o**2 - 2. Let z be g(-3). Suppose 84 = z*b - 3*y, b - 3*y + 156 = 6*b. Does 30 divide b?
True
Let x be (-285)/(-3)*(0 + 1). Let c = -65 + x. Is c a multiple of 15?
True
Let c(q) = q**2 + 2*q + 5. Let k be c(-4). Suppose l - k = -3*z + 2*l, -2*z = -2*l - 6. Suppose -z*d = -50 - 0. Is d a multiple of 5?
True
Suppose -2*x + 12 = x, 3*g - 40 = 5*x. Let b be (15/(-10))/(3/g). Let w = b + 30. Is w a multiple of 20?
True
Let n = -6653 - -9607. Suppose 11*s + 347 - n = 0. Does 46 divide s?
False
Suppose -2*w - 15 = -7*w. Suppose 4*v - 178 = -w*g, 6 = g + 4. Suppose -4*b + 2*m = -130, -4*m - 118 - v = -5*b. Does 11 divide b?
True
Suppose 0*z = z - 8. Let l be z/((4 - 1) + -1). Suppose -5*m + 32 = -l*m. Is m a multiple of 5?
False
Let p = 14 + 0. Let a = 24 + -20. Let q = p - a. Does 8 divide q?
False
Let l(k) = 1. Let y(a) = -13*a. Let q(z) = -z**3 - 3*z**2 + 5*z + 3. Let m be q(-4). Let g(p) = m*y(p) - 4*l(p). Does 26 divide g(6)?
False
Let w = -7 - -13. Suppose 4*a - 320 = 4*c, 2*c - w*a + 3*a = -156. Let z = -54 - c. Is z a multiple of 15?
True
Let u = 509 - 257. Is u a multiple of 16?
False
Let n(j) = -7*j - 1 - 6 - 1 + 3. Let f(g) = -1. Let s(u) = -f(u) - n(u). Does 24 divide s(6)?
True
Let v(l) be the third derivative of -l**5/30 - l**4/4 - l**3/3 - 3*l**2. Let i(y) be the first derivative of v(y). Does 6 divide i(-6)?
True
Let h(d) = -d**3 - 14*d**2 - 19*d - 16. Let i = 6 + -10. Let z = i + -9. Does 18 divide h(z)?
False
Let f be ((-15)/10)/((-3)/(-4476)*-6). Suppose 3*b = o - 385, -3*b = -o - 4*b + f. Does 47 divide o?
True
Let u(b) = 8*b + 2. Is 6 a factor of u(14)?
True
Suppose -4*d + 3*y + 8 = 0, y - 42 = -5*d - 13. Suppose -53 - 82 = -d*p. Let n = -11 + p. Is 8 a factor of n?
True
Let t(d) = d**2 + 8*d + 14. Let i be t(-6). Is 22 a factor of (-28 + 1)*-1 + i?
False
Let i(q) = -q**2 + 28*q + 8. Let h be i(18). Does 11 divide -5 + h/5 + 4/10?
True
Is 12 a factor of (-2)/(5 + 3128/(-624))?
True
Suppose 0*a - 4*a - 2*g = -11202, 0 = 2*a + 4*g - 5598. Does 12 divide a?
False
Does 46 divide 11/((-33)/(-72))*(-230)/(-15)?
True
Let u = -3 + 51. Suppose -2*i + 10 = 6*g - g, 5*i - 46 = -2*g. Let h = u - i. Is h a multiple of 21?
False
Suppose -2*i - 5*a - 7 = 18, 2*i = -a - 37. Does 9 divide 8/i + 322/5?
False
Suppose 5*y - 1472 = -11*y. Is 4 a factor of y?
True
Let r(c) = -c**2 - 7*c + 1. Let