l = x*h - 75. Does 7 divide h?
False
Suppose 3*h = 4*z - 0*z - 308, -4*h + 256 = 3*z. Is z a multiple of 20?
True
Let u be 5 + -6 + (-10)/(-2). Let c be ((-30)/12)/((-2)/u). Suppose 0 = 5*f - c*n + 6*n - 126, 0 = -f - n + 22. Is 18 a factor of f?
False
Suppose -5*t = -a - 36, 0 = 5*a - 0*a + 3*t + 68. Let z = 6 - a. Suppose -z = 3*k - 5*k. Does 11 divide k?
True
Let q be (0/2)/((-2)/(-1)). Let v(n) be the second derivative of -n**4/12 - n**3/6 + 5*n**2 + 7*n. Is v(q) a multiple of 7?
False
Is (-35 + 1)*1/(-2) a multiple of 4?
False
Suppose 3*b = 4*b + 26. Let f = -12 - b. Suppose 0 = -2*v + v + f. Is 14 a factor of v?
True
Let j(c) = 2*c**2 + 8*c + 15. Let z(o) = o**2 + o + 1. Let k(r) = j(r) - 3*z(r). Is k(6) a multiple of 3?
True
Let w = 3 - 2. Let j = w + 20. Does 7 divide j?
True
Suppose -2*w = 2*w. Suppose -j + 3*a + 45 = 0, w*j - 39 = -j - 3*a. Is j a multiple of 21?
True
Let b(w) = 21*w**3 - 7*w**2 + 2*w - 5. Let n(g) = 10*g**3 - 3*g**2 + g - 2. Let q(s) = -2*b(s) + 5*n(s). Does 8 divide q(1)?
True
Let i = 120 + -30. Let r = i - 62. Is r a multiple of 14?
True
Let l(q) = -q**2 - 2*q + 10. Let c be l(-5). Let i = 14 + c. Is i a multiple of 3?
True
Is -7 + 2 - -2 - -13 a multiple of 5?
True
Suppose 65 + 137 = 4*m - 2*h, -4*h + 106 = 2*m. Is 17 a factor of m?
True
Let h be 6/(((-3)/(-202))/1). Suppose 410 = 4*o - 3*t + 85, 0 = -5*o + 3*t + h. Suppose -14 = 5*b - o. Does 13 divide b?
True
Let c = 8 - 6. Suppose 3*j - 2*g - 43 = 0, 5*j - 61 = -3*g - c. Is j a multiple of 13?
True
Let p(l) = l**3 + 5*l**2 - 3*l - 3. Let v be p(-5). Suppose -47 = -o - v. Does 15 divide o?
False
Let o = -25 - -39. Suppose 0 = 4*f - o - 2. Suppose -4*v = -5*g + 56, 35 = 4*g - f*v - 9. Is g a multiple of 12?
True
Is 5 a factor of (-4)/(-14) - 519/(-21)?
True
Is -1*(-79 + 1 + 2) a multiple of 19?
True
Let v(w) be the second derivative of -w**3/6 + 4*w**2 - w. Is v(0) a multiple of 3?
False
Let n = 4 - 2. Let s = n + 6. Is 4 a factor of s?
True
Let i be 25/6 + (-18)/108. Suppose 84 = -5*p + 564. Suppose p = i*o - 0*o. Is o a multiple of 11?
False
Suppose 0 = -10*v + 7*v + 174. Let m = -4 + v. Is m a multiple of 12?
False
Let r(v) = -v**3 + 3*v + 1. Let h be r(-2). Suppose g + 128 = h*z, 5*z + 46 = -5*g + 246. Is z a multiple of 21?
True
Let t(n) = 70*n**2 + 1. Let o be t(-1). Suppose -3*l + 25 + o = 0. Does 20 divide l?
False
Let p(z) = z**3 + 4*z**2 - 4*z + 2. Is p(2) a multiple of 13?
False
Let m(n) = -8*n**3 - 2*n**2 - 3*n - 1. Is m(-1) a multiple of 4?
True
Let s = 14 + -8. Suppose o = -2*o - s. Is 22 a factor of o/5 + (-1146)/(-15)?
False
Is 13 a factor of 62*-4*(-4)/32?
False
Let d be (5/(-10))/(2/(-8)). Suppose -2*b = -5 - 5. Is 16 a factor of d/b*(-2 - -97)?
False
Let n(t) = -t - 3. Let s(w) = -w + 1. Let m(y) = n(y) + 3*s(y). Let g be m(2). Is ((-12)/g)/((-1)/(-2)) even?
False
Does 3 divide -1 - 6*(-32)/12?
True
Is 23 a factor of -12*((-45)/6)/3?
False
Suppose 0 = 5*f - 37 + 12. Does 2 divide f?
False
Let r = -1 + 3. Let d(y) = 0*y**2 + 6*y**2 + 2*y**r. Is 14 a factor of d(2)?
False
Let m(u) be the second derivative of u**4/12 + u**3/3 - 2*u**2 - 5*u. Does 6 divide m(-5)?
False
Let b(q) = 3*q**2 - q - 9. Is b(-6) a multiple of 35?
True
Let a(o) = o**2 - 11*o - 2. Is a(-6) a multiple of 9?
False
Suppose 0 = -3*t - 5*k - 22, 0 = -4*t + 4*k + 19 + 5. Suppose 4*v - t = -n + 1, 93 = 4*n - v. Does 11 divide n?
True
Suppose -4*c = -423 + 71. Is 22 a factor of c?
True
Suppose -3*v + 5 = 4*k - 6, k - 5*v = -26. Let l be (20/(-8))/(k/2). Suppose l*w + 57 = 167. Is 13 a factor of w?
False
Let q be -3*((-10)/3 + 3). Let p be q + (0/(-3) - 1). Suppose p = 2*m - 49 + 9. Is 6 a factor of m?
False
Let h be 4/(-18) + (-87)/(-27). Suppose n = -2*c + 76, h*c - 140 + 17 = 3*n. Does 13 divide c?
True
Let o(s) = 11*s**2 + 4*s - 1. Let r be o(3). Suppose -34 = -2*d + r. Is d a multiple of 18?
True
Suppose x + 0 - 3 = 0. Suppose -2*j - 4 = -x*j. Suppose 3*q - j = 80. Is q a multiple of 11?
False
Let l(c) = 6*c**3 - c**2 - c + 1. Let i be l(1). Suppose 0 = -0*m + m - i. Is m even?
False
Suppose 3*y + 12 = h, -3*h = h - 5*y - 34. Suppose 0 = 18*k - 13*k. Let p = h + k. Is 6 a factor of p?
True
Let j = -8 + 1. Let d be 40/j - 4/14. Is 9 a factor of (-52)/(-6) - 2/d?
True
Let r = -14 + 21. Let m(h) = 10*h + 4. Does 15 divide m(r)?
False
Suppose -253 = -5*h + 3*o - 98, 3*h + o - 107 = 0. Does 23 divide h?
False
Does 9 divide ((-48)/(-7))/(176/56 + -3)?
False
Let k = -11 - -16. Is k a multiple of 5?
True
Suppose 0 = w + z - 40, -6*w + 4*w - 3*z + 85 = 0. Is w a multiple of 5?
True
Does 12 divide (-12)/(-16) + (-306)/(-8)?
False
Suppose 0 = -w + 5*w - 184. Is w a multiple of 23?
True
Suppose -2*w = -5*w + 75. Suppose 0*y - w = -5*y. Suppose 5*c - 90 = 2*v, 4*c = -y*v + 4 + 35. Does 12 divide c?
False
Suppose 4*h = 5*z + 45, -3*z = 5*h + 40 + 24. Let n = -8 - z. Suppose 3*l - n*y - 95 = 0, 4*y = -2*l + 8*y + 62. Is l a multiple of 12?
False
Suppose -2*c = -3*c + 4. Suppose a = 5*t - 2, 0 - 4 = -c*t. Suppose -4*r + 45 = -a. Is r a multiple of 12?
True
Suppose 0 = -3*h + 7*h + 60. Is 78/(-8)*80/h a multiple of 24?
False
Let l(p) = -p**3 - 9*p**2 - 9*p - 8. Let y be l(-8). Let r = 2 + -1. Suppose -n - r + 6 = y. Is n even?
False
Let c = -26 + 108. Is c a multiple of 27?
False
Suppose 35*a - 30*a = 2255. Does 41 divide a?
True
Suppose -247 = -3*q - 5*r, -4*r = 2*q - 0*r - 168. Let x = -14 + q. Does 23 divide x?
False
Let s(v) = 2*v - 10. Let n(r) = -1. Let t(q) = -2*n(q) + s(q). Let f be t(6). Suppose l - f*l = -60. Is l a multiple of 9?
False
Let o = -7 - -8. Suppose -4*x = -4*r - 44, -2*x - 2 = 3*r + o. Suppose j + 3*w = 49, -j + x*j - 193 = -2*w. Is 23 a factor of j?
False
Let w = -34 + 17. Let j = w - -28. Is j a multiple of 7?
False
Is 4 a factor of 6/(-4)*48/(-9)?
True
Is 4 a factor of (-30)/20*(-16)/6?
True
Let u = 5 - -3. Suppose 2*q - 2*c - u = 0, q + c = 3*c - 1. Is q a multiple of 4?
False
Let n be ((1 - 1)/(-1))/2. Let a(g) = g**3 - g**2 + g + 28. Is 14 a factor of a(n)?
True
Suppose -32 = -4*b - 2*g + 42, 0 = 3*b - g - 43. Does 4 divide b?
True
Does 24 divide (-9)/15 + (5240/25 - 4)?
False
Let j = 14 - 8. Suppose 4*w - 5*a = 170 - j, 0 = -4*w + 2*a + 152. Does 12 divide w?
True
Let f(i) = 3*i**2 + 15*i. Is 14 a factor of f(-7)?
True
Is -7*13/((-182)/120) a multiple of 6?
True
Suppose 5*b - 182 = -q, 0 = 4*b - 2*q + 6*q - 152. Is 17 a factor of b?
False
Is 1924/30 - (-22)/(-165) a multiple of 10?
False
Suppose 10*g - 25 - 1085 = 0. Is 4 a factor of g?
False
Let p(z) = -z**2 + 7*z + 4. Let h be p(7). Let m = 6 - 1. Suppose -2*g - 13 = -h*g - 3*s, 0 = -s - m. Is 7 a factor of g?
True
Let u(j) = j**3 - 4*j**2 - j + 2. Let p(y) = y**3 + 3*y**2 - y + 2. Let w be p(-3). Does 11 divide u(w)?
True
Suppose 2*s - s + 156 = 0. Does 12 divide (-24)/s + (-427)/(-13)?
False
Suppose -14*l + 2359 = 105. Is 29 a factor of l?
False
Let c be 9 - ((3 - -1) + -2). Let z = c - 0. Is z a multiple of 7?
True
Suppose -2*m + 3*q = m - 18, -12 = -m + 4*q. Let o = m + -2. Does 15 divide 3 - 12/(o - 3)?
True
Let f be ((-192)/15)/((-1)/5). Suppose -4*k + 0*y + 122 = 2*y, 0 = -2*k - 2*y + f. Is 7 a factor of k?
False
Let v = -5 - -8. Suppose 0 = -v*o + 4*p - 7, 2*o - p = 4*o - 10. Suppose 65 = o*x + 2*x. Is x a multiple of 5?
False
Suppose -x - 2*w + 15 = 3*w, 1 = x - 2*w. Suppose 2*r - 4 = j, x*r - 3*j = -0*r + 9. Is r a multiple of 2?
False
Let z(g) = g**2 + 4*g + 3. Is z(-5) a multiple of 3?
False
Let d be (-3 + 5)*1 + -2. Suppose d = 3*h - 0*h + 9. Is 22 a factor of 22*(7 + h + -2)?
True
Suppose -4*f = -0*f. Suppose -13 = -s + 2*c, f = 4*s - 7*s + 3*c + 24. Is 3 a factor of (s/(-1) - -3) + 9?
True
Let w(u) = 4*u**2 - 4*u - 2. Let i be w(-3). Is 7 a factor of 6/(-2 + i/20)?
False
Does 3 divide (48/20)/((-2)/(-20))?
True
Suppose -5*z + 75 + 205 = 0. Is 8 a factor of z?
True
Suppose -700 = 2*v - 7*v. Is v a multiple of 34?
False
Suppose f = -5*o + 1330, -o - 2*o - 5*f = -798. Does 14 divide o?
True
Let w(m) = m**3 + 6*m**2 + 4*m + 1. Let y be w(-5). Suppose -15 = 3*j, y*a - 95 = a - 5*j. Is 6 a factor of a?
True
Let o be 210 + 5 + -2 + -3. Suppose -2*u + o = -0. Is 30 a factor of u?
False
Let p be 0 - (0 + (-12)/3). Suppose -p*r + 3 = 19. Let v = 0 - r. Is v a multiple of 4?
True
Let o(g) be the first de