). Suppose n*z - 14 = 12. Suppose 0 = -3*h + 2*a + z, -8 = 3*a - 2. Does 2 divide h?
False
Suppose -u - 1 + 4 = 0. Let m = u - -6. Let g = m + -7. Does 2 divide g?
True
Let h = 16 + -42. Let r be (-66)/(-14) + h/(-91). Suppose 80 = 5*f - r*v, 3*v + v = -4. Is 7 a factor of f?
False
Let w = 64 - -42. Is 10 a factor of w/7 + (-2)/14?
False
Let l = -24 + 26. Suppose l*v = -0*v + 14. Does 2 divide v?
False
Let z(u) = 21*u**2 - 7*u + 38. Does 42 divide z(7)?
False
Let a(g) = g**3 - 3*g**2 - 15*g + 1. Let d be a(7). Suppose -28 = -12*x + d. Does 8 divide x?
False
Let m(p) = 7*p**3 + 16*p**2 + 15*p. Let x(j) = 3*j**3 + 8*j**2 + 7*j. Let c(w) = -2*m(w) + 5*x(w). Is c(-7) a multiple of 4?
False
Let h(x) = 2*x**2 - 17*x - 1. Let y be h(12). Let f = y - 146. Let i = f - -124. Is i a multiple of 15?
False
Let p(q) = 254*q**2 - 18 - 250*q**2 - 20. Is p(-6) a multiple of 17?
False
Suppose 4*k = -2*k + 72. Let v(a) = 12*a - k*a - a**3 - 4 - 4*a**2. Is 22 a factor of v(-6)?
False
Suppose -3*v - 226 = -37. Let s = v - -80. Does 17 divide s?
True
Let t = -152 - -98. Let d(g) = g**3 + 7*g**2 - 7*g + 6. Let l be d(-6). Let y = l + t. Is 17 a factor of y?
False
Suppose 3*t + 5*a - 3 = -2, t + 9 = 3*a. Let m be ((-2)/t)/(8/(-12)). Is 12 a factor of 48*m/((-4)/4)?
True
Suppose 5*c - 4*m = -2*m + 356, -m = 2*c - 137. Does 14 divide c?
True
Let b = -50 + 61. Suppose -75*y + b = -74*y. Is y a multiple of 3?
False
Let h be 3 + (-3 - -3) + 0. Suppose q = h*q + 2*c - 76, c + 44 = q. Is 31 a factor of q?
False
Let m(v) = -v**2 + 3*v + 2. Let o be m(2). Let t be (o + -11)*-1 - 2. Suppose 2*s + 0*a - 160 = 5*a, t*a + 230 = 3*s. Is 14 a factor of s?
True
Let b(t) = 57*t + 1. Let o be b(-1). Suppose 8 = 18*f - 46. Is o*(-2)/(8/f) a multiple of 11?
False
Suppose 0 = 4*m - 7 + 27. Let x = -3 - m. Suppose 0*i = -x*i + 228. Is 41 a factor of i?
False
Let l(t) = -6*t - 11. Let z = -27 + 22. Does 19 divide l(z)?
True
Let y(s) = -s + 2*s + 0 - 3*s**3 + 0. Let b be y(1). Is (4 + b)*(-117)/(-6) a multiple of 11?
False
Let h be (180/25)/2 - 4/(-10). Suppose 5*o + 275 = 5*d, 0 = 2*d - 0*d + h*o - 140. Is 27 a factor of d?
False
Suppose -3*n + 3 = -6. Suppose n*v + 0*v = 12. Is 15 a factor of ((-45)/v)/(4/(-16))?
True
Let f(g) be the second derivative of -7*g**3/3 + 11*g**2/2 + 29*g. Is f(-5) a multiple of 14?
False
Let f(p) = 3*p**3 + 20*p**2 - 8*p - 16. Let c(u) = -3*u**3 - 21*u**2 + 8*u + 16. Let s(o) = -4*c(o) - 5*f(o). Is 33 a factor of s(-7)?
False
Suppose -3*y = y. Suppose y*t = 2*t + 66. Let c = t - -78. Does 15 divide c?
True
Let f be (30/(-4))/(-3)*476/(-170). Let q(s) = 3*s**2 + 5*s + 2. Let h(c) = 10*c**2 + 15*c + 6. Let v(z) = -2*h(z) + 7*q(z). Is 15 a factor of v(f)?
False
Let f = 60 - 37. Suppose 4*r + 1 + f = 0. Let w(m) = -3*m - 5. Is w(r) a multiple of 13?
True
Let f be ((-64)/10)/((-8)/20). Suppose 5*w - f = -6. Suppose 3*i - 99 = -w*x, -3*x + 51 = 3*i - 51. Does 9 divide i?
False
Suppose 2*a = -2*a + o + 9, -4*a = -4*o - 12. Let i = 6 - a. Is 48/i*6/9 a multiple of 8?
True
Is 11 + (1044/9 - -3) a multiple of 5?
True
Is (-3 + 2)*3*(-3640)/30 a multiple of 28?
True
Suppose -30*q = 23*q - 87927. Is q a multiple of 35?
False
Suppose p + 2061 = 4*k + k, 2055 = 5*k + 5*p. Is k a multiple of 14?
False
Let y = 2682 + -1786. Is y a multiple of 77?
False
Let n(p) = 391*p**2 - 13*p - 4. Does 5 divide n(-1)?
True
Let d(i) be the first derivative of i**5/60 + 5*i**4/24 - i**3/2 + i**2 + 7. Let u(f) be the second derivative of d(f). Is 6 a factor of u(-7)?
False
Let r(i) = 4*i + 4. Let u be r(4). Let q = u + 5. Is 11 a factor of q?
False
Suppose -31*s = -28*s + 15. Does 2 divide (1 - 19)*(1 + s/3)?
True
Let i be (2 - 1)/(2 + 15/(-9)). Suppose 0 = a + i*a - 40. Does 10 divide a?
True
Let f(y) = y**3 + 9*y**2 + 9*y + 17. Let t be f(-7). Suppose 0 = 50*u - t*u + 132. Does 6 divide u?
True
Let d be ((-2)/(-5))/((-1 - 2)/375). Let o = d + 142. Is 31 a factor of o?
False
Let x(k) = -1726*k - 2. Let f be x(1). Does 11 divide (-4)/14 - 1*f/21?
False
Let v be 1 + (4 - (2 + 4)). Is 11 a factor of v/8 - 2685/(-40)?
False
Let j(v) = -93*v**3 - 2*v + 3. Let z(r) = 186*r**3 + 3*r - 5. Let k(s) = 5*j(s) + 3*z(s). Is k(1) a multiple of 23?
True
Suppose -4*u + 4 + 16 = 0. Let h(c) = -2*c**3 - 19*c**2 - 8*c + 26. Let r be h(-9). Suppose r - 287 = -u*l. Is l a multiple of 21?
False
Suppose -4*o + 5*q + 98 = 0, -o - 3*q - 75 = -4*o. Does 11 divide (-4)/18 + 2274/o?
False
Let l = -58 + 154. Is 12 a factor of l?
True
Let w(d) = 13*d + 277. Is 3 a factor of w(11)?
True
Suppose 0*a = 3*a - 15. Suppose -a*d + 9 = -16. Suppose -d*h + 86 + 119 = 0. Is h a multiple of 14?
False
Let w = -272 + 829. Does 74 divide w?
False
Let t(j) = -j**2 + 8*j - 1. Let d be t(8). Let l be (-1 - 1)*67/d. Let a = l - 68. Does 33 divide a?
True
Let r be 1 - -1 - (2 - -4). Let x = -73 + 77. Is r/(x - (-172)/(-42)) a multiple of 14?
True
Let o(c) = -139*c - 14. Let q be o(-4). Suppose q = 5*k - 413. Does 41 divide k?
False
Let o = 29 + 98. Is 22 a factor of o?
False
Let w(m) = m**3 + 6*m**2 + 5*m - 7. Let b be 30/(-4) - (-4)/8. Let y be w(b). Let v = 132 + y. Does 11 divide v?
False
Let o(q) = -q**3 - 2*q**2 + 11*q - 1 - 3 - 15*q + 2. Does 3 divide o(-2)?
True
Let y(q) = -1. Let v(h) = 7*h + 18. Let c(o) = -v(o) + 4*y(o). Is c(-14) a multiple of 38?
True
Let m = -534 + 612. Is 39 a factor of m?
True
Let h(k) = -k - 5. Let x be h(-8). Suppose 0 = w - a - a - 88, -x*a - 12 = 0. Let s = w + -17. Does 9 divide s?
True
Let c(y) = 2*y**2 - 7*y - 12. Let g be c(5). Suppose 0 = -0*n - 2*n + 10. Suppose n*i - g*i = 5*j + 17, -4*j - 40 = -4*i. Is 2 a factor of i?
False
Let r = -11 + 13. Suppose -3*y + 2*y = -r*a + 317, 2*a - 3*y = 327. Suppose 0 = -3*k + a - 24. Is k a multiple of 19?
False
Suppose -326 = -3*l - 5*n, 2*n - 3 + 7 = 0. Does 14 divide l?
True
Let k(l) = -5*l**2 - 8*l - 13. Let h(s) = -2*s**2 - 4*s - 6. Let v(n) = 7*h(n) - 3*k(n). Let p be v(4). Does 19 divide (-6)/p - -51 - -4?
True
Suppose -8*i + 931 = -357. Is i a multiple of 7?
True
Suppose 815 - 2921 = -6*l. Suppose 28*m - l = 25*m. Does 9 divide m?
True
Let u be (-55)/4 - 2/8. Let r(m) be the second derivative of -m**3/6 + 2*m**2 + 2*m. Does 9 divide r(u)?
True
Let d(l) = l**2 + 2*l + 2. Let a = -6 - -4. Let u be d(a). Suppose -u*s + 5*s = 6. Is s a multiple of 2?
True
Let m be (46/(-1) + -4)/((-1)/(-1)). Let h = -27 - m. Does 12 divide h?
False
Let i be -1 - 9 - 3 - -1. Let g(r) = -r**3 + 2*r**2 - 5*r - 8. Let b be g(-3). Let s = i + b. Does 18 divide s?
False
Let p(n) = -157*n + 7. Does 23 divide p(-6)?
False
Suppose -14*a + 16*a = 10. Suppose 0*k - 90 = -a*k. Is 4 a factor of k?
False
Suppose -5*o + 5*h + 1645 = 0, 0*h + 326 = o + 2*h. Does 82 divide o?
True
Suppose 3*f + 0*f - 90 = 0. Suppose -8*j + 290 + f = 0. Does 13 divide j?
False
Suppose 4*l - 13 = 7. Suppose -l*m = -3*w - 108, 3*m - w = 13 + 55. Does 4 divide m?
True
Suppose 5*w - 3244 - 1956 = 0. Is 65 a factor of w?
True
Let i = 6 - 0. Let r(c) = 0*c + i + 0*c - c**2 + c + 2*c**2. Is r(0) a multiple of 3?
True
Suppose 2*k - 4*f - 508 = k, 3*f - 983 = -2*k. Does 13 divide k?
False
Let v(a) be the second derivative of 10*a**4/3 + a**3/3 - a**2 + 8*a. Does 10 divide v(1)?
True
Let b(z) = -z**3 + 15*z**2 + 74*z - 38. Is b(-10) a multiple of 21?
True
Let y(w) = w + 1. Let x be y(4). Let c(d) = 8*d**2 - 25*d + 81. Let n be c(4). Suppose -x*q + n = -71. Is q a multiple of 9?
True
Let a(q) = -2*q**2 + 5*q. Let j(m) = 2*m**2 - 5*m - 1. Let z(g) = 2*a(g) + 3*j(g). Does 20 divide z(7)?
True
Suppose 9 - 29 = -5*i. Suppose 3*l + 208 = 3*b + b, -i*b + 228 = 2*l. Does 17 divide b?
False
Let n(f) = 159*f - 1. Let l be n(1). Suppose -d = -5*p + 373, 2*p + 4*d = -0*p + l. Is p a multiple of 25?
True
Suppose 260 = 30*l - 26*l. Let x = 122 - l. Is x a multiple of 25?
False
Let a(p) = 1 + 4 + 7 - 11*p + 10*p. Does 9 divide a(-5)?
False
Let o(a) = 2*a - 34. Let l be o(20). Suppose 153 = l*i - 3*i. Does 4 divide i?
False
Let b be -1 + 7 - (-14)/(-7). Suppose 0 = -x + 4*m - 17, 5*m + 6 = -b*x - 20. Does 8 divide 177/21 + x/21?
True
Suppose 4 = 5*i - m, 0 = -2*i - 4*m - 5 - 11. Suppose i = r - 5*u - 25, 0*r - 4*r - u + 37 = 0. Is r a multiple of 5?
True
Suppose -g - 393 = -h, h - 5*g + 1171 = 4*h. Does 56 divide h?
True
Let n = 2