 (-29)/(-3) + 2/f?
False
Let g = -9 - -9. Suppose g = 4*j - 13 - 15. Is j a multiple of 4?
False
Suppose 9 = -3*y + 6*y. Is y*(2 - 2/6) even?
False
Suppose 5 = -s + 27. Is 11 a factor of s?
True
Does 21 divide (-3 - -6)/(2/48)?
False
Let s = 0 + -1. Does 19 divide ((-1)/2)/(s/114)?
True
Suppose 5*o - q = 7, -o - 3*q + 17 = 3*o. Suppose 4*f - o*f = 4. Suppose -f*n = -5*k - 0*n + 57, -5*k - 4*n = -51. Is k a multiple of 9?
False
Suppose -3*l + k + 54 = 0, -3*l + 1 = 4*k - 53. Is l a multiple of 2?
True
Let b(p) = 23*p**3 + p**2 - 3*p + 1. Let i be b(2). Let y(n) = 8*n. Let f be y(6). Suppose i - f = 3*m. Does 15 divide m?
True
Suppose -v = -2*h - 10 - 76, 2*v + h = 147. Does 38 divide v?
True
Suppose u - 5*t = 2*u - 167, -346 = -2*u - 4*t. Does 16 divide u/3 + 0 - 0?
False
Let p(v) = 5*v**2 - 4*v - 1. Is 13 a factor of p(6)?
False
Let u = 145 + -82. Is u a multiple of 7?
True
Let h(x) = -4*x + 1. Let c(p) = -p - 8. Let a be c(-7). Let n be h(a). Suppose k + 14 = 5*t + 38, 0 = n*t. Is 12 a factor of k?
True
Let o(w) = 5*w - 5. Let a(l) = -l**2 - 7*l + 3. Let v be a(-6). Is o(v) a multiple of 15?
False
Let g(d) = d**3 + 3*d**2 + 2*d. Let q be g(-3). Let j be (-200)/q - 4/12. Suppose 73 = 4*w - 5*o, -4*w = o + 2*o - j. Is 5 a factor of w?
False
Suppose -2*z = 5*q - 477, z - 225 = q + q. Does 21 divide z?
True
Let d(b) = b**2 + 5*b**2 - b**3 + 2*b - 3 + 0. Let n be d(6). Suppose n*l - 4*l = 80. Is 8 a factor of l?
True
Let d = -180 - 564. Does 14 divide 4/18 + d/(-54)?
True
Suppose -4*k + 368 + 808 = 0. Suppose 3*r - 278 = 5*d, -3*r - 3*d = -0*d - k. Is 24 a factor of r?
True
Suppose 78 = 2*i - 3*j, 2*i + 2*j + 3*j - 62 = 0. Is i a multiple of 6?
True
Suppose 3*l + l = 12. Let a = -22 - -27. Suppose a*u - 5*x - 57 = 33, -46 = -l*u + 5*x. Is u a multiple of 7?
False
Let p = -10 + 44. Is 17 a factor of p?
True
Suppose -3*x - 252 = -7*x. Is 11 a factor of x?
False
Suppose 4*l - 14 = -2*u + 20, 2*u = 6. Let i(g) = 3*g + 3*g + 0*g - l*g. Does 5 divide i(-5)?
True
Suppose 6*i = 3*i - 5*w + 54, -5*i + 90 = -w. Does 9 divide i?
True
Let j(o) = o**2 + o + 3. Let t = 7 - 3. Is j(t) a multiple of 9?
False
Let c = 4 + -1. Suppose -4*k - 20 = 0, c*k + 151 + 62 = 2*i. Is i a multiple of 29?
False
Does 2 divide 18/(-2)*(-20)/30?
True
Let n(y) = y**3 + 4*y**2 + 3*y + 4. Let d be n(-3). Does 21 divide -2 + d/(4/23)?
True
Let b be -7*(12/7)/1. Let x = -7 - b. Does 5 divide x?
True
Let x(k) = k**2 - 12*k - 44. Is 32 a factor of x(18)?
True
Let j = 6 - 4. Let r(m) = 5*m - 3. Does 7 divide r(j)?
True
Let a be (-6)/3 + (11 - 0). Let u = 5 - 0. Suppose u*t + 2*v = 38, -t + 4 + a = -5*v. Is 6 a factor of t?
False
Suppose -12 = 4*z + 16. Let c(i) = i**2 + 5*i + 4. Is 4 a factor of c(z)?
False
Suppose -3*s + 2*s = 0. Suppose 2*j + s*j - 4 = 0. Suppose -b - 3*c + 30 = -0*b, b - j*c = 5. Is b a multiple of 9?
False
Is 9 a factor of 1 + 28/(-20) + 904/10?
True
Let q(g) = g**2 + 22*g + 11. Let d be q(-19). Suppose -4*u - 61 = -373. Let b = d + u. Is 9 a factor of b?
False
Suppose 2*s = 2*l - 12, 0*l - 4*s - 20 = -2*l. Is l/(-6) - 48/(-9) a multiple of 2?
False
Let m be 1/((4 - 1)/21). Let s(c) = -m*c - 5*c + 2 - c. Is s(-2) a multiple of 18?
False
Is ((-4)/(-2))/((-2)/(-12)) a multiple of 5?
False
Let j be -2 + (-2)/((-2)/(-11)). Let i = 66 + j. Is i a multiple of 19?
False
Let m be (-5)/7 + 12/(-42). Let r(j) = -21*j**3 - j**2 - j. Is r(m) a multiple of 13?
False
Let f be 0/(-4 - (0 - 2)). Let w(c) = 2*c**2 + 41. Is 30 a factor of w(f)?
False
Suppose 2*q - 8 = -2. Let p be ((-2)/(-2)*100)/1. Suppose 44 = q*j - p. Does 16 divide j?
True
Let b(k) = -8*k + 48*k**3 - 2*k**2 - 7 + 6*k**2 - 47*k**3. Let g be b(-5). Let w(s) = s**3 - 9*s**2 + 7*s + 11. Does 2 divide w(g)?
False
Let m = -157 - -297. Suppose 0*u - m = -4*u. Is u a multiple of 16?
False
Suppose -6*r = -536 - 562. Does 50 divide r?
False
Suppose -63 + 463 = 8*d. Is 17 a factor of d?
False
Is 1/((-4)/8)*(0 + -3) a multiple of 2?
True
Suppose 3*b + 4 = -20. Let m(c) = -4*c - 16. Is m(b) a multiple of 16?
True
Suppose w + 2*w = 0. Suppose w = -z + 20 + 4. Does 12 divide z?
True
Suppose -3*w + 0*t - 3*t = -3, 10 = w - 2*t. Suppose -5*j + 5 = -w*j. Suppose 2*a - 3*u = -2*a + 127, -164 = -j*a + 2*u. Is a a multiple of 17?
True
Suppose -5*k = -k - 44. Let n = 24 - k. Does 13 divide n?
True
Let t(m) = m**2 - m + 1. Let w(b) = 2*b**3 + b**2 - 3*b + 1. Let x(i) = 2*t(i) - w(i). Let p be x(-1). Suppose -2*z + 40 = p*z. Is 4 a factor of z?
True
Let p = -6 - -6. Is 5 a factor of (3 + p)*10/6?
True
Let z(a) = 22*a. Is 11 a factor of z(2)?
True
Suppose -24 - 565 = -5*t - 2*d, -2*t + 244 = -2*d. Is t a multiple of 11?
False
Suppose 3*v = -3*i + 12, -v = 3*i - 2 - 6. Suppose -6*h + 44 = -i*h. Does 5 divide h?
False
Is 7 a factor of 4/18 + 935/45?
True
Is 35 a factor of (16/(-20))/4 + (-492)/(-10)?
False
Let d = 107 + -68. Suppose -4*i + 3*i - 2*x = -d, -54 = -2*i + 4*x. Is 5 a factor of i?
False
Is 5*(-1 + (-164)/(-20)) a multiple of 24?
False
Let k(m) = m**3 - 5*m**2 + 6. Let r be k(5). Suppose 4*p - 2*x = 12, -p - 3*x + r = p. Suppose -p*g + 32 + 4 = 0. Does 12 divide g?
True
Suppose -2*o = -f - 1, 0*o + 5*o = f + 10. Suppose 10 = o*h - 2*j + 1, 0 = -2*h + 4*j - 2. Let r(l) = -l**3 + 7*l**2 - 4*l - 2. Is 14 a factor of r(h)?
True
Let x(o) = -14*o. Let w be x(-1). Suppose 5*v + c = w, -v - 4*v + 3*c - 2 = 0. Suppose v*h - 17 = 4*m - 3*m, -m = h - 1. Is 3 a factor of h?
True
Let n(o) = -14*o + 1. Let t be n(1). Let g = 27 - 9. Let b = t + g. Does 5 divide b?
True
Let p(o) = -5*o**2. Let v be p(1). Is 9 a factor of (-17 - v)*(0 - 2)?
False
Let z be (5 + -11)*4/(-6). Let h(s) = s**3 - 2*s**2 + 2*s + 4. Does 22 divide h(z)?
True
Let s = 5 - -152. Suppose 2*w - 3*q = 55, -5*w + 0*q = -q - s. Is w a multiple of 13?
False
Suppose 93 = 2*s - 15. Is s a multiple of 9?
True
Suppose -10*m + 35 = -9*m. Is 7 a factor of m?
True
Let y(o) be the third derivative of -1/3*o**4 + 0*o + o**2 + 1/120*o**6 + 0 - 1/6*o**3 + 1/12*o**5. Is y(-6) a multiple of 8?
False
Is 5/10*444 + 2 a multiple of 32?
True
Let y = 18 + -1. Suppose -k = 2*a - y, 2*a = -3*k - a + 66. Does 9 divide k?
True
Let y = 0 + 64. Let g = 96 - y. Is g a multiple of 16?
True
Let j(n) = -n**2 + 10*n - 7. Let s = -12 + 18. Does 16 divide j(s)?
False
Let q(u) = u**2 - 7*u + 3. Is q(10) a multiple of 13?
False
Suppose -400 = -4*j + b, 4*j - 5*b = -2*b + 408. Is 7 a factor of j?
False
Let o(j) = j**2 + 4*j - 7. Does 7 divide o(3)?
True
Suppose 3*k - 469 = 4*q - 180, -k + 5*q = -100. Is k a multiple of 6?
False
Suppose 0*x - 2 = x, -3*w + 772 = x. Is 43 a factor of w?
True
Let o be (-19)/(-3)*(3 + 3). Suppose 30 + 70 = 4*n - 5*u, 2*u - o = -n. Does 15 divide n?
True
Let d = 19 + 9. Is 14 a factor of d?
True
Suppose 4*o - 2*n - 6 = 12, -2*n - 15 = -3*o. Is 8 a factor of o + -3 + (1 - -18)?
False
Suppose 4*k - 41 - 11 = -4*l, 5*l + 70 = 4*k. Let i = 25 - k. Is 8 a factor of i?
False
Let p(k) = k**3 + 6*k**2 + 2*k - 6. Let h be p(-5). Suppose -4*f = -7 - h. Suppose -5*u = z - 2, 0*z + f*u = 3*z - 25. Is 7 a factor of z?
True
Suppose -20 = -2*l - 3*l. Suppose -h - 5 = -3*x - x, -l*x = 5*h - 23. Suppose 4*d + 19 = 3*v, 15 = x*v + 4*d - 11. Is 6 a factor of v?
False
Suppose -35 = 2*y - 2*l + 57, 5*y = 2*l - 221. Let z = -2 - y. Is z a multiple of 14?
False
Suppose i - 2*i = 0. Suppose -4*t + 160 + 8 = i. Does 14 divide t?
True
Suppose 28 - 151 = -3*f. Suppose -f = -5*x + z - 0*z, x - z - 5 = 0. Does 5 divide x?
False
Let q = -4 + 4. Suppose q*u + 20 = 4*u. Let w(o) = -o**3 + 5*o**2 + 4*o - 7. Does 13 divide w(u)?
True
Let g be -6 - -9 - (1 + -108). Suppose -4*q - p = -0*q - g, 3*q + 5*p - 74 = 0. Is q a multiple of 13?
False
Let k be ((-4)/(-7))/(2/7). Suppose -4*l = -k*l - 36. Is l a multiple of 18?
True
Suppose 2*u - 1 = -2*h - 3*u, 4*h = -3*u + 23. Is h a multiple of 2?
True
Let b(p) = -p**2 - 7*p + 5. Let h be 4/(-14) + (-148)/(-28). Let x be b(h). Is -1 + (0 - 1) - x a multiple of 19?
False
Suppose -9 + 3 = 3*d. Let u be 2 + -1 + d*3. Is (27/u + 1)*-5 a multiple of 8?
False
Let a = 199 - 91. Is a a multiple of 27?
True
Let z be ((-45)/4 - 3)*-4. Let r = 97 - z. Does 15 divide r?
False
Suppose -f = 4*f - 10. Suppose 4*y + 16 + 0 = f*x, -3*y = -x + 10. Is 2 a factor of x?
True
Let j = 11 - 19. 