lse
Let z = -1 - -1. Let r be 2 + (z - 2) + -2. Does 10 divide (-33)/(1/2 + r)?
False
Is 1/(2/104)*1 a multiple of 9?
False
Does 23 divide (-484)/(-7) + 4/(-28)?
True
Suppose -2*n = -0*n + 2. Let w = n + 3. Suppose w*u - u = 33. Is u a multiple of 12?
False
Let j(y) = -y + 9. Let f be j(4). Let k = -5 + f. Suppose k = 4*z + 5*g - 67, 3*z - 16 = -3*g + 38. Is z a multiple of 23?
True
Suppose 3*r = -5*p - 0*p + 1439, 301 = p + 5*r. Is p a multiple of 26?
True
Let w(z) = z**2 - 8*z - 10. Let h be w(7). Let p = 31 - h. Is 18 a factor of p?
False
Suppose 0 = 4*n - 9*n - 20, -4*n = 3*f - 251. Does 30 divide f?
False
Let g(w) = -w**3 + 10*w**2 - 2*w + 10. Does 11 divide g(7)?
True
Suppose -3*o = -6*o + 57. Suppose -4*t = -4*h - 4 - 4, -4*h - 5*t + o = 0. Suppose -g - h = -11. Does 5 divide g?
True
Is (-612)/(-3)*(3 - 2) - 0 a multiple of 34?
True
Suppose -2*q + 48 = -q. Suppose -3*b + 7*b - q = 0. Does 12 divide b?
True
Let t be (-495)/(-21) + 6/14. Suppose -4*i = -5*i + t. Is i a multiple of 8?
True
Suppose -7 + 5 = -i. Suppose i*y = -2 - 0, -2*q - 3*y + 151 = 0. Does 14 divide q?
False
Let j(i) = -13*i. Is j(-1) a multiple of 4?
False
Suppose 2*q - 2*j = 6*q - 12, 3*q = -2*j + 9. Is 3 a factor of q?
True
Suppose 5*h - 592 = -4*x, -69 + 679 = 5*h - 5*x. Suppose h = 5*v - 20. Does 9 divide v?
False
Let c(o) = o**2 - 3*o - 6. Let g be c(5). Let u = -123 - 15. Is 2/(-4) - u/g a multiple of 17?
True
Suppose -3*y = -8*y. Suppose y = -v + 3*v - 48. Suppose -5*r = -r - v. Does 3 divide r?
True
Suppose 4*u + 34 - 370 = 0. Suppose -a = 3*a - u. Let d = a + -15. Is d a multiple of 3?
True
Let m(r) = -r**3 + 5*r**2 + 7*r + 3. Let f = 1 - -5. Is m(f) a multiple of 5?
False
Let x(r) be the first derivative of -r**2 - 9*r + 3. Let z be x(-6). Suppose -5*y + 73 = -i - 0*i, z*i - 19 = -2*y. Is y a multiple of 8?
False
Suppose 80 = -22*u + 17*u. Does 28 divide (-16)/6*(u - 5)?
True
Is 7 a factor of (-6230)/(-60) - (-1)/6?
False
Let h = 55 + -31. Suppose -3*d - d = -h. Is d even?
True
Suppose a + 31 = 48. Does 11 divide a?
False
Suppose -6 = -2*v + 12. Suppose -v = -2*d + 15. Is 4 a factor of d?
True
Let k = 11 - 4. Suppose -k*d = -3*d - 48. Does 9 divide d?
False
Let m(r) = -4*r**3 + 3*r**2 - 4*r**2 - 2 + r**2. Suppose 2 = -3*w - 4. Does 15 divide m(w)?
True
Let q(p) = -p**3 + p - 1. Let c be q(-2). Let z = 77 - 41. Suppose 5*s + 4*x - 95 = -c, 2*s + x = z. Is s a multiple of 9?
True
Let z(l) = l**2 + 10*l + 5. Let o be z(-10). Suppose 16 = o*m - m. Suppose 0 = -n - 2*s + 1 + 27, -2*s - 62 = -m*n. Is 18 a factor of n?
True
Suppose 0 = -j - 4*j + 475. Is j a multiple of 21?
False
Let d(w) = 33*w - 17. Is 17 a factor of d(4)?
False
Let f be 2/(-6) + (-3)/(-9). Suppose b + 3*m - 60 = 0, f = -5*b + 5*m - 4*m + 332. Suppose -3*a + 24 = -b. Is a a multiple of 15?
True
Let j(n) = -n**3 + 8*n**2 - n + 10. Let o be j(8). Suppose 5*m - 3*p - 52 = 172, -2*m - o*p = -96. Does 23 divide m?
True
Let h(k) = k**2 + 7. Let y be -4*((-10)/8)/(-1). Is h(y) a multiple of 16?
True
Let d(q) = -20*q**2 + 9*q - 3. Let x(t) = -7*t**2 + 3*t - 1. Let i(n) = -3*d(n) + 8*x(n). Let o(s) be the first derivative of i(s). Is 14 a factor of o(3)?
False
Let k(x) = 3*x - 11. Does 5 divide k(7)?
True
Let y = 36 - 13. Is 20 a factor of y?
False
Let g(s) = 28*s. Is g(5) a multiple of 28?
True
Let c(w) = w**3 + 4*w**2 - 4*w + 2. Let b be c(-5). Let m(o) = -6*o. Does 18 divide m(b)?
True
Let c = 82 - 65. Is 4 a factor of c?
False
Suppose -4 = -l - 21. Let f(h) = h**2 + 15*h - 4. Is 17 a factor of f(l)?
False
Suppose 3*l + 5 = 4*c - 17, 13 = -2*l + c. Let v(h) = 2*h**2 + 7*h - 3. Let b be v(l). Suppose a - 1 = b. Does 14 divide a?
True
Let p = 23 + -28. Let b(j) = -3*j + 3 - 4 + 6. Is b(p) a multiple of 13?
False
Let m be 5/((-10)/6) - -7. Suppose b = m*g - 0*b - 125, 0 = -2*g - b + 61. Suppose -c = -2*k - g - 0, 0 = -5*c - 5*k + 140. Is c a multiple of 29?
True
Suppose j + 3*h = 3, 2*h = 5*j - 0*j + 53. Let m = 16 + j. Is 3 a factor of m?
False
Suppose -70 = 2*o - 3*o. Is o a multiple of 7?
True
Let c be 4/1*2/8. Let q = c + 0. Suppose -q - 2 = -v. Is 2 a factor of v?
False
Suppose 4 = o - 5*c, -3*o = 5*c + 29 - 1. Let q = 9 - o. Does 5 divide q?
True
Suppose -3*s + 1 = 2*w + 2*s, -4*s = -3*w - 10. Let r = 0 - w. Suppose r*a = q + 3*q + 4, 3*q + 1 = a. Is 3 a factor of a?
False
Let q = -13 + 17. Is 4 a factor of q?
True
Let f be (6/(-5))/(7/(-35)). Suppose -3*g = -f*g - 12. Let i = g + 11. Does 4 divide i?
False
Let k(w) = -w**2 - 6*w + 5. Let h be k(-5). Suppose -14 = -4*g + 3*c + h, 5*c = g - 23. Suppose s - 2*b - 23 = 0, -g*b = 2*s - s - 48. Is s a multiple of 11?
True
Let v be (-102)/(-10) - (-1)/(-5). Suppose -3*f + v = -2. Is f even?
True
Suppose f + 3*f + 20 = 0. Let p(c) = -c + 1. Is 6 a factor of p(f)?
True
Let f(q) = -q**2 + 9*q - 7. Let i be f(9). Let c(y) = y**2 + 5*y - 2. Is 6 a factor of c(i)?
True
Let z be 476/10 + 2/5. Suppose t = 2*t - z. Does 12 divide t?
True
Let w = -4 + 6. Let n be (1 + 0 - w)/(-1). Let l(k) = 3*k**3 + k**2 - 2*k + 1. Is 3 a factor of l(n)?
True
Suppose -11 - 39 = 5*b. Let m be (-5)/(75/162)*b. Suppose 0 = -4*g + m - 12. Does 9 divide g?
False
Suppose 0*o + 5 = 5*o, -3*a + 144 = -3*o. Does 10 divide a?
False
Is 17 a factor of 2/(-3) - (2 + (-562)/6)?
False
Is 6 a factor of (-9 - 1)*(-11)/2?
False
Let p(t) = 13*t - 18*t + 10*t + 3*t**3 - 6. Does 18 divide p(3)?
True
Let m(s) = 37*s**2 + s. Let n be m(-1). Is 9 a factor of -3 + 3 - n/(-2)?
True
Is ((-16)/(-20))/((-3)/(-360)) a multiple of 16?
True
Let l(h) = h - 3. Let x be l(6). Let v(o) = -o**3 + 4*o**2 + 6*o - 1. Let z be v(5). Suppose -x*b = 2*p - z*p + 69, 2*p - 75 = 5*b. Is p a multiple of 15?
True
Suppose d + 9 = 10. Let b = d + 53. Is b a multiple of 18?
True
Suppose 6 = m - 4*m. Let i(u) = 10*u**2 - 3*u - 2. Does 13 divide i(m)?
False
Let r(f) = -f**2 + 13*f - 15. Let b be r(11). Suppose -b*m = -2*m + 5. Does 7 divide (m + 16)*(-2)/(-2)?
False
Let a = -1 + 1. Let y be (0 - a) + (-3 - 5). Let u = -4 - y. Is u a multiple of 4?
True
Let r = -2 - -2. Let f(v) = -2*v + 4. Is 3 a factor of f(r)?
False
Suppose h - 5*h - 3*a = -441, 0 = 2*h + a - 219. Does 32 divide h?
False
Let p be (24/9)/((-4)/(-6)). Suppose -2*i = -p - 64. Is 17 a factor of i?
True
Does 3 divide 16*(-1)/3*-9?
True
Let d(f) = -f**3 - 6*f**2 - 2*f - 8. Let i be d(-6). Suppose -3*m + 42 = 3*s, 4 = m + i*s - 4. Is 11 a factor of m?
False
Suppose -l - 3*i + 87 = 0, 2*i + 3*i - 85 = -l. Does 15 divide l?
True
Suppose -154 = -4*d + 210. Is d a multiple of 14?
False
Is 37/(2 + (-1)/1) a multiple of 7?
False
Let i = 167 - 108. Is 10 a factor of i?
False
Let o = -95 + 57. Let r = o - -56. Is r a multiple of 9?
True
Let v(q) = -q. Suppose 3*j = -z - 17, -3*j = -3*z - 2*z - 13. Let r be v(z). Suppose u - 2*s = s + 14, r*u - 50 = -5*s. Is 11 a factor of u?
True
Let x be -1 + (3 + -6 - -7). Suppose x*p + 54 = 6*p. Does 9 divide p?
True
Suppose -f = -4*f - 2*g + 210, 3*f = -g + 207. Is 34 a factor of f?
True
Let w(o) = o**2 + 9*o - 4. Let j be w(-9). Is 5 a factor of (15/j)/((-1)/4)?
True
Let o(y) = y**2 - 3*y + 12. Is o(7) a multiple of 10?
True
Does 15 divide ((-8)/12)/((-1)/57)?
False
Suppose z - 6*z = -25. Suppose 38 = d + z*w, 2*w - 58 = -d + w. Is 21 a factor of d?
True
Let m(u) = u**3 - 7*u**2 - 8*u + 3. Let y be m(8). Suppose y*z - 128 = -z. Is z a multiple of 16?
True
Suppose 8*z + 57 = 9*z. Is z a multiple of 7?
False
Let k be (2/5)/((-1)/5). Is 6 a factor of (-6)/(-3) + k + 11?
False
Suppose -4 = -2*o + 6. Suppose 0 = o*j - 4*c, -4*j - 2*c + 26 = -0. Is 9 a factor of (-2)/j - (-209)/22?
True
Let r(q) = -10*q - 3. Let w be r(3). Let u = w - -61. Is u a multiple of 16?
False
Let v(u) = u**2 - 6*u - 11. Let a be v(8). Suppose 0 = a*d + 17 - 52. Does 7 divide d?
True
Suppose -g = g. Let l be (3/2 + -2)*g. Does 5 divide 15 - (1 + 2 - l)?
False
Let u(l) = 18*l**3 + l**2 - l. Does 18 divide u(1)?
True
Suppose 4*p - 772 = 92. Suppose 0 = 3*z - p + 57. Is z a multiple of 22?
False
Suppose 631 = 4*r + 235. Does 40 divide r?
False
Suppose 7*q - 3*q - 72 = 0. Suppose 0 = -2*a + 2*k + q, 0 = a + 2*k - 19 - 5. Is 14 a factor of a?
True
Suppose 20 = o - 2*r, 3*o + 3*r - 124 = -o. Does 14 divide o?
True
Let y(w) = -w - 1. Let n be y(-2). Suppose 4*g = -3 - n. Is (