- -17127. Is l a multiple of 130?
True
Suppose 1240 = 12*h - 8*h - 4*r, 0 = -3*r + 9. Suppose 0 = -3*k - h + 2185. Does 12 divide k?
True
Let l(m) = -m**3 - 51*m**2 + 14*m**3 + 15*m + 51*m**2 - 221. Let c(y) = -7*y**3 - 8*y + 111. Let z(i) = -11*c(i) - 6*l(i). Is 25 a factor of z(0)?
False
Suppose 5*n + 14*p = 18*p + 32374, -6470 = -n - 4*p. Does 78 divide n?
True
Let k = -1041 + 4640. Is 59 a factor of k?
True
Suppose 2*i - 4*r + 44 = 0, r - 50 = 3*i - r. Let f(z) = -2*z - 24. Let m be f(i). Suppose -68 = m*l - 236. Is 9 a factor of l?
False
Let u be 1/1 + 6 + -4. Let s be ((-10)/u)/(1/(-27)). Is 22 a factor of (2 - s)/(7 - 9)?
True
Let n(l) = 3*l**3 + 2*l**2 + 6*l - 1. Let r be n(-3). Let x = 79 + r. Is (-1 - 1119/(-12))/(x/(-8)) a multiple of 59?
False
Suppose -94 = p - 115. Does 5 divide ((-66)/(-42))/(3/p)?
False
Let v = 163 - 49. Suppose 121*d = v*d + 3906. Is 31 a factor of d?
True
Let c(p) = -p**3 - 2*p**2 - p - 14. Let r be c(-3). Is ((424/(-5))/r)/((-3)/(-90)) a multiple of 24?
True
Suppose 5*p - 26560 - 52860 = -5*y, -2*p = -4*y - 31720. Is 10 a factor of p?
False
Let u(k) = -201*k - 13. Let j be u(-3). Let q = j - 310. Is 40 a factor of q?
True
Suppose -62*p - p + 685860 = 8*p. Is 28 a factor of p?
True
Let m = -194 + 189. Is 9 a factor of 226 + m/(-1) + 3?
True
Let j(w) = w**3 + 14*w**2 + 12*w - 13. Let z be j(-13). Suppose -r + z*x - 28 = -5*x, 3*x = -4*r - 20. Let b(n) = n**3 + 7*n**2 - 11*n - 4. Does 10 divide b(r)?
True
Suppose 4*i + 3*j = 128, j + 29 = i - 3. Suppose -36*w + 8 = -i*w. Is 15 a factor of (-36)/((3 + -3 - w)/5)?
True
Let v(l) = -5*l + 17. Suppose -81 = 30*m - 21*m. Is v(m) a multiple of 7?
False
Let s(t) = 34*t + 0 + 4 - 2. Let v be s(1). Does 4 divide 1482/v - (-1)/(-6)?
False
Suppose 5*i + 18 = 3*l, 5*l - 52 = -0*l + i. Suppose 0 = -l*d + 2376 + 649. Is 25 a factor of d?
True
Let r(c) = 753 - 385 + 0*c - 385 - 2*c. Let y = 1 - 12. Is r(y) a multiple of 2?
False
Let d(v) = 279*v**2 - 394*v - 3152. Is d(-8) a multiple of 48?
True
Suppose 22 = 8*c + 6. Let n be 831 + (c - -1)/3. Suppose 0 = -0*h + 8*h - n. Is 26 a factor of h?
True
Suppose 8*q = -102*q + 14*q + 344064. Is q a multiple of 224?
True
Suppose -5*a + 41925 + 36462 - 22387 = 0. Does 80 divide a?
True
Let k be 3 + 4/(12/(-1245)). Let f = k + 656. Does 24 divide f?
False
Let d be (-6)/(306/(-312) - 12/(-16)). Suppose 5*o + 5*v - 69 = d, v = o - 21. Is o a multiple of 4?
True
Suppose -10*k + 15*k = 20, -k - 20901 = -a. Is 37 a factor of a?
True
Let y = -4854 - -6713. Is 56 a factor of y?
False
Suppose -u + 199 = 4*z, -4*z - 3*u + 254 - 49 = 0. Let q = z + -55. Is (-4)/q - ((-1190)/15)/7 a multiple of 3?
True
Does 50 divide 31/(1023/(-6)) - ((-1797408)/44 + 0)?
True
Suppose -4*n = -2*v + 3940, -25*v + 27*v - 3934 = -2*n. Does 123 divide v?
True
Let c(j) = -4*j + 347. Does 6 divide c(-87)?
False
Suppose -4*j = 5*a - 2, a + 4*a = -5*j + 5. Suppose -u + 0*k - 5*k = -5, 0 = -j*u - k + 15. Suppose u*i + 5*y = 880, -3*y + 708 = 3*i + i. Does 20 divide i?
True
Let m be -7 - (0 + -5) - 1127. Let u = -752 - m. Does 13 divide u?
True
Suppose 864 = 4*f + 2*h, 5*f - 8*h = -3*h + 1110. Let p = f + -179. Is 14 a factor of p?
False
Let l = 101 - 100. Let p be 2*l/(-5) - (-130)/(-50). Does 38 divide (532/42)/((-1)/p)?
True
Suppose p = 4*x - 6, 14*p = 10*p + x + 6. Suppose 704 = 4*h - 2*a, -p*a + 121 + 55 = h. Does 11 divide h?
True
Let a be 2 + 0 + 0 - -15. Suppose -a*t = -2332 - 218. Is t a multiple of 10?
True
Let n(y) = y**3 + 8*y**2 + 3*y + 6. Let z be n(-8). Let x = 21 + z. Is 8 a factor of 2 - (x + -108) - 1*3?
True
Let b be (1 + -1)/(16 - 17). Suppose b = 3*k - 2*n + 35, 3*n + 15 + 0 = 0. Is (-276)/k + 4/(-10) a multiple of 3?
True
Let n(q) = -q**3 - 6*q**2 + 15*q - 4. Let w be n(-8). Suppose -3 = -b - 0*b - y, -w*b + 2*y = -36. Is 7 a factor of 72 - b - (3 + 1)?
False
Let f be (6 - -22)*(-1)/(-4). Suppose 0*y + 14 = f*y. Suppose y*h = m + 85, -m = 4*h + h - 230. Does 15 divide h?
True
Let j(p) = -p**2 - 16*p - 15. Let g(h) = 2*h + 2. Let w(m) = -m - 1. Let a(f) = -2*g(f) - 3*w(f). Let u be a(9). Is j(u) a multiple of 13?
False
Let b = 7807 + -6895. Is b a multiple of 40?
False
Let d(s) = -s**2 - 39*s - 154. Is d(-6) a multiple of 22?
True
Is 85 a factor of 2751714/294 - (4/(-42) + (-9)/27)?
False
Suppose -5*v - 5*d = -25502 + 1667, -2*v + 3*d + 9504 = 0. Is v a multiple of 19?
False
Let v = -205 - 389. Let o = 1012 + v. Does 11 divide o?
True
Let k be 21/(-14) + 39/6. Let x(h) = 5*h**2 + 1 + 3*h - 2*h**3 + h + h**3. Is 10 a factor of x(k)?
False
Let p = -142 - 157. Is 14 a factor of (p - (4 - 1))*-1?
False
Suppose 7437 + 6003 = 30*h. Suppose 0 = -4*u - 2*y + h, -5*y + 2*y = -u + 98. Is u a multiple of 22?
True
Let q = 2413 - 1401. Let p = q + -623. Does 10 divide p?
False
Let x be ((-204)/(-30) + -4)*120. Suppose 4*a - x = 2*v, -4*a - 7*v + 5*v = -352. Is a a multiple of 9?
False
Let w(b) be the third derivative of b**6/120 + 7*b**5/20 - 17*b**4/8 + b**3/3 - 80*b**2. Is 13 a factor of w(-23)?
True
Suppose -22*p + 24*p + 3*x = 50, -x = -3*p + 53. Let b(u) = u**3 + 22 - 19*u**2 - u**3 + u**3. Is b(p) a multiple of 19?
False
Suppose 2*c + 5*p = 2712, 0 = 4*c - 3*p - 1151 - 4247. Is c a multiple of 3?
False
Let o(f) = 4*f**2 + 6*f - 18. Let h be o(-6). Suppose 4*a - 250 = -h. Is 10 a factor of a?
True
Let y be (-134)/(-6)*(6 + (-2 - 1)). Let c = -99 + y. Does 6 divide (-3)/12 + 2/(c/(-1860))?
False
Is 19 a factor of 3874/298 + (-25390)/(-1)?
True
Suppose -20 = 754*c - 764*c. Is 10 a factor of 1 - 0 - (-66 + -4 + c)?
False
Suppose -j + 2*o + 607 = -616, -3*j + 3592 = 5*o. Does 13 divide j?
True
Let q(j) = -2*j**2 - 16*j - 20. Let r be q(-6). Suppose 525 = 5*m + 3*h, r*m - 398 = 3*h - h. Suppose 5 = 2*g + 1, -4*p = 3*g - m. Is 24 a factor of p?
True
Suppose 3*z = 3*a - 49920, 3450*a + 5*z = 3449*a + 16682. Is a a multiple of 179?
True
Let t = 1200 + 2024. Is 28 a factor of t?
False
Suppose 5*s + 31 - 31 = 0. Let n = 956 - 95. Suppose -7*l = -s*l - n. Is l a multiple of 16?
False
Let a = 489 - 483. Suppose -a*c = -5*c + 3, 4*g - 1503 = c. Does 75 divide g?
True
Let v(h) = 3779*h - 53. Does 6 divide v(1)?
True
Let w(f) = -f**3 + 53*f**2 - 63*f + 306. Is 131 a factor of w(49)?
False
Suppose -442 = 2*l + 4*x, -x = -5*l + 240 - 1345. Let o = l - -672. Does 11 divide o?
True
Let s(y) = -y**3 + 73*y**2 + 118*y - 4356. Is s(43) a multiple of 202?
False
Does 17 divide ((-187)/33)/(-1)*1179?
True
Let j(d) = 0 - 125*d**2 + 129*d**2 - 6 - 5*d. Let p(a) = a**3 - a**2 - 2. Let s be p(0). Is j(s) a multiple of 5?
True
Let h(a) = a**3 - 11*a**2 + 4*a - 46. Let i be h(11). Does 14 divide (-10 + -5)*i*(-75)/(-6)?
False
Let t(n) = -n**3 + 13*n**2 - 15*n + 2. Let p be t(11). Suppose -12*a - p = -7. Does 14 divide -1 + 4 + a + 354/6?
True
Let x(z) = -98*z + 47*z + 48*z + 30. Let q be x(13). Does 18 divide (-2)/q - (-1608)/54?
False
Suppose 0 = -3*i - 5*s - 15, 0 = -i - 0*s + 3*s + 9. Suppose v + v - 2*z - 78 = 0, 5*z + 25 = i. Suppose l = -c + 39, -4*l + 5*l = 4*c + v. Is 10 a factor of l?
False
Is 81 a factor of (-5492)/(-5) - 561/(-935)?
False
Let r(l) = 64 + 39*l - 32*l**2 + 9*l + l**3 + 4*l. Is 65 a factor of r(31)?
True
Let g(i) = 26*i + 51 - 6*i + 19*i - 39. Is 42 a factor of g(4)?
True
Suppose -5*h - 14 + 79 = 0. Suppose 3 = 4*n - h. Is 3 a factor of n?
False
Let t be (49/(-14))/(-7)*-1766. Let d = 2102 + t. Is 14 a factor of d?
False
Let b(t) = -12*t - 18 - 21*t**2 + 7*t**2 + 10*t**2 + 59*t + 3*t**2. Is b(37) a multiple of 11?
True
Suppose -138 = -14*p + 380. Does 16 divide (39 - p)/((-1)/(-392))?
True
Let a = -66 + 75. Suppose a*u + 131 - 1184 = 0. Suppose 3*t = y - u, -5*y + 2*t + 675 = 5*t. Does 22 divide y?
True
Let b(n) = 10*n - 14. Let c(v) = v**3 - 4*v**2 + 4. Let x be c(4). Suppose 0 = x*s - 5 - 7. Is 4 a factor of b(s)?
True
Suppose 24*s = 19*s + 20. Suppose -581 = -s*w + 235. Does 34 divide w?
True
Let b = 0 + -31. Let w = b + 34. Suppose w*v + 4*c - 223 = 0, 6*c - 3*c = 5*v - 333. Is 8 a factor of v?
False
Let r(h) = -h + 186. Let z be r(0). Let v(b) = -6*b**2 - 43*b + 109. Let w be v(-9). Is z/15 - w/25 a multiple of 4?
True
Suppose 12405 = 10*x - 19585. Is 20 a factor of x?
False
Suppose -6 = j - 9. Let k be (j/4)/((-13)/(-104)). Suppose 0*z + 4*z - 182 = 2*o, -k =