Suppose 42 = 4*z + 6. Suppose 2*h + 3*h = 3*t + z, -h + 3 = -t. Suppose 25 = b + 4*l, -4*b + h*b - l = -25. Is 5 a factor of b?
True
Let i(o) = -3*o + 1. Let d be 8/12 + (-10)/(-3). Let h be i(d). Is 13 a factor of 0 + 2 - (h + 0)?
True
Suppose 25*a - 29*a + 680 = 0. Is a a multiple of 10?
True
Let r = 2 + 3. Suppose -s - r = 5*n, -2*s - 4*n + 8 + 6 = 0. Is 15 a factor of s?
True
Suppose -u + 2*o - 12 = -3, 0 = 5*u - 2*o + 5. Let n be 56/(-35)*(-10)/u. Suppose -q + n = 3. Is 5 a factor of q?
False
Let o(h) = 3*h - 8*h + 4 - h - 5*h. Is 17 a factor of o(-3)?
False
Suppose 5*v = 5 + 145. Suppose 0 = 3*u - 0*u - v. Is 5 a factor of u?
True
Let i(u) = -u**3 - 7*u**2 - 10*u - 14. Does 14 divide i(-7)?
True
Is 35 a factor of (-1 + -1)/(-2) - -80?
False
Let l be (-4)/(-14) - (-481)/7. Suppose 3*n - l = 42. Is 12 a factor of n?
False
Suppose 0 = g + f + 2 - 3, -g + 5*f + 13 = 0. Suppose 0 = -g*r + 2*r + 1. Let o(k) = 23*k**2 + k - 1. Is 12 a factor of o(r)?
False
Suppose 48 = 4*b - 3*x, x - 2 = -b + 3. Suppose 4*u - 7 - b = 0. Suppose -59 = -u*i - 3. Does 7 divide i?
True
Suppose -1 = -r + 2. Let k = 2 - 0. Suppose 6*c = 3*c - 3*j + 60, r*j - 40 = -k*c. Does 10 divide c?
True
Suppose -5*t = -4*r - 58, 3 + 23 = 3*t + 2*r. Does 5 divide t?
True
Let l be (2/(-4))/(4/(-40)). Is 12 a factor of 60*(2 + (-8)/l)?
True
Suppose -2*z + 2 = 0, 7*z - 40 = -5*p + 2*z. Suppose -w - 1 - 6 = 5*v, 5*w + p = 3*v. Is 0/w + (3 - -6) a multiple of 9?
True
Let g be 74/14 - 4/14. Let w be (194 - g)*8/(-6). Is w/(-16)*8/3 a multiple of 14?
True
Let a be (1 - 7/(-2))*-2. Let j = 6 - a. Is ((-40)/j)/((-2)/6) a multiple of 4?
True
Let n be 3/1 - 0 - -3. Suppose 0 = n*v - v. Suppose -106 = -4*d - a - v*a, -4*a = 8. Does 7 divide d?
False
Let g(i) = i**3 - 9*i**2 - 11*i + 10. Let f be g(10). Suppose 4*m = 2*p - f*m - 20, 0 = -3*p + 4*m + 20. Suppose n - 80 + 26 = p. Does 23 divide n?
False
Let c(g) be the third derivative of g**4/24 - g**3/6 + 2*g**2. Let q be c(-2). Let i(v) = 3*v**2 + 3*v - 2. Is i(q) a multiple of 16?
True
Suppose -4*m - 5*s - 7 = 0, 5*m = 4*s + s - 20. Is 8 a factor of 18 - (-1)/(1/m)?
False
Let d(o) be the first derivative of o**2/2 + 15*o + 1. Let i = -12 - -5. Does 3 divide d(i)?
False
Suppose 2*z - 6 = -0*w - 4*w, -3*z - 1 = -4*w. Let c(a) = 26*a - 1. Is c(w) a multiple of 15?
False
Suppose 5*q = -20, -24 + 9 = -j + 3*q. Let l = j + 3. Is l a multiple of 2?
True
Is 9 a factor of (-4)/6 + (-348)/(-36)?
True
Let c be ((-8)/20)/(2/(-30)). Let h be (-6)/(-1)*(c - 7). Is ((-2)/6)/(h/684) a multiple of 20?
False
Let f(d) = 18*d - 9. Is f(6) a multiple of 33?
True
Let t be ((-2)/2)/(-1 + 2). Does 8 divide -16*(t/1 - 1)?
True
Suppose -3*f + 0*f + 12 = 0. Suppose 23 = g - s, 3*g + 0*s - 55 = -f*s. Does 11 divide g?
False
Let l(i) = 2*i**2 - 3*i. Suppose 5 = 6*b - b. Let r be b/(-3) - (-13)/3. Is l(r) a multiple of 11?
False
Suppose 0 = -c - 3*i + 16, 3*c - 8 = -i + 2*i. Let j = c - -6. Is j a multiple of 4?
False
Let k = -4 - -6. Let d = k - -6. Is 8 a factor of d?
True
Let y(v) = 13*v - 29. Is 16 a factor of y(5)?
False
Suppose -36 = 2*g - 8. Is (-41)/(-1) + (-15 - g) a multiple of 10?
True
Suppose 2*u = -u + t + 80, 16 = 4*t. Is 4 a factor of u?
True
Let r = 0 - 1. Let z be 4*(74/8 - r). Suppose 4*d + d + p - z = 0, -4*d = 4*p - 36. Does 8 divide d?
True
Suppose 4*a + 2 = 5*a. Suppose 5*z + 0*s = -5*s - 5, -4*z + 2*s + a = 0. Suppose -i - 2*i - 3*b + 36 = z, 0 = -5*i - b + 72. Is i a multiple of 15?
True
Let l = -426 - -732. Is l a multiple of 51?
True
Suppose 26 + 286 = 4*u. Let c = u - 30. Is c a multiple of 19?
False
Let o be 9/(-3) - -7 - -2. Suppose -19 = 5*h + o. Is (3 - (h - -1)) + 3 a multiple of 3?
False
Suppose 0 = -4*d + x + 398 - 49, 4*d = -4*x + 364. Is 22 a factor of d?
True
Let o be (-16)/(-6) - 2/(-6). Suppose -o*j + 26 = -10. Is j a multiple of 12?
True
Let z be (-3)/5*5/(-1). Suppose 0 = -z*m + 11 + 61. Is m a multiple of 24?
True
Suppose 0 = y - p - 1, -3*p + 5 = -5*y. Let u be y/18 + 42/(-54). Does 14 divide (u*3)/(6/(-56))?
True
Let m(c) = c**2 + 2*c + 3. Let k be m(-2). Suppose f + k*f = 180. Does 26 divide (-1 - 1) + f - -1?
False
Let v(q) = q + 14. Let r be v(-7). Suppose -3*a + 8 = -r. Let b(x) = x**2 - 7. Does 7 divide b(a)?
False
Let o(z) = -3*z. Is 13 a factor of o(-13)?
True
Let l(p) = -p**3 + 2*p**2 - 2*p. Let d(h) = -h + 12. Let u be d(9). Let v be l(u). Does 8 divide ((-78)/v - 1)*5?
False
Suppose -5*c = -25, 210 = 2*b - 0*c - 2*c. Does 10 divide b?
True
Let g(i) = i**2 + 4*i - 4. Let v be -8*((-4)/2)/8. Does 8 divide g(v)?
True
Let d(y) = -y + 7. Suppose 5*z - 2*g = -48, 28 = -5*z - 2*g - g. Is d(z) a multiple of 14?
False
Suppose -2*g = -3*n + 19 + 3, 4*n + 3*g = 1. Suppose 0 = -n*v - 15 + 55. Is v a multiple of 3?
False
Let d(x) be the first derivative of x**4/4 - x**2/2 + 3*x + 2. Suppose -5*h + 18 + 7 = 4*g, -3*h + 15 = -3*g. Is d(g) a multiple of 2?
False
Let g = -22 + 36. Suppose -24 = -z + g. Is z a multiple of 14?
False
Is (40/12)/(-2)*-12 a multiple of 6?
False
Let d be (-6)/(-1 - (-1 - -2)). Suppose -d*q + 328 - 70 = 3*y, -3*q = 2*y - 262. Suppose -a - q = -6*a. Is a a multiple of 9?
True
Let q = 321 - 73. Is q a multiple of 27?
False
Suppose -i = 2*p - 2, 2 = -5*p - 4*i + 5*i. Suppose p*b + 46 = 2*b. Suppose 4*h - 41 - b = 0. Is h a multiple of 8?
True
Let p(o) = 0*o**3 - 4*o + 4*o**3 - 3*o**3 + 6 + 0*o**3 - 3*o**2. Does 12 divide p(5)?
True
Suppose 0 = -0*l + 4*l - 96. Does 13 divide (-2)/((l/(-39))/4)?
True
Suppose 2*b + h - 30 = 0, 3*b + 2*h - 12 = 2*b. Let a = 1 - b. Does 9 divide 108/5 - 6/a?
False
Is 15 a factor of 50*((-2)/(-3) - (-30)/36)?
True
Let u(m) = 2*m + 9. Let k be u(-6). Suppose 24*z - 29*z = 0. Does 12 divide k/(1 - z) + 31?
False
Suppose 2 = -0*w + w. Suppose -2*g = 3*l - 80, 8*g - 46 = -w*l + 3*g. Is l a multiple of 14?
True
Let b(t) = 2*t + 5. Let n be b(-4). Let q be 2/(n/18*-1). Suppose 3*w + 0*w = q. Is 3 a factor of w?
False
Suppose z = 3*z - 12. Suppose z*q = q. Suppose -4*p - 4*s + 46 = -p, q = p + 2*s - 12. Does 15 divide p?
False
Suppose -801 = -5*r - 3891. Let z be 4/10 - r/5. Suppose -z = -5*d + 26. Is 15 a factor of d?
True
Let r = 188 + -129. Is 12 a factor of r?
False
Let i(g) = 14*g - 2*g**3 + 3*g**3 + 6*g**2 - 9*g. Is 6 a factor of i(-4)?
True
Let k(h) = 3*h - 5. Let r(y) = 10*y - 15. Let v(l) = -7*k(l) + 2*r(l). Is 12 a factor of v(-7)?
True
Suppose -2*u - 3*u + 4*a + 355 = 0, 0 = -2*u - 5*a + 109. Is u a multiple of 20?
False
Suppose -3*k = -2*z - 56, -21 = -3*k - 3*z + 60. Suppose 4*g + 120 = 4*u, 0*u + u - k = -g. Is u a multiple of 13?
True
Let n(p) = -p**3 + 11*p**2 - 8*p + 24. Is n(10) a multiple of 4?
True
Let l = 154 + -110. Is l a multiple of 21?
False
Suppose 5*w = -4 + 24. Let z(i) = -2*i - 4*i**2 - i**2 + 4*i**2 + w*i**3. Does 12 divide z(2)?
True
Let t(j) = -j**2 + 16*j + 21. Is 42 a factor of t(9)?
True
Let s(i) = i**2 - 16*i. Does 12 divide s(-6)?
True
Suppose w + 5*a = -0*a + 39, 0 = -w + 4*a + 66. Does 18 divide w?
True
Suppose -3*k + 201 = k - 5*x, -12 = -4*x. Suppose -c + 6 = k. Is (-13 - 1)*c/56 a multiple of 6?
True
Suppose 0 = -0*y + 5*y - 20. Let z = y + 9. Does 6 divide z?
False
Suppose 2*q = -4*w - 1256, -2*w + 0*w + q - 620 = 0. Let r(m) = m + 3. Let j be r(-6). Does 8 divide 1/j - w/18?
False
Suppose -2*h = b - 4, 5*h + 0*b - 12 = -3*b. Suppose 16 = c - h*c. Suppose 0 = 3*r, -3*o + 61 = 2*r + c. Does 15 divide o?
True
Suppose 3*c - o = 2*o + 153, 5*o = -4*c + 213. Is 11 a factor of c?
False
Let u be 2/5 - (-13)/5. Suppose u*i - 340 = i. Suppose 0*v - 5*v + i = 0. Does 17 divide v?
True
Suppose -4*w + 8 = -20. Let d(a) = 4*a - 8. Is d(w) a multiple of 4?
True
Does 23 divide 44 + 1*(-5 - -3)?
False
Suppose -4*x + 1015 - 31 = 0. Suppose 3*b = 5*d - x, -5*d - 5*b = -0*d - 230. Is 12 a factor of d?
True
Suppose -168 = 5*x - 968. Is x a multiple of 8?
True
Let x(i) = 57*i**2 - 6*i - 7. Is x(-1) a multiple of 6?
False
Let s = 73 - 35. Does 16 divide s?
False
Let v(c) = -c**2 - 10*c - 4. Let l(j) = -j**2 - 8*j + 3. Let y be l(-8). Suppose -y*o - 36 = o. Is 3 a factor of v(o)?
False
Suppose 0*y = -3*y + a + 17, -3*y + 22 = 4*a. Is y a multiple of 3?
True
Suppose 0 = 3*p + 3*s - 60, -5*p = -4*s + 3*s - 112. Is p a multiple of 6?
False
Let r(u) = -u + 10. Let x b