 42 - p. Is l a multiple of 10?
False
Suppose 835 = 5*q + 270. Let c = -64 + q. Does 9 divide c?
False
Let o(h) = -h**3 + 9*h**2 - 13*h + 22. Is 23 a factor of o(5)?
False
Let a(l) = 65*l**2 + 3*l - 10. Is a(2) a multiple of 13?
False
Suppose 5*z + 2*i = 32, z + 5*i = -2*z + 4. Let b = -3 + z. Suppose 2*h + 141 = 7*h + 4*t, b = h - 5*t. Is h a multiple of 5?
True
Let s = -226 + 125. Let g = 129 + s. Does 9 divide g?
False
Let o(g) = g**3 + 10*g**2 + 8*g + 1. Let r(p) = -p**3 - 1. Let w(l) = -o(l) - 2*r(l). Does 17 divide w(11)?
True
Let b(w) = -w**3 + 9*w**2 + 3*w - 3. Let c be (-2)/(-9) + 20/(-9). Let v be 7 - (0/(-2) + c). Does 6 divide b(v)?
True
Let k = -258 + 314. Does 2 divide k?
True
Suppose -5*h = 5*f - 500, 31*f = h + 26*f - 76. Is 32 a factor of h?
True
Suppose -8*r = 5*w - 10*r - 2150, -3*r + 1311 = 3*w. Is w a multiple of 9?
True
Let m = -53 - 88. Let z = m + 160. Does 14 divide z?
False
Is 96 - (15/(-20) + 2/(-8)) a multiple of 15?
False
Let h be 339*4/12 - (-4)/(-4). Suppose 3*s - 2*o = -7*o + 116, -h = -4*s + 4*o. Is s a multiple of 3?
False
Let f = -4 - -16. Let n(c) = -2*c**2 + 28*c - 29. Is n(f) a multiple of 19?
True
Let g = 37 + -33. Suppose -23 = -3*h + 2*q + 117, 3*q + 187 = g*h. Is 4 a factor of h?
False
Let k(w) = -w**3 - w**2 + 27 - 3*w + 0*w**3 - 22 + 4*w. Is k(-5) a multiple of 20?
True
Suppose 2*a + t = 7812, -3*a + 7*a = 2*t + 15624. Does 93 divide a?
True
Let q = 6 - 12. Let d(l) = -4*l**3 + 6*l**2 + l. Let c be d(q). Is (-1)/(-3) - c/(-18) a multiple of 15?
True
Suppose i + 22 = 4*s, -4*i + 3*s + 2*s = 44. Let v be 30/8 - i/24. Suppose 2*h = 3*y - 38, -y - v*h + 6 = -2. Is 6 a factor of y?
True
Let f(g) = -100*g + 8. Let z be f(-3). Suppose 3*v - 126 = -2*c + 104, -4*v - 4*c = -z. Is 8 a factor of v?
False
Suppose 4*m - 5*m + 175 = 4*s, 5*m - 39 = -s. Suppose -s = -3*t - 2*d, t = 5*d - 6 - 2. Does 16 divide 176/6*t/8?
False
Suppose 3*z - 170 = 4*v - 1030, -z = 0. Does 8 divide v?
False
Let c(n) = 5*n - 1. Let j be c(1). Let g(b) = -2 + 4*b - j - 4. Does 9 divide g(9)?
False
Let u be ((-8)/(-16))/((-2)/(-12)). Is 24 a factor of ((-13)/((-13)/(-48)))/(u/(-6))?
True
Suppose 0 = 2*s - 4*s + 3*s. Suppose 5*z + 4*q - 625 = s, -116 = -4*z + 3*z + q. Is z a multiple of 16?
False
Let l be ((-25)/(-3))/((-10)/(-60)). Is 16 a factor of -2 - ((-3)/(-1) + -4)*l?
True
Let x be (0 - 0)*(-2)/(-4). Suppose -m = -x*m - 50. Is 8 a factor of m?
False
Let f = 169 - 263. Let z = 38 + f. Does 12 divide ((-5)/(-2))/((-4)/z)?
False
Let v(d) = 4*d - 14. Let q be v(5). Suppose -h + q + 8 = 0. Suppose 3*y - 7 = h. Is y a multiple of 3?
False
Suppose 4*q - 481 = 3*f, 0*q - 3*q = -5*f - 369. Is 11 a factor of q?
False
Suppose -i - 11 = -13. Suppose 5 = i*l - k - 14, 0 = 3*l + 4*k - 34. Suppose 0 = -5*s + 4*p + 210 + l, 2*p - 154 = -3*s. Is s a multiple of 16?
True
Suppose 0 = h + 7*h + 10360. Does 5 divide h/(-28) - (-2)/(-8)?
False
Is -1 + 0 + 0 + 575 a multiple of 41?
True
Let t = -318 + 321. Suppose o - 16 = -3*o. Suppose 3*i - 1 = -o*c, t*c = c - 4*i - 12. Does 2 divide c?
True
Let y(a) = 10*a**2 + a + 1. Let h be y(-1). Let n(d) = d**2 - 8*d - 16. Let m be n(h). Let t = m + 11. Is 4 a factor of t?
False
Let h = 22 + -25. Is -1 + h + 0 + 0 + 148 a multiple of 19?
False
Suppose 0 = 9*d + 28 + 35. Let m(l) = -6*l**2 - 45*l - 3. Is 3 a factor of m(d)?
True
Let f(v) = v**2 + 5*v - 9. Let l be f(-7). Suppose l*k = 10*k - 215. Let c = k - 10. Is 15 a factor of c?
False
Is (-8)/56 - (-45)/21 - -91 a multiple of 15?
False
Suppose -738 = 5*v - 3*y + 246, 0 = -5*v + 5*y - 980. Does 5 divide 11/55 + v/(-10)?
True
Let m(v) = 3*v**2 + v + 7. Let x(p) = -p**3 + 3*p**2 + 3. Let g be x(3). Is m(g) a multiple of 13?
False
Let q(y) = -y**2 + 11*y - 23. Let d be q(7). Suppose d*a + 0*a - 105 = 0. Is 2 a factor of a?
False
Let u(c) = -c**2 - 20*c - 24. Let d(k) = -4*k - 6. Let j be d(5). Let w = j + 8. Is u(w) even?
True
Let a(k) = 7*k + 18. Let z be (-3 - -3)/4 + 0 + 6. Is a(z) a multiple of 20?
True
Let v be (7/(-3))/(4/(-12)). Let s(y) = -7*y**3 + 6*y**2 + 7*y - 6. Let d(b) = b**3 - b + 1. Let p(u) = -6*d(u) - s(u). Does 6 divide p(v)?
True
Suppose -8 = -2*v - 2, -2*v = 5*d - 6886. Is 17 a factor of d?
False
Let u(j) = 132*j**3 + 3*j - 7. Does 6 divide u(2)?
False
Suppose 5*s - s = -5*k + 35, -5*s = -3*k - 16. Suppose 0*r - 4*r = -3*w + 24, 5*r + 30 = -s*w. Does 8 divide (-6)/(-4)*(-32)/r?
True
Let a = 1158 + 938. Is 91 a factor of a?
False
Let a(n) = -27*n - 20. Let r be a(-6). Let o = r + -105. Does 32 divide o?
False
Suppose -4*p + q + 1966 = 0, -988 = -2*p - 3*q + q. Let y = -292 + p. Suppose 128 = 4*c - y. Is 43 a factor of c?
False
Suppose -5*l - 96 = 2*x, 2*x = 5*x - 3*l + 186. Let g = x + 27. Let f = 59 + g. Does 14 divide f?
True
Suppose -5*f + 3*o = -110, -3*f = -4*f + 2*o + 29. Is 4 a factor of f?
False
Let x be 1/((-4)/(-12) - 0). Suppose 0 = -x*f + 112 + 35. Suppose 0 = -5*d - 4*v + f + 21, 0 = -2*d + v + 41. Is d a multiple of 7?
False
Is 17 a factor of (-68 + 61)*((-460)/2 - -1)?
False
Suppose 2*z + 0 = 4. Let v(s) = s**2 - 2. Let d be v(z). Suppose -m + 118 - 17 = 3*g, -d*m = 2*g - 62. Is g a multiple of 14?
False
Let s be (6/21)/(3/21). Suppose -2*c + 13 = 3*o, 4*c - s*o = -2 + 4. Suppose 0*d + g - 92 = -c*d, 2*d - 2*g - 104 = 0. Does 8 divide d?
True
Suppose 0*w = 4*w - 12. Suppose 0*c - c - 19 = d, -64 = w*c - 4*d. Let r = -8 - c. Is 12 a factor of r?
True
Let t be -2*((-5157)/6 - (-2)/(-1)). Suppose -t = -9*n + 1049. Does 14 divide n?
True
Suppose -3*b + b = t + 70, -3*t + b - 245 = 0. Let n be 8512/t - (-3)/(-5). Let m = 200 + n. Is m a multiple of 15?
False
Suppose -l + 12 = 20. Does 28 divide l/28 - (-396)/14?
True
Suppose 25*a + 184 = 1234. Is 7 a factor of a?
True
Suppose c + 5*m - 12 = 25, -4*m + 180 = 4*c. Let w = -5 + c. Is 19 a factor of w?
False
Let o(l) = -l**3 + 4*l**2 + 12*l - 3. Let r be ((-24)/6 - 1)/(-2 + 1). Does 16 divide o(r)?
True
Let c(f) = -f**3 - 8*f**2 - 2*f - 13. Let s be c(-8). Suppose -2*v - v - 381 = -3*l, 4*l - s*v = 507. Does 21 divide l?
True
Suppose -l + q + 239 = 0, -57*q + 5 = -52*q. Is l a multiple of 20?
True
Let v(a) = a**3 + 14*a**2 - 15*a + 4. Let s be v(-15). Suppose s*x + 2*y = 174, -y = 3*x - 151 + 20. Is 22 a factor of x?
True
Suppose 0 = 2*r - 3*r + 3*d + 3, 0 = r + 5*d - 3. Is 26 a factor of ((18/5)/r)/(2/390)?
True
Let x = 0 - -5. Suppose -3*n - x*a + 19 = 0, -3*n = -n + a - 1. Let u = 5 - n. Does 2 divide u?
False
Let t(y) = -y**3 - 13*y**2 + 14*y - 14. Let v be t(-14). Is -25*4/v*7 a multiple of 8?
False
Let m(z) = -z**2 + 4*z - 4. Let t(u) = u**3 - 3*u**2 + 3*u - 2. Let p be t(3). Let w be m(p). Let k = w + 43. Does 9 divide k?
True
Let q = -15 + 12. Let l be 7 + -3 - (q + 2). Let j = 77 - l. Is j a multiple of 24?
True
Let x(d) = 122*d + 366. Is 60 a factor of x(9)?
False
Suppose 4*x - 3 = -19. Is 4*(0 + -1)*x a multiple of 8?
True
Suppose 0 = -5*v - 20, 3*i + 2*i - 2*v + 92 = 0. Let h = i + 24. Suppose -h = -4*k + 28. Does 2 divide k?
True
Let g(u) = -2*u**3 - 2*u**2 + 6*u. Suppose 4*m + 7 + 9 = 0. Is g(m) a multiple of 18?
True
Let d(f) = f**2 - 12*f + 21. Let s(g) = -g + 8. Let z be s(-6). Does 33 divide d(z)?
False
Suppose -6*h - 5*y - 1220 = -8*h, 2*h - y - 1228 = 0. Is 41 a factor of h?
True
Let o(x) = 6*x**2 + 5*x + 13. Does 6 divide o(-3)?
False
Let y(s) = 52*s - 64. Is y(10) a multiple of 24?
True
Let q = -4282 - -6540. Does 8 divide q?
False
Let i = 139 - -1052. Is 11 a factor of i?
False
Let b(q) = 61*q - 160. Is 11 a factor of b(7)?
False
Let d(a) = 4*a + 1. Let i be d(1). Suppose 0*q + 221 = i*q + 2*t, 0 = q + t - 43. Is 34 a factor of q?
False
Let q = -33 - -39. Suppose 3*j + 114 = 3*d, 96 = -3*d + q*d + 3*j. Does 7 divide d?
True
Let u be 6/(-18)*(2 + -14). Suppose 0 = -u*i + 3*d + 30, i + 2*d - 10 = 4*d. Does 10 divide ((-10)/6)/(i/(-36))?
True
Let p(k) = k**3 + k**2 + 6*k - 4. Let z(q) = -6*q**3 - 4*q**2 - 30*q + 20. Let u(b) = 11*p(b) + 2*z(b). Let g be u(-6). Does 18 divide g/8 + 3/6?
True
Is (-54766)/(-22) - 504/1386 a multiple of 7?
False
Let f = 3665 - 2593. Is 16 a factor of f?
True
Suppose 2*h - 8*h = 126. Let m = 75 + h. Is 18 a factor of m?
True
Let r(l) = -2*l**3 - 2*l**2 + 5*l + 7. Let f be (1/(-3))/((-5)/(-45)). Is r(f) a multiple of 28?
True
Let b(t) =