02)*3/(-2). Let a(u) = -22*u + 3. Let b(o) = -22*o + 4. Let l(x) = 4*a(x) - 5*b(x). Is 17 a factor of l(i)?
True
Suppose -2*v + 3*l + 6496 = 0, -13008 = 6*v - 10*v + 2*l. Is 6 a factor of v?
False
Suppose -6 = -56*o + 58*o, 2*g - 2*o - 4780 = 0. Is 77 a factor of g?
True
Let d(y) = 151*y**3. Let m be (-4 + 0)*(-8)/32. Let h be d(m). Let f = h + -23. Is f a multiple of 16?
True
Let f(i) = i**3 + 16*i**2 + 10*i. Let m be f(-15). Let v = m - 69. Suppose 0 = -v*y + 198 - 0. Is y a multiple of 3?
True
Suppose -40*x = -31*x + 9. Is (x - 0)/((-24)/3144) a multiple of 5?
False
Suppose 136485 = 62*z + 69*z - 134685. Is z a multiple of 5?
True
Suppose -2*z + 343 = 5*f - 192, -2*f + 214 = 3*z. Let q = f + 222. Is 40 a factor of q?
False
Let w(z) = -z**3 + 30*z**2 - z - 51. Is 74 a factor of w(24)?
False
Let g(v) = -v**2 + 580. Let s be g(0). Suppose s = 17*y - 3585. Does 35 divide y?
True
Let d be ((-8)/6)/(5/(-15)). Let z be (-3)/(182/(-44) + d)*3. Suppose 0 = -65*a + z*a - 162. Is 18 a factor of a?
True
Let d(i) = -2843*i - 88. Is d(-7) a multiple of 21?
False
Let q = 2093 - -1411. Is q a multiple of 5?
False
Let s be -1*(0 - 4 - 2240). Suppose -5*g + 4*c = -s, 0 = g - 3*c - 121 - 319. Does 64 divide g?
False
Suppose -38*q = -19014 - 41026. Does 12 divide q?
False
Does 44 divide (((-15)/(-5) - -5)*5)/((-13)/(-286))?
True
Let k(f) = 22*f**2 - 4*f - 3. Let u be 3/((225/10)/(-15)). Is 38 a factor of k(u)?
False
Let c be (-7)/((-21)/(-12)) + (67 - -9). Suppose -4*i = -8*i + c. Is i a multiple of 9?
True
Let y(p) = 24*p**2 - 1 + 1 - 3923*p - 6 + 3916*p. Is y(-6) a multiple of 75?
True
Let u(a) = -a**2 - 29*a - 100. Let n be u(-25). Suppose 12*c - 17*c + 800 = n. Is 20 a factor of c?
True
Let s(i) = 24*i**2 - 145*i - 302. Does 259 divide s(-29)?
True
Let g = -3 - -4. Let a = 2198 - 2201. Is 15 a factor of g - -2 - (a + -24)/1?
True
Let c(f) = -f**3 + f**2 - f + 5. Let o = 22 + -22. Let j be c(o). Is (6 - j)/((-4)/(-268)) a multiple of 14?
False
Let y(x) = -9*x + 9. Let z be y(1). Let a be (-1 - (-1 - z))*(-4 + 3). Suppose a = -3*u + 3*k + 780, -3*u = -8*k + 10*k - 770. Is u a multiple of 11?
False
Does 4 divide (-10754)/(-4) + 1 + (-1002)/668?
True
Suppose 0 = 4*x + 5*x + 2097. Let f = x + 152. Let z = -49 - f. Does 23 divide z?
False
Let y = 3376 - 2893. Is 21 a factor of y?
True
Let b(c) = 317*c - 1585. Is 28 a factor of b(21)?
False
Let y = 88586 + -44985. Is 45 a factor of y?
False
Let w(f) = f**2 + 18*f - 6. Let t be w(-15). Let d = -47 - t. Suppose -7*i + 258 = -d*i. Is i a multiple of 6?
False
Let j(r) be the second derivative of 7*r**5/10 + r**4/4 - 4*r**3/3 + 9*r**2/2 + 139*r. Is j(4) a multiple of 61?
False
Suppose -137368 + 26442 = -37*i. Is i a multiple of 13?
False
Let t(d) = -1335*d - 1690. Is 95 a factor of t(-12)?
False
Let d be (4 + 0 - 14)*(-4)/10. Suppose -d*l - u - 17 = -2*u, -5*l - 4*u + 5 = 0. Let r(g) = 2*g**2 - 5*g - 2. Is 31 a factor of r(l)?
True
Let n be -4 + (10 - 5)*(-6)/(-5). Suppose 9 = 2*d + 3, n*c = -4*d + 172. Suppose 3*p - c = s, 3*s + 23 + 9 = p. Is p even?
True
Let q = 84 - -23. Let i = q - 31. Is (-4)/8*i/(-2) a multiple of 6?
False
Let h(s) = -8*s**2 + 27*s - 136. Let y be h(11). Let j = y - -2171. Is 62 a factor of j?
True
Let w = 332 + -228. Let u be 10/(-15) - -1 - w/(-3). Suppose o = 3*m - 4*o - 94, -2*o + u = m. Is 11 a factor of m?
True
Suppose 3*s + 3 = -3*v, 0*s + 3*s = -4*v. Suppose 0 = 4*h + 3 + 1, -v*r + 4214 = -2*h. Does 20 divide (-2)/10 - (5 - r/20)?
False
Let u = -115 - -123. Suppose -f + 12 - u = 0. Suppose -f*x + 20 = -2*x. Does 2 divide x?
True
Let l(s) = 4*s + 21. Let t(g) = g**3 + 12*g**2 - 4. Let r be t(-12). Let k be l(r). Let w = 140 + k. Is w a multiple of 29?
True
Let g(y) = -9*y - 30. Let w be 12/4 + (-11)/((-33)/72). Let u = w - 35. Does 14 divide g(u)?
True
Let b(z) = 37*z - 18. Let q be b(2). Is 6588/42 - 48/q a multiple of 9?
False
Let x be 2/(-2)*(3/3 + -6). Suppose -20*k = x*k - 1550. Is k a multiple of 29?
False
Let c(d) = -9690*d**3 + d**2 - 26*d - 28. Is c(-1) a multiple of 32?
False
Let i(s) = s**3 - 7*s**2 + 7*s. Let r be i(6). Suppose -r*h = -17*h - 231. Is 114/9*(-2 - h/6) a multiple of 3?
False
Let u(n) = -36*n - 84. Let c be u(-10). Let p = c + 85. Is 30 a factor of p?
False
Let c(q) = 280*q**2 + 100*q - 498. Is 18 a factor of c(5)?
True
Let i(h) be the second derivative of 3*h**3/2 - 92*h**2 + 10*h - 6. Is i(37) a multiple of 5?
False
Let n(p) = 118*p**2 - 76*p - 316. Is n(-4) a multiple of 28?
True
Let u(p) = 34*p - 7. Let i be u(15). Suppose -4*v + 1021 + i = 0. Is v a multiple of 55?
False
Suppose 536*t - 6763840 - 10210208 = 0. Is t a multiple of 116?
True
Let u be (-175)/(-21) - (-2)/3. Suppose 4*m + 20 = 0, 3*m = u*j - 6*j - 405. Is j a multiple of 10?
True
Let r(y) = y**2 - 3*y + 15. Let c be r(6). Let k = 38 - c. Suppose 0 = l - 3*l - k*j + 35, 2*j = 5*l - 131. Is l a multiple of 6?
False
Let g be (-14)/(-21) + (-8)/(-6). Suppose 40*l - 57*l = -34. Suppose -2*h - 5*b + g*b = -158, 417 = 5*h + l*b. Does 5 divide h?
True
Is (-382720)/(-69) + 20/(-12) a multiple of 6?
False
Suppose 27*v - 33*v - 3*g + 25965 = 0, -5*g - 8685 = -2*v. Does 3 divide v?
False
Suppose 9*p - 716 = 27823. Is 21 a factor of p?
True
Suppose 2441*t - 469744 = -2454*t + 4873*t. Is t a multiple of 8?
True
Let c(o) = 121*o**2 - 7*o - 2. Let w be c(-1). Suppose 2*z + w = 638. Does 9 divide z?
False
Let m = -731 - -359. Let t = m - -661. Is 17 a factor of t?
True
Is 1251987/77 - (-220)/154 a multiple of 186?
False
Suppose 5*n = -v + 156775, 9*n - 13*n = 4*v - 125436. Does 61 divide n?
True
Suppose q + 12 = -5*t, t = 5*t + 4*q. Let r = t - 7. Let y = r + 41. Does 4 divide y?
False
Let v(w) = 5*w - 25*w + 48 + 4*w - 8*w. Is v(-3) a multiple of 30?
True
Does 90 divide 16 - (-3060 + 13) - (7 - 4)?
True
Let m(c) = -142*c + 146. Does 4 divide m(-3)?
True
Let r = 60 - 57. Suppose -38 = -2*y - 5*j, -5*j + 10 = r*y - 37. Suppose y + 12 = 7*b. Does 3 divide b?
True
Suppose 0 = 5*b - 0*b - 3*r - 145, 2*b = r + 58. Suppose -24*x = -b*x - 80. Is 25 a factor of ((-4)/x - -1)*(1 + 59)?
True
Let c(g) = 11*g**2 + 7*g + 2. Suppose 98*q - 94*q + 8 = 0. Let y be -5 + (6 - q/(2/(-3))). Is c(y) a multiple of 3?
False
Is 24 a factor of (((-141696)/15)/(-4))/((-54)/(-10395)*11)?
True
Let j(t) = -635*t - 1373. Does 58 divide j(-72)?
False
Suppose -5*p = 15, -12*r - 5*p - 663 = -10*r. Let c = 495 + r. Does 3 divide c?
True
Let c(d) = 3*d**2 + 14*d - 4. Let s be c(-10). Suppose 2*x - s = 158. Suppose -2*a + 73 = -x. Is 40 a factor of a?
False
Let t(a) = 13*a - 70. Suppose 0 = -3*o - 0*h + h + 43, -5*o + 4*h = -74. Does 15 divide t(o)?
False
Let q(b) = 149*b**2 - 10*b - 16. Does 20 divide q(-2)?
True
Let f = -814 + 1857. Suppose 0 = -x + 2*d + 112 + 91, 0 = 5*x + 4*d - f. Is 23 a factor of x?
True
Suppose -y + 4*s = 7, 6*s + 8 = 4*y + 2*s. Let h(o) = -o + 19. Let g be h(-15). Suppose -y*v + 66 = -g. Is 10 a factor of v?
True
Let b = 3147 + 7541. Does 131 divide b?
False
Let p(d) be the third derivative of 0 + 34*d**2 + 1/6*d**3 + 289/120*d**6 + 0*d + 1/20*d**5 - 1/24*d**4. Does 43 divide p(1)?
False
Let w be (-15)/9*438/(-73). Suppose -2*g + x = g - 1223, -4*g - 4*x + 1636 = 0. Suppose w*k - 222 = g. Is k a multiple of 7?
True
Suppose 17*l - 16*l - 21295 = -4*a, 63773 = 3*l - 2*a. Does 31 divide l?
False
Suppose -12 = -3*d + 3*p, 5*p - 51 = -5*d + 19. Let j(z) = -z**3 - 6 + 3 - 16 + 68*z**2 - 60*z**2 + 14*z. Does 6 divide j(d)?
False
Let d = 11202 + -2922. Does 60 divide d?
True
Suppose 7*g - 12*g - 2*w = -514, -5*g = -2*w - 506. Is 3 a factor of g?
True
Let g = 38 - 33. Suppose 0 = 9*s - g*s - 36. Suppose 5*k + 480 = s*k. Is 15 a factor of k?
True
Suppose 3*p = 13*p - 451 + 431. Suppose b + 0*b + 4*w - 96 = 0, 0 = -3*b - w + 233. Suppose -5*f + 200 = 3*i - 24, -p*f = i - b. Is i a multiple of 8?
False
Let a(q) = 35*q**2 + 12*q + 28. Suppose -3*b - 17 = -5*l, 2*b + l - 2 + 9 = 0. Is 60 a factor of a(b)?
True
Let z be 2 + 1*(2 + -3). Let b be 14 - -15 - (-3 - (z + 0)). Suppose 4*w - v = 45, 0*w + v = 3*w - b. Is 3 a factor of w?
True
Let c be (-650)/(-34) - (-10)/(-85). Let q(s) = -5*s - c - 8*s - 2*s - 4*s. Is q(-3) a multiple of 25?
False
Let u = -708 + -1008. Does 25 divide (7/3)/((-22)/u)?
False
Let w(c) = c**3 + 15*c**2 - 51