+ -1149. Is f a multiple of 12?
False
Let x be 15/10*(-4)/(-2). Suppose -a - 3 = 0, -24 = -x*o + 5*a - 9. Suppose -2*l + o*l + 56 = -3*z, 4*z = 5*l - 126. Is l a multiple of 11?
True
Suppose 10*s - 630 = 7*s. Is s a multiple of 7?
True
Suppose -j + 5 = -0*j. Let b(v) = -v**3 + 6*v**2 + 4*v + 7. Let z be b(j). Let p = z + -20. Does 16 divide p?
True
Let a(t) = -t**2 + t + 4. Let m be a(-2). Is (-1395)/(-20) + m/(-8) a multiple of 10?
True
Let x = 636 + -235. Is x a multiple of 57?
False
Let q(o) = -9*o - 10. Let f be q(-6). Let y = f + -23. Is y a multiple of 11?
False
Does 7 divide 9/((-18)/(-868)) - (10 - 10)?
True
Let s(o) = 51*o**2 - 2*o - 5. Let x be s(2). Let i be 2002/(-18) - (-4)/18. Let b = x + i. Is 26 a factor of b?
False
Let q = 130 + -95. Suppose 31*b - q*b + 228 = 0. Is 9 a factor of b?
False
Let j(b) = b**3 + 6*b**2 + 3*b - 8. Let y be j(-5). Let p be 1*(-1)/y*-58. Let u = -12 + p. Does 6 divide u?
False
Let u = -222 + 181. Suppose f + 2*i = -101, 2*i - 85 = 2*f + 93. Let z = u - f. Is 16 a factor of z?
False
Suppose -5*u = -2*d - 0*d + 209, -d + 118 = 2*u. Let f be 24672/d - 4/14. Suppose -c - f = -6*c. Is 10 a factor of c?
False
Let r be (2 + (-1 - 2))*-83. Suppose -2*k = -3*g - r, -129 = -2*k - 4*g - 39. Suppose -2*m = 5*s - k, 14 = m + 4*s + s. Does 29 divide m?
True
Let d be (-110)/8 + (-2)/8. Is 12 a factor of 18*(-1 - d/6)?
True
Does 14 divide (-4864)/(-48) - (-4)/6?
False
Suppose 4*w = -l - 8, -3*l - 14 = -5*l - 2*w. Suppose 269 + 115 = l*m. Is 10 a factor of m?
False
Suppose 3*y = -0*h + 3*h + 33, -3*h + 95 = 5*y. Suppose -4*k = -3*a - 28, 5*k = 3*a + 2*a + 40. Let s = k + y. Is s a multiple of 4?
True
Suppose -u - 3*d = -70, -5*d + 14 = 3*u - 216. Is u a multiple of 7?
False
Let y = 10 + -13. Let c be y + (-3)/((-12)/(-340)). Is 11 a factor of (c/(-16))/(2/4)?
True
Suppose u - x = 2871, -23*x = -21*x. Is 17 a factor of u?
False
Is 4 a factor of -16*2*(14 - 29)?
True
Suppose -d - 6 = d. Let s(w) = -w**3 + 6*w + 1. Let z(l) = 2*l**3 - l**2 - 19*l - 2. Let x(a) = 7*s(a) + 2*z(a). Is x(d) a multiple of 18?
True
Let a(l) = -l**2 - 6*l - 5. Let d be a(-4). Suppose k - d*k = 0. Suppose k = -11*z + 8*z + 138. Is 12 a factor of z?
False
Suppose -6*t - 52 = 38. Is ((-10)/(-5) + -5)*t a multiple of 28?
False
Let i be 1*((-1)/3 - 6/9). Let f = i - -13. Is 3 a factor of f?
True
Let q be (-6)/(-9) - 5264/(-24). Does 4 divide ((-6)/10)/((-11)/q)?
True
Let h = -13 - -9. Let d = h + 4. Suppose 5*n + 14 - 94 = d. Does 7 divide n?
False
Does 39 divide (6 - 4368/6)/(-2)?
False
Suppose 0*h + 4*h - 8 = 2*z, 4*z - h = 12. Suppose -j - 3 = z. Let r(y) = y**3 + 7*y**2 - y + 1. Is 2 a factor of r(j)?
True
Suppose -4*u + 20 = 4*d, d + 20 = 4*u - 3*d. Suppose -2*r - 30 = -5*q, -2*r = -5*r - 5*q + u. Does 12 divide ((-185)/(-25))/((-1)/r)?
False
Suppose -4*n - 188 = -5*s - 3*n, -150 = -4*s + n. Suppose -3*o - s = -185. Is 27 a factor of o?
False
Let w be 1/(((-8)/4)/8). Let t = -190 - w. Is 9 a factor of t/(-7) + 9/21?
True
Does 10 divide (4380/(-21))/((-8)/84)?
True
Suppose -2*t + 3*r = -111, -3*t - 4*r - 62 + 220 = 0. Does 18 divide t?
True
Let x(o) = 186*o**2 + 7 + o**3 + 20*o - 141*o**2 + o**3. Is x(-22) a multiple of 5?
False
Let i(x) = x**2 - 1. Let a(b) = 3*b**2 - 31*b + 42. Let z(m) = -a(m) + 2*i(m). Is 9 a factor of z(21)?
False
Let l = 232 - -174. Is l a multiple of 16?
False
Let h(x) = -2*x**2 - 13. Let u be h(-4). Let v = u + 49. Does 4 divide v?
True
Let g(l) = 8*l**2 + 12*l - 48. Does 8 divide g(4)?
True
Suppose 0 = -4*b + 13 - 29, -5*b - 114 = -2*y. Is 31 a factor of y?
False
Suppose -5*x + 129 = -111. Let b = x - 26. Suppose -4*m - 2*p + b = -m, 3*m - 2*p = 14. Is 3 a factor of m?
True
Suppose -12 - 8 = -5*v. Suppose -m = -i - 2*i + 8, v*m + 2 = 2*i. Suppose 6*h - 12 = i*h. Is 4 a factor of h?
True
Suppose -8 = -21*f + 20*f. Does 6 divide f?
False
Let k(f) = -7*f**3 - 3 + 2*f**2 + 0*f**3 + 7*f**3 + 3*f - 13*f**3. Is 13 a factor of k(-2)?
False
Suppose -19 = -3*x - 0*j + 2*j, -j - 11 = -2*x. Suppose -5*u - 80 = -5*w, -x*w + 30 = 2*u + 7. Suppose 3 - w = -m. Is m a multiple of 4?
True
Let i = 51 + -47. Suppose -128 = -2*y - i*l - 50, 0 = y - l - 54. Is y a multiple of 11?
False
Is 17 a factor of 1762/8 - (-102)/136?
True
Let u(o) = o**3 - o**2 - 3*o. Suppose -2*x = -x. Suppose 4*d - 20 + 8 = x. Is 2 a factor of u(d)?
False
Is 38 a factor of (2/10)/(6/6330)?
False
Suppose -2*n + 4*q - 4 + 14 = 0, 0 = -4*n - 5*q - 6. Suppose 28*j + n = 27*j. Is 160/6 + j/(-3) a multiple of 9?
True
Let a(v) = 4*v**2 - 2*v + 1. Let l be a(1). Suppose y + p = 111, -4*y - y = l*p - 551. Suppose -n + 3*n + 4 = 0, n = -3*i + y. Is 21 a factor of i?
False
Let v(c) = c**2 - 8*c + 9. Let u be v(7). Suppose 0 = -5*l + 67 - u. Is 3 a factor of l?
False
Suppose -52*q - 18*q = -229740. Is q a multiple of 74?
False
Does 13 divide (3/(-2))/(52/104) + 5743?
False
Let b = 174 - 123. Let x = b + 7. Is 3 a factor of x?
False
Suppose -y = y - 4. Suppose -5*c - 3*l = 13, c - l + 0*l + 9 = 0. Is 11 a factor of (-348)/(-30) - y/c?
False
Let j(a) = a**2 + 4*a - 7. Let f be j(5). Suppose -k + 12*k + 209 = 0. Let l = f + k. Does 7 divide l?
False
Is 73 a factor of 459/(3/20*5)?
False
Let b(g) = -g**2 + 106. Suppose -2*y + 4 = -5*q, -2*y + 4 = 2*q - 4*q. Is 12 a factor of b(q)?
False
Is (0 + -77)/(83/(-166)) a multiple of 7?
True
Suppose 4*d + 1 = 9. Suppose 0 = -d*a + 4*a. Let f(j) = -j**3 + 17. Does 17 divide f(a)?
True
Suppose 5*d = -25*d + 2640. Is d a multiple of 17?
False
Let a(t) = 21*t**2 - 14*t + 55. Let r(h) = -11*h**2 + 7*h - 27. Let l(g) = 6*a(g) + 11*r(g). Does 13 divide l(6)?
False
Let c = -34 + 271. Let f = 403 - c. Does 13 divide f?
False
Suppose 4*s - 85 = 267. Suppose 5*b + 2*u - 204 = 16, -s = -2*b - 4*u. Does 4 divide b?
True
Suppose 0 = 25*v - 35714 - 13386. Is 41 a factor of v?
False
Let p(f) = f**3 + 8*f**2 - 1. Let g be p(-8). Let l be 45*((-4)/12)/g. Suppose 3*w + d + 0*d - 69 = 0, -l = 5*d. Is w a multiple of 19?
False
Let h = -37 + 747. Is h a multiple of 10?
True
Suppose -7*u + 4*u = -3. Suppose -2*s = 7 - u. Does 12 divide (1 - (s - 8))*1?
True
Suppose 5*z - 1176 = 4*r, 0 = -2*z + 3*z - 2*r - 240. Is z a multiple of 4?
True
Let f = -9 - -6. Let n be -2*((0 - f) + 2). Let j = n - -19. Does 3 divide j?
True
Suppose -4*c - 30 = -7*c. Suppose -4*y + 30 + c = 0. Suppose 3*x = -4*s + 241, -4*s + 6 + y = 0. Is 25 a factor of x?
True
Let x be 0 - 1 - 1 - -4. Let m(s) = -4*s - 2. Let h be m(x). Is (-2 - -1)*(h - -1) a multiple of 9?
True
Let o(a) = a**3 + 62*a**2 + 84*a + 282. Is o(-59) a multiple of 58?
False
Let c(r) = r**3 + 2*r**2 + 9*r + 4. Let l be c(-3). Let j = 12 - l. Does 22 divide j?
True
Suppose r - 21*l + 20*l - 2970 = 0, -5*r - 2*l = -14864. Does 27 divide r?
False
Let q(f) = f**3 - 7*f**2 - 13*f. Let t be q(9). Suppose -2*p + 35 = 2*l - l, 3*l - t = -2*p. Suppose 0*g + g = p. Is g a multiple of 15?
True
Suppose -5*f - 3*i = -2993, -88 + 2476 = 4*f - 4*i. Is f a multiple of 21?
False
Let q = 114 + -115. Is 11 a factor of (7 - 3) + (-44)/(0 + q)?
False
Let g(u) = 134*u**2 - 2*u - 4. Is g(2) a multiple of 24?
True
Let y = -28 - -2. Let t be (-6 + 9)*y/(-3). Suppose -3*p = -6, 4*s - 2*p - t = 2*s. Is s a multiple of 10?
False
Suppose 4*w + w = 2*x - 558, 4*x - 3*w = 1088. Does 3 divide x?
False
Let t = 32 + -26. Suppose -t*r + 9*r + 2*q = 969, 323 = r - 4*q. Does 17 divide r?
True
Suppose 0 = -33*y + 12127 + 17474. Is y a multiple of 66?
False
Let w(x) = x**3 + 5*x**2 - 2*x. Let m be w(-4). Let o = m - 24. Suppose -5*b = -o*b - 220. Does 11 divide b?
True
Is ((-24)/(-18))/(-3*3/(-1485)) a multiple of 22?
True
Let o(r) = 22*r - 112. Does 5 divide o(6)?
True
Let o(c) = 21*c - 569. Is 3 a factor of o(28)?
False
Let z(q) = -4*q**2 - 6 + 6*q**3 + 5 + 4*q - 5*q**3. Let y be z(3). Suppose -2*r = -3*l - 16, 5*r = -y*l + 3*l + 40. Is 8 a factor of r?
True
Let y be 3 - (1 - 151)*1. Suppose y = 2*r + 63. Suppose -4*q = -r - 79. Is q a multiple of 13?
False
Suppose 2510 = 5*w - 5*h, -78 = -4*w - 5*h + 1948. Is 6 a factor of w?
True
Let y be (6/9)/((-6)/(-45)). Suppose -y*c = -5*h - 215, 227 = c + 4*c + h. Let d = -6 + c. Is d a multiple of 14?
False
Let u be (-2)/((12/(-9))/(-2)). Is u - ((-215)/7 - 8/28) a multiple of 8?
False
Let f(g) = -g**3 - 11*g**2 +