ue
Suppose 4*p = p. Suppose p = 4*i - 3*b + b + 224, -168 = 3*i + 4*b. Let c = i + 104. Is 13 a factor of c?
False
Let r(o) = 2*o - 6. Let j be r(4). Let z(t) = -10*t**3 + t**2 + 2*t + 8. Let k(w) = -w**3 + w + 1. Let x(i) = 5*k(i) - z(i). Is 15 a factor of x(j)?
False
Let x be (-2 - -1)/((-1)/3). Suppose -13 = -3*f + 2*z - 3, 0 = -2*f - x*z - 2. Let b = 13 - f. Does 7 divide b?
False
Let q be 0 + (-23)/1 + -2. Let k be (-2 + 1)/1 + 78. Let c = q + k. Is c a multiple of 19?
False
Let s = -14 + 32. Is 6 a factor of s?
True
Let f = 44 + -11. Is 11 a factor of f?
True
Suppose 8 = -4*v, x + 0*x - 79 = -2*v. Suppose 56 = 2*g + 4*d, -4*g = 5*d - 20 - x. Is 11 a factor of g?
True
Let y = 11 + -6. Let u be (4 + -1)/(1/24). Is 9 a factor of (u/(-10))/(-4)*y?
True
Let j(h) = -2*h + 3 + 0 - 1. Let q be j(3). Is (10/q)/((-5)/10) a multiple of 5?
True
Let g = -253 - -357. Does 13 divide g?
True
Let y be (153/12)/(2/(-8)). Let j = -27 - y. Is j a multiple of 24?
True
Let l(k) be the third derivative of k**5/60 + k**4/24 - k**3/2 - 2*k**2. Does 16 divide l(6)?
False
Let g(b) = 3*b**3 - 4*b**2 + 5*b - 1. Is 26 a factor of g(4)?
False
Suppose -t + 2 = -3*j, -2*j + 3*t - 20 = -7*j. Does 13 divide (0 - j)*(-27 + 1)?
True
Suppose 0*w + w + 109 = 0. Let l = w - -162. Does 19 divide l?
False
Is 5 a factor of -3*(((-30)/(-2))/(-3))/1?
True
Let u = 19 + -13. Let w be 4/3*u/4. Suppose w*x - 21 - 3 = 0. Does 12 divide x?
True
Let y = -6 + 12. Let b(l) = l**2 + 2*l. Let f be b(-3). Suppose 5*m + 207 = 4*w, y*m = f*w + 3*m - 153. Is w a multiple of 24?
True
Suppose 2*h + 12 = 6*h + 2*w, h + 6 = -5*w. Suppose -4*a + f - h*f - 12 = 0, -a = -4*f - 16. Suppose 2*k = -a*k + 50. Is 14 a factor of k?
False
Suppose 3*b = 91 - 28. Does 21 divide b?
True
Suppose 2*l + 4*k - 62 = 0, -3 = -3*k + 6. Let p = -15 + l. Does 3 divide p?
False
Suppose 0 = 6*y - 2*y - 16. Suppose -2*r = -p + y*p - 21, -3*r = p - 21. Is 4 a factor of r?
False
Let m be 3 - 22/(-6)*-3. Let f(d) be the third derivative of -d**4/24 + 5*d**3/6 - d**2. Is f(m) a multiple of 7?
False
Let c = -4 + 8. Suppose -1 = -t + c. Does 4 divide t?
False
Suppose 12 = 7*o - 114. Is o a multiple of 5?
False
Let t(v) = -v**3 + 2*v**2 + 4*v - 2. Let o be t(4). Is 47/3 - 6/o a multiple of 15?
False
Suppose -a - a + 112 = 0. Is 8 a factor of a?
True
Suppose 2*w + 2*w - 2*p + 734 = 0, 5*w + 925 = -5*p. Is 16 a factor of w/(-6) + (-6)/(-18)?
False
Suppose -2*b = -19 + 3. Let y = 15 - b. Suppose -r = -n + 17, -2*r - y - 13 = -n. Does 13 divide n?
False
Let o(p) = -5 + 4*p**2 - 3*p**2 - 5*p - p. Let v be o(7). Suppose -2 - 4 = -v*b. Is b a multiple of 3?
True
Suppose 2*r + u - 20 = -3*u, -2*r - 25 = -5*u. Let i = 5 + r. Is i even?
False
Let z be (2/(-5))/(10/(-50)). Let w = 12 + -7. Suppose 5*i = w*l - 25, -z*i - 45 = -5*l - 8. Does 4 divide l?
False
Let v be 16 - 3/3*0. Suppose o + 0*o = v. Does 10 divide o?
False
Suppose -4*p + 0*p + 20 = 0. Suppose 0 = -3*i + p*i. Suppose 0*r - 5*r + 30 = i. Is r even?
True
Let h(u) = 2*u**3 - 18*u**2 + 7*u - 14. Is 49 a factor of h(9)?
True
Let o be -3*(-2)/6 - -1. Is 8 a factor of 34/o - (0 - -1)?
True
Let o(l) = l**3 + 8*l**2 + 5*l + 1. Suppose 3*r + r - 4*j = -8, 0 = 2*r - 3*j. Let n(v) = v + 2. Let g be n(r). Does 18 divide o(g)?
False
Suppose 0*k - 2 = -k. Suppose -3*s + 4*x = -27, k*s - x - 3 = 15. Is s a multiple of 7?
False
Let h(m) = 3*m - 4. Suppose -19 = -2*o - 5. Does 5 divide h(o)?
False
Suppose -2*u = 2*x - 314, 3*u + 5*x - 110 = 365. Is 23 a factor of u?
False
Let g(w) = 11*w**2. Let l be g(-2). Suppose -u + l = u. Is u a multiple of 4?
False
Let a be 12/9*30/(-4). Let q be (-3 + 28/8)*-10. Does 15 divide q*((-168)/a)/(-2)?
False
Let u(n) = -n**3 - 7*n**2 - 2*n - 2. Is 26 a factor of u(-8)?
True
Is (-72)/(-1) - (2 + 1) a multiple of 23?
True
Is 28 a factor of (-8)/52 - (-2188)/26?
True
Does 20 divide (-1)/((-3)/4)*45?
True
Let i(r) = 8 + 4*r + 9 - r**2 - 8 + 3*r. Let b be i(7). Is 2/6 + 69/b a multiple of 5?
False
Let f be (-6)/9 - (-430)/6. Suppose 3*j = 5*k + 47, -4*j - 1 = -3*k - f. Does 12 divide j?
False
Let b(o) = -3*o + 14 + 2*o - 6*o. Let i(m) = 15*m - 27. Let c(y) = -9*b(y) - 4*i(y). Is 7 a factor of c(13)?
True
Suppose 5*g - 26 = 3*g. Suppose -25 = 4*v - 5*v + 5*y, -5*v = 3*y - g. Suppose -4*z = v*s - 76, -2*s = -0*s - 4*z - 36. Is 8 a factor of s?
True
Suppose d - 5*d = -16. Let n = 17 - 7. Suppose d*y = -3*f + n, 2*y + 28 = -0*f + 4*f. Is f a multiple of 6?
True
Let d(l) be the second derivative of 7*l**3/6 + 6*l. Is 10 a factor of d(4)?
False
Let a(g) = 4*g**2 - 18*g - 1. Let v(t) = 13*t**2 - 55*t - 2. Suppose 1 - 5 = -4*f, -3*j = -4*f - 17. Let i(r) = j*a(r) - 2*v(r). Is i(11) a multiple of 21?
True
Suppose -4*f = -3*f - 3. Suppose f*q - 5*q = -10. Is 2 a factor of q?
False
Suppose 3*t + 12 = 7*t. Let k be (-28)/(-12) + 2/t. Suppose l + k*l - 80 = 0. Is 10 a factor of l?
True
Suppose -2*l - l = -78. Let m = 30 - l. Is m a multiple of 2?
True
Suppose -b - 2 + 4 = 0. Let t(j) = -j - b + 1 - j. Is 3 a factor of t(-3)?
False
Let s(a) = a**3 - a - 3. Let w = 1 - 1. Let o be s(w). Is 11 a factor of (1/o - -2)*15?
False
Let b(t) = 4 - 1 + 4*t**2 - 2*t**3 + t**3. Let k be (8/3)/((-2)/(-3)). Is b(k) even?
False
Let r = 64 - 41. Is 11 a factor of r?
False
Suppose 9 = l + 3*a - 10, 0 = -3*l - 5*a + 37. Let x(z) = 4*z + 2*z - 2*z + l. Is 8 a factor of x(4)?
False
Let t = 49 - 127. Let g = -42 - t. Is 18 a factor of g?
True
Let z(k) = k**2 - 6*k - 4. Is z(9) a multiple of 9?
False
Suppose -94 = -2*w - 10. Does 14 divide w?
True
Let v(f) = 11*f + 0*f**2 + 8*f**2 + f**3 - 10 - 3*f. Let h be v(-7). Let u = h - -28. Is u a multiple of 10?
False
Let y be 2/((-159)/165 - -1). Suppose 4*v = 969 + y. Is v/18 + (-6)/27 a multiple of 14?
True
Does 12 divide 45/(-10) - (-9)/6 - -39?
True
Suppose -1 + 11 = 2*y + 2*n, 4*y + 4 = 4*n. Suppose -h + 1 + 16 = -y*r, 0 = 4*h + 3*r - 101. Let j = h - 2. Does 11 divide j?
False
Let j be (1 - (-3)/(-6))*0. Suppose 5*m - 9 = 1. Suppose -4*d + j*x + 44 = m*x, -x + 52 = 5*d. Is 9 a factor of d?
False
Let d(z) = -5*z + 11. Let q be d(8). Let o = 3 + q. Let n = -8 - o. Is 9 a factor of n?
True
Suppose 5*n - 22 = 2*m, m + 10 = -n - 1. Let f = m + 16. Is f a multiple of 5?
True
Suppose -4*k - f = -0*f - 275, 5*f + 74 = k. Does 17 divide k?
False
Suppose -3*s + 106 = 19. Suppose -7 = -i - k, -4*i - k + s = -i. Is 3 a factor of i?
False
Let p be (-3)/(8 - 2)*10. Let n be p/4 + (-3)/(-12). Let q(g) = 51*g**2 - 2*g - 1. Is q(n) a multiple of 24?
False
Let m(k) = -k**2 + 9*k + 5. Let w be m(9). Suppose -a + 46 = 3*c, w*c - 47 = a + 27. Is c a multiple of 15?
True
Let l(y) = -y**2 - 4*y + 5. Let w be l(-4). Let m(u) = 6*u - 21. Let g be m(4). Suppose -3*h - g*d + 9 = 0, 0 = -3*h - w*d + 1. Is h a multiple of 7?
True
Suppose 2*p = -2*p + 344. Is 20 a factor of p?
False
Let j(r) = -r**3 - 2*r**2 - 25. Is 44 a factor of j(-7)?
True
Let d = 9 + -6. Suppose -5*l + 4*r = -22, r + 9 = 5*l - 2*l. Suppose 2*f = -l*u - d*u + 35, 2*f + 4*u - 36 = 0. Is 10 a factor of f?
True
Let g = -95 + 137. Does 31 divide g?
False
Let j(s) = 3*s + 21. Is 17 a factor of j(10)?
True
Let j(m) = 70*m**2 + m. Let a(r) = r**3 - 3*r**2 + r - 4. Let b be a(3). Let z be j(b). Suppose 5*y - 69 = -6*f + 3*f, 3*f + 3*y = z. Is f a multiple of 17?
False
Suppose n = -n + 6. Suppose -5*u - n*t + 166 = 27, -4*t = 2*u - 50. Is u a multiple of 8?
False
Let u = 18 - -52. Is 14 a factor of u?
True
Suppose -5*i + 5 = -0. Is 19 a factor of 20/(-8)*-12 - i?
False
Let t(u) = u**2 - 6*u + 2. Let c be t(4). Let d = c - -5. Does 16 divide d/(2/(-7))*12?
False
Does 6 divide (6/(-8))/(7/(-252))?
False
Suppose -y - y + 14 = 0. Suppose -y - 3 = -2*l. Suppose j = l*j - 40. Is 5 a factor of j?
True
Let l(a) = 1 - a - 2 + 6. Does 9 divide l(-5)?
False
Let h(d) be the first derivative of 2*d - 3/2*d**2 + 1 + 3*d**3. Is h(2) a multiple of 16?
True
Let g = -30 - -16. Let x = g + 26. Suppose 0*j = -3*j + m + 16, x = 2*j - m. Is j a multiple of 3?
False
Let l(j) = -j**2 - j + 14. Let p be l(-6). Let c = -9 - p. Is c a multiple of 4?
False
Suppose 5*y - 472 = 2*y - 5*k, 3*y - 3*k = 456. Is 22 a factor of y?
True
Let p = 6 + -4. Does 19 divide 3 + (216/p)/2?
True
Let g = 13 - 8. Suppose r + 2*j - 2 = 0, -4*r = g*j - j - 8. Does