lse
Let h be 2*(-1 + 5 - 0). Does 27 divide (27/4)/(2/h)?
True
Suppose y + 35 = 5*a - 4*y, -5 = a + 2*y. Is a a multiple of 2?
False
Let w = 8 + 10. Is w a multiple of 6?
True
Suppose -5*r + 100 = c, c - 4*r - 100 = r. Suppose c = 2*u + 2*u. Does 8 divide u?
False
Let p(w) = -6*w - 3. Let q(j) = 3*j + 3. Suppose 10 + 2 = 4*x - 4*u, 0 = -2*x + u + 1. Let z be q(x). Is 6 a factor of p(z)?
False
Let o(f) = 4*f + f**2 + 0*f + 3 + 2*f. Let m be o(-6). Suppose m*t = 2*t + 5. Is t even?
False
Let d(f) = 9*f**2 - 6*f + 7. Let n(k) = -8*k**2 + 5*k - 6. Let w(r) = -6*d(r) - 7*n(r). Does 6 divide w(-2)?
True
Let x be (-3)/2*(-160)/12. Suppose -13 = -3*a + 3*z + x, -2*a - z = -37. Is 4 a factor of a?
True
Let v = 169 - 118. Does 17 divide v?
True
Let w(f) = f**3 + 7*f**2 - 6*f + 1. Does 17 divide w(-6)?
False
Suppose 0 = 2*j - f - 38, -j = -4*j + 3*f + 63. Is 9 a factor of j?
False
Suppose -5*z = -3*l - 9, 2*z + l + 3 = -3*z. Suppose 0 = -z*u - u. Suppose u*x + 4*x = 48. Is x a multiple of 6?
True
Suppose -61 = -4*c + 3. Let j be -9 + 2/(-2) + 0. Let m = j + c. Does 4 divide m?
False
Suppose -k - q + 6*q + 5 = 0, -2*k - 4*q = -10. Suppose 2*x = -k*n + 25, -4*n + 18 - 1 = x. Suppose 2*d = -x*u - 0*u + 78, 5*u - 58 = 3*d. Is u a multiple of 7?
True
Suppose -2*a = -2*g + 3 + 9, 49 = 4*g + a. Let z = g + -7. Suppose -p + 10 = 4*r - 32, z*p + 8 = 0. Is 11 a factor of r?
True
Let n(f) = 3*f**2 + 2*f - 1. Let p be 2/4*(1 + 1). Suppose g + p = -4*c, c = -0*g - 5*g + 14. Does 13 divide n(g)?
False
Let q be (0 - (-1 - -1)) + 80. Suppose 5*u - 4*z - q = 0, u - 32 = -u + z. Let n = -2 + u. Is n a multiple of 14?
True
Suppose -16 = -5*h + 9. Suppose h*w = 3*w + 24. Is 5 a factor of w?
False
Let y(r) = 4*r + 6 + r + 2*r + 2*r. Let g be y(6). Suppose -g = -l - l. Is l a multiple of 15?
True
Let c be 66/3 - (-3 - 0). Suppose 2*x - 113 = -c. Does 9 divide x?
False
Suppose -y = 3*y - 3*w - 127, 0 = 5*y + 4*w - 120. Suppose 6*u = 4*q + 4*u - y, 3*u + 6 = 0. Does 5 divide q?
False
Let k be (-4)/6 - (-4)/6. Let c(h) = k*h - 5*h + h + 6. Is 17 a factor of c(-7)?
True
Let d be ((-8)/6)/(1/(-36)). Suppose 5*p - 2*h - 215 = d, -4*p + 212 = -2*h. Is 14 a factor of p?
False
Let n(y) = -y**2 - 11*y. Let f be n(-11). Suppose 2*m + f*m = -10. Let t = -1 - m. Does 4 divide t?
True
Let h = 16 - 6. Does 12 divide (24/5)/(2/h)?
True
Let q(f) = -f**2 - 10*f + 12. Let y(r) = -10*r**3 + r**2 - r + 1. Let a be y(1). Is 15 a factor of q(a)?
False
Suppose -o + 4 = -11. Does 5 divide o?
True
Suppose 3*v - 4*i - 172 = -2*v, 4*i - 8 = 0. Is 25 a factor of v?
False
Let j(m) be the first derivative of m**4/4 - 2*m**3 + 4*m - 7. Does 18 divide j(7)?
False
Does 22 divide ((-64)/(-10) - 6) + (-1208)/(-5)?
True
Suppose 2*a + 2*a = -36. Let u(v) = -v**3 - 8*v**2 + 4*v - 13. Does 16 divide u(a)?
True
Let l = 2 - -2. Suppose -5*k = l*q - 43 - 54, -5*k + 94 = 3*q. Let c = 28 - k. Does 11 divide c?
True
Let o = 2 - 5. Suppose -12*s + 9*s = -27. Let h = s - o. Is 12 a factor of h?
True
Let o = -31 - -56. Is 9 a factor of o?
False
Is 8 a factor of 58 + 4/(-8)*4?
True
Let n be (2 + 1)*28/(-21). Is 13 a factor of (39/(-9))/(n/12)?
True
Let d(s) = -s**3 - 6*s**2 - 5*s + 1. Let a be d(-6). Suppose -4*u + p + 3*p = 12, -3*u = 5*p - a. Suppose -18 = -u*q - 0. Is q a multiple of 7?
False
Let w(c) = -66*c**3 + 2*c**2 - c - 2. Is w(-1) a multiple of 14?
False
Let i(l) = -l**2 + 9*l + 9. Let f be 35 + 1/(-2)*2. Suppose -f = -5*d - s, -4*s - 2 = -2*d + 16. Is 9 a factor of i(d)?
False
Let n(y) = -2*y + 8. Let q(o) = 3*o - 8. Let l(s) = -4*n(s) - 3*q(s). Let r be l(-8). Does 12 divide ((-34)/1)/(-1 - r)?
False
Suppose 4*b = -0*b + 12. Suppose -23 = -4*n - b. Suppose -4*a - a = -4*w + 169, 0 = -n*w + 5*a + 215. Does 16 divide w?
False
Suppose -3*h = -10 - 107. Is h a multiple of 6?
False
Let a(r) = 3*r**3 - r**2 + 2*r + 2. Let y be a(3). Let s(p) = 5*p - 9. Let k be s(7). Suppose 3*i - o = 2*i + k, 3*i - 4*o = y. Is 12 a factor of i?
True
Let h = 30 - -18. Does 8 divide h?
True
Does 38 divide (1 + (-1)/3)*(-50 - -107)?
True
Let g = -3 - -5. Does 14 divide g/7 + 1897/49?
False
Suppose 0*r - 4 = 4*r. Let l be 1/(r/(-11)) - 2. Suppose -1 - l = -u. Is 4 a factor of u?
False
Suppose -3*a - 1 = 4*m - 2*m, -5*m + a + 6 = 0. Does 13 divide m/(-2) + 66/4?
False
Let u = -5 - -9. Suppose u*t - t = -24. Let l = 22 + t. Does 14 divide l?
True
Suppose 2*f - 139 = -5*o, -6*f + f + 5*o + 260 = 0. Does 19 divide f?
True
Let g(k) = 13*k + 3. Let x = 15 - 11. Let q be g(x). Suppose 7*b - 2*b = q. Is 11 a factor of b?
True
Suppose -4*m = 31 + 5. Let a = 51 - m. Is a a multiple of 12?
True
Let s(i) = -4*i - 1. Suppose -z - z - 8 = 0. Is s(z) a multiple of 7?
False
Let n(h) = 4*h - 5. Let b be n(4). Let d = 86 - b. Suppose 0 = -2*t - 3*t + d. Does 8 divide t?
False
Suppose 45 = 3*g + 12. Is g a multiple of 11?
True
Let m(g) = g**3 - 2*g**2 - 2. Let t be m(2). Let y = 4 - t. Suppose y = a + 5, 0 = -5*v + 2*a + 18. Is 4 a factor of v?
True
Let z = -60 + 65. Does 4 divide z?
False
Let x = 5 + -11. Let o = x + 15. Let p = 20 - o. Is p a multiple of 4?
False
Suppose 3*r + 34 = 5*z, 4*z + 4*r = 7*z - 16. Suppose 2*p - 4*d = 5*p - 182, -4*d = -z. Suppose -p - 152 = -5*m. Is 17 a factor of m?
False
Let v(w) = -w**2 - 5*w - 10. Let n be v(-4). Is 13 a factor of ((-16)/n)/((-4)/(-54))?
False
Does 16 divide (4 - (-6)/(-1)) + 34?
True
Suppose 4*g + 9 = -c, -2*g - 7 = c - 4. Is c even?
False
Suppose -k + 44 = -5*t, -2*k + 2*t - 9 = -3*k. Let o be (4 - 1)*4/3. Suppose o*u - k = 9. Is 4 a factor of u?
False
Let c = 31 - 19. Is c a multiple of 12?
True
Suppose -18*f + 3321 + 567 = 0. Does 12 divide f?
True
Let a = 86 + -46. Is a a multiple of 14?
False
Suppose 3*s - 20 - 94 = 0. Does 29 divide s?
False
Let h(y) = y**2 + 3*y + 2. Let c be h(-3). Suppose 3*k - c*k - 3 = 0. Suppose -49 = -k*a + 8. Does 7 divide a?
False
Let r = -5 + 7. Let d = -4 - 3. Let c = r - d. Is 7 a factor of c?
False
Let i = 2 + -10. Let k be i + 9 + (-1)/(-1). Is 10 a factor of 36/2 - -1*k?
True
Let m be ((-4)/(-10))/((-2)/(-10)). Suppose -5*i = -3*i - 8. Suppose 4*v + 5*t = 27, -i*t + 10 = -m. Is 2 a factor of v?
False
Let l(x) = x**3 - 6*x**2 + 5*x + 5. Let u be l(5). Suppose 0 = -2*v - u*d + 44, -3*v - 3*d + 22 = -2*v. Is 6 a factor of v?
False
Suppose 0*v - 48 = -2*v. Is 12 a factor of v?
True
Let w(y) = -y**2 - 7*y - 3. Let o(m) = -m**3 + 5*m**2 + 4*m + 7. Let g be o(6). Let i be w(g). Does 5 divide 3 - (-3 - i)/1?
False
Suppose -c = -4*a + 18, -c - 2 = -2*c - a. Let w = 18 - c. Does 7 divide w?
False
Does 24 divide (-43)/(2 - 7/3) + 2?
False
Is -29*(1 + -4 - -2) a multiple of 3?
False
Let g(v) = 2*v**2 - 4*v - 6. Is 5 a factor of g(4)?
True
Is (42 + -3 - -2) + 1 a multiple of 14?
True
Is (-88)/(-2) + 0/(-4) a multiple of 16?
False
Let w(f) = -2*f - 4. Let n be w(-4). Suppose 0*x + 56 = n*x. Is 7 a factor of x?
True
Let k = -119 - -215. Is 32 a factor of k?
True
Let y(h) = 5*h**2 - 13*h - 9. Let d(k) = 2*k**2 - 7*k - 5. Let t(c) = -7*d(c) + 3*y(c). Does 4 divide t(-10)?
True
Let d(g) = -6*g - 7. Suppose 0 = -r - 0*r + 12. Let n = 7 - r. Does 8 divide d(n)?
False
Suppose 204 = 4*d - d. Suppose 0*b - 4*b + d = 0. Is 17 a factor of b?
True
Suppose -4*b + 423 = -33. Is b a multiple of 32?
False
Let h(i) = -i**2 + 6. Let g(t) = t**2 - t - 6. Let s(l) = 3*g(l) + 2*h(l). Does 5 divide s(6)?
False
Let h be 7 + (1 - (-2 + 4)). Suppose -2*c = -h*c + 104. Is c a multiple of 15?
False
Suppose -3*y - 34 = -2*k - 7, -2*k + 37 = -y. Is k a multiple of 2?
False
Suppose -4*h + 65 + 159 = 0. Let r(v) = -4*v + 33. Let a be r(15). Let q = a + h. Does 10 divide q?
False
Let b = 5 - 1. Suppose -68 = -v - b*x, 19 = 4*v - 4*x - 173. Suppose -f - v = -5*f. Is 13 a factor of f?
True
Let p(i) be the second derivative of 23*i**4/6 - i**3/6 - i**2/2 + 5*i. Is p(-1) a multiple of 23?
True
Let v be 120/1*(-3)/(-2). Suppose -7*c = -2*c - v. Suppose c = -f + 5*f. Is f a multiple of 9?
True
Let i(k) = 6*k - 3. Suppose -q + 8 = -0*q. Suppose -4*p - q = -8*p. Is i(p) a multiple of 5?
False
Let i(u) = u + 1. Let a be -18*(-4 - -2)/4. Suppose -3*y = 2*k - a, 3*k + 2*y - 13 = -3*y. Is i(k) a multiple of 3?
False
Suppose -3*b = 5*b - 88. Is b even?
False
Let n = -3 + 6. Suppose 0 = -n*s - 5*g + 61, -3*s - 5*g = s - 7