f a?
True
Let a = -22 - -59. Is 8 a factor of a?
False
Let g(q) = -3*q - 14. Is g(-6) a multiple of 2?
True
Let d be (-27)/(-6)*4/2. Does 24 divide 304/d - (-6)/27?
False
Suppose -l = 2*l - 15. Suppose 0 = 5*t - 15, j + l*t = 13 + 14. Suppose 5*p - j = 4*p + s, -4*p = -5*s - 53. Is 4 a factor of p?
False
Suppose 1 = 2*c + y, -5*y - 6 = 3*c + 3. Suppose c = -a + 5*m, -a + 11 = -2*a - 4*m. Does 3 divide (-26)/(-4) + a/14?
True
Let f be 1/5 + (-19)/(-5). Suppose f*x - 3*x = b + 19, -b + 15 = x. Is 15 a factor of x?
False
Let f(z) = 3*z - 2. Let o = -2 - -4. Let y be f(o). Suppose 0*u - 3*s + 9 = 3*u, 0 = -y*s. Is 2 a factor of u?
False
Suppose -5*o - i = -240, -2*i - 125 + 29 = -2*o. Is o a multiple of 16?
True
Suppose 8*x - 8 = 4*x. Suppose 5*h - 270 = -3*f, -h = h + x*f - 112. Is 13 a factor of h?
False
Suppose 7*g = 2*g + 205. Does 34 divide g?
False
Let q be ((-5)/(-4))/((-4)/(-16)). Let z = 18 - q. Does 13 divide z?
True
Let s be (3/(-5))/((-1)/5). Suppose -2*j + s + 1 = 0. Let a(i) = 13*i - 2. Does 12 divide a(j)?
True
Let q be 0 + 2 - (18 - 3). Let v = q - -26. Let k = v - -8. Is 7 a factor of k?
True
Let y = 183 - 131. Does 13 divide y?
True
Let z(y) = 3*y**2 + 7*y - 10. Let k(l) = -4*l**2 - 6*l + 11. Let h(u) = 2*k(u) + 3*z(u). Is h(-10) even?
True
Suppose 14*z - 8*z = 666. Is 10 a factor of z?
False
Let p(l) = l - 8. Let b be p(12). Suppose 60 = 4*r + 3*c, -2*r + 5*c = -3*r + 15. Suppose -b*a = -r - 33. Is 7 a factor of a?
False
Suppose -3*y - 20 = -4*y. Suppose 22 = 4*p - u + 6, -5*u + y = 0. Suppose 2*c + 4*v + 10 = 0, -c = 3*c - p*v - 32. Is 2 a factor of c?
False
Let n(l) = -6*l - 1. Let m be n(-1). Let d = 41 - m. Is 12 a factor of d?
True
Suppose 5 = y - 0. Suppose s - 2*s = -y. Suppose 0 = s*w - 2*w - 147. Is 13 a factor of w?
False
Let d(t) = t**2 - 2*t - 4. Is 3 a factor of d(5)?
False
Let o = 68 + -40. Is o a multiple of 11?
False
Suppose n - 32 = -3*n. Let y be (-363)/(-12) + (-2)/n. Suppose -2*u = -3*o - 7, 3*o + 2*o + y = 5*u. Is 11 a factor of u?
True
Let f(k) = -k**3 + 4*k**2 - 3*k + 1. Let r be f(2). Suppose 3*b - 138 = 6*w - 2*w, 219 = 5*b - r*w. Is 14 a factor of b?
True
Let m(x) be the first derivative of x**6/120 - x**5/15 - x**3/3 - 3*x**2/2 - 1. Let z(q) be the second derivative of m(q). Does 10 divide z(5)?
False
Suppose 0 = 2*y - 5*a + 6, -2*a - 2*a = -y. Let d be (-135)/7 - (-6)/21. Let f = y - d. Is 8 a factor of f?
False
Let f = -1 - -4. Let c be 2 - (-6)/(1 - f). Is 4 a factor of (10 - c) + 6/(-2)?
True
Let l = 31 + -15. Suppose -l - 23 = -3*a. Is 4 a factor of a?
False
Suppose 4*f = 341 + 331. Let y be (-30)/(-45) - 7/(-3). Suppose y*v = -v + f. Does 11 divide v?
False
Let i = 2 - 1. Let p be 0 + (-1)/i*-3. Suppose 0*m - 2*m = 4*q - 18, 5*q - 25 = -p*m. Is m a multiple of 2?
False
Let d = 0 + 1. Let f be d*-6*(-4)/3. Is 2/f + 69/12 a multiple of 6?
True
Let s(x) = -x**3 - 10*x**2 - 14*x - 12. Is s(-9) a multiple of 25?
False
Suppose -25 = -2*k + 2*m + m, 2*m - 10 = 0. Let i = 6 + k. Is 13 a factor of i?
True
Let i(j) = -22*j + 1. Is i(-2) a multiple of 13?
False
Is 10 a factor of (-2)/3*(-66)/2?
False
Let w(a) = 9*a**2 - a. Let n be w(-1). Let h = n - 21. Let g = 16 - h. Is g a multiple of 14?
False
Let b(u) = u**3 - 2*u + 97. Is b(0) a multiple of 11?
False
Suppose 0 = -a + 2 + 2. Suppose -a*h = 4*f - 29 - 43, 5*f = 3*h + 66. Does 10 divide f?
False
Let w be (-14)/(-8) + 3/12. Suppose c - w*c = -3. Suppose c*y = -6, 0 = -0*k - 4*k - y + 34. Is 9 a factor of k?
True
Let c = 179 - 115. Is 16 a factor of c?
True
Let m be 0/(0 + (0 - -2)). Let d be 1/(-2)*(0 - 0). Suppose d*z - 3*k - 39 = -3*z, 4*z - 3*k - 57 = m. Does 18 divide z?
True
Suppose -3*v - 2*p + 235 = 3*p, 97 = v - 3*p. Does 17 divide v?
True
Let t be (-3)/15 - 22/(-10). Suppose 0 = 2*m - t. Let h = 3 - m. Is h even?
True
Suppose -i = -2 - 13. Let x be 6/(-2) - i/5. Is 13 a factor of (-4)/12 + (-218)/x?
False
Let r(t) = t**3 + 3*t**2 - 3*t - 3. Let u(f) = -f**2 - 1. Let h(b) = -r(b) - u(b). Is h(-3) a multiple of 3?
False
Suppose 0 = 2*v - 10, 2*l + 7 = -4*v + 31. Suppose 3*p - 289 = -l*g + 195, 0 = -4*p - g + 642. Suppose -3*b = b - p. Is b a multiple of 20?
True
Let q(u) = u**3 - 7*u**2 + 9*u + 4. Let o be q(7). Let m = o - 25. Is 12 a factor of m?
False
Let n(r) = r**2 + 10*r. Let p(u) = -u**3 - 7*u**2 + 9*u - 4. Let s be p(-8). Does 9 divide n(s)?
False
Suppose 5*b - t - 60 = 0, t - 80 = -5*b - 2*t. Let x = b + -3. Let p = 14 - x. Is p even?
True
Let p = 213 + -42. Does 57 divide p?
True
Suppose 8 = -n - 5*f, 4*n - f = f + 56. Does 12 divide n?
True
Let t(m) = m**3 + 17*m**2 + m + 20. Let z be t(-17). Suppose b - 4 = 2. Suppose -w + b*w = -5*x + 10, -4*w + 29 = -z*x. Is 5 a factor of w?
True
Let x = -35 + 25. Let u be 1/(-1 - 12/x). Suppose -u*c + c = -88. Is 11 a factor of c?
True
Let l(p) = 3*p**2 + 20*p - 11. Is l(-11) a multiple of 56?
False
Let j(d) = -6*d - 18. Is j(-15) a multiple of 18?
True
Suppose 0 = -m + 3 - 0. Suppose 0*z + 4*y - 11 = m*z, -3*y + 4 = 2*z. Does 20 divide (-10)/((z/4)/1)?
True
Let v = 33 + 7. Is 20 a factor of v?
True
Let u be (1 - 3)*20/8. Let y(l) = l**3 + 7*l**2 - 5. Let z be y(u). Suppose -3*d - 2*d + 15 = -4*s, 5*d + 2*s = z. Is d a multiple of 7?
True
Let r = 174 + -74. Suppose -16 - r = -3*c + 5*v, v = c - 36. Is 16 a factor of c?
True
Does 8 divide 212/6*(1 + (-2)/(-4))?
False
Let r = 2 - 32. Let l(p) = -3*p**2 - 10*p - 6. Let z be l(-6). Let j = r - z. Does 11 divide j?
False
Let i(y) = y**3 + 7*y**2 - y + 5. Suppose -4*g = 31 - 3. Is i(g) a multiple of 3?
True
Suppose 3*w - 5*z + 20 = 87, -25 = -w - z. Is 6 a factor of w?
True
Let n = 9 + -9. Suppose 3*q + 3*f - 300 = n, -2*q - q + 318 = -3*f. Is q a multiple of 33?
False
Let t(d) be the first derivative of -d**2/2 + 7*d - 2. Let l be t(5). Is l - -25 - 6/2 a multiple of 12?
True
Let f(k) = k**3 + 4*k**2 - 6*k - 7. Let z be f(-5). Is 9 a factor of 2/3*(-27)/z?
True
Suppose 27 + 8 = 5*a. Is (-60)/(-14) - 2/a a multiple of 2?
True
Suppose -2*b - 13 = -145. Is b a multiple of 22?
True
Suppose 8*f - 6*f - 36 = 0. Is f a multiple of 9?
True
Let g(z) = 25*z + 2. Let u be g(7). Suppose -2*b = 2*s - 74, -s + u = 5*b + 2*s. Does 11 divide b?
True
Suppose -2*c - z - 3 = -4*c, 5*c = -2*z + 12. Suppose 9*i - 5*i + 4*b - 56 = 0, 0 = 4*b + 12. Suppose -t = -c*t + i. Is t a multiple of 17?
True
Let h be -2*3/(-6) - 14. Let f = h - -28. Is f a multiple of 11?
False
Let w(v) = -4 - 1 - 3*v**3 + 2*v**3 - v + 2 - 7*v**2. Does 2 divide w(-7)?
True
Suppose m = -m + 152. Does 19 divide m?
True
Let t(w) = 3*w - 2. Let g be t(4). Let c = 18 - g. Is c a multiple of 4?
True
Suppose 0 = -3*q + 9 + 3, 8 = -4*f - q. Let j be f/(-4) - 3/4. Suppose 2*l - 3*i = 53, j = 4*i - 0*i + 12. Is l a multiple of 20?
False
Is 1/1 - (-2 - 37) a multiple of 10?
True
Let x = -93 + 324. Does 21 divide x?
True
Let w be 70/(-6) - (-2)/(-6). Let q = w - -21. Is q a multiple of 9?
True
Suppose -6*s = -s - 20. Suppose -d + s*d = -27. Is 19 a factor of (-2)/9 - 227/d?
False
Let q = 5 - -8. Is 11 a factor of q?
False
Let a(c) = 1 + 19 - 3 - c**2. Is a(0) a multiple of 17?
True
Is 2 a factor of 4/(16/(-60)*(-12)/8)?
True
Let c(w) = -w**3 + w**2 + 30. Let t be c(0). Suppose -4*y + 5*x + 100 = 40, x = 2*y - t. Is y a multiple of 3?
True
Let m(y) = y**3 - 7*y**2 + 7*y + 6. Let n be m(6). Suppose -5*k = -2 + n, 5*k = -4*q - 10. Suppose q = 3*l + 3*p - 72, p + 58 = 2*l + 7. Is l a multiple of 15?
False
Let j(n) = n**2 + 6*n + 5. Let s be j(-4). Let x be -7 + (-3 - s)/2. Is (-128)/(-7) + 2/x a multiple of 9?
True
Let v(b) = 2*b**3 + 22*b**2 + 14*b + 12. Is 18 a factor of v(-10)?
True
Let d = 77 + -30. Let n = d + -34. Is 14 a factor of -1 + n + -1 + 3?
True
Suppose 4*g + 0*g = 100. Does 25 divide g?
True
Let m = 35 + -19. Is 10 a factor of m?
False
Let z(i) = 5*i - 26. Does 7 divide z(12)?
False
Let p(t) = 6*t + 38. Is p(15) a multiple of 32?
True
Suppose -4*n + 10 = n - c, -4*n - 3*c + 8 = 0. Suppose 2*v - 26 = -5*i + 55, n*v - i - 75 = 0. Does 19 divide v?
True
Let j = 12 - 10. Let i be -3*(-3)/9*j. Suppose 9 = i*y - 41. Does 14 divide y?
False
Let v be (-3 - 1)*78/4. Let k = v - -111. Suppose -t - 5*q = 2*t - k, -3*t = -q - 33. Is t a multiple of 6?
False
Let f(b) = 143*b + 2. Let z(y) = -72*y - 1. Let d(p) =