uppose -3*a + 0*g = -g + l, -4*g + 44 = -4*a. Let i = -3 - a. Does 3 divide i?
True
Suppose -2 = -z + 3, 3*z = 2*l - 293. Does 14 divide l?
True
Suppose 6*w + 3*o = 3*w + 12, 13 = 3*w + 2*o. Suppose 2*m - 3*z + 3 = m, -m + 5 = z. Suppose 96 = m*p - 2*i - 3*i, w*i = 0. Is 16 a factor of p?
True
Suppose -q - 8 = q. Let g = -4 - q. Suppose g = 3*n - 2*j - 75, 0*n + 3*j - 100 = -4*n. Is 12 a factor of n?
False
Let k(i) = i**3 - 6*i**2 + 10*i - 16. Does 11 divide k(7)?
False
Let j be -2 - -2*(1 + 0). Is j - (-28 - (0 - -2)) a multiple of 10?
True
Let l(g) = 3*g**2 + 1. Let s be l(1). Suppose f = -s*q - 2, 3*f = -q - 1 - 5. Does 2 divide (5 - q)/1 + -2?
False
Let h be 3 + -146 - (1 + -1). Let t be 6/(-4) - h/2. Suppose -5*f + t - 10 = 0. Does 9 divide f?
False
Suppose -2*v - 5*x = -4*x - 548, 5*v - 1355 = 5*x. Is 31 a factor of v?
False
Let o be 1/2 + 20/8. Suppose -5*c - 4*a = -196, 2*a = 4*c + o*a - 159. Is 8 a factor of c?
True
Let g(d) = -d + 2. Let r be g(-2). Suppose z = -r*z + 315. Is 9 a factor of 158/18 - (-14)/z?
True
Let m(w) = -5*w + 0*w + 3*w - w - 8. Is 11 a factor of m(-7)?
False
Let w be 21/(-2)*16/3. Let x = w - -83. Suppose -38 - x = -5*v. Does 13 divide v?
True
Does 9 divide ((0 + -3)*3)/(-1)?
True
Let b(u) be the second derivative of 7*u**3/6 + u**2 - u. Is b(6) a multiple of 11?
True
Let o be (-50)/15*(0 + -3). Let p = 25 - o. Is 5 a factor of p?
True
Let t(y) = 2*y + 5 + 2*y - 5*y + 1. Let s be t(5). Suppose -s = -c + 2. Does 2 divide c?
False
Let c be 6/12 + 35/2. Suppose 3*z - c = z. Is 3 a factor of z?
True
Is 28/5*(-6 + 6 + 5) even?
True
Let y(c) = -c**2 + 3. Let q be y(-3). Is 8 a factor of q/4 + 38/4?
True
Let m be (-1 - 10/(-6))*3. Is 8 a factor of m + -2 + (-3 - -30)?
False
Let j(x) = 18*x - 7. Let p be j(3). Suppose -4*s + 223 - p = 0. Is s a multiple of 22?
True
Suppose 0 = -5*k, 2*o = -2*o - 3*k + 24. Suppose -o*h = -2*h. Does 12 divide 17 + h/(1 - 3)?
False
Let w be ((-3)/(-3))/((-4)/(-36)). Let y = 2 + w. Is y a multiple of 11?
True
Suppose v - 209 = -0*v. Suppose 0 = 4*a + 3*i + v, -269 = 5*a - 0*i - 4*i. Let w = -16 - a. Is w a multiple of 13?
False
Suppose -4*m + 5*m - 4*k + 11 = 0, -4*m - 8 = 2*k. Let y = m + 4. Is (-42)/15*-5*y a multiple of 5?
False
Let r = 23 + -18. Is r a multiple of 5?
True
Suppose n = -2*n + 6. Is (n - 2) + 1 + 15 a multiple of 7?
False
Let l(x) = -x**2 - 18*x - 4. Does 17 divide l(-12)?
True
Let l = -43 - -79. Is l a multiple of 9?
True
Suppose 2*x = -2*x. Let c be -1*(0 + -1)*3. Suppose x = c*s - s - 72. Is s a multiple of 18?
True
Let m be (-2 - -1)*(-1)/1. Let c = m - -3. Suppose -t = -c*t + 78. Does 14 divide t?
False
Does 5 divide ((-165)/(-6))/5*4?
False
Let p be (18/(-3))/3*1. Let s be -1 + 0 - 6/p. Suppose -3*a + 6 = -s*a. Is a a multiple of 4?
False
Suppose -3*m + 140 = m + 4*d, 0 = 2*m - 5*d - 42. Is m a multiple of 30?
False
Let n(v) = -v**3 + 9*v**2 + 11*v + 12. Does 22 divide n(10)?
True
Let o be 1/8 + 630/80. Suppose -5*b = -78 + o. Is 10 a factor of b?
False
Let a be 12/(-9)*15/(-10). Is (3 - a)/((-2)/(-18)) a multiple of 2?
False
Let r = -40 + 66. Does 13 divide r?
True
Let v be (-2)/(-3)*3*1. Let q(t) = t**3 + t**2 - 3*t + 3. Is 6 a factor of q(v)?
False
Suppose 2*f + 3*f = 85. Let r(m) = -4*m - 2. Let h be r(1). Let s = h + f. Does 5 divide s?
False
Suppose s = -4*s. Suppose 5*k = -s*k + 25. Suppose k*a + 2*n = a + 32, n + 54 = 5*a. Is a a multiple of 3?
False
Suppose 3*b + 141 = 3*q, -q + 2*b - 53 = -2*q. Suppose -q = 3*i + 35. Let o = i + 51. Does 8 divide o?
False
Is 11 a factor of (612/8 - (-2)/4)/1?
True
Suppose -87 = 4*m - 7*m. Is m a multiple of 18?
False
Suppose 2*r + 3*r - 250 = 0. Does 10 divide r?
True
Let m be 3/(-2)*(-44)/6. Suppose -m = -3*k + 25. Is k a multiple of 4?
True
Let i(o) = o**3 + 5*o**2 - 2*o + 4. Let x be i(-4). Let d = 57 - x. Is d a multiple of 8?
False
Is 8 a factor of -20*((-16)/(-10))/((-18)/27)?
True
Does 27 divide 618/12 + (-2)/(-4)?
False
Let g(z) be the second derivative of -5*z**3 + z**2/2 - z. Let h be (21/(-14))/(-3)*(-1 + -1). Is g(h) a multiple of 14?
False
Suppose 4*b - 2*b = -5*g + 352, 3*g - 2*b = 224. Does 18 divide g?
True
Let b = 15 - 4. Let f(t) = t**3 - 12*t**2 + 15*t - 14. Does 10 divide f(b)?
True
Suppose -4*k - 9 = 179. Let u = 32 + k. Let m = u - -28. Does 11 divide m?
False
Let j be (-42)/35*(-10)/4. Suppose -42 = 2*w - j*w + 5*p, 4*w - 2*p - 78 = 0. Does 7 divide w?
False
Suppose -10 = -5*l - 0*l. Does 8 divide 22 + (-1 - (l + -4))?
False
Let v be 4/30 - 64/30. Does 2 divide 2 + 3 + v + 0?
False
Let z = 4 + 2. Suppose -5*n = c - 95, -5*n + 2*c = z*c - 110. Is 9 a factor of n?
True
Suppose 3*s - 4*s - 40 = 0. Let f = s - -110. Suppose 3*k - f = -2*l, -3*k = l + 3*l - 140. Is 14 a factor of l?
False
Let b(j) = j + 13. Let d be b(-9). Suppose -3*u + d*u - 17 = 0. Does 8 divide u?
False
Let i(f) = 11*f**2 - 3. Is i(2) a multiple of 18?
False
Let f = 86 + -41. Is 12 a factor of f?
False
Let q(d) be the third derivative of -d**5/60 - d**4/4 + d**3/3 + d**2. Suppose -6 = f + b, -4*f - 2*b - 19 = 3. Is q(f) a multiple of 3?
False
Let a(t) = 2*t. Let r be a(1). Suppose r*k - 36 = 24. Is 7 a factor of k?
False
Let j(m) = m**2 - 6*m + 1. Suppose 3*k = 27 - 9. Let v be j(k). Is (v/(-3))/((-4)/60) a multiple of 2?
False
Suppose 0*n + 350 = 5*n. Suppose -4*b + 38 = -n. Suppose 0 = 4*d + 3*g - b, -7*d + 2*d = 4*g - 35. Is d even?
False
Let t(i) be the first derivative of 19*i**4/4 - 2*i**3/3 + i + 2. Does 15 divide t(1)?
False
Let u(z) = 2*z**3 - 5*z**2 + 2*z + 7. Is 7 a factor of u(4)?
True
Let q = -9 + 32. Let x = -8 + q. Is x a multiple of 5?
True
Suppose 5*f - 10 - 15 = 0. Let j = f + -2. Does 13 divide (-82)/(-6) - 2/j?
True
Let y(a) = -2*a + 6. Let f be y(-8). Let k = f - -11. Does 12 divide k?
False
Let t = 13 - 8. Suppose 3*i + 56 = 2*m + 7*i, -2*m + t*i = -83. Is m a multiple of 17?
True
Suppose -4 = 2*f - 8. Suppose 2*c + 46 = f*g - 0*g, 0 = -4*g + 5*c + 97. Is g a multiple of 18?
True
Let g = -30 - -12. Suppose -u + 3*u = 100. Let s = u + g. Is 16 a factor of s?
True
Suppose -354 = -2*k - 4*k. Is k a multiple of 23?
False
Let a(b) = -b**3 - 6*b**2 + 3. Let f be a(-6). Suppose -f*j = j - 272. Is 28 a factor of j?
False
Let c be 1 + 10 - 0/2. Let u = 87 + -36. Suppose 2*v + c = u. Does 10 divide v?
True
Let k(v) = v - 12 - v**2 + 2*v**2 + 13. Is 17 a factor of k(4)?
False
Suppose 52 = 5*v - 98. Does 4 divide v?
False
Suppose c - 1 = f, -c - 9 = f - 4*f. Is 4 a factor of c?
False
Does 11 divide (-1 + 3)*66/4?
True
Suppose 0 = -2*d - 2*d + 8. Suppose -2*l - l = d*n - 59, -n = l - 21. Let y = l - 2. Is 7 a factor of y?
False
Let o = 3 + 1. Let w(n) = 3*n**2 + 2*n - 5. Is 16 a factor of w(o)?
False
Let k(n) = 15*n**2 + n - 1. Let w be k(1). Suppose g - 5*l = -0*g + 15, -g + w = 3*l. Does 15 divide g?
True
Let v = -22 - -110. Let j = v + -55. Is 11 a factor of j?
True
Let w = -6781 - -10321. Suppose 0 = 2*h - 5*h - w. Does 12 divide h/(-35) + (-4)/(-14)?
False
Let m(x) = 7*x**2 - 2*x**2 - x**2 + x - 3*x**2 + 6. Let z(n) = n**3 + 4*n**2 - n - 4. Let k be z(-4). Is m(k) a multiple of 6?
True
Let n(l) = -7*l. Let c be n(-3). Suppose z + 3*g = -z + 41, z = -2*g + c. Is 19 a factor of z?
True
Let b = -132 + 250. Does 18 divide b?
False
Let k(c) = c**3 - 4*c**2 + c. Let i be k(2). Is ((-38)/i)/(7/21) a multiple of 13?
False
Let p(t) = -t**2 - 7*t + 7. Does 7 divide p(-7)?
True
Suppose -4*f = f. Suppose -4*s + f*s + 104 = 0. Is 14 a factor of s?
False
Let d = -45 + 9. Let g(h) = -8*h**3 - h**2. Let u be g(-2). Let w = d + u. Is w a multiple of 11?
False
Suppose 5*g - 2 - 54 = -4*w, 2*w - 34 = -3*g. Does 12 divide g?
True
Suppose -5*n + 15 = t, -t = -3*n - 1 + 10. Suppose b - 35 - 30 = t. Is 13 a factor of b?
True
Let k(s) = -s**3 - s**2 + s + 53. Suppose -4*m - 4*u = 0, 0 = -2*m + 3*m - u. Is k(m) a multiple of 14?
False
Suppose -v = 4*h - 2*v - 67, -h + 10 = 2*v. Is 6 a factor of h?
False
Let q(j) = 6*j**3 + 3*j**2 + 3*j + 1. Let d be q(-2). Let u = d - -70. Is 13 a factor of u?
False
Suppose 0 = -5*m - 5*i + 960, 4*m + 768 = 8*m - 2*i. Is 16 a factor of m?
True
Let g be 1*(-3)/(-6)*-2. Does 2 divide 4*(2 + g/2)?
True
Suppose 2*t + f = -4*f + 114, 5*t - 285 = -5*f. Does 30 divide t?
False
Suppose 6*b = 5*b. Suppose 3*q - s - 93