pose -2*x + 68 = -0*u - 5*u, 3*x + 4*u - 56 = 0. Is x a multiple of 17?
False
Let p(r) = r**3 - 5*r**2 + 4*r + 1. Let w be p(3). Let d = -6 - w. Let m(h) = 36*h**2 + h + 1. Is 18 a factor of m(d)?
True
Let f be 10*(1 + -3)/(-4). Suppose f*t = 22 - 72. Is 2 a factor of (-32)/t + (-1)/5?
False
Let j(t) = 2*t + 3. Suppose -2*d = d - 2*i - 2, 0 = d + 2*i - 6. Suppose -d*q - 2*c = -14, -4*q + c - 2*c + 25 = 0. Is 14 a factor of j(q)?
False
Is 7 a factor of (-22)/55 + 244/10?
False
Suppose 5*l - 98 = -2*l. Does 7 divide l?
True
Let i = -105 - -201. Does 24 divide i?
True
Let l(w) = -w**3 + 4*w**2 + 5*w - 2. Let o be l(5). Let y be o/(-8) + 305/(-4). Does 2 divide (-6)/27 + y/(-18)?
True
Let j(q) = 4 - 7 + 4 + 29*q. Let h(z) = -z - 4. Let d be h(-5). Is 10 a factor of j(d)?
True
Suppose v = 2*v - 4*u - 52, 237 = 5*v + 3*u. Does 8 divide v?
True
Suppose -3*y + 2*a + 536 = 0, 3*y - 332 - 192 = -a. Does 16 divide y?
True
Suppose 0 = -5*c - 4*f + 979, 3*c - 4*f - 555 = 26. Is c a multiple of 11?
False
Let a be (1 - 1) + -1 + 1. Let d be (-2 - a)/(0 - 1). Suppose -5*b = -z + 63, -d*z - 2*b = -5*b - 119. Is 23 a factor of z?
False
Let x = 12 + -9. Suppose -x*l + 107 = 17. Is 21 a factor of l?
False
Let q be 5*1/((-10)/204). Let l = q + 170. Is l a multiple of 20?
False
Suppose -q + 3*w - w = -15, q - 13 = w. Let o = 24 - q. Does 13 divide o?
True
Suppose 3*n - 44 = 2*x - 4*x, 0 = -3*n. Suppose -3*d - 4 = -x. Is 6 a factor of d?
True
Suppose -12*t + 518 + 382 = 0. Does 25 divide t?
True
Let s(q) = -q**3 + 6*q**2 + 2*q - 1. Does 6 divide s(4)?
False
Suppose -j - 17 = -0*o - 4*o, 6 = 2*j. Let b = o - -27. Is 16 a factor of b?
True
Suppose -2*v + 8 = -8. Suppose c - 3*c - 12 = 0. Is 20 a factor of v*c/9*-6?
False
Suppose -24 = -0*b - b - 2*m, 3*b = -5*m + 75. Is b a multiple of 5?
True
Let m(o) = -o**2 + 3*o + 17. Let c(u) = 2*u + 8. Let x(g) = 9*c(g) - 4*m(g). Let v = -11 - -7. Does 18 divide x(v)?
False
Let a(l) = -l**3 - 13*l**2 - 11*l + 17. Is a(-12) even?
False
Let y = -31 - -101. Is 5 a factor of y?
True
Let y(f) = 3*f - 1. Let m be y(-1). Let x be m/(-3)*(-3 - -6). Suppose -5 = -t + x. Is t a multiple of 5?
False
Let a = 2 - 2. Is 7 a factor of ((-48)/(-3) - 2) + a?
True
Suppose -6 - 1 = -s. Suppose 0*h - h = -s. Does 4 divide h?
False
Let c be (-10)/55 + 35/11. Suppose w - 5*n + 61 = -2*w, -c*w - 4*n = 16. Is 2 a factor of (-1)/((3/w)/1)?
True
Let b(s) be the first derivative of 5*s**4/24 - s**3/3 + s**2/2 - 2. Let d(a) be the second derivative of b(a). Is 4 a factor of d(2)?
True
Let j(g) = -g**3 - 6*g**2 + 7*g + 7. Let i be j(-7). Suppose 3*n + 24 = i*n. Let a(q) = 4*q + 8. Does 16 divide a(n)?
True
Let j(n) = -n**3 - 10*n**2 + 9*n + 12. Let k = 10 - 29. Let p = k - -8. Is 13 a factor of j(p)?
False
Is (-54)/12*-1*200/6 a multiple of 29?
False
Suppose 0 = -8*o + 2*o + 1110. Is o a multiple of 37?
True
Suppose 3*f = f + 142. Let s = 198 - f. Suppose 25 = 5*i, o + s = 5*o - i. Is 11 a factor of o?
True
Suppose -g - 4*g + 600 = 0. Is 40 a factor of g?
True
Let s = 4 + -4. Suppose 6 - 2 = r + 4*k, s = 2*r + 5*k - 2. Is 8 a factor of r/(-10) + (-152)/(-20)?
True
Let x(w) = 2*w**2 + 2*w. Let h be x(-2). Suppose 0 = -5*g - 4*a - 8, -h*a = -g + 3*g + 8. Suppose -4*i + s = -g*s - 40, 5*s = 0. Is i a multiple of 10?
True
Let g be 32/(-6)*(-105)/28. Let z = g - -28. Is 12 a factor of z?
True
Suppose -2*s + 3*s - 6 = 0. Let y(l) = 3*l + 4. Does 11 divide y(s)?
True
Let c be 1 + 1/(-2)*-6. Suppose 2*i + c*p = 86, 5*i - 3*p = p + 201. Is i a multiple of 13?
False
Suppose -b - 1 + 8 = 0. Is 2 + b - (-2 + -1) a multiple of 4?
True
Let z be 2/4*(6 + 0). Suppose -42 = -6*p + z*p. Is 14 a factor of p?
True
Let p(t) = 17*t - 2. Is p(2) a multiple of 10?
False
Let b(u) = -3*u + 14. Does 4 divide b(-4)?
False
Let t = -1 - -12. Suppose -2*k + 8 + t = 3*j, 4*j = 2*k + 44. Is j a multiple of 9?
True
Suppose 6 + 14 = 5*s. Suppose 3*c + 239 = 4*z - s, 0 = -5*z - 2*c + 321. Suppose 37 + z = 5*y. Is 10 a factor of y?
True
Let o(a) = 49*a + 2. Is 13 a factor of o(5)?
True
Suppose 0*o = -2*a - 2*o + 168, -5*a + 5*o + 420 = 0. Suppose -3*c + a = 4*r + c, -4*c - 84 = -3*r. Is r a multiple of 12?
True
Let w(y) = y**3 - 7*y**2 + 7*y - 6. Let i be w(6). Let u = -12 + i. Does 5 divide (-30)/(-4)*u/(-9)?
True
Let o = -65 + 92. Does 3 divide o?
True
Let z be 6/4 - 6/(-4). Suppose -m - z*m = -528. Suppose -6*w - 3*y = -2*w - m, 124 = 4*w + 5*y. Is w a multiple of 18?
True
Let o = 5 - 0. Suppose -101 = -o*u + 39. Is u a multiple of 14?
True
Let f = -3 - -5. Let z(u) = -u**2 + 3*u + 1. Let v be z(f). Suppose -3*y = -2*w + 14, 0 = -v*w + 4*y + 18 + 2. Is 2 a factor of w?
True
Suppose 3*m + 144 = 7*m. Suppose -5*z + 112 = 7. Let n = m - z. Does 15 divide n?
True
Let u(t) = -t**2 + 8*t + 4. Does 16 divide u(6)?
True
Let p be ((-105)/(-14))/((-3)/(-16)). Suppose -3*k + p + 50 = 0. Is 8 a factor of k?
False
Let u = 2 + 3. Suppose u*g = 109 + 76. Does 12 divide g?
False
Let x be ((-30)/18)/(1/(-3)). Suppose x*a - 65 = -0*a. Does 13 divide a?
True
Let i(y) = -3*y - 3. Let x be i(-3). Let l = x - -34. Is 15 a factor of l?
False
Let v(j) = 6*j**2 + 5*j - 6. Let x be v(6). Suppose -7*i = -2*i - x. Is i a multiple of 22?
False
Suppose -7*d = -9*d. Is d - ((-6)/3 - 19) a multiple of 21?
True
Let i(z) = -z**3 - 7*z**2 + 8*z + 4. Let c be 2/((16/14)/(-4)). Let m be i(c). Let s = 79 + m. Does 9 divide s?
True
Let h be 2 + 0 + -1 + 3. Let g(n) = -7*n - 4*n - 3*n - h. Does 16 divide g(-3)?
False
Does 20 divide ((-609)/(-9) + -1)*(-24)/(-10)?
True
Let g be 4*-1*1/(-2). Suppose g*y = 3*q - 29, 0 = -4*q + y - 3*y + 62. Suppose 0 = 3*i - 2*c - q, 4*c = -5*i + 4*i + 23. Is 4 a factor of i?
False
Let l = 4 + -1. Suppose -l = -7*b + 6*b. Suppose -b*x = -x - 40. Does 17 divide x?
False
Let h be -8 - (-5 - -3)*-1. Let a = 4 - h. Is a a multiple of 11?
False
Suppose 15 = 5*f + 5*w, 0 = 4*f - 0*w - 4*w - 4. Suppose 0 = -f*y + 33 + 25. Is y a multiple of 16?
False
Suppose -5*l + 2 = j, -2 = -3*j + 2*j - 3*l. Let y = 2 - j. Suppose 0 = -2*z - 4*c - 10, -c = -z - y*c + 7. Is 3 a factor of z?
True
Let z(g) = g**3 - 2*g**2 + 3*g - 2. Is 14 a factor of z(4)?
True
Let d(j) be the first derivative of -j**4/4 - 5*j**3/3 + j**2/2 + 5*j + 1. Let w be d(-5). Suppose -3*i = -w*i - 60. Does 10 divide i?
True
Let x(k) be the third derivative of -k**6/60 + k**4/8 - k**3/6 - k**2. Let v be x(-3). Suppose -2*u + 18 = -v. Is 13 a factor of u?
False
Let w(y) = y**2 + 1. Suppose 3 = a - 0*a. Let u be w(a). Let j = u - 3. Does 5 divide j?
False
Let o be (8 - 1)*12/7. Suppose -81 = -4*b + 5*v, 0 = 5*v + o + 13. Is 10 a factor of b?
False
Suppose -2*r = -0*r - 160. Is 1*r + 0/1 a multiple of 20?
True
Let u(z) = 11*z + 24. Does 33 divide u(7)?
False
Suppose -v + 3 = 3*s, 2*s - 5*v - 2 = -0. Let f be s/9*3*9. Let j = f + 0. Is 2 a factor of j?
False
Let i(p) = 2*p + 1. Let d be i(1). Suppose -d*o + 20 = 2*y, -1 - 3 = -y. Suppose 4*k + 114 = 5*m, 3*m - o*k - 63 = 7. Is m a multiple of 10?
False
Let n be 0/(-1 - (0 - 3)). Suppose n = -3*v + 5*l + 97, 4*l + 17 = -v + 55. Does 13 divide v?
False
Let z(m) be the first derivative of -m**3/3 + 6*m**2 - 6*m - 25. Let h be 4/(-18) - 166/(-18). Is z(h) a multiple of 21?
True
Let c = -11 + 3. Is 11 a factor of (-12)/c*(-74)/(-3)?
False
Let z be (-1)/(-4) + (-554)/8. Suppose u + 3*t - 13 = 0, 0*t = -4*u + 2*t - 4. Is (z/9 + u)*-3 a multiple of 10?
True
Suppose 0 = 2*p - s - 1015, -2*p + 5*p - 1512 = 5*s. Is 26 a factor of p?
False
Let g(a) = 4*a**2 + 5*a + 3. Let j be 0 - (0 - 0) - -2. Let b be (1 - 1/j)*-6. Is 12 a factor of g(b)?
True
Let m(v) = -v**2 + v + 16. Let q = 15 - 11. Suppose -q*g = -6*g. Is m(g) a multiple of 10?
False
Let u be (-6)/(3/1) - -2. Suppose u*z = -5*z. Is 11 a factor of 32 + z/2 + 1?
True
Suppose 12 = -b + 3*b. Suppose b - 30 = -4*f. Does 6 divide f?
True
Suppose o - 94 + 352 = 5*y, 0 = -4*o + 8. Let i be -2 + -1 + 9 + -2. Is 11 a factor of 6/i*y/3?
False
Let d(b) = -25*b + 1. Does 26 divide d(-1)?
True
Let q(t) be the first derivative of -t**2/2 - 2*t - 3. Does 2 divide q(-7)?
False
Suppose -9 = -5*y + 6, -r + 2*y = 6. Suppose -4*s + 15 - 3 = r. Suppose 2*u + s = 5*j, 0*j + j - 33 = -5*u. Does 2 divide u?
True
Does 9 divide (-155)/(-1)*(-2 - 6/(-2))?
False
Let y(j) = j**2 - j