 7 a factor of g?
True
Let d = -7184 - -10538. Does 6 divide d?
True
Let r(v) = 28*v - 134. Let z be r(18). Suppose 2*j - z = -q, 7*q + j - 1115 = 4*q. Is 17 a factor of q?
False
Let r(a) = 156*a + 13. Let q be r(3). Let w = -267 + q. Suppose -7*b = -5*b - w. Is b a multiple of 26?
False
Let a(l) = 759*l**3 - 14*l**2 + 25*l + 1. Is 12 a factor of a(2)?
False
Let t = -161 - -627. Let s = t + -70. Is s a multiple of 33?
True
Suppose g = -2*v + 35396, -18*v + v = -5*g + 177034. Is g a multiple of 15?
True
Let f(x) = 11*x - 8. Let s be f(1). Let w be (s - 1)*(-2 - -7). Does 4 divide w - (-2)/2 - 3?
True
Let y(g) = -11*g**2 + 148 - 37*g + 8*g**2 + 48. Let b(d) = -5*d**2 - 55*d + 294. Let v(u) = -5*b(u) + 8*y(u). Is v(24) a multiple of 14?
False
Suppose 3*i + 17 - 8 = 0, 2*i = 3*t - 2916. Suppose -3*j + 5*o + 1166 = 0, 0 = 4*j + o - 2540 + t. Does 28 divide j?
True
Suppose -9*g = -12*g + 78. Let a = g + -24. Suppose 0 = a*x - 4*p - 40, 7*p + 1 = -x + 2*p. Is 7 a factor of x?
True
Let n(g) = 9438*g**2 - 1204*g - 1205. Is 156 a factor of n(-1)?
False
Suppose -s - 5*s + 7812 = 0. Suppose 6*r + 798 = -s. Let x = r + 492. Is 24 a factor of x?
False
Let j = 3974 + 13672. Does 88 divide j?
False
Let s(w) = w**2 - 2*w + 38. Let t be s(0). Let j(h) = h**3 - 39*h**2 + 52*h - 22. Is 85 a factor of j(t)?
True
Suppose 3*m + 43 = -344. Suppose 268 = -4*q + 2*q. Let s = m - q. Does 4 divide s?
False
Suppose 5*q = -71*x + 73*x + 1972, 0 = -5*x - 2*q - 4872. Let d = x + 1775. Is d a multiple of 55?
False
Let f be ((1 + -4 - -2) + 2)*6575. Suppose -2433 = 19*g - f. Is 8 a factor of g?
False
Is (-1*333536/(-52) - 12) + 4/(-26) a multiple of 43?
False
Suppose 6912*t - 6887*t + 3725 = 0. Let u be (346 - 1) + -1 - 0. Let g = t + u. Is g a multiple of 14?
False
Let x(y) = 65 + 0*y + 55 + 2*y - 15. Suppose 5*g - 8 = 4*d - 3, -3*d + 5*g = 5. Is 21 a factor of x(d)?
True
Is 47 a factor of 8/12*3 + 9166 + (-18)/6?
True
Let u(d) = 6*d**2 - 255*d + 4949. Does 3 divide u(18)?
False
Does 177 divide (-1062)/(-12)*(1170/(-27))/13*-9?
True
Let l(p) be the first derivative of -21*p**4/2 - 7*p**3/3 - 2*p**2 - 4*p + 130. Is 12 a factor of l(-2)?
True
Suppose 2*g - 2*f = 2730, -3*g + 4090 = -18*f + 20*f. Does 21 divide g?
False
Suppose 453 = k + r - 1418, 5*r + 1841 = k. Is k a multiple of 18?
False
Let g = 9692 - -5032. Is 9 a factor of g?
True
Let p = -2183 + 3831. Let w = -576 + p. Is 10 a factor of w?
False
Let f be (1 + -3 - -189)*1. Is 22 a factor of 2467/17 + (-22)/f?
False
Let y(s) be the first derivative of 40 + 18*s + 10*s + 4*s**2 - 7*s + 3*s. Is 12 a factor of y(18)?
True
Suppose -1 = -4*k - 73. Let j be 7 + -6 + (k - 0). Is (j/51)/((-2)/510) a multiple of 13?
False
Suppose 2*b - 816 = t, 10*b = 5*b - t + 2054. Does 41 divide b?
True
Let w(z) = -z**3 - 9*z**2 + z + 12. Let c(l) = -4*l**2 + 4*l - 1. Let a be c(2). Let i be w(a). Is 58 - (i - 6/2)*1 a multiple of 34?
False
Let g = 645 - 599. Let v(q) = q**2 - 37*q + 15. Is 14 a factor of v(g)?
False
Suppose 0 = -5*g + 3*k + 34748, -35266 + 542 = -5*g - k. Is 151 a factor of g?
True
Suppose 3*b - 5*l = 41038, -349*l + 351*l - 54752 = -4*b. Does 45 divide b?
False
Let d(l) = -l**2 + 32*l + 179. Let b be d(-5). Is 1*(3 - 2) + (-324)/b a multiple of 5?
True
Let m = 12391 - 7663. Is 11 a factor of m?
False
Suppose -7*j + 10*j - 4*x - 760 = 0, 0 = -3*j - x + 740. Suppose 3*k - 4*v = 635, -2*k + 2*v + j = -172. Is k a multiple of 9?
False
Let k be (-27)/(-216) + (-78)/(-16). Is (4 - (-648 - 2) - k) + -5 a multiple of 57?
False
Let q be (-2454)/15*(-80)/32. Suppose 0 = 3*r - 5*m - q, -m = -2*r + 3*r - 147. Does 30 divide r?
False
Let n = 266 + -246. Is (-15 + n - 21/4)*-436 a multiple of 18?
False
Let z(s) be the third derivative of 1/40*s**6 + 0 - 5/6*s**3 + 0*s + 2*s**2 + 1/12*s**4 - 1/20*s**5. Is z(3) a multiple of 11?
True
Suppose -3*a + 6*a = 150. Let n(i) = 2*i**2 + 174*i - 180. Let j be n(-88). Does 3 divide ((-2)/j)/(1/a)?
False
Let n(k) = -k**3 - 8*k**2 + 249. Let x(u) = -5*u + 5. Let l be x(1). Is 15 a factor of n(l)?
False
Suppose 417 = -69*r + 72*r. Let s = -69 + r. Suppose 4*z + 6 - s = 0. Is z a multiple of 2?
True
Does 11 divide (-16)/(-56)*36526 + -4 + -2?
False
Is 69/(-2)*(770/(-105))/11 a multiple of 3?
False
Let x(o) = 2*o**2 - 23*o + 432. Does 72 divide x(16)?
True
Suppose 50*b = -57*b + 98*b. Suppose -559 = -o - 4*k, o - 4*k - 559 = -b*k. Does 7 divide o?
False
Suppose 4*z + 20 = 4*m + 2*z, -3*m - 4*z = -26. Suppose -4*v + 455 = -3*g, -7*v - 2*g = -m*v - 100. Does 21 divide v?
False
Let u be (4/12)/(2/1866). Suppose -7*r - 374 = -2*o - 8*r, -5*o + 929 = r. Let q = u - o. Is 17 a factor of q?
False
Let j(p) = p**2 + 5*p + 3. Let b be j(-4). Suppose 167 = -2*z - 21*z + 1846. Let l = b + z. Does 7 divide l?
False
Let z(a) = -6*a**2 + 3*a + 25. Let u(o) = -o**2 - o + 1. Let y(g) = 5*u(g) - z(g). Let p be y(10). Suppose p = -7*t - 146 + 1028. Does 14 divide t?
True
Let t = -190 - -195. Suppose 0 = -t*q - 10, u - 2*q - 30 - 114 = 0. Does 14 divide u?
True
Let y be (-101)/(-5) - (-15)/(-75). Let w be ((y/6)/2)/((-11)/(-33)). Let t = w + 17. Does 2 divide t?
True
Suppose -5*j + 3*x + 49 = 0, x + x = -5*j + 34. Suppose 2725 = j*b - 3715. Does 35 divide b?
True
Let j(n) = -31*n - 6. Let w(r) = -156*r - 30. Let z(g) = -11*j(g) + 2*w(g). Let o be z(-6). Let v = -119 - o. Does 6 divide v?
False
Let x be (-4)/(360/(-642)) + 4/(-30). Suppose 31 = x*j - 403. Is j a multiple of 62?
True
Let v(h) = 2*h**2 + 10*h - 25. Let u be v(-11). Suppose -110*m + u*m + 1719 = 0. Is (-4)/(-10) - m/(-5) a multiple of 30?
False
Let p = -69 - -70. Let g be ((-2)/2)/1 - (-4 - p). Suppose g*o = 8*o - 624. Is o a multiple of 12?
True
Suppose -2*s + 3*s - 1 = 0, -4*r - 5 = 3*s. Let t be (0 - r) + -2 + -8. Does 24 divide 145/2*t/(-10)?
False
Let g = -1690 + 4390. Is g a multiple of 225?
True
Let d(h) = 2*h + 15. Suppose 0 = 5*x - 8 + 43. Let f be d(x). Is -4 - ((-36)/f)/1 a multiple of 6?
False
Let f be 2/8*6 - (-2)/4. Suppose -4*x - 9*r = -5*r - 1828, -f*x = r - 916. Is 27 a factor of x?
True
Suppose 31*c - 431836 + 147752 = 0. Is c a multiple of 79?
True
Let s(v) = 158*v - 2464. Does 26 divide s(75)?
True
Suppose -2*h - 1 = -7. Suppose -3*o - h*s + 71 = o, 2*s = -6. Is 40 + -3*o/15 a multiple of 18?
True
Suppose 18*r - 15*r - 9 = 0. Suppose 0 = -3*x + r*s - 30, 0*x = -4*x - 3*s - 26. Does 19 divide (x/6)/(4/(-90))?
False
Suppose -4*h = -p - 1428 - 702, -h = -5*p - 542. Let a = h + 282. Does 22 divide a?
True
Suppose -105 = -27*n + 30. Suppose 595 = 4*x - n. Is 5 a factor of x?
True
Let c(n) = 0 - 856*n + 156 + 1673*n - 943*n. Is 37 a factor of c(-4)?
False
Suppose 2*h - 2 - 8 = 0. Suppose -h*q = -4*d - 165 - 538, 10 = -5*d. Let v = q + -66. Is v a multiple of 4?
False
Let l = 52 + -52. Suppose l = -5*d - r + 20, 2*d - 2*r - 15 = -r. Suppose -24 = -q - d*c + 20, 3*c = q - 52. Does 26 divide q?
False
Suppose 0 = 5*s - 0 - 55. Let t = 11 - s. Suppose 0 = 2*d - 6, y + t = 5*d + 11. Does 5 divide y?
False
Suppose 18*c - 7 - 65 = 0. Suppose 5*f - 2*q - 1196 = 0, -6*f - 1208 = -11*f - c*q. Does 20 divide f?
True
Suppose 99*h - 1661011 - 1529774 = -96*h. Does 7 divide h?
False
Suppose 3*v - 2598 = -2*t, -79*t + 75*t = -v - 5154. Is t a multiple of 6?
True
Let w = 25 - 10. Is 4 a factor of (-2 - 20/w)/(2/(-144))?
True
Suppose -g - 167*z + 163*z - 298 = 0, -4*g - 5*z = 1192. Does 10 divide (g/(-6))/((-15 + 28)/156)?
False
Let s = 37 + -31. Suppose -s*b = -0*b. Suppose b = -4*a + 64 + 12. Is 7 a factor of a?
False
Suppose 17*z - 90 = 7*z. Let t(d) = 39 + 7*d - 17*d + 9*d. Is t(z) a multiple of 15?
True
Let m(x) = x**2 - 5*x - 8. Let s be m(3). Let j(k) = -14*k + 52. Is 27 a factor of j(s)?
False
Suppose -14 = 2*r - 9*r. Let k(b) = 36*b**3 - 3*b**2 + 3*b - 2. Does 35 divide k(r)?
True
Suppose 776*n - 439*n = 800712. Does 27 divide n?
True
Let c(s) = s**2 + 19*s + 131. Suppose i + 5*u = -26, 2*i + 2*u + 22 = -54. Is 37 a factor of c(i)?
False
Is 5943 - (-8)/((-5)/(6 + -1)) a multiple of 125?
False
Let h = 90 - 86. Suppose -h*k + 984 = -4*y, -3*k - 1 - 11 = 0. Is 20 a factor of y*((-4)/(-8))/(15/(-24))?
True
Let w = 44 + -57. Let i(f) = -f**2 - 14*f - 20. Let v be i(w). Let x(q) = -2*q**2 - 17*q - 18. Is x(v) a multiple of 3?
True
Let w(z) = -5*z**2 - 5*z + 2