t a be ((-11)/4)/((-3)/36). Suppose a = 5*i - 12. Is i a multiple of 9?
True
Suppose 236 = -2*m + 6*m. Suppose -4*t + m = 7. Does 13 divide t?
True
Let y(h) = -2*h - 2. Suppose 25 = -6*b + b. Is 4 a factor of y(b)?
True
Is 32 a factor of (-16)/56 - 604/(-7)?
False
Let v be (-60)/(-27) + (-2)/9. Suppose -6*f + f = -v*a - 21, -2*a + 3*f = 11. Suppose -5*o - 2 = -3*w - 36, -4*o + a*w + 28 = 0. Does 8 divide o?
True
Let q(o) = 4*o - 5. Let z be q(-9). Let c = z + 60. Does 9 divide c?
False
Let v = 13 + -9. Is 2 a factor of v?
True
Let g(z) = -z**2 - 6*z - 5. Suppose -4*q = q + 20. Let k be g(q). Suppose -2*x + 0*x - k*m + 4 = 0, 11 = 3*x + 2*m. Is 2 a factor of x?
False
Let a = 2 - 2. Let l be (0 - (-1)/(-2))*a. Suppose 3*r = -2*g + 4*r + 6, l = 5*g + 4*r - 28. Does 2 divide g?
True
Let f be ((-34)/1)/(6 + -8). Suppose 0 = -3*w + f - 5. Does 4 divide 22/6 - w/(-12)?
True
Let m(x) = x**2 + 12*x - 12. Let v(u) = -u. Let s(j) = -m(j) - 2*v(j). Let r be s(-10). Does 5 divide (16/r)/((-2)/(-15))?
True
Let j be (-2)/(-3) - 2/3. Suppose -2*w - 3*w + 50 = j. Does 10 divide w?
True
Let b(s) = 3*s**2 - 11*s - 16. Is b(7) a multiple of 18?
True
Let g(z) = -z**3 - 4*z**2 - z - 11. Is g(-8) a multiple of 34?
False
Suppose 3 = 4*r - r. Let p = r - 4. Is 22 a factor of -2 + p/(-3)*48?
False
Let h be ((-38)/(-8))/(1/4). Suppose f - 5*f = 4*w - 28, 3*w + 2*f - h = 0. Suppose -2*m = -13 + w. Is 3 a factor of m?
False
Let c be 3/(-12) - (-786)/8. Let p = c - 64. Suppose -3*z + p = -5*r, r - 4 = -z - r. Is 4 a factor of z?
True
Let n(a) = 3*a**2 + 25*a - 33. Does 9 divide n(-12)?
True
Let t be 5*2 - (-2)/1. Suppose 6*k - 2*k = t. Suppose 0 = -3*o - 5*q - 1, k*o + o = 5*q + 57. Is o a multiple of 4?
True
Let q(s) = s**2 - 8*s + 5. Let a(u) = u**2 - 2. Let p be a(3). Let z be q(p). Does 8 divide (-36)/27*24/z?
True
Let w(o) = -o - 8. Let m be w(-11). Suppose -10 = -m*l + 2. Suppose -4*t - 4*j + 89 = -j, -32 = -t - l*j. Is 14 a factor of t?
False
Let y(d) = -d**3 - 3*d**2 + 7*d - 2. Let q be y(-5). Suppose 0*g + 4*t = g - 37, -4*t = 8. Let s = g - q. Is s a multiple of 8?
True
Suppose 0 = 5*r + 5*u - 695, 2*r - 4*u - 302 = 6. Does 25 divide r?
False
Let l be 0/(5 - 0 - 3). Let c be (-4)/(-1) - l/(-2). Is c*14*(-2)/(-16) a multiple of 7?
True
Let s(m) = -m**2 - 4*m + 7. Let b be s(-5). Suppose -5*p = -3*t + 85, -58 + 173 = 5*t + 5*p. Suppose r + t = b*r. Is 15 a factor of r?
False
Suppose 20 + 10 = 2*h. Suppose -4*f = -f - h. Is f a multiple of 5?
True
Let l(y) = 67*y**2 + y. Is 14 a factor of l(-1)?
False
Let o = -27 - -60. Is o a multiple of 8?
False
Suppose -16 = -3*a - a. Is (-4)/8 + 150/a a multiple of 12?
False
Let m be (-2)/4 - 125/2. Let t = m - -15. Is (-3)/((-1)/(t/(-9))) a multiple of 8?
True
Suppose -3*b + 201 = -2*b + 2*a, 0 = 4*b + 3*a - 799. Is b a multiple of 40?
False
Let a = -33 - -60. Is 21 a factor of a?
False
Let n(h) = 4*h**2 + 5. Is n(-4) a multiple of 14?
False
Let o(z) = 9*z**2 - 9*z. Is o(-3) a multiple of 36?
True
Let s(h) = -h**2 + 21*h + 32. Is s(21) a multiple of 16?
True
Let m(u) = -9 + 7*u + 6 - 2*u + 6*u. Is m(7) a multiple of 19?
False
Let u(g) = -g + 1. Let c be u(4). Let n be c/(-5) + 4/10. Is (-25)/(-4) + n/(-4) a multiple of 3?
True
Let l be 75/10 + (-3)/2. Let o = 24 + l. Is o a multiple of 15?
True
Suppose -2*i + i + 75 = 0. Let s be (3/(-2)*-32)/(-1). Let f = s + i. Is 15 a factor of f?
False
Suppose -2 = 4*r + 2. Is (-464)/(-24) + r/3 a multiple of 18?
False
Suppose -z - g = -5*g - 36, 5*g = -4*z + 207. Is 16 a factor of z?
True
Suppose 0 = s + 2 - 5. Is (-1 + 7)/(s/2) a multiple of 4?
True
Let z be 2/(((-21)/(-12))/(-7)). Let n = z - -15. Is 2 a factor of n?
False
Suppose -5*g - 9 = -3*j, -g + 12 = 5*j - j. Suppose 0 = 2*d - 49 + j. Is d a multiple of 17?
False
Let i(c) = 15*c**2 - 3*c. Does 18 divide i(3)?
True
Let b be 30/(-12)*(-12)/10. Suppose -a = -2 - b. Is a even?
False
Is 18 a factor of 3210/90 + 2/6?
True
Suppose -5*t - 72 = -4*c + 41, -5*c + 95 = 3*t. Is c a multiple of 4?
False
Let y(n) be the second derivative of -3*n + 1/6*n**4 + 0 + 3*n**2 - 4/3*n**3. Is 10 a factor of y(6)?
True
Let g be (2 - 6/4)*4. Let n(c) = -c**2 - 1. Let q(y) = 6*y**2 + y + 6. Let v(k) = g*q(k) + 11*n(k). Does 16 divide v(-5)?
True
Suppose 2*v - 51 - 19 = 0. Let r be (-1 + 3)*(-10)/(-4). Suppose v = 5*o + 2*n, -6*o + o + 50 = r*n. Is 5 a factor of o?
True
Let f be (-75)/(-10)*6/(-9). Let y(x) = x**2 - x + 2. Is y(f) a multiple of 8?
True
Let p(i) = 13*i + 8. Let c(b) = -3*b - 2. Let j(r) = -9*c(r) - 2*p(r). Let l = -4 - -11. Is 4 a factor of j(l)?
False
Suppose 2*c - 3*w = 17, -3*w - 19 = -4*c - 2*w. Is 5 a factor of c/(-3) - 102/(-9)?
True
Let b(a) = 4*a**3 + 4*a**2 + a - 3. Is 8 a factor of b(3)?
True
Let r(h) = -2*h**3 - h**2 + 8*h + 2. Is 10 a factor of r(-3)?
False
Is (5/10)/((-1)/(-34)) a multiple of 5?
False
Let j = 21 - 18. Is 3 a factor of j?
True
Let p(d) = -29*d + 26. Is p(-6) a multiple of 20?
True
Suppose 20*c + 48 = 22*c. Is c a multiple of 9?
False
Let v(h) = 9*h - 18. Does 18 divide v(8)?
True
Let z(j) = j**3 + 8*j**2 - 5. Let y be z(-8). Let q(a) = -6*a - 5. Is q(y) a multiple of 12?
False
Let x be 1 + 2/2 + 1. Suppose -111 = -2*s - a, x*s = a + 43 + 111. Let p = 89 - s. Is 18 a factor of p?
True
Let h = 230 + -150. Suppose -2*g + h = 3*g. Suppose -i = 3, v - 2*i - g = 10. Is v a multiple of 7?
False
Let f be ((-6)/6)/(1/(-2)). Let m(r) = -4*r**f - 2*r + 0*r - r**3 - 7 - r. Is 12 a factor of m(-5)?
False
Suppose -4*w = -0*w - 20. Let c = 0 + w. Suppose -80 = -5*a - 2*t, 0 = -4*a - c*t + 39 + 42. Is a a multiple of 14?
True
Let p = 45 + -30. Is 15/2*20/p a multiple of 5?
True
Let b(s) = s**3 + 4*s**2. Let i be 1/5 - (-11)/(-5). Let u be b(i). Suppose -2*l = 5*n - 24, -4*l + 2*n - u + 32 = 0. Is l a multiple of 7?
True
Is 3 a factor of 2*(1212/168 - 2/(-7))?
True
Let j = -71 + 198. Is 8 a factor of j?
False
Suppose 38 = 3*w - 10. Is w even?
True
Suppose 3*h = 754 - 151. Is 28 a factor of h?
False
Let y = -36 + 316. Is y a multiple of 40?
True
Suppose 2*b - 44 = 88. Is b a multiple of 22?
True
Suppose 3*g + 2*g - 130 = -4*x, 0 = -5*x. Let w(k) = -k**2 + k + 3. Let u be w(3). Let y = u + g. Is 10 a factor of y?
False
Suppose -3452 - 475 = -11*f. Is 51 a factor of f?
True
Suppose 0*j - 92 = -3*j + 5*g, 2*j = 5*g + 68. Is 12 a factor of j?
True
Let w = -4 - -6. Suppose 12 = -w*h + 3*h. Does 12 divide h?
True
Is (((-14)/(-4))/(-7))/(3/(-288)) a multiple of 16?
True
Suppose -a - 37 = -2*a. Suppose a = 3*y - 98. Is y a multiple of 29?
False
Let c = -8 - -103. Let y = c - 66. Does 23 divide y?
False
Let v be (-2)/(-9) + 178/9. Let o = 28 - v. Does 8 divide o?
True
Suppose 0*g - g = 0. Suppose -r = -t - g*t - 4, 0 = -2*t - 8. Suppose -6*v + v + 75 = r. Is 9 a factor of v?
False
Let j be 4/((-3)/(-9 - -3)). Let s = -18 + j. Does 14 divide (-276)/s + 8/20?
True
Let r(d) = -d**2 + 6*d - 2. Let t be r(9). Does 16 divide (6 + t)*(0 + -1)?
False
Suppose 0 = 6*z - 3*z - 18. Suppose 2*a + 196 = z*a. Does 13 divide a?
False
Let r(q) = 6*q**2 - 5*q + 3. Let n(u) = u**2. Let z(i) = 5*n(i) - r(i). Let j = 2 - -1. Is z(j) even?
False
Suppose q - 2*d = 22, 0 = 2*q - 5*d - 24 - 24. Does 11 divide q + (0 - (0 + 3))?
True
Let t(m) = -m**3 + 1 - 7*m**2 - 7 + 3*m + m - 2*m. Does 11 divide t(-8)?
False
Suppose -11*k - 255 = -14*k. Let z = -1 + 4. Suppose -f - 3*f = -3*a + 55, -z*a + k = 2*f. Is a a multiple of 16?
False
Suppose -3 = 4*o + 5. Is (o/(-4))/((-1)/(-82)) a multiple of 17?
False
Suppose -17 = 2*o - 5*o + 2*a, a = -5*o + 37. Is o a multiple of 4?
False
Let l = 31 + -18. Does 13 divide l?
True
Let w(l) = -5*l**3 + l**2 + 5*l + 3. Let d(u) = -9*u**3 + 2*u**2 + 10*u + 5. Let c(v) = -6*d(v) + 11*w(v). Is 18 a factor of c(-4)?
False
Suppose 3*u = -x - 22, 4*u + 18 = 2*x - 8. Let t = -5 + u. Let s = t - -37. Is 25 a factor of s?
True
Let v(r) = r**2 + 7*r + 4. Let u be v(-7). Suppose 0 = -n + 18 - u. Does 14 divide (-1 + -2 + 4)*n?
True
Let r be (-10)/3 + (-4)/6. Let k(t) = -5*t + 4. Does 13 divide k(r)?
False
Let m = 29 + 2. Suppose m*j + 11 = 32*j. Is j even?
False
Let o = -16 + 11. Let m(x) = -6*x - 3. Is 11 a factor of m(o)?
False
Suppose -2*n - 18 = -3*b, 2 = 3*b - 4*b - 2*n. Suppose -22 - 22 = -b*d. Is d a multiple of 4?
False
Let v(a) = 2*a