-3 - -7. Suppose q + 2*f - 13 = 0, y*q + 4*f - 12 = 20. Is (q/(-6))/(1/(-58)) a multiple of 12?
False
Suppose r + 21 = 5*x + 93, -3*r + 5*x + 236 = 0. Is 19 a factor of r?
False
Let o = 1 + -4. Is (72 - 6/o)/2 a multiple of 12?
False
Let z(o) = o + 5. Let u be z(0). Suppose -u*q + 148 = 48. Is q a multiple of 7?
False
Let i be (3 + -2)/(2/10). Suppose 2*u - 7*u + 5*x = -115, 5*u - x = 115. Suppose -62 = -i*z + u. Is z a multiple of 6?
False
Let g(i) = i - 5. Let v be g(5). Suppose -4*j + 599 - 59 = v. Suppose y + 3*q - 30 = 0, 2*q + q = 4*y - j. Does 11 divide y?
True
Let p(i) = -7*i - 13. Let g(y) = y**3 - y**2 + 2*y - 3. Let d be g(2). Let u(w) = 6*w + 13. Let a(c) = d*p(c) + 6*u(c). Is a(-8) a multiple of 2?
False
Does 16 divide ((-24)/(-9))/(19/18 - 1)?
True
Let r be (-1)/(-2) - 172/8. Let v be r/(-6) - (-1)/2. Suppose -2*d - 2*z + 32 = 0, -2*z = 2 + v. Is 10 a factor of d?
False
Let u(l) = 3*l - 8. Let g be u(-6). Let a = -7 - g. Does 4 divide a?
False
Suppose -6*x + 412 + 128 = 0. Is 10 a factor of x?
True
Suppose -3*h = -5 + 23. Let f = h + 6. Suppose -w - 3*w + 84 = f. Is w a multiple of 10?
False
Let l be 2 + 0 + (-150)/(-5). Suppose 3*a - y = l, -2*a + 23 = -y + 2. Suppose 4*p = a + 13. Does 6 divide p?
True
Suppose 0*n + 6*n - 204 = 0. Does 4 divide n?
False
Suppose 0 = 4*k - 0*k - 28. Let b(z) = z**3 - 4*z + 14*z - 8*z**2 - k + 0. Is b(7) a multiple of 7?
True
Let g = -57 + 98. Let l = g - 17. Is 12 a factor of l?
True
Let h(i) = -2*i**3 + 6*i**2 + 9*i + 1. Let d(t) = -t**3 + t + 1. Let z(y) = -d(y) + h(y). Suppose 0*s - 3*s + 21 = 0. Is 7 a factor of z(s)?
True
Let t = -13 - -7. Let b be 3*10*(-2)/t. Suppose 0 = -2*s + b + 12. Is s a multiple of 5?
False
Let n(u) = -u**3 - 13*u**2 - 18*u - 10. Let z be n(-12). Suppose c - 2*x = 5*c - z, -3*c + 3*x + 51 = 0. Is 10 a factor of c?
False
Let y = -9 - -14. Let s be y/(5/2)*3. Suppose -3*q + 4*m + 45 = 0, -m + s = 2*q - 13. Is q a multiple of 9?
False
Is 4 - (4 + -4 - 4) even?
True
Let d(v) = 6*v - 24. Is 15 a factor of d(14)?
True
Let r(u) = u**3 - 4*u**2 + 8*u - 8. Is 6 a factor of r(4)?
True
Let l(c) = -17*c**3 - 5*c**2 - 2*c - 4. Let g(k) = 17*k**3 + 6*k**2 + 2*k + 5. Let b(f) = -5*g(f) - 6*l(f). Does 18 divide b(1)?
True
Let y(p) = p**2 + 10*p + 2. Let f be y(-10). Suppose -2*c - 13 - 37 = -f*j, -2*c + 90 = 3*j. Is 14 a factor of j?
True
Let g(b) = -b + 1. Let t be g(-3). Suppose t*z - 5*x = 6, 4*z - x + 5 = 19. Suppose z + 16 = 2*r. Is 6 a factor of r?
False
Let v(h) = h**2 - 4*h - 7. Let k be v(5). Is 4 a factor of 2 - (-3 - 2/k)?
True
Let d be (-164)/6 + 8/(-12). Let r = -3 - -60. Let y = d + r. Is y a multiple of 17?
False
Let y be (-236)/(-6)*3/1. Suppose 10 = 4*z - y. Does 16 divide z?
True
Let r(z) = 1. Let d(y) = 2*y + 10. Let s(l) = -d(l) + 5*r(l). Is s(-9) a multiple of 13?
True
Suppose 0 = -3*r - 3*x + 91 + 212, -4*x = -5*r + 460. Is r a multiple of 24?
True
Suppose 0*y + 4 = 2*y. Is 2 a factor of 1*(-1)/y*-4?
True
Let u(d) = -d**2 - 3*d - 3. Let j(g) = g**2 + 2*g + 2. Let x(i) = -6*j(i) - 5*u(i). Let h be x(5). Let y(r) = -r**3 - 7*r**2 - r + 3. Is 10 a factor of y(h)?
True
Let m(y) = -y - 1. Let z be m(-5). Suppose 3*t = -3*p + 120, 2*p - z - 4 = 0. Is t a multiple of 18?
True
Let p(d) = d. Suppose 4*m - 8 = 2*u, -u - 7 = 3*m - 3. Let o be p(u). Is 2*1/o*-62 a multiple of 13?
False
Suppose -3*n + 5*j = -88, -3*j + 98 = n + 3*n. Let t = 36 - n. Is t a multiple of 5?
True
Suppose -4*y + 5*y - 25 = 0. Suppose v + v + 2*t = 26, v + 5*t - y = 0. Does 10 divide v?
True
Suppose -5*f + 552 = -18. Is f a multiple of 5?
False
Does 4 divide 35 + -30 - -10*2?
False
Let g(b) = -10*b + 5. Let p(v) = -21*v + 11. Let f(m) = 13*g(m) - 6*p(m). Let q be -2*(-1)/(-2)*3. Is 4 a factor of f(q)?
False
Let l(r) = r**3 - 12*r**2 + 5*r + 16. Is l(12) a multiple of 18?
False
Let b = 19 - 10. Is 3 a factor of b?
True
Let l = -14 + 40. Let m = 7 - 8. Let d = l + m. Is d a multiple of 10?
False
Let d be ((-6)/9)/((-3)/9). Suppose -m = -d*m + 63. Suppose -2*n + m - 3 = 0. Does 11 divide n?
False
Suppose 4*n - a = 21, -5*a - 16 = n - a. Let d(k) = -k**3 + 3*k**2 + 6*k - 2. Is d(n) a multiple of 3?
True
Is 23 a factor of (3/(-2) + -1)*(-368)/8?
True
Is (40/(-6))/((-10)/30) a multiple of 20?
True
Let l = 5 - 3. Suppose 4*k = b - 27 - 7, l*k = -5*b + 104. Does 22 divide b?
True
Let n = 140 - 323. Is 10 a factor of (-1)/(n/60 - -3)?
True
Let q(d) = -d**2 + 9*d - 3. Suppose -2*b + 10 + 2 = 0. Let r be q(b). Let i = 29 - r. Does 8 divide i?
False
Suppose 2*x + 3*x - 245 = -5*w, -245 = -5*x - w. Suppose 0 = -4*y + 31 + x. Is y a multiple of 7?
False
Let x be (-22)/(3/((-27)/6)). Let k be 2 + (-1 + 3)*x. Suppose -57 = -5*v + k. Is v a multiple of 9?
False
Let d(y) = 6*y**2 - 6*y + 30. Is 24 a factor of d(6)?
False
Suppose 0 = -g + 4 - 1. Suppose -3*o - g = -9. Suppose -p + 5*p - 108 = -5*t, 5*p - o*t = 168. Is p a multiple of 13?
False
Let v(i) = -i + 7. Let u be v(-7). Let y = u - -5. Suppose 4*l - l = 5*g - 37, -3*g + l = -y. Is 2 a factor of g?
False
Suppose -5*a = 4*y - 209, -159 = -2*y - y - 3*a. Let c = -30 + y. Is c a multiple of 11?
False
Let x(o) be the first derivative of -o**3 + o - 3. Let b be x(1). Is 7 a factor of 23 - (2/b + 3)?
True
Let v(d) = -28*d + 2. Let x be v(2). Let f = x - -91. Is f a multiple of 21?
False
Let i be (4 - 3) + (2 - -1). Suppose 2*a + 21 - 5 = -i*n, a - 4*n - 22 = 0. Suppose 2*o + 2*q + 2 = 0, -4*o - a*q + 5*q + 31 = 0. Is 2 a factor of o?
True
Suppose -m + 12 = 2*m. Suppose o + u + 5 = 6*o, 2*o + m*u = 2. Is 3/(o + -4) + 3 even?
True
Let d(p) = -4*p - 1. Let z be d(8). Is 13 a factor of (z/9 - 2)*-3?
False
Suppose 0 = g + g - 74. Suppose g = y - 2. Is y a multiple of 13?
True
Suppose -21 = -3*o - m - 2*m, 2*o - 2 = 4*m. Suppose 2*f = -0*f - 4*d + 128, -326 = -o*f - 4*d. Suppose -3*p = 3*q - f, -5*q + 74 = 3*p - 0*q. Does 18 divide p?
True
Suppose -3*b + 238 + 14 = 0. Is 21 a factor of b?
True
Let b = 42 + 7. Is 49 a factor of b?
True
Let g = 39 + -43. Suppose -q = -2*q. Does 13 divide q - (g/(-2) + -15)?
True
Is (-644)/(-21) - (-4)/(-6) a multiple of 18?
False
Suppose 0 = 2*b - 3*k + 12, -b = -0*b + 2*k - 8. Suppose b = -x - 2*x. Suppose x = -w + 13 + 7. Is 15 a factor of w?
False
Suppose -3*b + 0*b + 159 = 4*f, -3*b - 2*f + 165 = 0. Is b a multiple of 14?
False
Let w = 112 + -52. Is w a multiple of 4?
True
Suppose -6*q - 3*o = -3*q + 6, 0 = -4*q + 5*o - 17. Does 22 divide (-33)/(q/(-3 + 9))?
True
Suppose 0 = 2*a - 3*a + 21. Let p = -12 + a. Suppose -4*l + p*l = 10. Is l even?
True
Let q(s) be the third derivative of s**6/120 - s**5/10 + s**4/3 - s**3/2 + s**2. Let b(n) = 5*n - 5. Let u be b(2). Is q(u) a multiple of 6?
True
Let a(v) = -v**3 - 8*v**2 - v + 8. Let u(n) = -n**2 + 1. Let w be u(-3). Let p be a(w). Is p + -1 + 6 + -4 a multiple of 14?
False
Let x(m) be the second derivative of m**5/20 - m**4/2 - 7*m**3/6 + 9*m**2/2 + 3*m. Let g be -2*(-3)/(-6)*-7. Is x(g) a multiple of 7?
False
Suppose -33 = -i + 2*j, -3*j = -2*i - j + 60. Does 9 divide i?
True
Suppose -r = 2*r - 135. Does 10 divide r?
False
Is (252/5)/(4 + (-37)/10) a multiple of 8?
True
Let d = 8 - 8. Suppose 8*v - 9*v + 24 = d. Is v a multiple of 12?
True
Suppose 0*x + 2 = -x. Let j = x + 0. Let l(q) = 7*q**2 - 2*q. Does 16 divide l(j)?
True
Let g be (-1)/(2/9)*90/(-135). Let a(w) = 3 + w**3 - 6*w + 3*w + w. Is 8 a factor of a(g)?
True
Let q = -7 + 4. Let z = 43 - q. Is z a multiple of 22?
False
Let a = 34 + -130. Is (-16)/a - 22/(-12) even?
True
Let j = 154 + -73. Suppose f - j = -12. Is 15 a factor of f?
False
Let s be -1*(-3 - -4)*-53. Let w = 81 - s. Does 28 divide w?
True
Suppose 2*b - 5*b = x + 24, 0 = 3*x. Is 30 a factor of 2/b - 4113/(-36)?
False
Let k(i) = 5*i**2 + i. Let a be k(-1). Let n = 29 + -15. Suppose -a = b - n. Is 10 a factor of b?
True
Suppose 35*z = 32*z + 66. Is z a multiple of 11?
True
Let c be (-1 - -3) + (7 - -3). Let q = c + 4. Is q a multiple of 8?
True
Let i(g) = -7*g - 8. Let q be i(-8). Suppose q = -f - 2*f. Let a = 39 + f. Is 8 a factor of a?
False
Let x(d) = -2*d**2 - 56*d + 12. Is x(-25) a multiple of 49?
False
Suppose 3*f - 5*f = 0. Suppose f = -0*p - 2*p + 4. Is p even?
True
Suppose -s = s - 2. Suppose -10 = 3*u + 4*a, -a + s - 7 = -u. Does 15 divide -1*u - (4 + -3