, 0 = -11*u + 6*u. Suppose 8*r = z + 2023. Does 67 divide r?
True
Suppose -1344 = -5*r - 9*r. Let m = -29 + 48. Suppose -17*y + m*y - r = 0. Is y a multiple of 10?
False
Let s(x) = 206*x**2 - 33*x - 263. Let v be s(-9). Suppose -21*k - 19*k = -v. Does 7 divide k?
False
Let t(y) = -y**3 - 13*y**2 + 3*y + 4570. Is t(0) a multiple of 3?
False
Let g(c) = -c + 3. Let p be g(-2). Suppose -63 - 1353 = -5*h - 3*w, 870 = 3*h - p*w. Let f = 430 - h. Is f a multiple of 7?
False
Suppose 4*f = -2*m + 7 + 15, -5*f + 75 = 5*m. Suppose 2*t - 16 = -4*w, 4*t - 16 = w - 5*w. Suppose -w*a + k = -475, 5*k - 6 = m. Does 40 divide a?
True
Suppose w + 3*s - 10343 = 0, -9*w + 6*w - 4*s + 31004 = 0. Is w a multiple of 22?
False
Does 4 divide (-6679)/(-3) + 1 - (-2362)/3543?
True
Let a be -4 + 4/((-6)/(-6)). Suppose a*b + 5*b + 296 = 4*n, -b + 341 = 5*n. Is 12 a factor of n?
False
Let u = 7933 + 3811. Is u a multiple of 32?
True
Let c(k) = 8*k**2 + k. Let o be c(-6). Let v = 471 - o. Suppose 2*n + 21 = v. Does 14 divide n?
True
Let o(f) = -362*f + 805. Does 197 divide o(-19)?
True
Let g be (-6)/(-15)*20/1. Let u(m) be the third derivative of m**4/4 + m**3 + 81*m**2 + m. Does 6 divide u(g)?
True
Suppose -5*v = -u + 1061, 1 + 9 = 5*v. Suppose -u = -9*w + 342. Is w a multiple of 29?
False
Let u = 10530 + -9202. Is u a multiple of 16?
True
Is ((-25)/2)/(124/(-3720)) a multiple of 3?
True
Suppose 5*z - 768 = 4*f + z, f + 192 = -z. Let c = f + 273. Let k = c + -8. Does 11 divide k?
False
Suppose 112 = -b - 111. Let h = b + 258. Is 5 a factor of h?
True
Let s = 382 - 382. Suppose s = 65*b - 63*b - 844. Is b a multiple of 55?
False
Suppose o = 5*d - 22, -4*o + 3*o = -4*d + 17. Suppose 5*z = -3*b + 1079 - 204, d*z + b - 875 = 0. Is 25 a factor of z?
True
Suppose -27*l - 19080 = -30*l. Suppose -l = 4*g - 14*g. Does 71 divide g?
False
Suppose -436 + 6610 = 21*k. Suppose 24*a - 17*a = k. Is a a multiple of 6?
True
Let p = 48 + 67. Suppose -p*f + 119*f - 660 = 0. Does 23 divide f?
False
Suppose -9*s - 5*t - 130 = -4*s, -78 = 3*s - t. Let r = 30 + s. Suppose -223 - 29 = -3*m + o, -r*m - o = -336. Does 14 divide m?
True
Let p(a) = -7*a + 28. Let t be p(12). Let s = -56 - t. Suppose -4*f = -17 - 3, -4*b + f + 259 = s. Is 28 a factor of b?
False
Is 3245*(-3*(-4)/30)/((-42)/(-105)) a multiple of 59?
True
Let k(v) = 0*v + 2*v - 3 - 1 + 3*v**2. Suppose -3*u - 29 = -17. Does 18 divide k(u)?
True
Let r = -69 + 69. Suppose w - 122 + 25 = r. Suppose 16*y = 15*y + w. Does 10 divide y?
False
Let d(n) = -n**2 + 3*n + 11. Let y be d(0). Let j = y - 9. Let v(l) = 56*l**2 + 3*l. Does 46 divide v(j)?
True
Let i(t) = -342*t + 135. Let c be i(-9). Suppose 0 = 12*r - 8613 + c. Does 45 divide r?
True
Suppose -3*n + 87486 = j, 4*n = 4*j + 87749 + 28867. Is n a multiple of 18?
True
Suppose 3*k + 236 = -4*a, 2*k + 173 - 34 = a. Let h = k + 105. Suppose y - 277 = -4*s - h, s - 4*y = 44. Is 14 a factor of s?
False
Let m = -6 - -446. Does 8 divide m?
True
Suppose -2*q = 4*z - 14, -3*q + 24 = -z + 2*q. Suppose -8 - z = -3*m. Suppose x = -2*o - m*o + 169, 4*o - x = 128. Is o a multiple of 33?
True
Does 6 divide 17*((-24)/(-16))/(4/480)?
True
Suppose 639*y - 1354680 = 568*y. Is 70 a factor of y?
False
Let w = -3593 + 5978. Is 68 a factor of w?
False
Let g = -8437 + 8989. Does 23 divide g?
True
Suppose 15 = 13*j - 128. Suppose 0 = 2*n + 3*g - 6, g = 5*n + 2*g + j. Is 19 a factor of n*-3*(-14)/(-6)?
False
Suppose 4*v = -5*p + 82921, -v + 3*p + 103716 = 4*v. Is 31 a factor of v?
True
Let x be (-9)/(-12)*8/3*1. Suppose x*s = t + 401, 2*s + 5*t = 115 + 280. Does 25 divide s?
True
Suppose -4*u + 2*k = -9*u + 38, -12 = -3*k. Is 21 a factor of (-29064)/(-77) + u/11?
True
Let m(f) = -622*f**3 + 105*f**2 + 3*f - 1. Is m(-3) a multiple of 20?
False
Let r be 402/2*(3 - (-40)/(-15)). Suppose -72 + r = -5*f. Let h(u) = 130*u**3 - 2*u**2 + 1. Is 43 a factor of h(f)?
True
Suppose 3*b + b + 235 = -g, 5*b + 296 = g. Let p = 64 + b. Suppose -p*n - 2*u = -234 - 400, n - u = 124. Does 9 divide n?
True
Let n = -227 + 181. Is 23 a factor of (-4)/((4/(-14))/(n/(-2)))?
True
Suppose 8*u = -5*u + 4680. Suppose -3*n - 4*l + 216 = 0, 3*n - 8*n - 2*l + u = 0. Does 4 divide n?
True
Suppose 0 = 139*j - 121*j - 63936. Suppose -286*k + 280*k + j = 0. Is 36 a factor of k?
False
Suppose -256*u + 84189 = -235*u. Is u a multiple of 19?
True
Suppose 16*s - 31*s - 291159 = -32*s. Is 25 a factor of s?
False
Let g(u) be the first derivative of -u**2 - 60*u + 32. Let x be g(0). Is (-2)/(-5) - 13836/x a multiple of 33?
True
Suppose -179*r = -8218785 + 1139872. Is 312 a factor of r?
False
Let o = 476 - 194. Does 5 divide o/(-4)*(-84)/63?
False
Suppose 16*u - 13*u - 3 = 0. Let w(l) = 4*l**2 + 3*l - 3. Let d be w(u). Suppose -2*q + 204 = -d*c, 10*q + 5*c = 13*q - 303. Is 12 a factor of q?
True
Suppose 0 = 12*t - 3*t - 855. Let f = 118 - t. Is 7 a factor of f?
False
Let o = -3253 - -14537. Does 124 divide o?
True
Suppose -313*f - 1518 = -310*f. Does 59 divide f/4*(-336)/42?
False
Suppose 60*m - 53322 - 129018 = 0. Is 40 a factor of m?
False
Suppose 5*z + 14500 + 790 = 0. Let v = -1840 - z. Is v a multiple of 42?
True
Let z be 9/15*10 + -1. Suppose 4*b - l - 2975 = 287, 10 = z*l. Is b a multiple of 102?
True
Suppose 739 = t + 221. Does 6 divide t?
False
Is 87 a factor of (16/(-24))/((-14)/264684)?
False
Let p = -3822 - -3984. Does 2 divide p?
True
Let m(a) = a**3 + 12*a**2 + 5. Let u be m(-12). Suppose -3*z + 86 = 4*k - 117, 5*z = u*k - 280. Suppose -5*w = 2*t - k, 3*w = -w + t + 32. Does 9 divide w?
True
Let o = 48980 - 31438. Is o a multiple of 98?
True
Let u(a) = 169*a**3 + a**2 + 43*a - 282. Does 6 divide u(5)?
False
Let m(s) = 9*s - 37*s - 21*s**2 - 48*s - 21 - 2*s**3. Is 7 a factor of m(-9)?
True
Suppose -7*d + 33534 = -2*d + 9*u, 2*d = -2*u + 13412. Is d a multiple of 149?
True
Let n = -87 + 107. Let f be (-9)/(-6)*(n/15 + -4). Let w(q) = 9*q**2 - q - 7. Is w(f) a multiple of 17?
False
Let m be 48/(-6) + 148 + -3*1. Suppose -m - 146 = -r. Is 31 a factor of r?
False
Let p = -806 - -806. Let i(c) = 3*c - 25. Let q be i(10). Suppose 6 = 6*r - q*r - 2*w, -3*r + 3*w + 30 = p. Does 14 divide r?
True
Let n = -784 - -790. Is 34 a factor of 4 + (0 + 996)/n?
True
Is 132/(-528) + (7/28 - (-1 - 4143)) a multiple of 107?
False
Let w(c) = -18*c + 1665. Is w(50) a multiple of 9?
True
Let c be 4/30 - 6/45. Suppose c = -v, 5*i = i + v + 552. Suppose 5*b + 240 = 5*q, -b + i = 3*q - 2*b. Is q a multiple of 15?
True
Let x(q) = 5*q**3 - 13*q**2 + 10*q - 10. Let j be x(6). Suppose 9*a - j = -23. Is 9 a factor of a?
False
Suppose 33*r - 3 = 32*r. Suppose 2*t + 0*t + r*y = 1146, -3*t - 4*y = -1721. Is t a multiple of 19?
False
Let z = 28 + -24. Let s be ((-21)/(-6))/(z/(32/2)). Suppose -4*m + s = -46. Is 15 a factor of m?
True
Is ((13 - 7)*752)/2 a multiple of 13?
False
Suppose r + 2*r - 129 = 2*y, y - 3 = 0. Let w = r + -42. Suppose 2*v - 380 = -w*v. Is 11 a factor of v?
False
Let v be 28/(-2) - (-2 + -2). Let f = v - -166. Is 13 a factor of f?
True
Let b = 554 - 397. Suppose 0 = 7*w - b + 10. Is w a multiple of 2?
False
Let p = 23 + -23. Suppose -10 + p = -2*z. Suppose 4*y + 2*o + 122 - 344 = 0, 237 = 4*y + z*o. Is y a multiple of 14?
False
Let s = -19 - -32. Suppose 3*a = 2*r + 35, 3*a + 2*r - 32 + s = 0. Let c(x) = x**3 - 9*x**2 + 4*x - 20. Is 10 a factor of c(a)?
False
Let x(k) = 2645*k - 305. Is 20 a factor of x(1)?
True
Let h(a) = -a**3 + 11*a**2 + a + 8. Suppose -z + 5 = -4. Does 8 divide h(z)?
False
Let x = 38 + 222. Suppose 8*g - 4*g = x. Does 6 divide g?
False
Suppose 86088 + 8613 = 34*a - 176415. Is 9 a factor of a?
True
Let k = 99 - 99. Suppose -o = 5*q - 35, 4*o + k*q + q = 197. Is 11 a factor of o?
False
Suppose 0 = 10384*d - 10364*d - 33120. Does 46 divide d?
True
Let t(i) = i**3 + 12*i**2 + 8*i + 13. Suppose -s - 64 = 5*r - 8, -4*s - 48 = 4*r. Let f be t(r). Let v = f + -24. Is 7 a factor of v?
False
Is 78 a factor of 16/(-28)*(200760/(-16) + 7)?
False
Is (-4 - 132433/(-14)) + 33/66 a multiple of 91?
False
Let c = 2779 - 1926. Suppose -3*s - 5*p + c = 0, s + 137 - 438 = -5*p. Is 13 a factor of s?
False
Let x(c) = c**2 - 3*c - 537. Let v be x(0). Let s = v - -897. Is 40 a factor of s?
True
Suppose -3*p = 4*u - 2, 3*u = -0*u - 4*p - 2. Let r(z) = -9*z**2 + z