7 a factor of f?
True
Is 47 a factor of ((-14680)/(-80))/(2/(-2 - -6))?
False
Let t = 127 - -1. Is t a multiple of 2?
True
Suppose 15*g - 575 = -c + 20*g, g = 4*c - 2205. Is 28 a factor of c?
False
Suppose 4*b = -2 - 18. Does 8 divide (32/b)/(16/(-120))?
True
Let l(w) = -16*w**2 + w. Let x be l(-1). Let j = -12 - x. Suppose j*f + 0*p = -2*p + 212, 2*f - 80 = 4*p. Is 11 a factor of f?
False
Suppose 4*g - 240 = z, -4*g + 0*z = -5*z - 240. Suppose -2 - 7 = -m. Suppose m*f = 6*f + g. Is f a multiple of 20?
True
Suppose 3*n - 3*l - 2457 = -4*l, l - 4097 = -5*n. Does 34 divide n?
False
Let h(n) be the second derivative of -n**4/24 - 5*n**3/6 - 3*n**2/2 + n. Let z(f) be the first derivative of h(f). Is 2 a factor of z(-16)?
False
Let l = 37 + -36. Is (((-4)/5)/l)/((-6)/195) a multiple of 13?
True
Let j(s) = -2*s**2 - 2. Let a(q) = q. Let v be a(3). Let b be j(v). Let z = b + 34. Is 13 a factor of z?
False
Suppose -8*y - 1000 = -3*y. Let p = 418 + y. Does 11 divide p?
False
Is (-12)/10*(-7900)/15 a multiple of 8?
True
Let s(f) = -7*f**2 + 7*f - 3. Suppose 2*y - n - 13 = 0, 0 = 3*y + y + 3*n - 11. Let a(t) = -8*t**2 + 8*t - 3. Let z(u) = y*a(u) - 6*s(u). Does 16 divide z(6)?
False
Suppose 8*l = 2*l + 12. Suppose -4 = 4*i - 12. Suppose -l*r - r + 142 = c, i*c = -10. Does 13 divide r?
False
Suppose 75 = 5*h - y, -5*y + 14 - 81 = -3*h. Suppose m + 2 - 12 = 0. Suppose m = 4*z - h. Is 6 a factor of z?
True
Suppose -84 = -4*f - 4*r, 0 = -4*r + 12 - 0. Suppose -14*a + 10 + 46 = 0. Suppose -j = -p + a*p - 58, -j = p - f. Is p a multiple of 5?
True
Suppose -2*h + h + 4*r + 117 = 0, h - 149 = -4*r. Let p = h - 93. Does 9 divide p?
False
Let a be ((-4 - -40) + -2)/((-10)/(-5)). Suppose -173 - a = -5*l. Is 38 a factor of l?
True
Let b(d) = 476*d + 48. Let t be b(7). Suppose -9*p - p = -t. Does 18 divide p?
False
Suppose -8 = -c - 3*c. Suppose -4*g = -p - 4, c*p + 6*g = g + 5. Is 1 - (p - -3) - -38 a multiple of 18?
True
Let d be (-152)/(-10) + 1 + (-121)/55. Suppose 4*i = -i. Suppose -10*g + d*g - 160 = i. Is g a multiple of 10?
True
Let a(b) = b + 71. Is 8 a factor of a(8)?
False
Suppose 0 = -0*b + 3*b - 3. Let d(q) = 5*q**2 + 8*q**2 - q + 8*q**3 + 3*q**2 - 14*q**2. Does 8 divide d(b)?
False
Suppose 0 = 2*c - 8*c + 270. Let g be (16/20)/((-6)/c). Does 12 divide g - -4 - (-26 - 0)?
True
Let r(d) = -69*d - 22. Is r(-2) a multiple of 3?
False
Suppose -5*l - a = 4*a - 45, 0 = 2*l + 5*a - 30. Suppose l*c = 10*c. Suppose 3*t + c*t = 39. Is t a multiple of 3?
False
Let t(q) = -q**2 - 5*q - 1. Suppose n - 2*g = 2 - 12, -4*g + 16 = -n. Let d be t(n). Suppose -d*x = -50 - 19. Is 8 a factor of x?
False
Let y(i) = -9*i**2 + 159*i + 4. Does 12 divide y(6)?
False
Suppose 0 = p + i - 128, p + 632 = 6*p + i. Does 21 divide p?
True
Is ((-8 - -4) + 2 - 4) + 16 a multiple of 2?
True
Suppose -4*w - 3*z = -3267, 0 = -2*w - 41*z + 38*z + 1635. Is w a multiple of 34?
True
Let u be 1/5 + 1386/(-30). Is 16 a factor of (u/(-5) + -2)/((-6)/(-80))?
True
Let g(k) = k**2 + 1. Let j(z) = -5*z - 22. Let c(a) = -3*g(a) + j(a). Let v(w) = -w**2 - 2*w - 12. Let u(r) = -2*c(r) + 5*v(r). Is u(8) a multiple of 18?
True
Let n = 14 - 14. Suppose -2*m - 3*m + 120 = n. Suppose j - 123 = -m. Is j a multiple of 28?
False
Let l(q) = 6*q**2 - 7*q - 14. Let o(a) = 7*a**2 - 6*a - 15. Let p(y) = 5*l(y) - 4*o(y). Is 11 a factor of p(-4)?
True
Suppose 4*l = c - 22, c + 6 = -l - 2. Let w be 2/(1/l*-3). Suppose -4*p + 16 = j, 5*j = -w*p + 5*p + 38. Is j a multiple of 6?
False
Suppose 0 = 5*k - 10 - 10. Let v be (0 + -1)/(k/44). Let n = v + 20. Is n a multiple of 9?
True
Let v(g) = 2*g**2 + 2*g + 2. Let n be ((-2)/6)/(2/12). Let t be v(n). Let u = 9 + t. Is u a multiple of 3?
True
Let m be 2/7 + (-57)/(-21). Suppose -m = -3*k - 21. Is 8 a factor of (-2)/k + (-1001)/(-21)?
True
Is 1/(-5) + (-93)/(-15) a multiple of 6?
True
Suppose 8*u = -7*u + 12150. Does 90 divide u?
True
Let s = 557 + -453. Does 8 divide s?
True
Let q(k) = -k**3 + 6*k**2 - 5*k + 2. Let c be q(5). Suppose -c*s - 4 = -20. Is 4 a factor of s?
True
Let b = 14 - 0. Let l = b + -11. Does 8 divide (1/l)/((-4)/(-156))?
False
Let a be (-6)/(-9) - 4/6. Suppose -4*c + 4 = -a, -454 = -5*u - 4*c. Is 14 a factor of u?
False
Let z = -564 - -1554. Let q = z - 635. Suppose 0 = o + 4*a - 80, -5*a + q = 7*o - 2*o. Is 17 a factor of o?
True
Let h = 18 - 8. Suppose -20 = -3*g + h. Does 5 divide g?
True
Suppose -8*b + 5*b + 2149 = -4*m, -3*b + 3*m + 2154 = 0. Is b a multiple of 9?
False
Suppose -9*j + 24 = -13*j. Does 18 divide (-459)/j + (-6)/12?
False
Let h be (2*3)/((-15)/(-50)). Let f = -1 + h. Is 16 a factor of f?
False
Suppose -17 = -4*d + n, -2*d + 4*n + 16 = 2*n. Suppose -4*q + 82 = -3*z, z + 10 = d*q - 49. Does 19 divide q?
True
Let n(w) be the third derivative of w**5/20 + w**4/4 - w**3/6 + w**2. Let b(f) be the first derivative of n(f). Is b(5) a multiple of 11?
False
Let r(z) = -29*z**3 - z**2 - 2. Let a(i) = 88*i**3 + 4*i**2 + 7. Let p(u) = -2*a(u) - 7*r(u). Does 13 divide p(1)?
True
Let f(h) = -28*h**3 - 7*h**2 - 10*h - 10. Is f(-2) a multiple of 5?
False
Let i(x) = 18*x + 47. Is i(26) a multiple of 26?
False
Let n(u) = -u**2 - 1. Let k(x) = -14*x**2 + 6*x + 1. Let g(h) = -k(h) - 3*n(h). Does 35 divide g(-3)?
False
Suppose 3*a - 2*y = -1, 0*y = -4*a + 2*y. Let l be ((-182)/a)/(4/(-2)). Suppose -l = -3*m - 5*b, 3*b + 95 = 6*m - m. Is m a multiple of 11?
True
Suppose -5*t - 238 = -n, 5*n = -2*t + 3*t + 1142. Let k = n + -140. Is k a multiple of 10?
False
Suppose 0 = 3*h + m - 18, h + 37 = 5*h - 3*m. Let i be -8 + h - 2/(-2). Suppose i*z = 2*z - 32. Is z a multiple of 8?
True
Let h be (3/3)/(-1) + 5. Suppose 2*d - 321 = 5*l, h*l - 4 = -24. Does 40 divide d?
False
Let r be (1/2)/(171/14706). Suppose 6 = -3*f + 5*f. Suppose m + 5*x - r = 0, f*m - 2*m + 3*x = 41. Is 19 a factor of m?
True
Suppose 96 = 3*j - 120. Suppose -j = 2*z + d, 3*z + 3 + 106 = -d. Let o = z + 93. Does 12 divide o?
False
Let y = 90 + -15. Is 15 a factor of y?
True
Suppose -2*x + 7 = 5. Let u be (-344)/(-8) - (x - 1). Suppose -3*c = 7 - u. Is 12 a factor of c?
True
Suppose 5*n = 25, 0 = -g + 3*n + 2*n - 23. Is 15 a factor of -2 + 18*g + (10 - 10)?
False
Let x(q) = 288*q + 6. Is x(1) a multiple of 7?
True
Suppose -4*v + 40 = 4*f, 4*f = v - 6*v + 50. Suppose -8*w = -v*w + 152. Is 38 a factor of w?
True
Let z(g) = g**3 + 22*g**2 + 45*g + 44. Does 14 divide z(-13)?
True
Is 16500/(-99)*(-24)/10 a multiple of 42?
False
Let q(r) = 10*r**2 - 7*r - 20. Does 16 divide q(-6)?
False
Suppose -4*d - 2455 = 3*g - 7601, -3*g = d - 1282. Is d a multiple of 56?
True
Let g be (-1 - 3/(-6))*-10. Let r = g - -16. Does 11 divide (-774)/(-14) - 6/r?
True
Let a = 446 - 313. Is 19 a factor of a?
True
Suppose 0 = 6*y - 4 - 8. Suppose y*b + 136 = 4*b. Is b a multiple of 17?
True
Does 11 divide (18*1)/((-11)/(-363))?
True
Let i(m) = -70*m - 1. Let u be (-10)/20*1*2. Let p be i(u). Suppose -p = -4*a + 51. Does 9 divide a?
False
Let k(i) = -i - 4. Let g be k(-4). Let u be 6/(-2) + g - -213. Suppose -4*y - u = -9*y. Does 14 divide y?
True
Let z = 237 + -22. Is 43 a factor of z?
True
Does 2 divide 4 + -2 + (6 - 5) - -28?
False
Let c(m) = 3*m**2 - 4*m - 6. Suppose n - 5*w + 9 = 0, -3*n = -4*w - w + 7. Let a(t) = -4*t**2 - 1. Let b be a(n). Is 19 a factor of c(b)?
False
Suppose -4*t + 4413 = 5*w, -150*t + 151*t - 1764 = -2*w. Is w a multiple of 18?
False
Suppose 11*x = 14*x - 996. Is 3/20*4 - x/(-5) a multiple of 8?
False
Let y = -1 + 7. Suppose -8*r + 38 = -y*r. Is 14 a factor of 1/(((-3)/r)/(-3))?
False
Let r(l) = l**3 + 16*l**2 + 8*l. Suppose 0 = -2*o + 5*o - 27. Let q(z) = -2*z**3 - 33*z**2 - 16*z + 1. Let v(y) = o*r(y) + 4*q(y). Does 18 divide v(-11)?
False
Let b be 3/(10/4 + -1). Let g be b/3 - (-4)/12. Suppose p - g = 18. Does 15 divide p?
False
Let f(s) = 3*s**2 - 12*s - 2. Let d be f(-9). Suppose 0 = -5*x - 3*o + d, 3*x + 2*o = -0*o + 210. Does 13 divide x?
False
Suppose -11*a - 778 = -2*s - 6*a, 3*s = 3*a + 1158. Is s a multiple of 32?
True
Suppose -17*j + 5201 = 1376. Does 15 divide j?
True
Let v = -1066 + 1497. Suppose 0 = 11*u - 1549 - v. Is 30 a factor of u?
True
Let r(n) = 4*n**3 - 30*n**2 + 4*n + 31. Let z(p) = -p**3 + 10*p**2 - p - 10. Let b(u) = 2*r(u) + 7*z(u). Does 14 divide b(-9)?
False
Let r = -36 