 -10*r. Is r a multiple of 128?
True
Suppose 23748 + 50844 = 112*b. Does 7 divide b?
False
Suppose 7*w - 4 = 10. Let y = w - -11. Suppose -11*m = -y*m + 40. Is m a multiple of 2?
True
Let l(w) be the first derivative of w**4/4 - 2*w**3/3 - w**2/2 + 4*w + 15. Let o be l(0). Suppose -6*f + 50 = -o*f. Does 4 divide f?
False
Let l be 12/(-18) - (-28)/6. Suppose 6*x - 2*x = c + l, -3*x = -2*c + 2. Does 6 divide 2/c*(88 + -12)?
False
Suppose -m + 2*g - 223 = -2*m, 4*m + 3*g - 882 = 0. Is 6 a factor of (-16)/48*-2*m?
False
Suppose 0*q + 2*q - p - 241 = 0, 4*q + p - 473 = 0. Suppose -339 - q = -x. Is x a multiple of 20?
False
Suppose -b + 39 = 123. Let s be 1/7 - 408/b. Suppose -3*i + 24 + 0 = c, 0 = -2*c - s*i + 48. Does 8 divide c?
True
Let z(a) = a**3 - 8*a**2 + a. Let d be z(8). Let b(w) = -17 + w**3 + 34 + d*w**2 + w**2 - 31*w + 9*w. Is 6 a factor of b(-11)?
False
Let b = -126 - -127. Is b - 6 - 13*-11 a multiple of 11?
False
Suppose 0 = 5*v + 5*z + 240, v - 5*v = -5*z + 219. Let h = 72 - 7. Let t = h + v. Is 4 a factor of t?
False
Suppose 35*d + 27*d - 21*d - 63673 = 0. Is 90 a factor of d?
False
Let t(a) = -12*a - 90. Let j be t(-8). Let q(x) = 2*x**2 + x - 14. Is q(j) a multiple of 4?
True
Suppose -38*d + 84 = -42*d. Does 40 divide -70*-3*(-12)/d?
True
Let t = -1352 + 1406. Is 5 a factor of t?
False
Let y be (3127 - 19)/(2/3). Is 24 a factor of y/49 + (-18)/(-21)?
True
Let t = -6571 - -6774. Is t a multiple of 4?
False
Let p be (-3 + 8 - 1) + (-1 - -15). Is 28 a factor of 350 + p/3 + 1?
False
Let c = 6 - 4. Let q = 100 + -95. Is (89 - -5)/(c/q) a multiple of 27?
False
Let u(a) = -14*a**3 - 5*a**2 - 9*a - 9. Let w be u(-2). Let o = -55 + w. Let p = o - -6. Is p a multiple of 26?
True
Suppose 2*k - n - 1512 = 0, -303*n = -2*k - 306*n + 1512. Is 3 a factor of k?
True
Let v(t) = -5*t**3 - 93*t**2 + 52*t + 448. Does 46 divide v(-20)?
True
Let i(o) = 1263*o + 6068. Is i(8) a multiple of 52?
True
Suppose -11*x = -12 - 32. Does 55 divide -109*((-24)/x - -4)?
False
Let h(y) = -611*y - 82. Is 173 a factor of h(-7)?
False
Let l be (1/(-2))/((-4)/16). Suppose v - 4*v = 3*b - 6, l = -5*v + b. Suppose v = 5*y + 37 - 427. Is 39 a factor of y?
True
Suppose -42 = 3*q - 3*w - 0*w, -5*w + 58 = -4*q. Let m(t) = -t**3 - 10*t**2 + 19*t. Let a be m(q). Suppose 162 = 2*i - a. Is i a multiple of 21?
False
Let l be 0 - 1 - 13 - (-68 + 64). Is 34 a factor of (-4)/l*(-1020)/(-6)?
True
Let g(m) be the second derivative of -37*m**3/6 - 21*m**2/2 - 67*m. Suppose -4*u + 2*t = 2, -2*u + 3*t + 11 = 2. Does 24 divide g(u)?
False
Let u(k) = k**2 - k + 81. Let i be u(0). Let l be ((-328)/(-12) - -2)/((-5)/(-45)). Suppose 85*m - i*m = l. Is 35 a factor of m?
False
Let b = -1701 - -3063. Is 3 a factor of b?
True
Suppose 12*o - 30 = 2*o. Suppose -o*r + 7 = 1. Does 9 divide (-39)/(-1) - (0/(-1) - r)?
False
Suppose -5*l = -25, 5*w + 3*l = 63 + 12. Let q(a) = -3*a**3 + w + 2*a**3 - 5*a**2 + 16*a**2 + 4*a - 6*a. Is q(10) a multiple of 10?
False
Is 3959 + -1 + 0 + 6 a multiple of 38?
False
Let v = 46 + -11. Let s be 0 + 3065/v + (-6)/(-14). Suppose 5*i - 320 = -3*a, -a - 2*i + 18 = -s. Is a a multiple of 24?
False
Suppose 0 = -10966*j + 10985*j - 357048. Is j a multiple of 81?
True
Let l = 47 + -62. Is 3 a factor of (-1)/2 + ((-6615)/18)/l?
True
Suppose 5*f = -j - 35, -3*j - 3*f = -7*j - 94. Let b(l) = l - 48. Let s be b(j). Is (s/(-3))/(2/6) a multiple of 9?
False
Suppose -29*t = -16*t - 3783. Let x = t + 60. Is 15 a factor of x?
False
Is 58 a factor of 3553 + (-1 - -7) - (-18)/(-2)?
False
Let y(t) = 41*t - 290. Let l be y(7). Is l*6*5016/(-198) a multiple of 46?
False
Let f = 29 - -303. Let k = f - 163. Is k a multiple of 23?
False
Let r be (-2*9)/((-470)/(-60) - 8). Suppose -r = -34*i + 33*i. Does 18 divide i?
True
Suppose -3*h + 89974 = 2*k, -h = -2*k - 28007 - 1971. Does 253 divide h?
False
Suppose -7*h - 32 = -137. Suppose -34 = h*r - 514. Is 2 a factor of r?
True
Suppose -14*k + l = -9*k + 100, -k = l + 26. Let f(w) = w**2 - 6*w + 16. Does 11 divide f(k)?
True
Let r(y) = 4*y**3 - 81*y**2 - 64*y + 76. Let x(p) = -2*p**3 + 40*p**2 + 33*p - 37. Let d(s) = -3*r(s) - 5*x(s). Is d(22) a multiple of 2?
False
Let o = -553 + 1418. Suppose 2*j - 2313 = -3*q, -o = -3*q + 2*j + 1460. Does 36 divide q?
False
Let w = -123 - -181. Suppose 16 = 6*z + w. Let b(k) = k**3 + 7*k**2 - 6*k - 14. Is b(z) a multiple of 3?
False
Let t = 657 - -1318. Suppose 9749 = 23*g + t. Is g a multiple of 26?
True
Is 124 a factor of ((-6300)/(-40))/15*(2 - (-242)/3)?
True
Suppose -1116*m = -1112*m + 768. Suppose -16 = 5*u - 3*n, u - 2*n = -3*n. Is 14 a factor of (5 + -4)/(u/m)?
False
Is ((-15941)/(-57))/(6/27) + (-10)/4 a multiple of 10?
False
Suppose -w + 2*w - 3 = 0, 31 = 5*v - 3*w. Is 962/v + (-11)/44 a multiple of 16?
False
Suppose -34 = -3*o - 4*l + 102, 4*o - 152 = 2*l. Let z = -22 + o. Let t = 42 - z. Does 4 divide t?
True
Suppose 15732 = d - 2*c, -370*d = -374*d + c + 62956. Is d a multiple of 10?
True
Let o be 1735/1*(0 + 1). Suppose 59*z - 54*z = o. Is 24 a factor of z?
False
Let w = 21007 - 2435. Is w a multiple of 12?
False
Suppose -3*m - 7515 = -c + 3291, -3*m = -2*c + 21615. Does 25 divide c?
False
Let c be (4 - 0) + -3 + 2. Suppose 554 = c*b + 23. Let n = b - 98. Is 27 a factor of n?
False
Suppose 0 = d - 166 - 1786 - 4063. Does 152 divide d?
False
Let y(w) = 453*w**2 + 88*w + 454. Is y(-5) a multiple of 11?
False
Let m(q) = 9*q - 50. Let g be m(6). Suppose 0 = g*u + 336 - 1184. Suppose 0 = 2*o - u - 40. Is o a multiple of 14?
True
Suppose 72*g = 6*g + 112068. Does 16 divide g?
False
Suppose -329 - 1231 = -4*c. Let s = 394 - c. Does 2 divide s?
True
Is 20 a factor of (-180 - 0/(-1))*(-71344)/3430?
False
Let r = 7660 - 4272. Is 44 a factor of r?
True
Let r(k) = -8*k - 6*k + 9*k - 37 - 7*k. Let u be 4*(-3)/(-4) + -13. Is 13 a factor of r(u)?
False
Let p = -7475 - -20494. Does 23 divide p?
False
Suppose -3851 = -3*m - 5*l, -2*l + 5 = 15. Suppose -a + 257 = m. Is 9 a factor of a/(-35) + (-8)/14?
False
Let p be (-2642)/(-28)*2 - (-10)/35. Let r = -400 + p. Let s = -133 - r. Is s a multiple of 39?
True
Let t(d) = -124*d**2 - 16*d + 59*d**2 + 117 + 69*d**2. Does 81 divide t(22)?
True
Let r(u) = -u**3 + 13*u**2 + 18*u - 25. Let o be r(11). Suppose 10*n = 15*n + o. Let q = n - -90. Does 7 divide q?
True
Let a(w) = -8678*w**3 - 15*w**2 - 23*w - 7. Is 33 a factor of a(-1)?
True
Let m be (-50)/(4/(-2)) + 3. Let n be (m/98)/(1/7). Suppose 6*p - n*p - 408 = 0. Does 24 divide p?
False
Suppose o + 5*y + 6 = 0, -3 = -3*y - 12. Is 77 a factor of (2 + o)/(30/630)?
True
Does 34 divide (1673/478)/(14/34824)?
False
Let l = 2422 - -4185. Does 11 divide l?
False
Let j(c) = -c. Let m(f) = 2*f**2 + 2*f - 8. Let n(a) = -a**2 - 8*a - 12. Let q be n(-8). Let d(o) = q*j(o) + 2*m(o). Is 4 a factor of d(-6)?
True
Let s = 12462 + -4339. Does 4 divide s?
False
Let z(u) = 3*u + 4 + 13*u**2 + 5*u - 3*u - 15*u**2. Let a be z(3). Is 8 a factor of (-6)/30 - (a + 436/(-5))?
False
Does 34 divide (13074*68/36)/(((-144)/27)/(-8))?
False
Let x(y) = 0 + 2 - 352*y + 353*y. Let n be x(3). Suppose -r - n*w = -95, -3*r + 205 = -r - 5*w. Does 20 divide r?
True
Does 19 divide (-303)/(-101) + 2 + 16215?
False
Let a = 11466 + 5609. Is 107 a factor of a?
False
Suppose 19164 = 2*c - 3*z, -3*c - 18*z + 19*z + 28753 = 0. Is c a multiple of 12?
False
Let r be (3/(-9))/((-3)/54). Let v(y) = -13*y + 3. Let g be v(r). Is (-2 - -1)*3 - g a multiple of 10?
False
Let k be (12/(-5))/(20/(-100)). Suppose 9*l - k*l = -825. Does 25 divide l?
True
Suppose 3*l = 15, -5*l + 47 - 7 = 5*s. Suppose -5*n = s*n - 1752. Is 73 a factor of n?
True
Suppose 0*y - 1603 = 3*y - 4*h, -y + 2*h = 535. Let w = -465 - y. Is w a multiple of 5?
False
Suppose -h + 18 = -5*x, 5*h - 5*x - 18 = -4*x. Let b(k) = -28*k + 0 + 34*k + 5 - k**h + 2*k**3. Is 30 a factor of b(5)?
False
Suppose 4*o - 16 = 2*s, 3*o = -s + 4*s + 6. Suppose 3*d + 187 = o*d - w, 0 = 2*d + w - 118. Suppose 5*y - d = -v, -2*v + 2*y + 98 = -0*v. Does 17 divide v?
True
Suppose -9*x + 46 = -35. Suppose -78 = -x*t + 462. Does 6 divide t?
True
Suppose 3*y = 9 - 3. Suppose -y*o + o = 0. Suppose o = -b + 226 - 16. Does 42 divide b?
True
Suppose 30*w - 35*w = -15, 0 = 3*a - 3*w - 15120. Suppose 9*d = 2922 + a. Is 13 a factor of d