, -4*x - l = x - q. Is 6 a factor of x?
False
Let d = -1 - 14. Is 22 a factor of (-670)/d - 4/6?
True
Suppose 7 = 2*v - 3. Let i = -52 + 78. Suppose -y - 3*s + v = -i, -s = -1. Is y a multiple of 12?
False
Let r be (5/(-15))/((-2)/12). Let w be -1 + r/2 - -2. Suppose -x + 3*u + 5 = 0, x - 2*x = w*u - 25. Is x a multiple of 7?
False
Suppose -u = -5*n - 3, -2*n + 7*n + 45 = -5*u. Let r(h) = -h**3 - 6*h**2 + 3*h - 5. Let a be r(u). Let z = a - 6. Is z a multiple of 9?
False
Suppose 0 = 3*z + 4*x + 4, 5*z - x - 12 = -3*x. Suppose -2*n = 4 + 6, 0 = 5*f + z*n - 20. Does 4 divide f?
True
Suppose -3*y = 3*b - 12, -4*y + 5*b - 4 = -y. Suppose -u + 2*m = -21, y*m - 62 = 4*u - 170. Is 21 a factor of u?
False
Let d be 36/8 + 2/(-4). Does 7 divide 21*((-12)/(-3))/d?
True
Let x(q) be the third derivative of -q**4/24 + q**3/3 - 2*q**2. Let i be x(-6). Suppose -22 - i = -5*h. Is h a multiple of 6?
True
Let b = 233 + -162. Does 38 divide b?
False
Suppose u - 8 = 28. Does 9 divide u?
True
Let v = 262 + -182. Is 10 a factor of v?
True
Suppose 2*r + 2*r - 8 = 0. Suppose -5 = 2*h + 2*h - 5*f, r*h = 2*f. Is h a multiple of 2?
False
Let w = 44 - 20. Is 12 a factor of w?
True
Suppose 0 = -2*a + 22 + 6. Does 7 divide a?
True
Suppose 3*f = 291 - 69. Suppose 2*l + f = 3*l. Is l a multiple of 19?
False
Let o be 2/6 + (-51)/(-9). Suppose 3*t = o*t + 2*g - 56, 0 = t - 4*g. Is t a multiple of 8?
True
Suppose -3*a - n + 188 = 0, 0 = -3*a + 6*a - 3*n - 204. Suppose 4*l - a = u, u + 80 = 5*l - 2*u. Does 8 divide l?
True
Let r(o) = -6*o - 1. Let z(w) = w + 1. Let y be (4/6)/(3/(-27)). Let i be z(y). Is r(i) a multiple of 12?
False
Let d(v) = v**3 + v**2 - v + 18. Let h be d(0). Is h + (1 - 5) + 3 a multiple of 17?
True
Suppose 3*t - 5*v - 17 = 0, 0 = -3*t + 2*v + 10 + 13. Is 5 a factor of t?
False
Suppose -m - 545 = -0*j - 2*j, 0 = 4*j + m - 1099. Let z = j + -170. Suppose -o = -5*o + z. Does 13 divide o?
True
Let f be -3*(3/(-3))/1. Suppose f = q - 16. Is q a multiple of 10?
False
Suppose -4*d - 2*z + 222 = 0, -6*d = -3*d - z - 179. Does 23 divide d?
False
Suppose -113 = 4*k - m, 0 = 4*k - 5*m + 64 + 69. Let f = -43 - -82. Let t = f + k. Is 4 a factor of t?
True
Let x(t) = -2*t - 4. Let n be x(-3). Suppose -l + 10 = -3*y - 22, 2*l = -n*y + 32. Is 10 a factor of l?
True
Let s = -8 - -11. Let h(o) = -o**3 + 8*o**2 + 6*o - 10. Let l be h(8). Suppose l = 2*k + 3*k + 4*x, 31 = 4*k + s*x. Is k a multiple of 8?
False
Suppose -4*d + 101 = -0*d - 5*m, -m = -4*d + 81. Is 8 a factor of d?
False
Let f = 121 - 34. Is f a multiple of 12?
False
Let t be (-158)/(-4) - 4/(-8). Let u = t - 0. Is u a multiple of 20?
True
Suppose -2*l + 29 = -53. Suppose -4*q - l = -1. Is 5 a factor of ((-16)/q)/(6/60)?
False
Let q(r) = -2*r**3 + 6*r**2 + 9*r - 3. Let h(s) = -s**3 + 3*s**2 + 4*s - 1. Let z(v) = 5*h(v) - 2*q(v). Is 3 a factor of z(3)?
False
Let g(j) = -3*j**2 + 2. Let q(v) = -3*v**2 + 2. Let d(o) = 4*g(o) - 5*q(o). Is 13 a factor of d(3)?
False
Let x = 1473 + -752. Is 13 a factor of 2/8 + x/28?
True
Let c(y) = 5*y - 18*y - 34*y + 1. Is c(-1) a multiple of 17?
False
Suppose 2*j - 2 = 0, -v + 2*v + 3*j = 23. Let m = v - 10. Suppose -2*u + m + 8 = 0. Is 7 a factor of u?
False
Suppose -4*h - 5*v + 35 = -12, 4*v = -5*h + 70. Suppose -5*j - 22 = -d, 5*d - 3*d - 3*j = 16. Suppose k = d*k - h. Is k a multiple of 7?
False
Suppose 4*v = m - 28, m - 2*m + 20 = 4*v. Does 4 divide m?
True
Suppose 0 = -3*b + 35 + 55. Suppose i + 2*i = 5*u + 38, -2*i + b = -u. Does 9 divide i?
False
Is 15 a factor of (-3 + -9)/4 + 110?
False
Let v = 68 - 40. Is 28 a factor of v?
True
Let j be (-9)/((1*-1)/(-1)). Let c(h) = -h**2 + 12*h + 19. Let o be c(13). Is 11 a factor of 130/o - 3/j?
True
Let n(w) = 2*w - 9 - 3*w - 2 - 2. Let r be n(-13). Suppose 0 = -r*u + 4*u - 48. Is 6 a factor of u?
True
Suppose 4*w - 48 = 2*w. Is 21 a factor of w?
False
Let t = -1 + 11. Is 6 a factor of t?
False
Suppose 5*i + 0*i - 590 = 0. Suppose -3*r - 11 = 5*u, -r - 3*u - 9 = -0*u. Suppose 0 = -r*k + i - 43. Is 11 a factor of k?
False
Let a(i) = 3*i**3 - i**2 + 2*i - 1. Does 4 divide a(2)?
False
Let d = 17 - -14. Is d a multiple of 15?
False
Suppose s = 4*s - 6. Suppose -k + s = -4. Does 6 divide k?
True
Let a be (1/3)/(1/3). Let u(h) = 51*h**3 - 2*h**2 - 2*h + 1. Let g(b) = 153*b**3 - 7*b**2 - 7*b + 4. Let y(z) = -2*g(z) + 7*u(z). Is 18 a factor of y(a)?
False
Suppose r + 4 + 0 = 3*t, -2*r = -5*t + 7. Let q(z) = 21*z - 7. Let m(l) = 10*l - 4. Let p(d) = -5*m(d) + 3*q(d). Is p(t) a multiple of 12?
True
Suppose -110 = -2*f + f. Is f a multiple of 11?
True
Suppose 580 = 5*m + 4*u + 36, 4*m = -4*u + 436. Does 33 divide m?
False
Suppose 0 = -4*v + 5*w + 10, 0*w - 4*w = -v - 3. Suppose v*d - 21 = 99. Does 12 divide d?
True
Suppose -l + 6 = -5. Let r = -9 + l. Suppose -4*x = 4*i - 40, 2*x - 24 = -r*i - 2*i. Is x a multiple of 5?
False
Suppose 9 = p - 2*p - 4*n, -24 = -5*p + 3*n. Suppose 2*o + 5*c + 25 = 0, p*o + 49 = -c + 5*c. Is 11 a factor of (-4)/(-10) - 339/o?
False
Let g(u) = 2 - 4*u - 2 + 6*u**2. Is g(3) a multiple of 14?
True
Let c(t) = t**3 - 11*t**2 - 10*t - 17. Let d(n) = -4*n**3 + 44*n**2 + 39*n + 69. Let k(r) = -9*c(r) - 2*d(r). Is k(12) a multiple of 13?
False
Suppose 0 = -5*h - 2 + 12. Is (-1 - -2) + 16/h a multiple of 9?
True
Suppose -29 = -6*j + 79. Is j a multiple of 15?
False
Let m = 6 - 5. Is 4 a factor of 4 + (4 - (m + 0))?
False
Suppose -12*r = -7*r - 345. Is r a multiple of 8?
False
Suppose 0 = -3*p + 3*z + 69, 5*p - 34 = 3*p - z. Let y be 0 - (2*5 + -1). Is 3*(-3)/y + p a multiple of 9?
False
Let l be 7/(-35) - 682/(-10). Let d = l + 37. Let v = d - 64. Is 25 a factor of v?
False
Suppose 94 = -5*w - 21. Let b be (-3)/(1*1/w). Let m = b + -38. Does 22 divide m?
False
Let y(g) = -g**3 + 5*g**2 + 2*g - 6. Let u be y(5). Suppose -5*k + 51 = -l, 0*l - u*l = 2*k - 38. Does 4 divide k?
False
Let s(j) = j + 9. Suppose 3*i = 5*i. Is 4 a factor of s(i)?
False
Suppose 2*r + 4*r - 432 = 0. Is 18 a factor of r?
True
Suppose 3*q - 21 = -2*d + 4*d, -4*q + 56 = -5*d. Is 16 a factor of (d/15)/((-2)/160)?
True
Suppose t - 6*t + 10 = 0. Let a = 8 + t. Is a a multiple of 9?
False
Let n(m) = m**3 - 5*m**2 - 6*m + 4. Let x be n(6). Let g = x - 5. Let r(w) = -4*w + 1. Is 2 a factor of r(g)?
False
Suppose -2*o = 3*o - 240. Does 11 divide o?
False
Let a(n) = -5*n**2 + n + 3. Let m be a(-4). Suppose 3*d + 3*d = -12. Does 6 divide (m/6 - -3)*d?
False
Let x = 9 - 3. Suppose -3*z + 5*z + x = 0. Is 3 a factor of (-3 - -1)*z - -2?
False
Let s(x) be the third derivative of x**5/30 - 7*x**4/24 + 7*x**3/6 - 4*x**2. Is 22 a factor of s(5)?
True
Let n be 2/(-8) - 21/(-4). Suppose 0 = n*w, 2*r - w - 6 = w. Suppose -r*q + 9 = -0*q. Is q a multiple of 3?
True
Let i(v) = -v**2 - v + 6. Let w be i(0). Suppose -4*q + w = 2. Does 8 divide 4/(q + 1) - -14?
True
Suppose 60 = 6*k - 42. Is 3 a factor of k?
False
Does 8 divide (-5 + 1)*(2 - 12)*2?
True
Let o(r) = r**2 - 5*r - 4. Let v be o(6). Suppose 7*i - 3*i - 3*s - 105 = 0, 137 = 5*i + v*s. Is 27 a factor of i?
True
Let c(b) = 26*b - 2. Is 10 a factor of c(2)?
True
Let g be (-2 + 3)*1*3. Suppose -g*r - 7 = 5*q, 0 = -3*q + q - 10. Suppose r = 4*x - 3*x. Is x a multiple of 3?
True
Suppose s - 25 = -4*s. Suppose 6*y - 625 = -5*f + y, 0 = s*f + y - 625. Is f a multiple of 21?
False
Let q be (-1)/(-1 - 62/(-61)). Let j = -41 - q. Is 18 a factor of j?
False
Let m = -106 - -51. Does 9 divide 295/11 + (-10)/m?
True
Let i(n) = 4*n - 3. Is i(9) a multiple of 33?
True
Suppose -2*h = -3*q + 8*q + 23, 0 = 5*q - h + 26. Is 16 a factor of 399/15 + (-2)/q?
False
Suppose 3 = 5*m - 47. Suppose m + 7 = h. Let i = h - 2. Does 5 divide i?
True
Suppose m = 3*m - 32. Suppose m = -2*t - 16. Let v = 23 + t. Is 3 a factor of v?
False
Let z = 26 - 6. Is 3 a factor of z?
False
Let c be ((-1)/(-2))/((-2)/24). Does 17 divide c/4*88/(-3)?
False
Let b(d) = -d**3 - 4*d**2 - 7*d - 8. Is 13 a factor of b(-5)?
True
Suppose -12 - 4 = 2*o. Let j(t) = -t**2 - 9*t + 7. Does 9 divide j(o)?
False
Let c(d) = 4 + 2 - 4*d + 3. Let k(n) = 2*n - 5. Let y(i) = 4*c(i) + 7*k(i). Is 2 a factor of y(-1)?
False
Let g(a) = 10 + 6*a + 0*a**2 + 4*a - a**2. Does 13 divide g(7)?
False
Suppose 2*u + 2040 = 17*u. Is 5 a factor of u?
False
Let r(q) = q. Let x be 85/(-10) - (-1)/(-