 2*z - 1. Let m be q(1). Is (m - 15/(-2))*14 a multiple of 21?
False
Suppose -3*r + 5*a = 76, -4*a = r - 3*a + 28. Let y be (-42)/(-70) + r/(-5). Let v(k) = k**3 - 5*k**2 - 5*k + 3. Is 3 a factor of v(y)?
True
Let z be (-2)/(-8) + 135/20. Let u(d) = d**2 - 8*d + 8. Let j be u(z). Let t(c) = 13*c**3 - 2*c**2 + 3*c - 1. Is t(j) a multiple of 11?
False
Suppose -4*k - 129 = 555. Let i be ((-32)/(-6))/(6/k). Let j = i - -215. Is j a multiple of 21?
True
Suppose 0 = -3*o, -7 - 13 = -5*s + o. Suppose -3*u + 56 = -s*v, -v + 11 = 5*u + 2. Let l = v - -48. Is 20 a factor of l?
False
Let x(d) = 59*d**3 - 3*d + 2. Let c be x(1). Suppose -3*m = -r - 63, 0 = 4*m - 3*r - 21 - c. Does 19 divide m?
False
Let o = -160 + 378. Is 17 a factor of o?
False
Is (-27*4/6)/((-18)/513) a multiple of 5?
False
Let m(v) = -v**3 - v**2 + v. Let g be m(-2). Suppose n = 3*q + g, n - 10 = -n + 3*q. Let i(h) = 6*h - 8. Is i(n) a multiple of 20?
True
Suppose 18 - 2 = 2*f. Suppose -3*d = d - f. Suppose 1 = d*q - 13. Is 5 a factor of q?
False
Suppose 5*x - 339 - 606 = 0. Suppose -8*c + x = -5*c. Does 13 divide c?
False
Suppose 6*t = 23 + 103. Is 21 a factor of t?
True
Let t(w) = -w**2 - 13*w + 6. Let q be t(-14). Let i = 4 + q. Is 1/1 + 5 + i even?
True
Suppose -p = 2*k - 12, 3*p + 2*k = 6*p - 4. Suppose -p*r + 202 = 18. Let t = r - 2. Does 17 divide t?
False
Suppose 2*b = -5*t, -t - 11 = 2*b - 3. Is 9 a factor of (6/(-3) - t) + 31?
True
Let a = 0 + 3. Let h(f) = -17*f - 13. Let l be h(-1). Suppose 2*r = a*r - l. Does 4 divide r?
True
Is -9*(-3)/((-45)/(-170)) a multiple of 9?
False
Let l = 58 - 108. Is 10 a factor of (l/8)/(3/(-60))?
False
Let b(n) = -n**3 - 3*n**2 - 3*n + 4. Let l be b(-3). Let g = l + -10. Suppose 3*d - 72 = g*i, 3*i - 48 = -d - d. Does 23 divide d?
False
Let q(i) = i**3 - 5*i**2 - 6*i - 1. Let b be q(6). Let h be 21 - (4/2 + b). Suppose h = -3*p + 146. Is 10 a factor of p?
False
Suppose -173 = w - 5*z, -3*z = -w - 6*z - 189. Let l = -79 - w. Does 8 divide l?
True
Let p be (3817/33)/((-2)/(-72)). Suppose -9*c + p = 1248. Does 12 divide c?
True
Let w = 30 - -8. Let p be 10/((54/(-72))/((-3)/(-2))). Let x = p + w. Is 5 a factor of x?
False
Let y be (-3 - 7/(-3))/(16/(-72)). Suppose 64 = 4*g - 4*l, 0 = 5*g + y*l - 59 + 3. Is g even?
False
Suppose -3*g - r + 204 = 3*r, -5*g = 4*r - 332. Suppose -2*c - 2*c = -g. Is c a multiple of 6?
False
Is 22 a factor of 44/((54/13095)/(2/10))?
True
Suppose 4*o = 4*z + 88, 0*o + 3*o + 38 = -z. Let b = 57 + z. Is b a multiple of 6?
False
Suppose -4*s + 1070 = 2*q, -q + 2*q - 2*s = 519. Is 63 a factor of q?
False
Suppose 7*j - 794 = -2*b + 9*j, 0 = -b - j + 403. Is b a multiple of 20?
True
Suppose -4*q = -q. Suppose 215 = -2*x + 7*x + w, q = -x + 3*w + 43. Does 12 divide x?
False
Let b(r) = -7*r**2 - 17*r + 21. Let p(s) = 3*s**2 + 9*s - 10. Let u(n) = -2*b(n) - 5*p(n). Let z be u(8). Let f = -62 - z. Is f a multiple of 12?
False
Let g be (13/2)/((-10)/(-40)). Suppose n - g = 36. Is n a multiple of 10?
False
Suppose -14*x + 15 = -17*x, 167 = 3*g + 5*x. Is 4 a factor of g?
True
Let y = -147 - -275. Is y a multiple of 11?
False
Let p(f) be the second derivative of 5*f**4/6 + 2*f**3/3 + f**2 - 2*f. Is 19 a factor of p(-3)?
False
Let f be 4 + 15 - 1/1. Suppose 2*y - 14 = f. Suppose 3*o + y = 4*o. Is o a multiple of 3?
False
Let s be (2/(-5))/((-1)/5). Let u be -2*(3 - s) - 2. Does 22 divide 44/3*(-18)/u?
True
Let x(h) = 7*h**2 + 16*h + 21. Is 22 a factor of x(-6)?
False
Let r = 193 + 20. Is 71 a factor of r?
True
Let s(k) = 6*k**2 - 18*k + 114. Does 7 divide s(14)?
False
Suppose -5*t = -4*t - 1431. Is 53 a factor of t?
True
Suppose p - 12 = 140. Is p a multiple of 10?
False
Let i be 6/(-15) + (-1731)/(-15). Is 41 a factor of 3*(3 + i/3)?
False
Let t(u) = u**3 - 11*u**2 + 5. Let o be t(11). Suppose 5*x = -5, i + 1 = -o*x + 27. Does 10 divide i?
False
Suppose -3*p + 33 + 36 = 0. Let w = 179 - p. Is 12 a factor of w?
True
Suppose -11 - 4 = -5*u + 4*z, 0 = z. Suppose 45 = u*t - p, -5*t - p = -124 + 41. Does 8 divide t?
True
Suppose -5*n + 2648 = 4*l, -2*n - 5*l = n - 1581. Is 28 a factor of n?
True
Let o(m) = 44*m**2 - 9*m - 34. Does 45 divide o(-3)?
False
Suppose -15*p = -36*p + 16317. Is 37 a factor of p?
True
Let a(c) = -c**2 - 7*c - 3. Let q be a(-6). Is 2/(113/37 - q) a multiple of 14?
False
Suppose -g + 1 = 0, -5*d + 744 = -0*d - g. Is d a multiple of 3?
False
Suppose 13 = 5*n - o, 2*n + 4 = -5*o - 7. Let h be 0/((-2)/(-1)) - -2. Suppose 0 = f - 5*m + 11, n*m + 7 = -h*f + 33. Does 9 divide f?
True
Suppose -5*l + 7*n = 3*n - 825, -5*l + 2*n + 815 = 0. Let m = l + -77. Is m a multiple of 10?
False
Let r(n) = n**3 - 24*n**2 + 55*n + 14. Let j be r(23). Does 23 divide ((-1)/(-1))/(5/j - 0)?
False
Suppose -302 = -11*f + 589. Does 18 divide f?
False
Let x(w) be the third derivative of w**8/2240 - w**7/630 + w**6/360 + w**4/6 + 3*w**2. Let l(k) be the second derivative of x(k). Does 12 divide l(2)?
True
Let n(f) = f**2 - 5*f - 12. Let o be n(7). Suppose 5*r - 346 = -o*b, -2*b - 2*r - 865 = -7*b. Does 14 divide b?
False
Let z(j) be the second derivative of 7*j**4/12 + j**3/6 + j**2/2 - 6*j. Is 8 a factor of z(3)?
False
Let v(n) = 3*n**2 + 6*n - 4. Let o = -53 - -59. Is 20 a factor of v(o)?
True
Suppose -2*t + 17 = 3*d + 2*t, 5*d = -4*t + 23. Suppose 0 = 5*n - 20, -2*n - d*n = -5*z. Suppose 5*c - 31 = -z*i + 3*i, 4*i - c - 19 = 0. Is 2 a factor of i?
True
Suppose -15 = 38*r - 41*r. Suppose 0 = -z - r*y + 116, -3*z = -0*z - y - 428. Is 13 a factor of z?
False
Suppose 30*w - 4851 = -3*w. Does 21 divide w?
True
Suppose 2*v + 16 = 5*o, -3*v - o + 26 = 4*o. Suppose z = -v*r + 33, -3*z = -3*r + z + 33. Is 12 a factor of (216/r)/3*20?
True
Suppose 4*w - 3*p = 79, -4*p - 20 = -2*w + 12. Let t be 6/33 - (-480)/w. Suppose -t*a - 51 = -25*a. Is 4 a factor of a?
False
Suppose 0 = -2*b + 3*t + 4053, -2*b + 64*t + 4093 = 69*t. Does 8 divide b?
False
Let w(m) = -m**3 - 2*m - 1. Let g be w(-1). Let t be (-4 - -7)*g/3. Suppose -3*q - 6 = 0, -t*x + 0*x + 3*q = -54. Is x a multiple of 8?
True
Suppose 209 + 1135 = 6*o. Does 7 divide o?
True
Suppose 5*r - 5*n = -3*n + 3, 2*n = 3*r - 1. Let l(j) = -15*j**3 - j**2 + 1. Let q be l(r). Is (54/(-4))/(q/20) a multiple of 6?
True
Suppose 2*z + 4*b = b + 125, 3*z + b - 177 = 0. Suppose -3*o + 325 = -4*k + 111, o = 4*k + z. Is 26 a factor of o?
True
Suppose 123*c - 133*c + 14090 = 0. Does 95 divide c?
False
Let d(q) = -q**3 - 3*q**2 + 5*q + 4. Let l be d(-4). Suppose l = 4*r + s - 12, r + 4*s + 6 - 24 = 0. Suppose 2*i = -r*i + 140. Is 12 a factor of i?
False
Does 23 divide -7*(1905/(-35) - -5)?
False
Let q be (-12)/(-1)*(-3)/(-9). Suppose 41 = q*r - 103. Does 24 divide r?
False
Let k = -456 - -564. Is k a multiple of 36?
True
Let g(t) = -10*t + 2. Let q be g(-1). Let m = q - -15. Let p = m - -3. Does 6 divide p?
True
Let u(a) = 2*a**2 + 27*a + 56. Is u(-24) a multiple of 20?
True
Let g = 472 + -108. Is 52 a factor of g?
True
Let o = 67 + -63. Let w(z) = 3*z**2 - 5*z + 6. Is w(o) even?
True
Let k = -94 + -60. Suppose 0 = -h - 5*s - 25, 2*h + 5*s - 16 = -61. Is 8/h - k/10 a multiple of 15?
True
Suppose 3*x = -349 + 1384. Suppose -4*c = -4*u - 912 + 212, -2*c + 3*u + x = 0. Is c a multiple of 12?
True
Let s be (-5)/(-10) - 1*5/(-2). Suppose 290 = s*a - 160. Does 30 divide a?
True
Suppose 0 = -9*x + x + 744. Is x a multiple of 3?
True
Let n = -37 + 34. Let c be (54/36)/(n/332). Let r = -85 - c. Does 34 divide r?
False
Let p(r) = r - 4. Suppose 5*b - v = 2*v + 42, 0 = 3*b + v - 14. Let m(i) = -i + 4. Let a(x) = b*m(x) + 5*p(x). Is a(-10) a multiple of 4?
False
Suppose 0*m + 31 = -2*m - 5*t, -5*t - 34 = 3*m. Let q(x) = 46*x**2 + 3*x - 3 - x**3 + 2 - 44*x**2 + 5. Does 13 divide q(m)?
False
Let o = 2068 - 936. Is o a multiple of 109?
False
Let o = -13 + 12. Let z = o - -47. Is z a multiple of 23?
True
Suppose -33*y = -28*y - 5670. Does 24 divide y?
False
Suppose n + n = 4*k + 6, 0 = -2*k + 5*n + 17. Let t be (k/(-6))/(2/9). Suppose -4*u = 20, -4*b = -6*b + t*u + 103. Is 31 a factor of b?
False
Suppose 17*l - 3938 = 4205. Let g = l - 275. Is g a multiple of 17?
True
Let t(c) = -c + 0 - 1 + 3 + 1 + 2*c**2. Suppose 0*i = -4*i - 12. Is 17 a factor of t(i)?
False
Suppose -2*s - 9 = -5*s. Suppose s*k + 3*z - 6 = -k, -k = -4*z - 11. 