e 0 = -2*x - q + 24, 5*x - 2*q - 69 = -a. Does 12 divide x?
True
Let c be (4/2 + -5)*-6. Let v(y) = 14*y - 1. Let d be v(1). Let r = c - d. Is 5 a factor of r?
True
Let a be (-505)/(-4) + 2/(-8). Suppose -4*p - 3*d + d + a = 0, p + 5*d = 18. Is 13 a factor of p?
False
Suppose v = 3*v + 14. Let y be -2 - v - (1 - 1). Is y/((-15)/(-4))*15 a multiple of 10?
True
Suppose 0 = -2*f - 3*f - 40. Let k = f - -6. Is ((-12)/10)/(k/20) a multiple of 12?
True
Let d = 28 + -56. Let h = 40 + d. Does 12 divide h?
True
Suppose 12*k - 2999 - 541 = 0. Does 17 divide k?
False
Let k(f) = -f**3 + 2*f + 2. Let i be k(3). Let a(q) = 8*q + 1. Let w be a(5). Let x = i + w. Does 22 divide x?
True
Suppose 14 = t - 0*t. Suppose n - 5*y - t = 2*n, -4*n = -2*y - 54. Does 3 divide n?
False
Suppose -3*m + m + 8 = 0. Suppose t + m*t = 65. Suppose g - t = -2*s + 42, -40 = -s + 2*g. Does 15 divide s?
True
Suppose 4*g - 4*s - 66 = -2*s, 0 = -5*g - 5*s + 105. Does 5 divide ((-4)/6)/(g/(-405))?
True
Suppose 195 = 6*v - 3*v. Is v a multiple of 11?
False
Suppose 0 = -4*o + 5*f + 90, -34 = -2*o + f - 4*f. Is (8/o)/(2/50) a multiple of 5?
True
Let k be -3 - 18/(9/(-3)). Suppose 5*t = k*y + 61, 0*t + 3*t + y = 31. Is t a multiple of 6?
False
Suppose -11 = -2*g + 9. Let u(l) = -l**2 + 10*l + 3. Let j be u(g). Suppose -24 = -t - 2*t + 3*s, j*s = 0. Does 8 divide t?
True
Suppose -4*k = -1379 + 19. Does 68 divide k?
True
Let t(i) = -3*i**2 - 3*i - 2. Let c be t(-2). Let h = c + 50. Suppose -v + 37 = -h. Is v a multiple of 28?
False
Is 1 - (-5)/(-3) - 805/(-15) a multiple of 6?
False
Let d be (2/5)/((-2)/50). Let l = -7 - d. Suppose 5 = q, -4*b + 2*b = -l*q + 5. Does 3 divide b?
False
Let r be 1/(-4) - 104/(-32). Suppose -50 = -2*x - r*x. Does 10 divide x?
True
Let k(c) = c**2 - 3*c. Let v be k(4). Suppose -3*m + 80 = v*q, -6*q + q + 100 = 5*m. Is 20 a factor of q?
True
Let a be 3/(-6)*0/(-2). Let n(x) = -x**2 + 1. Let s be n(a). Is 4 a factor of 2 - (s - -1) - -5?
False
Let a = -11 - -17. Suppose 3*o = -a, -4*q - 2*o + 18 = -o. Is q/((-20)/(-6))*2 a multiple of 2?
False
Is (-594)/(-10) - 4/10 a multiple of 11?
False
Suppose -7*r + 4*r + 12 = 0. Suppose -5*p + 2 = -r*h, p - h + 4 = 2*h. Suppose -o + p*o = 2. Is 2 a factor of o?
True
Does 9 divide (-2)/(-4) - (-74)/4?
False
Let o = -19 + 20. Does 6 divide 2 + 0 - (-17 + o)?
True
Suppose 0 = 5*p, 0 = -3*f + 2*p + 2*p + 12. Suppose 2*r - 2 - f = 0, 0 = 5*k + 2*r - 146. Is 14 a factor of k?
True
Let q(f) be the first derivative of -f**3/3 - 9*f**2/2 - 5*f - 1. Does 13 divide q(-6)?
True
Suppose 3*n = 4*n - 1. Let b be n - (-1 + 1 + -82). Let u = b - 55. Is u a multiple of 14?
True
Suppose -133 = -5*b - 188. Suppose 6*g - 2 = u + 2*g, 5*u - g = -48. Is 5 a factor of u/4*(b + 5)?
True
Suppose -3*n + 10 = -2*j, 3*j = -6*n + 3*n + 15. Let t be (n/12)/(1/(-3)). Let q(r) = -8*r. Is 4 a factor of q(t)?
True
Let h = -74 - -162. Is (9 + 0)/(33/h) a multiple of 8?
True
Let d(x) = -x**2 + 11*x - 4. Let l be d(10). Is 4/(-3)*-2*l a multiple of 8?
True
Does 15 divide (4/3)/((-13)/(-1170))?
True
Suppose 2*z + 2*a - 4 = 0, 2 = 2*z - 3*a - 2. Is 22 a factor of 39 + (1 - z - -1)?
False
Suppose 3*f - 2*q = 8, 4*q - 35 = -5*f - 7. Let m(s) = 2*s**2 - 6*s. Let n be m(f). Suppose 5*y + 0 = -5, -h = -3*y - n. Is 5 a factor of h?
True
Let k(j) = j**2 - 5*j + 1. Let c be k(4). Let x = c - -6. Suppose 3*d = 4*a - 2, -4*a = x*d - 6*a - 2. Is d a multiple of 2?
True
Let i(g) = 2*g**2 + 9*g + 8. Does 6 divide i(-5)?
False
Does 13 divide (21/3)/((-5)/(-65))?
True
Suppose 2*g = 3*g - 114. Let j = g + -63. Is 17 a factor of j?
True
Suppose -4*o + 148 = -2*o. Does 37 divide o?
True
Let q = 4 + -4. Suppose -2*k + 5*f + 46 = q, -2*k + 77 = 3*k - 3*f. Does 7 divide k?
False
Let p = 21 + -6. Let n be -5*((-66)/p - -2). Does 3 divide n/8*2/1?
True
Suppose 0 = -w - 3*o + 13, w + 2*o = -2*o + 10. Let n = w + -49. Let g = n - -51. Is 12 a factor of g?
True
Let w(m) = -m**2 - 3*m + 2. Let q be w(-4). Is 8 - (3 - 1)/q a multiple of 4?
False
Let t be (3/(-2))/((-12)/16). Suppose -t*n - 55 = -7*n. Is 6 a factor of n?
False
Suppose 4*u = 3*p + 2, -p + 4*u - 3 - 3 = 0. Suppose -p*z = 3*z - 20. Suppose z*a - 20 = 0, 0*a = -3*s - 4*a + 41. Is s a multiple of 3?
False
Let i = -6 + 4. Let z(p) = -21*p - 1. Is 15 a factor of z(i)?
False
Let w be 15/25 + 204/10. Does 7 divide (2 + 2)*w/12?
True
Suppose 0 = 6*j - 807 - 573. Does 46 divide j?
True
Let t(x) = 14*x + 4. Let q be t(-3). Let m = 105 - 162. Let i = q - m. Is i a multiple of 7?
False
Let n = 850 - 598. Does 42 divide n?
True
Does 11 divide (10*9/24)/((-9)/(-120))?
False
Let b(g) = 8*g. Let z be b(3). Suppose z = -2*h + 4*h. Does 4 divide h?
True
Suppose 75*r - 70*r = 425. Does 6 divide r?
False
Let r be 4*5 - (-5)/5. Suppose -5*o - 5*c = r - 101, -o = -2*c - 16. Is 8 a factor of o?
True
Suppose 4*h = 4*i + 12, h + 5*i = 23 + 4. Let m = -2 + h. Let d(g) = -g**3 + 6*g**2 - 3*g + 4. Is d(m) a multiple of 7?
True
Is (-3 - -3) + (-312)/(-3) a multiple of 38?
False
Let h(m) = 2*m + 4. Let x be h(-5). Let b(n) = -n**2 - 6*n + 5. Let u be b(x). Suppose -2*a + 23 = t, a + u = 2*t + 3*t. Does 10 divide a?
True
Suppose 0 = -0*j - j + 22. Is 22 a factor of j?
True
Suppose 4*c + 3 = 3*c. Let u(w) = 2*w**2 + 3*w + 4. Is 13 a factor of u(c)?
True
Let b(k) = 16*k**2. Let t be b(1). Suppose -n + t - 2 = 0. Suppose -47 = -3*m - n. Is m a multiple of 11?
True
Suppose 0 = x - 70 - 3. Is x a multiple of 29?
False
Let r = 0 + -1. Let j be r/((-2)/10) - 0. Suppose 29 = j*w - 2*h - 44, -w - 2*h + 17 = 0. Is w a multiple of 7?
False
Let u(t) = t**3 - 2*t**2 - t**2 - 2*t - 13 - 4*t**2 + 3*t**2. Is u(6) a multiple of 8?
False
Suppose -2*a + 483 = -61. Is a a multiple of 16?
True
Let a(p) = -p**3 - 6*p**2 - 6*p. Is 5 a factor of a(-5)?
True
Let h = -1 + -32. Let x = -17 - h. Is 13 a factor of x?
False
Let s = 92 - -24. Does 29 divide s?
True
Let u(r) be the first derivative of -2 + 1/2*r**2 - 4/3*r**3 + 1/4*r**4 - 2*r. Is u(5) a multiple of 14?
True
Does 23 divide (-1)/(-4) - 1650/(-24)?
True
Let l(h) = -6*h**3 - h**2 + h + 1. Let j be l(-1). Let i(b) = b**2 - 3. Is 11 a factor of i(j)?
True
Suppose -4*p - 2*w + 173 - 17 = 0, 2*p - 70 = -5*w. Suppose -5*v + 7*y = 4*y + 68, 0 = 4*v + y + 68. Let x = v + p. Does 8 divide x?
True
Suppose 2*m + 18 = 5*m - 3*p, m + p = 14. Does 2 divide m?
True
Let i be (-4 + 2)/(4/22). Let x(d) = d**3 + 12*d**2 + 6*d - 3. Is 17 a factor of x(i)?
False
Suppose 2 - 8 = -2*r, 2*r = -5*f + 456. Does 14 divide f?
False
Let g be ((-8)/(-10))/(1/(-5)). Let o(i) = -2*i - 6. Let y be o(g). Suppose 51 = 3*s + y*c, -36 - 71 = -5*s + 4*c. Is 11 a factor of s?
False
Suppose y = l, -4*l + 8 = -4*y + 2*y. Suppose -l*o + 96 = 4*p, -5*o + 78 + 18 = -3*p. Is o a multiple of 21?
True
Let v be (-8)/(-36) + 11/(-9). Let i = v - -21. Is i a multiple of 10?
True
Let a = 5 - 4. Let d be a/(-2)*(-180)/1. Suppose -d = -2*w - w. Does 15 divide w?
True
Let d(b) = 8. Let s(m) = m + 1. Let x(c) = d(c) + 2*s(c). Let n be x(-8). Let p(y) = y**2 + y - 6. Does 8 divide p(n)?
True
Let l = 8 - 4. Suppose 0 = 3*w - w - l. Suppose -w*s + 4 = -14. Does 9 divide s?
True
Let o(l) = -5*l + 4*l + 0*l + l**2 + 4*l. Let d be o(-4). Suppose 4*y + d*h - 18 - 26 = 0, y - 21 = -3*h. Is y a multiple of 6?
True
Let s(q) = q - 2. Let y be s(5). Let v = 67 + -108. Let x = y - v. Is x a multiple of 22?
True
Let w be (1 + 11)/((-2)/7). Let k be (-6)/(1/(w/4)). Is (-1)/((-3)/k) + 1 a multiple of 18?
False
Suppose -7*w - 8 = -3*w. Is (w - (-21)/9)*105 a multiple of 10?
False
Let q = -6 + 9. Is 3 a factor of 1*(q - 0)*1?
True
Let s = 164 + -109. Is 13 a factor of s?
False
Let c(y) = -2*y - y - 12 + 2 + y. Let b be c(-7). Does 7 divide (b/(-6) - 3)*-3?
False
Let x = 8 + -6. Let m(u) = -14*u**3 + 2*u + 3. Let p(y) = 14*y**3 + y**2 - 2*y - 4. Let t(j) = x*p(j) + 3*m(j). Does 15 divide t(-1)?
True
Suppose -4*w + 2*r = -3*r - 16, -w + 5*r = 11. Does 5 divide w?
False
Is 12 a factor of -4*(-4)/16 + 80/1?
False
Suppose 0 = -5*r + 121 + 64. Is 9 a factor of r?
False
Does 51 divide (2 + 0)*1836/9?
True
Let m(u) = -u**3 + u**2. Let f(x) = 7*x**3 + 6*x + 1. Let a(l) = f(l) + 6*m(l). Let r be a(-4). Let z = 21 - r. Is 5 a factor of z?
False
Suppose 15 = -4*m + 9*m. Suppose 54 = m*v - 9. Let l = 44 -