*h - 21903, -5*h - 6*v + 12643 + 14769 = 0. Is 7 a factor of h?
True
Suppose 663 = -4*x + 663. Does 29 divide 4/16 - (5103/(-4) - x)?
True
Suppose -8678*a + 8666*a + 20736 = 0. Is a even?
True
Let a be 9/27*1/(1/6). Suppose -2*b = -a + 8. Let s(c) = 21*c**2 + 2*c - 3. Is 20 a factor of s(b)?
True
Let t = -3416 + 3416. Suppose -2*f = 3*f - 25. Suppose -u - f*s + 63 + 1 = t, s = 3*u - 112. Is 9 a factor of u?
False
Let w = -31 - -50. Does 9 divide w/2 + (-12)/24?
True
Suppose 95315 = 9*n + 39*n - 26509. Is 54 a factor of n?
True
Let f(b) = -b**2 - 11*b + 49. Let q be f(-14). Suppose -q*i = -5*i. Suppose -5*z + 4*p + 319 = i, p = 2*z - 4*p - 114. Is 9 a factor of z?
False
Suppose -5*x = -15, -i - 4*x = 3*i - 24. Let c(q) = 59*q + 7. Let v be c(i). Suppose l = -2*t + 4*t - 380, l - v = -t. Is t a multiple of 16?
False
Suppose -5*i + f = 3670, -2*i + 0*f - 1450 = -4*f. Let o be (-2)/(3 + i/243). Suppose 9*m - o = 6*m. Does 3 divide m?
True
Let b be -5*((-240)/225)/((-1)/(-3)). Suppose 14364 = b*i + 12*i. Does 43 divide i?
False
Let i(j) = j**2 - 26*j + 158. Does 10 divide i(-38)?
True
Let s = 3722 + -631. Is s a multiple of 7?
False
Let u = 13856 - -3221. Is 15 a factor of u?
False
Let v = -1521 - -4886. Suppose v = 6*b + 665. Is b a multiple of 14?
False
Suppose 6*u + 579 = 285. Is 17 a factor of u + 210 - -1*4*1?
False
Suppose 0 = 2*i + 4, -5*i - 747 - 1798 = -5*m. Suppose 2*h + w + 79 = 602, 1066 = 4*h - 2*w. Let z = m - h. Does 19 divide z?
False
Does 30 divide (1109878/66)/(119/408)?
False
Let o(x) = -15*x**2 + 5*x - 2. Let i be o(2). Let y = 381 - 263. Let m = y + i. Is 12 a factor of m?
False
Let c(s) = -s**3 + 7*s**2 + 264*s - 1. Is c(18) a multiple of 7?
False
Let k = 5925 + -2670. Suppose -17*y - 14*y = -k. Is 21 a factor of y?
True
Let o = 3134 + 1121. Is o a multiple of 21?
False
Suppose -97 = 3*w + 2*k - 42, 50 = -2*w + 2*k. Let c = 30 - 43. Let m = c - w. Is 4 a factor of m?
True
Let m be -16*((-9)/27)/(4/6). Suppose -m*h = -5 - 19. Suppose -h*x + 4*b + 548 = x, -4*x - b + 548 = 0. Is 20 a factor of x?
False
Suppose -1 + 11 = 5*g. Suppose -5*b - 1 = 14. Does 29 divide (2/b)/(g + (-528)/261)?
True
Does 36 divide 72/(-63) - (-944268)/21?
True
Let p(x) = -11*x**2 - 52*x + 4. Let o(m) = -11*m**2 - 50*m + 3. Let h(n) = -7*o(n) + 6*p(n). Is h(-4) a multiple of 4?
False
Let j = -74762 + 107362. Does 100 divide j?
True
Suppose 0 = 4*t + 4*p - 12620, 6*t - 4*t - 3*p = 6340. Is t a multiple of 4?
False
Suppose 17*b = 10279 + 346. Suppose b = 44*p - 39*p. Is 25 a factor of p?
True
Suppose -2*k + 20 = 5*x - 3*k, 0 = -x + 3*k - 10. Suppose -5*i + x*d = 80, 2*i + 2*d + 9 = -23. Let b(g) = g**2 + 12*g - 19. Is b(i) a multiple of 10?
False
Is (-194953)/(-9) - ((-16610)/495 + 34) a multiple of 80?
False
Let k(t) = -t**2 - 20*t + 20. Let x be k(-21). Let c be 124*(x - 6/(-4)). Suppose 5*q - c = -2*f, 0 = -3*q - 2 - 4. Is 6 a factor of f?
True
Let k = -38187 + 57405. Does 32 divide k?
False
Let b be 15 + -1 + 4 + 2 + -1. Suppose 396 = b*l - 592. Is l a multiple of 3?
False
Let h be ((-4)/(-10))/(4 - (-316)/(-80)). Suppose -4*y + 8 = -h. Suppose 73 = y*i - 15. Does 4 divide i?
False
Let q be (-3)/(-2)*(-72)/(-27). Suppose -12 = -q*k + 188. Let r = 68 - k. Is r a multiple of 18?
True
Suppose -89*t - 595 = -94*t. Let q = t - -164. Is 24 a factor of q?
False
Let x be (5/(15/18))/8*460. Let d = x + 617. Is d a multiple of 88?
False
Let r be 1800/(-252) - (2 - (-15)/(-7)). Let s(y) = y. Let t(z) = 15*z + 22. Let i(k) = 5*s(k) - t(k). Is i(r) a multiple of 24?
True
Suppose -5*p + 45 = 5*n, -2*p + 14 = n - 0*p. Suppose 2*a + n*u = a + 162, -4*a + 3*u = -724. Let q = a - -22. Is 20 a factor of q?
True
Suppose 3*l - 47*x = -50*x + 1623, 0 = -18*l + 4*x + 9826. Does 12 divide l?
False
Suppose 4*q + 10*q = 70*q - 268968. Is q a multiple of 68?
False
Let w(m) = m**3 + 40*m**2 - 15*m + 174. Does 43 divide w(-40)?
True
Let g = 9425 - 4647. Does 13 divide g?
False
Suppose -32 = -8*y - 8. Suppose 4*w = w - 2*c + 14, -5*c = -y*w - 14. Does 2 divide ((-3)/w)/((-10)/(660/9))?
False
Suppose 0 = -2*r + 7*k - 9*k, -24 = 5*r - k. Is 13 a factor of (390/r)/(24/(-288))?
True
Let p = -1831 - -3418. Let s = p - 1095. Does 12 divide s?
True
Suppose -122*x = 144*x - 319*x + 1532760. Does 75 divide x?
False
Let p be (-3 - 0 - 6)*(-14)/(-6). Let f be p/(-28)*(-16)/(-6). Suppose 0 = -f*b + 6*b - 504. Is 7 a factor of b?
True
Let j(o) = 80*o - 3. Let g be j(1). Let c = 26 - 18. Let r = g + c. Is r a multiple of 17?
True
Suppose 0 = 4*x + 20, -3*x - 39 = -5*p - 14. Let i(n) = -5*n + 10*n**3 + 8*n**2 - 9*n**3 + n**p - 9 + 2*n. Is 6 a factor of i(-9)?
True
Suppose 5*d = 6217 + 3043 - 1280. Is d a multiple of 42?
True
Suppose -5*k + 3*o = -7715, -104*k - 5*o + 4629 = -101*k. Does 17 divide k?
False
Is (370 - -10814) + 5*1 a multiple of 67?
True
Suppose -87 = -l + 20. Let m = 292 + l. Suppose -417 = -3*h + 2*k, 0*h + 3*h + 4*k = m. Is h a multiple of 29?
False
Suppose 10 = 5*v - 4*f, 3*v + 2*f = -0*f + 6. Let s be -4*6*-3*(-2)/(-8). Let c = v + s. Is 20 a factor of c?
True
Suppose 3*r = -3*l + 6045, -l = 2*l - 4*r - 6059. Is l a multiple of 40?
False
Let z be 8/2*1 + 1. Suppose -3*d + 3*o - 5 = 8*o, d - z*o = 25. Suppose 379 - 122 = 5*g + q, -d*q + 163 = 3*g. Is g a multiple of 20?
False
Is (-16)/(-80) - (2 + 81245/(-25)) a multiple of 56?
True
Let v = -52 - -55. Suppose -45 = -5*n - 7*y + v*y, 2*y = 0. Suppose -671 - 886 = -n*s. Is s a multiple of 19?
False
Let o = -48 + 88. Let v = -37 + o. Is 833/21 + 6 - 2/v a multiple of 45?
True
Let z(l) be the second derivative of l**5/5 + l**4/2 - 2*l**3/3 + 3*l**2/2 - 126*l. Is z(5) a multiple of 14?
False
Let s be 1/(-5)*(12 - 9)*-45. Suppose -96 = s*a - 21*a. Let g = 32 - a. Is g a multiple of 12?
True
Does 16 divide 5*(-564)/(-15) + -10?
False
Is 20 a factor of 3/(1 + -22) + 355605/210*6?
True
Suppose -46*t + 736 = -42*t. Let n = 584 - t. Does 16 divide n?
True
Let w(u) = u**3 + 8*u**2 + 3*u - 21. Let v be w(-6). Suppose -4592 = 25*l - v*l. Is 4 a factor of l?
False
Let h(y) = -y**3 - 11*y**2 + 9*y - 5. Let g(d) = -d**2 - 15*d + 4. Let u be g(-16). Is h(u) a multiple of 7?
False
Suppose 9 = -2*g - 7*g. Is g/5 - (-7428)/15 a multiple of 33?
True
Let l(n) = -n**3 - 7*n**2 - 8*n - 24. Let w be l(-12). Suppose 231 - w = -17*t. Is t even?
False
Let a = -95 - -98. Suppose -a*r + 2021 = 629. Is 58 a factor of r?
True
Let r be (102/9)/(10/15). Suppose 5400 = r*t + 3*t. Is t a multiple of 30?
True
Let s = -1244 - -6511. Is s a multiple of 23?
True
Suppose -439 - 1504 = -3*t + 2*k, 2*t - 3*k = 1297. Let l = -333 + t. Is l a multiple of 8?
False
Let v(m) = -46*m**2 - 4*m + 1. Let o = -21 - -10. Let l(w) = -230*w**2 - 21*w + 6. Let a(z) = o*v(z) + 2*l(z). Is a(-1) a multiple of 9?
True
Let c(u) = u**3 - 90*u**2 + 212*u + 41. Is 15 a factor of c(91)?
False
Let k(n) = n**2 - 21*n + 5. Let x be k(20). Does 6 divide 9/12*(4 - 1420/x)?
False
Let t(o) = 101*o**2 - 39*o - 29. Is t(8) a multiple of 39?
True
Let b(h) = -1385*h + 7521. Is b(-9) a multiple of 8?
False
Suppose 30*s + 5*y + 34982 = 34*s, 0 = -3*s + y + 26242. Is s a multiple of 70?
False
Let q = -32 + 64. Suppose -4*b - 6 = x - 46, 2*x - 4*b = q. Suppose 1 = -5*v - x, 4*c = -3*v + 141. Does 13 divide c?
True
Let c = 26836 - 14836. Is c a multiple of 96?
True
Suppose -174*u + m + 97893 = -169*u, -3*u - 5*m + 58775 = 0. Is 28 a factor of u?
False
Let d(i) = -2*i**2 + 11*i + 37. Let y be d(14). Let v = y - -226. Is 5 a factor of v?
True
Suppose 0 = -5*i - 4*v + 793, 5*v - 7 - 3 = 0. Let h = -109 + i. Suppose -51*k = -h*k - 303. Is k a multiple of 35?
False
Suppose 38*n - 236316 = 181874. Is 75 a factor of n?
False
Suppose -4*s - 3*i + 5884 = 0, 5*s = 2*i + i + 7382. Let p = s + -652. Does 23 divide p?
False
Suppose -69 = 41*l - 40*l. Let y = -52 - l. Suppose 4*h + 156 = y*h. Does 2 divide h?
True
Let q be ((-10)/4 + 1)/(15/(-50)). Is 15 a factor of (88 - (-7 + q))/(0 + 1)?
True
Let k = 22306 + -14968. Is 12 a factor of k?
False
Let u be 4/(-50)*5 + 3584/10. Is u - -1 - 1/(3 - 4) a multiple of 12?
True
Suppose 0 = -97*b + 69830 - 72496 + 187936. Does 47 divide b?
False
Let j be ((-534)/8)/(1/4) + 0. Let y = 1071 + j. Suppose -2*l = 2*k - 362, 4*k - 268 = 3*l - y. Is l a multiple of 36?
True
Suppose -3*y