+ (-9867)/(-2) + (-140)/40?
True
Let o(b) = -7465*b**3 + 9*b**2 - b - 1. Is o(-1) a multiple of 74?
True
Let h(g) = g**2 - 5*g + 5. Suppose 4*n - 48 = -4*y, 3*y = -n + 2*n - 28. Does 34 divide h(n)?
False
Suppose -7*k + 5*k = -14, 0 = 4*u - k - 150017. Is u a multiple of 133?
True
Let t(f) = -4*f**3 - 87*f**2 + 33*f - 118. Is t(-30) a multiple of 8?
True
Let j = -35 + 25. Let k be (25/j + 4 + -2)*2. Is 13 a factor of -4*1/k - -35?
True
Let t(r) = r**3 - 44*r + 7. Let j = 569 + -562. Is 5 a factor of t(j)?
False
Let y = -604 - -582. Is 105 a factor of (((-3927)/y)/17)/(1/120)?
True
Does 105 divide (-321924)/(-21) - -9*12/378?
True
Let j be ((-15)/(-30))/(2/12). Suppose 4*t - j*k - 1200 = 0, -1228 = -4*t + 2*k - 6*k. Does 12 divide t?
False
Suppose 0 = -7*c - 0*c + 35. Suppose -3*v + c*f = -500 - 693, 3*v - f = 1213. Is v a multiple of 64?
False
Suppose -97443 + 2487 = -4*u - k, 2*u = k + 47466. Is u a multiple of 6?
False
Does 93 divide 42/637*-7 + 297432/39?
True
Let r be 3/(-4)*(-12)/18*44. Let x(m) = m**3 - 22*m**2 + 8*m + 38. Is x(r) a multiple of 6?
False
Let t = -11 + 53. Let c be t/(-98) + (-24)/(-7). Suppose -l - 4*l = -c*u - 885, -2*l = -5*u - 335. Is 15 a factor of l?
True
Suppose -531*u = -865358 - 853489. Is 13 a factor of u?
True
Suppose 3*q + 71*f - 7728 = 68*f, 2*q - 4*f = 5170. Is 15 a factor of q?
False
Let j be (-11)/(-2) - ((-30)/12 + 4). Suppose -64 = -j*r + 184. Suppose 3*n - r = -17. Is n a multiple of 3?
True
Let b = -2260 + 3774. Is 21 a factor of b?
False
Let p(f) be the first derivative of 2*f**3/3 + f**2 + 41*f + 7. Is 14 a factor of p(-10)?
False
Let b be (-47 - -88)/(-4 + 3). Let g = -3 + -1. Is (5 + g + b)*(-7 + 3) a multiple of 40?
True
Let t = 507 + -252. Suppose -t = -4*x + 1569. Suppose 2*d = -u + 6*u - x, 3*u - 5*d = 285. Does 10 divide u?
True
Let x be (-3)/(-2 - 5*20/(-52)). Let j(d) = 38 - 60 - 3*d**3 + 2*d**3 - 14*d**2 + x - 6*d. Is j(-14) a multiple of 33?
False
Let h(y) = -14*y**2 + 13. Let d(s) = 29*s**2 - 25. Let u(c) = -3*d(c) - 7*h(c). Does 25 divide u(-5)?
False
Is (-126)/(-12)*10*(-216)/(-30) a multiple of 7?
True
Suppose 5042 - 26602 = -4*m. Is m a multiple of 35?
True
Let m(v) = v**2 - 3*v - 10. Let y be m(5). Suppose c + 520 + 299 = y. Is (c/(-26))/((-3)/(-8)) a multiple of 14?
True
Let z be (51/15 + -5)*(-1414 - -4). Let f = z - 1610. Does 19 divide f?
True
Let q = -102 + -54. Let t = q + 218. Suppose t = 6*f - 52. Is 10 a factor of f?
False
Suppose 525*m + 436772 = 563*m. Is m a multiple of 65?
False
Suppose 6*h = 11*h - 235. Suppose 0 = -13*a + h*a - 13498. Is 19 a factor of a?
False
Suppose -15621*i + 15608*i = -260832. Does 21 divide i?
False
Let b(o) = 3*o**3 + 2*o**2 - 1. Let m be b(1). Suppose -4*w = m*p - 6*p - 378, -w - 5*p + 111 = 0. Does 24 divide w?
True
Let o(b) = 38*b - 2. Let w be o(1). Is (w/15)/4 - (-6588)/20 a multiple of 30?
True
Suppose -4*x - 2*k = -7968 - 19590, -k = -3*x + 20661. Is x a multiple of 24?
True
Suppose -2*d - 10*x + 9*x - 67 = 0, -5*x + 17 = -d. Is ((-2112)/d)/(3/39) a multiple of 22?
True
Let d = -4635 - -4753. Does 8 divide d?
False
Suppose -3*s + 3765 = -411. Is s a multiple of 24?
True
Let v(g) = 3*g + 3. Let r be 0/4 + 0 - -2. Let q be v(r). Suppose -97 = -q*y - 16. Does 9 divide y?
True
Does 126 divide ((-5)/(125/20)*-216)/(8/420)?
True
Let n(r) = 22*r**2 + 456*r + 5174. Does 20 divide n(-11)?
True
Let f(q) = 2*q - 8. Let o(j) = 2*j**2 - 15*j - 2. Let y be o(8). Let d be f(y). Suppose -5*g = -d*z + 486, 0 = -3*z + 5*g - 0*g + 367. Is z a multiple of 12?
False
Suppose -5*x + 0*x - 35 = -5*d, d - 5*x - 3 = 0. Let g be 2/((d/17)/4). Suppose 11*l - g*l = -552. Is 26 a factor of l?
False
Suppose -3*b - 2*d = -2978, 7*d - 6*d = 3*b - 2975. Let k = b + -704. Is 32 a factor of k?
True
Let l(k) = 613*k + 101. Let d be l(5). Let w = -2134 + d. Is w a multiple of 42?
False
Let f = 25 - 27. Let g be (-7 + 7)*1*(f + 3). Suppose -6 = 2*x - 4*v - 42, g = 4*v. Is 18 a factor of x?
True
Let n(c) = -3*c + c + 15 + 10 - 7. Let m be n(8). Is 4 a factor of (-1 - 2)*m*(-14)/3?
True
Is 26 - (598/(-23) + -35069) a multiple of 29?
False
Let w(h) = 2*h**2 - 10*h - 1. Let q be w(8). Suppose 0 = -4*p + 3*v + q - 132, 0 = 5*p + 5*v + 115. Is 0 - (4/p + 357/(-33)) a multiple of 4?
False
Let s(v) be the first derivative of -7/2*v**4 + 2*v + 16 + v**2 + 1/3*v**3. Is s(-1) a multiple of 5?
True
Let v(u) = 3 - 2*u**3 + 5 - 1 - 7*u**2 + 9*u. Let a be (19 - (-4)/2)*(-12)/42. Is v(a) a multiple of 19?
True
Let k(s) = -11*s + 26. Let n be k(4). Let q be -10*n/6 - 1*3. Does 25 divide (2 + 1)*(-222)/q*-3?
False
Let s = -619 - -1325. Suppose -3*v - 6*x + 4*x = -s, 0 = 2*v + 5*x - 478. Is v a multiple of 4?
False
Does 324 divide -331 + 26305 + 19/(-1)?
False
Let i(n) = 4*n**2 + 8*n - 1. Let a be i(-2). Let f(d) = 351*d**2 - 5*d - 6. Is f(a) a multiple of 10?
True
Is (0 + 4 - 4)/(-3) + 15040 a multiple of 35?
False
Let r be (-1)/((-52)/424) + (-2)/13. Suppose r*i = 4*i - 12. Is ((-2)/i - 1) + 333/27 a multiple of 8?
False
Let i = 198 + -195. Suppose i*y - 109 = 2*y. Does 7 divide y?
False
Suppose -6*k = -3*p - 14157, -4*k + 9433 = 31*p - 28*p. Is 71 a factor of k?
False
Does 50 divide 8 + 272/(-40) - (4 + (-204147)/15)?
False
Let s(n) = -n - 2. Let t be s(-4). Suppose -4*g - 5*r = 0, -21*g = -25*g - 3*r. Suppose 0*m - 6 = 2*m, u + t*m - 170 = g. Is 44 a factor of u?
True
Suppose f - 2*z = 2*f - 6, -f + 18 = 5*z. Let n(t) = 4*t + 6. Let g be n(f). Let s = 64 - g. Is s a multiple of 16?
False
Let t(f) = 148*f**2 - 75*f + 120. Is t(6) a multiple of 12?
False
Let y = 47 - 36. Suppose -35 = 3*d - y. Let v(x) = -11*x - 14. Does 23 divide v(d)?
False
Suppose -3*s = 4*f - 3940, 0 = -3*f + 22*s - 27*s + 2955. Does 9 divide f?
False
Suppose 73401 = 14*g - 392953. Is g a multiple of 9?
False
Let f(b) = -b**3 + 14*b**2 + 2*b + 45. Suppose -3*z - 62 = -5*l, 0 = 4*l - 3*z + 4*z - 53. Does 15 divide f(l)?
True
Suppose -2*n + 2 = 0, a + 6*n - 1277 = n. Does 53 divide a?
True
Let q(x) = 8*x + 108. Let a be q(-5). Let w = -19 + a. Is w a multiple of 2?
False
Suppose 150273 = 18*w - 51129. Does 67 divide w?
True
Let h = -408 - -705. Let o = -190 + h. Does 7 divide o?
False
Let u = -105 + 103. Let y be (3/u + 2)*-4. Is 20 a factor of (-28)/32*y*56?
False
Suppose 0 = 21*w - 69090 - 67158. Does 178 divide w?
False
Let g(d) = -16*d - 4 - 7 + 8*d**2 - 3*d**2 + 4. Is 11 a factor of g(-5)?
True
Let l = -261 - -272. Is 3*l*(-17 - -26) a multiple of 34?
False
Suppose 4546 = 5*p - 3*l, -144 - 2574 = -3*p - 3*l. Suppose -4*h + p = 2*x + h, -x + 447 = -h. Does 22 divide x?
False
Let o(t) = -6*t - 15. Let h be o(-9). Let m = 42 - h. Suppose m*p = 121 - 1. Is p a multiple of 10?
True
Let s = -107 - -161. Let h = -21 - -24. Does 10 divide ((-11)/(-3) - h)*s?
False
Suppose -18*d + 45569 = -16*d + 3*t, -68161 = -3*d + 23*t. Does 85 divide d?
False
Let m(f) = -f**2 - 6*f + 19. Let v be m(2). Suppose -3*y = -28 + 25, v*q + 3*y = 741. Is q even?
True
Let k(m) = 5*m**2 - 5*m - 5. Let p = -43 + 40. Let o be k(p). Let n = o + -14. Does 9 divide n?
False
Suppose -33206 = -116*h + 109*h - 4*f, -4*f - 23698 = -5*h. Does 2 divide h?
True
Let m be 7/((-196)/8)*-7 + 0. Let p(i) = 43*i**2 + 51*i**2 - 2 - 21*i**2 + i**m. Does 8 divide p(-1)?
True
Let y = -19582 - -28214. Is y a multiple of 26?
True
Let i be (39/(-195))/(2/(-70)). Does 12 divide (i - 8) + -2 + 1494/2?
True
Let r(s) = 18*s + 100. Let m(n) = 6*n + 33. Let o(x) = -5*x + 37. Let p be o(8). Let b(j) = p*r(j) + 8*m(j). Is 12 a factor of b(-24)?
True
Let d be (2/(-5))/((-7)/(-210)). Suppose -2*x + 43 = -2*h + 49, 5*h + x = 3. Is 7 a factor of 28/(-8)*d/h?
True
Let h(q) = 3*q**3 + 88*q**2 + 33*q - 352. Does 9 divide h(-25)?
True
Let c = 21 + -18. Suppose 4*u + 12 = c*l - 4*l, 5*l + 12 = -4*u. Suppose l = -m - 16 + 35. Does 19 divide m?
True
Let j be 2/9 - 3823/(-9). Let y = j + -352. Is y a multiple of 24?
False
Let d(b) = b**3 - 6*b**2 - 6*b + 34. Let l be d(6). Let m = -330 + 466. Is 10 a factor of (m/(-28))/(l/14)?
False
Suppose -5*u + 0*u = -3*i + 77, -u = -3*i + 73. Suppose p - i = 3*h + 36, 5*p + h - 332 = 0. Is (-21)/(-7) + (p - -1) a multiple of 14?
True
Let y(v) = 5532*v**3 - 9*v**2 + 12*v - 3. Does 12 divide y(1)?
True
Suppose 2*s - 10*b = -15*b + 55, 2*s - 70 = -2*b. Sup