 3*y + 96 = b, -5*y = -4*b + 76 + 294. Does 10 divide b?
True
Suppose 0 = 5*r + 11 + 14. Let m(o) = 2*o**2 + 4*o. Is 10 a factor of m(r)?
True
Is (-30)/((-10)/(-2))*-7*1 a multiple of 15?
False
Suppose -15 = -5*t + 9*q - 4*q, -2*t + 4*q = -4. Suppose -123 = -t*o + 2*n + n, -5*o = 3*n - 120. Does 9 divide o?
True
Suppose 4 = 4*r - 0. Let s(t) = 64*t**3 + 2*t**2 - t. Let o be s(r). Suppose 2*n - 4*p = -5*p + o, -2*n + 80 = 4*p. Does 12 divide n?
False
Let x(l) = -l**2 + 4*l - 1. Let s be x(3). Suppose 4*k + k + 77 = -s*q, -4*k = -4*q + 56. Is (-2)/(((-6)/(-2))/k) a multiple of 5?
True
Let y be ((-9)/(-2))/(0 + (-1)/2). Suppose 4*o = 5*w - 82, 0 = 5*o - o + 2*w + 68. Let a = y - o. Does 3 divide a?
True
Suppose -2*x + 10 = -0*x. Suppose -3*l + 96 = x*o + 11, -5*o + 25 = 0. Does 20 divide l?
True
Let z(h) = h**3 - 4*h**2 - 2*h - 1. Let d be z(5). Suppose 0 = 2*l + g + 2*g - d, 0 = 4*l - g - 56. Is l a multiple of 5?
False
Suppose -11 + 136 = u. Is u a multiple of 19?
False
Does 14 divide -56*2*(-5)/8?
True
Let v = 1 + 2. Suppose v*b + 0*b = 9. Does 13 divide (-2 - -32)/3 + b?
True
Is ((-10)/(-3))/((-5)/(-90)) a multiple of 10?
True
Let i be (-3)/(53/27 - 2). Let z = i + -11. Does 19 divide z?
False
Suppose 4*u - 10 = -2*r + 3*r, 3*u + 1 = 5*r. Suppose 17 = 2*c - 59. Suppose -t + u*t = c. Is t a multiple of 8?
False
Let n(l) be the first derivative of -2*l + 1 - 1/4*l**4 + 5/2*l**2 + 4/3*l**3. Is n(3) a multiple of 11?
True
Let u = 24 + -120. Let q = -66 - u. Does 10 divide q?
True
Let p(v) = v**3 - 9*v**2 + 7*v + 13. Let x be p(8). Suppose 0*l + x = l. Does 2 divide l?
False
Let d be (-3 + (-10)/4)*-8. Suppose 6*w = 8*w - d. Does 10 divide w?
False
Suppose 3*u = -0*u + 657. Suppose 21 - u = -3*g. Does 17 divide g?
False
Suppose 5*l + z + 10 = 0, 5*l - 11 + 1 = -5*z. Let y = l + 12. Is 9 a factor of y?
True
Let m(i) = i**3 + 4*i**2 + i + 3. Suppose 8 - 17 = 3*l. Let q be m(l). Is 7 a factor of 2/3*-3 + q?
True
Suppose 5*f = f + 20. Suppose b - f*b = -104. Is 13 a factor of b?
True
Let k(a) = -2*a**2 - 9*a + 9. Let t be k(-7). Let o = -92 + 23. Let c = t - o. Does 11 divide c?
False
Suppose 4*q + q - 26 = 4*i, 3*i = -3*q - 6. Suppose q*k = -3*k + 145. Does 14 divide k?
False
Suppose -2*j - g + 3*g + 40 = 0, -8 = -j + 4*g. Suppose -4*f + 24 = -j. Is f a multiple of 4?
True
Suppose -17 - 19 = -4*h. Let p = h - 5. Suppose 0 = -2*o - o + p*q + 134, 3*o + 5*q = 89. Does 15 divide o?
False
Suppose -4*q + 660 = -2*u, -3*q + u + 3*u + 485 = 0. Is 17 a factor of q?
False
Let u = 128 + -44. Does 21 divide u?
True
Suppose -4*d - 2*s - 3*s = -61, -2*d - 2*s + 30 = 0. Is d a multiple of 11?
False
Suppose 3*k - 10 = -g, -3*g - 3*k = 2*k - 50. Let u = g - 60. Let c = u + 60. Is c a multiple of 13?
False
Suppose -2*o - 1 - 7 = 0, 76 = 4*b + 5*o. Is 12 a factor of b?
True
Suppose -2*h = -6 - 4. Suppose 20 = h*c - 130. Does 11 divide c?
False
Let y(i) = -13*i + 10. Is y(-7) a multiple of 29?
False
Let c(k) = k**3 - 12*k**2 - 11*k - 8. Does 18 divide c(13)?
True
Let r be 7 + -4 - (-2)/(-2). Let z be -128 + 2/(-1) + r. Does 9 divide (-6)/21 - z/7?
True
Let w(o) = 14*o**3 + o**2 + o. Let g be w(-1). Is g/(-3) + 2/6 a multiple of 5?
True
Suppose 5 = 5*u - 0*u. Let o be u/((-1)/(-2) - 1). Let l(p) = -4*p**3 - p - 1. Is l(o) a multiple of 15?
False
Is (1 + -4)/3 - -3 - -99 a multiple of 21?
False
Suppose g = -3*g - 8, k - 3*g - 8 = 0. Suppose 0 + 10 = k*o. Does 2 divide o?
False
Let n(j) = 1 - 1 - 1 + 4*j. Is n(2) a multiple of 7?
True
Suppose j = 4*v - 2*j - 3, -v + 2*j + 2 = 0. Suppose -2*y = 5*c - 53, -2*y + 42 = 4*c - v*c. Is 11 a factor of c?
True
Suppose 2*n + 20 = -3*n, 4*y + 2*n - 384 = 0. Is 28 a factor of y?
False
Let j be 3 + (4 - 2) - 3. Let a(m) = 8*m + 2. Does 9 divide a(j)?
True
Suppose 5*l + 78 = 2*q + 7*l, 0 = -3*q + 3*l + 99. Is q a multiple of 4?
True
Let f = 5 - 7. Let l be (8 - 3)*f/(-5). Suppose -3*h - l = -20. Does 4 divide h?
False
Let x(v) = v**2 + 8*v + 10. Suppose 3*i = -4*o + 5*i - 28, -7 = o - 2*i. Let n be x(o). Suppose -21 = -f + 4*q + 8, 2*q = n*f - 57. Is f a multiple of 7?
False
Let x(q) = -q**3 + 2*q**2 + 2*q + 79. Does 9 divide x(0)?
False
Let g = -5 - -10. Suppose 27 = -g*q + 2*q. Let h = -1 - q. Is h a multiple of 4?
True
Let c be 0*(2 - (-3)/(-2)). Suppose c = -4*w + w + 42. Suppose 19 = 3*r - w. Is 3 a factor of r?
False
Let s(g) = -g**2 - 12*g + 7. Is 17 a factor of s(-9)?
True
Let p = -13 - -13. Suppose 72 = -p*w + w. Is w a multiple of 24?
True
Let l(b) = -b**3 - 8*b**2 + 11*b - 14. Let d be l(-10). Suppose 3*k - d = -8*h + 3*h, -4 = 4*h. Is k a multiple of 9?
True
Let v be (-4)/(-26) + (-680)/26. Let r = 83 + v. Let z = r - 25. Does 16 divide z?
True
Let y(z) = z**2 - 5*z - 21. Is 21 a factor of y(12)?
True
Let z = -29 + 52. Let f be -3*2*6/4. Let b = z + f. Is 7 a factor of b?
True
Let f(y) = 13*y**2 - 49*y + 13. Let d(k) = -3*k**2 + 12*k - 3. Let u(g) = 9*d(g) + 2*f(g). Does 23 divide u(6)?
True
Let k = 12 + 37. Is 49 a factor of k?
True
Let n(d) = -d**3 + 4*d**2 - 3. Let i be n(3). Let h = i + -3. Suppose -4*p = 7*x - 2*x - 50, 0 = -h*x + 2*p + 52. Is 7 a factor of x?
True
Let c = 35 - -88. Does 41 divide c?
True
Let a(i) = i**3 - 8*i**2 + 7*i + 7. Let w be a(7). Suppose -2*q = -2 - 6. Suppose w*g = q*g + 36. Is 4 a factor of g?
True
Let v = 195 - 115. Is v a multiple of 19?
False
Let o(c) be the second derivative of c**6/360 - c**5/120 + c**4/6 + c**3/6 + 3*c. Let b(j) be the second derivative of o(j). Is b(3) a multiple of 5?
True
Let p be ((-48)/(-20))/((-3)/(-20)). Let n be (4/5)/(2/5). Suppose -n*h - 2 + p = 0. Does 7 divide h?
True
Let m be 19*-1 - (-6)/6. Let c = m + -35. Let o = -25 - c. Is o a multiple of 14?
True
Suppose -5*j + 10*j = 480. Is (4/(-6))/((-1)/j) a multiple of 22?
False
Let u = 41 - 33. Does 2 divide u?
True
Let f = 14 - 11. Suppose -a - 4*l + 18 = -0*l, 0 = -f*a - l + 21. Is 3 a factor of a?
True
Let n(k) be the third derivative of -k**6/120 - k**5/60 + k**4/24 + 2*k**3 + 3*k**2. Is 12 a factor of n(0)?
True
Suppose 0 = 4*x + 5*x. Let l(u) = u + 3. Let b be l(-4). Is 1 - x - 13/b a multiple of 12?
False
Let p(d) = d - 1. Let t be p(5). Suppose -3*q = 4*i - 34, -2*i + t*q - 3 = -9. Does 3 divide i?
False
Suppose 2*a - 431 = -21. Is a a multiple of 41?
True
Let u be 4/(-4)*(-1 - 0). Let r be -3*(17*-1 + u). Suppose 3*k = -k + r. Does 6 divide k?
True
Suppose -4*w + 83 = 3. Is w a multiple of 20?
True
Suppose 0*y + 3*y = 135. Does 9 divide y?
True
Let p = -4 - -6. Suppose -18 = -p*h - h. Suppose 0 = -2*f + 78 - h. Is 18 a factor of f?
True
Let r(a) be the third derivative of a**4/24 + a**3 - a**2. Is r(0) a multiple of 6?
True
Suppose 4*v - 5*k = 728, v - 364 = -v - 2*k. Is v a multiple of 7?
True
Suppose -2*d - 20 = -5*j, -4*d = -3*d + 5. Does 19 divide (-20)/5 - (-122)/j?
True
Suppose -k + 33 = 3*h + 4*k, -27 = -2*h - 5*k. Is 6 a factor of h?
True
Let p(o) = 6*o**3 + o**2 + o. Let z be p(-1). Suppose -2*w - 45 = w. Does 5 divide (-23)/(-5) + z/w?
True
Let x(b) = b**3 + 8*b**2 + 6*b + 3. Does 8 divide x(-5)?
True
Let y(m) = 2*m**2 - 5*m + 3. Let z be (-1)/(-2)*6*1. Is y(z) a multiple of 6?
True
Let u(s) = -s**2 - 16*s + 22. Let k be u(-17). Suppose -k*m + 18 = -27. Does 5 divide m?
False
Suppose -d - 2*d + m + 62 = 0, -5*m = 4*d - 108. Let p = 95 - d. Does 13 divide p?
False
Suppose -17 - 79 = -4*p. Is 18 a factor of p?
False
Let z = 287 + -161. Does 33 divide z?
False
Let o be (10/6 + -2)*3. Let u be 2/o*2/(-2). Is 10 a factor of (0 - -2)/(u/10)?
True
Let k = 20 - 14. Let r = 6 - k. Suppose 0*t + t - 11 = r. Does 11 divide t?
True
Let z be (-3)/4 + 15/4. Suppose j + 2 = -4*k - z, k + 3*j + 15 = 0. Is 8*4 - 2 - k a multiple of 15?
True
Suppose -1 + 16 = -5*v. Is v/2*(3 - 39) a multiple of 18?
True
Let b(u) = 5*u**3 - 2*u**2 + 4*u - 3. Let m be b(3). Is 3 a factor of m/(-12)*(-2)/3?
False
Let h = 8 - 6. Does 12 divide (-92)/(-4) + h + -1?
True
Let r(g) = -g**2 + 6*g - 2. Let b be r(6). Let f be (-2)/((1/b)/1). Suppose -3*l - 4 = 3*q - 13, -l - 9 = f*q. Is l a multiple of 3?
False
Suppose 5*d - k + 6*k - 675 = 0, -4*d + 4*k = -532. Does 12 divide d?
False
Let s(b) = b**3 - 10*b**2 + 11*b + 5. Let v be 5 + 0 + -2 + 6. Is s(v) a multiple of 12?
False
Suppose -3 = -5*i + 32. Suppose 75 = i*t - 4*t. Does 