3. Let s be (15/(-2))/(2/f). Is 6 a factor of 160/(-6)*(s/10 + -3)?
False
Let t(s) = 10*s**2 + 46*s - 868. Is t(17) a multiple of 4?
True
Let l be -112*(1 + 1/(7/(-13))). Is 8 a factor of (-2 - l/(-40)) + 1646/10?
False
Suppose 0 = 3658*p - 3656*p - 10164. Is 43 a factor of p?
False
Suppose 4*l - 5*k = -4, -4*l = k + 15 + 13. Is (4/(24/(-33)))/(l/36) a multiple of 2?
False
Let g be (-1630)/(-6) + 4*6/(-36). Suppose 4327 = 8*v + g. Is 43 a factor of v?
False
Let j = 49 + -104. Let a = -52 - j. Suppose 0 = -3*o - 0*r - a*r + 153, -o - 2*r + 50 = 0. Does 7 divide o?
False
Suppose 5*g = 45 - 35. Suppose g*b + 2*o = -152 + 514, -5*b + o + 899 = 0. Is b a multiple of 10?
True
Let l = 370 - 322. Is 10 a factor of 4/((4/(-6))/((-3040)/l))?
True
Let a(c) = -2*c**3 + 13*c**2 + 57*c - 188. Is a(-20) a multiple of 8?
True
Let q(d) = 23*d**2 + 81*d - 301. Is q(4) a multiple of 3?
False
Let c(v) = -v**3 - 3*v**2 + 5*v + 5. Suppose -2*y = -4*y - 8. Let m be c(y). Is 30 a factor of 213 + (2 - m - (-16)/(-4))?
True
Let p = -2510 + 581. Is p/(-18) - 6/36 - -1 a multiple of 18?
True
Let w be 77 - -2*3/(-6). Let d be (5/(30/w))/((-8)/(-12)). Let c = 17 + d. Is 8 a factor of c?
False
Is 12 a factor of 1*14087 + 4389/(-399)?
True
Suppose -3*m + a + 148 = -0*m, 5*m - 254 = -2*a. Suppose -295 = -5*w - m. Let v = w - -39. Is 22 a factor of v?
True
Suppose 1 - 5 = 4*s. Let x(b) = 415*b**2 + b. Does 9 divide x(s)?
True
Suppose -10784 = 8*m + 3352. Let x = -922 - m. Does 10 divide x?
False
Let c(w) = 92*w**3 - 2*w**2 + w + 4. Let y be 8 + 42/(2 - 9). Is 52 a factor of c(y)?
False
Let a(n) = -2. Let j(c) = -6*c + 34. Let f(m) = 48*a(m) + 3*j(m). Let t be f(-7). Let v = 146 - t. Is v even?
True
Let m = -67 + 16. Let q = -22 + m. Let l = q - -163. Does 15 divide l?
True
Does 5 divide 696 - ((-1 - 13) + 23)?
False
Is 7 a factor of (2125 - -2)/(5214/(-154) - -34)?
True
Let a(n) = 15*n - 27. Let v be a(3). Suppose 5*q - 1992 = -2*l, -13*l + 3*q = -v*l + 4999. Is l a multiple of 33?
False
Suppose -3*k + 12 = 0, -5*c = 2430*k - 2433*k - 68243. Does 11 divide c?
True
Suppose 4*d = 5*g - 24477, 1296*g - 1301*g + 24491 = 3*d. Is 59 a factor of g?
True
Is (-3787572)/(-270) - (-26)/(-11115)*19 a multiple of 12?
True
Let r be 4 - ((-6)/(-21) + 26/7). Suppose -864 = -r*f - 8*f. Is f a multiple of 12?
True
Let c(k) = 18*k**2 + 9*k - 14. Let b be c(-6). Suppose v + 580 = 4*p + 3*v, -4*p + b = 3*v. Suppose -5*m + 0*m + p = 2*n, 0 = 5*m - n - 145. Does 29 divide m?
True
Let h = 29050 + -16675. Does 5 divide h?
True
Let y(x) = -2*x**3 - 4*x**2 + 3. Let r be y(3). Let q = -216 - -405. Let o = r + q. Is o a multiple of 12?
False
Suppose 26*k + 361852 = 148*k. Does 57 divide k?
False
Is 21017/((-14 - -15)/(1 + 0)) a multiple of 18?
False
Let g(w) = -10*w - 53. Suppose -3*z = -2*x - 41, -3*x + 5*z - 101 + 37 = 0. Does 11 divide g(x)?
True
Let k be (156/(-21))/(-2) - (-4)/14. Suppose -4*j = -k*v - 4008, 4*v + 32 = 20. Does 37 divide j?
True
Let l be (-2)/(-6) - 8200/(-24). Suppose a = -6*a + 28. Suppose -18 - l = -a*b. Does 9 divide b?
True
Suppose -3*w = 0, 39549 = 4*m - 5*w - 1931. Is m a multiple of 17?
True
Is 16 a factor of (-297)/((-4)/((-36)/(-3)))?
False
Suppose 2*w - 2*l - 10 = 0, -4*l - 15 = 2*w - l. Suppose 31*f - 2197 - 3228 = w. Is 6 a factor of f?
False
Suppose 5*t + 9 = 29, 3*d + 4 = t. Suppose d = 4*a + m - 886, -2*a = -2*m - 3*m - 454. Is 40 a factor of a?
False
Let p(g) = g**2 - 17*g + 208. Let m be (-207)/(-36)*(3 - -1). Is p(m) a multiple of 12?
False
Let b(v) = 301*v - 840. Is 11 a factor of b(6)?
False
Suppose 129 = n + 43. Let g = -80 + n. Suppose 1832 = 2*q + g*q. Is 15 a factor of q?
False
Suppose 0 = 4*t - 4*s - 178876, 1270*t + 5*s - 223525 = 1265*t. Is t a multiple of 162?
True
Suppose -2*u = -2*q + 1408, -2*q = 2*u - 129 - 1279. Is q a multiple of 44?
True
Let s = -42769 + 60464. Does 78 divide s?
False
Let n(m) = 128*m**2 - 31*m - 254. Does 3 divide n(-12)?
False
Let c(g) = 933*g - 3107. Is c(6) a multiple of 171?
False
Suppose -6*l - 2149 = -52801. Is 63 a factor of l?
True
Let o(i) = 101*i - 212. Let c be o(10). Suppose -5*u = d - 212, 4*d + 0*d - 5*u = c. Does 8 divide d?
False
Does 96 divide (42611/2 - -2) + 14*18/56?
True
Let z be 4/(-26) - 4125/143. Let p = 34 + z. Suppose v - 75 = -p*u, 4*u + 5*v - 38 = 22. Is u even?
False
Suppose 26 = -9*x - 10. Let t be (45/10 + x)*2. Is (-1 - t - -18) + (-2 - 2) a multiple of 2?
True
Suppose 25 = -9*t - 461. Let q = t - -56. Suppose -q*m + 39 = -169. Does 13 divide m?
True
Suppose 3*i = -i - 88. Let n = i + 51. Suppose k - n = 91. Is 24 a factor of k?
True
Let d = 4751 + 1178. Is d a multiple of 127?
False
Let p be 6*1/2 - -2. Suppose 0 = p*q + 3*r - 27 + 8, 0 = 5*q - 2*r - 4. Suppose 0 = -4*y - 3*i + 22, q*y - 3*y + i + 9 = 0. Is y a multiple of 2?
False
Let h = 1855 - -1090. Is 19 a factor of h?
True
Let v = 57040 + -25232. Is 14 a factor of v?
True
Let t = -74 - -39. Let n = -37 - t. Let g(w) = -81*w + 7. Is 15 a factor of g(n)?
False
Let u be -5*1/(-5) + 5. Suppose u*m + 192 = 42. Is 190/4*(-20)/m a multiple of 9?
False
Let g(n) = -163*n + 152. Let h be ((-1)/2)/((-46)/12 + 4). Does 12 divide g(h)?
False
Let p(d) = -d**2 - 22*d + 43. Let z be p(-14). Suppose -8*g + 149 = -z. Does 35 divide g?
False
Suppose -6430 = -166*i + 176*i. Suppose 4*m + 5*x = -1473, -6*x + 12 = -2*x. Let b = m - i. Does 54 divide b?
False
Suppose 912*i - 779*i = 1849232. Is 44 a factor of i?
True
Let i = -60 + 64. Suppose -g + 11 = -9. Suppose -m + i*o + 16 = -30, g = -5*o. Does 18 divide m?
False
Is (-13 + 21)*802 + 0 + -9 a multiple of 50?
False
Let u = 7400 + -7165. Let k(c) = -4*c**2 - c - 6. Let f be k(-6). Let y = f + u. Is y a multiple of 12?
False
Let j be (-539)/88 - (-1)/8. Let k = 2 + j. Is k*(3/12*0 - 25) a multiple of 10?
True
Let o(y) = -y**3 - 12*y**2 - 3*y - 12. Let g be (-2 + -1)/(-3) + 13 + -26. Is 4 a factor of o(g)?
True
Let p = -17278 - -18645. Is p a multiple of 96?
False
Let l = 3606 + -2458. Let f = l + -772. Suppose 12*x - f = 8*x. Is 13 a factor of x?
False
Does 66 divide 2946 - ((13 - 16) + 1/(-1))?
False
Suppose 0 = 7*t - 1474 - 3090. Let r = t - 439. Is r a multiple of 8?
False
Suppose 8*t + 38 - 126 = 0. Let x(o) = -o**3 + 9*o**2 + 21*o + 16. Let b be x(t). Suppose b*q - 15*q + 30 = 0. Is q even?
False
Suppose -4*t + 56*d + 6661 = 55*d, -d = -t + 1663. Is t even?
True
Let v(g) = 17*g**2 - 11*g + 10. Let b be v(-5). Let p = 1 + b. Is 12 a factor of p?
False
Let v(r) = r**2 + 6*r - 70. Let h be v(6). Suppose n = 2*k - 629, -7*n = -h*k - 2*n + 625. Is 35 a factor of k?
True
Suppose j = -4*s + 27, -5*s - 2*j + 40 = -7*j. Suppose -c = -s*c. Suppose c = p - 10. Is p a multiple of 7?
False
Suppose -23*f - 16032 = -3*y - 21*f, 3*y = 3*f + 16029. Does 9 divide y?
True
Suppose 65*b = 55*b - 40. Let j(w) = -194*w + 54. Does 42 divide j(b)?
False
Let q be 954 + 9/9 + 4. Let s = 1386 - q. Is 3 a factor of s?
False
Suppose -2*y = 4*o + 401 - 1697, 2*y - o - 1301 = 0. Let f = y - 464. Does 62 divide f?
True
Let m = -4165 - -9336. Is 6 a factor of m?
False
Let p(z) = 71*z**2 - 324*z + 154. Does 89 divide p(27)?
True
Let p be (72/66)/6 + (-603)/(-11). Suppose -p + 775 = 10*h. Does 4 divide h?
True
Suppose -48*o + 138*o - 81950 = -20*o. Does 4 divide o?
False
Suppose -40 = -3*x + 47. Suppose -x*n = -31*n + 72. Suppose 284*j - 285*j + n = 0. Does 13 divide j?
False
Let r(p) = -721*p**2 + 36*p - 17. Let n(f) = 361*f**2 - 17*f + 8. Let c(z) = 13*n(z) + 6*r(z). Does 13 divide c(1)?
True
Suppose 0 = 3*l - 3*p - 2037, 4*p - 3388 = -5*l + 2*p. Let i = l + -98. Is i a multiple of 14?
False
Is 8 a factor of 1/11 + (127386/99)/14?
False
Suppose 146044 + 378200 = 79*c. Is 28 a factor of c?
True
Suppose 2*u = 5 + 5. Let o(j) = 2*j**3 - 13*j + 17. Is 6 a factor of o(u)?
False
Is 33 a factor of (1 - (-6)/((-168)/10577))*-24?
True
Let p be (-72)/(-3) + 3 - 4. Let v(r) = -r**2 + 16*r - 53. Let g be v(p). Let d = -151 - g. Is d a multiple of 7?
True
Let s(w) = w + 25. Let k be s(-20). Let c be (k - 12)/(1/(-11)). Let b = c + -24. Is b a multiple of 21?
False
Let b be (4/4)/(2/(-6)). Let m be 60 - (0/b + (-4 - -1)). Does 7 divide m + (4 + 1 - 4)?
False
Suppose 28*g - 325764 = 300316. Is g a multiple of 86?
True
Let h be 2/(-11) - (-2720)/440. Is