*f - 175 - 281. Is 22 a factor of f?
False
Does 7 divide -6*(2 - 6) + 1?
False
Does 33 divide (-2)/(-19) + 15040/76?
True
Let w(f) = 2*f**2 - f - 2. Let h be w(-2). Suppose x + 8 = 2*p - 5, -p + x = -h. Suppose -2*c + 4*o = -c - 30, 0 = o + p. Is c a multiple of 5?
True
Let h(m) = -m**3 + 2*m**2 - 3. Suppose 0*d - d + 4 = 0. Suppose 0 = -0*g - g + k - 5, d*g = 3*k - 18. Is h(g) a multiple of 21?
True
Suppose 2*j = k + 152, 209 = 5*j - 3*k - 171. Suppose 0 = 8*z - 4*z - j. Let x = z - 9. Is x a multiple of 10?
True
Let g be 0 + 1/(3/45). Suppose 0 = m - 4*m + g. Is 2 a factor of m?
False
Suppose 0 = -9*x + 11*x - 112. Is 4 a factor of x?
True
Suppose 0 = -2*c - 5*k + 33, -2*c - 3*k + 59 = 2*c. Is 5 a factor of c?
False
Let x(w) = -6*w**3 - 5*w**2 + 8. Let v(b) = 7*b**3 + 6*b**2 - 7. Let r(d) = 5*v(d) + 6*x(d). Is r(0) a multiple of 8?
False
Let b(z) = -5*z + 2. Let w be b(-5). Let r = w + 13. Is r a multiple of 12?
False
Suppose 30 = 2*u + 6. Let t = u - -6. Does 12 divide t?
False
Let v = -4 - -6. Suppose 2*g - 2*z - 16 = -v*g, -4*g = -3*z - 16. Is 8 a factor of 1/g + (-252)/(-16)?
True
Suppose -2*s - o = -s, 3*s = 4*o. Suppose -4*k + k + 96 = s. Does 8 divide k?
True
Let y(r) = -3*r**3 + r**2 - r - 1. Suppose 0 = -v - 2*v - 3. Let d be y(v). Suppose d*w - 77 + 25 = -2*u, -4*u = -4*w - 68. Is 10 a factor of u?
True
Suppose 0 = 5*i + 10, 2*m + 4*i = i - 6. Suppose 2*v = -m*v + 36. Does 9 divide v?
True
Is 2 a factor of (6 + -3)/(-12) - (-90)/8?
False
Let c(w) = w**3 - 2*w. Let b be c(2). Is 1*(b - 3) + 18 a multiple of 6?
False
Suppose u + 3*u - 300 = 0. Is 19 a factor of u?
False
Suppose 4*f = s - 23, 2*f - 5 = s - 36. Is s a multiple of 13?
True
Let b(k) = 22*k**2 + k + 1. Let t(h) = -h**3 + 6*h**2 + h - 4. Let r be t(6). Let v be b(r). Suppose 0 = -4*p + x + v, -4*p = -x - 3*x - 76. Does 12 divide p?
True
Let k(y) = -y - 2. Let h be k(-4). Suppose h*j = -10, 4*q + 3*j = q + 84. Is q a multiple of 10?
False
Suppose 0 = 5*w - 2 - 8. Suppose -w*d - 8 = -4*d. Is 17 a factor of ((-1)/2)/(d/(-136))?
True
Let q = 35 - 10. Is q a multiple of 16?
False
Let m be (-2)/(-7) - 104/(-28). Suppose -l = -9 - m. Is l a multiple of 5?
False
Let c(n) = 3*n + 3. Let g be c(-5). Let p be (-4)/g - (-193)/(-3). Let o = 106 + p. Is o a multiple of 15?
False
Suppose b - 5*s = -8, 0*b + 5*s - 2 = 4*b. Let t = b - -2. Suppose 0 = -t*h + 4*v + 36, 30 = 2*h + v + v. Is 12 a factor of h?
True
Let n(o) = 9*o**2 + 1. Does 8 divide n(2)?
False
Suppose -3*k + 326 = 2*k + b, 3*b = 5*k - 322. Is k a multiple of 13?
True
Let c(h) = 6*h**2 - 1. Let k be c(-2). Suppose k = 4*i - 41. Does 8 divide i?
True
Suppose -495 = -5*j - 170. Is 14 a factor of (-16)/24 - j/(-3)?
False
Suppose c - 1 - 3 = 0. Suppose -w + 5*r = r - 50, c*w - 5*r - 145 = 0. Is w a multiple of 6?
True
Suppose 6 = -y + 92. Is y a multiple of 11?
False
Let l(s) = 5*s**2 + 1. Let f be l(4). Suppose -b + f = 2*b. Suppose q - k - b = -6*k, -q + 25 = 3*k. Does 11 divide q?
True
Let m be 0 + 3 + (2 - 5). Suppose m*u = u - 31. Does 17 divide u?
False
Let f(m) = -m**3 - 5*m**2 + m + 5. Let l(h) = h - 1. Let v(s) = f(s) - l(s). Let o be v(-5). Suppose 2*x + o = 3*g, -x - 22 = -4*g - 3*x. Is 4 a factor of g?
True
Let u(p) = -10*p**2 + p - 2. Suppose -5*o = -7 + 17. Let q be u(o). Let k = -28 - q. Is k a multiple of 8?
True
Suppose -2*x + 16 = 4*w, -3*w = -0*x + 3*x - 15. Let h be (-1)/(((-9)/78)/w). Suppose -9 - 3 = -4*q, 4*c - 2*q = h. Does 5 divide c?
False
Suppose 20*t - 23*t = -9. Let c(h) = h**2 - 3*h + 2. Let s be c(2). Suppose -5*v + t*v + 50 = s. Is v a multiple of 9?
False
Let s(a) = 17*a - 1. Let f be s(9). Suppose -5*x - f = -t + 3*t, -4*x = -5*t + 115. Let v = x + 63. Is v a multiple of 12?
False
Suppose q + 4*b - 67 = -b, -2*b + 289 = 5*q. Does 25 divide q?
False
Let u(y) = y**3 - 7*y**2 + 15*y - 2. Let a(n) = n**3 + n + 1. Let o(z) = -2*a(z) + u(z). Does 14 divide o(-9)?
False
Let u = -60 - -106. Is 11 a factor of u?
False
Suppose 4*z = -100 - 28. Let i = z - -63. Is i a multiple of 17?
False
Let s(v) = 2*v**3 + v**2 + 3*v - 1. Let x be s(2). Suppose 0 = 5*n - x, -5*c + 4*n + 180 = -c. Is c a multiple of 15?
False
Let h(l) = -2*l**3 + 16*l**2 + l - 5. Does 22 divide h(7)?
False
Suppose 8*d - 5 = 171. Is d a multiple of 11?
True
Let l(x) = -9*x. Let p be l(1). Suppose -10 = -4*c + 82. Let g = c - p. Does 16 divide g?
True
Suppose 2*u - 4*q = -12, 3*q + 24 = 2*u + 8*q. Let w = 67 - 50. Suppose u*b - 55 = w. Is 12 a factor of b?
True
Let l be 1/(-3)*(186 + -3). Let r = l + 85. Suppose 0 = -5*d + 3*d + r. Is d a multiple of 10?
False
Suppose o = -5*u + 2*o + 20, -23 = -u + 4*o. Is (-2 - 16)*(-1)/u a multiple of 6?
True
Suppose -4*y + 65 = -67. Is y a multiple of 6?
False
Let x be (1 - 4)/(3/(-40)). Let u = x + -10. Does 15 divide u?
True
Suppose -2*y + 15 = -129. Is y a multiple of 12?
True
Let p = -27 + 19. Is 3 a factor of -2*(4 + 76/p)?
False
Let f = -7 - -37. Is 30 a factor of f?
True
Suppose -12 = -5*r + j, 4*j - 6 = 6. Suppose 30 = 4*x + 3*a, r*x - 2 = 5*a + 6. Is x a multiple of 3?
True
Is 15 a factor of 579/7 + 2/7?
False
Let g(b) = -b + 57. Suppose -2*m - 3*f = 0, 5*f = 2*m + 2*m. Is 19 a factor of g(m)?
True
Suppose -3*b = 2*n - 117, -5*b - n = -2*b - 117. Is b a multiple of 10?
False
Suppose 2*x - 3*v - 48 = x, 4*x = -2*v + 248. Is 12 a factor of x?
True
Suppose 5*j - 3*k = 503, -72 = 4*j - k - 480. Let u = j - 60. Is u a multiple of 16?
False
Let o(l) = -l**3 + 5*l**2 - 5*l. Let g be o(4). Let d = 1 - g. Suppose d*t - 29 = 16. Does 4 divide t?
False
Let o(x) = -x**2 - 7*x - 5. Let y be o(-6). Is 2 - (-14)/y*1 a multiple of 8?
True
Suppose 3 = -3*i, 0*r + 4*i - 58 = -r. Is r a multiple of 9?
False
Does 9 divide 112/(10/15 + 0)?
False
Let l(x) = 0*x**3 - x - x**3 - 3*x**2 + 4*x. Let j = -18 - -14. Does 4 divide l(j)?
True
Suppose -2*o + 53 = -g, -13 = -2*o - 3*g + 20. Suppose -4*x = 2*s - o, -2*s + x = 2*x - 21. Suppose -s = -q - q. Is q a multiple of 5?
True
Let t = -6 - -9. Suppose -17 = t*k + 40. Let f = k - -42. Is f a multiple of 15?
False
Suppose 3*z - 1 = 5*i, -3*i = -5*z - 0*i + 7. Suppose -z = 2*u - 4*u, 5*u = 5*p - 115. Is p a multiple of 12?
True
Suppose 5*m + 103 - 13 = 0. Let c be 15/(-25) - m/5. Suppose -4*u + 24 = 4*r, c*u - 3*r + 0*r = 0. Is u a multiple of 3?
True
Suppose i = 4*i. Suppose -4*w + 2*h + 192 = i, 2*w + 0*h = -h + 88. Let f = w - 31. Does 6 divide f?
False
Is 48 a factor of 6/(-4) - (-5247)/18?
False
Suppose -5*z + 45 + 275 = 5*b, 8 = 2*z. Does 12 divide b?
True
Let j(a) = a**3 - 5*a**2 - a + 6. Let l be j(5). Suppose l = -q + 3*t, 0*q - 2*t + 8 = 3*q. Suppose 3*x + y = q*y + 42, 4*x - 75 = -5*y. Does 14 divide x?
False
Is (-1)/((1/(-9))/1) a multiple of 2?
False
Let w(s) = -78*s + 7. Does 19 divide w(-2)?
False
Let z = 14 + 76. Is z a multiple of 18?
True
Let c be ((-6)/(-8))/(2/(-24)). Suppose 0 = 5*y + 2*l + 10, 2*l = 6*l. Is (y + 4)*c/(-2) a multiple of 9?
True
Let z = -54 + 5. Let g = -34 - z. Is 5 a factor of g?
True
Suppose -4*u + 375 = -245. Does 11 divide u?
False
Suppose 0 = -2*x - 5*f - 13, 8 = -0*x + 2*x - 2*f. Let r = x - -4. Suppose -8*a + 24 = -r*a. Is 4 a factor of a?
True
Suppose -j = 2*j - 21. Let b(p) = 3*p + 2 + 6*p**2 - 9*p - p**3 + 8 + 2*p**2. Is b(j) a multiple of 17?
True
Let h(p) = -9*p + 14. Let n be h(-10). Suppose j - n = -j. Suppose 20 = 4*s - j. Does 18 divide s?
True
Suppose 5*d = -4*j + 15, 2*d - 21 = -5*j - 2*d. Suppose 0 = j*w - 0*n - 2*n - 39, -6 = -2*n. Is w a multiple of 3?
True
Suppose 4*k = 2*d + 1024, -3*k + 225 + 543 = 5*d. Is k a multiple of 13?
False
Let k = 227 - 119. Is 36 a factor of k?
True
Let p(f) = 3*f**2 + 5*f - 2. Is 13 a factor of p(3)?
False
Suppose 3*g + 15 = 3*q, 0 = 3*q - 7*q - 5*g + 47. Suppose 30 = -5*r - j + 6*j, 0 = 4*r + j + 34. Does 10 divide ((-10)/q)/(1/r)?
True
Suppose -4*p - 124 = -3*v - v, 0 = -p. Let g = v + -9. Suppose -g = -2*h + 26. Is h a multiple of 12?
True
Is (-63)/((-1)/14*3) a multiple of 19?
False
Does 48 divide 1*292 - (12/(-3))/(-1)?
True
Suppose 2*o + 3*o = 25. Does 3 divide o?
False
Suppose 2*g = -g + 588. Let d = 134 - g. Is 16 a factor of (d/(-4))/((-2)/(-4))?
False
Let z(u) = -u**2 + 5*u - 3. Let o be z(3). Suppose -3*n + 5*t = -160, -2*n - 204 = -6*n + 2*t. Suppose k = o*k - n. Is 9 