lse
Suppose 0 = 3*u + 12, 0 = g - 4*g + 3*u + 129. Is 13 a factor of g?
True
Let o(v) = -v**3 - 7*v**2 + 5. Let l be o(-7). Suppose l*n = -5*r + 240, -3*n - n + 5*r = -165. Suppose 3*a - n = -2*a. Does 9 divide a?
True
Let d(v) = v - 6. Let a be d(2). Does 2 divide (0 - -7) + a + 1?
True
Let z = 90 + -64. Suppose -o = 2 - z. Does 12 divide o?
True
Let m be (1 - (3 - 1))/(-1). Suppose -y - y + 2*s = -22, s + 59 = 5*y. Is 8 a factor of 2/((-9)/y + m)?
True
Let d = 6 - -81. Is 28 a factor of d?
False
Suppose 5*l = -0*t - t + 728, -740 = -5*l - 5*t. Does 29 divide l?
True
Suppose 0 = 7*k - 0*k - 217. Let p be ((-6)/(-4))/(9/12). Let n = p + k. Does 11 divide n?
True
Let g be 14/8 - 3/(-12). Let r be -1 + 14 + 1 + -2. Suppose 0 = g*c - 40 - r. Does 10 divide c?
False
Suppose 0 = -2*f + 3*l + 44, 9*f = 4*f + 3*l + 128. Is f a multiple of 7?
True
Suppose -4*y - 4*o = -o + 3, 5*o = -2*y + 9. Let i(u) = -u**3 - 2*u**2 + 3*u. Let t be i(y). Suppose 7*d - 2*d - 55 = t. Does 11 divide d?
True
Suppose 0 = 5*l + 3*r - 74 - 17, 2*l - 2*r = 46. Is 4 a factor of l?
True
Suppose 0 = -3*v + 1 + 11. Suppose v*y - 61 = -9. Is y a multiple of 5?
False
Let d(k) = k - 5. Let a be d(0). Let w = 19 + a. Is w a multiple of 14?
True
Suppose -5*y + 30 = -5. Let w = y - 4. Suppose w*i = 51 - 15. Is i a multiple of 7?
False
Let p(j) = -2*j**2 - 6*j + 11. Let u be p(-8). Let v = 158 + u. Suppose -5*b - z - 3*z = -v, 0 = 2*b - 5*z - 29. Is b a multiple of 17?
True
Let r = 20 + -9. Does 6 divide r?
False
Let h = 15 + -11. Suppose -5*a - 5*q = -20, -9 = -a + h*q + 20. Suppose 5*b = n + 4*n + 85, a = 3*n. Is 8 a factor of b?
False
Let b = 4 - 1. Suppose b = 5*r + 33. Is (2/r)/(3/(-63)) a multiple of 7?
True
Let m(h) = -h**2 - 3*h + 4. Let p be m(-4). Let s(l) = -33*l - 35*l + l**3 + 19 + l**2 + 68*l. Is s(p) a multiple of 16?
False
Suppose 0 = 14*w + 4*w - 2718. Is 31 a factor of w?
False
Let b be 2/4 - 13/(-2). Let c = 91 - b. Suppose 5*r - c = 4*i + 6, 0 = 3*r - 5*i - 54. Does 16 divide r?
False
Let q be ((-3)/6)/(3/18). Let t = q - -7. Is 4 a factor of t?
True
Let y(d) = -d**3 - 3*d**2 + 5*d - 7. Suppose 0 = 4*h + 2*c + 28, -2*c = 2*c + 16. Is y(h) a multiple of 6?
True
Suppose -3*z = -2*z - 8. Is 8 a factor of z?
True
Suppose 5*c + 0 - 15 = 0. Suppose -12 = -3*k - c. Suppose -4*i + 133 = -3*j, 2*j = -k*i + 5*j + 99. Is i a multiple of 17?
True
Let b(u) = -90*u + 66. Let d(r) = 7*r - 5. Let w(j) = 2*b(j) + 27*d(j). Is w(4) a multiple of 11?
True
Let i(f) = -f + 13. Let c be i(11). Suppose -w = c*w - 162. Does 20 divide w?
False
Suppose 5*y + 4*a - 378 = 0, -3*a = 15 - 6. Suppose 43 + 21 = 2*d. Suppose -4*l - 2*z + y = 0, 3*l - z = d + 19. Is 11 a factor of l?
False
Let u = 2 - 0. Suppose u*t + 135 = 7*t. Does 12 divide t?
False
Suppose 5*s - x = x + 9, -2*x = 5*s - 21. Let l(i) = -3*i**s + 11 + i**2 + 2*i**3 - 4*i + 3*i. Is l(0) a multiple of 11?
True
Suppose 2*t + 11 = -4*f + 1, -f - 2*t = 10. Suppose y - 5*l - 27 = f, -l - 12 = -y + l. Suppose 5*b - 55 = -y*z + 2*b, -5*z = -4*b - 80. Is 20 a factor of z?
True
Let a(y) = y - 5. Let m be a(6). Suppose -m = -r + 17. Is 18 a factor of r?
True
Let g be (1 - -37)*6/12. Suppose 3*q = 35 + g. Is 6 a factor of q?
True
Let q = 5 + -12. Let f(w) be the third derivative of -w**6/120 - 2*w**5/15 - w**4/3 + w**3/3 - w**2. Is 8 a factor of f(q)?
False
Let y(j) = -j + 2. Let p(r) = -r**3 - 10*r**2 - 10*r - 6. Let o be p(-9). Let x be y(o). Is x + 0 + 18 + -1 a multiple of 8?
True
Suppose -3*a + 0*a + 3 = 0. Is 11 a factor of (3 + 26)*(a + 0)?
False
Suppose 3*s - 159 = -2*s + 4*j, 3 = -3*j. Let l = s + -20. Is l a multiple of 5?
False
Does 24 divide (34/51)/(1/42)?
False
Let f = -42 + 118. Let l = 117 - f. Is l a multiple of 11?
False
Let x be (9/18)/((-2)/(-92)). Suppose -25 = -3*l + x. Does 16 divide l?
True
Suppose 0*y - 5*y - 244 = -3*t, t - 72 = -3*y. Is 12 a factor of t?
False
Let n(o) = 1 - 1 - 1 + 2*o. Let r be n(7). Suppose -5*v - r = -53. Is 4 a factor of v?
True
Let r(k) = -k**2 - 19*k + 17. Is r(-13) a multiple of 13?
False
Suppose -1 + 5 = 4*k. Is 5/(k - 6/8) a multiple of 8?
False
Let u(q) = -11*q**3 - q**2 + 9*q + 6. Let a(o) = -5*o**3 - o**2 + 4*o + 3. Let s(f) = -13*a(f) + 6*u(f). Is 4 a factor of s(7)?
False
Let h(j) = 29*j - 2. Let g be h(2). Let v = g + -40. Is v a multiple of 15?
False
Suppose 0 = 2*g - 5*r - 344, 0*r = -2*g - 3*r + 312. Suppose 4*j - g = 94. Does 11 divide j?
False
Let l = -10 - -14. Is 4 a factor of l?
True
Let o(b) = 186*b. Does 31 divide o(1)?
True
Suppose c + 10 = 71. Is c a multiple of 11?
False
Let h(d) = d. Let m be h(0). Suppose m*a - 5*s - 27 = -a, -3*s = -3*a + 57. Is a a multiple of 5?
False
Let z(c) = -c**2 + c. Let s = -5 - -5. Let a be z(s). Suppose 3*q - 21 = 3*n, -q + 13 = n - a*n. Is q a multiple of 4?
False
Is ((-1)/(-3))/(29/4872) a multiple of 14?
True
Is 40/10 + 5/1 a multiple of 8?
False
Let o = -50 - -23. Let y = -15 - o. Is y a multiple of 6?
True
Suppose -z - 4*c + 133 = 0, 5*c = 5*z - 0*z - 740. Does 20 divide z?
False
Let n be 5*4/(-5)*1. Let h = n + -2. Is 10 a factor of (13/(-3) + 1)*h?
True
Let w = -18 + 22. Suppose d = -2*g + 47, -3*d = 3*g - w*g + 41. Does 19 divide g?
False
Let g(c) = -c**2 - 21*c - 11. Does 3 divide g(-20)?
True
Let f be (-3)/12*2*-6. Suppose -f*i - i + 48 = 0. Is 3 a factor of i?
True
Suppose -3*l + 5*s = 8 - 2, 0 = 4*l - s - 9. Suppose 7*h = l*h + 184. Does 23 divide h?
True
Let u be 186/4*(-2 - -6). Let v be u + 1 - (5 - 2). Suppose -6*x - h + v = -x, -5*x + 5*h = -190. Is x a multiple of 14?
False
Let a(d) = d**3 + d**2 + 2. Let q be a(0). Suppose -5*p = -3*x + 107, 23 + 27 = q*x + 2*p. Is x a multiple of 17?
False
Is 3 a factor of 3/(6/4) + 4?
True
Suppose -10 = -2*w - j, -w + 5 + 1 = j. Suppose w*a - 64 = -0. Is a a multiple of 16?
True
Let k(b) = -4*b - 5 - 5 + 5. Does 4 divide k(-4)?
False
Let b be (4/2)/(1/4). Let s(d) = 2*d**2 - 11*d - 7. Is 21 a factor of s(b)?
False
Let a be -125*(-3)/(15/2). Suppose a = d - 5*o, 5*o - 10 = -35. Is d a multiple of 25?
True
Let d(c) = -c - 3. Let r be d(-3). Suppose 12 + r = 4*l. Is 12 a factor of -8*l/(-18)*9?
True
Let z be -3*(-2)/3 + 0. Suppose g = -h + 11, 4*h = 2*g + 28 - z. Is h a multiple of 8?
True
Let y = 76 + -41. Let t = 10 + y. Is t a multiple of 9?
True
Suppose 0 = 3*o - 128 - 58. Suppose o = 2*h + f - 2*f, 0 = -5*h + f + 152. Is 13 a factor of h?
False
Let i(g) = g**3 - 17*g**2 - 17*g - 1. Is i(18) a multiple of 4?
False
Suppose 18 = -3*y - 9. Let p = 13 + y. Is 2 a factor of p?
True
Suppose 5*p - 25 = 0, 0 = h - 0*p + 2*p + 4. Is (-245)/h - 2/4 a multiple of 17?
True
Suppose -3*c = 3*k - 165, -2*c + 99 = 4*k - 9. Suppose -r + c = -5*r. Let y = 5 - r. Is y a multiple of 11?
False
Suppose -6*c = -4*c - 102. Suppose -151 + c = -5*j. Is 20 a factor of j?
True
Let f(t) = -t. Let j be f(-3). Let x(a) = -a**3 + 8*a**2 - 7*a - 1. Let k(i) = i**3 - 9*i**2 + 8*i + 2. Let b(m) = 3*k(m) + 4*x(m). Is b(j) a multiple of 3?
False
Let o(q) = q + 12. Is 22 a factor of o(10)?
True
Suppose -3*k + 32 = -22. Is 3 a factor of k?
True
Suppose -2*j + 1 + 3 = 0. Let y = -2 + j. Suppose f + y*f - 47 = 0. Is 13 a factor of f?
False
Let g = -257 - -615. Is 48 a factor of g?
False
Is 20 a factor of (-198)/(-5) + (-2)/(-5)?
True
Let t(w) = 13*w**3 + w**2 + 3*w - 2. Is t(2) a multiple of 16?
True
Suppose -4*a = -52 - 68. Is 17 a factor of a?
False
Suppose 3*o - 47 = 160. Is o a multiple of 17?
False
Let u = -529 - -752. Is 15 a factor of u?
False
Suppose -k - 4*k = o + 2, 4*k = o + 11. Let r be (2 - 4) + o/(-1). Suppose -r*f + 2*f + 93 = 0. Is f a multiple of 9?
False
Does 26 divide 1*-14*(-176)/32?
False
Let n(z) be the first derivative of 1 + 4*z + 1 - 4*z**2 + 3*z**2. Is 16 a factor of n(-6)?
True
Suppose -4*d + 2*d + 74 = -2*q, -4*d + 150 = -2*q. Is d a multiple of 7?
False
Let n(l) = 4*l**3 - 3*l**2 + l + 4. Let q(a) = a**3 - a**2 + 1. Let p(s) = -n(s) + 6*q(s). Let d be p(2). Suppose d*y = -0*y + 68. Is 17 a factor of y?
True
Let h be (-1)/(-4) + (-309)/(-12). Suppose -14 = 4*g - 42. Let v = g + h. Does 12 divide v?
False
Suppose -8*g + 2189 = 653. Does 12 divide g?
True
Suppose 3*w = -4*r + 246 + 249, -4*w + 673 = r. Does 13 divide w?
True
Let i(x) = -x**3 + 12*x**2 - 7*x + 4. Is i(10) a multiple of 24?
False
Le