 2*u - 5*u + 210. Let h = n - -327. Is 38 a factor of h?
False
Let o = 45 + -77. Let x = -21 - o. Does 2 divide x?
False
Let q(d) = 4*d**2 + d - 2. Let o(h) = 2*h + 1. Let s be o(-2). Does 31 divide q(s)?
True
Is 19/(399/98)*189 a multiple of 9?
True
Suppose 16*y - 5796 = -7*y. Is 36 a factor of y?
True
Suppose -l + 1186 = -8*j + 5*j, 2*l - 2377 = j. Is 16 a factor of l?
False
Let u = -15 - -26. Suppose -x + 1 = -i + 3*x, 4*i = x + u. Is 11 a factor of -3 + 2 + 26 - i?
True
Suppose -5*k + o + 5496 = 0, -o = 4*k + 3*o - 4416. Suppose -k = -9*j + 367. Is 14 a factor of j?
False
Let p = 39 + 50. Suppose -3*b = p - 359. Is b a multiple of 15?
True
Let n(j) = j**3 + j**2. Let d(t) = 5*t**3 + 2*t**2 - 3*t - 4. Let b = -5 + -1. Let p(k) = b*n(k) + d(k). Does 8 divide p(-4)?
True
Suppose -4*w + 0*t = -2*t - 1604, -2*t = w - 406. Suppose -130 = -4*p + w. Is 19 a factor of p?
True
Suppose -15*k = -38*k + 102787. Is 25 a factor of k?
False
Let a(y) = 3*y + 11. Let b be a(5). Suppose b = -5*l + 146. Does 8 divide l?
True
Let l = 25 + -33. Is (26/(-5) - (-5)/25)*l a multiple of 10?
True
Let i(l) = -5*l - 7. Let y(o) = -36*o - 48. Let v(b) = 44*i(b) - 6*y(b). Is 22 a factor of v(-16)?
True
Let s(m) = -m**3 - 12*m**2 + 11*m + 44. Does 48 divide s(-20)?
True
Suppose 25 = -22*m + 17*m, 92 = z - 4*m. Is 6 a factor of z?
True
Let x(p) = p**2 - 1. Let w(n) = -2*n**2 + 2*n + 7. Let z(y) = w(y) + 3*x(y). Let g = 5 - 8. Does 4 divide z(g)?
False
Is 41 a factor of -2 + 0 + -2 + 11295/5?
True
Suppose 2*q + 3*f = 570, 4 = 4*f - 3*f. Does 9 divide q?
True
Suppose -2*y - 3 - 11 = -4*h, 4*y - 2*h + 4 = 0. Is (-30 - -25) + 152*y a multiple of 23?
False
Let s(x) = -4*x**3. Let g be s(-1). Suppose 0 = -c - b + 106, 225 = -g*c + b + 659. Does 9 divide c?
True
Suppose 4*p = 4*d - 340, 2*d = -0*d - 2*p + 150. Suppose -g - 20 = -d. Is g a multiple of 12?
True
Let s = 7 - 7. Suppose 3*o - 5*c + 31 = s, -7 = 3*o - c + 4. Does 17 divide 17/o*1*-6?
True
Let w(u) = u + 9. Let p be w(-5). Suppose p*c = c. Suppose -5*l + c*l + 70 = 0. Is 7 a factor of l?
True
Let u be (4/(-3))/(6/(-423)). Suppose 4*x + 4*a - 66 = 286, 2*a = x - u. Suppose 4*k = 2*d + 180, k = -k - 4*d + x. Does 15 divide k?
True
Let m(u) = 2*u**3 + 9*u + 12. Is m(6) a multiple of 9?
False
Is 17 a factor of ((6/(-6))/1)/(1/(-269))?
False
Let n be 0 - (-10 - -7 - (-4 + 1)). Suppose n = -3*a - 2*i - i + 219, 5*i = a - 67. Does 6 divide a?
True
Let z = 115 + -122. Let h(u) = 2*u**2 - 4*u - 24. Is 34 a factor of h(z)?
True
Suppose -26*d + 306 = -23*d - 5*c, -4*c + 408 = 4*d. Is 6 a factor of d?
True
Let r(l) = -l**3 + 6*l**2 + 7*l + 2. Let a be r(7). Let m be 3/a*20/3. Suppose -3*x + 32 = -m. Is 5 a factor of x?
False
Let v(m) = 2*m**3 + 8*m**2 - 76*m + 18. Is 36 a factor of v(6)?
False
Suppose -4*s - z + 84 = z, s + 2*z - 15 = 0. Let m = s + -11. Is 15 a factor of (5/2)/(2/m)?
True
Let k(q) = -6*q**3 - 2*q**2 + 6*q - 8. Is 10 a factor of k(-4)?
True
Let q = -1776 - -934. Let s = -103 + q. Is 38 a factor of (-3)/(-15) + s/(-25)?
True
Suppose 5*l = -2 + 12. Let s be (-222)/8 + l/(-8). Let f = -7 - s. Does 6 divide f?
False
Let w(b) = b**2 - 5*b + 6. Let z be w(4). Suppose z*m + 2*l = 0, 0 = 5*m - 4*l - 52 + 7. Let i(s) = s**2 - 4*s + 7. Is i(m) a multiple of 9?
False
Suppose 0 = -140*c + 150*c - 12710. Does 52 divide c?
False
Suppose -28*r = -12*r - 2560. Is r a multiple of 40?
True
Suppose -2*g + 180 = 3*b - b, 485 = 5*b - 2*g. Let v = 184 - b. Is v a multiple of 14?
False
Suppose 3*s - 2*g = 35 + 51, 3*s + 2*g - 106 = 0. Let w = s + -25. Is w a multiple of 7?
True
Let t = -15 + 17. Does 8 divide (t/1)/((-4)/(-94))?
False
Suppose o - 3*w + 1 - 14 = 0, -2*o - 2*w = 14. Does 28 divide o - -6 - 0 - -129?
False
Let n be (42/35)/((-2)/(-5)). Suppose 2*g + 2*p - 70 = 0, -n*g + 6*g - 102 = -2*p. Is 16 a factor of g?
True
Does 74 divide (-10320)/(-27) + (7 - (-390)/(-54))?
False
Let h = -46 + 37. Let p = h + 44. Is 35 a factor of p?
True
Suppose -11*b + 8*b - 63 = 0. Let p = b + 57. Does 11 divide p?
False
Let a(p) = p**3 - 25*p**2 + 30*p + 27. Is 57 a factor of a(24)?
True
Let l = -55 + 57. Suppose 5*b = l*s + 110, 3*b = -5*s - 7 + 42. Is b a multiple of 10?
True
Suppose p - 4 = -u, p - u - 2 = -0. Let t(n) = n**3 + 2*n**2 - 4*n - 3. Let h be t(-2). Suppose -4*s = -p*y - 53, 4*s - h*y + 6 - 57 = 0. Is 8 a factor of s?
False
Let a be 86/18 - (-10)/45. Suppose -40 = c - 0*h + h, a*h + 25 = 0. Let g = c + 51. Does 8 divide g?
True
Suppose -14 = -k - 0. Let s = k + 8. Let o = 1 + s. Is 12 a factor of o?
False
Let p be 1/((-3)/(-55 + -2)). Let a = p + -33. Is 1 + 0 - (a - -3) a multiple of 4?
True
Let u(l) = 35*l**2 + 1. Let c be u(1). Let v = c + -67. Let w = 55 + v. Is 7 a factor of w?
False
Let k(s) = s**3 - 58*s**2 + 67*s + 284. Is 10 a factor of k(57)?
False
Let q = -89 - 39. Is (-4 - (q + 3)) + (2 - 0) a multiple of 30?
False
Suppose 21884 = 5*o - l + 2*l, 5*o = -3*l + 21882. Is o a multiple of 38?
False
Let g(z) = 15*z**2 - 5*z - 2. Let u be g(-2). Suppose -5*o + 4*r + 116 = 0, -2*r - u = -4*o + o. Is o a multiple of 10?
True
Let y(k) = 5*k**3 + 5*k**2 + 11*k + 7. Let b(m) = 14*m**3 + 16*m**2 + 32*m + 21. Let i(t) = 4*b(t) - 11*y(t). Is i(-5) a multiple of 24?
True
Let h(d) be the first derivative of 79*d**3/3 + d**2/2 - 55. Is 6 a factor of h(1)?
False
Suppose -3*v - 449 + 65 = 0. Is (v + -2)*(-5)/10 a multiple of 27?
False
Let j be (3/6)/((-2)/(-16)). Suppose 5*x = 7*x - j. Let r = x - -81. Is r a multiple of 21?
False
Let s be 1 + (2 - (-8)/2). Let o(c) = -12*c - 10 - 5 + s*c + 0. Does 6 divide o(-10)?
False
Let g = 8 - 3. Suppose -g*w + 170 - 30 = 0. Suppose 7 - w = -3*f. Does 2 divide f?
False
Suppose 1 = 3*y - 29. Is ((-64)/y)/((-1)/10) a multiple of 9?
False
Let x(v) = 13*v - 10*v - 11 - 13*v. Is 8 a factor of x(-5)?
False
Suppose -p = -5*p + 636. Is p a multiple of 19?
False
Suppose -5*u + 0*u + 60 = 0. Let z(t) = t**3 - 13*t**2 + 13*t + 9. Let p be z(u). Does 4 divide ((-3)/4)/(p/(-112))?
True
Let n be (-2)/1 + 7 + 4. Is 4 a factor of (n/((-27)/(-60)))/(2/8)?
True
Let f(i) = -i**3 - 6*i**2 + 2*i - 16. Let p be -2*(-3 - 39/(-6)). Does 9 divide f(p)?
False
Is 23 a factor of ((-2821)/21)/(1/(-3) - 0)?
False
Let m(g) = g**2 + 5*g - 11. Let i be m(-7). Suppose 28 = i*k + k. Does 4 divide k?
False
Let x be (0 - 1)/(((-26)/12)/13). Suppose x*r + 0*r - 486 = 0. Is 8 a factor of r?
False
Suppose 2*b = -5*a + 1482, -4*b = 12*a - 16*a + 1208. Is 12 a factor of a?
False
Let l be 0 + 6 - (9 - 9). Is 8 a factor of (-2 + -2)/(l/(-57))?
False
Suppose 6 = 6*y - 3*y. Suppose y*i - 28 = 2*t - i, -8 = -4*i. Let p = 23 + t. Is 6 a factor of p?
True
Let k(b) = -2*b**2 - 12*b + 22. Let j be k(-7). Suppose 64 = 4*a - 2*o, j*a - 12*a - 3*o + 44 = 0. Is 5 a factor of a?
False
Is 8 a factor of 20*2/(-6)*(-252)/15?
True
Suppose 27 = 3*t - 2*t + 5*g, 0 = 5*t - 3*g - 51. Let c be ((-5)/(-2))/(3/t). Is 13 a factor of 266/c + (-6)/10?
True
Let r(p) = 2*p**3 + 6*p**2 - 3*p + 5. Let l be r(-4). Is (-189)/l + (-12)/20 a multiple of 9?
False
Let v(f) = 2*f**2 + f + 434. Is 7 a factor of v(0)?
True
Let m = -156 + 187. Suppose -38*q = -m*q - 2653. Is q a multiple of 35?
False
Let z(n) = n**3 - 3*n - 2. Let b be z(-2). Let f(l) = -4*l**2 + 46*l - 1 + 5*l**2 - 46*l. Does 10 divide f(b)?
False
Is (-110)/77 - 4588/(-7) a multiple of 16?
False
Is 5 a factor of 2 - (10 + -25) - 6?
False
Suppose 52*i - 64*i + 360 = 0. Is i a multiple of 6?
True
Let p(a) = 34*a - 42. Let c be p(-7). Is c/(-25) + 3 - (-3)/(-15) a multiple of 7?
True
Let a(f) = -3*f - 3. Let k be a(4). Let z be 20/k*(-33)/2. Does 8 divide -4*(-2)/4 + z?
True
Let h(g) be the third derivative of g**6/120 - g**5/60 - g**4/8 + g**3/2 - 24*g**2. Let a(r) = 2*r**2 + 2*r - 1. Let k be a(-2). Is 12 a factor of h(k)?
True
Let a(q) = -q**2 + 9*q + 4. Let f(i) = -i**3 - i**2 + 8*i + 3. Let p(s) = 5*a(s) - 6*f(s). Is 6 a factor of p(1)?
True
Let j(p) = 40*p - 168. Is 16 a factor of j(11)?
True
Suppose 2*s - 5*q = -s - 1, -3*q = -2*s. Suppose -s*x = 3*a - 4*x + 12, 5*a + 20 = -x. Let d = a + 25. Is d a multiple of 7?
True
Let z = 2142 + -1206. Does 26 divide z?
True
Suppose 0 = -3*n + 4*y + 40, 0*n - 2*n + 45 = y. Suppose 4*o - 12 = 4*m + o, -2*m = -5*o + 20. Let z = m + n. Is 10 a factor of z?
True
Is -3 + 