(62/b - -1)*-5?
True
Suppose -5*i + 208 = -217. Is i a multiple of 10?
False
Let d = -3 - -17. Let b = d + 0. Is 8 a factor of b?
False
Let b(g) = 3*g**2 + 8*g - 3. Is 16 a factor of b(-5)?
True
Suppose 3*y - 4 - 14 = 0. Let t = -14 + y. Let b(p) = p + 13. Is b(t) a multiple of 5?
True
Let v(s) = -s**3 + s + 3. Let g be v(-3). Suppose -1 + g = f. Does 26 divide f?
True
Suppose 7*r - 483 = 4*r. Suppose 0*x + 4*p + r = 5*x, -x - 4*p = -13. Is 7 a factor of x?
False
Suppose 0 = -5*f + 2*b + 719, -4*f + 2*b + 562 = 7*b. Let u = f - 75. Let l = 116 - u. Is 13 a factor of l?
False
Let x(q) = -2*q + 2. Let v be x(-2). Suppose 6*r - 7*r = -v. Is 3 a factor of r?
True
Let n = 8 + -5. Let a be (-2 - 1)/(n/(-2)). Suppose -2*v = -h + 13, a*h - 4*v = -3*h + 41. Is h a multiple of 2?
False
Let g be (-40 + -1)*4/(-4). Let p = 57 - g. Is p a multiple of 4?
True
Is (39 - (2 - 2)) + 1 a multiple of 10?
True
Let v(b) = -3*b - 3. Let w be v(-5). Let l = w - 8. Is l a multiple of 2?
True
Let m(g) = g**2 - g + 1. Let n(r) = 5*r**2 - r - 3. Let y(u) = -4*m(u) + n(u). Is 8 a factor of y(-8)?
False
Let b = -14 + 16. Suppose b*l = -4*f + 331 - 81, 314 = 5*f + 2*l. Is 20 a factor of f?
False
Suppose 8*o - 24*o = -80. Does 2 divide o?
False
Let y be (8/(-20))/(1/5). Does 9 divide 2 + -2 + y - -28?
False
Let p = 248 - 98. Does 15 divide p?
True
Suppose -3*o + 8*o = 0. Suppose 0 = 4*u - o*u - 208. Does 13 divide u?
True
Let z(p) = -p**2 + p - 1. Let o be z(1). Let x be (1 + -3)*(-2)/4. Does 3 divide -3*(-2 - o - x)?
True
Let t = -5 + 8. Suppose 0 = t*y - 5*y. Let z = 6 + y. Is 6 a factor of z?
True
Let v(n) = -n + 1. Let o be v(0). Is (-210)/(-2)*o/3 a multiple of 25?
False
Let k(l) = -5*l + 1. Let r be k(-1). Let x(o) = -o**2 + 6*o - 1. Let y be x(r). Is 15 a factor of 595/20 - y/4?
True
Let h(f) = -3*f**3 - 2*f**2 + 2*f + 1. Let z be h(-2). Let n = -2 - -1. Let r = z + n. Is r a multiple of 12?
True
Let r = -17 - 1. Let a = r - -30. Is 12 a factor of a?
True
Let d = 2 + 1. Suppose -51 = -d*f - 0. Is f a multiple of 17?
True
Let g(b) = -b**3 + 7*b**2 - 6*b - 5. Let r(i) = 7*i**2. Let u be r(-1). Let w be g(u). Let q = -1 - w. Is 14 a factor of q?
False
Suppose -7 = -2*y + 11. Does 9 divide y?
True
Is 45 + (6/2)/(-3) a multiple of 17?
False
Let w be 15 - (-9)/(-3 - 0). Suppose 2*x - w = 4*b - 0*b, -2*x = b - 17. Does 8 divide x?
True
Let l = 183 + -166. Is 2 a factor of l?
False
Suppose 0 = -4*d + 3*d. Suppose 0*j - 3*j = d. Suppose s + 1 - 19 = j. Is s a multiple of 9?
True
Let f = -31 - -59. Does 28 divide f?
True
Suppose -3*r + 0*r = 9. Is 46/6 + 2/r even?
False
Let w(j) = -2*j + 14. Let d be w(6). Suppose a = -4*k + 36, -d*k = -a - 0*a + 48. Is a a multiple of 11?
True
Let w = -75 + 255. Is 20 a factor of w?
True
Let g be 0 - (1*-2 - -1). Suppose -23 = -3*a + g. Is a a multiple of 5?
False
Let g(v) = -v**3 - 8*v**2 - 7*v - 4. Let z be g(-7). Let b be (z/5)/((-4)/10). Suppose 0 = -q + f + 3, -b*q + 3 = q - 5*f. Does 3 divide q?
True
Let g = 7 - 10. Does 12 divide (g/(-2))/(4/96)?
True
Let i be 61/(-7) + (-6)/21. Let b = 13 + i. Suppose 61 = b*j - 27. Does 11 divide j?
True
Suppose -4*y = k + 4, 2*k + 12 + 4 = -4*y. Let a = 9 - k. Is a a multiple of 7?
True
Let v(x) = -x + 23. Let l(t) = -t**2 - 11*t + 11. Let p be l(-11). Does 12 divide v(p)?
True
Let o(n) = n + 10. Let l be o(-5). Does 22 divide (50/l)/(1/3)?
False
Is 38 a factor of (7/2)/(1/100)?
False
Let f be (150/4)/((-9)/(-24)). Suppose -4*n = -4*p - f, 4*n - 73 = -6*p + p. Is 11 a factor of n?
True
Let l be 4/5*(-20)/4. Is 7 a factor of ((-21)/5)/(l/20)?
True
Let d(j) = j**2 + 13*j + 13. Let f be d(-11). Does 21 divide (-4)/(-6) + (-183)/f?
True
Let o(h) = -15*h - 3. Does 6 divide o(-2)?
False
Suppose 0 = -2*j + 3*j + 5. Let k(q) = q**2 - q + 2. Does 11 divide k(j)?
False
Let s = -1 - -3. Suppose s = -2*h + 3*h. Is h even?
True
Let g = -14 - -14. Suppose 2*a - 2*r + g*r = 52, -a - 5*r = -50. Is 10 a factor of a?
True
Let q = 16 + -9. Suppose 5*f - q = 3. Let c = f - -1. Is 3 a factor of c?
True
Let d(z) = -7*z + 2. Let n(u) = u**2 - 2*u. Let y be n(2). Suppose 2*f - 5*p + 4 = y, -2*f + p - 5 = -1. Is d(f) a multiple of 8?
True
Is 31 a factor of (124/6)/((-3)/(-9))?
True
Let j(n) = -3*n + 6. Let c(t) = t. Let u(l) = -12*c(l) - j(l). Let m(s) = s**3 - 6*s**2 - 2*s + 8. Let v be m(6). Is u(v) a multiple of 15?
True
Let l = -120 + 156. Does 3 divide l?
True
Let c(w) = w**3 + 4*w**2 - 6*w + 5. Suppose 2*l - p - 2 = -7, -5*p - 50 = 5*l. Does 3 divide c(l)?
False
Let i(f) = f - 6. Let n be i(9). Is 15 a factor of (-1)/((-4)/20)*n?
True
Suppose -14 + 7 = -j. Suppose -13 = -2*t + j. Does 4 divide t?
False
Let z be ((-64)/(-6))/((-2)/(-15)). Suppose 2*x - 6*x + z = 0. Does 15 divide x?
False
Suppose 5*d = 3*o - 198, 5*o + 0*d = -5*d + 370. Is 27 a factor of o?
False
Suppose 4*o + 2 = -3*c, c - o = -2*c + 8. Suppose c*g + 27 = 5*g. Suppose u - 2*h = 40, -g = -3*h + 3. Is u a multiple of 16?
True
Let t be (3/9)/((-2)/(-24)). Let d(a) be the second derivative of -a**3/6 + 9*a**2/2 + 2*a. Does 4 divide d(t)?
False
Let g be -2 + -3 + 2 + 48. Let q = g - 15. Is q a multiple of 10?
True
Suppose 0 = 2*n - 5*y + 7, -2*n - 3*n - y = -23. Suppose -n*g - g + 660 = 0. Is 11 a factor of (g/(-10))/(8/(-20))?
True
Let f(a) = -a**3 - 16*a**2 - 23*a - 8. Is f(-15) a multiple of 14?
True
Suppose 96 = 3*q - 6*q - 3*k, -55 = 2*q + 5*k. Let l = 61 + q. Does 10 divide l?
False
Let p(f) = 42*f**2 + 4*f - 3. Let r(x) = 21*x**2 + 2*x - 2. Let s(z) = 3*p(z) - 5*r(z). Suppose -8*l = -12*l - 4. Does 10 divide s(l)?
True
Suppose 0 = 5*t + 3*l - 10, -3*t + 4*t + 10 = -3*l. Is 24 - ((t - 3) + -2) a multiple of 24?
True
Let z = -20 + 57. Is z a multiple of 10?
False
Let z(a) = -4*a + 0*a**2 - 5*a**2 + 5*a - 2 + 4*a**3. Let k be z(4). Suppose 0 = -5*h + k - 53. Is 7 a factor of h?
False
Let z be 0/(3 - (-3 + 5)). Suppose -2*g - 2 + 68 = z. Does 10 divide g?
False
Suppose -2*l + u = 3*l - 19, -5*u - 20 = 0. Suppose -5*b - l*c + 210 - 17 = 0, -2*b + c + 86 = 0. Is 21 a factor of b?
False
Suppose -2*m - 1 = 4*y + m, 0 = 4*y + 4*m. Let p(g) = 25 - 21*g**3 - 26 - g - 8*g**3. Is p(y) a multiple of 14?
False
Suppose 2*b + 23 = 5*t, b + 4 = t - 0*b. Does 3 divide t?
False
Let a = 37 + -22. Is 7 a factor of a?
False
Let d(n) = -8 - 7*n**2 - 12*n**2 - n + 2*n**2 - 3*n. Let a be d(6). Is a/(-18) - (-2)/9 a multiple of 13?
False
Let b(z) = 2*z**2 + 5*z - 4. Let u be b(-5). Let x = u - -18. Does 13 divide x?
True
Let n = 58 - 11. Does 18 divide n?
False
Let c(i) = i**2 + 5*i + 4. Let y be c(-4). Suppose 3*s - 4*x - 252 = 259, -2*s - 2*x = -350. Suppose -4*z + s - 45 = y. Does 16 divide z?
True
Let n = 4 - -2. Suppose 0 = d - 6*d + 60. Suppose 4*f = n*f - d. Does 5 divide f?
False
Let q(i) = -i**3 - 2*i**2 + 4*i + 4. Let b be q(-3). Let a be (b + 2)*(-12)/(-9). Let y = -2 + a. Does 2 divide y?
True
Let n(o) = -o + 1. Let w be n(6). Is 4/20 - 189/w a multiple of 19?
True
Is 5 a factor of (-2 - -6)*(-6 - -24)?
False
Suppose -2*w = -2*i - 40, 3 = -w - 4*i - 2. Suppose 34 + 31 = 3*k - j, -k - j = -w. Does 10 divide k?
True
Let p be (-118)/5 - (-8)/(-20). Let l be 2 + (-2 + 2 - p). Suppose -x = x - l. Is x a multiple of 13?
True
Let n(j) = j**3 - 6*j**2 + 7*j - 5. Let x be n(5). Suppose x*f - 16 = f. Is f a multiple of 4?
True
Is 4 a factor of 4 + 1 + 0/(-4)?
False
Let m be (6/(-4))/((-7)/14). Let l(z) = z**2 - 2*z - 9. Let g be l(-9). Suppose -g = -2*f - m*f. Is 9 a factor of f?
True
Let i = -5 + 20. Is 4 a factor of i?
False
Let o = -61 + 301. Does 48 divide o?
True
Suppose -4*j + 2 - 3 = -5*i, i + 15 = -3*j. Is 7 + j + (-19)/(-1) a multiple of 6?
False
Let t be -5*24/15*1. Let a = 8 + t. Suppose a = 2*x - 11 - 9. Does 9 divide x?
False
Suppose 2*d - 940 = -3*d. Suppose 3*u = -s + 57, -s = 3*s + 2*u - d. Does 16 divide 4/(-18) - (-2080)/s?
False
Let v(y) = y - 7. Let r be v(3). Suppose 2 = -2*f - 10. Is 2 a factor of 1 + f/(r - -2)?
True
Suppose f + 4*o = 100, 5*f - 2*f = 2*o + 244. Is 7 a factor of f?
True
Let d = -123 - -306. Does 19 divide d?
False
Suppose -2 = -d - 0, -d = -w + 22. Is 7 a factor of w?
False
Suppose 0*h - 5*h + 40 = 0. Let w = h - 5. Is w a multiple of 2?
False
Suppose 3*r = -2*r + 5, -5*r = -2*i - 1. Suppose -i*f + 55 = -59. Is f a multiple of 19?