rue
Suppose -f - 152082 = 2*f - 12*f. Is f a multiple of 17?
True
Suppose 0 = 33*b - 31*b - 2296. Suppose 0 = 10*m - 17*m + b. Does 12 divide m?
False
Suppose -51*j + 601009 + 34895 = 57*j. Does 16 divide j?
True
Suppose 38*q - 41*q = 2*p + 851, -5*q = -3*p + 1412. Let f = q + 381. Is f a multiple of 32?
False
Suppose 0 = 13*s + 3163 + 26776. Let d = -923 - s. Is d a multiple of 12?
True
Let o = -18782 + 29152. Is 170 a factor of o?
True
Suppose 9*u = 36*u + 47*u - 1746918. Is 43 a factor of u?
True
Is (-12)/(-9) - (4497921/(-351) - (-3)/(-39)) a multiple of 8?
True
Suppose i - 16 = -3*i. Suppose -4*a - i*k + 284 = 0, -5*a = -5*k + 101 - 406. Suppose -n - 4*m + a = n, 4*m - 23 = -n. Does 9 divide n?
False
Let h(u) = -76*u**3 - 13*u**2 - 5*u + 1. Suppose 10 = 4*w - 2*o + 22, 0 = 5*w - 4*o + 18. Does 27 divide h(w)?
True
Let o be (5/(-1)*-412)/(1 - -1). Let d = o + -717. Does 46 divide d?
False
Let n = 2652 - 1872. Let l = n + -348. Does 12 divide l?
True
Suppose -11*h + 10*h - 3 = 5*n, -5*h = 4*n + 36. Is h/(-60)*-117*-10 a multiple of 52?
True
Suppose -36*s - 11*s = 21*s - 3292560. Is 8 a factor of s?
False
Suppose -58*m = -64*m + 12. Suppose 5*l + 5*f = 3380, -5*l = -m*f + 4*f - 3368. Does 32 divide l?
True
Let y(p) be the second derivative of -p**5/4 - p**4/6 - 5*p**3/2 - 7*p**2 - 2*p + 35. Is 12 a factor of y(-5)?
True
Let y be -1 + 0 + -1 - (-98 - -14). Let i be 1 + -6 + y/2. Does 18 divide (i/(-2))/((-19)/95)?
True
Let j = -2846 - -4266. Is 18 a factor of j?
False
Suppose 13*u + 4358 = -6510. Let g = -392 - u. Is 37 a factor of g?
True
Let l = -1883 - -1880. Let b be 3*(-24)/(-9)*-28. Does 29 divide (13 + l)*b/(-20)?
False
Let t be 1 + -1 - (-4 - 0). Suppose 0 = -t*k - 2 + 18, -c + k = -162. Suppose 8*z - c - 34 = 0. Is z a multiple of 7?
False
Is (1638/(-10))/((-711)/(-90) + -8) a multiple of 18?
True
Suppose 628 = 3*d - 5*f, 4*f - f = -2*d + 444. Let b = 372 - d. Is b a multiple of 6?
True
Suppose 0 = -3*z + p + 11849, -3*z = -3*p - 9518 - 2323. Is 91 a factor of z?
False
Suppose -11*u = u - 48. Suppose b = 2*z + 32 + 8, u*b + 2*z = 200. Is 3 a factor of b?
True
Let r = -701 + 709. Let c = 11 + -5. Suppose -r*p + 46 = -c*p. Is p a multiple of 13?
False
Suppose 11 - 11 = 4*p. Is 29 a factor of p + 2/1 + 146 + -3?
True
Let y be 406/4*(117/(-21) - -9). Suppose -2*m + 2*d = -2*d - y, d = -3. Is m a multiple of 28?
True
Suppose -535537 - 1257803 = -369*k. Is k a multiple of 90?
True
Let n = -367 - -358. Does 39 divide (n/27)/((-1)/(-6)) - -261?
False
Let r(w) be the third derivative of 7*w**6/720 + 3*w**5/40 + 17*w**4/24 + 2*w**2. Let t(m) be the second derivative of r(m). Is t(10) a multiple of 22?
False
Let f = 4105 - 2818. Suppose -f = -5*l + 723. Suppose -3*s = -9*s + l. Is 27 a factor of s?
False
Suppose -3*r - 8*l = -3*l - 1910, r - l - 642 = 0. Does 2 divide r?
True
Suppose 8*k = 9*k + 10. Let z(h) be the second derivative of -5*h**3/6 + 7*h**2/2 - 3*h. Does 19 divide z(k)?
True
Suppose 8179 = 4*k - 353. Is k a multiple of 27?
True
Let y be (-2)/10 + 196/(-20). Let j = 2 - y. Suppose 0 = 8*x - j*x + 208. Does 4 divide x?
True
Let s = -2701 + 2822. Does 22 divide s?
False
Suppose 4*i = -c + 7268, -4*c - 1800 = -i - 0*c. Is i a multiple of 19?
False
Let m(n) = -5*n - 39 + 2*n**2 + 13*n - 41. Is 60 a factor of m(12)?
False
Let b = -52 - -52. Suppose 113 = u - b*f - 4*f, -4*u = -2*f - 466. Does 3 divide u?
True
Suppose m = -3*d - 36, -d - 26*m = -29*m + 12. Let c = 4 + -2. Is 3 a factor of -4 - (d + 0/c)?
False
Let r be (-104)/(-32) - 2/8. Suppose b - 471 = -3*p, -5*b = r*p - 7*p + 609. Does 20 divide p?
False
Suppose 4*j + 1417 = -4483. Let k = -659 - j. Is k a multiple of 16?
True
Let z(s) = s - 47. Let q be z(51). Suppose 1572 = q*n - 408. Is n a multiple of 35?
False
Let l(p) = -p + 11. Let d be l(-9). Let q be (-10)/(-4)*48/d. Suppose 9*u - 261 = q*u. Is u a multiple of 29?
True
Let a be -237 + 1 + -2 + 3/3. Let j = -106 - a. Let u = j + -14. Does 30 divide u?
False
Suppose u + 4*a + 2 = 7, -25 = -5*u + 5*a. Suppose 488 = -u*z - 5*l + 2073, 5*l - 945 = -3*z. Is z a multiple of 10?
True
Let s be (-2 + (-284)/(-16))/(15/80). Let d = s + -71. Let r(v) = 9*v - 14. Does 7 divide r(d)?
False
Let x(y) = 9*y + 11. Let p(q) = 26*q + 32. Let h(r) = -5*p(r) + 14*x(r). Let n be h(-3). Suppose 0 = 2*j - n, 2*v + 2*v + 4*j = 252. Does 5 divide v?
True
Let m(v) = 3*v + 128. Let c be m(-39). Suppose 0 = c*j - 2093 - 987. Is 28 a factor of j?
True
Suppose 14*q + 1420 = 19*q. Suppose q*j = 280*j + 384. Is j a multiple of 8?
True
Suppose 24261*v + 32588 + 11287 = 24274*v. Does 5 divide v?
True
Let c = 78460 - 29908. Does 56 divide c?
True
Let v(h) be the first derivative of -5*h**5/24 + h**4/12 + 2*h**3 - 2*h - 17. Let i(u) be the third derivative of v(u). Is 34 a factor of i(-4)?
True
Let x(z) = 3020*z - 2170. Is x(11) a multiple of 50?
True
Let j(o) = o**3 + 2*o**2 + 11*o - 4. Let u be j(-6). Let p = 91 + u. Is 11 a factor of p*(0 + 6/(-18))?
False
Let y = 2918 - 1483. Is y a multiple of 12?
False
Let r be -663 - (-9 + (7 + -2 - 1)). Let u = -362 - r. Does 24 divide u?
False
Let i = -38 - -41. Suppose 3*f = 2*m - 81, -4*m = -i*f - 179 + 26. Let a = m + -3. Is a a multiple of 11?
True
Suppose 0 = 82*c - 1142681 + 100297. Is 7 a factor of c?
True
Suppose -b + m - 5 = 0, -4*m + 12 = -5*b - 8. Suppose b*o + 15*o = 2760. Does 19 divide o?
False
Let t(x) = -278*x**2 - 11*x - 8. Let d(o) = 93*o**2 + 4*o + 3. Let j(m) = -11*d(m) - 4*t(m). Is j(-3) a multiple of 16?
True
Suppose 0 = -22*w + 7*w - 135. Let f(s) = -57*s - 33. Does 96 divide f(w)?
True
Let n(c) = 3*c**3 - 9*c**2 + 5*c - 6. Suppose -3*t + 66 = 48. Is n(t) a multiple of 21?
False
Suppose -462 + 437 = -5*g. Suppose 3*f + 2331 = 3*x - 0*f, -2*f + 3906 = g*x. Does 78 divide x?
True
Let l(r) = -r**2 + 49*r + 211. Let t be l(53). Is 24 a factor of -4 - 1/t*764?
False
Let o(k) = -2*k**2 + k + 9. Suppose -2 = 6*a - 2. Is o(a) a multiple of 3?
True
Let t(r) = -38 + 28 - r + 13*r**2 - 9*r**3 + 10*r**3. Let i be t(-13). Suppose -i*l + 362 = -172. Does 27 divide l?
False
Let a = 51 - -53. Let j = 208 - a. Is j a multiple of 9?
False
Let k(a) = a**2 + 18*a - 140. Let t be k(6). Suppose 1408 + 1708 = t*d. Is d a multiple of 19?
True
Suppose 24*a - 41606 = 316522. Is a a multiple of 20?
False
Let g(z) be the first derivative of z**3/3 - 2*z**2 + 3*z + 8. Let x be g(4). Suppose 4*c - 121 = -n - 37, -x*c + 4*n = -82. Is 20 a factor of c?
False
Is 92 a factor of 132/10*23690/309?
True
Let w(s) = -33 - 14*s + 10 - 13. Let f be w(-6). Suppose 3*y - 5*u - 440 = 0, -4*u - 487 + f = -3*y. Does 12 divide y?
False
Suppose b - 4*b = b. Suppose 0 = -o - b*o + 3*p + 256, o + 2*p - 276 = 0. Is 26 a factor of o?
False
Suppose -5*n - 64 = 2*s + 76, -4*n - 112 = -s. Is (-2 + n)*(2 + 55/(-15)) a multiple of 2?
True
Let m(k) = -1126*k + 72. Does 94 divide m(-4)?
False
Let s(x) = 22 - 40 + 38*x + 20. Suppose 6*h - 7*h + 1 = 0. Does 4 divide s(h)?
True
Let n(a) = -8*a**2 + 40*a + 303. Let m be n(-7). Let p = -223 - m. Is 4 a factor of p?
False
Let l(q) = -122*q - 11. Let a be l(6). Let n = a + 1041. Suppose 0 = s + 4*k - 82, -4*s + n = -3*k + 4*k. Does 20 divide s?
False
Let c(x) = x + 19. Let p be c(-14). Is 2 a factor of 1 + 0 + p/(25/60)?
False
Does 3 divide 2120/(-16)*(-20)/25?
False
Suppose -3*v + 367 = 517. Let y = 2 - v. Is 4 a factor of y?
True
Suppose 19*c + 3*c - 703204 = -31*c. Is c a multiple of 19?
False
Suppose -3*u = -y + 863, -4*u = -11*y + 16*y - 4391. Is 30 a factor of y?
False
Suppose -6 + 2 = 2*n - 5*y, 4*n = -2*y - 56. Let s be -1 + (8 - (0 - 0)). Is 18 a factor of (18/s)/(n/(-84))?
True
Let r(x) = 132*x + 1476. Does 102 divide r(46)?
True
Suppose -r + 3 = 5*n, 5*r + 8*n - 15 = 5*n. Suppose -p + 1224 = r*s, -2*s + 5*p = 10*p - 816. Is s a multiple of 6?
True
Let j = 34 - 64. Let b be (-5)/j - (-35)/6. Is 12 a factor of (-5)/(-45)*b*42?
False
Let t(j) be the second derivative of 77*j**4/6 - 5*j**3/3 + 31*j. Let z be t(-2). Suppose -3*x = -2*q - 477, -4*q = -4*x + q + z. Is 17 a factor of x?
False
Let o(q) = -2*q**2 - 3*q + 79. Let r be o(7). Does 12 divide (-20635)/r + (-10)/(-80)?
True
Is 4 a factor of (13/(52/10))/(2/832)?
True
Suppose 33*f - n + 34352 = 34*f, 2*n - 34360 = -f. Does 53 divide f?
True
Supp