lse
Let d = -2603 + 3370. Is 8 a factor of d?
False
Suppose 3683 = 5*w - 2*q, 100*q = 101*q + 4. Is w a multiple of 2?
False
Let q be (-5 - -14)*-5*(-6)/90. Suppose 5*u - 41 = q*j - 4, j - 25 = -3*u. Does 8 divide u?
True
Let n be (-81)/(-2)*3/(54/240). Let k = -258 + n. Is 47 a factor of k?
True
Suppose -2*f + 5*m + 45 = 0, 3*f - 431 + 395 = -3*m. Let r be ((30 - 0)/2)/(-1). Does 18 divide (126/f)/((-3)/r)?
False
Suppose 0 = i - m + 8, 5*i + 56 = m. Let j(z) = -z**3 - 13*z**2 - 15*z - 30. Let g be j(i). Is 30/g*(0 - -5) a multiple of 25?
True
Suppose 48 = -2*g - g. Let v = -6 - g. Does 33 divide ((-2636)/v)/(-2) + (-12)/(-60)?
True
Let x(f) = -140*f - 8. Suppose 6*v + 13 - 1 = 0. Let i be x(v). Suppose -98*c = -94*c - i. Does 9 divide c?
False
Let s = 41 - 141. Suppose 5*h = 3*p + 2*p + 700, 4*h + 4*p - 576 = 0. Let v = s + h. Does 14 divide v?
True
Let j = -258 - -95. Let u = 289 + j. Let m = u - 71. Is 34 a factor of m?
False
Let q be -3*(-51)/(-4)*-4. Let v(u) = -10*u + 64. Let f be v(6). Suppose f*m = m + q. Is 31 a factor of m?
False
Suppose -c = 8*c - 171. Suppose -24*f + 225 = -c*f. Is 5/(f/42)*(-33)/(-2) a multiple of 21?
False
Suppose 8 = 4*l, -16*h + l = -21*h + 17622. Is h a multiple of 110?
False
Suppose 5*b - 4*d - 387 = 599, 4*b + d = 772. Let k = b - -66. Does 13 divide k?
True
Let v(s) = -116*s - 3140. Is 32 a factor of v(-133)?
True
Suppose -2*p + 19*p + 4556 = 0. Let w = p + 350. Is 9 a factor of w?
False
Suppose 21*x - 10*x = -23*x + 630020. Does 5 divide x?
True
Let i be -7 + 6/1 + -1 + 4. Let o(x) = -16*x**3 - 26*x - 19*x**3 + 16*x**i + 34*x**3 + 8. Does 6 divide o(14)?
True
Let v(g) = -g**3 + 10*g**2 - 13*g + 14. Let z be 2/(-17) - 159/(-51). Suppose 6 = -z*s, 3*s = o + 3*o - 30. Does 20 divide v(o)?
True
Let u be (3/1)/(8/208). Is 10153/u + (-3)/18 a multiple of 26?
True
Suppose -2*j = 3*y + y - 28, 0 = 4*j + y - 49. Suppose 0 = -j*h + 24*h - 2340. Is h a multiple of 15?
True
Let s = 499 - -1941. Is s a multiple of 120?
False
Let s = -35786 + 72218. Is 69 a factor of s?
True
Let k(v) = 3*v + 40. Let z(q) = 2*q**3 + 8*q**2 + 2*q + 2. Let f be z(-4). Let n be k(f). Does 23 divide 1*n*95/10?
False
Let f(q) be the second derivative of 541*q**3/6 + 27*q**2/2 - 49*q. Is f(1) a multiple of 6?
False
Let n(l) = 3*l**2 - 59*l - 441. Is n(-13) a multiple of 50?
False
Let s(c) = c**3 + c**2 - 2*c + 18. Let l be s(0). Let t = 13 + l. Suppose -2*z - d + t = 0, 5*d = -3*z + 3*d + 44. Is z a multiple of 18?
True
Suppose 5525819 = 599*y - 7834277. Is y a multiple of 82?
True
Suppose 3*v - t - 266 = 0, 201 = 2*v + 4*t + 47. Let y = 135 - v. Is 15 a factor of y?
False
Suppose 0 = 1683*q - 1655*q - 714560. Is 220 a factor of q?
True
Suppose 3*c = -3*q - 24, 9 = -c + 10*q - 12*q. Does 25 divide ((-32032)/8)/c - (-2 + -1)?
True
Suppose 574*k - 3816 = 521*k. Is 42 a factor of k?
False
Let p(j) = j**2 + 13*j + 111. Let d be p(0). Does 18 divide 3 + d/(-39) - 18680/(-260)?
True
Let z = 43507 + 4072. Does 58 divide z?
False
Does 10 divide ((-180)/(-25) + -4)*(0 + 1675)?
True
Let y(p) = -25*p**2 + 17*p**2 + p**3 + 3*p**2 + 15*p**2 - 16 + 5*p. Let v be y(-9). Is (-5159)/(-35) - 8/v a multiple of 22?
False
Suppose -5*d - 3*u + 85 = 0, -57 - 3 = -2*d + 4*u. Let j = d + -18. Suppose -2*n = -3*x + 26, j*x + 2*x - 48 = -4*n. Does 2 divide x?
True
Let s(n) = -n**2 - 36*n - 58. Let t = 51 - 70. Does 7 divide s(t)?
False
Suppose -57*q - 5988 = -60*q. Suppose -2*d + 2191 = 4*m + 165, -4*d = -4*m + q. Does 42 divide m?
True
Let i be -7 + 6 + 6/2. Suppose -m = q - 2*q - 356, i*m - 711 = 3*q. Is m a multiple of 51?
True
Let m(o) = o**3 - 12*o**2 + 18*o + 5. Let t be m(8). Let k = -104 - t. Does 33 divide (7 + -8)*(k - 135)?
True
Let u = -3263 - -3963. Does 25 divide u?
True
Let v be (16 + 9/(-3))/(0 - -1). Let o = v + -15. Is -2 + (148 - o) + 2 a multiple of 10?
True
Suppose -37*z + 35*z + 7758 = 3*v, z = -v + 3875. Is z a multiple of 24?
False
Let o be 9828/441 - -2*2/(-14). Suppose 0 = -17*f - o*f + 32604. Is 54 a factor of f?
False
Let y be ((-8)/(-10))/1*(-6240)/(-64). Let f = y - 52. Is 3 a factor of f?
False
Suppose 17*q = 13*q + 656. Let s = 69 + -66. Suppose -s*k = -4*k + q. Does 41 divide k?
True
Let c = 1430 + -792. Suppose 17*u + c = 28*u. Is 25 a factor of u?
False
Let s be 10/(-20) - 262/(-4). Let o = s + 43. Is o a multiple of 18?
True
Let i(v) = -33*v - 243. Let r = 383 - 407. Is 6 a factor of i(r)?
False
Let y = 9470 - 4218. Is 56 a factor of y?
False
Let n be 7 + (349 - (-81)/9). Let p = n + 70. Is 12 a factor of p?
False
Suppose j + 101 = 2*b, -3*b + 210 = -2*j + 57. Let k = 57 - b. Is 5 a factor of k?
False
Suppose -474*m - 1506 = -475*m. Does 41 divide m?
False
Let j(i) = i**2 - 3*i - 2. Suppose -u + 31 - 27 = 0. Let m be j(u). Is (-7)/(m + 12/(-4)) a multiple of 7?
True
Let c(l) = 3*l - 17. Let n be (-38)/(-6) + 24/36. Let f be c(n). Suppose f*t - 197 = 263. Does 23 divide t?
True
Let l(k) = 93*k**2 + 86*k. Does 19 divide l(5)?
True
Suppose 24*q + 4420 = 28*q. Let b = -433 + q. Is 12 a factor of b?
True
Suppose 0 = 2*k + f - 2359, 5*k = -f + 6129 - 236. Let z = 1722 - k. Is z a multiple of 16?
True
Let k(s) = 227*s + 865. Is 55 a factor of k(10)?
True
Suppose 3*u + 1080 = 9*u. Is (-3 - u)/((-12)/16) a multiple of 10?
False
Suppose -220 + 10 = 6*k. Let j be (10/k - (-23)/7)*1. Suppose 5 = -j*w + 233. Is 10 a factor of w?
False
Let q(s) be the third derivative of -s**6/120 + s**5/30 + s**4/24 + 6*s**3 + 3*s**2. Let i be q(0). Suppose -i*j = -32*j - 160. Is 10 a factor of j?
True
Suppose -36*k + 34*k = -s - 21, 3*s + 9 = 0. Suppose 3*i + p = 292, 3*p = -11*i + k*i + 183. Does 18 divide i?
False
Suppose 4*n - 3 = 5. Let b be (n - 38) + (-12 - -9). Is 20 a factor of 3094/b*(-6)/4?
False
Let y(p) = p**3 + 12*p**2 - p - 10. Let x be y(-12). Let a be (((-3)/x)/(-3))/((-2)/4). Is a/(9/2) - 8918/(-117) a multiple of 15?
False
Let v(a) = 1. Let b(c) = -c + 23. Let w(r) = -b(r) - 4*v(r). Let t be w(18). Does 18 divide (-6)/t + 1/((-9)/(-804))?
True
Let a(j) be the first derivative of -18 - 15*j - 1/3*j**3 + 8*j**2. Is a(12) a multiple of 11?
True
Suppose -20*m + 22*m = -6, -4*z = -3*m - 8269. Is 9 a factor of z?
False
Let l = 29004 - 22754. Does 50 divide l?
True
Suppose 0 = -2*k + 22 + 6. Suppose -16*w + k*w + 42 = 0. Suppose w*l - 19*l - 146 = 0. Does 12 divide l?
False
Let s = -64 + 214. Let z = 166 - s. Does 2 divide z?
True
Suppose 16*x - 105503 = 18881. Does 26 divide x?
True
Suppose 5*k = y - 25507 - 6272, k = 4*y - 127002. Does 30 divide y?
False
Let v(w) = -w**3 - 40*w**2 - 16*w - 130. Suppose 4*q - 8 = 0, 0*q - 4*q + 208 = -5*o. Is 6 a factor of v(o)?
True
Suppose -68 = -3*s - 2*m, 2*m - 12 = -4. Suppose 3*z + s*z - 9292 = 0. Is 11 a factor of z?
False
Let y(m) = -m**3 + 9*m**2 - 5*m + 6. Suppose 2*w = 7*l - 5*l, -2*l = -w - 4. Suppose -w*p + 15 = -17. Is y(p) even?
True
Let a(d) = -3 - 37*d + d**3 + 5*d**2 + 10*d**2 + 15*d - 9. Is 52 a factor of a(-8)?
False
Is (-1*1 - (-77 + 75))/((-2)/(-22988)) a multiple of 140?
False
Let v be -7 - -3 - -5 - 6*2. Let m(t) = -2*t**2 - 23*t - 9. Let n be m(v). Suppose -5*g = f - 22, 0*f = n*f + 2*g - 12. Is 2 a factor of f?
True
Let w = 9102 - 8685. Is 57 a factor of w?
False
Suppose -82368 = g - 34*g - 0*g. Does 12 divide g?
True
Let n(m) = 5*m**2 + 259*m + 426. Does 102 divide n(-105)?
True
Is 11 a factor of 5673/(((-945)/(-56))/45)?
False
Let n(a) be the second derivative of a**5/20 - 3*a**4/4 - 2*a**3 + 21*a**2/2 + 16*a. Let o be n(10). Is ((-24)/20)/(o/(-40)) a multiple of 12?
True
Let t = 12690 - 161. Is 67 a factor of t?
True
Let z(f) = -4*f + 1. Let r(l) = -19*l + 380. Let n(j) = r(j) + 4*z(j). Is 48 a factor of n(0)?
True
Suppose 0 = -z + 5, 2*p - 3*z + 2*z - 427 = 0. Let i = p - 188. Is 16 a factor of i?
False
Let w(s) = s**3 - 9*s**2 - 10*s + 667. Is w(15) a multiple of 20?
False
Let j(p) = -p**3 + 10*p**2 + 2*p - 18. Let u be j(10). Suppose 5*o = n + 1 + u, 0 = 2*o + 3*n + 9. Suppose -2*m + 4 + 152 = o. Is 26 a factor of m?
True
Suppose 10*z - 4*v = 13*z - 12, -4*v = -12. Suppose z = -2*a - 5*s - 12 + 359, 4*a + 2*s - 702 = 0. Is a a multiple of 22?
True
Let x = 31 - 15. Let p(q) = 16*q + x + 22 - 34. Is 4 a factor of p(1)?
True
Is 17 a factor of (152/10 + -6)/(14/1120)?
False
Is 3 a fact