= 2*f. Let k = -4 - f. Is 17 a factor of 3 - (k + -1 - 0)?
True
Suppose 0 = -5*i + 3*y - 5, 0*i + i - 4*y = -1. Let h be -15 + (i - 2 - -2). Let v = -10 - h. Does 2 divide v?
True
Let i = -63 - -104. Does 2 divide i?
False
Let v = -5 + 9. Suppose v*f - 42 = -2*a, -75 = -5*f - 3*a + 5*a. Let p = f + -10. Is 2 a factor of p?
False
Let d = -46 - -116. Does 22 divide d?
False
Let u = 921 - -100. Is u a multiple of 62?
False
Suppose -3*q - 554 = -53. Let v = -77 - q. Is v a multiple of 16?
False
Suppose 0 = -11*d + 726 + 1342. Does 7 divide d?
False
Suppose -5*s - 3*c = -1193, -5*c - 228 = -3*s + 481. Is 33 a factor of s?
False
Suppose -12*m = -10*m - 12. Let d = -4 - m. Let v = 18 + d. Is v a multiple of 4?
True
Let a = -414 - -431. Is a a multiple of 3?
False
Let s(a) = a**2 - 20*a - 4. Does 6 divide s(-9)?
False
Let t(y) = 4*y - 20. Suppose 0 = -5*r - 8 + 38. Suppose r + 2 = j. Is 3 a factor of t(j)?
True
Suppose -6*f = -561 - 537. Is 21 a factor of f?
False
Does 19 divide (-27*1)/(6/(-148))?
False
Suppose -3*c - 5 = 4*w, -c + 0*c + 2*w = -15. Suppose -c*f = -2*b - 61 - 17, -4*b = -f + 192. Let u = b - -85. Is 12 a factor of u?
True
Let c be (-4)/(-18) + 236/(-72)*-10. Is 6 a factor of 1*6*154/c?
False
Let h be (-4)/((-24)/178)*-3. Let s = h + 133. Let w = s - -14. Does 17 divide w?
False
Let q(n) = n**2 + 3*n + 2. Let u be q(-3). Suppose -134 = -u*b - 0*b - 2*d, 5*b + d - 323 = 0. Suppose -2*j = -c - 46, 6*c + b = 3*j + 2*c. Is 11 a factor of j?
False
Let d = 9 + -11. Let u be 16/(-10)*5/d. Suppose -3*z = 3*k - 27, -z + 8 = z + u*k. Is 4 a factor of z?
False
Let s(d) = 3*d**3 - 11*d**2 + 11*d + 17. Is s(9) a multiple of 11?
False
Let a(i) = -6*i + 3*i**2 + 9*i - 2*i - 8 + 9*i. Let d be a(8). Suppose t - 7*t = -d. Does 15 divide t?
False
Let v = 1141 + -701. Is v a multiple of 22?
True
Let j be (-5148)/45 - 2/(-5). Let r = -57 - j. Is 13 a factor of r?
False
Suppose 0*s + s = -3. Let t be 0 + (-3)/s*-10. Let u = t + 62. Is u a multiple of 28?
False
Let s(k) = -24*k - 2. Let j = -11 + 16. Suppose j*f - 4 = 9*f. Is 12 a factor of s(f)?
False
Let l = 157 - 10. Is 21 a factor of l?
True
Suppose -79*x + 92*x = 26325. Is 25 a factor of x?
True
Suppose 11*g - 6 = 14*g. Let o(w) = -23*w - 4. Let b(x) = x - 1. Let h(p) = -2*b(p) + o(p). Is h(g) a multiple of 16?
True
Let o be 5/(-3) + 248/(-24). Let m(p) = -3*p**2 - 37*p + 14. Is m(o) a multiple of 5?
False
Suppose 2*t = -2*g + 3*g + 88, g + 130 = 3*t. Let f = t - 22. Let n = f + 40. Does 24 divide n?
False
Suppose 0 = 3*m - r - 15, r = 5*m - 7 - 18. Suppose -235 = -10*g + m*g. Is 10 a factor of g?
False
Suppose 3*g = -3*v + 822, v - 5*g + g - 269 = 0. Is v a multiple of 7?
True
Let x(b) = -b**3 + b**2 + 205. Let t be x(0). Let q(j) = j**2 + 15*j - 30. Let n be q(-17). Suppose -n*u + t = -11. Is u a multiple of 14?
False
Let h = -90 + 147. Suppose p + 2*p + 6 = 0, 0 = 3*j + 3*p + 123. Let w = j + h. Is 18 a factor of w?
True
Let r(u) = u**3 + 7*u**2 - 8*u + 18. Let l be r(-8). Suppose 0 = w - l + 7. Does 4 divide w?
False
Does 42 divide (-24)/((-5)/(-140)*-2)?
True
Let a(i) = -i**3 - 4*i**2 - i + 1. Let n be a(-4). Let b(p) = 37*p**2 - 2*p - 2. Let o be b(-2). Suppose n*g - 391 = -v, 3 = 2*g - 3*v - o. Is 29 a factor of g?
False
Let s(j) = -j**3 + 12*j**2 + 45*j - 342. Does 17 divide s(9)?
True
Let r = 849 - -69. Is 27 a factor of r?
True
Let t(a) = 34*a**3 - a**2 - 4*a - 2. Let r be t(-1). Let f = r - -63. Is f a multiple of 15?
True
Suppose 4*t + 16 = 0, -2*d + 4*t = 3*t - 226. Let l = d - 76. Is 35 a factor of l?
True
Suppose 3*d + 15*d - 12240 = 0. Does 17 divide d?
True
Suppose 2*a + 0*a - 154 = -5*y, -3*y = 6. Let u = a - 47. Suppose -j - 5*g + u = 0, 17 = j + 3*g - 10. Does 3 divide j?
True
Let r(f) = f + 624. Is 20 a factor of r(-21)?
False
Suppose 5*c + 333 = 4*l, -4*l - 2*c = -152 - 146. Let j = 134 - l. Is 10 a factor of j?
False
Does 37 divide (-51)/(-34)*(-296)/(-6)?
True
Suppose -2*w + 60 = -7*w + 3*t, 0 = w - 4*t + 29. Suppose -5*u = z - 102, 0 = -6*u + 2*u + 4*z + 96. Let f = u + w. Is 11 a factor of f?
False
Suppose -s - 3*s = 4*o - 104, 4*o = 4*s - 64. Let d(h) = -2*h**2 - 24*h + 16. Let r be d(-13). Let x = s + r. Does 3 divide x?
False
Let c(j) = -60*j - 340. Is c(-24) a multiple of 20?
True
Let q be (1 - (-4515)/12) + 2/(-8). Suppose 324 = 3*g + c, 4*c - q = -5*g + 163. Is g a multiple of 12?
True
Let g be -1 + 2*(-26)/(-4). Let o be (782/(-138))/(-2 + 62/30). Let s = g - o. Is 15 a factor of s?
False
Suppose 4*w - 524 - 460 = -2*c, 5*c - 10 = 0. Suppose 2*p - 238 = -3*d, w = 4*d + 4*p - 79. Does 22 divide d?
False
Suppose -11*w + 17*w = 12. Is w a multiple of 2?
True
Let y(l) = 14*l**2 - 150*l - 996. Is y(-7) a multiple of 6?
False
Suppose -3*f = -5*d + d + 9, 0 = -5*d + 2*f + 20. Let k = d + 12. Does 4 divide k?
False
Suppose 0 = -i - 4*i + 20. Suppose p + i = 3*p. Suppose -2*o - o = -9, -p*o = 2*g - 48. Is 21 a factor of g?
True
Suppose -2*d = 4*v - 6432 - 2700, -5*v = -3*d - 11393. Suppose 12*q - 95 - v = 0. Is q a multiple of 10?
False
Let u(r) = r**3 - 4*r**2 + 5*r - 3. Let q(g) = g**2 - 1. Let y(z) = -q(z) + u(z). Let a be y(3). Let t = 37 - a. Is 14 a factor of t?
True
Let t(y) = -36*y + 2 + 5 + 0 - 2. Let v be t(4). Let z = v - -209. Does 25 divide z?
False
Suppose 22*w = 18*w - 3*v + 382, -105 = -w + 4*v. Is w a multiple of 17?
False
Let f(n) = -2*n**2 - 5*n + 3. Let u be f(-3). Suppose -2 = -k + 3*d - 0, -3*d + 9 = u. Is (-1)/2*-6 + k a multiple of 7?
True
Let n(j) = -j + 8. Let r be n(6). Suppose -4*f + b = -523, r*f - 289 = 5*b - 10*b. Does 8 divide f?
False
Let l be (-630)/40 - (-1)/(-4). Let x = 54 - l. Suppose -q + x = 4*q. Is q a multiple of 7?
True
Suppose 11*w - 50 = 6*w. Suppose -30 = -2*v + 2*x, 6*v - 3*v - w = -4*x. Is v a multiple of 10?
True
Let o be (-4 + -1)*(-3 + 2). Suppose -o*v + 18 = -47. Is (v - 1)*(-33)/(-44) a multiple of 3?
True
Let t be (-22)/(-66) + 4/6. Let h(c) = 0 + 0 + 54*c**2 + 0. Is h(t) a multiple of 27?
True
Let p(r) = -r**3 + 2*r**2 + 6*r - 5. Let v be p(3). Suppose v*f + 106 - 610 = 0. Is f a multiple of 42?
True
Let j = 1069 - 697. Does 7 divide j?
False
Let r = 383 - 347. Is r a multiple of 6?
True
Let t = -137 + 219. Let k = t + -9. Is k a multiple of 16?
False
Let v be 10*(9/6 - 1). Suppose -v - 3 = -4*m. Suppose -m*b + 110 = g - 6*g, 4*g - 308 = -5*b. Is b a multiple of 15?
True
Let a(o) = -o**3 - 2*o + 1. Let n be a(-2). Let m = n - 13. Suppose -t + 5 + 10 = m. Is t a multiple of 10?
False
Let g(y) be the first derivative of y**4/4 - 13*y**3/3 - 6*y**2 - 19*y + 9. Is g(14) a multiple of 9?
True
Let d(z) = -4*z - 32. Let p be d(-8). Suppose -2*v = -p*v - 88. Is v a multiple of 35?
False
Let g = 21 - 18. Suppose 39 = g*d - c - 2*c, 62 = 4*d - 2*c. Is d a multiple of 6?
True
Let t = 1826 + -1011. Does 42 divide t?
False
Suppose 4 = 4*g, 3151 = 5*a - 3*a + g. Is 75 a factor of a?
True
Let l be 22/(((-15)/36)/((-10)/4)). Suppose l = 94*u - 91*u. Is 11 a factor of u?
True
Let h = 40 + -38. Let g(n) = 4*n**2 - 6*n + 2. Does 3 divide g(h)?
True
Let a(m) = -1065*m + 18. Is 16 a factor of a(-3)?
False
Suppose -70*p + 694 = 3*g - 74*p, 0 = g + p - 229. Is g a multiple of 5?
True
Let g(m) be the third derivative of -13*m**4/24 - 47*m**3/6 - 21*m**2. Does 13 divide g(-19)?
False
Suppose 5*p = 100 + 40. Let t be 1 + p + (0 - 0). Suppose -5*g - 76 = -5*f + t, 0 = -2*g. Is 17 a factor of f?
False
Does 49 divide 3 + (140 - 0)*(-96)/(-56)?
False
Is 81 a factor of (-5)/((-20)/(-1944))*(-22)/6?
True
Let t be -6*4/18*-3. Let c = 0 + t. Is 2 a factor of (2/(-1))/((-1)/c)?
True
Let b(o) = o. Suppose 3*h + 2*h = 25. Let w be b(h). Suppose 2*y + w*u - 27 = 0, -3*y + 2*u + 42 = y. Does 11 divide y?
True
Let b(c) = 9*c + 4. Let v be b(-2). Let f = v + 14. Suppose 3*u + 5*n - 173 = f, 2*u - 5*n + 12 = 94. Does 19 divide u?
False
Let m be (12/(-1))/(-10 - -8). Suppose m*z - 434 = -z. Suppose -z = -3*f + 58. Is f a multiple of 8?
True
Let p(w) = 2*w**2 + 28*w + 127. Does 14 divide p(-16)?
False
Suppose 5*p + 24 = 39. Let b(w) = 7*w**3 + w**2 - 7*w - 1. Does 21 divide b(p)?
False
Is 190*5/20 + 3/(-2) a multiple of 3?
False
Let k be (-4)/10 + 264/60. Suppose -a = k*p + 5, 5 = -3*a - 2*a. Is -2 + (p - 29)*-2 a multiple of 10?
False
Let n = 45 + -17. Is n a mul