lse
Let g(b) = -2*b**3 + b**2 - b - 4. Let v(t) = -2*t**3 + 8*t**2 - 7*t - 1. Let x be v(3). Is g(x) a multiple of 37?
False
Let d = -103 - -3536. Is d a multiple of 35?
False
Let i(b) = -3*b - 31. Let o be i(-12). Suppose 0 = 5*z + 4*t - 784, -z + 820 = 4*z - o*t. Is z a multiple of 16?
True
Let h(o) = -7*o + 3. Let v be h(0). Suppose -v*k = 5*k - 128. Is k a multiple of 15?
False
Let a = -23 - -25. Suppose -79 = -4*c + 5*z, -a*c + 9 + 8 = 5*z. Does 8 divide c?
True
Let j(q) = q**2 - 2*q. Let l be j(2). Let y(c) = -c**3 - c**2 - c + 40. Let r be y(l). Let n = 88 - r. Is n a multiple of 24?
True
Suppose 0 = -5*c - 4*c. Suppose 0*d + 2*d - 40 = c. Is 10 a factor of d?
True
Suppose -184 = -3*l + 7*l. Let n = 52 + l. Does 4 divide n?
False
Suppose 15*l - 3410 = 2680. Does 46 divide l?
False
Let i(z) = -7*z**2 - 5*z + 2. Let p be i(-4). Let v = -46 - p. Is 14 a factor of v?
False
Suppose 103 = -5*f + 23. Let b be 17 + f - (-28 - -1). Let m = b + -4. Does 6 divide m?
True
Let k(d) = 2*d - 8. Let c be k(6). Suppose -2*q - c = 4*l, -3*l + 0*q = 5*q - 4. Is 8 a factor of (15/(-2))/(l/4)?
False
Suppose -3309 - 3423 = -9*x. Does 21 divide x?
False
Let d be ((-42)/3)/(1/(-1)). Let a = -4 - -4. Let l = a + d. Does 5 divide l?
False
Let y = 3683 - 718. Is y a multiple of 24?
False
Suppose -4*v = 4*l - 640, -2*l - 3*v = -0*l - 321. Does 8 divide l?
False
Let k(c) = 26*c - 6. Let w be 5*3*1/3. Is k(w) a multiple of 31?
True
Let o(h) = 83*h + 43. Is 56 a factor of o(3)?
False
Suppose -9*v + 371 = -4012. Does 18 divide v?
False
Let u = 60 - -380. Is u a multiple of 22?
True
Let i = 37 + 21. Is i a multiple of 2?
True
Suppose 5*r + 2*v = 1008, -2*r + 4*v - 5*v = -404. Does 10 divide r?
True
Let c(p) = 4*p**2 + 3*p + 10. Let g be c(-2). Let d = 1 + -1. Suppose 2*v + d*v = g. Is v a multiple of 3?
False
Let o = 731 + -453. Let k = o + -180. Let s = k - 44. Does 18 divide s?
True
Let i(s) = -30*s - 97. Is i(-4) a multiple of 23?
True
Suppose 5*c + 125 = 4*y, -5*c = 5*y - 8 - 137. Suppose -2*v - 66 = y. Let o = v + 84. Is 10 a factor of o?
False
Is 30 a factor of ((-2)/6)/((-3)/2205) + -5?
True
Let i = 1240 - -88. Is 15 a factor of i?
False
Let h be 1*(4 - 5) - -2. Let z = h + 95. Suppose -3*k = -3*i + k + z, -k = -2*i + 64. Is i a multiple of 17?
False
Suppose 5*g - 42 - 1059 = -d, 2*g - 5505 = -5*d. Is 14 a factor of d?
False
Let m(x) be the third derivative of -x**4/4 - 11*x**3/6 + x**2. Suppose -3*u = 3*i + 30, 5*i + 4*u - 15 = 6*i. Is m(i) a multiple of 19?
False
Let h = -2 - -18. Is 4 a factor of h?
True
Let g(x) = 4*x**3 + x - 1. Let r be g(1). Suppose -2*b = -4*q + 128, q - 160 = -4*q - r*b. Is 8 a factor of q?
True
Let l(j) = -3*j - 7. Let z = 11 - -9. Suppose 5*v + 0*u - 5*u = -z, -5*u = -4*v - 14. Is l(v) a multiple of 3?
False
Let u(m) = 32*m**2 - 185*m. Does 27 divide u(10)?
True
Suppose -2*c = -2*w - 3*w + 36, w = 2*c + 12. Suppose 0 = w*g - 4*g - 114. Is g a multiple of 19?
True
Let k be ((-5)/15)/((-3)/189). Suppose -4*m = 1 - k. Suppose -4*v - v - 85 = -3*y, 0 = -m*y - 4*v + 154. Is 10 a factor of y?
True
Let k(j) = -8*j + 64. Let g(y) = -5*y + 43. Let m(c) = -7*g(c) + 5*k(c). Is 9 a factor of m(-7)?
True
Let q(f) = 113*f**2 - 23*f - 37. Is q(-5) a multiple of 24?
False
Let b(d) = -26*d**2 - 7*d - 3. Let x be b(-5). Let l = 318 + x. Is 10 a factor of ((-4)/(-6))/((-8)/l)?
False
Suppose -2*b + t - 19 = -0, 2*t = -3*b - 25. Let c be 3 - 3/b*-9. Suppose 5*w - 223 = -4*z, -z - 41 = -w - c. Does 17 divide w?
False
Let k be (105/9)/(-7)*24. Let f = -27 - k. Does 2 divide f?
False
Suppose 2*g + 43 = 2*o - 3*g, 3*g = -o + 5. Suppose q - 47 = -o. Is 11 a factor of q?
True
Let u(v) be the second derivative of -v**5/20 - v**4/4 + v**3/3 - v**2/2 + 20*v. Is u(-5) a multiple of 13?
True
Suppose 2*x + 4*d = 6*x, -3*x = -4*d + 2. Does 10 divide 12/(-5) + x + 137/5?
False
Let b = 1609 + -1078. Is 59 a factor of b?
True
Let x be (-25 - -7)*4/(-6). Suppose 3*a = 2*a + x. Let g(w) = 2*w**2 - 23*w + 3. Is g(a) a multiple of 5?
True
Let n(t) = -108*t**3 - 15*t**2 - 4*t - 4. Does 9 divide n(-2)?
False
Let h = 50 + -37. Is (-14 + h)*(-137 - (-1)/1) a multiple of 17?
True
Let v(g) = g**2 - 6*g + 4. Let f be v(6). Suppose -4*k + 5*s - 4 = -k, 5*s - 12 = -k. Suppose -t - 4*r = -f, k*t - 63 = 4*r - r. Is t a multiple of 12?
True
Let q(u) = -u**3 - 33*u**2 - 75*u - 75. Is 41 a factor of q(-31)?
True
Let r(x) = 3*x**2 + 4*x - 2. Let g be r(-2). Suppose -8*w + 12*w = g*y - 172, -y + 3*w + 91 = 0. Is y a multiple of 19?
True
Suppose -2*c + 53 = -5*s, 3*c = -4*s + 6*c - 48. Let x(u) = 12 + 7*u + u + 16*u**3 - 22*u**3 + 10*u**2 + 7*u**3. Does 8 divide x(s)?
False
Let u be (184*1)/4*(0 + -2). Is 5 a factor of (u*1)/(-4) + 5?
False
Is -3*(-62)/(-6)*(-170)/10 a multiple of 31?
True
Let c(k) = k. Let w be c(5). Let r(j) = j**3 - j**2 + 2*j + 4. Let m be r(4). Suppose -h + w*h + m = 4*u, -2*h + 30 = 3*u. Is u a multiple of 12?
True
Let x = 561 - 371. Is x a multiple of 15?
False
Suppose 4*x - 13 = 11. Suppose j + x = 17. Suppose -6*d + j*d = 360. Is d a multiple of 19?
False
Suppose 0 = -10*v + 5*v - 40. Does 15 divide 2/v - (-1281)/84?
True
Suppose -q - 3*m = 4, 24 = q - 2*m - 2*m. Let l(n) = -n**2 + 6*n - 9. Let r be l(q). Let p = 47 + r. Is 11 a factor of p?
True
Suppose 38*p = 39*p - 98. Does 14 divide p?
True
Suppose 6*p - 2543 = -749. Is 13 a factor of p?
True
Suppose 5*q - 4*l - 45 = 0, l - 5 = -0*q - 2*q. Suppose q*a = a + 36. Suppose -a*r - 42 = -10*r. Does 15 divide r?
False
Suppose 0 = -5*l + 2*u - 10, -2*u - 2*u + 20 = -2*l. Suppose -3*o = -3*m - 504, 2*m + 6 = -l*m. Does 31 divide o?
False
Let q = -25 + 25. Suppose 8*l - 15 = 6*l + 3*k, -l - k + 20 = q. Is 2 a factor of l?
False
Let f be 4*(-3)/(-36)*3. Let q(x) = -x**3 + x. Let g be q(f). Suppose 5*z - 92 - 128 = g. Is z a multiple of 11?
True
Suppose -10*x + x + 18 = 0. Is x a multiple of 2?
True
Suppose -4*j + j + 359 = 2*a, 4*a + 3*j = 721. Is 11 a factor of a?
False
Let n(y) = 12*y - 6. Let b = 9 - 1. Let j be n(b). Let f = -51 + j. Is f a multiple of 9?
False
Let v = -370 - -482. Is 4 a factor of v?
True
Suppose -159 = a - 2*c - 16, 15 = 3*c. Let m = -118 - a. Is 6 a factor of m?
False
Suppose 0 = -l - 4*l - 2*w + 1864, 3*l - 1116 = -2*w. Does 34 divide l?
True
Let q(p) = -p**2 - 31*p - 51. Does 14 divide q(-16)?
False
Let t(r) = r**3 + 12*r**2 + 11*r + 2. Let s be t(-11). Suppose s*h = -h + 24. Is h/(-1 - 44/(-36)) a multiple of 12?
True
Let b = 910 + -85. Is 15 a factor of 16/10*b/11?
True
Is 35 a factor of (-44)/(-55) - (-19953)/15 - 1?
True
Let u(h) = 23*h - 2. Let q be u(13). Suppose -t + q = 10*t. Is 9 a factor of t?
True
Let v(p) = -p**2 + 11*p - 28. Let q be v(5). Suppose 0 = 2*s - 3*s - 4*i + 24, -2*i = q. Does 14 divide s?
True
Suppose -y + 2*y + 5*t = 554, -4*t = -3*y + 1662. Is y a multiple of 12?
False
Let f be 2/(3*2) + 1169/21. Does 27 divide (f/6)/(3*(-8)/(-324))?
False
Let h(s) = 0*s + 2 + 2*s**3 - s**3 + 3*s - 2*s + 4*s**2. Let a be h(-3). Is 10 a factor of a/(-6)*102/(-4)?
False
Let v = -21 + 23. Suppose -59 = -4*r - v*i + 271, 4*i = -2*r + 162. Suppose -5*u = -2*m - 106, 0 = 5*u - 5*m - 32 - r. Is u a multiple of 9?
False
Suppose 0 = -4*c - 20, 3*v - 4*v = -5*c - 53. Let z be 8/v - (-4980)/14. Is 12 a factor of 8/20 - z/(-10)?
True
Let j(h) = 226*h**2 - 9*h - 30. Does 21 divide j(-3)?
False
Suppose -z = -3*v - 1178, 6*z - 5*v = z + 5920. Let t = z + -2037. Is (-2)/7 + t/(-35) a multiple of 9?
False
Let j be 13/4 + 12/16. Suppose -3*q = 4*i - j*q - 698, -172 = -i - q. Does 29 divide i?
True
Let n = 2107 + -771. Does 48 divide n?
False
Suppose -11*q = 7*q - 1620. Is 18 a factor of q?
True
Suppose -d = -3*c + 1933, 0 = -0*c - 2*c - 5*d + 1283. Is 7 a factor of c?
True
Let p = 9 - 9. Suppose 5*w + p*w - 390 = 0. Suppose h = 2*h - w. Is 26 a factor of h?
True
Let c(z) = 305*z. Let o be c(1). Suppose -1115 = -2*i - o. Is 19 a factor of (-2)/(-8) - i/(-12)?
False
Let f be (-4)/14 - 255/(-35). Suppose 0 = -2*g - f - 5. Is 14 a factor of (8 + g)*3*7?
True
Let c = 2140 + -1273. Is c a multiple of 13?
False
Let n(t) = t**3 - 70*t**2 - 139*t + 36. Does 9 divide n(72)?
True
Let l(h) = h**2 + 4. Let q be l(0). Let j be 12/7*(-5 - 217/(-14)). Suppose q*b = -2*b + j. Is b a multiple of 3?
True
Let f(b) = 73*