0?
False
Suppose 0 = -m + 8 - 3. Suppose 4*g = -12, -m*b + 0*b - 3*g + 1 = 0. Is 10 a factor of b/2 + 1 + 8?
True
Suppose 2*z + 397 = 5*u - 36, -3*u + 271 = -4*z. Is u a multiple of 29?
False
Let q be (-2)/11 + (-79)/(-11). Let k = -10 + q. Let w(d) = -4*d. Is 11 a factor of w(k)?
False
Let g(l) = l + 8. Let o be g(-7). Let a be (-2 - -3)/o - -12. Suppose -q = -3*r - 2, 4*r + a = 33. Does 6 divide q?
False
Let o(k) = k**3 + 2*k**2 - 5*k - 2. Let x be o(-3). Suppose t + x*t - 102 = -4*p, -3*t = 3*p - 60. Does 11 divide t?
True
Let d(l) = -21*l - 6. Let f be d(-4). Let j = f + -53. Suppose -4*o + j = o. Does 5 divide o?
True
Let b be 9/(-18)*(1 - 1). Suppose b = 5*q - 921 - 819. Suppose -4*d = 128 - q. Is 14 a factor of d?
False
Let p = -197 - -288. Is 7 a factor of p?
True
Let f = 34 + -107. Let m = 131 + f. Let q = -28 + m. Is q a multiple of 14?
False
Suppose -z - 1 + 0 = 0. Let l(v) = -9*v**2 - v - 1. Let b be l(z). Does 11 divide (46 - -2)/(b/(-6))?
False
Suppose -3*s = s - 672. Suppose 0 = -5*u + 67 + s. Is u a multiple of 16?
False
Suppose 4 = -w - 4. Let v = -4 - w. Is v a multiple of 2?
True
Let d = 65 - 24. Suppose 0 = -2*c - 3*j + d, -j = 3*c - 2*c - 18. Is 10 a factor of c?
False
Let q(o) = 1 - o**3 + 13*o + 3 - o + 8*o**2 - 1. Is 15 a factor of q(9)?
True
Let k = 89 - 46. Is k a multiple of 14?
False
Let c(d) = -2 + 6*d + d**2 - 15*d - 2*d**2. Is c(-6) a multiple of 10?
False
Let n be ((-17)/(-2))/((-1)/(-2)). Let q = 9 + n. Is q a multiple of 23?
False
Let p = 94 - 28. Is 5 a factor of p?
False
Suppose 4*a - 90 = a. Suppose 2*t + a = 108. Is 13 a factor of t?
True
Let f = -48 - -92. Is f a multiple of 22?
True
Let x(n) = -3*n + 2. Let s be (-27)/(-6) - (-1)/(-2). Suppose 0 = -0*v + 2*v + s. Is x(v) a multiple of 5?
False
Suppose h = y + 6, 6*y + 3*h = 2*y - 31. Let o(m) = -m**3 - 7*m**2 + m + 4. Let w be o(y). Let a = 1 - w. Does 2 divide a?
True
Let t = 374 + -202. Suppose -5*d + u = -t, -7*d + 5*u = -3*d - 125. Is 15 a factor of d?
False
Let u(g) = -g**3 + 7*g**2 - 4*g + 2. Suppose -3*q = -2*w - 10, -2*q - w + 16 + 0 = 0. Is u(q) a multiple of 3?
False
Let n be (-6)/(-39) + 200/52. Let w(h) = 4 - 3 - n - h + 2. Is w(-8) a multiple of 7?
True
Let q be (-279)/12 - (-2)/8. Let c = q - -57. Let o = 56 - c. Does 22 divide o?
True
Let r(w) = -w**2 - 13*w + 3. Let b be r(-13). Suppose 3*u = -b*g + 81, -12 = -4*g + 3*g + 2*u. Is g a multiple of 11?
True
Suppose -6*q + 3*q = -12. Suppose -3*u + 0*u = -2*x + 16, -q*u - 3 = x. Is x a multiple of 5?
True
Let s be 8/6 + (-4)/(-6). Let k = 8 - s. Is k/((-1)/(-3)*3) a multiple of 6?
True
Suppose -a - a = -4. Suppose a*b = b + 9. Is b even?
False
Suppose -3*w = 2*w - 330. Does 33 divide w?
True
Suppose 5 + 1 = -j. Is j/(-9)*(-126)/(-4) a multiple of 21?
True
Let d = -11 + 31. Suppose 2*b + d = -3*o + 149, -b + o + 57 = 0. Is 20 a factor of b?
True
Let d = -27 - -34. Does 7 divide d?
True
Let f(i) = -1 + 7*i**2 + 3 - 9*i**3 + 0 + 8*i**3 - 5*i. Does 15 divide f(5)?
False
Suppose -4*i + 2*i = 0. Let v(c) = c**2 - 2*c + 11 + 3*c - 3. Is v(i) a multiple of 8?
True
Is (-3)/(-7) - (-585)/7 a multiple of 10?
False
Suppose -3 = u - 7. Suppose -u*f = -3*f - 28. Does 14 divide f?
True
Suppose 0 = 4*a - 5 + 17. Is (-3)/(a + 2) + 4 a multiple of 7?
True
Let n(z) = 10*z - 27. Does 13 divide n(6)?
False
Does 16 divide -3 + 1 - (-83)/1?
False
Let j(c) = c**2 - 24*c + 24. Let n be j(16). Let i = n + 175. Does 18 divide i?
False
Suppose 0 = -4*w + 4, 0 = i - 0*w - 4*w + 3. Let j(b) = 3*b - i - b + 2. Is 17 a factor of j(10)?
False
Suppose -6*q = -2*q + 124. Let r = 53 + q. Does 10 divide r?
False
Suppose 5*n - 40 = 3*n. Suppose -5 = -3*k - 5*o + 3, k = 4*o - n. Let p(m) = 2*m**2 + m + 3. Is 8 a factor of p(k)?
False
Let h = 0 + 25. Let s = h + 7. Does 7 divide s?
False
Let j = -57 + 96. Does 8 divide j?
False
Let q(x) = 1. Let p(t) = t - 2. Let y(k) = -5*p(k) - 6*q(k). Is y(-6) a multiple of 17?
True
Let a be (12/(-10))/(9/120). Let x = -10 - a. Is x/15 + (-692)/(-20) a multiple of 13?
False
Let d = 30 - 18. Is 6 a factor of d?
True
Suppose -5*y - 4*m + 25 = 0, -y + 4*y + 2*m = 15. Suppose 2*d + 4*l + y = 1, 5*d + 2*l = 22. Is d a multiple of 3?
True
Let d be 4 - -2*1/2. Suppose -3*s - d*k + k = -54, 0 = -3*k. Is 9 a factor of s?
True
Suppose 3*w + 25 = 4*h, -3*w + 3*h - 29 = -2*h. Let i be (-106)/w - 3/9. Suppose -3*a = -13 - i. Does 16 divide a?
True
Suppose 6 = 3*c, 0 = 5*g - c + 5*c - 178. Is 17 a factor of g?
True
Let p = 10 - 9. Does 4 divide (p - -23)*3/6?
True
Let g = 1 - -1. Suppose -g*z = 5 - 37. Suppose -3*f + 52 = 5*r, 4*r + 2*f - z = 3*r. Is 6 a factor of r?
False
Let b(z) = -6*z**3 + 5*z**3 - 1 - 2 - 5*z**2 - 6*z. Does 4 divide b(-4)?
False
Suppose 0 = -2*i + 38 + 64. Let d = -29 + i. Is d a multiple of 7?
False
Let p(q) = 13*q**2 - 5*q - 2. Does 10 divide p(4)?
False
Let d be (-20)/(-16)*(-2 - -6). Suppose 6*r = d*r + 34. Does 23 divide r?
False
Is 9 a factor of 2/4 - (-164)/8?
False
Suppose 4*c = 2*b + 70, -2*b = -6*c + c + 88. Does 6 divide c?
True
Suppose -q - n - n = -87, -67 = -q + 2*n. Let r = q + -1. Does 25 divide r?
False
Let m = 2 + 30. Does 16 divide m?
True
Suppose 59 = b - 12*a + 7*a, 2*a + 410 = 5*b. Is b a multiple of 7?
True
Let y = -107 + 200. Suppose 3*t = 4*d + y, 97 = -4*d - t - 0*t. Let r = d + 40. Is r a multiple of 10?
False
Let l = 15 + -13. Suppose -l*n = 3*n - 100. Is 7 a factor of n?
False
Suppose 5*c - 7*c = -16. Does 5 divide c?
False
Let v = -9 + 20. Let b = v + 1. Does 4 divide b?
True
Let d = -16 + 19. Suppose -4*c + 2*t - 133 = -365, -3*c + 174 = d*t. Is 16 a factor of c?
False
Let g be 3/9 - (-2)/3. Let v be (114/12)/(g/(-2)). Let b = -7 - v. Is 4 a factor of b?
True
Suppose 1176 = 4*u + x, -5*u = -7*x + 11*x - 1470. Is u a multiple of 49?
True
Let b be 74/6 + (-2)/6. Suppose -b = 2*l - 4, -4*q + 132 = -3*l. Is q a multiple of 15?
True
Let w(c) = c**3 - 3*c**2 - c - 7. Suppose 2*m + 4*y - y = 25, 0 = 5*m - y - 20. Is 13 a factor of w(m)?
False
Let k(d) = -2*d - 1. Let r(a) = a - 13. Let u be -3*5*(-16)/24. Let c be r(u). Does 5 divide k(c)?
True
Let p be -3 + (-1 - -1) + -150. Let d = -74 - p. Is d a multiple of 16?
False
Suppose b - 4*y = 98 - 14, 3*y - 6 = 0. Does 24 divide b?
False
Let k be (-14 - 1)/((-2)/4). Suppose h - 4*h + k = 0. Is h a multiple of 5?
True
Let u(x) = -x**3 - 10*x**2 - 9*x + 4. Let v be u(-9). Let y = 11 - v. Is y a multiple of 5?
False
Let i(b) = -b**2. Let f(s) = -s**2 - 7*s + 7. Let h(c) = f(c) - 3*i(c). Does 17 divide h(6)?
False
Suppose -158 = -2*h - 0*h. Let z = h + 7. Suppose 3*b - n + 15 = 164, -2*n + z = 2*b. Does 20 divide b?
False
Suppose q = -q - 4. Is (-3)/(-3)*(q - -44) a multiple of 12?
False
Let o = 3 + -4. Let j = o + 3. Suppose j*a - 6 - 6 = 0. Does 6 divide a?
True
Is (-6)/(-8) - 81/(-4) a multiple of 20?
False
Suppose -2*p - 48 = -6*p - 2*r, 22 = p + 3*r. Suppose a - 6*a + p = 0. Suppose 5*u + a*x - 58 = 0, 5*x - 40 = -4*u + 2*u. Is u a multiple of 5?
True
Let w be (-2)/(-3) - 10/15. Suppose 2*g + 4 = -w*g. Let q(v) = -10*v. Is q(g) a multiple of 8?
False
Let z = 182 - 78. Does 32 divide z?
False
Let i be (-6)/4*(-40)/15. Suppose i*a - 70 = -3*x, 5*a = -4*x + 8*x + 72. Is 6 a factor of a?
False
Suppose 0 = 2*z + z - 105. Is z a multiple of 7?
True
Suppose -5*p + 11 = -9. Suppose -5*y + 49 = -0*a + p*a, -4*y = a - 26. Is a a multiple of 3?
True
Let n(y) be the first derivative of -5*y**2/2 - 6. Is n(-8) a multiple of 20?
True
Let q(c) = 12*c + 4. Is 13 a factor of q(5)?
False
Suppose -3 - 30 = -3*a. Let q(v) = -v**3 + 12*v**2 - 10*v - 6. Is 3 a factor of q(a)?
False
Suppose o + 4*h - 10 = -2*o, -h = o - 3. Suppose -3*q + 3*s = -60, 4*q + o*s - 73 = -s. Is 19 a factor of q?
True
Let b(o) = -o**3 + o**2. Let f = -1 - -1. Let j be b(f). Suppose -3*c + 23 = p, j = -2*p + c + c + 30. Is p a multiple of 17?
True
Suppose -4*q + 0*q + 32 = -4*k, -5*k - q = 16. Let r(z) = -2*z - z**3 - 7*z**2 - z**3 - 2*z. Does 11 divide r(k)?
False
Suppose -12 = -v + 5. Let n = 3 - 1. Suppose -v = n*r - 109. Does 13 divide r?
False
Let p be 5*((-16)/(-10) + 0). Let n = p + 8. Suppose x = n + 22. Is 19 a factor of x?
True
Is 5/(-10) - -1 - 57/(-2) a multiple of 6?
False
Does 3 divide -2 + (0 - -5) + 9?
True
Let l = 57 - -81. Is l a multiple of