f 8?
True
Let o(m) = m - 8. Let x be o(4). Does 13 divide (68/(-5))/(x/10)?
False
Let g = 10 + -8. Is 2 a factor of g?
True
Let b = -24 + 50. Let n = b + -52. Let o = n - -37. Is o a multiple of 11?
True
Let a(u) = -u**2 + 9*u - 8. Does 2 divide a(6)?
True
Suppose 3*l + p - 142 = -p, 0 = -4*l - 3*p + 191. Does 22 divide l?
True
Let v = -375 + 840. Is 18 a factor of v?
False
Let l be (-2 + -1)*8/6. Let y be 5/(50/l)*5. Does 17 divide (-4 + -47)/(y/2)?
True
Let g be -78 + 1 + 1 - 2. Let v be g/(-8) - (-1)/4. Let f = 24 - v. Is f a multiple of 7?
True
Suppose -2*i + 4*j + 2 = -10, 4*i + j = 6. Suppose 0 = -2*q + 4*l + 4, -5*l = -4*q + 5. Suppose i*o - 48 + 20 = q. Is o a multiple of 11?
False
Let d(p) = p**2 + 3*p + 2. Let h be (6/4)/(3/(-4)). Let g be d(h). Suppose 2*c - 3*c + 4*i + 4 = g, -6 = -c + 3*i. Is 11 a factor of c?
False
Suppose 0 = -4*k + k + 9. Suppose -w + k*w - 32 = 0. Suppose s = 2*s - w. Is 8 a factor of s?
True
Is (-6 - (-1088)/56) + (-3)/7 a multiple of 4?
False
Let b = -30 - -30. Let s be ((-3)/((-6)/(-10)))/(-1). Suppose d + 5*j = 6 - b, -d + s*j = -26. Is 12 a factor of d?
False
Let v(r) = r. Let s(b) = -5*b - 1. Let w(h) = -s(h) - 3*v(h). Is 13 a factor of w(6)?
True
Let q be (-2)/(-6) - 58/(-6). Suppose -5*s + q = -5*n, -s - n - 2 = 2*s. Suppose s*p = j + p - 8, -4*j = 5*p - 37. Does 3 divide j?
True
Let r = 96 + -52. Suppose q - 56 = -4*t, 5*t - 2*q - r = 26. Does 10 divide t?
False
Let o be (-105)/(-33) + 8/(-44). Suppose -5*u = o*r - 0*r - 100, -3*r = -3*u + 36. Is 6 a factor of u?
False
Suppose 0*x + 2*x + 394 = 3*q, -5*x = q - 120. Suppose -4*b = -9*b + q. Is b a multiple of 7?
False
Let j(g) = g**3 - 2*g**2 - 9*g + 19. Is 3 a factor of j(4)?
True
Suppose 2*i + 5*b = 22, -i + 8 = 4*b + 3. Suppose 55 = 4*v - i. Is v a multiple of 19?
True
Let g(y) = -y**3 - 2*y**2 + 3*y + 16. Does 4 divide g(-5)?
True
Suppose 0 = -3*l + 2*q - 15, -4*q + 3 = -3*q. Let z = l + -66. Let m = -25 - z. Is m a multiple of 19?
False
Let u(m) = -m**3 + 10*m**2 - 9*m + 1. Let c be u(9). Is ((-10)/5)/(c/(-6)) a multiple of 12?
True
Suppose 5*m - 3*f - 165 = 0, 0 = 4*m + m - 4*f - 170. Is m a multiple of 10?
True
Let v(y) = y**2 - 1. Let o be v(-1). Suppose 0 = -5*a - 0*a + r - 39, -3*a - 5*r - 29 = o. Let j(h) = -h + 4. Is 6 a factor of j(a)?
True
Let n(k) = k - 1. Let s be n(3). Suppose -s*h - 298 = -4*u, -3*u - 3*h = -0*u - 210. Is u a multiple of 23?
False
Suppose -1488 = -6*d - 12. Suppose 120 = 2*g - m - 2*m, -4*g + d = -3*m. Does 19 divide g?
False
Let t(g) = g**3 + 6*g**2 - 6*g + 10. Let r = 17 - 24. Let s be t(r). Is (0 + 57)*1/s a multiple of 19?
True
Suppose 0 = -2*i + 4*h + 472, -2*i + 636 = -5*h + 161. Is i a multiple of 54?
False
Let j(o) be the third derivative of -o**6/120 + o**5/15 + o**4/4 + o**3/2 - o**2. Is 3 a factor of j(5)?
False
Let u = 70 - 34. Is u a multiple of 3?
True
Suppose 0 = -4*y + 4*x + 200, 2*y = -3*y + 2*x + 238. Is 4 a factor of (-4)/6 + y/6?
False
Suppose 3*u = -4 + 10. Let b be ((-2)/4)/1*-10. Suppose -u*t + 3*c - 17 = -48, 0 = -c + b. Does 10 divide t?
False
Suppose -4 = -3*k - 16. Let r(s) = -s**3 - 4*s**2 + 5. Let h be r(k). Suppose 45 = -h*b + 8*b. Is b a multiple of 5?
True
Let l = 58 - -26. Is 42 a factor of l?
True
Let a(b) = -b**3 - 10*b**2 + 11*b + 3. Let o be a(-11). Suppose 5*x = o*x + 48. Is 13 a factor of x?
False
Suppose 3*m = 2*m + 50. Does 10 divide m?
True
Suppose -45 = 2*a - 7*a. Let g = a - 5. Let k = g + 20. Does 10 divide k?
False
Let o(g) = -9*g**3 - g**2 - 2*g - 1. Let a be o(-1). Suppose 0 = 2*s + 3*q - a, 3*s - s = q + 5. Suppose 12 = s*i - 3*c, i - 7 = -2*c + 9. Is 3 a factor of i?
False
Let w(k) = -k**2 + 6*k - 3. Let q(a) = 2*a - 1. Let i(u) = 8*q(u) - 3*w(u). Let x be i(1). Is (-126)/(-10) - x/(-5) a multiple of 9?
False
Let n(g) = -20*g + 4. Does 24 divide n(-7)?
True
Let d be 3/(3 - 9)*-2. Let y = d - -20. Suppose y = 5*g - 154. Is g a multiple of 15?
False
Let c = 6 - -38. Is 11 a factor of c?
True
Suppose 4*p = p + 633. Let w = p + -137. Suppose -3*c = -10 - w. Is c a multiple of 14?
True
Let f = -15 - -66. Is f a multiple of 12?
False
Is (-1)/(-3) - 602/(-21) a multiple of 27?
False
Let a(z) = -2*z - 3. Let g be a(-4). Suppose -16 - 274 = -g*n + 5*q, 9 = 3*q. Does 18 divide n?
False
Let h(y) = y**2 - 21*y - 43. Is 10 a factor of h(25)?
False
Let h(d) = 6*d + 32. Is 21 a factor of h(10)?
False
Suppose 4*m = 3*m + 187. Suppose -3*k - 43 = -m. Is k a multiple of 24?
True
Suppose 6 = -2*y - 0. Is 17 a factor of 127/4 + y/(-12)?
False
Let s(p) = -12*p. Let r be s(1). Let w = 53 - r. Suppose 4*q + q = w. Is 13 a factor of q?
True
Suppose 6*u - 24 = 5*u. Is 12 a factor of u?
True
Let g(p) = -p**2 + p + 65. Is g(0) a multiple of 14?
False
Let y(a) = a**3 - 6*a**2 - 7*a + 5. Let k be y(7). Suppose j - k*j = -64. Is 8 a factor of j?
True
Suppose 31 = -2*g + 93. Let p = 51 - g. Is 20 a factor of p?
True
Let t be 14/(5 - 6/2). Suppose -3*s + t*s = 8. Is 2 a factor of s?
True
Suppose 3*j - 692 = -d, j - 25 = -4*d + 224. Does 36 divide j?
False
Suppose -2*q - 4*l + 50 = -q, 5*l = -3*q + 143. Is q a multiple of 23?
True
Let u(x) be the second derivative of -x**4/12 + 2*x**2 - 3*x. Let f be u(3). Is f/((-50)/28)*5 a multiple of 14?
True
Let o be (0/(-2)*-1)/2. Suppose -5*a - 2*k + 85 + 106 = o, 2*k = -3*a + 113. Is a a multiple of 13?
True
Let k(p) = p**3 + p + 4. Let s be k(0). Suppose 4 = o + 1. Suppose o*h - h + s*n - 60 = 0, 10 = 5*n. Is h a multiple of 12?
False
Suppose 0 = 4*m + 5*l - 20, -5*l - 40 = -2*m - 0*m. Suppose -7*u + 3*u - m = 2*b, -3*u = 4*b. Is 14 a factor of b - -33 - (2 - 1)?
False
Suppose -4*j - 10 = -2*r, 0 = j - 0*j - 2*r - 5. Let z = 13 + j. Does 2 divide z?
True
Let p(q) = -q**3 + 9*q**2 + 10*q + 8. Let c be p(10). Let f(t) = -t**2 + 9*t + 6. Is f(c) a multiple of 5?
False
Let l(v) = 37*v**2 - 6*v. Is l(-2) a multiple of 20?
True
Suppose 0 = -3*y - y + 3*t + 23, t - 3 = -4*y. Suppose -6*q + 3*s + 197 = -2*q, y*q - 97 = s. Does 12 divide q?
False
Let y be 2/5 - 8/20. Suppose 0 = -2*k + 33 + 17. Suppose 0 = 5*w - k, 2*c + 2*c + w - 21 = y. Is 4 a factor of c?
True
Suppose 4*i = 3*c + 5, c - 35 = -5*i - c. Let j be (-13)/(-11) + 4/(-22). Does 2 divide i/1 - (j + 0)?
True
Suppose -4*w = -33 + 13. Is w a multiple of 5?
True
Let s(l) = l + 1. Let g be s(4). Let v(c) = 4*c**2 + 6*c - 4. Let i be v(g). Suppose -2*y = y - i. Does 12 divide y?
False
Let u(y) = -y - 1. Let i be u(-8). Let s = i + -4. Is 3 a factor of s?
True
Let w = 59 - 40. Let l = -14 + w. Does 5 divide l?
True
Suppose 2 = -5*t + 17. Is 2 a factor of t - (-1 - -2 - 0)?
True
Let w = 5 - 9. Let q(i) = -i**3 - i**2 - 4*i + 2. Is 22 a factor of q(w)?
True
Let o = -40 + 96. Is 28 a factor of o?
True
Suppose 2*b = 6*b. Suppose -q + 5 + 12 = b. Is 17 a factor of q?
True
Let q = -177 + 341. Does 41 divide q?
True
Let q(z) = z**2 - 2*z - 9. Let d be 1/1*(6 - 12). Is q(d) a multiple of 19?
False
Suppose 0 = 2*y - 3*r - 137, -3*r + 142 = 2*y - 7*r. Suppose 0 = 2*a + h + 1 - 32, 3*h - y = -4*a. Does 8 divide a?
True
Let l(z) = -3*z + 9 - 5 + z + 4*z + 3*z**2. Is l(-3) a multiple of 11?
False
Let b(p) = -11*p + 5. Is b(-5) a multiple of 10?
True
Suppose 2*m - 4*c = 6*m - 80, -6 = -2*c. Suppose m = -2*l + 3*l. Does 10 divide l + ((-9)/3)/3?
False
Is 34 a factor of 41 - (-4 + 12/3)?
False
Suppose -6*s - 1120 = -11*s. Does 13 divide s?
False
Let r be (1 - 2) + 5*5. Let h be ((-4)/(-8))/(1/6). Suppose h*s + r = 7*s. Is s a multiple of 3?
True
Let r(s) = -s + 11. Does 6 divide r(-8)?
False
Does 3 divide 135/12 - 1/4?
False
Let d be 234/42 - 6/(-14). Is (3/d)/((-2)/(-116)) a multiple of 8?
False
Suppose 0 = -5*q - 2*r + 341, -6*r - 8 = -2*r. Does 8 divide q?
False
Let a(x) = x**2 + 13*x + 8. Is 19 a factor of a(-17)?
True
Suppose 19 = m - 3*c, 2*c - c + 1 = -m. Suppose -m*w + 3*o = -149, 0*w = w - 4*o - 21. Is w a multiple of 16?
False
Let a be (1 + 3)*-1 - 0. Let g = -2 - a. Suppose 0 = -g*s + s + 20. Does 10 divide s?
True
Does 6 divide 168/(-70)*3*-5?
True
Is ((108/7)/(-6))/(1/(-84)) a multiple of 12?
True
Suppose 3*w = 14 + 1. Suppose w*r - 79 = -3*u, -3*r + 3*u = 8*u - 41. Does 13 divide r?
False
Suppose 4*a = 3*p - 0*p - 9, 5*a - 3*p = -12. Let g(i) = i**3 + 4*i**2 + i - 1. Is 4 a factor of g(a)?
False
Suppose -2*u +