e
Suppose -5 = 5*z + 20. Let y = 39 + z. Is y a multiple of 12?
False
Suppose u - 4*u = 0. Suppose u*d - 26 = -d. Is 26 a factor of d?
True
Suppose j + 2*p = -j + 240, -5*j - 3*p + 594 = 0. Is j a multiple of 14?
False
Let f(d) = 2*d**2 + 7*d - 4. Let i be f(-7). Suppose 2*n - 2*a + 10 = a, -3*n - 3*a = i. Let j = n + 18. Is 7 a factor of j?
True
Let g = 3 - 3. Let x(i) = -i**3 + i**2 - i - 8. Let y be x(g). Is (-1 + 3 - 4)*y a multiple of 15?
False
Let o be (-238)/(-4) - (-2)/4. Let i = -1 + 4. Suppose 6*t - o = i*t. Is 20 a factor of t?
True
Suppose 0*b + 151 = 4*b - o, -4*o = -4. Is b a multiple of 13?
False
Let h = 109 + -77. Let k be 1/(-5) + h/10. Suppose x - 96 = -k*x. Is 15 a factor of x?
False
Let h(c) = -c**3 + 17*c**2 - 15*c + 22. Is h(16) a multiple of 38?
True
Let i(b) = -b**3 + 10*b**2 + 3*b + 33. Is i(9) a multiple of 20?
False
Let r be -2 + (-1)/1*-4. Does 27 divide (r + 0)/((-4)/(-66))?
False
Suppose 275 = 12*u - 7*u. Suppose u = 3*v - 71. Is v a multiple of 14?
True
Suppose 5*n = -3*z + 105, n + 0*n + 2*z - 14 = 0. Is 6 a factor of n?
True
Suppose -z + 16 = -a - 6, 0 = 3*z + 2*a - 91. Let l = z - 4. Is 9 a factor of l?
False
Suppose -w + 2 = 5*u, -4*u - 32 = -2*w - 0*u. Suppose -2*v = -w + 4. Is v a multiple of 2?
True
Let a be (15/10)/(3/2). Does 15 divide (-11 + 6)*a*-7?
False
Let o(b) = -3*b**2 - 7*b - 3. Let i(h) = h**2 - h - 1. Let g be i(0). Let m(r) = r. Let c(q) = g*o(q) - 3*m(q). Is c(-3) a multiple of 9?
True
Let w = -32 - -49. Is 17 a factor of w?
True
Does 13 divide 2/17 - 10056/(-68)?
False
Suppose -5*f + 21 = 3*k - 3*f, -3*k + 3*f = -21. Suppose -9 = -4*m + k. Suppose m*r - 47 - 9 = 0. Does 13 divide r?
False
Let s = -4 - -4. Suppose 0*k - k + 4 = s. Suppose 4*p - 76 = -k*o - 0*o, -4*p - 5*o = -78. Does 9 divide p?
False
Let o(u) = u**2 + 4*u - 26. Does 72 divide o(-13)?
False
Suppose 0 + 2 = -j, -2*m - 2*j - 2 = 0. Let g(s) = 2*s**2 - s + 3. Let a(d) = -d + 1. Let p(t) = m*g(t) + a(t). Is 22 a factor of p(5)?
True
Let x(n) = -n**2 + 19*n - 18. Is 15 a factor of x(13)?
True
Let l be ((-4)/(-6))/(4/18). Suppose l*j + 2*j - 10 = 0. Is (-18)/(-2) + (0 - j) a multiple of 4?
False
Let i(b) be the first derivative of b**4/12 - b**3/6 + 2*b**2 + b - 3. Let n(u) be the first derivative of i(u). Does 4 divide n(0)?
True
Suppose -3*d + j = 4*j + 30, 60 = -4*d + j. Does 10 divide (-144)/(-14) + 4/d?
True
Does 47 divide (8/(-10) - (-454)/(-20))*-4?
True
Let h(x) = -x**2 + 4*x. Let i be -1*2*6/(-4). Let s be h(i). Suppose -1 = -s*w + 65. Does 11 divide w?
True
Suppose 140 = 4*x + x + 5*f, 3*x = -5*f + 92. Let c be (-10)/35 + x/(-14). Is 13 a factor of (2/(-4))/(c/52)?
True
Let n = -28 - -78. Let g be (n/4)/(-5)*-4. Let q = 16 - g. Is q a multiple of 6?
True
Does 3 divide -4 + (-2 + -34)/(-3)?
False
Suppose 0 = z - 3 - 17. Suppose 3*n - z = -n. Is n/20 + 142/8 a multiple of 9?
True
Suppose -5*h = z - 11, 3*h + 0*h + 27 = z. Is z a multiple of 7?
True
Suppose n - 1 + 0 = 2*c, n = -c - 5. Is 6 a factor of (2 + c - 0) + 6?
True
Let c(a) = a**2 - a + 2. Let w be c(4). Let m = w + 5. Is 19 a factor of m?
True
Let i be 5/(-15) - 98/(-6). Suppose i = -0*d + d. Does 4 divide d?
True
Let v(t) = 4*t**2 + 2*t + 3. Is v(-3) a multiple of 20?
False
Let u(w) = -2*w + 1. Suppose 0 = -0*j + 4*j + 8. Let v be u(j). Suppose -4*p + v*c - 9 = 0, -2*p + 0*c + 28 = 4*c. Is p a multiple of 4?
True
Let m = 8 - 5. Suppose 0 = -m*i + 5*i - 66. Does 11 divide i?
True
Let m = -11 + 7. Let a be ((-51)/(-2))/((-3)/m). Let d = a + -22. Is 11 a factor of d?
False
Let g = 10 + 21. Suppose 3*m - 4*w = g, 5*m + 2*w - 41 = -2*w. Let p = m - 2. Is p a multiple of 7?
True
Let c = 121 - 17. Does 26 divide c?
True
Suppose 85 = 4*l - 235. Does 8 divide l?
True
Suppose 5*p + 6*m - 3*m = -18, -3 = 3*m. Does 3 divide p/12 + (-13)/(-4)?
True
Suppose r - 1 - 3 = 0. Suppose 4*v + 37 = 6*v + 5*f, 2*v = r*f + 10. Is 4 a factor of v?
False
Is 4 a factor of 3 + 40 + 4/16*4?
True
Let f = -76 + 46. Let s = -20 - f. Is 5 a factor of s?
True
Let x = -24 + 36. Let r = 20 - x. Is r a multiple of 5?
False
Suppose 0 = -4*t + 1 - 13. Is 10 a factor of t*(-8 + 3) - -2?
False
Let k(g) = -g**3 + g**2 + g - 4. Let j be k(0). Let u = j + 32. Is 14 a factor of u?
True
Suppose -2*q = q - 6. Is 350/15 + q/3 a multiple of 12?
True
Suppose -d + 3 = -110. Let q = 182 - d. Is 10 a factor of q?
False
Is (-1130)/(-25) + 3/(-15) a multiple of 15?
True
Let j(y) = y**2 + 5. Let b be j(0). Suppose b*i + 6*l = l + 40, 2*l = -i + 8. Is i a multiple of 3?
False
Let q(f) = f. Let m(b) = -16*b - 14. Let y(c) = m(c) + 12*q(c). Does 7 divide y(-10)?
False
Let x = -11 - -251. Does 16 divide x?
True
Is (-285)/(-9) + (-16)/24 a multiple of 3?
False
Suppose 0*g - 5*g = 5. Let y = g + -2. Does 7 divide (-3)/9 + (-22)/y?
True
Suppose -78 = -4*b + 26. Does 26 divide b?
True
Let n = 110 + -36. Does 22 divide n?
False
Let m(a) = a**3 + 8*a**2 + 4*a + 1. Does 15 divide m(-5)?
False
Suppose -52 - 36 = 2*f. Let p = f + 14. Is (-590)/p*6/2 a multiple of 15?
False
Let h(v) = 3*v**2 + 14*v + 18. Does 14 divide h(-9)?
False
Suppose -78 = -2*a - 28. Does 5 divide a?
True
Let p = 17 + -3. Suppose -2*k + p = -k. Does 9 divide k?
False
Let o = 46 - 9. Suppose 59 + o = 3*b. Suppose 5*q = 3*q + b. Does 16 divide q?
True
Let z be 4/6*(-2 - -5). Does 5 divide z/(-9) - (-330)/27?
False
Let x = 77 - -19. Suppose -10 = -2*g, 0*d + 4*d = -4*g + x. Is 10 a factor of d?
False
Suppose -12 = -5*o + 3. Suppose -5*m = -3*y + 40, -2*y + 2*m - 28 = -o*y. Is -2*(-2 + y)/(-2) a multiple of 10?
False
Suppose 0 = -5*c + 4 + 6. Suppose -4*d + 16 = 2*j, 4*d + c*j - 11 = d. Suppose 0*a + d*a = 220. Is 16 a factor of a?
False
Is 16/(-3)*195/(-20) a multiple of 13?
True
Does 12 divide (8/(-6) - -1)/((-1)/69)?
False
Is 15 a factor of (561/6)/((-2)/(-4))?
False
Suppose 340 = 2*z + 5*s + 83, -z + s = -139. Is 16 a factor of z?
False
Suppose -4*n = -n. Suppose -4*k + 220 = -n*k. Suppose -2*o = 3*u - k, 3*o + 42 = 3*u + 12. Is 7 a factor of u?
False
Let u(c) = -c**2 + 1 + c**3 + 22 - 2*c**3. Let f(k) = -k**2 + 4*k - 3. Let x be f(3). Is 12 a factor of u(x)?
False
Let o be -2*(3 - (3 - 2)). Let l(q) = q**3 + 6*q**2 + 6*q + 1. Does 3 divide l(o)?
True
Suppose -5*s = -3*t - 1212, 504 = 3*s - 2*t - 224. Is 48 a factor of s?
True
Let y be ((-12)/9)/((-1)/(-3)). Is 6/4*(4 - y) a multiple of 8?
False
Is (68/(-12))/(1/(-9)) a multiple of 17?
True
Suppose 4*z + 5*q - 511 = 0, -3*q = 3*z - 92 - 295. Is z a multiple of 35?
False
Let p = 0 - -15. Does 4 divide p?
False
Suppose -12 = -2*f + 4*n, -2*f + 7 = f + 5*n. Suppose s - 235 = -4*x, f*x = 3*s - 2*s + 237. Does 15 divide x?
False
Suppose -4*k + i = -59 - 170, -214 = -4*k - 2*i. Does 8 divide k?
True
Let j(p) = -p. Let w(i) = 15*i + 1. Let x(y) = -3*j(y) - w(y). Let s be x(-1). Let n = s - 6. Is n even?
False
Let v(k) = -k**3 - 10*k**2 + 12*k - 5. Does 16 divide v(-12)?
False
Let k(x) = x**3 - 10*x**2 - 11*x + 2. Let n be k(11). Suppose 125 = n*v - 3*p, -4*v - 4*p + 90 = -3*v. Is v a multiple of 33?
False
Suppose -a - 63 = a - 5*f, -f - 90 = 5*a. Let v = a - -45. Does 15 divide v?
False
Let d(p) = -p**3 + 4*p**2 - 3*p. Let o be d(2). Does 4 divide 8/5*15/o?
True
Let i(b) = -b + 6. Let a be i(6). Suppose -13 + 4 = -3*m. Suppose -f = -a*f + m*x - 1, -x - 4 = 0. Is 12 a factor of f?
False
Let b(w) = -w**3 + 11*w**2 - 4*w - 1. Is 5 a factor of b(6)?
True
Suppose -2*u - 5*v = -164, 4*u + 0*v - 346 = -v. Is u a multiple of 29?
True
Let l(g) = g**3 + 2*g**2 - 4*g - 2. Let v be l(-3). Let y = v - -2. Suppose y = -f + 12. Is f a multiple of 3?
True
Let l(o) = -3*o**3 - 2*o**2 + 3*o + 24. Is 19 a factor of l(-4)?
False
Suppose -14*n = -12*n - 56. Is 11 a factor of n?
False
Let f(x) = x**3. Let b(y) = 4*y**3 - y**2 + y - 38. Let m(a) = -b(a) + 5*f(a). Is 19 a factor of m(0)?
True
Let k(j) = j + 1. Let y be k(-2). Does 5 divide (-20 - -1)*y*1?
False
Let r(q) = -2*q**3 - 7*q**2 - 5*q - 21. Does 27 divide r(-6)?
True
Suppose -3*v - 2*v = -20. Suppose 2*p = v*p - 24. Does 10 divide p?
False
Let s(q) = q**3 - 3*q**2 - q + 3. Let j be s(4). Let z = 28 - j. Is z a multiple of 13?
True
Let h(c) = c**3 - 18*c**2 - 21*c - 54. Is h(20) a multiple of 11?
False
Let l = 78 - 54. Let x = 36 - l. Is x a multiple of 12?
True
Suppose -3*c +