 o(z) = -6*z + 27. Does 7 divide o(-6)?
True
Let t(f) = 11*f - 5. Let y be t(10). Let i = y - 63. Does 21 divide i?
True
Let k = 187 - 89. Does 35 divide k?
False
Let y = 85 - -6. Let v(k) = k**2 - k - 2. Let z be v(2). Suppose 5*r - 3*w - 2*w - 170 = z, 5*w = -4*r + y. Is r a multiple of 15?
False
Let b be (-2)/(-10) - 837/(-15). Suppose 4*z + 0*v = 2*v + b, 0 = -z - 2*v + 19. Does 5 divide z?
True
Suppose 4*x = -0*x + 48. Suppose 4*d - 17 = -n, x - 1 = 3*d - n. Suppose d*q = -5*s + 45, -q - 1 + 6 = -5*s. Is q a multiple of 8?
False
Suppose -5*x + 10*x - 690 = 0. Does 31 divide x?
False
Let d = -5 + -15. Let b = d - -34. Is b a multiple of 5?
False
Suppose -8*k = -3*k - 175. Let p = 49 - k. Does 13 divide p?
False
Suppose 2*b + 23 = 99. Suppose 6*l - 3*l - 12 = 0. Suppose -3*c + l*i = -b - 21, -5*c - i = -60. Is c a multiple of 5?
False
Suppose -138 = -m - 3*l, 0 = -3*m + 5*l - 2*l + 366. Does 21 divide m?
True
Suppose 2 = -x + 4. Suppose x*i + 3 + 7 = 0, -3*t - 2*i = -2. Suppose -a = -14 - t. Does 9 divide a?
True
Let n be 362/6 - (-1)/(-3). Suppose 7*s = 3*s + 16. Suppose -o + n = s*o. Is 7 a factor of o?
False
Suppose 140 = -6*h + 11*h. Is 14 a factor of h?
True
Let g(r) = 34*r - 2. Is g(3) a multiple of 24?
False
Suppose 0 = 5*u + 3*c - 500, -c - c = 0. Does 48 divide u?
False
Let n(l) = -2*l**2 - 32*l - 1. Let t(a) = a**2 + 16*a + 1. Let d(i) = 6*n(i) + 11*t(i). Let f be d(-7). Suppose -4*h + h + g = -f, h - 22 = g. Does 23 divide h?
True
Suppose -10*p + 14*p = 56. Is 2 a factor of p?
True
Let n(t) = 10*t + 2. Let c = -2 - -4. Let o be n(c). Suppose -4*q - 2 = -o. Is q a multiple of 5?
True
Suppose -5*l - 80 = -7*l + 5*b, 138 = 5*l + 3*b. Is l a multiple of 10?
True
Let d(b) = 46*b**2 - 1. Let i be d(-1). Suppose 0 = -4*j + 43 + i. Is 11 a factor of j?
True
Let x(h) be the second derivative of 3*h**5/10 - h**4/6 - 16*h. Suppose 5*f - 3*z - 4 = 0, -f - f + 6 = z. Is x(f) a multiple of 17?
False
Suppose 4*v = 210 + 170. Does 17 divide v?
False
Suppose 4*f = 3*n + 5*f - 71, 4*f + 16 = 0. Does 5 divide n?
True
Let g(k) = -k**2 + 8*k + 2. Let v be g(8). Suppose 3*o - 10 = v*q - 0*o, 5*q - 5*o + 35 = 0. Let w = 7 - q. Does 18 divide w?
True
Suppose -3*t + 2*t = -2*y - 78, -2*t + 156 = -5*y. Is t a multiple of 27?
False
Let i(p) = -p**2 + 12*p - 5. Is i(8) a multiple of 11?
False
Let d(p) = p**2 - p + 1. Let y(b) = -6*b**2 + 5*b - 1. Let r(w) = -2*d(w) - y(w). Does 8 divide r(-2)?
False
Let o = -8 + 8. Suppose 0*l = -4*t - 5*l + 120, 3*t + 3*l - 93 = 0. Suppose -j - 4 = o, -2*i = -i - j - t. Does 17 divide i?
False
Let w = 90 - 64. Is 13 a factor of w?
True
Let x be 8 + -3*(-4)/(-4). Let t = 13 - x. Is 3 a factor of t?
False
Suppose 5*c - 14 = 1. Let z = c - 16. Let a = 6 - z. Does 16 divide a?
False
Let g(v) be the first derivative of 3*v**2/2 - 3*v - 1. Does 12 divide g(5)?
True
Suppose -2*k = 2*k + 16. Let q = k + 11. Is 5 a factor of q?
False
Suppose -4*q - 2*i + 593 = i, -5*q - 4*i = -740. Is 47 a factor of q?
False
Let m = -6 - -10. Suppose m = 3*f - 2. Suppose 0 = 5*c + f*h - 154, -5*h - 85 - 58 = -4*c. Does 13 divide c?
False
Let z = 14 - 10. Suppose 0*b = -z*b + 32. Suppose 10 + b = i. Is i a multiple of 9?
True
Suppose 0 = q + 41 - 117. Let i(g) = g**2 - 32. Let r be i(6). Suppose -4*o + r*k = -q, -o + 5*k = o - 38. Does 6 divide o?
False
Let i(f) = f**2 + 2*f. Let n be i(-2). Suppose q - 6 - 6 = n. Is 5 a factor of q?
False
Let b(d) = -d**2 + 3*d + 2. Does 4 divide b(2)?
True
Let r be (-4)/1 - (-3 - -6). Let m(g) = g**3 + g**2 + 1. Let l(j) = 5*j**3 + 12*j**2 + 7*j + 8. Let a(o) = l(o) - 4*m(o). Is 2 a factor of a(r)?
True
Let t(r) = r**3 - 7*r**2 + 3*r + 1. Let x = -18 - -25. Let b be t(x). Suppose 0 = -2*f - 0*f + b. Is f a multiple of 11?
True
Suppose 65*b = 73*b - 96. Does 2 divide b?
True
Let g = 148 + -108. Is g a multiple of 10?
True
Let o(q) be the first derivative of -q**4/4 + 3*q**3 + 6*q**2 + 4*q + 3. Does 12 divide o(10)?
True
Suppose -c - 100 = 4*c. Does 10 divide (c/3)/(-2)*9?
True
Suppose 21 = -3*c - 2*q + 3*q, -4*c + 3*q - 33 = 0. Let u(f) be the second derivative of -f**5/20 - f**4/2 - 2*f**3/3 - 5*f. Does 8 divide u(c)?
True
Let j(k) = -9*k - 1. Does 14 divide j(-5)?
False
Let r(z) = -z - 1 + 0*z - z**2 - z**3 + 4*z**3 + 0*z**3. Is 14 a factor of r(2)?
False
Let r(b) = -3*b**2 + 15*b - 5. Let q(s) = -2*s**2 + 8*s - 2. Let g(c) = -5*q(c) + 3*r(c). Does 17 divide g(4)?
False
Let i = -38 + 65. Does 27 divide i?
True
Is 2 a factor of 170/(-15)*3/(-2)?
False
Let p = -8 + 14. Does 3 divide p?
True
Let h = -72 + 45. Suppose -139*t + 133*t + 318 = 0. Let c = t + h. Is 21 a factor of c?
False
Let r(l) = 5*l. Does 15 divide r(15)?
True
Let f(m) = -7*m. Let r(a) = -a - 1. Let x(d) = f(d) + r(d). Let o be -1 + (-4)/(-8)*-10. Is x(o) a multiple of 12?
False
Let w = -10 + -19. Let u = 3 - w. Suppose 3*n - n = u. Is 9 a factor of n?
False
Suppose 5*z = d - 28, -5*z = 2*d - 3*z - 32. Is d a multiple of 9?
True
Suppose 8 = 4*x - 36. Is x a multiple of 3?
False
Let c(l) be the second derivative of l**4/6 - 5*l**3/6 + 3*l**2 + 3*l. Does 9 divide c(4)?
True
Let r = -58 + 94. Is r a multiple of 18?
True
Let r(j) = -2*j**3 - 2*j + 44. Does 11 divide r(0)?
True
Suppose 0 = -8*f + 2*f + 612. Does 20 divide f?
False
Let y(v) = -v**3 - 5*v**2 + 3*v + 2. Let h be 28/(-4) - -3 - 2. Does 5 divide y(h)?
True
Let o(q) = 2*q + 7. Let m be o(-3). Does 8 divide -3*(-3)/1 - m?
True
Let q = -29 + 56. Is q a multiple of 11?
False
Let k be 2/9 + ((-850)/18 - 1). Suppose 4*s + 62 = -346. Let i = k - s. Does 14 divide i?
False
Let x(v) = 5*v - 6. Let o be (-1)/3 - (-24)/(-9). Let s(n) = 2*n**2 + 3*n - 3. Let y be s(o). Is x(y) a multiple of 12?
True
Let n(i) = -3*i - 1. Is n(-7) a multiple of 4?
True
Let x(i) = -i - 4. Let c be x(-4). Suppose 0 = 3*w + 5*n + 6, 2*n = -4*w - c*n + 6. Is 2 a factor of w?
False
Suppose -10 = 5*k, -5*t + 11 = -k + 3*k. Suppose -2*n = -t*n + 28. Does 20 divide n?
False
Let w(u) = -u**3 - 7*u**2 - u - 4. Is w(-7) a multiple of 3?
True
Let q be ((-27)/6 + 2)*-10. Suppose -3*d - 4*m = -0*m - q, 0 = 4*d + 3*m - 31. Suppose 3*j - 8 = -w, d*w + 3*j - 30 = 4*w. Is 11 a factor of w?
True
Let w be 1 + 0 + (-2)/(-1). Suppose n + w*a - 1 = 0, n - 3*a = -4*a + 5. Is 2 a factor of n?
False
Let z(r) = 5*r - 25. Let w(b) = -1. Let p(i) = 5*w(i) - z(i). Let g(s) = s - 5. Let a(o) = -9*g(o) - 2*p(o). Is 2 a factor of a(0)?
False
Let s(u) = 8*u**2 - 7*u + 6. Is s(5) a multiple of 9?
True
Let a = 0 + 4. Suppose -18 = -5*w - a*m, 0*m - 12 = 4*m. Does 2 divide w?
True
Let t(i) = 23*i - 1. Suppose -3*a - 2 = -5. Does 11 divide t(a)?
True
Suppose -14*j - 462 = -20*j. Does 11 divide j?
True
Suppose z - v = 177, 12 = 2*v + 2. Does 28 divide z?
False
Suppose 0 = -r - 2*r. Suppose 0 = 3*g + 5*y - 126, 2*g + y = -r*g + 77. Is g a multiple of 11?
False
Let j = -8 + 83. Is 25 a factor of j?
True
Let j(t) = t + 2. Let w be j(5). Let f = w - -1. Does 2 divide f?
True
Suppose -4*n + 364 = 4*o + o, -4*n = -4. Does 18 divide o?
True
Suppose -2*x = -w + 4*w - 194, 3*w - 3*x - 174 = 0. Suppose -5*l - 21 - 113 = 3*a, -84 = 2*a - 2*l. Let i = a + w. Is 8 a factor of i?
False
Let j = -94 + 134. Is 14 a factor of j?
False
Let x be -4*(1 - 15/4). Let a be (-3 + 0 + 1)*x. Let h = -13 - a. Is h a multiple of 5?
False
Let d = -29 - -122. Is 5 a factor of d?
False
Let v = 4 - 1. Is 10 a factor of (22/(-3))/(v/(-9))?
False
Let z(m) = 2*m**2 - m. Let s be z(1). Let y be 3 + s - 3 - 44. Let k = 65 + y. Is k a multiple of 11?
True
Suppose 0 = 3*y - 5*y. Suppose 5*z - 26 = -2*m, 5*z = 3*m - 2*m + 17. Suppose y = -z*u - 8 + 32. Is u a multiple of 3?
True
Let y(r) = 0*r + 2*r**2 + 2*r - 4*r**2 + 2. Let d be y(-2). Is 5 a factor of ((-2)/4)/(1/d)?
True
Suppose 0 = h - 5*k + k - 79, -70 = -h - 5*k. Suppose -h = -4*a + 5. Is a a multiple of 5?
True
Suppose 2*r = 2 + 10. Suppose r = -2*f + 18. Does 3 divide f?
True
Let s = -11 - -47. Is 28 a factor of s?
False
Suppose 2*m + 4*o - 34 = 0, 0*o = 5*m - 4*o - 15. Let z(d) = 8*d + 4. Let h(u) = u + 1. Let q(n) = -4*h(n) + z(n). Does 14 divide q(m)?
True
Does 42 divide ((-120)/(-14))/(6/147)?
True
Suppose -t = -5*t + 20. Is (t*-4)/(-4) + 1 a multiple of 6?
True
Let j be (-2*1)/(2/12). Let z be (-111)/2*j/9. Suppose -5*n = 2*u - z, 5*