*o - 56 - 20. Suppose -4*t = 50 - 2. Let p = o - t. Is p a multiple of 20?
False
Suppose 3 = 3*c - 2*c. Suppose -2*k = k - c*y - 42, 5*y = -4*k + 11. Suppose 3*v + 30 = 3*q, 5*q = -2*v + k + 6. Does 5 divide q?
True
Suppose -3*z + p - 30 + 2 = 0, -3*z - 5*p - 4 = 0. Let v = 1 - z. Is v a multiple of 3?
True
Let r be (-9)/(-21) - (-3)/(-7). Suppose -7*a + 249 = -2*a - h, a + h - 45 = r. Does 7 divide a?
True
Let j = -2 - -6. Is 7 a factor of (2 + (-14)/j)*-14?
True
Let i(u) = -3*u**2 - 10*u + 11. Let g(q) = -2*q**2 - 5*q + 6. Let p(j) = -5*g(j) + 3*i(j). Is 23 a factor of p(11)?
True
Suppose 33 = g - f, g - 5*f - 99 = -2*g. Is g a multiple of 33?
True
Let s be (-1 - (-5)/3)*3. Suppose 0 = s*n + n - 126. Is 16 a factor of n?
False
Suppose b = -2*b + 243. Is 16 a factor of b?
False
Let s(k) = k**3 - 3*k**2 - 5*k - 5. Let o be s(5). Suppose -4*p - 5*x = 52, -3*p + 4*x + o = -5*p. Does 11 divide (p/(-7))/(3/21)?
False
Suppose 0 = -3*d - d + 404. Suppose -3*a - 38 = -5*p + d, 41 = p - 5*a. Is p a multiple of 13?
True
Let z be 3 + 1 + 3 + 7. Does 33 divide (-1760)/(-14) + 4/z?
False
Suppose -3*c + 89 = -7*o + 3*o, 2*c + 2*o = 78. Is 7 a factor of c?
True
Suppose 0 = b + 3*b - 20. Suppose 0 = -b*l + 176 - 56. Suppose -l = -2*c + 5*a, -3*c - 3*a + 15 = -0*c. Is c a multiple of 6?
False
Suppose -2*o + 2 = -o - 5*f, -4*o = 4*f - 128. Is o a multiple of 6?
False
Suppose 0*p = 4*p + 3*d - 339, 4*d + 142 = 2*p. Suppose 4*o = 5*x - p, 5*x - 2*x - 50 = o. Does 13 divide x?
False
Suppose u = -2*l - 1, 0*u - 4*u = -2*l + 24. Let d = 7 - l. Suppose -y - 5*f = -18, -f - 88 = -4*y - d*f. Is y a multiple of 9?
False
Let a(n) = -2*n - 26. Let r be a(-12). Suppose -2*u + 6 = -2*x - 0*x, -4*u = -3*x - 10. Is r - x - (2 - 21) a multiple of 11?
False
Let u = 29 - -47. Suppose -3*o + 0*o - 154 = 4*s, -36 = s + 2*o. Let j = s + u. Is j a multiple of 18?
True
Let k(c) = -c**2 + 22*c - 3. Does 33 divide k(14)?
False
Suppose 6*a = 525 + 309. Is a a multiple of 20?
False
Suppose 5*d - 7 = 13. Let k(w) = -w**2 + 6*w. Let p be k(6). Suppose d*a - 56 = -p*a. Is a a multiple of 7?
True
Let p = 32 - 31. Suppose 2*r - 3*r = -2. Does 2 divide (-10)/(-4) - p/r?
True
Let j(h) = 37 - 2*h + h + 0*h + 0*h - h**3. Does 27 divide j(0)?
False
Suppose 5*p + 2*l + 12 = 449, p - 5*l - 82 = 0. Does 29 divide p?
True
Let g = 61 - 35. Is 7 a factor of g?
False
Suppose 6*r + 93 = 7*r. Does 31 divide r?
True
Suppose -2*p = -7*p. Suppose 3*i - 42 = -p*i. Does 8 divide i?
False
Suppose 3*j = -5*b - 15, -4*j + 4 = -2*b - 2. Suppose j = -5*o + 2*o. Suppose o = -2*d - 4*k + 54, 2*d + 4*k - 88 = -2*d. Does 9 divide d?
False
Let c be (-4)/(-4) - (-4)/2. Suppose 3*i - 2*i - 45 = -c*w, 4*i = -2*w + 40. Is 13 a factor of w?
False
Suppose 0 = -5*k + 3*k + 2. Let q(h) = 7*h**2 + 1 + 2 - 2. Does 8 divide q(k)?
True
Suppose 0 = -2*z - 2*v + 52, 7*z - 3*v - 114 = 2*z. Suppose -z = -i - r + 4*r, -4*i = -r - 129. Does 11 divide i?
True
Suppose -29 = -5*b + 116. Is 20 a factor of b?
False
Suppose -3*u + u - 5*f + 9 = 0, -4*f - 4 = -4*u. Suppose -u*g = -n + 7, -3*g = -3*n + 22 - 4. Suppose -n*s + 2 + 13 = 0. Does 3 divide s?
True
Let n be (-10)/45 + 94/18. Suppose -4*u = -5*v - 38, n*u - v = -4*v + 29. Suppose 3*k = u*k - 80. Is 8 a factor of k?
False
Let t(p) = -7*p + 1 - 5 + 0. Let d be t(-3). Let z = 28 - d. Is 9 a factor of z?
False
Let n = -4 + 7. Is 13 a factor of ((-4)/n)/((-7)/126)?
False
Let h(a) = -a - 1. Let f(m) = -m**2 + 4*m - 3. Let p be f(4). Let s be h(p). Suppose -s*k - k + 57 = 0. Does 7 divide k?
False
Let c = -11 + 7. Let a(n) = n**3 + 6*n**2 + 2*n. Does 12 divide a(c)?
True
Suppose -5*n + 362 = -3*n. Suppose 5*u - n - 79 = 0. Is u a multiple of 16?
False
Let d(m) = 7*m**2 + 9*m - 15. Does 3 divide d(2)?
False
Let d = -12 - -17. Suppose -t + 4*t + 14 = -2*z, -d*z - 13 = 2*t. Let o = 15 + z. Is 14 a factor of o?
True
Suppose -5*r - 2*f = -488, r = 3*r - f - 188. Is r a multiple of 16?
True
Suppose -20 = -5*g, g + 39 = 5*p - 3*g. Suppose -4*b - p = -95. Is b a multiple of 13?
False
Suppose 0 = 8*f - f - 371. Does 11 divide f?
False
Suppose 2*t - 7 = 3. Suppose t*u - 104 - 31 = 0. Is u a multiple of 9?
True
Is 0 + 0 + 2 - 2*-97 a multiple of 14?
True
Let g = 5 - 5. Suppose g = -c - 3*c. Suppose -4*p + 13 + 87 = c. Is p a multiple of 9?
False
Suppose 5 = -t + 5*c, -3*c - 3 = -4*c. Suppose -w + 2*z + t = 0, -3*w = -6*z + 3*z - 15. Suppose w = s + 2*s - 174. Is 20 a factor of s?
False
Suppose -4*g - 4 = 4*t - 84, 1 = -g. Does 17 divide t?
False
Suppose -5*y = 5*k - 170, -6*k + 77 = 2*y - k. Suppose -2*x + 23 = -y. Does 9 divide x?
True
Let l(h) = -h - 3. Let j be l(5). Let n(t) = t**2 + 4*t - 10. Does 11 divide n(j)?
True
Let r(m) = -m - 6. Let p be r(-8). Suppose 3*z = p*n + 35, z - 4*n = 3*z - 2. Does 4 divide z?
False
Let i(d) = 0*d + d + 7*d**2 - 10*d**2. Let n be i(1). Is 11 a factor of (-1)/(n/(-44)*-1)?
True
Suppose q + 2*t + 2 = 0, -3*q - 20 - 8 = -5*t. Let r = q - -14. Does 3 divide r?
False
Suppose -n - 2*q = -189, -808 = -2*n - 2*n + 5*q. Is n a multiple of 17?
False
Let l(p) = -6*p**3 + 3*p**2 - 2*p - 5. Let y(m) = -6*m**3 + 3*m**2 - 3*m - 6. Let n(b) = 4*l(b) - 3*y(b). Does 28 divide n(-2)?
True
Let u(c) = -c**3 - 4*c**2 + 3*c - 1. Let o be u(2). Suppose -56 - 31 = 3*s. Let i = o - s. Does 5 divide i?
True
Is 26 a factor of 156 - (2 + -2)/(-5)?
True
Let u(l) = -l**2 - 4*l + 7. Let f be u(-5). Suppose d + f + 22 = 0. Let w = -14 - d. Is 5 a factor of w?
True
Suppose 30 = 5*p + 95. Let a = p - -25. Is a a multiple of 6?
True
Suppose 0*h = -4*h + 372. Does 15 divide h?
False
Let b(s) = -3*s**3 + s**2 + s + 1. Let w be b(-1). Suppose 10 + w = g. Is 7 a factor of g?
True
Suppose q - 4*q = 2*b - 62, b + 3*q = 37. Is 5 a factor of b?
True
Let c(t) = -t**3 - t**2 - t. Let j(d) = 3*d**3 + 8*d**2 + 7*d - 4. Let k(o) = -4*c(o) - j(o). Let r be k(4). Does 12 divide (r/10)/((-3)/45)?
True
Let d be 18/(-4)*(-12)/18. Suppose 2 = d*l - 4*l. Is (14 - -6)*(-3)/l a multiple of 17?
False
Suppose -4*i = -79 + 11. Is 3 a factor of i?
False
Suppose 26*t + 94 = 28*t. Is t a multiple of 9?
False
Let m(s) = 167*s**2 - 2*s + 3. Is m(1) a multiple of 12?
True
Suppose -28 = 4*a - 4*p, 0 = a + 2*p - 0*p - 5. Let y = a + 7. Suppose y*g - 72 = -2*o, -g + 33 = 2*o - 39. Does 18 divide o?
True
Suppose 26*t - 33*t + 280 = 0. Is 5 a factor of t?
True
Suppose 0*m + 4*y - 168 = -4*m, 4*y + 228 = 5*m. Let j be (0 - 23)*(-2 + 3). Let c = j + m. Is 9 a factor of c?
False
Suppose 0 = -4*m + p + 2*p + 369, -4*p + 438 = 5*m. Is 15 a factor of m?
True
Suppose -3*f + 81 = -3. Does 14 divide f?
True
Let w(k) = 13 - 2*k - 6 + 3*k + 9. Is 2 a factor of w(-11)?
False
Suppose 2*w + 5*u = 27, -w - u = -4*w + 83. Is w a multiple of 2?
True
Let b = -16 - -77. Let f = -125 + 87. Let n = b + f. Does 17 divide n?
False
Let i(q) = 3*q**2 + q + 1. Let h be i(-1). Suppose -h*v + v = -80. Is 20 a factor of v?
True
Suppose 3*a + 3*q = -21, -a = 4*q + 5 + 17. Is 2/4*(a + 54) a multiple of 12?
False
Let f be (-384)/27 + (-4)/(-18). Is -2 - (f + 4/(-2)) a multiple of 7?
True
Let a(c) = -38*c - 2. Is 9 a factor of a(-1)?
True
Let h(z) = 7*z + 2. Is h(4) a multiple of 15?
True
Suppose 2*q = 4*g - q - 19, -g = -q - 5. Does 17 divide -3 + (-25)/(-1) + g?
False
Let m(s) = 2*s + 2. Let y be m(-2). Is y/(3/3) + 18 a multiple of 13?
False
Let t = -43 + 26. Let r = 13 - t. Is r a multiple of 12?
False
Let y(t) = -t + 9. Let h be y(7). Suppose h*i + 2*i - 92 = 0. Does 23 divide i?
True
Suppose -2*g = t - 20, 3*t + 14 = -2*g + 78. Is 4 a factor of t?
False
Let l be (162/24)/(1/4). Does 9 divide (-1 + 2)/(3/l)?
True
Let m = 0 - 2. Let d = 8 + m. Is 3 a factor of d?
True
Suppose -5*d + 6 + 4 = 0. Suppose -3*z + 102 = -3*f, -z + 5*z - 124 = -d*f. Is 13 a factor of z?
False
Is 6/((-24)/(-620))*1 a multiple of 20?
False
Let s(i) = i. Is 3 a factor of s(3)?
True
Let b = -17 - -43. Is b a multiple of 12?
False
Suppose 5*b = -2*f + 7, b = -b + f + 10. Does 2 divide b/((-9)/4)*-3?
True
Let j(o) = -5*o + 2. Let z be j(2). Let f = z - -26. Suppose f = 2*y - 2. Is 9 a factor of y?
False
Suppose -3*m + 6*m - 90 = 0. Is m a multiple of 30?
True
Let k = -1 - -6. Suppose k*g - 27 = -p, 3*g + 7 = -4*p + 6*g. Suppose -4*y = x - 0*y + 14, 5*x + 2*y = p. Is 2 a factor of x?
True
