t = -48 - -124. Is t a multiple of 38?
True
Let z(g) = g**2 + g + 13. Let y be z(0). Suppose x - 6 = y. Let d = x - -9. Is 14 a factor of d?
True
Let r(c) = c**2 - 8*c - 4. Let g be r(9). Suppose -g*i - 44 = 101. Let a = i + 48. Is a a multiple of 9?
False
Let t be ((-759)/(-6))/((-2)/4). Let c = t - -363. Suppose c = 4*b + 2*x, x = -2*b + 2*x + 65. Does 15 divide b?
True
Let z(b) = -10*b - 2. Let s be z(-3). Suppose 11 + s = 3*r. Is r + -2 + (-2)/(-1) a multiple of 11?
False
Suppose -5*q = -3*p - p + 4, 5 = -2*q + 5*p. Let k(h) = -h**3 - h**2 + 19. Does 19 divide k(q)?
True
Let z = 0 - -2. Suppose -i - 2*y = -19, z*i - y - 28 + 5 = 0. Does 5 divide i?
False
Suppose 3 = 3*z + b, -2*z - b = 2*b + 5. Suppose 3*n = -2*n + 45. Suppose m - z*m = -n. Does 6 divide m?
False
Suppose -j + 18 = -57. Is j a multiple of 25?
True
Let q be 4/12 + (-113)/(-3). Suppose -k - 5*j + q = 3*k, 46 = 4*k + j. Is k a multiple of 12?
True
Suppose -2 - 1 = -b. Suppose -5*o - 4*f = -593 + 182, 0 = 2*o - f - 167. Suppose -b*j = 5*p - o, 4*p = 2*p + 3*j + 29. Does 8 divide p?
True
Is 8 a factor of (((-1)/(-1) - 0)*23)/1?
False
Suppose s - 40 = -4*r, 4*s + 4*r = 136 - 12. Suppose -s + 0 = 2*u. Let t = 34 + u. Does 10 divide t?
True
Let m(v) = 2*v**2 + 9*v - 13. Let y be m(-9). Is (y/(-8) - -1)*-2 a multiple of 15?
True
Let w = -17 - -77. Is 10 a factor of w?
True
Suppose -3*o = 2*o - 845. Does 23 divide o?
False
Let f(q) = q**2 - 4*q + 3. Let v be f(4). Let x be (-28)/(-16) + v/(-4). Does 7 divide (-7 + 0)*(x - 2)?
True
Is (-16)/8 + (-13)/(-1) a multiple of 5?
False
Suppose 4*k - 2*i = 146, 4*k - 137 = -2*i + 7*i. Does 19 divide k?
True
Suppose -4*l - 3*c - 39 = -132, 3*l - 69 = -2*c. Let w = l - 14. Is 3 a factor of w?
False
Let g = 19 - 9. Does 5 divide (-2)/2 + (g - 0)?
False
Let u be -1 - ((-2)/2 + 82). Let o be (u/4)/(1/(-4)). Suppose 4*n - o = 2*n. Does 14 divide n?
False
Suppose 3*v - 34 = v. Let f = 3 + -2. Suppose -v = -o + f. Does 9 divide o?
True
Let y(z) = 7*z**2 + z. Let c be y(-1). Let a = 8 - c. Does 5 divide -1 + a + 3 + 5?
False
Let s be (-2)/((-3)/((-9)/3)). Let x = 5 - 0. Let z = x + s. Does 3 divide z?
True
Is 2 a factor of 12/(-3*1/(-4))?
True
Suppose 2*f + 2*p = 3*f - 48, -3*f + 146 = -5*p. Suppose i - 26 = -3*x, 2*i + 6 = -4*x + f. Is i a multiple of 3?
False
Suppose -4*w + 5 = -3*w, -2*w - 2 = -3*v. Let x = v + -1. Suppose -x*l + 0 = -30. Does 10 divide l?
True
Let m(w) = -4*w + 8. Let h(n) = -3*n + 7. Let p(u) = 3*h(u) - 2*m(u). Let y be p(5). Let f(q) = q**2 - q + 8. Does 4 divide f(y)?
True
Suppose -h + 122 - 17 = 2*r, 0 = 3*h + 9. Does 18 divide r?
True
Suppose 2*t = -4 + 12. Suppose 61 = t*m - 67. Is m a multiple of 16?
True
Suppose 4*g + 4*t = t + 87, 5*g - 2*t = 126. Does 12 divide g?
True
Suppose -3*r - 8 = -y, -11 = -2*y + 5*r + 3. Is 17 a factor of ((-17)/(-4))/(y/16)?
True
Is 7 a factor of (8/14)/((-1)/(-14))?
False
Suppose -m + 10 + 30 = 0. Is 17 a factor of 0 + -3 + m/2?
True
Let c be (2 + 29 - -1) + 1. Suppose -223 + c = -5*u. Does 13 divide u?
False
Suppose 5*f + 4*l - 103 = 0, 5*l + 27 = 2*f - 1. Let h be 0*(-1 + -1 - -3). Suppose -2*b + 0*w + w = -f, h = -5*w - 25. Is b a multiple of 7?
True
Is (-9625)/(-63) - 4/(-18) a multiple of 51?
True
Suppose 3*b + 56 + 58 = 0. Suppose 21*u = 18*u + 6. Is 5 a factor of (0 - 1)/(u/b)?
False
Is 21 a factor of (-1168)/(-14) + (4 - 24/7)?
True
Let v = -181 - -358. Is v a multiple of 12?
False
Let l(q) = -q**3 + 3*q**2 + q + 1. Let n be l(3). Suppose -3*b - 4*y = -46, 3*y - 16 = -n. Is b a multiple of 5?
True
Suppose 0 = a - 4, 106 = 3*j - 0*j + 4*a. Is 30 a factor of j?
True
Suppose 4*r - 240 = 4*k, 0*k + r - 182 = 3*k. Let m = k + 85. Does 13 divide m?
False
Let o(z) = z**3 - 5*z**2 + 3*z. Let v be o(4). Let w be (-311)/v - 4/(-16). Let l = -42 + w. Does 18 divide l?
True
Let j = -1 + 3. Suppose 4*b = -4*h - 20, 1 + 3 = -h - j*b. Let d(z) = z**2 + 4*z - 6. Is d(h) a multiple of 6?
True
Let w = 156 - 33. Suppose -2*z + w = 2*p + 3*z, -4*z - 55 = -p. Is 24 a factor of p?
False
Does 16 divide (1/(-3))/((-1)/81)?
False
Let a(i) = -i**3 + 17*i**2 - 26*i - 33. Is a(15) a multiple of 27?
True
Let k(q) = q**3 - 2*q**2 + 1. Let g be k(1). Suppose -5*s + d + 13 = g, s + 0*d + 2*d + 4 = 0. Suppose 5*c - 60 = s*c. Is c a multiple of 11?
False
Suppose 26 = -3*r + 5*y - 45, 4*y - 46 = 2*r. Let m = 107 + r. Suppose 4*g - 2*s - 80 = -7*s, 0 = -4*g - 3*s + m. Does 10 divide g?
True
Suppose 0 = 2*k + 2*k - 24. Let m = -5 + k. Suppose -3*v + 73 = m. Is v a multiple of 9?
False
Suppose -22*t + 390 = -19*t. Does 5 divide t?
True
Suppose -5*s + 518 = -107. Does 38 divide s?
False
Suppose 2*j - 360 = -7*j. Does 20 divide j?
True
Let o(b) = 19*b + 11. Let q be o(6). Suppose -3*a + q = -13. Is 23 a factor of a?
True
Let w be (-2)/9 - (-52)/(-9). Let a(z) = -2*z - 1. Is a(w) a multiple of 5?
False
Let d(k) = -11*k + 125. Is d(0) a multiple of 5?
True
Suppose -2*p + 24 = 4*x, 34 = 3*p + x + 4*x. Is p a multiple of 4?
True
Suppose -5*d + 3*d = -66. Let i = d + -9. Is i a multiple of 12?
True
Let t = -34 - -88. Is 18 a factor of t?
True
Let w(x) = -x**3 - 8*x**2 - 9*x - 10. Let f be w(-7). Let q(k) = k + 5*k + 2 + f. Is q(5) a multiple of 16?
False
Let k = -68 + 91. Is k a multiple of 3?
False
Suppose 3*d - 4 = p, -20 = -4*p - p - 5*d. Suppose -p*w = 15 - 67. Does 13 divide w?
True
Does 13 divide (-27 - 1/(-1))/(-2)?
True
Suppose 2*s - o - 1 = 0, 2*s = 3*o - 2 - 3. Suppose -16 = -s*x - 0. Does 4 divide x?
True
Let c = 7 + -5. Does 2 divide c?
True
Suppose c = 52 - 0. Does 6 divide c?
False
Is -110*2/(3 - 7) a multiple of 23?
False
Let i be 1*(-3)/(-9)*3. Let u = 1 + i. Let k = 11 - u. Is k a multiple of 9?
True
Suppose 24*h - 7543 + 679 = 0. Is 11 a factor of h?
True
Suppose 10 = 2*y - 4*h + 2*h, 5*y - 3*h = 21. Suppose v = -y*v + 68. Does 9 divide v?
False
Let x(d) = d + 10. Let h(b) = -b - 20. Let z(g) = 3*h(g) + 5*x(g). Let u be z(7). Suppose -w + 0*w + 16 = 3*s, -s + 86 = u*w. Is 14 a factor of w?
False
Let a(j) be the third derivative of -7*j**4/8 - j**3/6 - j**2. Is a(-1) a multiple of 10?
True
Suppose -c = -5*c - 2*x + 14, 5*x - 9 = 3*c. Suppose 296 = -4*r + 2*d + c*d, -271 = 4*r + d. Is (-2)/7 - r/21 even?
False
Let h = 12 + -10. Is 1 - 3 - (h + -52) a multiple of 16?
True
Let s(o) = o**2 + 7*o + 1. Let n = 27 + -24. Is 8 a factor of s(n)?
False
Let a = -2 - -1. Let d(t) = -163*t**3 + t**2 - t - 1. Let q be d(a). Is q/16 - (-2)/(-8) a multiple of 10?
True
Let a be (9/6 + -1)*6. Suppose 0 = -a*z + 4 + 8, -4*z = 2*j - 48. Is j a multiple of 9?
False
Suppose 6*l = 17*l - 957. Is l a multiple of 32?
False
Let h = 4 - -4. Is 2 a factor of h?
True
Let z(a) be the first derivative of -a**4/4 + 2*a**3 - a**2/2 + 7*a - 1. Is 22 a factor of z(5)?
False
Let a(f) = -f**2 + 14*f - 5. Let b be a(9). Suppose -2*j - b = -5*k + 110, -j + 90 = 3*k. Is 10 a factor of k?
True
Let i = -14 - -26. Suppose -i = -k - 3*k. Suppose k*d = 4*d - 32. Does 14 divide d?
False
Let q(y) = 2*y**2 - 13*y + 14. Is q(10) a multiple of 28?
True
Suppose -5*a - 224 = 3*v, -2*a = -5*v + 78 + 24. Let o = a - -70. Is o a multiple of 6?
True
Suppose 5 + 5 = 2*l. Suppose 0 = l*u - 16 + 1. Is u even?
False
Let d(k) = 12*k**3 + k - 4. Is 10 a factor of d(2)?
False
Suppose -2*y = -7*y + 40. Is y a multiple of 2?
True
Suppose -3 = c, -17 + 1 = 5*h - 3*c. Let o be (h + 0)*(-6)/15. Suppose 28 = o*g - 0*g. Is g a multiple of 14?
True
Let o(p) = -p**3 - 5*p**2 + p + 3. Let j be o(-5). Let u = 2 - j. Does 19 divide (46/(-4))/((-1)/u)?
False
Let a = 11 - 5. Suppose 0 = a*b - 4*b - 24. Does 4 divide b?
True
Let z(o) be the first derivative of 8*o**3/3 - o**2/2 + o + 6. Is 13 a factor of z(2)?
False
Let w(b) = -b - 2. Let l be w(-7). Suppose -l*i = -364 + 129. Suppose 0 = -2*y + 4, i = 6*z - 3*z + 4*y. Does 13 divide z?
True
Is 8 a factor of (-92)/(-6) + 6/(-18)?
False
Suppose -2*v + 33 = -v. Let q = -16 + v. Is 10 a factor of q?
False
Suppose -3*i - 300 = -8*i. Suppose u = 4*u - i. Is u a multiple of 12?
False
Suppose 0 = -w - 6*h + 3*h - 1, 0 = 2*w + 2*h - 2. Suppose 4*o = -2*v - w - 2, 4*o + 24 = 3*v. Let n = 13 - v. Is n a multiple of 5?
False
Let s = -7 + 14. Does 7 divide s?
True
Suppose -4*v - 2 = -5*v. Let y(p) = -7*p**3 + 15 + p**2 - 2*p**v + 8*p**3. Is 14 a f