99823. Is j a multiple of 168?
False
Suppose 50*k - 46*k = j + 20741, -4*k = -3*j - 20727. Is 247 a factor of k?
True
Let r = 10359 - 7895. Is 53 a factor of r?
False
Suppose -2*h - 4*o + 2 = -3*o, h + 5*o + 17 = 0. Let b be h + (5 + -5)/(6/3). Let p(q) = 5*q**2 + 4*q + 2. Does 14 divide p(b)?
False
Let i = -171 - -168. Is 3 a factor of ((-1080)/(-96))/(i/(-8))?
True
Let c = -12288 + 20793. Is c a multiple of 63?
True
Suppose -4*b - 8*s = -12*s - 32752, 4*b + 5*s = 32707. Is 49 a factor of b?
True
Let r be (-6)/48 - (-2 - 2/16). Suppose 0 = -2*c + r*o + 824, 0*c + 2*c - 820 = 3*o. Is c a multiple of 26?
True
Let b(k) = 15*k**2 - 2*k - 237. Let m(s) = -23*s**2 + 3*s + 355. Let d(n) = 8*b(n) + 5*m(n). Is 33 a factor of d(-11)?
True
Suppose p + 2 = -2*d, 4*p + 8*d - 4 = 12*d. Is 13 a factor of p + (-3)/(4 - 1146/286)?
True
Let q be (-1 + (-15)/(-9))*27. Suppose 0 = 15*i - q*i + 735. Is i a multiple of 19?
False
Let j = 0 + 4. Let m(o) = 52750*o + 52755*o + 30 - 105509*o. Is m(j) a multiple of 2?
True
Suppose 0 = -18*w + 2*w + 48. Suppose -4*o + 81 = k, -2*k + 42 = -w*o - 164. Is 4 a factor of k?
False
Let d(v) = -275*v + 2702. Does 16 divide d(-6)?
True
Let h be (4 + 132/(-8))*-72. Suppose 7*n - 3*n = h. Is n a multiple of 28?
False
Let b(s) = 224*s - 908. Does 38 divide b(39)?
True
Suppose 2*o - 4*j - 384 = 0, 0 = 5*j - 23 + 48. Is 14 a factor of o?
True
Suppose 3*a + 28 = 4*h, 6*h - 10*h - 4*a = 0. Suppose 3*y = 2*g + 1378, 9*y + 3*g = h*y + 2322. Is y a multiple of 77?
True
Suppose 3*p + 21 = 3*w, p = 5*w - 0*w - 27. Does 13 divide (-35 + 48)*(-26)/p?
True
Let q(a) = -92*a - 1748. Is q(-47) a multiple of 28?
True
Is 7 a factor of -4 + 4 - -5736*(-39)/(-26)?
False
Suppose -3*x = 4*y - x - 24, -2*y + 2*x + 24 = 0. Suppose -4*o = 5*l - y, 0*l - 3*l + 18 = -2*o. Suppose -12*r + l*r + 104 = 0. Does 13 divide r?
True
Let s(j) = j**3 + 7*j**2 + 3*j + 11. Let q be s(-7). Let h be 7/(-35)*2 + 6/q. Is 224/(3 - h) + -4 a multiple of 46?
False
Let r = 40 - 25. Suppose r = -w + 2*v, 3*w - 2*w = 4*v - 25. Let n = w - -13. Is 5 a factor of n?
False
Let c = 66 - 58. Suppose 36 = -x - c*x. Is 546/10 + 1 - x/10 a multiple of 28?
True
Let n be 5/(-10)*0/(-2) + -6. Let i be n/(-2) - 10/(-5). Suppose 0 = 2*f + 6, 6*t - 31 = i*t + 2*f. Is t a multiple of 23?
False
Let h(c) = -4429*c + 4019. Is h(-3) a multiple of 13?
False
Suppose 2*z - 7*f = -2*f - 1913, 2*z - 4*f = -1910. Let b = -627 - z. Is 14 a factor of b?
True
Let a(m) = -17*m**2 + 37*m + 23. Let l be a(9). Let v = -721 - l. Is v a multiple of 4?
True
Let w be 963 + (-10 - -4) + 4. Let n = -236 + w. Is n a multiple of 14?
False
Suppose 0 = 37*p - 32*p - 30. Suppose 0 = -15*g + 114 + p. Is 14 a factor of 180 + g - (0 + (-6)/3)?
False
Suppose 5*n + 20 = 0, 3*h + n = h + 2262. Suppose -13*j + 6333 - h = 0. Is 25 a factor of j?
True
Suppose -13*u + 8*u = -20. Suppose u*q = 157 - 17. Suppose -1064 = -7*z - q. Does 10 divide z?
False
Suppose -2*l + 5*p = 3*l - 40, 3*l + 4*p + 4 = 0. Suppose i - l*t - 132 = 0, -5*t = -2*i + 141 + 132. Is i a multiple of 9?
True
Let w(n) = 245*n - 1. Let g be w(-1). Let y = g - -302. Is y a multiple of 12?
False
Suppose -5*y + 3420 + 10836 = 4*d, 4*y - 17820 = -5*d. Does 11 divide d?
True
Let d = -47 + 48. Let v be 87 - (1 - (-3 - (d + -5))). Let n = v + -2. Is n a multiple of 17?
True
Let y = 824 - 814. Suppose y*d + 1295 = a + 6*d, -3820 = -3*a - d. Is a a multiple of 85?
True
Suppose -7*y = -12*y. Suppose 3*b + 365 = 5*h, -3*h + 2*b - b + 219 = y. Let q = h - -67. Does 28 divide q?
True
Let b(u) = 13 + 2*u**3 - 21*u - 16*u**2 + u + 25*u. Is 20 a factor of b(9)?
True
Is (38 + 4)*(-13)/(-2) - -7 even?
True
Let u(h) = 77*h - 60. Suppose -m = 5*w + 21, 2*m + 0*w - 3*w - 23 = 0. Does 28 divide u(m)?
False
Let x(c) = -57*c**3 + 24*c**3 + 6*c + 13 + 35*c**3 - 5*c**2. Does 12 divide x(5)?
True
Suppose 3*b - 10 = b. Suppose b*r + 501 = -254. Let t = 269 + r. Does 52 divide t?
False
Let a(b) = 24*b**2 - 11*b + 754. Does 61 divide a(17)?
True
Let t be (276/(-4))/3*4. Let s = -45 - -209. Let b = t + s. Is 47 a factor of b?
False
Let q be 116 + 0/(-4*1/2). Suppose q = 2*y - 2*u, -95 = -4*y - 5*u + 92. Suppose 4*g - 151 - y = 0. Is 8 a factor of g?
False
Let m = -1047 - -6969. Does 105 divide m?
False
Suppose 41*r - 9*r + 133*r - 1288980 = 0. Does 217 divide r?
True
Let t(p) = -8*p - 142. Let k(x) = -1. Let d(n) = -k(n) - t(n). Is 15 a factor of d(-16)?
True
Suppose 0 = -48*x + 51*x - 12, -x - 16822 = -g. Is g a multiple of 36?
False
Let k = -2832 - -3567. Is k a multiple of 12?
False
Let z(g) = g**3 + g**2 + g - 2. Suppose 0 = -4*l + 3 + 13. Let p be 2/l*14 - 2. Is 37 a factor of z(p)?
False
Let q(x) = x + 27. Let f be q(-27). Suppose f = 4*j - 16, -5*c + 6*c + 3*j - 248 = 0. Is 18 a factor of c?
False
Let j(g) be the third derivative of 161*g**5/60 + 5*g**4/24 + 5*g**3/6 + 40*g**2. Let r be j(-1). Suppose -r = o - 171. Is o a multiple of 10?
True
Let s = -1835 + 3747. Is 5 a factor of s?
False
Let n(m) = 34*m - 38. Let c(w) = w + 2. Let a(i) = -6*c(i) - n(i). Is a(-7) a multiple of 9?
True
Let p(m) = 10*m**2 + 6*m - 28. Let g be p(7). Suppose -3*n = -g - 255. Suppose 5*d - 723 + n = 0. Is 9 a factor of d?
False
Let a(t) = -4*t - 18. Let i be a(-5). Suppose -i*m = 5*h + 45, -2*m + 5 = -0*m - 5*h. Let q = 71 - m. Does 9 divide q?
True
Let r(o) = 32*o**2 - 88*o - 480. Does 20 divide r(-6)?
True
Suppose 3*g + 5*y = 24833, -27374 = -5*g - y + 14051. Is g a multiple of 11?
False
Suppose -2*u = -3*h + 30883, 9*h + 4*u - 3149 = 89480. Is 193 a factor of h?
False
Let j be 38 - (-1 + 0)/(4/20). Let y = j + 69. Is y a multiple of 8?
True
Let b(n) = 2*n**2 + 24*n - 9. Let v be b(-13). Suppose -17*t + 34 + v = 0. Suppose -t*q + 6 = -3, q - 20 = -u. Is u a multiple of 8?
False
Let p = -46 + 45. Suppose 3*h - 15075 = -4*k, k = -4*k - 2*h + 18849. Does 21 divide p/(-4) + k/36?
True
Let w be (-25)/(-45)*-3*-1440. Suppose 0 = 17*i - w - 1986. Is 38 a factor of i?
False
Suppose 5*r - 5*z - 36985 = 0, r - 14802 = -r + 4*z. Suppose -26*a + 3293 = -r. Does 8 divide a?
False
Suppose 28*c = 5764 + 493374 - 15186. Is c a multiple of 149?
True
Suppose 5*g - 2 + 52 = 5*u, -4*u + 32 = -2*g. Suppose -u*s = -s. Suppose k - f - 229 = -64, s = -k - 2*f + 153. Is k a multiple of 23?
True
Let w = 6299 + -3200. Is 157 a factor of w?
False
Let z = 6 + -677. Let f = z + 757. Does 22 divide f?
False
Let t(q) = q**3 - 30*q**2 + 37*q - 329. Does 71 divide t(30)?
True
Let z be 12 + 2 - 1/1. Let g(b) = -b + 150. Let f be g(0). Suppose z*t - 8*t - f = 0. Is t a multiple of 4?
False
Let w(i) = -94*i**2 - i + 1. Let d be w(2). Let g = 700 + d. Does 26 divide g?
False
Suppose 5*j - 3*f = 33363, -f - 33599 + 13582 = -3*j. Is 4 a factor of j?
True
Suppose -p - 7 = -4*y, -2*y - 19 + 5 = -4*p. Suppose -5*b - p*z = 185, -6*z - 4 = -2*z. Does 9 divide (-27)/b - (-177)/4?
True
Is (1 + 332)*(-280)/(-12) a multiple of 74?
True
Let g(z) = -93 + 116*z - 236*z + 140*z. Is 21 a factor of g(12)?
True
Suppose -84*d = -94*d + 30. Suppose -27 = d*g - 111. Is g a multiple of 14?
True
Let y(a) = -a**3 + 4*a**2 - 2*a - 3. Let j be y(3). Suppose -4*c - q + 27 = 0, 2*q + 1 + 1 = j. Suppose -5*h - 180 = -c*h. Is 18 a factor of h?
True
Let m(x) be the first derivative of 11*x**2/2 - 8*x - 24. Does 7 divide m(23)?
True
Let p(g) = -g**3 + 2*g**2 - g + 1. Let d = 11 - 7. Let w be p(d). Is ((-63)/w)/(2 + (-17)/10) a multiple of 6?
True
Suppose 4*l - 2 = -i, 6*l - 5*l + i - 2 = 0. Let n(w) be the first derivative of -w**3/3 - 3*w**2/2 + 60*w - 7. Is 60 a factor of n(l)?
True
Let m(b) = 332*b**3 - 3*b**2 + 20*b - 37. Is m(2) a multiple of 176?
False
Does 142 divide (-28054)/(-16)*1560/195?
False
Let m = -5 + -1. Let r be (-497)/56 + (-12)/96. Is 23 a factor of (138/9)/(m/r)?
True
Let u be 304/8 - (8 + -4). Suppose -37*i = -u*i - 945. Does 52 divide i?
False
Let o(v) = 19*v - 33. Let f be o(-9). Let x = f - -234. Is x a multiple of 3?
True
Suppose -43 = -x - 110. Let t be (-14)/(-35)*-5*x/2. Let a = t - -181. Is a a multiple of 40?
False
Is 16 a factor of 10/45 - (-210)/45*12218/3?
False
Suppose -2*i + 3*o = 17, 0 = 2*i - 3*i - 3*o + 5. Let b(s) = s. Let c be b(i). Does 17 divide 5 + c + (-99)/(-1)?
False
Let u = -601 - -636. Let m be -10*(0 + 1 + -2). Suppose -