e d?
True
Suppose w - 5 = 46. Suppose 5*m = 59 + w. Is m a multiple of 11?
True
Let w(l) = -4 - 2 + 6*l + 3 - 3. Let m be w(-5). Let c = -16 - m. Is 10 a factor of c?
True
Let z = -70 + 111. Does 37 divide z?
False
Suppose -3*y = -z + 28, 92 = 4*z + 4*y - 6*y. Is 6 a factor of z - ((-2 - -2) + 1)?
False
Let i be (-2)/6 + (-75)/(-9). Let n be (-60)/8*i/(-10). Suppose 18 = 4*a - n. Is a a multiple of 6?
True
Suppose -2*l - l = -2*i - 485, 335 = 2*l + i. Is 17 a factor of l?
False
Suppose 3*f = 5*y + 7*f + 154, 153 = -5*y - 3*f. Let j be 2/5 + 1452/y. Let n = j - -83. Is n a multiple of 14?
False
Let a be 0 - (2 - 2 - 0). Let d be -2 - (-6 - -1) - a. Suppose d*q = -2*q - i + 76, 5*i = 3*q - 68. Is 8 a factor of q?
True
Let o(c) = -2*c**3 + 5*c + 5. Is 3 a factor of o(-3)?
False
Suppose p = 3*g - 7, -3*g + 5*g - 16 = -5*p. Suppose p = b - 0*b + 5*m, 0 = b - 2*m + 19. Is -3*(-1)/((-3)/b) a multiple of 13?
True
Suppose -16 = -o + 5. Suppose 24 = i - o. Is 23 a factor of i?
False
Let l(a) = -a**2 + a. Let z be l(1). Let b(t) = -2*t**2 + 5*t. Let s be b(2). Suppose -s*g + 84 = -z*g. Does 21 divide g?
True
Suppose -4*s = -5*l - 8, -4*s = -s - 3*l - 6. Let f be 8 - (0 - (1 - s)). Suppose 0 = -5*x - a + 79, -59 = -5*x - 3*a + f*a. Does 15 divide x?
True
Suppose 3*y - 3*t = 45, 0 = -2*y - 3*t + 2*t + 18. Suppose y = 4*z - 61. Does 6 divide z?
True
Suppose 3*y - 88 = 83. Is 30 a factor of y?
False
Let z = 10 + 8. Let b(k) = -1 + 1 - z*k + 2 + 0*k. Is 14 a factor of b(-2)?
False
Let b = 15 + -12. Suppose -m - b*m = j - 117, 5*m = -2*j + 144. Does 10 divide m?
True
Suppose -2*h - 11 = -5*c, 0*c - 2*h - 8 = -4*c. Suppose 0*z - 42 = -c*z. Is 10 a factor of z?
False
Suppose 2*h = h - 4. Is 23 a factor of h/12 + 651/9?
False
Let a be (-2)/(-7) + 24/14. Suppose 4*s - 535 = -7*o + a*o, 3*s - 3*o - 381 = 0. Suppose -4*u + s = u. Is u a multiple of 14?
False
Let b(g) = 3*g - 10. Let o be b(5). Suppose 0 = -o*z - 4*s + 33, -z + 24 = 2*z + s. Is 2 a factor of z?
False
Does 15 divide 12/21 + (-496)/(-14)?
False
Suppose -6*y - 80 = -566. Does 27 divide y?
True
Let b(o) = -o - 6. Let r be b(-6). Suppose r = 3*l - 5*l + 52. Is 13 a factor of l?
True
Let y = -31 + 332. Suppose -2*j = 2*n - 114, -5*j + n + y = 2*n. Is 23 a factor of j?
False
Let g = -79 + 144. Is g a multiple of 27?
False
Let u be 69/6 + (-1)/(-2). Let m = u - 5. Does 2 divide m?
False
Let g(l) = -l**2 + 1. Let z be g(-1). Suppose t + 3*t - 56 = z. Is t a multiple of 7?
True
Is 31 a factor of (4 + -1)*(-248)/(-6)?
True
Let o(v) = -6*v**2 + v - 7. Let w(s) = -5*s**2 + s - 6. Let i(m) = 4*o(m) - 5*w(m). Is 4 a factor of i(5)?
False
Let s be (-3)/((-3)/1)*2. Let l(z) = -51*z + 3. Let r be l(s). Is 11 a factor of (r/15)/((-2)/10)?
True
Suppose 2*r - a + 0*a = 22, 0 = 4*r - 3*a - 42. Suppose -r = z + 3*z. Is 124/16*(1 - z) a multiple of 8?
False
Let y(v) = -2*v - 14. Let t be y(-6). Let g(h) = 8*h**2 + h. Does 15 divide g(t)?
True
Let b = 4 + 0. Suppose -6 = -5*l + b. Is 2 a factor of l?
True
Suppose -35 = -2*j - 4*r + 83, -5*j = 3*r - 274. Is j a multiple of 30?
False
Suppose -2*i + 93 = 4*f - 59, 6 = -2*f. Does 7 divide i?
False
Let r(w) = w**3 + 2*w**2 - 2*w + 1. Let y be r(1). Does 10 divide -3 + y + -2 - -15?
False
Let w = -9 - -13. Suppose 0 = -u - 3*c + 7, 4*c = w. Suppose 0 = u*f + 2*n - 60, 7*n = 2*n - 10. Is f a multiple of 8?
True
Suppose -3*r + r = -2. Let k(n) = -n**2 + n - 1. Let f(z) = -z**2 + 9*z - 7. Let h(b) = r*f(b) - 3*k(b). Does 8 divide h(-5)?
True
Suppose -k + 2 = -0*k. Suppose -t = 5*p - 29, -4*t + k*p + 93 = -p. Is 13 a factor of t?
False
Suppose -t + 8 = t. Is 2 a factor of t?
True
Suppose -n = -0*n - 2. Suppose -n*p - 11 = x + 3*p, x - 34 = 4*p. Does 7 divide x?
True
Let s(v) = -v**2 - 13*v - 16. Let i be s(-11). Suppose 0 = i*o - 2*o - 12. Is 2 a factor of o?
False
Suppose 5*r - 4*r = -4*u + 89, 5*r = -5*u + 130. Does 6 divide u?
False
Suppose -4*l + 5*q = 4*q - 24, 0 = -3*l + 4*q + 5. Let x(p) = 2*p**2 - 11*p + 6. Does 9 divide x(l)?
True
Does 5 divide -1 + 52 + 3/(-12)*-4?
False
Let b(y) be the second derivative of 5*y**4/12 - y**3/6 + 3*y. Is 6 a factor of b(2)?
True
Let p be 2/(-7) - 37/(-7). Suppose -3*u = j + 8 - 1, 4*j = p*u + 6. Is 12 a factor of (-8)/u*(1 + 5)?
True
Let w be 10/55 + 2/(-22)*-141. Suppose -3*r + 198 = -0*r. Suppose 3*c = 2*m + r - w, -3*c + 29 = 4*m. Is 12 a factor of c?
False
Suppose -1900 = -6*x - 4*x. Does 42 divide x?
False
Let y be ((-2)/6)/((-4)/60). Suppose 9*a - 4*a = 3*g + 127, 0 = y*g + 20. Is a a multiple of 9?
False
Let x = 16 + -4. Let h = 14 - x. Does 2 divide h?
True
Suppose -3*y = -4*y + 2. Suppose 4*l + 2*j + 172 = 0, l + 17 + 26 = -5*j. Is 22 a factor of l/y*-2 - 1?
False
Let s be (-2 - -6)*(-26)/4. Suppose -3*n - 3*g + 2 = 23, -3*n = -2*g + 1. Is 18 a factor of (s/n)/((-3)/(-9))?
False
Suppose -12 = 2*a - 28. Suppose -28 = 3*r + 5*d, 2*r - 2*d + 29 + 11 = 0. Is 15 a factor of (30/a)/((-2)/r)?
True
Let o be -3*5/15 - 15. Let i(d) = 8*d - 7. Let z be i(5). Let c = o + z. Is 17 a factor of c?
True
Let o = -14 + 14. Is 14 a factor of (o - 1) + 0 + 29?
True
Let z = -10 - -12. Is 58/z - 1 - 1 a multiple of 6?
False
Let q(w) = -3*w - 24. Let k be q(-8). Suppose m = -4*m - 5*h + 40, 0 = 3*h - 15. Suppose m*j + 2*j - 15 = k. Does 3 divide j?
True
Let p(g) = -g + 12. Let k be p(5). Let x(i) = i**2 - 3*i - 9. Is 18 a factor of x(k)?
False
Suppose 5*y - 276 = 214. Suppose -3*t = 5 - y. Is t a multiple of 11?
False
Let g(x) = -2*x - 4. Let v be g(-4). Suppose -38 - 42 = -v*s. Does 13 divide s?
False
Let z = -44 - -28. Let m = 37 + z. Is m a multiple of 7?
True
Let h(o) = -4 + 12 - 5*o + 4*o. Let n be h(6). Suppose -5*i + 0*u + 38 = -u, 4*i + n*u = 22. Is i a multiple of 7?
True
Suppose 8 = -12*u + 13*u. Is 4 a factor of u?
True
Suppose 2*f - 5*f + 549 = 0. Is 19 a factor of f?
False
Suppose 12 - 40 = -4*i + 4*s, -2*i - 5*s - 14 = 0. Let f(k) be the third derivative of k**6/120 - k**5/60 + k**4/12 - k**3/2 - 3*k**2. Is f(i) a multiple of 14?
False
Suppose 3*q = 2 + 58. Is 5 a factor of q?
True
Let k(o) = 3*o**3 - 3*o**2 + o - 3. Let t(z) = -z**3 + 7*z**2 - z + 9. Let q be t(7). Let x(c) = c**2 + c. Let d(r) = q*x(r) + k(r). Is 8 a factor of d(2)?
False
Let z = 188 + -18. Is 34 a factor of z?
True
Suppose 40 = -0*w + 4*w. Suppose 2*f = -0 + w. Is f a multiple of 3?
False
Suppose -x = -3*i + 1, -4*i + 3*i + 5*x = 9. Suppose i - 16 = -5*r. Is 17 a factor of (9/(-4))/(r/(-48))?
False
Let a be (3 - 24/9)*18. Let q = -2 + a. Is q a multiple of 2?
True
Suppose 5*b - b - 2*f = 52, 3*b - 39 = -f. Does 13 divide b?
True
Let g(j) = -j**3 - 9*j**2 + 7*j + 2. Let o(z) = 3*z**2 - 4*z**2 + 2*z - z. Let d(v) = g(v) - 6*o(v). Is d(-4) a multiple of 9?
False
Let s(x) = -12*x - 3. Let u be s(-4). Suppose -6*b + 155 = -b. Let p = u - b. Does 7 divide p?
True
Suppose 0 - 8 = 4*z. Let a = -2 - z. Suppose 8*i - 4*i - 80 = a. Does 9 divide i?
False
Suppose -2*a = -5*y + 195, 0*y + 3*a = 3*y - 117. Does 13 divide y?
True
Let t(b) = -40*b + 6. Let x be t(7). Let k = x - -44. Is 13 a factor of (-2)/(-4)*k/(-5)?
False
Suppose 0*g = -5*g + 15. Suppose -g*b + 6 = -12. Is b a multiple of 5?
False
Let l(n) = n**3 + 6*n**2 + 3. Let j be l(-6). Suppose -2*c - 2*f = 52, -j*f + 2*f = 5*c + 118. Let y = c - -53. Does 15 divide y?
True
Suppose 0 = -5*z - 2*c + 540 + 120, 4*z - 515 = c. Is 14 a factor of z?
False
Suppose -3*u = 5*r - 2 + 15, -4*r = u + 9. Is r/(0 + 1) + 20 a multiple of 18?
True
Is (14/21)/(2/453) a multiple of 21?
False
Suppose 0 = 2*l + 32 - 96. Does 8 divide l?
True
Suppose 2 = -a + 4. Suppose m - a = 2*m. Let s = 25 - m. Is 9 a factor of s?
True
Let r = -125 + 235. Suppose 0 = -4*t + r - 30. Is t a multiple of 20?
True
Suppose -12*f - 433 = -2125. Is f a multiple of 8?
False
Let v be 740/(-90) + (-4)/(-18). Let f = 3 - v. Is 11 a factor of f?
True
Let r(u) = -u**3 + 10*u**2 - 10*u + 12. Does 2 divide r(9)?
False
Let o = 8 - 4. Let n be (o/(-3))/((-14)/21). Suppose -5*f = -4*k + 53, -3 = k - n*f - 20. Is 7 a factor of k?
True
Let t be (54/(-8))/((-1)/4). Suppose -4*m + 14 = 3*i, -3*m + t = 2*m - i. Suppose -m*w = -158 - 52. Does 14 divide w?
True
Let m = -18 - -22. Is m a multiple of 4?
True
Let z(t) = 2*t - 1. Let c be z(3). Suppose -2*q - 2*o + 24 = -4*o, -c*q + 60 =