-79)/(-3) - u/(-3)?
True
Let g = -5 - -7. Does 13 divide (-1 + (-11)/g)*-6?
True
Suppose -18 = 2*d + 178. Let z = d + 138. Is z a multiple of 12?
False
Suppose 3*o - 3*m = -2*m + 354, -360 = -3*o - m. Is o a multiple of 17?
True
Suppose 2*v = 79 + 41. Let j(a) = -3*a - a**2 + 0*a + a**3 + v + 2*a. Is j(0) a multiple of 20?
True
Suppose -2*x + 68 + 54 = 0. Let o = -8 + x. Is 14 a factor of o?
False
Suppose t + 3*a = 33, 3*a - 165 = -5*t - a. Does 9 divide t?
False
Suppose 81 = -2*a + 5*a. Let l(w) = 2 - 2 + 2*w - 1 + a*w**2. Is 14 a factor of l(1)?
True
Suppose -4*r + 0*d - 165 = d, -r - 42 = d. Let u = 66 + r. Suppose 0 = -2*j - 0*j - 2*i + 50, 5*i + u = 0. Is 15 a factor of j?
True
Let w(v) = 2*v - 6. Let m be w(4). Suppose -m*x = -4*t - 80, -2*t - 20 = 3*t. Does 22 divide x?
False
Does 18 divide (8/(-3) + 3)/(2/414)?
False
Suppose k - 5 = 1. Let s be (-3)/2 - 45/k. Is (-2)/s + (-237)/(-27) a multiple of 3?
True
Let p be (-6071)/(-65) - (-2)/(-5). Let z = 161 - p. Is z a multiple of 14?
False
Suppose 0 = -5*y - 15, 13 = d + 3*y - 24. Is 23 a factor of d?
True
Suppose 0 = -0*n + n - 62. Is n a multiple of 9?
False
Let k = -47 + 91. Let b = 21 - k. Let j = -6 - b. Does 17 divide j?
True
Suppose 7*z = 284 + 1074. Is 33 a factor of z?
False
Let y(a) = -a**3 + 9*a**2 + a - 14. Is 8 a factor of y(4)?
False
Let i(q) = -1. Let u(y) = -13*y + 3. Let v(r) = -2*i(r) - u(r). Is v(2) a multiple of 15?
False
Suppose 10*q = 5*q + 240. Does 16 divide q?
True
Suppose -5*h + 44 + 31 = 0. Is 4 a factor of h?
False
Let i be 180/75*30/4. Suppose 5*m - i = 4*m + 4*f, 4*m - 5*f - 83 = 0. Does 11 divide m?
True
Suppose 5*l = -4*q - 0*l - 8, q = 5*l + 23. Suppose h - 4*u - 16 = 0, 0*h + 42 = 2*h - q*u. Is 8 a factor of h?
True
Is 5 a factor of ((-592)/24)/(2/(-3))?
False
Let w = 92 + -15. Does 32 divide w?
False
Let p be 0 - (-2 + (2 - 0)). Suppose p*s + 27 = 3*s + 3*y, -4*s = -2*y - 54. Is 6 a factor of s?
True
Suppose -p + 5*j - 3*j = 246, 4*j - 736 = 3*p. Let d be (-1)/(-4) + p/16. Is (d/(-1))/3 + -1 a multiple of 3?
False
Let o(j) = -j**3 - 8*j**2 + 9*j - 5. Let d be o(-8). Let n = -40 - d. Is n a multiple of 14?
False
Let z be (-9)/(-36) + 15/4. Suppose -z*l = l - 315. Does 12 divide l?
False
Let f(j) = 35*j - 1. Let w be f(3). Suppose -4*m = -q - w, 0 = q - 1 + 5. Is 12 a factor of m?
False
Let a = 3 + -3. Suppose t + 1 - 8 = a. Does 7 divide t?
True
Let z be (-2 + 1)/(-1 + 0). Is z*-2 - 39/(-3) a multiple of 10?
False
Is 24 a factor of (-103)/(4/(-2) - -1)?
False
Let j = -73 + 104. Is 15 a factor of j?
False
Suppose m + 188 = -m. Let t = 234 + m. Suppose -t = -3*p - 38. Does 10 divide p?
False
Let r = 4 - 2. Suppose 20 = -x + 6*x. Suppose r = x*t - 3*t. Does 2 divide t?
True
Suppose f + 211 = 2*n, -5*n + f + 316 = -2*n. Suppose -s - 4*s = -n. Does 5 divide s?
False
Suppose 0 = -3*c - 5*s - 5, 4*s = -2*c - 5 - 1. Suppose 5*l + 32 = 2*m, -29 = c*l - m + 2*m. Is 42 - -3*4/l a multiple of 20?
True
Does 2 divide (10/4)/((-5)/(-12))?
True
Let c be -3*((-1 - -7) + -3). Let p be c/(-6) + 1/2. Suppose 3 = p*i - 7. Is 5 a factor of i?
True
Is 3/(12/8)*16 a multiple of 29?
False
Suppose 175 + 19 = 2*j. Does 43 divide j?
False
Let f = 65 + -99. Let m(o) = -o**3 - 2*o**2 - 2*o - 1. Let b be m(-2). Does 10 divide (-2)/b*(f - 2)?
False
Let u(z) = z**2 + 10*z + 10. Is u(-10) a multiple of 10?
True
Let a(j) = 2*j + 30*j + 4 - 4*j. Let x be a(3). Suppose -5*v = -v - x. Is 11 a factor of v?
True
Is (-1487)/(-5) + (-24)/(-40) a multiple of 45?
False
Suppose -2*d + 405 = d. Suppose d = 3*f - 0*f. Does 15 divide f?
True
Let g(c) = c - 7. Let b be g(7). Suppose 0*v - 2*v = b. Suppose 2*u - 3*u + 11 = v. Does 11 divide u?
True
Let y(s) = s**3 + 7*s**2 - 4*s + 3. Suppose 3*i + 34 = -4*v, 2*v + 5 = 5*i + 1. Is y(v) a multiple of 9?
False
Let g be (1 - 6)*11/(-5). Let m = g - 1. Is m a multiple of 6?
False
Suppose k = -11 + 3. Let m be k/6 + 1/3. Does 23 divide 126/(-3)*(m + 0)?
False
Let t(y) = -y**3 - 14*y**2 - 14*y - 8. Let g be t(-13). Let v = g + 0. Is v even?
False
Suppose 5*u - 100 = 270. Let i = -121 - -86. Let l = u + i. Does 13 divide l?
True
Let c = 9 - -20. Is 4 a factor of c?
False
Suppose 0 = -i + w - 6*w + 229, 2*i - 447 = w. Suppose -3*r - 4*d = -141, -2*r + 7*r = -3*d + i. Is 11 a factor of r?
False
Suppose 0 = -3*h + 4*h - 5*g + 26, 2*h - 2*g + 20 = 0. Let s = h - -17. Is 11 a factor of s?
True
Suppose 3*d + 2*x + 12 = 4*d, 4*d + 2*x = -2. Suppose 19 = -m + d*m. Let a = m + 3. Is a a multiple of 12?
False
Suppose 0 = -5*g + 3*g - 2. Let p = g - -6. Suppose -3*a = -20 + p. Is a a multiple of 5?
True
Let h be ((-2)/4)/((-1)/(-4)). Let w be ((-2)/1)/(4/14). Let i = h - w. Does 5 divide i?
True
Suppose 0*p = 2*p - 140. Suppose -2*k + 0*k = 72. Let n = p + k. Is 16 a factor of n?
False
Let w(z) = z**3 - 6*z**2 - 4*z - 3. Is w(7) a multiple of 9?
True
Let f(v) = -5 - 7*v + 4 - 3*v**2 - 9. Let l(u) = -4*u**2 - 7*u - 9. Let r(t) = -3*f(t) + 2*l(t). Does 6 divide r(-8)?
False
Suppose 67 + 403 = 5*w. Is w a multiple of 30?
False
Let h = 1 - 1. Suppose -z + 3*v + 26 = 0, h*z + z - 30 = 4*v. Is 7 a factor of z?
True
Suppose -73 = 5*n - 2*k - 0, -5*k = 5. Let g = n - -11. Does 4 divide 6 + (g - 0) + 3?
False
Let l = 291 + -137. Let w = l - 98. Is 20 a factor of w?
False
Let g(c) = c - 3. Let z be g(-9). Does 2 divide ((-15)/z)/((-1)/(-4))?
False
Does 16 divide (-3)/5 + 972/20?
True
Let s = 4 + -15. Let g = 26 + s. Is 9 a factor of g?
False
Suppose 5*m - 5*l = 15, -2*m + m - 7 = -3*l. Is 8 a factor of m?
True
Suppose 3*w + 5*k = 50, -4*w - k = -52 - 26. Is 4 a factor of w?
True
Suppose -58 = -3*h + 4*i, 0*i + 2*i - 10 = 0. Suppose 2 = 4*f - h. Let g = f + 7. Does 11 divide g?
False
Suppose 10*k = 4*k. Suppose -d - 2 + 6 = 0. Suppose -d*c - f = -79, k = -0*c + 4*c + 4*f - 76. Does 8 divide c?
False
Let f = 22 - -29. Is f a multiple of 17?
True
Let g be (328/(-10))/((-4)/30). Is 6 a factor of 2/7 + g/21?
True
Suppose 6 = y + y. Suppose 18 = y*p - 2*p. Does 18 divide p?
True
Let o be -5 + (4 - 0) - -3. Suppose -o*a - 15 = a, 3 = j + 5*a. Does 13 divide j?
False
Let s be ((-53)/(-2))/((-1)/(-2)). Suppose 2*o = -3*t + s, -o - 3*t + 29 = -t. Is 10 a factor of o?
False
Let n be 9*3 + (3 - 1). Suppose 0 = 2*x - x - n. Is 13 a factor of x?
False
Let j = 11 - 7. Suppose -6*b + j*b + 96 = 0. Does 16 divide b?
True
Let d(g) be the first derivative of g**3/3 + 3*g**2 + 8*g - 1. Does 10 divide d(-8)?
False
Let w(j) = -j**3 + 2*j**2 + 3*j - 5. Let l be w(2). Suppose h - l - 9 = 0. Is 3 a factor of h?
False
Let i(f) be the first derivative of f**2 - 9*f + 2. Let o be i(10). Let n(r) = -r**3 + 11*r**2 + 15. Is n(o) a multiple of 6?
False
Let k be ((-36)/10)/((-3)/40). Suppose -2*l = 5*n - l - k, n - 6 = l. Does 9 divide n?
True
Let s be ((-990)/50)/(1/(-5)). Is 16 a factor of s/2 + (-2)/4?
False
Suppose 33 = x - 0*x. Suppose f - 103 = -3*h, 2*h + f = h + x. Does 13 divide h?
False
Let a be (-1)/1 + (7 - -12). Suppose a = 2*j - 16. Is 5 a factor of j?
False
Let d(r) = r**3 - 9*r**2 + 6*r - 2. Does 7 divide d(9)?
False
Suppose -w = 2*x - 138, -2*x + 162 = -0*x - 5*w. Does 11 divide x?
False
Is (78/5)/((-6)/(-15)) a multiple of 13?
True
Let i = -7 + 16. Suppose -2*h + i = -11. Suppose 2*g - h = 20. Is g a multiple of 5?
True
Is (4/6 + 9112/(-51))*-1 a multiple of 25?
False
Let u be (-3 - -83) + 0 + 2. Suppose 3*t - 4*p - 106 - 10 = 0, -2*t + u = 2*p. Suppose 4*o - t = o - c, 5*c - 5 = 0. Is o a multiple of 4?
False
Suppose 75 = 5*o - 20. Is o a multiple of 5?
False
Suppose 5*q - 705 + 255 = 0. Is q a multiple of 30?
True
Let i(k) = -k**2 - k - 1. Let n be i(-1). Let o(u) = -16*u + 1. Is o(n) a multiple of 11?
False
Let p be 4/6 - (-7)/3. Suppose -m = 5*a - 96, 2*a - 24 = -m - p*m. Is a a multiple of 10?
True
Does 7 divide (100/(-12))/(2/(-6))?
False
Let z = 256 + -40. Does 12 divide z?
True
Let q(b) = -9*b - 2*b + 0*b + 3 - 1. Does 23 divide q(-4)?
True
Suppose 101 + 259 = 6*d. Is 12 a factor of d?
True
Let d = 133 + -6. Is d a multiple of 27?
False
Let d(h) = -5*h**2 - 11*h - 18. Let c(g) = -6*g**2 - 11*g - 19. Suppose -4 - 8 = -2*y. Let j(k) = y*c(k) - 7*d(k). Is 12 a factor of j(11)?
True
Let x be (-168)/(-9)*(-42)/(-8). Is 12 a factor of (9*-1)/((-21)/x)?
False
Let g(b) be the first derivative