 -57. Does 6 divide x?
True
Suppose 0 = -0*h - 4*h + 4, -5*x + 7 = -3*h. Suppose -u - 2 = x. Is 54/3 - (-4 - u) a multiple of 17?
False
Suppose -3*m = 2*g - 1384 - 222, -2*m = 4*g - 3220. Is g a multiple of 14?
False
Let g = 317 + 257. Suppose 0 = -m - 3*u + 8*u + 168, -3*m = -u - g. Is m a multiple of 34?
False
Let z = -1216 - -1516. Is z a multiple of 10?
True
Let g(s) = -s**2 + 65*s + 60. Does 74 divide g(35)?
True
Let x be (-30)/9 - (-4)/12 - -3. Suppose -2*b - 2*p + 4*p = -126, x = -2*p + 2. Is b a multiple of 8?
True
Suppose 12 = 7*i - 3*i. Suppose -m = 3*d - 135, m - i = 2*m. Is 17 a factor of d?
False
Let b(h) = -h + 1. Let v(i) = -5*i - 8. Let r(p) = -4*b(p) - v(p). Is r(5) a multiple of 8?
False
Let x = 1 - -1. Suppose -4*y + x*r - 5 - 19 = 0, 0 = -y + 5*r + 12. Is 10 a factor of -7 - y - (-19 - 0)?
True
Let g(r) = 3*r**2 + 3*r + 4. Let s be g(-5). Is 20 a factor of 12*s/60*75/6?
True
Suppose -5*s + 7*s = -6. Let i = s + 9. Is i a multiple of 3?
True
Let c = 42 - 37. Suppose -c*p - z = -519, -5*z + 412 = 4*p - z. Does 13 divide p?
True
Let q(r) = 28*r + 8. Suppose 4 = 2*v - 0. Is q(v) a multiple of 13?
False
Let b(l) = 7*l**3 - 5*l**2 + 21*l + 14. Let f(t) = 11*t**3 - 7*t**2 + 32*t + 21. Let v(n) = 8*b(n) - 5*f(n). Is 23 a factor of v(4)?
True
Let p be (-51)/(-12) - (-3)/(-12). Let x = p - -6. Is 8 a factor of (90/x)/((-2)/(-4))?
False
Suppose 24 = -5*a + a. Let i = 0 - a. Does 29 divide (-520)/(-9) - i/(-27)?
True
Suppose 4*b + 5*y = 6*y + 923, -3*y - 9 = 0. Does 5 divide b?
True
Suppose 7*w = 5*w - 1752. Is w/(-52) + 5 + 4/26 a multiple of 11?
True
Let u(g) be the second derivative of g**5/20 - g**4/4 + g**3/3 + g**2/2 + 7*g. Let h be u(3). Suppose 0 = 4*n - h*n + 18. Does 2 divide n?
True
Let o = 152 + 135. Is 41 a factor of o?
True
Let h(j) = -88*j - j**3 + 8*j**2 - j**2 + 81*j. Is h(4) a multiple of 2?
True
Let o = -19 + 56. Let g = 21 - 44. Let d = g + o. Is d a multiple of 9?
False
Let s(y) = -y**3 + 24*y**2 - 16*y - 13. Does 37 divide s(23)?
True
Suppose 2*m + m = -5*v + 46, -2*m + 5*v + 64 = 0. Suppose 2*w + 0*w = 3*a + 44, -w + 5*a = -m. Is w a multiple of 11?
True
Let v = 56 - 34. Does 10 divide v?
False
Suppose 0*f = 3*f, 3*d = 5*f + 30. Let z be ((-2)/(-4))/(2/40). Suppose -z*y = -11*y + d. Is 10 a factor of y?
True
Let u(s) = -8*s - 4. Let a be u(-1). Suppose a*k = 20, p - 5*p = -k - 179. Does 5 divide p?
False
Suppose -337*t = -343*t + 456. Does 8 divide t?
False
Suppose 33*v - 101814 = -38*v. Does 10 divide v?
False
Suppose 3*g - 1 = 4*s - 5, -4*s = 2*g - 24. Suppose o - 6 = -3*l, 5*o = 3*l - 22 - 2. Is 14 a factor of (g/o)/((-16)/264)?
False
Let c(i) = -28*i - 163. Is c(-10) even?
False
Suppose 3*z - 10 = 5. Suppose 4*n + t = -1 + 5, 24 = 2*n - z*t. Does 15 divide (2 - n)/(-1) + 75?
True
Suppose -16*h = -19*h + 369. Is 8 a factor of h?
False
Suppose 0 = 2*n + n + 3*g - 3678, -6120 = -5*n - 3*g. Is n a multiple of 86?
False
Let o = -81 + 180. Suppose 77 = 2*p - o. Does 22 divide p?
True
Suppose 8*p + 4874 = 2*q + 13*p, q + p = 2437. Is 19 a factor of q?
False
Suppose j - 44 = 78. Suppose -5*b = -25, w + 2*b + 23 - j = 0. Is 10 a factor of w?
False
Let j(o) = o**2 - 10*o - 48. Does 36 divide j(-32)?
True
Suppose -3*r + r + 10 = 0. Suppose i = 3*a + 92, 0 = -r*i + 5*a - a + 405. Let o = i + -45. Is o a multiple of 16?
True
Let y = 2065 + -1464. Does 21 divide y?
False
Suppose 8 = -2*d + 2. Let n be 1 - (8/2 + d). Suppose n = -9*l + 2*l + 126. Does 9 divide l?
True
Let n = -932 + 1944. Is n a multiple of 22?
True
Suppose 9*d - 2*m = 7*d - 22, 5*m - 5 = 0. Is 3 a factor of (-8 - d) + 75/3?
True
Let h(s) = -49*s + 7. Let j(t) = 73*t - 10. Let r(l) = -7*h(l) - 5*j(l). Is r(-2) a multiple of 14?
False
Suppose y + 2*y = -3*r + 12, -4*y = -r - 6. Suppose r*x = 4*m + 3*x - 21, -3*x = m - 8. Suppose m*w - 126 = 14. Is w a multiple of 7?
True
Let y = 3 + 2. Let j(f) = 5*f**2 + 9*f - 2. Let o(l) = 4*l**2 + 8*l - 2. Let m(t) = y*j(t) - 6*o(t). Is 10 a factor of m(-4)?
True
Suppose -5*m + 2*i = -1225, -4*m = 6*i - 10*i - 992. Does 22 divide m?
False
Let t be ((-15)/(-20))/(1/8). Let r(u) = -2*u + 6. Let k be r(t). Let l = 24 + k. Does 6 divide l?
True
Let p(w) = -w**3 + 8*w**2 - 8*w + 10. Let x be p(7). Let k be 1 + (x - 2 - 0). Suppose -3*l + k*g = -44, -3*g = 5*l - 6*g - 73. Does 7 divide l?
True
Let d(j) be the second derivative of 3*j - 3/2*j**2 - 3/2*j**3 + 0. Is d(-6) a multiple of 13?
False
Suppose -h = 4*b + h - 72, 40 = b - 5*h. Let d = -416 + 419. Suppose -5*k + b = 0, 2*k = -d*q + 6*k + 26. Is 4 a factor of q?
False
Suppose x - 4*y = -4, x = -y + 4*y - 2. Let d(a) = 2*a**3 - 7*a**2 + a + 2. Is 3 a factor of d(x)?
False
Suppose -4*j - 2*i + 10 = 0, 10 - 1 = 2*j + 5*i. Suppose -5*g = -3*q + 746, -j*q - 3*g + 510 = -0*g. Is 36 a factor of q?
True
Let m = 1 + 4. Suppose 3*p + m*w - 85 = 42, -p - 5*w + 29 = 0. Is p a multiple of 10?
False
Let v = 569 - 534. Does 20 divide v?
False
Let i(f) = 5*f - 10. Let t be i(8). Suppose -g + t = -55. Is 19 a factor of g?
False
Is 2 - 429/(-44)*(-16)/(-6) a multiple of 4?
True
Let j = -7 + 126. Suppose 3*r = n + 94, 28 + j = 4*r + 3*n. Does 13 divide r?
False
Suppose -4*f = -3*h - 0*h - 386, -4*h + 8 = 0. Is 2 a factor of f?
True
Suppose 3*p - 10360 = -17*p. Is 35 a factor of p?
False
Let v = -398 - -626. Suppose -4*p + v = 4*k, 3*p - 118 = -2*k - p. Does 5 divide k?
True
Let k = -991 + 3117. Does 12 divide k?
False
Suppose -3*a - 1 = -10. Suppose a*u - 4*u - 9 = 0. Does 2 divide (-12)/u*(-3 - -9)?
True
Let w be (-8 + -43)*(2 + 174/(-9)). Is w/10 - (24/10 - 2) a multiple of 7?
False
Let a be -2 + 6 + (-7 - -10). Suppose 3*w - 10 = -a. Is 14 a factor of (2 - 1) + w + 96?
True
Let r(y) = y + 13. Let q be r(-9). Let x(b) = -10*b - 3 + 3*b**3 + 15 + 12*b**2 - 5 - q*b**3. Does 9 divide x(11)?
True
Let i = 1991 + -1334. Is i a multiple of 16?
False
Let u(d) = -d**3 - 5*d**2 + 5*d + 6. Let i be u(-6). Let b = i - -15. Does 9 divide b?
True
Let o(l) = l**2 - l - 112. Is 25 a factor of o(-21)?
True
Let b be (1 - -9)*10/(-25). Let i = b - -12. Suppose g + i = 19. Is g a multiple of 5?
False
Let n(y) = 8*y**3. Let a be n(3). Let p = a - 121. Does 19 divide p?
True
Suppose 2*b - 2 - 10 = 0. Suppose -4*p = -20 + 36. Let q = b + p. Is 2 a factor of q?
True
Let v = 16 + -7. Suppose -v*y + 5*y = -48. Is y a multiple of 3?
True
Suppose 8*t - 30 = 3*t. Let d = -2 + t. Suppose -z + 6 = -d. Is z a multiple of 5?
True
Suppose 6*r - 2*r - 116 = 0. Let f = r - -25. Does 6 divide f?
True
Let s = 19 - 11. Suppose s*n = -0*n + 1256. Is 27 a factor of n?
False
Is 23 a factor of (-2)/5 - 4128/(-120)?
False
Suppose -134*t = -139*t + 270. Is t a multiple of 7?
False
Let x = -13 + 9. Let o be (4 + x)/((-12)/(-3)). Suppose o*s = -s + 42. Is 14 a factor of s?
True
Let t = 203 + 853. Is 44 a factor of t?
True
Suppose -3*r + 5*j + 19 = -0*j, -3*j = -4*r + 7. Does 5 divide (-2 + -16 + -2)/r?
True
Let t(r) = 57 + 28*r + 33*r + 24*r - 81*r. Is t(-13) a multiple of 2?
False
Suppose 7 - 3 = -t. Let h(d) = -19*d + 10. Let j(a) = -18*a + 11. Let v(g) = t*j(g) + 5*h(g). Is v(-3) a multiple of 25?
True
Suppose 2*k - 4*y = -13 - 53, 0 = -3*k - y - 120. Is 2 a factor of (-27)/36 + k/(-4)?
False
Is (0 - (-5644)/7) + (-88)/308 a multiple of 51?
False
Let p(v) be the second derivative of 5*v**3/6 + 6*v**2 - 8*v. Does 7 divide p(5)?
False
Suppose -3*f - 6 + 81 = 0. Suppose -48*b = -53*b + f. Is 2 a factor of b?
False
Suppose -5*c = 3*o - 5*o - 1898, -1532 = -4*c + 5*o. Is 27 a factor of c?
True
Let p(w) = w**2 - 2 + 15*w + 3 - 8*w - 5. Let x be p(5). Let s = x + -27. Is 7 a factor of s?
False
Let z = 2169 - 1330. Does 4 divide z?
False
Suppose 20*s - 63090 - 39670 = 0. Does 17 divide s?
False
Let h(u) = 5*u**3 - 3*u**2 - 2*u - 2. Let a(y) = 6*y**3 - 4*y**2 - y - 1. Let v(w) = -4*a(w) + 5*h(w). Is v(5) a multiple of 38?
True
Let n(b) = b**2 - 8*b + 11. Let i = -2 + 11. Is n(i) a multiple of 7?
False
Let v be (1 + 0 + 0)*59. Suppose -3*u = -4*b - 16, -4*u = 2*b - 0*b + 8. Suppose 3*x = -2*w + 1 + v, -3*w = u. Is x a multiple of 10?
True
Suppose -f + 2*w = -6*f - 143, 84 = -3*f - 3*w. Let k be 70*(-8 + (-440)/(-50)). Let m = k + f. Is 10 a factor of m?
False
Suppose 3*r - 5*c - 1360 = 0, 21 + 4 = -5*c. Is r a multiple of 89?
True
Let p(s