c) a multiple of 24?
False
Suppose f - 12 = t + 7, 5*t = 3*f - 59. Suppose -78 = d - 7*d. Suppose f*g - 19*g = -d. Is 13 a factor of g?
True
Let z = -254 - -221. Let n = -29 - z. Does 4 divide n?
True
Is 42/189*63*1069 a multiple of 9?
False
Let r = -29 - -31. Suppose 2*n - z = 460, r*n - 13*z = -10*z + 460. Does 41 divide n?
False
Let h(y) = -66*y**2 - 12 - y + 141*y**2 - 70*y**2. Suppose s - 3*s = 8. Does 8 divide h(s)?
True
Let r(h) be the first derivative of 1/3*h**3 - 30*h + 31 - 17/2*h**2. Does 21 divide r(22)?
False
Suppose -54 = -a - 50, -2*b + 5*a - 12 = 0. Suppose -b*g - 8*t = -9*t - 484, 2*t - 121 = -g. Is g a multiple of 23?
False
Suppose -13 = 4*t - 1. Is (-196)/(-8) - t/(-6) a multiple of 24?
True
Let b be (-2)/(-3) - 14/3. Let m(w) = 68*w**2 - 12*w**2 - 9*w**2 - 4*w + 1 - 33*w**2 - 11*w**2. Is m(b) a multiple of 13?
True
Let x be (9/(-6))/((-87)/22 + 4). Let v be 3*55/x*14/10. Is -41*(4 + v + 2) a multiple of 6?
False
Suppose 185*m - 187*m = 10. Let j(t) = -t**3 + 14*t**2 - 11*t - 16. Let v be j(13). Does 2 divide (-18 - -2)*m/v?
True
Let j(h) = 102*h + 3. Suppose -5*l + 3 = -2. Let z be j(l). Suppose s + 15 = z. Does 15 divide s?
True
Let y be (21/((-2)/12*-9))/2. Let t(q) = 74*q + 32. Let j be t(y). Suppose -j = -5*n + 5*z, -4*n + 5*z + 619 - 183 = 0. Is n a multiple of 57?
True
Suppose z - 8 = -2*r, -z - 31 = -5*r + 2*z. Let o be 220/16 - 3/4. Suppose r*q = -o*q + 2214. Does 13 divide q?
False
Suppose -39*d + 42*d - 27 = 0. Suppose -w = -4*z + 4393 - 1410, -3*w - d = 0. Is z a multiple of 52?
False
Let p(r) = -63*r + 2. Suppose -2*u - 191 = -201. Let v be p(u). Let f = 456 + v. Is 32 a factor of f?
False
Does 25 divide (4/(-1) + (-29400)/45)*(-15 - 21)?
False
Let j(h) = h**3 + 21*h**2 - 10*h - 9. Let i be j(-21). Let f = i + 132. Is f a multiple of 57?
False
Let p be 7480/100 + 16/(-20). Suppose p*i = 78*i - 3376. Is i a multiple of 24?
False
Suppose -5*h - 32 = 4*c, 2*h = 5*c + 7 + 33. Let j be ((-4)/(-2) - 3)*1. Let o = j - c. Is o a multiple of 2?
False
Suppose 0 = 4*y - 5*z - 2111, -y = -0*y - 5*z - 509. Suppose -3*v = -5*u - 1317, -2*u + 0*v + 3*v = y. Is ((-14)/(-3))/((-6)/u) a multiple of 14?
False
Let q be (-9)/(-18)*18 - -13. Suppose -q*i + 1941 = -3823. Is 7 a factor of i?
False
Let v = 5719 + -3131. Is 14 a factor of v?
False
Let h(i) = 2*i**2 + 9*i - 26. Suppose 306 = 6*v - 23*v. Is h(v) a multiple of 51?
False
Let c(w) = -7020*w**3 + 11*w**2 - 12. Does 25 divide c(-1)?
False
Suppose -c + 1 = -2. Suppose 4*l = -5*s + 708, 2*s - l = 313 - 35. Suppose 5*w - 28 = 2*q - 3*q, c*q = -w + s. Is 6 a factor of q?
True
Let u = -421 - -1246. Does 5 divide u?
True
Let s(w) = -1. Let i(u) = -23*u - 15. Let x(t) = i(t) - 6*s(t). Let q = -238 + 235. Is 20 a factor of x(q)?
True
Is 2 a factor of (-140)/(-315) - (-64)/18 - (-1494 + 1)?
False
Let v be (-86)/(-2) - (-11)/(-33)*15. Suppose -32*f - 1512 = -v*f. Does 15 divide f?
False
Let v be 92/6 - (-1)/(-3). Let b be -1 + -3 + (75 - v). Let m = -19 + b. Is 10 a factor of m?
False
Let m(a) = -4*a**2 - 3*a - 29. Let b(f) = 11*f**2 + 7*f + 85. Let j(g) = -6*b(g) - 17*m(g). Let n = 7 + 0. Is 12 a factor of j(n)?
True
Suppose 0 = -350*q + 346*q - 4. Let u be 58*(1 + (-2)/4). Let k = u - q. Is 10 a factor of k?
True
Suppose -m = -15*o + 16*o - 357, 0 = -o + 5*m + 321. Is 9 a factor of o?
True
Suppose 5*v - n = -279 - 26, 5*n - 85 = v. Does 48 divide (144*(-8)/v)/((-2)/(-105))?
True
Let n(l) = -l + 53. Let i be 26/5*1/2*-10. Is n(i) even?
False
Let k(o) = 0*o**3 + 3*o - 7 + 5*o**3 + o. Suppose -27*t + 26*t = -2. Does 25 divide k(t)?
False
Is 184828/189 - (-9)/((-1458)/(-12)) a multiple of 20?
False
Suppose -2*m = -4*b - 17 - 7, -b - 11 = -m. Is 6 a factor of (m/2 - 0)*-1 - -83?
True
Is 2 a factor of (4/5)/((-4)/20) + (1849 - 301)?
True
Let w(n) = -4*n**2 + 5*n + 1. Let g(d) = -d**2 + d. Let i(v) = -9*g(v) + 2*w(v). Let h be i(-2). Is 41 a factor of 161 - (-4 + (h - 3))?
True
Let b = 11184 + -5459. Does 6 divide b?
False
Let p(r) = 273*r + 520. Is p(32) a multiple of 52?
True
Suppose -978*z + 43120 = -950*z. Does 44 divide z?
True
Let l(u) = 42*u + 269. Let z(r) = 126*r + 806. Let b(k) = -17*l(k) + 6*z(k). Is b(-6) even?
False
Let s(c) be the third derivative of c**6/120 + 3*c**5/20 + c**4/24 + 3*c**3/2 - 3*c**2 - 8. Let w be s(-9). Suppose 9*i + i - 910 = w. Is i a multiple of 13?
True
Let z be 3/2*8/(-4 - -6). Suppose z*n = 357 + 183. Is n a multiple of 30?
True
Let f = 85 - 418. Let w = -130 - f. Is w a multiple of 12?
False
Suppose 495*q - 231744 = 447*q. Is q a multiple of 12?
False
Let l(v) = 16*v**2 + 1. Let n be l(-2). Suppose -n*b - 1032 = -67*b. Let i = -308 + b. Does 13 divide i?
True
Let x(f) = -2*f**3 + 152*f**2 + 96*f + 387. Is 273 a factor of x(75)?
True
Suppose 68*g = 22*g + 13524. Let m = g - 110. Is m a multiple of 16?
False
Let r(b) = 455*b - 79. Let q be r(4). Let x = -877 + q. Is x a multiple of 24?
True
Suppose -4*s - 12040 = -57*r + 55*r, -r - 2*s + 6016 = 0. Does 15 divide r?
False
Let z(v) = -3*v + 11. Let k be z(2). Suppose 8*r = 7*r - 4*p + 259, 5*r - k*p - 1170 = 0. Is 8 a factor of r?
False
Let h(c) = c**2 + 11*c - 10. Let f be h(-12). Suppose f*j - 97 = 5*g, -5*j + 6*g = 7*g - 202. Is 3 a factor of j?
False
Suppose 574600 = 3470*j - 3450*j. Does 13 divide j?
True
Suppose 0 = -26*i + 6*i - 20. Is (-98 + (10 - 0))*(-1 + i) a multiple of 16?
True
Let p(g) = -7*g + 23. Suppose -6*w + 5 = -5*w. Let k be p(w). Is 113 + 4/(k/9) a multiple of 22?
True
Let p(d) be the first derivative of -1/4*d**4 + 3 + 19*d - 11*d**2 - 19/3*d**3. Does 13 divide p(-18)?
True
Suppose 81 = h + 2*p, -2*h + 3*p = -2*p - 126. Let w be 2/((-2 - -3)/h). Let n = -99 + w. Is 13 a factor of n?
False
Let q(f) = 5*f + 45. Let g be q(-8). Suppose -6 = m - 3*m. Suppose -5*w + g*b + 1725 = 0, 0 = -m*b + 8 + 1. Does 58 divide w?
True
Let w(a) = 52*a. Let k be w(1). Is (247/k)/(-2 - 25/(-12)) a multiple of 19?
True
Let m(f) = -66*f**3 + f**2. Let x be m(1). Let l be 2/13 + (-21310)/x. Suppose 4*r - 1120 + l = 0. Does 33 divide r?
True
Suppose 22*b - 2807712 = 17*b - 139*b. Is 186 a factor of b?
False
Let q(k) = 265*k**3 + 2*k**2 - 3*k + 2. Let b be q(1). Let d = 140 - b. Let i = -1 - d. Is i a multiple of 12?
False
Let a(l) = -5*l**2 + 10*l + 3. Let c(f) = -6*f**2 + 11*f + 4. Let z(j) = -6*a(j) + 4*c(j). Is 10 a factor of z(7)?
True
Let a be (-2)/(-12) - (-17318)/(-84). Let d = 650 + a. Is 19 a factor of d?
False
Let t(b) = 4*b + 24. Let g(c) = -5*c - 24. Let j(a) = 3*g(a) + 4*t(a). Let z be j(-21). Suppose -3*x = z*x - 1296. Does 18 divide x?
True
Is 35 a factor of 15/(-5)*(33145/(-21) + -7)?
False
Is (-582416)/(-623) + 8/7 a multiple of 36?
True
Suppose -3 + 93 = 9*q. Suppose 1105 = q*y - 3045. Is 42 a factor of y?
False
Let b(m) = -m**3 - 10*m**2 - 10*m - 4. Let s be b(-9). Suppose 3*q + 12 = 0, s*y + 153 = 6*y - 5*q. Is 47 a factor of y?
False
Let g(v) be the third derivative of -v**6/72 - v**5/24 + 25*v**4/24 + 43*v**2. Let y(k) be the second derivative of g(k). Is y(-9) a multiple of 13?
False
Let d(p) = 5*p**2 - 99*p - 2036. Does 14 divide d(-22)?
True
Let o(x) = 5*x - 80. Let g be o(16). Suppose g*c - 168 = -8*c. Is 7 a factor of c?
True
Let n = 139 + -136. Suppose 4*t = 4*j - 12 - 20, -n*t = j. Suppose -4*g = j*g - 2890. Is 17 a factor of g?
True
Suppose 5*k = -4*q + 29, 2*k + 0*q + 2*q - 12 = 0. Suppose 6*x + 4 = 4*l + k*x, l - 2*x = -6. Let r(o) = 40*o**2 + o + 1. Does 22 divide r(l)?
False
Suppose -3*c - 1086 = 5*f + 335, 3*f + 4*c = -857. Is 10 a factor of (5 + -6)*(f - (3 + -5))?
False
Let g(z) = -41*z - 104. Suppose 2*o + 7*a - 10*a = -23, 0 = o - a + 9. Does 5 divide g(o)?
True
Is 11315/(-10)*(-1 - 1) a multiple of 27?
False
Let h = -43 + 50. Let a(l) = h*l - 11*l + 18*l. Is 21 a factor of a(6)?
True
Suppose -6 = -5*c + 3*c, 0 = f + 4*c - 16. Let b = 6 - f. Suppose -g - b = -44. Is 7 a factor of g?
True
Let v(j) = -335*j**2 - j - 2. Let z(p) = -336*p**2 - p - 2. Let q(a) = -3*v(a) + 2*z(a). Is q(-1) a multiple of 20?
False
Suppose -2*m = -2*p + 6, -2*p - 75*m = -76*m - 6. Let d be 399 + 2/(-4)*-4. Suppose 50 = -p*s + d. Does 18 divide s?
False
Let l(m) = 841*m**2 + 1057*m + 5334. Does 7 divide l(-5)?
False
Let l be 24/(-5)*(-235)/94. Suppose -l*q = q - 7410. Does 30 divide q?
True
