0 divide h?
False
Let c(d) = -15*d**2 + 10 + 2*d**3 + d - 22 - d**3. Let l be c(15). Suppose 0 = 4*k - l*k - 68. Does 11 divide k?
False
Let g be (2 - 38/10)*15. Let k = g + 117. Is 18 a factor of k?
True
Suppose -1386 = -10*s + 2076 + 1978. Does 34 divide s?
True
Let y = 79 - 79. Suppose y = r + 4*a - 96, a - 90 = -r - a. Let g = r - 72. Does 2 divide g?
True
Let g(h) = -8*h**2 + 3*h + 10. Let a be g(-3). Let d be (0 + 2)/((-2)/a). Let k = -11 + d. Is 15 a factor of k?
True
Let f be (-42 + 7 - 4) + 1. Let o = f + 125. Does 29 divide o?
True
Suppose 2*u = -5*t + 129, -u - 2*t = -4*t - 42. Let g = 347 + -190. Let i = g - u. Is i a multiple of 15?
True
Let u be 24/10*130/52. Is 11 a factor of 0 + (40/u)/(20/330)?
True
Suppose 410*y - 1763400 = -190*y. Does 57 divide y?
False
Suppose 3*m = 3*g + 24, -m + 0*m - g - 2 = 0. Suppose -m*u = -4*w - 1308, 3*u + 3*w - 1322 = 7. Does 46 divide u?
False
Suppose -4*q + 75 = -1313. Let a = q + -144. Does 29 divide a?
True
Suppose 1086 = 3*k + 2*w, -k - 19*w = -16*w - 355. Suppose 3*a - 5*v - 258 = -37, 5*a = 4*v + k. Does 18 divide a?
True
Let f be (-9579)/372 + (-22)/(-8). Let r be (14*3 - 2) + 0. Let q = f + r. Is q a multiple of 17?
True
Let u(f) = 136*f - 39. Let w be u(9). Suppose -1312*n + w = -1307*n. Is n a multiple of 20?
False
Let k = 4335 + -1279. Does 17 divide k?
False
Let c = 29807 - 47401. Does 14 divide (c/(-95))/((-4)/(-10))?
False
Suppose 1 = 6*g - 17. Suppose g*y - 731 = 4*a, -4*y + 5*a + 754 = -221. Is y a multiple of 12?
False
Suppose 3*r - 136 - 72 = -2*x, -3*r + 223 = 5*x. Let p = -1008 + 963. Let l = r + p. Is l a multiple of 10?
False
Let o(l) = -l**3 + 13*l**2 - 22*l + 8. Let v be o(11). Let w = v + 11. Let k = w - 15. Is k a multiple of 2?
True
Suppose -4*j = -d + 2*d + 5, -d - 1 = 0. Let c be ((-6)/j + 4)/((-4)/(-62)). Suppose 5*u - 5*a = -0*u + c, u + 2*a - 28 = 0. Does 12 divide u?
False
Let c(k) = -k**3 + 17*k**2 + 5*k + 7. Let u be -1 - (-1)/(3 + -4). Let f be (17/4*2)/((-1)/u). Does 11 divide c(f)?
False
Let j = 129 + -125. Let z = j + 32. Let d = 29 + z. Is 7 a factor of d?
False
Is 46 a factor of (-150)/60 - 14650/(-4)?
False
Is (8/3 + 281852/(-186))/(4/(-18)) a multiple of 9?
False
Let f(y) = y**3 - 18*y**2 - 39*y - 40. Let c be f(20). Let i = c + 62. Is i a multiple of 6?
True
Let b be ((0/(-3))/5)/3. Suppose -3*j + 6*j - 9 = b, 5*n = -2*j + 1246. Is 23 a factor of n?
False
Let o = 222 + -114. Let q = -43 + o. Is 17 a factor of q?
False
Let n = 35277 + -27111. Is 4 a factor of n?
False
Suppose -s + w + 266 = 0, 5 = -4*w - 3. Is (-32)/(-3)*s/16 a multiple of 8?
True
Let q(y) = -3*y**3 + 5*y**2 - 2*y. Let m be q(3). Let s(w) = 4*w**3 - 5*w**2 + 5*w - 6. Let a be s(4). Let x = a + m. Does 37 divide x?
True
Let n = -7862 - -17300. Is n a multiple of 22?
True
Suppose 4*m - 94 = 3*n, 4*m - 25 = -5*n + 53. Suppose -m = z - 155. Let u = z - -1. Is 39 a factor of u?
False
Let b(g) = 33*g - 6. Let v be b(-6). Let w = 142 + v. Let s = 126 + w. Does 8 divide s?
True
Let x(s) = -26*s + 13. Suppose z + z = -10. Let f be x(z). Suppose m - h - f = -3*m, -2*m + 4*h = -68. Does 16 divide m?
False
Is 71 a factor of (-221 + 647)/(1/24)?
True
Let j(y) = -235*y**3 + 7*y**2 + 55*y + 62. Is j(-4) a multiple of 102?
True
Let v(j) = 592*j**2 + 345*j - 2377. Is v(7) a multiple of 141?
True
Suppose 3*t = 2*t - 3, 3*t = -3*u + 72. Suppose -u*v + 6 = -25*v. Suppose 0 = -v*w - 15 + 45. Does 10 divide w?
True
Suppose 8*d - 5*d - 27 = 0. Suppose -m + 2*m + 5*j = -3, -5*m + j + 11 = 0. Is 10 a factor of (-6410)/(-90) - m/d?
False
Suppose -4400 = -5*h - 4*w, 46*h = 49*h + 5*w - 2640. Is h a multiple of 43?
False
Suppose 3 = 4*a + 2*g + g, 2*a + 5*g = -9. Suppose y = 2*r + 13, 2*r = -a*y + y - 4. Suppose 0 = -3*m + y*q + 66, -4*m + q + 53 = -50. Is m a multiple of 4?
False
Let s(a) = a**3 + 4*a**2 - 6*a - 8. Let j(r) = 3*r**2 - 8*r - 6. Let t be j(4). Suppose 0 = -3*x - q - t, 0 = 3*q - 7 + 1. Does 16 divide s(x)?
True
Suppose j = -2*p + 8, -1 = 2*p - 5*p + 4*j. Suppose 3*f = -p*x - 1 - 8, -5*x - 3 = 2*f. Does 17 divide (-1900)/(-16) + (-1)/f?
True
Suppose -2125 - 8770 = -2*r - 3*v, -r = 3*v - 5443. Is r a multiple of 3?
False
Let s be 6 - (-6)/(-9)*3. Is 1/(-2) + 1586/s + 3 a multiple of 57?
True
Let l = 601 + -631. Does 10 divide (l/(-7))/(30/2940)?
True
Let n(z) = -65*z - 23. Suppose 5*s = 20, 0*v - 55 = -3*v - 4*s. Suppose -4*u + v - 25 = 0. Is 31 a factor of n(u)?
False
Let n(o) = 23*o - 1. Let r be n(1). Suppose r*x + 420 = 28*x. Is x a multiple of 7?
True
Suppose -3656*s = -3670*s + 602. Is 41 a factor of s?
False
Suppose 4*b + t - 15374 = 0, -3*t + 4905 - 20271 = -4*b. Does 61 divide b?
True
Let z(r) = 11*r + 9. Let a(i) = -i. Let h(m) = -6*a(m) - z(m). Suppose 4*d = -p - 20, p - 9*d + 12*d = -17. Does 31 divide h(p)?
True
Suppose 3*v - 119392 = -25*v. Is v a multiple of 52?
True
Let i(q) = 40*q**2 + 6*q + 5. Let l be i(-5). Suppose -33 = -6*h + l. Is 14 a factor of h?
True
Suppose 5240 = 4*x - 4*b, -2*x + 16*b + 2614 = 11*b. Suppose -2*h - 3*h + 5*a + 3355 = 0, 0 = 2*h + 4*a - x. Is h a multiple of 45?
False
Suppose d - 27 = 2*y, 4*d + y - 123 = 4*y. Suppose -32*c + 177 = -d*c. Does 13 divide ((-3)/6)/(2/(-8)) - c?
False
Let p(n) = 6*n + 2. Let z be p(1). Let g = -152 + 220. Is g + 1 + z/4 a multiple of 3?
False
Suppose 4*d = -4*s + 13800, -14*d + 17230 = -9*d - 5*s. Does 5 divide d?
False
Let a = 826 + -814. Suppose -l = 10 - 8. Does 27 divide (a/3 + l)*(-972)/(-24)?
True
Suppose -260*s + 174*s + 129172 = 0. Is s a multiple of 3?
False
Let o(x) = -87*x + 36. Let s(g) = 22*g - 9. Let k(j) = -2*o(j) - 9*s(j). Suppose 0*m = 10*m + 40. Is 21 a factor of k(m)?
True
Let j(k) = -61*k + 374. Let l be j(6). Is 6 a factor of 39 - (-24)/l*1?
True
Suppose a - 178 = -n, 3*n - 552 = 3*a - 0*a. Suppose -c + n + 80 = 2*u, -2*u + 4*c + 246 = 0. Does 10 divide u?
False
Suppose 3056 = 184*w - 192*w. Let b = w + 1699. Is b a multiple of 51?
False
Does 6 divide (416/312)/((-2)/(-327))*(1 + 1)?
False
Let x = 91785 + -32417. Does 181 divide x?
True
Suppose -6*i + 670 + 4250 = 0. Let u = i - 583. Is u a multiple of 3?
True
Suppose 2493 = 6*x - 3195. Suppose -8*u - x = -14*u. Does 13 divide u?
False
Let u = 145 + -140. Suppose 4*k = k - 4*r + 296, u*r = 2*k - 205. Is 21 a factor of k?
False
Let s = -55 - -55. Suppose s = -15*b + 10*b + 5. Does 10 divide (-15 - -17) + b*18?
True
Suppose 5*a - 115*t + 110*t = 8100, -t = 4*a - 6510. Is 15 a factor of a?
False
Let m = 2112 + -2172. Let f be 3/12 + 802/(-8). Let g = m - f. Does 4 divide g?
True
Let y be 123/4*25*8. Suppose 9*m = 24*m - y. Does 41 divide m?
True
Let t = -32 + 146. Let b = t - -10. Suppose 2*d - 124 = -3*r, -4*d + 4*r + b = -2*d. Does 42 divide d?
False
Let q = -80 + 107. Let w(a) = -3*a + 87. Let y be w(q). Does 34 divide y/(-3) - (1 + -3 + -204)?
True
Let y(z) = -1242*z + 1524. Is 26 a factor of y(-46)?
True
Let r = 208 + -203. Suppose r*w + 1049 = 4*o, 34*o = 33*o - 4*w + 257. Is o a multiple of 29?
True
Let q(c) = -50*c + 3. Let g be 44/11 + -1*(0 + 2). Let m be q(g). Let x = -84 - m. Is 8 a factor of x?
False
Let r = 87 - 85. Suppose -277 = 2*f - 3*f + 3*i, -5*f + 1453 = r*i. Is 17 a factor of f?
True
Suppose -19*q + 17070 = -13*q. Is q a multiple of 122?
False
Let u(w) = 107*w - 76. Let p be (-5)/(-1) - (1 - (-4 - -5)). Is 17 a factor of u(p)?
True
Let y = 1361 + 1782. Suppose -4*q = -209 - y. Suppose -8*v - q = -2094. Is 7 a factor of v?
False
Let k(f) = -f**2 + 16*f + 13. Let i(y) = y**2 - 5*y - 21. Let d = -36 - -45. Let c be i(d). Is k(c) a multiple of 14?
True
Let p = 197 + -26. Suppose -4*y + 60 - p = -3*g, -3*y + 132 = 3*g. Let l = g + 7. Is 6 a factor of l?
True
Let f(d) = d**2 - 13*d - 12. Let t be f(14). Let x be t/(4/58 - 0). Let l = -5 + x. Is l a multiple of 4?
True
Let c = -1188 + 1001. Let d = -43 - c. Does 32 divide d?
False
Let b be 1 - -2*(-1)/2. Let z(l) = -l**3 - 5*l**2 - 6*l + 3. Let w be z(-2). Suppose b = -4*h - w*h + 147. Is h a multiple of 9?
False
Let l = -2458 - -3181. Does 28 divide l?
False
Suppose 4*v - 112704 = 4*l, 90*v = 91*v - 4*l - 28179. Is v a multiple of 115?
True
Let v(b) = 10*b - 149. Let y be v(14). Let q(x) = -x**3 - 2*x**2 + 8*x + 27. Is 35 a factor of q(y)?
False
Suppose 3*b - 6511 = -2*l, -6536 = -2*l - 33*