lse
Suppose -92 = -2*v + 48. Suppose -160 = 68*w - v*w. Is w a multiple of 6?
False
Let i = -125 - -123. Is -3 + 238 + -3 + i a multiple of 56?
False
Let t(y) = 3400*y + 14210. Is t(24) a multiple of 65?
True
Let z(n) = 214*n**2 + 30*n. Is 62 a factor of z(10)?
True
Let n(c) = 8*c**2 - 2*c - 2. Let a = -28 - -25. Let v be (-18)/(-5) + a/5. Is n(v) a multiple of 8?
True
Let h be (-5162)/5 - 6/60*-4. Let f = h - -1819. Does 7 divide f?
False
Let j(z) = 3*z**3 - z**2 + z + 2. Let t be j(0). Let m(y) = 17*y - 17. Is m(t) a multiple of 2?
False
Let w(a) be the third derivative of a**5/15 - 23*a**4/24 - a**3/2 - a**2 + 52. Is w(7) a multiple of 4?
True
Let i(f) = -5*f**3 + 5*f**2 - 13*f + 15. Let n(v) = 8*v**3 - 9*v**2 + 25*v - 29. Suppose 10 = -14*k + 12*k. Let a(c) = k*i(c) - 3*n(c). Is 12 a factor of a(6)?
True
Suppose -8*v + 47310 = -4*v + 6*t, -2*v - 5*t + 23665 = 0. Is 124 a factor of v?
False
Let m = -29 + 297. Suppose 266*g - m*g + 816 = 0. Is g a multiple of 17?
True
Suppose 5*r - w + 14 = 12, w - 2 = -5*r. Suppose -6*y + 1231 - 325 = r. Does 17 divide y?
False
Let r be ((-74)/4 + (-6 - -1))*-34. Suppose w + 2*z - 158 = 0, 3*w + z = -2*w + r. Is w a multiple of 80?
True
Is 389841/39 - 139/(-1807) a multiple of 34?
True
Let g be -4 - ((-4)/10 + (-28)/5). Let p = g + -5. Does 38 divide (-6)/21 + (p - (-2776)/14)?
False
Let d(f) = f**3 + 11*f**2 + 11*f + 15. Let h be d(-10). Let j(i) = i**3 - 6*i**2 + 4*i + 5. Let z be j(h). Suppose z = 13*s - 2*s - 990. Is s a multiple of 18?
True
Suppose -z + 38 = -3*o, 4*z - 89*o + 88*o - 130 = 0. Does 5 divide z?
False
Let q be 5456/80 - (-2)/(-10). Suppose -2*z + 20 = 4*l, -5 - 7 = -3*z. Suppose -l*d + 371 - q = 0. Is d a multiple of 19?
False
Let o be 4/10 + (-252)/(-70). Suppose -o*p - 3*m = 2*m - 22, m = 2. Suppose -4*j = 3*g - 277, -1 - 2 = -p*j. Does 29 divide g?
False
Suppose 187*w = 182*w + 4*u + 81488, 4*w = 2*u + 65188. Is 56 a factor of w?
True
Suppose 3*q = -3*s + 5*s + 55263, -18431 = -q + 4*s. Does 15 divide q?
False
Does 3 divide (9144/15)/((-63)/(-1260))?
True
Is (-1 + (54 - 23))*(0 - (-171 + -1)) a multiple of 8?
True
Let t(i) be the third derivative of -25*i**4/12 + 135*i**3/2 - i**2 - 7*i. Does 41 divide t(-11)?
False
Is 10/35 + (-115)/35 + 21936/4 a multiple of 44?
False
Let b(c) = c - 11. Let w be b(15). Suppose 5*r + 1140 = 2*m - 149, -w*r - 3197 = -5*m. Is m a multiple of 17?
False
Is 58 a factor of (-65 - -79) + (57690 - -6)?
True
Let m(q) = -q**3 + 8*q**2 + 6*q - 3. Let s be (-14)/3*(-1 + (-188)/28). Suppose s*o - 12 = 34*o. Is m(o) a multiple of 15?
True
Suppose -21*u - 1 = -20*u. Let c(i) = -48*i + 3. Let o be c(u). Suppose -2*b + s = -o, -b = b - 3*s - 57. Is b a multiple of 4?
True
Suppose 3*a - 16 = -19. Let d(i) = -23*i - 11. Is d(a) a multiple of 3?
True
Let x(p) = 4*p**3 - 3*p - 6 + 2 - 6*p**2 - 3*p**3. Let t(z) = -z + 20. Let w be t(13). Is 3 a factor of x(w)?
True
Let c be ((-20)/20)/(1/(-4)). Suppose 0 = r - 5, 5*n = -c*r + 20. Suppose -z = 3*q - 48, -2*z - 5*q = -n*z - 100. Does 5 divide z?
True
Suppose 25*y - 1745 = 30*y - 2*n, 0 = 3*y + 5*n + 1047. Let i = y + 432. Is 14 a factor of i?
False
Let p(a) = 42*a + 31. Let h be p(6). Is h - 5/10*-4 a multiple of 57?
True
Is 144 a factor of (924/(-60) + 15)/(1/(-4680))?
True
Let z = 7135 + -4330. Is z a multiple of 93?
False
Suppose -72*r + 20 = -74*r. Let p be r*8/20*-1. Suppose -4*q + 5*y + 194 = -326, -4*q + p*y = -524. Does 15 divide q?
True
Is 5 a factor of 2/5*(12/36 + 52136/12)?
False
Let p = -35 - -35. Let w be 6 - (3 - (p - 1)). Suppose 0*u = j + w*u - 25, 2*j - 56 = 2*u. Is j a multiple of 9?
True
Let q(l) = l**3 - 18*l**2 + 68*l + 8. Suppose 0 = 3*p + 7 - 46. Is q(p) a multiple of 2?
False
Suppose -s + 1423 = 2*w, 1438 = 2*w - s - s. Let o(t) = -t**3 + 8*t**2 - 7*t - 3. Let g be o(7). Is 7 a factor of w/24 + g/(-12)?
False
Suppose -5*s = -0*s - 4*i - 98, 5*i = 4*s - 82. Let o = s + 236. Is 4 a factor of o?
False
Let h(g) = -g**2 - 30*g + 17. Let f(q) = 4*q**2 + 90*q - 49. Let a(y) = -2*f(y) - 7*h(y). Is a(14) a multiple of 12?
False
Let h(v) = -v + 12. Let y be h(7). Suppose -y*o + 9*o = 1500. Is o a multiple of 79?
False
Is 40 + 6 + -19 - -51418 a multiple of 15?
False
Suppose 4*s + 2*k - 10773 = 25799, 2 = -k. Is s a multiple of 53?
False
Let h = -8538 + 14196. Is 5 a factor of h?
False
Let y(o) = -19*o + 19. Let q be y(32). Let g = -325 - q. Is 11 a factor of g?
True
Suppose 2*t - 8 = 0, -l + 15 = -0*l + 3*t. Suppose r - 162 = l*r. Let k = r - -205. Is k a multiple of 16?
False
Suppose 2*h - 18*h = 12*h - 270144. Does 16 divide h?
True
Let q(v) = -v**2 - 6*v - 8. Let d be -7 + (-2)/6 + (-100)/(-30). Let i be q(d). Suppose -y + 101 - 29 = i. Does 9 divide y?
True
Let k(h) = 27*h + 24. Let r(z) = -55*z - 48. Let f(c) = -9*k(c) - 4*r(c). Let v = -46 + 40. Is f(v) a multiple of 19?
True
Let n = -59 + 256. Let v = n - -83. Is v a multiple of 15?
False
Let z(d) = 146*d**3 - 2*d**2 + 2*d - 1. Let m be z(1). Let r be -114 - ((-105)/7 - -11). Let p = r + m. Is p a multiple of 7?
True
Suppose -97*i + 101*i + 1512 = v, v = -2*i + 1506. Does 58 divide v?
True
Suppose -69316 = 12728*b - 12738*b + 9524. Is b a multiple of 109?
False
Suppose -4*y = 4*x - 3460, -x + 0*y = -4*y - 840. Is 24 a factor of x?
False
Let z(m) be the third derivative of m**6/120 + 7*m**5/15 + 9*m**4/8 + 11*m**3/6 + 4*m**2 - 6. Does 5 divide z(-27)?
False
Suppose 36 = 3*s - 3*h, 3*s + 5*h + 20 = 4*s. Let t(r) be the first derivative of -r**3/3 + 13*r**2/2 - 24*r + 2. Is t(s) a multiple of 3?
True
Suppose 2*h + 2*h = -u - 71, 3*h = -u - 54. Let n be (-3 - (0 - 2))*h. Suppose 3*p = y + 203, -p - 5*y + 72 + n = 0. Is p a multiple of 30?
False
Let r(u) = 10*u**3 + 22*u**2 - 18*u - 40. Let m = -62 - -69. Let f(g) = 7*g**3 + 15*g**2 - 12*g - 27. Let p(a) = m*f(a) - 5*r(a). Is 5 a factor of p(-6)?
False
Suppose 258 = t + f - 604, -2*t = -4*f - 1718. Is 3 a factor of t?
True
Suppose z - 4*s + 2*s = 36, 4*z - 135 = 5*s. Suppose -z*r = -18*r - 1392. Is r a multiple of 12?
False
Is 39 a factor of (-15)/210 + (-5168160)/(-448)?
False
Let d = 33 - 9. Suppose z = -5*h + 321, 38 = h - 2*z - d. Suppose 4*s - h = -k, k - s + 4*s - 63 = 0. Is k a multiple of 10?
True
Let c(j) = -159*j - 19. Let i be c(-3). Let a(o) = o**2 + 2. Let f be a(0). Suppose -f*u - p + 0*p = -297, p + i = 3*u. Is u a multiple of 24?
False
Let x = 488 + 170. Let s = 685 - x. Is 3 a factor of s?
True
Let m be 518 - (0 - -4 - 8). Suppose 5*f + m = -0*f + 3*b, -5*b = -20. Let t = 110 - f. Is t a multiple of 30?
False
Let p(n) = n**3 - 15*n**2 + 20*n - 60. Let y be p(14). Suppose y*j = 22*j - 4*s + 152, -5*s = -15. Is 23 a factor of j?
False
Suppose 5*d - 10 = 2*v, -1 = 3*v - 5*d + 9. Suppose v = 5*a - 274 - 246. Does 52 divide a?
True
Let n(a) = 13*a + 1095 + 22*a - 1105. Is n(2) a multiple of 15?
True
Let i(c) = 12*c + 14. Suppose 36*v = 42*v. Does 2 divide i(v)?
True
Suppose 40*n - 255024 = -9*n + 5*n. Does 92 divide n?
True
Suppose -3*b = -5*m - 13, -m = -b + 3*b. Let q be 1 - 2 - -12 - b. Let j(k) = 4*k - 4. Does 18 divide j(q)?
True
Let a be 4/(-12 - -4)*(-3 + 1). Let n(g) = -5*g**2 - 4*g. Let c be n(a). Let o(i) = i**3 + 11*i**2 - i - 9. Is o(c) a multiple of 18?
True
Suppose -5*c - 5*t + 12865 = 0, -t - 6076 = -4*c + 4231. Does 23 divide c?
True
Let k(v) = 10*v - 14*v - 30 - 42 + 79*v. Does 54 divide k(6)?
True
Suppose 3*u - 28 = -5*j, -2*j + 34 - 26 = -2*u. Suppose 5195 = 5*n + j*i, -10*n + 11*n - 1019 = -5*i. Is n a multiple of 36?
True
Let m be (-8 + 8)/(-1*2). Suppose m = 5*v - 26 + 46. Does 13 divide v - 7*-8*1?
True
Let c = 4792 - 3180. Does 28 divide c?
False
Let r(d) be the second derivative of -1/20*d**5 + 9*d + 13/2*d**2 + 0 + 25/6*d**3 + 2*d**4. Does 3 divide r(25)?
False
Suppose 3 = -3*q + 15, -2*q - 1712 = -2*l. Let i be 4/((-1)/(1 - -1)). Does 23 divide ((-6)/i)/(5/l)?
False
Let p(q) = -q**2 - 3*q + 31. Let d be p(-7). Is 31 a factor of (-186)/4*(d + 26/(-6))?
True
Suppose 5104080 = 137*b + 43*b. Is b a multiple of 34?
True
Suppose 1476 = -x + 3*x - 4*v, -741 = -x + 5*v. Let w = x - 429. Does 33 divide w?
False
Suppose 8*y = -7*y + 1965. Suppose -y - 16 = -3*a. Does 2 divide a?
False
Suppose z + 78 = 78. Suppose -16*r + 6*r + 8350 = z. Does 17 divide r?
False
Suppose -7*d +