e
Let t be (4/(-1))/((-6)/84). Suppose -2*p - t = -6*p. Does 5 divide p?
False
Does 22 divide 0/6 + -1 + 67?
True
Suppose 3*q = -5*w - 0*w - 1, 0 = 4*w - 2*q - 8. Suppose -4 = -0*r - 2*r. Does 2 divide w/(r/(30/3))?
False
Let q be (1 - (-2)/(-6))*72. Suppose 5*s - 5*i = -2*i + 60, -i - q = -4*s. Is s a multiple of 5?
False
Let q(y) = -y**3 + y**2 - 1. Let o(w) = -8*w**2 - 7*w. Let h(j) = -o(j) - q(j). Let g be h(-5). Suppose -5*r + r + g = 0. Is r a multiple of 4?
True
Let z(u) be the first derivative of -u**3/3 + 4*u**2 - 7*u + 1. Suppose -1 = 4*p - 21. Is 7 a factor of z(p)?
False
Let s = 13 - 21. Let m be (-42)/s - 2/8. Is 14 + m/(15/(-6)) a multiple of 6?
True
Suppose -3*f + 5*h = -131, 5*h = -2*f + 66 - 12. Let a be ((-4)/(-6))/(16/72). Suppose -a*p + f = -11. Is p a multiple of 8?
True
Let d(j) = j**3 - 5*j**2 + 5*j. Let l be d(4). Suppose 5*k + 23 = -3*n, k + 0*n + l*n + 8 = 0. Does 12 divide (-83)/(-2) - k/8?
False
Suppose d + d = 5*v - 140, -129 = -4*v + 5*d. Does 13 divide v?
True
Suppose 2*r + 4 = 4*i, -2*i - r = -6*r - 10. Suppose -5*g - 3*h = -3*g - 13, i = 5*g - 2*h - 80. Is 14 a factor of g?
True
Suppose 3*k = 8*k - 40. Let d = k + -4. Is d a multiple of 2?
True
Let d(b) = -b**3 - 9*b**2 - 8*b + 1. Let h be d(-8). Suppose 3*a = 13 - h. Suppose -a*t + 5 = 1, 2*t = 3*u - 52. Is u a multiple of 18?
True
Suppose -14*s + 18*s - 96 = 0. Does 12 divide s?
True
Is 26 a factor of 51/68 + 370/8?
False
Let f = 72 + -46. Is f a multiple of 13?
True
Let x be 1 - (-1 + -2 + 4). Suppose -f + 4*d + 0*d + 27 = x, -2*d = 0. Is f a multiple of 9?
True
Let x = -8 + 10. Suppose -m + x = -1. Does 2 divide m?
False
Let v(q) = 9*q**2 + q. Does 8 divide v(2)?
False
Suppose 5*p + 3*b - 463 = 110, -4*p + b = -472. Is p a multiple of 13?
True
Let i(r) = -r**3 - 5*r**2 + 3*r - 7. Let z be i(-6). Let n = -3 + z. Is n a multiple of 8?
True
Let p be 104/48 - (-2)/(-12). Suppose 0 = -5*l + g + 227, -96 = -p*l + 2*g - 2. Is l a multiple of 9?
True
Suppose -5*b - 36 = -286. Suppose -2*x - 3*x + b = 0. Does 16 divide 4/x - 98/(-5)?
False
Let v(j) = -j**2 + 23*j - 25. Is 19 a factor of v(8)?
True
Does 5 divide (-135)/(-10)*(-2)/(-3)?
False
Suppose 3*x + 5*w = 15, 0 = -4*x - 4*w + 21 - 1. Suppose x*m = 100 + 65. Is m a multiple of 8?
False
Suppose -4*v + 25 = -27. Is v even?
False
Suppose -18 = 2*v - 54. Does 9 divide v?
True
Let n(d) = 35*d**2 + d. Does 26 divide n(-2)?
False
Suppose 2*u - 21 = -5*j, -4*u + 97 = -0*u - j. Is 8 a factor of u?
False
Suppose 0 = -u - u + 2*x + 202, -5*u + 541 = 4*x. Does 21 divide u?
True
Suppose -k = 3*k - 3*j + 33, 37 = -4*k - j. Is (-69)/k - (-1)/3 a multiple of 3?
False
Let v be 1/2 + (-121)/(-2). Let o = 122 - v. Suppose 0 = 5*d - q - o - 64, 0 = 5*d - 5*q - 145. Is d a multiple of 12?
True
Suppose 7*t = 4*t - 9. Is 7 a factor of 68/6 - 2/t?
False
Let b(p) = p**2 + 14. Let u be b(0). Let l = 27 - u. Is 5 a factor of l?
False
Suppose 2*k = 5*g - 192, 2*g + 2*g - 396 = 4*k. Let f = 144 + k. Is 11 a factor of f?
False
Suppose 4*v + l - 5*l - 124 = 0, -2*l = -3*v + 89. Let h = -12 + v. Is 11 a factor of h?
False
Let a(v) = 3*v**2 - 13*v + 7. Does 4 divide a(5)?
False
Let b(x) = -3*x + 2*x + 2*x. Let y be b(-11). Let p = -6 - y. Is p a multiple of 2?
False
Suppose 0 = 3*g - 57. Does 19 divide g?
True
Let c(r) = -r**3 - 3*r**2 + 5*r + 6. Let n = -2 + -2. Let o be c(n). Let w(p) = 8*p**2 + 2*p - 2. Is w(o) a multiple of 19?
False
Let i(l) = -3*l + 14. Does 4 divide i(-6)?
True
Let g = -2 + 5. Suppose -27 - 78 = -g*k. Does 9 divide k?
False
Suppose -120 - 510 = 3*i. Does 26 divide (-1)/(2 - i/(-104))?
True
Suppose 3*c + 5*j = 8*c - 650, -5*c + 4*j + 648 = 0. Is c a multiple of 35?
False
Let n(z) = 3*z**2 + 6*z + 5. Is n(-7) a multiple of 10?
True
Let j = -14 - -26. Suppose -2*r + 2*u - 14 = -2*u, -4*u = -4*r - j. Is 7 a factor of (-25)/10*(-7 + r)?
False
Suppose 0 = 5*n - 2*f + 18, 3*f + f - 26 = 5*n. Does 7 divide (21*2/(-3))/n?
True
Suppose 0 = 4*v + 5 + 23. Let z be 1 + -1 - (0 - v). Let c = 2 - z. Is 5 a factor of c?
False
Let t(d) = d**2 + 8*d + 2. Let p be t(-3). Let x = -5 - 4. Let v = x - p. Is v a multiple of 2?
True
Let h be -20 - (-3*2 - -3). Let x = h - -20. Is 3 a factor of x?
True
Suppose 5*g + 29 = 5*n - n, -5*n + 5*g + 35 = 0. Suppose 3*v - 5*v + n = 3*o, 5*o - 15 = -5*v. Suppose -y + 29 = v. Is 13 a factor of y?
True
Let p be (-1)/(1/2 - 1). Suppose -p*x - o = x - 7, 5 = 4*x - 3*o. Is 7 a factor of x/(-2)*(-15)/1?
False
Let k = 24 - 48. Let l = -13 - k. Is l a multiple of 3?
False
Suppose 3*w = -5*k + 64, -5*k - 6 = w - 14. Is w a multiple of 14?
True
Suppose -4 = -f + 317. Is 40 a factor of f?
False
Suppose 0 = -5*l + b + 120 + 33, 4*l + b - 117 = 0. Let p be l/4 - (-3)/6. Let n = -5 + p. Is 3 a factor of n?
True
Let v = 3 - -23. Suppose v = 5*z - 3*y - 10, -y - 6 = -z. Is 4 a factor of z?
False
Suppose -5*k + 0*k = -15. Let d be (8/(-5))/((-7)/35). Suppose -k*w + d + 34 = 0. Is 7 a factor of w?
True
Let x be (-24)/((-22)/8 - -2). Suppose 0 = -4*u - d + x + 88, -u = -4*d - 30. Does 11 divide u?
False
Let w(j) = j**3 - 6*j**2 - 3*j - 10. Does 18 divide w(7)?
True
Suppose 5*j - 3*i = -25, 3 = j + i - 0. Let f(r) = -10*r - 2. Is 13 a factor of f(j)?
False
Suppose -3*z = -0*j + 4*j - 27, 22 = 4*j - 2*z. Does 2 divide j?
True
Is (4/4 - 7)*-4 a multiple of 24?
True
Let x(j) = -j**2 + j - 4. Let z be x(0). Let l(s) = -8*s - 9. Does 8 divide l(z)?
False
Suppose 5*h - 450 = 7*u - 2*u, 0 = -5*h + 3*u + 448. Let m = -31 - h. Is 2 a factor of m/(-25) + (-2)/(-10)?
False
Let b be 1*(-1 - 2)*-2. Let v be 52/3*3/2. Suppose 4*x = b*x - v. Is x a multiple of 13?
True
Suppose 0 = 2*w - 4*w + 4. Suppose 17 + 18 = 2*v + 3*g, 2*v - 20 = w*g. Is 11 a factor of v?
False
Let a = -3 + 5. Suppose 3*l + 0*s = -s + 327, -4*l + 449 = -3*s. Suppose 3*o - l = -a*o. Is o a multiple of 11?
True
Let c = -23 + 19. Does 10 divide (9 - -6)/((-1)/c)?
True
Suppose 0*m - 2*m - 5*u = 29, 0 = -3*m - 3*u - 21. Let o be (m/(-3))/(4/396). Suppose 0 = -4*c - 10 + o. Is 14 a factor of c?
True
Let s(t) = 2*t**2 + 7*t + 3. Is 13 a factor of s(-7)?
True
Let u(x) = 6*x**2 + 3*x - 2. Does 4 divide u(2)?
True
Let l(v) = 2*v**3 - 7*v. Let q(b) = -b**3 - b**2 + 6*b. Suppose 0*w = -2*w + 6. Let s(t) = w*l(t) + 4*q(t). Is 6 a factor of s(2)?
True
Suppose 4*c - 5 - 29 = -3*a, 4*c + 38 = a. Is 4 a factor of a?
False
Is (95 - 5)*(-2)/(-4) a multiple of 4?
False
Let r(n) = -2*n**2 + 10*n + 5. Let s(l) = l**2 - 5*l - 2. Let h(f) = 2*r(f) + 5*s(f). Let w be h(8). Suppose t - 17 = 2*c, t + 8 = 3*c + w. Does 8 divide t?
False
Let u(g) = -g**2 - 7*g + 12 - 1 - 3. Let o be u(-7). Suppose f - 3*k = -o*k + 49, -4*f + 128 = 3*k. Is 14 a factor of f?
False
Let p be (0/(-1))/(0 - -1). Suppose 39 = 4*t + 11. Suppose -t = o - 2*o - l, p = -l - 5. Does 12 divide o?
True
Let f(z) = z + 11. Let w be (-2)/(-1) + -11 + -2. Let x be f(w). Suppose -2*h - h + 3*r + 51 = x, -2*h = -4*r - 32. Does 9 divide h?
True
Suppose 2 - 12 = -5*i. Suppose i*v - 1 = v. Is v*(0 - -3) - -5 a multiple of 3?
False
Let p(x) = -x**3 + 8*x**2 - 4*x + 3. Does 11 divide p(5)?
False
Let f = 6 - 4. Suppose -5*c - 781 = -4*j, 4*j = 4*c - 7*c + 773. Suppose j = 5*r - g, g + 126 = 3*r - f*g. Is r a multiple of 15?
False
Let d = -49 - -87. Is d a multiple of 15?
False
Let k(g) = g**2 + 13*g. Is k(8) a multiple of 24?
True
Suppose j + 43 = -2*l + 169, l - 63 = -4*j. Is l a multiple of 5?
False
Suppose 2*z = -l - 3, -4*l + 3*l - 3*z = 5. Suppose 3*x - 5 - 4 = 0. Is 9 a factor of l/x + 140/12?
False
Suppose 109 + 63 = 4*c. Is 8 a factor of c?
False
Suppose -5*h + 4*h = 0. Let x = h + 3. Does 14 divide (-90)/4*(-4)/x?
False
Suppose 8 + 8 = 4*o. Suppose -o*y + 49 = -107. Is y a multiple of 12?
False
Let b(a) = 25*a - 2. Is 8 a factor of b(1)?
False
Let b(k) = -k + 8. Suppose 4*c + 8 = 6*c. Let y be (-1 - -1)*4/c. Does 7 divide b(y)?
False
Suppose 5*c - 2*s - 650 = 0, -2*c - 4*s + 163 = -97. Does 47 divide c?
False
Let y(i) = i**2 - 6*i - 11. Let z be y(8). Suppose -z*c + 15 = -0*c. Suppose o = 9 - c. Is o a multiple of 4?
False
Let z be 1/((-3 + 6)/6). Let k(s) = -2*s**2 - 2*s**3 + 4*s**3 + 2 + 0. Is 10 a factor of k(z)?
True
Let d(l) = 7*l + 10. Let y(x) = x. Let n(s) = d(s) - 6*y(s). Is 7 a factor of n(7)?
False
Let o(a) = a +