. Is 32 a factor of a(u)?
False
Let z(f) = 38*f + 68. Let i(s) = -2*s. Let j(p) = 6*i(p) - 2*z(p). Is 24 a factor of j(-4)?
True
Suppose -4 = -2*t, -5*i + 14 = -7*i - 3*t. Let y(l) = -8*l - 8. Let p be y(-7). Is 4 a factor of (p/i)/((-3)/15)?
True
Let a(i) = 6*i**3 + 6*i**2 + 3*i - 9. Let w(b) = -7*b**3 - 7*b**2 - 2*b + 12. Let v(q) = -6*a(q) - 5*w(q). Is v(-9) a multiple of 102?
True
Let z = 59 - 55. Suppose 0 = z*s - 15 - 97. Is 8/(-2) + (s - -6) a multiple of 6?
True
Let x(h) = h**3 - 22*h**2 - 24*h + 44. Let n be x(23). Is 5 a factor of (-2)/n + 379250/777?
False
Suppose 2*o + 186 = 2*y, 3*y - 7*y - 20 = 0. Suppose -3*f + 2*i = -639, 4*f - 506 - 346 = 5*i. Let p = f + o. Does 22 divide p?
False
Let d be ((-35)/(-10)*1)/((-1)/46). Let k = -26 - d. Is 20 a factor of k?
False
Suppose 4*i + 5*u - 69 = 0, 0 = 3*i - u - u - 23. Let j(l) = -l**3 + 13*l**2 - 9*l - 71. Does 9 divide j(i)?
True
Let q be 13975/30 - 3/(-18)*1. Suppose 5*i + 5*r - 2290 = 0, -2*r + 3*r = i - q. Is 10 a factor of i/10 + (-10)/50?
False
Let o(m) = 2*m**3 - 4*m**2 + 24*m - 166. Does 12 divide o(9)?
False
Suppose -9 + 38 = 4*s - 5*m, 4*m + 32 = 4*s. Suppose -5*x + s - 13 = -o, 2*o = 5*x + 14. Is 12 a factor of o?
True
Let s = 24497 + -1891. Is 114 a factor of s?
False
Let l(n) = 2119*n**2 - 310*n + 617. Does 37 divide l(2)?
True
Let h be (-2*1/5)/((-3)/45). Suppose h*r + 4*r = 1720. Suppose -5*c + 203 = -r. Does 15 divide c?
True
Let f(b) = -15*b**3 - 57*b**2 - 34*b + 20. Is f(-10) a multiple of 46?
True
Let n(k) = -10*k + 102. Let h be 1/(-3 + (-28)/(-9)). Is 6 a factor of n(h)?
True
Let k be -3 - (-4)/6*27/6. Suppose 2*o - 31 - 13 = k. Is o a multiple of 7?
False
Suppose -2*s = -2*q + 2*s - 976, -2*q + 5*s = 980. Let f be q/(-2) - (11 - 14). Suppose 7*k - 212 = f. Is 32 a factor of k?
False
Let f = 222 + -182. Suppose 0 = 2*s - b - 97, -2*s + 5*b + f + 69 = 0. Is s a multiple of 28?
False
Let n be (-14)/3 - (-2)/(-6). Let m be (n/(5/12))/(33/(-2464)). Suppose -4*j = -8*j + m. Is 37 a factor of j?
False
Suppose 2*f - 9*f + f + 7722 = 0. Does 14 divide f?
False
Suppose 8*b - 384 + 984 = 0. Let u = b + 48. Let q = -4 - u. Is 2 a factor of q?
False
Let x(u) = -u**3 - 3*u**2 + 25*u + 24. Let w be -2 - -1 - (9 + 0). Does 11 divide x(w)?
False
Is (-27)/3 + 184/23 - -3661 a multiple of 15?
True
Let l(s) = 0*s**2 - s + 39*s**2 + 0*s + 4 - 3. Let g be l(1). Let v = g + 81. Is 20 a factor of v?
True
Let z = 20550 - 14315. Does 9 divide z?
False
Let o be -2*(102 - (-4 + (3 - -3))). Let c = 1173 + o. Is 31 a factor of c?
False
Let j = 1426 + -598. Is j a multiple of 23?
True
Is 15 a factor of ((-52612)/(-20) - 6/10)*14/35?
False
Let x = 6 - 4. Suppose -10 = x*k - 82. Let g = k + -12. Does 12 divide g?
True
Let t = -7 - -14. Suppose -3*d = 5 + t. Does 23 divide d + (1456/4)/4?
False
Let f(t) = -5*t**3 - 8*t**2 + 5*t + 54. Let s be f(-9). Suppose -6*k = -9*k - 3*c + s, -c = -5. Is 22 a factor of k?
False
Let i(w) be the third derivative of 7*w**4/8 - 40*w**3/3 - w**2 - 6. Does 16 divide i(20)?
False
Does 34 divide 113 + -124 + 3622*2?
False
Let z be -3 - (-3 - (2 - 3)) - -4. Suppose 2*f - 5 = z. Is 12 - (-8 + f)/(-1) even?
True
Suppose -4*t + 18584 = 4*v, -112*v - 4*t = -117*v + 23167. Does 155 divide v?
False
Let b(p) = 8825*p - 7071. Is 154 a factor of b(3)?
True
Let x(z) = 29*z**3 - 10*z**2 + 80*z - 272. Is 30 a factor of x(6)?
False
Let f be 3*(1 + 4 + -4). Let y(k) = 2 - f*k - 51*k - 3. Is 28 a factor of y(-2)?
False
Let r(h) = -h**2 + 163*h - 26. Is r(63) a multiple of 7?
False
Let h(q) = 1081*q + 1. Is 21 a factor of h(2)?
True
Is 11 a factor of ((-941)/14)/((-14)/112)*77/2?
True
Let x be (-22)/165 - 32/(-15). Suppose x*k = 5*m + 97, -4*m + 143 = 3*k - 60. Is k a multiple of 5?
False
Suppose -5*x + 4*m + 1 = -8, 3*x - 2*m = 5. Let u(o) = 1088*o**3 + 2*o**2 - 6*o + 5. Is u(x) a multiple of 51?
False
Let h = -39 + 41. Let x be (403/h)/((-4)/(-8)). Let v = -286 + x. Does 13 divide v?
True
Suppose u - 14 = -4*u - f, -4*u - f + 12 = 0. Let z(p) = 19*p**3 - 4*p**2 + 3*p - 4. Is 46 a factor of z(u)?
True
Does 338 divide ((-26)/6)/((-86)/456144)?
True
Suppose -j - j - 5*h + 1 = 0, 3*h + 3 = 0. Let d(g) = g**2 - g - 2. Let a be d(j). Suppose a*u - 119 - 93 = 0. Does 22 divide u?
False
Is (-7)/56 + (-10331970)/(-528) a multiple of 196?
False
Let c(a) = -898*a + 44. Let x be c(-3). Suppose -12*w = -x - 2242. Is w a multiple of 63?
False
Let q(z) be the third derivative of 1/120*z**6 + 0 + 0*z + 52/3*z**3 + 0*z**4 + 1/20*z**5 + 12*z**2. Is 13 a factor of q(0)?
True
Let t = -133 + 127. Let j be 0 - 38 - (-2)/t*9. Does 32 divide 32/(j/(-8) - 5)?
True
Suppose 15*k - 18*k + 3 = 0. Does 26 divide k/((4/390)/(3 - 1))?
False
Does 61 divide -574*(42/6 + 140/(-8))?
False
Suppose s = -3*i - 0*i + 7910, 2*s + 2*i - 15796 = 0. Does 37 divide s?
False
Suppose 850 = -12*h + 10*h. Let v = -286 - h. Suppose -v = -7*i + 29. Is 4 a factor of i?
True
Let j(o) = -o**3 - 3*o**2 + 4*o - 11. Let c(w) = -w**2 - 14*w - 14. Let b be c(-9). Suppose b + 5 = -6*g. Is 6 a factor of j(g)?
False
Suppose 6*s = 12*s - 36. Let q(n) = 5*n**2 - 4*n - 4. Is q(s) a multiple of 19?
True
Does 17 divide (-654)/1744 - (24081/(-8))/3?
True
Let h = 393 + -578. Let w = 307 + h. Is 3 a factor of w?
False
Let k(y) be the first derivative of -2 + 12*y**2 - 7*y - 5*y**2 - 2 - 9. Does 7 divide k(2)?
True
Let d(w) be the first derivative of w**4/4 + 4*w**3/3 - 3*w - 6. Let z be d(-4). Is (-7 - z) + (-144)/(-4) a multiple of 8?
True
Suppose -84*g + 128376 = -47806 - 585866. Is g a multiple of 21?
True
Suppose -2*h + 3*p = -1, 0*h - 5*p = -3*h. Let t(v) = -3*v**2 + 8*v - 14. Let w be t(h). Let c = w - -193. Is c a multiple of 12?
True
Let n(q) = -10*q - 40. Let x be n(-12). Let y = 83 - x. Suppose -2*l + t + 130 = y*t, t = l - 63. Is 8 a factor of l?
True
Suppose 9*s = 3*j + 8*s - 42924, 4*j + 7*s - 57182 = 0. Is j a multiple of 46?
True
Let o be -4*(-4 + (-21)/(-6)). Suppose -o*n = 5*d - 54, -3*n + 3*d + 8 = -94. Suppose -n*m + 29*m = -42. Is 3 a factor of m?
False
Let o = 881 - -1171. Is 57 a factor of o?
True
Suppose 4470 = 3*s - 18*i + 15*i, 2*s + 5*i - 3008 = 0. Is s a multiple of 3?
True
Suppose -2*u = 5*h - 15, 2*h + u + 0 - 6 = 0. Let o(t) = h*t + t**2 - 30 - 4*t - 36 + 51. Is 39 a factor of o(-11)?
True
Let t(n) = -n**3 + 12*n**2 + 6*n - 54. Let c(v) = -v**3 - 4*v**2 + v + 13. Let f be c(-4). Is t(f) a multiple of 9?
True
Suppose 39*v = -93*v + 917400. Is 50 a factor of v?
True
Let c(i) = -i**3 - i**2 - 1. Let f(t) = -17*t**3 - 3*t - 2*t + 6*t + t**2 + 5. Let q(l) = 2*c(l) + f(l). Does 9 divide q(-1)?
False
Let g(k) = -13*k**2 - 4*k + 11 + 6*k**2 + k - 2 + k**3. Let q be g(9). Suppose -116 = -10*t + q. Is 2 a factor of t?
True
Suppose h = 5, -3*n + 5*h = h - 370. Let j = n + 326. Is 8 a factor of j?
True
Is 101 a factor of (260 + 0 + (-7)/28*4)*11?
False
Let v = 13999 + 978. Does 28 divide v?
False
Suppose -5*i + 4*t = -45, 4*i - i + t = 10. Suppose 2*z - i*j = 68, 2*j = 4*z + 4*j - 112. Let a = z + 53. Is a a multiple of 21?
False
Is 49 a factor of ((-400298)/142)/(2/(-6))?
False
Let w = -274 - -276. Suppose d + 4*i = 596, w*i + 33 + 1209 = 2*d. Does 28 divide d?
True
Let q(o) = o**3 - 24*o**2 - 56*o - 22. Let r be q(26). Let h = r - -286. Is 32 a factor of h?
True
Let j(s) = 94*s**2 - 333*s - 281. Is 88 a factor of j(-18)?
False
Suppose 20557 = 2*m - 3*p, 4397*p = -5*m + 4395*p + 51421. Is 7 a factor of m?
True
Suppose -167500 = -21*a + 18*a - 4*x, 0 = 5*a - 2*x - 279184. Is a a multiple of 54?
True
Suppose -80 = 5*f + 2*c - 7*c, -3*c + 9 = 0. Is 547 - -1 - (-39)/f a multiple of 17?
False
Let o(h) be the first derivative of -h**4/4 + 4*h**3/3 + 23*h**2/2 - 6*h + 51. Is o(6) a multiple of 12?
True
Let v(z) = 4*z - 6. Let f be v(4). Let l(y) = 24110*y - 12056*y - 12052*y. Is 4 a factor of l(f)?
True
Does 26 divide -76*9/(-1)*-26*(-3)/9?
True
Let f = -900 + 2923. Is f a multiple of 17?
True
Let o(j) be the first derivative of j**4/2 + 9*j**3 + 13*j**2/2 + 9*j - 12. Let h be o(-13). Is 14 a factor of (-1 + 7)*168/h?
True
Let i = 1261 - 811. Does 10 divide (48/(-15))/((-4)/i)?
True
Let t(w) = -27*w**2 + 364*w - 37. Is t(7) a multiple of 44?
True
Let q(b) = 6*b + 69. Let a be q(-11). Suppose -j + 94 = -a*w, 5*j - 320 = -w + 198. Is j 