se 5*q = 4*j + 147, 4*j - 2*j = -4*q + 128. Let m = q - 24. Is m a multiple of 3?
False
Let k(c) = -c**3 + 11*c**2 + 11*c - 16. Is k(9) a multiple of 26?
False
Let m(g) = 7*g - 3. Is 18 a factor of m(4)?
False
Let w(d) = -2*d - 7. Let c be (0 - -2)/(6/(-15)). Let i be w(c). Is 3 a factor of 1/(-3) - (-19)/i?
True
Let i(n) = -4*n + 4. Does 3 divide i(-2)?
True
Let k = -12 + 6. Let u = k - -10. Is 4 a factor of u?
True
Let t = -126 - -253. Does 16 divide t?
False
Let b = -103 - -140. Does 9 divide b?
False
Let w(m) = -m**2 + 4*m - 3. Let y be w(4). Does 15 divide 29 + y + 0 - 1?
False
Let h(g) = -g + 16. Let u(m) = -8. Let a(y) = -4*h(y) - 7*u(y). Suppose p + 35 = 5*o, -6 = 3*o - 2*p - 34. Does 15 divide a(o)?
False
Let b(g) be the third derivative of 5*g**5/12 + g**2. Let r be 1 - (2 + -3 - -1). Does 13 divide b(r)?
False
Suppose 0 = 3*j + 3, -4*r + 5*j = r - 305. Suppose u = -4*u + r. Is 6 a factor of u?
True
Let n(u) = u**3 + 12*u**2 + 2. Let q be n(-12). Suppose -54 = -q*x - x. Is 18 a factor of x?
True
Let h be ((-32)/6)/(2/(-3)). Let g(o) = -o**2 + 11*o + 7. Is 9 a factor of g(h)?
False
Let g = -4 - -43. Does 7 divide g?
False
Let f(t) = -t**3 + 11*t**2 - t - 4. Is f(10) a multiple of 16?
False
Suppose -4*h = -h - 24. Let g(b) = b + 4. Is g(h) a multiple of 5?
False
Let l = 3 + -2. Suppose 0 = -2*g + 3 + l. Suppose -k + 9 = g*k. Is k a multiple of 3?
True
Let y be 8/12*9/2. Let v = 25 + y. Suppose v = -0*i + i. Is 14 a factor of i?
True
Suppose -3*h - 10 + 82 = 0. Is h a multiple of 24?
True
Let q(p) = -2*p - 12. Is 5 a factor of q(-11)?
True
Suppose 0 = 5*p, o - 63 = -2*o + 2*p. Suppose -3*n + o + 6 = 0. Is n a multiple of 3?
True
Let d(v) = v**2 - v - 3. Let r be d(3). Is r + 22/(-2 - -3) a multiple of 11?
False
Let u(d) = -11*d**3 + d**2 + d. Suppose -2*s - w = -4, 28 = 3*s - w - 3*w. Suppose -2*v = -4*h + 3*h, 3*h = 2*v - s. Does 4 divide u(v)?
False
Let z = 10 + -10. Suppose z = g + 5*y, -9 = -g + 3*y + y. Suppose -u - 40 = -g*u. Is u a multiple of 5?
True
Suppose -22 + 2 = -4*l - 4*n, 0 = -2*l - 3*n + 15. Suppose 7*f - 35 - 77 = l. Is f a multiple of 3?
False
Suppose 2*l - 2 = -4*n - 34, 4*l = 4*n + 44. Let i = 7 + n. Is 9 a factor of (15/i - -3)*-4?
True
Suppose 0*z + 35 = 5*z. Let c = 5 - z. Let q = c + 24. Does 11 divide q?
True
Does 9 divide (-3)/(((-3)/(-13))/(-3))?
False
Let u = -76 + 123. Is u a multiple of 11?
False
Let i = -4 + 8. Suppose -6 = -3*u + 2*x + 7, x = i*u - 14. Suppose -4*f + 112 = -2*t, -u*f + 6*f = 2*t + 84. Is 14 a factor of f?
True
Let t be (2 - 2) + -2 + 5. Suppose t*d = 7 + 29. Suppose -d = -f + 3*s, -3*f = -4*s - 7 - 14. Is 2 a factor of f?
False
Suppose 0 = -q - 3 + 67. Is q a multiple of 13?
False
Let d = -187 + 315. Does 7 divide d?
False
Let d(y) = 4*y - 2 - 2*y**3 + 4 + 2 + y**3 + 6*y**2. Let n be ((-4)/5)/(2/(-15)). Does 13 divide d(n)?
False
Let v be 7/(-28) - 17/(-4). Let n = 17 - 5. Is ((-18)/n)/((-2)/v) a multiple of 2?
False
Let g(a) = -4*a - 2. Let d be g(3). Let v(w) = w**2 + 10*w - 15. Let k be v(-11). Let x = k - d. Does 10 divide x?
True
Let h be ((-15)/2)/(3/(-12)). Suppose 2*t + 39 = 6*n - 3*n, n + 5*t - h = 0. Is n a multiple of 4?
False
Let w(s) = s**2 + 3*s - 4. Let h be (10 - -4)*(-2)/4. Let p be w(h). Is 11 a factor of p + (1 + 0)*-1?
False
Suppose 121 = 3*k + 28. Suppose k - 11 = 2*w. Does 6 divide w?
False
Let l be (26/3)/(10/30). Let d = 62 + l. Is d a multiple of 23?
False
Suppose 4*m + 0*m - 88 = 0. Does 7 divide m?
False
Let c(n) = 14*n - 1. Is c(3) a multiple of 34?
False
Let z(u) = -10*u + 6. Is z(-3) a multiple of 12?
True
Let c be -2*(-9)/(-12)*-4. Suppose -2*k + 2*q = c*q - 26, 20 = 4*q. Suppose 3*z - 10 = 5, -4*z = -k*g - 8. Is g even?
True
Suppose 12*y - 111 - 33 = 0. Is 6 a factor of y?
True
Suppose 3*s = -4*w + 97, -4*w + 130 + 2 = -4*s. Does 4 divide w?
True
Let j be -2*9*(-3 - -4). Let u = j + 35. Is u a multiple of 17?
True
Let u(x) = -4*x - 4 + 4 + 2*x**2 + 1. Let a be u(3). Suppose i - 16 = -a. Does 4 divide i?
False
Does 15 divide (51/68)/((-2)/(-56))?
False
Let g(m) = -4*m**2 + m - 7. Let t(s) = s**2 - 1. Let r(u) = -g(u) + 5*t(u). Is 24 a factor of r(-2)?
False
Let s = -39 - -71. Does 8 divide s?
True
Suppose -4 = h, -4*p - 5*h = -2*p - 48. Let z be (-4)/(-3)*3/(-2). Is 11 a factor of p/3 - z/(-6)?
True
Let q be 0 - (-4 + 0)/2. Suppose 3*b - 114 = -q*d - d, 0 = -3*d - 2*b + 116. Suppose 44 = 4*o + 4*c - d, -5*o + 5*c = -85. Does 6 divide o?
False
Suppose -3*x = -2*v + 20, -5*v = 5*x - 59 + 9. Let b = v - -12. Suppose -b = 3*h - 82. Is 10 a factor of h?
True
Suppose m + 3*a = -a - 61, 0 = -4*m - 2*a - 188. Suppose 5*d = -0*d - 2425. Is 4 a factor of d/m - (-4)/18?
False
Is 1638/81 - 2/9 a multiple of 10?
True
Does 18 divide -18*((-20)/(-12) + -3)?
False
Let v(o) = o**3 + 19*o**2 + 16*o - 6. Is 5 a factor of v(-18)?
True
Let i be 3 - -10 - (-2 - -5). Is i/55 + 766/22 a multiple of 10?
False
Let j be ((-66)/(-15))/(1/5). Suppose -2*z = 4 - j. Is 8 a factor of z?
False
Let q(w) = -w**3 + 5*w**2 + 3*w - 7. Let r be q(-5). Let k = -4 + 8. Suppose -a + l = k*a - r, 3*a = l + 136. Is 13 a factor of a?
False
Suppose a - 25 = 55. Is a a multiple of 19?
False
Let a = 106 + 5. Suppose -4*v - 5 = 15, -4*g + a = v. Suppose -3*o - g = -5*y, 2*y - y = 2*o + 3. Does 6 divide y?
False
Let m be (-6)/(-27) - 166/18. Let g = -6 - m. Suppose 3*t = 3*h + 51, 2*h - g*h + 55 = 5*t. Does 7 divide t?
False
Let f be 2*((-9)/6 + 0). Let l = f - -4. Is 6 a factor of (-57)/(-4) - l/4?
False
Let l(d) = -12*d - 1. Suppose -2 = 3*h + 1. Does 11 divide l(h)?
True
Does 3 divide 30/(((-16)/(-12))/(16/12))?
True
Let m be 0/(-1 + 0 + 0). Suppose 3*x - x + 72 = m. Does 10 divide (-4)/18 + (-800)/x?
False
Let f(n) = n - 2. Let u(x) = -1. Let c(k) = f(k) - 4*u(k). Let h be c(-4). Does 7 divide ((-48)/28)/(h/21)?
False
Let g be (-2)/(-9) + 32/18. Let c(f) = 0*f**2 - f**3 - 4 - f + 7*f**2 - g. Is 12 a factor of c(6)?
True
Suppose 4*a - 77 = -4*h + a, 2*h - 19 = 5*a. Is h a multiple of 10?
False
Let d(t) = t**2 - 5*t + 14. Is d(9) a multiple of 10?
True
Suppose 451 + 181 = 4*t. Is 21 a factor of t?
False
Suppose 6*b = 5*o + 3*b + 187, 167 = -5*o - 2*b. Is 14 a factor of (588/o)/(6/(-20))?
True
Does 26 divide (-13)/(-2)*(12/4 + 17)?
True
Suppose 3*c + 30 = -2*v, 0 = 4*c - 3*v + 5 + 35. Does 5 divide 5/c - (-147)/6?
False
Suppose 6*o - 3*q + 254 = o, 5*o + 251 = 2*q. Let y be 12/(-7) + 14/o. Let r = y - -35. Does 13 divide r?
False
Suppose j = 0, u + 4*j = 6 + 2. Suppose -3*s - 5*v + 122 = -u, 2*s + 3*v = 85. Is s a multiple of 9?
False
Suppose 1 = 3*g - 5. Suppose 5*h - 213 - 132 = -4*o, g*h + 456 = 5*o. Does 23 divide o?
False
Let u be (-2)/(-5) + 8/5. Let x(c) = 12*c**u + c**3 - 8 + 8*c - 6 + c. Does 5 divide x(-11)?
False
Suppose 0*m = 2*m - 5*j - 55, 0 = -2*m + j + 51. Suppose -7*b + 2*b + m = 0. Suppose -6*i - 3*p = -2*i - 38, 2*i - b*p - 6 = 0. Does 6 divide i?
False
Let j be ((-33)/(-44))/(2/8). Suppose -6 = j*n, -138 = -4*u - 5*n + 2*n. Does 12 divide u?
True
Let a(d) = -d - 7. Let w be a(-6). Let p be 15/5 + -1 + w. Does 10 divide 30/(-21)*(-7)/p?
True
Suppose 0 = 4*x - 103 + 39. Is 16 a factor of x?
True
Is 19 a factor of (171/(-6))/((-3)/6)?
True
Let j = -29 - 3. Let q = 62 + j. Does 30 divide q?
True
Is 1/(-4*(-2)/976) a multiple of 23?
False
Let z = 2 + 8. Suppose -5*p - 13 = -3*b + z, -2*p + 10 = 2*b. Is b a multiple of 2?
True
Let g = 6 - 15. Let f(q) = q**2 + 6*q - 2. Let b be f(g). Suppose -4*z - 2*p = -31 - b, -3*z + p + 47 = 0. Is 5 a factor of z?
True
Suppose 11*q = 7*q + 128. Let k = q + 30. Does 23 divide k?
False
Let j(u) = -u - 2. Let d be j(-6). Suppose -c - d = -2*c. Suppose -c*a = -a + o - 46, 5*a - 74 = -3*o. Is 16 a factor of a?
True
Let n(s) = 0*s - s + s**2 - 4 - s. Let c be n(4). Suppose -2*x + c = -60. Is x a multiple of 16?
True
Is (-1530)/(-20) - (-1)/(-2) a multiple of 13?
False
Let a be 7 - (-1 - (2 - 2)). Let o be 299/(-9) + a/36. Let m = o - -49. Does 15 divide m?
False
Suppose 3*q - 663 = -3*w, 5*q + 494 = 4*w - 399. Is 37 a factor of w?
True
Suppose 119 = 4*b + 11. Let k = 45 - b. Does 14 divide k?
False
Let b(o) = o**2 + 10*o + 11. Does 15 divide b(8)?
False
Suppose 12*c - 1904 = -2*c. Is 17 a factor of c?
True
Let l = -5 - -37. Is l a multiple of 10?
False
Le