- 31*j - 71. Does 85 divide g(-2)?
False
Let v = 12083 - 11093. Is 5 a factor of v?
True
Suppose 0 = -11*c - 4096 - 24944. Is ((-11)/4)/(-3*(-10)/c) a multiple of 90?
False
Suppose 5*b + 177 = -4*c, 3*c - 93 = 3*b + c. Let a = b + 38. Suppose -f + 694 = a*w, 358 = 4*w - 4*f - 178. Does 23 divide w?
True
Let y = 46 - 46. Suppose y = -2*x + 5*x - 12. Suppose -2 = -f, 5*f + 202 = 3*t + x*f. Is 17 a factor of t?
True
Suppose 2*q = 9 + 25. Suppose -q*s + 21*s = 0. Suppose s*n = 5*n + 5*y - 35, -5*n - 2*y = -47. Is n a multiple of 8?
False
Is (6 - (-942)/(-9))/((-1005)/(-252) - 4) a multiple of 13?
False
Let f be -148 - (-4)/2*(-9 - -8). Does 20 divide (-14)/8*f/(-14)*-8?
False
Let s be 70/8 + (-2)/(-8). Let g(d) be the third derivative of 3*d**4/8 + 13*d**3/2 + 77*d**2 - 5. Does 20 divide g(s)?
True
Does 55 divide -1*3/(-4) + 23 + (-363750)/(-24)?
True
Suppose -17*m = -13*m - 924. Suppose -3*r - 2*p = -m, 2*p + 47 = r - 38. Let t = r - -65. Is t a multiple of 24?
True
Let d(r) be the second derivative of r**5/10 - 35*r**4/12 - 43*r**3/6 - 11*r**2 + 2*r + 18. Is d(19) a multiple of 3?
False
Suppose -1049 = -d - b, 3*d + 2*d - 3*b - 5229 = 0. Suppose -5*c + 3*j + d + 1125 = 0, 5*c - 2144 = -4*j. Is 18 a factor of c?
True
Suppose 23*w - 259630 + 178179 - 456933 = 0. Does 16 divide w?
True
Suppose 2*b = 3*x - x + 16, 0 = b + 4*x + 2. Let o = b - -34. Suppose -19*p = -24*p + o. Is 4 a factor of p?
True
Suppose -9*n = 2*c - 6*n - 9539, 4787 = c + 4*n. Does 56 divide c?
False
Let j be -6*((-20)/12 + 1). Suppose 2*t - j*l + 4 = 0, 0*t + 4*t - 7 = 3*l. Is 6 - t - (-25 + 1) a multiple of 3?
False
Suppose -14*p + 1334 + 3216 = 0. Let u = -206 + p. Let s = -57 + u. Is s a multiple of 17?
False
Suppose -5*z - 341372 = -17*z - 19*z. Is 143 a factor of z?
False
Let v(u) = -13*u + 20. Let d(l) = -62 - 6*l + 44*l + 2. Let i(w) = 6*d(w) + 17*v(w). Is i(11) a multiple of 10?
False
Let i(l) = -l**2 - 10*l + 3. Let b be i(-10). Suppose -3*y = 9, 0 = -4*s - b*y - 2*y + 5. Suppose s*m + 345 = 4*r, 3*m + 0*m + 15 = 0. Does 8 divide r?
True
Let x = -338 - -343. Suppose -1197 = -x*g - 3*q, 2*q - 1011 + 53 = -4*g. Is g a multiple of 45?
False
Let y(i) = -6 + 17*i - 3 - 7*i. Let p(h) = -5*h + 4. Let n(g) = -5*p(g) - 2*y(g). Is n(5) a multiple of 9?
False
Suppose 3*s + 66 = -y, 2*s + 250 - 45 = -3*y. Let i = y - -76. Suppose -b + 4 + i = 0. Is 4 a factor of b?
False
Suppose 47643 = 68*f + 566280 - 4995961. Is 57 a factor of f?
False
Let q = -6378 - -6393. Suppose -u - 2*u = -30. Suppose u*h - q*h + 1085 = 0. Does 31 divide h?
True
Let y = 104 - -66. Does 27 divide ((-2366)/(-455))/(2/y)?
False
Suppose 3*w + 621 = -0*w + 3*g, w - 3*g = -201. Let m = w + 267. Is m even?
False
Let z(u) = 9*u + 0*u**2 + 3*u**2 + 6 - 2*u**2 + 0*u. Let s be z(-12). Let x = s + -10. Is 15 a factor of x?
False
Suppose -29*i - 35*i + 132088 = 15*i. Does 76 divide i?
True
Is 8 a factor of ((-1672)/32)/((-7)/28)?
False
Is 51 a factor of 27065/2*2/5 - 21/3?
True
Let p(r) be the third derivative of 0*r + 0 + 7/24*r**4 - 5*r**3 - 11*r**2. Is p(7) a multiple of 4?
False
Suppose -758*i - 69450 = -4*l - 753*i, -4*l + 69430 = 5*i. Is l a multiple of 140?
True
Let i(q) = 5737*q - 4685. Does 160 divide i(5)?
True
Does 18 divide ((-10 - 6) + 5)*(-160 - 3)?
False
Let z(q) = -2236*q**2 - 5*q + 8. Let d be z(1). Let p = -469 - d. Is p a multiple of 42?
True
Let f(z) = -2*z**2 + 7*z + 42. Let d be f(6). Let v(t) = -t**3 + 10*t**2 + 42*t + 8. Is 20 a factor of v(d)?
False
Let j = -488 - -239. Is (-12)/20 - j/15 a multiple of 16?
True
Suppose -5*b + x = 5, -2*b - b - 5*x + 25 = 0. Suppose 6 + b = f. Suppose -536 = 2*s - f*s. Does 44 divide s?
False
Let z = -255 + 266. Suppose 6*b + 520 = z*b. Does 8 divide b?
True
Suppose 0 = -x + 3*d - 4 - 11, -4*d + 30 = -3*x. Is 3 a factor of 6/12 + (-429)/x*1?
True
Suppose 6*o + 17*o - 15732 = 0. Suppose 3*a - 5*a = -o. Does 19 divide a?
True
Suppose -3*y = 3*l - 3516, -42*y + 6 = -39*y. Does 13 divide l?
True
Suppose 3*g - 54593 = -4*p, -6*p - 36456 = -38*g + 36*g. Does 6 divide g?
False
Let t(d) = -d**2 - d + 108. Let f be t(9). Is (f/(-6) - -1)*(-56)/2 a multiple of 15?
False
Let o(q) = 12*q**2 - 66*q + 13. Does 44 divide o(-8)?
False
Suppose -5*j = d + 2*d - 78, 3*j = -5*d + 50. Suppose 0 = 5*h + j, 5*c = -0*c - 5*h - 565. Let v = -64 - c. Does 3 divide v?
False
Let y be 156/(-195)*45/(-2). Suppose -q = -3*p + 207, -4*q = 2*p - y - 106. Does 7 divide p?
False
Let n(d) = d**3 - 3*d**2 + 3*d. Let v = 19 - 26. Let z(x) = x**3 - 4*x**2 + 4*x + 1. Let g(l) = v*n(l) + 6*z(l). Does 5 divide g(-4)?
True
Let k(u) be the third derivative of u**6/120 + u**5/5 + u**4/6 - u**3/3 + 6*u**2. Let j be k(-5). Let v = j + -53. Is v a multiple of 20?
True
Suppose -q = -4*t - 8638, q + 4*t - 7320 = 1262. Does 6 divide q?
True
Suppose -r - 4 = 3*j - 4*j, -24 = -3*j - 3*r. Suppose k + 373 = 4*d, j*k - 3*k = -4*d + 353. Is d a multiple of 53?
False
Let s = -2051 + 5416. Is 18 a factor of s?
False
Let u(k) = -2*k**2 - 352*k + 183. Is 126 a factor of u(-71)?
False
Does 4 divide (-40)/(-4)*21454/85?
True
Let r = 60 + -58. Suppose 3*z - 9 = -21, -38 = -5*j + r*z. Is 5 a factor of 3*(-3 + j)*1?
False
Let m(u) = 49*u**2 - 3*u - 10. Is 109 a factor of m(-11)?
False
Suppose -2*v = 4*b - 26, -22 = -v - v - 3*b. Suppose -4*w = -v*r - 17, 3*w + 5*r + 0*r = 4. Suppose -y - 3*x + 68 = y, -3*x = w*y - 102. Does 25 divide y?
False
Suppose 0 = 3*q + f - 15527, 3*q + 2*f - 2789 - 12743 = 0. Let w = q + -3662. Is 27 a factor of w?
True
Suppose 11*z - 16*z + 53 = -4*q, 4*z + 4*q = 64. Let u(y) = 35*y - 49. Is u(z) a multiple of 17?
False
Let h(z) = -12*z**2 - 116*z + 198. Let w(o) = -17*o**2 - 174*o + 298. Let k(s) = -7*h(s) + 5*w(s). Is k(-30) a multiple of 17?
False
Let c(q) = -q**3 + 12*q**2 - q + 7. Let n be c(12). Let h be n/10*(4 + 2). Does 24 divide 9/((-54)/(-1272))*h/(-4)?
False
Suppose -g - 8 = 2*v, -11*v + 6*v - 20 = -g. Suppose -19*h + 22*h - 9 = g. Let t(f) = 42*f + 10. Is t(h) a multiple of 17?
True
Suppose 3*b + 0*b - 12 = 0. Suppose -2*w = 4*z - 14, -b*w + 11 + 9 = 4*z. Suppose 3*r = 3*k - 372, -132 = -3*k + z*k - r. Is 35 a factor of k?
False
Let i(o) = o**3 - 17*o**2 - 14*o - 7. Let s be (-5 + (-48)/(-9))*(1 + 17). Let q be (s/3 - -3)*(-54)/(-15). Does 30 divide i(q)?
False
Let t(b) = 199*b**3 + b**2 + 5*b + 5. Let f be t(-1). Let l = f + 278. Is l a multiple of 16?
True
Suppose -5*n + 3*y = 621, 847 = -5*n + y + 230. Let m = 169 + n. Is 13 a factor of m?
False
Suppose -3*i = -4*i + 2*d - 8, d = -2*i + 4. Suppose 10*p - 3*p - 63 = i. Suppose -8*u - 126 = -p*u. Does 9 divide u?
True
Suppose 0 = -14*h - 19734 + 108118 + 9252. Is 7 a factor of h?
False
Suppose 3*z - 175241 = -6*t + 7*t, 4*t = -4*z + 233644. Is 28 a factor of z?
False
Is ((-4)/5)/(-23 + 234580/10200) a multiple of 4?
True
Suppose 4*j - 9*j = -1920. Suppose -6*l - j = -9*l. Suppose 0*u - 2*u = -l. Is u a multiple of 18?
False
Suppose 15*s = 14*s + 14430. Is s a multiple of 30?
True
Let c(t) = -19*t - 66. Let l be c(-19). Let b = -278 + l. Is 15 a factor of b?
False
Suppose -5*d - o = -94797, -2*d + 648*o = 646*o - 37938. Does 67 divide d?
True
Let s = -8 - -10. Suppose g + r = 38, -s*g - 3*r + 53 + 19 = 0. Suppose 5*l - g = -2*l. Is 4 a factor of l?
False
Suppose -29*r + 1318658 = 52*r + 40*r. Does 2 divide r?
True
Let w(f) = f**3 + 7*f**2 - 7*f + 9. Let q be w(-8). Suppose -q - 7 = 4*d. Is 9 a factor of d + 5 + 1 + 1 + 147?
False
Let y(l) = 3*l**2 + 68*l + 39. Let i be y(-22). Let o(x) = -x**3 + x - 8*x**2 - 3*x**2 - 6 + 0*x - 2*x**3. Is 30 a factor of o(i)?
False
Let o(g) = -20*g + 8. Suppose -2*r - 16 = -5*j, -j = 5*r + j + 11. Let q be o(r). Suppose 0 = l + 2*p - q, 3*l - 86 - 115 = -3*p. Is l a multiple of 22?
True
Let h be (-33 - -4)*(3 + -4). Suppose 5*x + 9 = h. Suppose -x*b - 2*b = -366. Is b a multiple of 9?
False
Let f(s) = s**2 - 4*s - 3. Let p be f(6). Suppose 16 = -y + 5*b, -y - 2*b = -4*y - p. Is (-22)/(-66)*(y + 202) a multiple of 13?
False
Let m = 19 + -17. Let c be 6/m + -6 + (1 - -6). Suppose -6*z + 44 = -2*z - 3*j, -c*j - 26 = -3*z. Is z a multiple of 14?
True
Suppose -b - y = -7616 - 13575, 4*b = 4*y + 84732. Is 7 a factor of b?
False
Suppose l = 10*l - 45. Suppose 0 = -4*k - 0*k + 8, l*f = k + 418. Does 18 divide f