- 651 = 0. Does 17 divide l?
False
Suppose -2*o - 6*j + 3*j = -534, 5*o - j = 1335. Does 9 divide 6/4 - o/(-6)?
False
Is 26 a factor of (-3)/9 + 157/3?
True
Let x = -2 - -2. Let t be (-6 - (2 - 1)) + x. Let f(b) = -b**2 - 7*b + 4. Is 4 a factor of f(t)?
True
Suppose -3*w = 5*t - 20, 4*t = -3*w + 7 + 15. Is 17 a factor of 4*(w + 3 + 1)?
False
Let l = 12 + -7. Suppose 0 = -3*d + l*s - 56, -2*s + 24 = -4*d - 32. Is 3 a factor of (d/10)/(6/(-45))?
True
Let i be 9 - 1/(-2)*-2. Let w(q) = q. Let a be w(1). Let z = i + a. Is z a multiple of 4?
False
Let b(z) = -z**3 - 5*z**2 - 2*z + 4. Let d be b(-4). Suppose -5*g + 30 = 3*l - 35, 2*g - 40 = -4*l. Let c = g - d. Does 7 divide c?
True
Suppose -3*c = -6*c + 111. Let b = -24 + c. Suppose -b = -2*l - 1. Is l a multiple of 3?
True
Suppose -3*r = -4*b - 22 - 16, -4*r + 4*b = -52. Does 14 divide r?
True
Suppose -3*b = 3*o + 3, 0 = 5*b + 4*o + 8 - 1. Let z(n) = -n**2 - 5*n - 2. Let p be z(-5). Does 9 divide p/3 + (-80)/b?
False
Let f(j) = -j**3 - 3*j**2 + 2. Suppose 3*z - 3 = -4*n, -3*z = 5*n - z + 5. Let t be f(n). Suppose -5*g + 96 = d + 35, -2*g = t*d - 18. Does 13 divide g?
True
Suppose 0*y + 3*j = -y, 5*j = -20. Does 2 divide y?
True
Is (60/(-9) - -4)*-36 a multiple of 11?
False
Let t = -19 + 26. Is t a multiple of 2?
False
Suppose s = 3*s - 220. Suppose 5*z = j + s, 0 = -z + 2*z - 2*j - 22. Is z a multiple of 11?
True
Let j(q) = 21*q - 3. Let c be 3/2 + (-4)/(-8). Suppose -4 = c*i + 2*i + 3*y, i + 2 = -y. Is j(i) a multiple of 13?
True
Let z(i) = 15*i**3 - i + 2. Does 10 divide z(2)?
True
Let j be (-3 - 0)/(9/24). Let r(u) = 6*u**2 - u**3 - 8 - 3*u + 2*u**2 + 2*u**3. Does 7 divide r(j)?
False
Suppose 0 = -2*u + u + 189. Let g = u + -129. Does 20 divide g?
True
Let f(t) = 2*t + t**3 - 4 - t - 2*t**3 - t**2. Let m be f(-4). Suppose 4*r = -2*g + m, r = 2*g - 0*r - 15. Is g a multiple of 5?
True
Let t(b) = -b**2 - 4*b + 7. Let h be t(-5). Let m = h - -8. Is 10 a factor of m?
True
Let x = 156 - 97. Let j = 89 - x. Is j a multiple of 8?
False
Suppose 1 - 98 = -3*m - 2*y, m + 3*y = 37. Is 12 a factor of m?
False
Suppose -5*o + 6*o = 4*g - 22, g = 4*o + 13. Let l be (o - (-7)/2)*4. Suppose 2*p = -l, -2*p - 106 = -0*m - 5*m. Is m a multiple of 10?
True
Suppose -5*u - 2*z - 50 = z, -3*u = -5*z + 30. Let x(c) = -c**2 - 16*c - 9. Is x(u) a multiple of 13?
False
Let n(b) = -6*b. Let g(h) = -h + 3. Let l be g(5). Is 12 a factor of n(l)?
True
Suppose -2*r + 6*r = -3*q + 151, -5 = r. Does 21 divide q?
False
Let j be 0/(2/2 + 1). Suppose j = 5*z - 20, -5*o + 4 = -z - 2. Does 12 divide ((-35)/10)/(o/(-12))?
False
Suppose -3*q = -4*q. Suppose -5*n + 5 = -q*n. Let v(b) = 14*b**2 - 2*b + 1. Is 12 a factor of v(n)?
False
Suppose 9*v = -v + 1520. Does 29 divide v?
False
Suppose 0 = -k + 3, k = -5*g - 0*k - 27. Let x = g + 10. Is x a multiple of 2?
True
Suppose 5*i - 6 = 9. Suppose -44 = -i*d - 5*w, -2*d = w - 13 - 7. Is d a multiple of 3?
False
Let y(n) = n - 1. Let w be y(-8). Let a = w - -21. Does 12 divide a?
True
Suppose -5*j + 0 = a - 18, -92 = -2*a + 4*j. Is a a multiple of 7?
False
Suppose -5*q + f + 37 = 0, 4*q + 5*f - 41 = 2*f. Suppose -2*r - 2 + q = 0. Suppose -m - m + r*l = -54, -l = 2*m - 38. Is m a multiple of 11?
False
Suppose 65 = -0*m + 4*m - 5*q, 15 = -3*q. Let h = m + -10. Suppose 4*z + 22 = 2*v, h = -5*v + 4*z - 3*z + 55. Does 4 divide v?
False
Suppose -6 = -2*w + 10. Let l = w - 13. Let h = l - -8. Is 3 a factor of h?
True
Suppose 7*c + 0 = 21. Does 3 divide c?
True
Suppose -11*n = -14*n + 66. Is n a multiple of 22?
True
Let i = 11 + -1. Is i even?
True
Suppose -2*h + 13 + 8 = 5*i, -2*h = 3*i - 15. Suppose -3*p = p + 3*o - h, o = 3*p + 1. Suppose 3*k + l - 16 = p, -5*l + 16 = -4*k + 3*k. Does 2 divide k?
True
Suppose 0 = -2*b - l + 64, -5*b + 4*b = 5*l - 14. Does 8 divide b?
False
Suppose -11 = -4*g - 3. Does 14 divide g/((36/112)/9)?
True
Let z(f) = -2*f - 7. Let a be z(-6). Suppose 3*m = -t + 45, -155 = -a*t - 4*m + 3*m. Is 12 a factor of t?
False
Suppose -4*i - 12*n + 7*n = -66, -38 = -2*i - 5*n. Suppose 0 = 2*v + 2*v + 28. Let f = v + i. Is 2 a factor of f?
False
Let p(s) = s**2 + 5*s + 3. Is 19 a factor of p(4)?
False
Let s be 6/(-2)*2/3. Let c(o) = 6*o**2 - 2. Is 20 a factor of c(s)?
False
Is 4 a factor of 1/(-4) - 66/(-8)?
True
Suppose -2*a - 2*a + 4 = 0. Let v(i) = 76*i**3 - i + 1. Let p be v(a). Suppose 2*o - 6 = -5*q + p, 4*q - 2*o - 62 = 0. Does 13 divide q?
False
Let r = -47 + -27. Suppose 2*u = 6*u - 416. Let b = r + u. Does 15 divide b?
True
Let a be (-2 - 0) + 4/1. Let v(t) = 2*t**2 - 7*t + 5. Let y(f) = -6*f**2 + 20*f - 14. Let c(k) = -14*v(k) - 5*y(k). Is 4 a factor of c(a)?
True
Let v be -3*(-1 - 169/3). Let k = v - 31. Suppose 2*q = -0*q + 3*u + k, 5*q - 340 = -5*u. Is 20 a factor of q?
False
Suppose 0 = -5*l + 122 + 258. Does 19 divide l?
True
Let n = -14 - -17. Suppose -3*u + 6 + n = m, -2*u - 45 = -5*m. Is m a multiple of 9?
True
Let q be ((-440)/4)/((-6)/15). Let b = q + -188. Is 31 a factor of b?
False
Let x = 156 + -81. Suppose -4*t + x = -21. Is t a multiple of 12?
True
Let n be (14/8)/(4/16). Suppose n = -3*a + 25. Does 6 divide a?
True
Let h(c) = -4*c - 1. Let v be h(-5). Suppose -19 = 2*w - 5*s, w + 3 = 5*s - v. Suppose -5*m + 4*g = -48, 2*m = w*m - g - 9. Is m a multiple of 9?
False
Suppose r - 68 = 2. Is 14 a factor of r?
True
Is 31 a factor of (3 + 185/(-10))*22*-1?
True
Suppose i = -i + 4. Suppose 3 = -i*u - 3. Is u/(-15) - (-28)/10 even?
False
Is (-4 + (10 - 4))*7/2 even?
False
Let s(l) = l**2 - l - 12. Is 2 a factor of s(-6)?
True
Let i = 34 + -1. Suppose -2*m + 2*z - 3 = -9, z - i = -5*m. Is 6 a factor of m?
True
Let x be 4/(-8)*-2 - 6. Let s(h) = -h**3 - 3*h**2 - 2*h - 4. Let z be s(-3). Is 11/((z + x)/(-3)) a multiple of 5?
False
Let o be (-2)/6 + (-2300)/(-60). Let t = o - 25. Is 10 a factor of t?
False
Let a = -4 - -6. Suppose -2*f + 16 = a*f. Is 7 a factor of (-3 + f)/(2/14)?
True
Let o = 3 + -18. Let g be 50*(o/(-2))/5. Suppose 0*u - g = -3*u. Is 10 a factor of u?
False
Suppose 0 = -o - 7 + 23. Does 4 divide o?
True
Let x = 12 + -10. Suppose 0*r - x*r - 14 = -4*k, -2*r = 5*k - 4. Suppose 3*d - 15 = k*y, -2*y = -2*d + 3 + 7. Is 5 a factor of d?
True
Suppose 3*j = -4 + 10. Suppose 0*n = j*n - 28. Is n a multiple of 14?
True
Suppose -286 = -6*y + 98. Is y a multiple of 32?
True
Suppose -2*k = 2 - 46. Is k a multiple of 4?
False
Suppose 0 = -3*x - i - 3*i - 32, -5*i - 50 = 5*x. Let y(l) = -l - 8. Let f be y(x). Suppose t - 20 = -f*t. Is t a multiple of 20?
True
Let z(p) be the third derivative of p**6/120 - p**5/60 + 2*p**3 + 3*p**2. Let l be z(0). Let u(t) = -t + 27. Does 9 divide u(l)?
False
Suppose 0 = -3*y + 41 - 5. Is 6 a factor of y?
True
Let g = 125 + -63. Suppose -k = k - g. Does 11 divide k?
False
Let t be 3/12 + (-2)/8. Suppose -3*y = -t*y - 72. Suppose -r - 2*h + 28 = -7*h, 4*r + 2*h = y. Is r a multiple of 8?
True
Let l(s) = -s + 3. Does 3 divide l(-12)?
True
Let b(k) = -2*k - 2. Is 10 a factor of b(-11)?
True
Let i(u) = -2*u**3 - 4*u**2 - u - 3. Let y be i(-3). Let m = -6 + y. Is m a multiple of 12?
True
Suppose 2*x = -d - x + 3, 4*d = -3*x + 3. Let j = -1 - d. Does 10 divide j/(-3) + 29/3?
True
Let n = 30 - -1. Suppose -5*f = -2*k + n + 39, 0 = -k + 5*f + 25. Is k a multiple of 15?
True
Suppose 3*n - f + 2*f - 30 = 0, -n = -5*f - 26. Does 3 divide n?
False
Let m be ((-1 - -1) + 1)*1. Let c(y) = 11*y**3 + y**2 - y + 1. Does 12 divide c(m)?
True
Let y(w) be the second derivative of w**5/20 - 2*w**4/3 - w**3/3 - 2*w**2 - 3*w. Is y(9) a multiple of 21?
False
Suppose -100 = -4*f + 3*c + 178, -f + 67 = -2*c. Is f a multiple of 24?
False
Suppose 2*l + 2*f = 6*f + 68, f - 91 = -4*l. Is l a multiple of 3?
True
Suppose 5*b - b = 12. Suppose 0 = -v + 2*y + 9, 5*v - b*y = 2*y + 40. Is 10 a factor of ((-30)/7)/((-1)/v)?
True
Suppose 0 = 3*b - 5*m + 25, 0 = 5*b + 4*m - 21 + 1. Suppose b = -4*u + 2*c - 65 - 127, 0 = -2*u - 4*c - 76. Let n = -25 - u. Is 21 a factor of n?
True
Let x(f) = -f**3 + 5*f**2 - 2*f. Let p = 12 - 7. Suppose 2*k - 4*a - 16 = 0, p*k - a = -0*a + 13. Is 8 a factor of x(k)?
True
Suppose -2*r - r - 63 = -o, 5*o - 255 = 3*r. Is 11 a factor of o?
False
Let m = 18 - 14. Suppose 3*t - 276 = -m*h, 4*t - 414 = -h - 33. Is 24 a factor of t?
True
Suppos