lse
Suppose -3*f - 26420 = -5*m, 5*f - 2588 - 7980 = -2*m. Is 20 a factor of m?
False
Is 14874830/4046*(0 - -7) a multiple of 27?
False
Suppose -5*m = 4*r - 54, 82 = 4*m - 4*r + 10. Suppose 0 = 3*h - 2*h - m. Suppose 12*f = h*f - 282. Does 30 divide f?
False
Suppose -5*p - 4*d = -2*d - 445, -d - 460 = -5*p. Let m(k) = k**3 + 13*k**2 - 4*k - 66. Let x be m(-13). Is 43 a factor of 15678/p - (-4)/x?
True
Let b be -4*1/(-2)*2. Suppose -n = 3*d + b*n - 1049, 0 = 3*d - 4*n - 1094. Does 21 divide d?
False
Is 12 a factor of 11 - -14 - (-8)/(48/(-42))?
False
Is 29 a factor of (13 + -1)*(-5131)/(-7)?
False
Let u(r) = r + 17. Let c be u(5). Let q = -17 + c. Suppose -47 - 18 = -q*w. Does 3 divide w?
False
Let d = 18 - 16. Suppose 5*i - 2*y = 423, -d*i = 3*y - 93 - 80. Is 28 a factor of i?
False
Suppose 0 = -2*c + 24 - 26. Let p = c - -100. Is p a multiple of 4?
False
Let i = -40 - -46. Suppose a + 35 = 5*d + i*a, 16 = 4*d - 2*a. Suppose 2*f = 3*n + 25, 0*f - f + 16 = -d*n. Is f a multiple of 11?
True
Let x(s) = s. Let g(a) be the first derivative of a**3/3 - 7*a**2 - 32*a - 6. Let n(z) = -g(z) - 4*x(z). Does 7 divide n(10)?
False
Let s(d) = -5*d**3 - 87*d**2 - 1048*d - 30. Is s(-11) a multiple of 62?
True
Suppose -4*t - 16 = -4*h, h + 9*t + 8 = 4*t. Does 6 divide 1254/(4 + h) + 7?
True
Suppose 258973 = 149*u - 84621. Does 48 divide u?
False
Let y(c) = -1015 - 1038 + 1993 + 43*c. Is y(5) a multiple of 7?
False
Let u = 162 + -248. Suppose 5*t - 3*z - 891 = 2*t, -891 = -3*t - 2*z. Let w = u + t. Does 23 divide w?
False
Let n(y) = 8*y + 122. Let a be n(-16). Is 420/3 + -3 - (-6)/a a multiple of 3?
False
Let x = 37078 + -21383. Is 34 a factor of x?
False
Let j = -40 - -53. Let l(s) = s**3 - 12*s**2 - 14*s + 16. Let n be l(j). Suppose n*h - 264 = -18. Does 20 divide h?
False
Let s be (-280)/(-36) + 4/18. Suppose s*y - 198 - 2282 = 0. Does 31 divide y?
True
Let k(y) = y + 10. Let z be k(-10). Suppose 21 = 7*s - 2*s - m, m - 4 = z. Suppose 2*w - s*i = 48, 0 = 4*w + i + 37 - 155. Does 9 divide w?
False
Suppose 8 + 12 = 5*j, -2*r + 2*j + 940 = 0. Let b = r - -21. Is 11 a factor of b?
True
Let i(n) = 84*n - 1031. Does 25 divide i(121)?
False
Let z = 2608 - -1073. Is z a multiple of 15?
False
Suppose -11*t + 1275 = 6*t. Does 3 divide t?
True
Suppose 0 = 5*w - 2*o + o - 58, 2*o + 44 = 4*w. Suppose w*y - 5117 = 1483. Suppose 0 = -8*k + 6*k + y. Is 55 a factor of k?
True
Suppose 2*v + 6 = z - 6, -3*z - 4*v - 4 = 0. Suppose 0 = -z*j - 0*j + 1092. Suppose 0 = -h - 5*y + 64, 0 = -4*h - 3*y + j - 34. Is 8 a factor of h?
False
Let v = 42 + -42. Suppose v = 4*j - i - 1254, -j + 3*i + 317 = i. Let w = j + -183. Is w a multiple of 10?
True
Is 7 a factor of ((-5919)/4)/((-579)/772)?
False
Let r = 2213 - 523. Suppose 0 = u - 5*c - r, c - 3380 = -12*u + 10*u. Is 42 a factor of u?
False
Is 1565/((4/32)/(66/16 - 4)) a multiple of 5?
True
Let y(x) = -583*x**3 + 2*x**2 + 3*x + 2. Let q be y(-1). Let d = -416 + q. Let n = d + -111. Does 11 divide n?
False
Is 24 a factor of (-9)/((-810)/(-20)) - (1864370/45)/(-2)?
False
Suppose 3*b + 243 = -5*m - 190, -m + 3*b - 101 = 0. Let a = m + 87. Let t(q) = 18*q**2 + q + 6. Is t(a) a multiple of 7?
False
Let c = -218 - -228. Suppose 3*t = -3*n + 204, 8*n - c*n - 8 = 0. Is t a multiple of 2?
True
Suppose 7*u - 6*u = -2*g + 6587, -5*u = 5*g - 16450. Is 166 a factor of g?
False
Suppose 0 = -a + m + 9, -4*a - 2*m + 30 = 0. Suppose -d - d - a = 0. Does 22 divide (3 - 2)*d + 26?
True
Suppose 4*g = -3*q + 6112, 0*g - 10148 = -5*q + 3*g. Suppose 0 = -7*t + 61 + q. Is 10 a factor of t?
False
Suppose -40204 = -4*p + 27*p. Let h = -1235 - p. Is 57 a factor of h?
True
Let o(l) = l**3 + l**2 + 3*l + 6. Let u be (-39)/(-12) - 5/20. Let w be o(u). Suppose -121 - w = -4*x. Is 8 a factor of x?
False
Suppose 5*v - 2*v = -111. Let c = 40 + v. Is 8 a factor of (-60)/((-3)/(-2) - c)?
True
Suppose -6*j - 4*j = 0. Suppose j = -165*o + 174*o - 3384. Is 44 a factor of o?
False
Let b(y) = -y**3 - 6*y**2 - y. Let c(g) = -3*g - 21. Let u be c(-5). Let n be b(u). Is 10 a factor of (6*64)/n - 4/2?
False
Let h(r) = 6*r + 16. Let f be h(7). Let g be 10/(-90) + 343/9. Let v = g + f. Is v a multiple of 28?
False
Suppose 0 = 17*d - 95*d + 13182. Is d a multiple of 16?
False
Let n = -8453 - -9004. Is n a multiple of 40?
False
Suppose -4*n + 9*n - 4*v = 30, 2*n - 3*v = 12. Suppose q = 5*z + 52, -n*q + q + 4*z + 260 = 0. Is q a multiple of 35?
False
Suppose 2*l = -f - 14, -39 = 3*f + 5*l + 2. Is 13 a factor of f/24 + 1 + (-389)/(-2)?
True
Let q be ((-54)/(-4) - 2)/((-26)/(-52)). Does 79 divide q/(-115) - (-1)/(10/7112)?
True
Let m(a) = -a**2 + 5*a. Let r(c) = c**3 + 7*c**2 + 5. Let j be r(-7). Let z be m(j). Suppose 2*w = -4*x - z*x + 250, 2*w - 313 = -5*x. Does 21 divide x?
True
Suppose 0 = q + 280 - 954. Let n = -404 + q. Does 47 divide n?
False
Suppose -t = 109 - 343. Suppose -15 + 27 = 4*k. Suppose 2*l + l - 351 = -3*b, -k*b + t = 2*l. Is 39 a factor of l?
True
Let d(v) = -v**2 + 15*v - 39. Let t be d(13). Let p be 2 - (t + 4)*5. Suppose p*y + 96 = 51*y. Does 13 divide y?
False
Let c = -269 + 273. Suppose c*g + 2*f - 766 = 0, -7*f + 3*f = 4*g - 764. Does 16 divide g?
True
Let p(n) = 52*n**3 + 5*n - 53*n**3 + 28 - 11 + 4*n + 11*n**2. Does 20 divide p(9)?
True
Let y(a) = -25*a**2 - 970*a + 81. Is 8 a factor of y(-37)?
False
Let k = 77 - 86. Let j be (-1 - -2)/((6/k)/(-2)). Suppose -j*d - 3*t = -249, 0*t + 79 = d + 3*t. Is 17 a factor of d?
True
Let a(z) be the second derivative of -z**5/20 + 3*z**4/4 + z**3/6 + 27*z**2/2 + 49*z. Suppose 18 = -5*n + 7*n. Is a(n) even?
True
Let r(k) = k**3 - 2*k**2. Let z be r(2). Suppose -5*u - 4496 = -3*b - 9*u, -2*b - u + 2994 = z. Is b a multiple of 11?
True
Suppose -410071 = 760*r - 807*r + 1078842. Is r a multiple of 179?
False
Let w = 43 - 60. Let u = w + 19. Suppose k - 71 = -5*i, k + u*i - 4*i - 92 = 0. Is k a multiple of 43?
True
Let y(i) = -52*i + 69. Let t be y(-7). Suppose b + 5*n = 554, -4*b + t + 1828 = 5*n. Is b a multiple of 12?
False
Let b = 1185 + -965. Is 2 a factor of b?
True
Does 31 divide 6/16 + (101581695/(-216))/(-57)?
False
Suppose 5*f - 695 = -5*b, -7*f - 2*b = -6*f - 138. Let v = 184 - f. Is 6 a factor of v?
False
Suppose -25 = -5*m, 1429 = g - 34*m + 37*m. Is 2 a factor of g?
True
Suppose 300 = 2*c + 2*g, 3*g = -c + 6*g + 158. Suppose -10*l = -c + 52. Suppose 5*k + 45 = l*k. Is k even?
False
Suppose 1853 - 341 = 27*y. Does 11 divide (y/(-12) + 1)/(5/(-1815))?
True
Suppose 0 = 9*o - 2*o. Suppose o = 4*r - 4, -2*r - 4 - 4 = 5*q. Does 10 divide (4 + 1)/(q/(-12))?
True
Let y = 217 + -611. Let p = 682 + y. Suppose -72 = -5*m + 4*o + 192, 2*o - p = -5*m. Does 8 divide m?
True
Suppose 2*u + 3*l - 71 - 1663 = 0, 0 = 3*u + 5*l - 2600. Is 6 a factor of u?
True
Suppose -4*i = 2*j - 9*i - 1442, 5*j + i = 3632. Let y = j - 498. Does 19 divide y?
True
Suppose 39*t - 529663 = 141722. Is t a multiple of 7?
False
Let v = 3819 - 1746. Suppose 31*i - v + 306 = 0. Is i a multiple of 3?
True
Suppose -183*z + 1145670 - 430633 = -819967. Is 18 a factor of z?
True
Suppose -3*u - 241*d = -236*d - 5863, 2*u = 5*d + 3917. Is u a multiple of 6?
True
Suppose -10998317 = -149*s - 118*s - 3515909. Does 12 divide s?
False
Let w = 461 + -362. Suppose -3663 + w = -22*k. Does 27 divide k?
True
Let s(o) = -32*o + 156. Let g be s(-10). Let k = g + -392. Is k a multiple of 7?
True
Let n be 42*(448/(-21))/4. Let c = 268 + n. Does 14 divide c?
False
Let v = -303 - -307. Suppose -4*l + 51 = 2*i - 139, 0 = -v*i - 5*l + 392. Does 18 divide i?
False
Let t be 6/60 + 2289/10. Suppose -4*c + t = -1271. Does 44 divide c?
False
Suppose 0 = 563*s - 562*s - 6*k - 3224, -5*s - 3*k = -15823. Does 12 divide s?
False
Let d = 48 + -48. Suppose d = 6*u - 96 - 102. Let w = u + 58. Is 7 a factor of w?
True
Let q(t) = -2*t**2 + 30*t - 15. Let k be q(15). Does 42 divide ((-396)/k)/(82/1435)?
True
Let j = 528 - 525. Is (4 - j - 0) + -6 - -95 a multiple of 6?
True
Let s(o) be the third derivative of -o**5/60 - 67*o**4/24 - 25*o**3/2 + 2*o**2 - 155. Is 14 a factor of s(-31)?
False
Let h = 17245 - 8145. Is h a multiple of 182?
True
Suppose -2*y + 7*a = 8*a - 4319, a = -4*y + 8639. Suppose -268*g + 274*g = y. Is g a multiple of 45?
True
Let j be (290/30)/(1/(-168)). Let f = j - -32