4*k + g, 2*k - 5 = a. Let o = k + 9. Does 13 divide o?
True
Let b = -13 - -6. Let g(r) = r**3 + 6*r**2 - 8*r + 8. Let x be g(b). Suppose 0 = -4*w + 203 - x. Does 15 divide w?
False
Let w be 3/(-12) - (-2)/8. Let n = w + 1. Is 5 a factor of n*15*(-8)/(-12)?
True
Let w = 2 - -6. Suppose 0*f - 2*f = -w. Is -1*(-22)/f*4 a multiple of 6?
False
Is (-3 - (-452)/(-12))*3/(-2) a multiple of 6?
False
Let m be (-1)/4 - (-14)/(-8). Let x = 13 - m. Let d = x - -5. Does 8 divide d?
False
Let j be 3/(-3)*-2 + 2. Suppose m - 5*u + 43 = 2*m, -2*m = j*u - 116. Is 17 a factor of m?
True
Suppose 2*j + 2*z = z - 15, 5*j = -2*z - 39. Suppose -2*k - 34 = 12. Let s = j - k. Is s a multiple of 7?
True
Is 43 a factor of ((-196)/(-6))/(3/18)?
False
Suppose 160 = 2*j - 5*l, -2*j - 1 + 141 = 5*l. Does 12 divide j?
False
Suppose 4 = 4*p, -5 = 4*b + p - 6. Let q be 2 - ((b - 0) + -1). Let g(x) = 14*x - 3. Is g(q) a multiple of 14?
False
Let b = 20 - 33. Is 11 a factor of ((-2)/(-6))/(b/(-2145))?
True
Let y = 17 - 9. Suppose -y = -5*k + 2. Suppose -k*t - 2*t = -16. Is t a multiple of 3?
False
Suppose 0 = 7*k - 2*k - 495. Does 33 divide k?
True
Let r(a) = 10*a - 57. Suppose 22 = -5*j - 13. Let h(o) = -7*o + 38. Let y(q) = j*h(q) - 5*r(q). Is y(10) a multiple of 9?
True
Suppose -3*m + 1 = -8. Suppose 61*n = 57*n - 52. Let i = m - n. Does 8 divide i?
True
Let v be (-3)/((-3)/2) + 2. Suppose -2*l = -v*l. Suppose 2*s + p + 25 = 3*s, l = 2*s + 2*p - 58. Does 11 divide s?
False
Let g be (-1 + 1 - 0)/(-2). Let m = 3 - g. Suppose 3*n - 21 = m. Is n a multiple of 3?
False
Let w be 9/5 + 2/10. Let s be (-2 + w)/(6/(-3)). Suppose -x - 1 = -s*x + 2*g, 3*x = 4*g + 27. Does 5 divide x?
True
Let p(m) = -9*m**2 + 5*m - 11. Let c(b) = 4*b**2 - 2*b + 5. Let a(y) = 5*c(y) + 2*p(y). Is a(3) a multiple of 8?
False
Let y = 11 + -7. Suppose y*u - 60 = 28. Is u a multiple of 11?
True
Let q = -108 - -125. Is 17 a factor of q?
True
Suppose 0 = 105*u - 107*u + 384. Is 32 a factor of u?
True
Suppose -m + 0*m + 3*o + 11 = 0, 3*o - 5 = 5*m. Let z = m - -8. Suppose -d + 180 = 4*k, -2*k - k - z*d = -135. Does 16 divide k?
False
Let b(f) = -10*f. Let t be (-1)/(-2)*(-4 - 0). Is b(t) a multiple of 6?
False
Suppose -98 - 17 = -t + v, 4*v = t - 106. Is t a multiple of 35?
False
Let i(b) = -b**3 - 12*b**2 + 13*b + 8. Let g be i(-13). Let a = g - 1. Is a a multiple of 7?
True
Let k(y) = -y + 1. Let l(t) = 4*t - 2. Let g(x) = -5*k(x) - l(x). Suppose -5*r - 14 = -54. Does 5 divide g(r)?
True
Let a = 102 + -24. Is a a multiple of 13?
True
Let o = -169 + 218. Is 5 a factor of o?
False
Is 7 a factor of 116/12 - 16/(-12)?
False
Suppose 0 = -5*v, 0*p = -2*p - 5*v + 120. Is p a multiple of 10?
True
Let v(l) = -41*l + 33. Does 13 divide v(-3)?
True
Suppose -9 = -h + u + 28, -4*h + 2*u + 154 = 0. Suppose -5*o - x - 2*x + 164 = 0, -3*x - h = -o. Is 15 a factor of o?
False
Let f be (-32)/(0 + 0 - 1). Let m = -52 + f. Let u = m + 33. Does 13 divide u?
True
Let l(m) = -5*m - 5. Let y(v) = 4*v + 6. Let f(g) = 6*l(g) + 5*y(g). Let b = -14 + 13. Is 5 a factor of f(b)?
True
Let h be (105/25)/((-1)/5). Let d = 29 + h. Is d a multiple of 5?
False
Let h = -3 - -5. Suppose -84 = -h*m + 4. Does 22 divide m?
True
Let j(t) = 48*t + 3. Is j(1) a multiple of 22?
False
Let t(x) = 6*x - 8. Let q(f) = -19*f + 25. Let r(u) = 3*q(u) + 8*t(u). Is r(-8) a multiple of 25?
False
Let i = -9 - -7. Let d(u) = 0*u**2 + u - 2*u + 2*u**2. Is 4 a factor of d(i)?
False
Let g be 2*1 - (4 + -52). Let l = g + -25. Does 25 divide l?
True
Let o be (15/(-10))/(1/(-2)). Let a be 2 - (-1)/(-1)*-2. Suppose -3*d + a*v = -32, -o*d = -6*d + 3*v + 27. Is d even?
True
Is 2 a factor of 1/(15/168) + (-1)/5?
False
Suppose -30 = -3*h + 3*o, -o - 7 = -2. Suppose 0*i = -2*n - h*i + 19, 2*n - 3*i = -5. Is 2 a factor of n?
True
Suppose 2*l = 6*l + z + 13, -5 = 2*l - z. Let m be l/((14/(-12))/7). Suppose -3*q - 2*r = -48, -3*q + 48 = -4*r + m. Is q a multiple of 7?
True
Suppose v + v = 232. Suppose 74 = 5*x - v. Does 14 divide x?
False
Let g be ((-16)/(-12))/(4/(-18)). Is 17 a factor of (-61)/(-2) + 3/g?
False
Suppose 5*x - 450 = j - 34, -x + 64 = -5*j. Let h = x - 222. Is 20 a factor of 2/7 - h/7?
True
Let i(c) = -58*c + 11. Does 15 divide i(-5)?
False
Let i(f) = 27*f**3 + 6*f**2 - f + 4. Let r(d) = d**2 + 1. Let j(y) = i(y) - 4*r(y). Suppose -4 = 4*l - 0*l, 5*l = -2*o - 3. Is j(o) a multiple of 12?
False
Let q(b) = b**2 + 1. Let w(m) = 11*m**3 - m**2 + m - 1. Let g(x) = q(x) + w(x). Let n be g(1). Let i = n + -2. Is i a multiple of 10?
True
Let p be 2632/60 - (-4)/30. Suppose -3*v + 158 = p. Does 20 divide v?
False
Let w be (4 + -3)/(2/(-62)). Let j = w + 17. Is ((-12)/j)/(3/63) a multiple of 9?
True
Let d(t) = -t**3 + 7*t**2 + 5*t. Let a(r) = -r**2 - r. Let h(m) = 4*a(m) + d(m). Let l be h(3). Let g(n) = n**2 - 2*n + 2. Does 3 divide g(l)?
False
Let a be (-14 - -12) + (-1 - 1). Is 2 a factor of -2 - -6*a/(-6)?
True
Let t = 253 + -164. Does 34 divide t?
False
Suppose 2*a - 26 = -3*j - j, j = -4*a + 17. Suppose 0 = -2*m - a*z + 1016, -2*m - z + 1016 = -6*z. Does 15 divide 4/(-18) - m/(-18)?
False
Let h(f) be the third derivative of -f**5/60 + 11*f**4/24 + f**3/2 + 2*f**2. Is 16 a factor of h(7)?
False
Let l = -5 + 10. Suppose 0 = 3*b + l - 14. Is b/(3/2) - -21 a multiple of 11?
False
Suppose 543 = 11*n - 51. Does 9 divide n?
True
Let v = -2 + -4. Let b(n) = -n**3 - 5*n**2 + 6*n. Let i be b(v). Suppose 3*a - 49 - 35 = i. Is 11 a factor of a?
False
Is 7 a factor of 10/(2/6*1)?
False
Let p be 3 + 1 + 0 + -1. Suppose -p*a + 6 = -a. Suppose 3*h - 51 = -a*m - 0*m, -90 = -5*m - 4*h. Does 9 divide m?
False
Is 0 - (-50 + 3) - -3 a multiple of 10?
True
Suppose -3*z - z = -24. Let c be 2 + 4/z*-3. Let w = 4 + c. Does 3 divide w?
False
Let q be (54/5)/((-1)/((-10)/4)). Suppose -2*c + 49 = 3*c - 4*d, 2*c - 42 = -4*d. Let z = q - c. Does 7 divide z?
True
Let n = 65 + -38. Let q = n + -9. Does 4 divide q?
False
Let x(d) = 141*d + 2. Let r(o) = -211*o - 3. Let f(s) = -5*r(s) - 7*x(s). Does 23 divide f(1)?
True
Let r be (1/4)/(6/120). Suppose -r*w + 44 + 1 = 0. Is w a multiple of 9?
True
Let p be 7/(-3) + 4/(-6). Is (-339)/(-15) - p/(-5) a multiple of 11?
True
Suppose -x + 36 = -t - t, -5*t - 110 = -3*x. Is 20 a factor of x?
True
Let t(g) = -208*g. Does 30 divide t(-1)?
False
Suppose 124 = 6*p - 4*p. Is 31 a factor of p?
True
Suppose 0 = -2*g - 13 + 763. Suppose -5*j + g = -0*j. Is 32 a factor of j?
False
Suppose -8*h + 132 = -2*h. Does 17 divide h?
False
Let c = 35 + -17. Suppose 0 = 4*k - 2 - c. Suppose -5*h + y + 4*y + 105 = 0, -4*h - k*y + 39 = 0. Is h a multiple of 16?
True
Let m = -7 + 8. Is 21 a factor of -1 + 3 + 19*m?
True
Is 1/((((-2)/(-1))/26)/3) a multiple of 8?
False
Suppose -5*s + 61 = 2*a, a = -s - 2*a + 7. Does 6 divide s?
False
Suppose -3*w + 7 = -8. Suppose 0 = w*d - 10. Does 2 divide d?
True
Let u be 4/2 - (1 + 1). Suppose 5*n = -u*n + 140. Does 28 divide n?
True
Suppose 3*d = 31 + 68. Does 11 divide d?
True
Let g(w) = 10*w - 27. Is 13 a factor of g(12)?
False
Suppose 0 = -2*t + 6 + 14. Suppose -6*c + c - t = 0. Let r(p) = -2*p. Is 3 a factor of r(c)?
False
Let q = 37 - 3. Does 34 divide q?
True
Let d = 248 - 66. Is d a multiple of 13?
True
Let i = -11 + 7. Is 7 a factor of ((-6)/i)/((-8)/(-48))?
False
Let v be (-1)/(-6) + 236/24. Suppose 5*d = -v, 2*q + q + 5*d = 170. Is 15 a factor of q?
True
Let n(u) = -13*u + 60. Does 54 divide n(-12)?
True
Let j = 141 + -71. Is 22 a factor of j?
False
Let r = 109 - 2. Is 13 a factor of r?
False
Suppose -3*l + 54 = 3*x - 2*l, x + 4*l = 29. Is x a multiple of 13?
False
Suppose 0 = 4*d - l - 19 + 5, -3*l = 2*d - 14. Is 4 a factor of d?
True
Let v = -4 + 8. Suppose v = 2*c - 24. Does 9 divide c?
False
Suppose -8*h + 18*h - 2700 = 0. Does 17 divide h?
False
Let p(f) = 5*f**2 + 2*f - 6. Does 34 divide p(-5)?
False
Suppose 2*k + 0*k - 30 = 0. Is k a multiple of 5?
True
Is 58*(-25)/4*6/(-15) a multiple of 9?
False
Suppose -5*l - 20 = 0, 4*l - 52 = -4*s + l. Does 3 divide s?
False
Let a = 160 - 103. Is 57 a factor of a?
True
Suppose 2*p = -3*y - 11, 0*y - y - 2*p + 3 = 0. Does 2 divide (1 + -2)/1*y?
False
Let l be (60/25)/((-6)/(-160)). Suppose 2*g + l = 2*f, 7*g - 4*g + 66 = 2*f. Is f a multiple of 14?
False
Let q(t) = 2*t + 81. Does 19 div