398 = 0. Let s = j - 40. Let f = 59 + s. Is 25 a factor of f?
False
Let p be 1/(2 - 14/8). Suppose 0 + 8 = p*l. Suppose l*j = 3*j - 33. Is 21 a factor of j?
False
Let u = -18 - -20. Suppose -6*r = -2*r - u*v - 28, 5*v = -5*r + 20. Let p = r + 9. Is 15 a factor of p?
True
Suppose 3*x - 945 = 1458. Is x a multiple of 60?
False
Suppose 2*f + 0*l = 3*l + 7, 1 = l. Suppose -3*d = -f*v + 3*v + 626, -4*v - 2*d + 1284 = 0. Does 16 divide (0 - -1)/(11/v)?
False
Is 5 a factor of ((-276)/(-207))/(1/975)?
True
Let f(q) = 5*q + 6 - 2*q**2 - 2*q**2 + 2*q**2 - q**3. Let m be -2 - (-1)/(-1) - 16/8. Is f(m) a multiple of 27?
False
Suppose -13*x + 11*x + 3400 = 0. Does 85 divide x?
True
Let h = -2571 + 3625. Is 62 a factor of h?
True
Suppose -4*t - 4*n + 6 = -26, 2*t - 31 = -5*n. Suppose 7*v = v + 36. Suppose -t*d - 3*j + 18 = 0, -j = 2*j - v. Does 4 divide d?
True
Is 3 a factor of (-24)/48 + (-73)/(-2)?
True
Suppose -143*f + 86729 = -49121. Does 25 divide f?
True
Let o be (5 + (-51)/9)*18. Is 20 a factor of (o/(-8))/((-15)/(-2450))?
False
Suppose 6*d = 2*d - 0*d. Suppose 84 = 7*v - d*v. Is v a multiple of 11?
False
Let p(b) = -b - b**2 - b**2 + 4*b**2 - b**3 + 2*b**3 - 4. Let q(o) = -3*o**3 - 7*o**2 + 4*o + 13. Let v(d) = -7*p(d) - 2*q(d). Does 16 divide v(-3)?
True
Suppose -4*f = -2*s - 5670, 0 = -4*f - 39*s + 40*s + 5669. Is f a multiple of 44?
False
Let a = 4 - 7. Let o(w) = -7*w**3 - 2*w**2 + 4*w. Does 13 divide o(a)?
False
Suppose j = -2*j + 6. Let d = -4 + j. Does 14 divide (-1837)/(-66) - d/12?
True
Let n(o) = -o**2 + 16*o - 39. Let i be n(13). Suppose -5*l - 62 + 262 = 0. Suppose i = s - 5*s + l. Is s a multiple of 7?
False
Does 101 divide (-4)/3*2/(-6)*909?
True
Suppose -3*c + 32 = c - 4*j, 0 = -5*j + 5. Suppose h - 2*h = c. Let z(r) = r**3 + 10*r**2 + 8*r + 3. Is z(h) a multiple of 7?
False
Let h(w) = -4*w - 17. Let c be h(-17). Suppose -8*q = -5*q - c. Is q a multiple of 3?
False
Does 16 divide 3 + 216 + 3 + 2?
True
Let d(w) = -w**2 - 14*w - 7. Suppose 46 + 110 = -12*m. Is d(m) a multiple of 3?
True
Suppose 22*c - 26*c = 0. Suppose c = -2*q + 7*q - 15. Suppose 30 = -q*y + 4*y. Does 5 divide y?
True
Let d be 2/9 - (-112)/63. Suppose -4*a + b + 47 = -66, -5*a - d*b + 125 = 0. Does 7 divide a?
False
Suppose 4*o = 4, 3*j - 2*o + 22 = 2*o. Let w(d) = -2*d**3 - 8*d**2 - d + 38. Is w(j) a multiple of 12?
False
Let u(o) = -o**2 - o - 86. Let v be u(0). Is v/(-2 + 3 + 0 - 3) a multiple of 11?
False
Let z be (10 - 34)*((-14)/8 - 0). Suppose c - z = -c. Is c a multiple of 3?
True
Suppose -3*c + 8*c + 25 = 0. Let l = c - -19. Let a(d) = d**3 - 15*d**2 + 20*d - 9. Is a(l) a multiple of 20?
False
Suppose 13*t - 7980 = -6*t. Does 30 divide t?
True
Suppose -4*f + 9 = -2*h + h, -12 = -f - 3*h. Suppose -f*p + 99 = 6*p. Does 7 divide p?
False
Is (-4709)/(-4) + 24/(-96) a multiple of 63?
False
Suppose -15*o = -10*o - 435. Suppose 88*n - 55 = o*n. Is n a multiple of 8?
False
Suppose -84*b = -60*b - 3744. Is 39 a factor of b?
True
Suppose -2*v + a + 0*a = -27, 2*a = 5*v - 69. Let t = v - -93. Does 9 divide t?
True
Suppose 3*a + 3*x - 826 = 1019, -2*x = 2. Suppose a = 3*j + 5*j. Does 11 divide j?
True
Let s be (-502)/(-3) + 7/(-21). Let b = 275 - s. Suppose 5*o - b = o. Does 9 divide o?
True
Let h be (-3)/2*(-1 + 9 + -10). Suppose 0*v - 270 = -h*i - v, 0 = -5*i - v + 450. Is 30 a factor of i?
True
Suppose -3*a = -2*b - 29, -a + 2 = -3. Let p = b + 31. Is 24 a factor of p?
True
Let n(l) = -l**3 - 4*l**2 - 3*l + 6. Let x be (-28)/5 + 4/(-10). Let b be n(x). Suppose 7*c + 4*z = 2*c + 170, -2*c + 4*z + b = 0. Does 16 divide c?
False
Does 17 divide 23/((-276)/8136)*2/(-3)?
False
Is (-3 + 0)*(-649)/33 a multiple of 59?
True
Suppose -66 = -14*f + 74. Does 10 divide f?
True
Let c = -6 - -11. Suppose 2*m - v + 123 = -28, -c*m - 405 = 3*v. Does 26 divide -4 - 0 - (-18 + m)?
False
Let b = -21 + 16. Let p be (2 + b)/(0 - 1). Suppose -5*q + 24 = -5*h + p*h, -5*q + 18 = -4*h. Is q a multiple of 2?
True
Suppose 2*h + 13 = -4*l + 5, -5 = 2*h + 3*l. Suppose 7*r = h*r + 15. Suppose r*v = 3, -u + 4*v + 25 + 16 = 0. Is u a multiple of 15?
True
Let g = 9 + -7. Let c = 5 - g. Suppose 148 = 3*w + 4*q, -3*w = -c*q - 0*q - 141. Is w a multiple of 15?
False
Let p(b) = -2*b**2 + 68*b - 36. Is p(27) a multiple of 68?
False
Suppose -3*a - 2*i + 8 = 1, 2*a = 3*i + 9. Let p(n) be the first derivative of n**3/3 + n**2/2 + n + 1. Does 13 divide p(a)?
True
Suppose a = -2*a + 3, -2*v + a = -273. Suppose -10*c + v = -9*c. Is c a multiple of 18?
False
Let s = -97 - -111. Let c = s - 3. Is c even?
False
Let x(w) = -2*w + 49. Suppose 5*z - 128 = -3*z. Is 3 a factor of x(z)?
False
Let l = 370 + -240. Is 6 a factor of l?
False
Let h(w) = -w**3 + 3*w - 2*w**2 + 4 - 1 - 7*w**3 + 6*w**3. Let b be h(-6). Let u = b + -234. Is u a multiple of 32?
False
Let s(g) = 10*g**2 - 2*g. Let y be s(-1). Let o = -4 - y. Is o/40 + (-514)/(-10) a multiple of 11?
False
Let i be 2/8 - (-82)/(-8). Let q(m) = m**3 - 8*m**2 + 10*m + 3. Let l be q(5). Let t = i - l. Does 6 divide t?
True
Suppose -4*g + 7 = 4*y - 3*y, g + 28 = 4*y. Suppose p - 48 = -y. Is p a multiple of 9?
False
Let c(i) = -15*i + 108. Does 63 divide c(3)?
True
Let r(l) = 197*l**2 + 2*l - 6. Is r(3) a multiple of 47?
False
Let c = 122 + -79. Is 7 a factor of c?
False
Let x(v) = 2*v - 39. Let w be x(19). Let y(f) = -f + 6. Let k be y(-5). Let r = w + k. Is r even?
True
Let t = 348 - 265. Does 9 divide t?
False
Let a be ((-18)/27)/(1/(-72)). Suppose -2*t - c + 28 = 0, 0 = -2*t - 2*t - 4*c + a. Is 9 a factor of t?
False
Let y(d) = -d**3 + 8*d**2 - 7*d + 3. Let j be y(7). Suppose j*z = 2*x - 70, 3*x - 2*x = -5*z + 9. Is x a multiple of 13?
False
Let v = -69 + 160. Is 7 a factor of v?
True
Let n = -47 - -59. Suppose -10*x = -n*x + 200. Is 16 a factor of x?
False
Let s(h) = -h - 3. Let l be s(-5). Suppose 19 + 15 = l*n. Is 17 a factor of n?
True
Suppose -9*t + 1130 = -2848. Is 17 a factor of t?
True
Suppose -4*p + 1109 - 277 = 0. Is 7 a factor of p?
False
Let t(h) = -h**3 + 12*h**2 + 12*h + 13. Let r be t(13). Let b(m) = -m + 88. Let v be b(r). Let z = -57 + v. Does 10 divide z?
False
Let d(v) = 7*v**3 + 4*v**2 + 2*v - 5. Is d(3) a multiple of 43?
False
Suppose 217 = 2*y + 3*y - 4*k, -190 = -5*y - 5*k. Let g = 61 - y. Is 4 a factor of g?
True
Is 29 a factor of (8 + -2 - -409) + 1?
False
Let b = 9 + -13. Is 40 a factor of b*(1006/(-12) + 3/9)?
False
Let z be (-10)/55 - 134/(-11). Let x be 3 - (-16)/(z/3). Suppose -3*b - 224 = -x*b - 4*i, -56 = -b - 5*i. Is b a multiple of 14?
True
Let m(r) = 16*r + 55. Is m(3) a multiple of 28?
False
Let o(t) = -t**2 - 8*t - 7. Suppose -4*a + 2 - 18 = 0. Is o(a) even?
False
Suppose 5*o - 2*u - 2*u - 60 = 0, 5*u - 9 = o. Is -7*(o/(-12)*15)/7 a multiple of 13?
False
Suppose -4*p = c - 187, 3*c - 183 - 330 = 4*p. Is 4 a factor of 2/(-6) - c/(-21)?
True
Let x = 157 - -81. Is 17 a factor of x?
True
Suppose -2*p - 3 = -5*h, -2*h + 5*h = -3. Let l be -8*(10/p)/5. Suppose l*d = 3*d + 30. Is 15 a factor of d?
True
Let w be (1 + 5)/(24 + -21). Suppose -w*b + 1 = -31. Suppose b = -3*a + 103. Does 8 divide a?
False
Suppose 0*u - 4*u - 96 = -t, 2*t - 2*u - 186 = 0. Suppose 4*w - 156 = -5*q, 0 = 4*q - 8*q + 5*w + t. Is 14 a factor of q?
True
Let n(w) = -w**3 + 11*w**2 - 13*w + 20. Let x be n(9). Suppose -4*j + 125 = -3*r, 2*j - x = -0*j - r. Does 4 divide j?
True
Let z(p) be the second derivative of p**4/4 + p**2/2 - p. Suppose 5*k + 2*q = 2 + 5, 0 = 5*k - 4*q - 1. Is z(k) a multiple of 2?
True
Let g be 6*1/(-2) + (-267)/3. Is g/(-6) + 20/30 a multiple of 3?
False
Does 70 divide (152/16 + -1)/((-6)/(-1428))?
False
Suppose -3*x = -s + 29, s + 2*x = -0*s + 19. Suppose s*k = 29*k - 390. Is k a multiple of 13?
True
Suppose 5*b - 2*w = 17933, 3584 = b + 41*w - 44*w. Is 18 a factor of b?
False
Let o = -1947 + 3471. Does 127 divide o?
True
Let x(q) = q**3 + 10*q**2 - 6*q - 6. Let o(l) = -2*l + 8 + 3*l + l - l. Let h be o(-18). Is 14 a factor of x(h)?
False
Suppose 2*k + 7 = 15. Suppose 4*t + i = 141, -2*t = k*i - 29 - 59. Does 2 divide t?
True
Suppose -6343 = 6*q - 21043. Is q a multiple of 70?
True
Suppose 2*a = h - 3*a - 134, 3*a = -h + 94. Suppose -2*d + 31 + h = 0. Does 13 divide d?
False
Let c = 145 + -4. Suppose 3*f = -2*v + 6, 3*v - 5 = -3*f + 1. Suppo