 134. Is 18 a factor of z?
True
Let k be (16 - 0/2) + -1. Let w(o) = -o**2 + 5*o + 4. Let u be w(5). Suppose -u*a = -3*a - k. Does 15 divide a?
True
Let v be 2/(-4) - 6/(-4). Let u = v - 1. Suppose u*t + 76 = 2*t. Does 19 divide t?
True
Let c = 126 + -80. Does 23 divide c?
True
Let y(s) = -s**3 + 6*s**2 + s - 7. Let j be y(6). Is 8 a factor of (1*j)/(5/(-80))?
True
Suppose 7*i = 2*i + 10. Let u = 0 - i. Does 4 divide 15/(-2)*u/3?
False
Let x = -5 - -5. Suppose x = -5*l - 0*l + 45. Is 186/9 + (-6)/l a multiple of 11?
False
Suppose -19*o + 1482 = -1330. Is o a multiple of 14?
False
Let q be 2/1*(-10)/(-4). Suppose 50 = q*x - 0*x. Is x a multiple of 10?
True
Suppose -3*c = -0*c. Let k be 3/12 - (-334)/8. Suppose c*i = 3*i - k. Is 7 a factor of i?
True
Let l(h) = -4*h + 2. Let k be l(-2). Suppose 4*o - b - 72 = -k, -b + 82 = 5*o. Is o a multiple of 7?
False
Suppose -64 - 116 = -3*d. Let j = 92 - d. Let x = j - 0. Does 11 divide x?
False
Suppose -r = 3*i - 4*r - 15, 5*r = 0. Suppose i*v = 5*s - 170, 0*s - 5*s + 154 = -v. Suppose -g = 2*g - s. Does 4 divide g?
False
Let n(t) = 20*t - 18. Does 21 divide n(3)?
True
Let g(t) = 4*t**2 + t - 7. Let l(r) = r - 4. Let o be l(7). Is g(o) a multiple of 21?
False
Suppose -2*s = -0*s - 10. Suppose 8 = s*n - 22. Is n even?
True
Suppose 3*k + 14 - 44 = 0. Let n be k/4 - (-2)/(-4). Is (-2)/n - (-15)/1 a multiple of 14?
True
Let p = 28 - 26. Suppose -p*b + 71 - 21 = 0. Is b a multiple of 17?
False
Suppose -7 = b + 2*z, -6*z = -2*b - 2*z + 10. Is 21 a factor of (-14)/2*9*b?
True
Suppose 0 = -4*p + 355 + 217. Is 36 a factor of p?
False
Let c = -54 - -86. Is c a multiple of 6?
False
Let d(b) = b**2 - 6*b - 2. Is 17 a factor of d(-6)?
False
Let f(z) = -z**2 + z + 6. Is f(0) a multiple of 2?
True
Suppose 0 = c - 4*c + 12. Suppose 5*v - 9 = 4*y, -v - c*y = -2*v - 11. Suppose -o - 69 = -v*b - 5*o, 2*b = -5*o + 31. Does 13 divide b?
True
Suppose -3*h = 4*j - 17, 5*j - 4*h = -3 + 1. Suppose -3*r = j*r - 35. Does 7 divide r?
True
Let c(r) = 2*r + 17. Is c(6) a multiple of 9?
False
Let m(c) = c**2 + 2*c - 2. Let v be m(-5). Let l(d) = v*d + 1 - 7*d + 4*d. Is l(5) a multiple of 20?
False
Let p(x) = x + 4. Let o(n) = n**3 + 10*n**2 + 8*n - 13. Let h be o(-9). Let a be p(h). Suppose -3*z + 3*i + 24 + 66 = a, 0 = -2*i + 10. Is z a multiple of 15?
False
Suppose -4*o + 10*o - 24 = 0. Suppose -5*b + 11 = 2*h, 3*h = -4*b - 0*b + 6. Suppose -k + b = -o. Is 4 a factor of k?
False
Is (231/(-44))/((-6)/32) a multiple of 12?
False
Let z(a) = -1 + 5*a**3 - a**2 + 10*a**3 - a**2 + 6*a - 4*a. Does 6 divide z(1)?
False
Is 43 + (-3 + 6 - 2) a multiple of 7?
False
Suppose 3*i = -r - 389, 3*r = 5*i + 504 + 135. Does 15 divide i/(-6) + 1/(-2)?
False
Let n = 361 + -201. Is 17 a factor of n?
False
Let d(k) = k**2 + 3*k - 5. Let x be d(-5). Let p = x - 4. Let i = 3 - p. Is i even?
True
Let i(c) = -51*c - 4. Let u(m) = 101*m + 9. Let x(n) = 7*i(n) + 3*u(n). Let b be x(-3). Let w = -103 + b. Is 24 a factor of w?
False
Suppose 3*o + t + 1 = -0, -7 = 3*o - 2*t. Is 7 a factor of (-27)/(1 + o - 1)?
False
Let l(v) = v**3 - 13*v**2 + 17*v - 5. Does 17 divide l(12)?
False
Let t(h) = h**2 + 6*h - 4. Suppose 3*u = -7 - 20. Let o be t(u). Is o + 0 + (-1)/1 a multiple of 11?
True
Let f(r) = 20*r**3 - 2*r**2 + 1. Let t be f(1). Suppose n - 18 - t = -4*c, 0 = -2*c - 4*n + 8. Is c a multiple of 3?
False
Suppose -5 = -m, -3*j - j + 21 = m. Suppose -j*t + 204 - 4 = 0. Is t a multiple of 13?
False
Let a = -83 + 180. Let g(m) = 25*m + 2. Let f be g(2). Let l = a - f. Is l a multiple of 15?
True
Suppose -15*z = -19*z + 24. Does 3 divide z?
True
Let j be (2/4)/((-1)/4). Let v = j + 1. Let x(m) = -23*m**3 - 2*m**2 + 1. Is x(v) a multiple of 11?
True
Suppose 2*w - 4 - 40 = 0. Is w a multiple of 8?
False
Let t = -16 + -2. Let c = 48 + t. Is c a multiple of 10?
True
Let h = 180 - 92. Is h a multiple of 44?
True
Suppose 0 = -3*o + 58 - 19. Is 13 a factor of o?
True
Let p(a) = -a**2 - 9*a - 1. Suppose 0*y - 2 = -2*y. Let r be (2 - y) + -3 + -6. Is p(r) a multiple of 7?
True
Let w(u) = 7*u - 3. Suppose -4*q = -4*y - 12, -5*q - 3*y + 0 = -7. Let o be w(q). Suppose 5*r - 7 = a + 2*r, o = 2*a - r. Is 5 a factor of a?
False
Let v = -10 - -14. Does 14 divide (0 - v/(-8))*60?
False
Let n = 63 - 55. Is 4 a factor of n?
True
Let r be (2 - (1 - 0)) + 23. Suppose -45 = -3*u + r. Is 12 a factor of u?
False
Suppose 5*x + 4 = 5*b - 31, 0 = -3*x + 4*b - 22. Let i(l) = l**3 + 6*l**2 - 2*l - 1. Is i(x) a multiple of 11?
True
Let v(x) = -x**2 + x + 4. Let m be v(4). Let c = m - -11. Suppose -p + c = -2. Is p a multiple of 4?
False
Suppose 21 = 2*r - 39. Let u be (2/(-4))/(4/152). Let k = r + u. Is 7 a factor of k?
False
Suppose -4*o - 133 = -o - 2*i, -3*o - 4*i - 139 = 0. Let s = 63 + o. Does 9 divide s?
True
Let b(h) = h**3 + 15*h**2 + 4*h + 5. Is 40 a factor of b(-14)?
False
Suppose -8*w = -109 + 29. Does 10 divide w?
True
Suppose 0 = -p - 1 - 3, -3*p = -l + 12. Is 4 a factor of l + 14 - (3 - 1)?
True
Suppose 5*j - 18 = 7, 3*u - 32 = -4*j. Does 33 divide u/(-6) + (-735)/(-9)?
False
Suppose -448 = -20*v + 18*v. Is v a multiple of 16?
True
Let z = 94 - 59. Does 35 divide z?
True
Let f(x) = x**2 - 2*x - 7. Is 16 a factor of f(6)?
False
Is (-1)/2 - 1253/(-14) a multiple of 17?
False
Let q = -73 + 131. Does 29 divide q?
True
Suppose 4*d = -5*y + 15, y - d + 12 = 5*y. Let s(c) = -c**2 + 2*c + 3. Let u be s(y). Suppose u*m = 3*m - 15. Is 5 a factor of m?
True
Let b(v) = v**2 + 2*v. Let u be b(6). Suppose 2*y + 0*y + 6 = 0. Is 21 a factor of u + (3 - (y - -5))?
False
Let t = 20 - -16. Is 5 a factor of t?
False
Suppose 4*u + 238 = h + 6*u, 1190 = 5*h + u. Is 38 a factor of h?
False
Suppose -5*m + 3*g + 526 = 0, 4*m + 5*g - 122 = 3*m. Is 19 a factor of m?
False
Let y = 20 + -13. Let w(v) = v**3 - 6*v**2 - 5*v - 9. Let d be w(y). Suppose 2*s + 21 = d*s. Is 7 a factor of s?
True
Suppose 0 = -2*u + 5*m - 21, 3*u + 3*m = -m + 3. Let v = 4 - u. Is 2 a factor of v?
False
Is (-3)/(-84)*8 - (-136)/14 a multiple of 10?
True
Suppose 2*p = 2*b + p - 11, 0 = 5*b + 3*p. Suppose -3*y + 249 = 3*a, -5*a + 247 = b*y + 6. Suppose y = n + 2*n. Is n a multiple of 10?
False
Let b = 58 - 31. Is 3 a factor of b?
True
Let x be (-4)/3*3 + -2. Let f(q) = -q**2 - 7*q - 6. Let a be f(x). Suppose a = -0*o + o - 9. Is o a multiple of 9?
True
Let u be (0 - 1)/((-2)/8). Suppose l - 3*z = 17, -u*l + 43 = -2*l + 3*z. Suppose -a = -0*a - l. Does 10 divide a?
True
Let m be (0*(-1)/(-3))/1. Suppose m = -6*d + 4*d + 8. Suppose d*k = 4*y + 32, 3*k - 7 = y + 27. Does 13 divide k?
True
Let q(f) = f**3 + 13*f**2 - 27. Is 39 a factor of q(-12)?
True
Let u = 9 + -7. Suppose i = 4*a - 176, 0*a + u*i - 53 = -a. Is a a multiple of 15?
True
Let a be (-1)/((-1)/(-3)) + 8. Suppose -a*r = j + j - 358, -3*j + 292 = 4*r. Is r a multiple of 21?
False
Suppose -33 = -3*p - 0. Is 4 a factor of p?
False
Let r be (-33)/7 - 4/14. Let h(m) = -2*m**2 + 6*m. Let j(o) = -o**2 + 1. Let f(b) = -h(b) + 3*j(b). Is f(r) a multiple of 7?
False
Let r = -141 + 225. Is r a multiple of 14?
True
Suppose 11 - 35 = -u. Is 24 a factor of u?
True
Does 6 divide (-30 + -5)*(2 + (-40)/14)?
True
Let w(q) = -q**2 - 8*q - 9. Let a(z) = z + 4. Let t be a(-6). Let j be 6*-1*t/(-2). Does 2 divide w(j)?
False
Suppose -5*u + 235 = 5*h, 3*u = u - h + 98. Is 12 a factor of u?
False
Let c(x) = x + 4*x + 6 - 6*x. Let i be c(5). Is 14 a factor of 37 - (-1 + i - -2)?
False
Suppose 0 = 26*a - 23*a - 57. Is a a multiple of 19?
True
Let g(k) = -k**3 - 5*k**2 - 2*k - 5. Let t be g(-5). Suppose -10 = -p - 4*s + 16, -5*s - t = -5*p. Is p a multiple of 6?
True
Let n be (-3)/(6*1/4). Is 19 a factor of (n - -1) + 1 - -19?
True
Suppose -10 = -d + u, -5*d - 4*u + 4 + 10 = 0. Suppose 2*z - 3 = z. Suppose -r + 34 = z*t, d*t - t + 13 = 2*r. Is r a multiple of 19?
True
Let o = 27 - 18. Let w(v) = -o*v**3 + v**2 - 1 - v - 11*v**3 - 3*v**3. Is 12 a factor of w(-1)?
True
Let a(f) = -4 + f + 11*f + 0. Is 16 a factor of a(3)?
True
Suppose 177 = 5*y - o, 2*o - 147 = -4*y + o. Is 9 a factor of y?
True
Let o = -59 + 122. Is 21 a factor of o?
True
Let i be 268/24 + (-2)/12. Let h = -6 + i. Is 2 a factor of h?
False
Suppose -4*w + 4*d + 1 = -11, 5*d - 9 = -w. Suppose -y = -5*k + 63, w*y - 3*y - 2 = 0. Is k a multip