55, 3*f = -3*h + 99. Is 14 a factor of h?
False
Let v be 111/2 + 8/16. Let n = v - 31. Is n a multiple of 15?
False
Let i(l) = -l**2 + 8*l - 9. Let r be i(6). Let v(c) = 6 - 3*c + r*c - c. Is v(4) a multiple of 2?
True
Let s(l) = 5*l**2 - 2*l - 2*l - 4*l**2. Is 7 a factor of s(7)?
True
Suppose 3*y - 116 = -y - v, 3*y = 4*v + 68. Does 7 divide y?
True
Let w(c) = c**3 - 4*c + 3. Let z = 3 + -1. Is 3 a factor of w(z)?
True
Let g = -31 + 79. Does 6 divide g?
True
Let n(i) = 2*i**2 + i. Let b be n(-2). Let r = b + -4. Suppose -146 = -5*g + r*v, -v + 143 = 5*g - 2*v. Is 14 a factor of g?
True
Suppose 26 = 5*h + 3*n, 0 = -0*h + 4*h - 4*n - 8. Suppose -3*l + 41 = -a, 7*l - 2*l = h*a + 59. Does 15 divide l?
True
Let h = 39 - 30. Is h a multiple of 2?
False
Let y(q) = 15*q - 1. Suppose 4 = 4*h - 0*h - 3*r, 3*h + 22 = -4*r. Let i be y(h). Let j = i - -62. Does 13 divide j?
False
Suppose -i - 75 = 2*i. Let o = -18 - i. Does 7 divide o?
True
Let s = -1 + 4. Suppose -s + 7 = -4*v. Does 2 divide 0 - (v - 5 - -1)?
False
Let a(j) = 13*j - j**2 - 4 + 7 - 18*j. Does 4 divide a(-4)?
False
Suppose -2*k = 4*c - 0*c - 60, -4*k - 2*c = -150. Is k a multiple of 8?
True
Suppose 6*p = p + 100. Suppose 2*y + p = 184. Does 29 divide y?
False
Let q = 27 + 6. Let c = q - 24. Is c a multiple of 3?
True
Let h(g) = -g**3 - 4*g**2 - 3. Let j be h(-4). Let x be 2 + j + (-2)/1. Does 9 divide x/(-15) - 89/(-5)?
True
Let l = 3 + -3. Suppose l = v - 5*v + 12. Suppose -3*f + 165 = 5*j, v*j - 16 = 4*f + 112. Does 20 divide j?
False
Let j be (-7)/21 - 32/(-6). Suppose 3*t - 22 = j*m, 4*t - 2*m + 7*m = 76. Is 14 a factor of t?
True
Let f(k) = -k**3 + 2*k**2 - k + 64. Is 25 a factor of f(0)?
False
Let g(o) be the second derivative of -o**5/20 + 2*o**4/3 + 5*o**2 + o. Let t be g(8). Let x = 31 - t. Is x a multiple of 13?
False
Let k = -18 - -27. Suppose k = -3*r + 24. Suppose 2*b + 3*w - 39 = -5, 4*w - 99 = -r*b. Does 12 divide b?
False
Let q be (-2 + 10/4)*44. Let r = q - 13. Is 3 a factor of r?
True
Suppose -2*o = -0*o - 40. Is 20 a factor of o?
True
Let f = -26 + 153. Is 34 a factor of f?
False
Let j(p) = -3*p - 10. Let d be (-17)/1 + 0/(-3). Let b = d - -10. Is 10 a factor of j(b)?
False
Suppose 3*t - t - 26 = 0. Let i(x) = -x**2 + 14*x - 5. Does 8 divide i(t)?
True
Is 15 a factor of (-2)/(-8)*30*6?
True
Is 2 a factor of -2*(6/(-2) - -2)?
True
Let f be 2/(-7) - (-23)/7. Suppose -5*a - 16 = o + f*o, -2*a - 4*o = 16. Suppose -u - 4*u + 50 = a. Is 4 a factor of u?
False
Suppose -2*b - 7 = -29. Is b a multiple of 11?
True
Let w = 35 + 109. Does 18 divide w?
True
Suppose 0 = 2*g - 7 - 97. Let b(r) = 2*r - 11. Let n be b(-6). Let j = g + n. Does 13 divide j?
False
Suppose -30 = -3*m + 3*w, -9 = 4*w - w. Let j = -10 + m. Does 14 divide 19 - (j + (3 - 3))?
False
Let b be (9/6)/(-3)*-16. Suppose 2*r = 3*a + 2*a - 106, -b = -4*r. Is 11 a factor of a?
True
Let f = 251 - 151. Suppose 4*t - f = -4*c, c - 4*t = -3*c + 140. Does 14 divide c?
False
Let u = -3 - -5. Let i = u + -2. Suppose -2*h + i*h + 24 = 0. Does 12 divide h?
True
Suppose -5*v - o = -103, 2*o - 7*o + 35 = v. Does 6 divide v?
False
Suppose -2*v - 38 = 6*r - r, -5*r = -3*v - 7. Is 6/(1/(v/(-6))) a multiple of 3?
True
Suppose 2*d = u - 6 + 19, 3*u = -d - 11. Does 4 divide d?
True
Suppose f - 47 + 9 = 0. Is 19 a factor of f?
True
Suppose -u + 11 = 5*z - 0*z, -5*z + 23 = 3*u. Is 6 a factor of -9*-3*u/27?
True
Let x(l) = l**2 + 6*l + 4. Let a be x(-6). Let g(n) = -n**3 + 3*n**2 + 3*n + 3. Let c be g(a). Let v(k) = -9*k - 1. Does 4 divide v(c)?
True
Let d = -6 - -4. Let o(k) = 6*k**2 - 3*k**3 - k**2 - k**2 + 2*k + 1 - 2*k**2. Does 13 divide o(d)?
False
Suppose -4*o - o - 30 = 0. Let b(r) be the third derivative of r**5/60 + r**4/24 - 7*r**3/6 - r**2. Is b(o) a multiple of 9?
False
Let f = 38 + -11. Does 13 divide f?
False
Let z = 17 - 17. Suppose -w + 2*w - 32 = z. Is w a multiple of 8?
True
Suppose -w + 4 = 2*r, -20 = 6*r - r - 5*w. Suppose r*s + 5 = s. Is s even?
False
Suppose 5*g = -3*m + 606, -128 = -g - 0*g - 4*m. Is g a multiple of 16?
False
Suppose 5*b - 464 - 137 = 2*f, -2*b = -f - 240. Does 4 divide b?
False
Suppose -5*j - 353 = -x, -2*x = 4*j + 2*x + 268. Is 11 a factor of (j/4 + 1)*-2?
True
Let j = 2 - -6. Is (j/(-24))/(2/(-78)) a multiple of 4?
False
Let v be 3/(-2)*(-4)/6. Let k be (v + -1)/2 + 2. Suppose 2*n - 2 = 0, -n + 17 = k*z - 4*n. Does 10 divide z?
True
Let r(f) = f**2 + 5*f + 3. Let g be r(-4). Let s be (-6)/(-24) - g/(-4). Is 18*((-3)/(-3) + s) a multiple of 13?
False
Suppose 4*f = 20, -5*a + f = 7 + 3. Let l(x) = -10*x**3 + 2*x + 1. Is 3 a factor of l(a)?
True
Let f(x) = x - 24. Let z be f(18). Let j = z + 34. Does 7 divide j?
True
Suppose -4*s - 23 = 5*h - 180, 3*h = 3*s - 84. Suppose 13 + s = 5*k - 3*l, 5*k - 30 = -5*l. Is 8 a factor of k?
True
Let b(c) = 4*c - 9 + 0 - c + 2*c. Is 8 a factor of b(8)?
False
Let p(m) = -m - 3. Let v be p(-6). Suppose k = 6 - v, -2*k = -5*x + 74. Let o = 6 + x. Does 11 divide o?
True
Suppose 0 = -s + 57 - 3. Is 12 a factor of s?
False
Let u(r) = r**2 + 0*r + r + 6 - 2*r + 5*r. Is 10 a factor of u(6)?
False
Let j be 8*2/4 + -2. Let s = 6 - j. Suppose 0 = -n - 5*k + 66 - 15, 0 = s*n - 3*k - 89. Is 16 a factor of n?
False
Does 21 divide (168/10)/(2/10) + 0?
True
Suppose j + j - 10 = 0. Let t(w) = -w**3 + 8*w**2 - 5*w + 3. Does 12 divide t(j)?
False
Let d = 132 + -72. Is 6 a factor of d?
True
Let p(k) = -k**2 - k - 6. Let w(r) = -3*r**2 - 3*r - 13. Let x(n) = 5*p(n) - 2*w(n). Is 13 a factor of x(-6)?
True
Let s(q) = -q**2 + 21*q - 8. Is s(14) a multiple of 9?
True
Suppose 5*p = -3*u + 192, 2*u = -p + 23 + 21. Suppose 3*l + 3*q - p = 2*l, -5*q = -10. Is l a multiple of 10?
True
Suppose -83 = -2*d + 25. Is d a multiple of 18?
True
Let j be 4/3*(5 - 2). Suppose j*n + 148 = 796. Suppose 5*z + 2*o + 2*o = n, -z - 3*o + 28 = 0. Is 17 a factor of z?
True
Suppose 3*y - 4*h = -0*h + 217, 0 = -2*y - 2*h + 126. Does 18 divide y?
False
Suppose 3*v - 40 = 4*d + v, -d - 4*v = 10. Let x be (d/3)/(2/(-3)). Suppose -x*r + 61 = 11. Is r a multiple of 10?
True
Suppose -8*b + b = -567. Is 9 a factor of b?
True
Let t(b) = b**2 + 7*b + 12. Is t(-10) a multiple of 21?
True
Suppose 5*d - 27 = 123. Does 10 divide d?
True
Suppose -87 = -n + 3*g + 111, 0 = 2*n - 2*g - 396. Does 19 divide n?
False
Let x(o) = -39*o + 1. Does 8 divide x(-1)?
True
Suppose -15 = 7*v - 2*v. Let f(q) = 6*q**2 + q - 1. Does 16 divide f(v)?
False
Does 11 divide (-98)/(-6) - 23/69?
False
Let p(f) = f**2 - 8*f + 6. Let b be p(7). Let a = 7 + b. Is 3/(a/11)*4 a multiple of 17?
False
Let q be (-4)/6*666/12. Let c = q + 52. Is c a multiple of 10?
False
Let u be -2*-2*10/8. Let t = 13 - u. Is t a multiple of 3?
False
Let a(x) = x + 4. Let n = -1 - -3. Suppose -n*l - 5 = o, -2*o = l - o + 5. Is a(l) a multiple of 3?
False
Suppose -d - d + 106 = 0. Suppose 3*l + 4*y = 14 + d, -2*l + 5*y = -14. Is 9 a factor of l?
False
Let f = -52 - -115. Is 11 a factor of f?
False
Suppose 3*k = -k - 180. Suppose -l + 24 = -3*l. Let b = l - k. Is b a multiple of 12?
False
Suppose 0 = -5*s - 5*m + 740, -139 = -s - 0*s + 2*m. Is s a multiple of 29?
True
Let x(y) = -5 + 3 + 5*y + 1. Is 14 a factor of x(10)?
False
Suppose 0 = -4*q - 0*q + 184. Does 21 divide -1 + 1 + -3 + q?
False
Suppose 2*x - 4*x = -88. Is x a multiple of 11?
True
Suppose 0 = -5*w + 5*z + 125, -2*w - 2*z + 53 = -3*z. Is w a multiple of 7?
True
Suppose 0*s = 2*s. Suppose 6*a - 3*a + 144 = s. Let i = a - -76. Does 13 divide i?
False
Suppose -5*b = -93 - 27. Let d = b + 2. Does 11 divide d?
False
Suppose -4*v = -2*v - 40. Is 10 a factor of v?
True
Let o be 180/27 - 1/(-3). Suppose -o = -n - 2. Let m(r) = r**3 - 5*r**2 + r + 1. Does 3 divide m(n)?
True
Suppose 2*z = -2*t + 7*z + 380, -4*z + 884 = 5*t. Is 30 a factor of t?
True
Let z = 517 + -192. Is 45 a factor of z?
False
Suppose 0 = 3*a - a - 4*l - 48, -2*a + 3*l + 51 = 0. Does 21 divide a?
False
Is (1 + -6)*(-243)/45 a multiple of 7?
False
Suppose 0*k = 4*f + 2*k - 308, -4*f - 4*k + 304 = 0. Is f a multiple of 26?
True
Let x = 0 + 1. Let a(q) be the second derivative of 11*q**5/20 - q**4/12 + q**3/6 - q**2/2 + 2*q. Is a(x) a multiple of 10?
True
Suppose 2*m + 3*i - 90 = -m, 0 = -m + i + 20. Does 9 divide m?
False
Let m(d) = 58*d - 4. Let y be m(