+ 48 = 15*f. Suppose 4*d = 5*c - 958, 2*c = -f*d - 3*d + 403. Is c a multiple of 59?
False
Does 179 divide 60/210 + 9161/7 + 1?
False
Suppose 4*j = 108 + 252. Let c = j - 28. Is 3 a factor of c?
False
Suppose 44*y = -38*y + 499790. Is 24 a factor of y?
False
Suppose 0 = -3*h + 2*h. Suppose n - 4*m = -n + 20, h = -5*n + 4*m + 44. Suppose 11*r - 81 = n*r. Does 4 divide r?
False
Let r be 26/((-5 + 6)/2). Let g = -28 + 51. Let c = r - g. Is c a multiple of 6?
False
Let m = -229 - -304. Suppose 51*q + 13056 = m*q. Is q a multiple of 68?
True
Let g(b) = -b**3 + 12*b**2 + 16*b - 28. Let j be g(13). Suppose -j*d = -18*d + 77. Does 6 divide d?
False
Let j(l) = 4*l**2 + 7*l + 27. Let o = -14 + 15. Suppose 0 = 2*v + 11 - o. Does 23 divide j(v)?
True
Let k(m) = 1014*m - 6 - 5 - 12 - 999*m + 22. Let d(b) = b + 2. Let z be d(6). Does 17 divide k(z)?
True
Suppose -3*b + 37 = 31. Suppose b*j - 2*l - 96 = 0, -5*j - 60 + 292 = -l. Suppose 41*v = j*v - 490. Is v a multiple of 13?
False
Let f = -17 - 18. Let o be ((-90)/f + -2)*14. Suppose -61 = -2*p - 3*s + 119, 2*s + o = 0. Is 8 a factor of p?
True
Let f(m) = -m**3 - 2*m**2 + 6*m + 4. Suppose -2*z + 137 = 57. Let n = 35 - z. Is 7 a factor of f(n)?
True
Suppose n + 4*a - 19359 = 0, -46*a + 21 = -43*a. Is 164 a factor of n?
False
Let v be ((-4)/(-4))/((-4)/(-16)). Let p be (-74)/(-6) - v/12. Does 15 divide (-726)/(-8) + (-9)/p?
True
Let r be ((-8)/((-112)/21))/((-9)/(-12)). Suppose s = -x + 4*x - 1443, 0 = r*s + 6. Does 40 divide x?
True
Suppose -155*h + 5*a - 7520 = -159*h, -2*a = 0. Is 5 a factor of h?
True
Let c = -5094 + 17117. Is 20 a factor of c?
False
Suppose 84*o - 76*o - 1626176 = -56*o. Is o a multiple of 84?
False
Suppose -5*v = -3*x - 8189, -4*v + 58*x = 53*x - 6546. Is 12 a factor of v?
False
Suppose -36*q + 51*q = 375. Suppose -q*x + 15178 = -8297. Is x a multiple of 57?
False
Let r(x) = -x**2 - 11*x - 22. Let o be r(-8). Suppose -g = 2, 660 = -11*m + 15*m - o*g. Is 41 a factor of m?
True
Suppose -x + 2097 = 126*u - 129*u, 4*u - 8468 = -4*x. Does 22 divide x?
True
Let g = 1033 - 1052. Suppose 3 = 2*k - 13. Let r = k - g. Is 9 a factor of r?
True
Suppose -277*o + 121134 = -238*o. Does 193 divide o?
False
Suppose u + 4*k = 2*u - 376, 0 = -3*u - 5*k + 1111. Suppose x + 2*z = -3*z + 370, -x + u = 3*z. Is x a multiple of 14?
False
Suppose -674 = -8*u + 46. Suppose 6*s - u = -3*s. Is ((-3)/(-2) - 1) + s/4 a multiple of 3?
True
Let q(y) = y**2 + 68*y + 1041. Is 51 a factor of q(-60)?
True
Let b = 1630 - 1658. Suppose -4*f - 46 = 126. Let o = b - f. Does 4 divide o?
False
Let b(y) = -3*y**3 - 39*y**2 - 200*y - 130. Does 16 divide b(-27)?
True
Is 3 a factor of (-558)/186 + 3670/2?
False
Let x = -192 + 79. Suppose -6*p + 539 + 949 = 0. Let l = p + x. Is 27 a factor of l?
True
Let g be ((-6)/(-3))/(-2)*(8 - 8). Suppose 4*h - 823 = -4*a + 1521, 2*h + 4*a - 1168 = g. Is h a multiple of 99?
False
Let m be (-3)/6*-214 + 6 - -6. Let l = 230 + m. Is 12 a factor of l?
False
Is ((-14)/147)/((-19)/13923903) a multiple of 14?
False
Suppose h + 7 = 4*c + 3, 0 = -4*h - 3*c + 22. Suppose -6*o + 2*o = 8, -o = 4*k - 1842. Suppose -3*j + k = -x, -3*j - h*x + 88 = -363. Is j a multiple of 11?
False
Suppose 2*v - 12 = -4*l, 4*l - 7 = -v - 11. Is (-6 + (-567)/14)/((-2)/v) a multiple of 14?
False
Suppose 0 = 3*b - 3*v - 2 - 1, b + 3*v = 17. Suppose 0 = -4*f + 12, -2*m - 7 = -0*f - b*f. Suppose m*x - 366 = -o - 72, -4*o = -3*x + 230. Is 8 a factor of x?
False
Let j(v) = v**2 - v + 4. Let f be j(3). Suppose 52128*a - 52119*a - 2097 = 0. Suppose -5*w + a = -g, 5*g - 15 = f*g. Is w a multiple of 23?
True
Suppose 5*l = -3*b + 150, -3*l - 5*b = 24 - 98. Let c be (3/2)/(l/22). Is 10 a factor of (1 + c)*(2 + 43)?
True
Let v(a) = -17*a - 2. Let f = -45 - -39. Let q be 23/138 + 7/f. Does 6 divide v(q)?
False
Suppose 0 = -2*b + 2, 0 = -5*s + 6*b + 4425 + 7664. Is s a multiple of 7?
False
Let n(r) = -r**3 + 2*r**2 + 8*r - 5. Let g be 60/(-4)*2/(-6). Suppose g*x - x - 12 = 0. Is n(x) a multiple of 5?
True
Let s be 3 - (5 + -4) - (3 + -1). Suppose 0 = -s*r - 4*r + 56. Let c = 27 + r. Does 5 divide c?
False
Suppose -2545 = -4*d - 5*q, 9*q - 7*q = 10. Suppose -10*l = -7*l - 15. Suppose -t = s - 52 - 74, d = l*s + 4*t. Is s a multiple of 14?
True
Let r(l) = 415*l - 1267. Does 49 divide r(8)?
False
Suppose -228*r - 3*j = -227*r - 9909, 5*r - 16*j = 49793. Does 43 divide r?
True
Let l(y) = 9*y + 2063. Does 107 divide l(68)?
True
Let t = -1272 + 1259. Let m = 27 + 2. Let n = t + m. Is n a multiple of 3?
False
Suppose 3*z = -2*j + 6*z + 24, 2*j = -z + 24. Suppose -q + 105 = -u + j, -2*q = u - 186. Suppose -8*p + q = -99. Is p a multiple of 12?
True
Let h = 53 + -46. Let a = 11 + h. Suppose -2*v = -a - 10. Is v a multiple of 14?
True
Let f be (3 + -4 - 0)/((-2)/(-18)). Let p be f*(4/(-6))/1. Is 11 a factor of (6 - 3)/(p/44)?
True
Suppose 3231 + 32129 = 8*a. Is 52 a factor of a?
True
Let z = 3297 + 17217. Is 17 a factor of z?
False
Let o = 33148 - 2882. Is o a multiple of 58?
False
Let x(m) = 101*m**2 - 3*m - 66. Does 73 divide x(6)?
False
Suppose -5*x - 6*y + 3*y = -4722, 4*x - 3779 = -y. Is 5 a factor of x?
True
Let f(d) be the second derivative of 5*d**3/6 - 17*d**2/2 + 9*d. Let j be f(4). Suppose -j*r - 258 = -6*r. Is r a multiple of 34?
False
Suppose 3*w = 3*j + 2916, 4*w + 0*w - j = 3876. Is w a multiple of 70?
False
Suppose -3*p + 17747 = -2*o - 11080, -3*p + 4*o = -28821. Does 97 divide p?
False
Suppose -3*w + 7*w - 14092 = y, 0 = w - 2*y - 3523. Is w a multiple of 32?
False
Suppose -23*v = -21*v - 430. Let x = v - -41. Is 16 a factor of x?
True
Let k = -188 - -475. Let w be (-27)/(-7) + (-3)/(-21). Suppose 0 = 3*h + 9, -5*l = -w*h - 45 - k. Does 10 divide l?
False
Let b be ((-966)/(-35))/(2/15) + -4. Let l = -7 + 10. Suppose -l*d = -b - 373. Is 48 a factor of d?
True
Suppose 2*j = -5*x + 31, -16 = -3*j + j - 2*x. Suppose -3*t = j*s - 12, -s + 0*t = -3*t + 4. Is 5 a factor of s/(-16) + 786/16?
False
Suppose -3*g - 3*l = -4230, g + l = 3*g - 2823. Suppose 221 = -5*m + g. Is 17 a factor of m?
True
Let d be 13/3 + (-16)/12 + 2. Suppose -324 = 2*h + a, -d*h - 331 = -5*a + 449. Does 10 divide (h/(-12))/((-4)/(-6))?
True
Let o = 5064 - -8200. Is o a multiple of 16?
True
Let c = 6089 - -168. Is 9 a factor of c?
False
Suppose -3*k = -4*t + 22868, -3*k + 687 + 5045 = t. Is 26 a factor of t?
True
Let x = 13 + -14. Let g be -10 - x*5/(-5). Is (-3708)/(-66) - (-2)/g a multiple of 8?
True
Let m = -92 + 188. Suppose -2*r + 286 = -m. Is 12 a factor of r?
False
Suppose 106*s - 101*s = 4275. Let z = 1431 - s. Does 48 divide z?
True
Let y(d) = 13*d - 79. Let n be y(3). Let w = n + 166. Does 6 divide w?
True
Suppose r - 923 = -w, 0 = -w + 3*w - 5*r - 1853. Does 2 divide w/105*(27/6 + -2)?
True
Is 9 a factor of (-7 - -1258)*1/(((-6)/(-15))/2)?
True
Let x(y) = y**3 + 3*y**2 - 8*y - 13. Let a be x(-5). Let g = a + 21. Does 9 divide 4 + 38*-1*g + 1?
True
Let x = -22058 + 30605. Is x a multiple of 77?
True
Suppose s = 0, 5*s = 2*f + 3*f - 145. Suppose 137 = a + f. Suppose a = g + 2*c, -c - 2 = -1. Is 10 a factor of g?
True
Suppose 4*l = 5*l + 4*u - 2, -l + 2 = -u. Suppose 0 = 2*a - 6, -3*a - l = 2*y - 15. Suppose -y*t + 268 = -32. Is t a multiple of 13?
False
Suppose -s - 18 + 20 = 0. Suppose 0 = 5*x - s*v - 898, -4*v = -2*x - 6*v + 362. Let t = x + -71. Is 13 a factor of t?
False
Let d(h) = 18225*h - 5627. Is 76 a factor of d(2)?
False
Let a(p) = p**3 - 3*p**2 - 2*p - 1. Let r be a(3). Let b = 1378 + -1331. Let m = b + r. Is m a multiple of 6?
False
Let w = -5048 - -6536. Is w a multiple of 12?
True
Let m(u) be the third derivative of -13*u**4/24 - 17*u**3/3 + u**2 + 9*u. Let p be (-28 - -2*1) + 2. Does 58 divide m(p)?
False
Let g(z) = z**2 + 5*z + 6. Let j be g(-3). Suppose j = -15*y + 23*y - 1872. Does 6 divide y?
True
Let a = 44083 - 4065. Is 214 a factor of a?
True
Suppose -25*s - 297485 = -950885. Is s a multiple of 24?
True
Suppose 6148 + 5864 = 13*d. Suppose -87*v + 83*v = -d. Does 33 divide v?
True
Let k be ((-5)/(-3))/(15/18). Suppose -138 = -2*b + 9*m - 5*m, 0 = -k*m + 4. Is b a multiple of 13?
False
Suppose -2*q = 0, 0 = 80*g - 76*g - 5*q - 2672. Is g a multiple of 11?
False
Let f = 63 - 61. Suppose 0 = -f*r + 4*j + 80, -r + 5*j + 25 = -12. Suppose h 