be -45 - ((-4)/20 + 1/5). Let m = i - -364. Is 33 a factor of m?
False
Suppose 5*q - v = 5169 + 2476, 25 = -5*v. Suppose -3*g = 22*w - 26*w + 1204, 0 = -5*w - 2*g + q. Is w a multiple of 38?
True
Let v = 123043 - 42395. Does 68 divide v?
True
Let s(j) = -2*j - 9. Let l be s(-7). Let n = -1451 - -1451. Suppose n = -o + g + 86, 0 = l*o + g + g - 395. Is o a multiple of 13?
False
Let i(g) = -56*g**2 + 3*g + 3. Let d be i(-2). Let j = -123 - d. Is j a multiple of 21?
False
Let q = -107 + 111. Suppose -v + 232 = -q*b, -2*v - 227 = -3*v - b. Is 12 a factor of v?
True
Suppose 24*o + 64576 = 251776. Is 6 a factor of o?
True
Let o(p) = 2*p**2 - 3*p + 7. Suppose -x + d + 29 = 0, 0*x - 67 = -3*x - 2*d. Suppose -29*c = -x*c + 20. Is o(c) a multiple of 12?
True
Let h(w) = w**2 + 108*w + 2697. Is 8 a factor of h(-25)?
False
Let y(r) be the first derivative of -13/2*r**2 + 12*r - 2*r**3 + 1/4*r**4 - 1. Does 18 divide y(8)?
True
Let v be 1 - (5 - 3)/(-1). Suppose -3*g + 3*y + 9 = 0, -v*y = 2*g + 2 - 13. Suppose -2*b = -g*a + 570, 2*a - 300 = -2*b - 0*b. Is 35 a factor of a?
False
Suppose 105 = 3*i + 2*h, 4*i + 0*h - 140 = -4*h. Suppose 9*o = 4*o - i. Let f = o + 26. Is f even?
False
Is 10 a factor of 15/40 + 273402/144?
False
Let w = -2687 + 3427. Does 2 divide w?
True
Let g = 115553 + -64733. Does 132 divide g?
True
Suppose 76712 = -23*c + 25*c + 4*u, u = 5. Is c a multiple of 33?
True
Let g = 53221 + -26061. Is 56 a factor of g?
True
Let z(t) = t**3 - 20*t**2 + 5*t - 52. Let n be ((-21)/9)/(1/(-9) + 0). Is z(n) a multiple of 13?
True
Let h be 3/4*2 - 8436/24. Let z = -50 - h. Suppose -220 = -5*y + z. Is 16 a factor of y?
False
Let g(x) = -4*x - 1. Let j be g(-1). Let c be (0 + 10/(-15))*4*j. Is 4 a factor of (-5)/((-15)/(-9))*c?
True
Let n(c) = -2*c**2 + 9*c + 35. Let b(t) = 3*t**2 - 18*t - 71. Let k(g) = -3*b(g) - 5*n(g). Let o be k(-16). Is o + 1 + (-1)/(-2)*-2 a multiple of 30?
True
Does 5 divide 4 + 2 + 8105/(60/12)?
False
Suppose -8 = -w + 2*s, 3*w - 5*w + s = -13. Suppose 20*k - 672 = w*k. Does 4 divide k?
True
Let h(f) = 323*f - 256. Does 5 divide h(7)?
True
Let k(v) = 6*v + 10. Let f be k(-1). Let a(c) = 243*c - 179. Does 61 divide a(f)?
True
Suppose -172465 - 777978 = -161*x + 1202449. Is x a multiple of 24?
False
Let r(a) = 3*a + 15. Let x be r(0). Let t be 46/(-10) + x/25. Let k(l) = -l**3 - 2*l**2 + l - 4. Is k(t) a multiple of 15?
False
Is 261 a factor of 116/(-10)*(17 + -5417)/8?
True
Let d be 48/7*(-238)/(-68). Suppose -d = 10*q - 14*q. Does 6 divide q?
True
Suppose 0 = 773*x - 781*x + 13632. Is x a multiple of 24?
True
Let p(h) be the second derivative of 5*h**4/8 + 2*h**3 - 9*h**2/2 + 10*h. Let y(f) be the first derivative of p(f). Is 27 a factor of y(10)?
True
Let o(k) = -4*k**2 - 5*k**2 - 13*k**2 - k**3 + 36*k**2 - 3*k**2 + 22 - 9*k. Let f = 7 - -3. Is o(f) a multiple of 13?
False
Let x(w) = -8*w + 203 + 14*w**2 + 5*w**2 - 18*w**2 + 454. Is x(0) a multiple of 37?
False
Let t(f) = 2*f**2 + 6*f + 381. Let l be t(0). Suppose -2*w + 917 = -5*z + 2730, 5*w = z - l. Does 6 divide z?
False
Suppose 0 = f + l - 820, -563 = -3*f - 2*l + 1901. Suppose -7*i = -6*i - f. Is i a multiple of 21?
False
Let o(w) = 75*w**2 - 18*w + 38. Is o(2) even?
True
Let a(i) = i**3 + 43*i**2 - 10*i - 26. Does 34 divide a(-15)?
False
Suppose -99*r - 12 = -101*r. Suppose -r*s + s = 3*t - 370, -t + 116 = -2*s. Does 24 divide t?
True
Suppose -3*k + k + 5*r + 166 = 0, 2*r = -k + 92. Let f(p) = 30*p**2 + 14*p + 20. Let x be f(-2). Let h = x + k. Is 37 a factor of h?
False
Suppose -97 = 6*m - 289. Let r(t) = 13*t - t**2 - 15*t + 30 + m*t. Is 20 a factor of r(24)?
False
Let t = 407 - -139. Let o = t + -369. Suppose 0 = -4*c + 3*w + o + 345, -3*c + w + 389 = 0. Is c a multiple of 13?
False
Suppose 15*h = 19*h. Suppose -21*d + 5*d + 2464 = h. Is 11 a factor of d?
True
Let n(g) = 128*g - 2. Let x = 49 + -47. Let p be n(x). Suppose -3*i = -12, -p - 58 = -4*f + 2*i. Is f a multiple of 16?
True
Suppose 5*n + 3*c - 77037 = 0, -3*c - 7 = -4. Does 18 divide n?
True
Let v(d) = -4*d**3 - 3*d**2 - 6 + 3*d**3 - 2*d + 7 + 4. Let y be 52/(-14) + (-2)/7. Is v(y) a multiple of 13?
False
Let m(k) = -k**2 + 6*k + 3. Suppose 0 = -5*x + 4*x - 2, -4*x = -c + 13. Let n be m(c). Let v(i) = 7*i - 2. Is 16 a factor of v(n)?
False
Suppose -10*l - 42 = 58. Let a(s) = -23*s + 27. Is a(l) a multiple of 9?
False
Suppose -2*q - 3*j + 5*j = 72, 0 = 5*q - j + 180. Let v = -63 - q. Is 24 a factor of (-1)/(-2 - 53/v)?
False
Let j = -8 + 13. Suppose 264 = 2*u + u + 4*w, 69 = u - j*w. Is u a multiple of 9?
False
Let u = 2269 - 610. Is u a multiple of 21?
True
Let p = 13152 + -11713. Is 12 a factor of p?
False
Let r(p) = -2*p**2 - 4*p - 28. Let i be r(0). Let g = i + 147. Is g a multiple of 5?
False
Let f = 33 - 29. Suppose 4*o + 4 - f = 0. Suppose 37 = c + 5*k, 5*c + o*k = -5*k + 185. Is c a multiple of 9?
False
Suppose -117 = 2*v + 2*a - 455, 2*v - 322 = 2*a. Suppose v = 5*n - 160. Does 13 divide n?
True
Let s(f) = f + 4. Suppose -11 = 4*u + 2*t + 7, 3*u - 5*t - 6 = 0. Let j be s(u). Let x = 34 + j. Is x a multiple of 33?
False
Let u(h) = 48*h - 44. Let p(f) = -2*f. Let d(l) = -10*p(l) - u(l). Does 65 divide d(-17)?
True
Let v(x) = -41*x**2 + 13*x + 31. Let t(b) = -8*b**2 + 3*b + 6. Let k(q) = -11*t(q) + 2*v(q). Is 14 a factor of k(4)?
False
Suppose 12*t + 18*t - 14896 = 11*t. Is t a multiple of 32?
False
Let j be 1/6 + 6891/18. Suppose j = k + 2*g - 183, -5*k + 2*g + 2818 = 0. Is 17 a factor of k?
False
Let h be (-6)/18*(-5 - 1). Suppose 3*l - h*l + 2*b = 343, 2*l = b + 686. Is 14 a factor of l?
False
Let c = -18041 - -24814. Does 12 divide c?
False
Let k(d) = 3*d**2 + 7*d - 3. Let n be k(-3). Let p be n/(-6)*-2 - -3. Suppose -c + 0*c + 104 = p*x, 5*x = 5*c - 395. Is c a multiple of 28?
True
Does 14 divide ((2288496/70)/(-14))/((-3)/10)?
True
Suppose 10*b = 174 - 414. Let c = b - -26. Suppose -246 = c*d - 4*d. Does 12 divide d?
False
Let h = -2218 + 3107. Is 20 a factor of h?
False
Let q be (-12)/36*(-108)/3. Does 41 divide ((-82)/(-4))/(6/q)?
True
Let z be 1*(-2 - -1) - (-7 - -3). Suppose -2*p - 25 = -z*p. Is 8 a factor of p?
False
Let m(a) be the first derivative of -12*a + 11/3*a**3 + 5 + 1/4*a**4 + 15/2*a**2. Is 30 a factor of m(-8)?
True
Let l = -8727 - -26391. Is l a multiple of 48?
True
Let i = 532 - 525. Suppose 6 = i*t - 2493. Is t a multiple of 6?
False
Suppose s - 2*m = 38, -4*s + 177 = -5*m + 2*m. Suppose -b + 43 = s. Let u(j) = 5*j + 49. Is 8 a factor of u(b)?
True
Let s(m) = -67*m + 11. Does 25 divide s(-42)?
True
Suppose -87*f + 1568202 = 54*f. Is 166 a factor of f?
True
Let o = 37 - 101. Is 19 a factor of ((-24)/8)/(1/o) + -2?
True
Let b(v) = -23*v + 67. Let c be b(-9). Suppose -2*t = r - c, -3*t + 1353 = 5*r - 3. Is r a multiple of 9?
True
Suppose 2545 + 241 = 7*g. Suppose 0 = -3*n + 52 + g. Does 4 divide n?
False
Let w(m) = m**2 - 2*m + 11. Let b(d) = -2*d**2 + 3*d - 23. Let k(o) = -2*b(o) - 5*w(o). Let n be k(4). Let q(y) = 5*y + 56. Is 2 a factor of q(n)?
False
Suppose 21*p + 13892 = 31099 + 66709. Does 9 divide p?
True
Let l(c) be the third derivative of -c**5/60 + c**4/6 + c**3/6 + 17*c**2. Let q be l(2). Suppose -4*m - 4 = q*k - 17, 22 = 2*k - 4*m. Is 5 a factor of k?
True
Let b = 5759 - 5507. Is b a multiple of 84?
True
Let q = -3729 + 4253. Is q a multiple of 19?
False
Suppose l = -2*n - 376 + 62, l + 289 = 3*n. Let r = l + 392. Is 14 a factor of r?
False
Suppose 0 = 5*z + d + 20 + 10, 0 = 4*z + 5*d + 24. Let r be z + 7 + 1/1*-6. Is 4*r*(1 - 6) a multiple of 20?
True
Suppose 0 = -2*h - 5*x + 65145, 2*h - 5*x + 162900 = 7*h. Is 35 a factor of h?
True
Let s = -11 + 11. Let b(l) be the third derivative of -l**6/120 + l**5/60 - l**4/24 + 35*l**3/6 - 9*l**2. Is 10 a factor of b(s)?
False
Is 32 a factor of 1006 + 161/(-46)*4?
True
Let u(t) be the second derivative of 3*t**5/20 - 3*t**4/4 + t**3 - 9*t. Is u(5) a multiple of 6?
True
Suppose -6*f + 13541 + 21 = 1094. Is f a multiple of 5?
False
Let j(h) = 2*h**2 - 24*h + 68. Let k be j(13). Suppose -82*z + k*z = 17076. Is z a multiple of 25?
False
Let j(d) = -26100*d - 556. Is 248 a factor of j(-1)?
True
Let p be 11/((-1*(-1 + 2))/(-1)). Does 47 divide 62/(-341) + 1223/p?
False
Let y(c) = 9*c + 9. Let o be y(-10). Let k = o + 152. Suppose k 