/(-4) + 171/12?
True
Let y(q) = -2*q + 24. Does 6 divide y(-20)?
False
Is (-11 - 4/1)/(-1) a multiple of 5?
True
Does 17 divide (-7420)/(-180) + 2/(-9)?
False
Let l = -3 - -8. Is 2 a factor of l?
False
Suppose 2*v - 6*v - 4*z - 28 = 0, 0 = 2*v + 3*z + 17. Is v/(-16) - (-55)/4 a multiple of 14?
True
Suppose -5*v - 29 = 21. Let d = 21 + 13. Let x = d + v. Is x a multiple of 12?
True
Suppose 0 = 5*a - 8*a + 123. Does 11 divide a?
False
Suppose 3*b + 2*y - 56 = 3*y, -4*b = 5*y - 81. Let z = 41 + b. Is 20 a factor of z?
True
Is 39 a factor of (-1523)/(-13) + -2 + 96/52?
True
Let v(r) = 6*r**2 - 8*r + 11. Does 46 divide v(4)?
False
Let q(c) = c**2 + c + 24. Let h be q(-6). Suppose -3*o = 3*z + o - 259, 0 = 2*z + 5*o - 168. Let b = z - h. Is b a multiple of 23?
False
Let p(r) = 2*r**3 - 3*r**2 - 3*r - 1. Let s be p(4). Suppose 2*l - 5 - 5 = -5*f, -2*f + s = 5*l. Is l a multiple of 15?
True
Let u = 3 + -8. Let b = u - -4. Is 45/6 + b/(-2) a multiple of 3?
False
Is -6*14/(-3) + 4 a multiple of 8?
True
Let n(r) = 6*r - 2. Let l(o) = 7*o - 2. Let d be 2*3*(-4)/6. Let q(k) = d*l(k) + 3*n(k). Is 18 a factor of q(-4)?
False
Let c be 178/5 - (-6)/15. Suppose 0 = -2*d + 88 + c. Suppose -3*v + d = -v. Is v a multiple of 20?
False
Let c(p) = p**2 - 9*p + 3. Let u be c(9). Suppose 7 = w - 5*o - 5, u*w + 3*o = 90. Is 8 a factor of w?
False
Suppose 299 = -2*b + 7*b - 4*v, 2*b + 2*v - 134 = 0. Does 7 divide b?
True
Suppose -4*q - u = 2*u - 518, 0 = 4*q + u - 514. Suppose -3*b + 3*w + 26 = -w, 13 = -b - 3*w. Suppose 3*z + 2*v = 136, -b*v + q = 3*z + 2*v. Does 24 divide z?
True
Let l(j) = j**2 - 7*j - 3. Let o be l(8). Does 7 divide (o - 7) + 3*3?
True
Let f(n) = n**3 - 8*n**2 - n + 8. Let c be f(8). Suppose c = 5*d - 0*d - 80. Is 8 a factor of d?
True
Let l(a) = 18*a - 4. Is 8 a factor of l(2)?
True
Let o = -174 - -265. Does 13 divide o?
True
Suppose -4*q - 4*g + 10 = -22, -5*q - 4*g = -36. Suppose -q*h = 12, -5*f + 22 = -2*h - 14. Is 6 a factor of f?
True
Suppose -23 = -y + 5*o, y + o + 4*o + 17 = 0. Suppose 0 = 5*n - 0*l + y*l - 9, 3*n - l + 3 = 0. Let p = 3 + n. Is 2 a factor of p?
False
Let b(o) be the second derivative of 7*o**6/360 - o**5/30 - o**4/8 - o**3/2 + 3*o. Let y(t) be the second derivative of b(t). Does 11 divide y(-2)?
True
Let k(y) = -y**3 - 4*y**2 - 5*y - 2. Let s be k(-3). Suppose 4 = s*t, 4*u + 4*t = 35 + 93. Is u a multiple of 15?
False
Let w(d) = -d**3 - d + 219. Is 7 a factor of w(0)?
False
Suppose -49*f = -44*f - 560. Does 28 divide f?
True
Let w(x) = -x**2 + 2*x + 4. Let h be w(4). Let m = h - -2. Is 21 a factor of 6*(-17)/4*m?
False
Suppose q + 2*q - 249 = 0. Suppose 0 = 5*p - 4*a - 969, -3*p + 0*a = 2*a - 577. Suppose 4*r - q = 2*r + 5*u, -4*r + u + p = 0. Is 14 a factor of r?
False
Let z(m) = -m**2 - 3*m + 17. Does 17 divide z(0)?
True
Suppose -c + 9 = n - 4*c, 2*n = c + 8. Let g(s) = -3 + n + 10*s. Is g(1) a multiple of 5?
True
Let m(p) = p - 6. Let j be m(9). Suppose -j*z = z. Suppose z = 6*u - 4*u + 5*a - 49, 160 = 5*u + 5*a. Is u a multiple of 12?
False
Suppose -148 = -3*a + 41. Let p = -40 + a. Does 13 divide p?
False
Suppose -301 = -4*t - 2*j - 19, 0 = 4*t + 4*j - 284. Is t a multiple of 14?
True
Is 7 a factor of -50*(4/(-2))/4?
False
Let d = 25 - 5. Is d a multiple of 10?
True
Suppose 9 = z + 2*z. Suppose 5*o = 3*p + 105, 4*o + 11 = z*p + 98. Is o a multiple of 8?
False
Let y = 53 + 96. Let t = 103 - y. Does 18 divide t/(-2) + (1 - 3)?
False
Let o(c) = -c**2 + 13*c + 2. Is 14 a factor of o(12)?
True
Let x = 1 + -5. Let p = x + 8. Is 2 a factor of 21/p - 1/4?
False
Let o(t) = -t**3 - 7*t**2 + t + 10. Let z be o(-7). Suppose 0 = u + z*u - 8. Suppose 5*d - 33 = u*d. Is d a multiple of 7?
False
Let u(l) = -l**3 + 10*l**2 - 9*l + 4. Let s be u(7). Suppose 0 = o + 3*o - s. Let y = o + 11. Is 20 a factor of y?
False
Suppose 2*o - 3*o + 2 = 0. Does 11 divide (-1276)/(-33) - o/(-6)?
False
Let n(u) = -u - 2*u + u**2 - 2 + 3*u - 4*u. Is n(6) a multiple of 5?
True
Let f = 27 - 26. Let v = 15 + f. Is 10 a factor of v?
False
Let q(n) = n**2 - 6*n - 1. Let j be q(5). Is j/(-18) + 56/3 a multiple of 8?
False
Suppose 5*j - 3*j = 72. Does 14 divide j?
False
Suppose -2*f - 3*b = -28, f + 44 = 6*f + b. Is -1 + 0 + (12 - f) a multiple of 3?
True
Let y be -2 - 152/4*1. Does 10 divide y/(-15)*(-150)/(-8)?
True
Let m(o) = -o**2 - 8*o + 12. Let j be m(-9). Is ((-10)/3)/(j/(-36)) a multiple of 11?
False
Let b(a) be the first derivative of -a**4/4 + 11*a**3/3 + 2*a**2 - 3*a + 1. Suppose -3*u + 1 = -32. Is b(u) a multiple of 22?
False
Suppose -2*m = -0*m - 6. Suppose -m*l + l - 20 = 4*b, -5*b - 19 = 4*l. Let s = 11 + b. Is 4 a factor of s?
True
Suppose -46 - 174 = -5*z. Is 16 a factor of z?
False
Suppose 0 = 3*n - 13 + 4. Suppose -4*h - n*s = -5*s - 28, 0 = 2*h - 4*s - 2. Does 6 divide h/((-9)/24*-2)?
True
Let f(b) = -b**2 + b + 1. Let r be f(-2). Let o be (-70)/(-6) - r/15. Suppose 4*h - o = -t + 25, 0 = h - 2*t - 7. Does 9 divide h?
True
Suppose 4*h = -2*g - 380, -6*h + h + 5*g = 460. Is h/(-6) - 2/(-6) a multiple of 13?
False
Let i = -16 - -26. Let t be (-669)/15 - 4/i. Let k = t - -65. Is k a multiple of 10?
True
Suppose -11*y = -58 - 261. Does 11 divide y?
False
Suppose 4*m = 122 - 50. Is m even?
True
Let b be (2 - (-16)/6)*-3. Is 20 a factor of ((-144)/b)/(4/28)?
False
Let i = -4 + 19. Does 15 divide i?
True
Let m be (-1 - 6/(-3))*-1. Let p = 1 - m. Is (1*p)/(7/28) a multiple of 8?
True
Let z = -3 + 7. Suppose 0 = h + c - 26, 4*h - 2*h = -c + 48. Let x = h - z. Is 14 a factor of x?
False
Let h(f) = f**2 - f + 4. Let y be h(0). Let b(n) = -n**3 + 6*n**2 + 6*n - 13. Let g be b(6). Suppose -g = -y*c + 33. Does 7 divide c?
True
Suppose 11 = 2*k - 13. Is 12 a factor of k?
True
Let i = 26 + -13. Let y(u) = 10*u**2 - 4*u + 3. Let t be y(2). Let j = t - i. Does 11 divide j?
True
Let g(f) = -16*f - 2. Let k be 32/(-24) + (-2)/3. Is g(k) a multiple of 9?
False
Let t(k) = k**3 + 13*k**2 - 14*k + 4. Is t(-12) a multiple of 33?
False
Suppose -2*h = 3*h - 15. Suppose -140 = 4*q - 9*q - n, 0 = -4*q - h*n + 112. Is 14 a factor of q?
True
Let i be (4/5)/(2/5). Suppose 210 = 4*l + i*p, 4*l - 3*p + 66 - 271 = 0. Suppose -4*r + 3*t + l = 0, 5*r - t - 54 = -0*t. Is 8 a factor of r?
False
Let b be (-336)/(-33) + (-2)/11. Let i be (-4)/(-5)*b/4. Does 13 divide i*3/6 - -12?
True
Let z(b) = 76*b + 80*b - 10*b. Let y be z(-6). Is 20 a factor of y/(-22) + (-4)/(-22)?
True
Suppose 5*z + 25 = -2*t, -3*t + 6 = -2*z + 72. Let u = -12 - t. Let l = u - 4. Is 4 a factor of l?
True
Suppose -11 - 17 = -m. Does 6 divide m?
False
Let w = -18 + 21. Suppose -8 = 4*h, -w*h + 0 = 2*a - 2. Does 4 divide a?
True
Let p be ((-3)/(-2))/(2/4). Suppose p*y = y + 24. Is 6 a factor of y?
True
Let i(c) = c**2 + c + 5. Let j be i(0). Let u = j - 2. Is u a multiple of 3?
True
Suppose 0*t - 2*t = -18. Is 5*t/(2 + 1) a multiple of 6?
False
Suppose 5*r - 2*r = 39. Suppose r = 4*i - 3. Does 2 divide i?
True
Suppose -9*r = -106 - 704. Is r a multiple of 5?
True
Suppose -j = -5*i - 3*j + 6, -3*j - 12 = -3*i. Suppose -t - 1 = i. Let q = t + 11. Does 4 divide q?
True
Suppose -3*q + 14 + 1 = -2*k, q - k - 5 = 0. Suppose 0*h + h = -3*u + 20, 0 = -h - q*u + 22. Does 17 divide h?
True
Let f(h) = h**3 + 9*h**2 + 8*h - 9. Let l be f(-8). Let v be l/(-6) + (-2)/(-4). Suppose 0 = 3*k + 2*j + 3 - 18, 0 = -v*k - 4*j + 10. Is 3 a factor of k?
False
Let j be (3 + -1)*(-6)/(-3). Suppose -6 = -j*u + 182. Is 17 a factor of u?
False
Let r(y) be the third derivative of y**4/24 + y**3/6 + 3*y**2. Is 8 a factor of r(7)?
True
Suppose 3*n = -n + 400. Is 20 a factor of n?
True
Suppose -254 = -2*a - 2*n, a + 253 = 3*a + n. Is a a multiple of 7?
True
Let q(m) = -3*m - 3. Let x be q(-4). Let y = x - 5. Suppose -s = 3*s + 5*d - 44, -3*d = -y*s + 76. Is s a multiple of 8?
True
Let b(h) = -h**3 - h**2 - h + 30. Does 11 divide b(0)?
False
Suppose -4*w = -5*w - 4*k - 188, 0 = 4*w - 3*k + 676. Let l be w/(-20) + 6/15. Suppose -l = -c + 5. Is c a multiple of 6?
False
Let d be 1/2*(-5 - -5). Suppose 8*i - 5*i - 15 = d. Suppose -25 = -5*o - i*r, -35 - 9 = -4*o + 2*r. Is 9 a factor of o?
True
Let u be 3/(0 + 0 + 1). Suppose g + u*h - 8 = 4*h, 0 = 3*g + 3*h - 6. Is 5 a factor of g?
True
Suppose -k = o - 10, 0 = -8*o + 4*o + 3*k + 33. Does 9 di