 x?
False
Suppose o + 3*o - 2*c = -2, 2*c - 6 = 0. Let u(h) = -h**2 - 4*h - 4. Let v be u(-3). Is 13 a factor of (1 + v + 23)*o?
False
Let w be (0 + 30)*(-4)/(-4). Suppose -2*j = -0*j - w. Suppose -2*t + j = -13. Is 14 a factor of t?
True
Suppose 4*a - 5 = -25. Let c be (-18 + (-2 - a))*1. Let k = 30 + c. Does 12 divide k?
False
Suppose 3*o - 21 = -6. Suppose o*j = -2*r + 3*j + 12, -3*r = 2*j - 14. Suppose 3*n - 40 = -r*t, -3*n + 2*t = -5*n + 30. Is n a multiple of 5?
True
Suppose 9*a - 10*a + 61 = 0. Is 13 a factor of a?
False
Let v(p) = -3*p - 12. Let l = 16 + -24. Is v(l) a multiple of 7?
False
Suppose f = 4*f + 3, 0 = 5*d + 3*f - 162. Is 11 a factor of (-16)/12*d/(-2)?
True
Suppose 3*x - 103 = -2*b, x = -2*b - 0*x + 101. Suppose -4*z + 2*j = -b, 4*z - 6*z - j + 31 = 0. Is z a multiple of 7?
True
Let m be 144 + (-2 - (1 + -1)). Suppose m - 52 = 6*n. Is 10 a factor of n?
False
Let n be 4 + 0*2/(-6). Suppose 0 = -n*g + 8*g - 60. Is 9 a factor of g?
False
Let r = -1 + 29. Is 8 a factor of r?
False
Let s = -103 - -179. Does 19 divide s?
True
Let s(d) = -d**2 - 4*d - 2. Let p be s(-6). Let q be (-6)/(-21) - 192/p. Suppose -66 = -5*r + q. Does 8 divide r?
True
Let h(a) be the second derivative of 1/12*a**4 + 0 + 1/2*a**2 + a + 1/3*a**3. Is h(-6) a multiple of 11?
False
Let l(q) = q**2 - q + 2. Let k be l(0). Suppose 3*c - 2*c - 60 = -5*u, 3*u - k*c - 36 = 0. Does 7 divide u?
False
Suppose 0 = 5*k - 200 - 140. Suppose 5*g + k = 3*t, -1 = -2*t + t. Let f = g + 29. Is f a multiple of 8?
True
Let a(h) = -h**2 - 5*h - 3. Let u be a(-4). Suppose 3 - u = -g. Is 1*(0 + 17) - g a multiple of 12?
False
Let r(h) = -h - 1. Let k(y) = -y + 17. Let n(v) = -k(v) - 3*r(v). Is n(16) a multiple of 25?
True
Let o = -83 + 131. Is 24 a factor of o?
True
Suppose h + 2*m = 5*h, 0 = -4*h - m. Suppose 0*v - 5*v + 20 = h, 3*j - 4*v = 50. Does 11 divide j?
True
Suppose 0 = 5*c + 5 + 10. Let v = c - -6. Suppose -2*q + v*d = q - 36, 0 = 4*d - 16. Is q a multiple of 12?
False
Let v be -4 + (2 - (2 - 1)). Let k(n) = -n**2 - 5*n - 2. Let s be k(v). Is 8 a factor of 12/(1 - (-2)/s)?
True
Suppose 3*t - 4*t = 0. Let v(o) = o**3 + o**2 + 3. Let f be v(t). Suppose -f*i + 82 = 2*d, -3*d + 25 = 2*d. Does 16 divide i?
False
Let u(p) = -p**3 - 3*p**2 + 7*p - 1. Is 5 a factor of u(-5)?
False
Does 19 divide (-345)/(-10)*(-4)/(-6)?
False
Let f = 59 + 133. Is 25 a factor of f?
False
Suppose -5*f = 5*o, -4*f + 3*o + 15 = -13. Suppose 4*m - 16 = 2*b, 0 = 3*b + f*m - 2*m - 16. Let v(q) = 24*q. Does 18 divide v(b)?
False
Suppose -2*j - y + 7 = j, -3*j - 5*y = 1. Suppose -3*l - l = -2*f, j*l = -5*f. Suppose o + 3*o - 140 = f. Is 18 a factor of o?
False
Suppose -4 = -4*x - 28. Let t = -4 - x. Suppose -f = 3*m - 71, -t*m + 5*f + 10 = -9. Is m a multiple of 11?
True
Suppose 6*o + 22 = -2*y + 4*o, 4*y - 5*o = -53. Let d = 23 + y. Does 11 divide d?
True
Let k = 7 - 4. Suppose -k*j = -25 - 8. Suppose 33 = 2*b - j. Is 11 a factor of b?
True
Suppose -8 = -4*a + 16. Let w = a - 9. Let y(j) = -j**3 - 2*j**2 + 2*j + 2. Is 5 a factor of y(w)?
True
Let c be (-14)/(-4)*1*2. Let v(s) = 4*s + 1. Let m(d) = -3*d. Let a(p) = -6*m(p) - 4*v(p). Does 5 divide a(c)?
True
Let d = 3 - 3. Suppose 4*y + y = d. Suppose y = -0*w + 2*w - 38. Does 17 divide w?
False
Suppose 2*z - 3*r - 369 = 0, -2*r = -3*r - 1. Suppose -3*m - 63 + z = 0. Is 20 a factor of m?
True
Suppose i + 0*i - g - 32 = 0, -2*g - 30 = -i. Is i a multiple of 17?
True
Suppose -2*i + 2*x + 54 = -i, 0 = -i - x + 57. Does 28 divide i?
True
Let a be (0/((-3)/(-1)))/3. Suppose -2 + a = -f. Suppose -f*d = -3*c - 2*c - 45, d + 5*c = 0. Is 15 a factor of d?
True
Suppose i - 27 = -2. Let m = i + -10. Is 9 a factor of m?
False
Suppose -35 = 5*f - 5*p - 15, 0 = -2*p + 10. Let n be (-4)/5*(-4 - f). Suppose x = -n*x + 35. Is 5 a factor of x?
False
Let s = -7 + 7. Suppose u + 2*u - 110 = -5*r, -u - 3*r + 34 = s. Does 20 divide u?
True
Let z(h) be the third derivative of -h**5/60 - 7*h**4/24 - h**3 + 4*h**2. Is z(-5) a multiple of 4?
True
Let z(x) = x**2 + 5*x + 4. Is 27 a factor of z(5)?
True
Let h be (-1)/(-1 + 0/(-2)). Let n = h + 4. Suppose -11 = -2*j + n. Does 6 divide j?
False
Suppose -2*p = 2*u - 3*p - 24, 44 = 4*u - 4*p. Let x = -7 - u. Does 9 divide (4/(-6))/(x/810)?
True
Let b(u) = 2 - 1 - 2 - 4 + 3*u**2. Is 9 a factor of b(4)?
False
Suppose 0 = 2*l - 2 - 2. Suppose 0 = 15*c - 16*c + 35. Suppose c = -t + l*t. Does 15 divide t?
False
Let y = -13 + 33. Is 10 a factor of y?
True
Suppose 0*u + u = 0. Suppose u = -0*z + 3*z - 42. Is 9 a factor of z?
False
Let w(d) = -2*d + 6. Let b be w(6). Let i = b + 14. Suppose -3*z - 145 = -i*z. Is z a multiple of 14?
False
Let m = 219 + -109. Does 10 divide m?
True
Let b be 9/(-6)*(-4)/(-6). Let f be (1 + b)*(-2)/(-4). Suppose f = -i - 4*i + 160. Does 12 divide i?
False
Suppose -3*y - 2*y + 25 = 0. Let o = y + -6. Does 10 divide o + 0 + 120/5?
False
Let f(j) = -16*j**2 + j - 5. Let a(l) = -31*l**2 + 3*l - 11. Let s(n) = -4*a(n) + 9*f(n). Let c be s(4). Is 14 a factor of (-4)/6*c/6?
False
Does 50 divide (1 - (-469)/5)*10/4?
False
Is (4/(-10) - (-624)/60)/1 a multiple of 7?
False
Let r(x) = -x**2 - 20*x - 11. Is r(-13) a multiple of 18?
False
Suppose 3*p - 33 = -2*n, -4*n - p - 2*p = -57. Is 5 a factor of n?
False
Is ((-81)/(-54))/(3/512) a multiple of 32?
True
Let s(a) = a**2 + 4*a - 5. Let c be s(-5). Is 20 a factor of c - 1 - -21 - 0?
True
Is 15 a factor of -3 - 11/1*-3?
True
Suppose -8*j + 5*j + 84 = 0. Is j a multiple of 14?
True
Does 24 divide 118/5 + 22/55?
True
Let o = 9 + -5. Suppose 5*a - 14 = -o. Is 4 a factor of (-53)/(-6) + a/12?
False
Suppose 3*y - 13 = 4*a, -6 = 3*a - 3*y + 3. Let t be 4/(-8) - (-18)/a. Let v(d) = -d**3 - 5*d**2 - 2*d + 3. Does 9 divide v(t)?
False
Let a be 0*((-14)/6 + 2). Let s = a - -8. Is s a multiple of 2?
True
Let d = 2 - -1. Suppose -3*o + 573 = -0*o + d*y, 5*o - 3*y = 987. Suppose -z - 4*z = -o. Is 13 a factor of z?
True
Is 5 a factor of -21*1/2*-2?
False
Let c(x) = -13*x + 2. Is c(-3) a multiple of 11?
False
Suppose -4*g + 450 = -74. Is 7 a factor of g?
False
Let m be (-1644)/(-10) + 4/(-10). Let w be m/1 + -2 - 2. Suppose 2*l = -3*l + w. Does 16 divide l?
True
Suppose 2*i = -2*l + 48, -3*i = -i - l - 60. Does 28 divide i?
True
Suppose 2*v + 0*v - 132 = 0. Suppose 4*o = 50 + v. Is o a multiple of 8?
False
Let a(x) = -3 - 14*x**2 + 3 + 2*x - 1. Let c be a(1). Let y = c - -26. Is y a multiple of 6?
False
Does 10 divide (100/(-70))/(12/14 + -1)?
True
Suppose m - 2*x = 3*x + 106, -5*x = -2*m + 187. Does 9 divide m?
True
Let t(i) = -i**3 + 20*i**2 - 32*i - 22. Is t(18) a multiple of 5?
True
Let d be 24/16*(-16)/(-6). Suppose 0*v = 4*z + 4*v - 168, -d*z + 4*v = -168. Does 17 divide z?
False
Let z = 82 - -47. Let u = z - 84. Is 15 a factor of u?
True
Let b(t) = -1 + 5 + 21*t - 4. Is b(1) a multiple of 8?
False
Suppose 4*i + 16 = -v - v, -i = 3*v + 9. Let m(g) = -3*g - 2. Let j be m(v). Suppose 5*z + j*y - 225 = y, 4*z - 3*y = 180. Is z a multiple of 15?
True
Suppose 0 = i - 13 + 2. Does 4 divide i?
False
Let k(p) = p**2 + 5*p + 4. Let u be k(-6). Suppose -5*b - 160 = -u*b. Does 16 divide b?
True
Let h = 11 - 8. Suppose -h*s = s + 12. Is 1/(s/(-45)) + 1 a multiple of 8?
True
Let k be (-114)/(-4)*(2 - 0). Suppose 3*p - k = 9. Suppose 0 = -r + 2*c - p + 62, 4*r - 115 = -c. Is r a multiple of 15?
True
Suppose 5*y - 39 = 86. Suppose -48 = -2*o - 4*x + 4, -5*x = y. Does 18 divide o?
True
Let z(p) = 6 + 2*p - 11 + 2. Is z(6) a multiple of 4?
False
Let d = 173 + -125. Is d a multiple of 16?
True
Suppose 608 = -5*u + 1728. Is u a multiple of 28?
True
Let b(i) = -i**2 + 4*i + 7. Let l be b(5). Let g(f) = -f**2 + 13*f + 5. Let n be g(13). Suppose -7 = -3*x + l*x + n*p, -4*x + 79 = -3*p. Is 20 a factor of x?
False
Let j(l) = 6*l**2 - 3*l - 2. Is 2 a factor of j(-1)?
False
Let f be 1 - -1 - 2*-4. Let c = f + 6. Is 17 a factor of (2 - 2) + 1 + c?
True
Let s(v) = -8*v + 6. Let x(b) = 7*b - 5. Let o(m) = -4*s(m) - 6*x(m). Is 18 a factor of o(-6)?
False
Let m(y) = -y**2 - 9*y - 5. Let z(u) = 2*u**2 + 18*u + 10. Let d(c) = -13*m(c) - 6*z(c). Let r be d(-8). Does 6 divide (-3)/r - (3 + -12)?
False
Suppose 2*b - c = 120, -2*c + 1 = 9. Is 17 a factor of b?
False
Let y = 16 - 17. Let w(x) = 32*x**2 - x - 3. Let d(