 a(z) = z**2 + 6*z + 2. Let m = 23 - 33. Let b be a(m). Suppose b = -3*i + 69. Is 3 a factor of i?
True
Is (2 - (-2 - (6690 - 0)))/(146/73) a multiple of 22?
False
Suppose 8*j = 2156 + 8052. Does 4 divide j?
True
Let l be (-2)/(-4)*(-28 + 36). Suppose -4*d + 185 = -u, -2*u + 189 = 4*d - 5. Suppose -l*b = -w + 59, w - d = -5*b - 6. Is w a multiple of 13?
False
Let d = 38227 - 15407. Does 70 divide d?
True
Suppose 11*a - 12 = 10. Is 13 a factor of 45 + 4/a + -5?
False
Let p = -31963 + 62363. Does 50 divide p?
True
Let z(o) = o**3 + 86*o**2 + 213*o - 588. Is 129 a factor of z(-81)?
True
Let w(m) = 31*m**2 - 20*m**2 + 2 - m**3 - 16*m**2 - 4*m. Let q be w(-6). Suppose -q + 188 = 7*y. Does 3 divide y?
True
Let x(f) = -5*f - 87. Let y be x(-31). Let m = 112 + y. Is 18 a factor of m?
True
Suppose 72*a = 284094 - 19350. Does 2 divide a?
False
Does 10 divide (-35)/(-10)*22338/21?
False
Let m(u) = -2809*u**3 - 2*u**2 + 15*u + 30. Does 32 divide m(-2)?
True
Let y be -4*(-13)/14 - 18/(-63). Suppose v = -0*n - 5*n + 24, -y*n + 5*v = -25. Suppose 5*f = m + 4*m + 375, -3*f + n*m + 219 = 0. Does 39 divide f?
True
Suppose -l - 8 = -3*l. Suppose 4*i - t = 23, 4*i + 0*i = l*t + 32. Suppose 151 = 3*h + 4*x - i*x, 4*x = 8. Does 7 divide h?
False
Let v be (-7 - (113 - -5)) + -1. Does 10 divide (-18)/v - (-1958)/14?
True
Suppose -197*d = -212*d + 30. Suppose -372 = -w + 231. Suppose -5*l - 3*q + w = 0, -238 + 8 = -d*l - 4*q. Is 6 a factor of l?
False
Suppose -2*a - 18 = 14. Let u be (-72)/30 + (a/(-10))/4. Is 30 a factor of 90 + -6 + 6/u?
False
Let q = 7159 + -7071. Is q even?
True
Let r(c) = 805*c**3 + 8*c**2 - 7*c - 17. Is r(2) a multiple of 57?
True
Let n = -45 + 150. Is n a multiple of 5?
True
Let j be (-207345)/(-276) - (3/(-4) + 1). Suppose -12*z + j = 295. Suppose -101 + z = -7*a. Is a a multiple of 2?
False
Let m(z) = 129*z - 21. Let d be m(4). Suppose -15*h = -24*h + d. Let g = 98 - h. Is 7 a factor of g?
False
Let t = -454 + 448. Is t - ((-110333)/171 - 4/(-18)) a multiple of 24?
False
Suppose -5*o + 5*i + 21280 = 0, i + 3831 = 3*o - 8935. Does 37 divide o?
True
Suppose 8*x - x - 7 = 0. Let c(n) = x + 3 - 6 - n + n**2. Is 10 a factor of c(-3)?
True
Let x = 19 - 11. Suppose -259 = -3*p + 2*t + 210, 4*t = -x. Does 20 divide p?
False
Let i be 6/(5 - (-4 - (-4776)/531)). Let d = i + -747. Is d a multiple of 45?
True
Let r(i) = -11*i - 16. Let m be r(-2). Suppose -m = -h + t - 21, -2*t = -2. Is -2*(-7)/h + 19*1 even?
True
Let p(n) = 44*n - 52. Let x be p(-10). Let g = -350 - x. Does 22 divide g?
False
Suppose -5*u = 4*d + 15, 3 = -10*d + 9*d - u. Suppose 8*f - 2579 - 741 = d. Is f a multiple of 13?
False
Suppose 43*i - 1077120 = -59*i. Is 132 a factor of i?
True
Let z = 3324 - -4104. Is 22 a factor of z?
False
Let l(b) = 7 + 0*b**2 + 3*b - b**3 + 8*b - 4*b**2 - 2*b**2. Let k be l(-8). Suppose d - k = 6. Is 20 a factor of d?
False
Let u(j) = -j**2 - 9*j - 14. Let n be u(-4). Suppose 2*w - n + 4 = -o, 2*w + 10 = -4*o. Does 14 divide 4131/33 - o/(-22)?
False
Let i(w) = 4*w**2 - 17*w - 73. Suppose -100*v + 118*v + 198 = 0. Is 39 a factor of i(v)?
False
Suppose 0*u + 11*u = -2*u. Suppose 13*g - 6582 - 1920 = u. Is g a multiple of 32?
False
Suppose -2*g - 171 + 241 = 0. Suppose -2*a + 5*c = -30, 122 = 3*a + 3*c + g. Is a a multiple of 5?
True
Let y(b) = 13*b**2 + 121*b + 1806. Does 40 divide y(-19)?
True
Let w = 38 - 31. Let r = w + -7. Is 28 a factor of r/(-2 - -6) + 122?
False
Let u be ((-14)/(-5))/((-5)/(-1050)). Let w = u + -314. Is w a multiple of 9?
False
Let m(d) = -10*d. Let j be m(-5). Suppose 175 = 3*t - j. Is 23 a factor of t?
False
Let b = -726 + 735. Suppose -159 = -12*m + b*m. Does 5 divide m?
False
Let s = -11253 + 15776. Is 12 a factor of s?
False
Let a = -3214 + 5309. Suppose -a = -12*f + 1469. Is 9 a factor of f?
True
Let o(i) = i + 42. Let m be o(-38). Suppose -6 = -3*j, -2*l + 254 = -0*l + m*j. Is l a multiple of 41?
True
Suppose -73*q - 17550 = -86*q. Is q a multiple of 30?
True
Is 98 a factor of 1/3 + (-1106659)/(-753)?
True
Suppose -52*v + 577632 = -432000. Is v a multiple of 35?
False
Let b(j) = -2*j**3 - 3*j**2 + 8*j + 8. Let m be b(-6). Suppose 0 = 9*s - m - 445. Let c = -65 + s. Is c a multiple of 3?
False
Let t = -1213 + 443. Let c = -484 - t. Is c a multiple of 13?
True
Suppose 65 = 9*n - 88. Let f = n + -5. Suppose f = a + x, x - 2*x = 2*a - 24. Is a a multiple of 4?
True
Is 3*(-10520)/(-10) - 7 a multiple of 11?
False
Suppose -3*f - 475 = -34. Let a be 3/((-42)/4) + (-42)/f. Suppose a*m + 2*m - 196 = 0. Is m a multiple of 49?
True
Suppose -3 + 9 = 3*g, 5*m - 5*g + 60 = 0. Let l(j) = -26*j - 60. Is l(m) a multiple of 12?
False
Let s(a) = -13*a**2 - 64*a - 188. Let k(f) = 3*f**2 + 16*f + 47. Let b(p) = -18*k(p) - 4*s(p). Does 11 divide b(-9)?
False
Does 42 divide 279*(19 - (1 - -4))?
True
Suppose 0 = 82*l - 88*l + 24. Suppose g - 272 = -l*o, -5*g + 4 = 2*o - 150. Is o a multiple of 27?
False
Let m = -30 + 28. Let w be (0/(1 + 2))/(m + 1). Suppose w = 7*k - 3*k - 40. Is k a multiple of 2?
True
Let n(l) = 3*l**2 - 54*l - 122. Is 45 a factor of n(-38)?
False
Let h(o) = -7 + 0 - 9*o**2 - 8*o - o**3 + 0*o - 17*o. Does 13 divide h(-7)?
False
Suppose -5*f = -r + 139 - 38, -5*r - 5*f = -415. Does 53 divide r?
False
Is (-85)/30*-6 - -713 a multiple of 36?
False
Suppose -3*m - 3 = -l - 21, 2*l = 3*m - 15. Is 17 a factor of 34*(32/m + (-9)/(-21))?
True
Let f = -120 - -144. Is 7/((-2)/(-152)*f/6) a multiple of 19?
True
Let m be (6*9)/((-6)/(-80)). Let d be 2/6 - m/(-27). Is 8 a factor of 4/1 + d + 17?
True
Let g(f) = 2373*f - 6587. Is g(10) a multiple of 31?
True
Suppose -11*s + 15*s = 2*x + 55890, -5*x = 3*s - 41950. Is s a multiple of 65?
True
Suppose 3*u = -3*x - 876, 7*u - 577 = 2*x + 2*u. Is (4 + -3 + -2)*x a multiple of 5?
False
Let i(v) = v**2 + 30*v + 194. Let b be i(-21). Suppose 2*d + s = 2*s + 754, 1885 = b*d - s. Does 13 divide d?
True
Let s = 373 + -343. Suppose 32*n + s = 34*n. Is 3 a factor of n?
True
Let l = -3053 - -3225. Is l a multiple of 86?
True
Is 5 a factor of 10/(-2) - (-3120)/3?
True
Let b(x) = 330*x**2 - 7*x - 6. Let s be b(-1). Let n = s - 86. Is n a multiple of 35?
True
Suppose -3 = -3*z + 3. Suppose 4*k - 3*n = -7*n + 408, -z*k + 2*n + 200 = 0. Does 15 divide k?
False
Let x(s) = 5*s**3 + 24*s**2 + 19*s - 79. Let y(r) = r**3 + r**2 - 2. Let f(g) = x(g) - 6*y(g). Does 9 divide f(18)?
False
Let q(g) = -2*g + 102. Let x(f) = 5*f - 203. Let v(s) = -5*q(s) - 3*x(s). Does 18 divide v(-27)?
True
Let q = -21545 - -31157. Does 14 divide q?
False
Let f(v) = 402*v**2 - 110*v - 622. Is f(-8) a multiple of 71?
True
Suppose -3*g + 2*c + 6449 - 29 = 0, 4*g = 4*c + 8568. Is 8 a factor of g?
True
Let f(y) be the first derivative of 9*y**2/2 - 10*y + 1. Let k(v) = 3*v**3 + 73*v**2 - 50*v + 5. Let w be k(-25). Is f(w) a multiple of 35?
True
Suppose -989*v + 991*v = -o + 8785, v - 4*o - 4361 = 0. Is v a multiple of 18?
False
Let t(g) = -g**2 - 5*g - 3. Let p(j) = -j + 1. Let s = 18 + -15. Let l be p(s). Does 3 divide t(l)?
True
Suppose -5*m = -4*m + 4*p - 2617, 2*p + 2647 = m. Does 7 divide m?
False
Let h = -3574 - -1702. Let x = -1263 - h. Is 7 a factor of x?
True
Suppose -74 - 6 = -20*k. Let s(w) = -w**2 - 9*w - 8. Let g be s(-8). Suppose 5*r - 185 = -g*n - n, 4*n - 620 = k*r. Is 20 a factor of n?
True
Is 12 a factor of (-782404)/70*(150/(-4))/15?
False
Let f(x) = -5*x - 2. Let p(h) = 1. Let i(w) = -f(w) - 3*p(w). Let j = 55 + -49. Is i(j) a multiple of 14?
False
Let i = 20652 + -6101. Does 63 divide i?
False
Let f be 80/3*63/(-14). Let q = 216 - f. Is q a multiple of 15?
False
Let t = 3 + -5. Suppose -5*x + 2*m - 2 = -144, -4*x - m + 124 = 0. Does 2 divide 2/(-6)*x/t?
False
Suppose 6*d - 207 = 2*d + 5*l, 0 = 2*d - 3*l - 105. Let w = d + -45. Suppose 15 = w*r - 3. Does 2 divide r?
True
Suppose -5*q - 1001 = -8*q - 4*x, -q + 5*x + 302 = 0. Is q a multiple of 52?
False
Suppose 5*y - 99785 = -3*v - 38309, -5*v = 2*y - 102422. Is 14 a factor of v?
True
Let o(g) = -9*g**2 - 72*g - 3. Let d be o(-8). Let v(z) = -4*z**3 - 6*z - 7. Is 17 a factor of v(d)?
True
Let u(r) = -2*r**2 + r + 506. Is 4 a factor of u(0)?
False
Suppose 0 = d, 5*d - 700 = g - 6*g. Let p = g + 37. Does 59 divide p?
True
Let b(m) = -m - 6 + 8*m + 9*m. Let f be (24/14)/(((-4