k = l - -41. Is 3 a factor of k?
True
Suppose 5*u + 0*j = -4*j + 216, u = 3*j + 28. Is 11 a factor of u?
False
Let a(p) be the third derivative of -1/30*p**5 + 2*p**2 - 1/120*p**6 + 0 + 0*p + 0*p**3 + 1/6*p**4. Is 8 a factor of a(-4)?
True
Let c = 803 + -639. Is c even?
True
Is 15 a factor of 137 - 12/(7 + -4)?
False
Let a(d) = d**3 + 8*d**2 - 9*d - 12. Let l be a(-7). Suppose -532 = -3*k - l. Is 48 a factor of k?
True
Is 13 a factor of 3423/15 + (-2)/10?
False
Suppose t - 6 = -3*v + 2, -t = v - 4. Suppose v*p = 10, p = -4*h + 3*p + 150. Is 10 a factor of h?
True
Let g be ((-10)/6)/(1/(-3)). Suppose -g*h + 90 = -120. Suppose 45*t - h*t = 84. Is 4 a factor of t?
True
Suppose 10 + 40 = 5*m. Let q be (m/(-4))/((-2)/4). Suppose 0 = 4*c + u - 193, -u = -c - q*u + 52. Is 24 a factor of c?
True
Let o be 2/(-3 + 68/20). Let l(v) = 96*v - 3. Let p be l(o). Does 32 divide (1/(-3))/((-3)/p)?
False
Suppose -318*z = -2*k - 313*z + 6787, 2*k + 4*z = 6742. Is k a multiple of 23?
True
Let k = 4 + -6. Let t = k + 2. Let a(g) = g + 38. Is a(t) a multiple of 9?
False
Let l = -19 + 21. Let v = 1 - l. Is 69 + (-5 - v - -2) a multiple of 14?
False
Let g = -3570 - -6365. Is 18 a factor of g?
False
Suppose 2*b = -156 - 78. Let f = -10 - -16. Is 6 a factor of ((-10)/15)/(f/b)?
False
Let o(q) = q**3 - 4*q**2 + 3*q - 9. Let d be o(4). Suppose 0*f + 5*f - 105 = 2*c, -d*f = 5*c + 216. Is 217/3 + 15/c a multiple of 12?
True
Suppose 0 = -819*n + 810*n + 3780. Does 2 divide n?
True
Let o = 350 - 161. Is o a multiple of 9?
True
Suppose 0 = -4*o + 910 + 14. Does 14 divide o?
False
Suppose -2*w + 2 = -6. Suppose -2*a - 5*g + 27 = -16, 2*g - 110 = -w*a. Is 28 a factor of a?
False
Suppose 16 - 112 = -8*o. Suppose -2*h - 10 = 3*h. Let q = o - h. Is 13 a factor of q?
False
Suppose 0 = -4*g + g - 5*y + 50, -19 = -g - 4*y. Suppose 15 = 3*a - g. Does 5 divide a?
True
Is 5 a factor of 123*92/12 + 3?
False
Let z = 4466 - 488. Is z a multiple of 13?
True
Let f(s) = -7*s**2 - 2*s - 5. Let y be f(-2). Let j = 35 + y. Is j a multiple of 6?
True
Let k = -6 + 5. Let g be k*(-4)/(-12)*0. Suppose 4*z + 88 = 4*s - z, g = s - 3*z - 29. Is s a multiple of 14?
False
Let j = -604 + 760. Is j a multiple of 5?
False
Let p = 3 - -29. Let a = -20 + p. Is a a multiple of 6?
True
Let k(g) = g**2 + 6*g - 4. Suppose 2*c = -0*c + 3*l - 23, 1 = l. Is k(c) a multiple of 9?
True
Suppose 3*b = 3*w + 27, -4*b - 2 = -2*w - 20. Is 14 a factor of ((-84)/(-9))/((-2)/w)?
True
Suppose -5*m + 8 = -4*v - 27, m + 2 = -v. Suppose -m*f - 2*h = h - 78, -2*h = 3*f - 77. Let k = 5 + f. Is 7 a factor of k?
False
Let l be 24/42 - (-283)/7. Let h = -32 + l. Does 4 divide h?
False
Let b be 2/(-3) + 2*(-39)/(-9). Does 20 divide 1*(1 - -94)*b/10?
False
Let g(d) = 8*d + 0*d - 2*d - 4*d + 11. Let w be g(-8). Let l(x) = -4*x - 7. Is 7 a factor of l(w)?
False
Suppose -3*u - 4*m - 10 = -2*u, 5*u = -5*m - 5. Let x(a) = -2 - a - 2 - a + u*a**2 - 2*a. Does 3 divide x(4)?
True
Let v(f) = f**3 - 13*f**2 - 12*f - 5. Let b be ((-20)/35)/(2/(-49)). Is 5 a factor of v(b)?
False
Let u(o) = -45*o**3 - 4*o**2 - 6*o + 3. Let g(q) = 45*q**3 + 5*q**2 + 7*q - 4. Let h(s) = 4*g(s) + 5*u(s). Is h(-1) a multiple of 23?
True
Let l(f) = 21 - f**3 + 7*f**2 - 8*f - 14 - 5. Let y be l(7). Is y/8*24/(-9) a multiple of 9?
True
Let l be (10/6)/(6/18). Let j be (-3)/l - 18/(-5). Let z(d) = 2*d**3 - 3*d**2 + 1. Is z(j) a multiple of 4?
True
Suppose 0 = -21*w + 23*w - 6. Suppose -w*t + 432 = -753. Does 40 divide t?
False
Let m(u) = -8*u + 27. Let x be m(-19). Suppose x = -5*d + 1289. Is d a multiple of 36?
False
Let d = 495 + 1295. Does 16 divide d?
False
Suppose 0*y + y - 4*r + 4 = 0, r = 5*y - 18. Let s(d) = -d**3 + y*d**2 + d**2 + 8 - 7. Does 16 divide s(3)?
False
Is 19 a factor of (-4)/(-46) + (-62904)/(-276)?
True
Suppose -7*p = -4*p. Suppose 632 = 4*k - p*k. Is 18 a factor of k?
False
Suppose -3*p - 1 = q, -3*q + 2 = -4*p + 18. Let o(v) = 42*v**3 + 2*v**2 - 2*v. Is o(p) a multiple of 11?
False
Suppose 36*q - 52*q + 2064 = 0. Is 3 a factor of q?
True
Let m be (139/(-2))/((-11)/22) + -2. Let c = -103 + m. Does 7 divide c?
False
Suppose 0 = 2*o + 3*z + 139, o = z + 4*z - 37. Let k = 222 + o. Is k a multiple of 32?
True
Let n be (18/(-12))/((-12)/208). Suppose -n*o + 344 = -18*o. Is o a multiple of 12?
False
Is 77 a factor of (-50)/(-40) - 14471/(-4)?
True
Suppose 3*a + 3*b - 750 = 0, -a = -5*a + 3*b + 986. Suppose -p - 501 = -2*i, i - a = -p - p. Is i a multiple of 25?
True
Let v(r) = -10*r + 474. Does 10 divide v(3)?
False
Let j = 1679 + -1454. Is 5 a factor of j?
True
Let t(k) = -k**2 - 12*k - 14. Let p be t(-10). Suppose 7*s = p*s - 20. Does 23 divide (-2)/4*s*4?
False
Suppose -1464 + 2610 = 3*b. Is 25 a factor of b?
False
Suppose 0 = s + 11 - 38. Suppose 6*k = s + 9. Is k a multiple of 6?
True
Suppose -5*k - 10 = 0, 2*o + 2 = o - k. Suppose -5*q - 5*a + 40 = 0, -q - 3*a + a + 6 = o. Is 2 a factor of q?
True
Let q = -54 - -1431. Does 81 divide q?
True
Suppose -2*f + 1299 = -769. Does 26 divide f?
False
Does 5 divide (-13)/((-585)/2214)*5?
False
Suppose 4*d - 5*d = 0. Suppose d = -g + 6*g - 115. Suppose -4*c = -g - 37. Is c a multiple of 3?
True
Suppose 2*b - w - 661 = 0, -b + 5*w - 1645 = -6*b. Does 55 divide b?
True
Suppose 8 = 5*f + 2*n - 10, 4*f = -2*n + 16. Suppose 2*y + 3*y + 2*p - 10 = 0, f*y = 3*p + 23. Suppose -16 = y*h, -5*u + 23 = -3*h - 169. Is 18 a factor of u?
True
Suppose 0 = -9*x + 2*x + 14. Suppose 3*j = -x*j + 20. Suppose -3*u - 2*v + 92 = -6*v, j*v = 5*u - 164. Does 12 divide u?
True
Suppose 0 = -2*m - 19*m - 126. Let l(k) = 4*k**2 - 8*k + 2. Let x(u) = 11*u**2 - 24*u + 6. Let g(w) = 17*l(w) - 6*x(w). Does 11 divide g(m)?
True
Suppose 3*v + 4*v - 56 = 0. Suppose -v + 2 = -c. Let t(m) = 2*m + 6. Is 6 a factor of t(c)?
True
Suppose 5*y - 4*z + 79 = -315, 4*y + 309 = -3*z. Let m be 0 + 0 - (y + 1). Suppose 3*h + 16 = 2*g + 7*h, 4*g = h + m. Is g a multiple of 6?
True
Let u(o) = o**2 + 5*o - 11. Let a be u(-7). Suppose -a*h - 3*l = -0*h - 69, -h - 2*l + 28 = 0. Suppose 2 = -t + h. Is 8 a factor of t?
True
Is 11 a factor of 994/35*-1*-55?
True
Let j be (-4 + -26 + 4)/(-1). Suppose 21*z - j*z = -100. Is z a multiple of 20?
True
Suppose -5*m + 43 + 7 = 0. Is 7 a factor of 0 - -8*175/m?
True
Suppose 2*o - 11 = 39. Suppose 30*u - 20 = o*u. Does 4 divide u?
True
Let m(f) = -19*f**3 - 2*f**2 - f + 2. Let i be m(1). Let v = 65 + i. Does 15 divide v?
True
Suppose 4*w + 3*k = 19, -4*w - k + 37 = -4*k. Suppose 2*o = w*o - 200. Does 7 divide o?
False
Let m = -17 + 20. Let w be (0 + 3)*4/6. Does 13 divide m/w*(-1040)/(-24)?
True
Let n(y) = 28*y**2 - 3*y + 5. Let f be n(4). Suppose f = 4*w - 415. Suppose -5*x - w = -2*z - 47, -x - 163 = -2*z. Is 27 a factor of z?
True
Suppose -m + 5*z + 10 = -6*m, 4*m + 3*z = -3. Suppose -m*a + 225 = 4*o, 0 = 5*o - a - 112 - 174. Is o a multiple of 19?
True
Let b = -2 + 2. Suppose b = -6*z + 3*z + 258. Suppose 0 = -2*w + z - 12. Is 17 a factor of w?
False
Let u = 21 + -16. Suppose 0 = -2*h + u + 3. Suppose -3*n - v + 13 + 106 = 0, 0 = 3*n + h*v - 107. Is n a multiple of 22?
False
Suppose 0 = -3*o + 4*r - 3*r + 811, -r = 4*o - 1086. Suppose -5*d + 134 = -o. Let z = 146 - d. Is z a multiple of 12?
False
Suppose -7*a = -35, -2*a + 7660 = 6*l - 3*l. Is 102 a factor of l?
True
Does 12 divide 1539/5 + (11 - (-540)/(-50))?
False
Suppose 3*y = -12 + 33. Does 3 divide (2 + y)*(-4 + 5)?
True
Let j be (-2)/(-6)*-3 - -7. Suppose -j*a + 5*a = -8. Suppose -300 = -a*h - 76. Is h a multiple of 12?
False
Suppose -6*y - 2*f = -5*y, 3*f = -3. Let n be (-6)/(-4)*(-92)/(-3). Suppose 5*i + 2*h - 97 = 0, -y*i + 3*h + n = 2*h. Is 8 a factor of i?
False
Let k = 442 - 404. Does 7 divide k?
False
Suppose -3*i - 25 = -8*i, -4*h - 5*i - 91 = 0. Let a = h - -61. Is 8 a factor of a?
True
Let w = 3007 + 1938. Does 115 divide w?
True
Suppose -4*l + 11 = 3*g, 0 = -2*g - 0*g - 3*l + 7. Suppose -18 = -g*z + 337. Suppose 7*k - z = 13. Does 4 divide k?
True
Let n = 1647 + -951. Is 12 a factor of n?
True
Suppose -a = 3*u + 32, -5*u + 2*a = 4*a + 54. Let s(k) = 2*k**2 + k + 44. Is s(u) a multiple of 18?
True
Let x(d) = -d**2 - 11*d - 9. Let f be x(-9). Let i(k) = k**2 - 3*k + 21. Does 11 divide i(f)?
False
Let w(f) = f**2 + 1. Is w(-8) a multiple of 25?
False
Le