 x?
False
Let g = 34 + -31. Suppose -4*m = -3*x - 519, g*x + x + 516 = 4*m. Is m a multiple of 12?
True
Suppose -5*b = -3*s + 4389, 3*s - 8*s - 2*b = -7315. Does 25 divide s?
False
Suppose 5*l = i + 75, 17 - 2 = l - 5*i. Is (l/(-10))/(2/(-12)) a multiple of 7?
False
Let i = -7 - -53. Suppose -3*g = 5*z - 10*z + i, -28 = -4*z - 2*g. Suppose z*t = 3*t + 40. Is t a multiple of 5?
False
Let c = -572 - -1272. Is c a multiple of 14?
True
Let a be ((-1)/(10/(-6)))/((-4)/(-20)). Suppose -2*d = a*v - 63, 0*v + 3*v = -d + 39. Is 6 a factor of d?
True
Let b be 18*((-2)/(-4) + (-91)/(-42)). Suppose 3*j - 24 = b. Is j a multiple of 6?
True
Let m(a) = -a**2 + 20*a - 24. Let x be m(18). Let u = 15 + x. Let y = -4 + u. Is y a multiple of 11?
False
Let h be 2*3 - (12 + -9). Suppose -5*d - 189 = -3*q - 44, h*d - 145 = -4*q. Let n = -22 + q. Is n a multiple of 6?
True
Let x(f) = 29*f**2 - 12*f - 4. Does 8 divide x(-3)?
False
Suppose -2*k - 256 = -2*v, 0 = -3*k + v + 85 - 461. Let n = -74 - k. Is n a multiple of 5?
True
Let p = 15 - 18. Let d = 9 - p. Is d even?
True
Suppose -7*p + 25 + 17 = 0. Let a = p + -7. Is ((-4)/(-2))/(a/(-10)) a multiple of 6?
False
Let v(k) = -k**2 + 19*k + 1. Let n be v(19). Is n/((-7)/(-702)) + 2/(-7) a multiple of 11?
False
Let m be (12/(-10))/(2/(-10)). Suppose -5 + 29 = 6*h. Suppose m*x = h*x + 28. Is 14 a factor of x?
True
Let a(f) = 5*f**2 + 0*f**2 + 0 - 6*f + f**3 - 8. Let g be a(-6). Let k = g - -38. Is k a multiple of 9?
False
Let c = 398 - 308. Does 15 divide c?
True
Let x = -1 - 1. Let w = 4 - x. Does 5 divide ((-2)/(-4))/(w/288)?
False
Suppose -q + 36 = q. Let h = q + -12. Suppose -p - 55 = -h*p. Is p a multiple of 2?
False
Let w(q) = 23*q + 4. Let h(u) = 23*u + 4. Let g(t) = -6*h(t) + 5*w(t). Is 16 a factor of g(-3)?
False
Let k be (-4)/(-3)*(25/10 + -1). Does 37 divide (2 - 107*-2) + k?
False
Let y(o) = 82*o - 1. Let v be (0 + 1 - 2) + 2. Does 27 divide y(v)?
True
Let k be (4 + 2 + -5)*-94. Let w be -2 - (-20)/8*k. Is (-3)/(-6) - w/6 a multiple of 20?
True
Let g(v) = -v**3 + 4*v**2 + 6*v - 1. Let i be g(5). Let k be (10/i)/((-3)/(-6)). Suppose k*w - 4*q - q - 165 = 0, -2*w + 74 = -4*q. Is w a multiple of 13?
False
Let x = -44 + 46. Is 4 + -3 + ((-18)/(-3) - x) a multiple of 5?
True
Suppose -111 = -2*i + 251. Let y = -74 - i. Is (y/(-6))/(-5)*-2 a multiple of 5?
False
Let j(l) = -3*l**3 - 22*l**2 + l - 4. Let t be j(-8). Suppose t - 756 = -4*i. Does 10 divide i?
True
Suppose 2*r + 2 = -y - 4, -9 = 3*r + 2*y. Does 18 divide (-19 - 0)*r/1?
False
Suppose -2*z = -8 - 12. Let s(h) = 2 + 2*h + 23*h**2 + z*h**2 + h**2. Is 8 a factor of s(-1)?
False
Let b(x) = 80*x**2 + 22*x + 39. Is 105 a factor of b(-2)?
True
Suppose 1 = 3*z - 11. Let q(u) = 3 + u - z*u - 2*u. Is 9 a factor of q(-3)?
True
Let j(c) be the second derivative of -4*c**3/3 + c**2 + 7*c. Is j(-2) a multiple of 8?
False
Let u = 19 - 21. Let r be (-1 + 3)*(u + 1). Let h(m) = 5*m**2 - 3*m - 1. Does 5 divide h(r)?
True
Does 58 divide 348/(-1)*5/(-10)?
True
Suppose -4*y = y - 20. Suppose y*s - 14 = 18. Suppose -s = -2*d + 6. Is d a multiple of 2?
False
Suppose -3*t + 2 = -16. Suppose -5*z - 185 = -3*v, -3*v + 2*z = -t*v + 178. Suppose 0 = 7*g - 5*g - v. Is g a multiple of 10?
True
Is (-2)/4 + 16317/42 a multiple of 4?
True
Suppose -2*h = -c - 25, -6*c + c = 5*h - 55. Suppose h*u = 3*u + 2664. Is u a multiple of 40?
False
Suppose 4*p - 19 = -2*x + 219, -2*p = 0. Let u be (-95 + -1)/(33/22). Let h = u + x. Does 24 divide h?
False
Suppose 3*c - 25 = -5*s - 0*c, 2*c = -5*s + 20. Suppose -v - 3*v + 1050 = -s*d, -2*v + 534 = 2*d. Does 33 divide v?
True
Let c(f) = -f**2 - 6*f - 9. Let a be c(-6). Let q be 2 - (-1 + (-60)/(-2)). Let l = a - q. Does 12 divide l?
False
Let t(k) = -880*k**3 - 2*k**2 + 1. Is 24 a factor of t(-1)?
False
Let a = 2 - -1. Suppose 0 = -3*g - 0*k - 3*k + 75, 4*g + 3*k - 103 = 0. Suppose -a*c + 26 = -g. Is 9 a factor of c?
True
Suppose -4*h - 72 = -4*z - 0*h, 0 = -4*z - 5*h + 81. Suppose -3*d + 8 = -z. Suppose 4*i = d*i - 20. Does 3 divide i?
False
Let a = 2549 + -434. Is a a multiple of 15?
True
Does 23 divide 345/(-2)*28/(-42)?
True
Suppose -2*m + 18 = -5*m. Let b(x) = x**3 + 9*x**2 + 8*x - 2. Let w be b(-8). Is (m - -12)*(-1)/w even?
False
Suppose -1 = l + 2*r, -r + 4 = -4*l - 3*r. Let s be (-7)/l*(-12)/14. Let x = 22 + s. Does 16 divide x?
True
Let m(q) = q**2 - 5*q - 14. Let i be m(7). Suppose -2*y + y + 5 = i. Suppose 3*f = y*f - 152. Does 14 divide f?
False
Let s be -4*4/(-2 - 6). Let q(g) = g**3 - g + 1. Is q(s) even?
False
Let v(b) = -b**3 - 4*b**2 + 3*b - 6. Let n be v(-5). Suppose n*p = 2*p + 114. Is 8 a factor of p?
False
Let w be (-3)/2*2/(-1). Let m(r) = r**3 - 7*r**2 - 4*r + 10. Let l be m(8). Suppose l = 2*v + w*t, 4*t - 2*t - 4 = 0. Does 6 divide v?
True
Let k be 994*(-4)/(4 + -12). Let q = k - 216. Is q a multiple of 12?
False
Suppose 0 = 13*u - 15*u + 8. Suppose 1 = -n + 3*p + 10, -4*p + u = 0. Is n a multiple of 12?
True
Let y = 32 - -31. Let i be (1 + -3)*62/4. Let f = y + i. Is 16 a factor of f?
True
Suppose -5*x + 672 = d - 386, d = -x + 210. Suppose 0 = i - x + 62. Is i a multiple of 20?
False
Suppose 16*w - 39109 - 41563 = 0. Is w a multiple of 88?
False
Let t(d) = -d**3 - 5*d**2 - 7*d + 2. Let a be t(-6). Suppose -3*f + a = 2*f. Let h = f - 6. Is h a multiple of 3?
False
Suppose -429 = -4*u + 2071. Does 53 divide u?
False
Is (130/15)/(1 + 245/(-246)) a multiple of 70?
False
Is 69 a factor of (-4)/20 - ((-21648)/15 + -6)?
True
Let w = -6 - -18. Let c(n) = 4*n**3 + 18*n**2 - 13*n - 12. Let o(z) = -5*z**3 - 19*z**2 + 13*z + 12. Let b(j) = -6*c(j) - 5*o(j). Is b(w) a multiple of 12?
True
Let i(f) = -10*f - 278. Is 96 a factor of i(-47)?
True
Let c = -15 - 20. Let b(f) = -2*f**3 + 4*f**2 - 3*f + 2. Let v be b(2). Let y = v - c. Does 10 divide y?
False
Let f(l) = l**3 + 11*l**2 - 8. Let w be f(-11). Let z be -3 - -1 - (-3 + 2). Does 2 divide z/(1/w)*1?
True
Let u(s) = -2*s**3 - 2*s**2 + 6*s + 4. Let m be u(3). Does 11 divide (66/5)/((-10)/m)?
True
Let u = -229 + 697. Is u a multiple of 13?
True
Let f be -18*4/16*2. Let r(x) = 4*x**2 - 3*x - 8. Let w be r(f). Is 3 a factor of 1/(-4) - w/(-28)?
True
Let c(j) = 295*j**3 + j**2. Is 8 a factor of c(1)?
True
Let m(y) = 31*y**2 - 21*y + 48. Is m(8) a multiple of 77?
False
Let q(o) = o**2 + 13*o + 6. Let z be q(-12). Let m(s) = -4*s - 19. Let a be m(z). Suppose f - 18 = -2*f + a*v, -v = 0. Is f a multiple of 6?
True
Is (-8)/((-48)/9)*74 a multiple of 3?
True
Let j(z) = -2*z**3 + 119*z**2 - 42*z - 23. Is j(59) a multiple of 20?
True
Suppose -j = -2*m - 685, 4*j + 5*m + 2050 = 7*j. Does 40 divide j?
False
Let a = 42 - 42. Let z(g) = -g**3 - g**2 + 10. Is 8 a factor of z(a)?
False
Let y be (-8)/32 + 17/4. Let n be 1/(-2)*y - -4. Does 6 divide (-5 + n)*-1 + 10?
False
Suppose 37*h - 37761 = -2574. Does 11 divide h?
False
Let c = 16 - 14. Suppose c*v - 336 = -v + 4*p, 0 = -2*v + 3*p + 225. Does 36 divide v?
True
Let c(p) = 3*p**2 - 19*p - 190. Is c(-18) a multiple of 12?
False
Suppose -3*z + 2*y + 592 = 0, 0 = 5*z - z + y - 793. Is z a multiple of 11?
True
Let w = 2118 + 1281. Is w a multiple of 103?
True
Let w be ((-36)/(-3))/(2/(-3)). Is 12 a factor of (-6)/(-8)*w*-8?
True
Let j = 118 - 114. Suppose 20 = -4*c, -3*a + 4*c = 241 - 951. Suppose j*u = -u + a. Does 16 divide u?
False
Let d be (-29)/2 - (-1)/2. Let y be (4/d)/(3/(-42)). Suppose -105 = -y*x - 25. Is 8 a factor of x?
False
Let u = 175 - 109. Let o be 5*(-91)/(-35)*-1. Let f = u + o. Does 12 divide f?
False
Let g be 32/144 + 662/18. Suppose -2*f - g = -3*f - 2*t, -f - t + 38 = 0. Is 13 a factor of f?
True
Let l(r) = 2*r**2 - r - 14. Is 7 a factor of l(7)?
True
Let m(t) = -t**3 + 8*t**2 + 21*t - 16. Let v be m(9). Suppose g = v - 8. Does 6 divide g?
True
Let s(k) = -6 - k + 9*k**2 - 3*k - 2*k. Let h be s(-4). Does 15 divide (h/(-5))/(2/(-5))?
False
Let h(i) = 4*i - 34. Let y be h(9). Suppose 0*m = -s - y*m + 74, 5*m + 103 = 2*s. Is 4 a factor of s?
True
Let x(w) = 13*w**2 - w + 12. Is 14 a factor of x(-5)?
False
Suppose -4*d + d - 12 = 0. Let i be (84/(-35))/(d/50). Suppose 4*t - 80 = 4*b, 0 = -5*t + b + 86 + i. Is 6 a factor of t?
True
Let i = -41 - -25. Let m be 2/(i/(-20))*2. Suppose v + m = 22. Does 12 divide v?
False
Let z(t) = 28*t**