actor of 3*(2 - 28/12) - -99?
False
Is 2 a factor of (-10)/3*(-3)/2?
False
Suppose 9*n = 13*n - 8. Suppose -n*t + 3*t = 10. Is 10 a factor of t?
True
Does 5 divide (-2)/(-4) - 472/(-16)?
True
Let z(d) = 4*d**2 - 2*d + 1. Let l be z(1). Let x(u) = u - 1. Let f be x(6). Suppose -l*s + 4*q = -64, -59 = -f*s - 3*q + 38. Is 20 a factor of s?
True
Suppose 0 = -2*j + 2, -3*c = -5*j - 1. Suppose -2*l + 48 = c*l. Suppose 4*h = -l, 18 - 185 = -5*m - h. Is 24 a factor of m?
False
Suppose 4*n = -k - 23, 0 = -3*n - k + 2*k - 12. Is (3 + -8)*16/n a multiple of 12?
False
Let r(o) = -21 - o**3 + o + 19 - 2*o**2 + 3*o**2 + 36. Let d be r(0). Does 15 divide ((-1)/2*d)/(-1)?
False
Let r(w) = w - 8. Let o be r(10). Suppose 5*u + o*f = 134, 3*u + 4*f - 56 = 30. Is u a multiple of 26?
True
Suppose 19*m = 14*m - 10. Is 15 a factor of 24 + m + (-1 - -1)?
False
Let b(z) = -5*z**3 + 11*z**2 + 7*z + 9. Let i(f) = 3*f**3 - 6*f**2 - 4*f - 5. Let a(u) = -4*b(u) - 7*i(u). Let d be a(2). Let m = d - -24. Does 7 divide m?
True
Suppose u + 767 = 4*g, 3*g + 0*g = 2*u + 579. Does 12 divide g?
False
Let v(t) = t**3 - 1. Let c(g) = 3*g**3 + 2*g + 2. Let r(f) = -c(f) - v(f). Let l be r(-1). Suppose l*j = 301 - 41. Is j a multiple of 19?
False
Suppose -f + 2*f - 3 = 0. Suppose 0 = 2*i + f*i - 295. Does 15 divide i?
False
Let s(c) = 16*c**3 + 2*c**2 - 1. Let h be s(2). Suppose 5*l - v - h = -6*v, 4*l - 5*v - 126 = 0. Does 15 divide l?
False
Let x be 1/(-9) + (-2440)/(-90). Let r = -23 + x. Is r even?
True
Let j(a) = -a**3 - 6*a**2 + 6*a - 4. Let b be j(-7). Suppose 135 = b*n + 15. Is n a multiple of 20?
True
Let l = 8 + -11. Does 12 divide (-1)/(l + (-68)/(-23))?
False
Suppose -2*l - 98 = g - 521, -2*l = 5*g - 435. Is l a multiple of 35?
True
Let t = -2 - -4. Suppose t*l - 4 = -2*n - 0, 5*n - 4*l - 37 = 0. Suppose 84 = n*f - f. Does 7 divide f?
True
Suppose 4*n - 16 = 4*w, -3*n + 2*w + 9 = -0*w. Suppose 0 = -y + n + 11. Does 12 divide y?
True
Suppose 0 = -3*u + 9 + 264. Is 22 a factor of u?
False
Let x(l) = l**2 - 3*l - 5. Let h be x(5). Is 2 a factor of h + (-4 - (-3 - -2))?
True
Let x be (1 - 0)*(3 - 1). Does 10 divide ((-165)/10)/((-1)/x)?
False
Suppose 3*l - 102 = l. Is l a multiple of 17?
True
Suppose -2*s + 5 = 3*z, 2*s + 5 = s. Let f = 2 - 2. Suppose f*y + z*y = 230. Is 16 a factor of y?
False
Let z = 426 + -252. Is z a multiple of 29?
True
Let t be 3*(2 - 30/9). Is t/6*(-45)/6 a multiple of 5?
True
Suppose -5*l = -6*r + 2*r - 149, 5*l = 25. Let y = -11 - r. Is y a multiple of 10?
True
Let j(q) = -q**2 - q. Let d be j(0). Suppose 4*g = 9 + 11. Suppose 2*k = g*t + 36, 3*k - 54 = -d*k - t. Is k a multiple of 15?
False
Let u(s) be the second derivative of -s**6/120 + s**5/60 - s**4/24 + 7*s**3/6 - s**2 + s. Let p(f) be the first derivative of u(f). Does 7 divide p(0)?
True
Is 4 a factor of (0 + -2)*(-44)/8?
False
Let n = -8 - -10. Suppose 6 = 3*c + 18, 2*t = -n*c - 12. Is 5 a factor of (6 - t/(-2)) + 0?
True
Suppose 176 + 130 = 3*p. Is 34 a factor of p?
True
Is 23*(-26)/(-22) - 36/198 a multiple of 9?
True
Let o be 6/9*3/(-2). Let h be (o*(1 + 14))/1. Is 13 a factor of 4 - h - -1*1?
False
Suppose -2*q = 3*f - 9, 0 = -2*q - f + 4*f + 3. Suppose -q*b + b + 64 = 0. Is 16 a factor of b?
True
Let u = -39 - -75. Does 18 divide u?
True
Let y(n) = -44*n**3 + 3*n**2 + n - 2. Is y(-1) a multiple of 5?
False
Let r = 16 + -6. Let x be (-4)/r - (-537)/5. Suppose -3*v - 26 = -x. Is v a multiple of 13?
False
Suppose 2*h = 2*c + 7*h, h = 4*c. Suppose b + 0*b - 37 = c. Does 12 divide b?
False
Suppose 0 = 6*p - 4*p - 4. Suppose 3*v = -k + 26, 1 = -3*k + p*k. Does 3 divide v?
True
Suppose 13*r - 1626 = 740. Is 14 a factor of r?
True
Does 41 divide (-4 - (-408)/4) + 3?
False
Let a be (-14)/(-3) - 8/(-24). Let n(l) = l**3 - 4*l**2 - l + 4. Is 13 a factor of n(a)?
False
Suppose -4*u + 7 = 3. Does 4 divide (20/u)/(0 - -2)?
False
Is 27/6*(-6)/(-9) a multiple of 2?
False
Let o(u) = 8*u - 21*u + u**2 + 20*u. Is 4 a factor of o(-8)?
True
Suppose 4*j + 1 - 17 = 0. Suppose -140 = -j*t - 12. Does 17 divide t?
False
Let c = -371 - -701. Is 15 a factor of c?
True
Suppose -1 + 9 = -4*j. Let d be (0 - 2 - j) + 76. Let s = d + -47. Is s a multiple of 12?
False
Let v = 3 - -4. Let f(l) = -2 - 5*l + 0 - v*l**2 - 2 - l**3. Does 13 divide f(-7)?
False
Let y(i) = i**3 + 2*i**2 - 3*i + 2. Let a be y(-3). Let s be (2 - 2)/((-2)/a). Suppose -5*l + 126 = -f + 3*f, l + 4*f - 36 = s. Is 12 a factor of l?
True
Suppose -3*b = -3*n + 27, 2*n - 4*b - 21 = n. Suppose u + 14 - 58 = n*l, -88 = -2*u - l. Suppose 5*p - u + 19 = 0. Does 5 divide p?
True
Let y(o) = -o + 5. Is y(-4) a multiple of 9?
True
Let t = 90 - 52. Is t a multiple of 15?
False
Let a be (-21)/(-12) - 3/4. Is -3 + a/((-1)/(-13)) a multiple of 7?
False
Let c be ((-6)/18)/((-1)/18). Suppose -3*y - 84 = -c*y. Is 14 a factor of y?
True
Suppose 20 = 10*c - 8*c. Let o(q) = q + 9. Let t(y) = -1. Let g(b) = o(b) - 5*t(b). Is 8 a factor of g(c)?
True
Suppose k - 16 = 4*y, 3*y + 4*k - 3 = k. Let i = y + 14. Suppose -4*o + 67 = i. Is o a multiple of 5?
False
Suppose 5 = 5*a - w, 4*a + 2*w + 11 = 1. Let l(v) = v**3 - v**2 - v - 2. Let g be l(2). Suppose a*j - j + 8 = g. Is j a multiple of 4?
True
Suppose 0 = -0*u - u + 51. Does 17 divide u?
True
Suppose 4*c = -t - 9, -c + 2*c - 5*t = 24. Let g be (3/15 + c)*-5. Suppose -4*p = p - g*d - 92, 1 = p + 5*d. Does 8 divide p?
True
Let v(u) = -u**2 - 8*u - 9. Let h be v(-6). Suppose -a - 72 = -h*a. Is 12 a factor of a?
True
Let j(p) = p**2 + 27*p + 86. Does 6 divide j(-25)?
True
Let k = -43 - -63. Does 10 divide k?
True
Suppose -a - 3*l + 11 = 0, 4*l + 2 + 15 = 5*a. Suppose g + 0*g = a*v - 55, -2*g + 70 = 5*v. Does 12 divide v?
True
Suppose 4*s - 7*s + 9 = 0. Suppose -s*a = -a - 24. Is 4 a factor of a?
True
Let o = 84 - 17. Is o a multiple of 18?
False
Let k = -11 + 8. Let l be 4/k*(-12)/8. Suppose l*z = 4*z - 36. Is z a multiple of 9?
True
Let x = 83 + 45. Is 36 a factor of x?
False
Suppose 18 = 3*d - 27. Is 3 a factor of d?
True
Suppose -206 = -4*p - 2*a, -113 = -2*p + 3*a - 6*a. Is p a multiple of 9?
False
Let l be 5/((-2)/22 - 0). Let b = 121 + l. Does 22 divide b?
True
Let q be (2/(-4))/(1/12). Let z be (-75)/9 - (-4)/q. Does 12 divide ((-32)/6)/(2/z)?
True
Let c = 248 + -32. Is c a multiple of 36?
True
Suppose -2*i + 4*w + 130 = 8*w, -4*w + 240 = 4*i. Is i a multiple of 11?
True
Let y(k) = -3*k**3 - 4*k - 3. Is 7 a factor of y(-2)?
False
Suppose m - 3*m + 22 = 2*n, 0 = 3*n + 4*m - 32. Suppose 6*o - 7*o + n = 0. Is o a multiple of 8?
False
Let x(z) = 2*z**2 + 3*z - 2. Is 4 a factor of x(2)?
True
Let n(f) = 2*f**3 + 3*f**2 - 6*f + 8. Is 40 a factor of n(4)?
True
Let y(m) = -m + 14. Let o = 7 + -7. Does 7 divide y(o)?
True
Suppose -5*d + 8 + 2 = 0. Suppose -2 - d = -2*b. Suppose n + j = 4, 0 = n + 3*n + b*j - 20. Does 4 divide n?
False
Let v(b) = 2*b**2 + 8*b + 4. Let y be v(-5). Is 18 a factor of -3*(-7)/(y/12)?
True
Suppose -4*k + 39 = 5*m, m + 4 = k + 1. Suppose -a - 48 - k = 0. Let o = -35 - a. Is 13 a factor of o?
False
Suppose 2*u - 4 = u. Let i be 8/u*(2 - -20). Suppose -3*a + i = 4*y, 4*a - 24 = -2*y + 2*a. Is y a multiple of 6?
False
Is 16 a factor of (-26)/(-117) + (-554)/(-18)?
False
Suppose 3*j - 12 = -0*j, 4*t = -4*j + 52. Does 9 divide t?
True
Suppose 2*g + 3 = m - 52, 5*m - g - 275 = 0. Does 10 divide m?
False
Let w(y) = 4*y - 6. Suppose -20 - 5 = -5*t. Suppose t*h - 12 = 2*h. Does 5 divide w(h)?
True
Is (-5)/(5/101)*-1 a multiple of 33?
False
Suppose 353 = 8*f - 367. Is f a multiple of 30?
True
Let o(y) = y**3 - 13*y**2 + 15*y + 4. Let r be 1 - -2 - (-9)/1. Does 20 divide o(r)?
True
Does 51 divide (9/(-6))/(2/(-340))?
True
Let l = -48 + 69. Does 6 divide l?
False
Suppose 0 = 77*n - 72*n - 185. Does 19 divide n?
False
Suppose -6*m = 84 - 480. Is 6 a factor of m?
True
Let r(h) = -h**2 - 11*h - 12. Let p be r(-12). Let w = p - -42. Is w a multiple of 9?
True
Let g(u) be the second derivative of -u**5/20 + 5*u**4/12 + 2*u**3/3 - u**2/2 + 3*u. Is 8 a factor of g(5)?
False
Suppose 46 = 2*v - 24. Suppose v = d - 4*l, -2*l + 20 = -2*d + 78. Let q = d - 15. Is q a multiple of 12?
True
Let n be 4 - 0*(0 + 1). Is (-1756)/(-36) + n/18 a multiple of 22?
False
Suppose 3*c + 12 = 0, 0*v + 2*c + 374 = 2*v. Is v a multiple of 19