= 3363 + 942. Is 15 a factor of h?
True
Suppose -2*q - 184 = -3*s - 0*s, s - 33 = -5*q. Let a = s + -28. Does 16 divide (-454)/(-14) + a/(-70)?
True
Let r(y) = 221*y - 43. Let f be r(2). Suppose 0 = f*i - 394*i - 1765. Is 10 a factor of i?
False
Is 38/4 + (-7825833)/(-666) a multiple of 98?
True
Suppose -1970 = 5*w + 690. Let n = w + 786. Is 27 a factor of n?
False
Suppose 0 = -4*o + p + 81678, -7*o - 102066 = -12*o - 4*p. Does 249 divide o?
True
Suppose 0 = -2*k - 3*p - 3 - 1, -2*p = -5*k + 28. Let y be 1/k + 15/24*6. Suppose -h - y*f + 57 = 0, 0*f = 2*h + 2*f - 138. Is h a multiple of 10?
False
Let u = -37717 + 60376. Is 13 a factor of u?
True
Let x(v) = 245*v - 3824. Is 15 a factor of x(18)?
False
Suppose -15*b + 6*b = 1071. Let p = b - -211. Is p a multiple of 12?
False
Let x(t) be the first derivative of 194*t**3/3 + 3*t**2/2 + 3*t - 49. Does 10 divide x(-1)?
False
Let r(o) = 16318*o + 3256. Does 46 divide r(3)?
True
Suppose -4*q = 5*l - 34 + 12, 7 = 5*l - q. Suppose -3 = 3*u + l*w - 46, -56 = -4*u - 4*w. Is 38 a factor of 6/u*5 + 36 + 0?
True
Suppose -4*n - 6224 = -2*x, 15604 = 77*x - 72*x + n. Is 65 a factor of x?
True
Let j = 251 + -239. Does 21 divide (-156)/((16 - j)*(-2)/12)?
False
Let m(r) = 214*r**2 + 3. Let g be m(2). Suppose 1612 = g*c - 855*c. Does 13 divide c?
True
Let s = -5 + 11. Let c be (s/2 - 1) + -2. Suppose 0 = -2*n - c*n + 224. Is n a multiple of 28?
True
Suppose 5*k + 3*y = 945, 259*y = 3*k + 260*y - 571. Is k a multiple of 24?
True
Suppose -634 = 2*i - 174. Let w = -105 - i. Suppose -w*p + 121*p = -348. Does 6 divide p?
False
Let j be 2/(-3)*741/2. Let r = j + -221. Let d = r + 768. Is 25 a factor of d?
True
Suppose -3*c + 2551 = 2*r - 7548, -4*c + 5*r + 13519 = 0. Is 151 a factor of c?
False
Let a = -824 + 4239. Does 81 divide a?
False
Is 31 a factor of 7089/3 - ((-240)/(-270))/(6/(-27))?
False
Suppose 0 = -5*c + 2*v - 289 + 4014, 3*c - v - 2235 = 0. Is 5 a factor of c?
True
Suppose 46 + 122 = -3*y + 3*j, -325 = 5*y + 4*j. Let u = y - -50. Let k(d) = 3*d + 49. Is 16 a factor of k(u)?
True
Is 236 a factor of (-40)/(-2)*(-47322)/(-36)?
False
Let f = -458 + 548. Is (-5)/f*-6*852 a multiple of 28?
False
Suppose 0 = -4*v + q + 25, -5 = -5*v + 4*q + 18. Let l be (-14)/(-4)*(-5 - -19)/v. Let s(b) = -5*b + 39. Is s(l) a multiple of 2?
True
Let c(m) = -m**2 + 7*m + 1. Let l be c(7). Let k be -1*l*-2 - (-4)/4. Does 21 divide 125 + k/(-15)*-5?
True
Let z(p) = 5 - 37*p - 24 + 6*p - 5*p - 19. Does 4 divide z(-4)?
False
Suppose -g + 4097 = -8*f + 9*f, -9*f = 3*g - 36843. Does 44 divide f?
True
Let o be (9/(-15))/((-9 - -4)/(-25)). Let t(h) = 2*h**2 + h. Let p be t(o). Let s = p + 195. Does 23 divide s?
False
Suppose 5*v = -k + 26233, v + 190*k - 186*k = 5258. Does 11 divide v?
False
Suppose -7*o + 3*o + 8 = 0. Suppose -a - 60 = -o*a. Let s = a - 20. Does 20 divide s?
True
Let j = -169 + 60. Suppose -28*h + 2160 + 1417 = -343. Let n = j + h. Does 6 divide n?
False
Let b be (-20)/90 + 22583/9. Let y = b + -4552. Is y/(-13) + 10/(-65) a multiple of 33?
False
Let o = -10837 + 11881. Is 29 a factor of o?
True
Let j = 210 + 1342. Is j a multiple of 16?
True
Let g = -390 - -391. Suppose -2*y = -5*u - 321, 3*y = -5*u + 545 - g. Does 38 divide y?
False
Let b(g) = -8*g**3 + 5*g**2 + 31*g + 251. Is b(-8) a multiple of 43?
False
Let w = -3843 + 3777. Suppose -2*y = 2*u + 132, 0*y - u = -5*y - 330. Is 3/(w/(-5416)) - (-12)/y a multiple of 10?
False
Suppose t - 6 = 0, 44*o - 47*o - 4*t + 23694 = 0. Does 38 divide o?
False
Let a be (3/((-9)/(-2)))/(12/(-54)). Let p be (75/(-6))/(-1 + a/(-6)). Suppose 0 = k - 3*q - p, 5*q + 4 - 9 = 0. Is 7 a factor of k?
True
Let w = 249 + -247. Suppose 33 = c - 3*m - 17, 104 = w*c - 4*m. Does 8 divide c?
True
Suppose -13*p = -p. Suppose -5*u + 4*u + 5 = -3*h, 5*h - 5*u + 25 = p. Let t(w) = -w + 6. Is t(h) a multiple of 2?
True
Let s(i) = -494*i**3 + 3*i**2 + 3*i. Let g be s(-2). Suppose 16*x - 4682 = g. Does 60 divide x?
True
Suppose 5*f = 2*p + 3*p + 420, 0 = 2*f + p - 156. Let k = f + -79. Is 14 a factor of 324/12*(k + 1/(-3))?
False
Let m = 5831 + 16418. Is m a multiple of 19?
True
Let x be 2*(1 + (139/2 - 1)). Let u = x - -53. Suppose 12*h = 8*h + u. Is h a multiple of 12?
True
Suppose 146*x = 967*x - 10850336. Is x a multiple of 224?
True
Suppose -3*s + 4*s + 4*i = 6, 4*i = -4. Suppose s = -5*a, -3*z + 8*z - 1162 = -4*a. Is z a multiple of 20?
False
Is 11 a factor of ((-3722)/(-6))/((-851)/(-68931))?
False
Let t = 114 + -112. Suppose 3*n - 515 = -t*z, -3*z - 212 = 4*n - 985. Is 37 a factor of z?
True
Suppose -f - 3*p + 2*p = -62, 4*f = 4*p + 256. Suppose 4*s - 117 = f. Suppose 4*b - 185 = -s. Is b a multiple of 4?
False
Let p(q) = -26*q + 1334. Is p(47) a multiple of 8?
True
Let j(c) = 4*c**3 - 8*c**2 - 3*c + 3. Let w be j(6). Suppose 12*b = 11697 - w. Does 58 divide b?
True
Suppose 3*u = -2*u - 35. Is 141/1 + -6 + (-35)/u a multiple of 34?
False
Let g(b) = b**3 + 19*b**2 - 16*b + 85. Let x be g(-20). Let h be 1 + 0 + 0 - -3. Suppose 4*r - h*j - 420 = 0, x*r = 3*r + 4*j + 220. Does 25 divide r?
True
Suppose 2369964 + 91512 = 123*g. Is g a multiple of 14?
False
Let y = 13046 + -1796. Is y a multiple of 10?
True
Let w = 17 - 12. Is (276/w)/(-10 - (-4433)/440) a multiple of 16?
True
Let q(b) = -b**3 + 41*b**2 - 11*b + 107. Let c be q(40). Suppose -4*k + c = -577. Is k a multiple of 19?
False
Let y be (-2028)/3 - (9 - (-1 + 5)). Let b = 1153 + y. Does 9 divide b?
False
Let t(u) = 10*u + 9. Let d be t(-14). Is (2 - 3) + (2 + 0 - d) a multiple of 22?
True
Suppose -1099 = 19*d + 7014. Let f = d - -747. Is f a multiple of 36?
False
Suppose 0 = t - y - 359, -3*y = -33*t + 32*t + 349. Suppose j = 5*x - 1742, 3*j = -x - 2*j + t. Does 68 divide x?
False
Suppose 3*h - 6068 = -4*f, -5*f + 10110 = 3*h + 2*h. Does 20 divide h?
True
Let w be -5*(-2)/((-40)/(-28)). Let o = w - -1463. Does 70 divide o?
True
Let q(v) = -2*v**2 - 89*v - 799. Is q(-30) a multiple of 2?
False
Let h be (-15)/(((-12)/3)/4). Let z be (4*(-7)/(-42))/(2/h). Suppose 0 = z*p + 120 - 385. Is p a multiple of 14?
False
Suppose 0 = 3*o - 3*u - 3315, 5*u + 1686 = 2*o - 527. Is o a multiple of 24?
True
Let y(w) be the second derivative of w**5/20 + 5*w**4/2 - 35*w**3/6 + 5*w**2 - w - 2. Is 17 a factor of y(-31)?
False
Suppose 0 = 3*b + 2*i - 5732, -3*b = -b - 2*i - 3838. Does 33 divide b?
True
Suppose -9*i = -64 - 62. Let f(z) = 2*z**2 - 31*z + 254. Is 11 a factor of f(i)?
False
Suppose -c = 7*c - 26176. Let q = c - 1657. Does 17 divide q?
True
Let d(z) = 105*z**2 + 13*z + 20. Is 9 a factor of d(6)?
False
Suppose 2*v - 508 = -2*q, v = -2*q + 224 + 25. Let d = v - 209. Is 3 a factor of d?
False
Let y(c) = -2*c**2 - 18*c - 12. Let i be y(-8). Suppose -77 = -m + i. Is m a multiple of 7?
False
Suppose -2*h + 2*a + 442 + 234 = 0, -5*h + 1684 = -2*a. Is 12 a factor of h?
True
Suppose 28*j = 4*j + 19848. Let x = j - 112. Does 40 divide x?
False
Suppose 0 = -3*c - c + 12, -3*h + c = -726. Suppose 96 = x - l, l + h + 237 = 5*x. Is x a multiple of 10?
False
Suppose -8*a = 785 - 1785. Is 22 a factor of a?
False
Let m(i) = i**3 + 9*i**2 - i - 14. Suppose 7 = 3*t + s - 31, t + 3*s = 18. Suppose -4*y - t = 0, 0 = -4*x - 0*x - 4*y - 40. Does 19 divide m(x)?
False
Let w(u) = -1 + 17*u**2 - 5*u**3 - 18*u + 6*u**3 + 24. Let y be w(-17). Suppose -j = -8*j + y. Does 9 divide j?
False
Suppose 0 = 22*p + 23*p - 11790. Let j = p - 167. Is 19 a factor of j?
True
Let l = 114 + -111. Suppose -3*d = -l*k - 183, 0*d = 2*d - 4*k - 128. Is (-1 + d/(-8))/((-21)/112) a multiple of 22?
True
Suppose 4*i + 2*q + 59 = 3*q, 4*i = 5*q - 55. Let n be 5/2*10/(-25)*i. Suppose 2*w + n = 3*w - 3*a, -5*a + 73 = 3*w. Does 7 divide w?
True
Is 440/(-33)*-1930*(-6)/(-16) a multiple of 25?
True
Suppose -k + 2*l = -385 - 157, -1653 = -3*k - 3*l. Is k a multiple of 137?
True
Let g = -65 - -459. Let f = g + -328. Is 3 a factor of f?
True
Let b = 33 - 29. Suppose -b*x + 5*w + 15 = x, -2*w - 14 = 2*x. Does 30 divide 45/(-18) + (-1)/x + 87?
False
Let z = 18188 + -15468. Does 94 divide z?
False
Suppose -2*t = 3*m - 16776, 49*m = t + 44*m - 8440. Does 20 divide t?
True
Let a(d) be the third derivative of 0*d + 0 - 31*d**2 + 13/6*d**3 - 17/60*d**5 + 17/24*d**4 + 1/120*d**6. Is a(16) even?
False
Let f(u) = u**2