5 = 0. Let q be z(o). Suppose -a - q = -5*a. Is 10 a factor of a?
True
Does 10 divide 823/11 + (-8 - (-810)/99)?
False
Let m(f) = -17*f + 15. Let v be m(5). Let t = -34 - v. Is t a multiple of 18?
True
Let t(a) = 6*a**2 - 15*a + 10. Let o = 78 - 72. Is 31 a factor of t(o)?
False
Let c(s) = -s**2 - 2*s + 118. Suppose -16 = -4*x, j + 1 - 9 = -2*x. Is 21 a factor of c(j)?
False
Suppose 2*y + 122 = 164. Is ((-1 + 0)*y)/(6/(-40)) a multiple of 28?
True
Suppose 0 = -6*m - 16*m + 6534. Is 11 a factor of m?
True
Let k(p) = -7*p + 13. Let l be k(8). Let c = l + 251. Is c a multiple of 16?
True
Suppose -3*k + 123 = 2*u, 5*u - 311 = -k - 3*k. Suppose 4*q + 9 = 2*o + 1, -2*q + 4*o = 4. Is 7 a factor of (u/(-6))/(1/q)?
True
Is (-5)/(-4) - ((-2730)/24 - 5) a multiple of 5?
True
Let v(j) = -4 + 3 + j**2 + 3 + 11*j. Let u be v(-12). Is 13 a factor of (-4)/u - 1716/(-28)?
False
Suppose 0 = -3*s + 45 + 18. Let n = s - 35. Let l(o) = o**3 + 15*o**2 + 9*o - 15. Does 11 divide l(n)?
True
Let w(i) = 3*i**2 + 13*i - 6. Let p be w(5). Let s = p + -74. Does 12 divide s?
True
Let c = -3900 + 5866. Does 42 divide c?
False
Let m = -211 - -120. Is 25 a factor of 1250/13 + 14/m?
False
Let g(h) = 2*h + 1. Let z be g(7). Suppose -z*x + 390 = -12*x. Does 26 divide x?
True
Suppose 419*p - 978 = 416*p. Is 20 a factor of p?
False
Is 354/4 - 0 - 117/234 even?
True
Suppose q + k = -19, 6*q + 4*k = 3*q - 52. Let n = 76 + q. Is 13 a factor of n?
True
Let b(t) = -2 - t + 20 + 15 - t. Let r be b(15). Suppose 2*f = -o + 36, 36 = r*f - f - 5*o. Is f a multiple of 9?
True
Let a = -32 + 66. Let u = -10 + a. Is 12 a factor of u?
True
Let u = -74 + 73. Is (-3 - (u + 220)*-1)*1 a multiple of 18?
True
Suppose 3*s + 5*c = c + 24, 5*c = -3*s + 21. Is 13 a factor of s/1*(-2 + (-21)/(-4))?
True
Let u = 1297 - -81. Does 61 divide u?
False
Let a(r) be the third derivative of 5*r**4/24 + 25*r**3/6 - r**2 + 2. Is 7 a factor of a(16)?
True
Suppose 0 = -4*y + 83 + 85. Suppose -2*t + 4*s + y = -0*s, 5*t - 3*s - 98 = 0. Does 12 divide t?
False
Let b(q) be the third derivative of q**5/12 + q**4/24 - 4*q**2. Let i be b(2). Is i + 1 - (5 - 5) a multiple of 15?
False
Let l(h) = -h**3 - 8*h**2 - 14*h - 6. Suppose -6*p - 14 = 22. Is l(p) a multiple of 6?
True
Let l(f) = -4*f - 58. Is 9 a factor of l(-19)?
True
Let o = 8 - -1. Let t = 23 - o. Is 10 a factor of t?
False
Let u = 746 + -293. Does 15 divide u?
False
Suppose -91*h = -81*h - 17550. Is h a multiple of 13?
True
Let k = 16 - 11. Suppose 3*w = i - 1, -3 - 2 = -k*i - 3*w. Is 19 a factor of i - (-35 + -3 + 3)?
False
Let j be 1/(2 - 45/24). Suppose -4*b - j*m + 296 = -4*m, 284 = 4*b + m. Suppose 3*k - 5*v - 120 = b, -v - 5 = 0. Does 18 divide k?
False
Let g = 91 - -404. Is g a multiple of 12?
False
Let a(q) = -2*q - 14. Suppose 2*p = 3*p + 9. Let f be a(p). Suppose -5*x - f*h = -h - 285, -x + 4*h + 57 = 0. Is x a multiple of 19?
True
Suppose -3*i + 12 = -t - 3*t, t + 4*i + 3 = 0. Is (t - 59/(-3))/(3/27) a multiple of 30?
True
Let v be (1/3)/(4/240). Suppose 16*r = v*r - 72. Does 2 divide r?
True
Let y(w) = 13*w + 1. Let j(f) = 3*f - 7. Let r be j(3). Is 17 a factor of y(r)?
False
Let t(m) = 4*m**3 + 5*m**2 - 5*m + 12. Let x be t(5). Suppose -h = h + 3*d - 303, 4*h + 4*d = x. Is 26 a factor of h?
True
Let o be 76656/64 + 6/(-8). Suppose 0*n + 9*n = o. Is n a multiple of 7?
True
Let n be (1 + (-1)/2)*46. Let a be 2/((-2)/n) + 1. Let j = 10 - a. Is j a multiple of 16?
True
Suppose -3*t - 18 = -2*i, 4*t - 3*t - 10 = -2*i. Is ((-2)/7)/(i/14)*-171 a multiple of 19?
True
Let w(k) = -53*k**2 + 3*k + 3. Let f be w(-2). Let l = f - -95. Is ((-3)/9)/(2/l) a multiple of 4?
True
Let o(n) = -3*n + 12. Let u be o(8). Let a = u + 186. Does 13 divide a?
False
Is (44/110)/(2/340) a multiple of 10?
False
Let v be 8318/14 + (-3)/21. Suppose -3*h + 8*h + 4*c = 737, c - v = -4*h. Suppose h + 39 = 4*r. Is r a multiple of 12?
False
Suppose -2*x + 4692 = -4*b, -x + 4*b + 2331 = -b. Does 62 divide x?
True
Suppose -3*k - 2*k + 45 = 0. Let g be ((-24)/k)/((-1)/(-3)). Let x = 4 - g. Is x a multiple of 12?
True
Let q = 438 + 211. Is q a multiple of 59?
True
Suppose -2*y - 4*y = -1842. Is 8 a factor of y?
False
Suppose 0 = -4*i - 3*v + 2245, 23*v = 24*v + 1. Is 30 a factor of i?
False
Suppose -3 = 4*p + c, 0 = -5*p - 2*c + 4*c - 7. Let i = p - 7. Does 4 divide 4 - i/(-4) - -14?
True
Let t(h) = -h - 6. Let m be t(-12). Let n(p) = p**3 - 5*p**2 - 4*p - 8. Let w be n(m). Suppose w*a - 46 = 2. Is a a multiple of 12?
True
Suppose -16*w + 48 = -13*w. Let m(b) = 3*b + 1. Let j be m(2). Suppose p = j + w. Is p a multiple of 15?
False
Let h be (4/(-6))/(26/(-195)). Suppose -4*w + 0*f - 75 = h*f, -f - 19 = w. Let i = -2 - w. Is i a multiple of 6?
True
Let q = -130 - -256. Is 6 a factor of q?
True
Suppose -186*w = -154*w - 44384. Does 19 divide w?
True
Let z = 72 - 70. Suppose 14 = z*a - 260. Is 28 a factor of a?
False
Is 14 a factor of -3 - ((-10866)/54 - 4/(-18))?
False
Let l(u) = -4*u**3 + u + 72. Does 18 divide l(0)?
True
Let m(a) = 2*a**2 - 6 + 0 + 5*a + 3*a. Let i be m(-5). Suppose -2*w - 1 = 5*h, 5*w + 5*h = i*w - 8. Is w even?
False
Does 24 divide 29 - (6/(-2) + -4)?
False
Let b(r) be the second derivative of 5*r**3/2 - 7*r**2/2 + 8*r. Does 19 divide b(3)?
True
Let u be (-1544)/(-22) - -4*1/(-22). Suppose -4*c + u = -18. Is c a multiple of 5?
False
Suppose -2*l - f + 9 = 3*l, -2*f = 2*l - 10. Let m(h) = h**3 + 7 - 9*h**2 + 3*h**2 - 6*h - l. Is m(7) a multiple of 13?
True
Suppose -3*w + w + 36 = 0. Is 3 a factor of (w/(-12))/(6/(-28))?
False
Let c = -56 - -60. Suppose 0*h = c*h - 76. Does 3 divide h?
False
Let b be -9*(-3 - (-8)/12). Suppose -3*p = 3*s - b, s - 3*p = -3*s + 21. Suppose 3*w - s*f + f = 134, -4*w + 196 = 2*f. Does 11 divide w?
False
Let l = 369 + -249. Is 8 a factor of l?
True
Let q(d) = 2*d**3 - 7*d**2 - 3*d - 2. Let o(i) = -i**2 - i. Let n = -4 - -5. Let h(g) = n*q(g) - 4*o(g). Is h(2) a multiple of 3?
False
Let g(w) = -13*w**3 + 5*w**2 + 16*w - 7. Is 13 a factor of g(-4)?
False
Suppose -3*d = 7*f - 3*f - 830, 626 = 3*f + 4*d. Does 46 divide f?
False
Is ((-120)/(-50))/((81/4200)/9) a multiple of 70?
True
Let i be 3 + ((-638)/33)/((-2)/3). Suppose -i = -m + 4. Is m a multiple of 6?
True
Let v = -3 + 146. Suppose -4*d + v = -3*l - 752, 645 = 3*d + 3*l. Is 34 a factor of d?
False
Let h(p) = -5*p - 6. Let m be h(-2). Suppose -m*z - 70 = 5*r - 223, z - 51 = 3*r. Is 13 a factor of z?
False
Let j = 12 - 9. Suppose -4 = -5*q + j*q. Suppose -2*d = 3*d - 4*z - 158, -q*d - 4*z = -80. Does 27 divide d?
False
Suppose -2*u + 568 = 4*m, -580 = m - 5*m + u. Let j = m - 84. Does 15 divide j?
True
Suppose 5*s + 16 = -4*k, 3*s + 3*k = -5 - 7. Suppose -5*c - 9 = 16, s = w + c - 73. Is 39 a factor of w?
True
Suppose -2*c + 3*n = 7078, 0 = -6*c + 2*c - 5*n - 14178. Suppose 19 = 5*a - 2*j - 67, -a - 5*j = -28. Does 18 divide 4/a - c/99?
True
Suppose 8*z - 3*z = -j + 22, 3*j + z - 10 = 0. Suppose 4*q - 134 = j*q. Suppose -w + q = m, -331 = w - 6*w - m. Does 22 divide w?
True
Suppose 0 = 5*x - 7 - 3. Suppose -5*k - v + 125 = 0, x*k + v = -2*k + 101. Is 6 a factor of k?
True
Let p(a) = -37*a**3 + 5*a**2 - 5*a - 8. Let h be p(-4). Is 51 a factor of h/20 + 0/1?
False
Suppose -12*j - 5364 + 30636 = 0. Does 18 divide j?
True
Let w be 130/(-4)*(-7)/(-7)*-8. Let n = -129 + w. Is n a multiple of 29?
False
Let o = 11 - 11. Suppose -5*t - 5*u + 255 = 0, 4*u - 3 - 1 = o. Is 25 a factor of t?
True
Let b(j) = j**2 + 9*j - 6. Let z be b(-10). Let a(k) = 13*k - 22. Is a(z) a multiple of 3?
True
Let k be 1262/(-12) + (-2)/(-12). Let h be (-7)/28 + k/(-4). Let l = 48 - h. Is l a multiple of 8?
False
Let s = -133 - -265. Suppose -3*q - s = -4*q. Is q a multiple of 33?
True
Suppose 15 = 2*o + 3*o - 5*t, -5*o + 12 = -2*t. Suppose -s - 3*q = -o, -2*s + 0*q = 4*q - 12. Is s a multiple of 3?
False
Suppose 6*k - 15 = -2*u + k, u = 2*k - 15. Let h be 8 + (-3 - 0 - -25). Is 12 a factor of (-386)/(-12) + u/h?
False
Let g be (-1700)/(-6) - 4/(-6). Does 14 divide 2*(-6)/((-48)/g)?
False
Let n be 6*-1*1/(-2). Is 11 a factor of (-100)/(-4) - (n - 5)?
False
Suppose 98 = 5*y - 657. Let o = 253 - y. Is o a multiple of 41?
False
Suppose 0 = -17*z + 10108 + 2013. Is 22 a factor of z?
False
Suppose 14*n - 220 = 4*n. Does 11 divide