-5 + 4 - 1)*(-5)/2. Suppose 4*k = 7*c - 2*c + 3630, -4548 = -m*k + c. Is k a multiple of 59?
False
Let o = -1 - -4. Let c be 420/(-9)*(128/10 + -14). Suppose 5*l + 150 = o*s, 4*l - c = -3*s + 94. Does 10 divide s?
True
Let a = -195 + 417. Let i = a - -9. Does 41 divide i?
False
Let c be (-1 + -1)*25/(-10). Suppose -u - 3*u = 2*s - 16, s + c*u - 20 = 0. Suppose s*w + 4*w - 144 = 0. Does 4 divide w?
True
Let n(x) = 2724*x**2 - 11*x + 22. Is n(2) a multiple of 16?
True
Let o(j) = -j**3 - 12*j**2 - 14*j + 9. Let y be o(-10). Let f = y + -19. Let z = f - -100. Is 15 a factor of z?
True
Suppose -192*x - 33*x - 163*x + 10677760 = 0. Is 8 a factor of x?
True
Let x(d) = 6*d**2 + 8*d - 19. Suppose -i + 110 - 101 = 0. Does 17 divide x(i)?
False
Let w be ((-220)/(-15))/(-5*10/(-75)). Does 3 divide w*2/4 + 5?
False
Suppose -12*d + 19*d + 238 = 0. Is 19 a factor of 2/17 + (-10978)/d?
True
Let t(a) = a**3 - 6*a**2 + 2*a + 7. Let c be t(6). Let p = 15 - c. Let l(i) = i**3 + 4*i**2 - 5*i + 3. Is 11 a factor of l(p)?
False
Suppose -1141*y = -1124*y - 62356. Is 5 a factor of y?
False
Suppose 42*z - 44*z = 220. Let a(q) = q**3 + q**2 + 6. Let m be a(0). Does 15 divide (-2)/m*3 - z?
False
Let t = 192 + -187. Suppose t*h = h - 5*x + 358, -6 = -3*x. Does 14 divide h?
False
Suppose -129*q + 551178 = -319443. Is 6 a factor of q?
False
Let f(c) = 3*c**2 + c - 3. Let v be f(-2). Suppose 0*r + v*r = 35. Suppose -4*j - i = -6*j + 61, r*j = -5*i + 190. Is j a multiple of 33?
True
Suppose -2*g = 99 - 23. Let q = g - -26. Let l(t) = -4*t + 13. Is 10 a factor of l(q)?
False
Let p(m) = 302*m**2 - 162*m + 764. Is p(5) a multiple of 56?
True
Suppose 0*f - d = -f + 39, 3*f - 5*d = 123. Let v = 0 + f. Suppose r + 3*r - v = 0. Is r a multiple of 3?
True
Suppose 7*p + 62 = -8. Does 4 divide 48/216 - -194*p/(-18)?
True
Is 173 a factor of 8/(-20) + 0/1 + 483561/65?
True
Let k = -168 - -579. Suppose 3*m + 4*c = 6*c + k, 5*c + 15 = 0. Is 9 a factor of m?
True
Let y = 223 + -154. Suppose -52*x + y*x - 2380 = 0. Does 28 divide x?
True
Suppose -30 = 4*u - 3*a + 121, 29 = -u - a. Let b = 38 + u. Suppose 2*t - q - 3*q - 56 = 0, 3*q - 156 = -b*t. Is t a multiple of 9?
True
Suppose 3*f - 14 = -2*r - 0*r, 16 = 5*f - 4*r. Suppose -1181 = -3*m + f*z, 4*m + 412 = 2*z + 1970. Does 24 divide m?
False
Suppose -5*g = -2*n - 20, 0*n - n - 4*g + 3 = 0. Let m(r) = -9*r - 42. Let z be m(n). Suppose 0 = z*f - 144 - 204. Is f a multiple of 32?
False
Let a(k) = k**2 + k + 1. Let b be a(-1). Let i be (3 - 2 - 1)/b. Suppose t - 4*p = 36 + 62, i = 3*t - 4*p - 278. Is 9 a factor of t?
True
Let g be 66 - (-7 - 40/(-5)). Suppose 0 = 62*x - g*x + 1824. Does 19 divide x?
True
Let j = 2181 + -723. Is 3 a factor of j?
True
Let v be (-6)/(-4) + (-114)/4. Let p be (15/(-9))/(55/(-99)). Is 10 a factor of 21/(p + v/12)?
False
Let c = 123 + -118. Suppose c*f - 162 = 2*f + d, 0 = -d. Is f a multiple of 3?
True
Suppose 11 = 3*r - 1. Let y be (r/16)/(((-10)/488)/(-5)). Suppose 4*u - s - 51 - 22 = 0, 0 = -4*u + 5*s + y. Does 2 divide u?
False
Suppose 196609 = 227*s - 2050464. Does 29 divide s?
False
Suppose -33401 = 2*m - 397*m + 28219. Is 6 a factor of m?
True
Suppose -4*g - 273 = -d, 3*g + 5*d = -33 - 166. Let o = -66 - g. Suppose -o*n + 3*c + 23 = -3, 0 = -4*n - 3*c + 88. Is 19 a factor of n?
True
Suppose -36*s - o - 3905 = -37*s, 5*o - 11675 = -3*s. Is s a multiple of 26?
True
Is (-3)/12 - ((-11041)/(-12))/((-30)/90) a multiple of 12?
True
Let k be (-8)/((-48)/24930) + 5. Suppose -25*m = -k - 2290. Does 39 divide m?
False
Let f = 11 - -2. Let p(x) = -22*x**2 + 86*x + 34. Let t(w) = -5*w**2 + 21*w + 8. Let y(n) = -2*p(n) + 9*t(n). Is 20 a factor of y(f)?
False
Let k = -1345 + 6233. Is k a multiple of 94?
True
Let q(h) = -5*h + 172. Let d be q(34). Is d + (-398)/1*-1 a multiple of 25?
True
Suppose -397941 + 4151031 = 223*s. Does 7 divide s?
False
Let l be ((-10)/6 + 2*1)*-237. Let v = 82 + l. Suppose 104 = x - z, 428 = 4*x + v*z - 16. Does 36 divide x?
True
Let f(w) = -7*w**3 - 43*w**2 + 23*w + 14. Is f(-9) even?
False
Suppose 35*v - 31*v + 108 = g, -4*v + 4 = 0. Does 3 divide (-32)/g - 947/(-7)?
True
Let c = -13193 - -21193. Is c a multiple of 250?
True
Let c(f) = 5842*f - 5577. Is c(7) a multiple of 249?
False
Let i be (-2)/5*(-11)/((-198)/(-225)). Suppose 9*o = 13*o + 4, -i*o + 859 = 3*t. Is 32 a factor of t?
True
Suppose -623*n = -3175948 - 3568650. Is n a multiple of 17?
False
Let v(f) = 33*f**2 + 5*f + 4. Does 48 divide v(11)?
False
Suppose -a + 4*m + 18093 = 0, -16*a + 13*a - 3*m + 54234 = 0. Is 7 a factor of a?
True
Suppose -310 = 2*r + 166. Let p = r + 271. Is p a multiple of 11?
True
Suppose -23*h + 86920 = 30*h. Is 4 a factor of h?
True
Let h = -7739 + 11159. Does 38 divide h?
True
Let k(h) = 27*h + 20. Suppose 2 + 13 = -2*f - 5*r, f - 30 = 5*r. Let n be k(f). Let j = -5 + n. Is 29 a factor of j?
False
Let b(z) = 5*z**3 + 69*z**2 + 5*z + 9. Does 8 divide b(-11)?
True
Let k be (0/(-5))/(-1 + -1). Suppose -4*a = -k*f + 3*f - 676, -5*f + 4*a = -1084. Is f a multiple of 20?
True
Suppose 45*b + 1081520 = 138*b - 53*b. Does 10 divide b?
False
Suppose 3*l - 2*b = 297, -3*l = -3*b - 401 + 101. Suppose 0 = 38*v + 6219 - 139. Let n = l - v. Is 22 a factor of n?
False
Let z(f) be the third derivative of 7*f**4/24 + 209*f**3/2 + 50*f**2 - 2*f. Does 18 divide z(0)?
False
Let t = -1679 - -2564. Suppose -4*p + 362 = -0*y + 2*y, 0 = -5*y - 5*p + t. Is 9 a factor of y?
False
Does 37 divide 116224/24 + 13/3?
True
Suppose -2*f = -3*n + 46, -f + 3*n = 23 - 3. Suppose -5*r + 45 + 60 = -h, -5*r = 2*h - 105. Let x = r - f. Is 12 a factor of x?
False
Let p be (-4680)/28 - 48/56. Let g = p + 516. Does 25 divide g?
False
Suppose 21*t - 15*t - 576 = 0. Suppose 5*x - 10 = n, 4*n - 30 = -x - 7. Suppose -2*o = -n*o + t. Is 16 a factor of o?
True
Suppose -14*c - 30 = -2. Let v be (-27)/6*(c + 62/3). Is 20 a factor of (-3 - 0)/((v/160)/7)?
True
Let u = 160 - -194. Suppose 8*f + 1266 - u = 0. Let w = f + 158. Is 5 a factor of w?
False
Let i(g) = 10 + 4*g + 3 - 9 + g**3 + 4 + 12*g**2. Is i(-10) a multiple of 14?
True
Let x = 7383 - 863. Is 20 a factor of x?
True
Let l(w) = 14*w - 22. Let p(s) = -30*s + 45. Let r(t) = 5*l(t) + 2*p(t). Is r(7) even?
True
Let s(i) = 1701*i**2 + 18*i - 36. Is 108 a factor of s(2)?
True
Suppose 15*x = 26688 + 61662. Is 95 a factor of x?
True
Let a = 62 - 126. Let h = 195 - a. Is h a multiple of 7?
True
Suppose 5*j - 3*j + 248 = 0. Let z = 2319 - 2371. Let l = z - j. Is 18 a factor of l?
True
Let k = 207 - 203. Suppose 0 = k*f - 1228 + 336. Is 28 a factor of f?
False
Let j(b) = 2*b**3 + 6*b**2 + 6*b. Suppose -16*x - 6 = -13*x. Let l be j(x). Does 40 divide (-3124)/(-26) - l/(-26)?
True
Suppose 5*u - 3*i = 19904 + 61693, 0 = u - 5*i - 16337. Is 210 a factor of u?
False
Let b = -32 + 37. Suppose x = -m - 9, 5*x - b*m = 3*x + 17. Is -218*1/(-2) + x a multiple of 8?
False
Suppose 2*w - 7246 = -2*h, 106*h = -3*w + 105*h + 10873. Is 29 a factor of w?
True
Let m(k) = -k**3 + 22*k**2 - 16*k + 47. Let w be m(20). Suppose 9*g - w = 8*g. Is g a multiple of 31?
True
Suppose 3*c - 26 = 4*f, 16 + 1 = 2*c - 3*f. Let z(x) = -x**3 + 10*x**2 + x - 14. Let m be z(c). Is 31 + m/10 + (-88)/(-20) a multiple of 8?
False
Let a(q) = -48*q**3 - 10*q**2 + 28*q + 72. Let b(j) = -32*j**3 - 7*j**2 + 18*j + 48. Let m(k) = -5*a(k) + 8*b(k). Is m(-4) a multiple of 78?
True
Let p = -23260 + 46196. Does 22 divide p?
False
Let q(a) = -37*a + 71. Let h be q(2). Is h - (-8 + (-487 - -8)) a multiple of 44?
True
Let s = 1219 + -800. Let k = s + -32. Is k a multiple of 9?
True
Let a be (1 + -11 + 9)/(2/10). Let y(q) = 3*q**2 + 9*q + 48. Is y(a) a multiple of 26?
True
Let t(c) = -c**2 + 17*c + 41. Let j be t(24). Let q = 161 - j. Does 29 divide q?
False
Let f(y) = 13*y**2 - 241*y - 720. Is 8 a factor of f(-3)?
True
Does 4 divide ((-18)/(3438/852 - 4))/(6/(-20))?
True
Let y = 228 - 226. Suppose -3006 = -20*a + y*a. Is 5 a factor of a?
False
Let h(r) = -r**3 + 11*r**2 - 8*r - 12. Let l be h(10). Let q(n) = 5*n - 8. Let j be q(l). Suppose 0 = -j*g + 33*g - 37. Does 5 divide g?
False
Let w(g) = -g**3 - 5*g**2 + 10*g + 31. Suppose -q - 3*a = -43, -5*q + 2*a + 89 = -41. Suppose -10 = 5*u - 0*u - 4*n, 2*n + q = -3*u. Is 3 a factor of w(u)?
False
Suppose 4*h - 3*r