ltiple of 5?
True
Is (-65)/(-4 - (-6)/2) a multiple of 13?
True
Suppose -5*o = -0*o - 135. Suppose 5*h - 204 = h. Let a = h - o. Is 18 a factor of a?
False
Let b(o) = -49*o**2 - 2*o - 1. Suppose 0 = -2*m + m - 4*a + 3, 4*a = 4. Let r be b(m). Does 12 divide (-1 + -9)*r/30?
False
Let s = -2 + 2. Suppose 4*h - h = s. Suppose 2*u - 4*u + 52 = h. Is 13 a factor of u?
True
Let b be (-19 - 0)*(-2)/2. Let t = b - 13. Does 3 divide t?
True
Suppose -l + 6*l = 0. Suppose 3 + l = m. Suppose -2*t = -m*j - 43, 4*j = -5*t - 9 + 82. Is 17 a factor of t?
True
Let z = -14 + 29. Suppose -a + 7 = -z. Does 8 divide a?
False
Suppose -5*y + 42 = -3*z + 216, 2*z - 5*y - 111 = 0. Let n = z + -34. Suppose -4*q + 19 = -n. Is q a multiple of 12?
True
Let z be -3*(0 - 158/3). Let b be 2/4*(3 - 31). Is 4/(-14) - z/b a multiple of 4?
False
Let x = 138 - 3. Suppose 5*c + x = -6*l + 9*l, -5*l - c + 225 = 0. Does 21 divide l?
False
Let d(t) = -t**2 - 3*t + 4. Let c be d(-4). Suppose c = -0*f + f. Suppose 8*a - 3*a - 60 = f. Is a a multiple of 12?
True
Suppose -2*q + 430 = -2*n, q + 4*q - 3*n = 1069. Is q a multiple of 53?
True
Suppose 74 = 3*i + 2*y, 41 = 4*i + 3*y - 56. Is i a multiple of 13?
False
Suppose 9*o - 4*o = 0. Let p(n) = -n**3 + 6. Is 3 a factor of p(o)?
True
Let h be 3/2*2 - -1. Suppose 0 = y + h*g - 12, 5*y + 2*g - 4*g = 16. Is y a multiple of 4?
True
Let v = -26 + 62. Does 6 divide v?
True
Let j = 71 + -52. Is 17 a factor of j?
False
Let h(c) = -160*c - 2. Is h(-1) a multiple of 32?
False
Let n(k) = -k**3 + 8*k**2 + 2*k. Suppose -5*o + 5*q + 35 = 0, -3*o = 2*q + 6 - 32. Is 16 a factor of n(o)?
True
Suppose 0*h + 117 = h. Is h a multiple of 24?
False
Is 138 - (-15)/(-5) - 3 a multiple of 11?
True
Suppose -2*l - 30 = -3*u, 3*u - 2*l = -6*l + 30. Suppose u*g - 56 = 9*g. Does 28 divide g?
True
Let y = 3 + -4. Is 10*18/(-4)*y a multiple of 15?
True
Suppose 4*p - 3 - 1 = 0. Let q be (6/9)/(p/3). Suppose q*o - 118 = -4*b, -o - o - 125 = -5*b. Does 16 divide b?
False
Let k(z) = 1 + 2*z - 5*z - 2*z + 2*z**2. Let h be k(4). Let i = h + 17. Is 10 a factor of i?
True
Is (-141)/(-4) + 33/12 + -3 a multiple of 31?
False
Let v(h) = -3*h. Let r be v(-1). Suppose -4*a - 50 - 38 = -r*b, -4*b + 134 = -2*a. Does 12 divide b?
True
Let u(h) = -h. Suppose 2*p - 2*m = -7*m - 3, 0 = -p + m - 5. Let v be u(p). Suppose -s + 67 = v*w - 4*s, 0 = -5*w + 2*s + 82. Does 8 divide w?
True
Let n(d) = -d**3 + 9*d**2 - 9*d + 9. Let r be n(8). Let t be (-4)/24 - r/(-6). Suppose t = 4*a + a - 175. Does 12 divide a?
False
Suppose 7*q = 11*q - 304. Suppose -q = -3*h + h. Does 22 divide h?
False
Let f = 4 + -1. Suppose 2*d - 50 = -f*p - 205, -5*d - 20 = 0. Let u = -32 - p. Is 11 a factor of u?
False
Does 3 divide (1/(-2))/((-15)/90)?
True
Let t be 8 + 1*-2*1. Suppose -2*j = -t*j. Suppose 80 = 4*u - j*u. Is u a multiple of 16?
False
Let o = 56 + -20. Does 4 divide o?
True
Does 11 divide (3 + 4/(-1))*-55?
True
Does 10 divide (1 + 1)*(20 - 10)?
True
Suppose -2188 = -16*f - 748. Does 18 divide f?
True
Let q(m) be the first derivative of -17/2*m**2 + 0*m + 3. Is 17 a factor of q(-1)?
True
Suppose 2 = b - 1. Suppose 20 = -8*c + b*c, 2*k - 2*c - 64 = 0. Suppose k = 3*v - v. Is v a multiple of 14?
True
Let k = -12 - -17. Is 2 a factor of k?
False
Let i = 417 - 92. Does 13 divide i?
True
Does 7 divide (-9)/6 - (-34)/4?
True
Let y = -9 + 15. Does 3 divide y?
True
Let s be 266/(-18) + 16/(-72). Is 8 a factor of 10/s*93/(-2)?
False
Does 4 divide 676/28 + 1/(-7)?
True
Is (3/4 + -3)*-4 a multiple of 2?
False
Suppose -4*c + 6*c + 4 = 0. Let s be c/(-6)*0 - -25. Let b = 36 - s. Does 8 divide b?
False
Let t = 45 - 31. Is 9 a factor of t?
False
Let z(c) = 3*c. Let s be 2/((-3)/(-2) - 1). Does 4 divide z(s)?
True
Let s be 534/15 + 2/5. Let a be (4/8)/(3/24). Suppose -s + 8 = -a*y. Does 2 divide y?
False
Suppose -r + 3 = -5. Let y = r - 0. Is 6 a factor of y?
False
Let q(p) = -p**2 - 4*p + 5. Let y be q(-5). Suppose -2*s + 2*l = -y*l - 20, l + 1 = 0. Suppose -o + 1 = -s. Does 3 divide o?
False
Let m = -96 + 281. Is m a multiple of 16?
False
Let i be (-4*1)/(-2) - -2. Suppose r + 69 = i*r. Is 23 a factor of r?
True
Let n(s) = -2*s - 4 - 2*s**2 + s**2 - 7*s. Is 7 a factor of n(-6)?
True
Let a = -4 - -9. Suppose 15 = z + 5*b - 1, 17 = a*z + 4*b. Let j(n) = 28*n**3 - n**2 - n + 1. Is j(z) a multiple of 10?
False
Is 3/((-32)/240*(-5)/18) a multiple of 29?
False
Let n(a) = -a**3 + a**2 + a - 2. Let v(b) = -b**3 + 2*b**2 + 2*b - 3. Let w(f) = 3*n(f) - 4*v(f). Does 2 divide w(6)?
True
Let k = -5 - -8. Let j(t) = 2*t**k + 0*t - 4*t + 3*t. Is 14 a factor of j(2)?
True
Suppose -95 = -3*p + 4*d, -2*p = 2*p + 3*d - 160. Is p a multiple of 4?
False
Let b = -6 + 8. Let s be (b/(-4))/(3/(-36)). Suppose -s*q = 5*g - 2*q - 85, -5*g + 85 = 3*q. Is g a multiple of 17?
True
Is 19 a factor of 3 + -4 - (-1 - (150 + 2))?
True
Suppose 0 = 4*y - 391 - 29. Is y a multiple of 21?
True
Let a(k) = 16*k**3 - k**2 - k. Is a(1) a multiple of 14?
True
Suppose -4 - 2 = -3*b, -2*r + 2*b + 6 = 0. Is r a multiple of 4?
False
Suppose 0 = -z + 2*r + 114, 22 + 194 = 2*z - r. Is 14 a factor of z?
False
Let h be (-1)/2*(14 + -6). Is 21 a factor of (-6)/(-4) + (-154)/h?
False
Suppose -f - 4 = 3*f, 0 = 3*z + 2*f - 16. Suppose 0 = -5*w + 10, -4*n + 0*w + z = w. Is -3 - (0 + n)*-21 a multiple of 9?
True
Is 21 a factor of (28/4)/((-2)/(-10))?
False
Let x = 18 + 55. Suppose -50 = -r - 2*g, -4*r - 2*g + 103 = -x. Does 11 divide r?
False
Let a = -5 + 0. Let c(g) = 8*g + 3. Let b(q) = q + 1. Let r(u) = b(u) - c(u). Does 15 divide r(a)?
False
Let j be (4/6)/((-1)/(-3)). Let u(a) = 0*a + a + a. Does 4 divide u(j)?
True
Let o(m) = 2*m**2 - 2*m + 4. Does 14 divide o(4)?
True
Let k = 62 - -3. Is k a multiple of 13?
True
Let i = 76 - 144. Let p = 104 + i. Does 12 divide p?
True
Suppose 3*t - 33 - 15 = 0. Suppose t = 5*x + 2*v, v = -2*x - v + 10. Does 13 divide (x + 0)*(-203)/(-14)?
False
Let d = -59 - -41. Let h = d - -26. Is h a multiple of 8?
True
Suppose 4*j = -3*s - 3, -6*s + s - 3*j + 6 = 0. Let u be 1/s*(-24)/(-2). Suppose u*v - 77 = 5*r, -7*v - r + 118 = -2*v. Is v a multiple of 15?
False
Let s(n) = -n**3 - 7*n**2 + n + 5. Let w be s(-7). Let v(p) = -3*p**3 - 3*p**2 - p + 1. Does 5 divide v(w)?
True
Let j(l) = l**2 - 2*l - 1. Let k be j(-3). Let h(u) = -u**3 + 7*u**2 + 5. Let w be h(7). Suppose -7 = -0*y + 3*y + w*p, k = 4*y + 2*p. Is 6 a factor of y?
True
Let j(f) = -f + 2. Let q be j(2). Does 12 divide (1 + q)/((-1)/(-34))?
False
Let s = 54 - 21. Is 13 a factor of s?
False
Suppose -4*t + 5*z = 2*z - 36, 16 = 3*t - 5*z. Is t a multiple of 11?
False
Let g be (-11)/(-44)*2*2. Is g + (29 - (3 + -1)) a multiple of 7?
True
Suppose 3*t - 2*p - 2*p = 0, -t - 3*p + 13 = 0. Suppose 0 = -t*a - 4*d + 16, 3*a + 0*d = 2*d + 12. Suppose a*y - 48 = -0*y. Is y a multiple of 7?
False
Let c = -8 - -6. Is ((-92)/(-6))/(c/(-3)) a multiple of 9?
False
Suppose q - 15 + 59 = s, 0 = 2*q + 2. Let u = 32 + s. Does 15 divide u?
True
Let k(t) = t + 2. Let w be k(0). Let n be -1 + 0 - (w - 3). Suppose 0 = -5*l - 5*j - 5, n = 4*l + 2*j - 4*j - 20. Is l a multiple of 3?
True
Is (-5 + (-300)/6)*-3 a multiple of 21?
False
Does 32 divide -4 - (-329 + (-30)/(-6))?
True
Let y(m) = -3*m + 2. Let z be y(-4). Let i = z - 34. Let n = i - -33. Is n a multiple of 13?
True
Let k be (-2)/(-8) + 19/4. Suppose 7 + 14 = 3*v. Suppose k*o = 8 + v. Is o a multiple of 3?
True
Suppose 2*n + 2*l = -50, -3*n + 4*l + 66 = 169. Let a = 46 + n. Is a a multiple of 17?
True
Let l(u) be the third derivative of -u**2 - 1/8*u**4 - 1/6*u**3 + 0 + 0*u. Is l(-10) a multiple of 13?
False
Let g(q) = 1. Let y(t) = t**2 + 3*t - 1. Let h(m) = 5*g(m) + y(m). Let d be h(-3). Suppose 0 = -4*i, -l + 3*i - 12 = -d*l. Is l a multiple of 3?
False
Is 146/8 + 8/(-32) a multiple of 6?
True
Let m be (-2 - -13)/(2/(-2)). Let w = 36 - 18. Let l = w + m. Is 7 a factor of l?
True
Let o = -75 + 133. Let q = o - 34. Is q a multiple of 12?
True
Let a = 9 - -2. Let w = 13 + a. Does 12 divide w?
True
Let g(n) = -11*n + 1. Is g(-9) a multiple of 14?
False
Suppose 0 = -5*q + 1066 - 266. Suppose -2*a + 77 = -b, -4*a + 0*b + 4*b + q = 0. Let x = 59 - a. Is x a multiple of 22?
True
Let b = 1 + 7. Is 7 a factor of 5*1 - (6 - b)?
True
Let k(y) = 10 - 5 - 8 - 6*