+ (f - 3) a multiple of 16?
False
Suppose 10771 = 16*l - 14573. Is 70 a factor of l?
False
Let n = 656 - 89. Is 27 a factor of n?
True
Suppose -2*b = -1086 - 950. Is 11 a factor of b?
False
Suppose -12 = -4*d - 4*m, -3*d + 8 = -3*m + 5*m. Suppose -2*k = -5 - 3. Suppose 3*w - 28 = -d*g, -w + 76 = k*w - 4*g. Does 5 divide w?
False
Let q(r) = -r**3 + 25*r**2 - 37*r - 17. Does 79 divide q(20)?
False
Let l = -1943 - -4680. Is l a multiple of 64?
False
Let d be (5 - 99/21) + 5948/7. Suppose -3*f + 2*o + 510 = 0, 4*o = 9*f - 4*f - d. Is f a multiple of 10?
True
Suppose -8*h = -3*h - 15. Let n be 24/(-10) - (18/(-15))/3. Is n/h - 534/(-18) a multiple of 18?
False
Is 5 a factor of (-220)/(-4)*294/105?
False
Suppose -f + 9 = -c, 0*f - 2*c + 59 = 5*f. Suppose u = f*u - 1180. Is 5 a factor of u?
False
Let t(i) be the first derivative of i**3/6 + i**2/2 - 3*i + 4. Let v(y) be the first derivative of t(y). Is v(4) a multiple of 5?
True
Suppose 0 = -10*p + 18*p - 4160. Does 17 divide p?
False
Let h(l) = -l**2 - 6*l - 3. Let v be h(-5). Suppose -30 = -v*i + 4*i. Let y = 6 - i. Is 7 a factor of y?
True
Let o(k) = 11*k**3 + 4*k**2 - 4*k - 4. Let m(z) = -z**2 + z. Let s(a) = 4*m(a) + o(a). Does 7 divide s(2)?
True
Suppose -84 + 71 = -j. Does 11 divide 8/(3 - j/5)?
False
Suppose 954 = -44*s - 498. Let j = 55 - 3. Let p = j + s. Is 16 a factor of p?
False
Let q(s) = -s - 1. Let g(i) = i + 1. Let d(v) = 4*g(v) + 3*q(v). Let j(h) = -6*h**2 - 3. Let k(o) = -5*d(o) - j(o). Is 8 a factor of k(-2)?
True
Let g = 16 + -25. Let m(r) = -2*r + 41. Let h be m(6). Let s = h + g. Is 9 a factor of s?
False
Let q(p) = 6*p**2 + p - 262. Does 11 divide q(15)?
False
Let a = -243 + 380. Is 4 a factor of a?
False
Let i(l) be the second derivative of 7*l**3/2 + l**2/2 - 13*l. Is i(2) a multiple of 20?
False
Is 40 a factor of ((15360/100)/4)/(3/50)?
True
Suppose -5*c + 3*u + u = -2240, 0 = -2*c - u + 896. Is c a multiple of 24?
False
Suppose -5*c + 319 = -2*m - 59, -5*c - 4*m = -354. Suppose 3*u + c - 287 = 0. Is 9 a factor of u?
False
Let y = 494 + -309. Is 38 a factor of y?
False
Suppose -2*a - 5*p + 123 + 28 = 0, a - 83 = -4*p. Does 23 divide a?
False
Suppose -6*n - 200 = -8*n. Suppose v - n = 69. Suppose 5*r + 19 - v = 0. Is r a multiple of 10?
True
Is 3 a factor of 7 - (-20 - (5 + -1) - -4)?
True
Let i(w) = 2*w**2 + 5*w - 9. Let n be 4 + (0/(-4))/(-5). Suppose -r + 3*v - 11 = v, 0 = -3*r - n*v - 3. Is 8 a factor of i(r)?
True
Let h(g) = 337*g**3 - g**2 - 4*g + 7. Does 44 divide h(2)?
False
Suppose 36*h = -8*h + 2904. Is h a multiple of 29?
False
Let x(u) be the third derivative of u**8/20160 + u**7/840 + 3*u**5/20 - 7*u**2. Let z(c) be the third derivative of x(c). Is 4 a factor of z(-8)?
True
Let v = 1588 - 108. Does 10 divide v?
True
Let l = -450 + 600. Is 25 a factor of l?
True
Suppose 0 = k - 5*k. Let i = k + 3. Suppose 0 = i*c - c - 3*z - 87, -54 = -c - 2*z. Is c a multiple of 24?
True
Let u = 798 - 669. Is u a multiple of 21?
False
Let h be 17/(1*3/24). Suppose 69 + h = -5*d. Let q = d + 57. Is 8 a factor of q?
True
Let x = -2137 - -2973. Does 22 divide x?
True
Let q be (6/(-6))/((-2)/30*-1). Is -266*(33/(-30) - 9/q) a multiple of 19?
True
Let h be (-10)/(-50) + (-1)/5. Suppose h = -5*i - 208 - 1022. Does 10 divide (i/36)/((-1)/6)?
False
Suppose -7*i + 3429 + 71 = 0. Is 20 a factor of i?
True
Suppose 6*c = 2*c. Suppose -m + 4*d + 128 - 34 = c, -2*m + 2*d = -158. Suppose -5*j + m = v, 9*v - 6 = j + 4*v. Is 3 a factor of j?
False
Is (-3035)/(-15) + (-4 - 112/(-24)) a multiple of 2?
False
Let n(j) = j**3 + 17*j**2 + 12*j - 17. Is 23 a factor of n(-15)?
True
Does 14 divide 239/3 - (-5 + (-112)/(-24))?
False
Let a(x) = 8 + 2*x - 7 - 3*x**2 - 2 + 68*x**3. Does 11 divide a(1)?
True
Does 40 divide (-9 - -21)/(12/1240)?
True
Suppose -12 = -4*s - 2*n + n, 5*s = 3*n - 2. Let b(y) = -2*y + 4 - 4 - s. Does 4 divide b(-3)?
True
Suppose -b + 2*b - 5 = 0. Suppose -b*x + 9 = s, -4*x + 0*x = 3*s - 16. Is 6 a factor of (7 - -1)*3/s?
True
Let o = 6096 - 4300. Is 12 a factor of o?
False
Suppose 0 = 3*x - 3*l - 1170, x - 390 = -4*l - 0*l. Is 26 a factor of x?
True
Let x(u) be the second derivative of 1/6*u**3 + 1/6*u**4 + 0 - 8*u + u**2 - 1/10*u**5. Does 6 divide x(-2)?
True
Suppose 10*y + 4*y = 12376. Does 26 divide y?
True
Suppose 3*a = 3, -3*l - a = -0*a - 139. Suppose 0 = -q - h + 132, 4*h + 328 - l = 2*q. Is 27 a factor of q?
True
Suppose -21*g + 17*g = 32. Suppose -6*x - 10 = -x. Let w = x - g. Is w a multiple of 4?
False
Let v = 336 - 544. Let k = -141 - v. Let w = k - 39. Is 28 a factor of w?
True
Suppose -6*l - 4*h + 997 = -5*l, 0 = 2*l + h - 1994. Is 31 a factor of l?
False
Let h(o) = o**3 + o**2 + 1. Suppose 2*m - 8 = x - 3*x, -5*x + 17 = 4*m. Let v(j) = 5*j**2 + 3. Let y(n) = x*v(n) + h(n). Is 2 a factor of y(-6)?
True
Suppose 4*k - 9*k = 30. Let b be k/(-8) + (-1020)/16. Let x = 109 + b. Is 24 a factor of x?
False
Suppose 3*t - 3*p = p - 28, 4*p - 12 = -t. Let v be 1007/76 - (-1)/t. Let r = 28 - v. Is r a multiple of 4?
False
Let d be ((-120)/(-4))/5 + -3. Suppose m - 43 = d*g, -2*m = 5*g - 18 - 35. Is m a multiple of 4?
False
Suppose -7*b + 8*b = 2. Suppose s - 314 = -3*z, -b*z - 955 = -3*s + 2*z. Is 17 a factor of s?
False
Let m(w) = -w**3 - 6*w**2 + 22*w - 12. Does 12 divide m(-9)?
False
Let g(s) = s**3 - 10*s**2 + 10*s - 6. Let y be 2/(8/36*1). Let q be g(y). Suppose q*d + 6 = 0, -5*d + 150 = 2*i + 3*i. Does 8 divide i?
True
Let x(w) = w**3 + 11*w**2 + 10*w + 32. Let p be x(-11). Let z = p - -96. Does 18 divide z?
True
Suppose -115 = -y - 109. Does 9 divide y/51 - 5/85*-559?
False
Suppose -5*w + x = -107, -5*w + 8*w - 3*x - 57 = 0. Suppose -15 = u + 3*u + h, -5 = 2*u + 3*h. Is (u/(-6))/(w/363) a multiple of 11?
True
Let a = 1317 - -1899. Is a a multiple of 114?
False
Let u(k) = k**3 - 4*k**2 + 6*k - 2. Let q be (-10)/(-2) - 18/6. Let l be u(q). Suppose 0 = l*c + 2*o - 64, -3*o = -0*o + 15. Does 15 divide c?
False
Suppose 4*k + 6128 = 3*u, -33*u + 35*u = 2*k + 4084. Is 60 a factor of u?
True
Is (-15279)/(-30) + (-12)/40 a multiple of 42?
False
Suppose -2*m = 1 - 13. Suppose -m*q = q - 924. Is 14 a factor of q?
False
Let v(r) = -2*r - 13 + 3*r**2 + 1 + 7*r**2 - 3*r**3 + 4*r. Let y(c) = -10*c**3 + 29*c**2 + 6*c - 36. Let n(a) = 7*v(a) - 2*y(a). Is 9 a factor of n(12)?
False
Let o = 2 + -3. Suppose 4 = 4*j + 2*w - 6*w, -2*w = -4*j - 2. Is (j + 3)/(o/(-65)) a multiple of 23?
False
Let n(g) = -7 - 9*g**2 - g + 74 + 6*g**2. Is n(0) a multiple of 19?
False
Let n = 22 + -18. Is n/30 + (-440)/(-75) a multiple of 3?
True
Let d(n) = 188*n + 18. Does 35 divide d(4)?
True
Is (2*(-2961)/18)/(-1) a multiple of 6?
False
Does 6 divide ((-465)/20)/(2/(-32))?
True
Let a = -9 - -9. Let b(t) = -t + 12. Let n be b(a). Does 3 divide n - (3 - 2) - 2?
True
Let f = 21 - 18. Suppose w + 2*u = -f*w + 10, -3*u - 13 = -w. Is (8/(-6))/w*-12 a multiple of 3?
False
Let x = -557 - -1457. Suppose 10*q - q = x. Is 25 a factor of q?
True
Let v(q) be the second derivative of -47*q**3/6 + q**2/2 + 2*q. Is 16 a factor of v(-1)?
True
Suppose 0 = 67*f - 178510 - 64968. Does 31 divide f?
False
Let m = -47 + 25. Is -3 + (m - 1)/((-2)/10) a multiple of 14?
True
Let s = 443 + -176. Is s a multiple of 4?
False
Let j(u) = u**2 - 38*u - 81. Is j(50) a multiple of 35?
False
Let t(z) = -148*z - 134. Does 10 divide t(-8)?
True
Suppose 5*b = 3*u - 219, 0*u - 5*u + 3*b + 365 = 0. Suppose 2*n - u = -5*f, -2*f - f = -4*n + 185. Is 17 a factor of n?
False
Let t(w) = -w + 3. Let z be t(-2). Let y(v) = 2*v**2 - 3*v - 6. Let d be y(z). Let u = d - 23. Does 3 divide u?
True
Suppose 6*m = 7*m + 43. Let y = m + 76. Is y - (0 - 1)*-3 a multiple of 10?
True
Let w = 55 - 51. Suppose 0*z = w*z - 132. Is 11 a factor of z?
True
Let s = -8 + 33. Let m = -62 + 65. Suppose 0 = -b + 5*p + s, -p - 88 = -m*b + p. Is b a multiple of 7?
False
Let p(l) = l + 1. Let c(z) = -72*z - 1. Let n(q) = c(q) - 4*p(q). Does 49 divide n(-2)?
True
Let o = -34 + 37. Suppose 0 = -o*f - 3*f + 936. Is 13 a factor of f?
True
Let g(r) = -r**3 + 9*r**2 - 9*r + 9. Let j be g(8). Let q = j + -3. Does 20 divide (-5 - -8)/(q/(-48))?
False
Let c = 21 - 21. Suppose -5 + c = -f. Suppose t = f*t - 68. Is 7 a factor of t?
False
Let i = -666 + 1149. Is i a multiple of 41?
False
Let 