lse
Suppose 0 = 5*g - 15, 3*v - g = -5*g + 1308. Is 24 a factor of v?
True
Let r(k) = 7*k - 99. Let b be r(14). Is 8 a factor of -2 + b + 6 + 20?
False
Let t(y) = -380*y + 8. Does 41 divide t(-3)?
True
Is (-2878)/(-12)*6 - -11 a multiple of 25?
True
Let z(h) = 23*h**2 + 12*h + 2. Is 35 a factor of z(3)?
True
Suppose 14*a = 2915 - 913. Is a a multiple of 8?
False
Suppose 2*b = 10, -7*b + 4*b + 1415 = -5*u. Is ((-4)/5)/(8/u) a multiple of 11?
False
Suppose -87*f + 70*f = -77418. Does 99 divide f?
True
Let g(y) = -5*y + 49. Let t be g(0). Let q = t - 40. Is q a multiple of 4?
False
Let k = -575 - -1095. Does 10 divide k?
True
Suppose 20*j - 3822 = 7*j. Does 49 divide j?
True
Suppose 15*o - 8*o = 4872. Does 34 divide o?
False
Let a = 16 - 12. Suppose 0 = 8*r - a*r - 248. Let g = 106 - r. Is 9 a factor of g?
False
Suppose l + f = 598, 2402 = 8*l - 4*l - f. Does 12 divide l?
True
Suppose w = -13 + 157. Suppose z + 15*z - w = 0. Is 5 a factor of z?
False
Let f(l) = -115*l**3 + 3*l**2 + 2*l. Suppose 2 = 9*s - 11*s. Is 14 a factor of f(s)?
False
Let u(a) = 5*a**2. Let m be u(4). Let k(c) = -2*c**3 + 5*c**2 + c + 2. Let z be k(3). Let b = m - z. Does 21 divide b?
True
Suppose 108 = 4*f + 5*n - 233, 167 = 2*f - n. Suppose 0 = -2*s + 36 + f. Does 12 divide s?
True
Let g = 78 - 14. Suppose 40 + g = 4*s. Is 9 a factor of s?
False
Let c(t) = 165*t - 182. Does 37 divide c(14)?
False
Let m = -27 + 30. Suppose -s + 0*y = m*y - 108, 3*s - 356 = -y. Is 40 a factor of s?
True
Suppose 6*s - 32 = 3*s + 2*k, 0 = -s - 5*k + 39. Let o = 64 - s. Is 5 a factor of o?
True
Let j(b) = b**3 - 4*b**2 - 4*b - 4. Let k be j(5). Let q = -1 + k. Suppose -136 = -2*m + 4*l, 5*m + 3*l - 4*l - 385 = q. Does 26 divide m?
True
Let v = 9 + -6. Suppose -v*y = 4*t - 70, 55 = y - 3*t - 2*t. Is 5 a factor of y?
True
Let l be (-6)/(-21) - (-48)/28. Suppose -2*m = 4*x + l, 0 = x - 4*x + m - 14. Does 12 divide (x + 7)*3 + 0?
True
Suppose 0 = -16*w + 12651 - 2347. Is w a multiple of 28?
True
Let k(c) = 3*c**2. Let q be k(2). Suppose p - q = 3*n, -5*n - p - 20 = 2*p. Does 5 divide ((-30)/(-8))/((-1)/n)?
True
Let s(y) = -6*y - 2. Let w be s(-4). Let q = 32 - 30. Suppose -q*r + 7 = -d + w, r = d - 12. Does 9 divide d?
True
Suppose -2*f + x = -13, -2*x = -4*f + f + 22. Let y = 26 + -24. Suppose -2*h = -5*n - 5*h + 123, y*h = f*n - 116. Is n a multiple of 5?
False
Suppose -4*w + 2*y + 879 = -w, -w - 4*y + 293 = 0. Let q = -203 + w. Does 9 divide q?
True
Suppose 0 = -24*i + 49457 + 4063. Is i a multiple of 16?
False
Let s = 596 - -409. Is s a multiple of 38?
False
Let x(z) = 60*z - 8. Is x(4) a multiple of 21?
False
Suppose 0*z = z + 12. Is 14 a factor of 4/(-16) + (-675)/z?
True
Let c(x) be the second derivative of -x**3/3 + 18*x**2 + 6*x. Let t be c(16). Suppose -4*h = -t*o + 24, 0 = -5*h + 3*h. Is o a multiple of 6?
True
Let v(q) = -2*q - q**2 - 86 + q**3 + 41 + 43 + 6*q**2. Suppose -f = 4*o - 3*o + 7, 20 = -5*o. Is 5 a factor of v(f)?
False
Let p = 22 - 22. Suppose r - 4*c = -4 + 13, 0 = -5*c - 15. Is 13 a factor of (-9)/(r + p) - -23?
True
Let a = -70 - -334. Does 33 divide a?
True
Let d be (2 - 6)*(-36)/(-16). Let g(j) = -j**3 - 10*j**2 - 9*j + 3. Let v be g(d). Is 1*(33 + -5 + v) a multiple of 9?
False
Suppose -4*x = 0, 4*j + x = 7*j - 3480. Does 34 divide j?
False
Let l = 3 + 243. Suppose o = -5*i + 70, 4*o - l = -o + i. Is o a multiple of 25?
True
Let n be 1 - (507 + 4)*-1. Is ((-18)/(-12))/(6/n) a multiple of 32?
True
Suppose -5*y + 18 = 3. Let f = y - 18. Let x = -3 - f. Is 4 a factor of x?
True
Let k be 3*((2 - -1) + 40/(-15)). Suppose 5*b - 2*b - 42 = 0. Does 21 divide (k + -19)*b/(-4)?
True
Suppose 7*x - 4*x - 15 = 0. Suppose 0 = -4*l + 3*u - 77, -x*l = -0*l - 2*u + 98. Let j = l - -112. Does 23 divide j?
True
Let z be (-7)/(-14) - 135/2. Let v = z - -133. Suppose 5*l + j - v = 0, 5*l - 70 = 5*j - 10. Is 5 a factor of l?
False
Let j = 9 - 8. Let y be (-2 + j/(-3))*-3. Suppose -240 = -y*b + 3*b. Is 20 a factor of b?
True
Let b = 23 - 23. Suppose b = -0*n - 3*n + 303. Does 27 divide n?
False
Let p = 34 - 77. Let m = -15 - p. Is (m/(-21))/((-1)/9) a multiple of 6?
True
Suppose 4*f + 2*b - 1624 = 0, -3*b - 939 = -5*f + 1091. Does 17 divide f?
False
Let z = -47 - -10. Let b be z + -2*(-2 - 0). Let o = -25 - b. Is o even?
True
Is 97 a factor of ((-21888)/180)/(1/((-105)/6))?
False
Let x(z) = -z - 5. Let w be x(-7). Let o = 5 - w. Suppose -5*l + 4*r = -182, 2*l - 2*r = o*r + 83. Is l a multiple of 17?
True
Is 3 a factor of (6/(-4) - -1)*-60?
True
Suppose -9 + 0 = -a. Suppose -a*i - 56 = -13*i. Does 6 divide i?
False
Let o = -131 - -209. Suppose 93 = -3*j - o. Let n = j - -87. Does 12 divide n?
False
Let a(w) = -w**2 - 85*w - 237. Is 57 a factor of a(-37)?
True
Suppose -2*v + 1093 = 4*h - v, 3*h - 821 = -2*v. Let u be h/(-6) + (-1)/(-2). Let n = u + 113. Is n a multiple of 17?
True
Let u = -47 - -45. Is ((-66)/(-2) + -1)*(u - -3) a multiple of 3?
False
Suppose 2*v - 4*x = 362, -2*v + 362 = x + x. Let s = v + 23. Is 17 a factor of s?
True
Let y = -91 - -247. Suppose 0 = -o + 4*k - 44, -y = 3*o + 2*o - 4*k. Let v = o + 45. Is v a multiple of 17?
True
Let p = 951 - 471. Is p a multiple of 40?
True
Let n(y) = 22*y**2 + 3*y + 8. Does 22 divide n(-4)?
False
Let i be ((-2)/3)/(4/30). Let l(b) = 2*b**2 + 6*b. Let x be l(i). Suppose 3*s = s + x. Is s a multiple of 4?
False
Does 23 divide (0 + -1864)/(-8) + -3?
True
Let h be 16/4*(-162)/(-8) - -4. Let g = h - -45. Is g a multiple of 26?
True
Let w be -1*(-2 - (-3 - -10)). Suppose 4*a - w = -0*a + p, -3*a = 5*p - 24. Let l(y) = -y**2 + 5*y - 3. Is 2 a factor of l(a)?
False
Suppose 2*u - 36 = -2*b, -49 = 3*u - 2*b - 93. Is u a multiple of 8?
True
Let p = -34 - -57. Suppose p = -61*k + 62*k. Does 4 divide k?
False
Let i = -168 - -625. Is i a multiple of 79?
False
Does 24 divide 11/(165/486)*(-40)/(-6)?
True
Let a(y) = y + 51. Is a(41) a multiple of 27?
False
Let d = 211 - 27. Let h = d - 143. Does 5 divide h?
False
Let t = 1865 - 1820. Does 2 divide t?
False
Suppose -2*s = d - 4 + 10, -8 = 4*s + 3*d. Let g be 2 + (s - -2) + -1. Is -2 + (-9 - 4)*g a multiple of 9?
False
Suppose 176 = -6*s + 17*s. Suppose -c - s = -3*c. Does 4 divide c?
True
Let r = 1255 - 562. Is r a multiple of 24?
False
Suppose 0 = 3*p + 13 - 37. Let i(u) = 3 - 2 + u - 1 + p. Is 4 a factor of i(-4)?
True
Suppose -2*l = 3*g - 464, 5*l = l - 2*g + 928. Is 29 a factor of l?
True
Suppose 2*w - 4*w = -2*z + 64, 98 = 3*z - w. Suppose -d = -5*c + 53, d = -3*c + 2*d + z. Is 5 a factor of c?
True
Let t(v) = 3*v**2 + 3*v + 2. Let b be t(-3). Let g = -287 + 199. Is (-3)/(60/g)*b a multiple of 22?
True
Let l(o) = -o**3 + 16*o**2 - 10*o - 12. Let t be l(13). Suppose 0*w = 5*w + 5*z - t, -3*w = -2*z - 224. Is 19 a factor of w?
False
Suppose 95 = -5*z - 5*t, z + 5*t + 33 + 2 = 0. Let c = -46 - z. Let v = 90 + c. Is v a multiple of 22?
False
Suppose 2880 = -4*k - 2*i, -3*k - 4*i + 1440 = -5*k. Is 35 a factor of ((-28)/(-6))/((-32)/k)?
True
Suppose 0 = 3*c + 29 - 2. Let b(i) = -2*i**3 - 20*i**2 - 21*i - 12. Does 3 divide b(c)?
True
Suppose 48 = 5*g + n - 205, -3*g = 2*n - 156. Let i be 160/g*10/4. Let y = -4 + i. Does 4 divide y?
True
Let q be (-18 - 1)/(6 - 7). Suppose -3*o - 4 = -q. Is (-30)/(-50) + 187/o a multiple of 9?
False
Suppose 2*l = -0*l + 80. Let z = 65 - 61. Suppose -b - 2*s = z*b - 285, b - 3*s - l = 0. Does 17 divide b?
False
Suppose 0 = 6*g - 399 - 309. Does 29 divide g?
False
Suppose t - 2*t = -2. Suppose -5*n - 7 = -0*n - 4*g, t = -2*n + 2*g. Let f(v) = -v**3 - v**2 + 3*v + 2. Does 11 divide f(n)?
True
Suppose -3*p = -14*p + 77. Let x(r) = 2*r**2 + 3*r - 4. Is x(p) a multiple of 23?
True
Let p be ((5 - 2) + 18/6)/(-2). Is ((-42)/(-18) + p)/((-2)/465) a multiple of 31?
True
Let d(z) = z**3 - 6*z**2 - 5*z + 7. Let a be d(7). Suppose 4*y + a + 67 = 0. Does 18 divide (42/(-4))/(11/y)?
False
Let v = 112 + -110. Does 10 divide 4 - (v - 133)*(-4 + 5)?
False
Let y be 60/(-54)*-3 + (-1)/3. Let r(v) be the first derivative of 2*v**2 - 3*v - 1. Is 4 a factor of r(y)?
False
Let q = 166 - 85. Let y be 2*1*q/18. Let m = 95 + y. Is m a multiple of 28?
False
Let w(r) = r**2 + 6*r + 4. Let i be w(-10). Suppose -5*g = -31 - i. Let v = 22 - g. Does 7 divide v?
True
Let u(i) = 3*i**2 - i. Let f be (-24)