 0*x**3 - 2*x**3 - 7*x**2 + 3*x**3 - x**2 + 3*x. Let b = -193 - -202. Is 27 a factor of d(b)?
True
Let k = -17 - -32. Let c = -47 - -69. Let i = c - k. Is 7 a factor of i?
True
Suppose -28*r - 2420 = -39*r. Does 44 divide r?
True
Suppose -6*d - 5*j - 945 = -11*d, -567 = -3*d - 3*j. Is d a multiple of 9?
True
Let h(r) = 89*r - 16. Let j(o) = -444*o + 81. Let v(l) = -11*h(l) - 2*j(l). Let t be v(15). Is (-2)/(-5) - t/35 a multiple of 11?
False
Let j = 5772 + -2721. Is j a multiple of 9?
True
Let q(b) = -162*b + 204. Let f(h) = -108*h + 136. Let x(l) = 7*f(l) - 5*q(l). Is x(5) a multiple of 14?
False
Let o(s) = 13*s**2 + 7*s + 4. Let c(w) = w + 5. Let b be c(-14). Let a = b - -7. Does 17 divide o(a)?
False
Suppose 30*h = 24*h + 486. Is 9 a factor of h?
True
Suppose 5*d - 1 - 4 = 0. Is (42/(-5))/(6/((-30)/d)) a multiple of 6?
True
Let x(u) = -112*u - 7. Let f be x(-1). Suppose -20*v = -13*v - f. Is v a multiple of 7?
False
Suppose 0 = 4*y + 4, -16*n = -15*n - 5*y - 1130. Does 14 divide n?
False
Suppose -276 = -u + 5*n - 2*n, -2*u - 2*n + 576 = 0. Is u a multiple of 19?
True
Suppose 4*x + 0*x - 3*m - 439 = 0, -5*m - 321 = -3*x. Suppose -4*j + 3 = -5, u = 4*j + x. Is u a multiple of 9?
False
Let j = 4 - -13. Let i = j - 13. Suppose 4 = -i*a, -n - n - 4*a = -170. Is 19 a factor of n?
False
Let d be (-1)/(-3 - (-37)/12). Let g = 23 + d. Is 7 a factor of g?
False
Suppose -4*z + 7 = -17. Suppose 105 + 195 = -z*a. Does 6 divide 1/(-2) - a/4?
True
Suppose 3*p - 7 + 29 = -z, 2*p + 31 = -3*z. Does 19 divide 63 - (z + 4 - 1)?
False
Let f be 3/((-21)/15 + 2). Suppose 4*z - o = 252 + 40, -5*z + 380 = -f*o. Is z a multiple of 10?
False
Suppose 20*c = 14145 - 1225. Does 19 divide c?
True
Suppose -3*z + 8*x = 7*x - 287, -z - 3*x = -109. Does 4 divide z?
False
Suppose 0 = 2*x + 6*x. Suppose x = -6*r + 8*r - 280. Does 16 divide r?
False
Let h = -19 + 26. Suppose -h*f + 35 = -245. Is f a multiple of 20?
True
Let j(g) = -7*g**3 - 12*g - 57. Does 12 divide j(-3)?
True
Let b(z) = -3*z - 10 + 7 - 28. Let g be b(-13). Suppose l + 0*l = g. Is 2 a factor of l?
True
Suppose -4*f - 8 = 0, 9*k + 3*f = 12*k - 117. Is k a multiple of 4?
False
Let w(c) = -2*c**2 - 7*c - 10. Let s(o) = 3*o**2 + 7*o + 9. Let i(u) = 3*s(u) + 4*w(u). Let l be (-30)/10*(-11)/3. Is i(l) a multiple of 31?
True
Suppose -4*d + 5*o = d - 1400, 3*o - 276 = -d. Is 31 a factor of d?
True
Suppose 95*g = 217329 + 129326. Is 113 a factor of g?
False
Is -4*154*(-18)/48 a multiple of 6?
False
Let p = -1 - 1. Let k be (240/25)/(p/(-10)). Suppose -4*h = -h - k. Does 8 divide h?
True
Let t = 74 - 72. Is 1 + t + (0 - -148) a multiple of 17?
False
Let g = -619 - -1067. Does 8 divide g?
True
Let w be ((-48)/(-4))/(-3) + 8. Suppose 0 = -w*n - n + 125. Is 16 a factor of n?
False
Suppose 4*u + 9 = -27. Is 1*-2 - (-3 + u) a multiple of 5?
True
Suppose 34*z - 60332 = 9844. Does 24 divide z?
True
Let f(u) = -u**2 + 4*u + 13. Let w be f(6). Suppose 10 + w = i. Is 2 a factor of i?
False
Suppose -u = -3*u + 4, -3*u = 5*n + 339. Let q be n/(-21) + (-4)/14. Let b = q + 2. Is 5 a factor of b?
True
Let l be (-3)/9 + (-10)/(-3). Suppose -l*z + 336 = -4*u + u, z - 100 = -3*u. Is z a multiple of 16?
False
Let t be (40/(-14))/(4/(-14)). Let g(y) = -y**3 + 9*y**2 + 22*y + 5. Is 25 a factor of g(t)?
True
Suppose 0 = 5*a - 5*d + 25, -4*a - 2*d - 6 = d. Let o = a + 6. Let f(x) = -x + 7. Is 2 a factor of f(o)?
True
Let p = 1207 + 1001. Does 8 divide p?
True
Suppose 2*s - 40*i - 111 = -37*i, -3*i = -4*s + 231. Does 30 divide s?
True
Let r(x) = -19*x - 80. Does 12 divide r(-8)?
True
Suppose 75*v - 84*v + 2007 = 0. Is v a multiple of 2?
False
Let s(c) = -10*c**3 - 23*c**2 - c - 3. Is s(-3) a multiple of 7?
True
Suppose 3*z + 2*s - 842 = -z, 3*s = 9. Does 9 divide z?
False
Suppose -12682 = -4*r + b, -21*b + 18*b = 6. Is r a multiple of 133?
False
Let b = 3650 + 907. Is 49 a factor of b?
True
Suppose 20331 = 6*o - y, -513 - 2867 = -o + 3*y. Does 11 divide o?
False
Suppose 19*p - 528 = 18*p. Does 33 divide p?
True
Does 61 divide 1*(-6)/12*-2074?
True
Let y(h) = -h**2 - 21*h - 2. Suppose -52 = 4*d - 4*v, -d - 3*v + 2 = v. Is y(d) a multiple of 19?
False
Let s(v) = 4*v**2 - 5*v + 4. Suppose 2*a = 4*a - 2*x - 10, 0 = -a - 4*x + 5. Suppose a*h - 6 = 4. Is 5 a factor of s(h)?
True
Let f = 10 + -8. Suppose -4*w = -2*y + 116, -3*y - 3*w + 195 = -f*w. Suppose y = 2*z + 4*j, -z + 88 = z - 2*j. Does 20 divide z?
True
Suppose -5*h + 661 = -1104. Let b = h + -184. Does 32 divide b?
False
Let i(n) = 2*n**3 - 11*n**2 + 3*n + 12. Let u be i(7). Suppose 5*q = 750 + u. Does 31 divide q?
True
Suppose 4*m - 85 + 33 = 0. Let a(w) = -w**2 + 15*w + 7. Does 11 divide a(m)?
True
Suppose 20*t - 24*t + 60 = 0. Suppose 19*d - t*d - 428 = 0. Does 8 divide d?
False
Let l(d) = d**2 + 9*d - 24. Let c(i) = i**2 - 4*i + 4. Let h be c(0). Does 6 divide l(h)?
False
Let m(r) = -282*r**3 + 7*r + 5. Is 35 a factor of m(-1)?
True
Suppose 0 = -x + 3, 2*x = -5*a + 2*a + 300. Is 3 a factor of a?
False
Let d(q) = -2*q**2 - 44*q - 22. Let t be d(-21). Suppose -t*j = -21*j + 54. Is j a multiple of 6?
True
Let y(s) = -s**3 + 14*s**2 - 13*s - 3. Let v be y(13). Let g = v + 251. Does 29 divide g?
False
Is (-1)/(-2)*13/13*314 a multiple of 3?
False
Let p be (-8)/(7 - 5)*(-30)/(-8). Let r(g) = -5*g - 45. Is r(p) a multiple of 9?
False
Let x = 2 - -20. Suppose 5*u + 2 = -2*z + u, 3*z + u - x = 0. Does 3 divide z?
True
Let v(c) be the second derivative of -c**3/2 - 17*c**2 - 19*c. Is v(-20) a multiple of 11?
False
Let m(t) = 4*t - 1. Let x be m(-1). Does 4 divide x/((-50)/124) - 2/5?
True
Let r be -49 - (-6 - (-3 - 0)). Let n be (0 - -2)/(2/(-81)). Let i = r - n. Is 9 a factor of i?
False
Is 9 a factor of (513 + 1)/(256/1152)?
True
Let c be 17 + 1 + (-5 - -3). Suppose 4*n = -0*n - c, -25 = -s - 4*n. Does 9 divide s + (-1 - -3) + 0?
False
Let d(u) be the first derivative of 1/2*u**2 - 3 + 24*u. Does 12 divide d(0)?
True
Let y = 3463 + -1986. Is 23 a factor of y?
False
Suppose 0 = -h + 270 + 39. Is h a multiple of 13?
False
Let h(k) = 4*k + 425. Is h(-52) a multiple of 15?
False
Suppose -16*s = -7822 - 41474. Does 73 divide s?
False
Let q(a) = 2*a**3 + 6*a**2 - 3*a - 11. Let g be q(-5). Let x = -58 - g. Is x a multiple of 38?
True
Let m(t) = 2*t**3 - 3*t**2 - 2*t + 8. Let z be m(6). Let a = -222 + z. Does 28 divide a?
False
Suppose -6768 = -10*s - 14*s. Is s a multiple of 34?
False
Suppose 0*y = 5*y - 75. Does 12 divide (-3 - 0)/(y/(-70))?
False
Let r = -15 - -183. Suppose 0*z = 3*z - r. Does 11 divide z?
False
Suppose 0 = 19*o - 16*o + 105. Is (-602)/o - -1*(-1)/5 even?
False
Let t = 36 + -33. Suppose 0 = 3*s - p - 8, -4*s - p = t*p. Suppose -6*z + s*z + 84 = 0. Is z a multiple of 18?
False
Is 90 a factor of (311400/35)/8 + 2/(-14)?
False
Suppose -5*o + 1370 = 4*i, -i - 18*o = -20*o - 349. Is i a multiple of 15?
True
Let g(l) = -3*l + 127. Is 12 a factor of g(24)?
False
Suppose 5*w = 2*f - 3062 - 1090, -f - 3*w + 2054 = 0. Is f a multiple of 20?
False
Suppose -27 - 83 = 2*j - 4*l, 20 = 5*l. Let f = -35 - j. Is f a multiple of 4?
True
Suppose 5*j = x - 4*x, -x = 4*j - 7. Suppose -5*c - j*i = -5*i - 209, -2*c - 5*i + 101 = 0. Is 20 a factor of c?
False
Suppose 4*i = 4*k - 28, 0*i = 5*k + 3*i - 19. Is 15 a factor of 3/(2/28*2/k)?
True
Let k be 4 + -7 + 4 + -17. Let g = k - -18. Is 7 a factor of 105/g*4/6?
True
Let h be -2 + 1/((-2)/62). Suppose 0 = -g + 4*u + 63, -46*g + 50*g + 5*u - 315 = 0. Let s = g + h. Is 6 a factor of s?
True
Let b = 5222 + -2478. Does 14 divide b?
True
Does 2 divide ((-95)/10 + 8)*(-72)/3?
True
Let i = 65 - 88. Let a = 2 - i. Does 4 divide a?
False
Suppose 1643 = 5*y + 3*d + 122, 4*y = -5*d + 1222. Does 7 divide y?
False
Let l(j) = -49*j + 21. Let q be l(-4). Let k = q - 89. Is 12 a factor of k?
False
Let o be -1 - -1*(4 - 3). Suppose o = 4*t - 143 - 37. Is t a multiple of 27?
False
Suppose y + 32 = 2*y. Suppose 5*j - 3*t - y = 136, 0 = -4*j - t + 148. Is 9 a factor of j?
True
Let o(g) = -4*g - 36. Let m be o(-10). Suppose -m*a + 77 = 3*a. Is 2 a factor of a?
False
Suppose 0 = -o - 3 + 7. Does 15 divide 1326/13*o/6?
False
Let g(w) be the third derivative of -w**5/60 - 13*w**4/24 + 2*w**3 + 8*w**2. Does 6 divide g(-12)?
True
Let t = 18 - 29. Is (-2)/t + 2544/44 a multiple o