f h?
True
Let y(g) = 18*g**2 + 225*g - 1577. Is 43 a factor of y(7)?
False
Suppose -167 = 9*f - 2939. Suppose -27*m + f + 4741 = 0. Does 59 divide m?
False
Let l be -6 + -2 + 7 - -3. Let k(z) = -100*z + 87*z**2 - 93*z + l + 194*z. Is k(-1) a multiple of 17?
False
Let x be ((-2)/(-1) + 3)*1. Suppose 4*u - 3*w = -0*w + 121, -x*w + 5 = 0. Suppose 0 = 29*z - u*z + 48. Is z a multiple of 12?
True
Let u(x) be the third derivative of 2*x**4 - 55*x**3/6 - 3*x**2 + 3*x. Is 47 a factor of u(8)?
True
Suppose 4*f - 5*j = 29, -2*j = 3*f + 3 - 19. Is -8 + (-5)/5 + f + 782 a multiple of 19?
True
Suppose -3*f + f - 31 = -3*a, a - 12 = f. Suppose 11*s - 4 = a*s. Does 16 divide 30 - -5*s/(-5)?
False
Let j = 219 + -100. Is (-17)/(j/(-70))*44 a multiple of 55?
True
Suppose 2*g = 2*m - 108, -4*m + 4*g = -m - 165. Let b be 102/4*(-136)/m. Let i = b - -98. Is i a multiple of 5?
True
Let l = -118 - -193. Suppose -z = o - 0 - l, 3*z - 303 = -4*o. Is o a multiple of 6?
True
Let i(m) = m**2 - 11*m - 11. Suppose 0 = 5*s - 3*s - 3*v + 8, 16 = 4*s + 2*v. Let b = 15 - s. Is 7 a factor of i(b)?
False
Let t(u) = -6*u**3 + 4*u**2 + 5*u - 2. Let q be t(-2). Suppose 11 - 42 = -5*b + n, -n = 3*b - 17. Let o = q - b. Does 6 divide o?
False
Let f(o) = -o**3 + o**2 + 52*o + 7280. Is 22 a factor of f(0)?
False
Suppose -5*c + 54364 = 13749. Is 11 a factor of c?
False
Suppose f = -2*c + 48, -f + 94 = c + 3*c. Suppose 3*i + 320 = c*i. Is i a multiple of 4?
True
Let b = -100 + 427. Let j = b - 163. Let i = j + 21. Is i a multiple of 37?
True
Let p(c) = -c**3 - 34*c**2 - 70*c - 32. Let q = 385 + -417. Is p(q) a multiple of 40?
True
Let w be (10 - -5) + (-7 - -3). Suppose w = 7*k - 3. Suppose 2*r + 219 = v, r - 453 = -k*v - 0*r. Is 21 a factor of v?
False
Let c(l) = -2*l**2 + 62. Let g = 8 + -8. Let u be c(g). Suppose 100 = 3*i - u. Is i a multiple of 14?
False
Let s = -155 - -157. Is 58 a factor of (-7224)/(-16)*(-1)/(-3)*s?
False
Let f(z) = 41*z + 136. Let q be f(13). Let t = 689 - q. Is 2 a factor of t?
True
Let q(i) = 6*i**2 + 25*i + 26. Let f = 272 - 260. Does 10 divide q(f)?
True
Suppose 0 = -49*u - 95*u - 69*u + 3286377. Is 219 a factor of u?
False
Suppose k + 98 = 4*x, 0 = x + x - 5*k - 40. Let j = x + 59. Suppose 3*t - l = -4*l + j, -5*t + 4*l = -158. Is t a multiple of 3?
True
Suppose 0 = -5*o + 2*g - 13, 7*o - 17 = 12*o - 3*g. Let l be (-3)/o + -1 - 12. Is (-2 + (-5 - -1))*l a multiple of 15?
True
Let m = -524 + 548. Suppose 0*s = 2*s + 36. Let z = s + m. Is 3 a factor of z?
True
Suppose 0 = -3*d - q + 40 + 249, -2*d + 5*q = -187. Suppose 0 = l + 5*j - 43, -3*l + 57 = 3*j - d. Let b = l + -2. Is b a multiple of 4?
False
Let k = 500 + 5002. Is 59 a factor of k?
False
Let w(c) = 29*c + 103. Let y be w(6). Let d = 412 - y. Does 27 divide d?
True
Let i be (-66 - 0)/(-1)*1. Suppose -5*a = -23*x + 18*x + 1575, -5*a = -4*x + 1253. Suppose -s = -x + i. Is 16 a factor of s?
True
Let c be 3*(0 + 1) + 1. Let w be (-1 - 26)*212/(-12). Suppose -57 = c*g - w. Is g a multiple of 35?
True
Is ((-61495)/(-10))/(-49)*-18 a multiple of 9?
True
Let w be ((-1)/(-4))/((-7)/(-84)). Let x be ((-4)/6)/(w/(-108)). Is 6 a factor of 501/x + 5/40?
False
Suppose 0 = j - w - 9066, 38*w - 35*w - 45362 = -5*j. Is j a multiple of 4?
False
Let l = 1283 + -46. Let c = l - 850. Does 17 divide c?
False
Let v(q) = -17 + 18*q**2 - 10*q - 3*q**2 + 18*q - 9*q. Is v(-6) a multiple of 20?
False
Suppose 16855*l = 16871*l - 16272. Is 9 a factor of l?
True
Let o(n) = 18*n + 35. Let m be o(-8). Does 26 divide -1*(2 - 2 - m)*-1?
False
Let f = 318 - 319. Is 9 a factor of (-303)/f + 1 + 2?
True
Let r = -343 - -339. Does 21 divide 1445*(r/(-30))/((-12)/(-54))?
False
Let j(c) = -1815*c + 8250. Does 77 divide j(-19)?
True
Let q = -364 - -364. Suppose 9*l - 3684 + 336 = q. Does 3 divide l?
True
Suppose 0 = k - 5*j - 450, -k = -28*j + 24*j - 455. Is 105 a factor of k?
False
Let q(z) = 5*z**3 + z**2 - 12*z + 8. Let k(h) = -4*h**3 - h**2 + 12*h - 8. Let m(a) = 4*k(a) + 3*q(a). Is m(-6) a multiple of 10?
True
Let k(g) = 10*g**2 + 242*g - 33. Is k(-33) a multiple of 148?
False
Let d(f) = -f**2 + 11*f - 20. Let h = 23 + -13. Let w be d(h). Is 6*2*(35/w + 4) even?
True
Let k(p) = 2*p**2 + 3*p - 4. Let g be k(-3). Let d(y) = -2*y**2 + 3*y + 11. Let u be d(g). Let m = -19 - u. Does 5 divide m?
True
Let t(f) = 9*f**3 + 2*f**2 + 10*f - 3. Let z be t(-5). Does 47 divide 70/(-21)*z/10?
True
Let l = -290 + 293. Suppose l*m + 3*v - 960 = 0, -37*v - 318 = -m - 36*v. Does 29 divide m?
True
Let m(p) = p**3 - 15*p**2 + 26*p - 83. Let l(u) = 6*u**2 - 13*u - 1. Let c be l(3). Does 17 divide m(c)?
True
Is 18 a factor of (-17)/102 + 4881/18 + -4 + 3?
True
Suppose h = -11*t + 14*t - 332, 4*h = t - 107. Let o = 157 - t. Does 23 divide o?
True
Let o be (-495)/12*(-64)/((-10)/(-5)). Suppose -5*n = -2*j + 1296, -n + o = 2*j - 0*n. Is j a multiple of 48?
False
Suppose -14*q + 57 = -55. Suppose 0 = -q*u + 12*u - 1048. Is 2 a factor of u?
True
Let x be (3 - -3) + (-208)/(-8). Suppose 9*f - x = 112. Does 4 divide f?
True
Let n(z) = -3*z**3 + 19*z**2 - 69*z - 8. Is n(-12) a multiple of 46?
True
Suppose 0 = 5*a + 2*y - 32165, 21 + 4 = -5*y. Is a a multiple of 33?
True
Is 65 a factor of (-14)/((-32)/(-50960)*-7)?
True
Suppose -n - 48*c = -53*c - 8001, -4*n + 3*c + 31936 = 0. Does 23 divide n?
True
Suppose t + 15147 = 5*v, -10 = 10*t - 5*t. Does 11 divide v?
False
Suppose -12*k - 108 = 0, 2300 + 658 = 3*h + k. Is h a multiple of 56?
False
Let f(u) = -6 - 25*u + u**3 + 2 + 28 + 11*u**2. Is f(-10) a multiple of 34?
True
Let u(w) = 129*w - 210. Is 12 a factor of u(10)?
True
Let u be (374/(-68))/((6/(-4))/3). Suppose -u*d + d - 1860 = 0. Let i = d - -301. Is i a multiple of 17?
False
Suppose -3*h + 25 = 16. Suppose 3*g - 11 = u, h*u + 53 = -3*g - 4. Let n = u - -44. Does 27 divide n?
True
Let d = 907 - 292. Is 123 a factor of d?
True
Let a = -1873 + 13557. Is a a multiple of 21?
False
Suppose 151*b = 180*b - 104168. Is b a multiple of 37?
False
Suppose -38*j + 19*j = -12217. Let g = j + -117. Is 29 a factor of g?
False
Is 21 a factor of (-2)/2 - (18/(-15) + (-106045)/25)?
True
Let c(s) = 8*s**3 - 3*s**2 - 72*s + 347. Is c(15) a multiple of 128?
False
Suppose 2*g = -5*y + 13524 + 52255, 0 = -4*y - 5*g + 52613. Is y a multiple of 112?
False
Let b be -3 + (3 - -126 - 20/4). Suppose -129*q = -b*q - 480. Is q a multiple of 12?
True
Suppose 27553 = 8*u - 1103. Does 46 divide -2 + (-2 - u/(-6))?
False
Let x be -3*3/((-27)/309). Suppose 1247 = -3*z - x. Is z/(-7) - 16/56 a multiple of 16?
True
Suppose 3*f + f - 344 = 0. Suppose -j + 191 - f = 0. Is j a multiple of 15?
True
Does 94 divide (-3973 + -16)*(-1 - 0/(-4))?
False
Let g = -341 + 991. Suppose 54*y - 59*y = -g. Is y a multiple of 10?
True
Suppose -p - 45 = -117. Suppose 19*g - p = 15*g. Let h = g - 5. Does 3 divide h?
False
Suppose -50*s + 99 = -39*s. Suppose -s*g + 180 = -8*g. Is g a multiple of 18?
True
Suppose -1160 = -4*y - 24. Suppose 0 = k - 2*d - d - 59, -5*k + 4*d + y = 0. Suppose -k = -b - 2*i - 4, -20 = -4*i. Does 3 divide b?
True
Let l = -45 + 48. Let s(f) = 13*f + 3. Let n be s(l). Let d = n - 15. Does 27 divide d?
True
Does 6 divide (6 + (-253 - 6))/(1/(-1))?
False
Let y = 31499 - 13099. Is 12 a factor of y?
False
Let x be (-1222)/(-52) + 2/4. Suppose 264 + x = 9*i. Is i a multiple of 2?
True
Let q be ((-6)/(-3))/((-1)/3). Let k(s) = s + 18. Let y be k(q). Suppose g - y = 5*p, 3*g + 0*p - 4*p - 25 = 0. Does 2 divide g?
False
Let o = 27455 + -6635. Is 15 a factor of o?
True
Suppose 11*p - 1465 - 834 = 0. Let z = p + -79. Is z a multiple of 12?
False
Suppose -5*y + 143 = -3*t, 0 = -2*y - 0*t + 4*t + 46. Suppose 0 = -3*s - y + 1. Does 15 divide 1029/35 + (-6)/s?
True
Let h(n) = 2*n - 22. Let i(o) = 2*o - 21. Let k(w) = 6*h(w) - 5*i(w). Let j be k(16). Suppose s + 6 = -p + 35, -4*s + 143 = j*p. Is 6 a factor of p?
False
Let t(h) = -3*h**3 + h**2 + 2*h + 1. Let k be t(2). Let a = -61 - -144. Let r = a + k. Does 17 divide r?
True
Suppose 5*q - 17388 = x, 5*q = -0*x + 4*x + 17382. Suppose 4222 = 22*w - q. Is w a multiple of 14?
True
Let u = 123 - 122. Let b = 5 - 5. Is -1 + b - -42*u a multiple of 12?
False
Let b = 213 + 971. Suppose 4*l - 8*l - 2*z + b = 0, -2*l - 3*z = -588. Is l a multiple of 43?
False
Let k = 