 y - (1 + -3)?
True
Let n = -111 - -241. Is 13 a factor of n?
True
Suppose -5*x + 165 = -0*x. Is 11 a factor of x?
True
Let o be 1 + 1 + -1 + -2. Is 8 a factor of (3 - 6)*o - -11?
False
Suppose -2*g - 142 = -4*c, -79 = -4*c + c - 4*g. Is 11 a factor of c?
True
Let w(y) = -66*y - 4. Let z be w(6). Let f be 1/3 + z/(-15). Suppose 0 = 3*i - 5*v - f - 32, 4*i = -2*v + 44. Is 10 a factor of i?
False
Let a(n) = 5*n - 30. Is 6 a factor of a(12)?
True
Let q(m) = -m + 9. Let y be (-4)/18 - (-38)/9. Let s be q(y). Suppose 5*k - 86 = 2*o, 0*o - 83 = -s*k + o. Is 8 a factor of k?
True
Suppose -4*w + 24 = -4*l, 0*w + 3 = w - 2*l. Let h(x) be the third derivative of x**6/120 - x**5/6 + x**4/2 - x**3/3 + 6*x**2. Is 10 a factor of h(w)?
False
Let p = 92 - 51. Let u be (3 - 1) + (2 - p). Let s = -22 - u. Is 15 a factor of s?
True
Let j = 5 - -113. Suppose 3*w + 2*k + 23 = j, 0 = 2*w - 2*k - 60. Is w a multiple of 8?
False
Let n = -121 + 78. Suppose 0 = o + 3*x - 3, -3*o = -o - 2*x + 2. Is 21 a factor of -1 - n - (o + 0)?
True
Suppose -1 + 7 = 2*c. Suppose -2*g - 3*g + 25 = 0. Suppose -g - 21 = -5*p - c*s, -2*s = p - 1. Does 3 divide p?
False
Let y = -5 - -6. Let l(u) = y + 4*u**3 - 2*u + u + 1. Is 12 a factor of l(2)?
False
Suppose -3*r + 15 = 5*c, 4*r - 25 = -r - 3*c. Let a(f) = 5*f - 4. Is a(r) a multiple of 10?
False
Suppose -v = 1, -3*y + 3*v + 388 = 2*y. Is y a multiple of 7?
True
Let l = 40 + -5. Suppose 3*b - 80 = -5*x, -l = -5*b + 3*x + 53. Is b a multiple of 14?
False
Let h(x) = x + 6. Let m be h(-3). Suppose -m*b + 4*b - g = 52, 4*b - 184 = -2*g. Is b a multiple of 19?
False
Does 21 divide (3/1)/(1/21)?
True
Suppose 5 - 2 = -j. Let a(t) = -7*t - 8. Does 5 divide a(j)?
False
Is (87 + -15)*3/(-4)*-2 a multiple of 9?
True
Let n = 5 + -8. Let v = 4 + n. Suppose t - 5 - v = 0. Is 6 a factor of t?
True
Let i = -24 + 36. Is i a multiple of 6?
True
Let c(s) = s**3 - 1. Suppose 4*b + 3*m = 7*m - 8, 3*b = 5*m - 14. Let a be c(b). Let l = a - -14. Does 21 divide l?
True
Let d = 389 + -250. Does 10 divide d?
False
Is (-3)/3 + 0 - -31 a multiple of 30?
True
Is 16 a factor of 382/8 - (-3)/12?
True
Let s be (-42)/4*4/(-6). Suppose -s*g - 35 = -2*g. Is 3 a factor of 2 - 2 - 1 - g?
True
Suppose 0 = -3*r - 20 + 140. Suppose 0*j + r = j. Does 10 divide j?
True
Let o(p) = -p**2 + 7*p + 2. Let u be o(5). Let r be (-87)/u - 3/(-12). Let x(a) = -a**3 - 6*a**2 + 4*a + 5. Is 13 a factor of x(r)?
True
Suppose -15 = -2*u + 5. Is 10 a factor of u?
True
Let i be -1 + 0*(-3)/9. Does 7 divide 2/(-2) + 20 + i?
False
Let u = -1 - 3. Let q = 33 + u. Does 10 divide q?
False
Let n = -1 - -6. Suppose -20 - n = 5*r, 0 = 3*j - 5*r - 58. Is 11 a factor of j?
True
Let w(h) = 2*h**2 - 3*h - 1. Suppose 5*u + 13 = 43. Suppose -3*z + 0*z - u = 0. Is w(z) a multiple of 13?
True
Let n(a) = -3*a**3 + 3*a**2 - a - 3. Does 16 divide n(-3)?
False
Let o = -164 - -309. Does 11 divide o?
False
Let x be (12/3)/4 + 2. Suppose 0 = 2*h - 3*h. Suppose 4*p - 37 = -3*t - h*t, x*p - 33 = -3*t. Is 5 a factor of t?
False
Is 12 a factor of (-2)/6 + 880/48?
False
Suppose 1 = 2*j + 4*u + 9, 5*j - 3*u = 45. Suppose 0 = -d - 2*d + j. Suppose 2*f - 20 = -d*f. Does 5 divide f?
True
Is 10 a factor of -3 - (1 + -1*34)?
True
Let f(a) = -14*a. Suppose 2 = 4*x + 6. Is f(x) a multiple of 7?
True
Let t(h) be the second derivative of h**4/4 + 2*h**3/3 + 3*h**2/2 + 3*h. Is t(-3) a multiple of 9?
True
Let c(x) = 7*x. Is c(2) a multiple of 11?
False
Let l(j) = j + 12. Let c be l(-10). Let q be ((-1)/3)/(c/(-12)). Suppose -5*z = 4*x - 94, -2 = 3*x + q*z - 69. Is x a multiple of 12?
False
Let h = -69 + 91. Does 7 divide h?
False
Is 976/48 + 1/(-3) a multiple of 5?
True
Let b = 31 + 0. Suppose -l - 84 = -2*x, 3*l + 61 = 2*x - b. Is 13 a factor of x?
False
Let a = 56 - 40. Let m = 0 + a. Is 16 a factor of m?
True
Let f be 126/(-24)*2*2. Let v = f + 76. Does 13 divide v?
False
Suppose p + 59 = 3*p + 3*j, -3*p - 2*j = -96. Is 17 a factor of p?
True
Let j be -3*1*(-4)/(-12). Let z = 5 + j. Suppose u = 4*y - 5 - 1, 3*u - 30 = -z*y. Does 3 divide u?
True
Let q(f) = f**3 + 6*f**2 - f - 2. Is q(-5) a multiple of 6?
False
Let m be ((-2)/(-3))/((-1)/6). Let i(r) = 5*r**2 + 5*r + 0 + 3 - 2*r + r**3. Is i(m) a multiple of 7?
True
Let t = -28 + 45. Is 6 a factor of t?
False
Let b = 43 - 15. Is b a multiple of 7?
True
Suppose -3*p - p + 48 = 0. Suppose 0 = -2*h + 4 - p. Is 7 a factor of (13/h - 0)*-4?
False
Suppose -2*l + 3*n = -61, 10*l = 5*l - 4*n + 187. Does 18 divide 182/5 + (-14)/l?
True
Let q be (0 - -1) + -2 + 1. Suppose 3 = l - q*l. Suppose 32 = l*g - 58. Is 11 a factor of g?
False
Is 2*(-1)/13 - 2500/(-26) a multiple of 24?
True
Let g(a) = a + 13. Let y be g(-13). Is (-20 + y - 3)*-2 a multiple of 17?
False
Let v = -8 - -4. Is 14 a factor of (-54)/v*(-4)/(-3)?
False
Suppose -93 = -2*k - x, 2*x - 5*x = k - 49. Let d = -10 + k. Is 12 a factor of d?
True
Let i be 0 + 1 + 8/2. Suppose -5*s - 42 = -2*g - 2*g, -s + 6 = g. Suppose i = -r - 3*n, -5*r + g = -r + 5*n. Does 5 divide r?
False
Let o = 154 - 49. Let x be 2/(-11) - o/(-33). Suppose 0 = 5*t + 25, w + x*t + 4 - 8 = 0. Is w a multiple of 12?
False
Does 15 divide (-12)/42 - (2 - (-1308)/(-21))?
True
Let x = -11 - -11. Does 15 divide x/1 + 2 - -16?
False
Let j(u) = 23*u**2 - 2*u - 1. Let q(d) = d**2 - 3*d + 1. Let i be q(1). Let r be j(i). Suppose -3*k - r = -6*k. Does 4 divide k?
True
Let o(g) = g**3 + 7*g**2 - 2*g - 3. Let v(c) = -2*c**3 - 8*c**2 + 2*c + 2. Let l(b) = 3*o(b) + 2*v(b). Let a be (-1)/2 + (-18)/(-4). Is 2 a factor of l(a)?
False
Suppose 2*t - p - 16 = 0, -20 = -4*p - p. Suppose -50 - t = -3*r. Let k = -9 + r. Is 8 a factor of k?
False
Let f(o) = 38*o - 42. Is f(14) a multiple of 49?
True
Let z(p) = p**2 + 6*p. Let g be z(-5). Let i = 10 + g. Is i a multiple of 2?
False
Let p(n) = -n + 9. Let l be p(7). Suppose -l*m = m. Suppose 0 = -m*r - 4*r + 44. Is 10 a factor of r?
False
Suppose -4*s - 16 = 0, -2*b - s = 3*s. Is b a multiple of 4?
True
Suppose -5*t + 2*h + h = -60, 0 = -t - h + 20. Let q be 82/(-26) + (-2)/(-13). Is 5 a factor of (q + -2)*(-24)/t?
False
Let z(l) = -4*l + 18. Let s be z(8). Let v = 33 + s. Is 8 a factor of v?
False
Suppose 8*g = -404 + 1076. Does 12 divide g?
True
Let o(r) = 3*r + 8. Let x be 8 - (9/3 + -1). Is 13 a factor of o(x)?
True
Let m(o) = 8*o + 1. Is 25 a factor of m(19)?
False
Let j(t) = -7*t + 3*t**2 - 3 + 5*t + 2. Let b be j(4). Let h = b + -25. Is 7 a factor of h?
True
Let y(j) = -6*j + 0 + 4*j**2 + 4 + j**3 - 5. Is y(-4) a multiple of 12?
False
Suppose 0 = 4*t - 5*t. Suppose -u + t = -15. Does 7 divide u?
False
Suppose 0 = h + h - 8. Suppose -5*n + 176 + h = -f, -72 = -2*n - 2*f. Suppose 0 = 2*a - n - 12. Is a a multiple of 12?
True
Let r = 0 + 3. Suppose r*w = -2*w + 35. Let v(d) = -d**2 + 11*d - 10. Is 8 a factor of v(w)?
False
Let b(w) = w**3 - 11*w**2 + 3*w - 10. Is 9 a factor of b(11)?
False
Does 8 divide 2504/56 - (-8)/28?
False
Suppose 2*o - 114 = -5*v, 4*v - 4*o = 118 - 10. Is 12 a factor of v?
True
Suppose 0*n + 4*n = 20. Suppose 64 = n*r + 4. Is r a multiple of 6?
True
Suppose -5*h + 19 + 6 = 0. Suppose -19 = -2*i - 5*o, h*i - 2*o + 4*o = 79. Is i a multiple of 11?
False
Let g be 4*(-21)/(-6) - 2. Suppose n = 3*z - 2*n - 81, 15 = z + 3*n. Let r = z - g. Does 11 divide r?
False
Suppose 293 = 4*o - 5*d, -3*o + 361 = 2*o - d. Is o a multiple of 19?
False
Let h be 1/1*(1 + 6). Does 6 divide (-438)/(-21) + 1/h?
False
Let r = -14 - -47. Is r a multiple of 11?
True
Let a be (-5)/(-20) + 3/(-12). Suppose 5*k - 40 - 15 = a. Is k a multiple of 11?
True
Suppose 0 = -5*n + m + 54, m = 2*n - m - 28. Let u(x) = x**2 + 4*x - 3. Let d be u(-5). Suppose -d - n = -q. Is q a multiple of 6?
True
Let o(k) = k - 8. Let m be o(7). Is 564/18 - m/(-3) a multiple of 9?
False
Let s = 102 - 72. Is s a multiple of 6?
True
Let u = -72 + 93. Does 3 divide u?
True
Let t = 16 - 10. Let n be t/(-15) + (-34)/(-10). Suppose 0 = n*r + r - 44. Is 11 a factor of r?
True
Let h = -55 - -68. Does 2 divide h?
False
Let w(t) = -23*t - 9. Is w(-3) a multiple of 12?
True
Suppose 4*t = -t + 300. Does 10 divide t?
True
Let l(t) = -t**3 + 2*t**2 - t + 1. Let w be l(2). Let y = w - -20. Does 19 divide y?
True
Suppose -4*t - 19 = 5*l, -3*t = -l + t + 1. Is 8 a factor of l*(4 + 