 i = u - -111. Does 39 divide i?
True
Suppose 3*c = 8 + 4. Suppose 3*w - 141 = -c*q, 5*q + 2*w + 2*w = 175. Suppose -2*r = r - q. Does 8 divide r?
False
Suppose -157 - 151 = -11*m. Is m a multiple of 4?
True
Suppose 2165 + 2490 = 7*p. Does 12 divide p?
False
Let p(n) = -7*n**2 - 14*n - 17. Let b(m) = 8*m**2 + 15*m + 17. Let h(j) = -6*b(j) - 7*p(j). Is 3 a factor of h(-9)?
False
Suppose 2*w = -2*i + i + 1, -3*w = -2*i - 19. Suppose 0 = -3*a + 12, 304 = 4*s - a - w*a. Let z = s + -23. Does 10 divide z?
False
Suppose -4 = -6*a - 82. Let i = a + 18. Suppose 0*x + 74 = 3*x - i*t, -5*t = 20. Does 5 divide x?
False
Suppose -3*h = 2*h - 3*j - 3, 4*h + 2*j + 2 = 0. Suppose 0 = -2*x + 3*z - 58, h = 4*z - 3*z - 4. Let y = x + 62. Does 13 divide y?
True
Suppose -10 = -h + i + 4*i, 0 = 2*h - 5*i - 25. Suppose -3 = -5*z + t - 1, -h = -3*z - 4*t. Is 98/8 - z/4 a multiple of 9?
False
Suppose -3*s = -0*i - i + 24, s = i - 22. Let r = i - 10. Suppose j = -2*g + r + 48, 0 = 5*g - 5*j - 185. Does 11 divide g?
False
Let r = -71 + 40. Let v = 7 - r. Is v a multiple of 17?
False
Let f = 35 + -24. Let r = 14 - f. Suppose -3*o + 36 = r. Is 5 a factor of o?
False
Suppose 0 = h + 3*q - 21, -90 = -4*h + 4*q + 26. Is 2 a factor of h?
False
Suppose -u + 4620 = 19*u. Does 11 divide u?
True
Let k(p) = -12*p - 4. Does 31 divide k(-7)?
False
Let d = -15 + 19. Suppose 4*l - 50 = 4*j - 150, -127 = -d*j - 5*l. Is j a multiple of 14?
True
Let c(x) = 133*x**2 + 14*x - 43. Does 23 divide c(3)?
True
Let f be (-2 - -5)*(-64)/12. Let i be (0*4/f)/3. Suppose i*k + 5*k - 190 = 0. Is k a multiple of 19?
True
Let q be (-6 + 5 + 5)/(2/3). Is 9 a factor of 3/q*68*27/6?
True
Suppose 7*b - 3*o = 2*b + 27, 3*b = -o + 5. Let f be ((-15)/6 - b)*-66. Suppose 0 = 4*p - f + 15. Is p a multiple of 29?
True
Let x = -313 - -353. Is x a multiple of 5?
True
Let z(j) = 156*j**2 - 3*j. Let u be z(2). Let m be ((-4)/6)/((-4)/u). Suppose m + 32 = 5*w. Is 5 a factor of w?
False
Suppose 0 = 5*v + 1 - 1. Suppose 22*d - 21*d - 4 = v. Is d a multiple of 3?
False
Let k(r) = -293*r + 7. Is k(-1) a multiple of 30?
True
Let x(v) = -460*v**2 + v + 2. Let m be x(-1). Is ((-2)/6)/(9/m) a multiple of 16?
False
Suppose -5*u - 1 = -a + 14, -5*u + 5 = 3*a. Suppose -11 + 111 = 4*v - a*d, 4*d = -16. Is v a multiple of 2?
True
Let g = 11 - 11. Let s = 3 + g. Suppose 3*y - 5*y + 4*f + 112 = 0, -3*f + 132 = s*y. Does 15 divide y?
False
Suppose -p + 9 = -11. Let y = -18 + p. Suppose -y*v = -3*j + 2 + 8, 5*v = -5*j + 25. Is 4 a factor of j?
True
Suppose -10*a = a - 11825. Is 30 a factor of a?
False
Suppose 3*s - 5*s + 224 = 0. Suppose 2*p - 3*a + 5 = 0, 0*p = -4*p + 2*a + 2. Suppose 4*y - 110 = -w, 4*y + p*w = -0*w + s. Is 4 a factor of y?
False
Let g(d) = -d**3 - 7*d**2 - 5*d - 16. Let l be g(-9). Suppose 0 = 4*n + 3*m - 256, -3*n - 3*m + m + l = 0. Does 11 divide n?
False
Let z = -53 + 99. Suppose -r - z = -3*a + r, 2*a = -3*r + 9. Is 5 a factor of a?
False
Suppose 0 = -3*v - 23 + 2. Let t(i) = -8*i - 16. Is 20 a factor of t(v)?
True
Suppose 65*o - 8267 = 2653. Is 24 a factor of o?
True
Suppose -3 = -3*w - 0. Suppose 0 = -n + w + 2. Suppose -n*z = 2*s - 1 - 16, 0 = -5*s - z + 23. Is 3 a factor of s?
False
Suppose 0 = -9*c + 10*c - 44. Let a = c - 31. Is a a multiple of 13?
True
Let u = 3861 + -2232. Does 9 divide u?
True
Let q = 21 - -9. Is 17 a factor of (34/6)/(5/q*2)?
True
Let v be (1/1)/(7/21). Suppose t = v*t - 42. Does 7 divide t?
True
Is 6 a factor of -1*2/(-12) - 18025/(-210)?
False
Suppose 10 = w - 3*g - 136, w - 5*g - 148 = 0. Does 3 divide w?
False
Does 26 divide (-10923)/(-30) + (-2)/20?
True
Let w(p) = -5*p + 110. Is 11 a factor of w(17)?
False
Is 8 a factor of 481/10 - (-11)/(-110)?
True
Let p(c) = 8*c - 16. Let j be p(3). Does 19 divide (-44 + 8)*(j/(-6))/2?
False
Let h be (-2 + 4 - 5)/(9/(-84)). Suppose p = 3*p - h. Is p a multiple of 5?
False
Let v(y) = 3 - y + 0 - 6 + 1 + 3. Suppose 0 = -2*j + 3*r - 21, 2*j + 0*r + 11 = r. Is v(j) a multiple of 4?
True
Suppose s = 3*h - 23 - 8, 65 = 5*h - 5*s. Suppose g - 3*b = -8*b + h, -4*b = -5*g - 13. Let y = 65 - g. Does 22 divide y?
True
Suppose 2*d = 5*d. Let s(w) = -w**2 + w - 3. Let n be s(d). Does 8 divide n/6*-2*27?
False
Let b(f) = 4*f + 4. Let l be b(-5). Let w be (-4)/(-3)*(-120)/l. Suppose -9*y + w*y = 57. Does 26 divide y?
False
Let f(i) = -3*i + 12. Let r(h) = -h. Let q(z) = f(z) - 2*r(z). Does 7 divide q(-7)?
False
Suppose -y = -4*d - 3*y + 1196, 0 = d - 3*y - 292. Suppose 0 = -5*x - 4*l + 308, 0 = -9*x + 4*x + l + d. Does 6 divide x?
True
Let o be 4/(-1) - (-4)/2. Let p be o - (-3 - -3)/(-3). Is 2*(p + 1 - -9) a multiple of 8?
True
Let g = -24 - -189. Suppose 0 = -4*j - j - g. Let d = j + 46. Is 13 a factor of d?
True
Let l(g) = g - 12. Let h(r) = -1. Let d(u) = -6*h(u) + l(u). Let n be d(6). Suppose -3*v = -n*v - 162. Does 19 divide v?
False
Let s = -5 + 7. Suppose -5*j + 36 = -u, 3*j - 2*j - 9 = s*u. Suppose -2*m + 4*c + 116 = 0, 2*m - j*m - 3*c + 251 = 0. Does 11 divide m?
False
Suppose -4821 = -2*j - 3*b, -4*j + 6*j - 4815 = -5*b. Is j a multiple of 115?
True
Suppose 6 - 27 = -7*h. Let x = 2 - -2. Suppose x*q + a - 142 = 0, -q = -h*q - a + 70. Does 6 divide q?
True
Is 31 a factor of (-13)/(13/162)*-1?
False
Let r(u) = 37*u**2 + 8*u - 63. Is r(4) a multiple of 17?
True
Let b(l) = l**2 - 9*l - 5. Suppose 2*h - 4 = -0*h, 0 = -3*n + 3*h - 18. Is 9 a factor of b(n)?
False
Does 8 divide 3/((-371)/(-445) - (-4)/(-5))?
False
Let a = -311 + 588. Does 48 divide a?
False
Let l = 20 + -17. Let v(k) be the first derivative of k**3 + 5*k**2/2 - 4*k - 2. Is v(l) a multiple of 14?
False
Suppose 10 = -7*k + 52. Let l(u) = -u**3 + 6*u**2 + 4*u - 10. Is l(k) a multiple of 11?
False
Let m(c) = 10 + 26 - 27*c - 7*c + 7*c. Is m(-6) a multiple of 11?
True
Suppose 0 = -3*q + 6*q - 6. Let d be (-297)/(-6) - (-1)/q. Suppose y = 7 + d. Is 17 a factor of y?
False
Let g be (102/8)/(9*(-6)/(-144)). Suppose 4*q = u - 0*u - 31, g = 4*u + 2*q. Does 3 divide u?
False
Suppose -l - 4 = -3*n - 2, 4*n = l + 2. Let i be ((-63)/45 - (-3 + 1))*-5. Is 17 a factor of l/i - (-759)/9?
True
Let t(w) = -19 + 4*w - 3519*w**2 - 5 + 3493*w**2 + w**3. Is 16 a factor of t(26)?
True
Does 12 divide (-25 - 282)/(-2 + 1)?
False
Let s(q) = q**3 + 12*q**2 + 17*q + 28. Does 3 divide s(-9)?
False
Let q be 70*(-1 + (-36)/(-20)). Let x be 16/q + (-124)/(-7). Let d = -11 + x. Is d a multiple of 7?
True
Suppose 11794 + 11246 = 30*w. Does 14 divide w?
False
Suppose -z - 12 + 0 = 3*y, -4*z = -3*y - 12. Let q be -1 - (-6 - (-2 - z)). Let j(b) = 10*b + 3. Does 11 divide j(q)?
True
Let k(n) = 5*n**2 - 9*n - 1. Let c(i) be the second derivative of i**3/2 + i**2 - i. Let v be c(-2). Is 24 a factor of k(v)?
False
Is 9 a factor of (3515/74)/((-2)/(-4))?
False
Suppose 3120 = 5*b + 89*i - 85*i, i + 1261 = 2*b. Is b a multiple of 38?
False
Let v = -1089 - -1359. Does 10 divide v?
True
Let d(g) = -g**2 - 3*g + 21. Let i be d(-6). Suppose i*z - 219 = 300. Is 17 a factor of z?
False
Let s(x) = -x**3 - 74*x + 2 + 0 - 10*x**2 + 65*x. Is s(-9) a multiple of 2?
True
Is 6/4 + ((-5286)/(-12) - 0) a multiple of 26?
True
Suppose -2*q + 91 = -3*q. Let x = 236 + q. Is 29 a factor of x?
True
Let h = -46 - -64. Let m = h - -17. Let i = 58 - m. Is 10 a factor of i?
False
Let g be 7/3 + 5/(-15). Suppose -3*m = -3*s - 3, 3*m - 4*s = -2*s + 8. Suppose 5*c - m - 44 = -5*q, -3*c + g = -q. Is 6 a factor of q?
False
Let j = -119 - -125. Suppose a = -4*a + 100. Suppose -m - a = -b, b - j*b + 4*m + 99 = 0. Is b a multiple of 16?
False
Let t = 46 - 35. Let a(n) = 5*n - 1. Is a(t) a multiple of 9?
True
Suppose -3*k = 3*m, -5*k - 8 = 2*m - m. Is 12 a factor of (-22)/8 + m + 31185/108?
True
Let x = -98 - -98. Let g(v) be the first derivative of -v**3/3 + 57*v + 2. Is 11 a factor of g(x)?
False
Is 4 a factor of (23 + -16)*1/2*50?
False
Let r = 15 - 13. Does 7 divide (-196)/(-12) + r/3?
False
Suppose 5*q + 2*d = 2*q + 624, -q = -3*d - 208. Suppose -314 + 39 = -5*h + 5*v, -v - q = -4*h. Does 26 divide h?
False
Let q(k) = -8*k**2 + 1. Let n be q(1). Let z(d) = -d**3 - 6*d**2 + 5*d - 13. Let r be z(n). Let a = r + 40. Is a a multiple of 8?
False
Let m = 143 + 772. Is m a multiple of 34?
False
Suppose -22*s = -19*s - 42. Is ((-3)/4)/(s/(-3976)) a multiple of 