*u + r*g + 2*g + 138, h = 3*u + 5*g. Is 13 a factor of u?
True
Let u = -13 + 19. Suppose -2*h + g - 200 = -u*h, -2*h + g = -100. Is 10 a factor of h?
True
Let r be 4/14 + (-24)/(-14). Let h(b) = -2*b - 3*b**2 + 2*b**2 + 9*b**2 - 2. Is h(r) a multiple of 13?
True
Suppose -5*c + 26 = 5*t - 44, -4*t + 5*c + 29 = 0. Is t a multiple of 11?
True
Suppose 6*h = 3*h. Let r be (h - -5) + 2 + -4. Suppose -4*i = 2*k - 34, -2*k + 3 = -r. Is 3 a factor of i?
False
Let k(z) = 4*z + 50. Let c(f) = f + 10. Let n(g) = -14*c(g) + 3*k(g). Let b be n(9). Let t = -6 - b. Is t even?
True
Suppose 5*t + 71 = 16. Let x = -2 - t. Is (-2 - 7/(-3))*x even?
False
Let l(a) be the third derivative of -a**7/840 + a**5/120 - a**4/6 - a**3/2 - 3*a**2. Let v(t) be the first derivative of l(t). Is v(-3) a multiple of 7?
False
Suppose k - 1 = 5*k - 3*q, 0 = 5*k + 3*q - 19. Suppose -21 = 4*x - 3*m - 2*m, 0 = 4*x - k*m + 6. Suppose c = 6 - x. Is c a multiple of 3?
False
Let l = -213 + 447. Does 26 divide l?
True
Let n = -20 - -23. Suppose 3*b + 7 = n*p - 44, -97 = -5*p + b. Is p a multiple of 20?
True
Suppose -7 = -3*w + 8. Suppose -4*n - 16 = 4*z, -4*z - 1 - 15 = 2*n. Suppose n = 2*i - 0*d - w*d - 77, -2*i - 5*d = -67. Is i a multiple of 18?
True
Let m be 65/(-10) + 1/2. Let j = m + 10. Suppose 2 = j*d - 38. Is 4 a factor of d?
False
Let z(d) = -d**2 - d. Let m be z(-1). Let s = 8 - m. Does 3 divide s?
False
Suppose -4*f + 42 + 174 = 0. Suppose -f = -3*b - i - i, 2*i = b - 26. Is 10 a factor of b?
True
Does 17 divide (-1494)/(-11) - (-24)/132?
True
Suppose -197 + 69 = -8*y. Is y a multiple of 8?
True
Let n = -28 - -37. Does 9 divide n?
True
Let o = 1 + -11. Let m = 1 - o. Is 9 a factor of m?
False
Does 30 divide -11 + 14 + (2 - (-230)/2)?
True
Suppose 12 = -5*a - 3. Let c = 4 + a. Does 10 divide (8 - (-2 - 0))/c?
True
Is 8 a factor of -3*(2 + (-147)/9)?
False
Let t(y) = -y**3 - 2*y**2 - 2*y - 3. Suppose 12 = -4*m + v + 2, -3*v = -4*m - 6. Does 6 divide t(m)?
True
Let f = 8 - 7. Is 28 + f/2*2 a multiple of 12?
False
Let x = 1 + 0. Let a be 10/(-2) + 3 - x. Let h(q) = 4*q**2 + 2*q. Does 15 divide h(a)?
True
Let s(f) = 3*f**3 - 27*f**2 - 50*f - 28. Let i(o) = o**3 - 9*o**2 - 17*o - 9. Let v(c) = 11*i(c) - 4*s(c). Is v(10) a multiple of 12?
False
Let z(d) = 34*d - 1. Let x(q) = 23*q - 1. Let g(c) = 7*x(c) - 5*z(c). Let s be g(-5). Suppose 4*b - s - 13 = 0. Does 9 divide b?
False
Suppose -210 = -5*p + 6*r - 3*r, -p + 42 = -5*r. Does 6 divide p?
True
Let a(d) = d**3 - 8*d**2 + 8*d - 1. Let b be a(7). Let t(u) be the second derivative of u**4/12 - u**3/2 - 2*u**2 + u. Is 7 a factor of t(b)?
True
Does 14 divide 42*9/(54/4)?
True
Let n(w) = -w - 4 + 5 + 2*w**2 - 3. Is 11 a factor of n(4)?
False
Suppose 0*x + 4*x = 516. Suppose x - 29 = 5*y. Does 10 divide y?
True
Suppose -q - 16 = 2*r, 19 = -q - 0*q - 3*r. Let o = q + 34. Does 8 divide o?
True
Let x be (-1)/(-4) + 15/20. Let s = -2 - x. Does 14 divide ((-4)/s)/(2/21)?
True
Is 4 a factor of 18/(-27) + 83/6*2?
False
Is 14/7 + -2 + 1*87 a multiple of 29?
True
Suppose -3*s + 35 + 112 = 0. Is 22 a factor of s?
False
Let o(f) = 2*f**2 - 3*f + 4. Is o(5) a multiple of 6?
False
Suppose 4*j + 15 = 9*j. Suppose -2*l - j*p = -38, -3*p + 6*p - 22 = -l. Is l a multiple of 16?
True
Let r(d) = d**2 + d - 4. Let m be r(-3). Suppose 5*w - o - 47 = 0, 3*w + m*o - 31 + 8 = 0. Does 9 divide w?
True
Suppose -2*l + 92 = -z, l - 240 = -4*l + 5*z. Does 11 divide l?
True
Let b(x) = -41*x - 5. Does 9 divide b(-1)?
True
Let l(c) = 2*c**2 - 3*c**2 + 3 - 7 - 11*c - 2. Is l(-8) a multiple of 17?
False
Let c(j) = -j + 17. Suppose -2*o = 3*o - 35. Is c(o) a multiple of 10?
True
Let j = -5 - -8. Suppose -j = -i - 1. Suppose -3*a = z - 13, 4*a = -i*z - 2*z + 68. Is z a multiple of 9?
False
Let z(t) = -t**2 + 11*t + 6. Is z(5) a multiple of 9?
True
Let i be (-70)/15*27/(-6). Does 8 divide -14*(27/i + -3)?
True
Suppose -o = 2*o - 9. Suppose -5*d = -4*y - 9 - 13, 4*d = 4*y + 20. Suppose -d*v = o*v - 155. Does 13 divide v?
False
Suppose 2*k + 8 = 2. Let o be k/12 - (-34)/8. Suppose 0 = -o*r + 5*r - 19. Does 5 divide r?
False
Let v(n) = -6*n + 6. Let m(r) = 5*r - 6. Let g(y) = -7*m(y) - 6*v(y). Does 11 divide g(5)?
True
Is 15 a factor of -15*((-15)/5 - 2)?
True
Suppose 0*k - 2*k + 4*f = -26, 0 = 3*f + 15. Suppose 0 = 3*w - 14 - 1. Suppose w*g = k*t + 145, g - 2*t = 3*g - 42. Is 18 a factor of g?
False
Suppose -11*a = 3*a - 2240. Is 40 a factor of a?
True
Let o = -22 - -26. Suppose 0 = 2*n - o - 48. Is n a multiple of 4?
False
Suppose 5*g - 204 = -2*m, -4*m + 32 = 4*g - 388. Is 19 a factor of m?
False
Suppose -2*q - t - 128 = -7*q, 94 = 4*q - 5*t. Suppose -2*f + v = 2*f - 48, 2*f - q = v. Let a(x) = 4*x - 14. Is a(f) a multiple of 14?
False
Suppose -2*w + 0*w - 5*i = 14, 2*w + i = -6. Let f be 86/(w/(-2) - -1). Is 0 - (-3 - -2 - f) a multiple of 19?
False
Let p(r) = -7*r - 11. Does 14 divide p(-5)?
False
Suppose -3*h + 60 - 183 = -z, 8 = 4*h. Is 18 a factor of z?
False
Let l(u) = -u**2 - 11*u - 7. Let b be l(-10). Suppose 0 = b*m - 3*r - 108, 4*m = 2*r - 4*r + 138. Does 12 divide m?
False
Suppose -2*t = -3*g - 76, 63 = -4*g - 3*t - 2*t. Let i = -12 - g. Let s = 26 - i. Is 8 a factor of s?
True
Suppose 0*l + l - 38 = 0. Let s = l - -2. Is s a multiple of 20?
True
Suppose d + 45 = 2*d. Is d a multiple of 10?
False
Let x(f) = 3*f**3 - 3*f**2 - 4*f - 6. Let s(r) = -10*r**3 + 10*r**2 + 12*r + 19. Let q(u) = 2*s(u) + 7*x(u). Does 23 divide q(4)?
False
Suppose -d - 104 = -4*d - 5*o, 2*o = -10. Is 7 a factor of d?
False
Suppose 2*a = -2*v + 3258, 0 = 3*v + a - 4896 + 19. Suppose -8 = 2*o, -5*g + o = -3*o + v. Is 9 a factor of 8/(-36) + g/(-18)?
True
Let b(z) = -z**2 - 6*z + 2. Let p be b(-6). Let h = -5 + p. Is 2 a factor of -6*(h/2 - -1)?
False
Suppose 0 = 5*r + 3 - 53. Suppose 0 = -3*z + r + 38. Is z a multiple of 6?
False
Let f be 0 + -1 + (3 - 2). Suppose -3*s + 2 + 10 = f. Suppose 0 = 5*d - 5*r - 60, s*r = -d - r + 42. Is 9 a factor of d?
False
Let i = 172 - 112. Let f = i - 36. Does 8 divide f?
True
Is 10 a factor of (6/(-18))/(1/(-147))?
False
Suppose -4*x - x = -95. Let s = -4 + x. Is s a multiple of 5?
True
Suppose 3*v - 2*k - 73 = 87, v + k - 50 = 0. Does 14 divide v?
False
Let n(b) = b**2 + 15*b - 18. Is n(-17) even?
True
Let z = 411 + -223. Does 12 divide z?
False
Suppose -g + 256 = 3*g. Does 15 divide g?
False
Let q be (10/6)/5*27. Let z(k) = -k**3 + 8*k**2 + 10*k + 12. Is z(q) a multiple of 7?
True
Let p(l) = -l**3 + 3*l**2 - 3*l + 3. Let m be p(3). Let x = m - -17. Is x a multiple of 11?
True
Let x(g) = 8*g - 9. Let l be x(6). Suppose -2*p + 2*v = 36, -p - 5*v - 78 = 2*p. Let t = l + p. Does 16 divide t?
False
Let a(j) = j**2 - j + 5. Let m(p) = -p**2 + 1. Let v(s) = a(s) - 4*m(s). Does 9 divide v(2)?
False
Suppose -3*u = -4*b - 5*u + 334, 0 = -3*b + 3*u + 255. Let d = 12 + b. Does 32 divide d?
True
Let a(j) = -j**2 + 2 - 4*j + j**2 + 9*j**2. Let t(z) = -z**2 + 7*z - 4. Let w be t(6). Is a(w) a multiple of 15?
True
Suppose -4*g - 4*s = -980, -3*g - 5*s + 475 = -g. Is g a multiple of 12?
False
Let t(k) = k**3 + 5*k**2 + 6*k + 4. Let y be t(-4). Let u be (1 + -4)/(3/y). Suppose -3*f + 3*z + 1 = z, 0 = u*f - 3*z. Is f a multiple of 3?
True
Suppose -3*l = 2*m - 277 + 52, 5*l - 555 = -5*m. Is 18 a factor of m?
True
Suppose -5*u + 5*f - 450 = 0, 0 = -4*u + u + f - 270. Let j = u + 212. Suppose -2*x = 3*p + 2*x - j, -4*x = 4. Does 13 divide p?
False
Let i be (-3)/(-1 + 1/(-2)). Suppose v + 5*g = 47, -4*v + v - i*g + 102 = 0. Is v a multiple of 8?
True
Let r = 14 - 12. Suppose -4*a - r*f + 123 = -43, a - 39 = -f. Is 11 a factor of a?
True
Let b = 15 + -23. Is (-23)/(-3) - b/24 a multiple of 6?
False
Suppose -3*c - 10 = 4*g - 172, -5*c + 127 = 3*g. Does 3 divide g?
True
Let i be (3/(-6))/((-2)/(-4)). Let s(u) = -3*u**3 + u**2 - 1. Let l be s(i). Is 10 a factor of 18 + (-3)/l - -3?
True
Let c(t) be the second derivative of t**3/3 + 5*t**2/2 + 3*t. Does 6 divide c(6)?
False
Suppose -15 = -4*c - c. Suppose c*x = -j + 18, 3*x = -j + 5*x + 3. Is j a multiple of 6?
False
Let c(h) = h**3 + 3*h**2 - 5*h - 3. Let a be c(-4). Suppose -1 = z - 4*k + 3*k, 5*z - a = 3*k. Suppose -f + z*f - 14 = 0. Is 14 a factor of f?
True
Let p be 3*5*(-8)/(-10). Suppose 4*k = -x + 14, -2*k + 7*k - 21 = -