-5*x - 5*i = h, 0 = x + i - 5*i + 2714. Is 11 a factor of 3/(-5) - x/70?
False
Let t = -10494 - -19715. Is 20 a factor of t?
False
Suppose 113*j - 641 = -v + 110*j, 0 = 2*v - j - 1275. Does 11 divide v?
True
Let j = -3346 + 4073. Is j a multiple of 64?
False
Let x = -455 + 949. Let q = 944 - x. Is 18 a factor of q?
True
Suppose -3*a + 5*v = -100, -82 = -3*a + v - 5*v. Is 28 a factor of 2 + 3594/10 - (-18)/a?
False
Let n(i) = -i**3 + i**2 - i - 2. Let d be n(-2). Let y = 163 - d. Is 44 a factor of y?
False
Is ((2*1)/2)/(14/(-4595934)*-73) even?
False
Does 38 divide (-3 - 43459/39)*(-12)/8?
False
Suppose 2*n + 23 = -21. Let m = n + 28. Suppose 0 = -4*v, m*v + 126 = f + 2*v. Is f a multiple of 9?
True
Suppose 765 = 88*t - 91*t. Does 4 divide 14220/68 + 30/t?
False
Suppose -10119 = -11*r + 639. Is 6 a factor of r?
True
Let d = -110 + 114. Let v be 56/d - ((-8)/2 + 3). Let j = 45 - v. Does 30 divide j?
True
Suppose u - 40485 = -5*d, -2*d + 24*u = 19*u - 16167. Does 8 divide d?
True
Let v be 1*(12/(-60) + 6/5). Is (481/3)/(v + 6/(-9)) a multiple of 13?
True
Suppose z = -79 + 334. Suppose z = -4*r + 5*r. Is 15 a factor of r?
True
Let r be ((-1932)/(-63))/((-2)/3). Suppose 4*l - 5*p + 2 = 8, 2*p + 9 = -5*l. Let q = l - r. Does 9 divide q?
True
Let v(d) = 16*d**2 - 2. Let z be v(1). Is 12 a factor of 21/z - 162/(-4)*1?
False
Let r = -1512 - -7752. Does 40 divide r?
True
Suppose 4*q - 4*c - 628 = 1464, -2*c + 2074 = 4*q. Is q a multiple of 57?
False
Is 38 a factor of (22891 - -6) + -29 + 8?
True
Let w(d) = 1307*d - 2258. Is w(7) a multiple of 69?
False
Suppose 111*t - 128006 - 73792 = 0. Is t a multiple of 18?
True
Let q(g) = g**3 - 9*g**2 + 8*g - 7. Let b be q(9). Suppose -3*z + 9 = -51. Let k = z + b. Is k a multiple of 17?
True
Let d(s) = -2*s**3 + 24*s**2 - s - 3. Let z be d(12). Does 11 divide (-12)/z + 6477/85?
True
Let o = -22739 + 47201. Is 17 a factor of o?
False
Suppose -97 = 5*z + 123. Let w = -2 - 7. Is 16 a factor of w/(9/(-4)) - z?
True
Suppose -42878 = -7*y + 2*n, 8*y - 18372 = 5*y + 3*n. Is y a multiple of 20?
False
Suppose 1121*o - 1070*o - 371841 = 0. Is o a multiple of 23?
True
Suppose -19895 = -5*j + z, -294*z + 7976 = 2*j - 298*z. Does 78 divide j?
True
Suppose 3*z + 236 + 244 = 0. Let g = 128 - z. Is g a multiple of 28?
False
Let v be -2*1/2*(-4 - -4). Suppose 5*x - 3 = -4*y + 9, v = y + 3*x + 4. Is (y/(-20))/(3/(-2055)) + -1 a multiple of 21?
True
Let l(n) = 163*n + 14. Let k be l(12). Let o = k - 1201. Does 11 divide o?
False
Is 17 a factor of 24 - (5 - 508226)/21?
True
Let y = -5037 + 10691. Is y a multiple of 44?
False
Suppose 0 = -44*v + 870 + 2122. Suppose 42*i - v*i = -17446. Is i a multiple of 17?
False
Let b(s) = -38*s**3 - 11*s**2 - 31*s + 11. Let p be b(-4). Suppose 0 = 3*x - 2*x - p. Does 13 divide x?
False
Suppose -w + 2*u + 130 + 421 = 0, 2174 = 4*w + 2*u. Suppose 10*a = 175 + w. Is a a multiple of 6?
True
Suppose -649*h + 656*h = 10276. Let o = 3298 - h. Is 13 a factor of o?
False
Suppose t - 2147 = 2*m, 3*t - 3409 = -2*m + 2984. Is t a multiple of 61?
True
Does 23 divide 5/(-20) + 7*4035/20?
False
Let u be 3730 - (-9 - -4)/5. Suppose 4*f + 3*f = u. Is 15 a factor of f?
False
Let z(j) be the first derivative of j**3/3 + 22*j**2 - 23*j + 197. Does 89 divide z(13)?
False
Let k = 10520 + -7030. Is 10 a factor of k?
True
Suppose -4*t = 0, -2*f + 121 - 29 = 4*t. Let v = f - -2. Suppose 5*o - v = 197. Does 10 divide o?
False
Suppose -26 + 38 = 2*v, 2*v = 3*z - 7332. Is z a multiple of 12?
True
Suppose -4237672 = -563*k + 206650. Is 26 a factor of k?
False
Suppose 0 = 5*l - 3*o - 41546, -58*l + 55*l = 4*o - 24887. Does 5 divide l?
True
Suppose 0 = 5*u - 25, 4*u + 145 = -5*v + 135. Suppose 0*d + 2*d + 34 = o, 3*d - 111 = -3*o. Is v*6/o*-34 a multiple of 6?
False
Let a = 480 + -479. Is 15 a factor of ((-54)/10 + a)/(1/(-5))?
False
Suppose -16 = -2*g + 28. Let d(a) = 7*a**2 - 153*a + 11. Is 2 a factor of d(g)?
False
Let h be 11*((-2)/8 + 2219/28). Let o = h - 614. Is o a multiple of 61?
False
Suppose v + 5*w + 144 = 0, -4*v - 2*w + 4*w - 466 = 0. Let y = v - -82. Let c = y + 73. Is 12 a factor of c?
True
Let o(f) = 82*f + 1087. Is 30 a factor of o(52)?
False
Suppose -7*f = -17*f + 8940. Suppose -f = 186*w - 189*w. Does 59 divide w?
False
Suppose 8*b - 25 = 3*b + 5*j, -3*j = b - 25. Suppose b = s + 7. Suppose 4*y - s*x - 2*x = 19, -x = -5. Does 11 divide y?
True
Let t = -18 + -39. Let n = t - 3. Let k = n - -140. Is k a multiple of 10?
True
Let a(u) = -u**2 + 867 + 4*u**3 - 5*u**3 + u - 563. Is 11 a factor of a(0)?
False
Let g(q) = 16531*q**3 - 2*q**2 - q + 2. Let d be g(-1). Is 8 a factor of d/(-152) + 2/8?
False
Let p(z) be the second derivative of z**4/6 + 4*z**3/3 + z**2 + 46*z. Let j be (2/2)/((-5)/35). Is 22 a factor of p(j)?
True
Does 248 divide (-1 - 70/10 - -5) + 20339?
True
Suppose -s = 3*t - 305, -3*t = -s - 0*s - 307. Let f be (t/4)/(7/14). Suppose -f = -3*j + x, -4*j + 61 = x - 14. Does 3 divide j?
True
Let o = 3211 + -1601. Is 10 a factor of o?
True
Let x = 1240 - 691. Does 16 divide x?
False
Suppose -2*m - 42 = 422. Let n be (-1 - (-1 + -1))*(-367 - -20). Let s = m - n. Is 8 a factor of s?
False
Let a be (0 - 6) + 5 + 11. Is 13 a factor of ((-78)/a*1)/((-1)/30)?
True
Let h(a) = 50*a + 3. Let w be h(-3). Let q = 644 + -288. Let i = q + w. Is i a multiple of 52?
False
Suppose 4*u = 7 + 13, 2*u = w + 115. Let m = w + 156. Is m a multiple of 5?
False
Let m = -4765 + 5181. Is m a multiple of 16?
True
Let k = -117 + 44. Let v = 76 + k. Does 29 divide -1*(-4 - (v + 124))?
False
Let y(b) = b**3 - 3*b**2 + b - 121. Let n be y(0). Let p = 507 - n. Does 54 divide p?
False
Suppose 2*w + 3*c = c + 6160, 2*c = 4*w - 12320. Does 44 divide w?
True
Suppose -2334 = -5*h + 626. Suppose 0 = l - 3*l + h. Let g = l - 140. Is 21 a factor of g?
False
Suppose 40 = -12*q + 17*q. Suppose c - 4*n = -17, c - q - 10 = -3*n. Is (c - 1)*(-2 - 175/(-14)) a multiple of 21?
True
Suppose -6*l = -5*b - 3*l + 33, -2 = 2*l. Let s(k) = 8*k + 28. Does 3 divide s(b)?
False
Suppose -d + 4 = 0, -9*d = -2*j - 5*d + 134. Let o be (-1 - (-104)/14) + j/(-175). Suppose o*q + 2220 = 16*q. Is 21 a factor of q?
False
Suppose -5*p - 5*g = -165835, 10*g - 33167 = -p - g. Does 56 divide p?
False
Let w(l) = 8*l**3 + 4*l**2 - 7*l + 8. Let z be (-6)/(-27) + (-48)/(-27). Is w(z) a multiple of 37?
True
Let m(l) = -l**2 + 47*l + 471. Is 6 a factor of m(51)?
False
Suppose 0 = 5*z - 4*m - 36, -z + 3*z - 24 = 4*m. Let g(t) = 0*t + 2*t**2 - t + 2*t - 13 + 0. Does 23 divide g(z)?
True
Suppose 1512 = -31*i + 139*i. Suppose -3*t + 548 = t - 4*y, -3*t + 4*y + 415 = 0. Is t/i*68/2 a multiple of 27?
False
Suppose 172*t + 127082 = 540325 + 2117221. Is t a multiple of 12?
True
Does 30 divide 5 + 17/(-3) - 4*(-363976)/96?
False
Let g be (-22)/(-11)*(-25)/(-2). Let a = -21 + g. Suppose w = 2*t + 51, -a*w - 3*t + 120 = -40. Does 43 divide w?
True
Let i(o) be the third derivative of o**6/120 - o**5/4 + 3*o**4/4 - 8*o**3/3 + 24*o**2 + o. Is i(15) a multiple of 15?
False
Let u be (-42)/357 - (-4915)/17. Is 30 a factor of (u/(-119) - -3) + 6716/7?
True
Let q(m) = 72*m**2 - 43*m + 131. Is 88 a factor of q(6)?
False
Let y(o) = 73*o - 31. Let c be y(-5). Let m = -267 - c. Does 5 divide m?
False
Suppose 0 = 4*p - 5*l + 17, 20*p + 2*l - 18 = 16*p. Let k = 147 - p. Does 41 divide k?
False
Let o(x) = x**3 + 4*x**2 + 15*x + 24. Let r be o(-2). Suppose 0 = -5*u - r*a - 2*a + 292, -112 = -2*u - 4*a. Is u a multiple of 6?
True
Let c(t) = t**2 - 4*t - 20. Let m be 4/18 + (-264)/(-27). Is 10 a factor of c(m)?
True
Does 19 divide 13182/14 + 114/266?
False
Let u(m) = 10*m**2 + 81*m - 1410. Is 25 a factor of u(22)?
False
Let n = -120 - -124. Suppose 0 = a - w - 5, -20 = a - 3*a + n*w. Suppose z - 2*u - 72 = a, 332 = 8*z - 4*z + 3*u. Does 10 divide z?
True
Suppose 3*i - 3*y = 51, 2*y - 33 = -i - 7. Suppose t - 70 = -i. Is 50 a factor of t?
True
Let h(x) = 2*x**2 - 2*x. Let f be h(2). Suppose -f*b + 12 = 0, -w - 2*b = b - 345. Does 56 divide w?
True
Let f = 40507 - 22614. Is f a multiple of 143?
False
Let q(h) = -21*h + 22. Let w(v) = -v. Let j(o) = -q(o) + 3*w(o). Let u = 167 + -158. Is j(u) a multiple of 20?
True
Suppose -5*s = 4*w - 208, 3*w + 185 = -0*s + 4*s. Let t be (-92)/3 + 1/(-3). Let f = s + t