 - 0 - 4. Suppose j + i = 5*j, -m + j = -9. Is 5 a factor of m?
True
Is (-4)/18 - (-2 - (-1896)/(-27)) a multiple of 10?
False
Suppose 0 = w - 3 - 3. Let z(t) = -t**3 + 5*t**2 + 9*t - 2. Is 4 a factor of z(w)?
True
Let h(x) = x**3 - 7*x**2 + 2*x - 7. Let l be h(7). Suppose l*t = 2*t - 60. Is 3 a factor of (1/2)/((-1)/t)?
True
Let m = 121 - 70. Suppose 5*g - m = 4. Is 11 a factor of g?
True
Is 50 - (-2)/(-1) - -1 a multiple of 5?
False
Suppose -23 = -5*s + 12. Let l = 55 - 25. Suppose s*v - l = 2*v. Is v a multiple of 3?
True
Let c(r) = r - 6*r + 7*r - 3 - 4. Let k be c(6). Suppose 5*m = 2*m + k*z + 10, 4*m + z = 21. Is 2 a factor of m?
False
Let g = 30 - -42. Let b be g/20 - 2/(-5). Let u(k) = -k**3 + 6*k**2 + 3*k - 4. Is u(b) a multiple of 20?
True
Let a(q) = q**2 + 4*q + 3. Let n be a(-4). Suppose f = 3*p + n*f + 9, 4*f + 12 = 0. Let b(m) = -12*m**3 - m**2 + 1. Is b(p) a multiple of 12?
True
Let p = 41 + -23. Is 3 a factor of p?
True
Does 20 divide (1 + 1)/((39/(-450))/(-13))?
True
Suppose -g + 260 = 2*b, -16*g = 3*b - 11*g - 376. Is b a multiple of 33?
True
Let q(h) = -h**3 - 7*h**2 - h - 2. Is 2 a factor of q(-7)?
False
Let j(i) = 2*i**2 + 9. Is 13 a factor of j(-5)?
False
Let q(s) = 3*s - 2. Let x be q(-3). Let c = x - -19. Is c a multiple of 8?
True
Let t(n) = 6*n**2 - 3*n + 3. Does 3 divide t(2)?
True
Let u be (-2)/1 - -2 - -31. Let c = 0 + u. Does 8 divide c?
False
Let d(t) = -8*t - 10. Let r(p) = 4*p + 5. Let l(h) = 6*d(h) + 13*r(h). Is 10 a factor of l(4)?
False
Is 34 a factor of ((-128)/(-80))/(86/85 - 1)?
True
Suppose b + 3*b + 67 = 5*o, -2*o = -b - 25. Suppose o = -l + 36. Is l a multiple of 9?
False
Let g be 0 - 1 - -1 - 1. Let t = -17 - g. Let z = t - -31. Is 13 a factor of z?
False
Let l = 7 - 4. Suppose 9 + 0 = l*n. Suppose -n*d + 39 = -2*d. Is 14 a factor of d?
False
Let p(o) = o**3 + 4*o**2 - 6*o + 7. Let v be 2/(-8) + (-39)/(-12). Suppose 3*w - 2 = -a - 4, v*w = 3. Is p(a) a multiple of 10?
False
Let z(x) = 29*x - 1. Let q be z(2). Does 23 divide ((-874)/q)/((-1)/3)?
True
Suppose -5*z - 2*b = -27 + 4, -28 = -4*z - 4*b. Suppose -4*o = -z - 49. Does 13 divide o?
True
Suppose -p - 15 = -4*p. Suppose 3*v + 3*f = 9, 2*v = p*f + 3 + 10. Is ((-6)/v)/((-1)/2) even?
False
Suppose -5*w + 33 = -0*u - 2*u, -3*u = -3*w + 27. Suppose -6 = -w*r - 1. Suppose -8 + r = -y. Does 7 divide y?
True
Suppose -15 = -4*l - p, 3*l + 5*p - 27 = -3. Suppose w + 2 = 0, l*w - 13 = -y + 2*w. Is 15 a factor of y?
True
Suppose -3*d - 2*d = -10. Suppose 0 = 5*z - 5*p, -6 = 4*z - 5*p - d. Does 2 divide z?
True
Suppose 0 = d + 7 - 3. Let h(a) = a**3 + 4*a**2 - 4*a - 1. Does 9 divide h(d)?
False
Let t be 1/(-3)*(4 + 5). Is 9 a factor of 1 + -1 + (15 - t)?
True
Let q = 31 + -5. Does 8 divide q?
False
Let s = 12 + -10. Does 7 divide 19/s - 1/(-2)?
False
Suppose 32 = p - i + 8, 0 = -2*p - 3*i + 33. Suppose v + 9 = -g + 5*v, 0 = -g - 2*v + p. Is 11 a factor of g?
True
Suppose 0 = -3*x - 4*f + 2, x = -0*x - 5*f + 8. Let t be -4*21 - (2 + x). Let c = 151 + t. Does 24 divide c?
False
Suppose 4*u - 19 + 3 = 0. Suppose 2*r + 10 = 0, -4*g + 5*r = u*r - 65. Suppose 3*n - g = 39. Is 9 a factor of n?
True
Let x(t) = t**3 - 20*t**2 + 19*t + 8. Does 3 divide x(19)?
False
Let c(k) = k**2 + 6*k + 10. Let h be 6*(0 + (-2)/(-3)). Suppose 18 = -h*x - 0*x + 2*n, -2*n = 10. Is 17 a factor of c(x)?
True
Suppose -2*j - j - 21 = 0. Let y(i) = -6*i + 6. Is y(j) a multiple of 24?
True
Let w = -120 - -197. Let h = -43 + w. Is h a multiple of 17?
True
Let y be 1 + (2 - (15 + -2)). Let q(i) = -i. Let f(r) = -r + 12. Let a(u) = -f(u) + 4*q(u). Is a(y) a multiple of 14?
False
Let g(v) = -2*v + 7. Let s = -7 + -3. Is 9 a factor of g(s)?
True
Suppose 5 + 5 = 5*z. Suppose -z*n + n + 16 = 0. Let d = n + -8. Does 3 divide d?
False
Suppose -2*d + 2 = -2. Let g = 16 - 11. Suppose -w + d*v = -4*w + 65, -g*v = 10. Is w a multiple of 14?
False
Let g(c) = -c**3 + 7*c**2 + 9*c - 8. Let i be g(8). Suppose -2*p - 15 - 33 = i. Is 3 a factor of (p/9)/((-4)/6)?
False
Let o(h) = -62*h + 4. Let l be o(-3). Suppose -z = 4*z - l. Is 14 a factor of z?
False
Let n(o) = -o**2 - 16*o + 11. Is 25 a factor of n(-13)?
True
Let c(k) = k**2 - k - 4. Does 3 divide c(-5)?
False
Let t = -2 - -11. Suppose 4*a + 1 = t. Suppose -a*l + 26 = -18. Is 11 a factor of l?
True
Suppose -2*z - v + 10 = -0, -4*z + 8 = -v. Let i = 37 + -26. Suppose g + 116 + i = 5*p, 121 = 5*p - z*g. Does 13 divide p?
True
Let b(c) = 28*c**3 - c**2 + c - 1. Let k be b(1). Is 9 a factor of (-1 + 5/3)*k?
True
Let z be (-92)/6*(-3)/2. Suppose n + 4*v - z = 8*v, 4*v = -4*n + 52. Is n a multiple of 15?
True
Does 22 divide (((-268)/(-3))/(-2))/(6/(-18))?
False
Let n(j) = 20*j**3 - 2*j**2 + j - 4. Is n(2) a multiple of 17?
False
Let u be 3*(2 - 4/6). Suppose 78 = -3*n + 204. Is n/u*(-2)/(-1) a multiple of 9?
False
Let s = -236 + 332. Does 32 divide s?
True
Let i(c) = -c - 10. Let n(u) = 2*u + 20. Let y(h) = 5*i(h) + 3*n(h). Is y(0) a multiple of 3?
False
Let k be 2360/88 - (-2)/11. Suppose -2*i + k + 65 = s, 2*i = 3*s + 100. Does 19 divide i?
False
Suppose 4*m + 5*d = 1407 - 124, -4*d + 329 = m. Is 47 a factor of m?
False
Suppose 37*z = 39*z - 274. Is 15 a factor of z?
False
Suppose 740 = 4*w - 4*i, -3*i - 201 = -w + 2*i. Is 25 a factor of w?
False
Let d = 75 - 35. Is d a multiple of 18?
False
Suppose 3*c + 3 = 9. Is c even?
True
Let m(l) = l**3 - 6*l**2 + 17*l + 3. Does 15 divide m(6)?
True
Let w = -18 - -6. Does 3 divide w/15*(-75)/6?
False
Is 5 a factor of (-50 + -2)*(-2)/4?
False
Suppose l = 6*l - 15. Suppose -l*y = -0*y + 2*m + 7, -4*y - 11 = 3*m. Is -2*y/(-4)*34 a multiple of 16?
False
Let k(s) = -20*s. Let i be k(-3). Let u = i + -36. Let j = u - 0. Is j a multiple of 11?
False
Let o be (5 - -3)/(4/10). Suppose 80 - o = 4*b. Is b a multiple of 6?
False
Let y be (-2788)/(-12) + 3/(-9). Suppose 0 = -5*v - 17 + y. Is 15 a factor of v?
False
Suppose 0 = 3*w + 6 - 33. Is w a multiple of 9?
True
Let y be 20*-1*45/(-30). Is ((-19)/(-2))/(15/y) a multiple of 19?
True
Suppose 42 = q + 2*q. Let i = 41 - q. Does 9 divide i?
True
Suppose 3*w = -2*u + 7, 5*u - u = -w + 9. Let l be (1 + -1)/u - -47. Suppose -31 = -3*b - 4*g, 5*b - l = -3*g - 10. Is 4 a factor of b?
False
Let t(b) = 15*b + 12. Let j be t(13). Let q = j - 137. Is q a multiple of 19?
False
Suppose t - 2*t = -4. Suppose 3*g + t - 1 = -3*k, 0 = 3*k - 2*g - 17. Is 8 a factor of -2*(4*-3 - k)?
False
Let y = -21 + 40. Let q = y - -1. Does 10 divide q?
True
Suppose 5*b - 7 = 4*o - 5*o, 4*o + 14 = b. Suppose -9 = -4*f + 19. Suppose -b*p + 11 = -f. Is p a multiple of 4?
False
Suppose -n + 5 = -0*n. Suppose -3*h + 5*x - 28 = 3*x, -n*h + x = 35. Is (-194)/(-6) - h/9 a multiple of 14?
False
Suppose 56 = -5*d + 526. Is d a multiple of 16?
False
Suppose 5*b - 23 = 137. Is b a multiple of 8?
True
Suppose 0 = -3*d + 4*r + 706, 0 = 2*d - 0*d - r - 469. Is d a multiple of 10?
False
Suppose -2*x - 3*l + 19 = -0*x, -15 = -3*l. Suppose 14 = x*y + 2. Suppose -3*v = -y, -k + 4*v = 2*k - 46. Is k a multiple of 6?
True
Suppose -4*u - 4*i + 32 = 0, 3*i + 13 = 5*u - i. Suppose z - u*g + 10 = 4*z, 0 = -2*z + 4*g - 8. Suppose 3*p = -2 - 4, 2*y - 4*p - 46 = z. Is y a multiple of 8?
False
Is (48/(-9))/((-8)/60) a multiple of 16?
False
Suppose -4*b = 10*m - 5*m - 472, 3*m + 2*b - 282 = 0. Is m a multiple of 23?
True
Does 5 divide 1 - (-7 + -2) - -2?
False
Let r be (-4)/(-14) - 95/(-35). Suppose -4*j - 2*z - 1 + 45 = 0, 36 = 3*j + r*z. Does 6 divide j?
False
Suppose -1 = -s + 1. Suppose -s*v = -6*v + 240. Is 30 a factor of v?
True
Let l(t) = -2*t + 9. Is l(0) a multiple of 9?
True
Suppose 85 = 5*m + 5*w, -4*m - w + 83 = -2*w. Is 5 a factor of m?
True
Let l(f) = -f + 3. Let u be l(4). Let m be (-1 - (-3 - -2))/u. Suppose -z + 36 = -m*z. Does 18 divide z?
True
Let h = 40 - 36. Is 2 a factor of h?
True
Let s = 169 + -85. Is 12 a factor of s?
True
Suppose 0 = 5*h - 80 - 10. Does 9 divide h?
True
Suppose k - 2*k = -30. Suppose k = 3*p + c, 2*p + 2 = -2*c + 18. Suppose -4*h = -5*h + p. Is 6 a factor of h?
False
Let t(s) = -s**3 - 12*s**2 - 10*s + 15. Let z be t(-11). Suppose 0 = -2*a - r - 4, a + a - z = -3*r. Is (-2 - a)/((-5)/(-45)) a multiple of 12?
False
Does 52 divide 132/8*(7 - -1)?
False
Suppose -a + 10 = -2*j - 37, -4*j = -4*a + 