. Is w a multiple of 24?
True
Suppose 140 = 4*k - 364. Does 42 divide k?
True
Let w(f) = 2*f**3 + 4*f**2 + 2*f + 4. Let n be w(-3). Let j = n - -27. Is 7 a factor of j?
True
Let m(x) = -x**3 + 7*x**2 + x + 1. Let t be m(7). Suppose -10 = q - 2*s, t + 7 = 3*q + 3*s. Suppose q*c + c - 31 = 0. Is 11 a factor of c?
False
Suppose c - 5*b = -c + 9, 5*c = -5*b + 5. Suppose -72 = c*x - 4*x. Is 12 a factor of x?
True
Let v = 174 + -90. Is v a multiple of 28?
True
Let j(w) = -178*w**3 - 3*w - 3. Is 23 a factor of j(-1)?
False
Let y be 6/(-3)*4*-1. Let a = 8 - y. Suppose a = 5*g + 110 - 265. Does 17 divide g?
False
Suppose 0 = 3*d - 7 - 5. Suppose 4*a - 204 = -d*x - x, 5*a - 68 = -2*x. Let u = -25 + x. Is u a multiple of 19?
True
Suppose -2*l - 7 = -49. Is l a multiple of 14?
False
Suppose 3*f + 2*y - 25 = -0*y, -2*y = 4*f - 32. Suppose -s + f*s = 60. Is 2 a factor of s?
True
Let z(i) = 3*i**2 + 2*i + 5. Let l be (0 + (-8)/12)*6. Is z(l) a multiple of 10?
False
Let o be (-4)/6 - (-16)/6. Suppose -29 = -z + 3*d, 0*z = -2*z - o*d + 50. Does 10 divide z?
False
Is 8 a factor of 126/8 + (13/4 - 3)?
True
Suppose 4*c - 6 + 2 = 0. Let n(u) = 4*u**3 + 2*u**2 - u**3 + 5*u**3 - u**3 - c. Is n(1) a multiple of 4?
True
Suppose 2*r + 68 = 4*x - 222, x - 71 = -r. Suppose 0*m + 4 = m, x = 4*o + 3*m. Is o a multiple of 4?
False
Let v(c) = -2*c - 8. Suppose -u = f - 4*u - 6, 0 = -2*u - 8. Let y be v(f). Suppose -y*w = -179 + 55. Does 13 divide w?
False
Let c be (4/5)/((-2)/(-5)). Suppose 9 = c*t + t. Suppose -5*y + y = 3*f - 152, t*y - 114 = -2*f. Is y a multiple of 11?
False
Let y(u) = 21*u. Does 15 divide y(5)?
True
Let u = -7 - -15. Is u a multiple of 2?
True
Let x(y) = 8*y. Is x(1) a multiple of 4?
True
Let b be 297/(-12) + (-6)/(-8). Let c = -2 - b. Let q = c + -2. Is 10 a factor of q?
True
Let m = 8 + -12. Let s be ((-3)/(-3) - m) + 1. Let y = s - -3. Is y a multiple of 9?
True
Suppose -4 = -3*r + 50. Suppose -5*t + 3*c + 27 = 4*c, 0 = 5*t + 4*c - r. Suppose -l + 30 = 2*h, 3*l + 2*h = t*h + 80. Does 20 divide l?
False
Let m(n) = n**2 + 2*n - 2. Let g = 5 - 5. Suppose -r + 2*y + 4 = 0, g = 3*r - y - 1 - 6. Is 3 a factor of m(r)?
True
Let u(t) = -t**2 + 13*t - 6. Let m be u(9). Suppose -z = -0*z - m. Is z a multiple of 10?
True
Let g(y) = y + y - y**3 - 1 + 6*y**3. Let o be g(1). Suppose -o = -v + 3. Does 5 divide v?
False
Let n = -165 - -244. Does 11 divide n?
False
Does 12 divide (4 - 7)*(-1 - (-2 - -5))?
True
Suppose -3*l - 24 = -3*n, -2*n - 4*l = -0*l - 4. Is n a multiple of 4?
False
Let d(m) = -m**3 - 5*m**2 - m + 3. Let t be d(-5). Let j = 34 - t. Is 26 a factor of j?
True
Suppose 5*h = i - 0 + 1, -5*i + 17 = -3*h. Suppose -16 = 5*b + 3*n - 62, -i*b + 38 = 3*n. Is b a multiple of 5?
False
Let x = 17 - -67. Does 28 divide x?
True
Let q = -3 + 4. Let d = 37 - q. Is 16 a factor of d?
False
Suppose 1265 = 5*x - 5*j, -x + j - 1027 = -5*x. Suppose -5*r + 370 = 5*u, -r - 4*u - x = -5*r. Let f = r + -41. Does 18 divide f?
False
Is (-5)/2*(-1224)/90 a multiple of 10?
False
Let h be (-2)/1 - -2 - 5. Is 7 a factor of ((-7)/3)/(h/45)?
True
Let u(y) = -5*y - 108. Is u(-26) a multiple of 4?
False
Let t(a) = a**2 - 13*a. Is 18 a factor of t(17)?
False
Is 29 a factor of 43902/189 - 1/((-14)/(-4))?
True
Let o(p) be the second derivative of 4*p**5/5 + p**2/2 - p. Let y = 25 + -24. Is 17 a factor of o(y)?
True
Let i = 6 + -2. Suppose -i*w + 2*w + 54 = 0. Is w a multiple of 20?
False
Let i(z) = -49*z - 1. Let s be i(-4). Suppose l = -4*l + s. Is l a multiple of 13?
True
Let i = 24 + -19. Suppose -2*m = -5*l - 32, 5*l = -m + 41 + i. Is 26 a factor of m?
True
Let m(k) = 6*k**2 - 3*k. Is 28 a factor of m(4)?
True
Let m(s) = 75*s + 10. Is 20 a factor of m(2)?
True
Suppose 0 = -2*k + 2*y - 6, 2*y = -2*y + 20. Suppose 16 = 2*i + k. Is i a multiple of 4?
False
Let m be 1/(-2 + 10/4). Suppose w - 1 = m. Suppose 9 = d + y, -w*d = 2*y - 4 - 26. Does 10 divide d?
False
Let b(p) = -p**2 - 22*p + 5. Is b(-10) a multiple of 10?
False
Let f = 13 + -6. Let i = -15 + f. Let r = i + 13. Does 4 divide r?
False
Suppose 0 = 4*u - 69 - 79. Does 13 divide u?
False
Let u be (-2)/9 + (-178)/9. Let p = u + 55. Is 10 a factor of p?
False
Let r(u) = 6*u**3 + 11*u**2 - 7*u**3 - 4*u**2. Is 15 a factor of r(6)?
False
Let r(x) = 0*x**2 - 2 - 2*x**2 + x**2 + 6*x**2. Is r(-2) a multiple of 6?
True
Let m = 26 + -21. Let k be (0 - 2)*-1 + 37. Suppose 5*z + 4*a = k, -3*a - 51 = -m*z - 4*a. Does 11 divide z?
True
Suppose r + 3*r + 21 = 3*i, 2*r + 9 = i. Suppose i*o - 143 = -56. Is o a multiple of 16?
False
Is ((-5)/(-2))/((-2)/(-20)) a multiple of 25?
True
Let y(l) = l**2 - 3*l - 8. Is 5 a factor of y(6)?
True
Let h(b) be the first derivative of 11*b**3 + b**2/2 - b + 3. Is 19 a factor of h(1)?
False
Suppose 3*s = -2*s - 175. Let z = -18 - s. Does 17 divide z?
True
Let i be 2/10 - 6/30. Suppose 0 = -2*s + 10, 4*d + 0*s - 4*s + 4 = i. Suppose -5*z + 5*r + 20 = 0, 8*r = -d*z + 4*r + 24. Is 5 a factor of z?
True
Let u = -14 - -34. Is 8 a factor of u?
False
Suppose 0 = 2*w - 32 - 28. Is 15 a factor of w?
True
Does 11 divide (484/6 - 0)*6/4?
True
Let u be 6/9 + 385/3. Let z = u + -92. Does 14 divide z?
False
Is -2 - 20/(-4) - -85 a multiple of 11?
True
Suppose 4*c - 3*m = -0*m + 114, 0 = -3*m - 6. Is c a multiple of 27?
True
Suppose 5*x + q = 6*q - 5, -3*q = -15. Suppose 3*g + 2 + x = 0. Let r = 6 - g. Is r a multiple of 8?
True
Let x(j) be the second derivative of -j**4/12 + j**3/2 + 2*j. Let b be x(2). Does 3 divide ((-25)/b)/(-5)*2?
False
Let b(h) = -h**2 + 12*h + 5. Suppose 4 = -t + 3*i + 9, 4*i = 8. Does 5 divide b(t)?
False
Let f(r) = r**2 - 6*r - 2. Is 23 a factor of f(13)?
False
Suppose -5*c - s = -3, s + 2 = 5. Suppose z - 23 - 12 = c. Is z a multiple of 9?
False
Let h(f) = -16*f**3 + f**2 + f + 1. Let b be h(-1). Suppose 0 = -2*i - 3*m + m + 38, -3*i + 5*m + b = 0. Is i a multiple of 6?
False
Let q be 4/14 + 36/21. Suppose z = q*z + 2*c - 10, -3*z - 2*c + 14 = 0. Is z a multiple of 2?
True
Let f be (-57)/4 + 2/8. Let z be (78/(-8))/(3/(-8)). Let l = f + z. Is l a multiple of 12?
True
Let r = 17 - 12. Suppose 360 = r*n + 35. Is 13 a factor of 6/15*1*n?
True
Let x(b) be the first derivative of -2*b**2 + 2*b + 2. Let h be x(-9). Suppose 2*c = -0*c + h. Is 10 a factor of c?
False
Let s = -12 - 15. Is 6/27 - 291/s a multiple of 3?
False
Is 5/((-10)/(-6)) - 1 even?
True
Suppose 1 = -2*o + 4*g + 9, -2*o - 4*g = 0. Is 2 a factor of o?
True
Let k(n) = 6*n**3 + 46*n**2 - 40*n + 31. Let d(t) = t**3 + 9*t**2 - 8*t + 6. Let p(i) = -11*d(i) + 2*k(i). Is p(6) a multiple of 8?
True
Let b = -14 - -18. Suppose -2*q - 2*q = -b*l - 36, -5*q = -l - 25. Is 2 a factor of q?
True
Let r = 6 - 3. Suppose 4*f - r*b - 10 + 64 = 0, 3*b = 5*f + 69. Let h = 22 + f. Is 7 a factor of h?
True
Let z be (0 - -23) + 1/(-1). Suppose -3*d + 106 = -5*t, 5*t + 90 + 90 = 5*d. Let y = d - z. Is 11 a factor of y?
False
Let j(l) = l**2 - 1. Let o be j(1). Suppose o = q - 1 - 2. Suppose q*v - 2 - 43 = 0. Is v a multiple of 12?
False
Let h be (-3 - -4) + 1 + 5. Suppose 7*s + h = 182. Is 10 a factor of s?
False
Let j be ((-3)/(-3))/2*-4. Let m(z) = -8*z**3 - 3*z**2 - 2*z. Let u be m(j). Suppose -u = -2*d - 4*k, -5*k = -d - 0*d + 21. Does 10 divide d?
False
Is 5 a factor of (-30)/(-4) - 17/34?
False
Let o(v) = -v**2 + 12*v + 14. Let c be o(11). Let z = c - 13. Does 12 divide z?
True
Let l(u) = u**3 + 11*u**2 + 12*u - 13. Let z be l(-9). Suppose 5*p = n - 45, -5*n + z + 54 = p. Is n a multiple of 15?
False
Suppose 0 = -3*s + 2*l + 5 + 4, -5*l = -15. Is s a multiple of 2?
False
Let u(h) = h**3 - h**2 - h + 4. Is 6 a factor of u(3)?
False
Does 15 divide -1 + 60 - -1 - 0?
True
Let v be -1 + (0 - 1*-2). Let h be (-1 + 1)*v/(-2). Is 10 a factor of 0 - (-28 - (h - 2))?
False
Let u(p) = 17*p**2 - 4*p - 1. Is u(-2) a multiple of 25?
True
Suppose p = 3*p - 14. Let s(x) = -x**2 + 7*x. Let l be s(p). Suppose l = d - 6 - 3. Is d a multiple of 9?
True
Let q be 1*1/(1 - 0). Suppose -4*p + 6 = -p. Suppose -x + 2*x + q = p*j, 0 = -x - 4*j + 11. Is x a multiple of 3?
True
Let u(r) = -r**2 - 4*r + 7. Let j be u(-5). Suppose -h = -47 + j. Let k = 79 - h. Is 13 a factor of k?
False
Let u = -3 + 5. Suppose -u = -2*c + 10. Is (-1)/c - (-536)/48 a multiple of 4?
False
Suppose -2*i