or of l?
False
Suppose 0*d - 2*d + 6 = 2*a, -d = 2*a + 2. Suppose -2*y + d*y = -1692. Let g = 428 + y. Does 17 divide g?
False
Let y(h) = -h**3 - 15*h**2 - 42*h + 11. Let j be y(-11). Let p(n) = n**3 + 14*n**2 + 7*n - 37. Does 6 divide p(j)?
False
Let g = -59 + 97. Let s = g - 35. Suppose -s*h = -4*h + 4*w + 39, 5*w = 2*h - 93. Does 11 divide h?
False
Let y(q) = q**2 + 6*q - 7. Let w be y(-7). Suppose 3*c + 9 = -w*c. Is 32 a factor of 131*2/8 + c/4?
True
Let s be (144/54)/((-8)/(-6)). Suppose -4*z = 3*q - 50, -20 = -q - z - z. Suppose 0 = s*w - 30 - q. Is 10 a factor of w?
True
Suppose -27*v + 837 = 4*v. Suppose -10*g = -v*g + 3672. Is 18 a factor of g?
True
Suppose -5*v = 3*c - 13, 6*v = v - 5. Suppose -3*j + 24 = -9. Let l = j - c. Does 3 divide l?
False
Suppose 3*o = 7*o - 4, -5*n - 5*o = -3205. Does 38 divide n?
False
Let n = -22776 + 46880. Is 17 a factor of n?
False
Is (-6556)/(-2) - 11/(-22)*14 a multiple of 39?
False
Suppose -89*r - 584 = -90*r - 2*d, 0 = 4*r - d - 2354. Is r a multiple of 42?
True
Let w = 11 + -106. Is 17 a factor of 1/5 - 7961/w?
False
Does 9 divide ((-99)/(-88))/((-6)/(-54688))?
False
Suppose -4*k - 20 = -2*b, -2*b + 22 = -3*k + 1. Let f be b/60 + (-8)/(-10). Let u(r) = 83*r**2 - 5*r + 4. Does 5 divide u(f)?
False
Let d = -7658 - -18816. Does 5 divide d?
False
Let d(a) = 5*a**2 - 3*a + 3. Suppose q = 3 - 5. Let w = 4 + q. Is d(w) a multiple of 15?
False
Suppose -226*x + 2980 = -221*x. Suppose 0 = -4*y + 4*l + 1204, -8*l = -2*y - 9*l + x. Is 15 a factor of y?
False
Let s(w) = -2*w**3 + 2*w**2 + 3. Let b be s(-2). Let k be 6/b + ((-16)/(-9))/1. Is (65 + ((-9)/(-3) - 2))/k a multiple of 12?
False
Let i = -8337 + 14689. Does 4 divide i?
True
Let n(v) = -600*v**3 + 2*v**2 + v - 1. Let m be n(-1). Suppose 9*c - m = c. Does 3 divide c?
True
Let q be ((-1 - -1)*14/(-56))/(-2). Suppose -o + 22 + 159 = 2*x, q = o - 5*x - 195. Is o a multiple of 7?
False
Let t be ((-2)/24*4)/((-2)/6570). Suppose -3*b = -3*c + 1464, 5*b - t = -4*c + 839. Is c a multiple of 4?
False
Let c = 21043 - 18363. Is c a multiple of 7?
False
Does 33 divide (492/80 + 3/12)/((-87)/(-331905))?
False
Let f(r) = -106*r - 1. Let q(n) = n**2 - 12*n - 29. Let m be q(14). Let p be (2/(-2) - -2)*m. Is f(p) a multiple of 21?
True
Let z = 462 - 490. Does 9 divide 85/(-10)*z - -5?
True
Suppose v + 4*o + 8 = 19, -4*v - 3*o = 8. Let t(b) = -13*b + 22. Does 3 divide t(v)?
True
Suppose -5495 = 5*a - 2*o - 57308, -3*a = -5*o - 31084. Is 31 a factor of a?
False
Suppose 1 = -2*i - 1, -5*i - 17 = -4*c. Let d be (-1)/((-26)/(-65)*-1*(-1)/6). Is d*(-4 + c) - 4/(-1) a multiple of 5?
False
Suppose 0 = 1322*j - 1331*j + 33732. Does 167 divide j?
False
Suppose 4*z + 12 = 0, 0*z = 4*h + 2*z - 18. Let d be (-68)/24 - 1/h. Let v(c) = 9*c**2 + 10. Is v(d) a multiple of 9?
False
Suppose 3*b + 18 = 0, 1360*b = -3*h + 1355*b + 107652. Is 190 a factor of h?
False
Is 7701/302*(-2 + 296/3) a multiple of 56?
False
Let x = 14568 - -14807. Is x a multiple of 92?
False
Let k be (3131/(-186))/((-2)/12). Suppose 0 = k*b - 102*b + 336. Does 28 divide b?
True
Suppose 3*w - 15 = -5*t, t + 4*w - 9 = -2*t. Let l be t/(-2*2/108). Let j = 137 + l. Is j a multiple of 7?
True
Let b(h) = h**3 - 16*h**2 + 98*h + 7. Is b(23) a multiple of 12?
True
Let y(k) = k + 17. Let f be y(8). Let b = f - 153. Let z = b - -240. Does 28 divide z?
True
Suppose -18*r = -r + 19*r. Let n(y) = -y**2 + 7*y + 3. Let l be n(7). Suppose r = -3*q + 5*v + 326, l*q + v - 98 = 2*q. Is q a multiple of 17?
True
Suppose 3*h - 1768 = 4*j, -2*j - 2*h - h = 866. Let q = 807 + j. Does 23 divide q?
True
Let r(a) = -a**3 + 41*a**2 + 91*a - 65. Is r(42) a multiple of 4?
False
Let l = 4372 - 3705. Is l a multiple of 23?
True
Let k = -807 + 974. Is k even?
False
Suppose 0 = 5*p + 2*z + 3986, 4*p - z = -2*z - 3190. Let n = p + 1695. Does 17 divide n?
False
Let w = -125 - -128. Suppose -853 = -w*p + 5*g, 0 = -2*p - 3*g + 7*g + 570. Is 42 a factor of p?
False
Let w = -60 + 186. Is 7 a factor of w?
True
Suppose 767*h - 744*h = 144394. Does 43 divide h?
True
Suppose -7*j = -3*j - 20. Suppose -2*i + 30 = 2*i + 2*f, -45 = -j*i + 5*f. Does 2 divide i?
True
Suppose 214*u - 12 = 216*u, 55470 = 4*b + u. Is b a multiple of 73?
False
Let o(f) = -f**3 - 60*f**2 + 62*f + 3106. Does 49 divide o(-64)?
False
Suppose -34804 = 2*i + 3*v, 0 = -3*i - i + 3*v - 69644. Is (-2)/(-9) - (5 - i/(-72)) a multiple of 20?
False
Suppose 0 = -0*s - 7*s - 7084. Let j = -682 - s. Is 32 a factor of j/2 + 0*(-1)/(-2)?
False
Suppose -117*p + 119*p - 102 = 0. Let a(j) = 6 + 0 - p + 5*j - 16. Is a(23) a multiple of 37?
False
Let m = 6903 + -6618. Is 8 a factor of m?
False
Suppose -767*a + 232050 = -377*a - 376*a. Is 31 a factor of a?
False
Let a(x) = x**3 + 20*x**2 - 30*x - 2. Suppose 5*z = -2*m - 52, 13 = -5*z + 3. Is 47 a factor of a(m)?
False
Let x(f) = -44*f - 7. Let c be 40/(-16) + 17/2. Suppose c*j = 2*j - 2*u, -2*j = 4*u - 12. Is 27 a factor of x(j)?
True
Let p = 44 + 17. Let q = -59 + p. Suppose -5*y + 304 = -2*z, -y - q*z = -0*y - 68. Is y a multiple of 9?
False
Let t(c) = 2*c**2 - 6*c + 7. Let w be t(1). Suppose 0 = -2*x + 5*x - 3*j - 360, -5*j + 392 = w*x. Is x a multiple of 4?
True
Let m(j) = -j**3 - 11*j**2 + 13*j - 66. Let d be m(-14). Does 82 divide ((-175)/(-2))/(-7)*d/(-10)?
False
Let v be (3 - (0 + 0))*2/3. Let q be -2 + 3 + (6/v - -4). Suppose -5*t + q*t + 529 = 4*r, -2*r = 4*t - 270. Does 19 divide r?
True
Suppose -3 = 3*g - 5*v, 5*g + 9*v = 11*v + 14. Suppose 0 = -6*j + g*j + 272. Is 29 a factor of j?
False
Suppose 0 = -66*q + 68*q - 968. Suppose -q = 9*u - 11*u. Is u a multiple of 56?
False
Suppose 0 = 4*r + 5*m - 21341, 2*r - 16*m - 10687 = -13*m. Is r a multiple of 19?
True
Does 78 divide (-32)/(-56) + ((-5465240)/35)/(-11)?
True
Let n(a) = -a**3 - 9*a**2 - 14*a - 24. Let p be n(-7). Is 22 a factor of -3 - (6/9)/(p/3276)?
True
Let w = 40823 - 7174. Is 23 a factor of w?
True
Let y(u) = u**3 - 26*u**2 - 2*u + 54. Let z be y(26). Suppose z*o + n = 3 + 13, o + 4*n = -6. Suppose o*k = 15*k - 935. Is 32 a factor of k?
False
Suppose -1134396 + 227096 = 119*b - 139*b. Is 211 a factor of b?
True
Suppose -4*a = -5*a - 4*n - 20, 15 = -3*n. Is 35 a factor of 0 + 3 - (a + (-176 - -4))?
True
Suppose -h + 4*v + 448 - 428 = 0, -4*v + 76 = 3*h. Does 17 divide h?
False
Suppose -4*v - 3*l = -28, 0*l - 8 = -2*l. Suppose -6*t + 4*t = -v. Suppose -4*k + 37 = r, -4*r + t*k - k + 131 = 0. Does 7 divide r?
False
Let w = 277 - 272. Suppose 4 + 13 = -z - 5*g, -w*g = -3*z + 49. Is z a multiple of 2?
True
Let v(h) be the second derivative of -h**5/20 - 5*h**4/12 + 3*h**3/2 + 2*h**2 + 5*h. Let m be v(-7). Let x = m + -35. Does 4 divide x?
True
Let a be ((-1820)/(-100))/(3/735). Suppose -6*i - i = -a. Is i a multiple of 13?
True
Let d = 2611 + 6032. Is d a multiple of 129?
True
Suppose 6724 - 64040 = -46*h. Does 56 divide h?
False
Let n be 3 - ((-5 - 12) + 6). Suppose -n*j + 11*j = -2235. Is 40 a factor of j?
False
Let y = -917 + 35972. Is y a multiple of 15?
True
Suppose -5*b = -4*i + 8803, b = -8 + 9. Suppose -20*y + 1958 = -i. Is 22 a factor of y?
False
Let v(w) = w**3 + 11*w**2 + 17*w + 7. Let u(l) = l**3 - l**2 + 2*l + 4. Let m be u(0). Suppose -4*d = 5*f - 23 + 69, m*f = -3*d - 35. Is v(d) a multiple of 7?
False
Suppose 821374 = -172*m + 1114607 + 2865031. Does 30 divide m?
False
Let j = -777 - -1246. Let m = j - 189. Is 20 a factor of m?
True
Let d = -83 - -99. Suppose 0*h = -h, -4*u + h = -d. Suppose 4*s - r - 653 = 0, 7*r - u*r = -3. Is s a multiple of 44?
False
Does 21 divide (-20851 + 3)/(78/117*-1*3)?
False
Let w(m) = -m**2 + 15*m - 44. Let b be w(10). Let y(q) = 2*q**3 + 2*q**2 - 6*q + 12. Is y(b) a multiple of 24?
True
Is ((-228128)/(-24))/((-28)/(-18)) - 159/(-371) a multiple of 6?
False
Suppose 4*z - 48 = -4*s, -4*s - 22*z + 17*z = -46. Suppose -s*v + 5962 - 474 = 0. Is 5 a factor of v?
False
Suppose 0 = 9*z - 164 - 52. Let m(u) = 4*u + 17. Let w be m(18). Suppose w*q = 90*q - z. Is 8 a factor of q?
True
Let z(r) be the second derivative of -7*r**6/720 + 13*r**5/120 + r**4 + 8*r. Let c(a) be the third derivative of z(a). Does 12 divide c(-6)?
False
Let k(x) = 8*x**2 - 5*x - 13. Let b be k(-4). Let v = 35 + b. Suppose 0 = 5*n + 6*c - c - v, -5*n = -c - 200. Does 21 divide 