tiple of 38?
True
Suppose -2*y = 82 - 2. Let u = y + 80. Is 14 a factor of u?
False
Let x(f) = -f**3 + 2*f**2 + f + 102. Is x(0) a multiple of 34?
True
Suppose 0 = 6*g - 3*g + 3. Is 3 a factor of 4 - (g + (-3)/(-3))?
False
Let z be (-2)/6*(-12)/(-2). Let s(o) = 15*o**2 - 2*o. Let w be s(z). Suppose a + 3*a - w = 0. Is a a multiple of 8?
True
Suppose 4*k - 4*l - 60 = 0, 5*k - 2*l + 42 = 108. Is 12 a factor of k?
True
Suppose 0 = -2*b + 20 + 22. Let f = 51 - b. Does 10 divide f?
True
Suppose 2*c + 86 = 2*p, 2*c + 88 = 2*p - 2*c. Suppose -2*f = 6, -6*d + d + 4*f = -p. Suppose x - d*x = -170. Is x a multiple of 17?
True
Let h(v) = -v**3 + 13*v**2 - 6*v - 17. Is h(12) a multiple of 16?
False
Let w = 0 + 2. Suppose 0*s = -w*s + 20. Does 9 divide s?
False
Suppose -2*h = -80 - 24. Does 11 divide h?
False
Let a(j) = -3*j**3 + 5*j**2 + 4*j - 3. Does 21 divide a(-3)?
False
Let z = -53 - -220. Is z a multiple of 9?
False
Let y(f) = -8*f - 8. Suppose -22 = 3*o - 4. Is 7 a factor of y(o)?
False
Let f be 4/(-14) + 909/21. Suppose -33 = 2*t - 4*y - 5, -2*t - f = y. Is (-2)/5 + (-148)/t a multiple of 5?
False
Suppose 4*j - 4*v + 7 = 3, -5*j = -3*v + 15. Let w(k) = -k**2 - 7*k + 8. Is w(j) a multiple of 5?
False
Let x = 4 + -8. Let y be (-1 - -3)*(-6)/x. Suppose -q = -y*q + 120. Is q a multiple of 24?
False
Is 12 a factor of 2/9 - (-106)/9?
True
Let o(h) = h**2 + 2*h - 4. Let z be o(3). Suppose 0 = -2*t - 7 - z. Does 13 divide (40/(-6))/(3/t)?
False
Suppose 0 = -3*d + n - 17, 0 = d - 5*n + 3*n + 4. Let m = d + 8. Does 2 divide m?
True
Let f(a) = 3*a + 2. Let q be f(-2). Is 7 a factor of (4/q)/((-1)/21)?
True
Suppose -333 = -2*x - m, -3*x + m = 4*m - 495. Does 28 divide x?
True
Let w be 2/(-8) - (-3)/(-4). Is 20 a factor of (9 - 7)/(w/(-10))?
True
Suppose 0 = 2*j - 9 + 5. Let u(w) = w**2 - 2. Let o be u(-2). Is j/1 + o/1 a multiple of 4?
True
Suppose -190 = -3*z + y - 3*y, -5*z + 334 = -y. Is z a multiple of 22?
True
Suppose 24 = -5*w + 4*n + 274, n - 5 = 0. Is 18 a factor of w?
True
Let u be 51/27*3*6. Suppose -5*r - u = -7*r. Is r a multiple of 17?
True
Let i = 0 + 4. Suppose 2*x = i*j + 104, j - 5*j + 96 = 2*x. Suppose x = 3*z + 2*z. Is z a multiple of 4?
False
Let p(r) be the second derivative of -1/2*r**3 + 2*r + 1/6*r**4 - 2*r**2 + 0. Does 15 divide p(-3)?
False
Suppose 0 = 5*t - 3*k - k - 32, -5*k + 50 = 5*t. Is (369/36)/(1/t) a multiple of 32?
False
Let x be 0 + -1*(-7 - 1). Let y = 26 - 10. Suppose -t = -2, -3*t = -2*b - x*t + y. Is 3 a factor of b?
True
Let j(x) = -72*x**3 + x. Is j(-1) a multiple of 19?
False
Let p = -1 + 3. Let o(z) = 4*z**3 + z**2 + 2*z. Let q be o(p). Is 16 a factor of 5 + q - (-1 - -1)?
False
Let k(q) = -q**3 - 10*q**2 - 5*q + 22. Is 5 a factor of k(-10)?
False
Let h(p) = 2*p**2 - p + 4. Let g(d) = 3*d**2 - d + 7. Let w(y) = -3*g(y) + 5*h(y). Is 2 a factor of w(4)?
False
Suppose -10*d = -8*d. Suppose d = -4*j + 9*j - 480. Let l = j - 45. Is 17 a factor of l?
True
Suppose -8*f = -10*f + 22. Is f a multiple of 11?
True
Is ((-2)/(-5))/(8/520) a multiple of 26?
True
Is (12/8)/((-18)/(-708)) a multiple of 12?
False
Let g(i) = -i**3 - 8*i**2 + 2*i + 1. Is 4 a factor of g(-9)?
True
Is ((-46)/(-3))/(8/36) a multiple of 19?
False
Let t(f) = -47*f - 9. Is t(-3) a multiple of 14?
False
Let n(c) be the first derivative of c**2/2 + 10*c - 1. Let v be n(-5). Is 4 a factor of (-10)/8*(1 - v)?
False
Suppose -3*n = -3*l + 456, -4*n - 146 - 312 = -3*l. Is l a multiple of 34?
False
Suppose -3*a = 5*u - 9, 5*a - a = -4*u + 12. Suppose 4*j = 14 + 6. Suppose 2*d - a = j. Does 3 divide d?
False
Suppose -4*l + 16 = -5*n, 3*l + l - 16 = -3*n. Let r be 4 + n - (-1 + -1). Is 7 a factor of (-64)/(-6) + (-4)/r?
False
Let v(w) = -w**3 + 7*w**2 - w. Let b be v(6). Suppose b = 2*s - 6. Let y = s - 11. Does 6 divide y?
False
Let n be (-858)/(-30) - (-4)/10. Let y = 80 - 37. Let x = y - n. Does 14 divide x?
True
Suppose 10*k - 2*v - 377 = 5*k, -57 = -k + 5*v. Is k a multiple of 11?
True
Suppose n + 2*x - 4*x = -26, -52 = 2*n + x. Let u = n + 55. Let r = -12 + u. Is 15 a factor of r?
False
Let d be ((-2)/(-3))/((-3)/(-9)). Suppose -d*z = -q + 5 - 2, 5*z - 5*q = 5. Is 13 a factor of (z/4)/((-1)/16)?
False
Let y = 38 - 63. Let k = 21 - y. Is k a multiple of 26?
False
Suppose 3*o + 4*t = 92, -2*o + 4*o + 2*t - 58 = 0. Does 24 divide o?
True
Let g(x) = 3*x**2 - 2*x. Suppose -5*m + 10 = 4*s, 0 = -3*s - 2*s - 3*m + 6. Suppose -4*i - 4 = -4*n - s, -4*i + 8 = -n. Is g(i) a multiple of 7?
True
Let h = -141 + 246. Suppose 0 = 5*b - 25, -h = -0*z - 2*z + b. Is 20 a factor of z?
False
Let f = -21 - -29. Is f even?
True
Let t = 5 + -3. Let n(o) = o**3 + 1. Let q be n(t). Let h = -5 + q. Does 2 divide h?
True
Let f(m) = m**2 + m - 1. Let r be f(-1). Is 8 a factor of 462/24 - r/(-4)?
False
Let q be (-56)/10 - 4/10. Let p = 9 + q. Is 6 a factor of p - (-11 - 1 - 3)?
True
Suppose 8*m = -2*b + 3*m - 201, 3*m = -5*b - 474. Let a = -53 - b. Is 10 a factor of a?
True
Let u = 131 - -7. Does 30 divide u?
False
Let o(c) = -7*c - 13. Is 12 a factor of o(-7)?
True
Is (209/(-44))/((-1)/(-8)*-2) a multiple of 3?
False
Let w be (-1)/(-2) - (-5)/(-10). Suppose w = 3*r - 0 - 6. Is 9 - -2*r/(-2) a multiple of 4?
False
Suppose 4*k - 152 = -3*a, -3*k = -4*a - 0*a - 89. Let z be k/2 + (-1)/(-2). Let p = -4 + z. Is 7 a factor of p?
True
Let a be -14 + (-3 - 3)/(-3). Let z = -8 - a. Does 8 divide (264/30)/(z/10)?
False
Suppose 4*y + 145 = -k, 4*y - 4*k = -130 + 10. Let g be 4/18 + y/(-45). Is 0/(2 + g) + 19 a multiple of 14?
False
Let p = -35 - -104. Is p a multiple of 12?
False
Suppose 0 = 4*g - 5*f - 78, -2*f - f + 28 = g. Let l = -11 + g. Is l a multiple of 6?
False
Suppose -5*s + 14 = -1. Suppose 3*k = -s*k + 270. Is k a multiple of 8?
False
Let l(x) = -x**2 + 6*x + 8. Is l(6) a multiple of 8?
True
Let l = 12 - 8. Let b = 0 - 0. Suppose -5*t = 4*c - 98, -l*t = -c - b*c - 70. Does 9 divide t?
True
Let a(j) = 2*j**2 - 11. Does 21 divide a(-11)?
True
Let i = -6 - -17. Is 4 a factor of i?
False
Let u be 160/28 + (-2)/(-7). Suppose -t = -32 + u. Is t a multiple of 13?
True
Suppose 0 = -y - 0*y + 6. Let j(t) = -t**2 + 8*t + 4. Is 8 a factor of j(y)?
True
Suppose b - 15 = -4*y, -2*b + 4*y - 9 = -b. Let w be ((2 + -2)/b)/2. Suppose w = 5*s - s - 144. Does 18 divide s?
True
Let h(t) = t**3 - 4*t**2 - 5*t + 12. Is h(5) a multiple of 12?
True
Let y = 187 - 111. Suppose 4*c = -0*c + y. Is 9 a factor of c?
False
Let c(h) = 1. Let v(a) = -7*a + 14. Let l(t) = -4*c(t) - 2*v(t). Let m(r) = 5*r - 11. Let k(b) = -4*l(b) + 11*m(b). Is k(-7) a multiple of 14?
True
Let y(o) = -13*o - 31. Is y(-8) a multiple of 13?
False
Let p be (-39)/15 + (-4)/10. Let x be (-1 - -4)*2/p. Let s = x + 11. Is s a multiple of 9?
True
Suppose -6*n = -4*n - 6. Suppose -5*h = -70 - 50. Suppose n*o = h + 93. Does 13 divide o?
True
Let r = 79 + -47. Let f = -18 + r. Does 7 divide f?
True
Suppose 0*r - r + 24 = g, 5*r = -4*g + 99. Suppose -q = 2*q - g. Let n = 33 - q. Is n a multiple of 12?
False
Does 10 divide ((-3)/6)/((-2)/248)?
False
Is (14 - 15)/(2/(-83 + -1)) a multiple of 8?
False
Let g(a) be the second derivative of 2*a + 0 + 1/6*a**4 + 0*a**3 - a**2. Is 6 a factor of g(-2)?
True
Let q(i) = -3*i. Suppose 5*c + 1 = -4. Let w be q(c). Let r = 7 - w. Does 4 divide r?
True
Let j(r) = -2*r**3 - r**2 - r - 1. Is 23 a factor of j(-4)?
True
Let v be -2 + (-1*16)/(-2). Let h be (-2)/((-2)/4*1). Suppose 2*l - v*l - 74 = -5*o, -2*o + 20 = -h*l. Is o a multiple of 18?
True
Suppose 0 = -w + 5*w - 60. Let k = 31 - w. Does 8 divide k?
True
Does 6 divide ((-22)/8)/(-2 - (-94)/48)?
True
Let f(g) = 9*g + g - 17 + 13. Is 13 a factor of f(3)?
True
Let b(h) = -h**3 + 5*h**2 + h - 3. Is b(4) a multiple of 7?
False
Is 9 a factor of ((-2)/(-4))/(15/1080)?
True
Let l be 1/(-2)*-1*4. Let a(b) = b + 2 - l*b - 2*b. Is 4 a factor of a(-2)?
True
Is 23 + -3 + 3/(-3) a multiple of 19?
True
Let l = 0 + -9. Is (-2)/(-4) + l/(-6) a multiple of 2?
True
Let r = 2 - -12. Let v = r - -5. Suppose -2*m + v = -11. Is 9 a factor of m?
False
Is 257 + 2 + 2 + 1 a multiple of 20?
False
Let p(f) be the third derivative of -f**6/120 - f**5/12 - 2*f**3/3 - 8*f**2. Is 10 a factor of p(-6)?
False
Is 20 a factor of ((-5)/(-10))/(1/182)?
False
Let a(g) = 2*g**2 + 6*g + 2. Is a(-4) a