vide f?
True
Suppose 208*b - 1253646 + 113769 - 450075 = 0. Is b a multiple of 42?
True
Suppose 4*a + 691 = -3*i - 0*a, 1141 = -5*i - 4*a. Suppose 4*v + 342 = v. Let y = v - i. Is y a multiple of 43?
False
Does 13 divide (-13 - (-70)/5) + 2 + 44618?
False
Suppose -p = 4*r - 5*p + 4, -4*r = -p - 5. Is 1/r*11112/12 a multiple of 40?
False
Let u be (-5 - 28/(-6))*45. Let y = u - -60. Is 16 a factor of y?
False
Let j(p) = -3*p**3 - 7*p**2 + 22*p + 498. Is j(-16) a multiple of 55?
False
Let o = -37 + -16. Let d(s) = -13*s + 81. Let i be d(12). Let r = o - i. Does 3 divide r?
False
Suppose -z + k + 2 = -80, 3*z - 244 = 2*k. Is 3 a factor of z?
False
Suppose 5677 = 5*o - 10683. Is o a multiple of 18?
False
Suppose 20607 = 4*l - 22917. Is 117 a factor of l?
True
Suppose -3*f - 41911 = -10*w + 6*w, 5*w + f = 52403. Is w a multiple of 16?
True
Suppose -71781 = -76*a + 70415. Is 8 a factor of a?
False
Does 18 divide 4124/(((-56)/(-8) - 4) + 50/(-18))?
True
Suppose -120 = 2*t - 5*t. Let y be t/(-4)*3 + 3. Let p = 40 - y. Is p a multiple of 9?
False
Suppose 5*o - 7930 = 5*f, -3*o = -10*f + 11*f - 4734. Is 25 a factor of o?
False
Suppose 0 = -2*o + 3*f + 2*f + 87, -3*o + 117 = -3*f. Suppose o = 4*k - 4*i, -4*i - 2 - 27 = -3*k. Suppose -12*j = -k*j - 315. Is 18 a factor of j?
False
Is ((-130)/(-20) - 12)*-152 a multiple of 22?
True
Let q be (-7 - -17) + -4 - (1 + 2). Let i(h) = -q*h**2 + 2*h + 6*h**2 + 9 + 25. Is 26 a factor of i(-6)?
True
Let j = -12131 + 21357. Is j a multiple of 14?
True
Suppose 0*m = 7*m - 21. Does 10 divide 4 - -309 - (m + 0)?
True
Let t = 32808 + -27678. Is t a multiple of 36?
False
Suppose -470*m - 7 = -469*m. Is (-1421)/m + 6/(-2) a multiple of 62?
False
Suppose -53*v - 8*v - 31*v + 853392 = 0. Does 12 divide v?
True
Suppose -3*y + 10*y + 16411 = 8*y. Is y a multiple of 4?
False
Let t(h) = h**3 - 45*h**2 + 240*h + 116. Is 11 a factor of t(40)?
True
Let l be (-2)/(16/132)*-18. Let p be -2 - (-17)/(1/((-5)/(-1))). Suppose -p = -y - 2*a + a, -4*y + 3*a + l = 0. Does 13 divide y?
True
Let h be 200/(-30)*84/(-10). Suppose 0 = -3*n + 2*s + 55, n - s = -4*s + 11. Suppose 19*y = n*y + h. Is 4 a factor of y?
True
Let j = -19 - -22. Suppose j*f + 5*l = -0*l + 14, 0 = l - 4. Is 10 a factor of 120/(-42)*7/f?
True
Suppose -73*q + 222*q - 786940 = -96*q. Is 44 a factor of q?
True
Let c(b) = -b**2 - 9*b - 18. Let d(g) be the first derivative of -g**3/3 - 5*g**2 - 18*g + 25. Let y(u) = 4*c(u) - 5*d(u). Does 5 divide y(-13)?
True
Does 7 divide (3255 - -2)/((3 - -10)/13)?
False
Suppose 6 = 4*o - 2. Let i(y) = -7*y**2 - y**3 + 20*y**o - 7*y - 5*y**2 + 4. Is i(4) a multiple of 9?
False
Let q(p) = -p**2 + p. Let j(r) = 3*r**2 - 8*r + 2. Let z(d) = j(d) + 2*q(d). Let n be z(6). Suppose -n*h = -7*h - 4*y + 40, -5*y = -5*h + 40. Does 4 divide h?
True
Suppose -5*i - 4*r - 2063 - 290 = 0, -4*r + 485 = -i. Let x = i - -1000. Is x a multiple of 20?
False
Let i(j) = -10208*j**3 + 3*j**2 + 2*j + 3. Is 58 a factor of i(-1)?
False
Suppose -7221 - 7143 = -19*k. Is 15 a factor of 1*-4 - (-8 - k) - -5?
True
Let v = 34 - 8. Suppose -5*m - 16 = -v. Let h = m + 10. Is h a multiple of 6?
True
Suppose -f - 4*q + 4222 = 0, 4*q = -2 - 2. Is 6 a factor of f?
False
Suppose -j + 2*d = -0*d - 362, 4*j + 4*d = 1508. Let z = j + -246. Let q = z - 111. Does 5 divide q?
True
Suppose -2*u = 4*n - 12608, -2*u - 2*u + 15754 = 5*n. Is n a multiple of 13?
False
Let d(t) = -3261*t - 3713. Is 16 a factor of d(-5)?
True
Let k(q) = 1 + 3 + 0 - q**3 + 26*q**2 + 7*q. Suppose 2*i = 4*y + 36, -14*i - 4*y = -19*i + 114. Does 34 divide k(i)?
False
Let c be 5/((-8)/(-4) - 3). Is c/10 - (-813)/6 a multiple of 11?
False
Let m be 1351/(-22)*2 - 40/220. Let s = m - -228. Suppose -5*d + s = -55. Does 16 divide d?
True
Let q = -812 - -878. Suppose -q*x + 2187 = -57*x. Is x a multiple of 49?
False
Let q(v) = -v**2 + 62*v - 279. Is 2 a factor of q(50)?
False
Is 21 a factor of 0/(0 + 2) + (-19)/(-1) + 11251?
False
Suppose 5 = 2*o + 21, 4*g = -4*o + 57208. Is 23 a factor of g?
False
Let l be ((-2)/7)/(4/(-28)). Let k be 3/(-3)*2 + (l - 1). Does 18 divide (-74)/k - (-2 - -4)?
True
Is 11201 - (-1)/(-6)*468/26 a multiple of 11?
True
Let k(m) = 8 + 4*m**2 - 3*m + 4*m + 2*m**3 - 2 + 0. Let j be k(-3). Let t(q) = -4*q - 36. Does 12 divide t(j)?
True
Suppose -15 = -3*m + v - 2*v, -m = 4*v - 5. Suppose 26 = m*x - 104. Suppose 27*t - x*t - 135 = 0. Is 15 a factor of t?
True
Let x(n) = n**3 + 5*n**2 + 2*n + 10. Let k be (3/(-3))/((-1)/5). Is x(k) a multiple of 30?
True
Suppose d - 65797 = -4*p, -87*p - 3*d + 32891 = -85*p. Is p a multiple of 94?
True
Let f(n) = 16 + 21*n - 20*n - 30*n - 36 + 17. Suppose 0 = -4*m + 3*m - 3. Is f(m) a multiple of 14?
True
Suppose 0 = -4*p + 76*p - 148888 - 48104. Does 38 divide p?
True
Let n = 51032 + -28991. Does 79 divide n?
True
Suppose 0 = 4*q + q - 141983 - 17392. Is q a multiple of 17?
True
Let s be (207/(-36))/(-2 - (-21)/12). Suppose -c + 26*u = s*u - 240, 2*u - 698 = -3*c. Does 36 divide c?
False
Let b(u) = 188*u + 128. Is 36 a factor of b(20)?
True
Suppose 3*l + 21 = 7*l - w, 0 = -3*l + 4*w + 6. Suppose l*a - 336 = 4*a. Is 28 a factor of a?
True
Suppose -t - 3*z = 435, -5*z + 4*z = -2*t - 898. Let j = -241 - t. Is j a multiple of 24?
False
Let q be 578/(-4) - ((-36)/8)/(-3). Let h = 0 - q. Is h a multiple of 32?
False
Suppose 2526*q - 367094 = 2500*q. Does 161 divide q?
False
Let i = 283 + -263. Is 2 a factor of 6/8 + 725/i?
False
Let v be -5*(-1 - -3 - 7 - 24/(-10)). Suppose -4*h + 5*s = -25, -3*h - 2*s = -4*s - 10. Suppose h = -v*i - 0*i + 1170. Does 18 divide i?
True
Suppose 0 = 5*k + 5*m - 93600, -8*m + 6*m = k - 18720. Does 13 divide k?
True
Suppose 689 = -6*q - 1531. Let b = -226 - q. Is b even?
True
Let p = 24 - 24. Let v be p + (-1)/2*(-1 - -1). Suppose -2*s + 0 - 4 = v, 4*a - 46 = -s. Is a a multiple of 6?
True
Suppose 5*h - 21*r = -26*r + 1790, 4*h + r = 1444. Is h a multiple of 4?
False
Let w be 1/(-3)*(9 - (-2 - -5)). Let r be (-5015)/(-55) - ((-40)/22 - w). Let q = -38 + r. Is 4 a factor of q?
False
Suppose 3*n - 1587 = 270. Let g = n + -343. Does 4 divide g?
True
Does 124 divide (1 - -285)*(70 - (10 - 2))?
True
Suppose 3*r = 11*r - 312. Suppose -r - 3 = 3*o. Is 14 a factor of 45 + 2 - o/(-7)?
False
Let k(q) be the first derivative of -q**4/4 + 20*q**3/3 + 24*q - 39. Is k(20) a multiple of 15?
False
Suppose -5*k = -3*o + 39, 5*o - 9*o = k - 29. Suppose -o*u + 13*u = 5845. Is u a multiple of 9?
False
Let n(l) = -12*l + 233. Let i(q) = 7*q - 116. Let o(j) = 5*i(j) + 3*n(j). Does 11 divide o(8)?
False
Let v(i) be the first derivative of i + 10/3*i**3 + 0*i**2 + 6. Is v(1) a multiple of 4?
False
Suppose 524315 = -45*f + 1873595. Is f a multiple of 45?
False
Let s be 1*(-1)/(-5)*(50 - 15). Suppose -5*m - s*q = -4*q - 215, 2*m + 2*q = 86. Is m a multiple of 9?
False
Let l = 32623 - 11598. Does 145 divide l?
True
Suppose -7*s = -213 - 473. Let t be (-3)/((-21)/2) + (-8064)/s. Let c = t - -87. Is c a multiple of 5?
True
Suppose -4*t + 5*w = 25, -3 - 22 = -5*w. Suppose t = -0*k - 10*k + 80. Let s(c) = 8*c - 19. Does 9 divide s(k)?
True
Let h be (0 - -3)*5/15*28. Does 38 divide 42/h*608/6?
True
Suppose -321 = 2*w + 23. Let c = 367 + w. Suppose -13*y + 8*y = -c. Is 18 a factor of y?
False
Is (94/2)/((136/799)/8) a multiple of 5?
False
Let q(a) = -a**2 - 17*a - 11. Let s be q(-24). Let x = s + 206. Is 23 a factor of x?
False
Let l(z) = -103*z**3 - 9*z**2 + 5*z + 123. Is 2 a factor of l(-4)?
False
Let w be 94/(-16) - 7/56. Is 27 a factor of -5 + 198/w*-13?
False
Suppose 10450 = 3*n - 3*i + 3169, -i = 5*n - 12159. Does 11 divide n?
True
Let i = -965 + 862. Let h = i + 733. Does 18 divide h?
True
Let j = 1969 + -1564. Is 27 a factor of j?
True
Let m be (1 + -2)*(-25)/(-1). Suppose -25*q = 303 - 2101 - 1652. Let w = q + m. Does 6 divide w?
False
Suppose 125232 = 5*k - 5*s + 34947, 5*s - 54123 = -3*k. Is k a multiple of 6?
False
Let w(x) = 2*x**2 - 5*x - 7. Let g be w(7). Let q = 63 - g. Suppose 0 = q*h - 2*h - 535. Does 49 divide h?
False
Suppose -p = 2*p. Does 23 divide (p + 12/30)*(-4655)/(-7)?
False
Suppose -z - 4 = 2*w - 6*z, 4*w - 16 = -2*z. Let v = 39 - 22. Suppose w = k, -4*k - v - 66 = -5*t. Does 6 divide t?
False
Suppose -24 = -6*b - 6*b. Suppose 0 = m + 2*m - 9. Is