= -4, 3*y + n = 4*y. Suppose y*x = 5*x - 8. Does 4 divide x?
True
Let b be (4/(-8))/(3/(-18)). Suppose -b*k + 3 + 24 = 0. Is k a multiple of 9?
True
Let b(h) = 10*h - 18. Is b(13) a multiple of 28?
True
Suppose 5*m = 4*m. Let x = 2 - m. Suppose 0 = -x*o - 65 + 171. Is 18 a factor of o?
False
Let f be (-4)/(1/2 + 0). Let s = f - -8. Is 4 a factor of 7 + 0 - (s - 0)?
False
Let h = 127 - 91. Does 18 divide h?
True
Let h(g) = g**3 + 9*g**2 + 10*g + 1. Suppose 3*q = -0 - 21. Is 12 a factor of h(q)?
False
Let x(q) = -q**2 + 26*q - 34. Is x(24) a multiple of 3?
False
Let v = -54 - -134. Is v a multiple of 13?
False
Does 5 divide 4 + 13 - (0 + 3)?
False
Let o(p) = -3*p**3 - p**2 - 8*p - 13. Is 24 a factor of o(-4)?
False
Let h = -183 - -461. Does 13 divide h?
False
Let w = 14 + -10. Suppose -2*y - 2*b = 2*b - 74, -5*y + w*b + 143 = 0. Does 18 divide y?
False
Suppose -h - 530 = -3*h. Is 40 a factor of h?
False
Is ((-102)/(-21))/(1/7) a multiple of 19?
False
Let n be 1 - (-7)/2*2. Suppose 28 = -5*j + 6*j. Let d = j - n. Is d a multiple of 13?
False
Suppose -w + 4 = 3. Let r(v) = -v**2 - 9*v + 2. Let i be r(-6). Let f = i + w. Is 20 a factor of f?
False
Let q(j) = -2*j**3 + 6*j**2 - 10*j - 1. Let h(p) = p**3 - 1. Let l(t) = 3*h(t) + q(t). Is 5 a factor of l(-7)?
False
Let d(j) = -41*j + 1. Let q(l) = -82*l + 2. Let h(k) = -7*d(k) + 4*q(k). Suppose 0 = 4*r - 8*r - 4. Does 14 divide h(r)?
True
Suppose -2*f + 0*b - 3*b = -45, f - 36 = 3*b. Is 9 a factor of f?
True
Let t = 538 + -371. Does 28 divide t?
False
Suppose 5*r + 2*p = -p + 28, -2*r - 3*p = -13. Let s = r + 0. Suppose s*o = -5*x + 145, -5*x + 66 - 221 = -5*o. Does 12 divide o?
False
Let d be 24/16 + 147/(-2). Let b = -48 - d. Is b a multiple of 12?
True
Let o be 1102/(-14) + (-4)/14. Let a = o - -127. Does 16 divide a?
True
Let b = -39 + 53. Is b a multiple of 9?
False
Suppose -3*g - 8 = -4*g. Let m = g + -3. Is m a multiple of 4?
False
Let d = -18 + 41. Does 6 divide d?
False
Let p = -26 - -43. Let b = p + -35. Let m = -2 - b. Is m a multiple of 9?
False
Suppose 4*p = -183 + 615. Is 18 a factor of p?
True
Let b = 68 - 47. Is 13 a factor of b?
False
Let n(r) = 34*r + 2. Does 18 divide n(1)?
True
Let q be (-4)/6 - (-22)/(-3). Suppose -5*w - 2*v + 84 = -5*v, -5*v - 44 = -3*w. Let r = w + q. Is r a multiple of 4?
False
Let g(n) = -n - 3. Let f be g(-5). Suppose y + 2*w - 1 = 0, -5*y - w = -25 + f. Suppose -2*z = -3*x - y - 2, -4*z - 5*x = -47. Does 4 divide z?
True
Let x be (-11 - -423)*2/(-4). Is (-3)/7 - x/7 a multiple of 17?
False
Suppose 2*m - 3*m + 23 = 0. Let y = 42 - m. Is y a multiple of 9?
False
Let c be ((-1)/(-3))/(7/42). Suppose h - 3*y - 123 = -c*h, -5*h = -4*y - 205. Suppose 3*q + 5*u = h, 4*q - 4*u + 3 - 15 = 0. Does 7 divide q?
True
Suppose 3*a = 5*a + 4*n + 54, -4*a - 100 = 4*n. Let o = a - -46. Suppose -5*k = -88 + o. Is 12 a factor of k?
False
Let r(x) = 79*x - 8. Is 15 a factor of r(2)?
True
Let i = 49 + -2. Is 22 a factor of i?
False
Let a(m) = m**2 - 2. Let x be a(6). Let j be (x/4)/(5/10). Let w = 37 - j. Is 11 a factor of w?
False
Suppose 2*n + 5 = -j, -4*j - j = -4*n - 31. Suppose -4*t + 9 = -j. Suppose -2*d = -t*d + 6. Is d a multiple of 3?
True
Let n = -78 + 168. Is 15 a factor of n?
True
Let q(x) = -x**2 - 3*x**2 + 3*x**2 + 2. Let j be q(0). Suppose -j*h - h = -5*l + 32, 5*l + h = 36. Is l a multiple of 7?
True
Let t be 1 + -4 + (-1 - -8). Suppose -9 = -h - 3*y + 3, -2*y + 68 = t*h. Is h a multiple of 10?
False
Does 14 divide (-9)/(-2)*280/30?
True
Let d(m) = 10*m**3 + m**2 + m + 1. Does 29 divide d(2)?
True
Let z(r) = -r**2 - r + 1. Let b be z(3). Let y(k) = 2*k + 25. Does 2 divide y(b)?
False
Let d = -21 + 11. Let x = -52 - -24. Let t = d - x. Is 12 a factor of t?
False
Let b = 19 + -13. Suppose 2*j = 5*q - 153, -j + 3*j + 143 = 3*q. Is 15 a factor of (9/b)/((-6)/j)?
False
Suppose 0*h + 5*h = 10. Suppose -6*f = -h*f - 20. Is f even?
False
Let k(y) = 4*y**2 + 3*y + 6. Let a be k(-4). Let h = a - 35. Is h a multiple of 17?
False
Let m(y) = -y - 2. Let h be m(6). Let j be ((-102)/h)/(2/8). Does 16 divide (-3 + j/12)*20?
False
Let h(z) be the first derivative of -z**4/4 + 5*z**2/2 + 4*z + 2. Let q be h(-4). Let o = q - 15. Is 17 a factor of o?
False
Suppose 17 = -2*b + 55. Let y = b + 26. Let u = y + -23. Does 8 divide u?
False
Let r = 7 - -5. Is 12 a factor of r?
True
Let w be 9/(-15) - 26/(-10). Suppose w*z = -0*z + 84. Is z a multiple of 9?
False
Let g(x) = -x**3 - 6*x**2 - 5*x + 2. Let c be g(-5). Suppose 4*a = -2*z + 40, z + c*a + a = 23. Is z a multiple of 7?
True
Suppose -3*z - 34 = 20. Let a = z + 13. Let s(b) = 2*b**2 + 6*b + 2. Does 11 divide s(a)?
True
Let y(m) = -m**3 - 6*m**2 + 6*m - 1. Let c be y(-7). Let d(a) = 4 + a**2 - 5*a + 1 + 0. Is d(c) a multiple of 11?
True
Let g(z) = -z**2 + 5*z + 2. Let y be g(4). Let q(p) = 32*p. Let a(l) = l. Let h(c) = y*q(c) - 168*a(c). Does 8 divide h(1)?
True
Let u = 17 - 6. Is 10 a factor of -4 - -1 - u*-3?
True
Suppose -s - h = -3, -s + 2 = 4*h - 1. Suppose -s*w - 44 = w. Let p = w - -23. Is p a multiple of 4?
True
Suppose 0 = 4*p - 3*o - 7, 2*p + 3*o + 9 - 26 = 0. Suppose p*z + 2 = 2*z. Let x(v) = 9*v**2 + v + 1. Is x(z) a multiple of 7?
False
Let d(c) = 3*c + 11. Let j be d(-12). Let p = -20 - j. Is p even?
False
Let h(g) = -g**3 - 11*g**2 - g + 14. Does 25 divide h(-13)?
False
Let y(i) = i - 2. Let t be y(2). Suppose t = -p + 5*p, -3*u = -2*p - 12. Suppose -3*d + 23 = n, -3*d - 2*d - 109 = -u*n. Is n a multiple of 8?
False
Suppose 0*a + 4*a - 20 = 0. Suppose 2*x = -x - 2*y + a, 0 = 2*y + 4. Suppose -z + 5*z = 5*v + 23, -x*z + 21 = -3*v. Is 4 a factor of z?
True
Let m(c) = c**3 + 5*c**2 - 4*c + 7. Let s be m(-6). Let z(n) = 2*n**2 + n - 1. Let a be z(s). Suppose 2*d - a - 4 = 0. Does 12 divide d?
True
Let m = -1 - -3. Does 4 divide 6 + m - (-1 - 0)?
False
Let q(g) = g**2 - 2. Let n be q(2). Suppose 3*c + 56 = n. Let h = c - -29. Does 11 divide h?
True
Suppose 1986 - 180 = 7*s. Is s a multiple of 18?
False
Let i(b) = b**2 + 6*b + 3. Let j be i(-7). Suppose 2*f - j = 14. Is 6 a factor of f?
True
Let x = -90 - -24. Let b be (3 + -2 - -1) + -29. Let v = b - x. Does 17 divide v?
False
Let q(p) = -p**3 + 2*p**2 - 2*p + 7. Let z be q(3). Is (z - -4)*-8 + 3 a multiple of 24?
False
Suppose -24 + 108 = 4*k. Let f = -10 + k. Is 5 a factor of f?
False
Let k = 400 + -159. Is 54 a factor of k?
False
Let n(p) = p**2 + 2*p + 3. Let v be n(-2). Let x(r) = r**2 + 3*r - 2. Let h be x(-4). Does 6 divide v - (-5 + 0 + h)?
True
Suppose 4*f - 3*v = -f - 5, 0 = 3*f + 3*v + 3. Let r = 5 - f. Does 3 divide r?
True
Let h(c) = 5*c + 12. Is h(6) a multiple of 15?
False
Let k(b) = -b**3 - 9*b**2 - 5*b - 21. Is 4 a factor of k(-9)?
True
Let d(h) = h**2 + 4. Let y(b) = -b**2 - 4. Let s(j) = -6*d(j) - 7*y(j). Let u be s(-5). Is 2 + -1 + -1 + u a multiple of 13?
False
Suppose -4*m + 4*u = -137 - 107, u = 2*m - 117. Is m a multiple of 28?
True
Suppose 5*m - 33 = -2*o + 18, 4*o + 6 = 2*m. Let r = 16 + m. Does 10 divide r?
False
Let g = -3 + 4. Let w be g/(-3) + 22/(-6). Is (-1)/(-3)*(w + 22) a multiple of 3?
True
Suppose 2*q + 35 = 89. Is q a multiple of 9?
True
Let g = -22 - -40. Is 6 a factor of g?
True
Let m(y) = 3*y**2 + y + 2. Let k(r) = r**3 + r**2 - r - 1. Let u(q) = -k(q) - m(q). Is u(-5) a multiple of 10?
False
Let i(a) = -2*a**3 - 3*a**2 + a - 1. Let k be i(2). Let j = 83 + k. Does 14 divide j?
True
Suppose 0*o + 5*o = 495. Let h be 54/(-5)*(-15)/(-3). Let r = o + h. Does 12 divide r?
False
Let f = 3 - 0. Suppose f*q + q - 28 = 0. Does 6 divide q?
False
Let w(c) = 60*c**2 - c - 1. Is w(-1) a multiple of 30?
True
Let g(s) = -10*s**2 + 1. Let q be g(-2). Let v be ((-16)/12)/((-2)/q). Let r = -6 - v. Does 8 divide r?
False
Suppose 4*z + z = 5*q + 15, -4*q - 4 = -2*z. Suppose 10 = -x + z*o, -3*x - 20 = 3*o - 65. Is x a multiple of 5?
True
Let q(v) = v**2. Is q(7) a multiple of 29?
False
Let s(d) = 7*d**2 - 9*d + 2. Let h(w) = -4*w**2 + 5*w - 1. Suppose -2*m = -3 - 3. Let n(c) = m*s(c) + 5*h(c). Is n(-4) a multiple of 25?
True
Let g = -9 - -13. Let m(z) = 1 - 4*z**2 + 0 - 7 + 5*z + z**3. Does 14 divide m(g)?
True
Let l(u) = -3*u + 3*u - u + 0*u + 7. Let v be l(3). Suppose v*f + 5*d - 142 = 13, 116 = 3*f + 4*d. Is 20 a factor of f?
True
Suppose 0 = -4*