0. Let h be i(14). Suppose 166 = h*r + 34. Does 10 divide r?
False
Suppose -28 = -11*x + 3118. Is 24 a factor of x?
False
Let p be (532/(-6))/(-4*4/48). Suppose -423 = -13*b + p. Does 6 divide b?
False
Let u = 92 - 89. Let x(c) be the first derivative of 5*c**2/2 + 7*c + 1. Does 11 divide x(u)?
True
Suppose -572 = -7*i - 19*i. Is i a multiple of 2?
True
Suppose 17*r - 50064 = -25*r. Is 7 a factor of r?
False
Let f(t) = t + 6. Let d(a) be the first derivative of -a**2/2 - 5. Let b be d(-5). Is f(b) a multiple of 7?
False
Let c(v) = v**3 + 7*v**2 + 8*v + 2. Let q be c(-5). Suppose r - x = 83, 4*x + 0 = -q. Does 15 divide r?
False
Let l(j) = -2*j + 18. Let s be l(9). Suppose 2*a - 6 + 2 = s. Suppose -i = 5*y - 207, a*y + 6*i = 3*i + 75. Does 7 divide y?
True
Suppose 2*f = -2*y + 630, -3*y + 315 = -2*f + 3*f. Suppose 14*p - 11*p - f = 0. Is 23 a factor of p?
False
Let s(i) = 19*i**3 - i**2 - 4*i + 4. Let j be s(2). Let a = j + -58. Does 13 divide a?
False
Let m be (-979)/(-55) - (-8)/(-10). Suppose 0 = -j + 4*a - 11, -3*j = 2*j - 2*a - m. Suppose -4*l - 108 = -j*l. Is 36 a factor of l?
True
Let s be (0 - 249)/((-19)/19). Suppose -6*y + 9*y - s = 0. Suppose -u + 5*z + 64 = 0, 0*z - z - y = -2*u. Is 25 a factor of u?
False
Let j(f) = f + 9. Let y be j(-6). Suppose 0 = 3*u - 3*b - 129, -4 = -y*b + 11. Does 18 divide u?
False
Suppose -2*y - 12 + 0 = 0. Let r = y - -1. Is 5 a factor of 1/r - 66/(-5)?
False
Let t(o) = -4*o**2 - 8*o - 3. Let r be t(-5). Let d = 43 + r. Let v = 36 + d. Does 8 divide v?
True
Let t = 66 + -64. Suppose -3*d - 209 = -t*c, -4*d + 161 = 3*c - 161. Is 23 a factor of c?
False
Suppose 117 - 109 = c + 2*a, 2*a - 2 = 0. Is c a multiple of 2?
True
Suppose 0 = 5*m - 5*l - 10, 29 = 2*m + 5*l - 10. Let z = m - -5. Is 5 a factor of (-90)/4*(-16)/z?
True
Suppose -4*a + 0 = -8. Let r be ((-32)/12 + a)*-3. Does 16 divide ((-4)/2)/(r/(-24))?
False
Suppose 2*h + 5 = -1, 4*h = 3*j - 2358. Does 34 divide j?
True
Let w be ((-3)/(-2))/(1/2). Suppose 6 = w*p - 2*m, -p + 0*p + 2*m = -2. Suppose -31 = -3*r + p*t, 2*r = -t - 0*t + 30. Does 10 divide r?
False
Let k(z) = -2*z**2 - 36*z + 52. Is k(-19) a multiple of 2?
True
Is 3 a factor of 12/20*(-2 + 304 - 7)?
True
Let m = 638 - 361. Let d = m - 178. Suppose -x - d = -4*g, x + 0*x = 2*g - 47. Does 8 divide g?
False
Suppose -14*m + 18*m - 48 = 0. Is 2 a factor of m?
True
Let s(f) = f**3 + 39*f + 2 - f**2 - 32*f - 6*f**2. Is 2 a factor of s(6)?
True
Suppose -3 + 1 = o, -2*a - o - 60 = 0. Let z be 1772/28 - (-4)/(-14). Let v = z + a. Does 9 divide v?
False
Let a(r) = -r**3 + r**2 + 4*r - 2. Let d be a(2). Is 6 a factor of (6 - 2 - d*1) + 40?
True
Suppose 2*b = -4*z + 30, -3*b - 9 = -0*b. Let q(a) = 4*a + 8. Let g be q(z). Suppose -4*w + 2*k = -4 - g, -5*k = 0. Is w a multiple of 3?
True
Let p = 11 + -17. Let j(k) = 2*k**3 + 7*k**2 - 9*k + 1. Let a(v) = -v**3 - 4*v**2 + 4*v - 1. Let m(n) = -5*a(n) - 2*j(n). Is 5 a factor of m(p)?
True
Let g = 90 - 88. Suppose a = -g*k - 2*a + 277, 0 = -5*k - 2*a + 709. Is k a multiple of 13?
True
Let i = -508 + 844. Suppose -434 - i = -5*q. Is q a multiple of 14?
True
Suppose -3*c - 584 + 3101 = -3*v, 0 = 3*c + 4*v - 2496. Does 49 divide c?
False
Suppose -2*a + 40 - 36 = 0. Does 16 divide (29/a)/(4/8)?
False
Suppose -4*u + 0*z = -3*z - 259, -5*u + 5*z = -325. Let j = u - 38. Suppose 0 = 2*h - 3*h + j. Does 26 divide h?
True
Let f(u) = 45*u**2 - 15*u - 47. Is f(-3) a multiple of 31?
True
Suppose 2*i = -218 + 26. Suppose -2*u - 5*f = 65, 2*u - 2*f + 103 = 3. Let s = u - i. Is s a multiple of 17?
True
Let x = 2287 - 1517. Is 14 a factor of x?
True
Suppose 0 = -5*b + 2*m + 9 + 9, 0 = 4*b - m - 12. Suppose l + 23 = b*z, 4 + 1 = 5*l. Is (-164)/z*(-3)/1 a multiple of 11?
False
Suppose 2*a - 43 = -3*a + 4*t, 4*t = 2*a - 10. Let z = 24 + a. Does 14 divide z?
False
Suppose 3*v + v = -2*o + 6, 2*o + 2 = 0. Suppose 0 = 5*l + 5*y - 60, v*l - 6 = l + 5*y. Is l a multiple of 3?
False
Suppose -10 = 2*n - 7*n. Suppose -3*z + n*f = -14 - 0, 4*z - 19 = 3*f. Is 4 a factor of z?
True
Let x(r) = -r**3 + r + 27. Let c be x(0). Suppose -q - 4*w + 121 = 0, -3*q + 143 + 145 = -3*w. Suppose -2*o = -c - q. Is o a multiple of 32?
True
Let i(n) = 12*n - 8. Let p(s) = 7 + 13*s - 8 - 7. Let w(c) = 5*i(c) - 4*p(c). Is w(3) a multiple of 8?
True
Suppose -3*a = -n + 5*n - 8521, -2*n + 2*a + 4250 = 0. Is 8 a factor of n?
True
Suppose -6*c + c - j - 806 = 0, j + 1 = 0. Let z be c/(-35) + (-4)/(-10). Suppose -30 = -z*o + 35. Is o a multiple of 13?
True
Suppose -q - 2*q = 3*z + 75, 0 = -5*z - q - 121. Let p = -25 - z. Does 22 divide p + (66 - 8/4)?
False
Let d(p) = p**2 + 9*p + 8. Is d(-23) a multiple of 55?
True
Let p be 0 + 0*(-4)/(-8). Suppose p = 5*r - 5*f - 210, -4*r = 3*f - 0*f - 203. Is r a multiple of 8?
False
Let k = -127 + 125. Is 40 + -1 + k*(-12)/(-8) a multiple of 18?
True
Does 9 divide (832/16)/((-2)/(-8))?
False
Let j(l) = -15*l**3 - 39*l**2 - 2*l - 7. Is 7 a factor of j(-4)?
False
Let t = 0 - -2. Let l(c) = 36*c**2 + 7*c**2 + 1 - t. Is 30 a factor of l(1)?
False
Let v be 1/5*2 + (-1215)/(-25). Let o = 87 + v. Does 8 divide o?
True
Let l(t) = t**3 + 4*t**2 + 5*t + 3. Let j be l(-3). Let d be 18/(j/4*2). Is (-4)/d + 155/3 a multiple of 11?
False
Let a be (0 - (-1)/1*3) + 84. Suppose -c + 262 = a. Does 25 divide c?
True
Let i be (21 - 19) + 0/2. Suppose 158 = r - c, 3*r = -c - i*c + 486. Is 32 a factor of r?
True
Let c(i) = i**2 - 8*i + 10. Let a be c(7). Suppose a*z - 4*z = -4. Suppose n + 0*x - 11 = -x, 5*n - z*x = 82. Is n a multiple of 10?
False
Let n = -277 - -1396. Is 22 a factor of n?
False
Let r(k) = -2*k + 23. Let h be r(12). Does 28 divide h/2 - (-7)/2 - -193?
True
Let a = -77 + 49. Is (14 + -10)/((-1)/a) a multiple of 16?
True
Suppose 0 = -36*v - 24*v + 74160. Is 14 a factor of v?
False
Suppose 2*a - a = -a. Suppose a = i - j - 30, 5*i - 150 = j - 0*j. Does 15 divide i?
True
Let j = -315 + 363. Does 24 divide j?
True
Let y(i) = -i**3 - 4*i**2 + 8*i - 3. Let l(k) = k**2 - 6. Let d be l(0). Let u be y(d). Let v = u - 7. Is v a multiple of 7?
True
Let z be (-3)/6*-8 - -197. Suppose 5*o - 279 = z. Is o a multiple of 6?
True
Let v(t) = -6*t + 2. Let a be v(-4). Suppose 106 - a = 4*l. Is l a multiple of 5?
True
Let r be (-848)/(-4) - 0/(-2). Suppose r = 5*c + 52. Suppose -2*s + 4*s = c. Is 8 a factor of s?
True
Let o be 270/8 - 2/(-8). Suppose j - o = 21. Is 12 a factor of j?
False
Let c(d) = 2*d**2 + 9*d + 9. Is 2 a factor of c(-4)?
False
Let b(n) = -n**3 - 9*n**2 + 6*n + 107. Is b(-13) a multiple of 33?
False
Let x(v) = v**2 - 5*v - 3. Let j be x(3). Let c = j + 10. Does 31 divide (372/16)/(c/4)?
True
Let z(v) = v**2 + v + 4. Let r(m) = -m**2 + 9*m + 13. Let k be r(10). Let d be z(k). Is 16 a factor of (d/5)/(2/10)?
True
Suppose -2*t - 2*t = -20. Suppose -4*r + 491 = -u, -3*r - 14 + 361 = -t*u. Is r a multiple of 34?
False
Suppose 2*p + 28 = -3*l + 344, 2*l - 2*p = 214. Let m = l - -31. Does 24 divide m?
False
Does 21 divide (-81)/(-9)*-3*-77?
True
Let i(f) be the second derivative of -f**4/12 - 10*f**3/3 - 43*f**2/2 - 7*f. Is i(-12) a multiple of 19?
False
Let m(q) = -6*q - 4*q - 6 - 7 + 0 - q**2. Let t be m(-9). Is (t/(-10))/((-2)/(-100)) a multiple of 5?
True
Is (6536/516)/(2/225) a multiple of 18?
False
Suppose 4*a + r = -0*r + 201, 3*r = -3*a + 144. Suppose a = -5*f + 131. Is 3 a factor of f?
False
Suppose -70*d + 51*d = -3040. Is 8 a factor of d?
True
Let v(x) = x**2 + 4*x - 31. Suppose -42 = 11*a - 8*a. Does 10 divide v(a)?
False
Let l be 1404/60 - 3/(-5). Is 33 a factor of (-6)/l - 362/(-8)?
False
Suppose -4*j - 41404 = -48*j. Is j a multiple of 52?
False
Let l be (5*6/(-12))/(1/22). Let h = l + 72. Is 5 a factor of h?
False
Is (-6)/(-18)*(1 + 356) a multiple of 23?
False
Let i(x) = -x**3 - x**2 + 6*x. Let z be i(-5). Suppose h - 6*h + z = 0. Is (h/(-21))/(4/(-114)) a multiple of 5?
False
Let a(g) be the third derivative of 11*g**5/60 + g**4/12 + g**3/3 - 21*g**2. Does 10 divide a(2)?
True
Suppose -32*c - 10 = -34*c. Does 14 divide (1 - 6)*(-70)/c?
True
Suppose -24*f + 871 = -21*f + 4*j, 2*f = 5*j + 550. Is 23 a factor of f?
False
Suppose -5*a + 79 = 4*l - 125, -100 = -2*a + 3*l. Suppose 6*y - a = 4*y. Is 11 a factor of y?
True
Let v = -321 - -337. Does 4 divide v?
True
Let u b