- 7*y - 4. Let o be u(9). Let m = -10 + o. Does 3 divide m?
False
Let y = -8 + 18. Let x be 8/y*(6 + -11). Is ((x - 1) + 1)/(-1) even?
True
Let g(t) = t**3 + 10*t**2 - 4*t + 11. Does 16 divide g(-9)?
True
Let t = -9 - -15. Is 9 a factor of (-68)/t*18/(-12)?
False
Suppose 2*m = m + 1. Let j(y) = -y + 1. Let r(h) = 176*h - 132. Let g(q) = 132*j(q) + r(q). Is g(m) a multiple of 22?
True
Suppose -1540 = 22*q - 27*q. Is 28 a factor of q?
True
Let l be (5/15)/(2/(-6)). Does 14 divide (28 - 2/l) + 1?
False
Let t(j) = -j - 4. Suppose 0 = -q - z - 6 + 5, -5*q + z = 35. Let k be t(q). Is (28 - k) + (1 - -2) a multiple of 10?
False
Let r(h) = -10*h - 3. Is 6 a factor of r(-2)?
False
Let r = 10 - 8. Suppose 0*n = 3*n + 2*p - 161, r*p + 43 = n. Does 12 divide n?
False
Let x(p) = -13*p**3 + p**2 - 7*p - 1. Let u(m) = 7*m**3 - m**2 + 4*m. Let v(t) = 7*u(t) + 4*x(t). Does 20 divide v(-3)?
False
Suppose -38 + 134 = n. Does 6 divide n?
True
Is (-660)/(-5) - 3/1 a multiple of 13?
False
Let m(y) = -2*y**3 - 3*y**2 - 2*y. Let r(l) = 3*l**3 + 3*l**2 + 3*l + 1. Let z(i) = 4*m(i) + 3*r(i). Is 3 a factor of z(3)?
True
Suppose -388 = 3*i - 7*i. Is i a multiple of 20?
False
Let o be 5 + 0*2/(-6). Suppose 4*s = -3*h + 56, 0 = s + 2*s - o*h - 13. Is 11 a factor of s?
True
Let z = 0 + 1. Let n be (-6)/9*(0 - -3). Is 6*(6 - z) + n a multiple of 14?
True
Let n = 1 + 4. Let s = n + -1. Suppose 7*b - 14 = s*b + 4*q, -5*q + 50 = 3*b. Does 5 divide b?
True
Suppose 3*t - 1 - 2 = 0. Is (-22)/((2 - t)/(-1)) a multiple of 11?
True
Suppose -128 = -2*c - 2*x - 14, -c - 2*x = -54. Let f = 13 + -44. Let s = c + f. Does 10 divide s?
False
Let l = 7 - 13. Let q = l - -17. Does 11 divide q?
True
Is (6 - 7) + 4 - -87 a multiple of 10?
True
Let a be -6*(5/2 - 3). Let y = 8 - a. Suppose -5*m = -y, 0*o = o + m - 19. Is 9 a factor of o?
True
Suppose 5*y + 28 = w, w - 3*y - 13 = -y. Is 0 - ((-3 - w) + 3) a multiple of 3?
True
Let y be (3 - 1) + (2 - 2). Let w(d) = -2*d**3 + 3*d**2 - 2*d - 2. Let b be w(y). Is 2 a factor of b/(5/((-10)/4))?
False
Let b(g) = -g + 2. Let x be b(2). Suppose 0 = -x*c + c - 42. Is 14 a factor of c?
True
Let b = -49 + 225. Is 10 a factor of b?
False
Let n(c) = -c**2 + 11*c - 9. Let k(d) = -8*d**3 - 2*d**2 - d. Let l be k(-1). Is n(l) a multiple of 9?
False
Let z(t) be the second derivative of -1/6*t**3 - 9/2*t**2 + t + 0 + 1/12*t**4. Is z(7) a multiple of 12?
False
Is 14/42 + (-688)/(-6) a multiple of 16?
False
Let v(c) = 7*c - 16. Is 8 a factor of v(5)?
False
Let p(l) = 2*l - 4. Let o = -4 + 16. Does 20 divide p(o)?
True
Let y = 109 - 45. Does 16 divide y?
True
Let p be (-12)/54 + 4/18. Suppose -5*i + 8 + 17 = p. Suppose -5*q = 2*c - 59 - 83, 0 = 5*c - i. Is 14 a factor of q?
True
Let q = 305 + -165. Suppose 3*j - q - 37 = 0. Does 22 divide j?
False
Suppose s - 7 = -5*f, 0 = 2*f - 1 - 1. Let k be (-3 - -3)*(-1)/3. Is (26 - k)/1 - s a multiple of 12?
True
Let l = -4 + 0. Let s(r) = -r + 1. Let a be s(l). Let z(y) = 8*y - 5. Does 12 divide z(a)?
False
Does 21 divide (56/(-6))/(6/(-27))?
True
Let l(x) = x**3 + 3*x**2 + 1 - 7 - 10*x**2 + 7*x. Let z be l(6). Suppose -3*r + 12 + 18 = z. Is 5 a factor of r?
True
Let f = 29 + -24. Suppose f*b - 75 = -0*b. Is 5 a factor of b?
True
Suppose 54 = d - 2. Is d a multiple of 14?
True
Let v(o) = -4*o + 2. Does 3 divide v(-1)?
True
Suppose -2 = u - 2*u. Suppose u*a = 6*a. Suppose a*t + 175 = 5*m - t, 2*m + 3*t - 70 = 0. Is m a multiple of 14?
False
Let y(o) = o**2 + 7*o - 5. Let n be y(-7). Let f = n + 17. Is 12 a factor of f?
True
Let k = 13 - 7. Let u = 27 - k. Is u a multiple of 7?
True
Let d(z) = -20*z**3 - 3*z**2 - z + 1. Let s be d(-2). Let y = -102 + s. Does 21 divide y - ((1 - -5) + -3)?
False
Suppose -2*y + y = -3*w - 303, -w - 5 = 0. Does 36 divide y?
True
Let w(i) = -4*i - 13. Let f(s) = s + 3. Let l(c) = 9*f(c) + 2*w(c). Suppose p = 4*p - 12. Does 2 divide l(p)?
False
Is 28 a factor of (-19 - -25)*((-86)/(-4) + 1)?
False
Suppose 2*d - 1 = 1. Let l(i) = 8*i - 1 + 3*i - d - 2*i - i**2. Does 7 divide l(6)?
False
Let n = 25 + -18. Suppose -j + 3*t + n = -2, 12 = 3*j - 4*t. Suppose -2*p = -j*p - 6. Does 2 divide p?
False
Let h be (-13)/4 + 6/24. Let p be -2*((-3)/(-6) + h). Suppose 54 = 3*k + 4*d, 5*d = -p*k + d + 90. Is k a multiple of 6?
True
Suppose -2*w = 2*w - 8, -2*r - 2*w = -28. Is 18 a factor of (r/1)/(8/36)?
True
Let y(z) = -z**3 + 1. Let q(i) = -3*i**3 - 4*i**2 - 3*i + 3. Let x(v) = q(v) - 2*y(v). Let c be x(-3). Let r(b) = 19*b + 1. Does 7 divide r(c)?
False
Let l(y) = -2*y - 6. Let i(c) = -2*c - 5. Let p(n) = 2*i(n) - 3*l(n). Suppose 30 = 5*v - 5. Is p(v) a multiple of 11?
True
Let j = 3 + 1. Suppose 0 = -a + 5*a + j. Let x(z) = -9*z**3 - z**2 + z + 1. Is 3 a factor of x(a)?
False
Let q be 4/16 + (-189)/(-12). Suppose q = 4*h - 72. Does 9 divide h?
False
Suppose -3*c + 44 = -16. Suppose 6*v + c = v. Does 8 divide 66/4 - v/(-8)?
True
Let n be -2 - (0 + -1) - -1. Suppose 2*w + q + 40 = n, -3*w = -4*w + 4*q - 11. Let h = w - -29. Is h a multiple of 7?
False
Let q be 6/(-8) - 11/(-4). Suppose 3*j - 104 = -0*v + 4*v, -q*j + 3*v = -70. Does 13 divide j?
False
Let c(m) = 2*m + 12. Let d be c(6). Suppose -h - 36 = 3*h. Let l = h + d. Is 15 a factor of l?
True
Let z be 12 + 2 + 2 + -2. Suppose -4*m + 86 = -z. Is 5 a factor of m?
True
Let q(c) = -c**3 + 9*c**2 - c + 8. Does 8 divide q(5)?
False
Let q = 4 - 9. Let x = -7 - q. Is 21 a factor of 1*(44 + 1*x)?
True
Let f be ((-10)/(-20))/(1/(-60)). Let y = 14 - f. Is y a multiple of 22?
True
Let c(r) = r**2 + r + 37. Is 11 a factor of c(0)?
False
Let o(l) = l**2 + 3*l + 20. Is o(-6) a multiple of 19?
True
Let g be 1/(-2) + 13/2. Let f be 10*(2 + g/(-4)). Suppose -3*r + 64 = -4*v, -2*v - 28 = -f*r + 88. Is r a multiple of 12?
True
Let o = -4 + 18. Suppose r - 10 = 4*d, d + o = -d + 5*r. Is 6 a factor of (d/(-3))/((-2)/(-18))?
True
Let a be 14/(-21) + (-1)/3. Is a/(-3) - 213/(-9) a multiple of 12?
True
Let w = -27 + 31. Suppose w*d - 95 = -15. Is d a multiple of 20?
True
Suppose k - 4*r = -3*k + 40, 0 = -k + 3*r + 2. Let y = -7 + k. Does 7 divide y?
True
Suppose 0 = g + s - 12, -4 = -2*g + 3*s. Is 4 a factor of g?
True
Let y be (-5 - -1 - -5)*-3. Let m be -1 + (2/2 - -19). Let i = m + y. Does 8 divide i?
True
Let m(y) = 0 + 1 - 4*y - 2. Let b(t) = t + 4. Let q be b(-5). Does 3 divide m(q)?
True
Let q be (-3 - (1 - 3))/(-1). Suppose 5*j - 16 = -q. Does 11 divide -1*(j - 2)*-11?
True
Let b(p) = 6*p - 2. Let t(s) = -s**2 - 5*s - 2. Let o be t(-6). Let z be (-3)/12 - 50/o. Is b(z) a multiple of 17?
True
Let r be 0 + -1*(-65 - 1). Let o be (-30)/(-3*3/9). Let x = r - o. Is 12 a factor of x?
True
Suppose 763 + 271 = 11*q. Is 6 a factor of q?
False
Let y be (-2238)/90 - 4/30. Let k = 79 + y. Is 11 a factor of k?
False
Suppose -4*b = 5*j - 575, -5*j + 580 = -0*b + 3*b. Is 16 a factor of j?
False
Let d(q) = q + 3. Let r be d(-3). Suppose -3*j + 83 + 55 = r. Is j a multiple of 23?
True
Let v(w) = 6*w + 17*w - 7*w. Does 8 divide v(2)?
True
Let v be 4 - 4 - (-1 + -106). Let h = v - 70. Is 22 a factor of h?
False
Suppose 4*q + 35 = -3*a, 7 = 2*a + 1. Let c = q + 16. Suppose 69 = c*z - 71. Is 14 a factor of z?
True
Let b(n) = -2*n**2 - 2*n + 3. Let y be b(-3). Let z be (-24)/y + (-2)/(-6). Let t = 0 + z. Is 3 a factor of t?
True
Let z be (2/3)/((-1)/(-12)). Let u = -2 + z. Is u even?
True
Suppose -2 = h - 4. Suppose h = 2*n + 6, 2*n = -i + 1. Is i a multiple of 2?
False
Let y be 0/((-1)/(-2 + 3)). Suppose y = 3*j - 82 - 164. Suppose 5*c = 2*u + j, -83 = -5*c - 0*u + 3*u. Does 6 divide c?
False
Let p = 11 + -12. Does 18 divide p - (-34 + (-2 - 1))?
True
Let p(d) be the third derivative of -d**6/360 - 7*d**5/60 + d**4/8 + d**3/6 + 2*d**2. Let i(l) be the first derivative of p(l). Is 17 a factor of i(-6)?
True
Does 11 divide ((-18)/(-7))/(29/609)?
False
Let b = 26 - -64. Does 10 divide b?
True
Let k(n) = -14*n - 6. Is k(-13) a multiple of 16?
True
Suppose 0 = -4*n + 63 + 109. Is n a multiple of 18?
False
Let z(y) = 4*y - 2. Let i be z(-2). Does 18 divide ((-68)/i)/(2/10)?
False
Suppose -3*u + 47 = 14. Suppose 3*v + u = 26. Let p = v + 13. Does 18 divide p?
True
Let d = -20 + 17. Does 9 divide (-23)/((6 - 3)/d)?
False
Let u(r) = -6*r - 10. Is 9 a factor of u(-5)?
False
Let x = 5 + -11. Let a(w)