5*o + 15*o = 8*o + 605070. Is 45 a factor of o?
True
Let n be ((-30)/(-9) + -5)*3/1. Is (-5 - 19/n)/((-6)/20) even?
True
Let f(q) = -93*q + 18. Let x be f(-5). Suppose 0*k = -7*k + x. Suppose 0 = -5*h + k + 131. Does 5 divide h?
True
Let c(l) = -l - 142. Let y be c(0). Let x = y + 236. Suppose -x = 4*u - 294. Is u a multiple of 5?
True
Suppose -v - j + 4714 = 2*v, 2*v - 3136 = j. Let f = v + -502. Is 16 a factor of f?
False
Let z = -15 - -15. Suppose z = v + 3, i - 4*v = -2*i + 6. Is i/2*((-200)/5)/5 a multiple of 6?
False
Let l be (-1305)/30*(1 + 1). Let g = l + 167. Is g a multiple of 3?
False
Let c = 264170 + -182345. Is c a multiple of 15?
True
Let z(l) = 5*l - 5. Suppose -3*j + 0*j = 2*a + 2, 2*j - 24 = 5*a. Let n be z(j). Let p(g) = g**3 - 3*g**2 + 5*g + 7. Does 14 divide p(n)?
False
Suppose 5*a = x - 19, 36 - 12 = 2*x - 3*a. Suppose 104 = 2*r - x*c + 6*c, -3*r + 170 = -c. Is 4 a factor of r?
False
Let b(n) = -685*n + 10850. Is 12 a factor of b(0)?
False
Suppose 5*f = -0*f + 340. Suppose 20*h - 304 = 28*h. Let u = h + f. Is u a multiple of 10?
True
Let a(b) = -b**3 - 11*b**2 + 6*b + 13. Let h be a(-5). Let w = -85 - h. Is 8 a factor of w?
False
Suppose -12396 = -d - 5*p, -174*d - 2*p = -169*d - 62003. Does 10 divide d?
False
Let n = -31 + 33. Let u be (30/(-5))/(-2 + n + 1). Is 3 a factor of ((-6)/(-2))/((-3)/u)?
True
Let g(n) = 1252 - 1252 - 12*n**2 + 87*n**3. Is g(2) a multiple of 18?
True
Does 73 divide 3/12 + ((-191250)/(-24) - (8 + -4))?
False
Let z be 2/7 + (-10)/35. Suppose -21*r + 19*r + 86 = z. Is r a multiple of 18?
False
Suppose 6*s + 6*s - 5316 = 0. Suppose 4 = -2*u, -3*t - s = 4*u - 2415. Is 12 a factor of t?
True
Suppose 790 - 23804 = -16*y + 13642. Is 88 a factor of y?
False
Let i = -8 + 11. Suppose -3*g + 21 = i*t, 0 = -2*t + g + 1 - 2. Suppose 0 = -p + 4*r + 271, 3*p - t*p - 269 = 5*r. Does 13 divide p?
False
Let c = 228 + -186. Is 20 a factor of 7/(c/479) + (-1)/(-6)?
True
Suppose -4*w = -5*o - 339, 2*o = 5*w - 0*w - 411. Suppose 83*q - w*q = 590. Does 59 divide q?
True
Let t be 2/3 + (4 - 470/(-15)). Suppose 0 = n + 2*w - 47, 3*n - 97 - t = -2*w. Suppose 3*g - 4*g = -n. Is g a multiple of 5?
False
Let w(n) = 2*n**3 + 21*n**2 + 10*n + 23. Let b be w(-10). Suppose -q = -5*z - b, -5*q - z + 109 - 20 = 0. Is q a multiple of 18?
True
Suppose 2*g = -3*s - 542, 5*s - 2*g + 528 = -402. Let m = -125 - s. Does 3 divide m?
False
Let b = -117400 + 77194. Is 7 a factor of 14/(-203) + b/(-174)?
True
Let f = 12252 - 5277. Is f a multiple of 45?
True
Is 2 - -1345 - (52 + -55) a multiple of 15?
True
Suppose -5*h = -0*h - t - 59078, 4*h + t - 47266 = 0. Does 8 divide h?
True
Let a = 4 + 6. Let z be 4/a - (-5)/((-125)/(-3465)). Suppose 3*b - 2*b - x = z, 3*b = -3*x + 447. Does 16 divide b?
True
Let l(v) be the second derivative of -31*v**3/3 - 48*v**2 + 2*v - 130. Is 22 a factor of l(-15)?
False
Suppose 5*h - h + 1904 = 0. Is 17 a factor of (4 + 275/10)*h/(-21)?
True
Suppose 0 = -12*c + 75 + 21. Is (1345/15 - -1)/(c/60) a multiple of 18?
False
Is 46 a factor of (-2182866)/(-210) + 14/10?
True
Does 14 divide -4*4/(-36) - (-8713088)/144?
True
Suppose -5*n - 2*i = -120, -4*i - 46 = 17*n - 18*n. Suppose -30*l + n*l = -3120. Is l a multiple of 78?
True
Let o be (-683)/(-4) - (-19)/76. Is 10 a factor of o/2 - (-21)/42?
False
Suppose 0 = 16*h + 32 + 272. Let v(d) = -6*d + 37. Is v(h) a multiple of 19?
False
Suppose -36*z - 40*z + 71*z = -9925. Does 6 divide z?
False
Let g = 3800 + -2799. Does 8 divide g?
False
Suppose 4*c - 9*c - 10 = 0. Let s(a) = 22*a**2 - 8*a - 24. Is s(c) even?
True
Suppose 0*n - r - 3 = -n, -4*r = n + 2. Let v(z) = 20 + 3*z - n*z + 20 - 17. Is 7 a factor of v(-9)?
True
Suppose 2*q - 5*q - 4*p = -508, 855 = 5*q + 5*p. Let h = 376 - q. Suppose c + 4*x = 2*c - 30, -4*x + h = 4*c. Is 8 a factor of c?
False
Suppose 5*k + 3*x = 24334, -3*x = 214 - 223. Is k a multiple of 124?
False
Let y = -1279 - -4271. Is y a multiple of 16?
True
Suppose 8*n - 14 = 13*n + x, -n + 2*x = 5. Suppose 0 = b - 6*b - 545. Is 10/(n + 8) - b a multiple of 9?
False
Does 8 divide (1872/(-60))/(80/(-23900))?
False
Suppose 3*m + 13202 = -5*b + 39401, 2*b - 3*m - 10467 = 0. Suppose b = 324*w - 318*w. Is 60 a factor of w?
False
Let i(o) = -o**3 + 25*o**2 + 13*o + 92. Is i(21) a multiple of 3?
False
Suppose 10*r - 11*r = -10*r. Suppose 9*g + 3126 = 2*u + 7*g, r = -2*g + 4. Is 81 a factor of u?
False
Suppose -3*h - 32*h + 29295 = 0. Let y = h + -330. Is y a multiple of 62?
False
Let z(b) = 18*b + 2478. Is 24 a factor of z(-71)?
True
Let l(q) = 51*q**2 - 94*q + 514. Is 94 a factor of l(6)?
True
Let o be 16/(-120) + (-24964)/90*-3. Suppose 5*f - 9*f = -o. Is f a multiple of 38?
False
Let h(f) = f**3 + 8*f**2 + 6*f + 6. Let v be h(-5). Let g = -714 - -815. Let c = g - v. Is 12 a factor of c?
False
Suppose 5*n - u - 40 = 0, 8*n - 4*u - 25 = 3*n. Let i(v) = n - 4*v + 6*v + 2*v + 1 - 2*v**2. Does 7 divide i(0)?
False
Let x(y) = -y**3 - 14*y**2 - 7*y - 12. Suppose -5*r = 37 + 28. Let u be x(r). Let i = u + 135. Is i a multiple of 34?
False
Let j(a) = -2*a**2 - 14*a + 6. Let u be j(-7). Suppose u*g - 3*g + 3*y - 2739 = 0, 0 = -3*g - y + 2735. Is g a multiple of 22?
False
Let r(a) = a**3 - a**2 - a + 31. Let u be r(0). Let z = u - 22. Suppose 6*m - z*m = -48. Is 10 a factor of m?
False
Suppose -227 = 22*j + 8754 - 219367. Is 73 a factor of j?
True
Let x(t) = t**3 - 4*t**2 + 8*t - 5. Let g be x(7). Let l = -103 + g. Suppose 8*p = 3*p + l. Does 8 divide p?
False
Suppose 6904 = -181*k + 183*k + 4*w, 4*k - 13792 = -4*w. Is 14 a factor of k?
True
Suppose x = 20 - 20. Suppose x = 2*g - 6*g - 5*j + 178, -2*g + 76 = -4*j. Suppose -198 = -4*r + g. Does 41 divide r?
False
Suppose 2*d + 1304 = 5*d - 4*a, -d = 3*a - 413. Let u = d + -255. Is 5 a factor of u?
False
Suppose -9*p = -4*p - 20. Let y be (0 + p/(-10))*140/(-1). Is (-11 - 1)*y/(-6) a multiple of 8?
True
Let m = 19727 - -7993. Is 126 a factor of m?
True
Let s(t) = -7*t + 5. Let p(z) = -7*z + 0*z + 7 - 1 + 0. Let g(y) = 4*p(y) - 3*s(y). Is 34 a factor of g(-9)?
False
Suppose 58 = 5*n - 1767 - 725. Does 17 divide n?
True
Suppose 5*s = 2*r - 9, 2*s - 3 = -5*r + 5. Suppose 0*a + r*a - 3*u = 457, 879 = 4*a + u. Does 24 divide a?
False
Suppose -1030 = -5*h + l + 576, -4*h = -5*l - 1289. Suppose 0 = -5*b + 5*z - h + 1236, 3 = z. Does 34 divide b?
False
Let f = 26 - -8. Let c = f - 29. Suppose 0 = c*t - 4*u - 203, 256 = 4*t + 4*u + 72. Is t a multiple of 26?
False
Let k(q) = 3*q**3 - q**2 - 3*q + 1. Let y be k(2). Let h(f) = -f. Let n(p) = 5*p + 15. Let g(t) = 6*h(t) + 2*n(t). Does 10 divide g(y)?
True
Let o(z) = -8 - 13 + 2*z - 26*z. Does 15 divide o(-9)?
True
Suppose -3*j - 2*r + 6112 = 0, 6*r = -98*j + 101*j - 6120. Does 20 divide j?
False
Let d be ((1 - 0)*0)/(-2). Suppose 3*v + 92 - 353 = d. Is 11 a factor of v?
False
Let k be -2 + 976 - 8 - 4. Let h = k + -627. Is 11 a factor of h?
False
Let a = 3421 - 1671. Is a a multiple of 10?
True
Let i(v) = 24*v - 42. Let z = 98 - 94. Let u(a) = 23*a - 42. Let g(x) = z*u(x) - 3*i(x). Does 26 divide g(6)?
True
Let m(y) be the first derivative of 9*y**2 - 44*y + 94. Is 13 a factor of m(27)?
True
Suppose -4*n + 52612 = -3*x, -5*n + 65746 = -11*x + 12*x. Is n a multiple of 50?
True
Suppose -109*h + 106*h + 3*t + 31170 = 0, 2*h + 3*t = 20810. Is h a multiple of 46?
True
Let k = 39 - 36. Let u be (2 + 45)*k/(9/3). Let t = 2 + u. Is 7 a factor of t?
True
Suppose 737143 = 236*g - 456545. Is 281 a factor of g?
True
Suppose o + 14 = -m, 3*m - 36 = 5*o - 2*o. Let v be (-41)/o - (-30)/(-195). Suppose v*f + 2*f = 240. Is 16 a factor of f?
True
Does 204 divide (-1467 - (-27 - -29))*(-6)/2*7?
False
Is 65 a factor of ((-9)/3 - -7 - (2 + 5)) + 19308?
True
Let f be (-204)/(-21) + (-2)/(-7). Suppose -11*t + 27 = -f*t. Let c = t - -50. Does 4 divide c?
False
Suppose 4*q = 28, 4*v = q + 63532 + 14941. Is v a multiple of 9?
True
Suppose -6*v = -7*v + 922. Suppose 1338 = 5*t - v. Does 64 divide t?
False
Let n be 295/30 - (-2)/12. Suppose 13 + 7 = n*p. Suppose 0 = 3*s + 7*o - 8*o - 59, -p*s = 5*o - 62. Is s a multiple of 7?
True
Let r(i) = -i**2 + 5*i - 5. Let d be r(2). Let y be 3 - (d - (3 + -2)). Suppose y*b + 12 = 2*u, b - 2*b = -5*u + 43. Does 9 divide u?
True
Suppose 0 = d - j - 52 - 207, -15 = -3