- 53, -3*u + s = 3*h - u. Is h a multiple of 23?
False
Let c = 78 + -51. Is 9 a factor of c?
True
Suppose 0 = -6*j + 2*j + 48. Is j a multiple of 6?
True
Let v = -69 - -166. Is v a multiple of 27?
False
Let s = -68 + 96. Does 14 divide s/3*3/1?
True
Suppose -5*x - 97 = 3*y, -2*x + 5*x = -y - 39. Let h = y + 171. Suppose -d + 21 = 3*v, 2*d + 3*d + v = h. Is d a multiple of 15?
True
Suppose -5*o = -209 - 151. Is o a multiple of 12?
True
Suppose 4*h + 7 = 95. Is h a multiple of 11?
True
Let b(c) = -c**2 + 13*c + 14. Suppose -4*v - 3*t = t - 44, -t = -2*v + 22. Is b(v) a multiple of 12?
True
Suppose -w + 2*w - 2 = 0. Suppose 0 = 4*c - 34 + w. Suppose 3*b - 52 = c. Does 10 divide b?
True
Is 1 - (8*-29 - -2) a multiple of 21?
True
Suppose 350 = -17*j + 22*j. Does 35 divide j?
True
Let o(d) = 2*d**2 + 8*d + 5. Does 10 divide o(-5)?
False
Let g be (-6)/2 + (7 - 4). Let f = -9 + 14. Suppose -3*n - 3*o = -o - 9, -f*o - 15 = g. Is 3 a factor of n?
False
Let q = 20 + -29. Suppose -150 = 5*x + k, 4*k = x + 2*k + 19. Let y = q - x. Does 11 divide y?
False
Let q(x) = x**2 + 2*x - 4. Let d be (-1)/2 + 14/4. Is 11 a factor of q(d)?
True
Let m(q) = -q**2 - 5*q + 7. Let k be m(-6). Is (-1 - 10)*-4*k a multiple of 22?
True
Is (50/1 + -2)/((-14)/(-35)) a multiple of 8?
True
Suppose w - 49 = -34. Let s = -1 + 0. Let a = s + w. Is a a multiple of 10?
False
Let z be 7*1*(3 - 2). Suppose t + 258 = z*t. Does 11 divide t?
False
Let c(j) = -j**3 - 4*j**2 - 4*j - 2. Let p be c(-2). Let h(a) = -a - 2. Let f be h(p). Suppose f = -3*l + 5*b + 13, 0*l - 7 = -2*l + 5*b. Is 3 a factor of l?
True
Suppose 2*t - 316 = -3*w, -2*t = 3*t + 5. Suppose 5*c = -46 + 61. Suppose 0 = 3*i + 5*x - w, -3*x - 113 = -c*i - x. Does 18 divide i?
False
Let s(w) = -36*w - 1. Is s(-1) a multiple of 9?
False
Let r = -122 - -199. Does 11 divide r?
True
Suppose -a - 20 = 3*a. Let n = -5 - a. Suppose n*t = 5*t - 145. Is 10 a factor of t?
False
Let s be 3 + 2 - (1 + 1). Suppose 0 = 2*d + 8, 2*o - s*d - 207 = -o. Is 17 a factor of o?
False
Suppose 0 = -3*q + 5*h + 316 + 424, h = 2. Is q a multiple of 36?
False
Let g be (-2)/(-7) + (-23)/7. Let t = 19 - 13. Is 8 a factor of g/t*-2 + 7?
True
Let y be (81/12)/(1/12). Let u = 102 + -53. Let q = y - u. Is q a multiple of 11?
False
Let c = -6 + 4. Is 20 + (c - 0/2) a multiple of 5?
False
Suppose 4*g + 24 = b + 5*g, 4*b + 2*g = 96. Is 5 a factor of b?
False
Let o(a) = -a**2 - 6*a + 3. Let m(i) = 3*i. Let r be m(-2). Let x be o(r). Suppose -73 = -x*u + p - 11, 82 = 3*u - 5*p. Is u a multiple of 14?
False
Suppose 3*q - 1 + 10 = -3*o, -12 = -2*o + 4*q. Suppose -2*h + 8 + 2 = o. Does 4 divide h?
False
Let h = 112 + -46. Is 22 a factor of h?
True
Let i be -1 - ((-76)/1)/4. Suppose 18 + i = 4*d. Does 2 divide d?
False
Suppose 2*p + 2*c - 6 = 0, -4*p - p + 21 = 2*c. Suppose -2*h - 101 = -5*h + x, -p*h + 174 = 4*x. Is 17 a factor of h?
True
Suppose 2*q - 85 = 251. Does 28 divide q?
True
Is ((-4)/(-6))/((-2)/(-1143)*3) a multiple of 20?
False
Suppose 163 = 5*q - 57. Is 11 a factor of q?
True
Let q = -18 - -16. Let i = q + 8. Is i a multiple of 2?
True
Let g be 1/(2/4 + 0). Let r = -5 + g. Let q = r + 5. Is q even?
True
Let t(b) = -3*b**2 + 20*b + 2. Is 7 a factor of t(6)?
True
Let v be 4/6 + (-665)/(-15). Is (16/(-5))/((-9)/v) a multiple of 5?
False
Let t(q) be the first derivative of -q**5/15 - q**4/4 - 2*q**3/3 - 1. Let c(p) be the third derivative of t(p). Is 13 a factor of c(-4)?
True
Let b = -64 - -96. Does 7 divide b?
False
Suppose -3*s = -7 - 2, -7 = -5*w + s. Suppose 3*h = -4*j + 2*j - 448, -301 = w*h - j. Does 10 divide (1/(-3))/(2/h)?
False
Suppose 6*a + 50 = a. Let m = a - -14. Suppose 4*y = m*l - 36, 4*y - 4 - 2 = l. Is l a multiple of 5?
False
Does 29 divide 4/4 - 2 - -30?
True
Does 17 divide 173/2 - (-15)/(-10)?
True
Let o = -61 + 205. Does 14 divide (1 - -1)/(4/o)?
False
Let o(y) = 6*y**3 - y + 2. Let l be o(2). Suppose -3*s - l = -5*s. Is s a multiple of 12?
True
Let s be (-2)/(3 - 1) + 6. Suppose 2*b - 4*b + 40 = -j, -4*j = -s*b + 97. Is b a multiple of 16?
False
Suppose 0 = -2*j + 2*c + 10, -3*j + 4*c + 10 = -4*j. Let z(l) = 4 - 6*l**j + 5*l**2 + 8*l - 1. Is z(8) a multiple of 2?
False
Let s(g) = g**3 + g**2 - g. Let o(m) = 7*m**3 + 14*m**2 - 2*m + 3. Let p(q) = o(q) - 6*s(q). Is p(-7) a multiple of 18?
False
Suppose 2*d - 176 = -2*x, 4*x = -0*d + 4*d + 352. Is x a multiple of 8?
True
Let g(m) = 13*m**2 + m + 2. Let r be g(-2). Suppose 0*u - r = -4*u. Is u a multiple of 12?
False
Suppose -z - 144 = -0*z. Let c = -97 - z. Does 13 divide c?
False
Let h(c) = 3*c + 5*c**2 - 4*c**3 - 3*c**2 + 3*c**3. Let d be h(-2). Let v = 7 + d. Does 8 divide v?
False
Let c = -284 - -404. Does 10 divide c?
True
Let n(x) = -x**3 - x**2 + 2*x + 2. Let i be n(-2). Let r be ((-9)/2)/((-1)/i). Suppose -5*v = -r*v + 64. Is v a multiple of 16?
True
Let a be (-4)/10*(0 - 10). Suppose -2*w + n + 5 = 0, a*n = -w + 3*w - 2. Suppose 2*v = -k - v + 10, w*k - 54 = -v. Is 8 a factor of k?
False
Let c(t) = t**3 + 5*t**2 + t + 2. Does 5 divide c(-4)?
False
Let i(g) = -g**2 + 4*g - 1. Let b be i(4). Let f = b + 3. Suppose -t + f + 13 = 0. Does 11 divide t?
False
Let z be (-50 - -4)*1/(-2). Let i = z - 12. Is 5 a factor of i?
False
Let t(r) = 4*r + 9. Let w be t(-13). Let u = -20 - w. Is u a multiple of 19?
False
Let u be (-16)/6 - 28/(-42). Does 4 divide 0/u + 1 + 3?
True
Let m = -17 - -49. Is m a multiple of 16?
True
Is 6 a factor of 27 - (4 - (2 - -3))?
False
Let b(i) = 8*i - 47. Is b(10) a multiple of 7?
False
Let c = 30 + -12. Does 9 divide c?
True
Suppose o = -4*i + 48, -i + 5*o - 53 = -4*i. Suppose 2*u = -3*w + i, 0*w - 41 = -2*u + 3*w. Does 4 divide u?
False
Let d be (-1)/3 + (-20)/(-6). Suppose 4*f = 8, -2*f - 1 = -d*x + 7. Suppose -x*c + 13 = -3. Does 3 divide c?
False
Suppose 13 = 3*p - 11. Is 8 a factor of p?
True
Suppose -7*y + 209 = 41. Does 4 divide y?
True
Let t(l) be the first derivative of 5*l**4/4 - 2*l**3/3 + 1. Is t(2) a multiple of 6?
False
Suppose -u + 1 + 1 = -5*c, 0 = -5*c. Suppose u*k - k = 75. Is k a multiple of 20?
False
Suppose 0 = 3*q - 10*q + 560. Is 16 a factor of q?
True
Let s be 0 + (-2 - (-1 - 1)). Suppose s = -v - 2, 0 = q - 2*v + 4*v - 37. Is 16 a factor of q?
False
Suppose 3*j - 9 + 0 = 0. Let c be 1/2 - 6/(-4). Suppose -c*q - j*q = -65. Is 13 a factor of q?
True
Suppose 0 = h - 5*i - 54, 5*i + 56 + 130 = 4*h. Suppose h = q + q. Suppose -q = z - 3*z. Is z a multiple of 4?
False
Let c = -20 + 40. Is 20 a factor of c?
True
Let b = 59 + 70. Suppose -3*g = -5*z - g + 137, -b = -5*z + 4*g. Is 10 a factor of z?
False
Let u be (4/(-10))/(5/125). Let p = 17 + u. Is 7 a factor of p?
True
Let w be 442/(-6) - 4/(-6). Let h = w + 128. Is h a multiple of 16?
False
Let l = 280 - 124. Does 39 divide l?
True
Let i = -58 + -38. Suppose x = 2*j + 3*j - 43, 5*x + 3*j + 75 = 0. Does 8 divide (i/x)/(2/3)?
True
Let s(x) = -x**2 + 11*x + 2. Is s(10) a multiple of 3?
True
Let t = -2 - -6. Suppose 0 = t*f - 8*f + 64. Suppose y - f = -y. Is y a multiple of 8?
True
Let v = 17 + -8. Does 6 divide v?
False
Let a(j) = 7*j**2 - 2*j + 6. Does 19 divide a(5)?
True
Suppose y + 2 = 2*y. Let f be y - ((-9)/3)/3. Is 7 a factor of ((-17)/f)/((-2)/6)?
False
Let b be (-7 - -3)/(0 + -2). Suppose w - 3*p = 24, 3*w - b*p - p = 66. Is w a multiple of 7?
True
Is 14 a factor of ((-2)/(-10) - (-2 + 5))*-25?
True
Suppose -3*c - 3 = -0. Let b = -1 - c. Suppose 7 = 2*v - 3*a - 87, 4*a - 8 = b. Is v a multiple of 25?
True
Suppose -198 = 12*j - 786. Does 4 divide j?
False
Let l = -16 - -22. Is l a multiple of 6?
True
Suppose -10 = -y + 10. Let j = 20 + -29. Let l = y + j. Is 11 a factor of l?
True
Let u(b) = -b**2 + 6*b - 5. Let q be u(5). Suppose 4*z + 10 = 2*h - q, -5*z + 37 = 3*h. Is h a multiple of 3?
True
Suppose -m + 18 = 5*m. Suppose m*z = 5*d - 192, -z - 155 = -5*d + 39. Does 8 divide d?
False
Let y = 230 - 109. Does 16 divide y?
False
Let b = -41 - -22. Does 19 divide b/(-3 - 8/(-3))?
True
Suppose -27*v + 31*v = 164. Is v even?
False
Let l(y) = y**2 - 2*y. Let x(z) = -z**2. Let c(m) = -l(m) - 3*x(m). Let h be (-1 - (4 - 2)) + 0. Is 6 a factor of c(h)?
True
Let j = 109 + -61. Does 12 divide j?
True
Let b be -5*1*(-3 - -1). Suppose -3*z - 5 = -5*r - 1, 0 = -3*r - 2*z + b. Suppose 0 = -n + 2*n 