*z + 37 + 25. Is 12 a factor of z?
True
Suppose 251 = 3*j + 56. Suppose 2*g - 35 = -x - g, 3*x + g = j. Does 20 divide x?
True
Suppose -5*s = -7*s + 38. Is s a multiple of 19?
True
Let a(n) = 10*n - 1. Let i be a(1). Suppose -55 = -4*h + i. Is h a multiple of 8?
True
Let a = 63 - 42. Is 2 a factor of a?
False
Suppose 100 = 3*x - 2. Suppose 0 = 3*s - 0*k - k - 51, 0 = 2*s - 2*k - x. Is 17 a factor of s?
True
Is 50 + 1/(-4)*0 a multiple of 12?
False
Suppose 5*m = 2*s - 19, -3*s + 4*s = 4*m + 14. Suppose s*o - 5*d = 33, 2*o - 36 = -d + 27. Is o a multiple of 17?
False
Suppose -l - 5*x + 39 = -10, 0 = -5*l - 4*x + 266. Let n = l - 18. Does 18 divide n?
True
Suppose 2*q = 3*g - 20, q - 56 + 1 = -5*g. Let h = 16 - g. Does 6 divide h?
True
Let n be 3/(-1) + 4 + -13. Let p be 3*(-4)/(n/5). Let t(k) = 12*k - 4. Does 23 divide t(p)?
False
Let d be (-2 + (-1 - -3))/(-1). Let v = 13 - d. Is 13 a factor of v?
True
Let c(v) = v**2 + 5*v + 2. Let j be c(-5). Suppose 0 = j*f + 3*b - 30, -2*f - b + 0*b + 26 = 0. Does 8 divide f?
False
Suppose 3*o + 4 = 19. Let z(s) = -s**2 + 11*s + 2. Is 16 a factor of z(o)?
True
Suppose -d - 3*o + 3 = 0, d = 2*d - 3*o + 21. Let p = 3 - d. Is p a multiple of 12?
True
Let w be (33/4)/(9/24). Is 4/w - 3393/(-33) a multiple of 32?
False
Suppose 4*i + 5*c = c + 16, -i + 8 = 5*c. Let t be (1 + -2)*-1 - -24. Suppose -i*l = -t - 35. Is 14 a factor of l?
False
Suppose -b = -5 + 3. Is b/(-6) - 244/(-12) a multiple of 12?
False
Let c = 11 - -1. Suppose c = 2*v - 118. Does 19 divide v?
False
Let f(q) = -q**2 + 32*q. Is 36 a factor of f(26)?
False
Let y be 636/9 - (-2)/6. Let g be (40/30)/((-2)/(-6)). Suppose g*w - 73 = y. Is w a multiple of 15?
False
Let a = 42 - -3. Does 9 divide a?
True
Suppose -5*u + 3*p = 80, -4*u + 0*u + 4*p = 56. Let o = u + 34. Is o a multiple of 15?
True
Let r be 14/3 - 8/12. Let c be r/(-20) - (-12)/(-15). Is 10 a factor of 20 + c*(-3)/(-3)?
False
Suppose -n - 78 = -4*d - 6*n, -5*d + 104 = 3*n. Is d a multiple of 7?
False
Is 7 a factor of (-1 + -29)*(-18)/45?
False
Suppose 9*o - 726 = 3*o. Is o a multiple of 11?
True
Is ((-73)/3)/(5/(-15)) a multiple of 32?
False
Let c(l) = l**3 + 4*l**2 - 5*l. Let d be c(-5). Suppose a + d = 4. Is 2 a factor of a?
True
Suppose 2*r + 2*r - 96 = 0. Suppose c - 2*c + r = -4*a, 72 = 3*c - a. Suppose 3*b - c = 24. Is 16 a factor of b?
True
Suppose -5*k = 3*b - 185, 4*k - 148 = -0*k - b. Is 11 a factor of -4 + k/1 + 0?
True
Suppose -4*v + 3*c + 159 = 0, -c - 200 = -5*v + 4*c. Does 17 divide v?
False
Let s(o) = o**2 + 2*o + 0*o - 5 - o. Let j be s(8). Suppose 3*q + 5*f - 23 = 26, -j = -5*q - f. Is 13 a factor of q?
True
Let x(m) = m**3 - 2*m**2 - 8*m + 6. Let p be x(5). Let n(u) = 42*u**3 + u - 1. Let t be n(1). Suppose 5*d - 5 = -q + t, 2*q = 5*d - p. Is 9 a factor of d?
True
Suppose -z + 4 = 0, -2*z = -3*s + 18 - 44. Let q = s - 20. Does 15 divide (-5 + q)*1*-1?
False
Suppose -5*n - 13 = 4*w, 2 - 1 = -3*w - 2*n. Let g(y) = -3*y**2 + y - 1. Let r(j) = -2*j**2 + 2*j - 1. Let x(z) = w*r(z) - 4*g(z). Does 4 divide x(-1)?
False
Let l = 72 + -40. Is 16 a factor of l?
True
Let l(s) = 5*s + 4. Let b be l(5). Let r = 40 - b. Suppose -6*f + r = -5*f. Does 11 divide f?
True
Let c(n) = -9*n - 31. Is c(-17) a multiple of 44?
False
Suppose -4*p + 4 - 12 = 0. Let n be 7 + (-1 - p/(-2)). Let q = 9 - n. Is 4 a factor of q?
True
Suppose -6 = -7*c + 4*c - i, 3*c - 3*i - 18 = 0. Let w(h) = 4*h**c + 0*h - 2*h - 10*h**3 + 3*h. Is 4 a factor of w(-1)?
False
Let w(t) = 3*t + 8. Let p(u) = -4*u - 12. Let x(a) = -5*p(a) - 8*w(a). Let j(r) = 5*r. Let i be j(-1). Is 8 a factor of x(i)?
True
Let i(a) = -13*a - 11. Does 7 divide i(-4)?
False
Let f(c) = -c**3 - 5*c**2 - 3*c + 5. Does 8 divide f(-5)?
False
Let b(p) = 6*p + 9*p - 3*p + 3 - 4. Is b(1) a multiple of 5?
False
Let f be ((-3)/4)/((-1)/4). Suppose -233 = -f*p + n, 0*p - p + 73 = -5*n. Is p a multiple of 24?
False
Suppose 4*f - 26 = -5*d + 37, -5*f = 4*d - 81. Is f a multiple of 17?
True
Suppose -3*z + 78 = -0*r - r, 0 = -2*z - 4*r + 52. Is 13 a factor of z?
True
Let p be (-2)/5*(1 - 6). Let z(m) = 3*m + 1 - 3*m**2 + 4*m**p - 6 + 0*m**2. Is 2 a factor of z(-5)?
False
Suppose 16*n - 4*n = 876. Is 24 a factor of n?
False
Let l = 31 + 6. Does 8 divide l?
False
Let q(b) = -b + 13. Let c = 0 - -11. Is q(c) even?
True
Let t(u) = u + 34. Let y = -1 - -3. Suppose y*n = 6*n. Is 13 a factor of t(n)?
False
Let p(v) = v**2 + 7*v. Let a be 2 - (-9 - (-4)/(-2)). Suppose -a = 2*r + 3. Is p(r) a multiple of 8?
True
Suppose 4*l - 5*t + 5 = 0, l = 4*l - 2*t + 2. Let x(j) = -j**2 + 65. Is x(l) a multiple of 18?
False
Let x = 13 - 9. Suppose -m - 172 = -x*k, 2*k = -2*k - 2*m + 160. Suppose 3*h = -0*h + k. Is 11 a factor of h?
False
Does 9 divide (4/6)/(5/(-2310)*-7)?
False
Suppose 0 = l - 5 + 1. Suppose -n - n = 5*h - 66, l*h - 60 = -4*n. Does 10 divide h?
False
Let v(l) = l**3 - 7*l**2 + 5*l + 8. Let x be v(6). Let s = x + -2. Suppose 4*u - 5*u + 3*w + 25 = 0, s = -5*u - 2*w + 159. Does 19 divide u?
False
Let d be (-2 - (-3)/1)/1. Let b(j) = j + 0 - d - 4*j. Is 9 a factor of b(-5)?
False
Let n(l) = -l**3 - 7*l**2 - 7*l - 1. Let j be n(-6). Suppose 73 = p + 3*f, -j*p - 3*f + 140 = -3*p. Is 23 a factor of p?
False
Let v(z) = z**3 - z**2 + 1. Let f be v(0). Let s be ((-10)/(-15))/(f/(-18)). Let g = s + 43. Does 9 divide g?
False
Suppose -25 + 1 = 2*u. Let z be 6/3*-1*u. Let b = z + -17. Is b a multiple of 5?
False
Let p(h) = h + 2. Let x be p(-1). Let a = x + 18. Is a a multiple of 7?
False
Let i(p) be the third derivative of p**5/30 - 5*p**4/24 - 2*p**3/3 - 3*p**2. Is 8 a factor of i(4)?
True
Suppose -m = -99 + 31. Does 19 divide m?
False
Let k(f) = 3*f**2 + 4*f + 6. Let m = -12 + 8. Is 15 a factor of k(m)?
False
Suppose 2*p + 2*p = 68. Is p a multiple of 8?
False
Is 592/20 - (-2)/5 a multiple of 12?
False
Let i = 14 - 10. Suppose -c - 17 = -i*k, k - 2*c + 16 = 3*k. Suppose -k*l - 5*q = -75, -4*q + q - 88 = -4*l. Does 8 divide l?
False
Let w = 5 - 1. Suppose 3*d = d + w, 0 = 3*h + d - 5. Suppose 2*y - h - 45 = 0. Is y a multiple of 23?
True
Let s = 1 + -9. Let y be ((-10)/(-8))/((-2)/s). Suppose -3*r + y*o + 41 = 0, 0*r - 4*r = 2*o - 46. Does 6 divide r?
True
Suppose -y = -6*y + 25. Suppose 0*g + 4 = g. Suppose -g*z + 123 = -y. Is z a multiple of 15?
False
Let u(j) = -j**3 + 4*j**2 - j + 3. Let b be u(3). Let z be 6/(-2) + 10/2. Let f = b - z. Is 3 a factor of f?
False
Let j = -4 - -11. Let b = j - -38. Does 20 divide b?
False
Suppose -3*a + 49 = i, -2*i = -3*a - 0*a + 37. Is 51/a - 3/(-5) a multiple of 4?
True
Let z = 10 + 0. Let p(s) = 5*s - 5. Let u be p(z). Does 5 divide 2/((-3)/(u/(-6)))?
True
Let a = 4 - -1. Suppose 0 = 4*d - a*d + 48. Is 24 a factor of d?
True
Suppose 4*s - 242 = 150. Does 21 divide s?
False
Does 3 divide 474/54 - (-4)/18?
True
Let d = -17 + 31. Does 12 divide d?
False
Let m(j) = 52*j**2 - 3*j - 3. Is 13 a factor of m(-1)?
True
Let t = -10 - -19. Let k = 42 + -24. Does 5 divide 212/k + 2/t?
False
Let z = 2 + 1. Let o be 8*(z/(-1))/(-1). Suppose 3*q - o - 30 = -3*r, -3*r + q = -66. Is 15 a factor of r?
False
Suppose 0 = h + h - 5*g - 40, -3*g = 4*h - 106. Does 5 divide h?
True
Suppose -5*x - 38 = 4*m - 245, -156 = -3*m - 3*x. Is m a multiple of 28?
False
Let y(h) = 3*h - 2. Let w be y(2). Suppose w - 12 = -f - v, 10 = -2*v. Does 4 divide f?
False
Let g be (-3 + 2)/((-4)/20). Suppose 0 = 3*t + g*m - 121, -4*t + 143 = 2*m + m. Is 16 a factor of t?
True
Suppose 51 = 6*v - 27. Let w = v - 5. Does 4 divide w?
True
Let w = 79 + -165. Let n = -52 - w. Does 17 divide n?
True
Let a(x) = 18*x**3 + 2*x**2 - 2*x + 1. Let z be a(1). Let n = -15 + z. Does 4 divide n?
True
Does 13 divide ((-115)/(-10) + -2)*26?
True
Let a(f) = f**2 + 3*f + 2. Suppose g - 8 = -3*d + 2*g, 0 = -5*d - 2*g + 6. Suppose 24 = d*w - 5*w. Is 19 a factor of a(w)?
False
Suppose -3*w + w + 6 = 0, -3*j + 15 = 3*w. Suppose j*b - 13 = -5. Suppose b*h + 0*h - 16 = 0. Is h a multiple of 4?
True
Suppose -5*o + 20 = -4*o + 5*m, 4 = m. Let v = 0 + o. Suppose -t + 2 + 4 = v. Is 6 a factor of t?
True
Let f = -3 + 11. Let l be 4/f*0/1. Suppose -t = -l - 4. Does 4 divide t?
True
Let q = -61 - -181. Suppose b = -4*b + q. Is b a multiple of 24?
True
Let f(p) = p**2 - 3*p + 1. Let y be f(3). Let t = y - 0.