 = h - w + 21. Is h a multiple of 8?
False
Let l(s) = 40*s + 175. Is l(7) a multiple of 35?
True
Suppose -2*v - 1 = 3*i - 660, 0 = 2*i + 3*v - 436. Is 3 a factor of i?
False
Let g = 116 + -51. Does 41 divide (-1 - -2) + 3*g?
False
Suppose 2*y - g = -2*g + 27, -2*y + 5*g = -45. Does 23 divide 3 + -2 - -3*y?
True
Suppose 0 = -16*z + 13559 - 887. Does 44 divide z?
True
Let a(b) = -b**3 + 6*b**2 - 2. Let z be a(-4). Let q(v) = -20*v + 4. Let c be q(-5). Let y = z - c. Does 18 divide y?
True
Let l(q) = q - 4. Let g be l(-3). Suppose d + 28 - 7 = 0. Let k = g - d. Is k a multiple of 14?
True
Is (1 - -383)/((2 + -8)/(-78)) a multiple of 16?
True
Suppose 25 = 2*f + 17. Does 6 divide (2/f)/(1/60)?
True
Let g = 11 - -3. Let y = g + -12. Is y*5/(-10) - -7 a multiple of 4?
False
Suppose 4*d + 20 = 532. Is 8 a factor of d?
True
Suppose -75 = -5*l + 25. Suppose -l = -4*j - a, 3*j + 5*a = -7 + 39. Suppose -52 = -y - 2*y + 4*k, j*k = -5*y + 108. Does 11 divide y?
False
Suppose -24 = 5*h - 2*h. Let d be 2 + 0 + 1 + h. Does 11 divide ((-8)/d)/(9/225)?
False
Let n = 48 + -87. Let k = n - -43. Is 2 a factor of k?
True
Let j = -43 - -47. Suppose j*n - 26 = 26. Is n a multiple of 13?
True
Let l = -1061 - -1261. Does 22 divide l?
False
Let a = 102 - 23. Is 8 a factor of a?
False
Let x(p) = -2*p + 5. Let h be x(4). Let d be (h/(-6))/(3/120). Is -20*8/d*-2 a multiple of 8?
True
Let k be (62 - -10)/((-3)/(-2)). Let n = k + -20. Is n a multiple of 5?
False
Let r(k) = 9*k + 654. Does 7 divide r(28)?
False
Let m(l) = l**2 - 3*l - 5. Let y be m(4). Let q = y + 34. Does 11 divide q?
True
Suppose 0 = -3*l + 2*a - 9, 5*l - 2*a + 10 = l. Is 3 a factor of 2 + (-10 - l)*-2?
False
Suppose 3 = 3*d - 9. Suppose -d*f + 76 + 112 = 0. Let x = -28 + f. Is 19 a factor of x?
True
Let r be ((-12)/9)/(2/144). Let x = r - -169. Is (x - -7) + (-3 - 1) a multiple of 13?
False
Let t = -2190 + 2398. Does 13 divide t?
True
Let j(v) be the second derivative of v**4/6 - 7*v**3/6 - 8*v**2 - 8*v. Does 10 divide j(-4)?
False
Suppose 0 = -34*c + 10*c + 72672. Is c a multiple of 13?
False
Let r(z) = z**3 - 7*z**2 - 5. Let q(b) = b**3 - b**2. Let k(f) = 4*q(f) - r(f). Let p(g) = -g**2 + g. Let n(y) = -k(y) - 3*p(y). Is n(-2) a multiple of 5?
True
Let j = -34 + 47. Let r = 16 - j. Suppose -r*u + u = -28. Is u a multiple of 4?
False
Let c = -17 - 31. Let d be -7*(c + (-4 - -8)). Suppose d = 9*b - 5*b. Does 13 divide b?
False
Suppose 3*u - 5*c + 6*c = 897, u = -5*c + 299. Is u a multiple of 11?
False
Suppose 28*k + k - 7714 = 0. Is k a multiple of 7?
True
Let c be 0*(10/(-4) - -3). Suppose -2*g + g + 91 = c. Is g a multiple of 13?
True
Suppose 5*a - 16 - 14 = 0. Does 26 divide (-1302)/(-10) + (9 - a)/(-15)?
True
Let j(k) = -3*k**3 + 14*k**2 + 14*k + 9. Let l be j(5). Let r(t) = -t**3 - 8*t**2 - 2*t + 4. Let f be r(-7). Let m = l + f. Is 3 a factor of m?
False
Let f = -140 + 141. Does 8 divide (f/2)/(31/3844)?
False
Let b be (170 - 0) + 51/17. Let i = -56 + b. Does 13 divide i?
True
Let i(c) = -c**3 + c**2 + 1. Let g(h) = 2*h**3 + 12*h**2 + 2*h - 12. Let w(o) = -g(o) - i(o). Does 47 divide w(-14)?
True
Let l(t) = -7*t - 97. Does 30 divide l(-31)?
True
Suppose 0 = -4*x + 4*d + 3640, -15*x + 3652 = -11*x + 2*d. Does 12 divide x?
True
Let u(b) = 11*b**3 + 2*b**2 + 10*b - 18. Let r be u(3). Let m = r - 75. Is 42 a factor of m?
True
Let z be (788/(-24))/((-3)/(-6))*-3. Let j = z - 117. Is j a multiple of 10?
True
Let r(h) = h**3 + 4*h**2 + 6*h + 5. Let p = -34 - -30. Let n be r(p). Let m = 73 + n. Is 8 a factor of m?
False
Suppose -4*k - 9 = 23. Let u = k + 46. Does 15 divide u?
False
Does 4 divide ((-10)/(-6))/(15/540)?
True
Let v = 7 + -7. Let z(k) = -k**2 + k + 50. Is z(v) a multiple of 10?
True
Let l(o) be the third derivative of o**4/6 - 7*o**3/2 - 29*o**2. Suppose -r + 11 = -0*r. Is l(r) a multiple of 11?
False
Let w(x) = -37*x - 1. Let a be w(-1). Let s be (1233/a)/(2/8). Suppose s = 4*l - 211. Does 30 divide l?
False
Let l(a) = -7*a - 42. Let r be l(-18). Suppose -5*v = 4*o - o - r, 3*v - o = 56. Does 4 divide v?
False
Let s = 309 - -29. Is 13 a factor of s?
True
Is ((-5500)/(-40) - -8) + 2/4 a multiple of 146?
True
Suppose -4*o - 64 = -3*w, -o - 3*o + 56 = 2*w. Suppose x + 2*j - w = 10, 4*x = j + 91. Suppose 16 = 3*q + 3*t - 32, -x = -q - 3*t. Is 3 a factor of q?
True
Suppose -5*x - 506 = -m, 3*m - 1282 = x + 222. Does 28 divide m?
False
Suppose -4*r = 0, -2*f + 2352 = 2*f - 5*r. Is f a multiple of 12?
True
Suppose 0 = -3*b - 6, -15*t + 2 = -13*t + 5*b. Is 6 a factor of t?
True
Does 10 divide -5 - (-2742)/16 - 27/72?
False
Suppose -3*j = b + 3 + 5, -5*j - 2 = -4*b. Does 4 divide j/(-1)*(31 + 7)?
True
Suppose 931 = -5*t + 246. Let c = 241 + t. Let m = -44 + c. Does 15 divide m?
True
Let c = -13 - 83. Let a = c - -267. Does 19 divide a?
True
Suppose 4*s = -4*p + 56, -2*p - s + 25 = 2. Suppose -3*k = -6*k + p. Suppose -c = f + c - 29, k*c - 101 = -4*f. Is f a multiple of 23?
True
Suppose -5*h - 343 = 2*p - 913, 25 = 5*p. Is h a multiple of 16?
True
Let w be (-13 - 2)/(22/(-8) - -2). Suppose -i + 64 = w. Is i a multiple of 8?
False
Suppose -330 = 6*d - 1008. Is d a multiple of 32?
False
Let f(i) = -45*i**3 - 2*i**2 - 15*i - 70. Is 14 a factor of f(-4)?
False
Let r(p) = 15*p + 319. Does 10 divide r(-10)?
False
Suppose -2*q = 2*o - 368, -2*q + 382 = -0*q - 5*o. Is 33 a factor of q?
False
Let h(w) = -2*w - 10. Let q(c) = -c - 1. Let v be q(6). Let b be h(v). Suppose 2*o - 3*x - 35 = 26, 2*o = -b*x + 82. Is o a multiple of 21?
False
Suppose 0 = -h - 4*t + 219, 0 = 2*h + t + 160 - 570. Let r = h - 133. Does 7 divide r?
True
Let t be -96 - 0 - (-8 + 9). Let s = -37 - t. Does 20 divide s?
True
Let f = -1047 - -1332. Is 15 a factor of f?
True
Suppose -8212 + 323 = -23*s. Is 49 a factor of s?
True
Let s(d) = -3*d**3 - 2*d**2 - d. Let u be s(-1). Suppose h = 4*t - 4*h - 27, -3*t + 26 = u*h. Does 4 divide t?
True
Let d be (-290)/(-22) + (-8)/44. Suppose 5*z - d = 47. Is 12 a factor of z?
True
Let b(o) = -3*o**2 - 14*o. Let z be b(-5). Let j = 26 - z. Is j a multiple of 8?
False
Let w(h) = h**2 - 13*h - 10. Let t be w(12). Let b = t + 24. Suppose 0 = -b*c + 157 - 47. Is 24 a factor of c?
False
Let b = 7 - 11. Let j be (6/b - -2)*0. Suppose 4*h - 4*x - 417 + 61 = j, -2*x = 10. Is h a multiple of 21?
True
Suppose 15*p - 59685 = 5490. Does 15 divide p?
False
Suppose -18 - 15 = -t. Let f = 8 + t. Is f a multiple of 9?
False
Suppose 70 = 5*v + 4*z, 12*v - 16*v - 5*z = -65. Let h(u) be the third derivative of u**6/120 - 3*u**5/20 - u**4/3 - u**3 - u**2. Does 13 divide h(v)?
False
Let b(a) = -a + 9. Let z = 14 - 3. Let q be b(z). Does 9 divide -6 - -9 - 12*q?
True
Is 35 a factor of -11 - -8*555/10?
False
Suppose -k + 4*s + 634 = -418, -2122 = -2*k + 2*s. Is k a multiple of 14?
True
Suppose -3 = -5*u - 18. Is u - (-88 + -1 + 3) a multiple of 24?
False
Let k be 1*6*(-80)/(-24). Is ((-135)/k)/(9/(-120)) a multiple of 17?
False
Let v = -108 + 146. Is 19 a factor of v?
True
Suppose 878*f - 885*f = -10094. Does 7 divide f?
True
Suppose -f - 2 = 0, 52*a - 51*a - 488 = -3*f. Is 38 a factor of a?
True
Suppose 0 = -2*q + 2, 5*q - 142 = -u + 2*q. Let f = -95 + u. Is 13 a factor of f?
False
Let r be 16/(2/1) - 0. Let t be (2/((-4)/6))/(457 - 458). Suppose -r = 4*v + 5*c - 58, -4*v - t*c + 46 = 0. Does 2 divide v?
True
Let b(q) = 3*q + 3*q - 1 - q**2 + 36 - 5*q. Let w be b(0). Suppose -p = -l - 3*l + w, 2*l - 10 = 2*p. Does 10 divide l?
True
Let q(v) = 28*v**2 - 2*v + 9. Is 38 a factor of q(-5)?
False
Is 40 a factor of -2 + (-28)/42*(-182 + -1)?
True
Suppose 14 + 22 = 9*y. Suppose 4*n + x - 50 = y*x, 0 = 2*n - 2*x - 26. Does 11 divide n?
True
Let j(m) = 9*m**2 - 24*m + 68. Is j(6) a multiple of 31?
True
Suppose 12*o = 4*h + 7*o - 1325, -993 = -3*h + 3*o. Is 11 a factor of h?
True
Suppose 2*u = -3*c + 631 + 260, c - 2*u = 297. Is c a multiple of 9?
True
Let u(t) = 78*t - 1. Let o be u(2). Let b = o + -90. Does 13 divide b?
True
Let z be (3/(-1))/(15/(-50)). Let v = z - -94. Does 13 divide v?
True
Suppose 36*i - 39*i + 288 = 0. Does 32 divide i?
True
Suppose -7*g = -2*g + 25. Let a(h) = 3 + h + 3*h - 3*h - 4*h. Is 18 a factor of a(g)?
True
Suppose 3*w - 4*r = -2*r + 137, -3*w + 133 = 2*r. Let b = 10 + w. Is b a multiple of 8?
False
Sup