lse
Suppose w + 40 = 2*w. Let q = 15 + w. Is q a multiple of 26?
False
Let f = -35 - -299. Is f a multiple of 55?
False
Let c = 15 + 0. Is c a multiple of 14?
False
Suppose w + 8 = -3*w. Let u be -2 + 7 - w/(-2). Suppose -j = -0*h + u*h - 173, -38 = -h - 2*j. Is h a multiple of 14?
False
Suppose 5*n = -2*o - 57, 2*n - 2*o = -10 - 10. Let d = n + 22. Does 11 divide d?
True
Suppose 8*b = 3*b. Suppose x = 2 - b. Suppose -11 = -x*y + 7. Is 8 a factor of y?
False
Suppose -2*d - 4*n + 342 = 3*d, 0 = d + n - 68. Does 14 divide d?
True
Suppose -8*p + 277 = -107. Is 12 a factor of p?
True
Let b(y) = -37*y**3 + y**2 - 3*y - 3. Does 19 divide b(-1)?
True
Suppose 4*b = 2*b + 4*i + 140, 4*b = 5*i + 292. Is 25 a factor of b?
False
Suppose 144 = 78*l - 75*l. Is l a multiple of 14?
False
Suppose -3*p - 2 = -11. Let y = p - -21. Is y/7*14/2 a multiple of 12?
True
Let t(z) = 10*z**2 - 4*z + 8. Let n(c) = -c**2 - 1. Let y(k) = 6*n(k) + t(k). Is y(3) a multiple of 9?
False
Let z be (12/16)/((-1)/4). Let c be 0 - ((-1)/1 + 0). Is c - -6 - z/3 a multiple of 4?
True
Let b be 2/(-6) - 248/3. Suppose 0 = 3*m + 52 + 119. Let o = m - b. Is 12 a factor of o?
False
Let s be -2 - (2 - 2 - -2). Is 3 a factor of (1 + s)/(6/(-14))?
False
Suppose 2*o = -4*j, -2*o + 2*j = j. Suppose -2*t = 5*q - 11 + 4, o = 4*q - 4*t. Let l = 2 + q. Does 2 divide l?
False
Suppose 18 = 4*j - 3*j. Does 6 divide j?
True
Suppose -6*w = -3*w - 30. Let y(t) = t**3 - 9*t**2 - 9*t + 2. Is y(w) a multiple of 3?
True
Suppose z = 2*h, 0*z + h = 5*z - 9. Suppose -7*y + z*y = -10. Is y a multiple of 2?
True
Let p(k) = 14*k - 32. Is 33 a factor of p(6)?
False
Let f be -2*(1/(-2) - 1). Let k(q) = q**3 - 2*q**2 - 3*q - 1. Let g(n) = -n**3 + n**2 + 1. Let o(l) = -g(l) + k(l). Does 16 divide o(f)?
True
Suppose 3*u - 7 = -5*h, 3*h - u - 9 = -h. Suppose h = 2*a - 0*a. Does 2 divide ((-2)/4*-6)/a?
False
Suppose -5*a - 24 = -7*a. Let s be 6/a + (-18)/(-4). Suppose -s - 4 = -3*y. Is y a multiple of 3?
True
Suppose 9*a = 4*a + 105. Is a a multiple of 7?
True
Let v be (-6)/(-4)*4/3. Let w = v - 0. Does 5 divide 0 + 8 - (3 - w)?
False
Let x = 2 - -1. Let c = 6 - x. Suppose 0 = -c*o + o + 4. Does 2 divide o?
True
Let y(s) = 4*s**2 + 3*s + 3. Does 11 divide y(-4)?
True
Suppose 5*y = -j + 113, 4*j = -0*j + 4*y + 404. Let a = j - 74. Is 29 a factor of a?
True
Let y(f) be the first derivative of f**2/2 + f + 2. Let s be y(3). Suppose j - 34 + 131 = s*n, 51 = 2*n - 3*j. Is 24 a factor of n?
True
Suppose -206 + 17 = -3*a. Is 6 a factor of a?
False
Let h(f) = f**2 + 5*f + 5. Let m be h(-5). Suppose 1 = 4*a - m*a. Is 18 a factor of (0 + 1)*(a + 19)?
True
Suppose -2*n = -3*l + 8, 0*n - 3*l + 10 = -n. Suppose -n*u = 2, -128 - 58 = -5*t - 4*u. Is t a multiple of 19?
True
Let g = 5 - 2. Let d = 2 - g. Is 3 a factor of (2*-3 - d)*-1?
False
Let j(v) = -7*v + 1. Let l be j(-2). Suppose 0 = -2*m - 3*m - 20, z + 5*m + l = 0. Is 5 a factor of z?
True
Let k(s) = -s**2 - 2. Let t be k(0). Let c(b) = -2 - 3*b + 0*b - b**3 + 2*b**2 - 3*b**2. Does 8 divide c(t)?
True
Suppose -2*d = -3*d - 28. Let u = d - -70. Does 12 divide u?
False
Let m = 36 - 64. Does 2 divide (-16)/24 + m/(-6)?
True
Is 38 a factor of (-3)/(-9) - 113/(-3)?
True
Suppose -5*m - 7 = -2*n + 4*n, 2*n = m + 11. Let b(d) = d**2 + 6*d. Let c be b(-6). Suppose 2*j + n*t = 47 + 5, 3*j + 2*t - 62 = c. Does 9 divide j?
True
Let p = 19 - 6. Let w = p + -8. Is w a multiple of 2?
False
Let f(p) = -p - 6. Let w be f(-10). Suppose w + 1 = n. Does 5 divide n?
True
Let c(q) be the second derivative of -q**4/12 + 13*q**3/6 - 9*q**2/2 + 6*q. Let w be 4/6 - (-50)/6. Is 11 a factor of c(w)?
False
Let v(o) be the third derivative of o**9/3780 - o**5/20 + 2*o**2. Let s(l) be the third derivative of v(l). Is 16 a factor of s(1)?
True
Let x(j) = j**3 + 5*j**2 - 5*j + 9. Let n be x(-6). Let k = -14 - -42. Suppose 79 = n*o + k. Does 14 divide o?
False
Is ((-364)/(-21))/((-4)/(-6)) a multiple of 8?
False
Let f(p) = -p**3 + 10*p**2 - 10*p + 10. Suppose 3*i = -i + 36. Let k be f(i). Does 4 divide k*4 + -3 + 5?
False
Let o(c) = 25*c**2 - c + 1. Let y be o(1). Does 14 divide (18/(-3))/(-2) + y?
True
Suppose 0 = 2*w - 74 - 24. Is w a multiple of 7?
True
Let w be 100/(-12) - 2/(-6). Let u(t) = -t**3 - 9*t**2 - 8*t - 2. Let n be u(w). Let v = n - -20. Is v a multiple of 9?
True
Let u(t) = t**3 - 1. Let g(l) = 4*l**3 + 3*l**2 - l - 5. Let y(n) = -g(n) + 5*u(n). Let q be y(4). Let j = 36 - q. Does 13 divide j?
False
Suppose 6*z - 31 = 53. Is z a multiple of 2?
True
Suppose 5*s - 6*q = -10*q, 0 = 3*s + 3*q + 3. Suppose -s*p + 125 = p. Is 9 a factor of p?
False
Let a = -4 + 5. Does 9 divide 0 + (a - -53)/2?
True
Let i(m) = -m**3 - 7*m**2 - m + 6. Let q be i(-9). Does 12 divide q/9 + (-6)/9?
False
Suppose z - 4*z - 3*t + 33 = 0, 0 = 2*t. Does 4 divide z?
False
Let d(y) be the third derivative of -y**6/120 - 11*y**5/60 - 13*y**4/24 + y**3/3 - 3*y**2. Does 13 divide d(-10)?
False
Suppose 4*l - 4 = 2*l. Suppose -8*s = -3*s - 15. Suppose l*h + 0*h - 10 = 0, -4*m = s*h - 67. Does 13 divide m?
True
Suppose -2 = 3*m - 17, -g + 4*m = 18. Suppose -4 + 18 = g*h. Is h a multiple of 7?
True
Is 2 a factor of (-3 - 20/(-5))*(20 - 1)?
False
Let y(t) = -7*t**2. Let m be y(1). Let u = m - -20. Suppose 3*z - u = -1. Is z a multiple of 4?
True
Is (-9)/45 - 472/(-10) a multiple of 38?
False
Suppose 6*z - z = 3*x + 39, 0 = 5*z - 15. Let h be (-46)/(-6) + x/12. Let p = h - -3. Is p a multiple of 10?
True
Is 5 a factor of (10/(-4))/((-14)/168)?
True
Is ((-75)/(-20) + 2)*4 a multiple of 23?
True
Let r = 75 - -12. Is r a multiple of 23?
False
Let r be (-86)/(-12) + 2/(-12). Let a = 11 - r. Suppose a*k - 5*k - 123 = -3*q, 2*q = 3*k + 75. Does 14 divide q?
True
Let b = -6 - -1. Let h = 0 - b. Let k(y) = -y**3 + 7*y**2 - 2. Is k(h) a multiple of 17?
False
Let a be (-1)/(-2) - 21/6. Let z be (-9)/3*(-1)/(-3). Does 19 divide -10*(a + z) - 2?
True
Suppose n + 16 = z - 4, 3*n - 72 = -3*z. Suppose 2*m + 4*f = z, m - 4*m = -2*f + 7. Let h(s) = 33*s**3 + 1. Does 17 divide h(m)?
True
Suppose -4*n + 132 = 4*r, n - 36 = -3*r - r. Does 28 divide n?
False
Let t(x) = 6*x**2 - 3*x + 5. Let n(u) = -12*u**2 + 6*u - 11. Let p(b) = -2*n(b) - 5*t(b). Let v be p(3). Let i = -28 - v. Is i a multiple of 10?
True
Let p(q) be the third derivative of 3*q**4/8 - q**3 + 3*q**2. Let d be p(6). Is 13 a factor of -3*1/(-3) + d?
False
Let s(t) = 1. Let f(v) = -v**2 + 5*v - 3. Let g(z) = -f(z) + 3*s(z). Let j be g(4). Suppose -j*b + 10 = 0, -b + 13 + 107 = 5*h. Does 16 divide h?
False
Let n(h) = 4*h**2 - h + 4. Let y(j) = -j**2 - 4*j - 2. Let g(o) = o + 1. Let a(m) = -3*g(m) - y(m). Let l(t) = 4*a(t) + n(t). Does 16 divide l(-2)?
False
Suppose 3*m = -2*d - 109, 3*d + 82 = 5*m - 53. Let b = d - -75. Suppose 5*i - b = 0, 5*a + i - 120 = -0*a. Is a a multiple of 13?
False
Suppose 0*l = -5*l + 55. Suppose -2*n + 4 = -3*y, -l = 5*n - y - 47. Does 4 divide n?
True
Suppose 0 = -2*y + 3*a - 2*a + 233, 0 = -3*y - a + 362. Is y a multiple of 16?
False
Suppose -3*f - 30 = -5*f. Is f a multiple of 14?
False
Let a(v) = 2*v - 15. Is a(13) a multiple of 11?
True
Let g(m) = m**3 + 7*m**2 + 9*m. Is g(-4) even?
True
Suppose 2 + 16 = -3*g. Let c(j) = -j**2 - 9*j - 4. Does 7 divide c(g)?
True
Suppose -6 = 2*k + 4*b - 2, 4*k - 5*b - 5 = 0. Suppose a = 3*q + 12, -4*q - 18 = -2*a - k*q. Suppose -4*r - z = -99, 2*r = 2*z + a*z + 77. Is 13 a factor of r?
True
Let v = 26 + -8. Does 9 divide v?
True
Let c = 234 + -50. Does 28 divide c?
False
Let q(n) = -n**2 - 5*n + 1. Let c be q(-4). Let i(d) = 6*d**2 + 3. Let a be i(3). Suppose k - w + 3*w - 18 = 0, -c*w + a = 4*k. Is 4 a factor of k?
True
Suppose 2*f = -2*f + 12. Suppose -25 - 71 = -2*y. Suppose -m + y = f*m. Is 10 a factor of m?
False
Suppose 26 = -4*t + 5*k + 608, 3*k - 598 = -4*t. Does 23 divide t?
False
Let m = 20 - 5. Let u = m - 4. Is u a multiple of 6?
False
Let h(k) = 5*k**3 + 2*k**2 + k + 2. Let f(q) = q**3 - q**2 - 1. Let g = -1 - -2. Let i(j) = g*h(j) + 3*f(j). Is 3 a factor of i(1)?
False
Let i = -13 - -45. Is i a multiple of 16?
True
Let f(g) = -13*g - 1. Is 22 a factor of f(-4)?
False
Suppose 31 = u - 21. Does 13 divide u?
True
Let p be 0/(1*(-2 - 1)). Suppose p - 27 = -a. Is 10 a factor of a?
False
Let t be (4*1)/((-2)/5). Let 