 4*u + b, 2*u = -5*r + 152. Is r a multiple of 11?
False
Suppose 0 = 4*o - 2*o - 2. Suppose -2 - 1 = -s. Is 22/o*(s + -2) a multiple of 11?
True
Let s = 18 + -10. Suppose 0*n = n - s. Is 4 a factor of n?
True
Suppose -5*o + 229 = -51. Is 14 a factor of o?
True
Let c(y) = -y**3 + 4*y**2 + 4. Let x be c(4). Suppose -d + x = -4. Is d a multiple of 3?
False
Let j be -3 + 3 + 4 - -2. Suppose -5*b + 2*d = -187, -3*b + j*d + 114 = 3*d. Does 32 divide b?
False
Does 5 divide ((-12)/(-10))/((-33)/(-550))?
True
Let t(f) be the second derivative of f**4/6 - f**3/6 + 2*f**2 - 3*f. Is t(3) a multiple of 19?
True
Suppose 0 = 2*x - 23 - 55. Is 13 a factor of x?
True
Suppose 4*r - 3*r = 90. Does 15 divide r?
True
Let f = -4 + 8. Let s(y) = -3*y + f*y - 3*y - 7. Does 5 divide s(-7)?
False
Let l = 32 - 1. Is l a multiple of 16?
False
Suppose 0 = -2*y + 5*g + 111, 2*y + 5*g - 4*g - 81 = 0. Is 5 a factor of y?
False
Does 12 divide (-40)/(-5) + -3 + 7?
True
Suppose 3*w - w - 2 = 0. Suppose h = 8 - w. Does 5 divide h?
False
Let h be (-1695)/(-27) - (-4)/18. Suppose -h = -2*o - o. Let j = o + -1. Does 7 divide j?
False
Suppose 4*x = 6 + 14. Suppose o + o + 4*t = -18, 4*o + 27 = -x*t. Let r = 13 + o. Does 10 divide r?
True
Let m(a) = a + 11. Let j(i) = 2. Let y(f) = 11*j(f) - 2*m(f). Let k be y(-2). Suppose 0 = -h + k*h - 33. Does 11 divide h?
True
Let c(x) = x**3 - 2*x**2 + 3*x. Let z be c(3). Let j = 29 - z. Does 11 divide j?
True
Suppose -2*h - 4*u = -0*u, -2*h = 2*u. Let q be 0 - h - 14/(-1). Suppose -3*x + 34 = -q. Is 16 a factor of x?
True
Suppose -2*i + 4*i + 6 = b, -2*b = 5*i + 15. Suppose -2*c + 26 = x, c + c - 4 = b. Does 8 divide x?
False
Let q(a) = 44*a**2 + 2*a + 2. Is 39 a factor of q(-2)?
False
Suppose 5*y = z + 6, y - 4*z = -0*y - 14. Is 12 a factor of 354/15 + y/5?
True
Let r(y) be the first derivative of y**3/3 - y**2 - y - 5. Is r(-2) a multiple of 6?
False
Suppose u - 12 = -u + d, -u + 3*d = -16. Is -10*u/(-24)*3 a multiple of 4?
False
Suppose -51 = -j - 2*n + 19, -3*j - 2*n + 222 = 0. Is 38 a factor of j?
True
Let n(v) = -v**3 + 4*v**2 - v - 4. Let i = -2 + 5. Let j be n(i). Does 3 divide (-19 - j)*(-2)/6?
False
Let v(l) = 6*l + 1. Let b be v(-1). Let h = 13 + b. Is 4 a factor of h?
True
Let l = 134 - 59. Let k = -137 - l. Is k/(-16) + (-1)/4 a multiple of 5?
False
Let j = -15 + 40. Let l = j + 1. Is l a multiple of 13?
True
Let b(z) = -17*z + 2. Let v be b(-4). Suppose 2*g + 6*p = p + 42, -5*g + 5*p = -v. Does 8 divide g?
True
Let k(j) = j**2 - 9*j + 7. Let b be k(8). Let h be 3/9*(-141)/b. Suppose -23 - h = -5*y. Is 14 a factor of y?
True
Suppose g = -3*g - 244. Let b = g - -100. Is b a multiple of 13?
True
Is (9 - 5) + 60/2 a multiple of 10?
False
Let q = 10 + -8. Suppose -q*o + 7*o + 110 = 5*h, -5*h + 102 = 3*o. Is h a multiple of 12?
False
Let r = -5 + 9. Suppose -2*y - 112 = -0*y. Does 7 divide (2/r)/((-4)/y)?
True
Let f = -9 + 11. Suppose 3*h = -f*h + 3*m + 260, 2*h + 2*m = 120. Is h a multiple of 21?
False
Let w(p) = p**3 + 9*p**2 - 10*p + 4. Let m be w(-10). Suppose -m = -f + 2. Is 6 a factor of f?
True
Let t = 624 + -349. Is 25 a factor of t?
True
Suppose 4*j + 3 + 14 = 5*g, -g + 4*j - 3 = 0. Is g even?
False
Suppose 6*w - 4 = 4*w + r, -21 = -5*w - 3*r. Let m be 4*(3/2 + -1). Suppose -4*u - 4*b + 76 = 0, -w*b - m*b = 15. Is u a multiple of 9?
False
Let n = 8 - 5. Suppose -2 = x - n*d + 4, 13 = 2*x - d. Is x a multiple of 3?
True
Let b = 15 + 21. Is 15 a factor of b?
False
Suppose 0 = -3*a + 28 - 148. Let u be (-1)/(-1 + a/(-41)). Suppose -3*m + 2*t - t = -127, m - t - u = 0. Is 18 a factor of m?
False
Let d(q) = -2*q + 2. Is d(-4) a multiple of 5?
True
Let w = 6 - 3. Suppose w*v - 76 = -v. Suppose d - 11 - v = 0. Does 15 divide d?
True
Suppose a - 4*k - 10 = 0, 3*a - 3*k - 2*k = -5. Does 25 divide a/((-4)/(-5) - 1)?
True
Let a = 15 - 10. Suppose -a*z = 5*r - 20, -2*z + 6*z = 5*r + 16. Suppose 0 = -r*n + 3*n - 21. Is n a multiple of 6?
False
Let x = -8 + 6. Does 13 divide ((-66)/(-10))/(x/(-10))?
False
Let c(v) = v**2 - 7*v - 1. Let b be c(5). Let p = b + 29. Is p a multiple of 9?
True
Let g(w) = -w - 1. Let c(y) = 3*y + 1. Let x(p) = 2*c(p) + 5*g(p). Is 4 a factor of x(11)?
True
Let u be 2*(28/4 - -2). Is (u - -1) + (3 - 2) a multiple of 18?
False
Suppose 17 + 28 = 5*p + 3*r, 5*r - 31 = -p. Suppose -4*w = -54 - p. Does 9 divide w*6/9 - 1?
True
Let b be (-8)/36 + (-308)/(-9). Let p = b + -20. Is p a multiple of 14?
True
Let f = 11 + -16. Does 5 divide (25/f)/(1/(-2))?
True
Is 119/5 - 1/(-5) a multiple of 3?
True
Suppose 0 = -u - j + 1, -3*j - 2 = -3*u + 7. Suppose v + 219 = 4*h, -25 = u*v - 7*v. Suppose 2*r + 2*r = 4*y - h, -4*r = -2*y + 28. Is 7 a factor of y?
True
Suppose -5*h + 3 + 10 = 3*b, -3*b + 1 = -h. Let i(z) = -2*z - 1. Let t be i(-1). Let q = h + t. Is 3 a factor of q?
True
Let m = 14 - 10. Let h be (-54)/m*-1*2. Suppose 0 = 4*v - v - h. Is v a multiple of 9?
True
Let i(j) = j**3 + 10*j**2 + 12*j - 3. Let h be i(-9). Let g = -18 - h. Suppose g = -2*a + 38. Is a a multiple of 5?
False
Let d(z) = -z + 10. Let q be d(5). Suppose 5*r - 56 = r + 3*o, q*o = r - 31. Is 11 a factor of r?
True
Let s(v) = v**2 - 6*v - 7. Let f be s(-6). Suppose -45 - f = -5*u. Does 13 divide u?
False
Suppose -v - 9 = 2*v. Does 11 divide ((-26)/v)/((-4)/(-18))?
False
Suppose -5*p = 4*d - 743, 4*d = -4*p - 171 + 919. Is 16 a factor of d?
True
Suppose 3*n - n - 6 = 0. Suppose 27 = -2*c + n*c. Is 14 a factor of c?
False
Let i(r) = r**2 - 3*r + 4. Let l = -5 + 12. Suppose -l - 3 = -2*x. Is i(x) a multiple of 14?
True
Suppose 0 = -2*s - 5*j - 14, -3*s - 3*j + j = -1. Is 20 a factor of (-1 + 30)*(s - 2)?
False
Suppose 2 = -3*u + 14. Is 2 a factor of u?
True
Suppose 4*d = 2*x + 26, -4*d + 7 = -4*x - 29. Let z(c) = c**2 - 4*c + 8. Let g be z(9). Suppose 3*v + 3*y - g = 43, -d*v - 2*y + 120 = 0. Is 16 a factor of v?
False
Suppose -6*k + 2310 = -k. Is 7 a factor of 1/(-5) - k/(-35)?
False
Let r(f) = f**3 - 9*f**2 - 6*f - 12. Let g be r(10). Does 9 divide 749/g + 2/8?
True
Let q(h) = h**3 - h**2 - 3*h - 1. Is 6 a factor of q(4)?
False
Let r = 22 - 47. Let a = 37 + r. Does 4 divide a?
True
Suppose -4*j = j - 10. Let b be (-1)/(12/8 + -1). Is (j - 4)/1*b a multiple of 2?
True
Suppose -20 - 2 = -t. Let s be (-9)/(3 - 0 - 2). Let d = s + t. Is d a multiple of 12?
False
Let t(o) be the second derivative of -41*o**3/6 - o**2/2 + 2*o. Let x be t(-2). Let f = 119 - x. Does 14 divide f?
False
Let p = 50 + -30. Suppose a = 37 + p. Let c = -28 + a. Does 12 divide c?
False
Suppose 1 + 44 = 5*a. Suppose -3*q - a = -63. Suppose -4*p - 5*s + 10 = 0, -p + s = -5*p + q. Is p a multiple of 5?
True
Suppose -2*q + 0*q - 8 = n, 0 = 5*q + 25. Let a be 27 + n/(-2) - -2. Suppose -3*m + a = -m. Is m a multiple of 14?
True
Let z = 115 - 59. Does 14 divide z?
True
Let g = -17 - -27. Does 10 divide g?
True
Let m = 194 + 180. Is 34 a factor of m?
True
Let j = -129 - -214. Does 9 divide j?
False
Let i be (-4)/(2 - 14/6). Let k = -15 + 42. Suppose -3*y = -k - i. Is 6 a factor of y?
False
Let s(d) = -8*d - 4. Let g be 2*2/(-4)*0. Let p = g - 6. Is 24 a factor of s(p)?
False
Let c(p) = p**3 + 8*p**2 - 12*p + 1. Let m(h) = -h**3 + 3*h**2 + h - 1. Let v be m(3). Suppose -2*o = -6, -z - 2*o - v*o = -3. Is 11 a factor of c(z)?
False
Let l = -40 - -75. Is 5 a factor of l?
True
Let h = -9 - -22. Is 3 a factor of h?
False
Suppose -3*s + 4*s = 5. Let w(x) = x**3 - 5*x**2 + 4*x - 2. Is 12 a factor of w(s)?
False
Suppose 0 = 3*v + 2*s - 887, -3*v + 2*v - 5*s = -287. Is 27 a factor of v?
True
Let d(q) = -q**3 - 14*q**2 - 16*q - 9. Let m be d(-13). Is 3 a factor of 18/m*5/1?
True
Suppose -195 = -5*n + 50. Does 10 divide n?
False
Suppose -m - 6 + 23 = -3*h, 12 = -3*h. Does 19 divide 97/5 + (-2)/m?
True
Let u(f) = f**2 + 9*f + 3. Let w(d) = 2*d + 1. Let t be w(-5). Let o be u(t). Suppose -3*q + 4*q = 5*y - 230, 0 = o*y - 4*q - 138. Is 22 a factor of y?
False
Let p = 14 - 10. Suppose 3*b - b + 4 = 4*l, -3*l + 2*b + p = 0. Suppose -w + 48 = 4*x, 21 = 3*x - l*x - 3*w. Is x a multiple of 11?
True
Let b(a) = 17*a + 9. Is 5 a factor of b(2)?
False
Let b(x) = x**3 - 5*x**2 + 2*x + 6. Let u be 16/6*(-18)/(-8). Is b(u) a multiple of 18?
True
Let h = -4 - -2. Let r be h/(-2*1/32). Suppose 2*y = 4*d + 74, y - r - 2 = 