of g(18)?
True
Suppose 0*b - 96 = -b + 5*i, -5*b + 480 = -3*i. Is b a multiple of 16?
True
Let p = 45 + -29. Let j = 37 - p. Does 22 divide ((-198)/j)/(4/(-28))?
True
Is 24 a factor of (-2)/3*(-9 - (-675)/(-5))?
True
Suppose 4*v - 54 = 18. Is v a multiple of 4?
False
Suppose 11 = a + 4*a + 3*u, -4*a + 7 = 3*u. Suppose 0 = -4*v + 5 + 251. Suppose -v = -4*m - g + 8, -a*m + 88 = 5*g. Is 13 a factor of m?
False
Is 8 a factor of (-171)/(-7) + (-6)/14?
True
Suppose -f = 5*p - 1, -3*f + 91 = 2*p + 23. Is f a multiple of 13?
True
Let o = 2 - 1. Let v(c) = c**2 - 7*c - 12. Let x be v(8). Let t = o - x. Is t even?
False
Suppose -396 = -3*j + 4*c, 4*j + 230 - 736 = -2*c. Is 8 a factor of j?
True
Does 29 divide 14/28 - 741/(-2)?
False
Let b be (2 + -1)/(2/(-58)). Let p = b - -50. Is 7 a factor of p?
True
Let k = 180 + -115. Is 13 a factor of k?
True
Suppose -5*a = 2*y - 114, -150 = -3*y + 2*a + a. Suppose -2*n + y = -0*n. Does 13 divide n?
True
Let f = 17 - 2. Does 3 divide f?
True
Let j(k) = 10*k**3 + 2*k**2 - k. Let x be j(-2). Let a = 98 + x. Does 14 divide a?
True
Suppose 231 - 78 = 3*a. Let z = -24 + a. Is z a multiple of 21?
False
Does 36 divide (-147)/(-2) + 3/(-2)?
True
Suppose 4*g + 0*g = -2*w + 26, -w - 22 = -3*g. Is g even?
False
Suppose -3*p + p = 56. Let n = 48 + p. Is 12 a factor of n?
False
Suppose 0 = 3*q - 9, -3*k + 2*q + 24 = -2*q. Suppose -3*a + k = -0. Is 2 a factor of a?
True
Suppose -j + 9 = -67. Is 22 a factor of j?
False
Suppose 3*l = -2*l + 4*t + 25, -4*l + 4*t = -16. Does 9 divide (l - 2) + (9 - 7)?
True
Is 16/24 + (-1298)/(-6) a multiple of 31?
True
Suppose -2*s + 4*s = 5*f - 19, 0 = -3*f - 5*s - 1. Let w(d) = 11*d**2 - 4*d + 2. Is w(f) a multiple of 37?
False
Let z be (7 + -5)/(2/8). Suppose -5*x = 4*j - x - 232, 2*x = z. Is j a multiple of 27?
True
Suppose 1420 = 5*t + q, 2*t + q - 568 = 3*q. Does 40 divide t?
False
Suppose 3*a = 7 + 29. Is a a multiple of 6?
True
Let k(z) = 2*z**2 - z + 4. Let q be k(3). Suppose 0 = 4*y - 99 + q. Suppose 3*w - y + 2 = 0. Is w a multiple of 3?
True
Suppose 0*j - 4*j + 36 = 0. Suppose -2*i + 5*i = j. Suppose -x + 8 = -i. Does 4 divide x?
False
Let q be 21*-1*(-6)/9. Suppose -5*y + 100 = 5*h, 3*h = 4*y + 18 + q. Does 10 divide h?
False
Let z = -7 - -10. Let q(b) = 11*b**2 - 5*b + 3. Let y be q(z). Suppose u - 2*p = 21, -4*u - 2*p + y = -u. Does 15 divide u?
False
Let p = 16 + -134. Let n = 22 - 16. Is n/15 + p/(-5) a multiple of 13?
False
Suppose -v - 146 = 21. Let z = -100 - v. Is z a multiple of 19?
False
Is (21/4)/(6/16) a multiple of 2?
True
Is -3 + 5 - 22/(-1) a multiple of 12?
True
Suppose -s - 4 = -5*u, 3*s - 2 = -0*u + u. Suppose s + 20 = -3*i. Let c(y) = -y**3 - 6*y**2 + 4*y - 9. Does 12 divide c(i)?
True
Let w = -24 + 58. Is w a multiple of 17?
True
Let r = 6 + -7. Let o be (-1 + r/(-1))/(-3). Suppose f = -o*f + 3*w + 7, -f - 2*w + 12 = 0. Is f a multiple of 10?
True
Suppose -3*u = -2*k + 268, -4*u = -u + 3*k + 258. Is (2 - u)*(-2)/(-5) a multiple of 12?
True
Let c(i) = 5*i**2 + 4*i + 1. Is 29 a factor of c(3)?
True
Let b be (2/(-6))/((-2)/12). Suppose b - 26 = -2*y. Is y a multiple of 8?
False
Let l(a) = -a**2 - 4*a + 2. Let h be l(-4). Is 10 a factor of 13/2*(h - 0)?
False
Let q = 11 + -7. Suppose 102 = 5*l + q*r, r - 19 = -3*l + 38. Is 13 a factor of l?
False
Let n(c) = 125*c + 3. Is n(1) a multiple of 12?
False
Let l(x) = -x**3 + 8*x**2 - 8*x + 5. Let a be l(7). Let w be -2*a/(4/3). Let n = w - -3. Does 3 divide n?
True
Suppose 3*t - 3*f - 77 - 157 = 0, -4*f + 312 = 4*t. Is 11 a factor of t?
False
Let x(s) = -4*s**2 + 2*s - 1. Let v be x(1). Does 14 divide 2/(v/((-111)/2))?
False
Let c = 4 - 1. Does 7 divide 55/3 + 2/c?
False
Suppose -46 = 5*f + o - 5*o, 0 = -f - 2*o - 12. Is 17 a factor of ((-96)/f)/((-2)/(-10))?
False
Suppose -2*s = -5 + 1. Suppose 82 - 22 = s*m. Does 10 divide m?
True
Suppose -p = -3*n - 114, 3*n = -6*p + 2*p + 396. Is 12 a factor of p?
False
Let d(a) = -1 - 1 + 4*a**2 + 1. Does 13 divide d(-4)?
False
Let r = 12 - 0. Is r*(5 + -1 - 3) a multiple of 6?
True
Suppose -2*g + 46 = -2*a, 5*a = 3*g - 6*g + 101. Does 6 divide g?
False
Suppose i - 16 = 5*i. Let z(k) = -7*k + 5. Does 17 divide z(i)?
False
Let g be -1*1 - 0/7. Let a = g + 8. Is 7 a factor of a?
True
Let x(i) = 3*i**2 - 4*i - 5. Suppose 4 = -2*n + 3*n. Is 13 a factor of x(n)?
False
Let i(h) = -h**2 + 8*h + 13. Let y be i(-9). Is 12 a factor of 2/((-2)/y*4)?
False
Is 16 a factor of ((-10)/(-15))/((-2)/(-306))?
False
Let s(c) = -53*c**3 + 17*c**2 + 3*c. Let v(q) = -18*q**3 + 6*q**2 + q. Let w be 6/4*22/(-3). Let a(i) = w*v(i) + 4*s(i). Is 15 a factor of a(-1)?
True
Suppose -n + 26 = -37. Is n a multiple of 21?
True
Does 12 divide (-38 - -14)/(2/(-6))?
True
Let l(b) = -9*b - 3. Let m be l(-5). Let d be (30/(-9))/((-2)/m). Let y = d - 45. Is 16 a factor of y?
False
Let j(u) = u**2 - 5. Let f be j(0). Let h = 8 + f. Suppose -q + 112 = h*q. Is 14 a factor of q?
True
Let c(i) = -i + 10. Let x(z) = 10. Let k(a) = 2*c(a) - 3*x(a). Does 7 divide k(-9)?
False
Suppose a + 3 = 8. Let o(j) = -j**2 + 7*j - 2. Let y be o(5). Suppose -t - x + 8 = -6*x, 0 = -t - a*x + y. Does 6 divide t?
False
Let i(k) = -26*k + 5. Is i(-5) a multiple of 27?
True
Is 2 a factor of (-3)/((-1)/7*(-2 - -3))?
False
Suppose a = 3*u + 20 + 4, -4 = -u. Is 12 a factor of a?
True
Suppose 2*z + z = 15. Suppose 0 = 2*v + 3*v + 160. Is 7 a factor of (-18)/(-30) - v/z?
True
Suppose -3*p - 108 = -3*y, -5*p = -y + 22 + 2. Suppose -y = -s + 6. Is s a multiple of 15?
True
Let r be 40/15*(-9)/(-2). Is (r - 0)*22/8 a multiple of 19?
False
Let t(n) = -n**3 + 4*n**2 + n - 1. Let y(j) = 2*j - 10. Let m be y(8). Let k be (-21)/(-9) - m/(-9). Does 9 divide t(k)?
False
Let b be ((-9)/((-9)/22))/(-2). Let p = 19 - b. Is 13 a factor of p?
False
Suppose 5*y + 8 = -2*w, -16 = -3*w - y - 2. Suppose -4*d = -l + 21 - w, d + 4 = 0. Is l + (2/1 - -16) a multiple of 9?
False
Let d be 0/(-3*(-2)/6). Suppose -5*r - 9 + 49 = d. Suppose -15 + 1 = -3*k + m, k = 2*m + r. Is k a multiple of 4?
True
Let o(p) = 2*p**2 + 3*p + 4. Is o(3) a multiple of 14?
False
Let d = 16 + 12. Is d a multiple of 7?
True
Let p = 32 + -8. Suppose 0 = -0*v + 2*v - p. Suppose 0*z + 3*z - 2*t = v, -2*z - 3*t + 8 = 0. Is 4 a factor of z?
True
Suppose 0 = 3*t - 5*i - 31, 0*i - i = -5*t + 15. Suppose t*z = -z + 114. Is z a multiple of 15?
False
Let m(p) = p - 11. Let f be m(0). Let k(v) = v**2 + 10*v + 5. Is k(f) a multiple of 3?
False
Let t = 8 - 8. Suppose -4*d + 142 = -f, 7*d - 2*d + f - 182 = t. Is d a multiple of 17?
False
Suppose -2*w - 5*c + 12 = -2*c, 4 = -2*w + c. Suppose w = 3*n + 2*n. Suppose 0 = -4*v - 2*o - n*o + 150, 4*v + 5*o = 141. Does 16 divide v?
False
Let t = -10 + 23. Is t a multiple of 6?
False
Suppose 66*y + 720 = 74*y. Is y a multiple of 8?
False
Suppose -4*c + 0 = -4. Let d be 7 + (c + -2 - -1). Suppose 15 = d*i - 2*i. Is 3 a factor of i?
True
Let h(p) = -p**3 - 4*p**2 + 7*p - 12. Does 8 divide h(-7)?
False
Suppose 0 = 3*k + 2*x - 9, 0*k + 5*x + 3 = k. Let b be 246/21 + (-4)/(-14). Does 16 divide (0 - b)*(-8)/k?
True
Let i(h) = 2*h**3 - 4*h**2 - 3*h + 1. Let j be i(4). Suppose -5*z + 15 = 0, -6*d = -d + z - j. Is d a multiple of 5?
True
Let p be 69 - (-2 - 0/4). Suppose l + 11 = p. Is 11 a factor of l?
False
Let t(p) = p**3 - 7*p**2 + 6*p + 1. Let u be t(6). Let h(n) = 40*n. Is h(u) a multiple of 13?
False
Suppose 4*v - 32 = 4. Suppose t - 2 = 5*t - 3*c, -t - 4*c + v = 0. Let x = 5 - t. Does 3 divide x?
False
Let z(q) = 2*q + 27. Let u be z(-11). Suppose 6*n - 2*v = 2*n + 22, -4*n - 3 = 3*v. Suppose -u - n = -w. Is w a multiple of 8?
True
Let o be (6 - 8) + 13/1. Is 11 a factor of (o + 0)/(2/4)?
True
Let f = -37 - -57. Does 10 divide f?
True
Let g be (-3)/9 + 26/6. Suppose -t - g*h + 4 - 1 = 0, -2*t + 42 = -h. Does 19 divide t?
True
Let z be (-2)/(-4) - (-3)/2. Suppose -4*b + 12 = 2*j - 7*b, 4*b + 23 = 5*j. Suppose 2*q - z*i = 50, j*q - 65 + 2 = -i. Does 8 divide q?
False
Suppose 0 = -r + 3*j + 17, -j + 2*j + 155 = 5*r. Is r a multiple of 32?
True
Let i = 1 + 5. Suppose 4*j - 9 = j + w, -3*j + 2*w + 12 = 0. Is 17 a factor of 3/i*j + 19?
False
Suppose -14 = -2*r + 2*j, -4 = -2*r - 3*j - 0*j. Suppose -3*c + 2*c - 3*q = -14, 6 = -r*c + 4*q. Does 6 divide ((-14)/(-4))/(c/4)?
False
Let