0). Let f = c - 12. Suppose -5*l + 3*b = b - 101, 4*l + 4*b - f = 0. Is 6 a factor of l?
False
Suppose -11*g + 95450 = 7*g + 32*g. Is 11 a factor of g?
False
Does 136 divide -3*(-218961)/30 - (-18 + 362/20)?
True
Let s(a) = -274*a - 2944. Is s(-68) a multiple of 10?
False
Suppose -2*t - 15624 = 10*t. Is (-2)/5 - t/155 a multiple of 7?
False
Let v = 39105 + -21447. Is 109 a factor of v?
True
Is 194546233/7396 + 1 + (-5)/4 a multiple of 48?
True
Suppose 10*f - 14 = 3*f. Suppose x = h - 2, f*h = 3*x - 0*x + 4. Suppose x = -14*w + 12*w + 30. Does 10 divide w?
False
Let d be (-4 - -43)*12/18. Suppose d*y + 1609 = 6185. Is 13 a factor of y?
False
Is (6/(-1) - (-480)/84)*(-263626 + -15) a multiple of 17?
False
Let h = 19 + -34. Is (-2784)/h + (-9)/15 a multiple of 31?
False
Suppose 71*t - 13086 = 72540. Is 9 a factor of t?
True
Let b = -3466 + 5685. Is b a multiple of 6?
False
Let p = -22 - -6. Let r = -11 - p. Suppose 37 = 4*b - c, 0*c = r*b - c - 47. Is b a multiple of 6?
False
Suppose 0 = -2*o + 35 + 1. Suppose -o*y - 22*y + 7280 = 0. Does 38 divide y?
False
Suppose 11957 - 2525 = -4*f. Let v = -1089 - f. Is 27 a factor of v?
True
Let v(f) = 2*f**3 - 29*f**2 - 45*f + 127. Is v(23) a multiple of 49?
True
Suppose -i = -5*z + 630, -2*i + 4*z = -4*i - 1316. Let n = -436 - i. Is n a multiple of 8?
False
Let r = 9105 + -8122. Is 41 a factor of r?
False
Let w(v) = 9708*v + 721. Is w(3) a multiple of 78?
False
Let r = -18459 - -33776. Is r a multiple of 25?
False
Suppose 41*l + 175416 - 156777 = 902599. Does 49 divide l?
True
Suppose -d - 4922 = -3*u, -5*u + 8*d - 7*d + 8202 = 0. Suppose -8*k + 6584 + u = 0. Does 107 divide k?
False
Let p(z) = 8*z**2 - 74*z + 94. Is 6 a factor of p(29)?
False
Let l be 5*(-7)/((-35)/6). Suppose 0 = -0*i + l*i - 288. Suppose 0 = -5*d + 32 + i. Is d a multiple of 3?
False
Suppose 4*q - u = -3*u + 25918, -2*q + 12955 = 5*u. Does 6 divide q?
True
Suppose -2*n - 5 = 3, -3*r - 5*n + 4 = 0. Let s(v) = 10*v**2 - 8*v + 38. Is 21 a factor of s(r)?
False
Let s(v) = -431*v + 421. Is s(-10) a multiple of 21?
False
Let r(l) = -5*l - 24. Let y be r(-15). Let j = -6 + y. Suppose 0 = 3*p - 51 - j. Is p a multiple of 4?
True
Let f = 28808 + -20682. Is 34 a factor of f?
True
Let r(g) = 2*g**3 - 28*g**2 - 25*g - 26. Let y be r(15). Let z = y - -571. Is z a multiple of 31?
True
Let n = 2579 + 7740. Is n a multiple of 36?
False
Let l = 114 - 179. Let a be (-4)/4*1494/(-18). Let f = a + l. Is 6 a factor of f?
True
Suppose 18*j - 41056 = -14*j. Is j a multiple of 40?
False
Let u = -47203 + 52012. Is 21 a factor of u?
True
Let u = 1389 + 370. Suppose -4*v + 5*y + u = 0, -2*v + 881 = -0*v - 3*y. Is 14 a factor of v?
False
Let w = -33531 + 53704. Does 8 divide w?
False
Suppose 4*i = -4*s - 12, s = -2*s + 5*i + 31. Let o(v) = 10*v - 100. Let f be o(10). Suppose -4*u = f, s*z - 3*u = z + 30. Does 15 divide z?
True
Suppose 4*j = 5*j - 45. Let c = 50 - j. Does 7 divide 5 - (-5 + -9) - c?
True
Suppose -25*a + 46308 - 5645 = 863. Does 4 divide a?
True
Does 2 divide -91*(270/21)/(-5)?
True
Let v(j) = 21*j**2 + j + 4. Let c be (-132)/(-34) + 6/51. Let k be v(c). Let n = k - 192. Is n a multiple of 35?
False
Suppose 24*o + 94 - 262 = 0. Suppose 0 = 4*w - o*w + 204. Does 3 divide w?
False
Let i = -28 + 64. Suppose 31*w - i*w = -20. Suppose 0*c + 4*r - 120 = -3*c, w*r + 120 = 3*c. Is c a multiple of 20?
True
Suppose 5*t - 752 = -11*t. Let a(b) = -b**3 - 7*b**2 - 2*b - 5. Let g be a(-6). Let m = t + g. Is m a multiple of 5?
False
Suppose -a + 5 = 0, -5*t + 0*a = 5*a - 45. Suppose -t*n = -5*f - 752, -7*n + 2*f + 376 = -5*n. Is 4 a factor of n?
True
Suppose 2*p + 2*p = -4, 0 = -5*c - 3*p - 198. Let o = c + 31. Does 28 divide (-46)/o*(-8 + 16)?
False
Let w be (-2342)/(-34) - 244/(-2074). Suppose -17 - 34 = -l. Let u = w - l. Is 3 a factor of u?
True
Let c = -192 - -252. Suppose 63*v = c*v + 438. Does 31 divide v?
False
Is 6 a factor of ((-48)/56)/((-16)/33712)?
True
Let v(u) = 2*u + 37. Let i be v(-11). Let l be (i/(-2))/((-6)/8). Let p = l + 44. Is 34 a factor of p?
False
Let p(j) = -37*j - 241. Let a be p(-7). Let i = 191 + a. Does 53 divide i?
False
Suppose -5*l - 809 + 3424 = 0. Let q(v) = v**3 + 7*v**2 + 12. Let n be q(-7). Suppose 41 = n*f - l. Does 18 divide f?
False
Does 26 divide 4/(-18) - (-14 + 6896/(-9))?
True
Let a(c) = -6*c + 11. Let w be a(-7). Let v = w + -56. Let p(q) = -3*q**3 + 3*q**2 + 3*q + 3. Is 17 a factor of p(v)?
True
Let r(n) = n**3 + 15*n**2 + 30*n + 14. Let z be (1 + (-1)/3)/(1/(-18)). Let j be r(z). Suppose -3*k + 61 = -j. Is 9 a factor of k?
False
Let b be ((-1)/(-3) - 0) + 130/15. Is 22 a factor of b*(-6)/9 - -116?
True
Let p(b) = -18*b**3 + 9*b**2 + 11*b + 6. Let y = 365 - 369. Is 77 a factor of p(y)?
False
Let y = 34 - 30. Suppose 0 = y*i - i - 5*o - 35, -5*i = o - 21. Suppose i*a + j = 541, 0 = 3*j + 1 - 4. Is 27 a factor of a?
True
Let h(i) = 870*i**3 + 5*i**2 + 5*i - 4. Let t(s) = s - 1. Let w(l) = -h(l) + 2*t(l). Is w(-1) a multiple of 58?
True
Let d(o) = -o**3 - 17*o**2 + 40*o + 42. Let k be d(-19). Suppose k*g = -5*p + 6*p + 2482, 2*p - 2476 = -4*g. Does 44 divide g?
False
Suppose -18*a - 5 = 31. Does 35 divide (-2027)/a + (-3)/(-2) + 0?
True
Let r be ((-8)/5)/((-50)/2125). Let g = -165 + r. Let u = g + 145. Does 12 divide u?
True
Let d(f) = 14*f**2 + 29*f - 18. Let c(o) = -12*o**2 - 30*o + 17. Let b(v) = -4*c(v) - 3*d(v). Does 55 divide b(-11)?
False
Let s = -1114 - -2064. Does 10 divide s?
True
Let k(b) = -9*b**2 - 8*b + 129. Let q be k(9). Does 16 divide q/(-7) - (2 + 1 + -3)?
True
Suppose -3*t - 21*u = -25*u - 6365, 4*t = 2*u + 8500. Is 3 a factor of t?
True
Suppose -2*d - 30 = -8*d. Is 13 a factor of 3270/(30/d) - 0?
False
Suppose k - 9343 = -4*l, 4*l + l + 4*k - 11665 = 0. Is 41 a factor of l?
True
Suppose -4*w + 209*j - 210*j + 115 = 0, -w + 6 = -3*j. Is w a multiple of 2?
False
Let u = -2000 - -3301. Is 39 a factor of u?
False
Let g = -40 - -37. Let z be (2 + g)*-48 - 4. Suppose -3*a + z + 61 = 0. Does 7 divide a?
True
Suppose -14*c = c - 1275. Let m = c - 55. Is m a multiple of 9?
False
Let i(o) = 375*o**2 - 36*o + 33. Is 89 a factor of i(1)?
False
Let h(d) = -5*d + 24. Let l be h(-6). Is 88*(-6 + l/8) a multiple of 5?
False
Suppose 3 + 4 = s. Suppose s*j = 999 - 110. Is j a multiple of 21?
False
Let k(f) = 5*f**2 - f - 6. Let n(y) = -y**3 - 9*y**2 + y + 20. Let l be n(-9). Suppose 4*z + 5*g = l, z - g + 1 = -6*g. Does 35 divide k(z)?
True
Suppose -3*o + 4 = 7. Let d be o/(-2*(-3)/(-348)). Let m = d + -22. Is m a multiple of 18?
True
Does 99 divide (1 + 1 - -2602)*(6 + (-198)/(-88))?
True
Suppose 13*v + 76 = 154. Suppose -2*w - v = -5*w, -5*w = 3*y - 934. Does 5 divide y?
False
Let g(o) = o**2 + 25*o + 8. Let i be g(-37). Let t = 1076 - i. Does 52 divide t?
True
Suppose 3*k + 502 = 4*m, -3*k = -5*m + 399 + 104. Let y = -93 - k. Suppose 78*z - y*z = 560. Is z a multiple of 7?
True
Let j(x) = -59*x - 427. Let r be j(-7). Let g(b) = 3*b**2 - 36*b - 29. Is 16 a factor of g(r)?
False
Let p(z) = -13*z**2 + 41*z - 6. Let l be p(3). Suppose 3*g - 4*v - 143 = l, -98 = 80*g - 83*g - 5*v. Does 21 divide g?
False
Is 56 a factor of 19/(95/50) + 1513?
False
Suppose 269*r = 272*r + 5*j - 10149, j = r - 3399. Is r a multiple of 13?
True
Suppose -47*j + 51*j = -2996. Let k = j + 1554. Is k a multiple of 35?
True
Let m = -39 + 44. Suppose -m*p + 54 = -111. Let c = 18 + p. Is c a multiple of 14?
False
Suppose -3*k + 4*h - 343 + 2095 = 0, -4*h + 2920 = 5*k. Let w = 13 + -8. Suppose -k + 199 = -w*d. Is 33 a factor of d?
False
Let g = 8038 + -5093. Is 36 a factor of g?
False
Let m be 360/4 + (0 - 6/3). Let l = 81 - m. Is (53 - 0) + l + 10 a multiple of 14?
True
Let k be 9958 + (13 - 4) + -6*1. Suppose 506*a = 499*a + k. Does 12 divide a?
False
Let l(m) = 4*m**2 - 11*m - 21. Let b be l(-2). Suppose 16*q = b*q - 350. Does 35 divide q?
True
Let u(l) = -458*l - 1588. Does 17 divide u(-6)?
False
Let q(h) = 3663*h - 254. Is q(3) a multiple of 138?
False
Suppose 0 = -z + 2*r + 784 + 744, -2*z + 3076 = r. Is z a multiple of 2?
True
Suppose 4*n = 4*b - 2752, -5*b - 909 = n - 221. Let k = 1249 + n. Is 51 a factor of k?
True
Let v = 309 - 305. Is v/28 - (-1 + 336/(-49)) a multiple of 2?
True
Suppose 4*q - t = 175, 4*q + 0*t + t - 185 = 0. Let f