Is l a multiple of 42?
True
Suppose 60*u = 39*u + 126. Is 24817/39 - (8/u + -1) a multiple of 78?
False
Let r(x) = 32*x + 130. Let f be r(-4). Suppose 0 = -f*l - 290 + 880. Is 73 a factor of l?
False
Let c(y) = 2*y + 27. Suppose u + 4*m - 20 + 0 = 0, 2*u + 5 = m. Does 26 divide c(u)?
False
Suppose 5*w = 4*t - 17, 3*w + 5 = -4*t + 14. Let y be (1*t)/((-6)/(-4)). Is 17 a factor of y + 101/2*4?
True
Let b be ((-911)/1)/(-22 - -21). Suppose 3*u + 2*t = -3*t + b, 2*u - 3*t = 582. Suppose -5*k + 2*k = -u. Does 33 divide k?
True
Let g be 10*-3*3/(-6). Let v(q) = q**2 - 20*q - 21. Let z(d) = -4. Let i(c) = -v(c) + 5*z(c). Is i(g) a multiple of 10?
False
Let v = 24 + -24. Suppose -4*r - 234 = -2*w, v*r - 1 = r. Let d = w - 67. Is d a multiple of 6?
True
Suppose -5*w + 21580 = m - 1946, -m = 3*w - 14118. Does 112 divide w?
True
Suppose 9*x - 7*x = 10. Let f = x + -17. Is (f/(-8))/((-6)/(-392)) a multiple of 20?
False
Let k be (-3*4/(-6))/((-197)/3152). Let d = 125 + k. Is 6 a factor of d?
False
Let h(k) = 3391*k**2 - 46*k - 13. Is h(-1) a multiple of 9?
False
Suppose 0 = 33*o + 17751 - 113583. Let h = o + -1386. Is h a multiple of 11?
True
Suppose 5*s - j = 215325 - 67294, -2*s + 59243 = 3*j. Is s a multiple of 5?
False
Suppose -a - 10 = -3*b, -5*a - b - 50 = 2*b. Let h be ((-88)/6)/(2/(-18)). Let u = a + h. Does 16 divide u?
False
Let i(g) = -45708*g**3 + g**2 + 40*g + 39. Is 12 a factor of i(-1)?
True
Suppose 11*x + 29180 = 13*x + 2*h, 9*x = 3*h + 131334. Is 64 a factor of x?
True
Let q = -91 - -97. Let n(l) = 5*l**2 - 149 + 290 - 3*l - 149. Is n(q) a multiple of 56?
False
Is (6842/(-33))/(4/(-12)) a multiple of 3?
False
Let a(y) = 10*y**2 - 33*y - 65. Let l(n) = n**2 - 1. Let d(w) = a(w) - 5*l(w). Is 38 a factor of d(15)?
True
Suppose 6*v - 73744 - 5492 = -87*v. Is v a multiple of 71?
True
Let z = -63 + 83. Let u = z + 23. Let l = 15 + u. Is 12 a factor of l?
False
Let c = 254 - -376. Suppose 6*z - 15*z + c = 0. Does 10 divide z?
True
Suppose -5*h - a + 14974 = 0, 2*h + 3006 = 3*h + 3*a. Does 29 divide h?
False
Let r(m) be the first derivative of -5*m**4/2 - 7*m**3/3 - 5*m**2 + 2*m + 66. Is r(-2) a multiple of 3?
False
Suppose 0 = -5*z + 7*z - 5*k + 638, 4*z + 2*k = -1324. Let x = z - -420. Is x a multiple of 14?
False
Let u = 31158 + -31032. Is u a multiple of 126?
True
Let o = -33 - -103. Suppose 0 = -3*q + z + 3*z + 225, -o = -q + 3*z. Suppose 3*j + k + 3*k - q = 0, -3*k + 3 = 0. Does 5 divide j?
True
Suppose -4*f - k = -26, -4*f + k = -2*f - 10. Let l be (1 - 1)*(12/f)/(-4). Suppose l = 5*q + a - 143, 4*q - 3*a - 114 = -4*a. Is 12 a factor of q?
False
Suppose -9*q - 746 = -7*q. Let i = 805 + q. Is i a multiple of 12?
True
Is 143 a factor of -14 - -14 - -2704*11?
True
Let m = -10 - -12. Suppose 4*f - 2*p - m*p = 32, -4*p - 20 = -2*f. Suppose 648 + 180 = f*y. Is 33 a factor of y?
False
Suppose 0 = 58*v - 29*v - 26*v - 882. Does 21 divide v?
True
Let x(y) = 106*y**2 + 5*y + 273. Is 19 a factor of x(-9)?
False
Let m(j) = -64*j - 103. Let o be m(3). Let v = o + 543. Is v a multiple of 6?
False
Let s(v) = 13*v**2 + 10*v**2 - 22*v**2 + v - 2*v + 164. Does 82 divide s(0)?
True
Suppose 0 = 2*r - 5763 - 8493. Suppose f - 23*f = -r. Does 14 divide f?
False
Let i(h) = -5 - 6*h + 3*h + 7*h. Let z be i(3). Does 7 divide 0 + 8/14 - (-731)/z?
True
Let n = 77653 - 53802. Is n a multiple of 23?
True
Let a(k) = k**3 - k**2 - 7*k + 9. Let l be a(5). Suppose -62 = b + l. Let d = -71 - b. Does 39 divide d?
False
Let h(q) = 660*q + 24. Let y be h(6). Suppose y = 11*n - 3122. Is 28 a factor of n?
False
Let z = 17727 - 10581. Is z a multiple of 9?
True
Let f be -1*1 + 15/(180/8592). Let b = 329 + f. Is 68 a factor of b?
False
Suppose 21*z = 14*z + 70. Suppose 0 = -z*n + 1905 + 935. Is n a multiple of 17?
False
Let v(z) = -5*z**3 - 111*z**2 - 183*z + 44. Does 10 divide v(-24)?
True
Let o be 901 + ((-15)/(-1))/(-5). Suppose 4*i = 2*f - o, -3*i = -3*f + i + 1353. Is 7 a factor of f?
True
Let n(o) = 4*o + 24. Let i(t) = -t**3 - 7*t**2 - 2*t + 9. Let j be i(-7). Let p = -17 + j. Is 24 a factor of n(p)?
True
Let g = -6119 + 8919. Let s = -1996 + g. Does 12 divide s?
True
Suppose 5*c - 165 = -50. Suppose 0 = -o - c + 21. Is 35 a factor of o/1*2 - -109?
True
Let i(h) = 1551*h**2 - 627*h - 3828. Is 10 a factor of i(-6)?
True
Is 75 a factor of ((-25)/(-90))/5*-4 - 594016/(-72)?
True
Suppose 6*p + 774 = -3*p. Let h = p + 90. Is 4 a factor of h?
True
Is (-40)/6*((-32955)/10 + 12) + 0 a multiple of 11?
True
Let t = -73 + 76. Suppose -4*u + 14 = t*u. Suppose -89 - 239 = -u*a. Is 41 a factor of a?
True
Let u be (-3)/9 - 353/3. Let k = u - -122. Is 7020/126 + (-5)/((-70)/k) a multiple of 22?
False
Let x be 4160/7 + 7 - (-4)/(-14). Let d = x - 193. Is 12 a factor of d?
True
Suppose 0 = 3*j - 10 + 4. Suppose 4*z - j*s - 776 = 0, 34 + 160 = z - 5*s. Suppose 4*l = z - 114. Is 20 a factor of l?
True
Suppose -4*n + 0*n + 5*w = -3690, 2814 = 3*n + 4*w. Is n a multiple of 4?
False
Is 23 a factor of (-244 + 252)*(6 - -1)?
False
Is -1*((-93264)/14 - 42/147) a multiple of 113?
False
Suppose -5 + 119 = 3*w. Suppose -t = t - w. Let c(h) = h**3 - 18*h**2 - 17*h - 8. Does 13 divide c(t)?
False
Let n = -10222 + 12523. Does 39 divide n?
True
Let n be 12/(-2) + (1 - 2). Let k(a) = a**3 + 10*a**2 - 5*a + 3. Let x be k(n). Suppose 0 = 3*l - x + 20. Is 18 a factor of l?
False
Let o(n) = -n**3 - 9*n**2 - 23*n - 15. Let w be o(-6). Does 18 divide ((-4)/10)/(w/(-10125))?
True
Suppose -23310 = -54*m + 17*m. Suppose a = 11*a - m. Is a a multiple of 6?
False
Let l = 118 - 76. Let k = -37 + l. Suppose 4*m - 105 = -k*y, y + 3 + 0 = 0. Does 8 divide m?
False
Let c be 6/4*(10 - 8). Suppose -c*i - 40 = 5*g, 5*i = -2*g - 84 + 11. Does 45 divide ((-1690)/i)/(2/6)?
False
Let o(t) = 10*t - 75. Let a be o(9). Let s(p) = -2*p**3 + 31*p**2 + 2*p - 36. Is s(a) a multiple of 46?
False
Let k(o) = o**3 + 7*o**2 - 6*o + 11. Let l be k(-8). Let d be 0 - (-5)/15 - l/3. Suppose -d*c = 36 - 188. Is 13 a factor of c?
False
Suppose 2561 = 5*o - a - 3005, -3*a - 3 = 0. Does 16 divide o?
False
Let c(a) = 97*a - 2895. Is c(90) a multiple of 15?
True
Let i(c) = 27*c**3 + 7*c**2 + 3*c - 17. Is i(3) a multiple of 43?
False
Let a(b) be the first derivative of b**3/3 + 5*b**2 + 18*b - 1. Let t be (-2 + (-40)/(-15))/(50/(-975)). Is 18 a factor of a(t)?
False
Let v(f) = -138*f + 228. Let q be v(6). Does 64 divide (-10)/q*6 + 15498/20?
False
Let x(r) = 42*r**2 + 3*r + 4. Suppose 0 = -8*v + 11*v + 6. Does 48 divide x(v)?
False
Let k = -33152 + 47857. Does 85 divide k?
True
Let c(h) = -3*h**2 - 17*h + 138. Let w be c(9). Let p be (-155)/1 - (-3 + 1). Let d = p - w. Is 26 a factor of d?
False
Suppose 19*h = 6*h - 104. Does 16 divide 255/(-204) + (-1034)/h?
True
Suppose -5*k - 4*h + 4 = 0, 0 = -k - 19*h + 15*h - 12. Is (47 - -3)/(k/22) a multiple of 6?
False
Let f = 0 + -4. Let d(g) = g**3 + 16*g**2 - 5*g + 3. Let r(i) = i**3 + 17*i**2 - 6*i + 4. Let v(l) = 4*d(l) - 3*r(l). Is v(f) a multiple of 19?
True
Suppose -53*u = 97*u - 23*u - 664972. Is 28 a factor of u?
True
Let i = -4984 - -8267. Is 48 a factor of i?
False
Let u = 5692 - 2612. Does 11 divide u?
True
Let g(z) = 6*z**2 - 3*z - 323. Is 130 a factor of g(-29)?
True
Let j = -47592 - -75786. Is 203 a factor of j?
False
Let h(t) = 2*t**3 + 73*t**2 - 69*t + 23. Is 115 a factor of h(-21)?
False
Suppose -3*q = -6*g + g + 26, -18 = -2*g + 5*q. Suppose -2*w + 185 = y, w + 4*y = -g + 114. Is 6 a factor of w?
True
Let x(s) = -800*s - 7524. Is x(-21) a multiple of 5?
False
Let n(x) = -x**3 - 55*x**2 + 64*x - 752. Does 7 divide n(-57)?
False
Let p = 24 + -22. Suppose -5*g = 3*r - 30 + 8, 8 = -2*g. Suppose 5*s + j = 170, j = p*s - 75 + r. Is s a multiple of 11?
True
Let f = -26540 - -43344. Does 246 divide f?
False
Let b(j) = -24*j**3 - 37*j**2 + 15*j - 65. Let i(a) = -13*a**3 - 19*a**2 + 8*a - 32. Let c(f) = -6*b(f) + 11*i(f). Does 14 divide c(-12)?
False
Let m = 23701 + -16726. Suppose 5*g = r + m, 7*g - 3*g - r - 5580 = 0. Is 93 a factor of g?
True
Let s = 10457 - 7507. Does 50 divide s?
True
Let c = 88 + -88. Suppose c = -n - 2*n + 684. Is 13 a factor of n?
False
Let l(v) = 142*v**2 + 4*v - 3. Suppose -q + 3 = 3*u, 5*q - 19 = 3*u + 32. Let t(i) = -i**3 + 7*i**2 + 18*i + 1. Let k be t(q). Is l(k) a 