Suppose -1256 + 4256 = 10*k. Does 30 divide k?
True
Suppose -5*a = -r - 348, -278 = -3*a - a + r. Suppose -c + a = 4*c. Suppose -10 = -4*u + c. Is 4 a factor of u?
False
Let d = -59 - -83. Does 8 divide d?
True
Let y = 42 + -19. Let u = 33 - y. Is u a multiple of 10?
True
Let x be 13/4 - 12/(-16). Suppose -x*z = -0*z - 8. Suppose 4*p - 20 = z*p. Does 6 divide p?
False
Let m = 6 - 2. Is 16 a factor of -1 + 17 + (4 - m)?
True
Let b be ((-27)/2)/(1/(-2)). Let u = 46 - 41. Suppose u*m - b = 3. Is m a multiple of 3?
True
Let x(p) = -4*p + 10. Let a(g) = 11*g - 29. Let y(h) = -3*a(h) - 8*x(h). Let m be 4*(-1)/((-12)/(-15)). Is 7 a factor of y(m)?
False
Suppose -5*c = -3*g + 6*g - 46, -3*c + 34 = 5*g. Let z(h) = -h**3 + 3*h**2 - 1. Let x be z(2). Suppose 0 = -4*a + c, 30 = x*v + v + a. Is v a multiple of 7?
True
Let l(k) = -3*k + 42. Is l(-4) a multiple of 27?
True
Suppose -7 = -3*b + 4*j, -2*b - 5*j - 26 = -0*j. Let d(y) = -2*y - 1. Let i be d(b). Suppose -i*h + 49 = -1. Is h a multiple of 4?
False
Let k(y) = y - 1. Suppose -3*c - 2*p - 10 = 0, -2*c = -0*c - 5*p - 25. Let z be k(c). Is 3/(z/(-1))*3 a multiple of 5?
False
Let j(d) be the first derivative of -2*d + 2 + 3*d**2 + 6*d**2 - 5*d**2 + 10*d. Does 17 divide j(6)?
False
Suppose -3*u - u = -44. Let f = u + -16. Does 4 divide 117/15 - 1/f?
True
Let t be (-9)/(-3)*-2 - -3. Is t/(-3) + -3 - -35 a multiple of 15?
False
Let m be (3 - 2 - -1)*-1. Let i = m + 2. Suppose i*y = -2*y + 26. Does 13 divide y?
True
Suppose -h = -19 - 54. Is 21 a factor of h?
False
Let g be 5*(-1 - 4/(-2)). Suppose 3*h + 10 = 4*d, 2*d = -5*h + g*d - 24. Let v = h + 11. Is 4 a factor of v?
False
Suppose 2*g = h + 386, 40 = g - 5*h - 153. Is 15 a factor of g?
False
Suppose 0 = -5*b - 16 - 4. Let f(t) = -4*t**2 + 12*t - 7. Let y(x) = x**2 - 3*x + 2. Let p(i) = 2*f(i) + 9*y(i). Is 14 a factor of p(b)?
False
Suppose -5*z + 15 = 0, 17 - 2 = y - 3*z. Is y a multiple of 24?
True
Suppose 0 = c + 4*c + 20. Let j(h) = h**2 - h - 4. Let n be j(c). Suppose -w - w = -n. Does 4 divide w?
True
Suppose -2*d - 1 = -5. Let i be d/10 - (-49)/5. Is 94/i - 2/5 a multiple of 7?
False
Let m(b) = b**2 + 12*b + 2. Let p be m(-12). Suppose -3*u + 0*w - p*w = -7, u + 15 = -5*w. Is 2 a factor of u?
False
Is 4 a factor of 8/6*(10 - 1)?
True
Is 45 a factor of -1 + (-2516)/(-10) + (-8)/(-20)?
False
Let x(d) = 2 + 8*d**3 - 2 - d**2 - 5*d + 2 - 7*d**3. Is 15 a factor of x(4)?
True
Let w = 28 + -9. Is w a multiple of 4?
False
Let g(l) = -9 + 0*l - l + l**2 + 3*l. Let d be g(-8). Suppose 3*m + 0 - d = 0. Is 13 a factor of m?
True
Let c = 21 - -45. Is 5 a factor of c?
False
Let w(m) = -m**3 - 4*m**2 + 4*m + 3. Suppose 2*u - 5*u - 18 = 0. Let h = -11 - u. Is 4 a factor of w(h)?
True
Let n(d) = 30*d - 10. Does 11 divide n(4)?
True
Let v be (2 + -6)/((-1)/8). Suppose -2*d + d = v. Let a = -11 - d. Is a a multiple of 6?
False
Let y(x) = -2*x - 3. Let d(f) = -f**3 + 4*f**2 + 4*f - 3. Let b be d(5). Let i be y(b). Suppose v - i = -1. Is 12 a factor of v?
True
Let u be 3 + -2 + 1 + 3. Suppose -v = 3*h - 19, -u*v + 217 - 67 = 4*h. Is v a multiple of 17?
True
Suppose 4*s - 89 - 39 = 0. Does 9 divide s?
False
Let v(s) = -s - 1. Let r be v(-2). Let d be r + (-1 - -2)*3. Let z(n) = n + 1. Is z(d) a multiple of 2?
False
Let m be 2/4 - (-34)/(-4). Let w be (9 + -11)/(4/114). Let c = m - w. Does 17 divide c?
False
Suppose g = 1 + 3. Suppose 0 = 2*t - 6*t, g*h - 48 = 2*t. Is h a multiple of 9?
False
Let h(c) be the first derivative of 2 + 4*c - 11/2*c**2. Does 17 divide h(-4)?
False
Let n be (-6)/(-15)*15/(-3). Is 8/n*(-12)/3 a multiple of 4?
True
Let q(p) = -17*p. Does 17 divide q(-19)?
True
Suppose 3 = s + 3*f + 12, 0 = 2*f + 4. Let i = s - -5. Suppose 0 = -d - 5*o + 24, 3*d + i*o - 74 = -2*d. Is d a multiple of 10?
False
Suppose -u + 0*u + 374 = 0. Does 34 divide u?
True
Let u(c) = c + 4. Let v be u(0). Suppose -48 = -v*q + 3*x, 5*x - 80 = -3*q - q. Is q a multiple of 5?
True
Suppose 3*s - 21 = 12. Is s a multiple of 9?
False
Let w = -19 - -29. Does 3 divide w?
False
Let g = -40 - -316. Does 19 divide g?
False
Let c = -10 - -150. Is c a multiple of 35?
True
Is -25*(-1 + 0 - 0) a multiple of 19?
False
Suppose -4*k - q + 45 = 0, -q + 3 = -2*q. Is (k/(-2))/2 + 36 a multiple of 11?
True
Let g = -13 - -16. Is 8 a factor of 22/g + 28/42?
True
Let f(h) = 23*h**2 - 8*h + 3. Let n be f(3). Suppose 3*u - 2*i - n = 42, 4*u - 4*i = 308. Does 18 divide u?
False
Let k(h) = -2*h**3 - 4*h**2 - 3*h. Let x be k(-3). Suppose 5*s - 2*s = x. Does 4 divide s?
False
Let t = 130 + -62. Is 10 a factor of t?
False
Let k = -10 + 9. Let w(c) = -19*c**3 - 2*c - 1. Let b be w(k). Suppose -b = -5*d - 0*d. Is d a multiple of 3?
False
Suppose 0 = -2*m + 11 - 93. Let y = -25 - m. Does 8 divide y?
True
Let a = 27 - 3. Is 7 a factor of a?
False
Let j(y) = 5*y - 16. Let a be (-2)/6 - (-170)/15. Does 13 divide j(a)?
True
Let s = 133 - 85. Let q be 2 - (-22 + (3 - 4)). Let y = s - q. Is 16 a factor of y?
False
Let j be 2/3*30/(-4). Let q = j + 5. Suppose q = -z + 25 + 2. Is z a multiple of 9?
True
Suppose 5*z + 19 = 3*u - 14, -z = -3. Suppose -k = -u - 17. Does 11 divide k?
True
Let o(t) be the first derivative of -t**4/4 - t**3 + 7*t**2/2 - 5*t - 1. Let x be o(-6). Is (-2)/(-7) - x/(-7) a multiple of 6?
False
Suppose 6*y - 6 = 3*y. Suppose 2*t + y = l - 2*l, 0 = 3*t + 9. Is l/2 + 5 + -2 even?
False
Suppose -2*h + 4 = -0*h. Let r = 0 + h. Suppose 4 = 4*j + 5*c - 9, r*j - 4*c - 26 = 0. Does 3 divide j?
False
Let n = 35 + -17. Suppose -2*u = 3*t - 39, -u + 0*t - 2*t = -n. Does 7 divide u?
False
Suppose -2*n = -2*d - 2, 2*n = -3*d + 14 + 3. Let i = n + -22. Is 10 a factor of (-6)/9*2*i?
False
Suppose -5*v - 4*m + 3 = -257, -2*v + 5*m = -71. Does 20 divide v?
False
Let c(y) = -17*y. Does 18 divide c(-5)?
False
Let a = -6 + 8. Let t = 77 - 49. Suppose a*u = -0*u + t. Does 5 divide u?
False
Let d(a) be the third derivative of a**5/10 - 4*a**2. Is d(1) a multiple of 6?
True
Let b(o) be the first derivative of o**2/2 - o + 2. Let c(z) = 8*z - 10. Let k(w) = 6*b(w) - c(w). Is 7 a factor of k(-5)?
True
Let b(z) = -z**3 + z + 14. Is 14 a factor of b(0)?
True
Suppose -3*r + 654 = 3*j, 4*r = 4*j - r - 890. Is 55 a factor of j?
True
Let t = 4 + -1. Let r be 1 - (-4)/(8/(-6)). Is 5 a factor of ((-13)/t)/(r/6)?
False
Let p(r) = -3*r**2 - 3*r + 3. Let g be p(2). Let j be -2*(-1 + g/6). Let l = j - -21. Does 14 divide l?
True
Is 21 a factor of 8/14 - 927/(-7)?
False
Let o = -53 + 143. Suppose -2*l + 16 = 6, -5*k = -2*l - o. Is k a multiple of 20?
True
Let r(p) = p**3 - 3*p**2 - 2*p - 3. Let s be r(3). Let k = s + 6. Let v = 9 + k. Does 3 divide v?
True
Let i be (4 + -16)*70/(-6). Suppose -6*c + i = -c. Let g = 40 - c. Is 4 a factor of g?
True
Let n be (1 - (-1 - 1)) + 2. Suppose -n*p - y = -2*p - 114, -3 = -y. Is 13 a factor of p?
False
Let x = 112 + -42. Is 10 a factor of x?
True
Suppose 2*x - 15 = -x. Suppose -5*w - 111 + 16 = -4*v, 0 = -x*v + 2*w + 140. Is v a multiple of 15?
True
Suppose 0 = -3*n - 0*n + 135. Let t be 595/n - (-2)/(-9). Is t/(0 - -1) - 1 a multiple of 6?
True
Let g = 6 - 3. Suppose -2*m = -k - k + 50, 0 = -5*k + g*m + 127. Does 7 divide k?
False
Suppose -17*d + 830 = -275. Does 18 divide d?
False
Let o(i) = i**3 + 5*i**2 + 4*i + 6. Suppose 0*b - 12 = 3*b. Let f be o(b). Suppose -t + 3 + f = 0. Does 9 divide t?
True
Suppose 4 = b + 5*m, -3*b + 34 + 58 = -5*m. Let g = b + -16. Does 6 divide g?
False
Suppose -4*n = 5*y - 119, -2*y = 5*n - 131 - 39. Is 12 a factor of n?
True
Let z be (-531)/(-13) + 6/39. Let m = z - 7. Is 17 a factor of m?
True
Let d be (-8)/(-6)*9/6. Let a = 9 - d. Is a even?
False
Suppose a + 4*u = -4*a - 2, a - 4*u = 14. Suppose -a*k + k + 16 = 0. Does 12 divide k?
False
Let g = 1 + -3. Let x(j) = -2*j**3 + j**2 + 2*j. Is 16 a factor of x(g)?
True
Let j(g) = -2 - 4*g + 0*g**2 + g**2 - 2. Let z(c) = -c**2 - 3*c. Let d be z(-4). Does 14 divide j(d)?
True
Let j be (4/12)/(4/804). Let i = j - 45. Is i a multiple of 22?
True
Suppose 7 - 2 = -5*k. Is 9 a factor of 24/k*18/(-12)?
True
Let l(i) = -7*i - 11. Does 6 divide l(-5)?
True
Suppose 2*c = 5*c - 12. Let m be 214/6 - c/(-12). Does 12 divide m/(1 - (2 - 2))?
True
Suppose 21*b = 2198 + 1582. Is 15 a factor of b?
True
Is (4 + -6)*(-178)/4 a mu