 h a multiple of 5?
True
Suppose -5*m + 3417 = -3208. Is m a multiple of 53?
True
Let j(f) = 6*f**3 - f**2 - f. Let x be j(-1). Is x/4*(-110)/15 even?
False
Let w(c) be the second derivative of c**4/12 - 7*c**3/6 + 6*c**2 - 10*c. Is w(11) a multiple of 22?
False
Let a(h) = 12*h**3 - h**2 - 24*h - 20. Is 29 a factor of a(5)?
False
Let n be (-86)/7 - 4/(-14). Let u be 1*3*8/n. Does 7 divide (u/(-2))/(4/148)?
False
Suppose 867 = 3*q + 4*r - 9*r, 0 = -5*q - 3*r + 1411. Let a = q + -168. Is 17 a factor of a?
False
Suppose -5*r = -8*r - 84. Let x = -8 - -2. Let n = x - r. Is n a multiple of 11?
True
Suppose 0 = -0*b - 4*b - 2*h + 11190, -4*h = -2*b + 5570. Is 14 a factor of b?
False
Suppose 5*l = 0, -n - 7*l = -2*l. Suppose -w + 75 = -n*w. Does 25 divide w?
True
Let z(s) = s**2 - 17*s + 24. Is 24 a factor of z(17)?
True
Let j(d) = 9*d**2 + 10*d - 10. Let h(q) = 6*q**2 + 7*q - 7. Let c(r) = 8*h(r) - 5*j(r). Is 3 a factor of c(3)?
True
Suppose -32*w = -43988 - 652. Is w a multiple of 93?
True
Let t = 136 + -91. Suppose -4*g - 3*b + 269 = 0, 5*b - 35 - t = -g. Is 24 a factor of g?
False
Let u = 26 + -21. Suppose u*z + 100 = 9*z. Is 6 a factor of z/10*(3 + 1)?
False
Let c = -6 - 2. Let o(d) = d**3 + 9*d**2 - d + 9. Let m be o(c). Suppose 3*w - m = -l, -3*w + 124 = 2*w - 2*l. Does 13 divide w?
True
Suppose 6*y - 3 = 9*y, -2*i + 3*y = -1939. Does 44 divide i?
True
Suppose -4*q + 3 = 2*h - 17, h + q - 6 = 0. Let c be 1*-74*(-2 - h). Suppose 5*k - c = -x, -2*k = -0*k - 5*x - 140. Does 20 divide k?
True
Let p(c) = 2*c**2 + 6*c - 4. Let f be 90/27*(-24)/10. Is p(f) a multiple of 27?
False
Let g(a) = a**2 - 37. Let i be g(0). Let z be (-2)/8 - 189/(-4). Let d = z + i. Does 4 divide d?
False
Suppose -2*z - 1 = 5. Is 4 a factor of (-85)/z + 13/(-39)?
True
Does 14 divide (-11907)/(-15) - -5 - (-8)/(-10)?
True
Suppose 0 = 3*p - 5*n - 7452, -17*n - 4968 = -2*p - 18*n. Is 108 a factor of p?
True
Suppose 0 = -18*q + 62 - 8. Suppose -4*z + 249 = s, -q*z + 311 = 2*z + s. Does 4 divide z?
False
Let z(b) = -11*b - 2. Let q(f) = -f**2 - 5*f + 4. Let w be q(-6). Is z(w) a multiple of 10?
True
Is (3 - -7) + 2113 - -1 a multiple of 31?
False
Let l be 2*12/32*(-4)/(-3). Let r(s) = 10*s**2 - s + 2. Is r(l) a multiple of 11?
True
Suppose -13*b + 27854 = 25*b. Is b a multiple of 55?
False
Suppose 5*v - 5132 = s, 4*v + 19*s - 4093 = 24*s. Does 43 divide v?
False
Let t(k) = 153*k**2 - 125*k**2 + 3 - 4. Suppose 4*o = -o + 2*r + 3, -3*r - 15 = 3*o. Is 15 a factor of t(o)?
False
Suppose 4*w - 2*g - 1210 = 512, -2*w - 3*g = -873. Does 8 divide w?
True
Let q be 3 - (2 + (1 - 1)). Suppose 3*x = -i + 2*i - 100, 2*x + i = -65. Does 5 divide q*-3 - (x + 11)?
False
Suppose -41*x = -159167 + 49943. Does 34 divide x?
False
Let q(s) = -130*s - 141. Is 12 a factor of q(-12)?
False
Let r(z) = 2*z**2 - z - 9. Let k be r(7). Is 12 a factor of (k/3)/((-14)/(-21)) - -3?
False
Let c(s) = 51*s - 121. Is 50 a factor of c(17)?
False
Let k = -490 - -970. Suppose 0*s = -6*s + k. Is s a multiple of 17?
False
Let b be (-4)/(-6)*(-60)/(-8). Let u(v) = v**3 + 2*v**2 + 6*v - 5. Is 25 a factor of u(b)?
True
Let b = -65 + 133. Suppose -a + 2*a + 3*o - 43 = 0, 2*o + b = a. Is 0 + 4 + a/2 a multiple of 11?
True
Let q(d) = -6*d + 103. Let w be q(17). Suppose 20 = 5*i, -2*n = 2*n - 2*i. Let v = w + n. Does 2 divide v?
False
Let w(d) be the third derivative of -d**5/60 - d**4/12 - d**3 + 3*d**2. Let i(t) = -t**2 - t - 7. Let u(z) = -3*i(z) + 2*w(z). Is 13 a factor of u(7)?
False
Suppose 28*a - 33*a + 5 = 0. Let z be 13 - -1*6/(-3). Let w = a + z. Does 4 divide w?
True
Suppose -5*z + 5*x + 195 = 0, 3*z + 3*x - 103 = z. Let c = z - 23. Is 3 a factor of c?
True
Suppose 0 = j + 2, 2*t + 25*j - 21*j = 318. Is t even?
False
Let f = 4 + 35. Suppose -5*q + f = 3*x - 77, 5*q - 119 = -2*x. Suppose -3*o = 6, s + 5*o + q = 2*s. Does 15 divide s?
True
Let j = -241 + 497. Is 4 a factor of j?
True
Suppose -2*c = -4*l + 200, 4*c = l - 72 + 8. Is 5 a factor of 81*(-4)/(l/(-4))?
False
Let v = 102 + -2. Suppose -v = -3*s + 53. Does 9 divide s?
False
Let l = 44 + -36. Let y(a) = 2*a**2 - 12*a. Is y(l) a multiple of 11?
False
Suppose -5*l - 5*t + 4888 = -7*t, t + 8788 = 9*l. Is 4 a factor of l?
True
Let i(n) = -8*n - 5. Let a be i(-1). Suppose -93 = -5*f - 4*j, -91 = -a*f - 2*f - 3*j. Is f a multiple of 3?
False
Suppose -2*y = 8, 7*q + 5*y = 8*q - 58. Is q even?
True
Let f be (0 - 30/35)*(-7 + 0). Let v = f + 66. Is 18 a factor of v?
True
Suppose 0 = s + 3*d - 90, -4*s + 213 + 121 = -d. Is 42 a factor of s?
True
Suppose 2*c - 3*g - 138 = -3*c, 0 = -3*c + 3*g + 78. Is 10 a factor of c?
True
Let v(w) = 12*w**3 - 2*w**2 + 10*w + 5. Let z be v(5). Let q be 24/132 - z/(-11). Suppose -4*o = -3*m - q, -2*o = o + 4*m - 84. Does 8 divide o?
True
Let v = -98 - 33. Let l = -24 - v. Is 14 a factor of l?
False
Let u = 49 - 17. Is 3 a factor of u - (-2 + 0)*-1?
True
Let g be (-150)/14 + (-8)/28. Let o(v) = v**2 + 7*v - 20. Is 7 a factor of o(g)?
False
Let f = 135 + 57. Let j = 340 - f. Is j a multiple of 25?
False
Suppose 14 = 4*t + 2*c, 0 = 3*t + 2*t - 2*c - 13. Let u(b) = 39 + 3*b - 9 + t*b + 0*b. Is 21 a factor of u(16)?
True
Suppose 5*s = 5*a + 1015, -2*s + 2*a = 6*a - 412. Is 7 a factor of s?
False
Let l = -6 + 14. Let u be (-11)/(-4) - l/(-32). Suppose 2*k = 3*w + 6*k - 14, 21 = 3*w - u*k. Is w a multiple of 6?
True
Suppose 0 = c - 5*p - 48, -2*c = -7*c - 4*p + 211. Let k = -15 + c. Suppose 4*u + 2*h = k, 4*u - 19 = 5*h + 37. Is u a multiple of 9?
True
Let n(g) = 133*g**2 - 3*g + 5. Does 19 divide n(2)?
False
Let n(p) = 8*p**2 - 84*p - 12. Is 13 a factor of n(-6)?
True
Suppose 15*u - 3*t + 650 = 16*u, -2*t = -5*u + 3199. Is 2 a factor of u?
False
Is 31 a factor of (-40*(3 - 9))/(-2 + 3)?
False
Let u = -674 + 1148. Does 13 divide u?
False
Let f be 4*2*135/(-24). Let q = f + 77. Is 16 a factor of q?
True
Suppose -f = -5*r - 20, 4*f - 2*r - 22 = 4. Let b be 1 - 21*(-5 + 1). Suppose 2*s - 30 = -0*p + p, -5*s = -f*p - b. Is s a multiple of 13?
True
Let u be (-32)/144 + (-214)/9. Is (u/(-20))/(2/5) a multiple of 3?
True
Suppose 26451 + 4621 = 8*j. Is 18 a factor of j?
False
Let q = -43 + 43. Does 8 divide q - (0 - (-400)/(-5))?
True
Let y(m) = 4*m**2 + 13*m + 20. Let z be y(-10). Let t = z - 166. Is 16 a factor of t?
False
Let t = 88 + -20. Is t a multiple of 17?
True
Let m(w) = 4*w + 12 + w**2 - 16*w + 11*w. Let d be m(6). Suppose -6 = -2*p + d. Is 12 a factor of p?
True
Let o(z) = 33*z**2 + 3*z - 13. Is 38 a factor of o(6)?
False
Let b = -10 - -4. Let c = -3 - b. Is 2 a factor of c?
False
Suppose 0 = 7*p - 2381 - 1203. Suppose -l + 25 = 4*u - 85, 5*l + u = p. Is 39 a factor of l?
False
Let b(j) = -j**3 + 20*j**2 + j - 30. Does 40 divide b(14)?
True
Let i = 201 - 178. Let h be 2/9 + 112/(-18). Let w = i - h. Is 4 a factor of w?
False
Let d(j) = -2*j**2 + 4*j - 3. Let c(k) = -3*k - 6. Let l be c(-3). Let u be d(l). Let v(s) = -3*s - 6. Is v(u) a multiple of 12?
False
Let g = 31 - 28. Is 3 a factor of 1071/34*2/g?
True
Suppose 3*n - 100 = -2*n. Let x = 22 - n. Does 12 divide (-1)/(-3*x/72)?
True
Let i = -29 - -96. Is i a multiple of 7?
False
Let a be (-2 - 16/(-12))/((-2)/1179). Suppose -o - 5 = 0, -a - 547 = -5*j + o. Is 24 a factor of j?
False
Let l be 24/(-84) + (-1161)/(-21). Suppose 242 + l = 9*m. Is m a multiple of 7?
False
Let z(b) = b - 12. Let q be z(14). Suppose -52 = 4*i - 4*u, -q*i + 5*u = i + 43. Let m = -2 - i. Is m a multiple of 2?
False
Let k(s) = 89*s + 746. Does 3 divide k(-7)?
True
Let c(p) = -p - 7. Let a be c(0). Let n(w) = 2*w**2 - 2*w - 6. Is 20 a factor of n(a)?
False
Suppose -5*z - 3*r + 2052 = -z, -3*r = -5*z + 2538. Is z a multiple of 22?
False
Suppose 3*l - 3*b - 7548 = 486, 0 = 4*l - 2*b - 10722. Is 25 a factor of l?
False
Let o(k) = -2 - 1 + 8 + 5 + k. Let h be o(-8). Is 21 a factor of 215/4 + h/8?
False
Let x = 75 - -23. Suppose -3*z + x = -z. Does 7 divide z?
True
Suppose 3*a + a - 16 = 0. Suppose -60 + 8 = -a*b. Suppose -c + 11 + b = 0. Does 13 divide c?
False
Let n = 274 - 255. Is n a multiple of 19?
True
Suppose 45*a - 4 = 47*a. Does 11 divide 2/(a/(-77) + 0)?
True
Suppose -3*v + r = -11, 0*v - 3*v = -2*r - 16. Suppose v*s - 5*w = -4*w + 222, -336 = -3*s + 3*w. Is s a multiple of 22?
True
Suppose 20*p - 2399 = 52