 factor of 828*2/(-8)*(17 - 21)?
True
Let x = 191 + 549. Is 20 a factor of x?
True
Let o(y) = y**3 + 33*y**2 + 125*y - 45. Does 25 divide o(-28)?
True
Let b(s) = -s**3 - 5*s**2 + 27*s + 39. Is b(-13) a multiple of 13?
True
Let x = -64 - -66. Suppose 0 = 3*k - x*t - 102, -k - t = t - 34. Does 8 divide k?
False
Is ((-192)/(-3 + -1))/2 a multiple of 8?
True
Suppose 30 = -2*k - m, 2*m - 140 + 47 = 5*k. Let i = -29 - k. Is (i/(-16))/((-1)/(-32)) a multiple of 9?
False
Suppose -11*w = -w - 2910. Suppose n = -2*n + w. Does 16 divide n?
False
Let m(y) = -2*y. Let t be m(-3). Suppose -112 = -t*r + 2*r. Is 4 a factor of r?
True
Suppose 3*u - 2*y = -164, -4*u + 2*u = y + 114. Is 13 a factor of -3 - (u - (0 + -1))?
True
Let z = -193 + 293. Suppose 248 + z = 4*u. Does 7 divide u?
False
Is 12 a factor of (-2)/(-4) - (-1679)/46?
False
Suppose -134 = -10*v + 336. Let q = 4 + -31. Let z = v + q. Is z a multiple of 10?
True
Let s = -255 - -402. Is s a multiple of 21?
True
Suppose f + 4 = 0, -72*m - 2*f = -68*m - 6864. Is 37 a factor of m?
False
Suppose 26*j = 23*j + 189. Is j + 1 + 8/(-2) a multiple of 15?
True
Suppose 2*x = -j - 3, 4*j - 3 = 2*j - x. Suppose -3*k - 2*w = -534, 534 = k + 2*k + j*w. Is 37 a factor of k?
False
Let k(w) = w**3 - 8*w**2 - w + 5. Let z be k(8). Let p be (-4228)/(-21) - z/(-9). Suppose j = -3*m + 38, -p = -6*j + j - 4*m. Is 7 a factor of j?
False
Suppose 0 = -3*x + 5*x + 22. Let z(w) = -w - 11. Let h be z(x). Suppose h*c = 3*c + 4*r - 90, 3*r - 90 = -3*c. Does 10 divide c?
True
Let z = -89 - -41. Let i = 229 + -349. Let d = z - i. Is 24 a factor of d?
True
Let g = -39 - -39. Is 3 a factor of (-25)/(g + -1) + -1?
True
Let i = -7 - -11. Suppose -5*d = -i*d - 233. Suppose 38 = -5*x + d. Does 13 divide x?
True
Let m = -155 + 887. Is 54 a factor of m?
False
Let r(l) = 1064*l**3 + 2*l**2 + 31*l - 32. Is r(1) a multiple of 14?
False
Let s = -16 - -33. Suppose -10 = -s*p + 12*p. Suppose p*h = 26 + 4. Is 3 a factor of h?
True
Let d(l) = l**2 + 9*l - 16. Let x be d(-8). Let a be (-9)/(-6)*x/(-9). Let b = a + 6. Is b a multiple of 7?
False
Suppose 18 = 5*f - 4*a, -4*f + 6*a = 2*a - 16. Let i be f/4 - 1/2. Suppose i = -5*s + w + 108, 4*s - 2*s - 36 = -2*w. Does 5 divide s?
False
Suppose 0 = -3*y - 13 + 46. Let h be 3/2*(y + -9). Suppose 0*w = -h*w + 39. Is w a multiple of 6?
False
Let j = -81 + 79. Does 18 divide (216/(-28))/(1/70*j)?
True
Let i(p) be the second derivative of -4*p**3 + p**2 + 6*p. Is i(-1) a multiple of 13?
True
Let o be 2*5/((-40)/(-12)). Suppose r + o*w = -2*w + 39, -3*r = 3*w - 93. Does 9 divide r?
False
Let v = -444 - -720. Is 12 a factor of v?
True
Let g = 25 + -17. Suppose -g*c = -5*c - 9. Suppose 2*q = -3*i + 71, -c*q - 3*i = 2*i - 107. Is 13 a factor of q?
False
Suppose -n + 5*n = -5*q + 22, 2 = 4*q - 2*n. Suppose q*w + 4*b = 22, 0 = -0*w + w - 2*b + 5. Suppose 1 = -w*g + 124. Is 14 a factor of g?
False
Let z be 2/14 - 1245/(-105). Suppose 4*v + 0 + z = 0. Is 12 a factor of v - 0 - (0 + -15)?
True
Suppose y = 4*y - 12. Suppose y*j = -3*i + 15, -5*j - 33 = -2*i - 0*j. Is 9 a factor of i?
True
Suppose -5*v = -8 - 17. Suppose a + 2*p - 30 = 0, -v*a = -2*p + 5*p - 164. Does 17 divide a?
True
Suppose -10*d + 60 = 2*d. Suppose t = 3*y - 211, 6*y - d*y + 4*t = 92. Is 12 a factor of y?
True
Let j = 140 - -265. Suppose -5*b + 5*f = -j, f = 4*b - 2*f - 326. Suppose -4*d = -16, 9*i + 2*d = 4*i + b. Is 5 a factor of i?
True
Is 29 a factor of (1149 - (-7 - -11))/1?
False
Suppose 0 = -2*w + 6*w - 32. Let r be 3/(-1) - (0 - w). Suppose -4*c + 9 = -c, 4*s - 57 = r*c. Does 9 divide s?
True
Suppose 0 = -5*q - 4*l + 17611, 4*q + 5*l = 5*q - 3499. Is q a multiple of 69?
True
Let h = 723 - 466. Does 34 divide h?
False
Suppose 4*b - 2*d = 1726, 3*b - 1292 = 12*d - 13*d. Is 9 a factor of b?
False
Suppose -p + 37 = 35. Suppose -3*n - 263 = 217. Does 10 divide ((-3)/p)/(6/n)?
True
Let i(o) = 73*o + 5. Let u be i(4). Does 22 divide ((-52)/(-6))/(22/u)?
False
Let o(l) = -16*l + 3. Let b be o(2). Suppose 260 = m - 5*m. Let s = b - m. Does 18 divide s?
True
Let u(c) = 17*c**2 - c - 1. Let r be u(-1). Suppose 4*h - r*h + 1170 = 0. Does 10 divide h?
True
Let f be 1618/(-3) - 1/(-3)*-2. Does 28 divide ((-6)/(-9))/((-3)/f)?
False
Let f be (((-56)/6)/(-4))/(3/9). Let h(z) = -z + 1. Let g(v) = -8*v + 8. Let q(s) = -g(s) + 6*h(s). Is q(f) a multiple of 4?
True
Suppose 2*k - 19 = -5*a + 10*a, -2*k + 24 = -4*a. Is 2 a factor of k?
True
Let o(x) = 18*x - 20. Let r be o(-1). Suppose -3*n = 9, -3*k - 414 = -7*n + 3*n. Let u = r - k. Does 26 divide u?
True
Suppose 0 = -b + 2*u + 1 + 3, -5*b + 2*u = 20. Suppose -8 = -4*y, y + 10 = 2*f - 4. Does 24 divide (b/f)/(2/(-168))?
False
Let x = 1266 + 1769. Is x a multiple of 32?
False
Let j(a) = 71*a - 206. Is j(6) a multiple of 22?
True
Let d = 108 - 131. Let f = d + 48. Is 25 a factor of f?
True
Suppose 5*y - 5 = 0, -2*y + 655 = 2*w - 7*y. Is w a multiple of 37?
False
Suppose -29*k - 14*k = -47601. Is k a multiple of 85?
False
Let x be 14/4 - 1/2. Suppose -l + x*l = -82. Let f = 1 - l. Is f a multiple of 11?
False
Suppose -3*a = 4*q, -a = -q + 2*q. Suppose 0 = -3*d - 5*t + 86, q*d = 2*d - 3*t - 70. Is 18 a factor of d?
False
Let d(m) = -m + 1. Let u be d(3). Let q be ((-1)/u)/(5/30). Suppose -q*f - 9 = -4*f. Is f a multiple of 6?
False
Let p = 333 - 91. Is p a multiple of 22?
True
Let o = -535 + 1158. Is o a multiple of 43?
False
Let k(n) = 47*n - 15. Let c be k(-9). Is 22 a factor of c/(-8)*1 - 1/(-4)?
False
Suppose -6 = 5*d - 3*n - 14, -d + 5 = -4*n. Let f be -2*(d/(-2) + -2). Suppose f*h = -2*a + 47, 4*h = -0*a - a + 19. Is 6 a factor of a?
False
Let q be 4*(75/(-110) - 2/(-11)). Is (63/12 - 3)*(74 + q) a multiple of 33?
False
Is (-1 + -1 - 4)*(-2184)/112 a multiple of 25?
False
Let d = -6 - -34. Does 24 divide d?
False
Let b = -471 + 273. Let a be 2/1 - (-10 + b). Suppose i = 3*i - a. Is 23 a factor of i?
False
Is (26730/(-12))/(-11) + 12/8 a multiple of 17?
True
Does 15 divide -185*(10/(-10))/(-1 + 2)?
False
Suppose -263 - 925 = -4*x. Is x a multiple of 33?
True
Suppose -1621 = -q - 36*i + 41*i, -2*q - i = -3187. Does 38 divide q?
True
Let p = 828 - 225. Suppose -p = -11*b + 332. Is 17 a factor of b?
True
Suppose 6*y - 13798 = -t + 2522, -5*t = -y + 2720. Is 72 a factor of y?
False
Suppose 5*r + 4*u = 400, -u - 400 = -5*r - 3*u. Does 9 divide r?
False
Let v(s) be the first derivative of -s**4/4 + 4*s**3 + 5*s**2/2 - 11*s + 20. Is v(12) a multiple of 19?
False
Suppose 0 = -29*r + 24643 + 36431. Is 54 a factor of r?
True
Let k be 3/3 + (-40)/(-1). Suppose -4*b = -2*p + 4*p - 12, 4*p = 5*b - k. Is 93/b - (-12)/(-20) a multiple of 13?
False
Suppose -30 = -5*m + 5*v, -2*m + 4*v - 4 = -22. Suppose -3*i + 554 = -8*x + m*x, 944 = 5*i + 2*x. Is 47 a factor of i?
True
Suppose 3*f = 4*f - u + 2, 0 = -3*f - u + 10. Let d(v) = -9 - f*v**2 - 7*v**2 + 8*v + 3*v**3 - v - 2*v**3. Is d(9) a multiple of 27?
True
Suppose 5*d + 4*s - 14 = 26, -4*s = -3*d - 8. Suppose -9 = r - d. Does 28 divide 52 - 0 - (r + 1)?
True
Let t = -3 - -3. Suppose -2*u + 13 + 11 = t. Is 12 a factor of u?
True
Does 26 divide (9204/(-15))/(26/(-130))?
True
Let x(h) = 20*h**2 - 20*h + 44. Is 46 a factor of x(6)?
True
Is 6 a factor of 22*(-1833)/(-26) + 3?
True
Let d(h) = -h + 21. Let t be d(17). Suppose -121 = -5*n + 4*l, l = -t*n + 108 - 7. Does 13 divide n?
False
Suppose 2*w - 134*d = -136*d + 568, 3*w + d = 844. Is w a multiple of 5?
True
Let d(u) = -u + 3. Let o be d(0). Suppose 5*i = -4*g + 149, -40 - 105 = -5*i - 5*g. Suppose 0 = -3*m + 2*y + 40, -o*y - i = -3*m + 3. Is m a multiple of 8?
True
Suppose -23*y = -12*y - 5357. Is y a multiple of 14?
False
Suppose 2033 = 4*i - 3*p, i + 3*p - 2039 = -3*i. Is i a multiple of 45?
False
Suppose 0 = -13*i + 16*i - 3. Suppose 5*y = -i + 26. Let w(o) = 21*o - 10. Is w(y) a multiple of 15?
False
Suppose 5*v = v + 2*k + 368, 0 = -5*v + 5*k + 470. Suppose 3*y + v = 8*y. Is 14 a factor of 12/7*441/y?
True
Let b be ((-8)/10)/((-8)/140). Let w = b + -9. Suppose w*u = 65 + 190. Is 17 a factor of u?
True
Let p(z) = -12*z - 18*z + 12 + 34*z + 5*z**2. Is 10 a factor of p(-5)?
False
Suppose l = -h + 4, 5*h - 2*l - 20 = -6*l. Suppose -5*n = h*t - 1273, -1294 = t - 5*t + 2*n. Is t a multiple of 14?
True
Let t(d) be the secon