lse
Let s = 58 - 46. Suppose 2*j = -v + 4, 3*v - 2*j - 2*j - s = 0. Is 17 a factor of 67/v + (7/(-4) - -2)?
True
Let k(z) = 38*z + 5. Let o = 41 - 38. Suppose -2*c + 7*c - 18 = o*g, 2*c - 7 = g. Does 17 divide k(c)?
True
Is 32129/3 - (-4 + -14)/54 a multiple of 102?
True
Let f(n) = -199*n**3 - 17*n**2 - 30*n - 9. Is 93 a factor of f(-3)?
True
Suppose 16*m - 20*m = -4*s + 136192, -102144 = -3*s - 5*m. Is 133 a factor of s?
True
Suppose -n - 5*k + 4005 = -6095, -5*n + 5*k + 50380 = 0. Is n a multiple of 8?
True
Suppose d - 30 = -5*d. Let b be (d/(-10))/(1/(-166) - 0). Suppose -k + 38 + b = 0. Is k a multiple of 24?
False
Suppose 0 = -15*w - 5468 + 28238. Does 69 divide w?
True
Let w(a) = a**2 - 22*a + 1. Let l = -61 - -65. Suppose -19 = -i + l. Is w(i) a multiple of 6?
True
Suppose 5*s = -20, 10*h + s = 11*h - 2776. Suppose -286*o + 292*o - h = 0. Is o a multiple of 7?
True
Suppose -3*f + 0*f = 4*p - 14, 4*f + 3*p = 14. Suppose -5*c = -3*i + 2229, -f*c + 1060 - 3280 = -3*i. Does 82 divide i?
True
Suppose -1 = 5*g - 11. Let y be (1085/40 - -5) + g/(-16). Suppose 2*m - 4*p - y = 0, 0 = -2*m + p + 25 + 19. Does 2 divide m?
True
Let m be (18/(-54))/(1/(-18)). Let v(d) = 31 + 3*d + 0*d + 4*d + 4*d. Does 12 divide v(m)?
False
Let y(g) = -69*g**3 - 10*g**2 + 22*g + 6. Does 9 divide y(-6)?
True
Let r(s) = 6*s**3 + 16*s**2 + 14*s - 17. Let j(z) = 11*z**3 + 31*z**2 + 26*z - 33. Let k(m) = -3*j(m) + 5*r(m). Does 20 divide k(-9)?
True
Suppose 4*l - 13757 = 5*a, -3*l = a + 3*a - 10341. Is l a multiple of 24?
False
Let t = -3647 - -3697. Suppose -10 = -4*q + 2. Suppose -58 - t = -q*s. Is 4 a factor of s?
True
Suppose o = -10*o + o. Suppose 0*m + 605 = 3*m - k, -2*m - 5*k + 375 = o. Does 27 divide m?
False
Suppose -57 = -3*t + 2*d + d, -3*t = -4*d - 59. Let o(c) = -t + 34 + 9 - 6*c + 37. Is 33 a factor of o(-25)?
False
Suppose 4*z - 3*f = -66, 0 = -3*f - 3 + 9. Let u be (0 + 12/z)/(4/(-30)). Suppose -u*k = -0*k - 300. Is 4 a factor of k?
False
Suppose 10 = 19*o + 143. Does 54 divide (3*(-21)/(-27))/(o/(-3297))?
False
Is 99 a factor of (-21 + 2346/85)/((-1)/(-195))?
True
Suppose 0 = 5*v - s - 462, -3*v + 4*s = 6*s - 285. Is 12 a factor of (2 - 8/3) + 8990/v?
True
Let w = -349 + 351. Suppose w*b + 36*b = 21280. Is 70 a factor of b?
True
Let r(g) = 7*g**3 + 25*g**2 + 28*g + 36. Let y(b) = -20*b**3 - 75*b**2 - 84*b - 107. Let s(k) = 17*r(k) + 6*y(k). Does 10 divide s(-24)?
False
Let q = 6861 + -3657. Does 70 divide q?
False
Is 94 a factor of (-39)/26 + (-6 - 75649/(-14))?
False
Let a(c) = 4742*c**2 - 19*c + 2. Is a(1) a multiple of 35?
True
Let o(d) = 44*d**2 - 18 + 35*d**2 + 16*d**2 - 6*d + 15*d + 213*d**2. Is o(2) a multiple of 14?
True
Let m be 3/(-6) - 20048/(-32). Let t = 966 - m. Is 20 a factor of t?
True
Let u be 1/((-2)/6) - (25 - 28). Suppose u = -6*t + 11 + 19. Suppose v + t*o = 138, -2*v + 5*v = -2*o + 453. Is v a multiple of 17?
True
Let g(l) = -4*l**2 - 4*l + 78. Let b be g(-6). Is (9632/b)/((-3)/18) a multiple of 16?
True
Suppose -9 = 2*f + x - 2, -9 = -3*f + 5*x. Let g(l) = -2*l**2 - l - 1. Let t(h) = 15*h**2 - 2*h - 1. Let k(m) = -g(m) + t(m). Is k(f) a multiple of 14?
True
Let a = -18879 + 19618. Is a even?
False
Let s = 2825 + -2682. Is s a multiple of 2?
False
Suppose -4*i - 4629 = 1923. Let l = -1098 - i. Does 6 divide l?
True
Let k = -7172 - -8250. Does 7 divide k?
True
Let o(t) = 5*t + 24. Let f be o(-4). Suppose 0 = -10*n - f + 24. Suppose -5*h - n*b + 282 = -4*h, 2*b = 2*h - 546. Is 46 a factor of h?
True
Let l(g) = -2*g**3 - g**2 - 2*g + 4. Let f be l(3). Let v be 7/35*-25 - 0/2. Let n = v - f. Is n a multiple of 15?
True
Let h be (-5)/(20/28)*(20 + 3). Is (-1 + (-36)/(-9))/((-3)/h) a multiple of 23?
True
Suppose -2*k - 3*j + 757 = 0, 3*j + 739 = 2*k - 0*k. Let i be (-10)/5 + 2*1. Suppose i = 5*v - 3*v - k. Is v a multiple of 11?
True
Suppose -444 = -30*l + 3876. Suppose y = -2*r + 989, 0 = -y - r + 840 + l. Is y a multiple of 11?
True
Does 154 divide ((-20244)/(-36))/(1 + (-130)/132)?
True
Let a(p) = 9 + 0*p - p**2 + p**3 - p + 19. Let b be -4 - (6 - 0) - -10. Does 11 divide a(b)?
False
Suppose 0 = -5*n + d + 11572, 13*n - 15*n = 5*d - 4645. Let a = -1469 + n. Is a a multiple of 18?
True
Let m = 113 - -1530. Is 31 a factor of m?
True
Suppose -3*v = -x + 7, -4*x = -3*v + 2*v + 5. Does 20 divide -2 + 5 - (-515 + x)?
True
Suppose 3*w = -11*w + 36162 - 9898. Is w a multiple of 4?
True
Let j be ((-1)/3)/(4/(-408)). Suppose -j*p = -20*p - 154. Is 11 a factor of p?
True
Suppose -3*v - 14 = 3*s + 31, 16 = -4*s. Let f(k) = k**3 + 12*k**2 - 3*k + 41. Is f(v) a multiple of 34?
False
Let b = -74 - -149. Let q(k) = k**3 + 3*k**2 - 5*k + 3. Let v be q(-4). Suppose 0 = p + v - b. Is 12 a factor of p?
False
Let c(j) = 10*j - 6. Let w be c(-2). Let d = w + 30. Is 34 a factor of (10/d)/((-2)/(-140))?
False
Suppose -k - 10 = 3*s, -2 = 2*k + 84*s - 87*s. Let h(b) be the first derivative of -13*b**2/2 - 4*b - 1. Is h(k) a multiple of 16?
True
Is (-34318)/(-8) - (-30)/24 - (0 - 1) a multiple of 74?
True
Let c be (-12)/4 - ((-3)/(-1) - 796). Suppose 2*v - 3*a - c = 0, 4*v + 5*a = 5*v - 402. Is v a multiple of 56?
True
Suppose 25 - 6 = 2*v + o, 2*v - 5*o - 49 = 0. Suppose -a = -5*a + v. Suppose 10*x = a*x + 903. Is 43 a factor of x?
True
Let n(w) = -85*w**2 + 21*w - 6. Let l(j) = 17*j**2 - 4*j + 1. Let g(u) = 11*l(u) + 2*n(u). Suppose 5*m = 5*p + 40, 4*m - p = -3*p - 4. Does 11 divide g(m)?
False
Suppose -i = -5*r - 20876, 30*i - 26*i - 5*r = 83444. Does 44 divide i?
True
Let y = -236 + 199. Does 17 divide 1*(-36)/27*y*3?
False
Let p = -194 + 756. Suppose -4*t - 4*j = -1764, 3*t - 763 - p = -j. Does 13 divide t?
True
Suppose 5*k - 179 = 4*p, -2*p - 5*k - 51 = -p. Let w = -5273 + 5250. Let v = w - p. Is v a multiple of 4?
False
Suppose 0*h + h = -5*z + 1741, -1395 = -4*z - 3*h. Suppose -3*n + y + z = 0, 65*y - 62*y = -n + 126. Does 8 divide n?
False
Let c = -55 + 37. Does 3 divide (32 + 1)/(c/(-12))?
False
Let v(m) = -m**3 - 11*m**2 - 12*m + 2. Suppose 4*w = -4*a - 6 - 18, -2*w + 4*a = 36. Let q be v(w). Let h = 103 + q. Does 14 divide h?
False
Suppose 3*l - 3*q + 539 = 9068, 2*l - 5*q = 5704. Is 91 a factor of l?
False
Let f be (1 - -3)*21/(-12). Let k(r) = -13*r**2 + 13*r + 4. Let j(s) = 15*s**2 - 14*s - 5. Let c(q) = -6*j(q) - 7*k(q). Does 19 divide c(f)?
False
Let f(u) = 2*u**3 - 4*u**2 + u + 2*u**2 + 3 + 0 - 2. Let o be f(3). Let k = 48 - o. Is 8 a factor of k?
True
Suppose 99*o - 96*o - 5196 = -4*t, 5202 = 3*o + 2*t. Is o a multiple of 7?
True
Suppose 0 = 7*v - 2*v - 270. Suppose v*w = 51*w + 132. Is w a multiple of 5?
False
Let l = -49 + 47. Let c = l - -3. Does 12 divide 17 + 9 - (c - 4)?
False
Let t = -553 + 597. Let l be 9/(-2)*(-26)/3. Suppose t*q - 275 = l*q. Is q a multiple of 16?
False
Suppose 0 = 3*h + c - 634, 6*h - 642 = 3*h + 3*c. Suppose h + 270 = m. Does 23 divide m?
False
Let d = -8157 + 21267. Does 19 divide d?
True
Let f(d) be the first derivative of d**2 + 18*d + 1607. Let y = -4 - -16. Is 7 a factor of f(y)?
True
Let m = 45027 + -34155. Does 9 divide m?
True
Suppose -5*x - 27080 = -3*y, -4*y + x + 20499 + 15619 = 0. Is y a multiple of 86?
True
Suppose 14*b = 10*b - 3*w + 8667, -5*b = -2*w - 10828. Let d = b - 1430. Is 16 a factor of d?
True
Let k = 200 - 211. Let v(d) be the second derivative of -d**3/3 - 5*d**2 + 3*d. Does 4 divide v(k)?
True
Let t(i) = 3*i - 26. Let k be t(-6). Let z = -4 - k. Suppose -2*b + 4 = q - 12, -4*q = -4*b - z. Is q a multiple of 12?
True
Let i(m) = m - 14. Let s be i(-12). Suppose 0*d - 5*d + 155 = 0. Let o = d + s. Does 5 divide o?
True
Suppose -28*q + 5*r = -31*q + 7936, 4*r + 5276 = 2*q. Does 88 divide q?
False
Let r = -112 + 143. Suppose -35*b = -r*b - 1080. Does 15 divide b?
True
Suppose 3289 + 10463 = 6*o. Suppose -1146 = -2*d - 4*b, -3*b = 4*d - 5*b - o. Does 26 divide d?
False
Suppose -4*u - 2*z = -70, -2*u + 0*u + 4*z + 30 = 0. Suppose -3*f - 3*c + u + 10 = 0, 0 = -5*f + 3*c + 21. Suppose f*w - 8*w = -392. Is w a multiple of 28?
True
Let j = -9487 - -21067. Does 60 divide j?
True
Let w(r) = 6*r - 33. Let j be w(6). Suppose j*c + 3 = 4*z + 142, -c + 57 = -4*z. Is c a multiple of 4?
False
Let n = 289 - 92. Suppose 65 = 2*c - m + 192, 3*c = -5*m - n. Is 30 a factor of (2 - 65/(-2))/((-32)/c)?
False
