x*i + 7 = -5*b, -4*i + 4*b = -5 - 15. Does 6 divide i?
True
Let p(d) = d**3 - 2*d**2 - 3*d - 4. Suppose 0 = 3*q - 0*v - v - 9, 16 = q + 4*v. Is 6 a factor of p(q)?
False
Let t(h) = -3*h**2 - 4*h - 5. Let v(a) = -a**2. Let n(b) = t(b) - 4*v(b). Is n(6) even?
False
Suppose -o = 2*j + 8, o + 2 - 1 = 5*j. Let k = 7 + o. Does 20 divide -2*(-3 + (-24)/k)?
False
Let y(o) = o + 16. Let j be y(0). Is (-22)/5*(-40)/j a multiple of 7?
False
Let t(c) = c**3 - 9*c**2 + 8*c - 12. Let s be t(9). Suppose 0*x + 5*x = s. Suppose -o = -4*n - 37, o - 17 = 2*n + x. Is 12 a factor of o?
False
Suppose 4*j - 7 = -19. Let v = j - -3. Suppose -4*z + z + 54 = v. Does 9 divide z?
True
Let b(g) = g**2 - 4*g + 2. Let t be b(4). Let h be -1*t*(5 + -6). Suppose 0 = 2*d - p - 35, -7*d + h*d - 3*p = -115. Is d a multiple of 9?
False
Let o be (-1 - 1)*(-14)/4. Let w = o + -6. Let x = w + 8. Is 8 a factor of x?
False
Suppose 4*b = 10 + 14. Suppose -3 = 4*y + 5, 2*s + 4*y - b = 0. Does 3 divide s?
False
Let r(t) = -t + 1. Let g(w) = -7*w - 3. Let m(y) = -g(y) + 6*r(y). Let u be m(-7). Is 1/u - (-237)/6 a multiple of 20?
True
Suppose 3*s + 16 = s. Is 8 a factor of ((-6)/s)/((-7)/(-196))?
False
Let m = -2 - -2. Suppose m = -2*x - 10 - 0. Let n = x + 19. Is n a multiple of 7?
True
Let w = -36 - -21. Let l(x) = 2*x**2 + 20*x - 18. Does 37 divide l(w)?
False
Let y(d) = -d + 4. Let n(u) = -8*u**3 - 2*u - 1. Let c be n(-1). Let a be y(c). Let f(i) = -9*i + 5. Does 18 divide f(a)?
False
Let g be 82/7 - 2/(-7). Let p = -19 + g. Let d(c) = -c - 1. Is 6 a factor of d(p)?
True
Let p = 2 - -10. Let r = p + -1. Does 11 divide r?
True
Let m(a) = -6*a - 55. Does 7 divide m(-22)?
True
Suppose 68 = 3*z - 10. Is z a multiple of 14?
False
Let r(m) = 30*m**3 + 1. Let y be r(1). Let u be 1 - -20*3/2. Suppose -g + u = v + 3*g, 5*g - y = -v. Is 16 a factor of v?
False
Let p = 2 + 0. Suppose -f + 18 - 4 = -2*r, -18 = -2*f + p*r. Is 2 a factor of f?
True
Let t(h) = -7*h + h - 12 + h - 3*h. Is t(-5) a multiple of 14?
True
Let o = 8 + -5. Suppose -2*k + o*k = 0. Suppose 46 = 2*v + 4*s, k = -v + 4*v + 3*s - 66. Is v a multiple of 19?
False
Suppose -h = 5*r - 6*r + 4, 0 = -4*r - 5*h + 61. Is r even?
False
Let y be (88/6)/((-5)/(-15)). Let z = y + -4. Is z a multiple of 16?
False
Let c = 39 + -27. Does 6 divide c?
True
Suppose -2*l = -5*r - 44, r = 4*l + l - 87. Is 5 a factor of l?
False
Suppose -2 = 3*k - 14. Suppose 0 = 2*c + 2*n - 4*n - 374, -k*c - 5*n + 793 = 0. Suppose 0 = -5*p + c - 2. Does 19 divide p?
True
Suppose 3*h = -4*o + 5*o + 30, 16 = -2*o - 5*h. Does 16 divide ((-9)/o)/((-1)/(-96))?
True
Let v(t) = 7*t - 1. Let q(d) = 8*d - 1. Let g(x) = -4*q(x) + 5*v(x). Let k be g(2). Suppose 85 = k*y - 0*y. Is y a multiple of 10?
False
Let o(u) = u - 8. Let s be o(-6). Let l(x) = -x**3 - 14*x**2 - 2*x. Is 14 a factor of l(s)?
True
Suppose 0 = 3*o - 4*h - 54, -28 = 5*o - h - 118. Let u = -13 + 3. Let j = o + u. Is j a multiple of 8?
True
Let u be 0/(-1) + 2 + 0. Let c = 42 + -22. Is 5 a factor of 1 + (c/u - 1)?
True
Let q(t) = 25*t - 9. Let d(p) = 12*p - 4. Let a(x) = 7*d(x) - 3*q(x). Does 8 divide a(1)?
True
Suppose 0*w + 2*r - 2 = -4*w, -w - 3*r - 2 = 0. Is 15 a factor of 1 - 4 - (-18)/w?
True
Suppose 0*a + 10 = 2*a. Does 8 divide (-2)/(-5) - (-83)/a?
False
Suppose -42 = -2*r + 38. Is r a multiple of 11?
False
Is 24 a factor of 382/4 - 13/(-26)?
True
Let n(y) = -y**3 + 8*y**2 - 2*y - 3. Is 10 a factor of n(7)?
False
Let p = -7 - -204. Is 14 a factor of p?
False
Let n(o) = -o**2 + 7*o + 3. Is 15 a factor of n(4)?
True
Suppose -3*c = -c + 16. Let z(g) = g**2 + 6*g + 11. Is z(c) a multiple of 10?
False
Suppose 5*w + 127 = k, 0 = -3*k - 3*w - 0 + 327. Let n = 78 - k. Let g = -20 - n. Is g a multiple of 14?
True
Let x = -169 + 274. Is 7 a factor of x?
True
Suppose u - 81 - 34 = 0. Is u a multiple of 23?
True
Suppose -15 = 5*z, w + z - 47 = 39. Is w a multiple of 8?
False
Suppose 3*n - 12 = -4*o, 2*o = 5*n + 1 - 21. Is n a multiple of 4?
True
Suppose -40 = 2*q + 2*q. Is 20 a factor of (5/(-2))/(1/q)?
False
Does 17 divide (4/(-4))/(2/(-134))?
False
Is (20/5)/(3/30) a multiple of 11?
False
Let h(b) = -9*b + 1. Let o(s) = -18*s + 1. Let w(f) = -5*h(f) + 3*o(f). Does 26 divide w(-4)?
False
Suppose -3*t + 2930 = 7*t. Does 53 divide t?
False
Let i(g) = g**2 + g. Let l(n) = -n**2 + 2*n + 2. Let z(t) = 5*i(t) - l(t). Does 14 divide z(2)?
True
Let d = 396 - 231. Is 15 a factor of d?
True
Let q be -1*2/(4/(-10)). Let m be (-2)/q - 34/(-10). Suppose 0*g + 84 = m*u + 4*g, -2*u + 4*g + 56 = 0. Is u a multiple of 14?
True
Suppose v + 5 = 3*b, -4 = -4*v - 5*b + 10. Let o be ((-3)/(-6))/((-1)/(-12)). Let p = v + o. Is p a multiple of 7?
True
Let i(a) = -a**2 + 3*a + 1. Let l be i(3). Suppose w + l = 4. Does 3 divide w?
True
Suppose 2*r - 5*c = 404, -2*r - 5*c + 444 = -0*r. Is r a multiple of 22?
False
Suppose -5*d = -2*d - 225. Suppose 2*p - 30 = 2*c, 0 = 2*p - 6*p - c + d. Is 18 a factor of p?
True
Let w(l) = -5*l**2 + 3*l - 7. Let a be w(-5). Let q = -90 - a. Is q a multiple of 19?
True
Let n(r) = -3*r - 2. Let j be n(3). Is (j/2)/(1/(-4)) a multiple of 11?
True
Let c = -44 - -57. Does 13 divide c?
True
Let l be -2*((2 - 3) + -45). Suppose -3*q = -5*k - l, -3*q + 88 = -q + 2*k. Is 14 a factor of q?
False
Suppose -3*o + 25 = -17. Is o a multiple of 5?
False
Let i(o) = -25*o**3 + 5*o**2 + 6*o. Does 4 divide i(-1)?
True
Let g = 2 - 2. Suppose g = -h - 4*h. Suppose h*p = -3*p + 6. Is p even?
True
Let f(l) be the first derivative of l**3/3 - 5*l**2 + 4*l + 3. Does 15 divide f(11)?
True
Let j = 15 - 11. Suppose -3*y - 4 = -2*y, -c + j*y + 50 = 0. Is c a multiple of 9?
False
Let o = -327 + 514. Is 41 a factor of o?
False
Let h = 6 + -3. Suppose -10 = -h*q + 14. Suppose -2*k - 5*p = -q, k = 4*k - 4*p - 58. Does 14 divide k?
True
Suppose -5*d + 9 + 16 = 0. Suppose 3*q - 2*l - 29 = 95, -d*q + 4*l + 208 = 0. Is q a multiple of 10?
True
Does 16 divide (-40)/15*(3 + 270/(-8))?
False
Let d be 4/(-6)*3*-37. Let t be 3/3 - -5 - -1. Does 7 divide d/4 - t/14?
False
Let y = 214 - 76. Suppose 3*o + 0 - y = -3*j, 0 = 5*j - 5*o - 250. Let g = j + -22. Is g a multiple of 13?
True
Let p be 2*(-1 - (-5 + 2)). Suppose -2*h = -p*f - 3*h + 233, 3*h = -2*f + 129. Does 16 divide f?
False
Suppose 3*j - 2*w - 45 = 310, -2*j + 5*w = -255. Does 23 divide j?
True
Let q = 1 + 23. Suppose 1 = -y - 4*n, 4*n + q = y + 3*n. Does 12 divide y?
False
Suppose -7*r = -2*r + 175. Let x = 4 - r. Is x a multiple of 15?
False
Let s(f) = 57*f**3. Does 19 divide s(1)?
True
Suppose -3*p + 8 = -p. Suppose 0 = -p*w + 5*w + 2*x - 12, 16 = -2*w + 4*x. Is w even?
True
Suppose 5*g - 46 = 29. Is 5 a factor of g?
True
Let f be (-1 - 9/3) + 472. Does 14 divide (f/30)/(9/30)?
False
Suppose l = -0*l + 2*k + 25, -5*k - 31 = -l. Does 12 divide l?
False
Let r(u) = -8*u**2 - u + 2. Let h be r(-2). Let b = 50 + h. Is 10 a factor of b?
False
Let t be -3 - (0 - 2) - -11. Does 25 divide t/(-45) + (-1228)/(-18)?
False
Suppose z = -3*z. Suppose -q + 6*g = g - 23, q - 3*g - 21 = z. Is q a multiple of 6?
True
Let l(t) = 9*t - 20*t - 11 - t**3 - 5*t**2 + 2*t. Is 33 a factor of l(-6)?
False
Let u be (12/15)/(4/(-30)). Does 5 divide (-2)/u - 224/(-12)?
False
Suppose -5*k - 5 = -2*t, 5 = t - 2*k + 3. Suppose t = 5*a - 2*a - 6. Suppose -4*i = -12, -a*f + 0*f = -2*i - 46. Does 10 divide f?
False
Suppose b + 3 = -5. Let a(j) = -j**2 - 15*j - 1. Is 26 a factor of a(b)?
False
Let h be 24/9 + 1/3. Let c = h - -6. Does 3 divide c?
True
Suppose 0 = -7*u + 9*u - 20. Is 10 a factor of u?
True
Suppose 132 = 3*p - 4*n, 3*n = -p + n + 34. Suppose 0 = -2*h - 4 + p. Does 9 divide h?
True
Let g be (0 - 2)/((-4)/(-10)). Let y(z) = -z**2 - 7*z - 5. Let b be y(g). Suppose -b*j + 9 = -6. Does 3 divide j?
True
Let i(q) = 3*q - 1. Does 6 divide i(9)?
False
Let l(r) = -r**2 - 7*r - 8. Let k be l(7). Let p = -41 - k. Suppose -h = 4*h - p. Does 5 divide h?
False
Let i be 6 - 5/((-15)/6). Suppose i*r - 5*r = 60. Let y = 39 - r. Is 10 a factor of y?
False
Let i(a) = a**2 + a. Let v be i(3). Suppose -5*k - 134 + 5 = -3*d, 0 = 4*k - v. Does 17 divide d?
False
Let t(k) = -k**2 + 3*k + 3. Let z be t(3). Suppose -a + z*a - 38 = 0. Is 5 a factor of a?
False
Suppose -3*z - 2*z = -10, -5*f + 6 = 3*z. Suppose f = g + 2 - 12. Is g a mu