293. Is f(g) a multiple of 12?
False
Suppose 12 = 2*r - 86. Suppose 9*f - r - 32 = 0. Is 5 a factor of f?
False
Let s(o) = 4*o**2 - 3 - 5*o**2 + 3*o - 3 + 0*o - o**3. Suppose -5*k + 7*l - 8 = 3*l, -4*k - 3*l - 25 = 0. Does 5 divide s(k)?
True
Let t = -2346 - -2351. Let w(v) = -v**2 + 7*v + 9. Let u be w(7). Suppose t*b = -5*f + 225, -u = -3*f - 4*b + 123. Is f a multiple of 16?
True
Suppose h - 3*h = 3*s - 44, -5*h + 22 = 2*s. Let x be s/56 + 9/(-7). Does 3 divide (x - (-4 + 6))*(0 - 1)?
True
Suppose -79*a - 55*a = 127*a - 1418535. Is 4 a factor of a?
False
Let r(c) = 2003*c - 2692. Is 10 a factor of r(4)?
True
Let m = 1953 - -954. Is m a multiple of 4?
False
Let a = 44150 + -29360. Does 255 divide a?
True
Let a(d) = -7*d**3 + d**2 - 12*d - 19. Let k be a(-7). Suppose 613 - k = -6*p. Let b = p + -194. Does 19 divide b?
False
Let h = 6 - 0. Let g be h/(-24) + (-3)/(-12). Suppose d + 5*o = -0*o + 21, g = 4*d - o - 84. Is d a multiple of 17?
False
Let u(f) = 208*f**2 + 11*f + 50. Is u(10) a multiple of 80?
True
Let g be -19 - (10 + -12)/(-2 + 1). Is 6 a factor of 2/g + 353886/819?
True
Suppose 1556*z = -1543*z + 3113*z - 75152. Is z a multiple of 37?
False
Let u(x) be the first derivative of x**3/3 + 10*x**2 - 21*x + 1057. Suppose -5*d - 115 - 10 = 0. Is 13 a factor of u(d)?
True
Does 7 divide (280220/20)/(6/6)?
False
Let s(x) = -260*x - 1416. Is 73 a factor of s(-47)?
True
Suppose -3*w + 3*n + 2277 = 0, 3*n = -4*w - w + 3819. Let r = -542 + w. Is 18 a factor of r?
False
Suppose 0 = 5*q + 2*z - 645, z - 291 - 222 = -4*q. Suppose -4*w = -4*d - 324, -d + 6*d - q = -2*w. Is w a multiple of 19?
True
Let v(w) = -8*w + 22. Let b be v(4). Let o = 20 - b. Is (-2*363/(-9))/(20/o) a multiple of 9?
False
Let w be ((-4)/(-2))/(32/128). Suppose 38 - w = 2*y. Does 7 divide y?
False
Let w = -156 + 276. Suppose 10 = -3*q + 973. Let y = q - w. Does 22 divide y?
False
Does 33 divide (-2237510)/(-210) - 52/(-273)?
False
Suppose 5*l - 30 = 4*v - 8, 14 = l - 4*v. Is (-63 - -51)*1/l*-19 a multiple of 6?
True
Let g(u) = -u**3 - 24*u**2 - 24*u - 21. Let l be g(-23). Suppose -3*x = -2*h + 2100, -2*h - l*x + 5269 = 3*h. Suppose 0 = v + 12*v - h. Is 24 a factor of v?
False
Let u = -22019 + 36524. Is u a multiple of 19?
False
Suppose 27*y - 719727 - 320610 = 0. Does 53 divide y?
True
Is 13 a factor of 3/(-66) - 4492500/(-264)?
True
Suppose 3*h - 30 = 2*h. Suppose h = -4*z + 46. Does 14 divide z + 27/(-6)*-6?
False
Suppose 8*f - 19*f = -110. Is (-125 - f)*(1 + -2) a multiple of 9?
True
Let s = -1850 - -1978. Let j be 1/(2*3/(-498)). Let d = j + s. Does 2 divide d?
False
Suppose -m + 3 = 2. Let h be 85/m - (-1 - 0). Suppose -66*i + 65*i = -h. Is 26 a factor of i?
False
Let r be (-5124)/(-322) + (-6)/(-69). Suppose 5*t - 4*f = 213, f = -11*t + r*t - 207. Does 16 divide t?
False
Suppose 0 = -8*a + 13*a - o - 494, -2*a = 5*o - 176. Let c be ((-2)/5)/(3/(-15)). Suppose -h + a = -c. Is h a multiple of 20?
True
Is 3 a factor of 3021 + (25 - 433)/(-17)?
True
Let u(a) = 7*a**2 + 37*a + 33. Let g(z) = -3*z**2 - 18*z - 16. Let f(d) = 5*g(d) + 2*u(d). Let o be f(-15). Is (-2)/o*29*6/(-12) a multiple of 8?
False
Suppose n - 65*n + 145935 = 51*n. Is 202 a factor of n?
False
Let g(c) = c**3 - 11*c**2 + 3*c - 5. Let h be (-3)/(-6) - (-75)/6. Is 31 a factor of g(h)?
True
Suppose -2*x - n = -2422, -4*n - n = 0. Is x a multiple of 14?
False
Suppose -3*z + g + 42605 = 0, -139*z - g = -144*z + 71011. Is z a multiple of 37?
False
Let i = 6306 + -4603. Does 27 divide i?
False
Let z(o) = -437*o - 1533. Is z(-28) a multiple of 36?
False
Let r(p) = 4*p**3 - 5*p**2 - 4*p - 21. Suppose -5*j + 36 = -h, -26 = -27*j + 23*j - 2*h. Is 49 a factor of r(j)?
True
Suppose 3*y = 4*y + 48. Let v = y + 58. Suppose -v*x = -11*x + 75. Is x a multiple of 34?
False
Suppose -10*t = -10*t - 2*t. Suppose 0 = -3*f + 93 - t. Is f a multiple of 4?
False
Suppose -174746 = 42*i - 566018. Is 137 a factor of i?
True
Let s = 256 + -256. Suppose s = -3*j + 167 + 166. Is j a multiple of 28?
False
Suppose 118*h - 99031 - 24397 = 0. Does 25 divide h?
False
Suppose 3*c + 5*j = 12, -2*c + 12 = -2*j - 12. Let q be -1 + 12/(-54) + 38/c. Suppose 0 = q*x - 310 + 94. Is x a multiple of 24?
True
Suppose 3*j + 3*u - 552 = 0, -j - 5*u = -202 + 2. Suppose 0 = -14*g + j + 44. Is g a multiple of 16?
True
Let w = -18034 + 31905. Is w a multiple of 97?
True
Let v(f) = 5*f. Let z be v(14). Let d = 68 - z. Is 15 a factor of 3 - -103 - (d - (-4 - -3))?
False
Suppose 42*f + 786 = 45*f. Suppose 5*x - f = -37. Is 2 a factor of x?
False
Let y(w) = -757*w - 3418. Is y(-14) a multiple of 78?
False
Is 30 a factor of 380*(-19)/1*(102 + -105)?
True
Let u = 5854 + -5372. Is u a multiple of 2?
True
Suppose -228*a + 2*k = -231*a + 134752, 179676 = 4*a + k. Is a a multiple of 20?
True
Let p be ((-2)/4)/((-8)/464). Suppose 2*h - 4*q + p - 131 = 0, -q = 3*h - 167. Let f = h - -74. Is 43 a factor of f?
True
Suppose 8*q + 221 = 605. Let d = q + -45. Is (-100)/(d/15 + (-35)/50) a multiple of 10?
True
Suppose -4888 = 36*r - 38*r - 4*z, -5*z = 35. Is r even?
True
Let q(w) = 37*w**2 + 2*w - 7. Let h(x) = 59*x - 139*x - 2*x**2 + 65*x + 10. Let d be h(-8). Is q(d) a multiple of 9?
False
Let i = 1017 - 664. Let w = i + -189. Is 15 a factor of w?
False
Let w be (84/(-54))/7 + (-722)/(-9). Suppose w = -2*n + 96. Suppose -11*y = n*y - 228. Does 3 divide y?
True
Let n(h) = 3*h - 27. Let m be n(3). Is m/(-81) - (1 + 1526/(-18)) a multiple of 4?
True
Let n = -62 - -81. Suppose 0 = n*l + 96 + 1823. Let v = -75 - l. Does 6 divide v?
False
Let s(r) = -73*r + 31. Let u be s(-5). Suppose -35*v + 17*v = -u. Does 11 divide v?
True
Let l(h) = h**3 - 34*h**2 + 42*h - 20. Let z be l(33). Let u = 529 - z. Is 42 a factor of u?
True
Let s(g) = 3*g + 425. Is s(41) even?
True
Let n(a) = -284*a + 290*a + 6 + 15. Is 10 a factor of n(10)?
False
Let o = 8543 + 12868. Is o a multiple of 34?
False
Suppose -2727 = 9*r - 18*r. Let q = r + -79. Is 7 a factor of q?
True
Let m = 23 + -23. Suppose -8*f + f + 322 = m. Is f a multiple of 6?
False
Let s(v) = -7*v**3 - 29*v**2 + 69*v - 99. Let m(i) = -16*i**3 - 58*i**2 + 138*i - 197. Let a(b) = -4*m(b) + 9*s(b). Is 12 a factor of a(27)?
False
Let t be (1 - -21)/((-111)/(-555)*(5 - 0)). Let x = 74 + -36. Let w = t + x. Is 15 a factor of w?
True
Suppose 4*b + 36346 = 6*l, -6051 = -l + 29*b - 25*b. Is 73 a factor of l?
True
Suppose 22*i - 28*i = 8202. Let p = i - -1955. Does 49 divide p?
True
Suppose -9*o - 7 = -187. Let r(h) = -3*h**2 + 89*h - 20. Does 17 divide r(o)?
False
Suppose 12 = 12*w - 0*w. Let l(a) = -w + 7*a**2 + 2*a**2 - 8*a**2 - 7. Does 14 divide l(-8)?
True
Let k = -650 - -654. Suppose 0 = -j - z + 123 + 19, -k*z = -j + 122. Is 23 a factor of j?
True
Let z(r) = -5*r + 22. Let h = -23 + 26. Suppose 31 = -2*b - 3*b - 4*q, q - 22 = h*b. Is z(b) a multiple of 7?
False
Let i(g) = g**2 - 18*g + 77. Suppose -48*n - 100 = -52*n. Is 14 a factor of i(n)?
True
Suppose 58*y - 89480 = 61552. Is 8 a factor of y?
False
Let k(s) = -197*s + 149. Is 9 a factor of k(-14)?
True
Let r(b) = -b**3 - 50*b**2 - 49*b - 504. Is 23 a factor of r(-52)?
True
Let x(a) = 4*a + 34. Let i(t) = -2*t - 17. Let v(z) = 13*i(z) + 6*x(z). Let s = -537 + 524. Does 3 divide v(s)?
True
Let u(o) be the third derivative of -o**6/144 + o**5/5 + o**4/2 - 13*o**2. Let y(v) be the second derivative of u(v). Is y(0) a multiple of 4?
True
Suppose 3*b = -5*f + 5*b - 888, f = 2*b - 184. Let d = f - -352. Is 22 a factor of d?
True
Suppose -5*t - 3130 = -2*u, t = -574*u + 571*u + 4712. Does 5 divide u?
True
Let c = 12 + -7. Suppose c = -11*q + 60. Suppose -3*h + 4*u = -80, q*u + 13 - 99 = -4*h. Is h a multiple of 8?
True
Is (-22)/4*(-102654)/99 a multiple of 7?
False
Suppose g = -2*b + 4922, -g = -5*b - 2698 - 2280. Is 32 a factor of g?
False
Suppose -15 = -5*q - 3*d, d - 9 + 4 = -4*q. Suppose q = 37*z - 42*z - 680. Let n = -89 - z. Does 18 divide n?
False
Suppose 3*v + 4*n - 85557 = -2*v, -2*n = 2*v - 34222. Suppose v = 12*g - 239. Is 35 a factor of g?
False
Suppose -4*u + 13532 = -4*a, -927*u - 3*a = -928*u + 3371. Is u a multiple of 48?
False
Suppose 3*h - 71 = o + 214, 3*h = 5*o + 1377. Let d = 777 + o. Is 12 a factor of d?
True
Let l = -173 + 179. Does 14 divide 110/15*l/8*4?
False
Let j(g) = 