4*u - 428 = 0. Let b = u + -39. Is 17 a factor of b?
True
Let h(c) be the first derivative of -20*c**2 - 40*c - 1. Let w be h(-7). Suppose 0*m + w = 6*m. Does 8 divide m?
True
Let b = -10609 - -20537. Is b a multiple of 68?
True
Suppose 0 = 14*o - 8*o - 12. Suppose -12 - 82 = -o*j. Let t = 81 - j. Does 20 divide t?
False
Let h = -116 + -3. Let t = -64 - h. Is (1 - -119)*22/t a multiple of 24?
True
Is 67 a factor of (-1 - 35/(-15))/(11/15477)?
True
Let o = -251 - -251. Let q = 202 + o. Is q a multiple of 8?
False
Let n(g) = -11*g**2 + 1 + 5 - g**3 + 33*g**2 - 16*g + 5. Let v be n(21). Let q = 202 - v. Is 13 a factor of q?
False
Let r(k) = -6*k**3 + 8*k**2 + 98*k + 5. Is r(-7) a multiple of 22?
False
Suppose 3*r + 1888 = 8*r - 4*x, 2*x = 2*r - 754. Let v = -254 + r. Is v a multiple of 21?
True
Suppose -25*h + 29 = -46. Let a(y) = 13*y - 3*y - 30 + 11*y + 16*y. Does 11 divide a(h)?
False
Let l(x) = x**3 - 9*x**2 + 15*x + 5. Let b be l(7). Let f = -126 + b. Is 10 a factor of 6/(-9)*(3 + f)?
False
Let t = -213 - -218. Suppose t*d = -h + 146, 0 = -h - 9*d + 6*d + 138. Does 14 divide h?
True
Suppose -19 + 3 = 4*u, -3*h + 21934 = 5*u. Is h a multiple of 32?
False
Let s = -6806 + 22857. Is s a multiple of 51?
False
Let w(f) = -2960*f - 13131. Is 4 a factor of w(-8)?
False
Let i = -11 + 34. Suppose 4*t = i - 107. Let y = t + 32. Does 2 divide y?
False
Suppose 0 = 5*l - 3*x + 39, 3*l = x - 0*x - 25. Let y(v) be the first derivative of v**4/4 + 8*v**3/3 - 21*v**2/2 - 19*v + 398. Does 21 divide y(l)?
False
Let w be ((-87)/(-12))/((-2)/(-16)). Let f be 4*-30*(-11 + -4)/45. Suppose -42*l + f*l = -w. Is 12 a factor of l?
False
Let n be ((-22827)/(-42))/((-2)/4) - 2. Is (-12)/(-16) + n/(-4) a multiple of 21?
True
Suppose 2*j = -k - 3*k + 10, -3*k - 31 = -4*j. Suppose -4*m = -4*t, -3*m + 2 = -4*t + 5. Suppose m*u + 104 = j*u. Does 13 divide u?
True
Suppose -u + 18601 - 6728 = 2*j, -3*j + 3*u + 17841 = 0. Is 9 a factor of j?
True
Let w(i) = -i**3 - 5*i**2 + 17*i + 7. Let j be w(-9). Let z = 219 - j. Does 41 divide z?
True
Suppose -2*j = 207 - 219. Suppose 114 = j*x - 3*x. Is x a multiple of 15?
False
Suppose 65*u - 15*u = 2*u + 7968. Is u even?
True
Suppose 2*p + 0*v + 157 = 5*v, 253 = -3*p + 4*v. Let w = p + 93. Suppose 2*m = -c + 3*c + 22, -3*m = w*c - 43. Is m a multiple of 4?
False
Suppose -3*l - 6 = 0, -2*l + 23 = 5*t - 6*l. Let m(h) = 178*h - 14. Does 26 divide m(t)?
True
Let u = 234 - 229. Suppose 5*g - 25 = 0, 389 = -k + 3*k - u*g. Does 9 divide k?
True
Suppose 3*g = -4*l + 6, -4*g + l + 8 = -0*g. Suppose g*s = 41 - 3. Is 2 a factor of s?
False
Suppose 5*z - 6 = 2*o, -o + 3*z + 9 = 2*o. Let g be 2236/286 - (-2)/11. Suppose -g*v = -o*v - 12. Is v a multiple of 6?
True
Suppose -5*k + q + 4397 = 0, -3*k - 4*q - 1541 = -4170. Let r = 1635 - k. Is r a multiple of 7?
True
Let x(b) = 241*b + 2499. Is x(7) a multiple of 91?
True
Suppose 14 - 4 = 2*h. Let o = h + -4. Suppose -4 = -r + o. Is r a multiple of 5?
True
Let r = 53 + -64. Let t = r - -11. Suppose t*g - 6*g + 186 = 0. Is 23 a factor of g?
False
Suppose 0 = 434*d - 427*d - 497. Suppose -d = -l - 4*c + 324, l + 5*c - 394 = 0. Is l a multiple of 3?
True
Let b(r) = 3*r - 55. Let m be b(0). Let t(h) = -h**3 - 10*h**2 - 9*h + 1. Let x be t(-10). Let d = m + x. Is d a multiple of 18?
True
Let i be 20*(0 - (-2)/(-4))*59. Let p = -300 - i. Is 40 a factor of p?
False
Suppose 1 = j - 2. Suppose -2*n - 4*v = 6, j = 3*n - 4*n - 4*v. Let p = 22 - n. Does 6 divide p?
False
Suppose 30 = -8*o + 390. Let k = o + -43. Suppose 3*p - 5*p + 4*c + 156 = 0, 3*p = k*c + 218. Is 22 a factor of p?
False
Suppose r + 2802 = i + 4*r, 4*i = 4*r + 11144. Let n = -1430 + i. Does 21 divide n?
False
Suppose -100*u + 104*u - 6996 = -4*x, 4*x = -5*u + 7001. Is 4 a factor of x?
True
Let s(m) = -m**3 + 48*m**2 + 16*m - 148. Is s(48) a multiple of 62?
True
Let r(u) = u**3 - 4*u**2 + 38*u - 37. Does 55 divide r(16)?
False
Suppose 20 = -16*w + 18*w - 4*x, -4*w - 4*x - 8 = 0. Suppose -4*y - 2*u + 1691 + 1493 = 0, -1598 = -w*y - 4*u. Does 20 divide y?
False
Suppose 2*c - 15 = -c - 2*a, -4*c + 3*a + 20 = 0. Let x(p) = -p + 13. Let v be x(c). Let l = 21 - v. Is 13 a factor of l?
True
Suppose -3*v - 5605 = -l, -l + 5*v + 3104 = -2507. Is l a multiple of 42?
False
Let s be ((-5600)/24)/10*(0 + 9). Is 5080/s*-6 - 2/14 a multiple of 29?
True
Suppose 21*j + 81*j - 608668 = 351560. Is j a multiple of 146?
False
Let i(d) be the third derivative of -37*d**4/8 + 7*d**3/6 - 19*d**2. Let o be i(-3). Suppose y - 132 = -4*w, -251 - o = -5*y + 3*w. Is 20 a factor of y?
True
Suppose -4*l + 2*b = 16, 2*b = -4*l + 7*b - 10. Let c be 2/((-16)/(-20))*(-30)/l. Suppose -c = -k - 10. Is 5 a factor of k?
True
Suppose -2*w = 5*b - 1628, -13*w - 1644 = -15*w - b. Is 206 a factor of w?
True
Let d(p) = -p - 1. Let h(b) = -3*b. Let q(n) = 2*d(n) - h(n). Let g be q(7). Suppose -2*a = 2*k - k - 104, 0 = 3*a - g*k - 182. Is a a multiple of 9?
True
Let s(t) = 3*t**3 - 79*t**2 - 56*t + 20. Let u be s(27). Suppose 6*d = 5*d + 61. Let k = d + u. Does 9 divide k?
True
Let a(d) = -d + 3. Let k be a(1). Suppose 4 = -n + k*o + 8, -8 = 4*o. Let r(f) = f**3 - f + 40. Is 24 a factor of r(n)?
False
Let t(f) be the second derivative of 17*f**3/3 - 2*f**2 + f. Let v be t(1). Let k = 36 + v. Is 18 a factor of k?
False
Let h be (99/15 - 7) + 52074/10. Suppose -h - 2766 = -17*a. Is 11 a factor of a?
False
Let m be -1 + -2 + (7 - 0). Suppose 2*o + 5 = -5, 2*g - m*o - 1066 = 0. Is 8 a factor of g?
False
Let k be 2/((-6)/15) - (-4)/(-4). Let q be (75/9 - 1)/((-2)/k). Suppose -4*x = -326 - q. Does 29 divide x?
True
Suppose 5*w - 7*w = -5*k - 1915, 0 = -w - k + 982. Is 3 a factor of w?
True
Let h = 7063 - -4148. Is h a multiple of 102?
False
Let z be 68/102 - (-94)/(-6). Is 23 a factor of (230/z)/((-16)/312)?
True
Let x(k) = k + 10. Let d be x(-1). Suppose -2*n = 5*t, -3*n + 25 = -d*t + 4*t. Suppose 0 = y - 4*y + b + 344, -5*y = -n*b - 570. Is 23 a factor of y?
True
Let p(i) = i**2 + 46*i - 271. Let j be p(-45). Let d = 649 - 190. Let t = d + j. Is 11 a factor of t?
True
Let c = -2729 - -2744. Does 4 divide c?
False
Suppose d - 4*t + 76 - 92 = 0, 4*d - 1 = -5*t. Suppose 2*f + o = 209, 2*o + 87 + 327 = 4*f. Is 9 a factor of (1 + (-139)/d)*f/(-39)?
True
Let x be 0/(4 + -7 + 5). Suppose -2*g + 3*c + 127 = x, -10*g + 6*g - 5*c = -199. Is g a multiple of 14?
True
Let z(t) = 3*t**3 + 53*t**2 - 18*t + 1. Let v be z(-18). Does 9 divide 220/(-80)*(v - 37)?
True
Suppose 3*y - 3*z - 597 - 4425 = 0, 4*y = -4*z + 6720. Suppose 18*t = 11415 - y. Does 23 divide t?
False
Is 1 + -1 + -2 - -4746 - (-19 + 19) a multiple of 21?
False
Let x = -12 + 61. Suppose -5*k = -26 - x. Suppose f - 26 + k = 0. Does 3 divide f?
False
Suppose 39 = -4*j + 279. Let s = 63 - j. Suppose -5*l - s = -823. Does 24 divide l?
False
Let z(y) = 145*y**2 + 73*y - 435. Does 14 divide z(-13)?
False
Let r(g) = 12*g - 5 + 8*g - g**3 - 10*g**2 - 11*g. Let m be r(-11). Suppose -25 = -m*n + 12*n. Is 5 a factor of n?
True
Let j = -18 + 20. Suppose -5*l - g - 4*g = -40, -j*l = 3*g - 17. Let r = l - -24. Does 7 divide r?
False
Let f be 4/(-34) - (-670)/(-85). Let b(j) = 12*j**2 - 25*j**2 + 7 + 15*j**2 + j. Does 23 divide b(f)?
False
Let c be ((-94)/(-8) - -1)*88. Let b(m) = 2*m**3 + 14*m**2 + 12*m + 95. Let o be b(-7). Suppose o*k - c - 44 = 0. Is k a multiple of 17?
False
Let h = 33508 - 24607. Is 33 a factor of h?
False
Suppose 2*w - 47721 = 3*m, 31*w - 27*w - 95393 = -m. Is w a multiple of 79?
False
Let u(q) = 2*q**3 - 15*q**2 + q + 11. Let g be u(10). Suppose 0 = -g*s + 522*s - 483. Does 22 divide s?
False
Suppose 0*c + 19170 = 9*c. Suppose 5*h + 4*v - 3600 = 0, 2*h - 2*v + 708 = c. Does 25 divide h?
False
Suppose 0 = o - 7 + 4. Suppose o*b - 6*b = 33. Let t = b + 42. Does 8 divide t?
False
Does 13 divide (-10)/5 + 4 - (1 + -1 + -16264)?
False
Does 35 divide 3774 + 13 + -3 - -9?
False
Let g = -32251 + 46887. Is g a multiple of 27?
False
Let g be (-27)/18*(-964)/6. Let p = g - 130. Does 17 divide p?
False
Suppose 0 = -2*k - 2*b + 628, -18*k + 20*k - b - 610 = 0. Is 7 a factor of k?
True
Let f = -2321 - -4103. Does 9 divide f?
True
Suppose 0 = t - 12 + 4. Let c(d) = d**2 - 10*d + 14. Let o be c(t). Let l(k) = -2*k**3 - 2*k**2 - 3*k - 3. Is l(o) even