-11 = -3*j - 3*w + 13, 0 = j - w. Suppose 960 = 4*a + j*a. Is 24 a factor of a?
True
Suppose c - 15863 = -3*f, 5*f - 8*f - 63467 = -4*c. Does 119 divide c?
False
Does 21 divide 34274*2/36 - (-42)/(-378) - -1?
False
Suppose -v + 6*v + 4*m - 44536 = 0, 6*m = -v + 8876. Is 31 a factor of v?
False
Suppose 40 + 186 = -l + c, -3*l = c + 670. Let v = -192 - l. Is v a multiple of 7?
False
Let u = 949 + -410. Let h = u - 167. Does 62 divide h?
True
Let a = -71 + 81. Suppose a*z - 820 = 2900. Suppose -111 - z = -7*c. Is 10 a factor of c?
False
Suppose -2*a = -0*n - 5*n - 4, a = -2*n + 11. Suppose 228 = a*v - v. Is 5 a factor of v?
False
Let b be 54/48*4 + 1/2. Suppose 1463 = 4*j - j + 2*p, -b*j - 3*p = -2437. Is j a multiple of 62?
False
Suppose -17 = 2*g + 5*v, 5 + 8 = -3*g - 5*v. Does 2 divide g + (30 - (3 + 5))?
True
Let h(d) = d**3 + 5*d**2 + 5*d + 9. Let p be h(5). Let j = p - -16. Suppose -3*r + 145 = 2*b, -3*r - r - j = -4*b. Is b a multiple of 37?
True
Let n = -7179 + 10088. Is 30 a factor of n?
False
Is 24*(5 + (-984)/(-16)) a multiple of 19?
True
Let p = -1196 - -1782. Suppose 592*x - p*x - 642 = 0. Does 5 divide x?
False
Let l(h) = -49*h + 7. Let y be (-1)/(2/(-16)*1). Let o be l(y). Let a = -229 - o. Is a a multiple of 39?
True
Let h = -42 + 17. Let u = h - -33. Let p(w) = 20*w - 13. Is p(u) a multiple of 53?
False
Suppose 34*m - 770 = 29*m. Suppose 0 = 4*l - 0*l + y - 576, 0 = 2*l - 3*y - 274. Let z = m + l. Does 27 divide z?
True
Suppose -2*f + 22304 = 2*c, 5*f - 5*c - 22304 = 3*f. Is f a multiple of 82?
True
Let v(l) = l**3 - 19*l**2 + 22*l + 21. Let o be v(20). Let q = -541 + o. Is 40 a factor of q?
True
Suppose -12*j - 3*s - 11501 = -14*j, -4*j = -5*s - 22997. Is 3 a factor of j?
False
Suppose 5*g + j = 2*g + 9, -2*j = 3*g - 6. Suppose -g*s = -6*s + 4. Does 12 divide ((-7)/s)/((-3)/174)?
False
Let s = -743 - -717. Let f = 54 + s. Is 3 a factor of f?
False
Suppose j - 8438 = -2*q, 36*q = 4*j + 38*q - 33746. Is 148 a factor of j?
True
Suppose -9*g + 486 = 459. Suppose g*h - 1409 = -5*m, -4*m + 1411 = -6*h + 9*h. Is h a multiple of 32?
False
Suppose -2*v - b = -v + 8, -v - 2*b = 12. Let u be 870/18 - v/6. Let h = u + -7. Is 14 a factor of h?
True
Let l be (-3)/(3/2) + 27. Let a = l - 22. Suppose -a*w + 7*w - 352 = 0. Is 9 a factor of w?
False
Let j(l) = l**3 + 4*l**2 - 5*l + 2. Let f be j(-5). Suppose -4*c = -f*b - 4, -c - 4*c + 8 = -b. Does 8 divide 1 + b - (1 + -6)?
True
Let m be -1112*((-1)/(-2) + -1). Suppose 106*c + 1128 = 103*c. Let y = c + m. Is y a multiple of 30?
True
Let c(o) = -2*o**3 + 26*o**2 + 41*o - 23. Let i(r) = -r**3 + 12*r**2 + 21*r - 11. Let h(d) = 3*c(d) - 7*i(d). Is 4 a factor of h(10)?
True
Let m = 86 - 84. Suppose -m*k + 11*k = 27. Suppose -211 = -l + k*z + 166, -l + 363 = 4*z. Is 53 a factor of l?
True
Let f = 41 + -10. Suppose 8*t - f - 1 = 0. Does 43 divide (2 - -8)*6 + t?
False
Let r be (-11)/(-22)*(-1 + 0 + 537). Suppose 4*m + o - 1408 - r = 0, -2120 = -5*m + 5*o. Suppose -11*u + m = -6*u. Is 42 a factor of u?
True
Suppose -2*c + 10 = -24. Let n = c - -182. Is n a multiple of 38?
False
Let v be ((-145)/2 + 0)*40/(-25). Does 67 divide v/(-12)*4*-3?
False
Let s(b) be the first derivative of b**3 - 3*b**2/2 + 10*b - 13. Let q be s(8). Suppose 9*j = 8*j + q. Is j a multiple of 18?
False
Suppose f - 5*f - 1 = o, 0 = o - f - 24. Suppose l - o = 13. Is l a multiple of 25?
False
Let t(h) = -2*h**3 + 33*h**2 - 8*h - 61. Is 252 a factor of t(-11)?
False
Suppose -47271 - 22479 = -3*a. Is 62 a factor of a?
True
Let m(f) = -2028*f**3 - 284*f - 849. Is 15 a factor of m(-3)?
False
Suppose -5*h - j + 4*j - 295 = 0, 0 = -3*h - j - 177. Let i be (-1 + 2)/(3/507). Let b = h + i. Is 22 a factor of b?
True
Let j = 174 + -183. Does 33 divide (1 + j)*(355/(-4))/5?
False
Let m(b) = 3*b**2 - 20*b - 68. Let q be m(32). Does 6 divide 22/18 + -1 - q/(-54)?
False
Suppose s = 30 + 119. Let m = 26 - 99. Let n = s + m. Is n a multiple of 11?
False
Let c = -41649 + 60721. Is 32 a factor of c?
True
Let k be (198/27)/(1/(-18)). Let c = k - -169. Does 5 divide c?
False
Let f be 1/5 - 49644/(-105). Let g = 748 - f. Is g a multiple of 55?
True
Let o be -2*(-3)/(-6)*-3. Let p be (4 + 1)*(51 + o). Suppose -4*i + 3*c + 534 = 0, 5*i + 3*c - 384 = p. Is i a multiple of 22?
True
Does 62 divide (-1797480)/(-285) + 4/76?
False
Let y be 32/112 - (-5)/7. Let m be 20/(-1 - y)*(-1452)/24. Suppose 5*i + 5*p = m, -3*p = 4*i - 219 - 265. Is i a multiple of 24?
False
Suppose -138*s - 77868 = -3*x - 139*s, -5*x - 2*s + 129782 = 0. Is 19 a factor of x?
True
Suppose 4*z - 69071 = -3*q, 0 = 5*z + 4*q - 60477 - 25861. Is z a multiple of 220?
False
Suppose -4*j + 5*p + 109520 = 0, 5367*j - 5372*j + 5*p + 136890 = 0. Is j a multiple of 161?
True
Suppose -28964 + 101192 = 12*q. Is 13 a factor of q?
True
Let d(j) = j**3 - 2*j**2 - 13*j - 2. Let r = -21 + 39. Let l be 102/r + 3*3/27. Does 37 divide d(l)?
False
Suppose -48*k - 32 = -32*k. Is k + 6*(-28)/(-8)*1 a multiple of 19?
True
Suppose -12 = 3*w - 6*w. Is 8/((w/7)/(684/126)) a multiple of 4?
True
Suppose -4*o + 13487 = 4*w - 14121, w = 4*o - 27583. Is o a multiple of 20?
False
Let o(q) = -q**2 + 8*q + 34. Let v be o(11). Does 8 divide 3*(v + (-31)/(-3))?
False
Let s(w) = 4229*w**2 + 55*w - 60. Is 47 a factor of s(1)?
False
Let q be (-3)/(-12) - (-47)/4. Let f be (0 - -1)/(-1 - (-15)/q). Suppose 2*r + 72 = f*r. Does 4 divide r?
True
Suppose 4*m + 7407 = 38347. Let r be m/(-260)*(-3)/(3/(-4)). Let w = 174 + r. Does 5 divide w?
True
Let p = 3456 - 2848. Is 5 a factor of p?
False
Suppose -5*w - 243 = 2*s, 3*w + s = 4*w + 43. Let b(x) = -x**2 - 58*x + 29. Does 26 divide b(w)?
True
Suppose 0*d - 4*b = 3*d + 4, -5*b - 10 = 5*d. Let n(y) = -y**3 - 4*y**2 - 6*y - 4. Let r be n(d). Is (r/70)/(8/7 - 1) a multiple of 2?
True
Let b(g) = 36*g**2 + 100*g - 3662. Does 8 divide b(43)?
False
Suppose -5 = w + g, -4*w + 3*g = -2*g - 16. Does 11 divide 9/(36/(-16)) - 70/w?
True
Suppose 3*m - 5*z = -1235, 3*m + 3*z + 371 = -832. Let x be (-17766)/m - ((-2)/(-15))/(-1). Suppose 0 = -w, 2*c + w - x = 3*w. Is 11 a factor of c?
True
Suppose 6*q - 13*q = -581. Suppose 0 = -q*b + 82*b + 412. Does 61 divide b?
False
Is 4 a factor of 2/(-42) - 7417120/(-3171)?
False
Let n = 88 + -94. Is 3162/16 + -21*n/336 a multiple of 18?
True
Let v be -1 + 0/(-1) - (-6 - -3). Let z be 0*v/8 - 31. Is 8 a factor of (-2 + z)*1/((-12)/64)?
True
Does 164 divide (4/(-7))/(43/(5145896/(-16)))?
False
Let l = -190 - -194. Suppose -l*k + 1432 = -728. Is k a multiple of 60?
True
Let x(u) = -12*u**3 - 4*u**2 - 3*u - 7. Let g be x(-3). Suppose 11*t = t + g. Does 29 divide t?
True
Suppose 12*x - 16 = 20*x. Does 6 divide 777/6 + x/(-4)?
False
Let m be (4 + 49/(-4))*-8. Suppose 9*o + 142 = 13*o + 2*p, m = 2*o - 4*p. Is o a multiple of 24?
False
Let k be (-2 + 1)*-1*-1. Is 8 a factor of (-72)/k*952/102?
True
Let c(k) be the third derivative of -k**6/30 + k**4/24 + k**3/6 - 9*k**2. Let y be c(-1). Suppose -y*l + 7*l - 240 = 0. Does 40 divide l?
True
Let d = -70 - -82. Suppose -3*y = 3*p - d, 0 = -5*y + 6*y. Is -4*(-38)/p*2 a multiple of 6?
False
Let r(t) be the third derivative of -t**6/120 - t**4/24 + 77*t**3/6 + 3*t**2. Let y = -73 - -73. Is r(y) a multiple of 11?
True
Let p(i) = 7*i - 3*i - 8*i**2 + 3 - 3*i. Let b(x) = 4*x**2 - 1. Let w(o) = -5*b(o) - 3*p(o). Is 24 a factor of w(-4)?
True
Suppose -29*h - 2*v + 73649 = -24*h, 58912 = 4*h + 4*v. Is 19 a factor of h?
False
Suppose -4*t - 4766 = -c, 4*c - 205*t = -207*t + 19064. Is 106 a factor of c?
False
Let w be -3*2/51 + 76384/748. Suppose -109*j + w*j = -5236. Is j a multiple of 68?
True
Let z be 1/(3 + -1 + (-21359)/10686). Does 3 divide (-3)/30 - z/(-20)?
False
Let o = -12358 + 22718. Does 20 divide o?
True
Let p be (-18262)/34 - (120/136 - 1). Let i = -422 - p. Is i a multiple of 4?
False
Let a(d) = -d**2 - d + 4. Let x be a(3). Let i = x + 36. Suppose j - 45 = -i. Does 3 divide j?
False
Let a = 2468 - -1942. Is a a multiple of 90?
True
Let f = 477 + -463. Suppose 3*l - 18*p - 130 = -f*p, -44 = -l + p. Is l a multiple of 7?
False
Suppose 4*j - 20 = 0, -j = x + 2*j - 19. Suppose 0 = 3*n + x*v - 141, 0 = -4*n + 2*v + 188. Is n a multiple of 3?
False
Let h(t) = -6*t - 12. Let u be h(-6). Let p(a) = 2*a**2 - 31*a + 42. Is 