lse
Let t be 25/3 + 16/24. Let y = t - -43. Suppose p = -4*b + 5*p + y, 4*b - 37 = p. Is 4 a factor of b?
True
Suppose 0 = 5*k - r + 282, -3*k = -k + 3*r + 123. Let g(m) = m**3 + 13*m**2 - 5*m + 16. Let h be g(-13). Let s = h + k. Does 8 divide s?
True
Suppose 341 = -2*u + 3*x, 2*u + 0*x + 348 = -4*x. Let j = 253 + u. Is 13 a factor of j?
False
Suppose -5*c = -3*c. Suppose c = 2*t - 21 + 11. Suppose 2*b + t*y = 2 - 0, -8 = -2*b - 2*y. Is b even?
True
Suppose 0 = -3*u - 2*p + 8, u + 2*p - 4*p = 0. Let l be (-7)/u + 6/(-12). Let z = l - -8. Is z a multiple of 2?
True
Suppose -36*z + 2040 = -30*z. Does 17 divide z?
True
Let h = 21 - 21. Suppose 3*q - 2*q + 21 = h. Let j = 57 + q. Is j a multiple of 12?
True
Let g(b) = b**2 + 4*b + 2. Let z be g(-4). Suppose 5*c + z = -8. Is c*(-3)/(-15)*-105 a multiple of 14?
True
Let m(r) = -23*r**3 + r**2 + r. Let j be m(-1). Suppose 42 = -5*a + 2*a. Let n = j + a. Does 8 divide n?
False
Let u(x) = x**3 + 3*x**2 - 29*x + 78. Is u(9) a multiple of 10?
False
Suppose -61 = -4*k + 27. Let o be (-9)/(-9) - -1*1. Suppose 3*r - o = -b, -2*b = -2*r - r - k. Is b a multiple of 3?
False
Let v be (-28)/35*(-15)/6. Suppose 132 = 5*y - 2*s, -3*y - s = v*y - 144. Does 17 divide y?
False
Let s be 18/12 + (4 - 1/2). Let i(r) = 2*r**2 - 3 - 3 - 1 + 2*r. Does 24 divide i(s)?
False
Suppose -8*v - 990 = -30*v. Is v a multiple of 4?
False
Let r be (-12)/3*74/8. Let u = -154 - -254. Let w = u + r. Is 11 a factor of w?
False
Let z(l) be the third derivative of -l**6/120 - l**5/6 + l**4/12 + 13*l**3/6 - 5*l**2. Let s be z(-10). Let j = s - -31. Is j a multiple of 5?
False
Let u(z) = -7*z - 6. Let i be u(-1). Let b(t) = 58*t + 2. Does 15 divide b(i)?
True
Suppose -5*l + 2*t + 1298 = -3*l, 2*l - 5*t = 1295. Suppose 0 = -6*u + 2*u + 4*r + 652, 4*u - 2*r - l = 0. Does 18 divide u?
True
Let t = -32 + 152. Let v = t - 51. Is 36 a factor of v?
False
Suppose -c - 2 = -2*c. Suppose -90 = c*b - 4*b. Is 15 a factor of b?
True
Let r be ((-6)/4)/(-1)*-122. Let y be ((-10)/(-20))/(0 + (-1)/(-2)). Is 9 a factor of y/(-4 + (-735)/r)?
False
Suppose 11*y - 19703 = 603. Does 12 divide y?
False
Let t be -311 + (3/2 - 10/4). Does 36 divide t/(-91)*42/4?
True
Suppose 0 = -4*q + 2*q + 3576. Let f = q - 2868. Is (-8)/14 + f/(-126) a multiple of 5?
False
Suppose 826 = 4*d + 2*z, -5*d + z - 301 = -1316. Does 6 divide d?
True
Let c(d) = -d**3 + 8*d**2 - 6. Suppose -2*j + 8 = -4. Is c(j) a multiple of 11?
True
Suppose 64*r + 27*r = 546. Is 3 a factor of r?
True
Let s(y) = -22*y + 6. Suppose -29 = -3*g - 50. Is 20 a factor of s(g)?
True
Suppose 15*q - 334 - 806 = 0. Is 4 a factor of q?
True
Suppose -85 = -5*c + 25. Suppose -707 = -29*o + c*o. Is o a multiple of 25?
False
Suppose -4*x = -5*h - 22, 5*h + 24 = 5*x - 1. Suppose 3*l - x*g = 114, -5*l + 69 = -3*l + 5*g. Is l a multiple of 4?
False
Let n be 20/8*32/20. Suppose 4*a = -5*p + 204, 0*a - 192 = -n*a - 2*p. Is 38 a factor of a?
False
Suppose 12*s - 19*s + 4732 = 0. Is 13 a factor of s?
True
Let c(o) = -o**3 - 22*o**2 - 38*o + 66. Is 12 a factor of c(-21)?
False
Suppose 0 = 3*s + s + 4*x - 204, 5*x + 249 = 4*s. Suppose s = 3*z - 2*k - 35, 2*z - 46 = 5*k. Does 5 divide z?
False
Suppose 6 = -6*v + 9*v. Suppose 1 - 33 = -v*n. Is n/(-20)*45/(-2) a multiple of 6?
True
Let m(i) = i. Let p be m(-1). Let u(x) = -4*x**2 - 2*x - 2. Let f be u(p). Is (-3)/36*f*42 a multiple of 2?
True
Let b(o) = 6*o. Let y be b(1). Suppose -z - z + y = 0. Suppose 3*g - z*w - 107 = -w, w - 161 = -4*g. Is 20 a factor of g?
False
Let c(m) = m**3 - 11*m**2 + 6*m + 4. Let y be c(8). Does 2 divide y/(-44) - 3 - (-174)/11?
True
Let j be ((-3)/(-6))/(5/(-30)). Let t(q) = -q**2 - 7*q - 2. Let d be t(j). Suppose 4*b = -h + 12, h - 2*h = 3*b - d. Is h a multiple of 2?
True
Let x = 125 + -1. Is 4 a factor of x?
True
Let o(z) = 7*z. Suppose r + 4*r - 25 = 0. Let b be o(r). Suppose 4*j + 3*h - 75 = 6*h, -2*j + b = h. Is j a multiple of 12?
False
Let q(d) = -3*d + 17. Let f be q(5). Suppose 4*v = 0, u = -f*v - 0*v + 77. Let o = 128 - u. Is o a multiple of 10?
False
Suppose 0 = 11*n - 5*n - 1110. Does 26 divide n?
False
Suppose -1003 = -11*q - 145. Does 27 divide q?
False
Let i(p) = p**2 + p + 12. Does 17 divide i(7)?
True
Suppose -2*i = -5*j - 3, 4*i - 4*j - 3 = 9. Let t = 3 + i. Suppose -t*x = -2*x - 330. Is x a multiple of 22?
True
Suppose -261*n + 270*n = 41742. Is n a multiple of 103?
False
Suppose -b = -2*p + 707, -4*p = 4*b - 89 - 1307. Does 38 divide p?
False
Is (-5)/(5/6) + 390 a multiple of 6?
True
Suppose 0 = 4*x - x - 9. Suppose -4*d - 123 + 291 = -3*c, x*d + 3*c = 105. Is d a multiple of 5?
False
Let y(j) = 39*j + 217. Is 10 a factor of y(-3)?
True
Suppose 4*k = 3*k + 2*h + 13, 3*k - 5*h = 35. Suppose -74 = -k*l - 9. Is 10 a factor of l?
False
Suppose 0 = -0*z - 3*z - 4*z. Suppose 4*o - 51 + 39 = z. Is 3 a factor of o?
True
Let t(o) = o**2 + 2*o + 4. Let c be t(0). Suppose 0 = 3*s - 0*s - 4*y - c, -2 = -s + 2*y. Suppose q - 9 - 24 = s. Is 11 a factor of q?
True
Let j(k) = -3 - 6 - 4*k + 1. Suppose -q + 0*q = 6. Is j(q) a multiple of 7?
False
Suppose -2*x + 47 - 17 = 0. Suppose t - x + 1 = 0. Does 14 divide t?
True
Let i(u) = u**2 - u - 1. Let g(q) = -q**3 + 6*q**2 + 4*q + 6. Let b(v) = g(v) + 2*i(v). Let t be b(8). Suppose -96 = -2*h - t. Is 17 a factor of h?
False
Suppose 279 = 5*b - 141. Suppose 3*u = -3, -3*w - 5*u + 1 + b = 0. Is w a multiple of 21?
False
Let d = -11 - -26. Suppose 3*t - 215 = -6*g + g, d = 3*t. Is 8 a factor of g?
True
Let y(p) = p**2 - 11*p + 30. Let l be y(5). Let w = -497 + 781. Suppose -4*n + 296 = 4*h, 4*n + h = -l*h + w. Is n a multiple of 16?
False
Let b(y) be the third derivative of y**4/24 + 5*y**3/2 - 3*y**2. Let g be b(-10). Suppose 3*r - 1 = f, 35 = 6*f - f - g*r. Does 3 divide f?
False
Is 29 a factor of 2/12*1 - (-5574955)/1074?
True
Suppose 5 = -3*u + 92. Suppose 2*d + u = 261. Is d a multiple of 21?
False
Let s(n) = 2*n**3 - 11*n**2 + 23*n - 6. Is s(12) a multiple of 9?
True
Let i(n) = -n**3 - 2*n**2 + 6*n + 944. Is i(0) a multiple of 16?
True
Let h(r) = -64*r**3 - 4*r**2 - 3*r. Let u be h(-1). Let t = u + -48. Does 3 divide t?
True
Suppose -4*u - g = 176, 20 = -3*g - 2*g. Let v = 138 + u. Does 19 divide v?
True
Suppose -4*u - 10*u = -210. Is 2 a factor of u?
False
Let r(v) = 11*v**2 - 8*v - 2. Is 22 a factor of r(3)?
False
Let m(b) = -b**3 + 3*b**2 + 6*b - 7. Let s be m(4). Is 8 a factor of (-2760)/(-42) + 2*s/7?
False
Let i(s) be the second derivative of -41*s**5/10 - s**4/6 - s**3/6 + s**2/2 + 11*s. Does 8 divide i(-1)?
False
Let z(m) = -2*m**2 - 3*m + 12. Let h be z(4). Let u = h - -20. Let i = 21 + u. Is i a multiple of 4?
False
Let l = 76 + -71. Let i(a) = 5*a**2 - 10*a - 4. Does 17 divide i(l)?
False
Let s be 0 + -12 - 2 - 0. Let h = 41 - s. Let i = h - 22. Is i a multiple of 10?
False
Suppose 6*x + 135 = 11*x. Is 16 a factor of x?
False
Suppose 28 = b + 50. Let w = b - -168. Is 24 a factor of w?
False
Let s be (-3)/(-12) + (-22)/(-8). Suppose 2 = 2*j, -s*j + j - 46 = 2*i. Let f = i + 53. Is f a multiple of 14?
False
Suppose -p + 20 = 4*p. Suppose z = l + 10 - 1, p*l + 24 = z. Suppose -3*j - j = -4*q - 68, -z*q + 12 = j. Is 3 a factor of j?
False
Let r(k) = -3*k - 13. Let n be r(-6). Suppose n*w = 2*a + 316, 3*w + a = 4*w - 62. Is 9 a factor of w?
False
Suppose 39*t - 40*t = 190. Let y = -46 - t. Is y a multiple of 9?
True
Let k(g) = 15*g - 120. Is 15 a factor of k(14)?
True
Suppose -3*c + 2*z = -2228, 5*c + 27*z - 28*z - 3704 = 0. Is c a multiple of 10?
True
Let o(p) = -p**3 - 2*p**2 + 2*p - 2. Let v be o(-3). Suppose -23 - v = -2*a. Is a a multiple of 4?
True
Let m be (-2 - 0) + (18/(-6) - -7). Suppose -a + 0 = 4, m*a = -2*d + 96. Is d a multiple of 13?
True
Let n = 518 + -390. Is n a multiple of 16?
True
Suppose -1445 = -5*v + 5*n, 4*n - 1 = 3*n. Suppose v - 26 = 3*w. Suppose 2*m - f = -0*f + 181, m - w = f. Does 31 divide m?
True
Is 11 a factor of ((6237/(-12))/(-7))/((-24)/(-288))?
True
Let y = 16 + -20. Let b be 3310/15 - y/(-6). Let x = b - 156. Is 16 a factor of x?
True
Let d(c) = c + 1. Let f(w) = -7*w + 5. Let n(k) = 2*d(k) - f(k). Is 20 a factor of n(7)?
True
Suppose 3*u - 15 = 0, 5*n + 5*u - 5 = 4*u. Suppose -b - 4*b = n. Suppose 5*i - 6*i + 14 = b. Does 10 divide i?
False
Let i =