2*o = 4*j - 39172. Does 83 divide j?
True
Let d be (6/7)/((-17)/(-833)). Suppose -11877 + 2511 = -d*l. Is l a multiple of 23?
False
Let c be 9/((-72)/(-128)) - -8. Does 7 divide (-591)/(-24) - (-9)/c?
False
Let a = -205 + -63. Let t = a + 574. Is t a multiple of 34?
True
Let o = -4763 + 10897. Is 53 a factor of o?
False
Let c = 20 - -51. Suppose -3*h + 5*h = 3*f + c, -1 = -h. Let n = 98 - f. Does 18 divide n?
False
Suppose 5*m + 0 = -15, -4*m - 1602 = 5*x. Does 8 divide x/(-10) + 6/30?
True
Suppose 2*g + 3*v = 301, 2*g + 5*v = -g + 451. Suppose r = 5*r - g. Let n = 84 - r. Is 23 a factor of n?
True
Let g(x) = -8*x**3 + 3*x**2 + 6*x + 12. Let j = 638 - 640. Is g(j) even?
True
Let w = 1256 - 1761. Let r = 236 + w. Let j = -135 - r. Does 23 divide j?
False
Let t(p) = 5*p + 12. Let f(k) = k. Let l(x) = -4*f(x) + t(x). Let s be l(-7). Suppose -3*r = -115 - s. Is r a multiple of 12?
False
Suppose j + 26 + 12 = -2*f, -5*f - 125 = -5*j. Let t be 32/7 + 12/f. Suppose -2*a + 2*m + 316 = 0, t*m - 641 = -4*a + 5*m. Is a a multiple of 31?
False
Suppose -35*p = 162*p - 1825301 - 892708. Is 63 a factor of p?
True
Let x(q) = -57*q - 123. Let o be x(-8). Suppose -15*b = -o - 4932. Is 11 a factor of b?
False
Let d(u) = 258*u + 2635. Is d(20) a multiple of 246?
False
Let v be 48/(-168) - (-2972)/14. Suppose 8*b - v = 268. Does 3 divide b?
True
Let t = 17086 - 9970. Is 51 a factor of t?
False
Suppose 18*l = 20256 + 105654. Is l a multiple of 25?
False
Let f = 297 - 499. Let y = f + 290. Suppose y = b + 2*v, 0 = 2*b - 2*v + v - 176. Does 22 divide b?
True
Let l(s) = -s**3 + 11*s**2 - 16*s - 14. Let q be l(9). Suppose -q*h + 6*h = 5*z + 1229, 5*z = 4*h - 2433. Is 14 a factor of h?
True
Suppose 70 = 5*a + 5*u, 5*a - 8 = 4*a - 4*u. Let k be (1 - (-212)/a)/((-1)/4). Let q = k - -157. Does 21 divide q?
False
Let k(z) be the second derivative of -16*z + 0 + 2*z**2 + 19/6*z**3. Is k(3) a multiple of 16?
False
Suppose 2*y - 3*h = -4*h - 3, -h = 4*y + 3. Let q(o) = 2*o + 3*o - 3*o**2 + 87 + 2*o**2. Is 11 a factor of q(y)?
False
Let f = -504 - -590. Is -5 - f/(-18) - 2738/(-9) even?
True
Let s = -16576 - -25426. Does 30 divide s?
True
Suppose -8*k - 86 + 22 = 0. Let x(n) = 2*n + 18. Let t be x(k). Suppose -5*c - 2*p = -296, 7*p = 2*c + t*p - 101. Does 29 divide c?
True
Let j be (53/2)/((-4)/(-8)). Suppose 2*m - 78 = -3*k, 3*m + 2*m = -2*k + 217. Let l = j - m. Is l a multiple of 8?
True
Let o be 0 + 8*(0 + (-570)/(-2)). Suppose -6*h = -10*h + o. Is h a multiple of 72?
False
Does 47 divide (-24)/(-300) + (-2002644)/(-75)?
False
Let v be (-1)/2 + (-1)/(-2). Let u(j) = -3*j**2 + 10*j + 7. Let z be u(3). Suppose v = -6*f + z*f - 648. Is f a multiple of 15?
False
Suppose -5*y + 29065 = -36*q + 31*q, -6*y = -2*q - 34874. Is y a multiple of 46?
False
Suppose 3*x + 2*g - 9486 = 0, -3*g - 3157 = -x - 2*g. Suppose 0 = -4*k - k - 4*b + 7918, -2*k = 4*b - x. Is 10 a factor of 3/(63/(-6)) + k/14?
False
Let f = 63 - 82. Let v(l) = l**3 + 20*l**2 + 12*l + 40. Does 18 divide v(f)?
False
Let b be 42/8 - (-3)/(-12). Suppose 4*w + b*v - 815 = 0, 5*w - 4*v - v - 985 = 0. Suppose 4*z + 2*h = w, z = -3*z - 3*h + 196. Does 13 divide z?
True
Let i be 3 + (-2)/(-1 + 2) + 604. Suppose -4*r - 14 = 5*s - 623, 0 = 4*r + s - i. Let d = r + -91. Does 12 divide d?
True
Suppose -3*k + 11*o + 2094 = 14*o, 3*k - 5*o - 2062 = 0. Does 16 divide k?
False
Suppose 6*p - 7*p = 0. Suppose 2*f = 5*j - p*j - 1510, 3*j = -3*f + 885. Is j a multiple of 10?
True
Suppose -5*n + 3*g + 11107 = 0, -13*g = -2*n - 16*g + 4447. Is 21 a factor of n?
False
Let j = 996 - 507. Suppose -3*b - 117 = -r, -5*b - j = -r - 3*r. Is r a multiple of 14?
True
Suppose 7 = -g + 11. Let v(p) = -22*p + 108. Is v(g) a multiple of 5?
True
Let c = -4066 - -12745. Is 4 a factor of c?
False
Suppose -25 + 35 = 5*t. Suppose h + 0*h = -m - 1, 0 = 5*h - t*m + 26. Is 2208/36 + h/3 a multiple of 13?
False
Let a(d) = 282*d**2 + 227*d + 1549. Is a(-7) a multiple of 11?
False
Suppose 0*w = 4*w + l - 23, 12 = 3*w - l. Let u be ((-16)/(-10))/(1/w). Is 10 a factor of 306/u + -4*12/(-64)?
False
Let r(l) = l**3 - 38*l**2 - 45*l - 632. Is r(43) a multiple of 126?
True
Let c(r) = r**2 - 11. Let x be c(4). Suppose 4*d + 16 = 2*l, -3*d = x*l - 1 - 13. Is (l + -3)/1*(3 - -76) a multiple of 12?
False
Let n(r) = r**3 + 3*r**2 - 24*r - 5. Is n(11) a multiple of 3?
True
Does 20 divide 24/54 + (-1432)/(-18)?
True
Let n(j) = 867*j**2 + 19*j - 36. Is 10 a factor of n(2)?
True
Let p = 2314 + -2312. Suppose 2*c - 6 = 10. Suppose -c*u = -p*u - 468. Does 13 divide u?
True
Suppose 0 = -h + 2*x - 9, -h - 4*x + 27 = 12. Let f(g) = 177*g**2 - g. Does 11 divide f(h)?
False
Let u be (-4)/(-22) - (-127732)/242. Suppose -4*b + 5*s + u = -842, 334 = b + 3*s. Is 8 a factor of b?
False
Suppose 80 = -49*l + 33*l. Is 27 a factor of (-37)/7 - l - (-2704)/7?
False
Suppose 3*b + 12*b - 147600 = -b. Is b a multiple of 205?
True
Is ((-44)/(-10))/((-4)/(-10))*(-6 + 439) a multiple of 11?
True
Let k(m) be the second derivative of -m**4/12 - 17*m**3/6 - 15*m**2 - m. Let h be k(-15). Suppose w - 45 - 23 = h. Does 12 divide w?
False
Suppose -4528 = -8*k - 1264. Let j = k - 102. Is 20 a factor of j?
False
Let r(k) = 2*k + 15. Suppose -1 - 11 = 4*l. Let f be r(l). Suppose 0 = f*a - 505 - 125. Does 14 divide a?
True
Let s(b) = b**3 - 4*b**2 - 4*b - 4. Let c be s(-2). Does 20 divide (24/c)/(2997/1000 - 3)?
True
Suppose 5*m = -5, -39*m + 40*m + 53 = -4*u. Is (7 + u - -2) + 143/1 a multiple of 27?
False
Let c(y) = y**3 + 16*y**2 - 7*y. Let j(t) = -t**3 + 36*t**2 - 34*t - 44. Let i be j(35). Is 14 a factor of c(i)?
True
Suppose 91*l = 82*l + 18. Does 51 divide 351 - ((-8)/1 + l)?
True
Let s be 74/3 + 13/((-195)/(-20)). Suppose 36*i - 1960 = s*i. Does 18 divide i?
False
Let a = -7055 - -10649. Does 6 divide a?
True
Let v = 44 - 39. Suppose v*z - 80 = z. Is (-3 + 6 - (-1 - 0))*z a multiple of 20?
True
Let v = -26470 - -28441. Is 7 a factor of v?
False
Let r(j) = 318*j**2 + 11*j - 13. Let u be r(1). Let m = -304 + u. Does 5 divide m?
False
Is (-10569)/26*(17 + -27) a multiple of 7?
False
Let c(j) = 55*j**2 - 4*j - 28. Let p(l) = -56*l**2 + 4*l + 28. Let u(o) = -3*c(o) - 2*p(o). Let w be u(-4). Let a = -553 - w. Does 17 divide a?
False
Let s be (300/2)/(((-9)/4)/(-3)). Suppose 0*v = -5*v - s. Is 13 a factor of (-128)/v*(1 - (-63)/2)?
True
Let n(u) = 7 - 20 + 26 - 70*u + 27. Is n(-5) a multiple of 65?
True
Let i be 112/14 - 1*-533. Let t = i - 471. Is t a multiple of 10?
True
Let h be (-40)/8*4/(-10). Suppose -h*a = -4*a - 26. Let k(p) = -p + 2. Is k(a) a multiple of 2?
False
Suppose -5*m + 9622 + 19423 = -5*o, 4*m - 23231 = 5*o. Is 6 a factor of m?
True
Suppose 49 = 3*q + 5*z, 3*q = -q + 5*z + 77. Does 4 divide (-1 - 5)*(-12)/q?
True
Let t = 29901 + -10629. Does 11 divide t?
True
Let x(z) = -z**3 - 10*z**2 + 4*z + 19. Let u be x(-9). Let h = 98 + u. Suppose -174 = -y + 2*a, 3*y + h*a - 467 = -5*a. Is y a multiple of 41?
True
Suppose s - 5*j = 22423 + 7084, -4*s + 118014 = -6*j. Does 11 divide s?
True
Let f = 572 + -567. Suppose v - y = 262 - 97, 3*v - f*y = 489. Is v a multiple of 28?
True
Suppose 41995 = -38*f + 292263. Is 10 a factor of f?
False
Let w(h) = h**2 - 8*h + 9. Let q be w(7). Let o(j) = 62*j + 3. Let r be o(q). Let d = -73 + r. Does 18 divide d?
True
Suppose -10*m + 127 = 87. Does 77 divide (-292)/(((-57)/38)/(3/m))?
False
Let q = -21584 + 47305. Does 37 divide q?
False
Let u(m) = -2*m**2 - 31*m - 1. Let p(h) = -h**2 + 13*h. Let a be p(15). Let c = -45 - a. Is u(c) a multiple of 5?
False
Does 30 divide 1/(-2) - 59219*16/(-32) - -1?
True
Let k be ((-12)/(-8))/((-60)/32 - -2). Suppose 0 = -k*j + 5117 + 655. Is 13 a factor of j?
True
Let p = 99 - 29. Suppose 5*v - p = 5*s, -3*s = -v + 31 + 15. Does 3 divide (-8)/s*((-6)/(-3) + 28)?
True
Let i = 28018 + -15718. Does 25 divide i?
True
Suppose 0 = 3*b + 5*k - 44, 0 = 5*b - 4*k + 2*k - 32. Is 2/b - (2 - (-1475)/(-20)) a multiple of 3?
True
Let l(x) = 22*x**2 - 1 - 38*x**2 + x**3 - 15 - 6*x + 23*x**2. Is l(-4) a multiple of 56?
True
Let u(o) = 5*o**3 - 18*o**2 + 7*o - 11. Let g(f) = 3*f**3 - 19*f**2 + 5*f - 10. Let r(a) = -3*g(a) + 2*u(a). Is r(-10) a multiple of 86?
True
Let j(p) = -4*p + 36. Let x be j(6). Let u(r) = r**2 - 12*r + 5. Let n be u(x). S