 f?
False
Let k = -166 + 170. Suppose -k*w + 12*w - 152 = 0. Is w a multiple of 3?
False
Suppose 4*q + 1324 = 4*i - 0*q, 5*q = -2*i + 676. Suppose 7*x = -1082 + i. Let d = -27 - x. Does 40 divide d?
True
Let r(i) = -13*i + 24. Let d be r(-5). Suppose j - d = -59. Is j a multiple of 15?
True
Suppose 0 = -262*f + 2274267 + 491667. Is 17 a factor of f?
True
Suppose 0 = -30*y + 25*y - 5. Let x = 42 - 70. Let v = y - x. Is 9 a factor of v?
True
Let z be (-11)/(-4) - (-36)/(-48). Let o(r) = 9*r**3 - 63*r**3 + r - 5*r**z + 6*r**2. Is 18 a factor of o(-1)?
True
Suppose -25310 = -16*g + 6210. Suppose 4*s + 3*b - g = b, 5*s - 2458 = 2*b. Is s a multiple of 41?
True
Does 112 divide (13 - (-5 - 896)) + -14?
False
Let d be (-41820)/(-42)*(-1 - -8). Suppose 0 = -3*k - 31*k + d. Is k a multiple of 5?
True
Is (1 + 0)/((-9)/54) - -2022 a multiple of 18?
True
Let z be ((-106)/6 + 1)/(4/(-6)). Let a be (-19)/5 - (5/z + 0). Let h(i) = -i**2 - 5*i + 1. Is 2 a factor of h(a)?
False
Let h(z) = -26*z**2 + 5*z + 14. Let y(c) = -51*c**2 + 8*c + 27. Let x(a) = 7*h(a) - 4*y(a). Does 10 divide x(2)?
False
Suppose 0 = -69*a + 60*a + 9783 + 10791. Is a a multiple of 4?
False
Let j be 0/(-5 + (1 - -1) - -6). Is 2 a factor of j - -4 - 624/(1 - 5)?
True
Let d(v) = -11*v - 49. Let w(h) = 176 - 90 - 88. Let n(z) = 2*d(z) - 18*w(z). Is 6 a factor of n(-7)?
False
Suppose 0 = 76*p - 71*p + 198780. Does 22 divide 1*4/(-22) - p/132?
False
Is (-5*5/50)/((-9563)/(-3188) + -3) a multiple of 106?
False
Suppose -287292 = -161*h + 43*h + 315806. Is 36 a factor of h?
False
Let z be 1/(-2)*(-7)/(35/(-50)). Let x = z - -66. Suppose 0 = 2*h - x - 37. Is 4 a factor of h?
False
Let j = -214 + 219. Suppose -n - 320 = -j*n. Does 8 divide n?
True
Let p be 14/3*(-120)/8. Is 8 a factor of (-714)/(-9)*(-60)/p?
False
Suppose -27*j + 14928 = -24*j + s, -17*s = j - 4976. Does 8 divide j?
True
Let l = -5126 - -18398. Is l a multiple of 79?
True
Let a = -26 + 10. Is 14 a factor of 404 - (a/(-40))/((-1)/5)?
True
Let h(r) = 41*r - 1503. Is 7 a factor of h(56)?
False
Suppose d - 2*d = -2. Let j be d + -4 - 494*(2 - 3). Suppose -6*w = -10*w + j. Does 25 divide w?
False
Suppose -35 = -c - 33, 128994 = 5*b - 3*c. Is 43 a factor of b?
True
Let i = -120 - -71. Let g = i + 84. Let n = 53 - g. Does 2 divide n?
True
Let j be 285/45 + (-2)/(-3) + -1. Suppose 5*z - j*z - 10 = 0. Let y(k) = -36*k - 50. Is 56 a factor of y(z)?
False
Let t(h) = h**3 - 16*h**2 + 33*h - 44. Let i be t(14). Suppose 66*b - 19520 = i*b. Is b a multiple of 35?
False
Let h = -46 - -58. Let x be 6/(-8) - 63/h. Does 5 divide 15/x*(-8 - -6)?
True
Suppose 1118 = 3*n + a, n = 6*a - 9*a + 378. Let j = -192 + n. Does 15 divide j?
True
Let i = -2685 - -1843. Let u = 2206 + i. Is 62 a factor of u?
True
Let u(j) = -1075*j + 4129. Is 36 a factor of u(-12)?
False
Is ((-2915)/(-20)*-3)/(4/(-16)) a multiple of 27?
False
Let g(o) = 3*o**3 + 17*o**2 + 24*o - 23. Let b(d) = d**3 + d + 1. Let s(a) = -4*b(a) + g(a). Let k be 6/12 - (0 - (50/4 + 5)). Is 7 a factor of s(k)?
False
Suppose 0 = -6*r - 33 - 3. Let x be (-1 - (-10)/r)*-3. Is x + 59 - (2 + 1) a multiple of 16?
True
Let l(z) = -53 + 21*z - 19*z + 43*z + 4. Is 17 a factor of l(6)?
True
Let n be 8 + (7 - (6 + 6)). Suppose -n*f + 6 = 0, 1296 = -35*y + 39*y + 4*f. Is 14 a factor of y?
True
Suppose 5*q - 18 = -4*h, -h + 9 = -4*h. Let b = q - 8. Is 18 a factor of 3 + 61 - (1 + b)?
False
Let r = 13346 - 8281. Does 11 divide r?
False
Let k = 326 - 237. Suppose q + k = r, r - 4*r + 267 = 3*q. Is r a multiple of 9?
False
Suppose -31*t - 17*t + 123168 = 0. Does 109 divide t?
False
Suppose -75*s - 780726 = -3392826. Is s a multiple of 10?
False
Let z(m) = -2*m - 75. Let u(y) = -2*y - 75. Let n(t) = 3*u(t) - 4*z(t). Is 15 a factor of n(0)?
True
Let y(z) = 2*z + 4*z**3 + 3 - 7 - 2*z**2 + 6. Let p be y(2). Suppose -21*i + 18*i + p = 0. Is 10 a factor of i?
True
Let v(a) = -a**3 + 34*a**2 + 28*a + 34. Let x be v(33). Let m = x + -1440. Does 32 divide m?
False
Let t be -6 + 3 - (-96)/24. Let l(q) = 900*q**3 - 4*q**2 + 2*q + 2. Is 45 a factor of l(t)?
True
Let f be 2*3/(3/(-1)). Let w be 968/(-12)*3/f. Let d = -91 + w. Is d a multiple of 5?
True
Suppose 4*s + 2 = 10. Let b(f) = -4*f**2 + 33*f + 394. Let g be b(14). Suppose 4*i - 105 = r + 49, 0 = s*i - 3*r - g. Does 30 divide i?
False
Let v(c) = 44*c - 4. Let d be ((-10)/(-4) - 2)*(6 - 0). Suppose d*q - 19 = -13. Does 12 divide v(q)?
True
Suppose -2*y = i - 4*y - 688, 6*i - 3*y - 4191 = 0. Is 5 a factor of i?
False
Let a(p) be the second derivative of 7*p**3/6 - 5*p**2 + p - 41. Is a(10) a multiple of 10?
True
Let y(m) = 5*m**3 + 56*m**2 + 77*m + 71. Let s(l) = 2*l**3 + 19*l**2 + 26*l + 24. Let x(v) = -8*s(v) + 3*y(v). Is x(17) a multiple of 2?
False
Let v(z) be the first derivative of 11*z**3/3 + z**2 + 30*z - 78. Is 54 a factor of v(-7)?
False
Suppose u + 148 - 57 = 2*k, 3*u + 4*k + 323 = 0. Let g = u - -103. Suppose -m + 46 = 2*b, 0 = 7*m - g*m - b - 263. Does 4 divide m?
True
Suppose -34*q = -36*q + 2364. Suppose -6*x = -q - 198. Is 46 a factor of x?
True
Suppose 0*j + q = j - 7, -3*q = 4*j. Suppose -5*c = 5*b - 420, -247 = -j*c - 2*b - 2*b. Let m = c - 67. Is m a multiple of 22?
True
Suppose 0 = k + 5*g - 11150, 35*k - 30*k = 5*g + 55840. Is k a multiple of 35?
True
Let t(d) = -d**3 + 3*d**3 - 3*d**2 - 10*d - 72 - 7*d**2 - d**3. Is 10 a factor of t(12)?
False
Suppose -5*i = -3*y - 169, 2*i - 31 - 18 = -5*y. Suppose 2*w + i + 90 = 0. Let t = 67 + w. Is t a multiple of 3?
True
Let z = 8 + -2. Suppose -10*l + z*l + 16 = 0. Is -5 - -6*14 - l a multiple of 15?
True
Suppose 72*y + 457833 = 168*y - 556983. Is y a multiple of 11?
True
Is (-3002368)/(-1344) - (-2)/21 a multiple of 6?
False
Suppose 157*v - 158*v + 12738 = -4*r, -6 = -r. Does 18 divide v?
True
Let l(a) = -a**2 - 23*a - 28. Does 23 divide l(-15)?
True
Let o(l) = 2*l**2 + 50*l + 20. Let z be o(28). Suppose 7*a = 1170 + z. Is 66 a factor of a?
True
Let r(g) = 4*g + g**2 + 5*g + 5 + 2 + 3*g. Let p be r(-11). Is (p - 1 - 7)/(2/(-26)) a multiple of 39?
True
Let r = -10 - -5. Let i(x) = -12*x - 3. Let w be i(r). Suppose w = m - 0*y + 3*y, -105 = -2*m - 3*y. Is m a multiple of 4?
True
Suppose -3*y + 20 = 7*y. Suppose -g - 2*k - y*k = 161, -644 = 4*g - 4*k. Let h = -89 - g. Is 24 a factor of h?
True
Let a(m) = 106*m**2 + 23*m - 102. Is 17 a factor of a(7)?
True
Suppose 15*x = x - 812. Let r = x + 166. Is r a multiple of 54?
True
Suppose 0 = 5*t + 4*t - 1710. Suppose 0 = 5*o + 4*u - 894, -2*o + 2*u + t = -o. Is 14 a factor of o?
True
Suppose 31*k - 103 - 21 = 0. Suppose 0 = -15*j + k*j + 6017. Does 44 divide j?
False
Suppose 107*t - 103*t - 2160 = 0. Let z = -4 - -8. Suppose -5*g = z*g - t. Is g a multiple of 3?
True
Suppose 3*p = 5*p - t + 27, -p - 27 = -5*t. Let m be (p/(-18))/(2/12). Suppose -200 = -y - 2*z, 0 = -0*y + 3*y + m*z - 592. Does 32 divide y?
True
Suppose -13 = -4*y + 3*c, -4 = 3*y + 3*c + 2. Let f be y + 2 + (-6 - 2) + -2. Is 3 a factor of -4 + (-86)/f - 2/7?
False
Let n = 788 + -668. Let p = n + 363. Does 23 divide p?
True
Is 55 a factor of (36885/30)/(7/56)?
False
Suppose -390 = 17*y - 47*y. Let c(z) = 7*z**2 - 34*z + 30. Is c(y) a multiple of 7?
False
Suppose 0 = -439*o + 10391106 - 2959275. Does 33 divide o?
True
Let f = 171 + -171. Suppose f = -14*u - 15*u + 1914. Does 22 divide u?
True
Suppose 0*l - 5*l = 3*x - 103, 5*x - 145 = 5*l. Suppose -129 = -2*m - x. Suppose 5*b + 90 - 16 = 3*i, -3*b - m = -2*i. Does 3 divide i?
False
Let g = 197 - 194. Suppose -x - g*x = -792. Is x a multiple of 33?
True
Let v = -1539 + 3518. Is v a multiple of 6?
False
Let q(w) = -w**2 + 11*w + 4. Let l(t) = 4*t**2 - 33*t - 11. Let c be (1/1)/(18/(-36)). Let j(p) = c*l(p) - 7*q(p). Does 9 divide j(-6)?
False
Suppose 4*q + 52 - 208 = 0. Suppose -3*x = a - 497, -314 - q = -2*x - 5*a. Suppose 0 = -5*t - 5*p + 211 + x, 2*p = 2*t - 170. Is t a multiple of 32?
False
Let j be 5771/23 + (-14)/(-161). Suppose 0 = -k - 2*t + 668, -3*k + 1769 + j = -2*t. Is 48 a factor of k?
True
Suppose 127*b - 66096 = 110*b. Does 86 divide b?
False
Let l(j) = j**3 - 11*j**2 + 14 - 40 - 4*j - 12*j. Is l(13) a multiple of 24?
False
Suppose 0 = w + 3*s - 18616, -13*w = -17*w + 3*s + 74584. Is 93 a factor of w?
False
Let n be 70/15 - (-4)/(-6). Suppos