et c = 34 + -28. Is c a multiple of 3?
True
Let m(q) = 2*q**2 + 2*q - 8. Is 22 a factor of m(6)?
False
Suppose -3*y = 5*z - 80, 5*y = -3*z - 25 + 137. Is y a multiple of 4?
True
Let q be 4/(-16) + (-18)/(-8). Is 16 a factor of (-238)/(-4) + 1/q?
False
Let v = -4 - -4. Is 11 a factor of (v - -1)/(6/66)?
True
Suppose -3*u - 2*v + 19 = -2*u, u = -5*v + 34. Is -2*1 - (u - 18) a multiple of 7?
True
Let q(g) = -2*g - 4. Let a be q(-6). Suppose -10 = -3*j - b, -2*b - 40 + 10 = -4*j. Suppose 4*u + a = 0, -j*u = -x - 2*u + 46. Does 20 divide x?
True
Let l = 57 + 13. Does 15 divide l?
False
Let q(h) = -h - 5. Let v be q(-6). Suppose 0 = -4*s - v + 25. Does 4 divide s?
False
Let a(w) = 12*w - 10. Let k be a(8). Suppose -4*z + 3*g + 33 + 36 = 0, -4*g = -5*z + k. Is z a multiple of 18?
True
Let d = 7 - 11. Let s be d/(-16) + 7/4. Does 12 divide (-590)/(-25) + s/5?
True
Let t be 6/5*(-10)/(-4). Let w = 3 + t. Is 15 a factor of (-27)/(-2) + 9/w?
True
Is 27 a factor of ((-9)/(-4))/((-12)/(-288))?
True
Let m = -15 - -25. Suppose m = 5*o - 0. Suppose -2*n = o*n - 40. Is 10 a factor of n?
True
Is (-84)/(-49)*(-14)/8*-6 a multiple of 2?
True
Let w(g) = 3*g + 8. Let f(x) = x**2 + 9*x + 12. Let k be f(-9). Is 13 a factor of w(k)?
False
Let b = -53 + 119. Suppose b = -4*n + 7*n. Does 5 divide n?
False
Let v(b) = 0*b**2 - 4*b - 2*b - b**2 - 1. Let d be v(-5). Does 6 divide (d - 0)*(-2 + 4)?
False
Let q = 1 + -1. Suppose q*z = 2*z - 72. Suppose -4*m - 2*y = -z, 3*m - y - 27 = y. Does 4 divide m?
False
Suppose -4*k + 156 = -4*g, 0 = -3*g - 0 - 12. Is 7 a factor of k?
True
Suppose -26 = 3*x - q, q - 3*q + 36 = -4*x. Let t be (-4)/20 - (-171)/5. Is 2*t*(-2)/x a multiple of 8?
False
Suppose -m - 4 = -2*m. Suppose -2*w + m*o = -6*w + 28, 5*o = -3*w + 11. Does 12 divide w?
True
Suppose -190 = -2*q - q + n, -2*q = 3*n - 123. Is q a multiple of 7?
True
Let y(z) = -49*z - 6. Let c(k) = -10*k - 1. Let h(f) = -11*c(f) + 2*y(f). Let q be h(1). Suppose 4*r + q = 27. Is r a multiple of 4?
True
Suppose -3*g + 0*g = 9. Let n = -1 - g. Let x(i) = 3*i. Is 4 a factor of x(n)?
False
Let q be -2 + 2 - (2 + 0). Let o = q + 2. Is -5*4*(-2 - o) a multiple of 20?
True
Suppose 7 = 2*g - 1. Suppose -q + 0*q + 41 = 0. Suppose -g*a = 3*w - q, -4*a = w - a - 12. Does 9 divide w?
False
Let i = 3 + -1. Let z(h) = h**2 + 2*h. Is 6 a factor of z(i)?
False
Let u(j) = j**2 + 5*j + 4. Let a be u(-5). Let i = 13 + 2. Suppose 5*p - i = 0, 0*p - p = -a*k + 61. Is 8 a factor of k?
True
Let m(t) = t**2 - t + 2. Let v be m(2). Suppose 0 = -v*u - 8 - 4. Does 7 divide ((-17)/u)/((-2)/(-6))?
False
Let a(o) = -24*o - 15. Is a(-6) a multiple of 32?
False
Let o(t) = t**3 - 5*t**2 - 2*t - 5. Does 2 divide o(6)?
False
Let h = 8 + -2. Does 6 divide h?
True
Let m(d) = -d**3 - 6*d**2 - d - 2. Let t be m(-6). Let i(v) = -t*v + 1 + 12 + v - 1. Does 12 divide i(-10)?
False
Is (-4 - 3)*(-12)/14 even?
True
Let r(h) be the second derivative of -h**5/30 - h**4/8 + h**3/2 + h. Let w(v) be the second derivative of r(v). Is w(-3) a multiple of 9?
True
Let r(f) = f**3 + f - 2. Suppose -5*y - g + 21 - 2 = 0, -y - 5*g + 23 = 0. Does 12 divide r(y)?
False
Let q(g) = 32*g**2 - 5*g - 8. Let b(h) = -16*h**2 + 2*h + 4. Let d(c) = -5*b(c) - 2*q(c). Does 16 divide d(-2)?
False
Suppose -w + 12 = o - 0*o, -42 = -4*o - w. Let x be 28/o + (-2)/(-10). Suppose 2*r - x*t - 52 = 0, 6*r = 2*r + 5*t + 100. Does 20 divide r?
True
Suppose -2*c - y - 4 = 0, 5*c - 4*y - 4 = -3*y. Suppose c = -t - t. Let g(i) = i + 3. Is g(t) a multiple of 3?
True
Let m(t) = -t**3 + 2*t**2 + 5*t - 4. Let n be m(3). Is 15 a factor of ((-10)/n)/((-2)/10)?
False
Let c = -68 + 105. Is c a multiple of 8?
False
Let a = 16 - 11. Suppose 0 = -4*z + a*z - 17. Is 10 a factor of z?
False
Suppose 3*s + 27 = 51. Is s a multiple of 2?
True
Suppose -5*w + 5 = -4*a, w = -5*a + 6*w - 5. Suppose 0 = -a*j - j + 11. Does 7 divide j?
False
Suppose -13 = -2*d - 2*j + 53, -165 = -5*d - 3*j. Suppose -d = -5*k - 8. Suppose k*b + 45 - 135 = 0. Does 9 divide b?
True
Suppose 0 = -4*d - 5*n + 383, 20 = -3*n - n. Is d a multiple of 6?
True
Let t be (-10)/(-15) + (-43)/(-3). Suppose 3*r - 103 = -2*y, 4*y + r - 196 = -t. Is 22 a factor of y?
True
Let p be (-9)/(-2) + 1/2. Let w(u) = -u**3 + 5*u**2 + 9. Does 9 divide w(p)?
True
Let n(i) = 2*i**2. Let t be n(1). Suppose 5*p = 3*d + 35, -3*d + 7 = p - d. Let x = p - t. Is 2 a factor of x?
False
Let g = -23 + 76. Is g a multiple of 15?
False
Let d be 920/15 + (-2)/6. Let u = -33 + d. Suppose -z = -g + u, 0*g - 2*z + 74 = 3*g. Is g a multiple of 11?
False
Let w = -16 - -20. Suppose w*u - 23 = 9. Is u a multiple of 3?
False
Is 11 - (0 + 1) - 1 even?
False
Let r(n) = -13*n - 4. Does 25 divide r(-8)?
True
Let w be ((-3)/2)/((-6)/(-88)). Suppose -5*x - 37 = 3. Let s = x - w. Is s a multiple of 14?
True
Let b be 0 + -4*1/(-2). Let g(i) = 13*i**2 - 2*i. Is 24 a factor of g(b)?
True
Let q = 6 + 10. Suppose 7*h - q = 3*h. Suppose -4*t + 12 = -h. Is t a multiple of 4?
True
Suppose -2*r = -4*i + 5*i - 202, -2*i - r = -398. Does 33 divide i?
True
Let a(f) = -15*f**2 + 3*f - 5. Let b(r) = 8*r**2 - 2*r + 3. Let l(i) = -6*a(i) - 11*b(i). Let w(p) = p - 9. Let s be w(11). Is l(s) a multiple of 10?
False
Suppose -6*m = 4*m - 640. Is 32 a factor of m?
True
Let y = 2 + -1. Let i(o) = o**3 - 9*o**2 - o + 9. Let m be i(9). Suppose m = -q - y + 17. Is q a multiple of 16?
True
Suppose 0 = -b - 0*b - 2. Let h = 487 + -198. Is h/5 - b/10 a multiple of 24?
False
Suppose 3*k = k - 8, -5*m + 1930 = 5*k. Suppose -13*z + m = -8*z. Is 26 a factor of z?
True
Suppose -192 = -2*i - 2*g, 4 = 2*g - g. Suppose 532 = 4*w - i. Suppose 4*l - 114 = -3*t, 5*l - w = 3*t - 0*t. Is l a multiple of 10?
True
Let a be 3 - (196 + 1)*-1. Suppose 5*s - a = -h, 0*s - 80 = -2*s + h. Is 12 a factor of s?
False
Suppose 0*l - 15 = 5*l. Let j = 57 - 27. Does 7 divide 1/(((-9)/j)/l)?
False
Let z(j) be the first derivative of -5*j**4/12 + 5*j**3/6 - 3*j**2/2 + 3. Let r(s) be the second derivative of z(s). Is r(-5) a multiple of 20?
False
Let f be -2 - (-5 - 6/(-3)). Is 10 a factor of 9/f - (4 + -5)?
True
Suppose n - 65 = -25. Is (32/n)/((-2)/(-120)) a multiple of 12?
True
Let w = -5 + 7. Suppose -48 = -0*y + w*y. Does 14 divide ((-7)/(-2))/((-3)/y)?
True
Let d = 14 - 8. Let a be 1/3 + 256/d. Is 22 a factor of 1 + 0 - a*-1?
True
Let z = -82 + 342. Does 24 divide z/4 + 4 + 3?
True
Suppose -n = k + 2*n + 19, -38 = 5*k - 4*n. Does 6 divide -18*(k/(-6))/(-5)?
True
Let a(y) = 28*y - 2. Is 35 a factor of a(5)?
False
Suppose 80 = -14*o + 18*o. Is 4 a factor of o?
True
Let w(t) = 2799*t - 1. Let m be w(-1). Let a be 3/(-2)*m/30. Suppose a = -h + 6*h. Does 16 divide h?
False
Let p(b) = b**2 - 9*b + 11. Let j be p(8). Suppose 0 = 2*l + j*l + 2*h - 76, -3*l + 46 = h. Does 16 divide l?
True
Suppose 2*z + 30 = 2*l, 3 + 5 = -4*z. Is (3/(-1) - -1) + l a multiple of 3?
False
Let l be (-1 - 2) + (-81)/(-3). Let w be l/9 - 4/(-12). Suppose -44 = -p - w*p. Is p a multiple of 6?
False
Let i = 43 - 27. Suppose -3*k = -2*v + i, -v + 0 + 3 = k. Suppose 0*z + v*z + 4*r - 199 = 0, 3*z - 116 = r. Is 16 a factor of z?
False
Let p = 73 - 25. Is 12 a factor of p?
True
Let w(h) = -7*h - 4. Let o(m) = -7*m - 3. Let y(z) = 4*o(z) - 3*w(z). Suppose -2*t = -0*t - 6, 2*t = -3*x - 3. Does 6 divide y(x)?
False
Let m be 4/(24/(-9))*-26. Suppose -3*g + 4*k = m, 0*g - 2*k - 12 = 2*g. Let t(z) = -z**2 - 11*z - 11. Is t(g) a multiple of 6?
False
Let b(l) = 10*l - 11. Is 30 a factor of b(8)?
False
Let q be (-71)/(-3) + (-15)/(-45). Suppose -7*s + q = -3*s. Does 4 divide s?
False
Suppose 4*c = 2*c + 10. Suppose 3*n - 234 = -90. Suppose c*a - n - 92 = 0. Is 14 a factor of a?
True
Suppose 289 + 91 = 5*f. Let d = f + -51. Is 15 a factor of d?
False
Let c = 194 + -90. Suppose -t = -5*t + c. Suppose -s - 3*d = -25, 3*d + t = -2*s + 61. Is s a multiple of 10?
True
Suppose 2*c = 94 + 6. Suppose -4*p + 6*w - 2*w + 176 = 0, p - 3*w - c = 0. Is p a multiple of 12?
False
Let i(c) = c + 6. Let d be i(-6). Suppose d = -3*g + 17 + 25. Does 5 divide g?
False
Let f = 21 - 15. Suppose 0 = 2*l - 80 - f. Does 11 divide l?
False
Suppose 0 = -4*g - 22 - 2. Let t be 110/g + 1/3. Let z = t - -37. Does 14 divide z?
False
Let u = 10 + 6. Suppose -2*x = n - 2*n - 9, 4*x = -n + 15