ose t*h = -h + l. Does 11 divide h?
False
Suppose 2*b - 7 = 3*m - 2*m, -2*b + 3*m + 1 = 0. Suppose 0 = y + 2*i - i - 6, 2*i = -b*y + 18. Suppose 0*t = -y*k + t + 79, 5*t + 129 = 3*k. Does 19 divide k?
True
Let v(a) = 4*a**3 - 2*a**2 + 3*a - 1. Let f be v(2). Let w = 50 - f. Does 8 divide w?
False
Let p(d) = -5*d. Is p(-2) a multiple of 5?
True
Let v(g) = g - 1. Let y be v(6). Suppose -y*x + 89 = 3*d, 2*d - 127 = -2*d - 5*x. Is 10 a factor of d?
False
Let q(v) = -2*v + 9*v + 6*v - 1. Does 9 divide q(2)?
False
Suppose 0*y - y = 5*n - 30, -2*n - 5 = -3*y. Suppose -33 = -n*m + 4*j + 16, -m - 5*j = -4. Does 5 divide m?
False
Suppose 8*q + v - 34 = 4*q, 3*q - v = 29. Suppose 0 = -q*a + 5*a + 24. Does 3 divide a?
True
Let s be -1 - 0 - (-50)/(-2). Let g = -11 - s. Is 4 a factor of g?
False
Let v be (-1)/2 - (-89)/2. Let m = v + 8. Is m a multiple of 15?
False
Let p(r) = r**3 + 23*r**2 + 31*r + 3. Does 18 divide p(-21)?
True
Suppose 0 = 2*c - 0*c - 64. Does 14 divide c?
False
Is 12 a factor of 2382/6*(7 + -6)?
False
Let d = 20 - 12. Let r = -6 + d. Suppose -n - 16 = -r*n. Is 8 a factor of n?
True
Let k be (-6)/21 + (-130)/(-14). Let n(h) = 9*h**2 + 18*h - 17*h - 2*h**3 + h**3 + 4 + 6. Is n(k) a multiple of 13?
False
Suppose 0 = -4*k + 89 + 119. Is 13 a factor of k?
True
Suppose 87 = 4*t + k, 3*k + 0 - 41 = -2*t. Is 10 a factor of t?
False
Let c be (-2)/(-7) + (-8)/28. Suppose c = -2*k + 107 + 25. Is k a multiple of 22?
True
Is (221/(-78))/((-1)/6) a multiple of 17?
True
Let f = 137 - 78. Does 15 divide f?
False
Suppose -42 = -s + 18. Let i = s + -30. Does 15 divide i?
True
Suppose -20 = -4*d + 2*o, -4*d + 7*o + 20 = 3*o. Suppose -4*y = -d*c - 72, -4*c - y - 68 = y. Is 16 a factor of 0 + -1 + (1 - c)?
True
Suppose 2*z + 0*w - 70 = 5*w, -3*w = -2*z + 62. Is z a multiple of 5?
True
Let x be (-3 - -1) + 0/3. Let a be 0/(-2)*1/x. Suppose -3*t = -j - 19, -t - 4*j + j + 13 = a. Does 4 divide t?
False
Let m(c) = -c**3 - 5*c**2 - c - 2. Let n be m(-5). Suppose -55 - 17 = -n*q. Is q a multiple of 14?
False
Let n(m) = m**2 - 3*m - 10. Let h be n(10). Let u = h + -37. Is u a multiple of 23?
True
Let l(j) be the second derivative of -3*j + 0 + 1/6*j**3 + 1/2*j**2 + 1/4*j**4. Is 3 a factor of l(-1)?
True
Let g = 29 + -15. Let b = 22 - g. Suppose -b = -2*z + 68. Does 17 divide z?
False
Suppose 4*l + 0 = 128. Is 16 a factor of l?
True
Suppose -3*j + 30 = -0*j. Does 10 divide j?
True
Suppose -j = j - 2. Let a = j + 8. Does 2 divide a?
False
Suppose -t + 4*t = 60. Suppose n + n - t = 0. Suppose 5*o = -n + 60. Is 4 a factor of o?
False
Suppose 153 = 5*d - 387. Is 18 a factor of d?
True
Let v(a) = a**2 + 12*a + 9. Does 18 divide v(-15)?
True
Let s = 13 - 23. Does 2 divide (-3 + 1)/4*s?
False
Suppose 2*u = -4*z - u + 11, -3*u = 2*z - 7. Is z a multiple of 2?
True
Is (218/6 - -1)*6 a multiple of 7?
True
Let l be (-5)/15 - (-10)/3. Let c be ((-3)/5)/(l/(-15)). Suppose -c = -3*a + 21. Does 8 divide a?
True
Suppose -p = 3*m - 11, -3*p - 4*m + 74 = 26. Suppose 3*f - p = 2*f. Suppose -f = -3*w + 2*x, 0*w = -w - 2*x + 20. Is w a multiple of 10?
True
Let y = -5 - -6. Let d = y - -8. Is d a multiple of 3?
True
Suppose 4*d - 8 = 0, 5*d - 3 = 4*y + 7. Suppose -4*f + y*w = w - 120, 5*f = -w + 151. Is f a multiple of 13?
False
Let x = 28 - 42. Let k = 6 - x. Does 9 divide k?
False
Let a(m) = -2*m**3 - m**2 + 3*m + 4. Does 10 divide a(-3)?
True
Let d = -62 - -119. Let b = -31 + d. Does 13 divide b?
True
Let x = -15 + 30. Is 5 a factor of x?
True
Suppose 2*s + 3*k - 1 = 0, s + 2*k + 6 = 3*s. Let w(l) = -2 - s*l - 2*l - l. Is 8 a factor of w(-2)?
True
Suppose 5*w - 58 = 2*m + 136, -2*m + 34 = w. Is 5 a factor of w?
False
Let p be -28 + 1 + (-2 - 1). Let g = 60 + p. Suppose 5*l = 3*a - g, -2*a + 60 = a + 5*l. Does 5 divide a?
True
Suppose 0 = 2*i - 3 + 17. Let m be (-6)/21 + 621/i. Does 18 divide (-1)/(-5) - m/5?
True
Suppose -53 = -4*n - 3*g, 8*n - 3*n - 46 = 3*g. Does 5 divide n?
False
Let s(v) = -8*v**2 - 2*v. Let z be s(-3). Let d = -14 - z. Does 19 divide d?
False
Suppose -1 = -5*y - 21, -5*c - 3*y = -293. Is c a multiple of 11?
False
Let z(n) = n**3 + 3*n**2 + 4*n. Let l be z(-3). Let q = l + 26. Does 8 divide q?
False
Let q = 156 - 82. Suppose -b + q = k, 3*b - k = b + 142. Is b a multiple of 18?
True
Suppose 2*j + 9 - 39 = 0. Let q be (-192)/(-5)*j/(-2). Is (-2)/5 + q/(-20) a multiple of 5?
False
Let m(z) = z**2 - 7*z - 19. Does 9 divide m(10)?
False
Suppose -12 = 3*i - i - 3*x, 3*i - 3*x + 12 = 0. Suppose 2*y - y + 4 = i. Let w = y - -25. Does 13 divide w?
False
Is 13 a factor of (20/6)/((-12)/(-234))?
True
Suppose 3*p - 132 - 246 = 0. Does 21 divide p?
True
Let z(o) = 3*o**2 - 12*o - 7. Is z(-5) a multiple of 14?
False
Let g(r) = 2*r**3 + 4*r**2 - 8*r + 12. Is g(3) a multiple of 13?
True
Let h = -40 - 19. Let q = -31 - h. Is q a multiple of 14?
True
Suppose 5*a - 189 - 246 = 0. Let k be 3 + 0/(-1) + -1. Suppose 0 = k*o + o - a. Is o a multiple of 14?
False
Let m(n) = n**2 - 5*n - 6. Let t be m(6). Suppose t*b + 24 = 3*b. Is b a multiple of 8?
True
Let k = -16 + 13. Is 10 a factor of 34 + 2 + k - 3?
True
Suppose 3*u = u + 10. Let n(o) = u*o + 0*o + 0*o. Is 17 a factor of n(6)?
False
Let c(p) = -17*p**3 - 6*p**2 + 3*p - 4. Let l(z) = -z**2 + z - 1. Let a(o) = c(o) - 4*l(o). Does 16 divide a(-1)?
True
Let l(b) be the first derivative of b**3/3 + 3*b**2/2 - 5*b + 1. Is l(4) a multiple of 21?
False
Suppose 7*g = 8*g - 17. Suppose -4*s + 11 = -g. Is s a multiple of 7?
True
Let r be 0/1 - (-12 - 2). Suppose -p + 2 = p, -3*d - 5*p + r = 0. Suppose 4*a = -d*u + 3*a + 30, 3*u + 3*a = 30. Is u a multiple of 5?
True
Let x(g) = 2*g - 5. Let a be x(6). Let l(q) = -q + 1. Let p be l(0). Let r = a + p. Does 3 divide r?
False
Suppose 3*u = 36 + 54. Is 11 a factor of u?
False
Suppose 3*d - 5*c + 150 = 0, 5*c = d + 36 + 24. Let a = 95 + d. Is 25 a factor of a?
True
Suppose 2*h - 276 = -4*q, 4*h - 5*q - 375 - 125 = 0. Is 26 a factor of h?
True
Suppose 2*q - 127 + 11 = 0. Let n = q - 34. Does 8 divide n?
True
Suppose 2*h + 131 = m + h, -4*m = -h - 539. Suppose -3*a + 2*k = -102, -k + m = 4*a - 0*k. Is a a multiple of 25?
False
Let v(s) = -7*s**2 + s + 12. Let x(j) = -2*j**2 - 25 + 17*j**2 - 2*j + 0*j**2. Let q(o) = -13*v(o) - 6*x(o). Is q(7) a multiple of 12?
True
Let m(r) = 4*r**2 - 5*r + 2. Let c be m(3). Let z = c + -14. Is z a multiple of 3?
True
Suppose -736 = -b - 3*b. Is 23 a factor of b?
True
Does 8 divide (56/20 - 2)*10?
True
Suppose -16 = 4*f, -3*j - 5 = -2*j + 2*f. Suppose 0 = -j*k - 6 - 24. Is 10 a factor of 12*(k/(-6))/1?
True
Suppose -3*b + 4*w + 751 = 3*w, -3*w - 237 = -b. Is b a multiple of 42?
True
Suppose 0*d - 210 = -5*d. Is d a multiple of 20?
False
Let w(k) = -7*k - 3. Does 6 divide w(-3)?
True
Suppose 24 = 2*k + 4*t, 0*k - 11 = 2*k - 3*t. Suppose -k*j + 7 + 5 = 0. Is j a multiple of 3?
True
Let d(w) = -w**3 - 2*w**2 - w - 1. Let k be d(-2). Let i = 29 - k. Is i a multiple of 19?
False
Let a be (-4)/(-32) + (-2)/16. Let k = a + 32. Does 16 divide k?
True
Let p = 0 + 0. Let k(i) = i**3 + i**2 + i + 14. Is 14 a factor of k(p)?
True
Suppose 6*g = g + k + 417, k = -2. Suppose o - 30 = -5*q, 26 = 4*q + 4*o - 14. Suppose -t - g = -q*t - 5*b, 37 = 2*t + b. Does 11 divide t?
False
Suppose 3*h + h = -3*b + 663, 5*h = -5*b + 1110. Does 45 divide b?
True
Let n(w) = w**3 + 10*w**2 + 2*w + 15. Let o be n(-10). Is 7 a factor of (-2)/2 + (24 - o)?
True
Does 4 divide (5 + -4)/(3/48)?
True
Suppose 33 = 5*r - 247. Is 11 a factor of r?
False
Let w(n) = n**2 + 4*n + 4. Let h(r) = -3*r**2 - 2*r + 2. Suppose 0 = -4*b + 3*b - 2. Let c be h(b). Does 8 divide w(c)?
True
Let s(h) = -9*h + 6. Let p be (3 - 2) + (4 - 4). Suppose -a - p = 4. Is s(a) a multiple of 17?
True
Suppose 4*r - 571 - 397 = 0. Suppose -3*d + 2*o = 75 - r, 5*d = -2*o + 289. Does 19 divide d?
True
Suppose -2*c = 4*h - 20, h = -2*c + 7*c - 83. Is c a multiple of 9?
False
Let n = -4 + 24. Is 10 a factor of n?
True
Let w(m) = 3*m**2 + 5*m - 4. Let p be (-51)/(-18) + 1/6. Does 9 divide w(p)?
False
Suppose 2*s = -2*s. Suppose -2*h + 76 = 5*z, h = -s*h + 3*z + 38. Suppose 2*f = 3*f - h. Is f a multiple of 19?
True
Is (37 + 2)*(-3)/(-9) a multiple of 5?
False
Let b(v) be the second derivative of -v**3/3 - v**2/2 - 6*v. Is b(-6) a multipl