 = 5*u - x*u. Is 18 a factor of u?
True
Suppose 942 + 858 = 10*s. Is 36 a factor of s?
True
Let h = 20 - 16. Suppose -3*x = -2*z + 233, 4*z - 458 = -h*x + 2*x. Is 17 a factor of z?
False
Suppose 274*d + 5192 = 282*d. Is d a multiple of 33?
False
Suppose -25*l = 141 - 2191. Does 41 divide l?
True
Suppose -h + 120 = 2*h. Suppose -2*j + 59 = -5*q, -q - 103 = -4*j + 4*q. Let n = h - j. Is n a multiple of 9?
True
Suppose f = 1, -f = 3*y - 0*y - 91. Is 6 a factor of y?
True
Let y = -14 + -61. Let b = 105 + y. Is 15 a factor of b?
True
Suppose -5*l = -0*z - 2*z - 33, 3*z + 37 = -5*l. Is z/(5/10*-1) a multiple of 2?
True
Let j be 8/36 + (-1220)/(-18). Let f = j - 42. Is f a multiple of 3?
False
Suppose -3321 + 1089 = 2*b. Is 37 a factor of b/(-14) - (2 - 16/7)?
False
Let h be (2/(-3))/((-2)/51). Suppose -h = l + 19. Let r = l + 52. Is r a multiple of 10?
False
Let n(h) = -h**2 + 20*h + 4. Let o(v) = -v + 10. Let s be o(-5). Is 31 a factor of n(s)?
False
Suppose -7*g + 19 = -2. Let a = 62 - 32. Suppose -x = g*z - 0*z - a, 5*x - 112 = 4*z. Does 16 divide x?
False
Suppose -2*y + 5*y = -6. Let l be 4/6 + y/3. Suppose l = 4*h - 0 - 20. Is h a multiple of 3?
False
Let n(s) = -s**3 - 12*s**2 + 14*s - 70. Does 90 divide n(-14)?
False
Suppose 10*p - 14*p + 324 = 0. Let a = p + 47. Is a a multiple of 16?
True
Does 39 divide (-9)/27 + 15245/15 + -2?
True
Let k(v) = -17*v - 8. Let z(c) = -c**3 - 9*c**2 - 5*c. Let i be z(-7). Let q be (-88)/14 + (-18)/i. Is k(q) a multiple of 36?
False
Suppose 595*k + 1360 = 596*k. Is k a multiple of 34?
True
Suppose 2*m = 5*w + 368, -2*m = -0*m - w - 360. Is 10 a factor of m?
False
Suppose -31*o - 27*o = -20532. Is o a multiple of 25?
False
Let j(b) = 269*b**2 - 5*b. Let h(y) = -54*y**2 + y. Let c(i) = -11*h(i) - 2*j(i). Does 19 divide c(-1)?
True
Suppose 4*z + 2*d - 834 = 0, -3*d + 200 + 842 = 5*z. Suppose -3*h + 176 = h + 3*b, -5*h - b = -z. Let r = h - 18. Is r a multiple of 11?
False
Suppose -147 = -4*q - 15. Let g(j) = -j**2 - 4*j - 1. Let t be g(-3). Suppose -q = -t*n + c - 14, -2*n = -4*c - 16. Is n a multiple of 5?
True
Suppose -27 = -5*w + 14*w. Does 4 divide (23 - 2) + (-9)/w?
True
Let m be (-52)/(-14) + (-24)/(-84). Suppose 4*a = -0*a - m*u + 168, u + 118 = 3*a. Is 12 a factor of a?
False
Suppose q + 661 + 1528 = 3*a, 0 = -5*a + 2*q + 3650. Is 14 a factor of a?
True
Let x be -32*(-1 + 0)/((-4)/(-4)). Let i = 44 - x. Is 12 a factor of i?
True
Let y(c) = -27*c + 9. Let b be y(-9). Suppose 96 = -4*s + b. Is 10 a factor of s?
False
Let q(i) = i**2 - 13*i + 3. Does 9 divide q(16)?
False
Let f(q) = 2*q**3 + 4*q**2 + 37*q - 3. Is 48 a factor of f(9)?
True
Let k = -270 + 816. Does 14 divide k?
True
Suppose 1818 + 473 = 29*f. Is 2 a factor of f?
False
Suppose 22*d = 30*d + 16. Suppose j - 42 = 3*t - 5*t, 4*t = -j + 84. Let p = t - d. Is 23 a factor of p?
True
Let f(d) = d**2 + 8*d + 8. Let c be f(-6). Let w(z) = -4*z**2 - 9*z - 8. Let t(p) = 2*p**2 + 5*p + 4. Let h(i) = -11*t(i) - 6*w(i). Is h(c) a multiple of 20?
True
Let j be (20 + -23)/((-1)/1). Let v(p) = p**3 - 3*p**2 - 3*p + 5. Let o be v(j). Let r(w) = -25*w + 15. Is r(o) a multiple of 16?
False
Let n = 3 - 0. Suppose -5*z - n = -4*z. Is 3/z*-2 - -2 even?
True
Let m(y) = y**2 - 5*y - 11. Is 6 a factor of m(8)?
False
Is (-790)/(-8) + (-5)/(-100)*5 a multiple of 9?
True
Let s = -11 + 26. Let o be s + -3 - 3*1. Is 4 a factor of (-3)/((-2)/(24/o))?
True
Suppose -4*c = -6*c + 276. Suppose -c = -2*r - 4. Suppose 0 = -5*i + 163 + r. Is i a multiple of 19?
False
Suppose 17*t + 2194 = 6546. Does 2 divide t?
True
Suppose 2*o - 8 = -0. Suppose 0 = -4*a - 12, 5*a - 4*a = 5*h - 28. Suppose -6 = o*r - h*r. Is 3 a factor of r?
True
Let v(t) = -3*t + 192. Is 5 a factor of v(13)?
False
Is 21 a factor of -54*(44/198)/(2/(-33))?
False
Let d = 6 + -6. Let b be (7/21)/((-3)/(-45)). Suppose 3*j + 4*q - 80 = -j, d = b*q + 25. Is 5 a factor of j?
True
Is 12 a factor of (-4384)/(-24)*3/2?
False
Let w(t) = -t**3 - 13*t**2 - 14*t - 26. Let r be w(-12). Is 37 a factor of 4 + 150 + r + -1?
False
Let w be 2/(2*(-1)/18). Let p = w + 21. Does 3 divide p?
True
Is 27 a factor of (-1554)/(-6)*(-40)/(-56)?
False
Suppose 2*i = j - 0*i + 120, -4*j = -4*i + 492. Let q = -24 - j. Is q a multiple of 17?
True
Let x = 3536 - 975. Is 144 a factor of x?
False
Let z(f) = 2*f**2 - 3*f + 6. Let r be z(-7). Let l = r + -67. Let a = l + -24. Is 17 a factor of a?
True
Let a(m) = -6*m. Let n be a(-6). Let x = -93 + 93. Suppose -s - 4*p + n = -0*p, -s + 2*p + 66 = x. Is 28 a factor of s?
True
Let h(c) = c**3 + 4*c**2 - 10*c + 26. Is 7 a factor of h(6)?
False
Let o = 2 + 3. Does 4 divide 95/o - (-1 - -2)?
False
Let a = -28 + 32. Let s = a - 1. Suppose 2*m = 4*w + 14, -28 = -s*m + 3*w - 1. Does 6 divide m?
False
Let r(s) = -3*s - 25. Let t be r(-10). Suppose 794 = t*h + 229. Does 28 divide h?
False
Suppose 0 = 10*c - 827 - 1103. Is 2 a factor of c?
False
Suppose 0*p = -5*p - 4*t + 45, 31 = 2*p - t. Let b = p + -8. Suppose 5*y = 2*u - b - 20, -2*y + 14 = 4*u. Is 5 a factor of u?
True
Let i be ((-174)/(-18) - 7) + (-2)/(-6). Suppose -3*s - i*z = -225, 0 = -5*s - z + 229 + 150. Is s a multiple of 11?
False
Is 5 + (-3)/((-27)/9792) a multiple of 33?
False
Let p(u) = -12*u + 1. Let w be p(10). Let y = w - -69. Is 14 a factor of ((-54)/(-5))/((-15)/y)?
False
Let h be 3 + -6*1/1. Let o(b) = 2*b**3 + b**2 + 2*b + 7. Let i(z) = -z**3 - 2*z**2 - z - 6. Let s(k) = h*i(k) - 2*o(k). Does 8 divide s(3)?
False
Let l be 18/27*39/(-2). Let o = l - -17. Suppose 0 = 4*n + c - 23, -o*n = 2*c + c - 21. Does 2 divide n?
True
Let j(w) = -2*w**3 - 28*w**2 - 33*w - 14. Is 8 a factor of j(-14)?
True
Let t(p) = -p**3 + 2*p**2 + 4*p + 1. Let x be t(3). Suppose i + x = -5*d, 0*i - 4*i - 3*d - 16 = 0. Let m(v) = -5*v. Is m(i) a multiple of 19?
False
Suppose -192 = -0*t - 2*t. Suppose -v = 3*v + t. Let i = -14 - v. Is 8 a factor of i?
False
Let w(p) = 5 + 2*p - 3*p + 4*p - 1. Let o be w(-7). Let q = -12 - o. Does 3 divide q?
False
Let p(i) = 10*i**2 - 9*i + 14. Is 6 a factor of p(6)?
False
Let q be ((-4)/6)/((-2)/36). Suppose -4*v = -q*v + 584. Is v a multiple of 12?
False
Suppose 1121 - 3419 = -4*p - 3*i, -5*p - 4*i = -2872. Is p a multiple of 24?
True
Let w = -33 - -15. Let r = w - -31. Let f = 3 + r. Is 5 a factor of f?
False
Suppose 51*t - 139324 = -10*t. Is t a multiple of 9?
False
Suppose -2*u + 3*u = 6. Suppose -4*t + 26 - u = 0. Suppose 5*k + 3*h - 386 = 4*h, 390 = t*k - 5*h. Does 10 divide k?
False
Let y = -16 + 22. Let l(m) = 2*m - m + 15 + y*m**3 - 7*m**3. Is l(0) a multiple of 6?
False
Suppose 0 = 4*y + i - 32, 4*i + 7 = -3*y + 31. Suppose -66 + 178 = y*d. Is 14 a factor of d?
True
Suppose -2*h + 28 = -0*h. Suppose 0 = u + 26 + h. Is 1 + -4 - u - -1 a multiple of 21?
False
Let c(i) be the first derivative of -2*i**3/3 + 22*i**2 - 21*i + 1. Is c(19) a multiple of 38?
False
Let a(v) be the third derivative of v**5/60 - v**4/6 - v**3/2 + 11*v**2. Let n be a(4). Is 28 a factor of -42*(n + 15/9)?
True
Let d(m) = m**3 + 6*m**2 + 1204. Is 23 a factor of d(0)?
False
Let v(z) = -7*z - 2. Suppose -5*o + 3*c - 34 = 0, -2*o + 3*c + 38 = -6*o. Is 18 a factor of v(o)?
True
Suppose 34*p - 20 = 38*p. Let x(t) = 2*t**2 - 9*t + 7. Is x(p) a multiple of 11?
False
Let p = 0 + -1. Let d be (-3 - p)*-5*1. Suppose -2 - d = -2*i. Does 6 divide i?
True
Let b(k) = -5*k + 5. Let w(a) = -a + 1. Let i = 34 + -28. Let j be w(i). Is 15 a factor of b(j)?
True
Suppose 2*f = 3*f + 2*d - 8, 4*f - 3*d = -1. Suppose 2*b + 2 = 4*j, -4 = -0*j - f*j. Suppose -15 = -b*h, -5*g + 4*h + 54 = -4*g. Does 21 divide g?
False
Let b = -21 + 33. Does 13 divide (-3)/b + (-771)/(-12)?
False
Suppose -16*v - 3*q + 964 = -12*v, -4*v = 5*q - 956. Is v a multiple of 61?
True
Let g(l) = -l**3 + 56*l**2 - 96*l - 48. Does 15 divide g(54)?
True
Let h be (-7 - (-1149)/15)*5*1. Suppose -b - b = -4*w + h, w - b = 89. Is w a multiple of 17?
True
Let g = 335 - 239. Is 5 a factor of g?
False
Suppose -12*h = -11*h. Suppose -239 = -4*d - b, h = 3*d + 4*b - 79 - 97. Is 20 a factor of d?
True
Let l(g) = -27*g**3 - 2*g**2 - 2*g - 1. Suppose -3*m + 30 = -5*m. Let b = -16 - m. Does 7 divide l(b)?
False
Let w be 54 - -6*(1 + (-14)/12). Let g = 112 - w. Is 20 a factor of g?
False
Suppose -2*g = g - 9. Suppose -k +