)). Suppose 0 = -i*x + 6*x - 96. Does 8 divide x?
True
Let h = -48 + 616. Let m = h - 870. Let l = -183 - m. Is l a multiple of 14?
False
Is 12 a factor of 12*(-175)/5*(90/(-25) + 0)?
True
Suppose 0 = -3*c, 0*c + 22 = 2*g - 2*c. Suppose -5*l + 72 = -l + 4*v, -2*l + 3*v = -g. Suppose l*r - 1036 = -r. Is r a multiple of 13?
False
Suppose 30*g = 26*g + 36. Is (252/24 - g)/((-6)/(-280)) a multiple of 10?
True
Let b be (5 - 35)*(-36)/(-8). Let j be (-25)/(-4) + b/(-20) + -7. Suppose 0 = -13*m + j*m + 1169. Does 10 divide m?
False
Suppose 248*o - 5661934 = 1974978. Is 173 a factor of o?
True
Let h(z) = 8*z - 4*z + 13 + 3*z - 3*z. Let r be h(11). Suppose -r - 357 = -6*a. Is a a multiple of 17?
False
Suppose m - 60 = -14*m. Is (-10)/(1*m/(-108)) a multiple of 15?
True
Let b(n) = 4*n**2 + 22*n + 141. Let i be b(-6). Let o = 391 - i. Does 12 divide o?
False
Let x(s) = s**2 - 8*s + 12. Let d be x(13). Let i = 82 - d. Suppose 4*g = -2*o + 62, i*o - 245 = 5*g - 60. Does 3 divide o?
False
Let c be (1/(-3))/((-10)/(-210)). Is c - -2*158/4 a multiple of 24?
True
Let v be 4/((-20)/85) + 3. Let n be (-338)/(-91) + (-4)/v. Suppose -n*p = -u - u + 38, p - 49 = -4*u. Is 2 a factor of u?
False
Let u(c) be the second derivative of -c**5/20 + 3*c**4/2 + 6*c**2 - 12*c. Let a be u(18). Suppose -3*h = -a, 4*l + h = 480 - 20. Does 19 divide l?
True
Let j = 1823 - 1744. Suppose 3*m = 6*m + 666. Let x = j - m. Is 51 a factor of x?
False
Suppose 35*g - 33*g = -2*l + 98542, g = -5*l + 49271. Is g a multiple of 192?
False
Let c be (-16)/7 + 2 + 396/14. Suppose -c*u + 5423 = u. Is u a multiple of 2?
False
Suppose 5*p - 63 - 27 = 0. Suppose -4*o + p = 46. Is 35 a factor of 7345/35 - 1/o?
True
Let t = -8075 + 15558. Is 36 a factor of t?
False
Suppose -2*y = -4*j - 0*j + 142, -5*j - 5*y = -140. Let m(p) = -4*p + p + j - 20. Does 5 divide m(-6)?
False
Suppose 0 = -81*s + 72*s. Suppose 33*a - 37*a + 3744 = s. Is 39 a factor of a?
True
Let s(t) = -55*t - 4 + 1 + 63*t. Let u be s(1). Suppose b - 795 = -5*n - 3*b, 795 = u*n + 3*b. Is n a multiple of 13?
False
Suppose 15*w = 12 + 78. Is (781/(-4))/(w/8 - 1) a multiple of 15?
False
Does 45 divide 222754/70 + 20 + (-18)/(-10)?
False
Suppose q - 26 = -3*u, 2*q + 25 = 2*u + 3*u. Suppose 3*x - 4*n + u*n = 0, -3*x = 4*n + 4. Suppose -32 = -x*t + 144. Does 5 divide t?
False
Suppose -w + 5*w = 9*w - 6170. Does 85 divide w?
False
Suppose -5*k + 35 - 25 = 0. Let p(b) = b**3 - 2*b**2 + 2*b - 3. Let d be p(k). Does 12 divide -4 - (-5 - d) - 39/(-1)?
False
Let j = -27163 - -43818. Is j a multiple of 90?
False
Let t(m) = m**2 + 6*m - 10. Let z be t(-7). Let i(u) = 6*u**3 - 4*u**2 - 8*u - 4. Let w be i(z). Is w/(-10) + 16/(-20) - -2 even?
False
Does 12 divide ((-4788)/(-8))/(-3)*168/(-12)?
False
Let k(v) = -v**3 - 17*v**2. Let r be k(-17). Suppose 7*m + 33 - 117 = r. Suppose -16*b + m*b = -76. Is 19 a factor of b?
True
Let c(d) = 3*d**2 + 32*d - 24. Let k be c(-12). Suppose -25435 + 6331 = -k*o. Is 47 a factor of o?
False
Is 17/4*(566 + -162) a multiple of 60?
False
Suppose 19*x = 14*x - 130. Does 65 divide (9 + (-2133)/(-18))*x/(-3)?
True
Suppose 19830 = p - 0*p + 4*v, -3*v + 217802 = 11*p. Is p a multiple of 10?
False
Let x = 2813 - -2997. Is 66 a factor of x?
False
Let z(j) = -j**3 + 2*j**2 + 2*j - 20. Let o be z(0). Is (2106/(-65))/(4/o) a multiple of 22?
False
Let t(k) = -4*k - 52. Let i be t(-14). Suppose -2*v + 2236 = 2*b, -i*b + 2260 = 2*v + 20. Is 18 a factor of v?
True
Let v be 3/15 - (-2)/(-30)*3. Let n be 85/15*(-15 + v). Let y = -5 - n. Does 16 divide y?
True
Let k(b) = -76*b + 104*b + 7 + 12 + 96*b. Is k(6) a multiple of 45?
False
Let m(j) = -175*j - 448. Is 19 a factor of m(-55)?
True
Suppose 2*i + 26986 = 3*k, i + 0 = 7. Is k a multiple of 36?
True
Let y(x) = -x**3 + 52*x**2 - 71*x - 138. Is y(50) a multiple of 36?
False
Suppose 61*u - 62*u + 1 = 0, -5*l + 126498 = -2*u. Does 25 divide l?
True
Suppose -3*u = -2*z - 544, -4*u - 2*z - 113 = -829. Suppose 2*y - 356 = u. Is 9 a factor of y?
False
Let s = 1363 + -1363. Let r be (2/4)/(2/(-4)). Is 112 - -3 - (s - r)*-4 a multiple of 14?
False
Let d(j) = -8*j + 48. Suppose -3*p + 5*y - 45 = 36, -3*p + 3*y = 75. Does 32 divide d(p)?
True
Suppose 4*m + 131 = -3*g, g + m = -39 - 4. Suppose -22*n + 4*k = -20*n - 172, -234 = -3*n - 2*k. Let c = g + n. Is c a multiple of 10?
False
Let a(k) = 375*k + 40. Let c be a(4). Suppose -h + 308 = -2*j, 0*h + 5*h = -j + c. Is h a multiple of 20?
False
Let s(v) = -7*v + 49. Let i be s(-23). Let j be (7/2)/(21/i). Suppose -5*l - j + 500 = 0. Does 30 divide l?
False
Is 10 a factor of (-16)/72 + 28086/27?
True
Let u be -1 - 2*(6/(-4))/1. Suppose 3*y - 4*c = 18, 0 = 3*y - u*y - 3*c - 6. Suppose -103 = -y*v + 89. Does 4 divide v?
True
Let o(n) = 178*n**2 + 7*n - 31. Is o(9) a multiple of 85?
True
Let f(l) = l**3 + 24*l**2 - 2*l - 38. Let d = 94 + -118. Let y be f(d). Let m(n) = 3*n**2 - 17*n - 29. Is 26 a factor of m(y)?
False
Suppose 5*w = -0*w + 4*d - 315, -2*w + 3*d - 126 = 0. Is 7 a factor of (-9 - -4)/(-5) - w?
False
Suppose -777*n - 9182 = -778*n + 2*q, 4*n = q + 36735. Is 112 a factor of n?
True
Let g(m) = 2*m**3 + m**2 + 3*m - 22. Let n(d) = 3*d**3 + 2*d**2 + 7*d - 43. Let v(w) = 5*g(w) - 3*n(w). Is v(4) a multiple of 4?
False
Let i(b) = -4239*b**3 - 7*b - 8. Does 26 divide i(-1)?
True
Let a(c) = -c**3 - 88*c**2 - 87*c + 290. Is 58 a factor of a(-88)?
True
Suppose 0 = -25*g + 2*g + 2070. Suppose -2*f + g = 5*q, -2*f = 3*q - 5*q - 62. Is f a multiple of 9?
False
Let j(s) be the first derivative of 4*s**4/3 + 7*s**3/6 + 6*s**2 - 16*s + 25. Let l(u) be the first derivative of j(u). Is 47 a factor of l(-4)?
False
Let z(m) = m**3 + 2*m**2 - 2*m + 1. Let c be z(1). Suppose -14 = -5*w - 4. Is 8 a factor of 32 + (w - c)*-1?
True
Suppose -3*r + r = 5*b - 4724, -4724 = -2*r - 4*b. Suppose 478 - r = -12*k. Is 15 a factor of k?
False
Suppose 0 = 2*n + 64 - 20. Let a(q) = q**2 + 22*q. Let o be a(n). Suppose 0 = -2*d + 3*x + 51, o = -4*d - 0*d - x + 95. Does 12 divide d?
True
Suppose 0 = -54*a + 67*a - 2548. Suppose 5*v = -f + a, -4*v - 1120 = -5*f - v. Is 3 a factor of f?
False
Let k be (-2)/(-4)*2 + (-458)/(-1). Let f = k + -315. Is f a multiple of 8?
True
Suppose -5*r = -9*r + 16, m = 2*r + 923. Let c = -711 + m. Is c a multiple of 10?
True
Suppose 4*y - 55 = -l - 6, 0 = -4*l + 4. Is ((-21)/y)/7 + (-4052)/(-16) a multiple of 23?
True
Suppose 7*k + 4*y - 38 = 4*k, 0 = 5*k + 3*y - 56. Is 2 a factor of k?
True
Let g = -176 + 155. Let d = -16 - g. Suppose 155 = 3*c + x, 5*x = -d*c + 7*x + 251. Is 11 a factor of c?
False
Suppose 4*i - 27 = 3*j, 29 = -i - 4*j + 12. Suppose -4*k + 4*n = -140, -4*k = -n + i*n - 122. Is k a multiple of 10?
False
Let j = 66 - 62. Suppose -j*h + 120 = 2*y - h, 3*y - 5*h = 180. Does 5 divide y?
True
Let h = 957 + -614. Suppose -y = r - h, 670 = 2*r - 3*y + y. Is r a multiple of 23?
False
Let s(a) = -a**2 - 13*a + 6. Let t be s(-7). Let b be 2590/35*1/(-2). Let n = b + t. Is 11 a factor of n?
True
Suppose 2*q - 41 = 3*u - 12, -2*u = -q + 18. Is (-4 - (u + 5))*-182 a multiple of 26?
True
Let r = -458 - -463. Suppose 3*f - 5*w + 0 = 136, -2*w = r*f - 268. Is f a multiple of 4?
True
Suppose 4*t = -9*t + 16*t. Suppose 2*r + 4*r - 6 = t. Is (r - (-29)/(-4))*(-4 + 0) a multiple of 5?
True
Let n(k) = 61*k + 46. Suppose -4*j = -5*v - 57, 10*j = 6*j - 5*v + 7. Does 34 divide n(j)?
False
Let d(r) = -r**3 + 11*r**2 - 21*r + 29. Let x be d(9). Suppose -4*n - 292 = -2*k, 5*n = -k + x*k - 134. Is 11 a factor of k?
True
Let f(j) = 3*j - 12. Let s be -3 - (0 + 60/(-4)). Let p be f(s). Is p/(-18)*(-2 - (59 + -1)) a multiple of 16?
True
Suppose 63*x - 83*x = -80. Suppose x*t + 112 + 188 = 2*u, 0 = 3*u - t - 470. Is 103 a factor of u?
False
Let g be 7/(-4)*(4 + 21168/(-9)). Let v = g - 2850. Is 27 a factor of v?
False
Let y = 2933 + 1417. Does 87 divide y?
True
Suppose 3*c - 346 - 684 = -2*x, -5*x = -c - 2558. Is x a multiple of 16?
True
Suppose -z + 5*u - 5216 = -5*z, 5*z - 6537 = -2*u. Let n be ((-900)/48)/15*-4. Suppose 0 = 2*t + n*t - z. Is 11 a factor of t?
True
Let h(j) = 13*j**3 + 5*j**2 - 4*j + 13. Let f = -302 - -306. Is h(f) a multiple of 23?
False
Suppose 158 + 134 = 4*w. Suppose k - 218 = -w. Let x = k + -96. Is x a multiple of 7?
True
Suppose 11*w