56. Is 22 a factor of g(-24)?
True
Let y(w) = 132*w + 950. Is 110 a factor of y(25)?
False
Let v = 29687 + 6841. Is 275 a factor of v?
False
Let l(w) = 3*w - 20. Let y be l(6). Is 26 a factor of y*(505/(-10) + -4)?
False
Let h = 3898 + -3133. Is 2 a factor of h?
False
Let g(q) = q**3 + 37*q**2 + 72*q + 60. Let z be g(-33). Suppose -5*y + 5*c = -600 - z, -y = -3*c - 518. Is y a multiple of 41?
True
Suppose -8144 = -24*a + 16*a. Suppose -a = 3*r - 1222. Does 34 divide r?
True
Let m be -3 + (-3 - (-3 + 2)) + -1. Let c be 84/35 + m/(-10). Suppose -c*q = i - 11, 5*i - 2*i = 3*q + 69. Does 4 divide i?
True
Let z(b) = b**2 + 17*b - 15. Let l be z(-18). Does 32 divide 384/5*(l + 22/6)?
True
Let m(g) be the first derivative of g**2/2 + 20*g + 7. Let d be m(-14). Suppose -7*i + 45 = -d*i. Does 9 divide i?
True
Suppose -2 = q - 22. Suppose -2*v + 470 = q. Suppose -v = -42*c + 37*c. Is c a multiple of 11?
False
Let v = 47 + -33. Let k(b) = -b**3 - 33*b**2 + 54. Let i be k(-33). Let j = i - v. Does 13 divide j?
False
Let m(b) = 54*b**2 + 8*b - 68. Is m(12) a multiple of 74?
False
Let p(s) = -929*s + 114. Does 34 divide p(-2)?
True
Suppose 3*f + 3*y = 0, -5*f + 14 = -2*f - 4*y. Suppose z + 2*v + f*v = -363, z = 2*v - 369. Let p = 621 + z. Is 17 a factor of p?
False
Suppose -32*r = 16 - 112. Suppose -o - 87 = a - 290, r*o - 4*a - 588 = 0. Is o a multiple of 50?
True
Let m(o) = 19*o - 22. Suppose -2*x - 3*x - 3*c = -29, 5*x - 4*c = 8. Is 6 a factor of m(x)?
True
Suppose -3*l + 112 = -l. Let p = 8 + l. Let u = p + -50. Is u a multiple of 2?
True
Suppose g = -3*h + 1456 + 1027, 0 = -3*g + 4*h + 7449. Is 5 a factor of g?
False
Let v be -10 - (24/6 + -5 + -2). Let o(x) = -6*x - 32. Let g(u) = 6*u + 33. Let i(m) = -3*g(m) - 2*o(m). Is i(v) a multiple of 2?
False
Let i be (-29)/(-4) - (-15)/(-60). Is 13 a factor of 210/6*i - 0?
False
Suppose 11248*h - 11269*h + 176841 = 0. Is 3 a factor of h?
True
Let p(n) = -2*n + 2. Let b = 54 - 51. Let i be p(b). Is (-845)/(-20) - ((-1)/i + 0) a multiple of 14?
True
Suppose -5*n = 16*x - 11*x + 330, -5*x - 260 = 4*n. Does 3 divide (14/n)/(1/(-235))?
False
Suppose 27*x - 33*x = -138. Suppose -x*h + 2217 = -842. Is 19 a factor of h?
True
Let q(a) = 13*a**2 - 14*a - 7. Let c(h) = 11*h**2 - 13*h - 6. Let d(x) = -6*c(x) + 5*q(x). Is d(6) a multiple of 2?
False
Let k(p) = p**3 - 32*p**2 - p + 77. Let y be k(32). Suppose 5*s = q + 105, 4*s + 3*q - y = s. Is 20 a factor of s?
True
Let f(i) = -2*i + 26. Let h be f(11). Suppose 4*g - 5*a = 1080, -3*a - 1350 = -5*g - h*a. Is 15 a factor of g?
True
Let k be 156 + (4/(-10) - 88/(-20)). Let f be (k/(-24) - 0)*30*-1. Let w = 413 - f. Is w a multiple of 37?
False
Let q be ((-6)/(-7)*6)/((-2)/(-7)). Suppose -270 = -9*b + q*b. Let n = b - -96. Is 6 a factor of n?
True
Suppose -4 = -2*r + s, 5*r + 24 - 36 = 2*s. Suppose 59 = -r*k + 159. Is k a multiple of 3?
False
Let c(f) = -6*f**2 + 2*f + 21. Let k(i) = 7*i**2 - i - 20. Let j(u) = -5*c(u) - 4*k(u). Is j(-4) even?
False
Suppose -1175283 = -937*q + 910*q. Is q a multiple of 11?
False
Is -41 + 622 - (-1 - -9) a multiple of 22?
False
Let l be (1/(-2))/((-1)/72)*2. Suppose -43*h + l = -47*h. Does 3 divide (h/(-3))/((-10)/(-60))?
True
Suppose 4*v + 76070 = 4*t + 5794, 16 = -4*v. Is 14 a factor of t?
False
Suppose -354570 = -278*h + 225*h. Does 67 divide h?
False
Let k(s) = -2*s**3 + 4*s**2 - s - 12 - 3*s**2 - 2*s**2 + 63. Does 30 divide k(0)?
False
Suppose 21*b + 25*b - 1326635 = 9*b. Is 153 a factor of b?
False
Let l be (220/25)/(2/5). Let k(g) = -6*g - 2*g - l + 0 + 0*g. Does 5 divide k(-7)?
False
Suppose 6*d + 20*d = 2600. Suppose -5*u + 2*w = -d, 0*u + w = -4*u + 80. Is u a multiple of 5?
True
Let g(a) = a**3 + 10*a**2 - 13*a - 25. Let n be g(-11). Is 19 a factor of (-1 - (-294)/(-10))*(-8 - n)?
True
Let h = -1101 + 1837. Is h a multiple of 46?
True
Suppose 4*n + 13*q - 8*q - 23560 = 0, 5*n + 5*q = 29455. Does 24 divide 1/(-6) - (-11 - n/54)?
True
Let m(i) = -6*i - 107. Let q be m(-18). Is 29 a factor of (1492/(2 - q))/2?
False
Let d = 86 + -38. Suppose 3*z - 3*h + 4*h - 36 = 0, -z - 4*h + 1 = 0. Suppose 5*v - d = -z. Is 6 a factor of v?
False
Suppose -9 - 18 = 2*b - 5*t, -31 = b - 5*t. Let o(i) = 13*i**2 - 10*i + 8. Let n be o(6). Suppose 4*v + m = -b*m + 596, -3*v + n = -4*m. Is v a multiple of 48?
True
Suppose 13965 = 9*z + 10*z. Suppose 5*a + 340 = z. Is 8 a factor of a?
False
Suppose -1540 = -2*w - 5*w. Let u(i) = 41*i + 46. Let s be u(14). Suppose 5*l = s - w. Does 20 divide l?
True
Let s = 352 + -499. Let a = s - -392. Is 38 a factor of a?
False
Let m(b) = b**2 - 14*b - 8. Let j be m(15). Suppose -8 = -j*t + 3*t. Suppose -t*f - 3*f = -120. Does 6 divide f?
True
Let h be (-1 - 11/(-7))*14/4. Suppose -h*p = 1686 - 162. Does 12 divide (-23)/115 - p/10?
False
Let w(a) = 2*a**2 - 10*a + 56. Let l be w(-25). Suppose -l = 16*s - 20*s. Is s a multiple of 71?
False
Let h = 5791 - 2832. Is 13 a factor of h?
False
Let m = 52743 - 27111. Is 89 a factor of m?
True
Suppose 22*c + 18210 - 42156 = 58664. Does 26 divide c?
False
Suppose -65*n = v - 63*n - 4901, 5*v + 5*n - 24500 = 0. Is 23 a factor of v?
True
Let z = -90 - -172. Let x = 13 + z. Suppose -x = -4*w + 89. Is w a multiple of 9?
False
Let h be -4*4/(-8)*4. Let d(q) = -q**3 + 9*q**2 + 28*q - 156. Does 12 divide d(h)?
True
Let v = 268 - 263. Suppose -3*j + v*y = -158, -j - y - 2*y = -34. Is j a multiple of 4?
False
Suppose -17223 = -29*w + 130039. Does 51 divide w?
False
Let g be (-12)/(-102) - 9845/17. Let q = g + 1151. Does 44 divide q?
True
Let z(s) = 5409*s**2 + 6*s - 5. Let u be z(-4). Does 44 divide 1/(-6)*-2 + u/429?
False
Suppose 6*o + 2*r = 7*o - 378, 5*o + 5*r - 1890 = 0. Does 14 divide o?
True
Suppose n - 7 = -2*u, -3*n + 32 = -3*u + 2. Suppose 0 = -n*o - 3*o + 1248. Is 15 a factor of o?
False
Let w be 1 + -1 - (-943 + -25). Let b = -368 + w. Does 30 divide b?
True
Let k(a) = -a + 53. Let b(i) = i**3 + 10*i**2 - 12*i - 2. Let m be b(-11). Let r(x) = -x**2 + 11*x + 1. Let t be r(m). Is 7 a factor of k(t)?
False
Suppose 7 + 23 = 6*w. Suppose -4*q + 200 = 4*d, 4*q - 20 = -w*d + 226. Does 12 divide d?
False
Let g(w) = 8*w**3 - w**2 + 6*w - 5. Suppose -3*n + 14 = 11. Let x be g(n). Suppose -x*v + 1690 = 5*v. Is v a multiple of 23?
False
Suppose 0*i - 12*i + 56810 = 34*i. Is 14 a factor of i?
False
Let g(c) = c - 421. Let f be g(30). Let o = f - -693. Is o a multiple of 8?
False
Let u be -2*2*26/(-104). Let g be u*655/(15/3). Suppose -g - 93 = -7*h. Is h a multiple of 16?
True
Let v(f) = 8688*f - 1212. Is v(2) a multiple of 13?
False
Suppose 46*j = 43*j - 54. Is 1*(-860)/j - (-24)/108 a multiple of 24?
True
Let p(z) = 1232*z - 222. Does 10 divide p(1)?
True
Let h(g) = 3*g + 3. Let a be ((-52)/8 + 6)/(1/2). Let c be h(a). Suppose c = -44*j + 45*j - 5. Is j a multiple of 4?
False
Let w(f) = -f**3 + 5*f**2 - 12*f - 1. Let g be w(4). Is 11 a factor of (g/(-9))/((-16)/(-48))?
True
Let n(y) = -17*y**3 - 2*y**2 + 76*y + 8. Is n(-8) a multiple of 31?
False
Let s = -11 - -16. Suppose -s*k + 3*v - 37 = 0, -9 = 2*k - k + v. Let h = k + 22. Is 9 a factor of h?
False
Let x(n) = -177*n - 200. Does 3 divide x(-3)?
False
Let w(m) = -m**3 + 3*m**2 - m + 4. Let g be w(4). Let d = 1487 + -1454. Let x = g + d. Is x even?
False
Let t be 14/(-8) - (-12)/16. Is 17 a factor of (0 - t)*(288 - -1)?
True
Let f = -132 - -88. Let q(v) = v**2 + 43*v + 63. Does 9 divide q(f)?
False
Let j(g) = -g**2 + 5*g + 27. Let m(s) = 3*s + 1. Let p(z) = j(z) - 3*m(z). Is p(-6) a multiple of 4?
True
Suppose -2*x - 8 = -j, 6*j + 5*x = 3*j - 9. Is 10 a factor of (-2)/9 - (j + 14060/(-90))?
False
Let r = 34 - 30. Suppose -2*h + r*h - 6 = 0. Suppose -h*k = 30 - 87. Is 10 a factor of k?
False
Let h = 1939 + 1639. Is 15 a factor of h?
False
Suppose -21 = -4*r - 1, 4*a = 2*r - 210. Let b(y) = -y**3 + 5*y**2 - 7*y - 1. Let w be b(5). Let i = w - a. Is 14 a factor of i?
True
Suppose -3*y - y + 16 = 5*l, 0 = -4*y - 4. Suppose -3*f + 12 - 4 = 2*v, -l*v + 48 = -2*f. Is v a multiple of 10?
True
Suppose 37*d = 5219 + 7546. Is 16 a factor of d?
False
Suppose -32881 + 1542 = -4*w - 3*t, 23483 = 3*w - 2*t. Does 41 divide w?
True
Suppose -16*a + 36*a - 320824 = -48*a. Does 14 divide a?
True
Let m = -68 + 70. Suppose m*t - 2*i + 3*i - 215 = 0, 5*t - 5