lse
Let a = 46 + -25. Is 3 a factor of a?
True
Let n(b) = b**3 + 3*b - 1. Let y be n(4). Suppose 5*g - 2*g - y = 0. Is g/10*4/2 a multiple of 5?
True
Let j = 15 + -7. Suppose -m = 2*n - 3, -10 = -2*n - 2*m - 2. Let w = j - n. Does 9 divide w?
True
Let d = -147 - -220. Does 17 divide d?
False
Suppose 0 = -x - 0*x. Suppose -2*l + 6 + x = 0, 42 = u - l. Is 9 a factor of u?
True
Is 4 + (2 - -1 - 6) + 28 a multiple of 29?
True
Suppose 1 + 6 = 3*h - i, -5*h = 4*i - 6. Suppose 4*a - 5*d - 110 = 28, 0 = -5*a - h*d + 156. Is a a multiple of 19?
False
Let u(g) = -g**3 - 12*g**2 - 13*g - 1. Suppose l + 9 = -2*b - 10, 40 = -4*l + b. Does 9 divide u(l)?
False
Let k be 176/10 - 2/(-5). Suppose 4*y = 7*y - k. Is 6 a factor of y?
True
Let i(x) = -x**3 + 4*x**2 - x. Let s be i(-3). Let k = -20 + s. Does 23 divide k?
True
Let y = 108 + -39. Is 24 a factor of y?
False
Let r(d) be the first derivative of d**3 + 3*d**2/2 - 3*d - 3. Is r(2) a multiple of 3?
True
Let b be (4/5)/((-4)/70). Is 7 a factor of (-8)/b - 94/(-7)?
True
Suppose 0*r = -2*r - 20. Does 9 divide 4/r - (-104)/10?
False
Suppose -x + 5*x - 864 = 0. Does 27 divide x?
True
Let u = -2 + 6. Suppose 4*p + 35 = j + 3, -u*p = 4. Is 8 a factor of j?
False
Let a(h) = h**2 - 13*h + 6. Is a(14) a multiple of 10?
True
Suppose y - 3*f = -4*y + 144, -4*f = -y + 39. Is 11 a factor of 492/y + (-4)/18?
False
Is 7 a factor of (3/6)/(3/126)?
True
Suppose 2*q + 96 = 4*q. Does 16 divide q?
True
Let v be 7 + -4 - (0 - 96). Suppose -v = -3*q - 36. Is 10 a factor of q?
False
Let l(p) = -p + 3. Let j(q) = -q**3 - 2*q**2 + 4*q + 3. Let a be j(-3). Let w be l(a). Suppose -23 - w = -2*d. Is 8 a factor of d?
False
Let l(c) be the third derivative of c**4/24 + c**3 + 3*c**2. Is l(8) a multiple of 4?
False
Let s(o) = 0 + 12*o - 3*o + 3. Suppose d + 2 = h, 3*h - 6*d - 8 = -4*d. Is 24 a factor of s(h)?
False
Let d(t) be the third derivative of -7*t**4/12 - t**3/2 - 2*t**2. Let o be d(-3). Suppose l - o + 243 = 5*k, 20 = k + 5*l. Is k a multiple of 14?
False
Let y = 5 - 8. Let j(g) = -g**3 - 2*g**2 - 3*g + 3. Is j(y) a multiple of 7?
True
Let z = -1 + -7. Let g be (-370)/z - (-5)/(-20). Suppose 0 = 2*x + 18 - g. Does 7 divide x?
True
Is 44 a factor of (-182)/(-2) + 39/(-13)?
True
Let l(o) be the second derivative of 3*o**3 - o**2 - o. Let n be l(3). Let g = -25 + n. Does 15 divide g?
False
Suppose -2*a + 5*s - 19 = 0, -2*a + a - s = -1. Let k = 2 + a. Suppose k = 3*z - h - 38, 4*z = -z - h + 74. Does 7 divide z?
True
Let i = -50 - -70. Let v = i + 16. Is 12 a factor of v?
True
Let b(x) = -x**2 + 8*x - 6. Let g(a) be the second derivative of a**3/3 - 3*a**2 - 2*a. Let w be g(5). Is 6 a factor of b(w)?
False
Let o = -84 - -119. Is o a multiple of 3?
False
Let s be (-86)/(2 + -3) - 1. Suppose -w + 4*d - 26 = -3*w, -4*w + s = -3*d. Does 12 divide w?
False
Let n = -47 - -29. Let i = 47 + n. Does 17 divide i?
False
Let r(g) = g**2 + 3*g - 1. Let u be r(-4). Suppose 0 = 2*p - u*p + 10. Is p a multiple of 10?
True
Let k be (-1)/(1 - 3)*0. Is (-2 + k - -3) + 29 a multiple of 15?
True
Let f = -161 + 70. Let a be (171/(-6))/(5/10). Let b = a - f. Does 17 divide b?
True
Is 200/(-52) + 4 - 8784/(-26) a multiple of 13?
True
Let m = -16 + 36. Is 11 a factor of m?
False
Suppose 5*f + 223 = 23. Let c = -20 - f. Is c a multiple of 18?
False
Let i be (-11)/(-4) + 2/8. Suppose -8 = -i*o - o. Suppose -o = 2*u - 48. Is 9 a factor of u?
False
Let g be (-18)/(-4)*(-2)/3. Does 10 divide (1 - 2 - g)*10?
True
Is 45 a factor of 25*(4 + 63/5)?
False
Suppose 0 = -c - 5*f + 13, 3*c - f = -3*f + 13. Suppose 3*z + 11 + c = 4*n, -3*n + 25 = 5*z. Suppose -z*x = x - 84. Is 10 a factor of x?
False
Let i = 11 + -7. Let q(u) = u**3 - 3*u**2 - 4*u + 6. Is q(i) a multiple of 6?
True
Let s = 105 - 69. Is s a multiple of 4?
True
Let y = 185 + -122. Let t = -45 + y. Is t a multiple of 8?
False
Is 7 a factor of (-3 + 1)/(131/133 - 1)?
True
Let j(o) = o**3 + 4*o**2 + o - 1. Let s be j(-5). Suppose -2*p - p - 3*m - 144 = 0, 154 = -3*p + 2*m. Let h = s - p. Is h a multiple of 19?
True
Suppose -24 = -5*a + a. Let p(t) = t + a*t + 1 - t. Does 13 divide p(2)?
True
Let q(r) be the first derivative of -r**3/3 + r**2/2 + 7*r + 1. Let z be q(0). Let n(w) = 3*w + 1. Is n(z) a multiple of 13?
False
Suppose v - 6*v = -2*y - 192, -4*v + 2*y + 152 = 0. Does 9 divide v?
False
Does 13 divide (-2)/(-6) - 608/(-12)?
False
Suppose 3 = 3*k - 12. Suppose -2*f + 3*f - d = 26, d + 146 = k*f. Is f a multiple of 15?
True
Suppose 4*a + 592 = 5*n + 59, 2*a = 2*n - 212. Is 20 a factor of n?
False
Suppose 466 = 5*i + 4*c, -4*i + 7*i = -3*c + 279. Suppose -5*z + 3*z = -i. Suppose z = 4*p - 9. Is 5 a factor of p?
False
Is 3 + 1 + 14 + 1 a multiple of 19?
True
Suppose -4*q = 2*f + 9 + 9, -4*f - 2*q = 24. Let g(m) = -m**3 - 3*m**2 + 3*m + 5. Is 10 a factor of g(f)?
True
Let v(d) = -3*d**3 - 9*d**2 - 2*d + 12. Let c(b) = b**3 - b - 1. Let a(r) = -2*c(r) - v(r). Let j = 15 - 23. Is 11 a factor of a(j)?
True
Let y(d) = d**3 - 6*d**2 - 6*d - 4. Let r be y(7). Suppose 4*t + 2*n - 79 - 121 = 0, r*t - 160 = -4*n. Is t a multiple of 15?
False
Let c(h) = 58*h - 8. Is 18 a factor of c(2)?
True
Suppose -174 = -4*k - 5*j, 5*k - 4*j + j = 236. Is 5 a factor of k?
False
Let v(r) = r**2 + 4*r + 2. Is 7 a factor of v(-5)?
True
Let q be 4 - 1 - (3 - 3). Let k(a) = -a - 1. Let m be k(-11). Suppose -q*r + m = -5. Is r even?
False
Let w be 3/(-12) + 550/(-8). Is ((-2)/(-3))/((-2)/w) a multiple of 5?
False
Suppose -3*q = 2*q - 4*n - 525, 4*n + 424 = 4*q. Is 36 a factor of q?
False
Let y be 30/25*10/4. Suppose 0 = 2*b - y*b + 34. Is 17 a factor of b?
True
Suppose -5*z + 4*x + 442 = x, 4*x = -5*z + 414. Is 6 a factor of z?
False
Suppose 5*l + 14 = 4*l. Let h = -20 - l. Let k = h + 17. Is k a multiple of 7?
False
Suppose -4*t - 4*j = 0, -t - 10 - 10 = 5*j. Let f = 7 - t. Does 2 divide f?
True
Suppose -3*x = -2*x - 24. Is 4 a factor of x?
True
Suppose 6*u + 4 = 34. Suppose 30 = u*t - 130. Does 11 divide t?
False
Let k(l) = l - 7. Let a be k(5). Let f = -7 + a. Is 63*(-1 + (-15)/f) a multiple of 21?
True
Suppose 0 = 3*u + 3*u - 288. Is 24 a factor of u?
True
Is 6 a factor of (4 + -1)/(-3)*-11?
False
Let s(m) = m**2 - 7*m - 6. Let n be s(8). Suppose -4*j = -5*b + 22, -j = -n - 0. Is 3 a factor of b?
True
Let y(r) = r**3 + 3*r**2 - 5*r - 4. Suppose -3*v - 6 = 3. Let g be y(v). Let z = g + 7. Does 9 divide z?
True
Suppose -5*s + 5*f + 11 = -s, -2 = -2*f. Suppose 0 = 3*c + 2*m - 50, -s*m - 13 = -c - m. Is c a multiple of 10?
False
Suppose -5 = 2*c - 5*f, 5*c - 8*c = 2*f - 21. Is 5 a factor of c?
True
Let j(m) = 9*m**2 + 7*m + 5. Let b be j(5). Suppose b - 40 = 3*t. Is 17 a factor of t?
False
Let w(m) = 9*m**3 + m**2 - 2. Is w(1) a multiple of 2?
True
Let b = 139 - 99. Suppose b = 4*x - 36. Is x a multiple of 19?
True
Suppose 5*n - 26 = 14. Is n a multiple of 2?
True
Let k(x) = x + 131. Suppose z + 16 = 4*m, -4*z - z = -3*m + 12. Let t be k(z). Suppose -3*v - 41 + t = 0. Is 15 a factor of v?
True
Suppose 3*o = 5*u - 23, 5*o - 2*u - 18 = -69. Let v = -7 - o. Suppose 2*w = -a + 46, -3*w = -0*a - v*a - 58. Is w a multiple of 11?
True
Suppose 0 = 5*d - 115 - 60. Is d a multiple of 11?
False
Let w(k) = -4*k - 2. Let o(v) = 4*v + 1. Let l(y) = -4*o(y) - 3*w(y). Let h(i) = -i + 1. Let r be h(6). Is l(r) a multiple of 14?
False
Suppose -199 - 245 = -3*f. Suppose -12*m + f = -8*m. Does 18 divide m?
False
Let r be 1 - (-2*1 - -5). Let v be (-3)/(-2) - (-11)/r. Is (6 - 2)*(-9)/v a multiple of 4?
False
Let q = -4 + 4. Suppose 2*y + 3*y - 60 = q. Does 12 divide y?
True
Let u(g) = g**2 + 9*g - 2. Is u(-11) a multiple of 4?
True
Suppose 13*p - 72 = 7*p. Let s be (0*(3 - 2))/(-1). Let g = p - s. Is 8 a factor of g?
False
Let o(v) be the second derivative of -v**4/24 + 2*v**3 + v**2 - v. Let m(t) be the first derivative of o(t). Is 6 a factor of m(0)?
True
Let r(s) = s - 6. Let v be r(8). Is v/3 - 424/(-12) a multiple of 18?
True
Let m(d) = -d**2 - d + 5. Let l be m(0). Suppose -y - 5 = 4*y + l*z, -4*y = 5*z + 9. Is 32/(-12)*(-63)/y a multiple of 19?
False
Let k = -3 + 6. Suppose -c = 4*r - k, -2*c + 34 = 3*r - 2*r. Does 11 divide c?
False
Let b(w) = -3*w - 3. Let u be b(-2). Suppose -13 - 64 = -4*d + 5*q, 28 = d - u*q. Is d a multiple of 7?
False
Let