 = 2*b, 5*y + 3*b - 55 = 0. Is y a multiple of 3?
False
Let z(b) = -2*b - 6. Let y be z(-4). Suppose -2 = -i + y. Suppose i*w - 16 = 2*w. Is w a multiple of 8?
True
Let t(s) = s + 8. Let f be t(-7). Suppose -5*r - 2*v + f = -3, v = -r - 1. Suppose r*m = 6*m - 16. Is m a multiple of 2?
True
Let b(g) be the second derivative of -1/2*g**3 + 0 - g - 3/2*g**2. Is b(-5) a multiple of 12?
True
Let k(a) = 4*a**2 + 3*a + 1. Let o(l) = -4*l**2 - 2*l. Let b(x) = 3*k(x) + 2*o(x). Let f be b(-3). Let y = 35 - f. Is 5 a factor of y?
False
Suppose -3*x - 3*w - 36 = -w, 0 = 5*w. Let t = x - -20. Does 6 divide t?
False
Is 2 a factor of 17/2 + (-1)/(-2)?
False
Does 7 divide (-4)/3 - (-536)/24?
True
Is (-2 - (4 + -3))*-41 a multiple of 45?
False
Let r(y) = 2*y - 10. Let h be r(-6). Let d = h - -46. Is d a multiple of 8?
True
Suppose -2*b = 3*g - 364, g - b - 125 = -7. Let d be (-5)/1*g/(-25). Suppose -5*x + 58 = -2*l, 5*x - 3*l - 33 = d. Does 5 divide x?
False
Let b be (-2)/9 + (-2)/(-9). Suppose -2*k + k + 22 = b. Does 8 divide k?
False
Let b(d) = -5*d + 1. Let q = 2 - 5. Let w be 4/q + (-4)/6. Does 11 divide b(w)?
True
Let z(j) = -j**2 - j + 3. Let k(w) = -w**3 + 4*w**2 + 2*w - 4. Let c be k(4). Suppose -7*y + 2*y - 4 = 4*g, -3 = -c*y + 3*g. Is z(y) a multiple of 3?
True
Let r = 32 + -26. Let s(c) = 6*c**2 - 37*c + 21. Let n(f) = 4*f**2 - 25*f + 14. Let b(j) = -7*n(j) + 5*s(j). Is b(r) a multiple of 19?
True
Suppose -z + 101 + 26 = 0. Is z a multiple of 21?
False
Let j = -1 + 5. Let v(g) = g**2 - 4*g + 1. Let d be v(j). Let c(t) = 40*t**3 - t**2 + 2*t - 1. Does 17 divide c(d)?
False
Let a(h) = -10*h**3 - 2*h**2 + 2*h. Is a(-2) a multiple of 34?
True
Suppose -6 = -3*x - 24. Let z(v) = -2*v - 8. Let g be z(x). Suppose g*a - 70 = -a. Is 6 a factor of a?
False
Suppose 8*g = -4*g + 612. Is 6 a factor of g?
False
Let p(v) = -2*v**2 - 3*v + 2. Let m be p(2). Let z = 3 - m. Is (-6)/15 + 381/z a multiple of 18?
False
Does 3 divide 3*(-5)/5 + 18?
True
Suppose 0 = -6*g + g + 100. Does 14 divide g?
False
Let m = 133 - 17. Is 32 a factor of m?
False
Let p(t) = 7*t + 58. Does 53 divide p(22)?
True
Does 15 divide 11/(-55) + 376/5?
True
Let c(s) = -128*s + 20. Let a(p) = -43*p + 7. Let l(b) = -14*a(b) + 5*c(b). Does 20 divide l(-2)?
False
Suppose 0*w + 2*w = 22. Let n = -2 + w. Suppose 4*i - n - 11 = 0. Is 5 a factor of i?
True
Let k(c) = 5*c**2 + 3*c - 3. Does 8 divide k(-3)?
False
Let i be -4 + 2 + 0 + 1. Let c = -3 - -6. Is 8 a factor of i*6/c - -15?
False
Suppose -32 = -5*d + 4*w, -28 = -6*d + 2*d + 4*w. Is d/6 - 4068/(-54) a multiple of 19?
True
Does 23 divide 251 - 1/(-1 - 3/(-6))?
True
Let n(k) = k**2 + 4*k + 1. Is n(5) a multiple of 18?
False
Suppose 2*h - 4*d - 212 = 0, -2*h + 226 = 2*d + d. Suppose 3*m - 6*l - 38 = -2*l, 0 = -5*m - 5*l + h. Is 9 a factor of m?
True
Suppose v - 5 = 23. Does 14 divide v?
True
Let h = -816 + 392. Let m be 2/(-5) + h/(-10). Suppose 54 = 4*t - m. Does 12 divide t?
True
Let l = 1 + 1. Suppose 0 = 2*h + l*h. Suppose -14 = -n - h. Is n a multiple of 14?
True
Let d = 2 + 0. Let l = 12 - d. Is 5 a factor of l?
True
Let p = -49 + 73. Is 24 a factor of p?
True
Let l = 3 - 1. Suppose 26 = 2*s + 4*h, -l*h - 33 = -5*s - 4*h. Is s a multiple of 2?
False
Is (-16)/(-20)*(-530)/(-4) a multiple of 18?
False
Let j be (-9)/(-1)*(-2)/(-3). Suppose 0*a - u = -5*a + 30, -a + j = -4*u. Does 3 divide a?
True
Suppose 17 = 6*y - 85. Does 12 divide y?
False
Suppose -3*o - 2*v = -30, 20 = 2*o - v - v. Let i = o + -6. Suppose -76 = -i*k + 4. Does 10 divide k?
True
Let w(r) = 29*r + 3. Let m(c) = 29*c + 3. Let o(a) = 6*m(a) - 7*w(a). Is o(-1) a multiple of 13?
True
Let z(g) = g + 7. Let f be z(-5). Let y = 27 - 1. Suppose y = f*m - 26. Is 13 a factor of m?
True
Is ((-3)/2)/(5 - (-1343)/(-268)) a multiple of 5?
False
Suppose t - 9 = -2*t. Suppose 5*f - 16 = -l - 5, -44 = -4*l + t*f. Is 5 a factor of l?
False
Let c(q) = 2*q**2 + 9*q + 2. Let j be 3/(-9)*9/(-1). Suppose -2*w - 9 = -0*r + r, -w - r - j = 0. Is 8 a factor of c(w)?
False
Let z be 2/6 - (-16)/24. Suppose -r + 1 + z = 0. Suppose -r = -4*k + 6. Does 2 divide k?
True
Does 2 divide 3*-2*(585/10)/(-9)?
False
Let q be (-1)/(-1) + 1 + -1. Let x(i) = 7*i**2 + 3. Let s be x(2). Suppose -5*t + s = q. Does 3 divide t?
True
Let y(k) = k**3 + 6*k**2 + 2. Let o be y(-6). Suppose -2*d = 38 + o. Let u = -8 - d. Does 12 divide u?
True
Let r(c) = -21*c**2 + 1. Let h be r(-2). Let l = -55 - h. Let y = l - 16. Is y a multiple of 6?
True
Suppose -2*j - 3*q + 5 = 0, 0 = 2*j - 3*j + 2*q + 13. Let w = -5 + j. Let b(s) = -s**3 + 6*s**2 - 2*s - 2. Is b(w) a multiple of 5?
True
Is 15 a factor of -5*(2 + -1)*-69?
True
Let x = 122 + -198. Let u = 84 + 24. Let v = u + x. Is v a multiple of 13?
False
Let i = 811 - 219. Suppose -5*q - 202 = -i. Let f = q + -56. Is f a multiple of 11?
True
Suppose 0 = 10*n + 59 - 979. Is 7 a factor of n?
False
Let q(c) = 21*c**2 + 3*c. Let u(b) = 83*b**2 + 13*b. Let i(m) = 26*q(m) - 6*u(m). Is i(-1) a multiple of 12?
True
Let p(g) = 4*g + 0*g + 2 - 6*g. Is 8 a factor of p(-7)?
True
Is 20 a factor of 1562/18 - (-6)/27?
False
Let y be -1 + -1 + 3 + 1. Suppose -3*v + 0*d + 88 = 4*d, -y*v = -3*d - 36. Is v a multiple of 5?
False
Let h(n) = n**3 - 7*n**2 + 10*n + 3. Does 7 divide h(6)?
False
Let c = 0 - -28. Does 7 divide c?
True
Suppose 4*n + n = 80. Let o = n + -10. Is 3 a factor of o?
True
Let w = 3 - 0. Suppose 5*j - 8 = j. Is 15 a factor of (-12)/w + j - -17?
True
Let a(r) = -r**2 - r + 18. Let t be a(0). Suppose 0 = i - 2*i + t. Does 16 divide i?
False
Let y(a) = -a**3 + 5*a**2 + 8*a - 9. Let x be y(6). Suppose 5*u = 13 + 32. Suppose -m + x + u = 0. Does 12 divide m?
True
Suppose 0 = -6*l + 4*l + 2*o, 0 = -2*l - 3*o. Let y = 2 + l. Suppose 4*q - 2*x - 110 = 0, 0 = y*q - q - 3*x - 25. Does 13 divide q?
False
Let k(b) = b + 5. Suppose -z = 3 - 0. Let q be k(z). Suppose 0 = -q*p - 3*o + 110, -3*p - 4*o + 164 = -0*p. Is p a multiple of 18?
False
Let g(z) = -z**2 + 8*z - 3. Let x(u) = u + 9. Let v be x(-6). Is 6 a factor of g(v)?
True
Let o = 18 - 15. Is o a multiple of 3?
True
Let d be 2/(-3)*-1*6. Let o(n) = 10*n - 4. Is o(d) a multiple of 18?
True
Let d(q) = -3*q**3 + 9*q - 2. Let t(l) = 4*l**3 + l**2 - 10*l + 2. Let v(r) = -5*d(r) - 4*t(r). Let k be v(-5). Suppose 4*h = -0*h + k. Is 6 a factor of h?
False
Suppose -3*n = -2*n - 42. Is 7 a factor of n?
True
Let s(i) be the second derivative of -i**4/12 - 4*i**3/3 + 6*i**2 - 3*i. Let k be s(-9). Let o = 7 - k. Is o a multiple of 3?
False
Is 59 - (-1)/(4/(-8)) a multiple of 16?
False
Let b = 3 - 0. Suppose -4*d = d + y - 308, 2*y = -b*d + 182. Is d a multiple of 22?
False
Let d(m) = -12*m**3 - m**2 - 2*m - 1. Let a(n) = n**2 + 3*n + 1. Let q be a(-2). Is 8 a factor of d(q)?
False
Let v be 1*3 - (-17)/(-17). Suppose 0 = -v*a + 2*u + 20, u = -u - 2. Is a even?
False
Suppose 0 = 4*m - m - 78. Is 19 a factor of (-1)/(0 + (-1)/m)?
False
Let t(r) = -r**2 + 12*r + 10. Let a be t(8). Let f = a - 9. Let n = f - 15. Is n a multiple of 18?
True
Let z(w) = w. Let u(x) = 1 + 1 + 6*x**2 + 0*x + x**3 + 2*x. Let q(b) = u(b) - 3*z(b). Does 4 divide q(-6)?
True
Let v(u) = u**3 + 10*u**2 - 2*u - 14. Let b be v(-10). Does 24 divide 90/(-35)*(-56)/b?
True
Let i = -49 + 112. Is i a multiple of 21?
True
Suppose 4*i - 3*q = q + 8, 4*i + 3*q - 15 = 0. Suppose -z + 124 = i*z. Does 24 divide z?
False
Suppose -4*d - 132 = -4*v, 3*d = 3*v + 2*v - 169. Does 7 divide v?
True
Suppose 214 + 1983 = 13*m. Does 24 divide m?
False
Suppose -2*i = -0*i - 14. Does 7 divide i?
True
Let d(o) = 94*o**2 - o - 1. Does 14 divide d(-1)?
False
Suppose k - 225 = -3*w - 2*k, 3*w = k + 245. Suppose f - w = -16. Is f a multiple of 23?
False
Suppose 0 = 4*s + 2*x - 356, x - 5*x = 3*s - 267. Is 18 a factor of s?
False
Let t(x) = -4*x + 9. Let j(w) = -7*w + 18. Let n(y) = -6*j(y) + 11*t(y). Let k be n(-7). Suppose 82 = k*f - 4*q, f - 64 = -4*f - 2*q. Does 10 divide f?
False
Is (-4 - 3)/(3/(-54)) a multiple of 18?
True
Suppose 11 + 4 = 3*m, -8 = 3*y - 4*m. Let r = y - 0. Is r even?
True
Let t(a) = a + 8. Let o be t(-5). Suppose -3*m + s = -62, 5*m + 15 - 105 = -5*s. Suppose -o*x + m = x. Is x a multiple of 3?
False
Let k = -140 + 395. Is k a multiple of 19?
False
Suppose -2*q = -0*q + 152. Let x(k) = -k**3 +