uppose 5*r - 5*s - 73 - 32 = 0, -4*s = 5*r - 60. Suppose -y + 6*y - 163 = -2*t, -4*t = -r. Is 31 a factor of y?
True
Suppose -4*z - 19 + 196 = -3*q, q - 91 = -2*z. Is 9 a factor of z?
True
Suppose -3*r = -r - 66. Suppose -5*u + 2 = -r. Suppose 2*v + u - 39 = -5*t, -2*v + 3*t + 64 = 0. Is 9 a factor of v?
False
Suppose -3*y + 2*g = -6, 0*g - 27 = -3*y - 5*g. Suppose -7*x + 24 = -y*x. Is x a multiple of 7?
False
Suppose -5*w = -0*w. Suppose w = -5*s - 0*s + 135. Is 15 a factor of s?
False
Let g = -3 + 1. Does 11 divide (1 - g)/((-2)/(-22))?
True
Suppose 4*f - 109 = -5*x, -3*x - 1 = f - 37. Does 3 divide f?
True
Let s(n) = n**3 + 4*n**2 - 4. Suppose -2*w + 14 = -4*c, c - 5*w = 3*c + 1. Let h be s(c). Suppose 2*z + 2*z + 4*u = 80, 0 = -5*u - h. Is 7 a factor of z?
True
Let j be 0/((2 + -5)/(-3)). Suppose -3*z - 4*q = -j*z - 345, 2*q - 115 = -z. Let o = -74 + z. Is o a multiple of 16?
False
Is (-2)/((2 - -1)/(-108)) a multiple of 24?
True
Suppose -27 - 21 = -2*y. Is 12 a factor of y?
True
Let t = -8 - -22. Suppose 10 = d - 2*i, 4*d - 2*i = 2*d + t. Does 4 divide d?
True
Let g(o) = 20*o**2 + o. Does 6 divide g(-2)?
True
Suppose 2*x - 121 = -3*d + 102, 0 = 4*d + x - 299. Does 25 divide d?
True
Let o(d) = 6*d - 21*d + 0 - 6 - d**2 + 4. Let b = -14 + 6. Does 15 divide o(b)?
False
Is (-3766)/(-70) + 2*2/20 a multiple of 3?
True
Let o(m) = -36*m + 1. Does 25 divide o(-1)?
False
Suppose 6 = -2*j + 50. Is 1228/j - 4/(-22) a multiple of 15?
False
Suppose -130 = 5*m - 1250. Does 32 divide m?
True
Does 2 divide 31/5 + (-1)/5?
True
Suppose 779 = -5*f + 299. Let a = 143 + f. Suppose 5*t - a = 13. Does 10 divide t?
False
Let m(o) = -o**2 - 13*o. Is m(-9) a multiple of 10?
False
Suppose 5*g - 4*n - 207 = 0, -51 = -2*g - 5*n + 45. Is 5 a factor of g?
False
Let x = 2 + 0. Let a be 101/(2/x - 0). Suppose -20 = 3*h - 3*z - a, -25 = 5*z. Is 15 a factor of h?
False
Let g(q) = -q**2 + 6*q - 6. Let c(w) = w**2 + 2*w - 2. Let j be c(-4). Let k be g(j). Let u = k + 10. Is 4 a factor of u?
True
Let a(k) = 72*k + 2. Does 37 divide a(1)?
True
Let i(g) = -11*g + 1. Let b be i(-5). Let u = 25 + b. Is 18 a factor of (-2 - u/(-6))*2?
False
Suppose -3*o = 3 + 12. Let v be ((-48)/o)/(3/60). Is v/5 + (-6)/(-10) a multiple of 13?
True
Suppose -s = 1 + 7. Let c = 13 + s. Is 5 a factor of c?
True
Let x = -152 + 380. Is 12 a factor of x?
True
Is 33 a factor of (-1474)/(-10) + 27/45?
False
Suppose -2*q = -30 + 6. Let a be 100/(-3) + q/(-18). Let c = a + 48. Is 14 a factor of c?
True
Suppose 3*u = 4*j - 169, -u = 4*u - 3*j + 300. Let m = 117 + u. Does 27 divide m?
True
Let j be (-1)/2*-4*3. Suppose -j = v - 3*b, v + 2*v + b = 12. Suppose -26 + 8 = -v*y. Is y a multiple of 6?
True
Let m(s) = 6 - s**2 + 2*s + 0*s + 2*s**2 - s. Is m(-3) a multiple of 11?
False
Let b(z) = z**3 - 7*z**2 - 7*z - 4. Is b(8) a multiple of 2?
True
Let l = 7 - 2. Suppose -117 = 2*h - l*h. Suppose -4*s + h = -49. Does 7 divide s?
False
Let l be 1/(-3) + (-17)/3. Let s = l + 9. Does 3 divide s?
True
Let a(i) be the second derivative of -i**8/6720 - i**7/630 + i**6/360 + i**5/120 - i**4/6 + 3*i. Let h(f) be the third derivative of a(f). Does 16 divide h(-5)?
True
Suppose -5*b + 96 = -129. Is b a multiple of 15?
True
Let t(o) = -o + 9. Let b be t(6). Let r be (-1)/b + 22/(-6). Let s = 12 - r. Does 16 divide s?
True
Suppose 3*j = 12, -2 = -t - j + 24. Suppose 3*s - 71 = -4*b, 32 = -3*b + 6*b - 2*s. Suppose -b - t = -3*f. Is 6 a factor of f?
True
Let g = -61 - -146. Does 18 divide g?
False
Let h(g) = -2 + 4*g - 3*g - 1 + 7*g. Is h(2) a multiple of 13?
True
Suppose 6*y - 148 = 2*y. Is y a multiple of 6?
False
Let y(j) = 11*j**2 - 6*j + 3. Let o be y(6). Let z be 3/(-9) + o/9. Suppose u + z = 3*u. Is u a multiple of 16?
False
Suppose -2*d + 5*d - 180 = 0. Suppose 10 = 5*i - d. Let n = i - -4. Is 18 a factor of n?
True
Let n(f) = f. Let a be n(3). Suppose q + u = 26, a*q - 2*q + 3*u - 28 = 0. Is q a multiple of 8?
False
Let f(j) = 3*j**2 - 1. Let w = -4 + 5. Let s be f(w). Suppose -h + s*r = 2, -h = h + r - 16. Does 6 divide h?
True
Suppose 0 = -0*g + 3*g - 27. Suppose 6*z = g*z - 42. Is z a multiple of 4?
False
Suppose -2*t = t - 9. Is 6 a factor of t*((-80)/3)/(-5)?
False
Suppose -15*c = -13*c - 208. Is c a multiple of 35?
False
Suppose -y - l - 28 = -5*l, -l - 56 = 5*y. Let h be (-63)/y - (-1)/(-4). Suppose -n = -0*n - h. Is 2 a factor of n?
False
Let d be 33/12 + 2/8. Suppose -3*f - d*t = -183, f + 3*t + 345 = 6*f. Is 22 a factor of f?
True
Let h(w) = w**2 - 9*w - 13. Let z be h(9). Let v = z + 16. Is v even?
False
Let q(m) = 3*m - 2. Let r be 15/(-3)*16/(-10). Let x be q(r). Suppose x = 2*n - 6. Is n a multiple of 6?
False
Let i(n) = n**2 + 9*n + 2. Suppose h = 3*g + 14, g - 2*g - 4 = 0. Let d be (h/2 - -2)*-3. Is i(d) even?
True
Let d(t) = 4*t**2 + 3*t - 8. Is 17 a factor of d(3)?
False
Suppose g - 36 = -g. Does 6 divide 16*(g/8)/3?
True
Let h = -1 - -7. Does 2 divide (2/h)/(1/12)?
True
Let v be (-9)/18*(1 - 1). Suppose 2*a - 5*q - 28 = 0, v = -3*a + 5*a + 3*q - 28. Does 7 divide a?
True
Is 15 a factor of 68*-2*(21/(-6) + 3)?
False
Suppose 0*u = 4*u - 8. Suppose -u*w = 7 - 27. Is w a multiple of 5?
True
Let u(c) = -30*c**3 - c**2 + 1. Let v be u(-1). Suppose 7*k = 4*k + v. Does 8 divide k?
False
Let u be (-4)/(2/(0 - 2)). Is (19/4)/(1/u) a multiple of 19?
True
Let k = 509 + -320. Is k a multiple of 15?
False
Suppose -5*k - 5*l = 0, 4*k - l = 2*k. Suppose k*a - 4*x + 110 = 5*a, -2*a + 44 = 2*x. Is 11 a factor of a?
True
Suppose 0 = -q - 0*q + 2. Suppose 0 = -d - q + 50. Is d a multiple of 16?
True
Suppose 11*u - 588 = 4*u. Is 12 a factor of u?
True
Is 5 a factor of 17 + -3 + 2*(-2)/(-1)?
False
Let x = 149 - 89. Does 12 divide x?
True
Let o be ((-2)/(-3))/((-4)/(-150)). Suppose 2*l = -3*l + o. Does 2 divide l?
False
Suppose -60 = -3*c + 6*c. Let y = c + 28. Does 4 divide y?
True
Let q be (9 + -7)/((-2)/(-5)). Suppose q*j + 7 = 27. Suppose -2 = 2*b - 4*v, -j*b + 0*v + 17 = -v. Is b a multiple of 2?
False
Suppose 5 = w, 4*w - 5*w + 305 = 5*r. Is 16 a factor of r?
False
Suppose f + 9 = -5*t - 14, t = 2*f + 2. Let o = 6 + f. Suppose o*l - 110 = 3*h - h, l = -4*h + 18. Is 14 a factor of l?
False
Let l = 4 - 5. Let k = l + 3. Does 10 divide k/(-4)*4 + 24?
False
Suppose -5*d + 108 = 3*i, 4*d - d = -2*i + 65. Is d a multiple of 7?
True
Let r(a) = a + 7. Let f be r(-4). Suppose -13 - 2 = -f*c - y, y + 3 = 0. Does 2 divide c?
True
Let b(z) = -48*z + 21. Let v(p) = 7*p - 3. Let a(j) = -4*b(j) - 27*v(j). Let u be -4 + 28/6 - (-7)/3. Is a(u) even?
True
Let y = -5 - -2. Let v be y/(3/(-5))*1. Suppose -g = -v + 2. Is g even?
False
Let k = 36 + -22. Does 14 divide k?
True
Suppose -8 = -3*o + 1. Suppose o*r - 13 - 101 = 0. Is r a multiple of 19?
True
Suppose 2*f + 2*h - 9 = -f, 3*f = -3*h + 12. Suppose f + 4 = l. Let j(k) = -k + 10. Is j(l) even?
False
Let q(w) = 29*w**2 - 2*w + 1. Let i be q(1). Let b(k) = -8*k + 3. Let n be b(2). Let m = n + i. Is 7 a factor of m?
False
Let p be (0 - 119)/(1/(-1)). Suppose 0*x = -x + p. Suppose -3*z + 2 - x = -4*t, 76 = 2*t + 2*z. Is 11 a factor of t?
True
Let v be (-22)/(-14) + -2 - (-4455)/105. Suppose -5*r + 179 = 29. Let i = v - r. Does 5 divide i?
False
Is (-25 - 11)*2/(-4) a multiple of 3?
True
Suppose 100 = 5*c + 5*g, 5*c + 5*g = g + 105. Is c a multiple of 12?
False
Let p(k) = 2*k - 4. Let z(o) = o**2 - 7. Let y be z(-5). Let s be (-3)/y - (-172)/24. Does 10 divide p(s)?
True
Let c = -8 + 11. Let g be 171/c - 0/(-1). Suppose g = 2*m + m. Is 19 a factor of m?
True
Suppose 2*r = 12*r - 240. Is r a multiple of 8?
True
Suppose 0 = -19*y + 3*y + 3968. Is 35 a factor of y?
False
Let o = -85 + 47. Let r = 71 + o. Is 11 a factor of r?
True
Let j(n) = 5*n + 15. Is 14 a factor of j(11)?
True
Let w(a) = -8*a - 24. Is 14 a factor of w(-10)?
True
Suppose 5*c + 41 = n, 0*c = -2*n + 2*c + 74. Suppose 0 = -4*o + n + 64. Does 9 divide o?
False
Suppose -i - 2*v - 10 = 0, -4*v + 14 = -2*i - 5*v. Let t = 10 - 4. Let n = t - i. Is 11 a factor of n?
False
Let p(u) = -u**2 - 7*u + 9. Let s be p(-10). Let j = 19 - s. Is 8 a factor of j?
True
Does 20 divide (-4)/1*(-12 + 2)?
True
Let b(m) = 27*m**2 + 4*m + 3. Let s be b(-2). Let h = s + -62. Is h a multiple of 20?
False
Let b(y) = -y**2 + 13*y - 9. Is 9 a factor 