 factor of y?
True
Suppose 5*l + 217 = 1067. Suppose l = 3*w + f, 150 = 3*w - 3*f - 0*f. Is 12 a factor of w?
False
Let w be 0 + 0 - (-18 - -16). Let m(f) = -f**3 - f - 15. Let u be m(0). Is 4 a factor of (12/u)/(w/(-20))?
True
Let h be 0/(-2*3/6). Let b be -1 + 2 - (h - 1). Suppose 0 = -v + b*v + 5, 4*o - 69 = 5*v. Does 3 divide o?
False
Let f = -180 - -327. Is f a multiple of 21?
True
Suppose 5*k - 28 = 3*q, 2*k + 24 = 7*k - 4*q. Is 8 a factor of k?
True
Suppose k - 5*t = 90, k - t = -6*t + 70. Is k a multiple of 36?
False
Let r = -70 + 154. Does 34 divide r?
False
Suppose -2*b = -4*c - 250, -c + 488 = 4*b - 6*c. Does 25 divide b?
False
Let h(i) = i**2 - 6*i - 5. Let y be h(7). Suppose -4*a = 4*v + 8, a + 3 = y. Let u = 23 + v. Does 16 divide u?
False
Let p(o) = o**2 + 11*o. Does 7 divide p(-14)?
True
Suppose 65 = v - 180. Suppose 0 = 5*d - 80 + v. Let s = d + 53. Is 10 a factor of s?
True
Let x(d) = 2*d - 1. Let i(a) = -2*a - 3. Let h be i(-9). Suppose -2*c = 4*k - 47 + h, -5*c + 10 = -4*k. Does 4 divide x(c)?
False
Suppose 6*m + 248 = 794. Does 7 divide m?
True
Let n = 18 + -13. Let l = 5 - n. Suppose l*f + 4*f - 80 = 0. Does 20 divide f?
True
Let z(g) = -g**3 - 4*g - 3. Let r be 1*-3 - (3 - 3). Is 9 a factor of z(r)?
True
Let g(i) = i**2 - 7*i - 8. Let t be g(7). Is (4/(-7))/(t/28) a multiple of 2?
True
Let g = -339 + 123. Let f be 3/(-6)*g/3. Suppose 0 = 2*i - f - 26. Does 11 divide i?
False
Suppose 0*u + 2*u = 4*b - 790, 0 = 4*b - u - 787. Suppose y - 2*p = -196, 0*y + y = -4*p - b. Is 13 a factor of y/(-6) - 4/(-12)?
False
Let p = -2 + 20. Is p a multiple of 4?
False
Let p = 16 - 11. Let s(w) be the third derivative of w**5/60 - 5*w**3/6 - w**2. Is 13 a factor of s(p)?
False
Let t(x) = -x**2 + 2. Let r(k) = -k**2 - k + 3. Let u(c) = -2*r(c) + 3*t(c). Let m be u(1). Let g(j) = 45*j**3 - j**2 + j. Is g(m) a multiple of 12?
False
Let f be 2/(-4) + 6/(-4). Let j = 41 + f. Is 14 a factor of j?
False
Let a = -55 + 79. Let r = 13 + a. Suppose -t - 4 = 0, 43 = 4*j + 4*t - r. Does 12 divide j?
True
Let t(f) = 58*f + 1. Let q be t(1). Suppose -5*r = -3*z - 31 - 21, 4*z - q = -5*r. Does 6 divide r?
False
Let u = -18 + 1. Let k = 27 + u. Is 6 a factor of k?
False
Is 1240/56 - 2/14 a multiple of 11?
True
Let t(h) = -h**2 - 2*h + 3. Let w be t(-4). Let x = -8 - w. Is 7 a factor of ((-26)/x + -2)*3?
False
Let m(o) = o**3 - 7*o**2 + 6*o + 5. Let l(j) = 2*j + 2. Let k be l(2). Does 4 divide m(k)?
False
Suppose -4*o + 258 = 2*i, 6 + 618 = 5*i + 3*o. Does 5 divide i?
False
Suppose -4*g + 0*g + 16 = 0. Suppose 0 = g*z - 12 - 64. Does 11 divide z?
False
Suppose 148 = 8*k - 148. Is k a multiple of 16?
False
Let x(h) = h**2 + h - 2. Let q be x(2). Suppose 1 - 13 = -q*y. Suppose y*k + k = 104. Is 13 a factor of k?
True
Let c(i) = -i**2 - 9*i. Let s be c(-8). Let t = s + -8. Suppose t = 4*p, -p = 2*d - 7*d + 150. Does 15 divide d?
True
Let o(p) = p**3 - 8*p**2 + 7*p + 2. Let k be o(6). Let t = k + 35. Is t a multiple of 7?
True
Let u(q) = -2*q + 6. Let p be u(4). Is 13 a factor of 686/28 - 3/p?
True
Suppose -138 = -4*c - 2*y, -c - 4*c = 3*y - 174. Does 8 divide c?
False
Let p = 158 + -34. Does 31 divide p?
True
Suppose 2 = d - 3. Suppose -3*c = d*j + 45, -2*c = j + 2*j + 31. Is 8 a factor of -2 - (0 + c - 2)?
False
Let z = -7 - -46. Suppose -z - 41 = -4*g. Is g a multiple of 9?
False
Suppose 29*j - 14 = 28*j. Is 14 a factor of j?
True
Is 133/9 + (-2)/(-9) a multiple of 5?
True
Let t(z) = -3*z. Suppose 0 = -3*d - 15. Is t(d) a multiple of 15?
True
Let u = -145 - -262. Is 5 a factor of u?
False
Suppose -75 - 95 = -17*z. Is 10 a factor of z?
True
Suppose 21 = 4*q - 3*f, -q + 0*q = -2*f + 1. Is (-6)/q + 119/3 a multiple of 13?
True
Let n(q) be the third derivative of -q**4/24 + 31*q**3/6 + 9*q**2. Is 6 a factor of n(13)?
True
Is (-1 + -7)*(-33)/4 a multiple of 11?
True
Suppose -h + 6*h = -v - 18, v - 2*h - 3 = 0. Let t be (v - -5) + 1 + -1. Suppose k - 39 = -4*y, -4*k + t*k + 45 = -3*y. Does 15 divide k?
False
Let x be (-10)/((-2)/(-2 - -3)). Let r be ((-4)/5)/(1/x). Let p = 6 + r. Is p even?
True
Suppose -18 = -4*v - 2. Suppose -v*n + 174 + 50 = 0. Is 19 a factor of n?
False
Suppose 0 = 18*y + 3278 - 9326. Is y a multiple of 56?
True
Let u(h) = -10*h**3 - 3*h**2 + 1. Let g be u(-2). Let v = g + -45. Is 17 a factor of v?
False
Suppose d - 7 = -4*d + 2*k, d = -k + 7. Suppose d*t - 4 = 20. Is 2 a factor of 4*(-1 - (-18)/t)?
False
Let b = 143 - 63. Suppose 4*l = -0*l + b. Let z = l + -5. Is 9 a factor of z?
False
Suppose -11 = -a + 2*v, 3*a + 4 - 43 = 4*v. Suppose 2*l - 11 = a. Is 13 a factor of l?
False
Suppose -o - 5*k = 0, o = -2*o + 3*k - 72. Let i(v) = -v**2 - 2*v + 4. Let x be i(-5). Let a = x - o. Does 5 divide a?
False
Let g be -7*(0 - 1) + 2. Let x = 3 + -2. Suppose 0 = -i + g + x. Is i a multiple of 5?
True
Let m = 218 + 22. Let y = m + -170. Is 17 a factor of y?
False
Let w be 156/(-9)*(-15)/2. Let q = -45 + w. Let a = -41 + q. Does 22 divide a?
True
Let u(j) = 5*j - 25. Is u(11) a multiple of 10?
True
Let c be (1 - -1)*-1 + 33. Let n(b) = -b - 2 + c + 1. Does 15 divide n(0)?
True
Suppose -9*g + 461 + 709 = 0. Is 12 a factor of g?
False
Let x(y) = 7*y**2 - 2*y + 4. Let i be x(-3). Let f = i - 48. Is 14 a factor of f?
False
Let g(s) = s - 7. Let c be g(5). Let l(u) = 9*u**2 + 2*u. Let p be l(c). Suppose -4*a + 4*h + 34 = -14, 5*a + 2*h - p = 0. Is a a multiple of 8?
True
Let m(o) = o**3 + o**2 - 2*o. Let l be m(-3). Let n be (-1)/(-4) - 45/l. Suppose -66 = -n*y - 2. Does 16 divide y?
True
Is 120/7 + 11/(-77) a multiple of 8?
False
Let g = 38 - 5. Suppose 0 = -3*c - 5*d + g, -3*c - c - 5*d + 44 = 0. Let l = 28 - c. Does 8 divide l?
False
Suppose 5*d = 4*d + 5. Suppose -d*h + 22 - 2 = 0. Is 2 a factor of h?
True
Let f(r) = -r**2 - 4*r + 2. Let d be f(-4). Suppose -5*t - 2*p + 88 = 0, -p - 4 = -t + d*p. Is 6 a factor of t?
False
Let u = 140 + -87. Is u a multiple of 11?
False
Let t be (-10)/(-15)*(11 - -1). Is 14 a factor of t/(-3)*33/(-4)?
False
Let d(m) = -2*m - 3. Let i be d(-3). Does 3 divide 9 + i/(3/1)?
False
Is (-62)/(-6) - (-10)/(-30) a multiple of 2?
True
Suppose -3*g + 238 = -2*n, 8*g = 3*g - 5*n + 430. Does 4 divide g?
False
Let t = 60 + -3. Let a = t - 33. Suppose r - a = -r. Is r a multiple of 7?
False
Suppose 3*g + 8 = -1. Let y = g - -2. Let n = y - -6. Is 5 a factor of n?
True
Suppose -3*y = -2*s + 7, 6 = -s - 5*y - 10. Let h be (3 - s)*-2*-8. Let d = h - 44. Is d a multiple of 10?
True
Let u(s) = -4 - s - 5*s - s**3 + s - 5*s**2. Let d be u(-4). Suppose -9 = -3*w - d, -2*w = -b + 39. Is 15 a factor of b?
True
Let j be 4/(-10) - 108/(-20). Suppose -20 = z - j*z. Suppose -3*x + z*t = -105, 3*x = 4*t - 2*t + 96. Does 15 divide x?
True
Suppose 0 = 2*x + 33 - 99. Let s = -23 + x. Does 6 divide s?
False
Suppose -o + 3 = -k + 6, -3*o - 4*k + 19 = 0. Suppose b + o = 13. Does 3 divide b?
True
Suppose 70 = 5*z - 3*z. Does 7 divide z?
True
Let q(v) = 2*v - 7. Let s be q(5). Let w(m) = -3 + 7*m**2 + 6*m**2 - 3*m**2 - 1 + s*m. Is w(-3) a multiple of 27?
False
Suppose 21*i + 64 = 23*i. Does 4 divide i?
True
Let n(y) = -y**3 + 11*y**2 + y - 6. Let s be n(11). Let u = -17 - -24. Suppose 22 = s*i + u. Does 2 divide i?
False
Suppose -2*p - 2*t - 16 = 3*t, 5*p - 3*t - 22 = 0. Is 6 a factor of p/4 - 123/(-6)?
False
Suppose -4*u + 61 = 2*i + u, -3*u + 33 = i. Suppose 0 = -0*n - n - 2*m + 17, i = 3*n - 5*m. Does 3 divide n?
False
Suppose 4*o + 291 = 2*l + 3*l, 0 = 2*l - 3*o - 115. Is 2 a factor of l?
False
Suppose 5*x - 13 = 47. Does 2 divide x?
True
Let v(x) = -x + 7. Let d be v(8). Let z = d + 8. Is z a multiple of 7?
True
Is 9 a factor of 20/(-6)*(-135)/25?
True
Let j = -17 + 12. Let u = 10 + j. Suppose 0 = 3*k - u*t - 11, -3*t = -3*k - 2*k + 45. Does 9 divide k?
False
Suppose 1 = l - 4. Suppose 73 - 18 = l*q. Does 5 divide q?
False
Let u = 124 - 58. Let d(q) = 5*q - 5. Let z be d(-5). Let b = u + z. Is 18 a factor of b?
True
Let f = -173 + 308. Is f a multiple of 9?
True
Let h be 1/7 + (-6)/42. Suppose 2*z + h*z = 28. Is z a multiple of 7?
True
Let k(z) = z**2 + 7*z + 22. Is k(-11) a multiple of 11?
True
Let t be (-76)/(-18) + (-4)/18. Suppose v + t*v + 40 = 0. Is 10 a factor of ((-10)/2)/(2/v)?
True
Suppose 2*y - 5*y = -45. Suppose -h + y = -10. Is 12 a f