e
Is 183/9 - 4/12 even?
True
Suppose -3*f - f - 12 = 4*j, 2*j - 3*f = -31. Suppose 0 = u - 3*o - 6 - 9, -2*u = -o - 45. Let b = u + j. Is b a multiple of 8?
True
Let m = -157 - -313. Let g = 59 - m. Is (-1)/3 - g/3 a multiple of 16?
True
Let s = -14 - -24. Let r = s - 8. Suppose 2*x = -r*x + 124. Does 12 divide x?
False
Suppose -3*t - 1 + 25 = 0. Let w = -7 + t. Let o = 32 + w. Does 13 divide o?
False
Let a be -4*(1 - 3/2). Suppose 0*w + 31 = a*w + 3*r, -r = -3*w + 41. Is w a multiple of 6?
False
Suppose -9 = 3*k, 4*g + 4 = -4*k - 0*k. Let d be 34/6 - 4/6. Suppose 42 = d*z - g*z. Is z a multiple of 14?
True
Suppose 6 + 34 = -5*x. Let b = 16 + x. Does 4 divide b?
True
Let w(r) = 0*r + 15*r + 3 - 2. Let t be -1 + (-1 - -6 - 2). Is 11 a factor of w(t)?
False
Suppose p = 5*y - 37 - 5, -y - 4*p = 0. Suppose -y*s + 12 = -4*s. Suppose -s*c + 27 = -0*c. Is 6 a factor of c?
False
Let n(p) = -p**3 + 12*p**2 - 2*p - 5. Let t be n(5). Suppose -3*w + 5*z = z - 29, 3*z = 5*w - 30. Suppose 8*k = w*k + t. Is 16 a factor of k?
True
Suppose 4*q = 3 + 29. Suppose -4*r + 3*r - q = 0. Is 14 a factor of ((-28)/r)/(1/8)?
True
Let x be (30/4)/((-3)/4). Is 4 a factor of x/3*6/(-4)?
False
Suppose 0*s = -2*s. Let c = -1 - -1. Suppose s = -4*x - c*x + 112. Is 20 a factor of x?
False
Suppose -t = -3*k + 89, -k = -4*k + 3*t + 99. Is 7 a factor of k?
True
Suppose 2*z = -3*z - 5. Let f be (6 - 2) + (z - -2). Suppose f*r - 61 = 69. Is r a multiple of 13?
True
Let h be 2/(-6) + 1/3. Suppose -6 = -l - h. Is 3 a factor of l?
True
Suppose -4*l = -0*i + i - 84, -92 = -5*l + 2*i. Is 8 a factor of l?
False
Let a = -2 + 1. Let b be a/1*(3 - 3). Suppose b*p + 5*p = h + 37, -p + 5*h + 17 = 0. Is 3 a factor of p?
False
Let c(y) = -y**3 + 8*y**2 - y - 10. Suppose 0*b - 4*i = -3*b + 17, 3*i - 24 = -3*b. Is 7 a factor of c(b)?
False
Let x be (2 - 9/6)*28. Let f = x - 24. Is 16 a factor of (0 + -5)*64/f?
True
Let v(g) = 6*g + 2. Let t = 9 - 7. Suppose -t*x = -2 - 8. Is 22 a factor of v(x)?
False
Let f be (-80)/(-10) - 3/1. Let x be (-6)/f*(-10)/4. Suppose -x*u - 2*g + 130 = u, 93 = 3*u - 3*g. Is u a multiple of 10?
False
Let l(q) = 4*q**3 - 7*q**2 - q + 3. Let b(h) = -h**3 + h**2 - h. Let x(r) = 3*b(r) + l(r). Is x(5) a multiple of 4?
True
Let w = -21 - -12. Let y = w - -19. Is y a multiple of 10?
True
Suppose -5*x - 64 + 14 = 0. Is 14 a factor of x/15 - (-321)/9?
False
Let f(w) = 18*w**2 + w - 1. Let q be f(-1). Let h = -7 + q. Is h a multiple of 9?
True
Let s(k) = k**3 + 6*k**2 + 4*k - 6. Let f be s(-5). Let a(q) = -q + 1. Let j(m) = 28*m - 6. Let c(p) = -5*a(p) - j(p). Does 8 divide c(f)?
True
Suppose 1368 = 5*c + 318. Suppose -c = -0*t - 5*t - 5*k, 106 = 3*t - k. Is 13 a factor of t?
False
Let h = 5 + -5. Suppose h = c + 1 - 3. Is 4 a factor of c*(1 - (-12)/3)?
False
Let f(s) = -s**3 + 8*s**2 - s - 3. Does 11 divide f(7)?
False
Let g = -3 + 12. Does 6 divide 8/36 - (-106)/g?
True
Is (-4)/8*-1*-3*-28 a multiple of 10?
False
Suppose 0 = 5*k - 25 - 5. Suppose 12 = -4*r + k*r. Suppose -q = -2*m - 4*q + r, q = -4*m + 32. Is 5 a factor of m?
False
Let r = 21 - -19. Does 7 divide r?
False
Let g(l) = 7*l - 21. Let n(f) = 8*f - 22. Let b(o) = -5*g(o) + 4*n(o). Is b(-7) a multiple of 12?
False
Let a(c) = 5*c + 1. Let f(n) be the third derivative of -n**5/60 + n**4/8 + 2*n**3/3 + 3*n**2. Let m be f(3). Is a(m) a multiple of 21?
True
Suppose -4*h - 4*v - 20 = 0, 4*h + h + 2*v + 16 = 0. Let s(x) = x**2 - 3*x - 3. Is s(h) a multiple of 3?
False
Let u(g) = -g**2 + 11*g - 11. Is 4 a factor of u(6)?
False
Suppose -5*x - b + 1210 = 0, 511 = 4*x + b - 456. Is x a multiple of 34?
False
Suppose 8 = -5*l + 33. Suppose 0 = -5*g + 20 + l. Is g a multiple of 5?
True
Suppose -s + 15 = -3*n + 2*s, 0 = -n - 2*s + 10. Let k(y) = -y**3 - y**2 + y + 30. Is k(n) a multiple of 15?
True
Suppose 3*v = 2*v + 5. Suppose -3*f + v = 2. Suppose -5*z = -2*u + 24, 5*u = 3*z + 42 - f. Is 7 a factor of u?
True
Suppose 3*t + 5*w + 19 = 101, 3*w = -t + 26. Suppose -61 = -3*n + 2*k, 4*n + 3*k - 75 = t. Is n a multiple of 23?
True
Let f(w) = -w**3 - 6*w**2 - w - 4. Let k be f(-6). Does 7 divide (-5 + k)*7/(-3)?
True
Let a(s) = -s**3 + 5*s**2 - 4. Is 3 a factor of a(4)?
True
Let m(j) = j**3 + 5*j**2 + 2*j - 3. Does 9 divide m(-3)?
True
Suppose 0 = -6*v + 3*v + 12. Let z(p) = p**3 - 3*p**2 - 4*p + 3. Let t be z(v). Suppose -5*s + t*w + 165 = -2*s, -3*s - w + 157 = 0. Is 18 a factor of s?
False
Suppose -39 = -w + n - 0*n, 2*w = -2*n + 74. Does 19 divide w?
True
Let x be 0 + 0 + 0 - 16. Suppose 0 = 5*j - 2*w + 5*w - 289, 12 = 4*w. Let h = j + x. Is h a multiple of 20?
True
Suppose 0 = -2*v + v + 8. Suppose 0 = -v*b + 4*b - 48. Is 28/3*b/(-8) a multiple of 7?
True
Suppose -90 = -4*f + 5*k, 2*k + k + 66 = 3*f. Let b be (-2 + f)/(-3) + 1. Is 4 a factor of ((-24)/(-15))/((-1)/b)?
True
Suppose -5*b + 14 + 11 = 0, 2*b - 30 = -4*q. Suppose -z + 3*l + 11 = 0, -7*z + q*l = -2*z - 45. Is 4 a factor of z?
True
Let l be (20/(2 + 0))/2. Let h be 2/2 - 2/(-2). Suppose -5*d + 1 + 14 = h*q, l*d - 15 = 2*q. Is d a multiple of 3?
True
Let a be 37 - (0/2)/1. Suppose 2 - 4 = -b. Suppose -2*d - 5*u = -a + 8, 0 = 4*d - b*u - 46. Is d a multiple of 6?
True
Suppose 3*j + 133 = 4*z - 272, -430 = -4*z - 2*j. Is 35 a factor of z?
True
Let l(i) = 3*i - 3. Let d be l(4). Let v = d - -7. Is v a multiple of 7?
False
Let b(o) = 5*o - 3. Let i be b(7). Suppose -i = 2*d - 4*w, 3*d + 10 = -2*d - 4*w. Does 14 divide d/27 - 245/(-9)?
False
Let k = 49 + -33. Let o = k - -27. Let t = o - 15. Is t a multiple of 14?
True
Let o = -4 + 5. Let q(a) = a - 1. Let m be q(o). Suppose 3*p + 25 = j + j, m = -p - 5. Is 5 a factor of j?
True
Let p = -22 - -15. Let d(t) be the second derivative of -t**3 - 2*t**2 + t. Is d(p) a multiple of 19?
True
Is (-205)/(-2) - 1/(-2) a multiple of 17?
False
Suppose 3*z = 4*z + 105. Let y = -60 - z. Is 23 a factor of y?
False
Suppose -12*g = -7*g - 50. Is (-15)/g*(-53 + -1) a multiple of 27?
True
Suppose 5*s - 7 = 4*q + 6, -5*s + 10 = -5*q. Does 3 divide q?
True
Let i(m) = m**2 - 3*m + 11. Is 5 a factor of i(5)?
False
Let u = -8 + 9. Is 14 a factor of -1*(-37)/u - 0?
False
Let g(s) = 2*s + 4. Let w be g(7). Let p be w/6*(-1)/3. Is -2 - -1 - (-16 - p) a multiple of 8?
False
Is 9 a factor of 3 - ((-100)/16 + 1/4)?
True
Suppose 0 = 13*t - 12*t - 53. Is t a multiple of 18?
False
Suppose 5*l = 5*a + 190, -3*a = -2*l + 27 + 52. Does 6 divide l?
False
Suppose 2*u - 3*z - 849 = -6*z, -2*z + 852 = 2*u. Does 11 divide u?
True
Let x(w) = w**2 - 8*w - 6. Let a be x(9). Is 22 a factor of 1/a - 196/(-6)?
False
Let n(r) = -r - 2. Let s be n(-6). Let v be (-1)/((-2)/(-4)) - -16. Suppose -s*g + 54 - v = 0. Is g a multiple of 5?
True
Let h = -40 - -114. Does 9 divide h?
False
Let p = -10 - -16. Suppose 5*u + p = 6*u. Let x(f) = 2*f + 6. Is 13 a factor of x(u)?
False
Let m = -10 + 15. Suppose 5*y - 5*i - 30 = 0, 5*i - 60 = -m*y + y. Does 2 divide 46/10 + y/25?
False
Is 35 a factor of (-527)/(-15) + (-18)/135?
True
Let k(h) = h**3 + 4*h**2 + h + 1. Let z be k(-4). Let a = -3 + 8. Is 13 a factor of z + a - (-22 - 1)?
False
Suppose -4*u + 4 = -12. Let b = 19 + u. Is b a multiple of 10?
False
Suppose -5*f - 11 = x, -5*f - 3*x - 15 = 2*x. Let b = 2 + f. Suppose -l - 4*l + 2*t + 29 = b, 3 = l + t. Does 5 divide l?
True
Let g(c) be the first derivative of c**3/3 - 4*c - 4. Is 16 a factor of g(-6)?
True
Let a = 6 - 5. Is 12/(a + 14/(-20)) a multiple of 20?
True
Let b(y) be the third derivative of y**6/120 + y**5/12 - y**4/24 + y**3/2 + y**2. Let w = 4 - 9. Is 3 a factor of b(w)?
False
Let j(z) = 6*z - 4. Let m be j(5). Let i be ((-3 - -3)/(-4))/(-2). Suppose i*g + g - m = 0. Does 13 divide g?
True
Let t(b) = 35*b + 25. Let n(z) = 6*z + 4. Let p(v) = 25*n(v) - 4*t(v). Does 3 divide p(1)?
False
Let f(g) = -g**3 - g**2 - g + 3. Let q be f(0). Suppose -4 = j - q. Let t = j + 6. Is t a multiple of 3?
False
Suppose -4*z + 17 + 23 = 0. Does 5 divide 4/(-2)*z/(-4)?
True
Suppose -15*r + 42 = -r. Is 3 a factor of r?
True
Suppose s - 21 = 9. Is s a multiple of 11?
False
Suppose -2*d = 2*o - 2, -3*o = 3*d - 2*d - 7. Let p(z) = -z**3 + 8*z**2 - 8*z - 11. Let u(c) = c**2 + 1. Let l(n) = o*u(n) + p(n). Is l(10) a multiple of 6?
True
Suppose -3*s - h + 83 = 0, 0*h = -2*s + 3*h + 37. Is 11 a