of x(-24)?
False
Is 44 a factor of (-4)/(2075/346 + -6)?
False
Let g(r) = -r**3 + 12*r**2 + 11*r - 11. Let b be g(9). Let v = 506 - b. Is 35 a factor of v?
True
Is (-91)/(0 + 1/(-20)) a multiple of 13?
True
Let o be 233/((-2)/2*(2 - 3)). Suppose 9*m = 10*m - o. Is m a multiple of 17?
False
Let q = -19 - -23. Suppose 0 = 2*b + c - 10, q*b - 3*b + 2*c + 1 = 0. Does 17 divide (71/5)/(b/35)?
False
Suppose 2*w + 2 = -2*o - 4, -w = 2*o + 5. Let a be (34/8)/(3/24). Does 4 divide 1/o + a/4?
True
Suppose -674 + 102 = -4*k. Is k a multiple of 12?
False
Suppose -2*u + 2*l - 2 = -0, 0 = -3*u - l + 17. Suppose -u*h + 2*j = -854, h - 3*j = 2*j + 191. Is h a multiple of 13?
False
Is (-15)/10*20/(-15) - -466 a multiple of 3?
True
Let v be 6195/63 + 1*1/(-3). Suppose 13*x + v = 15*x. Is 13 a factor of x?
False
Suppose -2*n - 12 = h, -2*h - 2*n = h + 24. Does 28 divide (16/h)/((-2)/21)?
True
Suppose -t - 84 = -7*t. Suppose -24 = -2*p + t. Is 19 a factor of p?
True
Suppose -2*h + 4 = 10. Let a(l) be the first derivative of -3*l**2 + 2. Is a(h) a multiple of 4?
False
Let i(d) = d**3 - d**2 - d. Let u(h) = 4*h**3 - 9*h**2 - 8*h - 4. Let k(f) = 3*i(f) - u(f). Let y be k(7). Is (2 + y/4)*-24 a multiple of 9?
False
Let w = -13 + 13. Suppose w = 5*f + 3 - 13. Is f/6 - (-47)/3 a multiple of 8?
True
Let r be (8*1)/((-7)/(-140)). Let u be r/(-15) + 2/(-6). Is 3/(3/u)*-1 a multiple of 7?
False
Does 91 divide 1145 - (-24)/(-6) - (2 + -3)?
False
Suppose 3*k = -w + 2194, -2*k + 1472 = -135*w + 131*w. Is 9 a factor of k?
False
Suppose -2*g = 6, -4*c + 5*g + 6325 + 1430 = 0. Is c a multiple of 45?
True
Suppose 8*q = 4*q - 8. Let t be 3/q*16/(-6). Suppose 3*b - t*b = -12. Is b a multiple of 4?
True
Suppose 0 = -5*v - 20 + 645. Is v a multiple of 5?
True
Is (-18)/((-5)/((-140)/(-21))) a multiple of 2?
True
Suppose -25 = a - 4*q, 0 = 3*a - 2*q + 3*q + 10. Let r be 29 - (3 - 0/a). Does 5 divide (-10)/(-65) + 334/r?
False
Is -2 - -379 - (0 + 5) a multiple of 4?
True
Suppose 3*l - 9 = 2*g, 2*l - 3*g = 4*l + 7. Suppose -5 + l = -2*i. Does 11 divide 1/i - 43/(-2)?
True
Let c be 6/(2 + -4) - -6. Let u(m) = -3*m**3 - 7*m**2 + 6 - m**3 + 2*m**c + m**3 + 5*m. Is u(-8) a multiple of 14?
False
Let n = 56 + -94. Let q = n - -68. Is 11 a factor of q?
False
Is (-284)/((-8)/(-12) - 2) a multiple of 78?
False
Let h(r) = r**3 - 8*r**2 + 8*r - 8. Let g = 19 - 12. Let l be h(g). Is l/(-3)*-1*-63 a multiple of 6?
False
Suppose -6 = -2*k + 2*g, -2*k - 2*g - 12 = -6*k. Suppose -5*d - 4*m + 435 = 0, k*m = 14 + 1. Suppose -d = -2*n - 11. Is n a multiple of 18?
True
Suppose -156096 = -62*c - 19696. Is 100 a factor of c?
True
Let j = -292 - -421. Suppose -j = 5*h - 2*d, -5*h + d = -16 + 143. Let r = -6 - h. Does 11 divide r?
False
Suppose 17 + 0 = m. Suppose -m*z = -13*z - 228. Is 12 a factor of z?
False
Let v(l) = -9 + 2*l + 6*l - 6*l. Let n be v(6). Let q(d) = 3*d + 5. Is 14 a factor of q(n)?
True
Suppose 0 = 5*n - 0*n - 100. Let r = n + -4. Suppose -2*f = -f - r. Is 8 a factor of f?
True
Let n(q) = 0*q**2 + 21 - 17 - q - 18 + 2*q**2. Is 24 a factor of n(7)?
False
Suppose 0 = -h, 4*l = 3*h + 2*h + 16. Suppose -5 = 2*g - 1, -l*j = -2*g - 72. Does 3 divide j?
False
Let p be (-1 - -4)*(-7)/21*-331. Let o = 531 - p. Does 10 divide o?
True
Let i = 16 - 13. Suppose -2*v + 142 = 4*r, -i*v + 3*r = -167 - 64. Suppose 4*s - v + 3 = 0. Is 5 a factor of s?
False
Let s = -642 - -597. Suppose -75 = 4*j - 5*i, 2*j + 21 = 2*i - 5*i. Let l = j - s. Is 10 a factor of l?
True
Let d = 103 - 61. Let t = -37 + d. Suppose y + 4 = 3*b - 31, 3*y = t*b - 53. Is 4 a factor of b?
False
Let r be (-3)/(-4) + 0 + 8/32. Is (-21 - (-1 + r))*(-1)/3 a multiple of 6?
False
Let u(q) = -q**2 + 12*q - 24. Let h be u(9). Suppose 2*k + 0*k = 4*c - 502, 249 = 2*c - h*k. Is 21 a factor of c?
True
Let d(a) = 7 - 7 - 5*a - 12 - 10. Is 19 a factor of d(-18)?
False
Let q(p) be the first derivative of 2*p**3/3 + p**2 + 18*p + 17. Is 39 a factor of q(-6)?
True
Suppose -229 = 2*k + 4*y - 5*y, -k - 4*y = 92. Let c = 172 + k. Suppose -2*a + c = -18. Is a a multiple of 29?
False
Let j = -952 + 1083. Is j even?
False
Let p = 7 + -7. Let s be (p + 1)/((-5)/(-120)). Suppose -3*h + s = h. Is 3 a factor of h?
True
Suppose -3*s + 853 + 77 = 3*c, 0 = 4*c + 5*s - 1241. Is c a multiple of 34?
False
Let z(b) = 2*b. Let v(w) = -2*w - 1. Suppose -2*x = -x - 2. Let t(y) = x*v(y) + 3*z(y). Is t(2) even?
True
Suppose 3*f = 3*o - 124 - 65, 5*o - f = 307. Is o a multiple of 2?
False
Suppose 5*z = -4*g - 21, -4*z = 3*g - 0*g + 16. Does 14 divide (-2288)/44*(-4 + (-1 - z))?
False
Is (5 - -750)*2*(-18)/(-60) a multiple of 4?
False
Suppose -2*a + 23 = -5*b - 16, -b + a = 6. Let z = b - -13. Suppose -o + z*k = -32, -k + 3*k = 5*o - 70. Is o a multiple of 3?
True
Let h(k) = 6*k**2 + k - 5. Is 38 a factor of h(7)?
False
Let v be 0 + -2 - (-528 + 1). Suppose 135 = -3*a + v. Suppose -3*l - p = -0*p - a, -5*l + 230 = 5*p. Is l a multiple of 11?
False
Let u(j) = -177*j + 8. Let k be u(-2). Suppose -2*y + 2*q + k = 0, 2*q - 7*q - 201 = -y. Does 11 divide y?
True
Let w(v) = -88*v - 40. Is w(-7) a multiple of 18?
True
Let v(x) = -3*x**2 + 11*x - 11. Let g(n) = 2*n**2 - 5*n + 5. Let d(m) = 13*g(m) + 6*v(m). Let j = -1016 + 1013. Is 17 a factor of d(j)?
True
Suppose -2*m + 92 = 5*g - 3*g, -g = 3*m - 50. Let l = g + -26. Is 3 a factor of l?
True
Suppose 0 = -28*g + 12*g + 512. Is g a multiple of 32?
True
Let f = 2195 - 1214. Is f a multiple of 29?
False
Suppose 0*q = -4*q + 2392. Does 13 divide q?
True
Let a = -9 - -12. Suppose r - 235 = -5*q + 110, a*q + 5*r = 229. Is q a multiple of 34?
True
Let f be 48/20*20/6. Let s = -8 + f. Suppose s*w = -2*w + 80. Is 16 a factor of w?
False
Let b be 14/63 - 2/9. Suppose -149 = -3*f + 4*n, 3*f + b*f + 3*n = 135. Suppose f = 2*w + 5*a, -w + 5*a = 3*w - 19. Is w even?
False
Let n = -514 + 312. Let t = n + 300. Is t a multiple of 14?
True
Let o = -3155 + 4835. Is 21 a factor of o?
True
Let o be 798/5*(-5 - 0) - -2. Let k = -556 - o. Is k a multiple of 20?
True
Is 34 a factor of 2 + (-20)/12 + 4610/30?
False
Let i be (-180)/(-6)*(-2)/5. Let r be (-8)/i*9/(-3). Let l(q) = -q**3 + q**2 + 2*q + 3. Does 3 divide l(r)?
False
Suppose 10*a - 1310 = 8*a. Suppose 5*w - a = -5*c, 3*c - 527 = -4*w + 2*c. Is w a multiple of 44?
True
Suppose 5*s - 25 = 5*x, -5*x + 2*x - 3 = -s. Let j = 18 - s. Does 12 divide j?
True
Let y = -128 - -524. Is 22 a factor of y?
True
Let z = -2 - -11. Let h be (7 - z) + (12 - 1). Suppose 2*b - h - 31 = 0. Is b a multiple of 19?
False
Let c = 1460 - 937. Does 17 divide c?
False
Let m = 244 - 185. Is 6 a factor of m?
False
Let r(o) = -4*o**2 - 143*o - 51. Is 6 a factor of r(-35)?
True
Let o be (0 - 0)*(3 + -4). Suppose -5*v = -5*m - 170, m + o*m + 70 = 2*v. Is 34 a factor of v?
False
Let i be (-12)/30*150/(-1). Suppose -w = -6*w + 5*q + i, 5*w - 90 = -q. Suppose -5*z - w = -2*g - 6*z, -4*z = 20. Is g a multiple of 4?
False
Let l be 2/3 + (-38724)/63. Is l/(-4) - (-4)/(4 + 4) a multiple of 14?
True
Let a(k) = k**2 - 3*k + 312. Is a(42) a multiple of 26?
True
Suppose -a + 2181 = -4*v + 9*v, 4*v - 5*a - 1768 = 0. Is v a multiple of 19?
True
Let n(y) = y**3 - 15*y**2 + 2*y + 22. Let t be n(15). Let l = t - 33. Does 7 divide l?
False
Let j be (10/(-6))/((-3)/((-18)/(-2))). Suppose 0 = j*g + m - 423, -5*m + m - 72 = -g. Does 28 divide g?
True
Suppose -33*w = 5*w - 3876. Is 28 a factor of w?
False
Let a(w) = -7*w + 4. Let c be a(-2). Suppose 0 = 7*q - 2*q - 10. Suppose h = -q*h + c. Does 3 divide h?
True
Let g(n) = -70*n - 15. Let u be g(-3). Suppose 3*r + u = 8*r. Is 12 a factor of r?
False
Is 142*(-16)/28*-7 a multiple of 9?
False
Let i(z) = -z**3 + 17*z**2 + 2*z - 20. Let w be i(17). Suppose 3*g - 2 + w = 0. Let q = g + 8. Is q a multiple of 3?
False
Let m = -2161 + 2757. Does 27 divide m?
False
Suppose 5*w = -25, -7 = -2*o - 5*w - 26. Suppose -7*b + o*b = -8. Is 28/b*(-1)/(-2) even?
False
Suppose 6 = 2*c - 5*c. Let b be ((-6)/12)/(c/12). Does 5 divide (-123)/(-12) - b/(-4)?
False
Let t(k) = -7*k**2 - 311*k - 34. Is 28 a factor of t(-30)?
True
Let q be (-39 - -8 - 2)*1. Suppose 2*i = -2*i + 240. Let z = i + q. Is z a multiple of 9?
True
Let m = -51 - 4. Let p = m + 150. Is p a multiple of 19?
True
Suppose 5*p - 689 = 236. Suppose 64 - 434