= -2*u - o*q + 88, -q - 2*q = -5*u + 189. Is 13 a factor of u?
True
Suppose 5*h = 5*t + 515, 0 = 2*h - 4*t - 108 - 102. Does 23 divide h?
False
Let j(i) be the first derivative of i**4/4 + 8*i**3/3 + 2*i**2 - 6*i + 2. Let w(z) = -7*z + 1. Let k be w(1). Does 11 divide j(k)?
False
Is 8 a factor of (-200)/(-6) - 8/6?
True
Suppose 1 = 2*n - 1. Let o(s) = 9*s**3 - 1. Does 4 divide o(n)?
True
Suppose 6*p + 244 = 2470. Does 53 divide p?
True
Suppose h = -4*q + 920 - 174, 5*q = -h + 932. Is 12 a factor of q?
False
Let z(h) = -h**3 - 11*h**2 - 13. Let r(v) = v**3 + 11*v**2 + 13. Let g(x) = 7*r(x) + 6*z(x). Is 11 a factor of g(-11)?
False
Suppose 0 = n - 0*n, -4*n = 5*d - 25. Suppose -8*m + 4*m + 45 = -j, m - 27 = -d*j. Is 5 a factor of m?
False
Let m(b) be the second derivative of -b**3/3 - 2*b**2 - b. Let t be m(-6). Suppose 2*z - t = z. Is 8 a factor of z?
True
Suppose s - 2*z - 5 = 5, 4*z = -2*s + 36. Let m = s + -5. Is 3 a factor of m?
True
Suppose -8 = -4*l + 4*c, -4*l + 4*c + 7 = -c. Does 14 divide l/(9/78) + 1?
False
Suppose 226 = -4*d + 594. Let n = -2 + 5. Suppose -y + d = n*y. Does 20 divide y?
False
Let g(y) = y**3 - 2*y**2 + 2*y + 1. Let h be g(2). Suppose 270 = h*n - 2*n. Suppose r + 5*f - n + 19 = 0, r + 2*f = 62. Is r a multiple of 21?
False
Let k be -4*(15/(-4) + -2). Let p = 4 + k. Does 12 divide 492/p - (-6)/(-27)?
False
Let a = 28 + -8. Suppose s = -s + a. Is 10 a factor of s?
True
Suppose 16 = 4*d - 80. Let b = d + 13. Does 16 divide b?
False
Does 24 divide 2/(-3)*13134/(-44)?
False
Let d = 4 + 1. Is d a multiple of 5?
True
Let q = 49 - 20. Suppose 4 = -5*w + q. Suppose 0 = w*t + 5*i + 7 - 102, 2*i - 4 = 0. Is 6 a factor of t?
False
Let a = 55 + 20. Is 25 a factor of a?
True
Let i = -3 + 3. Let d(v) = -v**2 + 12. Does 6 divide d(i)?
True
Let g = 3 + 6. Suppose 2*u = -2*b + u + 51, 3*u + g = 0. Does 9 divide b?
True
Let y be ((-2)/3)/(2/6). Let k be ((-2)/(-4))/((-2)/12). Is 7 a factor of (y - k)/(2/14)?
True
Let h = 8 - 6. Let m be (0 + -1*14)*-1. Suppose -h*i = -0 - m. Is i a multiple of 7?
True
Is ((-44)/(-6))/((-2)/(-3)) a multiple of 8?
False
Let j = 11 + -15. Is 5 a factor of j*3/6*-10?
True
Suppose 2*p = 10 + 22. Suppose 5*d = 10, 2*h + 3*h = 2*d + p. Let o = h - -20. Is 16 a factor of o?
False
Let u(m) = 50*m**2 + 2*m - 13. Let w(i) = -25*i**2 - i + 6. Let s(h) = -6*u(h) - 13*w(h). Let o be s(-1). Does 11 divide o + (1 - -1)/(-1)?
True
Let j = -5 - -9. Let u(x) = -x + 7*x - 2*x + j*x + 1. Does 9 divide u(1)?
True
Suppose -3*f + 852 = -3*q, 5*f - q = 2*q + 1426. Is 12 a factor of f?
False
Let m(d) = d**2 + d + 4. Let f be 12/4 + (0 - 0). Let b be m(f). Suppose g = 2*v + b, -3*v - 7 = -g + 4. Is g a multiple of 13?
True
Let b(y) = -y + 2. Let q be b(0). Suppose 2*j - 34 = q*s, -41 - 32 = -5*j + s. Is j a multiple of 5?
False
Let r(v) = v**2 - 12*v + 26. Is 13 a factor of r(13)?
True
Is (-1 - (-660)/16) + (-3)/(-4) a multiple of 14?
False
Suppose -123 = -o - 3*h, o = -o + 5*h + 191. Is 36 a factor of o?
True
Let o = 6 - 10. Suppose -5*m + 6 - 1 = 0. Is 4 a factor of 7*m + 5 + o?
True
Let m be (-3)/(-9) - 11/(-3). Let w = 6 - m. Is (w/3)/((-1)/(-24)) a multiple of 16?
True
Let l(y) = 15*y - 1. Let h be l(1). Suppose -2*g - 2*i - 3 = -i, 5*g + 3*i + 9 = 0. Is 9 a factor of h - (g + -2 + 1)?
False
Let j(d) = d**3 + 14*d**2 - 19*d - 37. Is 2 a factor of j(-15)?
False
Let y(o) = -5*o**2 + 4*o**2 + 4*o - 5*o - o. Let v be y(-2). Suppose v*m = m - 15. Is 15 a factor of m?
True
Let n(q) = -q**2 - 7*q - 1. Let u be n(-6). Suppose -105 = -u*b + 20. Is b a multiple of 6?
False
Is ((-320)/(-15) - 4)*9 a multiple of 26?
True
Let g(x) = x**3 - 3*x**2 - 7*x + 17. Does 17 divide g(6)?
False
Suppose 97 = 2*b + p - 16, 4*b - 219 = 5*p. Suppose b = 5*i - 24. Is i a multiple of 13?
False
Let u = -401 + 575. Let y = u - 122. Does 12 divide y/3 + (-3)/9?
False
Suppose 2*l - 3*y = 4*l, 2*l = -5*y. Suppose l*h + 75 = 3*h. Does 12 divide h?
False
Let d(r) = -13*r - 40. Does 3 divide d(-5)?
False
Let a(y) be the first derivative of y**2/2 + 11*y + 3. Let h be a(-8). Suppose -h = o - 45. Is 21 a factor of o?
True
Let u(p) be the third derivative of p**7/2520 - p**6/48 + p**5/30 + p**2. Let a(j) be the third derivative of u(j). Is a(10) a multiple of 5?
True
Let o(p) = p**3 - 7*p**2 - 7*p - 4. Let c be o(8). Suppose 194 = -s + c*s - 2*i, -3*s - 2*i = -190. Is 16 a factor of s?
True
Let z be 60/35 + 2/7. Let f(i) = 2*i**2 - i. Let t be f(-1). Suppose -z*m = -7 - t. Is m even?
False
Let u(z) be the second derivative of z**8/3360 + z**7/2520 - z**5/60 + z**4/6 - z. Let m(t) be the third derivative of u(t). Is 9 a factor of m(2)?
True
Let b = 54 + -30. Is 13 a factor of b?
False
Is -38*(-4)/8*1 a multiple of 19?
True
Suppose y - 174 = 10. Suppose h = -3*h + y. Let q = h + -32. Does 14 divide q?
True
Let g(o) = 0*o**3 - 5*o + 4*o**2 - 6 + 18 - 2*o**3. Let a(x) = -3*x**3 + 3*x**2 - 4*x + 13. Let r(l) = -3*a(l) + 4*g(l). Is r(-8) a multiple of 4?
False
Let v = -124 + 132. Is 4 a factor of v?
True
Suppose -114 = -4*x + 30. Is x a multiple of 6?
True
Let a be (1 - (-3)/(-2))*-10. Suppose 5*s = 15, a*q - 102 - 66 = -s. Does 9 divide q?
False
Suppose 4*r = -5*i + 4*i - 19, -5*r - 45 = -3*i. Let o be (10/15)/(1/r). Is 2 a factor of (2/o)/((-3)/36)?
True
Suppose -3*b = -4*b - 30. Suppose 270 = -2*v - 3*v. Let m = b - v. Does 12 divide m?
True
Suppose 3 = u + 1. Let z = u - -50. Does 19 divide z?
False
Suppose -5*h - 99 = -4*v, 0*h = 2*v + h - 53. Does 3 divide v?
False
Suppose -11 + 32 = l. Does 7 divide l?
True
Suppose 0*v = 5*v - 2*c - 532, -2*v = c - 220. Suppose 0 = 3*j - 0*j - v. Is j a multiple of 18?
True
Suppose 4*z + 10 = -3*u, 0 - 5 = 5*z. Let p = -2 - -4. Let r = p - u. Does 4 divide r?
True
Let j = -10 + 12. Suppose -61 = -2*v - 5*k, 0 = j*v - 6*k + 4*k - 26. Is 302/18 - (-4)/v a multiple of 17?
True
Suppose -5 - 27 = -3*c - 5*g, -5*c + 42 = -3*g. Let u(h) = -h**2 + 5*h. Let q be u(6). Let x = c + q. Does 3 divide x?
True
Suppose 2*u + 5*g = 12, u - 4*u = -2*g + 1. Suppose 0 = 2*v - 5*x + 2, 0 = -4*v + 5*x + 5 + u. Suppose v*t + 0*t - 104 = 0. Does 10 divide t?
False
Let k(t) be the second derivative of t**4/12 - t**3/3 - 3*t**2/2 - 3*t. Let b(w) be the first derivative of k(w). Is b(5) a multiple of 4?
True
Suppose 13 = 2*h + 5*t, 2*t + 12 + 2 = 4*h. Suppose 0*z + z + 3*j = 205, h*j = z - 240. Suppose s - 88 = -s + 4*f, f + z = 5*s. Is 16 a factor of s?
False
Let c be -6 - -5 - 1*-23. Suppose 2*v = c - 2. Is v a multiple of 10?
True
Let b be (9 + -5)*10/8. Suppose b*y = -0*y + 15. Does 15 divide 4*9/(3/y)?
False
Let m be (-2)/4 + (-42)/(-12). Let d be 24/(-1 - -4) - m. Suppose d*u + 42 = 4*x + 18, -x + 4*u = -6. Is 6 a factor of x?
True
Suppose -2*k + 2*g = -43 - 51, -g + 178 = 4*k. Is 15 a factor of k?
True
Suppose -4*s + 11 + 33 = 5*a, -56 = -3*a + 5*s. Let f = a - 2. Is 10 a factor of f?
True
Let s = 6 + -1. Suppose -2*a + 424 = s*x, -4*x + 4*a + 403 = 75. Suppose i + x = 4*i. Does 14 divide i?
True
Let a = 15 - -23. Suppose -3*o + a + 16 = 0. Does 18 divide o?
True
Suppose 4*a = -v - 18, 3*v + 2*a = 2*v - 8. Suppose z + 17 = v*z. Does 17 divide z?
True
Suppose 0*s - 4*s = 5*t + 10, 0 = -2*s - 3*t - 6. Suppose s = -3*y - 2*y + 275. Is 18 a factor of y?
False
Is 16 a factor of -10 + 12 + 49/1?
False
Suppose 0 = 4*w - 25 - 23. Is w a multiple of 3?
True
Suppose 3*m - 12 = 0, 4*w - w - m = -19. Let b(j) = -8*j - 9. Is b(w) a multiple of 15?
False
Suppose -332 = -4*s + 56. Does 9 divide s?
False
Let w = 39 + -20. Suppose -1 = r - w. Is r a multiple of 8?
False
Let g(l) = 4*l + 6 - 5 + 0 - l**2 + 5. Let m be g(5). Is m - -6 - (-2)/(-2) a multiple of 3?
True
Let l(k) = -4*k - 4. Let r(d) = d - 4. Let q be r(0). Is l(q) a multiple of 4?
True
Suppose 161 + 22 = 3*v - 3*w, -v = -2*w - 64. Is v even?
True
Suppose 4*z = w + 181 - 29, -5*z + 190 = 3*w. Does 3 divide z?
False
Let b(o) = o - 2. Let x be b(6). Suppose -2*s = 5*r - 366, -x*r = -2*s + 3*s - 291. Is r a multiple of 12?
True
Suppose -b + 4 = -w - 5, -8 = 2*w. Let q(x) = x**2 + 2*x + 2. Let d be q(b). Is (d/2)/((-1)/(-2)) a multiple of 15?
False
Let m = 4 - -14. Is m a multiple of 18?
True
Is 93 + 0/((-3 + 2)/(-1)) a multiple of 22?
False
Suppose -2*r - 8 = -6*r. Is 14 a factor of ((-126)/(-36))/(r/1