 divide x(2)?
False
Suppose -u + 22 = u. Let m(s) = s**3 - 11*s**2 + s - 10. Let n be m(u). Suppose -2*w = -3*f + 18, 5*w + n = 2*f - 0. Is 8 a factor of f?
True
Suppose -70 = -5*f + 60. Is 758/f - (-22)/(-143) a multiple of 5?
False
Let a = -5 - -46. Suppose -46*c + a*c = -510. Is 17 a factor of c?
True
Let l(i) = i**3 - 7*i**2 - 9*i + 11. Let h be l(8). Suppose -n + 102 = -h*n. Let q = n - -87. Is q a multiple of 12?
True
Let k(f) = -f**2 + 12*f - 4. Let j be k(11). Is (420/8)/j*10/3 even?
False
Let o be 3*-1 + (-108)/6. Let l = -27 - o. Is 4 a factor of (-2)/3*(l - 12)?
True
Let t(v) = -34*v + 15. Let g be t(-5). Suppose 2*o + 5*a = 6*o - g, -4*a = -o + 60. Does 8 divide o?
True
Suppose 0 = -14*s + 2392 + 16046. Does 6 divide s?
False
Let a(c) = -17*c + 11. Is 12 a factor of a(-5)?
True
Let j(v) = -12 + 8*v**2 - 6 - 6*v + 17 - v**3 - 5. Let a(i) = i**2 - i - 6. Let b be a(-3). Is 10 a factor of j(b)?
True
Suppose -2*r - 20842 = 21*x - 26*x, -5*x + 20839 = r. Does 22 divide x?
False
Let l(x) = -1. Let j(k) = 8*k - 4. Let o(h) = -j(h) - 2*l(h). Suppose -1 = 2*r + 11. Is 18 a factor of o(r)?
True
Suppose 4*u - 52 = 5*d + 495, -5*u + 688 = -2*d. Is u a multiple of 46?
True
Suppose -2*r = -r - 5. Let d = 76 + -68. Suppose d = r*y - 27. Is y even?
False
Suppose -188 + 58 = -o - 2*k, -k + 254 = 2*o. Does 21 divide o?
True
Let f be (-48)/(-28) + (-8)/(-28). Suppose -5*b = 4*r - 9*r - 170, -5*b - f*r = -156. Is b a multiple of 16?
True
Let t(f) = f**3 - 32*f**2 + 48*f - 173. Is 6 a factor of t(31)?
True
Let t = -169 - -137. Let i(a) = a**3 - a**2 - a + 19. Let l be i(0). Let g = l - t. Is g a multiple of 26?
False
Let y be -4 - ((-16)/4 - 0). Suppose 3*h + y*f - 77 = f, 4*h - 76 = -4*f. Is 7 a factor of h?
False
Let b(h) = -16*h - 36. Is b(-13) a multiple of 29?
False
Let b(p) be the first derivative of p**4/4 - 2*p**3/3 - 9*p**2/2 + 9. Is b(5) a multiple of 18?
False
Suppose -6*j = -2*j - 8. Suppose 2*m + 4*i = 280, -5*m + j*m = -5*i - 464. Is 39 a factor of m?
False
Suppose 0 = 2*k - 4 + 12. Let c be 11/(-66) + (-50)/(-12). Does 8 divide c/((-3)/30*k)?
False
Let r(i) = i**3 - 3*i**2 - 2*i - 8. Let a be r(3). Is (37/(-6))/(a/84) a multiple of 37?
True
Suppose -2*c - 2*v = -8, c - 4*v - 24 = -3*c. Does 14 divide -36*((-7)/c)/(16/20)?
False
Let q(g) = 4*g - 3. Suppose -6*c + 2*c = -8. Let d be q(c). Suppose -d*b - 2*i + 80 = 3*i, b = -2*i + 17. Is b a multiple of 3?
True
Let t(v) = -3*v**2 - 4*v + 1. Let w be t(-2). Is 11 a factor of w/(-15) + (-436)/(-20)?
True
Let s(y) = -4*y - 23. Let h be s(-7). Suppose -3*l = -h*l + 314. Is 12 a factor of l?
False
Let x(l) = 7*l**2 + l - 1. Let i be x(1). Let a(m) = 35*m - 83. Is a(i) a multiple of 29?
False
Let m = 5484 + -3508. Is 7 a factor of m?
False
Let d be 4 - (-2 - -1 - 24). Let t(n) = -n + 3. Let g be t(3). Suppose g*b - d = -b + 5*m, 27 = 3*b + 5*m. Is b a multiple of 10?
False
Is 85*(-2)/(10/(-15)) a multiple of 8?
False
Let j(l) = l**3 + 4*l**2 - 5*l + 3. Let i = 5 + -5. Suppose i*b + 3 = b. Is j(b) a multiple of 17?
True
Let p(q) be the first derivative of q**3/3 - 7*q**2/2 - 14*q - 24. Suppose z + 3 = 14. Is p(z) a multiple of 15?
True
Let l = -99 + 194. Let d = 115 - l. Is 10 a factor of d?
True
Let s be (-45)/6*(-6)/9. Suppose -s*c = -74 - 6. Is c a multiple of 8?
True
Let c(y) = 53*y + 2. Is 35 a factor of c(3)?
False
Suppose 0 = -42*n + 36*n + 270. Is 10 a factor of 75/((-8)/6*n/(-200))?
True
Let v(h) = -10*h**3 + 2*h - 2. Let d be v(1). Does 13 divide (-4)/(-10) - 646/d?
True
Let j(b) = 2*b**3 + 6*b**2 + b + 13. Does 38 divide j(5)?
True
Let b = -1039 - -1369. Is b a multiple of 3?
True
Let r be (2 - (-2)/(-2))*17. Let m be 4*(5/2)/(2/3). Suppose -3*p - 54 = -4*d, -2*d + 4*p + m = -r. Is 5 a factor of d?
False
Let g(x) = -x**2 - 5*x - 6. Let i be g(-4). Let o = i + 6. Suppose -2*w = -2*h + h - 4, -16 = -o*h. Is 4 a factor of w?
True
Let p(y) = 2*y + 50. Let m be p(-9). Is 6*m/6 - (2 + -3) a multiple of 11?
True
Let i(u) = 13*u**2 + 5*u + 4. Let j be i(-1). Suppose -j*h - 3*d + 172 = -7*h, 5*h + 5*d = 180. Is h a multiple of 8?
True
Let m(v) = v**2 - v - 6. Let f be m(-3). Is 1*-2 + (f - -9) a multiple of 6?
False
Suppose -199 = -z - 7. Is 16 a factor of z?
True
Does 62 divide (-8)/5*(5157/(-6) + 7)?
True
Let i = -19 - -30. Suppose -i*n - 855 = -20*n. Is n a multiple of 8?
False
Is 15 a factor of 1/4 + (-2649)/(-12)?
False
Let j = -2 - -4. Suppose 0 = j*a - 5*a + 9. Does 9 divide (a/(-9))/(3/(-81))?
True
Let d = 627 - 45. Is d a multiple of 77?
False
Let d = 13 - 4. Suppose -k + 133 = 4*c, 4*c = 29 - d. Is k a multiple of 13?
False
Suppose 0 = 20*x - 817 - 8983. Does 10 divide x?
True
Let j be ((-12)/15)/((-5)/100). Suppose -75 = -j*t + 11*t. Suppose t = q + 4*q. Is q even?
False
Let j(a) = a**2 - 11*a + 197. Does 13 divide j(33)?
True
Let d(q) be the first derivative of 5*q**2/2 - 42*q + 32. Does 38 divide d(16)?
True
Let n be (-4)/6 + (-24)/(-36). Suppose 4*x = n, 3*x + 132 = 3*r - 2*x. Is r a multiple of 10?
False
Is 3 a factor of (760/(-3))/(-10)*234/24?
False
Suppose -w - 147 = -2*l, 5*l = -8*w + 5*w + 351. Is 12 a factor of l?
True
Let n(f) be the first derivative of -91*f**4/4 + f**2/2 + f + 16. Is n(-1) a multiple of 13?
True
Suppose -34*d + 2*d + 20480 = 0. Is 40 a factor of d?
True
Let b be (-3)/(2/((-8)/6)). Let k(u) = -135*u - 19. Let w(s) = -90*s - 13. Let l(m) = -5*k(m) + 7*w(m). Is 26 a factor of l(b)?
False
Is 4/8 + -26*(-13)/4 a multiple of 5?
True
Let d be (-3)/(-9) - (644/(-12) + 0). Let x = d - 14. Is x a multiple of 5?
True
Let g(q) = -q**2 - 7*q + 15. Let a be g(-8). Suppose -163 = -a*z + 376. Does 15 divide z?
False
Let a = 5 + -4. Suppose 2*c + 3*i + 73 = 0, a = 2*i + 3. Let n = c + 58. Is 8 a factor of n?
False
Let n = -33 + 16. Let l be 2 - 3 - n - -3. Suppose 62 - l = s. Does 13 divide s?
False
Suppose 5*r + 7 + 7 = -f, -f + 14 = -2*r. Let d be (-3)/(-6*1)*f. Suppose 4*h + 14 = s - 30, -d*s = h - 132. Is 22 a factor of s?
True
Let r(a) = -30*a - 96. Does 39 divide r(-41)?
False
Suppose -3*n = 5*n - 1680. Let m = n + -142. Is m a multiple of 8?
False
Let u = -275 - -600. Does 25 divide u?
True
Let t be 4/(-6) - (-24)/(-18). Is 32 a factor of (8 + t)*224/6?
True
Suppose 0 = -8*t + 9*t + 137. Let b = t - -230. Is b a multiple of 24?
False
Is (-1 - (-10 + 1)) + 598 a multiple of 9?
False
Suppose 4 = h + 9. Let u be h*1/(-10)*8. Suppose -u*p + 252 = c + 72, 192 = 4*p + 4*c. Is p a multiple of 22?
True
Let z = 310 + -188. Is 4 a factor of z?
False
Let m(p) be the first derivative of -4*p**2 - 2*p - 1. Let r be m(-1). Suppose 2*d - 4 = r*d, 55 = g + 5*d. Is g a multiple of 30?
True
Let x(q) be the first derivative of 11*q**2/2 + 27*q + 29. Is x(11) a multiple of 8?
False
Let t(f) = 7*f**2 + 3*f - 8. Let z be t(3). Suppose 676 = 9*q + z. Is q a multiple of 34?
True
Suppose -24 = -5*m + 1. Let b(l) = 15*l - 15. Is b(m) a multiple of 11?
False
Suppose -1344 = -3*i - 3*n, -60*n + 62*n + 2261 = 5*i. Is i a multiple of 105?
False
Suppose 0*f = -f + 4*p + 139, -650 = -5*f + 5*p. Let i = f + -111. Is 4 a factor of i?
True
Let p be 4 + -4 + 8/2. Does 8 divide 5/((-70)/p) - (-58)/7?
True
Suppose -13914 = -19*a + 3642. Is 33 a factor of a?
True
Let t(k) = -k**2 - 16*k - 10. Is 5 a factor of t(-12)?
False
Let z(g) = 9*g**2 - 16*g + 53. Is z(5) a multiple of 18?
True
Suppose 16*j - 12*j - 240 = 0. Suppose 2*i = 5*i - j. Is i a multiple of 5?
True
Suppose 2*s - 10 = -2*j, -5*j - 10*s = -8*s - 25. Let w(d) = -5*d - 3*d - d**3 - 2*d**2 + 2*d**3 + 10. Does 15 divide w(j)?
True
Let r = 6 + -4. Suppose 0 = 2*t + 8, -r*t = -5*o - 7*t - 5. Suppose h + 3 = 0, 5*u + o*h - 8*h - 50 = 0. Is u a multiple of 3?
False
Suppose 3*g = -2*t + 184, -t = 5*g - 4*t - 313. Suppose 0 = -2*c + 4*x + 32, -5*c + x + g = -0*x. Let d(l) = l**3 - 12*l**2 + 2*l + 3. Does 27 divide d(c)?
True
Suppose -2*h - 2*w + 4 = 0, h - 7 = -5*w + 11. Let z(s) = -2*s**3 - 4*s**2 - 4*s - 3. Let u be z(h). Suppose -2 = u*p - 22, -3*j = -p - 119. Does 24 divide j?
False
Let m(k) = -k**3 - 30*k**2 - 355*k - 11. Does 19 divide m(-10)?
True
Let a(u) = 23 + u + 14*u**2 + 6 - 13*u**2 - 2*u**3. Does 9 divide a(0)?
False
Let l be -5 + 2 - (-24)/4. Suppose -j = -l*j + 8. Is 15 a factor of (-190)/(-8) - (-1)/j?
False
Let z = 73 + -69. Su