lse
Suppose -32*h + 83 = -13. Let z = -38 - -14. Is 3 a factor of 88/h + (-16)/z?
True
Suppose 6470 = w - l + 2016, 6*l = -3*w + 13326. Is 5 a factor of w?
True
Is 12 a factor of 1089 + 5 + ((-14)/6 - 9/(-27))?
True
Let p(b) = b - 33 + 58 + 50. Does 9 divide p(33)?
True
Let i be 63/(-12) + 6/24. Let r be i/((-25)/85)*17. Suppose 5*s - r = 51. Is 9 a factor of s?
False
Let i(n) = n**2 + 55. Suppose -g + 6*g = 2*p + 116, 5*p - 29 = -2*g. Is 57 a factor of i(g)?
False
Let h be (-16)/(-56) + (-1314)/(-7). Let f = 583 - h. Is f a multiple of 31?
False
Let a = 38 - -120. Let k be a - (2 - (-28)/(-16))*8. Suppose -k*f = -159*f + 48. Is f a multiple of 8?
True
Suppose -40 = -4*a - 4*t, 4*a - 2*t + 7*t = 39. Suppose a*f = j + 9*f - 418, 0 = 5*j + 4*f - 2090. Is j a multiple of 36?
False
Let t(f) = -13*f - 168. Let x = -339 - -292. Does 13 divide t(x)?
False
Let d(i) = -i**3 + 5*i**2 - i + 7. Let f be d(5). Suppose 5*s - f*l = 75, -s + 2*l = -2*l - 33. Suppose 195 = 18*o - s*o. Does 13 divide o?
True
Let n be (-1)/(((-7 - -1)/(-6))/2). Is 8 a factor of (-64)/n*-8*(-4)/32?
True
Let z(k) = -k**3 - 2*k**2 + 2*k - 3. Let m be z(-3). Suppose -38*n + 33*n + 25 = m. Is 14 a factor of ((-4)/n)/((-4)/660)?
False
Let i = 885 - 429. Let w = i + -280. Suppose 4*h - d - w = d, 226 = 5*h - d. Does 21 divide h?
False
Let m(a) = 21*a**2 - 32*a - 112. Suppose 0 = 9*q - 844 + 880. Does 26 divide m(q)?
False
Let p(o) = -2*o**3 - 10*o**2 + 34*o + 118. Does 14 divide p(-12)?
False
Let p(o) = -19*o - 2. Let s(h) = 17*h + 2. Let j(c) = 7*p(c) + 6*s(c). Is j(-2) a multiple of 10?
True
Let a(p) = p**3 + 6 - 8*p - 4 + 10 - 7*p + 8*p**2. Let u be (-3)/((-126)/(-24)) - 59/7. Does 11 divide a(u)?
True
Let v(f) = -19603*f**3 - 7*f**2 + 8. Does 14 divide v(-1)?
False
Let f(m) = 39*m + 8. Let s be f(8). Suppose -10*j + s = -8*j. Does 13 divide j?
False
Is 23 a factor of (-3)/((-2)/64597*-13)*-4?
False
Let u be (3 - -25 - 4)*(-51)/(-12). Suppose 0 = 10*h - 318 - u. Is h a multiple of 42?
True
Let a(t) = -t**3 - 10*t**2 - 24*t + 5. Let f be a(-5). Suppose 5*v - 4*x - 1426 = f, -6 = -v + 3*x + 288. Let o = v + -50. Is o a multiple of 35?
False
Let o = 57 + 4. Let r = -1202 - -1201. Is 7 a factor of (o + r)*12/30?
False
Let a(s) = 2275*s**2 - 20*s + 8. Is 31 a factor of a(1)?
True
Let n(u) = -18*u - 9. Suppose 15 = 3*o + 27. Let k be n(o). Is ((-4)/(-7))/(9/k) a multiple of 3?
False
Let g = -208 + -16. Let z = g - -490. Is z a multiple of 38?
True
Let q(i) = 13*i**3 - 2*i**2 - 2*i. Let x(j) = 38*j**3 - 5*j**2 - 7*j + 1. Let o(r) = -7*q(r) + 2*x(r). Let n be o(-3). Is -5 + n/7 - (-4)/(-14) a multiple of 9?
False
Suppose 5*m - 4*q = -12, 0*q = -5*m + 3*q - 9. Let r(l) = -2*l**2 + 3*l + 97. Is 11 a factor of r(m)?
False
Is (1673*(-8)/(-96)*-4)/((-4)/72) a multiple of 117?
False
Suppose -12*q = 5 - 209. Let m(t) = -t**3 + 19*t**2 - 23*t + 7. Does 12 divide m(q)?
False
Suppose -178*j = -177*j + 3. Let o = j + -90. Let g = -39 - o. Is 18 a factor of g?
True
Let k = 6 + -11. Let h be (2 - (k + 3)) + 3. Does 3 divide h - 7/(14/8)?
True
Let y = -8878 - -9618. Is 2 a factor of y?
True
Is 109 a factor of 6/26 + (-91867062)/(-1911)?
False
Let d be ((-14)/4)/((-13)/(-78)) - 6. Let y = 36 - 51. Let k = y - d. Does 4 divide k?
True
Suppose 0*y + 6*y = 3216. Suppose -3*f - 4*j = -0*j + y, -2*j - 538 = 3*f. Does 13 divide ((f/(-25))/(-2))/(1/(-5))?
False
Let i = -1727 - -2107. Does 15 divide i?
False
Let r(x) = 4*x - 34. Let h be r(17). Suppose 5*m - h*w + 33*w - 5095 = 0, -10 = -2*w. Is 30 a factor of m?
True
Let x(u) = -u**2 - 21*u - 18. Suppose b - 3*f - 46 = 2*f, -f - 5 = 0. Let s = b - 35. Is x(s) a multiple of 8?
True
Let n(g) = -4*g - 6. Let m be n(-2). Suppose m*h + h = 15. Suppose -9*x + 84 = -h*x. Is x a multiple of 4?
False
Let a(r) = r**2 + 28*r + 30 - 11*r - 10*r - 20*r. Suppose 5*y + 3*n = -n + 95, -n - 25 = -2*y. Is a(y) a multiple of 9?
False
Suppose -4*r + 572 = 68. Suppose 5*v = -4*a + 859, -5*v + 85 = a - r. Is 36 a factor of a?
True
Is 63 a factor of ((-86088)/16)/(18/(-12))?
False
Let l(z) = 12*z - 47. Let v(o) = -o. Let q(r) = -l(r) + 4*v(r). Let p(m) = -m**2 - 42*m - 47. Let n be p(-41). Is q(n) a multiple of 18?
False
Let j = -9779 + 5591. Is 5 a factor of (j/18)/((-48)/18 + 2)?
False
Let c(d) = 68*d + 10347. Is c(-149) a multiple of 8?
False
Suppose -3828 = -116*s + 81*s + 412812. Is s a multiple of 165?
False
Let n(z) = z**3 - 2*z**2 + 49*z + 44. Does 133 divide n(11)?
False
Let o(g) = g**3 - 13*g**2 - 12*g - 29. Let v be o(14). Let k(x) = -48*x**3 - 3*x**2 + 1. Is k(v) a multiple of 46?
True
Suppose 2*a + 2*t - 33 - 27 = 0, 0 = -a + 5*t + 42. Suppose -23*j + a*j - 63 = 0. Is j a multiple of 4?
False
Suppose -20 = -0*u - 5*u. Let a(j) = u + 2 - 4 + 8*j + 1. Does 27 divide a(5)?
False
Is -6*(-2 + 19/6) - -3159 a multiple of 56?
False
Let j be -24 + 19 + 1553 + -1. Let m = -1047 + j. Is 37 a factor of m?
False
Suppose 50143 - 81955 = -6*p. Is p a multiple of 16?
False
Let u(d) = -d**2 - 1. Let x(r) = -2*r**3 - r**2 - 9*r - 17. Let i(s) = -3*u(s) + x(s). Let v = -770 - -766. Is 30 a factor of i(v)?
False
Suppose 10*k - 124 = 9*k. Suppose 5*y - o = 1179 - k, -o = 5*y - 1045. Suppose 3*r - 6*r - 3*q = -y, -120 = -2*r + 2*q. Does 5 divide r?
True
Let r be 6 - 5/35*7. Suppose 221 = -r*l + 6*l. Is 13 a factor of l?
True
Let l(x) = 10*x - 3. Let p be l(2). Suppose 0 = -p*b + 12*b + 500. Is b a multiple of 28?
False
Suppose 204*j - 336*j + 6073452 = 0. Does 18 divide j?
False
Suppose 8*v = -35*v + 344. Is 30 a factor of 4*(v + 7795/20)?
False
Suppose -8*z + 4131 = -11229. Suppose 4*s + n = z, n + 960 = 2*s - 2*n. Does 40 divide s?
True
Let v(y) = 1588*y**2 + 232*y - 700. Is v(3) a multiple of 80?
False
Let i(d) = 151*d**2 + 102*d + 868. Is 7 a factor of i(-7)?
True
Suppose -7*k + 7 = -14. Suppose -3*u = -k*s - 468, 0 = -5*u + 16*s - 17*s + 810. Is u a multiple of 8?
False
Suppose 15*x + 7536 = 27*x. Suppose -u - c + 419 = 0, -213 - x = -2*u + c. Does 21 divide u?
True
Suppose 0 = 10*t - 51 + 21. Suppose -2*n + 1886 = 5*m - 7*m, -5*n - t*m + 4731 = 0. Is n a multiple of 45?
True
Suppose -b = -4*y - 6491 - 83, 4*y + 19674 = 3*b. Does 10 divide b?
True
Let g(b) = -11*b**2 - 8*b + 5. Let j be g(-5). Let q be 3 - -1 - (4 + j). Is 2*2/(8/q) a multiple of 23?
True
Suppose 4*w = -2*r + 17892, -362*w + 359*w + 8948 = r. Does 34 divide r?
True
Suppose 0 = -2*i + 3 - 1, -2021 = 3*l - 2*i. Let j = 827 + l. Is j a multiple of 7?
True
Suppose -15 = -2*m - 5. Suppose -2*x - 928 = -j, 3*x + 0*x = m*j - 4640. Is 24 a factor of j?
False
Let h = 59 + -56. Suppose b - 19 = -5*o, 11 = 2*b + h*b - 3*o. Is 40 a factor of 0 + 6/4 - (-154)/b?
True
Let r(n) = -10*n**2 - 388*n + 68. Does 14 divide r(-34)?
False
Suppose 14*p = 11*p + 5*o + 441, 0 = p + 4*o - 130. Is -10*((9 - p) + 9) a multiple of 31?
True
Let p = -34 - -36. Does 49 divide 1787/6 - 4 - p/(-12)?
True
Let v = 1 - 3. Suppose 0 = 3*o - 4*c - 15, o + 5 = 2*c - 4*c. Does 23 divide ((-21)/o)/(v/8)?
False
Let w(b) = -3*b**2 + 139*b + 328. Does 114 divide w(26)?
False
Let w = -8 - -17. Let o(p) = -p**2 - 17*p + 6. Let t(l) = -2*l**2 - 52*l + 16. Let b(v) = 8*o(v) - 3*t(v). Is b(w) a multiple of 6?
True
Let w = 951 - 281. Is w a multiple of 10?
True
Let h be 1 + (-195)/(-10) - (-3)/(-6). Is 13 a factor of 10176/h - (-4)/20?
False
Suppose 4*b - 12259 = -i + 156883, 0 = 3*b - i - 126846. Does 11 divide b?
True
Suppose -6229140 = -116*a - 411*a. Is a a multiple of 69?
False
Suppose 10*p - 6*p = 4*a - 1248, 4*p + 1213 = -3*a. Let l = -148 - p. Is l a multiple of 17?
False
Let t(x) = -123*x - 8. Let a be t(-2). Let k = -140 + a. Is k a multiple of 26?
False
Let i = 5 + -2. Suppose -4*w + 4*k + 548 = 0, -94*w + 2*k - 391 = -97*w. Suppose -2*t = 4*o - 168, 8*t - w = 6*t + i*o. Is t a multiple of 5?
False
Let q(h) = 2*h + 17. Suppose -4*y + 2*n - 31 = n, 5*n + 6 = -3*y. Let j be q(y). Suppose -l + 33 = v, -l = -j*v + 66 + 25. Is 31 a factor of v?
True
Is 5 a factor of ((-170)/200 - (-2)/20) + (-111)/(-4)?
False
Suppose -x = 2*w - 21515, 333*x - 2*w + 64525 = 336*x. Is x a multiple of 23?
True
Suppose -w = 5*s - 28849 + 4619, -5*s + 24225 = 2*w. Does 3 divide s?
False
Let m(u) = 6*u**2 + 43*u - 16. Let a be m(-11). Let o = -162 + a. Is 3 a factor of o?
True
Let s(