 divide f(j)?
True
Let n(g) = -35 + 54 - 58*g + 105 + 64*g. Does 5 divide n(-6)?
False
Let a(f) = 52 - 17*f - f**2 + 5*f - 14*f + 0*f. Does 37 divide a(-19)?
True
Let q(v) = 3631*v**2 + 18*v - 52. Is q(2) a multiple of 52?
True
Let q(o) = o**3 + 5*o**2 + 4. Let p be q(-5). Suppose 5*b = i - 20 - 0, -27 = -3*i + p*b. Suppose -151 = -4*k - i*s, 3*k - 3*s = -k + 191. Does 22 divide k?
True
Suppose -15888*t + 15891*t = 34170. Is t a multiple of 67?
True
Let d = -5777 + 3789. Let s = 3061 + d. Is s a multiple of 37?
True
Suppose -3*i + 5*y - 93 = 2*y, 0 = i + y + 35. Let b = 149 - i. Suppose -c + k + b = -2*k, 3*c - 546 = -k. Is 27 a factor of c?
False
Let u be (0 + (-2 - -4))*(2 - -2). Suppose -5*s = -u*w + 4*w + 3358, -3*s - 836 = -w. Is 32 a factor of w?
False
Let o(s) = -18*s**3 - 2*s**2 - 125*s - 848. Is o(-8) a multiple of 42?
True
Is 24 a factor of ((-35512)/(-322))/((-2)/(-84))?
True
Suppose 10*a - 15*a + 255 = 0. Let t = -46 + a. Suppose 8*b - t*b - 624 = 0. Is 16 a factor of b?
True
Suppose -2*r + 64 = -0*r. Let p be (-2*27/24)/(2/r). Does 29 divide (-3)/(p/16)*87?
True
Let y = -735 + 970. Suppose 2*w - y - 99 = 0. Is w a multiple of 28?
False
Suppose -z - g = -4, -5*g = 5*z - 3*z + 1. Suppose 2*u - 4 = 0, p - z*u - 254 = -2*u. Is 22 a factor of p?
True
Let n = 1 - 2. Let t be ((-3 - -4) + (2 - n))*-1. Is 3 a factor of t/(-6)*12/(0 + 2)?
False
Suppose 2*k - 30161 = b, 0 = -k - 6*b + 11*b + 15067. Does 218 divide k?
False
Let a = 0 + 0. Suppose -14*l + 121 + 495 = a. Is 7 a factor of l + (-7)/((-28)/(-8))?
True
Suppose 3188 = 3*w - 7*w. Let t = -199 - w. Is t a multiple of 13?
True
Let c(a) = -a**2 - 10*a - 16. Suppose -2*q - 5 = -q. Let n be c(q). Suppose -3*i = -n - 15. Is 3 a factor of i?
False
Let l(k) = k**2 - 5*k + 8. Let t = -14 + 18. Let w be l(t). Suppose w*u + u = 235. Is 21 a factor of u?
False
Let p(b) = -b**3 - 6*b**2 - 2*b + 1. Let y be p(0). Let g(a) = 181*a**2 - 26*a + 25. Does 9 divide g(y)?
True
Suppose 0 = -2*x - 3*v + 7277, -3*x - 2*v - 3*v + 10918 = 0. Is x a multiple of 5?
False
Let r = -91 + 100. Suppose 13*l - r*l = 332. Suppose -2*j + 0*j - 3*c + l = 0, -j + 36 = -4*c. Is j a multiple of 10?
True
Let b(k) = -5*k + 15 + 37*k**2 - 36*k**2 + 0 + 23*k. Let n be b(-17). Does 9 divide (n/6)/(2/(-54))?
True
Let n be -1 + 5/((-20)/12)*-2. Suppose n*d + 25 = 10. Let b(l) = 2*l**2 + 2*l + 4. Is 5 a factor of b(d)?
False
Let v = 379 + -479. Let x = v - -361. Does 29 divide x?
True
Suppose 18*h + 42 = 25*h. Suppose h*b = b + 780. Is 9 a factor of b?
False
Suppose 33*q - 9*q + 8688 = 0. Is 1 + 3 + -3 + q/(-1) a multiple of 18?
False
Let n(k) = -2*k**2 + 39*k - 17. Let q be n(19). Suppose -2*y = r - q*r - 1000, -y = 4*r - 482. Is 13 a factor of y?
False
Suppose -46*v = -214048 + 75707 - 297371. Is 64 a factor of v?
True
Suppose 416*z - 359*z = 987525. Is z a multiple of 225?
True
Suppose 1167 - 200 = y - q, -4*y + 5*q + 3869 = 0. Does 28 divide y?
False
Does 6 divide -6*12/27*57729/(-56)?
False
Suppose 0 = -8*b + 3163 + 3485. Is 45 a factor of b?
False
Let o = -129 + 132. Let u(t) = -11 + 10*t - 2*t + 17. Does 6 divide u(o)?
True
Let i(n) be the first derivative of n**5/20 + 3*n**4/4 + n**3/2 + 11*n**2/2 + 20*n + 20. Let g(t) be the first derivative of i(t). Is g(-8) a multiple of 17?
True
Let i = 11139 + -5507. Does 111 divide i?
False
Suppose 5*c + 4*v - 290 = 0, c + 0*v - 72 = 2*v. Suppose -39 = 3*i + 81. Let u = i + c. Is 11 a factor of u?
True
Is (4282 - 66*(-8)/(-48)) + -10 a multiple of 27?
False
Let k(o) = 153*o + 364*o + 13 + 5 - 104*o - 26. Is k(1) a multiple of 36?
False
Let m be -5 + 0 + 3 + 6. Let t(g) = 2*g - 10. Let p be t(m). Is 24 a factor of (284/p)/((-11)/11)?
False
Suppose 3*c = -4*d + 737, 3*c + 0*c + 3*d = 741. Suppose u - c - 100 = r, -3*u - 4*r = -1046. Is u a multiple of 35?
True
Let f = -245 + 2871. Is 202 a factor of f?
True
Suppose -5*h = -4*q - 37, -q + 3*q = -6. Suppose 0 = h*m - 11*m + 408. Is m a multiple of 4?
True
Does 46 divide (-8)/(-12)*(-14566)/((-7)/(84/8))?
False
Let i(a) = -642*a + 4902. Does 96 divide i(-13)?
True
Suppose -3*m = l - 16, 0 = 6*l - 9*l + 5*m - 8. Suppose -10*q + 225 = 5*r - 15*q, 0 = l*r + q - 155. Is r a multiple of 20?
True
Suppose 124*v = 109*v + 25971 + 29424. Is 92 a factor of v?
False
Let p(y) = -y**2 - 9*y + 14. Let k be (-12)/(-8)*((-2)/(-6) - -1). Suppose -k*l - 4 - 8 = 0. Is 8 a factor of p(l)?
True
Let r(g) = -11 - 38*g + 5 - 7. Suppose 210*s - 75 = 235*s. Is 19 a factor of r(s)?
False
Suppose -16*d + 55 = -41. Is 3 - (d + 162)/(-4) a multiple of 4?
False
Let v(g) = 8*g - 48. Let a be v(12). Let k = a - 27. Is k a multiple of 4?
False
Suppose -8 = -5*w - 2*q, 0*q + 20 = -w + 5*q. Suppose w = 2*f - 102 - 248. Suppose 36*x = 31*x + f. Is 9 a factor of x?
False
Let h = 241 + -137. Let d = h - 14. Suppose 4*x - 7*x = 3*b - d, -5*b - 4*x + 149 = 0. Is 29 a factor of b?
True
Let b be (-8835)/(-403) + (-1)/(-13). Suppose -b*d = -5211 - 28515. Is 73 a factor of d?
True
Suppose 3*h + 3*x - 100797 = 0, -3*x = 70*h - 73*h + 100803. Does 160 divide h?
True
Suppose -15002 + 207006 = 46*d. Does 37 divide d?
False
Let c = 176 + -159. Let z(b) = 37*b - 127. Is 54 a factor of z(c)?
False
Let k = 174 - 1632. Let w = k + 2418. Is w a multiple of 20?
True
Let c(n) = 4246*n**3 + n**2 - n - 1. Let g be c(1). Is g/3 + (23 - 18) a multiple of 71?
True
Suppose -96*c = 149*c - 2954526 + 939891. Is c a multiple of 6?
False
Suppose -48615 = -22*n + 7*n. Suppose -2165 = -2*t - 5*a, -11*a - n = -3*t - 12*a. Does 18 divide t?
True
Suppose 21*q = -62 - 43. Does 18 divide 0 + q + 0 + (427 - -28)?
True
Suppose l + 3 = 5*m + 4*l, -5*m + l + 19 = 0. Suppose 0 = -3*b + 3*r + 1212, -m*b - 4*r + r = -1194. Does 20 divide b?
False
Let j(h) be the first derivative of -7/3*h**3 - 17 - 3*h**2 - 1/4*h**4 + 18*h. Is 30 a factor of j(-7)?
True
Let d(j) be the second derivative of -j**3/6 + 5*j**2 - 5*j. Let u be d(7). Suppose -u = 2*k - 15. Is 2 a factor of k?
True
Suppose 5*u - 110 = -5*s, -5*u + 5*s - 7 + 167 = 0. Suppose 0 = 4*w + u - 35, -5*w + 107 = d. Does 4 divide d?
False
Suppose -2*q - 2*y = -830, 1640 = -12*q + 16*q - y. Is q a multiple of 3?
True
Let o(f) = f**3 - 8*f**2 + 9*f - 6. Let s be o(7). Let m be (1 - 1) + (-896)/s. Is 9 a factor of m/(-4) + 2 + -3?
True
Let r = 8 - 8. Let f be (1 - r)*(2 - 0). Suppose -f*n + 6*n - 212 = 0. Is 9 a factor of n?
False
Let k = -6082 - -8890. Is ((-2)/(-3))/(3/k) a multiple of 13?
True
Let r(l) be the third derivative of l**6/120 - 3*l**4/8 + 4*l**3 - 155*l**2. Let j(y) = -2*y - 2. Let c be j(-4). Is r(c) a multiple of 31?
True
Let w(q) be the second derivative of -q**3/2 + 61*q**2/2 - 7*q. Let y be w(19). Is 4 - (-139 + y + -4) a multiple of 13?
True
Is 113 a factor of 553656/544 + (-6)/8?
True
Suppose 22*g = 18*g + 508. Let h = g + -64. Is h a multiple of 29?
False
Suppose -21 = -4*l + l + 5*g, -4*g = 2*l + 8. Suppose 3*w - l*m = 70, 85 = 7*w - 3*w - m. Is 12 a factor of -245*w/25*-1?
False
Let u = -22747 + 30370. Does 33 divide u?
True
Does 25 divide ((-350)/(-8) - 0)*(-208 + -8)/(-2)?
True
Let m = 285 - 287. Does 31 divide 13620/90 - m/(-6)?
False
Let p = -4007 + 14068. Does 85 divide p?
False
Suppose -4*i + i - 3741 = -5*a, -2985 = -4*a + 5*i. Suppose 89*w = 95*w - a. Does 4 divide w?
False
Let h = 17862 - 17501. Does 10 divide h?
False
Suppose 0 = -4*a - 12*a + 88*a - 103680. Does 48 divide a?
True
Is 5 - (4 - 1) - (-23236)/37 a multiple of 21?
True
Suppose 2 = -z + 4*u, 10 = 2*z + z + 4*u. Let c be z*(1 + (-3)/6) + -352. Let p = -249 - c. Does 9 divide p?
False
Suppose -173*s = -181*s + 40. Suppose s*g - 3*x = 275, -3*x - 217 = g - 5*g. Is g a multiple of 24?
False
Does 239 divide (112134/20)/33*10?
False
Let j(w) = 61*w**2 - 72*w + 598. Does 13 divide j(8)?
True
Is (-4)/14 + (-2805349)/(-959) a multiple of 39?
True
Let x = 869 - 31. Is (x/(-4))/(34/(-68)) a multiple of 8?
False
Let g = -71 + -14. Let q = g - -405. Is 32 a factor of q?
True
Let u(d) be the first derivative of 17*d**3/3 + 3*d**2/2 + 4*d - 217. Is 37 a factor of u(5)?
True
Let f(s) = 329*s**3 + 2*s**2 - 4*s + 3. Let a(p) = -660*p**3 - 4*p**2 + 7*p - 5. Let d(j) = -3*a(j) - 5*f(j). Is 16 a factor of d(1)?
True
Suppose c + 23*p - 801 = 25*p, -4*p + 825 = c. Suppose 8*b = c + 1367. Is