 Suppose -b + w - 8 = 0. Suppose 0*c - 4*c = b*l - 41, -3*l + 35 = 5*c. Does 2 divide l?
False
Suppose -2*s + 14 = 2*o, -2*o + 7 = o - 4*s. Suppose -o*v = 20, 2*v - 7*v = 3*j - 106. Is j a multiple of 6?
True
Suppose 7*s = 4*s. Is 12 a factor of s + 298/1 + 2?
True
Is 178 a factor of -1 + (-28)/(-35) - 2216369/(-95)?
False
Let a(x) = -38*x + 36. Let h be a(-17). Let w = h + -377. Is 61 a factor of w?
True
Suppose 58*h + 63*h = 48642. Is h a multiple of 201?
True
Let g = 111 - 109. Suppose 185 = -r + 4*v - 243, -3*r - 1284 = 3*v. Does 30 divide r/(-6) + -2*g/12?
False
Let r(o) = o**3 - 7*o**2 - 4*o - 22. Let t be r(12). Suppose -2*d + t = -12*d. Let u = d + 86. Is u even?
False
Let p(w) = -614*w - 2708. Does 71 divide p(-28)?
True
Suppose -1750 = -11*g - 14*g. Let a = g - -567. Is a a multiple of 49?
True
Let r(l) = 43*l**2 + 3*l + 1. Let f be r(-1). Suppose -35*n - 390 = -f*n. Is 11 a factor of n?
False
Does 2 divide (-388849)/(-473)*(17 - 6)?
False
Let t(c) = -102*c + 602. Let z be t(6). Let u = -22 + 36. Let j = u - z. Is j a multiple of 24?
True
Let k(p) = -1638*p - 2052. Is k(-8) a multiple of 54?
False
Is 39 a factor of (16731/(-156))/(1/(-60))?
True
Suppose -67*w - 67*w = 6*w - 151620. Does 13 divide w?
False
Let i(g) = g**3 + 3*g**2 - 4*g - 9. Suppose -15 = -4*r - 27. Let j be i(r). Does 4 divide 15 + (-2 - j/(-1))?
True
Let r be (-11508)/14*3/(-2). Suppose 8*u = -u + r. Let v = u - 129. Is v a multiple of 8?
True
Suppose 4*o = -58 + 74. Suppose -2*c + o*g + 1522 = 422, 2*c = 2*g + 1096. Is 14 a factor of c?
True
Let q = -34249 + 41263. Does 39 divide q?
False
Let p be 8 + (0 - (-2)/4*-2). Suppose -9*i + p*i = 2. Is i - (-1)/(1 + 192/(-195)) a multiple of 32?
True
Does 26 divide 5110632/624 + 15/(-130)?
True
Suppose 7*f = 130 - 46. Let z(w) = 6 - 4*w - 38 + f + 5. Is 2 a factor of z(-5)?
False
Let i = -24 + 32. Let d be 20/i + (-2)/(8/2). Suppose -d*t + t = -33. Is t a multiple of 24?
False
Let m(u) = 8*u**2 - 79*u - 12. Let s be m(10). Is ((-35)/10 - s)/((-2)/336) a multiple of 28?
True
Suppose -66*t + 81422 + 115918 = 0. Is 70 a factor of t?
False
Suppose 4 = 4*r + 4*f, -3*r + r + 3*f - 3 = 0. Let s be (-8)/(-2)*-1 + r + 5. Is 2862/36 - s/2 a multiple of 15?
False
Suppose 5*r + 55671 = 2*m, r - 55351 = -4*m + 56068. Is 161 a factor of m?
True
Let n be (-8 - -3)*(-1 + 0). Let c be n + 20/4 + -7. Suppose 3*s + c*w - 588 = 0, s - 170 - 21 = -2*w. Is s a multiple of 14?
False
Let u(c) = -16*c**3 - 2*c**2 + 6*c + 13. Let q be u(-2). Is 27 a factor of 2/11 - ((-52371)/q + 1)?
True
Suppose 2*z - 2*y = 39542, 557*z = 559*z - y - 39544. Is 128 a factor of z?
False
Suppose 4*u = -3*i, 3*u - 3*i = -i. Let r(w) = 2*w + 5*w**2 - 3*w - 3*w**2 - 3*w**2 + 10. Is r(u) a multiple of 5?
True
Let x(r) = -r**2 + 34*r + 17. Let n be x(11). Suppose 0 = -5*c + n + 945. Suppose 5*f + h = c, 5*f + 4*h - 90 = 3*f. Is 7 a factor of f?
True
Let u(t) = 167*t**2 + 180*t - 923. Is 40 a factor of u(5)?
False
Suppose 0 = -3*n - 3*n + 720. Suppose 2*w = 4*s + n, 3*s - 273 = -w - 3*w. Suppose 0 = o - 5*y - 148, -3*y + w = 2*o - 204. Is o a multiple of 23?
True
Let i be (-34)/85 + 44/10. Suppose i*h - 7 = 21. Is 36 a factor of 8/(-6)*(-101 - h)?
True
Suppose 0 = 40*r - 35*r + 35. Is 3 a factor of (1600/(-30) + r)/((-3)/9)?
False
Let h be 17/(-68) + (1 - 2/(-8)). Suppose 4*r - 28 = 4*k, -r - k + h = -2. Suppose r*g - 109 = 86. Is 7 a factor of g?
False
Suppose 5*r = -4*p - 0*p + 486, 3*r + 6 = 0. Let x = -64 + p. Is 10 a factor of x?
True
Let f = -18 + 12. Let r(q) = -2*q**2 - 7*q + 32. Let s be r(f). Does 7 divide ((-7 - -4) + s)/(1/(-48))?
False
Let u(g) = -g - 8. Let s be u(-8). Suppose -7920 = 72*h - 83*h. Suppose s = -y - 9*y + h. Is y a multiple of 24?
True
Let o = -1342 + 3432. Is 14 a factor of o?
False
Let w be -3 - (-3 + 1 + -3). Let l = -76 + w. Let m = l - -106. Is 3 a factor of m?
False
Suppose 5*f - 10*f + 51168 = -2*f. Does 180 divide f?
False
Does 208 divide 36/(-270) - (18418624/60)/(-8)?
False
Suppose 5*n = -x + 2535, -x + 10197 = 3*x + n. Does 17 divide x?
True
Let g = 4899 - 3375. Is 12 a factor of g?
True
Suppose 5*r - 5*j = 35, 5*r + 7 = -4*j - 3. Suppose r*n = -5*z - 47, -5*n - 8*z + 3*z - 110 = 0. Does 25 divide (-6)/n + -922*4/(-28)?
False
Let m be (-9)/(-3 + 2) - (-13 + 16). Suppose 5 = m*s - 13. Suppose -3*i - 5*w + 376 = 0, -4*i = -s*w - 184 - 298. Does 11 divide i?
False
Is 19 a factor of (735/(-6))/((-265)/42930)?
False
Let y = 15029 + -12611. Is 39 a factor of y?
True
Suppose -1 = -4*h + 3, 3*h + 1 = 2*u. Suppose -x + 1 = 0, u*x + 1562 + 236 = 3*y. Is 30 a factor of y?
True
Suppose -10*g + 7734 + 3626 = 0. Suppose -9*w + 1375 + g = 0. Does 31 divide w?
True
Let j(k) = 30*k**3 + 7*k**2 + 7*k + 8. Let o be j(-3). Let s = -483 - o. Is s a multiple of 37?
False
Let b be -1 - -2 - (5/(-1) - 3). Suppose b*r - 17 - 37 = 0. Is 11/(-33) + 8/r*58 a multiple of 43?
False
Let b(j) = 3*j**2 + 55*j + 15. Let l be (-18)/3*(-35)/(-10). Does 41 divide b(l)?
False
Suppose 11886 = 2*p + 2*l, 3*p - 5*l = 12502 + 5359. Is 20 a factor of p?
False
Let k(y) = y**3 - y**2 + y + 5. Let x be k(0). Suppose -x*d - s = -4*s - 240, -4*s - 31 = -d. Let f = -43 + d. Is f even?
True
Suppose 10*s + 24 = x + 15*s, 0 = -5*x - s + 72. Suppose -x*q - 118 = -15*q. Is 10 a factor of q?
False
Suppose -2*y - 42 = -5*b, -4*y + 4*b - 40 - 56 = 0. Let w = -26 - y. Suppose 2*a + c + 0*c - 29 = w, 3*c - 15 = 0. Is 9 a factor of a?
False
Let w(k) = 14*k + 7. Let d = -21 + 33. Let h = 19 - d. Is 21 a factor of w(h)?
True
Let g(z) = 30*z**3 + 2*z**2 - 39*z + 126. Is 11 a factor of g(7)?
True
Let p(k) = k**3 + 2*k**2 + 6*k. Let j be p(-5). Let z = -28 - j. Suppose 4*r - 3*r = -3*v + z, 106 = 4*v + 2*r. Is 4 a factor of v?
True
Suppose -4*s + 17*f = 11*f - 1026, -801 = -3*s + f. Suppose 2*q - q = 491. Let t = q - s. Does 29 divide t?
False
Is (-3)/(-8) - (104/(-65) + 1451526/(-240)) a multiple of 110?
True
Let q(l) = -17*l - 3. Suppose -4*j + 11 = 3*y, 5*j + 15 = y + y. Let m be q(j). Suppose 0 = -4*n + 4*p + 72, 3*n + p + m = 64. Is n a multiple of 12?
False
Let k(s) = 67*s - 5536. Is k(96) a multiple of 2?
True
Suppose -j + 15473 = 3*p, 2*j - 21*p - 30955 = -26*p. Is j a multiple of 5?
True
Let g = 3385 - 1424. Is g a multiple of 16?
False
Does 8 divide (-912)/(-760) + 5154/5?
True
Is (((-5010)/(-8))/5)/((-1059)/(-39536)) a multiple of 97?
False
Suppose -9716 = -2*v + 2*h - 934, -h + 13153 = 3*v. Is v a multiple of 86?
True
Let i(q) = -q**3 - 55*q**2 - 107*q - 47. Let s be i(-53). Is 12 a factor of ((-8)/s)/(-3 + 4424/1476)?
True
Let f be (-168)/6*87/(-12). Suppose 5*o = -2*t - 0*t - 590, 5*t + 489 = -4*o. Let s = f + o. Is s a multiple of 29?
True
Is 857/(-1)*(9/(-9) + 0)/1 a multiple of 16?
False
Let t = -14 - -18. Let a = t + -36. Let s = a - -58. Does 13 divide s?
True
Suppose 9325 - 1597 = 14*z. Suppose -27*y = -25*y - z. Does 23 divide y?
True
Let z = -83 - -77. Let a be -78*z/12*(-2)/6. Let r(b) = -2*b. Is r(a) a multiple of 13?
True
Let s(j) = -186*j - 37. Let p = 45 - 48. Does 14 divide s(p)?
False
Let t(n) = -4*n**2 - 17*n + 2. Let d be t(-12). Let x = 328 - d. Is 20 a factor of x?
False
Let w = -320 - -8960. Is w a multiple of 160?
True
Let w(p) = 7*p + 56. Let r = -151 + 145. Is 14 a factor of w(r)?
True
Suppose 5*i + 8*d = 9*d + 124, -5*i + 112 = 2*d. Is (i/15)/(4/410) a multiple of 34?
False
Let i(w) = 1277*w**2 + 85*w - 175. Is 25 a factor of i(2)?
False
Let m(t) = -3637*t - 1394. Does 196 divide m(-2)?
True
Is 2 a factor of (-3418)/11*(-1001)/182?
False
Let l be (-340)/272*284*1. Let r = l - -640. Is r a multiple of 95?
True
Suppose 4*c - 2*u = 1034, u = -0*c - 2*c + 507. Let w = c - 172. Does 6 divide w?
True
Let o be -255 - (0 + (-4 - -3)). Is o/(-4) + ((-552)/(-16))/(-23) a multiple of 62?
True
Let n(l) = 2*l**3 - 46*l**2 + 61*l - 92. Is 22 a factor of n(23)?
False
Suppose 0 = -2*p, -4*c - 9*p + 4*p + 411 + 17905 = 0. Does 5 divide c?
False
Let l = 6952 - 3456. Does 76 divide l?
True
Let q(v) = -71*v + 713. Is 53 a factor of q(-27)?
False
Let t be 0*2/((-10)/(-5)). Suppose t = 3*s + 72 - 18. Let j = s - -27. Does 2 divide j?
False
Let x(i) = 26*i**2 - 2*i + 14. Let g(y) = 39*y**2 - 3*y + 21. Let u(s) = -5*g(s) + 8*x(s). Is u(3) a multiple of 49?
False
Suppose -2*j - 8