 150 = 5*t, -5*i = -t + h*t - 60. Is 15 a factor of t?
True
Let b(l) = 1. Let o(x) = 2*x**2 + 9*x + 3. Let j(n) = 5*b(n) + o(n). Is j(-6) a multiple of 8?
False
Let k be 964/10 - (-2)/(-5). Let z be (7 + -2)/(-5)*(0 - 0). Suppose -4*s + z*s + k = 0. Does 8 divide s?
True
Let w(u) = 3*u + 9. Is w(7) a multiple of 6?
True
Let i(l) = -3*l + 10. Let x be i(-7). Suppose 17 = z - x. Is z a multiple of 16?
True
Let c = -29 + 63. Is c a multiple of 15?
False
Let c be 3/(6/(-50)) + -2. Let k = 4 - c. Is 14 a factor of k?
False
Suppose 0*o - o - 41 = 4*s, -3*o - 13 = s. Let u = s - -17. Is u a multiple of 5?
False
Suppose -116 = -5*f - 2*w - 0*w, 0 = -f - 3*w + 18. Is (-3)/(-1)*(f - 4) a multiple of 15?
True
Let d = -95 + 146. Let c = d - 110. Let v = -36 - c. Is v a multiple of 16?
False
Suppose -140 = -g + 3*v, 0 = 3*g + 5*v - 6*v - 452. Is g a multiple of 38?
True
Suppose 4*b - 7*b = -105. Is 7 a factor of b?
True
Let q(a) = 18*a. Let x = -1 + 2. Is q(x) a multiple of 9?
True
Is 13 a factor of ((-75)/(-6))/(1/6)?
False
Let p = -5 + 12. Let l = 21 + p. Is 10 a factor of l?
False
Let o = 50 + -30. Suppose y + 3*z - o = 0, 4*y - 3*z - 19 = 61. Does 8 divide y?
False
Is 32 a factor of (-260)/(-2)*(-2)/(-4) - 1?
True
Let k = 145 - 113. Is 4 a factor of k?
True
Let f = -2 - -1. Does 10 divide (18/2)/(f/(-2))?
False
Let o be (-6)/(-9)*12/(-8). Is (0 - (-1)/o)*-30 a multiple of 15?
True
Let q(r) = r + 3. Is q(7) a multiple of 3?
False
Let t(v) = 2*v**3 + 3*v**2 - 4*v + 2. Suppose -4*c = 4 - 12. Is t(c) a multiple of 9?
False
Let g(i) = i**3 + 8*i**2 + 8*i - 5. Does 12 divide g(-6)?
False
Let b = 3 - -28. Is 8 a factor of b?
False
Let b = -233 - -338. Is 27 a factor of b?
False
Let d(v) = v**2 + 2*v - 3. Let s be d(2). Let l be (-4)/(-6)*(1 + s). Suppose -l*r + 3*r = -25. Is 8 a factor of r?
False
Let m(j) = -j**3 + 5*j**2 + 5*j + 2. Suppose -a = 3*a - 24. Let t be m(a). Let k(s) = -s**2 - 7*s. Is k(t) a multiple of 4?
True
Let b = 41 - -16. Does 41 divide b?
False
Let m = -5 - -4. Let x be (-5)/(0 - (-1)/m). Suppose 140 = 4*z + z - x*v, 5*z + 4*v - 140 = 0. Does 13 divide z?
False
Suppose -k = -2 - 0. Let i(o) = -7 + 0*o**3 - 8*o**2 + 1 - o**3 - k*o. Is 6 a factor of i(-8)?
False
Suppose -17 = 4*h + 7. Let n(z) = -2*z - 1. Let s(r) = 4*r + 2. Let t(b) = h*s(b) - 13*n(b). Is t(2) a multiple of 5?
True
Suppose -3*q = -2*k + 30, k + 5*q + 6 = 34. Is k a multiple of 18?
True
Let w = -6 + 6. Suppose 0 = -q + 5*r - 5, 38 = -w*q + 5*q - 4*r. Is q a multiple of 5?
True
Let a = 22 - 19. Let t(k) = 2*k**3 - 4*k**2 + 2*k - 3. Is t(a) a multiple of 16?
False
Let v(s) = 8*s**2 + 9*s + 18. Does 28 divide v(-6)?
True
Let n(k) = 4*k + 2. Let c be n(-3). Let q be 15/c - 162/(-4). Is 13 a factor of 12*(q/(-12))/(-1)?
True
Suppose -d = -5*n + 2*d + 79, 2*n = 4*d + 40. Let y = n + 58. Is y a multiple of 18?
True
Suppose b - 2*b - 3*g + 84 = 0, 5*g + 108 = b. Let c = -48 + b. Does 15 divide c?
True
Let g = -90 - -184. Is g a multiple of 14?
False
Suppose 5*n - 2*s + 11 - 1 = 0, 0 = -s + 5. Let m be n - 0 - (-2 + -2). Suppose -m*x = 24 - 88. Is x a multiple of 8?
True
Let r(h) = -h**2 + 12*h - 11. Is r(9) a multiple of 5?
False
Let t(l) = -l**2 - 8*l + 3. Let p be t(-7). Is 14 a factor of (4/p)/(1/35)?
True
Suppose -2*t - 3 = -1. Let i = t + 7. Let f = i + 0. Does 4 divide f?
False
Let g(i) = 2*i**2 + 4*i + 3. Let r be g(-2). Suppose v - 14 = -2*j + 14, -r*v + 84 = 2*j. Does 7 divide v?
True
Suppose 0*r = -3*r + 144. Is 12 a factor of r?
True
Let s = 8 - 7. Does 14 divide s*12 - (-4)/2?
True
Suppose -4*y - 140 = -8*y. Is y a multiple of 7?
True
Let n(h) = h + 5. Let a be n(5). Suppose -9*i - 140 = -4*i. Let f = a - i. Is 19 a factor of f?
True
Suppose -4*q + 0*q = -8. Suppose -r - 24 = -q*r. Is 8 a factor of r?
True
Let j = 4 - -4. Suppose 3*a + 2*i = 7*a - 200, -j = -4*i. Is 17 a factor of a?
True
Let o be 14*6*8/(-12). Let i = -18 - o. Is 19 a factor of i?
True
Let w(j) = j**3 + 4*j - 23. Let s(q) = -4 + q + 5 + 0. Let y(p) = 3*s(p) - w(p). Is 13 a factor of y(0)?
True
Let l(n) = -n + 1. Let y be l(-1). Is 16 a factor of (-14)/(-21)*111/y?
False
Suppose 4*g = g + 9. Suppose -i = -g*i. Let u(p) = p**3 + p**2 - p + 14. Does 13 divide u(i)?
False
Let d be (0 - -3)*1/1. Suppose -d*o + 17 = 2*j, 4*j = -0*j + 16. Suppose -2*r + 2 + 8 = 0, 0 = -s - o*r + 37. Is s a multiple of 11?
True
Let l(y) be the first derivative of -1 - 4*y**2 - 4*y - 1/3*y**3. Is l(-6) a multiple of 5?
False
Let b = 173 - -57. Is b a multiple of 29?
False
Let m(v) = 26*v + 4. Let n be m(6). Suppose -7*a = -3*a - n. Is 24 a factor of a?
False
Let d = -17 - -4. Let a = d + 18. Is 3 a factor of a?
False
Let m = -17 - -3. Let y(g) = -5*g - 10. Does 20 divide y(m)?
True
Suppose -m + 4*h = 2*h - 42, 2*m - h - 78 = 0. Does 13 divide m?
False
Suppose 20 = 2*a + 6. Suppose a = x - 8. Is 15 a factor of x?
True
Let d(j) = j**3 - 2*j**2 + 2. Let b(c) = 3*c - 3. Let z be b(2). Is 11 a factor of d(z)?
True
Suppose 0 = -n - 9. Let k = 21 + n. Is k a multiple of 12?
True
Does 36 divide 432*(-1 - (-2)/6*5)?
True
Let k = 197 - 140. Does 12 divide k?
False
Suppose 420 = 3*r + 9*r. Is r a multiple of 10?
False
Suppose -4*w - 56 = 2*x, -4*x - 75 = 5*w + 52. Let o = 4 + -2. Does 17 divide o - (x + (-3 - 0))?
False
Suppose 5*p - 24 = 11. Suppose -j = -30 - p. Is j a multiple of 12?
False
Let a(s) = -2*s**2 + 11*s - 13. Let t(f) = f**2 - 10*f + 12. Let d(l) = 2*a(l) + 3*t(l). Is d(-8) a multiple of 4?
False
Let c(l) = 2*l - 14. Let r be c(10). Suppose 2*v - 2 = r. Does 3 divide v?
False
Suppose -7*l + 3*l = -20. Suppose 5*c = 111 + 39. Suppose -i - 2*i + c = 3*v, 5*i - l*v = 30. Does 8 divide i?
True
Is 96/(-18)*57/(-4) a multiple of 15?
False
Let h = -8 + 8. Let f = 2 - 3. Is 13 a factor of -1 + (f - h) + 28?
True
Let m = 104 + 184. Is m a multiple of 24?
True
Let r = -19 - -21. Let j = r + 53. Is 35 a factor of j?
False
Let o(i) = 11*i - 6. Is 5 a factor of o(3)?
False
Let r(d) be the first derivative of d**4/4 - 5*d**3/3 - 2*d**2 - 3*d - 3. Is r(6) a multiple of 9?
True
Let v = -7 + 11. Let u(m) = m**3 - 3*m**2 - 2*m + 6. Is u(v) a multiple of 14?
True
Suppose 5*h - 58 = 42. Does 10 divide h?
True
Suppose -q = 2*q - 6. Suppose q*b - 45 = 27. Is b a multiple of 10?
False
Let m = -6 - -11. Suppose -q - 2 = -0*q - 2*l, l = -m*q - 32. Is (136/6)/((-4)/q) a multiple of 17?
True
Let u(w) = -w**3 + 6*w**2 - 3. Let n be u(4). Let h = n + -21. Does 4 divide h?
True
Suppose -11 = -l + 5. Is l a multiple of 4?
True
Let g(m) = m**3 - 9*m**2 + 2*m + 6. Does 4 divide g(9)?
True
Let i = -280 + 504. Is i a multiple of 8?
True
Let z(x) = -x**3 + 5*x**2 - 3*x + 1. Let w be z(4). Suppose -w*q + 63 = -72. Is q a multiple of 9?
True
Let l = -6 - -7. Let y(f) = -2*f**3 + 6*f**2 - f**3 - l + 2*f**3. Is 12 a factor of y(5)?
True
Does 5 divide 3*-1 + (9 - 7) + 65?
False
Let x(l) = -l - 2. Let o be x(0). Does 11 divide (o/6)/(1/(-39))?
False
Let y = -43 + 86. Is 9 a factor of y?
False
Let s(g) = g**3 - 11*g**2 + 10*g - 6. Let w be s(10). Is 5 a factor of 2/4 - 87/w?
True
Let q(t) = t**2 + t - 49. Is 33 a factor of q(-15)?
False
Let x = -6 + 12. Does 5 divide x?
False
Let u(x) = 14*x - 2. Let g(w) = -15*w + 2. Let q(t) = 5*g(t) + 6*u(t). Is q(2) a multiple of 10?
False
Suppose -2*h = -9*h + 105. Does 4 divide h?
False
Suppose -3*x + 56 = -5*k, -4*x = -0*x - 4*k - 80. Does 22 divide x?
True
Suppose 2*f = 5*t + 47, -3*t - 27 = -f - 4. Does 26 divide f?
True
Let z = 4 - 4. Suppose -h - h + 156 = z. Is 39 a factor of h?
True
Let f = 23 - 23. Suppose 2*o + 3*k - 2*k - 36 = f, -18 = -o - 2*k. Is o a multiple of 6?
True
Suppose 4*n - 1317 = -2*z + 277, -3*n - 5*z + 1192 = 0. Does 50 divide n?
False
Let u be (-62)/(2*-1*1). Suppose -3*d = -u - 2. Does 4 divide d?
False
Let h(b) = 9*b + 10. Let v be h(-10). Let o = -44 - v. Does 18 divide o?
True
Is 18 a factor of (1/(-3))/((-2)/108)?
True
Suppose -498 = -3*v + 3*b, 0 = -3*v - 0*b - 4*b + 526. Let z = v - 98. Does 16 divide z?
False
Let t(d) = d**3 - 7*d**2 + d - 6. Let o be t(7). Suppose -2 + 4 = -i + h, -4*i - 5*h + o = 0. Is 5 a factor of (7/(-4) - i)*-16?
False
Let m(f) = 6*f**2 + 90*f**3 + 1 + 3*f - f - 91*f**3 + 7*f. Let p = 5 + 2. Is m(p) a multiple of 15?
True
Is 8 a factor of (-2)/3*1*(4 + -31)?
False
L