actor of a?
True
Suppose 0 = -2*h - t + 182 + 808, h + 5*t = 486. Is h a multiple of 31?
True
Suppose 8*z = 123 + 29. Suppose b = 22 + z. Is 41 a factor of b?
True
Let u = 2192 + -1454. Does 18 divide u?
True
Suppose 82*f - 139492 = 51650. Does 21 divide f?
True
Let b(j) = -j**3 - 77*j**2 - 12*j - 143. Is b(-77) a multiple of 14?
False
Let m = -69 + 68. Does 12 divide (1 - m - 4) + 82 + 3?
False
Suppose 2*y - 378 = -90. Suppose 5*d - y = -d. Does 12 divide d?
True
Let f(m) = 33*m + 83. Does 8 divide f(5)?
True
Let m(o) = 48*o + 82. Is m(9) a multiple of 29?
False
Let f = -57 - -87. Does 3 divide f?
True
Let a = -12 - -14. Suppose -a*x = -3*b - 227, 5*x - 237 = 3*b - 16. Let z = -48 - b. Is 15 a factor of z?
False
Let o(n) = -55*n - 8. Let v(g) = -83*g - 12. Let p(f) = -8*o(f) + 5*v(f). Is 13 a factor of p(2)?
False
Let g(w) = -2*w - 10. Let u be -3 + (3 - 0) + -5. Let i be g(u). Suppose i = -5*k + 16 + 74. Is 9 a factor of k?
True
Suppose 0 = 41*w - 29*w - 1980. Is 68 a factor of w?
False
Suppose 3*z - 2*z = 0. Is 2 a factor of (-4 - z) + -7 + 20?
False
Let h be (-530)/(-15)*6*4. Suppose -h = -k - 7*k. Is 9 a factor of k?
False
Suppose -275 = -h + 2*f, 0 = -3*h - 3*f - 33 + 813. Is h a multiple of 7?
False
Let y be (-324)/(-24)*4/6. Let f(x) = 5*x + 17. Is 31 a factor of f(y)?
True
Let j be 4/(-8) - 30/(-4). Let r(o) = o**3 - 8*o**2 + 9*o + 5. Does 19 divide r(j)?
True
Let d(u) = 3*u**2 - 8*u - 6. Let t be d(6). Suppose -2*h - t = -5*h. Does 9 divide h?
True
Suppose 0 = -2*g - 5*n - 6, -3*g + 10 = -3*n + n. Suppose g*a + 5 - 53 = 0. Is 24 a factor of a?
True
Let p = -1427 + 1449. Is 3 a factor of p?
False
Let w be 6 + 5 + -5 - (5 - 1). Suppose -149 = -w*u + b, 4*u + 2*b = -b + 313. Is u a multiple of 25?
False
Is 42/(-8 - -2) - -35 a multiple of 17?
False
Let h = -6 - -11. Suppose 9*i = h*i + 112. Let n = i + -16. Does 5 divide n?
False
Suppose -50 + 30 = a. Let v(h) = -h**3 - 6*h**2 - 5*h + 5. Let o be v(-5). Is a/(-2) + (o - 2) a multiple of 13?
True
Suppose 0 = g - 6*g - 5. Let z be (2 + -2)/(-3)*g. Suppose 3*r - n - 97 = 0, z = -7*r + 2*r - 4*n + 156. Is 17 a factor of r?
False
Is (1*-5)/((-52)/8060) a multiple of 7?
False
Let i = 11 - 3. Let t be i/32 + 487/4. Let d = -64 + t. Is d a multiple of 10?
False
Let t(o) = -4*o**3 + 82*o**2 - 19*o - 42. Is 54 a factor of t(20)?
True
Let d = 9 + -7. Let w(u) = 1 - u**3 + 3 - d + 2 + 6*u**2. Is 4 a factor of w(6)?
True
Let q(h) = h**2 - 3*h + 43. Does 5 divide q(0)?
False
Let v = -33 - -50. Suppose d = 31 + v. Is 15 a factor of d?
False
Let a(c) = c + 16. Let b = 3 + 3. Is a(b) a multiple of 5?
False
Is 39 a factor of 2028/8*(2 + (2 - 2))?
True
Suppose 7*g = 11*g. Suppose g = 4*j - 3*k - 180, 2*j - 4*k - 176 = -2*j. Is j a multiple of 16?
True
Suppose 0*z - 5*u = 2*z - 37, 3*z + 4*u = 73. Let c(l) = -2*l + 2*l + z + l. Is 6 a factor of c(0)?
False
Let v = 7 + -5. Suppose 0 = -v*p - 4, -3*c - 17 + 118 = -4*p. Is 16 a factor of c?
False
Let h(y) = y - 8. Suppose -4 = -p + 2*n, -4*p + n - 3*n = -26. Let c be h(p). Is (-27)/(-6)*(-12)/c a multiple of 10?
False
Let y = -1145 + 1368. Is 3 a factor of y?
False
Suppose -9*s = -4*s - 25. Suppose 702 = s*t + t. Is t a multiple of 39?
True
Let i = 806 + -355. Is i a multiple of 34?
False
Let y be (2 - (-2 - -3))/(2/(-690)). Let x = -185 - y. Is 33 a factor of x?
False
Let c(g) = -68*g - 4. Let z = -15 - -9. Let q be c(z). Is 18 a factor of q/8 - (-2)/4?
False
Let i = 16 + 20. Suppose -34*h + i*h = 214. Is h a multiple of 53?
False
Let d be 4/6 + 0 + (-2716)/(-21). Suppose -4*c - 2*k = -106 - 384, c + 2*k - d = 0. Is 12 a factor of c?
True
Suppose 25*u - 8362 = 49638. Does 29 divide u?
True
Let x(k) = k**3 + 14*k**2 - k - 8. Let p be ((-28)/(-12))/((-2)/12). Let v be x(p). Is 6 a factor of (-35)/(-3) + 2/v?
True
Suppose -4*g - 12 = 2*r, 6*r - 2*r = -5*g - 15. Suppose 0 = -5*v + l + 310, 2*v - 4*l - 106 = -r*v. Does 21 divide v?
True
Suppose -2*t - 5*p = -137, -t + 3*t = 2*p + 130. Suppose -23 = -q + y - 5*y, 0 = -4*q - 3*y + t. Is q a multiple of 13?
False
Let g(f) = -f + 7. Let s be g(-3). Suppose -5*t - 1 + s = -3*a, -3*t = -3*a - 9. Suppose t = 4*w - 41 - 31. Is 10 a factor of w?
False
Suppose -38 = -18*p + 340. Does 2 divide p?
False
Suppose -2*l = z - 5*l + 2, -3*l = 5*z - 26. Is 2 a factor of z?
True
Suppose -126 + 12 = -3*u. Suppose -4*b = -u - 54. Does 20 divide b?
False
Let v be (5*-4)/((-2)/4). Let m be ((-24)/v)/(2/(-10)). Suppose -m*c + 6*c + y = 61, -2*c + 2*y + 46 = 0. Does 19 divide c?
False
Let a = 564 - 305. Does 40 divide a?
False
Let v(c) = -2*c**3 - 32*c**2 + 10*c + 23. Is v(-21) a multiple of 57?
False
Let v = -207 + 313. Suppose 3*n - 277 + v = -2*i, -72 = -i + 3*n. Does 13 divide i?
False
Let i be (-2)/4 - (-1)/2. Suppose 4*g + 26 = -4*n - 6, -g - 4 = i. Is 10 a factor of 59 - (8/n + 1)?
True
Let a = 50 + -46. Suppose -x + 17 + 47 = a*r, 4*x - 4*r = 156. Is 15 a factor of x?
False
Suppose 0 = -5*i - 0*k - 2*k - 5, 0 = -3*k. Let d(p) = -23*p + 5. Does 4 divide d(i)?
True
Let u be (56/6)/((-4)/36). Is 12 a factor of 3 - (-3 + u/4)?
False
Let p be 76/18 - 18/81. Suppose 4*o - 3*a = 180 + 2, p*a = -3*o + 124. Suppose 0 = -3*m - m + o. Is 2 a factor of m?
False
Suppose 25*v - 70 = 11*v. Suppose 4*b = -3*n + 29, 4*b - n - n = 14. Suppose 3*a = 5*a - v*w - 136, b*a - 294 = w. Does 21 divide a?
False
Let j(h) = 12*h**2 - 4*h - 2. Let y be j(4). Suppose 6*b - 2 = 10. Suppose -2*c + 146 = b*c - x, 5*c + 3*x - y = 0. Is c a multiple of 12?
True
Suppose -6*w - 5*w + 44 = 0. Suppose 0 = w*y - 3*c - 358, 171 - 1 = 2*y + 3*c. Is y a multiple of 11?
True
Suppose 4*y - u + 5 = -94, 4*y + u = -109. Let t = 34 + y. Does 6 divide t?
False
Let s(u) = u**2 + 2*u - 4. Suppose -3*j = -18 - 0. Let b be 26/j - (-2)/(-6). Is 20 a factor of s(b)?
True
Suppose -124*q = -122*q - 160. Does 6 divide q?
False
Suppose 2*a - 5*k = -14, -a = -3*a + 2*k - 2. Suppose -158 = -a*o + o - 2*t, o - 5*t = 109. Does 14 divide o*(5 - 4)/2?
True
Let t(f) = f**2 + 3*f - 14. Let x be t(-6). Is 30 a factor of (-1 - 119)*(-4)/x?
True
Let m(v) = 3*v**2 - 6*v - 13. Let i be m(5). Suppose u + u - i = 0. Does 4 divide u?
True
Let x(n) = -7*n**3 - 5*n**2 - 5. Let h(c) = -20*c**3 - 15*c**2 + c - 14. Let f(b) = 6*h(b) - 17*x(b). Let s be f(-6). Is 13 a factor of 9/(-2 - s) + 44?
False
Does 18 divide 10*(-1 - 1167/(-15))?
False
Suppose -7 = 3*g + 2. Let c = g - -6. Suppose 0 = c*m - 2*m - 11. Is 3 a factor of m?
False
Suppose -321 = -5*c - 2*f + f, 4*c - 276 = 4*f. Let y = 94 - c. Is y a multiple of 21?
False
Suppose 14*h = 11*h + 177. Let q = h - -44. Is 10 a factor of q?
False
Suppose 2*b - 3*y - y = -10, 0 = -b - 4*y + 25. Suppose -k = -b*k + 2*f - 60, 0 = -k + f - 17. Let r = 14 - k. Is 11 a factor of r?
False
Let w(m) = m + 6. Let x be w(-3). Suppose x*g = -2*q + 179, -3*q + 0*q + 264 = 3*g. Is 29 a factor of q?
False
Suppose -92005 = -59*n - 24745. Is 4 a factor of n?
True
Let x be 0/(-2) - 2 - -121. Suppose -31 = 2*l - x. Is 16 a factor of l?
False
Suppose 3*x - 3*a + 6 = -12, -2*a - 9 = 5*x. Let r(y) = -4*y**2 + 19*y - 25. Let m(i) = 3*i**2 - 19*i + 24. Let l(f) = x*m(f) - 2*r(f). Is 9 a factor of l(15)?
False
Is ((-6)/1 - 70)*-1 a multiple of 4?
True
Let v(u) = u - 7. Let y(f) = -1. Let h(k) = -v(k) - 5*y(k). Suppose 0 = 3*o - 2*o + 13. Is h(o) a multiple of 11?
False
Let r(h) = 4*h - 9. Let m(s) = -9*s + 19. Let c(y) = -3*m(y) - 7*r(y). Let g be c(0). Suppose x - g = -x. Does 3 divide x?
True
Suppose -2*o = 5 - 3. Let k(f) = -f**3 + 9*f**2 - 6*f + 6. Let a be k(8). Is 12 a factor of a + -2 - (-2)/o?
False
Let z = 49 - -1. Suppose z = k + 11. Is k a multiple of 11?
False
Let m(t) = t - 1. Let r(w) = -w**3 - 11*w**2 + 19*w + 13. Let d = 14 + -15. Let p(o) = d*r(o) + 3*m(o). Is p(-12) a multiple of 13?
False
Let k(a) = -9*a - 10. Let b(o) = -3*o - 3. Suppose -2 = -5*w + 38. Let x(n) = w*b(n) - 3*k(n). Does 12 divide x(10)?
True
Let r(h) = h**2 - h - 8. Let s be r(-3). Suppose -s*w + 14 = -66. Is 7 a factor of w?
False
Suppose -3*j + 824 = 2*p, -3*j + p + 832 = 5*p. Does 6 divide j?
False
Let m(r) = -5*r + 19. Let h = -46 - -39. Does 9 divide m(h)?
True
Let c be -2 - (-27)/4 - 1/(-4). Suppose d = 3*x - 147, c*d = -24 + 9. Does 8 divide x?
True
Let i(q) = -3*q**3 + 5*q**2 - q + 6. Let