2 - 548. Let j = 170 + f. Does 14 divide j?
False
Suppose 5*l = 5*r + 7 - 17, -3*l - 10 = -r. Is 1/(r + 98/(-538)*-11) a multiple of 48?
False
Let h(n) = -9*n + 1076. Is 34 a factor of h(44)?
True
Suppose 0*d + 16*d = 80. Suppose 5*r + d*r = 2*r. Suppose -4*h + t = -r*t - 66, 3*h = -4*t + 40. Is 4 a factor of h?
True
Let n be (-4)/(-5) - (-4)/20. Suppose 11 = -f - n. Let b = f + 110. Is 9 a factor of b?
False
Let d be 38/(-133) + 20164/14. Suppose 7*b - d = -b. Does 36 divide b?
True
Let n be (-10)/4*40/(-50). Suppose 0 = 4*u - n*p - 1028, -4*u + 7*u + p - 766 = 0. Suppose 3*r + u = v, -2*r = 3*v - 4*r - 733. Does 22 divide v?
False
Let d = -698 - -736. Suppose -7*o = -d*o + 2511. Is o a multiple of 6?
False
Let j be ((-3)/(-3))/3 - 56/(-12). Suppose n + 7 - 44 = 5*h, 4*n = j*h + 178. Suppose -176 = -n*v + 45*v. Does 17 divide v?
False
Let z(i) = 4961*i + 822. Is 54 a factor of z(4)?
False
Let t(j) = 19*j**2 + 720*j - 3. Is t(-39) a multiple of 10?
False
Suppose 0 = -i - 2*t + 3277, -9809 = -517*i + 514*i + 5*t. Is i a multiple of 7?
False
Let b = -40839 + 65518. Is 143 a factor of b?
False
Let z = 57 + -56. Is 13 a factor of 40/(-10) - (-48 + z)?
False
Let w(u) = 3*u**2 - 10*u + 1. Let t be w(4). Is 158/(-711) + 10937/t a multiple of 15?
True
Let w be 20/8 + (-2)/(-4) - -10. Suppose 0 = -y + w + 52. Let r = y - -61. Is r a multiple of 21?
True
Let w(o) = 21*o**2 + 522*o + 9. Is w(-41) a multiple of 42?
False
Suppose -304*f + 303*f + 2932 = 4*i, -f + 4*i + 2932 = 0. Is 4 a factor of f?
True
Let d(x) = 3*x**3 - x. Let s be d(1). Suppose -2*o - 44 = -s*n, 5*n + 6*o - 96 = 4*o. Suppose -n = -3*j - 8. Is 4 a factor of j?
True
Let d be ((6 + -36)*-1)/(-1). Is 27 a factor of 84*(d/(-8) + 3)?
True
Suppose -5*i + 3*o + 1005 = -350, 0 = -5*i + o + 1345. Suppose -11*q + i + 84 = 0. Does 29 divide q?
False
Let a(l) = 2081*l**2 - 53*l - 261. Is 15 a factor of a(-4)?
False
Let q be 21/105 + (-1)/5. Suppose q = 3*g + 4*p - 9, p + 9 = g + 2*g. Suppose -g*n + 4*j + 144 = 0, -4*n - n - 4*j + 272 = 0. Is n a multiple of 26?
True
Let o(m) = m**3 + 6*m**2 - 9*m - 11. Let u be o(-7). Suppose -u*s - 1262 = -4*n - 169, 0 = -5*n - 5*s + 1410. Is 63 a factor of n?
False
Let n be 1*(-4)/((-5)/(-5))*-1. Suppose 30 = -5*z + 2*h + 100, n*z = -h + 56. Is z a multiple of 9?
False
Let a be (-277)/2 + 205/(-82). Let f = a + 232. Is f a multiple of 40?
False
Let w be (0 - (-4)/16)*0. Suppose 5*q - 3*q - 5*s = 1467, w = -s - 1. Does 19 divide q?
False
Suppose 4 = w - 4*k, -3*k + 0 = 2*w + 3. Suppose w = -7*r + 11*r - 3492. Suppose -5*t + 3*u + 2205 = -0*u, -2*t + 3*u = -r. Does 64 divide t?
False
Suppose -14*v + 3465 - 791 = 0. Let k = v + -175. Does 5 divide k?
False
Let q(n) = -35*n - 392. Is 3 a factor of q(-13)?
True
Let i(x) = 2892*x**2 - 4*x. Is 4 a factor of i(1)?
True
Let u(k) = k**2 - 18*k - 25. Let v(a) = -a**2 + 2*a + 21. Let x be v(10). Let z = -36 - x. Is 10 a factor of u(z)?
True
Let a = 40124 - 7306. Is a a multiple of 21?
False
Let c(u) = -6*u - 4. Let b be c(5). Let t = 34 + b. Suppose t = 4*k - 13 - 59. Does 3 divide k?
True
Let l = 79 - 41. Let x = l - 129. Let z = 132 + x. Is z a multiple of 41?
True
Suppose 0 = -2*q + q + 4*s + 25, s + 115 = 4*q. Suppose 25*d - q*d - 828 = 0. Is 44 a factor of (2 + d)/((-9)/9)?
False
Suppose 6*v - 5*v + 43 = 0. Let u = -25 - v. Suppose 58 = 4*n + u. Is 10 a factor of n?
True
Let u = 1356 + -807. Is 3 a factor of u?
True
Let w(q) = -2*q + 4*q + 3*q - 2*q. Let l be w(0). Suppose l = 2*c - 7*c + 280. Is c a multiple of 14?
True
Let k be (-4 - -9) + 2 + 1. Let r be (-32)/(-6) - k/(-12). Suppose -7*y = r*y - 2483. Is y a multiple of 35?
False
Is (7 - (-5272)/56)*(255/6 - -3) a multiple of 22?
False
Let u be (-1)/((10/20)/(22/(-4))). Suppose -427 = u*b - 31. Does 7 divide (-40)/12*(b/15)/1?
False
Let c = -133 + 222. Suppose -25 = -c*x + 94*x. Is (-43 - x)/(-2) - -5 a multiple of 8?
True
Let i be 3/((-18)/(-21))*(-140)/(-49). Let j(b) = 3*b**2 - 2*b**2 + i*b + 2*b**3 - 3*b**2 + 2. Is 14 a factor of j(5)?
True
Suppose -2*m - 4*n + 58688 = 2972, 3*m - 83553 = n. Does 132 divide m?
True
Let m(y) = 278*y + 5173. Is 16 a factor of m(-12)?
False
Does 40 divide 20/((-6)/(-4)*102/12546)?
True
Suppose -13 = 4*t - 101. Is 36*(2/(-5))/(t/(-55)) a multiple of 18?
True
Let r(l) = -291*l - 1047. Is 91 a factor of r(-74)?
False
Suppose -5*k + 4 = 2*q, -6*q = -4*k - q + 23. Suppose 4*x + 279 = 4*z + z, -z = -k*x - 51. Does 5 divide z?
False
Let h = 206 - 118. Suppose 0 = -3*y + h + 269. Let m = y - 35. Is 21 a factor of m?
True
Suppose -f + 96 = 2*f - k, 2*f = 2*k + 60. Let w be (-649)/f*1*6. Let t = -46 - w. Does 12 divide t?
True
Let o(v) = -471*v - 4667. Does 7 divide o(-20)?
True
Let b = -81 - -78. Let m(p) = 10*p**2 + 5*p + 3. Let f be m(b). Let g = -61 + f. Does 17 divide g?
True
Let b(w) = 3*w**2 + 8*w - 32. Let x be b(4). Suppose -x*m = -50*m + 1440. Is m a multiple of 30?
True
Suppose 7825 = 5*d - 0*d. Suppose 4*v = 4*l + 940, -5*v + 3*l + d - 388 = 0. Does 21 divide v?
False
Let v be (-3)/2 - 57/(-6). Let k be (16/(-3))/(v/(-12)). Is 6 a factor of 1004/18 - (k/(-36) - 0)?
False
Let c(v) = 53*v - 2. Let a(l) = 105*l - 3. Let n(t) = 3*a(t) - 5*c(t). Let q be n(1). Is 4 a factor of -1*3*q/(-9)?
False
Let h = 124 - 84. Let r(p) = 3*p + h*p**3 - 14*p + 11*p - 2 + 5*p - 5*p**2. Is r(2) a multiple of 19?
False
Let s(d) = 95*d**2 + 2*d + 2. Suppose -4*n + 11*k - 13 = 6*k, 4*n = -5*k - 3. Does 45 divide s(n)?
False
Suppose 0*g = -4*g + 320. Let r(y) = -5*y - 10. Let n be r(11). Let s = n + g. Is s a multiple of 5?
True
Let p(l) = -9*l - 118. Let w be p(-19). Suppose -3*h + 3*o = -45, 2*h + 2*o - w = -3. Does 20 divide h?
True
Suppose 4*y + 80 = 5*t, 6*y + 48 = 3*t + y. Suppose 2*h + t = 4*k, -12 = -5*k + 8. Suppose 6*s - s - 150 = h. Is 30 a factor of s?
True
Is 10 a factor of (-12 - -1521) + (14 - -3)?
False
Let a(n) = 7*n - 38. Let u be a(6). Suppose 0 = -5*c + 6*g - 7*g + 1354, u*c = 3*g + 1068. Is 45 a factor of c?
True
Suppose 24*s - 1197 - 363 = 0. Is s a multiple of 5?
True
Suppose 40*a - 452571 - 662081 = -224532. Does 187 divide a?
True
Suppose 36174 + 21764 = 13*m + 11697. Is m a multiple of 10?
False
Let l(o) = -82*o**3 + 4*o**2 - 45*o - 16. Is 20 a factor of l(-5)?
False
Suppose 5*x = -i + 435, -194*i - x = -189*i - 2127. Is 25 a factor of i?
True
Let s be (3/(-4))/(4 - 85/20). Is 11 a factor of (-4596)/(-15) - s/(-5)?
False
Let q(i) = -6*i**2 + 1484. Is q(0) a multiple of 14?
True
Let r(v) be the first derivative of v**3/3 - 8*v**2 - 33*v - 16. Is 8 a factor of r(-5)?
True
Let q = 8320 - -5705. Is q a multiple of 11?
True
Suppose 4*o - 327 = -55. Let n = o + -1. Let d = n - -17. Is 5 a factor of d?
False
Let h(d) be the third derivative of 5/8*d**4 + 0*d + 0 - 12*d**2 + 0*d**3. Does 9 divide h(3)?
True
Let q(t) = 12*t - 9. Let k = 32 - 27. Let z = 1 + k. Is 16 a factor of q(z)?
False
Let r(m) = 5*m**3 + m**2 + 2*m. Let u be r(-1). Let o(k) = k**3 + 6*k**2 - 2*k - 13. Let d be o(u). Does 16 divide -8*(-24)/(3 - d)?
True
Let o(u) = -u - 15. Suppose 2*b - 5*v + 37 = 0, 0*v + 100 = -5*b + 5*v. Let p be o(b). Suppose -2*h - 127 = -5*w, 3*w = p*h - 2*h + 79. Does 4 divide w?
False
Let j(m) = m**3 - 9*m**2 + 3*m + 24. Suppose 3*u = -5*i + 27, -4*i + 4*u - u = 0. Suppose 2*h - 5*k - 7 = -h, -i*k = -3*h + 15. Is j(h) a multiple of 17?
True
Suppose 2*v = -t + 1743, 7*v - 2*v + 6972 = 4*t. Suppose 0 = 4*n - t + 407. Is n a multiple of 25?
False
Let f(n) = -80*n - 180. Let c(k) = -3. Let r(t) = 24*c(t) - f(t). Is 27 a factor of r(5)?
False
Suppose -43092 = 61*l - 75*l. Is l a multiple of 19?
True
Let n = -17192 + 18290. Is n a multiple of 5?
False
Let q(h) = -h**3 + 46*h**2 - 104*h - 50. Is 61 a factor of q(24)?
True
Suppose -5*w + 14595 = 5*j, j + 5*w = -3*j + 11675. Is j a multiple of 22?
False
Let y(g) = 8*g - 59. Suppose -2*j - 15 = 3*j - 2*q, 0 = -3*j + 3*q. Let a be (-3 - j) + 18 - (-3)/(-1). Is 27 a factor of y(a)?
False
Let s be (-68 - -6843)*(-8)/(-10). Is 13 a factor of (s/80)/(-2*(-3)/24)?
False
Suppose 41*b = 44*b + 2916. Let u = 1685 + b. Suppose 6*q + u = 2645. Is q a multiple of 46?
True
Suppose 3*u - 4*f - 6020 = 0, 9*u = 7*u + 4*f + 4020. Is u a multiple of 40?
True
Suppose 26*b + 3043 + 3067 = 0. Let l = -210 - b. Does 3 