). Is (2 + z)/((-8)/(-20)) a multiple of 20?
True
Let c(z) = 2*z**2 - 2*z + 2. Suppose -8 = 2*h - 0*h. Does 14 divide c(h)?
True
Let l(n) = 15*n**2 - n - 4. Is l(2) a multiple of 27?
True
Let c(m) = -115*m**3 + 2*m**2 + m. Let b be c(-1). Let f = b - -17. Suppose 2*v + 3*v = -3*q + f, 0 = -2*q + 2. Does 13 divide v?
True
Let x(m) = 2*m + 1. Suppose -37 = 4*d - 13. Let v be x(d). Let n = v + 18. Is n even?
False
Suppose 4*g = 2*t + 22, 13 = 2*g + 4*t - 13. Let f = 6 - g. Does 3 divide (-1)/f - (-14 - -6)?
True
Let o be 0 + 1 + 2 + -1. Suppose o*w = 154 + 38. Suppose 4*c - 5*m - 110 = 0, -5*c = -5*m - 44 - w. Does 15 divide c?
True
Suppose -2*x + 4*a = 3*x - 356, -4*x - a = -289. Does 21 divide x?
False
Suppose -2*s + 147 + 68 = 5*n, 3*n - 115 = -4*s. Let f = 70 - n. Is 11 a factor of f?
False
Suppose 0 = -5*p + 671 + 319. Does 22 divide p?
True
Suppose 425 = 5*c - 0*c. Is c a multiple of 17?
True
Let y(x) = -x**3 - 6*x**2 + 8*x + 5. Let z be y(-7). Let h be (0 - (-11 - z))*1. Is 7 a factor of 3*3/h + 6?
True
Let i be 4 - 5 - (13 - 1). Does 18 divide (i - -1)/(6/(-27))?
True
Let i(z) = 28*z**3 + 2*z**2 - z - 1. Suppose m + 2*s = -8, s - 2 + 11 = -3*m. Let c be i(m). Is 3 a factor of c/(-25) - 4/(-10)?
True
Let h(z) = 2*z**2 - 11*z + 4. Does 11 divide h(8)?
True
Let m(b) = b**3 + 9*b**2 - 4*b + 8. Does 22 divide m(-9)?
True
Does 20 divide 0 + 123 + (-4 - -1)?
True
Suppose -7 = h - 3*r, -2*h = -7*h + 5*r - 5. Does 17 divide -1*2/h*-41?
False
Let o = -38 - -47. Is o a multiple of 2?
False
Suppose w = 7*w - 180. Is 10 a factor of w?
True
Suppose 0 = -5*a + 12 + 8. Suppose 5 - 14 = -b + a*z, 0 = -2*b - 5*z + 18. Is 9 a factor of b?
True
Suppose 0 = -5*v - 2*h + 250, 4*h = -5*v + 6*h + 250. Is 15 a factor of v?
False
Let i = 307 - 141. Suppose -4*p = -42 - i. Does 13 divide (p/12)/((-1)/(-6))?
True
Let n(l) = l**3 - 2*l**2 + 7*l + 15. Is 25 a factor of n(5)?
True
Suppose -5*a - 4*m = -12, -a = -0*m + 3*m + 2. Let t(r) = a*r + 0*r**2 - 3*r - r**3 - 4*r**2. Does 7 divide t(-5)?
False
Let d(v) = v**2 - 9*v + 13. Let g be d(10). Let w = g - 14. Does 9 divide w?
True
Let y be 2/(-4) + (-11)/(-2). Suppose 0*h + 3*h + y*d + 5 = 0, 2*d - 2 = -2*h. Does 2 divide h?
False
Let t = -2 + 1. Let w(v) = -64*v**3 + v + 1. Is w(t) a multiple of 23?
False
Suppose 0*x + s - 355 = -x, 4*s - 720 = -2*x. Does 9 divide x?
False
Let o be (2/(-6))/(1/(-21)). Let t(r) = -r**2 + r + 1. Let w(v) = -v**3 + 7*v**2 + 5*v + 1. Let k(q) = -t(q) - w(q). Is 2 a factor of k(o)?
False
Let u(g) = -24*g. Let d(y) = y**2 - y - 1. Let k be d(0). Is u(k) a multiple of 6?
True
Suppose -5*p - 5 = -5*i, 0*i - 1 = -3*p + 4*i. Let q(h) = -6*h - 3. Is q(p) a multiple of 10?
False
Suppose 1 + 4 = -3*c + o, 0 = -5*o - 5. Is 9 a factor of (1 + 1)/(c/(-18))?
True
Suppose -3*n - 2*v - 34 = 0, -v = 5*n + 11 + 34. Let k = n - -62. Is k a multiple of 14?
False
Is 2 a factor of ((-6)/(-3))/(4/32)?
True
Is 4 a factor of 94*3/7 + (-2)/7?
True
Let k = -11 + 15. Is 11 a factor of -1*k/2*-16?
False
Suppose 0 = -0*d - 5*d - 15. Let n be d/(-2) - 2/(-4). Let b(c) = c + 2. Is b(n) a multiple of 3?
False
Suppose 41 = w - 39. Suppose 6*f - f - w = 0. Does 8 divide f?
True
Let r(b) = b**3 - b**2 - b. Let g(f) = -2*f**3 + 2*f**2 + 5*f - 2. Let q(k) = -g(k) - 3*r(k). Let a be q(3). Is 5/(10/(-4)) - a a multiple of 7?
False
Suppose -4*b + 4 = -20. Let z be (4 - 1)*4/b. Let w(p) = 4*p**2 - 3*p + 2. Is w(z) a multiple of 12?
True
Let o(s) = s - 3. Let j be o(7). Suppose -6*p + j*p - 28 = 0. Let w = p + 59. Does 12 divide w?
False
Let h = 6 - -32. Suppose -h = -2*j + 5*b - 9, 3*b = -5*j - 5. Is j a multiple of 2?
True
Let p = 13 - -15. Does 14 divide p?
True
Suppose 2*j + 4 = 3*x - 21, -4*x + 5 = 3*j. Suppose 5*b = x*c + 135, -b + 41 = -3*c - 34. Does 3 divide (-1)/(-4) + (-90)/c?
False
Is (-3 - -1) + 6 + (-182)/(-2) a multiple of 19?
True
Suppose 0*q + 88 = 2*q. Is q a multiple of 11?
True
Suppose 4*l = v - 67, 0 = -4*l + 6*l - 2. Does 5 divide v?
False
Let k(d) = -d**2 - 7*d. Let v(r) = 4*r**2 + 28*r - 1. Let z(s) = 9*k(s) + 2*v(s). Does 3 divide z(-5)?
False
Let g be -1 + -6 + (-1)/(-1). Let x(r) be the third derivative of -r**4/24 + r**3/3 - 2*r**2. Is 8 a factor of x(g)?
True
Does 46 divide 46*5/(-10)*2*-4?
True
Let p be 3 + 0 - (1 + 2). Suppose 3*j - 14 - 19 = p. Is 7 a factor of j?
False
Let h = 298 + -163. Let o = h - 87. Suppose 4*f - 64 = o. Is f a multiple of 25?
False
Suppose 2*k + 16 = -5*u, 0 = -2*k - 3*u - u - 18. Let q = 11 - k. Is 12 a factor of q?
True
Suppose -41 + 111 = -5*o. Is (o - -4)/(1/(-3)) a multiple of 15?
True
Does 14 divide (-151)/(-3 + (-3 - -5))?
False
Let r(m) = -53*m - 5. Does 4 divide r(-1)?
True
Let v(o) = o**2 - 8*o + 7. Let m be v(8). Suppose -115 = -5*z + 2*u, -3*z + m*z + u - 79 = 0. Is z a multiple of 10?
False
Let w = 0 + 2. Let j be (-22 - (w + -4))/1. Is 8 a factor of ((-18)/10 - -1)*j?
True
Suppose -5*f = i - 0*f - 18, -4*f - 15 = 5*i. Let z = 26 - i. Is z a multiple of 15?
False
Let k = -108 + 159. Is 12 a factor of k?
False
Suppose 88 = 3*h - 17. Is h a multiple of 19?
False
Is 35*1 + (-5 - -8) a multiple of 12?
False
Let u = 225 - 83. Is 18 a factor of u?
False
Let z(j) = j**3 + 7*j**2 - j - 7. Let r be z(-7). Is 24 + r/(2 + -4) a multiple of 5?
False
Suppose 0 = -5*l - 2*q - 10, 5*q + 28 - 3 = 0. Suppose l = 3*t - 2*t - 1. Is (t - -7)*(1 + 0) a multiple of 4?
True
Does 14 divide (-3 - -8)/(2/6)?
False
Let j(m) = 6*m + 16. Let x(r) = -r - 1. Let l(o) = j(o) + 3*x(o). Does 12 divide l(7)?
False
Let l be 108/20 + 4/(-10). Suppose 0 = -4*h - u - 4*u - 1242, -l*h = -3*u + 1571. Is 21 a factor of (-9)/15 + h/(-5)?
False
Suppose 0 = -3*v - 3*o + 123, -4*v + 3*o + 157 = -28. Is 14 a factor of v?
False
Suppose l = 4, o = -0*o + l - 1. Suppose 2*r - 13 = -o. Suppose -2*h + 92 = r*g, 4*h + 3*g - 160 = -g. Does 18 divide h?
True
Let k be ((-2 + 1)*0)/(-2). Suppose j - 5*y - 41 = k, -2*j - 3*y = -6*y - 47. Is j a multiple of 16?
True
Suppose 0 = -2*g - 2*g + 8. Suppose 2*m - 3*m = g*u, -3*u = -2*m. Let y = m - -15. Is 8 a factor of y?
False
Let k(c) be the first derivative of -c**4/2 + c**3/3 - c**2/2 - c - 1. Let a be k(-1). Is 11 a factor of ((-22)/(-4))/(a/6)?
True
Suppose -6*i + 26 + 58 = 0. Does 8 divide i?
False
Let u(f) = f**2 + 9*f - 11. Let a be u(-9). Let q = 40 + a. Does 18 divide q?
False
Suppose -55 = 5*d - j, 4*j = -3*d - 22 - 11. Let t = d - -17. Is t a multiple of 5?
False
Suppose -o + 5*t - 13 = 9, -3*t = 0. Let k = 56 + o. Is 11 a factor of k?
False
Suppose 0 = -q - 3*q + 60. Does 11 divide q?
False
Suppose h - 3 = 1. Suppose -3*d = 4*a - 92 - 13, h*d - 147 = -3*a. Is 13 a factor of d?
True
Suppose -g - 10 = -27. Does 5 divide g?
False
Let g = 1 - 16. Let k = g + 32. Is 12 a factor of k?
False
Does 4 divide -3*12*2/(-9)?
True
Suppose -3*n = -12 - 12. Is n a multiple of 8?
True
Is 17 a factor of 86 + -3 + (2 - 1)?
False
Let x(p) = -p**3 + 6*p**2 + p - 6. Let f be x(6). Suppose 5*m = -f*d + d + 130, -4*m + 115 = -3*d. Does 14 divide m?
False
Is (7/2)/((-4)/(-8)) - 1 a multiple of 6?
True
Let j(i) = -3*i**3 - 2*i**2 + 2*i - 4. Let s be j(-4). Let p = -97 + s. Does 17 divide p?
True
Let i be (-8)/(-10)*(-5)/2. Does 3 divide -2*i/((-12)/(-33))?
False
Suppose 23*v - 296 = 15*v. Is v a multiple of 4?
False
Let u(n) = 3*n**2 - 7*n - 29. Let q(d) = d**2 - 2*d - 10. Let o(i) = 8*q(i) - 3*u(i). Let m(p) = 4*p**2 + 1. Let l be m(1). Does 7 divide o(l)?
True
Let i(f) = f. Let s be i(5). Suppose -27 = -4*c + 2*g + 19, s*g - 15 = -3*c. Suppose -5*z = -35 - c. Is z a multiple of 9?
True
Suppose 2*v + 40 = 4*p, 2*p = -5*v - 2 + 10. Is 9 a factor of p?
True
Let q = -26 + 42. Suppose 4*n - 4*z = q, -2*n + 4 = -4*z - 2. Is 5 a factor of n?
True
Let p = -4 + 5. Let y = -1 + p. Suppose 4*z - z - 39 = y. Is 13 a factor of z?
True
Suppose g + 2*s - 123 = 4*g, 41 = -g + 3*s. Let c = 92 + g. Is c a multiple of 14?
False
Let n(x) = x**3 + 7*x**2 - 2*x. Let m = -15 + 8. Is 7 a factor of n(m)?
True
Let y = -19 + -2. Let u = y + 33. Is 12 a factor of u?
True
Let d(p) = 0*p + 2*p + 8 + 4*p. Does 11 divide d(6)?
True
Let z = 57 - 33. Let g be (-1 - -2)*0*-1. Suppose -l - l + z = g. Is 12 a factor of l?
True
Let y(x) = x**2 + 12*x + 13. Does 27 divide y(-18)?
False
Let n(g) = 3*g**2 - g - 2. Let y 