 - 357. Does 18 divide m?
True
Let q be 112 - (-1 - 3/(-3)). Suppose -6*r + q = -2*r. Does 14 divide r?
True
Suppose -2*c = -3*q + 2*q - 25, -58 = 2*q - 2*c. Let s be (-2)/(-8) + (-195)/(-4). Let n = q + s. Is 8 a factor of n?
True
Let m(x) = 2*x**2 - 6*x + 13. Does 5 divide m(4)?
False
Let a = -42 - -76. Let f = -19 + a. Does 15 divide f?
True
Let w = 1 - -9. Let c(j) = j**3 - 9*j**2 - 8*j - 10. Is c(w) a multiple of 3?
False
Let a(k) = -k**3 - k**2 + k + 8. Does 4 divide a(0)?
True
Let h(i) = -i + 14. Let o be h(11). Suppose -48 = -2*m - 5*l + 3*l, -5*l - 112 = -o*m. Is m a multiple of 24?
False
Suppose 0*f - 3*f - 3*t + 399 = 0, 0 = f - 3*t - 117. Does 11 divide f?
False
Let x = 0 - -12. Suppose l - 3 - x = 0. Is 5 a factor of l?
True
Suppose 0 = l - i - 9, -3*l + i + 3*i = -30. Suppose g = -4*u + 99, -l*u + 3*u = 5*g - 563. Suppose 3*o = -5*w - 0*w + g, -o = -5*w + 135. Is 13 a factor of w?
True
Let y(i) be the first derivative of 2*i**3/3 - i**2/2 - 2*i - 2. Does 15 divide y(-3)?
False
Suppose 0 = -c + 3*k, k = -2*c + 25 + 10. Does 5 divide c?
True
Let i(k) be the second derivative of k**4/4 + 2*k**3/3 - 3*k**2 + 2*k. Let o be i(-7). Suppose 5*b - o - 37 = 0. Is 15 a factor of b?
True
Let s(k) = -11*k + 5. Is 18 a factor of s(-6)?
False
Let g(w) = 25*w - 2. Let r be g(4). Suppose -4*h + r = -18. Let o = -16 + h. Is o a multiple of 13?
True
Let w be 26/(((-6)/(-4))/3). Let a be (-6)/27 + (-47)/(-9). Suppose w = a*g - g. Is 10 a factor of g?
False
Let x(s) = -s**2 - 10*s - 4. Let g be x(-9). Suppose 0 = -g*z + 12 + 8. Suppose z*b - 84 = b. Does 14 divide b?
True
Let g = 33 - -60. Does 10 divide g?
False
Let a be (-2 + (-4)/(-3))*-6. Suppose 4*g - 2*g - 106 = -3*b, a*b - 4*g = 108. Does 15 divide b?
False
Let p be 2*1*(-3)/(-6). Let h be (-3)/3 + p + 3. Suppose 4*g - h*l = 28, 2*l + 14 = 2*g + 3*l. Is g a multiple of 7?
True
Let t(m) be the second derivative of m**4/12 + 7*m**3/6 - m**2/2 + 3*m. Is 5 a factor of t(-8)?
False
Suppose 3*a = -5*i + a - 30, -2*a - 18 = 2*i. Let c(f) = -f**2 - f + 5. Let v be c(i). Let x = 9 - v. Is 13 a factor of x?
False
Let r(m) be the third derivative of -5*m**4/24 - m**2. Let y be r(4). Is (-1 - 0)/(2/y) a multiple of 5?
True
Let u(b) = -b**2 - 5*b - 6. Let a be u(-5). Is 7 a factor of (-6)/9 + (-94)/a?
False
Let f(y) = y**3 + y**2 + y - 1. Let u(b) = -5*b**3 + 2*b**2 + 3*b + 8. Let h(t) = 6*f(t) + u(t). Let n be h(-7). Let c = n + 25. Does 10 divide c?
False
Let k(s) = s**2 + 64. Suppose -5*x = 3*l - 2*l + 3, 0 = -3*x + 2*l + 6. Let z be k(x). Let h = z - 46. Is 9 a factor of h?
True
Suppose -5*r - 43 = 162. Let k = -29 - r. Does 12 divide k?
True
Let s = 96 - -29. Let m = 178 - s. Is 24 a factor of m?
False
Let u(v) = -v**3 - 9*v**2 - 7*v + 2. Let r be u(-8). Let o = r - -10. Is 3 a factor of o?
False
Suppose -2*i + 160 = 2*i. Is 22 a factor of i?
False
Let h(w) = w**3 + w**2 - 4*w - 3. Let r be h(-2). Let b(y) = 27*y**3 - y + 1. Does 9 divide b(r)?
True
Let s(x) = x**2 - 2*x - 7. Let c be s(5). Let f = 7 + c. Suppose -m + f = 6. Is 9 a factor of m?
True
Is 7 a factor of 0 - (-31 + -2)/1?
False
Let f = -2 - -4. Let r be 3/3 - -22 - f. Suppose 5*g - 141 + r = 0. Is 12 a factor of g?
True
Suppose k - 14 = 11. Let p = -12 + k. Is 13 a factor of p?
True
Suppose -12 + 0 = 2*c. Let b(i) = -i**2 - 8*i - 7. Let n be b(c). Suppose 0 = -10*o + n*o + 160. Is 10 a factor of o?
False
Let z(l) = 3*l**2 + 16*l. Let h(j) = j**2 + j. Let i(s) = 2*h(s) - z(s). Is i(-13) a multiple of 13?
True
Suppose -7 = -2*t + 1. Suppose 2*q = 3*w + 2*w, t*w = -4*q + 28. Suppose -14 = -w*i + 10. Is 6 a factor of i?
True
Suppose -45 = -5*m + 4*n, -m - 5 = 3*n + 5. Suppose 121 = -m*p + 401. Let b = -30 + p. Does 13 divide b?
True
Suppose 3*p + 3*y = 0, -2 + 12 = -5*y. Suppose -1 - p = 3*x, 22 = 3*c - x. Let j(r) = r**3 - 5*r**2 - 7*r - 8. Does 11 divide j(c)?
False
Is 9*(-35)/15*-3 a multiple of 12?
False
Let k be (-6)/(-9) + (-17)/3. Let n(p) = -21*p + 7*p + 12*p. Is n(k) a multiple of 5?
True
Let w(t) = t**3 - 5*t**2 - 7*t + 6. Let r be w(6). Let k be (-300)/(-1 - 2) - r. Suppose 34 - k = -3*f. Is f a multiple of 10?
False
Suppose -45*u + 264 = -43*u. Is u a multiple of 22?
True
Suppose -2*a + 26 = -0*a. Is a a multiple of 13?
True
Let q be (388/6)/(4/6). Let v = -59 + q. Is 19 a factor of v?
True
Let v = -3 + 15. Is 12 a factor of v?
True
Suppose 6*x = -3*x + 1440. Does 19 divide x?
False
Let p = 0 - -1. Is 18 a factor of -18*(1 - (p + 1))?
True
Suppose -133 = -5*m - 43. Does 9 divide m?
True
Let w(c) = 6*c**2 - c - 1. Is w(2) a multiple of 5?
False
Suppose -4*h + 0*h + 8 = 0. Does 9 divide (-8 + 2)*-1*h?
False
Let v(r) = -r**2 + 5*r - 3. Let y be v(4). Is ((-3)/(-6))/(y/12) a multiple of 4?
False
Does 23 divide (-442)/(-8) - 7/28?
False
Let k(j) = j**2 + 15*j - 24. Let p be k(-15). Let d(o) = 2*o + 2. Let g be d(-4). Let f = g - p. Is f a multiple of 17?
False
Let x = 14 + -15. Let g be (10/2 - 1) + 0. Let b = g + x. Is b even?
False
Let a(x) = x**2 - 6*x + 7. Let u be a(5). Suppose -3*y = 2*y - 5*k - 195, -90 = -u*y - 2*k. Is y a multiple of 21?
True
Suppose -4*h - 66 = -5*h. Does 15 divide (1/(-1))/((-3)/h)?
False
Suppose -12 = -6*v + 3*v. Suppose n + 3*c = -n + 114, -172 = -3*n - v*c. Is 20 a factor of n?
True
Suppose 4*n + 0*n = 0. Suppose n = 3*u, 2*s + s + 2*u - 18 = 0. Is s a multiple of 3?
True
Let u(w) = w**3 + 7*w**2 + 7*w + 4. Let c = -7 + 1. Let h be u(c). Is ((-3)/h)/(24/256) a multiple of 6?
False
Let i be (-4)/8 - (-15)/(-6). Let n(m) = 6*m**2 + 4. Does 22 divide n(i)?
False
Let o = 4 - 4. Suppose o*f - 145 = -5*i - 2*f, 0 = -4*i + 3*f + 139. Is i a multiple of 16?
False
Let k(v) = 10*v**3 - 2*v**2 - v + 3. Is 13 a factor of k(2)?
False
Let t = 38 + -2. Does 12 divide t?
True
Let a(n) = 2*n**2 + 3*n - 2. Suppose 0 = -r + m - 5*m, 0 = -r - m - 3. Is 18 a factor of a(r)?
True
Suppose 2*p + p - 192 = 0. Suppose x - p = -16. Is x a multiple of 16?
True
Let m be 3/(-7 - -1)*12. Let w = -4 - m. Suppose -40 = -4*f + w*f. Is f a multiple of 14?
False
Let z(a) = a**2 + 11*a - 11. Let d be z(-10). Let i = d - -30. Does 7 divide i?
False
Suppose 2*t + 4*c = 40, 0*c = -c - 3. Does 13 divide t?
True
Let l(w) = -w**2 - 5*w + 6. Is 6 a factor of l(-5)?
True
Let t(f) = 7*f**2 - 5*f + 11. Let o(i) = 4*i**2 - 3*i + 6. Let y(b) = -5*o(b) + 3*t(b). Suppose -3*w = -6, q + 12 = 4*w - w. Does 23 divide y(q)?
False
Suppose 4*f - 104 = 224. Suppose 6*b - f + 22 = 0. Does 3 divide b?
False
Let t(b) be the first derivative of -b**2 - 10*b - 1. Does 3 divide t(-8)?
True
Suppose -9*o + 3*o + 540 = 0. Does 15 divide o?
True
Let f = 1431 - 2418. Let y be f/14 - (-1)/(-2). Let p = 108 + y. Does 13 divide p?
False
Let s be (1 - 4)/(-3) + 7. Let g be (-12)/s + 13/2. Suppose g*v + t - 3*t - 90 = 0, 5*t + 55 = 4*v. Does 20 divide v?
True
Suppose 0 = s - 2, 4*u + 3*s - 98 = 2*s. Suppose 5*w - 69 = -u. Is w a multiple of 8?
False
Suppose 2*u = -43 + 67. Is u a multiple of 4?
True
Let y = 111 - 63. Is y a multiple of 6?
True
Let g(f) = 1 + 5*f**2 + 1 - 4 + 3*f. Suppose -5 = -2*z - 1. Is g(z) a multiple of 12?
True
Let v(k) be the third derivative of -k**6/120 + k**5/12 + 5*k**4/24 - k**3/6 - k**2. Let m = -1 - -6. Is 12 a factor of v(m)?
True
Let j = -34 - -64. Is 3 a factor of j?
True
Let h = -38 - -58. Is 6 a factor of h?
False
Suppose -5*r + 10 = 0, 0*l - 91 = -3*l + r. Is 5 a factor of l?
False
Let a(f) = -3*f + 4. Is a(-4) a multiple of 8?
True
Suppose 5*b - b + 52 = 0. Let a(c) = 15*c - 7. Let m be a(2). Let p = b + m. Is 5 a factor of p?
True
Let h = 8 - -6. Suppose h = -5*v + 84. Does 10 divide v + 0*3/6?
False
Suppose 8*v + 1224 = 20*v. Does 17 divide v?
True
Suppose -5*g = -g - 384. Let v = -51 + g. Does 15 divide v?
True
Suppose -2*u + 7*u - 80 = 0. Let z be 2/7 + 30/(-7). Is 16 a factor of (12/z)/((-3)/u)?
True
Suppose -4 + 20 = -4*c. Let v(g) = -g**2 - 10*g - 6. Does 9 divide v(c)?
True
Let r be (-12)/(-9) - 4/(-6). Suppose -r*d = -7*d + 350. Suppose -3*o - d = -8*o. Does 14 divide o?
True
Let y(k) = 45*k - 18. Is 33 a factor of y(5)?
False
Let p = -52 + 80. Is 7 a factor of p?
True
Let o = -68 - -122. Does 7 divide o?
False
Suppose -2*f + 76 = -24. Is (-2)/((-4)/f) + -1 a multiple of 12?
True
Let s(f) be the first derivative of -f**3/3 + f**