r) = -2*r - 61. Let i be q(-9). Let k = 153 + i. Suppose 84*s = 89*s - k. Is 5 a factor of s?
False
Suppose 4*z + 23 - 7 = 0. Let w be (-20)/((-9 - z)/(-5)). Is (-4 - w) + (-3 - -1) a multiple of 7?
True
Let j(k) = -6*k + 40. Let m be j(6). Suppose 3*n - 18 = -2*n + a, -m*n + 27 = -5*a. Suppose -n*t - 4*u = -965, 1304 = 4*t + 5*u - 4*u. Is t a multiple of 58?
False
Let b = 53 + -53. Suppose b*t - t + 9 = 3*h, -4*t - 2*h = 4. Is 18 a factor of (-1857)/(-12) + 1 - t/(-4)?
False
Let v(c) = -4287*c - 291. Is v(-2) a multiple of 85?
False
Let v be (-44)/(-2) + (-5 - -1). Suppose -2*h + 84 = -v. Suppose -5*b - h = -901. Is b a multiple of 33?
False
Suppose 0 = 3*d + 3*o - 57, 4*d + 2*o = -8 + 74. Suppose -5*h + 63 = -12. Suppose -d*t = -h*t + 33. Does 16 divide t?
False
Let s(i) = -18*i**3 - 44*i**2 + 30*i - 22. Let k(f) = -6*f**3 - 15*f**2 + 10*f - 7. Let l(z) = -11*k(z) + 4*s(z). Is 22 a factor of l(-5)?
False
Let s(n) = -54*n + 735. Is 15 a factor of s(8)?
False
Suppose -3134*c + 9900 = -3125*c. Is c a multiple of 4?
True
Suppose 59937 - 56296 = -126*k + 142997. Is k a multiple of 7?
True
Let h = 214 + -217. Is 13 a factor of 117*h*(-198)/81?
True
Let v = 77 + -70. Let u(w) = 4 - v + 2 + 2*w - 2*w**2 - 4*w**3. Is u(-3) a multiple of 19?
False
Let d(o) = 28*o + 1654. Is d(88) a multiple of 71?
True
Suppose -2*j + 19*n + 23 = 20*n, -3*j - 4*n + 42 = 0. Suppose 14*m = 13*m + 125. Is 8 a factor of (64/j)/(10/m)?
True
Let j(x) = 236*x - 3343. Is j(48) a multiple of 13?
False
Is 2 - (-22)/(-12) - 14682/(-36) a multiple of 12?
True
Let v = 18 - 15. Suppose 5*b - 14 = -3*q, -5*b + 21 = -v*q - 5. Is 30 a factor of -156*5/(-10) - b?
False
Let h = 14 + 190. Let p = -198 + h. Is 3 a factor of p?
True
Suppose 1 = 2*i - 3, 0 = -4*q - 2*i + 24. Suppose 3*m - 5*u = -2*u + 3, 5*m + q*u = 35. Let x(r) = 14*r**2 - 6*r + 19. Is 34 a factor of x(m)?
False
Suppose 7*x + 212 = 233. Suppose -4*w + 1774 = x*t, -9*w + 2960 = 5*t - 4*w. Does 33 divide t?
True
Suppose -58*r + 805732 = 4*r + 163412. Is r a multiple of 34?
False
Let o = -168 + 603. Let t = 718 - o. Does 49 divide t?
False
Is 1/2*(17256 - -18) a multiple of 79?
False
Let v(s) = 3*s**2 - 42*s - 114. Suppose -104 = -4*g - 3*d, -d + 32 = -4*g + 120. Is 11 a factor of v(g)?
False
Suppose -1457 = -37*t - 10*t. Suppose -4*u - 2*z + 6*z + 104 = 0, -3*z = -5*u + 120. Suppose 3*a + 205 = 5*w + t, u = w + 4*a. Is 14 a factor of w?
False
Suppose 2427 = 3*f - 3*z, 0*z - 815 = -f - 5*z. Let y = f + -439. Let t = y - 191. Is 45 a factor of t?
True
Suppose -7*k = -2*f - 12*k + 4, -k = -2*f - 8. Does 26 divide 15204/56 - f/(-2)?
False
Suppose -j + t + 3 - 2 = 0, 20 = 4*t. Let z(b) = b**2 - 396*b + 1969. Let q be z(5). Suppose d + 4*y = j + q, d - 16 = -2*y. Is 6 a factor of d?
True
Let t(y) = 22 - 7*y**2 - 3*y - 4*y + 7*y**2 + y**2. Is t(9) a multiple of 8?
True
Let u = 204 + -200. Let r(q) be the third derivative of 5*q**4/4 - q**3/3 - 5*q**2. Is 11 a factor of r(u)?
False
Let l(u) = 89*u + 21. Let m be l(1). Let d = 55 + m. Does 15 divide d?
True
Let m be (6/30 + (-32)/10)/1. Let c(j) = -j + 4. Let k be c(m). Suppose -903 = -k*s - 56. Is s a multiple of 31?
False
Does 127 divide ((-41)/(-28))/(56/228256) - 8/(-14)?
True
Suppose -3*p - b + 1480 = 0, -2*p + 59 = -2*b - 941. Let c = p - -31. Does 23 divide c?
False
Let y = -58673 + 40138. Is 95 a factor of 18/(-117) + y/(-65)?
True
Suppose -97 + 489 = 7*y - 5957. Does 9 divide y?
False
Suppose -4*p + 270 = -v, -1446 = 5*v - 4*p + 8*p. Does 36 divide -4*(-2)/4 - v?
True
Suppose 6*r = 2*r + 12849 + 32803. Does 101 divide r?
True
Suppose 2*i - 5*y + 2 = 8, 3*i + 14 = -4*y. Does 23 divide (i*(-50)/(-16))/((-14)/224)?
False
Let t = -159 + 516. Suppose t*x = 370*x - 1456. Is 5 a factor of x?
False
Let k = -13541 - -27318. Is 17 a factor of k?
False
Suppose -2*d + 4*d - 426 = 5*s, -5*d = -4*s - 1031. Suppose -r - u - 17 = -d, -561 = -3*r - 4*u. Is r a multiple of 12?
False
Let i(r) = -208*r - 6. Let v(d) = 210*d + 6. Let s(x) = 4*i(x) + 3*v(x). Is s(-1) a multiple of 12?
False
Let u(g) = -9*g + 3. Let o = 66 - 61. Suppose 2*k + a = 2*a - 5, 19 = -4*k + o*a. Does 6 divide u(k)?
True
Let h be -3*((-30)/1)/(99/(-22)). Let f = 72 + h. Suppose -4*a - 7 = -u + 6, -4*u + 5*a + f = 0. Is u a multiple of 6?
False
Suppose -94 = -10*m + 176. Let r = 40 - m. Suppose 12*d - r*d + 47 = 0. Is d a multiple of 14?
False
Suppose -x + b = 63, 5*x - 4*b = -198 - 121. Let q = 126 - -19. Let c = q + x. Is 13 a factor of c?
True
Does 18 divide (-6306)/(2/((-26)/39))?
False
Let g(m) = 58*m + 5. Let f be g(-2). Let u = 194 + f. Does 7 divide u?
False
Is (-10983 + (21 - 6))/(-3) a multiple of 2?
True
Let r = -75 - -84. Let c(i) = -i**2 + 8*i + 9. Let l be c(r). Suppose -9*a - 4*a + 728 = l. Does 18 divide a?
False
Let p = 8345 - 5333. Is 10 a factor of p?
False
Let s(x) = x**3 + 16*x**2 - 15*x - 16. Let g(z) = z - 29. Let a be g(13). Let d be s(a). Suppose -4*y + 476 = -d. Is y a multiple of 29?
False
Suppose 225245 = 132*f - 128395 + 95316. Is 36 a factor of f?
False
Suppose -6*c - 588 + 7002 = 0. Is 8 a factor of 3 + c + -6*1?
False
Suppose 1539 - 713 = 7*t. Let j(n) = 2*n**3 + 4*n**2 - 8*n - 6. Let c be j(-5). Let b = c + t. Is b a multiple of 2?
True
Let s(c) = -c**3 - 18*c**2 - 74*c - 852. Does 4 divide s(-24)?
True
Let t be -1 + (-182)/(-21) - (-1)/3. Suppose t = -10*g + 14*g. Does 8 divide 36/(-7)*(-12 - g)?
True
Suppose 5*i - 2*c - 9689 - 25709 = 0, 3*c - 21264 = -3*i. Is i a multiple of 45?
False
Let v(s) be the third derivative of s**6/60 - s**5/60 - s**4/24 + s**3/3 - 10*s**2 - 2*s. Does 22 divide v(4)?
True
Suppose 2*m - 138 = -42. Let q = m + -43. Suppose q*v - 6*u = -3*u + 662, 2*u + 131 = v. Is 11 a factor of v?
False
Suppose 5 = -5*m, -5*m = -8*z + 10*z - 7519. Is 22 a factor of z?
True
Suppose -5*w = -24237 + 847. Is w a multiple of 72?
False
Is 7 a factor of 2/(-18 + (12 - 13)) + (-383901)/(-57)?
False
Suppose 4*p - 16 + 28 = 0. Let o be (3 - -36)/p - -1. Is 534/27 + o/(-54) a multiple of 5?
True
Let g(c) = -c**2 + 8*c. Let l be g(7). Let r(z) = -z + l*z**2 + 2 - z - 3*z**3 + 0*z**3 + 2*z**3. Is 26 a factor of r(6)?
True
Let z(d) = -d + 32. Let w be z(30). Suppose 4 = -3*g - 2, g = -w*v + 898. Does 25 divide v?
True
Suppose 3*r - 336 = -3*k, -3*r - k + 344 = 4*k. Let f = -103 + r. Suppose 20 = -f*u, 2*y + u = -0*u + 44. Is y a multiple of 3?
True
Let r(b) = 530*b**2 - 128*b + 185. Does 35 divide r(5)?
False
Suppose 83 = -2*m + 27. Let q = 29 + m. Does 9 divide (-1)/(2 - q - (-74)/(-72))?
True
Suppose -3*b = 2*u - 13, -3*u = -0*u - 4*b - 11. Let y(n) be the first derivative of n**3/3 + 2*n**2 - 7*n + 6. Does 38 divide y(u)?
True
Let o = -336 - -186. Let y = 247 + o. Is y a multiple of 4?
False
Let b(p) = 78*p**2 + 99*p - 39. Is 78 a factor of b(13)?
True
Let n = -13 + 16. Suppose 0 = -5*t + 4*t + n. Suppose -37 = -t*b - 4. Is b a multiple of 3?
False
Let d(n) = -n**2 + 9*n + 1. Let z be d(7). Let m(g) = 3*g - 18. Let y be m(z). Suppose y = 4*b - 3*b + 3*t, -2*b + 44 = -4*t. Is b a multiple of 17?
False
Let p(r) = 59*r**3 - 40*r**2 + 38*r - 40. Is 68 a factor of p(6)?
True
Let p(i) = -13*i**3 - 2*i**2 - 5. Let r(h) = -13*h**3 - 3*h**2 + h - 6. Let c be (-2)/(3 - 35/10). Let o(n) = c*p(n) - 3*r(n). Is o(-2) a multiple of 29?
False
Let k = 45 + -3. Let t be 9/15 - k/(-30). Suppose -t*s = -296 + 32. Is s a multiple of 33?
True
Suppose -3304*b + 535 - 2775 = -3318*b. Does 16 divide b?
True
Let g(f) be the third derivative of -f**6/120 - 13*f**5/60 - f**4/4 - 5*f**3/6 - 57*f**2 - 2. Does 10 divide g(-13)?
False
Let s(m) = m**3 - 8*m**2 + 12*m + 16. Let p be s(7). Suppose g - 141 = 4*g. Let t = g + p. Is 2 a factor of t?
True
Suppose -363*j + 721*j = 362*j - 54432. Is 88 a factor of j?
False
Let k = -20 + 13. Let n(o) = 6*o**2 - 12*o - 23. Does 46 divide n(k)?
False
Suppose 12 = -3*z, -5*g - 5*z = -46 - 34. Suppose -23*i - g = -25*i. Let o(a) = a**2 - 11*a + 19. Does 9 divide o(i)?
True
Let q(x) = -x**2 - 13*x - 8. Let r be q(18). Is ((-62)/124)/(-2 + (-1131)/r) a multiple of 10?
False
Let u(y) = -y**3 - 16*y**2 + 21*y + 671. Does 7 divide u(-20)?
False
Suppose 0 = -g + q + 3999, 19*q = 3*g + 21*q - 11982. Is g a multiple of 3?
True
Let f(x) = -x**2 - 11*x - 21. Let g be f(-4). Suppose -260 = -