 Let c be n(-7). Let d = -69 - c. Does 16 divide d?
True
Let o(c) = -2*c**2 + 19*c - 4. Let z be o(9). Suppose z*b = b + 288. Is 12 a factor of b?
True
Suppose -3*s - 20 = -5, 4*s + 170 = 2*u. Is u a multiple of 25?
True
Suppose -105 - 3 = -f. Is 27 a factor of f?
True
Let k be (-812)/(-12) + 3/9. Suppose -k - 37 = 5*f. Is 7 a factor of (-141)/f + 4/14?
True
Let x = -3 - -6. Let m(p) = p**3 - 2*p - 3. Is 6 a factor of m(x)?
True
Let y = 409 + -254. Is 38 a factor of y?
False
Let g = 135 + 9. Is 8/(-28) + g/14 a multiple of 8?
False
Suppose 5*t - 13 = -l - 3*l, 2*l + 6 = 0. Suppose -50 = -t*s - 3*m, 4*m = -0*s - 2*s + 20. Is 10 a factor of s?
True
Does 10 divide 40 + 3 + (0 - 0)?
False
Let h(r) = 3*r**2 + 12*r + 12. Let t be h(-8). Suppose 5*d = -2*i + 60, 6*i - t = i - 2*d. Is i a multiple of 8?
False
Let s(a) = a + 1. Let n be s(-7). Let h be n/10 + (-546)/15. Let j = 63 + h. Is j a multiple of 10?
False
Suppose d - 2 = -0*d. Suppose -d*h + 2*g + 7 + 13 = 0, -2*h = -g - 25. Is 15 a factor of h?
True
Suppose -6 = v + 5*t - 52, 0 = -2*v + 5*t + 17. Is 2 a factor of v?
False
Let h be (0/1)/(0 - 3). Suppose h*k = -k + 16. Is 10 a factor of k?
False
Suppose 0 = 5*c - 52 - 203. Does 10 divide c?
False
Let t(b) = b**3 + 9*b**2 - 4*b + 14. Does 3 divide t(-9)?
False
Suppose 2*t + 33 = -29. Let q = 1 - t. Is q a multiple of 16?
True
Let b(h) = -h**3 - 3*h**2 + 9*h + 4. Suppose -4*z - 12 = 12. Is b(z) a multiple of 15?
False
Let o = -4 + 0. Let p(w) = w**2 + 2*w - 1. Does 3 divide p(o)?
False
Let c(u) = -5*u + 16. Let x be c(-6). Suppose -o = -5*m - x, -16 = o - 2*o - 5*m. Is 12 a factor of o?
False
Suppose -2*g + 4 = 0, g = -4*r + 80 + 142. Does 7 divide r?
False
Suppose 3*s = 37 + 74. Let m = 22 + s. Is m a multiple of 20?
False
Let h be -3 + (1 - (0 - 2)). Suppose h*m - 44 = -4*m. Does 11 divide m?
True
Let t = 61 + -22. Is 12 a factor of t?
False
Let y = 27 - 10. Is 10 a factor of y?
False
Let f(s) = s**2 + 5*s - 11. Let q be f(-9). Does 6 divide ((-30)/q)/((-1)/5)?
True
Let a(w) = -w**3 - 5*w**2 - 6*w - 6. Let b be a(-4). Suppose -3*y = -5*p + 5, b*y - 5*p + 25 = 3*y. Suppose -y*f - 46 = -166. Is 12 a factor of f?
True
Suppose 2*r + 132 = 2*z, -z - r + 0*r = -70. Is 12 a factor of z?
False
Let a = 171 - 128. Does 23 divide a?
False
Suppose s - 12 = -4*s + 2*v, 0 = -5*s - 5*v + 40. Let o = s - 3. Is 4 a factor of 8 + o - (1 - 0)?
True
Let x = -20 - -22. Let k be (-37)/(-7) + (-2)/7. Suppose 4*j + k*y - 30 - 4 = 0, -x*j - y = -14. Does 4 divide j?
False
Let j(g) = -3*g - 6. Let z(o) = o. Let r(y) = j(y) - 4*z(y). Let u be r(-4). Suppose -13 = -5*a + u. Is a a multiple of 7?
True
Let n(k) = -k**2 + 3*k. Let m be n(2). Suppose -2*b + 14 = m*s, -3*s + 20 = s. Suppose 62 = 2*g + b*v, -31 - 78 = -4*g + v. Is 13 a factor of g?
False
Suppose 0 = -2*h + 2*c - 28, 3*h + h - 5*c = -61. Let z(o) = o**3 + 7*o**2 - 19*o + 8. Does 9 divide z(h)?
False
Suppose -c = -2*z + 2, -4*c - z + 20 + 8 = 0. Suppose -c*h + 36 = -2*h. Is h a multiple of 2?
False
Let w(h) be the second derivative of -h**4/12 - h**3 + 5*h**2/2 - 2*h. Let d be w(-7). Does 4 divide 8 + -2*1 - d?
True
Is 3 + 0 + (-28)/(-2) a multiple of 7?
False
Suppose -2*q - 18 = -4*v, 0 = 4*q - 3*q + 5*v - 26. Is (6/9)/(q/57) a multiple of 24?
False
Suppose -2*c + 107 = 5*b, 5*c + b - 339 + 60 = 0. Is c a multiple of 19?
False
Is (24/10)/(30/200) a multiple of 6?
False
Let g = 10 - -2. Let j = g - -6. Is 18 a factor of j?
True
Suppose -4*p + 2 = -18. Suppose -4*s + 97 - 8 = -5*o, 5*o + 25 = 0. Suppose 0 = 5*r - 4*h - s, -5*r - p*h = -26 + 1. Is 3 a factor of r?
False
Suppose 0 = 6*c - c + 15. Let k(m) = m**3 - m. Let z be k(2). Is 15 a factor of 99/z - c/(-2)?
True
Suppose -2*g - m + 70 = 0, g = -3*g + m + 140. Suppose -75 = -2*x + 5*n, 0 = -x - 2*n + 66 - 6. Suppose f = -2*i + g, -f + 0*f + i + x = 0. Is 16 a factor of f?
False
Let w(g) = g**3 + 3*g**2 - 4*g + 2. Let d be w(-4). Let n(m) = -9*m**2 + 2*m + 2. Let p be n(d). Is 15 a factor of 157/5 + 12/p?
False
Let z be 3 - (2 + 1)*-3. Suppose z = -4*g, 2*o - 2*g = 19 + 25. Is 4 a factor of o?
False
Let p be 13/3 + (-6)/(-9). Suppose -6*v = -3*v - a - 187, -3*a = -5*v + 313. Suppose 2*s + 30 = 5*s - 3*w, p*s = w + v. Is 13 a factor of s?
True
Is 21 a factor of (-10)/(-3)*(-735)/(-14)?
False
Let n(d) = 12*d**3 + 3*d**2 + 2*d - 2. Let h be n(-2). Is 12/h + (-632)/(-15) a multiple of 14?
True
Let y(x) = x**2 + 9*x - 19. Let d = 14 + -25. Is y(d) a multiple of 3?
True
Let o be 9/6*422/(-3). Let u = -121 - o. Suppose 0 = 2*p - 4*p + u. Is 13 a factor of p?
False
Suppose -11*x - x = -492. Is 14 a factor of x?
False
Suppose -5*f + 295 = 5*m, -f - 133 = m - 3*m. Is m a multiple of 33?
False
Suppose -3*b - 71 = -g, 0*g - 95 = 5*b + 3*g. Let k = -4 - b. Is 6 a factor of k?
True
Let x = 436 + -269. Does 16 divide x?
False
Let a(f) = 10*f**3 + f**2 - 1. Let d be a(1). Let g be (-118)/5 - 4/d. Is -3 - (-7)/((-14)/g) a multiple of 3?
True
Suppose w = 0, -2*s = -3*s - 3*w + 15. Suppose -136 = -s*c + 11*c. Is c a multiple of 17?
True
Let y = 39 + -3. Is 10 a factor of y?
False
Suppose -4*b + 40 = -0*b. Let f(t) = b*t + 0 - 4 + t**3 - 1 - 8*t**2. Is f(7) a multiple of 8?
True
Is 29 a factor of ((-58)/(-8))/(9/108)?
True
Suppose -5*l + 2*a + 418 = 0, -a + 2*a = -5*l + 406. Does 15 divide l?
False
Let z(u) = 2*u**2 + 2*u - 4. Let k be z(-3). Suppose 4*a + 4 = -k. Is 12 a factor of (-2)/a*-1*-51?
False
Let w(g) = 6*g**2 - 9*g + 2. Does 13 divide w(-6)?
False
Does 6 divide 3/5 + -3 + (-144)/(-10)?
True
Suppose -5*i = -0*i - 60. Suppose 3*j + 0*j = i. Does 4 divide j?
True
Suppose 2*a + 4*l - 532 = 0, 3*a + 9*l - 5*l = 796. Does 12 divide a?
True
Let o = -31 - -51. Suppose o*l = 16*l + 432. Is 31 a factor of l?
False
Let t = 103 + -35. Does 17 divide t?
True
Let d(k) = -2*k**3 - 4*k**2 - 3*k - 1. Let r be d(-3). Suppose -j + r + 7 = 0. Is 11 a factor of j?
True
Suppose 4*h - 4*z + 156 = 0, 2*h + z = 6*z - 90. Let q = 55 + h. Is 4 a factor of q?
True
Let x = 7 - 5. Let h(r) = 7 + 0 + r**x + 2*r + 3*r. Does 8 divide h(-6)?
False
Is ((-3)/(-6))/(-1)*-48 a multiple of 12?
True
Suppose -3*k + k = 2. Let f(a) = 14*a**2 - a - 1. Does 7 divide f(k)?
True
Let k be 195/21 + (-4)/14. Let c(n) = 6*n**2 - 4*n - n**2 - 4*n**2 - k. Is c(7) a multiple of 12?
True
Does 7 divide (4/(-12))/((-1)/21)?
True
Let t(b) = 7 - 3 + 2*b + 2*b. Is 9 a factor of t(6)?
False
Suppose 5*z - 27 = 33. Let g(w) = w**2 - 9*w - 17. Does 7 divide g(z)?
False
Let q = -57 + 81. Does 6 divide q?
True
Suppose 0*v - 2*v + 294 = 0. Suppose 0*s = 5*x + s - v, x + s - 31 = 0. Does 18 divide x?
False
Let u = 1 + 67. Suppose -5*c - 2*z = -74, 4*z - u = -5*c - 0*c. Let p = c - 6. Is 10 a factor of p?
True
Let p be 8/28 + 19/7. Suppose b = -p*b. Suppose 0 = 5*g - 5*n - 125, b = 4*g + 5*n - 57 - 43. Is 9 a factor of g?
False
Let j = 60 + -92. Let g = 120 - 64. Let x = j + g. Is 16 a factor of x?
False
Is 25 a factor of (-6 + 1)*15/6*-10?
True
Suppose 8*q - 3*q = 620. Suppose -q = -5*y + 3*t, 4*t - 11 = -3*y + 2*y. Is 23 a factor of y?
True
Let k(d) = d**3 - 7*d**2 - d + 7. Let q be k(6). Let l = q - -23. Let p = l + 22. Is p a multiple of 10?
True
Suppose a + 0*h - 5 = -h, -2*a + 10 = -4*h. Suppose a*n - 100 = -2*f, -n + 0*n + 2 = 4*f. Is 11 a factor of n?
True
Suppose 3*s + 155 = 11. Is s*2/(24/(-9)) a multiple of 18?
True
Let m(p) = p**2 - 3*p - 8. Let h be m(5). Suppose -t + 102 = 5*j - 2*j, 0 = 3*j + h*t - 102. Does 7 divide j?
False
Let h be (-72)/27 - (-1)/(-3). Let u be 7 + h/(9/6). Suppose -4 = u*y - 7*y. Is 2 a factor of y?
True
Let a(l) = l**2 + 8*l - 8. Is a(-13) a multiple of 5?
False
Is 34 a factor of (-1839)/(-6) - (4/8 + 0)?
True
Suppose 0 = -v + 3*v + 8. Is -3 + (4 - 336)/v a multiple of 21?
False
Let z(t) be the third derivative of t**5/20 + 5*t**4/24 - 2*t**3/3 - 3*t**2. Suppose 26 - 6 = -5*y. Is 12 a factor of z(y)?
True
Is (3 - ((-4 - -2) + 3))*1 a multiple of 2?
True
Suppose -2*s - 4*g = -330, 0*g + 517 = 3*s - 5*g. Suppose -2*o + 209 = 3*l, -4*l = 5*o - 357 - s. Suppose 3*f + 4*d = o, -2*d = -7*d + 5. Is f a multiple of 14?
False
Let w(s) = -4*s + 1. Let m be w(1). Does 2 divide 5 + m + (2 - 1)?
False
Let l = -99 + 186. Let y = l - 44. Is 18 a factor of y?
False
Let t = -25 + 41. Suppose -4*s + 40 = 4*b, b 