 2. Let t be (-1)/((4 + 0)/(-4))*i. Does 6 divide p(t)?
False
Suppose -227*f = -232*f + 15005. Does 4 divide f?
False
Suppose 4*d + 2*a + 2094 = 0, -4*d - 11*a - 2091 = -10*a. Let v = d - -838. Is 19 a factor of v?
False
Let w be ((-30)/(-5))/(0 - -2). Let o = w + -9. Let r(c) = -4*c + 9. Is 15 a factor of r(o)?
False
Let s be 24/(-12) + 1*2 + 4. Is 2 + (-64)/12*-144 + s a multiple of 16?
False
Let v = 173 + -243. Let s = v + 71. Let w(q) = 57*q + 2. Is w(s) a multiple of 7?
False
Let r = -69 - -62. Let y = r + 84. Is y a multiple of 7?
True
Let c be (11/4)/(1/16). Let x(d) = 3*d - 3. Let b be x(3). Suppose -4*n - c = -b*n. Is 5 a factor of n?
False
Does 20 divide 44734/7 + (-972)/(-2268)?
False
Suppose g - 2*g + 978 = 4*w, 2*g - 1974 = -2*w. Suppose -17*v = -302 - g. Is 2 a factor of v?
True
Let t = -25361 + 28901. Does 20 divide t?
True
Suppose 0 = d + 42 - 452. Suppose -2300 + d = -27*u. Does 5 divide u?
True
Suppose -h + 5040 = -y, 5*h - 2936 - 22248 = y. Is h a multiple of 9?
False
Let d = 42 - 37. Let y(i) = 16*i + 24*i - d - 15*i. Is 15 a factor of y(5)?
True
Let r be 9 - (-15)/(-10)*(-20)/(-6). Suppose 0*s + 746 = 5*f + 4*s, 5*f - r*s = 754. Is f a multiple of 5?
True
Let l be (8/(-4) + 3 - 3)*-3. Does 31 divide 7434/l - (-1 + -2)?
False
Let v(x) = x**2 + 3*x + 1. Let a be v(-3). Let q(z) = 45*z + 3. Let y be q(a). Does 9 divide (1 - 0)/(2/y)?
False
Suppose 21*p = 36*p - 24375. Is 20 a factor of (-16)/((-12)/(-78) - 380/p)?
True
Let m = -580 + 1009. Is 72 a factor of m?
False
Suppose 6*a - 4*a = 0. Let r(q) = -q**3 - 4*q**2 + q + 450. Is r(a) a multiple of 18?
True
Let f(q) = 7*q**3 + 6*q + 11*q**2 - 7*q**3 + 24 - q**3. Is 15 a factor of f(11)?
True
Let p = 160 + -65. Is (p/(-3))/((-1)/15) a multiple of 19?
True
Suppose -7*x - 25 + 39 = 0. Suppose -5*c + 150 = -x*o, 2*c - 7*o + 5*o - 54 = 0. Is 20 a factor of c?
False
Let d(t) = -t**2 + 42*t + 39. Let s(l) = -l**2 + 41*l + 39. Let a(v) = -3*d(v) + 4*s(v). Does 14 divide a(27)?
True
Suppose 8*c + 549 = 517. Is 468/(c - 2)*4/(-6) a multiple of 52?
True
Suppose 15*l - 87 = -12. Suppose 0 = -l*o + 1675 - 550. Is o a multiple of 25?
True
Suppose j + 22*i - 9615 = 18*i, 48075 = 5*j - i. Is 100 a factor of j?
False
Let p = -9 - -15. Let a = 175 - 175. Suppose 5*c + p*c - 858 = a. Does 26 divide c?
True
Suppose 2*k = 3*b - 4 + 820, k + 2*b = 422. Suppose 0 = 3*f - k - 2568. Is 14 a factor of f?
True
Suppose 10*x - 8*x - 23373 = -5*x. Does 9 divide x?
True
Is 6 a factor of (-294257)/(-82) + 2/(-4)?
True
Let f(s) = -19*s**2 + 9*s**2 - 3 + 5 + 17*s + s**3 - 6*s. Let k be f(9). Is 12 a factor of (-97)/(-4) - 5/k?
True
Let m(u) = 2*u**2 - 5*u + 6. Let c be m(1). Does 16 divide 13 + 4 - (-1)/((-3)/c)?
True
Is 350*(-8 + (-330)/(-35)) a multiple of 25?
True
Suppose 0 = h + 13 - 16. Suppose h*c - 8*c = -20. Suppose 123 = c*s + 3*r, -4*r + 54 = 5*s - 101. Is s a multiple of 9?
True
Let m(k) = 114*k - 42. Let w be m(2). Suppose -9*d + 246 = -w. Is 8 a factor of d?
True
Suppose -28*a + 23*a + 5*z = -47765, -3*z = a - 9561. Is a a multiple of 65?
True
Let h(r) = 9*r + 346. Let l be h(-38). Suppose -c = -4*m - 740, 6*c + l*m = 8*c - 1496. Is 27 a factor of c?
True
Let u(g) = -2*g**3 + 6*g**2 - 18*g + 26. Does 57 divide u(-7)?
False
Suppose 26*u = 55 - 3. Suppose -u*v + 1260 = 470. Is v a multiple of 10?
False
Let r(c) = c**2 + 13*c - 4. Let i = -115 + 99. Does 4 divide r(i)?
True
Let f = 14827 + -14072. Is f a multiple of 12?
False
Suppose 9*n = 5015 - 4106. Is 101 a factor of n?
True
Suppose 372*z - 300*z = 1073880. Is z a multiple of 95?
True
Suppose -5*i - 976 = -4*p + 7423, -3*p + 6298 = -4*i. Is p a multiple of 32?
False
Suppose 52*s - 23564 = 99*s - 51*s. Does 8 divide s?
False
Let z(o) = 13*o + 18. Let f = -161 + 172. Is 7 a factor of z(f)?
True
Let y(c) = -7*c**3 + 6*c**2 + 6*c - 7. Let i(o) = -9*o**3 + 7*o**2 + 5*o - 6. Let q(j) = -3*i(j) + 4*y(j). Is 18 a factor of q(-8)?
False
Suppose -s + 19*v - 14*v + 44485 = 0, v + 177826 = 4*s. Is 17 a factor of s?
True
Let u(r) = 3*r**3 - 42*r**2 - 37*r - 4. Is u(17) a multiple of 16?
True
Suppose 17*k + 29*k = 199870. Is k a multiple of 22?
False
Let b = -4564 + 5122. Is b a multiple of 2?
True
Let m = 6580 - -2247. Is 66 a factor of m?
False
Suppose -871*i + 34200 = -796*i. Is 4 a factor of i?
True
Suppose -2*h - 5*w - 824 = 0, h - 2*w + 411 = -4*w. Let q = 587 + h. Does 18 divide q?
True
Let i(a) = -6*a - 68. Let r be i(-11). Is r - 114/(-60) - 4301/(-10) a multiple of 64?
False
Let o(z) = z + 15. Suppose -10 = -7*j - 66. Let v be o(j). Suppose -v - 21 = -q. Is q a multiple of 16?
False
Let a be 2/4 + 12/8. Suppose a*p - 7*i + 8*i = 670, 2*i = -p + 332. Does 16 divide p?
True
Does 9 divide (152/(-20))/((-6)/(-100))*(-390)/25?
False
Suppose 8*w - 12*w + 1164 = 0. Suppose 3*g + w = -657. Let m = g + 540. Is 21 a factor of m?
False
Let s(r) = -369*r + 242. Is 9 a factor of s(-110)?
False
Suppose 0 = 7*r + 39 - 165. Let t(q) = -q**3 + 19*q**2 - 18*q + 4. Let i be t(r). Suppose -8 = i*x, 5*y - x - 500 = -6*x. Does 34 divide y?
True
Let l(b) = b**3 + 11*b**2 + 12*b + 24. Let v be l(-10). Suppose 5*f + 1 = 5*d - v, -4*f - 12 = 4*d. Is (-1 + f)*(-8 - -1) a multiple of 17?
False
Suppose 0 = -115*r + 114*r + 339. Suppose -l = -r - 86. Does 9 divide l?
False
Suppose -27 = h + q - 164, -5*h + 2*q + 678 = 0. Let l(i) = i**2 + 22*i - 18. Let r be l(-23). Suppose x - r*j = -0*j + 22, -5*x = j - h. Is 14 a factor of x?
False
Let l(h) = h**3 - 15*h**2 - 5*h + 11. Let u be l(15). Let v = u - -137. Suppose -74*z = -v*z - 26. Is 13 a factor of z?
True
Suppose 5*h = -y + 19, -12*h - 23 = 3*y - 13*h. Let d(u) = 2*u**2 - 9*u - 29. Is d(y) even?
False
Let h(v) = v**2 - 13*v + 33. Let o be h(10). Suppose -2*q - o*d = -282, -2*d + 73 + 70 = q. Is q a multiple of 30?
False
Is (-6)/(624/(-287833)) - (-3)/8 a multiple of 57?
False
Suppose 2176 = 15*c - 13*c. Suppose 2*s + l - 19 = 417, c = 5*s + 3*l. Does 38 divide s?
False
Let r = 441 + 894. Suppose -17*v - r = -32*v. Is 2 a factor of v?
False
Let i(o) = -222*o + 2. Let f be i(-11). Suppose -7796 - f = 16*t. Let s = -431 - t. Is 12 a factor of s?
False
Let q be 14901/(-21) + (-64)/(-112). Let o = -484 - q. Does 18 divide o?
False
Let j(a) = 47*a + 210. Let f be j(0). Is ((-424)/10)/((-21)/f) a multiple of 23?
False
Let j(x) be the second derivative of -19*x**3/6 - 19*x**2 + 5*x. Let y be j(-16). Suppose y = 102*u - 100*u. Does 26 divide u?
False
Let f(n) = -1. Let r(g) = -g**2 + 6*g + 29. Let w(p) = 2*f(p) + r(p). Let u be w(9). Suppose u = 3*b - x + 3*x - 160, -4*x = 16. Is 14 a factor of b?
True
Suppose -34*i = -33*i - 4. Suppose i*l = -17*l + 14553. Is l a multiple of 33?
True
Let g = -296 - -331. Suppose g*d = 7*d + 15736. Is 26 a factor of d?
False
Suppose 0 = -139*a + 128*a + 29887. Does 11 divide a?
True
Suppose 193 = a - 5*k, -548 = -2*a - k - 184. Let t be 4/6*2*a. Suppose t = 3*w + 2*h - 166, -4*h - 580 = -4*w. Is w a multiple of 14?
True
Let x(d) = 24*d**2 + 31*d - 5. Let s be x(-13). Suppose -2*k = -5*v + s, 21*v - 2*k = 22*v - 720. Is 35 a factor of v?
False
Let t(m) = m**3 + 12*m**2 - 33*m + 6. Let h = -284 - -289. Is 19 a factor of t(h)?
True
Let f(w) = -4*w**2 + 16*w + 4. Let u be f(4). Suppose 0 = u*t - 12, 4*t - 12 = n - 55. Suppose -3*o + 2*o = -n. Does 8 divide o?
False
Suppose -1506917 = 10*o - 58*o - 605765. Is 62 a factor of o?
False
Suppose 4*y + 401342 = 15*y + 106322. Is y a multiple of 15?
True
Suppose -1083609 = -96*b + 2827431. Is b a multiple of 42?
True
Let h = 3058 - 2745. Does 5 divide h?
False
Let t(m) = m**2 - m + 5. Let p be t(0). Let u(i) = i**2 - 3*i - 5. Let r be u(p). Suppose 4*z - r*c - 514 = 0, 2*z + 5*c - 258 = 7*c. Is z a multiple of 13?
False
Suppose 0 = 7*k + 6*k - 117. Suppose k*j = 4*j + 705. Is 6 a factor of j?
False
Suppose 4*m + 3*z + 885 = 0, 432 = -5*m + 3*m + 2*z. Let l = m - -406. Is 21 a factor of l?
False
Let h be (-4)/(-26) - 2/13. Suppose -4*o - 2*a - a + 189 = h, 3*o - 2*a - 163 = 0. Suppose o = -3*g + 6*g. Is 5 a factor of g?
False
Let m(c) = 426*c + 329. Is 40 a factor of m(3)?
False
Suppose 44*s - 18 = 38*s. Suppose 2*f = -2*w + 3 + s, -4*f + 4 = 2*w. Does 2 divide 4/16 - (f - (-57)/(-12))?
True
Is 101 a factor of (-1)/(-2)*(10 - (24 - 13))*-2020?
True
Let b be -5 -