 h + 18. Suppose -96 = 2*r - p*r. Does 14 divide r?
False
Suppose 2*p = -3*p. Let f be (-1 - 3)*(p + 18). Is (f/15)/((-3)/15) a multiple of 8?
True
Let s = -2338 - -4310. Does 11 divide s?
False
Suppose 0*h + 40 = 4*h. Is 22 a factor of (128/10)/(4/h)?
False
Let s = -5 + 4. Let d = -35 - -45. Is 10 a factor of ((-1)/s)/(d/150)?
False
Let b = 2528 - 1377. Is b a multiple of 8?
False
Let f be (-40)/(-18) - 2/(-18)*-2. Suppose 5*n = -f*q + 465, -4*n + q + 370 = 3*q. Is n a multiple of 9?
False
Suppose 16*y + 1156 = 20*y. Let z = -141 + y. Does 37 divide z?
True
Let j(o) be the first derivative of 4*o**2 + 2*o + 7. Is 5 a factor of j(4)?
False
Is 7 a factor of (-2)/7 + 728/(-196) - -1196?
False
Let k = -25 + 8. Let f(y) = y**3 + 16*y**2 - 18*y + 3. Is 10 a factor of f(k)?
True
Suppose -15 = -i - 2*i. Suppose -i*p + 24 = -1. Does 3 divide p?
False
Suppose -4*i - 4*o = -2044, 0 = -2*i - 4*o + 1564 - 532. Is 50 a factor of i?
False
Let y(k) = -2*k - 33. Let s be y(-16). Does 40 divide (212/(-8)*-10 - s) + 1?
False
Let n(z) = z**3 - z**2 - 5*z + 6. Suppose -5*j - x = -17, 4*x - 2*x + 18 = 3*j. Is 17 a factor of n(j)?
True
Let s(u) = 2*u + 17. Let y be s(-6). Suppose t = y*t - 4. Let m = 20 - t. Is 4 a factor of m?
False
Suppose -f + 10 = -0. Suppose -n = -1 + 5, m = -3*n - f. Suppose m*j - 10 = 2. Is j even?
True
Suppose -77*m = -67*m - 2460. Does 25 divide m?
False
Let i be ((-4)/12)/((-1)/3). Let n(v) = 2*v - 1. Let w be n(i). Suppose -p - w = -6. Does 5 divide p?
True
Let d(t) = t**2 + 15*t + 12. Let k be d(-14). Let w be 0 - -15 - 6/k. Suppose -s + 4*j = s - 36, -s - 4*j + w = 0. Is s a multiple of 9?
True
Let b(j) be the third derivative of -7*j**5/4 - j**4/24 + 5*j**2. Let f be b(-1). Does 19 divide 16/f + (-743)/(-13)?
True
Suppose 4*w = 2*w - 12. Is 12 a factor of -4*(261/(-4) - w/(-12))?
False
Let j = -332 + 233. Let c = j - -125. Does 13 divide c?
True
Let d be (50/(-35))/((-2)/7). Suppose 0 = d*y + 3*m - 131, 7*y - 5*m - 127 = 3*y. Is 28 a factor of y?
True
Let v = 39 + -34. Suppose 900 = v*a - 3*h, -a = 4*h - 7*h - 180. Is 15 a factor of a?
True
Suppose 5*c + 4*n - 590 = 240, -4*c - 3*n = -663. Does 54 divide (c/21)/((-1)/(-7))?
True
Let h(k) be the third derivative of -k**4/24 + 7*k**3/6 - 5*k**2. Let m be h(6). Does 3 divide m/(-3)*3*-3?
True
Let b(p) = 2*p**3 - 12*p**2 + 27*p + 17. Is 87 a factor of b(10)?
False
Let w(x) = 4*x**2 - 23*x + 13. Let j(o) = -7*o**2 + 47*o - 26. Let m(u) = 3*j(u) + 5*w(u). Is m(22) a multiple of 6?
False
Suppose -5*s - 1584 + 4764 = 3*g, -5*g - 4*s + 5300 = 0. Is g a multiple of 10?
True
Let s be (16/(-6))/(2/(-9)). Suppose -3*c + s = -0*c, 4*z = -c + 8. Is 15 a factor of 56 + (2 - z) + -1?
False
Let b(s) be the first derivative of s**3 + 3*s**2/2 - 2*s + 1. Let l be 25/5 - (-1 - -4). Is 16 a factor of b(l)?
True
Suppose 0 = -71*n + 78*n - 4375. Suppose 0 = 3*x + 1 + 5. Does 17 divide n/10 - (-1)/x?
False
Let v(m) = -m**3 - 4*m**2 - 2*m - 3. Let h be v(-3). Let q be ((-90)/4)/5*h. Suppose 5*n - q = 63. Is n a multiple of 6?
True
Let s = 255 - 253. Let q(b) = -b**3 - 6*b**2 - 4*b + 7. Let x be q(-5). Is (-13)/(s*x/(-12)) a multiple of 29?
False
Let p = -47 - -31. Let d = p + 23. Does 6 divide 12/d*(-126)/(-12)?
True
Is 82 a factor of (5 - 11) + 1 + 2957?
True
Suppose -8 = -2*m - 0. Suppose m*n - 168 = -2*n. Does 7 divide n?
True
Let y(c) = 7*c**2 - 42*c - 3. Let f be y(6). Let m(d) = 32*d**2 - 2*d - 7. Is m(f) a multiple of 14?
False
Let k(j) = -j**2. Let o(c) = -2*c**3 + 8*c**2 + c - 4. Let w(m) = 4*k(m) + o(m). Suppose q - 6*q - 10 = 0. Is 13 a factor of w(q)?
True
Let h(z) = -7*z**2 + 73*z + 1. Is 7 a factor of h(9)?
True
Suppose r - 2*h = 2, -3*r = -6*r + 4*h + 4. Let f(g) = 9*g + 7 + r*g + 2*g**2 - 3*g**2. Does 8 divide f(6)?
False
Let l(b) = -29*b + 3. Let k be l(-1). Suppose 0 = m + 29 - k. Does 3 divide m?
True
Does 12 divide 12*(-8 + -1)*-7?
True
Let t(j) = 2*j**2 - 3*j + 3. Let z be t(2). Let w(c) = c**3 - 5*c**2 - c - 4. Let m be w(z). Let o(h) = -h**2 - 9*h + 6. Does 6 divide o(m)?
True
Let z = 35 + 8. Suppose 0 = -3*a + a + 4. Suppose -5*i + z = -a. Is 3 a factor of i?
True
Suppose 18*k + 14 = -166. Let x = k + 19. Does 9 divide x?
True
Let m(q) = 43*q**2 + 2*q. Let o be (-3)/(-1 + 10/4). Is 12 a factor of m(o)?
True
Suppose 0 = -4*d - 12, -5*d = -4*k + 8 + 7. Suppose -13*o + 10*o + 198 = k. Is 8 a factor of o?
False
Suppose -4*o + 140 = 5*s, -2*s - 16 = o - 54. Is 6/o + (-236)/(-20) a multiple of 3?
True
Let c be (-3 - -3)*1/1. Suppose m + 4*m + 5*w + 20 = c, 0 = 3*m - w + 4. Let u(a) = -a**3 - a**2 - 3*a - 3. Is 4 a factor of u(m)?
False
Suppose 9368 = 9*g - 1396. Does 47 divide g?
False
Does 18 divide 12*(-7)/(-63) - 2758/(-6)?
False
Let w(o) = o**2 + 11*o + 12. Let v be w(-10). Let x(q) = 7*q**2 - q. Let j be x(v). Suppose -6*a = -2*a + 2*c - j, -5*a + c + 15 = 0. Is a even?
True
Let j(m) = m**2 - 12*m + 36. Let c be j(8). Suppose -261 = -c*y + 3*g, 4*y - 46 = -2*g + 220. Is y a multiple of 11?
True
Suppose z + 1 = 3*y, 9 = z + 4*z - y. Suppose 0 = z*w + 5*w - 77. Does 11 divide w?
True
Suppose -5*b = 5*o - 1659 + 119, -5*o - 4*b = -1544. Does 39 divide o?
True
Let l = -265 + 507. Does 66 divide l?
False
Suppose 476 = 2*l + 2*l - 4*t, t = 2*l - 238. Suppose 3*p - 35 = 2*n + l, -5*p + 2*n = -262. Is p a multiple of 3?
True
Let p = 26 - 8. Suppose -d - 4 = -p. Let t = d + 28. Is t a multiple of 14?
True
Let w be ((-9)/18*0)/(-1 - -3). Suppose w = -12*u + 68 + 244. Does 13 divide u?
True
Let o be (6/7)/(8/(-56)) + 9. Let w = -2 + 3. Let c = o - w. Is c a multiple of 2?
True
Let n = 1101 + -918. Does 3 divide n?
True
Let g(s) = 3*s**2 + 15*s - 6. Let v(a) = -a**3 + 7*a**2 - 9*a - 12. Let k be v(5). Does 9 divide g(k)?
True
Let u(g) = -51*g - 187. Does 7 divide u(-6)?
True
Let r be (-5)/3 + (-460)/30. Let p = 36 + r. Does 19 divide p?
True
Let j = -94 - -124. Is 26/(-12) + 2 + 2225/j a multiple of 6?
False
Is 4 a factor of (216/28)/(3 + 124/(-42))?
False
Let i(m) = 46*m + 65. Does 9 divide i(8)?
False
Let a(o) = -3*o + 13. Let d be a(3). Suppose d*t = -4*t + 728. Does 15 divide t?
False
Let m(z) = z**3 + 6*z**2 + 6*z - 7. Let t be m(-5). Let k = t - -87. Is 5 a factor of k?
True
Let f(t) = -72*t + 6. Let c(g) = 73*g - 5. Let w(x) = -6*c(x) - 5*f(x). Is w(-3) a multiple of 18?
True
Suppose 5*n - 2*n + 2*w = 389, -3*w = 15. Suppose 51 = 8*r - n. Is 4 a factor of r?
False
Suppose 0 = 4*i - 5*n - 45, -n + 9 = 5*i - 11. Suppose -2*b + 270 = -5*x, -i*b - 2*x = -0*b - 675. Is 15 a factor of b?
True
Suppose 17*n + 2 + 15 = 0. Let j(i) = -8*i + 3. Let a be j(2). Let p = n - a. Is p a multiple of 3?
True
Suppose 2*w + 27 = 5*r - 38, -3*w - 70 = -2*r. Is (w/6)/((-8)/192) a multiple of 11?
False
Suppose 4*i + 3 = 27. Suppose 0 = -2*l + 5*j - 184, l = 3*j - i*j - 70. Let o = l + 124. Is 14 a factor of o?
True
Suppose s + 4 = -2*j, 2*s - 13 = 4*j + 3. Suppose -s*u - 20 = -5*r + 125, 0 = -3*u. Does 4 divide r?
False
Let o be -300*(1/(-2) - 0). Suppose -2*z = 8, 4*x - o = x + 3*z. Does 4 divide x?
False
Let b(l) = -2*l - 19. Let z be b(12). Let u = z - -109. Is 11 a factor of u?
True
Suppose 5*h - 471 = 2*a, -5*h + 0*a - 4*a = -453. Is 27 a factor of h?
False
Let x(i) = 2*i**3 - 5*i**2 + 3*i - 4. Let d be (1*-2)/((-2)/4). Let s be x(d). Does 7 divide ((-18)/(-12))/(3/s)?
True
Is 15 a factor of ((-82)/123)/(1497/(-747) - -2)?
False
Suppose 0*m - 9*m = -4689. Is 14 a factor of m?
False
Is 2/(4/(-43))*-24 a multiple of 12?
True
Let d(k) = 4*k - 9. Let o be ((-27)/36)/(2/(-8)). Is 3 a factor of d(o)?
True
Suppose 0 = -53*h + 50*h + 5*a + 4013, -3*h + 4031 = 4*a. Does 81 divide h?
False
Let o(i) = 24*i + 2. Let g be o(2). Suppose -g = -2*q + 30. Suppose 2*t + 5*z - 85 = -3*t, 4*z = 5*t - q. Does 12 divide t?
True
Suppose 3*w - z - 165 = 0, 2*w + z = -2*z + 110. Suppose 0*u - 4*u + 23 = b, -5*b + 5 = -2*u. Suppose c = -1 - 0, f - w = -u*c. Is f a multiple of 20?
True
Suppose -z + 4 - 2 = 0. Suppose -b + 64 = -3*c, z*c + 0*c + 68 = b. Is b a multiple of 19?
True
Suppose 14099 - 74313 = -23*i. Does 11 divide i?
True
Let u = -62 + 30. Is 16 a factor of (5/15*u)/((-2)/6)?
True
Let d(k) = 2*k. Let v(a) = -4*a + 90. Let s(g) = -6*d(g) - v(g). Does 26 divide s(-21)?
True
Let f(k) = -17*k + 2. Let x be f(2). Let m = 84 + 