Does 12 divide l?
False
Suppose -21*q = -13*q - 56. Is (0 + 7*-4)/(q/(-70)) a multiple of 40?
True
Suppose -126*a - 5*y = -130*a + 59230, 5*y = a - 14830. Is 20 a factor of a?
True
Let h(o) = 2*o**3 + 23*o**2 + 11*o - 15. Let g be h(-11). Does 14 divide 1 + -1 - (-132 - g)?
False
Let s(o) = 42*o + 45. Let c be s(-10). Let b = c + 555. Is 36 a factor of b?
True
Suppose 12*m - 2182 - 9782 = 0. Let c = m - 479. Is c a multiple of 14?
True
Let y = -22 + 1446. Is 16 a factor of y?
True
Suppose 0 = -2*t - 1 + 9. Let x(o) = o**2 - 30 + t*o - 4*o - 3*o + o**2. Is x(7) a multiple of 3?
False
Suppose -82*y - 1027 + 27531 = -70912. Is y a multiple of 35?
False
Let h = 470 + -250. Let i = -253 - -126. Let o = h + i. Does 21 divide o?
False
Suppose p - 2*u = 1574, -45*p + 4*u = -41*p - 6316. Does 12 divide p?
True
Suppose -5*p + 3*x = -37, 3*x + 0 + 2 = -2*p. Let m(i) = i - i - p*i - 41. Is 19 a factor of m(-12)?
True
Let w be ((6 + 30)/3)/((-3)/(-14)). Is 14 a factor of 5*w/(-6)*(-3318)/140?
True
Suppose -165*p - 9482 = -176*p. Is p a multiple of 11?
False
Let r(i) = -2*i - 19. Let o = -57 + 65. Let q be r(o). Is 2 a factor of 32/(-10)*q/14 - 2?
True
Is 11086/1205*(-706)/4*-5 a multiple of 146?
False
Suppose 20*n = 17*n + 24. Suppose 3*m - s = 18, n = m - s - 0. Suppose 38 = -l + 4*w + 396, 5*l - 1850 = m*w. Is 40 a factor of l?
False
Suppose 14*k = 360 + 634. Suppose 5*j - k = -4*b - 16, 0 = 4*b + 20. Is 3 a factor of j?
True
Suppose 21*t + 48306 = 27*t. Is t a multiple of 10?
False
Let g = -36 - -33. Let i(t) = 5*t**3 - 8*t**2 - t + 2. Let s(o) = 11*o**3 - 17*o**2 - o + 4. Let y(h) = g*s(h) + 7*i(h). Is y(4) a multiple of 3?
False
Let w = 12 - 9. Let a(b) = w*b**2 + 9*b - 6 - 6 + 2. Does 15 divide a(-8)?
False
Let h be (-3)/7 + 682/154. Suppose -39 + 429 = 5*w - 5*t, -h*w + 312 = -5*t. Let c = 96 - w. Is 6 a factor of c?
True
Let n = -653 + 2444. Is n a multiple of 199?
True
Let m(s) = -833*s**3 - s**2 - 2*s - 3. Let j be m(-1). Let i = j + -419. Is i a multiple of 13?
False
Let r = 90 - 86. Is 8 a factor of -4 + (604/10 - r/10)?
True
Let b = -66 + 143. Let v = 13 - b. Let a = -9 - v. Is a a multiple of 38?
False
Suppose 16 = 4*v, 3*u = 3*v - 0*v - 519. Let a = u - -484. Does 28 divide a?
False
Let o = 20789 - 14203. Is o a multiple of 89?
True
Let f be ((-7716)/72)/(2/(-12)). Suppose 3*t - 975 = -5*a, -2*t - a = -0*a - f. Is t a multiple of 10?
True
Let q(h) = 18*h**2 - 13*h - 6. Let f(w) = 35*w**2 - 27*w - 12. Let b(z) = -3*f(z) + 7*q(z). Does 37 divide b(-4)?
True
Suppose 332*o = 337*o + 2*n - 898, -2*n = 2. Does 15 divide o?
True
Let n(i) = 5*i - 10. Let b be n(2). Suppose 0*r - 3*r + 6 = b. Is r even?
True
Let z(j) be the second derivative of -1/20*j**5 - 8/3*j**3 + 8*j + 0 - 11/12*j**4 - 5*j**2. Is 6 a factor of z(-10)?
False
Suppose -4*j + 177788 = w, 2*j + 38*w - 88916 = 43*w. Is j a multiple of 48?
True
Suppose 4*v - 4446 = -o, 159*v - 160*v + 22154 = 5*o. Is o a multiple of 103?
False
Let y = 7834 + -6321. Does 7 divide y?
False
Let g(b) = -3299*b + 4182. Does 108 divide g(-11)?
False
Let d(y) = -y**2 - 16*y + 195. Let a be d(8). Let n be 0/(-2 + (2 - -2)). Suppose 77 = f + g, f - 75 = -n*g - a*g. Is f a multiple of 26?
True
Suppose 0 = 14*q - 18*q - 144. Let m be (q/7)/(9/(-84)). Suppose 0 = -g + m + 2. Is g a multiple of 10?
True
Suppose 0 = 4*q - 0*r - 2*r - 24, q - 12 = 2*r. Let y = 33 - 31. Suppose 0*g + 2*k + 160 = g, y*k = -q*g + 620. Is g a multiple of 18?
False
Let f(a) be the second derivative of a**4/12 + 2*a**3/3 + 29*a**2/2 + 181*a. Is 8 a factor of f(-9)?
False
Suppose -9*a = -5*k - 30117, a - k + 795 = 4140. Is 128 a factor of a?
False
Let d be 48/14 - (-8)/14. Let h be 1 + 1 + (-1548)/d. Is 44 a factor of (26/(-10) + 1)/(14/h)?
True
Suppose -2*u = 3*u - 5*h - 7640, -2*u = 5*h - 3063. Is u a multiple of 33?
False
Let w(k) = 118*k - 26. Let c be w(1). Suppose -7*m + 799 = c. Does 3 divide m?
False
Let a(z) = 4*z**2 - 9 + 10*z**2 - 9*z**2 - 16*z + 2*z**3. Let r be a(6). Suppose 14*q - r = 1929. Is q a multiple of 23?
False
Let z(j) = j**3 - 11*j**2 - 28*j + 22. Let v be z(13). Let l(c) = 2*c**2 + 3*c + 8. Is l(v) a multiple of 7?
True
Let x(i) = 11*i**2 - 3*i - 18. Let o = 109 + -102. Does 52 divide x(o)?
False
Suppose -13634099 = -239*f + 3718018. Is f a multiple of 159?
False
Suppose 0 = -3*v + v + 5*n + 18, -4*n - 4 = v. Let g be 12/(-24) - (-402)/v. Suppose g = 4*k + 4. Is k a multiple of 22?
False
Let c = 752 - 782. Is 16 a factor of (-1625)/c - 2/12?
False
Let k(w) = 301*w + 429. Does 72 divide k(8)?
False
Let l = -32121 - -45140. Is 15 a factor of l?
False
Let h(b) = b**3 + 2*b**2 - 3*b + 1. Let x be h(1). Let m = -7 + x. Let a = 34 + m. Is a a multiple of 7?
True
Let w be 17295/20 + 1/4. Let v = w - 511. Does 12 divide v?
False
Let q = 539 + -219. Suppose 31*n - 27*n - q = 0. Is 8 a factor of n?
True
Let u = 29249 + -17219. Is u a multiple of 15?
True
Suppose 0 = -49*x + 7428 + 8203. Let m = 116 + x. Is m a multiple of 87?
True
Let i = -4688 - -10682. Is i a multiple of 37?
True
Let g be (-4 + 1)/(-3)*(3 + -2). Let x(y) = 10*y**2 + 4*y - 3. Let s be x(g). Let k(f) = -f**3 + 12*f**2 - 9*f + 16. Is k(s) a multiple of 13?
False
Suppose 0 = -5*i + 15121 + 27039. Does 16 divide i?
True
Let w be 13 - -8*(-3)/(-6). Suppose -15*j = -w*j - 146. Let c = j + 113. Is 10 a factor of c?
True
Suppose -949746 = 2173*o - 2215*o. Does 60 divide o?
False
Let p = 831 + 1. Suppose 0 = -2*b + p + 28. Is b a multiple of 43?
True
Let q = 461 + -491. Does 4 divide 21*(8/(-10))/(q/75)?
False
Is 35 a factor of (((-314272)/(-21))/46)/(319/(-321) + 1)?
False
Let t(d) = -2*d**2 + 27*d + 35. Let r(h) = -3*h**2 + 28*h + 36. Let i be (-4)/((-8)/10) - (-2 - -4). Let p(f) = i*r(f) - 4*t(f). Does 7 divide p(-22)?
False
Let x = -409 + 455. Suppose x*g - 29294 = 23836. Is g a multiple of 15?
True
Suppose 4*u - 3*k - 28 = k, 11 = 2*u + k. Suppose 5*x - 1610 = -3*s, 2*s + 2170 = u*s - 5*x. Does 23 divide s?
False
Let p(f) be the first derivative of 11*f**2/2 - 63*f - 4. Is p(12) a multiple of 12?
False
Let c be -5 + 8 + (-3)/(6/62). Let l be (48/c*-1)/(2/133). Suppose 2*i = 0, l - 30 = 4*v - 4*i. Does 3 divide v?
True
Let q = 1033 + -1030. Suppose 2*v + 12*z - 421 = 17*z, 594 = q*v + 5*z. Is v a multiple of 2?
False
Is 102 a factor of 99034080/1900 + (1 - (-11)/(-5))?
True
Suppose -2*q + 6*q + 3792 = 5*q. Does 12 divide q?
True
Let o(y) = 23*y**2 - 117*y - 227. Does 43 divide o(20)?
False
Suppose 26*d - 174413 = 154721. Is d a multiple of 93?
False
Does 7 divide (-18)/8*(-673462)/249*2?
False
Let z(t) = -12*t - 42. Suppose -55*y - 207 = -58*y. Let m = 61 - y. Does 18 divide z(m)?
True
Does 46 divide ((-245582)/(-51) + -16)/((-6)/(-18))?
True
Suppose 2*h = 23*h + 336. Is -346*-4*(-4)/h a multiple of 20?
False
Let m(g) be the first derivative of g**3/3 - 2*g + 1. Suppose -69 + 65 = s. Is m(s) a multiple of 7?
True
Let u be (-4 - -3)*-4 + (245 - -1). Suppose 5*r = 4*s + 12, -s + 6 = r - 0*r. Suppose 2*c + u = r*w - 32, -2*c = 3*w - 201. Does 23 divide w?
True
Let g(z) = -7*z - 41. Let y be g(-17). Suppose -4*u - 3*i + 63 = 0, -i - i - y = -4*u. Is 30 a factor of 5/(57/u + (-3)/1)?
True
Suppose -11*h + 4969 - 107 = 0. Does 13 divide h?
True
Let z be 1368/6*(-34)/6. Is (6/4)/((-6)/z) a multiple of 17?
True
Suppose 228*c - 227*c + 801 = 0. Let d = c - -1284. Is 15 a factor of d?
False
Let u be -3 - -19*((-12)/3 - -5). Suppose 4*p = -u, -o - 5*p = 2*o - 316. Does 5 divide o?
False
Suppose 16*d - 1025282 = 382222. Is d a multiple of 131?
False
Suppose -60*f + 135*f + 185*f - 2590380 = 0. Is f a multiple of 189?
False
Suppose 5*q = 2*j - 2627, 13*j + 1291 = 14*j + 2*q. Is j a multiple of 25?
False
Suppose 17*w - 19*w + 1680 = -2946. Does 4 divide w?
False
Suppose 0 = -20*l + 22*l + 6*g - 20836, 3*g = -5*l + 51994. Is 31 a factor of l?
False
Let p be ((-16)/(-6))/(1 + (-12)/36). Suppose p*q = -4*v + 1284, 5*v + q - 467 = 1150. Does 29 divide v?
False
Let s(p) = -3*p**2 - 66*p - 1. Let m(y) = -2*y - 2. Let i(t) = 6*m(t) - s(t). Does 5 divide i(-22)?
False
Let m = 5971 - -3158. Is 17 a factor of m?
True
Let k(w) = 3*w**2 + 132*w - 480. Is k(26) a multiple of 59?
False
Let w(i) = 13*i**2 + 78*i - 56. Does 20 divide w(-14)?
True
Suppose 65*u = 309630 + 753510. Does 87 di