rue
Let r(x) = -x - 2. Let g be r(-6). Let i be 45 + (-3)/((-9)/(-3)). Let w = i - g. Does 20 divide w?
True
Suppose -7 = k - 167. Is 43 a factor of k?
False
Let l(k) = k**3 + 10*k**2 - 6*k - 8. Is l(-10) a multiple of 13?
True
Let g = -2 - -94. Does 24 divide g?
False
Let w(z) = -z**3 + 5*z**2 - 4*z - 1. Let k be w(4). Is 23 a factor of -111*((-4)/3 - k)?
False
Suppose -4*i + 3 = -5. Suppose -t + j = 0, 4*t + 5*j - 11 = 7. Suppose -2*o + t*w - 6*w + 70 = 0, i*o - 62 = 4*w. Does 15 divide o?
False
Suppose -2*c + 4*l + 20 = 0, -4*l = 2*c + 27 - 7. Suppose c*m + 101 = m. Is 30 a factor of m?
False
Let v(f) = 17*f**2 - 9*f - 28. Does 10 divide v(-4)?
True
Let t(s) = -110*s - 1. Let n be t(-2). Suppose -5*x - 2*i - 43 = -n, 4*i + 188 = 5*x. Is x a multiple of 17?
False
Is 5 a factor of 1 + 1 - 40*(-15)/10?
False
Suppose -5*w + 6 - 1 = 0. Let g = w + 2. Suppose 19 = k + g. Does 11 divide k?
False
Let g(t) = -t**3 + 5*t**2 - 3*t - 1. Let m be g(4). Suppose j = m*j - 18. Is j a multiple of 5?
False
Suppose 0 = -3*g + 223 - 7. Is 18 a factor of g?
True
Suppose 3*z + 17 = 4*z. Is z a multiple of 12?
False
Let o = 66 - 47. Does 8 divide o?
False
Suppose 128 = -2*s + 6*s. Is 16 a factor of s?
True
Let b(d) = -d**2 + 29*d - 69. Is b(21) a multiple of 12?
False
Let b(m) = -2*m - 2. Let l be b(-6). Let z = 21 + l. Is z a multiple of 12?
False
Let w(i) = -i**2 + 6*i + 2. Let s be w(6). Suppose -s*h + 7*h = 30. Is h a multiple of 5?
False
Let i be 3/2 - 1/(-2). Suppose 0 = 2*n + 4*a - 16, -n = -0*n - a - i. Suppose 9*t - 190 = n*t. Is t a multiple of 14?
False
Let p = 27 + -18. Is p even?
False
Is (-292)/(-18) - 2/9 a multiple of 8?
True
Suppose -s = 3*s + 4. Does 11 divide (s - (2 + -1)) + 13?
True
Suppose -5*h + 260 + 20 = 0. Is h a multiple of 32?
False
Let o = 27 - 24. Let j be 1 + (-2)/(-2) + 0. Suppose r = -o, j*y - 4 = -r - r. Is 2 a factor of y?
False
Let z = -43 - -61. Suppose -2*b + z = -0. Is 6 a factor of b?
False
Let w(v) = -6 + 1 + 6 - 49*v. Let h = -4 + 3. Is 22 a factor of w(h)?
False
Let j(d) = d**3 - 5*d**2 + 6*d - 6. Let p be j(4). Is (-50)/(-15)*3*p a multiple of 7?
False
Let m(l) = l**3 + 15*l**2 - 2*l + 14. Is m(-15) a multiple of 21?
False
Let i(f) = 80*f. Is i(2) a multiple of 40?
True
Let h(u) = u + 36. Let o be h(0). Suppose p = -2*p + o. Does 6 divide p?
True
Suppose -4*l + 5 + 3 = 0. Let j(g) = 1 + 3*g + l*g + g**2 - 3*g. Is j(-5) a multiple of 8?
True
Suppose 6*k + 105 = k. Let q be (k/9)/((-2)/54). Is 922/18 - 14/q a multiple of 14?
False
Let g be (1 - 0) + 0 + 36. Let n(c) = -c - 5. Let s be n(-5). Suppose g = -s*p + p. Does 18 divide p?
False
Let w = -40 - -150. Is 22 a factor of w?
True
Let z(s) = 73*s - 3. Is z(1) a multiple of 35?
True
Let q = 33 + -26. Does 7 divide q?
True
Let u be (-35)/5 - (3 - 0). Let b = 0 - u. Does 4 divide b?
False
Suppose 159 = 5*g - y, 4*g + 2*y - 127 = 3*y. Suppose -4*b + 2*f = -40, -f - g = -3*b - 0*f. Is 12 a factor of b?
True
Suppose -5*b = 112 - 1087. Suppose 0*v + b = 5*v. Is v a multiple of 10?
False
Suppose -3*x + 60 = x. Suppose -3*b - x = 0, 2*b + 40 = v - 2*b. Is v a multiple of 12?
False
Let f be (-2)/8 - 13/(-4). Let u = -8 - -46. Suppose o + u = f*o. Does 19 divide o?
True
Let t be (7/35)/((-1)/(-5)). Let u(v) = 4*v. Let w be u(t). Suppose -63 = -5*x - w*z, 0 = 5*x - 0*z - 5*z - 45. Does 11 divide x?
True
Suppose -117 = -4*q + 3*q. Suppose 3*t = -v + q, 0*v - 202 = -2*v + 2*t. Suppose 0*i + 5*i = v. Is 13 a factor of i?
False
Let h(w) = 7*w**3 - 2*w**2 + 2. Let v(q) = q + 1. Let i be v(3). Let n be 35/10 + (-6)/i. Is h(n) a multiple of 22?
False
Suppose -5*x + 3*x + 14 = 0. Suppose -60 = -x*r + 2*r. Is 6 a factor of r?
True
Let j(k) = -k**2 - 8*k + 2 + 3*k - 1. Let t be j(-4). Suppose -3*n = t*c - 11, 2*c + 4*n + 1 = n. Is c a multiple of 4?
True
Suppose 2*j - 2 = -0*j, 4*o = 4*j + 4. Suppose 0 = -o*f - 2*f + 32. Is f a multiple of 3?
False
Let h = 21 - -3. Let x = h - -10. Does 22 divide x?
False
Let s(l) = -l**2 - 4*l + 2. Let j be s(-3). Suppose 4*m - 22 + 5 = -3*i, -j*i + 5*m + 75 = 0. Suppose -r + i = -3. Is 14 a factor of r?
True
Let v be (2 + (-6)/4)*8. Suppose -183 = -5*h - v*p, -12 = -3*h + 2*p + 111. Does 19 divide h?
False
Suppose 0 = -3*h + 40 + 254. Let r = -45 + h. Does 21 divide r?
False
Let c = 171 - 105. Does 7 divide c?
False
Let r = -24 - -26. Suppose 3*c = 3*z + r*z - 122, 3*z = 5*c + 86. Is z a multiple of 9?
False
Let h = -19 - -57. Does 10 divide h?
False
Let u(i) = -2*i**2 + i - 4. Let r(w) = -5*w**2 + 2*w - 7. Let y(k) = -3*r(k) + 7*u(k). Is y(5) a multiple of 8?
False
Is (136/20)/((-1)/(-15)) a multiple of 47?
False
Suppose 0*d - 5 = 2*d + s, 2*d + 4*s + 8 = 0. Does 14 divide 3 + d*(-33)/6?
True
Is 29 a factor of 3960/28 + (-3)/7?
False
Let u(d) = -d. Let h be u(-3). Suppose 3*q + 159 = 4*n, 0*n - 2*q = -h*n + 118. Is n a multiple of 12?
True
Let m be (-3 - -2)/(1/(-4)). Suppose h = -m*h. Suppose h*s = 4*s - 92. Is s a multiple of 12?
False
Let i = 16 - 10. Let h = i + 14. Does 20 divide h?
True
Suppose 2*i = s + 257, -3*i - 3*s = -5*s - 387. Is 22 a factor of i?
False
Let j(k) = 20*k + 14. Does 30 divide j(6)?
False
Suppose 0*l + 3*k - 101 = -l, 313 = 3*l + 4*k. Is 36 a factor of l?
False
Is 4 a factor of 156/16 - (-2)/8?
False
Suppose -5*z + 48 = -47. Is z a multiple of 6?
False
Let c be 0 + (63 - 2 - 3). Let x = c - 19. Is 13 a factor of x?
True
Suppose 4*i - 27 - 5 = 0. Suppose 16 = -2*m + 4*t, -2 = 3*m + 2*t + 6. Let s = m + i. Is s a multiple of 3?
False
Suppose -6 = -2*s + 6. Does 6 divide s?
True
Let z be -31 + (1 - (-2 - -4)). Suppose 3*i + h = -61, -5*i - h = 20 + 83. Let s = i - z. Is 10 a factor of s?
False
Let d = -52 - -104. Is 13 a factor of d?
True
Let x = -9 + 49. Is 10 a factor of x?
True
Let o = 211 - 148. Is 4 a factor of o?
False
Let o(k) be the second derivative of k**5/40 - k**4/12 + k**3/3 + k. Let l(t) be the second derivative of o(t). Does 10 divide l(4)?
True
Let y(g) = g**2 - g + 1. Let b(s) = -5*s**2 + 5*s - 3. Let c(z) = 2*b(z) + 9*y(z). Let l be c(0). Does 7 divide 1*(17 - (-4 + l))?
False
Does 12 divide 0/(-5) + -4 + 2 + 105?
False
Suppose 150 = 4*p - p. Is p a multiple of 9?
False
Let g be 16/(-9) - 6/27. Does 20 divide 10*(6 + g)*1?
True
Let p = -100 + 220. Does 24 divide p?
True
Let t = 105 + -60. Does 5 divide t?
True
Let u(z) = 36*z**2 + z + 1. Let f be u(-1). Let g = 2 + f. Is g a multiple of 18?
False
Suppose 0*t + 2*t = 4*f - 184, -5*t + 116 = 2*f. Is 24 a factor of f?
True
Suppose i = -i + 80. Is 10 a factor of i?
True
Let g be (-4)/(-14) - 178/(-14). Let u = g - 9. Suppose 7 + u = d. Does 11 divide d?
True
Suppose -5*j + 1 + 4 = 0, 2*j + 6 = 2*k. Suppose 0 = -2*w - 5*g + 23, 5*g = w - 0*w - k. Does 6 divide w?
False
Suppose 0 = -f - f - 4*q - 4, -2*q - 8 = -2*f. Suppose a - s - 44 = 0, -4*s = -f*a - 0*a + 90. Is 11 a factor of a?
False
Let x(k) = k**2 - 2*k + 1. Is x(-7) a multiple of 8?
True
Suppose 0 = -r - 2*r + 33. Suppose 0 = 5*t + 5*i + 5, 4*i = -4*t - i - 8. Suppose -4*s + 3*s + 4 = -t*m, -2*s + 5*m + r = 0. Does 10 divide s?
False
Let u = 121 - 39. Suppose -2*v + u - 32 = 0. Is v a multiple of 17?
False
Suppose -4*j + k = 4*k - 81, 4*k + 24 = 2*j. Does 6 divide j?
True
Let q(m) = -m**3 + 3*m**2 + 4. Let g be q(3). Suppose 44 = 2*y + r - 35, 183 = g*y - 3*r. Is 21 a factor of y?
True
Let p(q) be the second derivative of -q**3/6 + 4*q**2 - 5*q. Is p(0) a multiple of 4?
True
Does 53 divide (-15)/10 - (-358)/4?
False
Let o = 15 + -15. Suppose t + 4*t + f - 425 = o, 0 = -5*f. Does 19 divide t?
False
Suppose 19*p - 14*p - 30 = 0. Is 6 a factor of p?
True
Suppose -j - 208 = -5*j. Suppose -77 - j = -3*n. Does 13 divide n?
False
Suppose 259 = m - 2*y, 2*m + 0*y = -5*y + 500. Suppose 3*p - 3*l + 6 = m, 418 = 5*p - 2*l. Is p a multiple of 13?
False
Suppose -2*z - 15 = 5*u, 5*z = 2*u + 3*u + 15. Let y = 3 + z. Suppose y*w - 8 - 4 = 0. Is w a multiple of 4?
True
Suppose -4*l - 300 = -2*q + 738, -5*q = -4*l - 1023. Does 17 divide l/(-10) + 3/(-15)?
False
Suppose 10*b = 11*b - 60. Is 12 a factor of b?
True
Let n be (4 - 2 - 2)/3. Is (-3 - n)*-1*1 a multiple of 2?
False
Let r(y) = y**2 - y + 7. Does 7 divide r(0)?
True
Let b(r) = -2*r**2 - 4*r. Let h be b(5). Let a = h - -168. Is a a multiple of 17?
False
Suppose -13 = -