lse
Let d = 903 + -619. Is d a multiple of 3?
False
Let a(d) = -d**3 - 4*d**2 + d + 2. Let w be a(-7). Suppose -6*u + w = 46. Is 3 a factor of u?
False
Suppose -23*b + 5890 = 39*b. Is b a multiple of 2?
False
Let g be (-10)/(-35) - 2804/14. Let m be (-3 + -1)/(2/g). Suppose -160 = 4*n - m. Does 15 divide n?
True
Suppose -2*i + 3070 = 4*u, 4*u - 6*u = 4*i - 6122. Suppose -5*p + i = -0*p + 4*c, -2*p - 5*c = -615. Is 31 a factor of p?
False
Suppose -34*c = -29*c - 10. Is (-64 - c)*21/(-14) a multiple of 36?
False
Is (1 - -1) + 219/1 a multiple of 31?
False
Suppose -1694*c + 1690*c = -5624. Is c a multiple of 74?
True
Let k = 1009 + -375. Does 18 divide k?
False
Let c(r) be the first derivative of -r**3/3 + 23*r**2/2 + 15*r - 9. Is 33 a factor of c(22)?
False
Suppose -4*q = -2*q + 2*x - 2, 4*x = 3*q - 17. Let l be (0*((-5)/(-2) - 2))/(-2). Does 10 divide (l + -9)/q - -23?
True
Let t = -575 - -863. Is t a multiple of 18?
True
Let s(t) = -t + 127. Is 3 a factor of s(34)?
True
Suppose 569*i - 573*i + 2400 = 0. Is i a multiple of 20?
True
Let m(v) = -13*v**2 + 5*v + 16. Let d be m(-7). Let o be (d/24)/((-4)/6). Let k = -29 + o. Is 3 a factor of k?
True
Let b(o) = 4*o**2 + 31*o + 161. Is 13 a factor of b(-21)?
True
Let a(p) = -9*p - 2. Let z be a(-1). Suppose z*u - u = 24. Suppose 2*n - 52 = n - 5*v, 2*v = u*n - 230. Is n a multiple of 17?
False
Suppose 16*v = 6*v + 3000. Does 15 divide v?
True
Let v = -714 + 794. Is 6 a factor of v?
False
Let q = -31 - -47. Suppose q*i = 7*i + 234. Is i a multiple of 4?
False
Suppose 8*h - 424 = 632. Does 12 divide h?
True
Let v be ((-1)/(-3))/(1/12). Suppose v*c + 1 = i, -12 = -4*i + i + 3*c. Suppose 5*b - 12 = 13, 0 = -i*p - 2*b + 35. Is 4 a factor of p?
False
Suppose 109 = 4*c - z, c - 31 = 2*z - 3*z. Suppose c = 3*m + m. Is 27 a factor of (47/m - -1)*7?
True
Let y(k) = -17*k + 155. Does 5 divide y(5)?
True
Suppose 0 = -3*s + 3*c - 417, -s + 5*c - 106 - 17 = 0. Let x = s - -280. Is 12 a factor of x?
False
Suppose 3*q + 4*g = -2*q + 1339, -2*q + 529 = -5*g. Is q a multiple of 17?
False
Suppose -6*i + 482 = 26. Does 25 divide i?
False
Let v be -1*(1 + 0 + -3). Is 8 a factor of (18/15)/(v/40)?
True
Suppose -4*c + 10 = -2*j, -3*c = -5*j + 2*j. Suppose d + 5*r - 62 = 0, j*d - 2*r - 55 - 120 = 0. Suppose -d = -g + 1. Is 21 a factor of g?
False
Suppose 5*l = -64 - 56. Is 15 a factor of -4 - 0 - (l - -1)?
False
Let f(l) = -l**2 + 6*l - 4. Let a be f(5). Let x be (-3 + a)*(-10)/4. Suppose 2*d - 3*w = 158, -x*d + 370 = 3*w + 2*w. Does 24 divide d?
False
Suppose -2*i + 258 = 2*k, -135 = 4*k + 5*i - 655. Suppose -3*o = 2*o - k. Let g = o - 8. Is g a multiple of 15?
False
Let r = -17 + 26. Suppose -20 = 2*o - 3*q, -5*o - q + 0 = 33. Is 16 a factor of r/(-6)*o*4?
False
Suppose u - 3*u = -362. Suppose -j = -2*j + u. Is j a multiple of 12?
False
Suppose -4*o + 7 + 57 = -3*k, o + 5*k = -7. Let n(y) = -6 - 2*y - 11*y**2 + o*y**2 - y + y. Is 14 a factor of n(-4)?
False
Suppose 5*l = -4*b + 497 + 82, 4*l + 5*b = 465. Is l a multiple of 10?
False
Let s be 1/(-4) - (-68)/16. Let o(h) be the third derivative of -h**6/120 + h**5/12 + h**4/8 - 2*h**3/3 + 3*h**2. Is o(s) a multiple of 8?
True
Let j(x) = -88*x**3 - x**2 - 5*x - 2. Does 59 divide j(-2)?
True
Let i = 118 + -48. Let a be ((-16)/10)/((-4)/i). Let h = 50 - a. Does 22 divide h?
True
Suppose -4*y - 5*v - 80 = -735, -625 = -4*y + 5*v. Suppose -4*r + y = -2*r. Is 16 a factor of r?
True
Let p(k) be the third derivative of k**6/120 + k**5/10 - k**4/24 - 2*k**3/3 + 2*k**2. Let g be p(-6). Suppose 3*a - g = 31. Is 4 a factor of a?
False
Let y = 269 - 137. Let b = y - 186. Is b/(-4) - (-2)/(-4) a multiple of 13?
True
Suppose -3*p + q = -189, 4*q + 57 = 4*p - 187. Let s = 139 - p. Suppose 3*t + s = 5*n, -4*n + 71 - 14 = -3*t. Is 5 a factor of n?
False
Let h = -931 + 643. Let r be 3/(-21) + h/42. Let u = r - -43. Is 18 a factor of u?
True
Let h = -356 - -1200. Is 45 a factor of h?
False
Is 61 a factor of ((-452)/5)/((-4)/50)?
False
Does 13 divide 1/((-10)/(-24760)*4)?
False
Let f(p) = -p**2 - 9*p - 9. Let u be f(-7). Suppose y + 3*y + 5*s = 76, u*s + 20 = 0. Does 5 divide y?
False
Suppose -181 + 56 = -5*v. Suppose 24*k = v*k - 85. Is k a multiple of 19?
False
Let s = -141 + 327. Is 16 a factor of s?
False
Let p be 3*(8/(-6))/(-2). Suppose -3*i + 14 = 23, -2*b - 7 = -i. Is p + 1 + 36 + b a multiple of 17?
True
Suppose -4*c - 2*s = -366, 0 = -3*c + s - 0*s + 282. Suppose 0 = 98*k - c*k - 1080. Is 18 a factor of k?
True
Suppose 0 - 30 = 5*f. Let s be 12/7 + f/(-21). Does 3 divide (-95)/(-10) - 1/s?
True
Suppose -163*t = -160*t - 1080. Is 39 a factor of t?
False
Let x(t) = -21*t**3 - 1. Suppose -5*z = 2*f + 22, -5*f + z = -1 + 2. Is x(f) a multiple of 20?
True
Let l = 2637 - 1748. Is 7 a factor of l?
True
Let n = -179 + 295. Is 13 a factor of n?
False
Let w(x) = 6*x - 14. Suppose -4*p = -p - 33. Let h be w(p). Let c = h + -16. Does 12 divide c?
True
Suppose 84 = -4*s + 3*v + 16, 0 = 4*v - 16. Let u(q) = -q**3 - 13*q**2 + 12*q - 13. Does 5 divide u(s)?
True
Let p(w) = 5*w**3 - w**2 + 2*w - 1. Let g be p(1). Suppose 945 + 5 = g*l. Suppose 2*c + 2*c - 153 = 3*r, 5*r + l = 5*c. Is 13 a factor of c?
True
Suppose 3*a + 2 = -13. Let s(m) = -6*m + 24. Is 7 a factor of s(a)?
False
Suppose -2*r + 4*o + 1352 = 0, 5*r + 8*o - 3404 = 12*o. Is 18 a factor of r?
True
Suppose -4*j + 5*q + 186 = 0, 2*j - q = 4*q + 98. Suppose -4*g = -4*c + j, -3*c = 2*c + 5*g - 65. Is c a multiple of 3?
True
Let d(w) = 21*w**3 - 3*w**2 + 3*w - 1. Let m be d(1). Suppose -m = -2*s + 4*j - 3*j, -j = -5*s + 47. Is s a multiple of 9?
True
Let g be -7*1 + (0 - 4). Let i(h) = h**2 + 9*h + 15. Is i(g) a multiple of 6?
False
Let h be 142/(-7) - 16/(-56). Let l = h + 20. Suppose -4*z + 7*z - 288 = l. Does 35 divide z?
False
Let x be 144/((-5 + 4)*-1). Let b = x + -60. Is 14 a factor of b?
True
Let r(q) = -q**3 - 7*q**2 - 6*q - 8. Let n be r(-6). Let z be (-121)/n + (-5)/40. Suppose -5*m - 5*g = -z, -6*g = -2*m - g - 1. Is m even?
True
Suppose 3*m + 3 = 4*m. Suppose -m*d - v = -9, -6*d + 15 = -3*d - v. Is d a multiple of 2?
True
Let y = -873 + 1361. Is y a multiple of 19?
False
Let j(v) = 167*v + 202. Is j(10) a multiple of 12?
True
Suppose -4*l + 24 = -40. Suppose -b - 2 = g - 0*g, -4*g + 2*b + l = 0. Suppose 4*d - 2*a - 22 = 0, -g*d + 10 = 2*a - 4. Is d a multiple of 2?
True
Suppose -61 = 8*b - 1085. Let u = b + -33. Is u a multiple of 15?
False
Suppose 4956 = 10*p - 3*p. Does 13 divide p?
False
Let i be -5*21*3/(-15). Let f(z) = -z**3 - 4*z**2 + 21*z - 7. Let u be f(-7). Let p = i + u. Does 10 divide p?
False
Suppose 3*p - 5*m - 6407 = 0, 8813 = 5*p - m - 1880. Is 69 a factor of p?
True
Let t(i) = i**3 + 9*i**2 + 17*i - 5. Let r(y) = -y**3 - 9*y**2 - 16*y + 4. Let q(x) = 5*r(x) + 4*t(x). Let m be -8 + (-4 + -3 - -7). Is q(m) a multiple of 32?
True
Is 10 - -42 - 24/4 a multiple of 15?
False
Let r be ((-198)/77)/(6/28). Let c be (-1)/(-2) - 2298/r. Suppose -6 = -2*u - u, 4*u + c = 2*o. Is 25 a factor of o?
True
Let k(v) = 10*v - 2. Let x = -22 - -42. Let f = -18 + x. Is 4 a factor of k(f)?
False
Let b = -305 + 562. Suppose -13*f + b + 55 = 0. Is f a multiple of 5?
False
Let l be 149/(-7) - (-8)/28. Let x be (6/(-5))/(l/70). Let g(o) = o**3 - 4*o**2 + 3*o + 3. Is g(x) a multiple of 7?
False
Let b(a) = -a**2 + a. Let c(y) = y**2 - y. Let r(o) = 2*b(o) + 3*c(o). Let m be r(0). Suppose -4*s + 4*j = -184, 5*j + 54 = -m*s + s. Is s a multiple of 26?
False
Let o(q) = -21*q**3 + q**2 + 5*q + 21. Is 53 a factor of o(-3)?
False
Let c = 148 - 96. Let n = 115 - c. Is 7 a factor of n?
True
Let f(q) = -q**3 - 7*q**2 + 11*q + 17. Suppose 0*w - 3*w - 27 = 0. Does 8 divide f(w)?
True
Let a = 72 - 39. Suppose 3*d = 3*w + 414, 3*d + 2*w - 396 - a = 0. Is 16 a factor of d?
False
Suppose -2*y - 10 = 0, y + 10 = 2*f - 3*y. Let i(x) = 9*x - 8. Let b(v) = 6*v - 4. Let z(k) = -5*b(k) + 3*i(k). Is z(f) a multiple of 9?
False
Let c be (2 - 3 - -1)/2. Suppose c = 3*b + b - 300. Suppose 0*i + b = 5*i. Does 15 divide i?
True
Let q(j) = 2*j**2 + 3*j + 1. Let t = 12 + -13. Let n be (-6)/(-2) - (t - -1). Is 28 a factor of q(n)?
True
Suppose 2700 = -12*p + 7488. Is p a multiple of 21?
True
Suppose -5*s - 4*c = -840, 4*c - 154 = 5*s - 994. Is 40 a factor of s?
False
