uppose -r*x = 2*x - 68. Is x a multiple of 8?
False
Let t(o) = -o**2 - 16*o - 3. Is t(-12) a multiple of 9?
True
Let o = -4 - -1. Let u(c) = -2*c**3 - c**2 - 4*c - 1. Is u(o) a multiple of 14?
True
Suppose -k = 5, -m + 4*k = k - 36. Is 7 a factor of m?
True
Let r = 7 + -5. Let l = -2 + r. Is 8 a factor of (-24)/(-2) + (-2 - l)?
False
Let r(k) = 2*k**3 - 2*k**2 - 3*k + 3. Let b be r(2). Suppose 4*d = 3*d - 3, -b*s - 3569 = 3*d. Does 18 divide s/(-20) - 4/(-10)?
True
Let c be 3/9 + 376/(-3). Let r = -86 - c. Let d = r + -23. Does 8 divide d?
True
Let f = 12 + -12. Suppose -8*t + 11*t - 48 = f. Is 9 a factor of t?
False
Suppose -x - 1020 = -6*x. Suppose 2*q - x = -q. Let w = q - 36. Is 14 a factor of w?
False
Is (-1256)/(-52) - 4/26 a multiple of 11?
False
Let a(q) = -64*q**3 - q**2 + 1. Let h be a(-1). Suppose 4 = -2*n, -4*u + 142 + h = -3*n. Suppose 0 = 2*w + 2*z - u, -3*w - 2*z - 3*z + 81 = 0. Does 22 divide w?
True
Suppose 5 = 4*x - 3. Let s = 6 - x. Let t = 4 + s. Is t a multiple of 8?
True
Is 8 a factor of 3 + ((-2)/(-7) - (-845)/7)?
False
Suppose u - 34 = l, 4*u + 3*l = 4*l + 133. Let j(h) = -h**3 + 6*h**2 - h - 13. Let s be j(4). Let r = u - s. Is 9 a factor of r?
True
Let c be (10/(-3))/(3/(-9)). Suppose -2*f + c = -3*f. Let h = 36 + f. Does 13 divide h?
True
Let x(k) = 3*k + 12. Let g be (-90)/(-25)*20/6. Is 16 a factor of x(g)?
True
Suppose -o - 30 = -3*o. Let k be ((-4)/(-3) - 1)*o. Is (12*1)/(k + -3) a multiple of 6?
True
Let f = -133 - -238. Does 20 divide f?
False
Let y(p) be the first derivative of p**4/4 - p**3/3 + 5*p + 3. Does 2 divide y(0)?
False
Let z(l) = 16*l**2 - 1. Suppose 19 = -v - 4*r, -v - 4*r - r - 24 = 0. Is z(v) a multiple of 5?
True
Suppose -4*u - 472 = -4*p - u, -5*p + 2*u + 583 = 0. Does 33 divide p?
False
Let t be (8/(-3))/(1/3). Let j be ((-6)/t)/(1/4). Suppose h = 4 + j. Is h a multiple of 7?
True
Let t be (-5 + 2)/(-1*1). Suppose h + 1 = -2*h + u, 3 = -h + t*u. Let p = h - -29. Does 12 divide p?
False
Suppose 5*m = -7 - 48. Let h = -6 - m. Suppose -227 + 72 = -h*f. Is 8 a factor of f?
False
Suppose 0 = -49*m + 56*m - 812. Is 29 a factor of m?
True
Suppose 0 = -2*p + 9*p - 581. Is p a multiple of 36?
False
Let m be 5 - (-3)/(6/(-4)). Suppose 4*r - 2*n = 24, -4*r + 0*r = m*n - 44. Is 8 a factor of r?
True
Let x(m) = 2*m - 1. Let r be x(3). Suppose r*p - 24 = 3*p. Is p a multiple of 6?
True
Suppose -3*c = -195 + 60. Is 15 a factor of c?
True
Let a(n) = 2*n**2 - 10*n + 8. Let h be (1 + -2 - 2)*-2. Does 15 divide a(h)?
False
Let g(l) = -l**2 - 9*l - 12. Let r be g(-8). Let m(k) = k**3 + k**2 + k - 2. Let z be m(r). Does 3 divide z/(-8) + (-2)/(-8)?
False
Suppose 3*z - 17 = 2*l, 5*l - 4*z + 4 + 28 = 0. Let a(v) be the first derivative of -2*v**2 - 2*v + 1. Does 7 divide a(l)?
True
Suppose -4*w = -3*w - 5*o + 22, 4*w - 17 = -o. Suppose -63 = 4*a - w*g - 511, a - 119 = -g. Suppose 0 = -4*d + a - 35. Does 10 divide d?
True
Let v be 81/(-2)*(-4)/6. Suppose -5*b - 147 = -5*t - v, -t = -3*b - 32. Does 11 divide t?
False
Is 10 a factor of 1/(3 - (-158)/(-53)) + -3?
True
Let y(d) = -d**3 + 6*d**2 + 9*d - 4. Let j be y(7). Let c(n) be the first derivative of n**3/3 - 3*n**2 - 6*n + 2. Does 12 divide c(j)?
False
Suppose -11*d = -2612 + 962. Is 10 a factor of d?
True
Let y(s) = -7*s**2 + s + 5. Let v(a) = 7*a**2 - a - 6. Let p(u) = 5*v(u) + 6*y(u). Let h be p(1). Does 14 divide 43/2 + (-3)/h?
False
Let h(t) = t**2 + 10. Let d be h(0). Let m be (-2)/(-7) + (-6)/21. Let j = d + m. Is 6 a factor of j?
False
Let z(m) = 2*m**2 + m - 7. Let g(i) = -i**2 + i + 1. Let f(r) = -4*g(r) - z(r). Let b(t) = t**3 + 17*t**2 - 19*t - 15. Let x be b(-18). Is f(x) a multiple of 6?
True
Let g = -4 + 4. Suppose g*r - 5 = -r. Suppose 2*w + y - 12 = 0, -r*w + y = 3*y - 30. Does 3 divide w?
True
Let n(i) = -i**3 + 7*i**2 + 7*i - 7. Let a be n(7). Suppose 0*x - 3*x = -a. Suppose 9*f + r = 7*f + 11, x = 3*f + r. Does 3 divide f?
True
Suppose 4*l + l = -35. Let n be (-1 - -2)*17 + -2. Let q = l + n. Is 3 a factor of q?
False
Suppose -x - 3*x = 24. Is 3 a factor of 7 + (-3)/x*2?
False
Let n be 20 + (3 + 3 - 3). Suppose -27 - n = -5*w - j, -5*w + 35 = 4*j. Is w a multiple of 11?
True
Let i = -6 - -5. Let c be (0 - 2)/(i/52). Suppose 0*r = -4*r + c. Does 17 divide r?
False
Let l(s) be the second derivative of s**4/12 - 5*s**3/6 - 6*s**2 + 3*s. Let t be l(9). Suppose -12 - t = -2*b. Is 9 a factor of b?
True
Let y(w) be the first derivative of -7*w**4/8 + 2*w**2 - 1. Let m(g) be the second derivative of y(g). Is m(-2) a multiple of 14?
True
Let k = -519 - -729. Does 23 divide k?
False
Suppose 5*y - 43 = 2*d, -2*y - 35 = 8*d - 3*d. Let g be 3/d*(-1 - 2). Is 11 a factor of (44/(-10))/(g/(-5))?
True
Suppose -3*v + 4 = -2. Suppose y - 4*j = -9*j + 42, -v*y + 14 = -4*j. Is 11 a factor of y?
False
Suppose -4*t + 5*a + 134 = 0, a - 74 = -4*t + 2*t. Is t a multiple of 12?
True
Let a = 378 - 262. Suppose -2*r = 5*z - 181, -3*z - 20 = -3*r - a. Is z a multiple of 24?
False
Let w(i) = -2*i**3 - i + 2 - 2*i - 3*i**2 + 4*i. Is 2 a factor of w(-2)?
True
Let l(m) be the second derivative of -4/3*m**3 + 0 - 3*m + 11/2*m**2 - 1/12*m**4. Is 4 a factor of l(-8)?
False
Let y = -37 + 80. Is y a multiple of 10?
False
Let i(k) = -1 - 5*k**2 + 3 + 3*k + k**3 + 0. Let j be i(4). Does 12 divide ((-24)/(-9) + j)*36?
True
Let k = 20 + 34. Does 7 divide k?
False
Does 6 divide (2 + 3 - -103)/2?
True
Let z be 50/18 + 6/27. Suppose 6*h = z*h + 51. Let f = h + -7. Is f a multiple of 10?
True
Suppose 2*g + 0 = 4. Let q be 1 + g*(-1)/(-2). Is (3/(-2))/(q/(-20)) a multiple of 9?
False
Let d = -13 - -34. Suppose -46 = -5*k - d. Suppose 25 = -k*p, -v - 3*p = -6*v + 40. Is v even?
False
Suppose -4*y - 256 = 4*j, 0*j = 3*y + 2*j + 197. Let c = 37 + y. Let b = c + 77. Is b a multiple of 15?
True
Suppose m - 2*b - 50 = 0, 2*m - 2*b - 131 + 33 = 0. Does 24 divide m?
True
Let u be 7/14*2/1. Is 5/(u*(-2)/(-6)) a multiple of 4?
False
Suppose a = -2*a. Suppose a*k + k + y = 30, 0 = -5*k - 4*y + 154. Does 8 divide k?
False
Let p be 3 - (4 + (1 - 3)). Let j be ((-4)/3)/(p/3). Is ((-9)/j)/((-4)/(-80)) a multiple of 15?
True
Let u = 124 + -85. Is 7 a factor of u?
False
Suppose -s = -4*z + z + 14, -4*s = 20. Let j be 2 + -6*(-6)/z. Suppose 0 = -2*r + j + 52. Is r a multiple of 13?
False
Suppose -23*l = -22*l - 161. Is 23 a factor of l?
True
Suppose 0 = 2*r + 3*r. Suppose r = -5*t + 31 + 19. Does 3 divide t?
False
Suppose -4*f + 97 + 71 = 0. Does 14 divide f?
True
Suppose -2*z - 264 = -3*i, -z = 2*i + 2*z - 176. Is i a multiple of 22?
True
Does 4 divide (-5)/(-3 - 2) - -6?
False
Suppose 0 = 4*u + 142 - 454. Is u a multiple of 13?
True
Let h(j) = j**2 - 2*j. Let p be h(2). Suppose q - 80 = -p*q. Is q a multiple of 16?
True
Let s(j) = -j + 12. Let r = 6 + -6. Does 6 divide s(r)?
True
Suppose 0 = 5*l + 5*n + 5, -2*l + 0*l - 3*n - 6 = 0. Suppose 0 = -3*m + r + 62 + 39, -2*m = l*r - 49. Does 13 divide m?
False
Let o(r) = -r**3 + 7*r**2 + 5*r. Let u be o(8). Let h = u - -44. Is h a multiple of 9?
False
Suppose -i - i = -10. Does 13 divide (i/15)/((-1)/(-39))?
True
Suppose -2*t + 0*t = -360. Suppose -7*a + t = -3*a. Does 15 divide a?
True
Suppose 4*v = r + 100, -r - 76 = -4*v - 6*r. Does 6 divide v?
True
Let l(g) = -g**2 - 9*g - 8. Let c be l(-8). Let s(f) = f**3 - 1. Let h be s(1). Suppose -z - 4*b + 14 = 0, 5*z + c*z + 5*b - 85 = h. Is z a multiple of 16?
False
Let v(o) = -6*o - 13. Is 8 a factor of v(-17)?
False
Let m(s) = s**2 - 2*s. Suppose -35 = -3*t - 2*t. Suppose -27 = -3*w + 3*d, -2*d = 4*w - t*d - 41. Is 4 a factor of m(w)?
True
Let j(w) = 3*w + 6. Let g be j(-4). Does 4 divide 2/g - 522/(-27)?
False
Let i(q) = 9*q**2 + 11. Let h(l) = -5*l**2 - 6. Let s(p) = 7*h(p) + 4*i(p). Let k be s(2). Is 14 a factor of k/(-2)*(-56)/6?
True
Let m = -2 + 5. Suppose -l - m*b = l, -2*l = b + 4. Does 8 divide (-2 - l)*(10 + 1)?
False
Let o(i) = -i**2 - 10*i + 14. Let l be o(-12). Does 8 divide 472/20 - 4/l?
True
Let m be (1/2)/((-3)/(-30)). Suppose m*o = o + 72. Is o a multiple of 6?
True
Let k(v) = 7*v - 49. Is k(14) a multiple of 15?
False
Suppose -4*q + 10 = 3*z - 5, -4*q = 5*z - 25. Suppose -z*r - 30 - 10 = -5*p, 2*p = -4*r + 34. Is 3 a factor of p?
False
Let r(h) = 7*h**2 - h + 1. Let f be 1/2*(1 + 1). Is r(f) a 