3*a + 2*a + 26, -3*v - 3*a + r = 0. Does 13 divide v?
True
Let q(y) = -6*y**2 + 3*y - 2. Let a(w) = -5*w**2 + 3*w - 1. Let i(n) = -5*a(n) + 4*q(n). Is 25 a factor of i(-7)?
False
Let f be ((-48)/(-28))/((-4)/(-14)). Let j = 9 - f. Suppose n - 17 = -p, 3*p - 51 = -j*n + p. Is 9 a factor of n?
False
Is (-4)/(28/7)*-87 a multiple of 5?
False
Let l(y) = 11*y**3 - 25*y**2 - 29*y - 29. Let s(h) = -5*h**3 + 12*h**2 + 14*h + 14. Let x(t) = 4*l(t) + 9*s(t). Does 41 divide x(8)?
False
Let c be 3 - 19/1*-1. Let r be (-464)/10 - c/(-55). Let b = -22 - r. Is b a multiple of 12?
True
Suppose 4*m + 189 = 3*y, -y - 5*m + 56 - 12 = 0. Is 14 a factor of y - (0/(-4) + -3)?
False
Suppose -71*h - 36660 = -83*h. Does 13 divide h?
True
Let b be (-3)/(-9)*(-3 + 15). Suppose -4*g = -5*r - 55, b*r - 20 = -0. Is 4 a factor of g?
True
Let c(o) = -o**2 - 90*o + 38. Is 9 a factor of c(-25)?
False
Suppose 0 = 4*o + 5*b - 8*b - 9, -5 = -5*o + 5*b. Let t(k) = k**3 - 2*k**2 + 8*k - 18. Is 11 a factor of t(o)?
False
Let s(u) = 4*u**3 + u**2 - 3*u - 6. Let k be s(5). Suppose -10*f = -3*f - k. Is 8 a factor of f?
True
Let b(z) = -z**3 - z**2 - z + 150. Let k(r) = -r**3 + 5*r**2 - 5*r + 4. Let t be k(4). Does 30 divide b(t)?
True
Suppose -f = 5*c + f + 54, c - 3*f + 21 = 0. Let t = c - -23. Does 6 divide t?
False
Suppose 20*z = 71*z - 30345. Is 17 a factor of z?
True
Let d(h) = -1. Let q(v) = -35*v + 38. Let y(r) = 2*d(r) + q(r). Does 13 divide y(-9)?
True
Suppose 2*q = -y + 19 + 1, -2*y + q = -35. Let k = y + 20. Suppose -2*f + 50 = l, -l = -0*l - 2*f - k. Is l a multiple of 14?
False
Let p(g) = g**2 - 16*g - 135. Is p(-16) a multiple of 29?
True
Let b(w) = 152*w. Let a be b(7). Suppose d = 8*d - a. Is d a multiple of 38?
True
Suppose -2*s + r - 14 = 0, -s + r = 6*r + 7. Is 16 a factor of (-3 + 1)/(s/392)?
True
Let p = -6 + 6. Let k be 92/(-6)*27/(-18). Suppose 5*l - k - 17 = p. Is 8 a factor of l?
True
Suppose 7 = 3*b - 20. Let m(z) = z**3 - 8*z**2 - 8*z - 7. Let v be m(b). Is 5 + 18 - (1 + v) a multiple of 10?
True
Let j(u) = -u**2 - u. Let t(m) = -m**3 + 12*m**2 - 6*m - 6. Let n(a) = j(a) + t(a). Is n(10) a multiple of 12?
True
Let o(g) = g**2 - 14*g + 14. Let s be o(12). Let d = -7 - s. Suppose -8*r = -d*r - 45. Is r a multiple of 3?
True
Let i(b) = -2*b**3 - b**2 - b - 1. Let h be i(-1). Let j be h/((3/(-33))/(-1)). Suppose -5 + j = 2*q. Is q a multiple of 3?
True
Suppose 3*n + 9 = 0, z = 2*z + 5*n + 10. Suppose 0 = 4*u - r + 3238, 5*u - r = -4*r - 4056. Does 18 divide u/(-12)*4/z?
True
Let m = 324 + -286. Does 19 divide m?
True
Suppose -2*j + 2*w - 17 - 25 = 0, -2*w = 5*j + 98. Let n = 30 - j. Is n a multiple of 10?
True
Suppose -90 = -4*n - 10. Suppose -8*p - n = -13*p. Suppose 3*g - 2*q = 102, -4*q = -p*g - 2*q + 136. Is g a multiple of 17?
True
Let z(t) = 8*t + 257. Is z(-19) a multiple of 11?
False
Suppose -2*j = -3 - 1. Let a(u) = -2*u**3 - 5*u**2 + 5*u**j - 2 + 3*u**2. Does 8 divide a(-2)?
False
Does 9 divide (-8010)/(-27) - (-2)/6?
True
Suppose -3*y - 18 = -n, -3*y = 2*n + 2*n + 3. Suppose -3*r - l = -234, -n*r - 2*l - l = -234. Is 6 a factor of r?
True
Suppose l + 288 = -5*w, 34 - 336 = l - 2*w. Let s = 579 + l. Is s a multiple of 15?
False
Let f(m) = m + 21. Let o be f(12). Suppose -4*j - o = -13. Let q = -2 - j. Is q a multiple of 3?
True
Let s(p) = 2*p**3 + p**2 - 5*p + 20. Is 12 a factor of s(5)?
False
Suppose 5*h = r + 63, -h + 10 = -2*r - 8. Suppose -4*v - 2*j = -5*j - 228, -3*j = h. Does 27 divide v?
True
Let s(w) = 11*w**2 + w + 33. Let n be (-594)/143 + 2/13. Let l(c) = -5*c**2 - 16. Let y(f) = n*s(f) - 9*l(f). Is y(8) a multiple of 22?
True
Suppose 5*j = -6*d + 2*d - 127, 167 = -5*d + 2*j. Let z = d + 28. Does 13 divide 801/15 + 2/z?
False
Let j(a) = 3*a - 13. Let l be j(7). Suppose -l = 5*k - 53. Suppose 5*g - 4*v - k = 60, 0 = 5*g + v - 89. Does 11 divide g?
False
Let o be (-1500)/(-8)*4/6. Suppose -13*m = -8*m - o. Is m a multiple of 25?
True
Let x be (8 + -9)/((-2)/30). Does 18 divide 50/(-1*2 - x/(-6))?
False
Let o = 169 + -167. Is 157/o - (-30)/(-60) a multiple of 14?
False
Let p = -92 - -98. Suppose -5*f + 424 = -4*j, -p*f + f - j = -419. Does 28 divide f?
True
Suppose 30*v - 145 - 35345 = 0. Is v a multiple of 18?
False
Suppose 92 + 340 = 3*d. Let m = 3 + -3. Suppose 6*s - 10*s + d = m. Is 9 a factor of s?
True
Suppose j - 132 + 524 = 2*q, 2*q - 2*j - 390 = 0. Is q a multiple of 43?
False
Let w = -81 + 313. Suppose 5*j + 5*a - 445 = 0, -2*a - 2*a = -3*j + w. Suppose 2*d - 14 = -3*z + j, -3*z = -3*d - 123. Is 9 a factor of z?
True
Let v(d) = d**2 - 24*d - 130. Is 9 a factor of v(48)?
False
Let h = -153 + 229. Does 22 divide h?
False
Let m(g) = -g**2 + 22*g + 10. Is m(15) a multiple of 2?
False
Let l(p) = -p + 16. Let y be l(13). Suppose f + 5*g = -29 + 69, -5*g = -y*f + 120. Is f a multiple of 18?
False
Let k(z) = 13*z**2 - 15*z - 147. Does 43 divide k(-7)?
False
Let t = 4 - 0. Suppose 0 = -5*k - m - m - 6, -t*m + 8 = 0. Is 12 a factor of (-51)/(-2) - (-3)/k?
True
Let q be (9/(-45))/(3/(-285)). Suppose 150 = 22*o - q*o. Does 5 divide o?
True
Suppose -q + 4 = -0*q. Let b be (-1)/(-6)*3*q. Is 16 a factor of -4 + 2 + b + 64?
True
Suppose 0 = w + 16 - 5. Let u = w - -26. Suppose 0 = c - 2*c + u. Is 5 a factor of c?
True
Suppose b + 5*h = 3, 61*h + 19 = 2*b + 58*h. Does 8 divide b?
True
Suppose -o = -8*o + 2856. Does 7 divide o?
False
Let v(g) = g**3 - 32*g**2 + 65*g - 73. Is 35 a factor of v(30)?
False
Let j = -17 - -27. Suppose j*t - 165 = 7*t. Is t a multiple of 16?
False
Let h(v) = 376*v**2 - v + 3. Does 18 divide h(1)?
True
Let j be 12/8*12/(-9). Let h(s) = s**2 + 4. Let i be h(j). Suppose 3*q = -v + 68, 60 = 2*q - v + i. Is q a multiple of 8?
True
Suppose 1 - 21 = -4*j. Let f(p) = 7*p + 11. Let y be f(11). Suppose 0 = -j*r - 5*o + 110, 3*o = 4*r + o - y. Does 8 divide r?
False
Let g be (-7)/((-98)/(-1200))*-14. Suppose m + 3*m = g. Suppose 2*b + k - 149 = 0, -k + 5*k - m = -4*b. Does 14 divide b?
False
Suppose -6*v - 5*s = -11*v + 4940, 4*v - 3924 = -3*s. Is 18 a factor of v?
False
Suppose 0 = 2*t + 5*r - 157 + 838, 0 = 4*t + r + 1371. Does 11 divide 7/(t/(-4291)) - (-3)/7?
True
Let i(c) = -c**3 - 15*c**2 - 17*c + 3. Suppose 84 = -5*o + 14. Is i(o) a multiple of 15?
True
Let x be (177/12)/((-4)/(-16)). Let s = x - 16. Let o = 75 - s. Does 16 divide o?
True
Let s(p) = -p + 8. Let z be s(4). Is 2 a factor of (5 - z) + (-3)/(-3)?
True
Let b(y) = 13*y**2 + y. Suppose -2*t = -3*t - 1. Let q be b(t). Does 3 divide 11 - (-1)/((-4)/q)?
False
Is 10 a factor of (-10*(-12)/(-18))/(18/(-3105))?
True
Is 17 a factor of (408/(-21))/(6/(-21))?
True
Let v be (21 - -1)/(4/4). Let w = v - 17. Suppose -w*r = -17 - 13. Is r even?
True
Let s = -80 + 79. Does 2 divide (2/8 + s)/((-6)/168)?
False
Let y be (-2)/(-6) - 40/30. Let r be ((-2)/y + 28)/2. Let t = r - 2. Does 6 divide t?
False
Let c = 24 + -27. Let g be (27 + 3)/(c/(-6)). Suppose -p = 3*p - g. Does 12 divide p?
False
Let q(v) = 5*v + 8. Let n(a) = -10*a - 17. Suppose 3*m = -4*f - 0 + 11, 5*m - 24 = -f. Let l(z) = m*q(z) + 3*n(z). Is 24 a factor of l(-18)?
False
Let z = 15 - 11. Suppose 3*p - 33 = q, z*p = p + 4*q + 42. Does 6 divide p?
False
Suppose 208*s = 202*s + 270. Does 3 divide s?
True
Suppose 0 = 5*z - 4806 + 1286. Is z a multiple of 4?
True
Let z(t) = 229*t**2 - 2*t - 2. Does 15 divide z(-2)?
False
Let s(c) = c**2 - c + 16. Let q be s(0). Suppose -273 = -0*o - 7*o. Let a = q + o. Is 24 a factor of a?
False
Let z be (496*1)/4 + 0. Let q = z + -61. Suppose 2*l - i - q = 0, 3*l - 4*i - 19 - 68 = 0. Does 11 divide l?
True
Suppose 4*g - 9184 = -4*l, -7*g + 9*g - 4*l = 4592. Is 8 a factor of g?
True
Let i be 7/1 - (-4 - -6). Let o = i + -2. Let b = o - -7. Is 10 a factor of b?
True
Suppose 13*u + 9*u = 35728. Is u a multiple of 18?
False
Let q be -1*(6 - 2 - 4). Suppose -2*l + 211 = -4*k + 807, 5*k + 4*l - 719 = q. Is k a multiple of 13?
False
Let c(z) = z + 635. Is 15 a factor of c(55)?
True
Let q(j) be the first derivative of -5*j**3/6 - 5*j**2 + 3*j - 2. Let i(o) be the first derivative of q(o). Is i(-7) a multiple of 9?
False
Let o be 10*8/40*14/1. Let g = 113 + o. Is g a multiple of 23?
False
Suppose -3*a = -63 + 51. Suppose 5*v + 145 = 1420. Suppose a*w - 180 = -4*h, 7*h - 2*h = 5*w - v. Is 12 a fac