l + 772 = w*k. Does 8 divide l?
False
Suppose 2*b - 5*b = -m + 15, 5*m + b + 5 = 0. Suppose -f + 4*v = -0*v - 17, m = -4*f + 2*v + 138. Does 29 divide f?
False
Suppose 3*s - 21 = -6, 5*a + 3*s - 155 = 0. Does 7 divide a?
True
Let a = 42 + -15. Suppose s = q - 6, 5*q - 3*s - a = 11. Is 9 a factor of q?
False
Suppose -6*w + 0*w = -24. Suppose -4*p + 26 = 3*c - 44, 0 = p - w*c - 8. Is 8 a factor of p?
True
Suppose -3*d = 3*k - 1026, -k + 5*k + 5*d - 1372 = 0. Is k a multiple of 26?
True
Let i = -36 - -459. Is i a multiple of 9?
True
Let y = 0 - 0. Suppose y = 3*k + 2*k + 5*l + 30, 4*k + 2*l = -22. Let v(f) = -2*f**3 - 6*f**2 + 7*f - 1. Is 10 a factor of v(k)?
False
Let u(x) = -99*x + 9. Does 12 divide u(-5)?
True
Suppose -5*f + 1632 = 2*y - 2208, y - f = 1934. Does 5 divide y?
True
Does 67 divide (-7 - (1 + -4)) + (137 - -1)?
True
Let v(k) = -12*k - 70. Let h(o) = 6*o + 35. Let i(f) = 5*h(f) + 2*v(f). Does 14 divide i(21)?
False
Let o = 3823 + -2611. Does 49 divide o?
False
Let h = 36 - 24. Let j = 22 - h. Does 4 divide j?
False
Suppose 0 = 3*w - 3*c + 27, 3*c = 7*c + 12. Does 17 divide (-9198)/(-30) - w/(-20)?
True
Let j(v) = 2*v**2 + 27*v + 29. Let u be j(-17). Let a = u - 85. Is 8 a factor of a?
False
Let k be (3/(-2))/(45/(-17700)). Let r = k + -414. Suppose 2*a + l - 94 = 0, -4*a - 5*l + 0*l + r = 0. Is a a multiple of 22?
False
Suppose -5*o + 999 = 6*t, -11*o + 9 = -8*o. Is 9 a factor of t?
False
Is (-4011)/(-14)*(7/3 + -1) a multiple of 46?
False
Let u be (-9)/(-2)*12/(-9). Let v = -2 - u. Suppose 0 = -t - v*t + 410. Does 24 divide t?
False
Suppose 5*b - 4*f - 3535 = 0, 2*b - 349 - 1047 = -2*f. Suppose 5*u - b - 32 = 0. Let j = u - 80. Is j a multiple of 14?
False
Suppose 0 = -2*v + 41 - 9. Let o(d) = -7*d + 1. Let p be o(-4). Let w = p - v. Is 7 a factor of w?
False
Let z = -8 + 14. Let u(o) be the third derivative of 5*o**4/12 - o**3/6 - 3*o**2. Is u(z) a multiple of 17?
False
Let t(y) = 12*y**2 - 2*y - 3. Let v be t(-2). Let a = -107 + v. Is (-1)/(-2*(-1)/a) a multiple of 27?
False
Let c = -20 - -20. Suppose 8*h - 7*h = c. Is (10 + -9)*(10 - h) a multiple of 10?
True
Let x(k) be the first derivative of -k**3/3 + 77*k - 5. Is 17 a factor of x(0)?
False
Let w(g) be the second derivative of -g + 1/12*g**4 + 0 + 5/6*g**3 - 7/2*g**2. Does 7 divide w(-8)?
False
Let n = -174 - -244. Is n a multiple of 3?
False
Suppose -2*t + 5*n - 1200 = -5*t, -2*t + 800 = -3*n. Is 22 a factor of (t/24)/((-2)/(-9))?
False
Let w be -3 + -1 - (-63)/7. Suppose w*h - 304 = h. Is h a multiple of 38?
True
Does 6 divide -1 - (26/(-4 - -2) - 5)?
False
Suppose 4*d = -u - d - 19, 2*u - 22 = 2*d. Let s(w) = -w**3 + 7*w**2 - 6*w + 9. Is s(u) a multiple of 3?
True
Let q(b) = b + 28. Let d be q(0). Suppose d = -4*i - 2*z - 4, -40 = 2*i - 5*z. Let v = i - -38. Is v a multiple of 8?
False
Let r = 20 + -18. Suppose -3*j + 5*d = -262, 111 = r*j - d - 66. Is 14 a factor of j?
False
Suppose r + 2255 = 3*h, 5*r + 226 + 507 = h. Does 13 divide h?
False
Let q = 39 + 7. Is q even?
True
Suppose 0 = -3*i, -3*i + 72 = o - 12. Suppose 0 - o = -4*k. Suppose 2*l - 63 - k = 0. Does 14 divide l?
True
Let x = -24 + 90. Is x a multiple of 8?
False
Suppose -4*i + 66 = 246. Let y = 9 - i. Is y a multiple of 9?
True
Let y = 9 - 6. Suppose 5*w = i + 18, 0 = 5*w + y*i - 3 - 23. Let m = w - -2. Is 6 a factor of m?
True
Let x(o) = 5*o**2 - 5*o + 8. Does 17 divide x(14)?
True
Let r be 4/(-3)*-3 + -2. Suppose -r*x = 7 - 3. Does 14 divide 6/4 - 37/x?
False
Let r(w) = 5*w**3 - 16*w**2 - 2*w - 20. Let v(d) = -11*d**3 + 33*d**2 + 5*d + 41. Let k(s) = 9*r(s) + 4*v(s). Is k(12) a multiple of 5?
False
Let k be -1 - (-5)/(20/56). Suppose -k = -3*v - a + 10, -2*v - 2*a = -22. Is v a multiple of 2?
True
Let a(i) be the third derivative of -i**5/60 + 11*i**4/24 - 4*i**3/3 - 8*i**2. Let r be a(10). Suppose -3*m + 16 = -r*m. Is m a multiple of 8?
True
Let x be ((-317)/(-4))/((-4)/(-32)). Suppose -969 = -3*s - 3*f, 0 = -s - s - 5*f + x. Suppose 4*c - s - 9 = 0. Is c a multiple of 28?
True
Let z(q) = q**2 - 4*q + 7. Let v = -45 + 50. Is z(v) a multiple of 2?
True
Let c(u) = u - 6. Let v be c(9). Suppose -9 = v*z - 0. Is 11 a factor of (z*(2 - -20))/(-2)?
True
Suppose -207*t + 205*t = -5482. Is 19 a factor of t?
False
Suppose 2*c = 212 + 40. Is 14 a factor of c?
True
Let d = 2296 - 91. Does 12 divide d?
False
Let g(d) = 6*d - 18. Let s be g(5). Suppose q = -h + 233, -8 - s = 5*h. Is 31 a factor of q?
False
Suppose -4*i + 20 = i. Suppose -2*x + 44 = i*z, -5*x = 3*z - 28 - 12. Is (-5)/(z/8)*-16 a multiple of 16?
True
Suppose 8*g = -10 + 42. Does 4 divide g?
True
Let s = -50 + 50. Suppose 5*h + h - 12 = s. Is h a multiple of 2?
True
Let n(i) = i**3 + 7*i**2 - 9*i - 4. Let q be n(-8). Suppose 233 = 4*j - 119. Suppose -3*z + 166 = q*c, z - 3*c = -z + j. Does 10 divide z?
True
Suppose 0 = 5*f - r - 129, -3 = 4*r + 13. Suppose 5*a - 74 = -3*o + 51, f = a - 2*o. Is 5 a factor of a?
True
Let i = -8 + 13. Suppose -3*g - 69 = -o, -i*o - 2*g + 379 = -0*g. Is o a multiple of 25?
True
Suppose 5*w - 2*u = 2*u + 37, -31 = -5*w + 2*u. Let q be 0 + 2 - w - -86. Suppose -4*x - q = -5*z, 3*z - 30 - 17 = x. Is z a multiple of 7?
False
Let t(c) = -c**2 - 19*c - 5. Let o = 62 + -70. Is t(o) a multiple of 40?
False
Let z = 20 - -19. Suppose 2*m = z + 21. Is 6 a factor of m?
True
Suppose 0 = 5*c - 3*o - 12464, 5*c + 3*o = 5764 + 6712. Does 10 divide c?
False
Let x(c) = -2*c**3 + 3*c + 8. Is x(-2) a multiple of 3?
True
Let z(x) = -x**3 + 12*x**2 - 11*x + 1. Let q be (9/(-18))/(2/(-36)). Let j be z(q). Suppose -16*k - j = -21*k. Does 14 divide k?
False
Let k = -2 - -4. Suppose 4*j - j - a - 32 = 0, -20 = -k*j + 2*a. Let r = j - 3. Does 3 divide r?
False
Let o = 1 + 5. Let a = o + -2. Suppose -d - 39 = -3*d + 3*p, -a*p = -d + 22. Is 9 a factor of d?
True
Let j = -41 - -68. Suppose 0 = 6*g - j - 15. Does 7 divide g?
True
Suppose -11*m = -10*m. Suppose m*t + t - 120 = 0. Does 12 divide t?
True
Let z = -192 + 179. Let l = 3 - 2. Is 13 a factor of z/3*(-18)/l?
True
Suppose 215 = -7*g + 2*g. Let b = -17 - g. Does 9 divide b?
False
Let f(a) = 5*a**2 - 19*a + 31. Does 3 divide f(6)?
False
Let x(o) = o + 4. Let q be x(-5). Let f be 4*(-1 + q + 3). Suppose 2*k = u - 3*u + 8, 0 = -u - f*k - 11. Is 3 a factor of u?
True
Suppose -16*g - 10 = -14*g. Is 14 a factor of 105*(g + (-108)/(-20))?
True
Suppose -11 = -5*s + c, -5*s + 4*c + 0 = 1. Suppose 4*z - 46 = s*z. Is 11 a factor of z?
False
Suppose 2*x = 3*s + 6, 4 = 4*x - 0*s - 2*s. Is 19 a factor of x/1 + (-2 - -40)?
True
Let m be (-2)/3*-3 + -6. Suppose -11*o = 2*v - 6*o - 8, o - 10 = -v. Is ((-4)/2)/(m/v) even?
False
Suppose 0 = -3*q + 6. Suppose -4*s - 7*w + 8*w = -702, 4*w = q*s - 344. Is 24 a factor of s?
False
Suppose 44*a + 6 = 45*a. Does 6 divide a?
True
Let p = -360 + 678. Is 5 a factor of p?
False
Let t(f) = 3*f**3 - 4*f**2 - 4*f - 5. Let o be t(3). Let k = 0 + o. Is 6 a factor of k?
False
Let k(b) = -b**2 - 21*b - 42. Let o be k(-19). Does 3 divide 24 - (-2 - -1) - o?
False
Let i = -818 + 310. Let l = 748 + i. Suppose -6*q + 8*q - l = 0. Is 15 a factor of q?
True
Suppose 0 = -5*j + 8*j + 216. Let y = 48 + j. Is (0 - y)*(1 + 1) a multiple of 16?
True
Suppose -4*j - 5 = -5*m, -2*j = m + m - 2. Suppose j*x + 2*x - 92 = 0. Is 11 a factor of x?
False
Does 34 divide (5 - 4)*415 + 6?
False
Let u = -3311 - -5179. Does 85 divide u?
False
Suppose -4*m + 2*m = f - 11, 3*m = 5*f - 16. Let z be ((0 - m) + 3)/(-2). Suppose 0 = -2*r - z*r + 96. Is r a multiple of 14?
False
Suppose 5*z - 773 = -4*d, -z + 3*z - 4*d = 298. Let o be z/2 - (-3)/6. Let f = o + -53. Does 4 divide f?
True
Let m(t) = t**2 - 10*t - 3. Let b be m(12). Let d = -19 + b. Suppose 40 = -d*z + 4*z. Is z a multiple of 20?
True
Suppose -4*m + 2*r = -1446, 19*r - 21*r = 5*m - 1803. Does 10 divide m?
False
Is 15 a factor of ((-2 - 16)*3)/(6/(-4))?
False
Let p(t) = 6*t + 21. Let c(y) = -y - 11. Let z be c(8). Let f = -10 - z. Is 13 a factor of p(f)?
False
Let r be 2 - (-7 - (-16)/4). Suppose 5*c = 2*f - f + 100, 0 = -c - r*f - 6. Is c a multiple of 7?
False
Suppose -j + 2*d - 22 = -0*d, -5*d = 3*j + 22. Let r be 2 + -4 + j/(-2). Is 11 a factor of 2/r - (-218)/5?
True
Let m = 19 - 15. Suppose -5*j + m = -6. Suppose -j*o + 24 = -30. Does 11 divide