t h = -56 + 84. Is 2 a factor of h?
True
Let p = 38 - -7. Suppose 3*t = -t, 5*v - p = 5*t. Suppose 0 = z + x - v, -4*z = -4*x - 78 + 26. Is 8 a factor of z?
False
Let d = -9 + 3. Let a be (-158)/d + 2/(-6). Suppose -4*l + a = -2*l. Does 13 divide l?
True
Suppose 5*u = 114 + 276. Let k = u + -43. Is k a multiple of 9?
False
Let q = -9 + 5. Let m be 1/q - 26/(-8). Suppose 2*c + m*p - 37 = 0, 2*c = p + p + 42. Is c a multiple of 13?
False
Suppose 62 = 3*z - 3*d - d, -4*z + 70 = d. Does 18 divide z?
True
Let o(a) = -15*a + 5. Let h be o(-8). Suppose 330 = 5*m - h. Is m a multiple of 29?
False
Suppose j + 15 = 6*j. Suppose 0 = j*o + 5*q - 127, -o = 7*q - 2*q - 39. Is 14 a factor of o?
False
Suppose -6*y + 79 = -47. Does 7 divide y?
True
Let c be 66/9*9/6. Let r = c + -6. Let m(i) = i**2 - 4*i + 3. Is 3 a factor of m(r)?
False
Let v = 1 + -3. Let x be (2 + 1*v)/(-2). Does 14 divide x - (-5)/(5/28)?
True
Let j = 2 + -1. Let z = 23 - j. Does 16 divide z?
False
Let h = 8 - 6. Suppose 3*l = -h*l + 280. Suppose 3*t = -2*j + l, 8*t - 3*t - 96 = -4*j. Is 8 a factor of t?
True
Suppose -2*o = -2*f + 4*f - 90, f + 5*o - 65 = 0. Does 20 divide f?
True
Let k(b) be the second derivative of -b**5/20 + 3*b**4/4 - 7*b**3/6 + b**2/2 + 2*b. Is 5 a factor of k(8)?
False
Let p = 18 - -11. Let l = -4 - p. Let g = -11 - l. Does 11 divide g?
True
Let b(d) = d**2 + d - 4. Let x be b(-3). Let j(a) = 12*a. Let u be j(x). Suppose 3*t + t - u = 0. Is t a multiple of 3?
True
Suppose 0 = -3*d + 3*g + 42, 2*d = 6*d + 4*g - 88. Suppose -4*m = -2*v + 10, 2*v - d = -0*v + 2*m. Does 13 divide v?
True
Suppose s - 8 = -2*p - 2*s, 4*p - 16 = -4*s. Is p a multiple of 4?
True
Does 9 divide (-426)/(-10) - (-4 + 72/20)?
False
Let r(l) = 14*l**2 - l + 1. Let h be 12/(-42) - (-23)/7. Let o = h + -2. Does 12 divide r(o)?
False
Suppose 4*c - 1 - 51 = 0. Is 5 a factor of c?
False
Let g be 15/3 + -3 + 42. Suppose 4*c = 4*t - 56, -5*t + g = 3*c - 50. Is 17 a factor of t?
True
Let l(k) = -3*k - 21. Is 8 a factor of l(-21)?
False
Let c be 40/(-10) + 1/1. Is 24 a factor of 6/18 + (-215)/c?
True
Let g(x) = -3 - 1 - x**3 - 7*x + 9*x**2 + 6 - x. Let z be g(8). Suppose -3*i - z*i + 130 = 0. Is 12 a factor of i?
False
Let h = -371 - -137. Let u be h/(-4) + 1/2. Suppose 0 = 3*k - u - 34. Is 19 a factor of k?
False
Let r(o) = -o**3 - 7*o**2 + 6*o - 11. Let w be r(-8). Suppose -h - 2*d - 20 = -4*h, w*h + 2*d - 28 = 0. Is h a multiple of 3?
True
Suppose l + 0*l = -t + 7, 4*l = 5*t - 8. Suppose -47 = t*y + 5. Does 13 divide -2 + (-2)/(-1) - y?
True
Is 0/2 - -18 - 1 a multiple of 3?
False
Let m = 10 + -2. Suppose -4*z - m*p - 3 = -3*p, 5*z + 2*p - 9 = 0. Let n(x) = 2*x**3 - 3*x**2 - 3*x + 4. Is n(z) a multiple of 13?
False
Let a(f) = f**3 + 4*f**2 - 4. Let x be a(-3). Let z(r) = -r**2 + r + 65. Let s be z(0). Suppose 0*q + s = x*q. Does 6 divide q?
False
Let j(s) = 2*s - 32. Let g be j(18). Let m be -1*(-3 - (1 - 1)). Suppose -3*f + m*l = -g*f + 38, 4*l = f - 31. Is f a multiple of 15?
False
Let p(x) = 5 - 5 + 4*x - 4. Let n be p(-3). Let t = -6 - n. Is t a multiple of 10?
True
Suppose 5*a = -137 + 472. Is a a multiple of 22?
False
Let s = 315 - 171. Is 18 a factor of s?
True
Let z be 9/(-3)*2/(-2). Suppose 2*c = -2*p + 172, z*p - 2*c - 278 = -c. Does 13 divide p?
True
Suppose 0 = -4*n + 11*n - 294. Does 14 divide n?
True
Let n(m) = 7*m**2 - m. Suppose -g - 2 = -2*b + 3, -2*b - 7 = 3*g. Is n(b) a multiple of 2?
True
Suppose 6*l = 5*a + 2*l - 424, 3*a = 4*l + 256. Is 21 a factor of a?
True
Suppose m - 4*m = -w - 4, 5*w = 4*m + 13. Suppose -3*g + 22 = v, 2*g - 46 = -3*v - 3*g. Suppose v*l - 72 = m*l. Is l a multiple of 7?
False
Let l be (11/(-3))/(6/(-144)). Let v = l + -38. Is 25 a factor of v?
True
Suppose -7*i = -0*i - 175. Is i a multiple of 5?
True
Let z be (-1)/(-2) + (-105)/(-6). Suppose -4*n + n = -z. Is n a multiple of 3?
True
Let u be (-3 - 1)/((-2)/1). Suppose s - 7 = 5*m, -s - u*s + 81 = -3*m. Suppose 5*h - h = s. Is h a multiple of 8?
True
Suppose 0 = -4*j - 12, 4*j - 1 = -4*s + 3. Suppose 5*w + 3*f = 2*f + 4, 0 = -s*w - f + 4. Suppose -2*p + 5*p + 2*u - 34 = w, 0 = 2*u - 10. Is p a multiple of 3?
False
Let i(c) = -c**2 + 2*c. Let v be i(0). Suppose -85 = -v*b - 5*b. Does 8 divide b?
False
Let k = -17 + 77. Is k a multiple of 16?
False
Does 15 divide ((-282)/(-12))/((-10)/(-4) - 2)?
False
Let i(f) = f**3 + 8*f**2 + 9*f + 14. Let o be i(-7). Let t = 4 + -2. Suppose 3*n + o*j - 3*j - 45 = 0, 0 = -n + t*j + 16. Is n a multiple of 4?
False
Suppose -4*y = -5*z - 5*y - 25, 0 = -4*y - 20. Let a(u) be the second derivative of -4*u**3/3 + u**2/2 - 4*u. Is a(z) a multiple of 13?
False
Let v(p) = -p**3 - p**2 + p + 1. Let m be v(-1). Suppose q + o + 9 = -m*q, -17 = 3*q - 2*o. Let j = q + 14. Does 5 divide j?
False
Suppose 5*t - 5*d + 20 = 0, 0*t - 5*d + 21 = -4*t. Let s(z) be the second derivative of 15*z**3/2 + 3*z. Is s(t) a multiple of 24?
False
Let l(x) = -x + 12. Let o be l(0). Suppose -3*f - 5*a + o = 0, 0 = 2*a - 0*a. Suppose 5*j + q - 39 = 0, 0 = f*j + 4*q - 32 - 12. Does 7 divide j?
True
Let v(k) = -k**3 + 3*k**2 + 4*k + 5. Let b be v(4). Suppose b*u + 0 - 30 = 0. Suppose -u = -5*s + 109. Is 6 a factor of s?
False
Let u be (68/(-2))/((-2)/(-3)). Suppose 0 = -2*d - 27 - 43. Let t = d - u. Is t a multiple of 8?
True
Let o = 5 - 1. Suppose o*c - 2*m - 48 = 0, 2*c - 5*m - 22 = -3*m. Is 5 a factor of c?
False
Let w(l) = -78*l + 2. Is w(-1) a multiple of 20?
True
Let x = 47 - 33. Is 2 a factor of x?
True
Let l(r) = -3*r + 1. Suppose -4*o - 5 = -5*k + 10, -3*o = 15. Let m be l(k). Does 10 divide (5/m)/((-7)/(-168))?
True
Let t = -4 + 8. Suppose -5*a - 16 = -t*b, 4*a - b = -3 - 1. Is 14 a factor of -1*(-42)/3 - a?
True
Suppose -7*u = -3*u - 72. Suppose -2*y + u = 4. Let d = 11 - y. Is 4 a factor of d?
True
Let l(c) be the first derivative of 11*c**3/3 - c**2 + c + 2. Let a be l(1). Suppose s + s = a. Does 2 divide s?
False
Let v be 4*5 - (-4 - -2). Let c = -51 + v. Does 3 divide c/(-9) + 16/(-72)?
True
Let u(p) = -p**3 + 8*p**2 - 8*p + 9. Let o be u(7). Let k(s) = 2*s**2 + s - 2. Is k(o) a multiple of 4?
True
Suppose -2*a = -3*b - 6 + 19, 5*a + 15 = 4*b. Suppose 20 + 5 = b*h. Does 9 divide 4*(90/4)/h?
True
Let x = -4 + 4. Suppose 0 = 5*o + 20, 3*y - 4*o - 8 - 20 = x. Is y a multiple of 4?
True
Suppose -3*p = 7*x - 2*x - 27, -5*x = -2*p - 7. Suppose -x*r + 8*r = 240. Does 24 divide r?
True
Suppose 4*v - d - 37 = 109, 35 = v - d. Does 14 divide v?
False
Let s(x) = x**2 + 19*x + 12. Is 16 a factor of s(-20)?
True
Let s(l) = -l**3 + l - 84. Let n be s(0). Let q = -27 - n. Suppose -8 = -5*h + q. Is h a multiple of 7?
False
Let d(p) be the third derivative of -1/60*p**6 - 1/15*p**5 + 0*p + 2/3*p**3 + 0 + 2*p**2 - 1/8*p**4. Is 8 a factor of d(-3)?
False
Let g be (-2)/6 - 3/(-9). Suppose g = b, -4*r + 0*b + 112 = -b. Is 14 a factor of r?
True
Is 35 a factor of 2524/30 - 2/15?
False
Suppose l + 2*l - 417 = 0. Suppose 101 = -5*g - l. Is 9 a factor of (3/2)/((-4)/g)?
True
Let n(s) = -s**2 - 27*s - 26. Is 18 a factor of n(-18)?
False
Let v(o) = -4*o**2 - 4*o**3 + 4 + 5*o**2 - 5 - 5*o**3. Let k be v(-1). Let c(l) = l**3 - 9*l**2 + 2*l - 4. Is 9 a factor of c(k)?
False
Let l = 1 + 3. Suppose 0 = 5*a - 20, 0 = -z - l*z + 3*a + 38. Does 10 divide z?
True
Let w be -3 + 2 - (-26)/2. Suppose 0 = -0*i + 4*i - w. Suppose -i*g + 4*g = 12. Is 12 a factor of g?
True
Let x(k) = k + 10. Let w be x(8). Suppose -6*n + w = -3*n. Is 14 a factor of (6/(-4))/(n/(-112))?
True
Let b = -102 - -165. Is 12 a factor of b?
False
Let s = 16 + -13. Let m(u) = 5*u - 2. Let k be m(6). Suppose -s*y = -76 + k. Is y a multiple of 12?
False
Let a(r) = r**2 - r - 1. Let v(j) = -3*j**2 - j + 1. Let w(u) = 4*a(u) + v(u). Let s be w(6). Suppose s*l - 64 = -l. Is 5 a factor of l?
False
Let t(g) = -5*g + 7. Suppose 5*c - 3*d + 2*d + 34 = 0, 5*d + 12 = -c. Is 16 a factor of t(c)?
False
Suppose -4*q + 5*c = -248, 49 + 13 = q + 2*c. Suppose -4*f + 3*v + 89 = -2*v, 0 = 3*f + v - q. Is 9 a factor of f?
False
Let n = 1 + -3. Suppose -2*q - 23 = -k, k + q + 3*q - 11 = 0. Let h = k + n. Does 9 divide h?
False
Let w(q) = -q - 1. Let b be w(3). Is 11 a factor of (b/3)/((-10)/165)?
True
Let s(t) = -t**3 + 6*t**2 + 2. Let k be s(6). Let o(h) = h**2 + 1. Let i be o(k). 