se
Suppose -3*o + 4 = l, -3*l + 0*o = 2*o - 47. Is 18 a factor of (-8 - l)/(6/(-4))?
True
Is 1/((-3 + 4)/((-44)/(-2))) a multiple of 11?
True
Let l = -14 - -36. Let v be (-1)/(-4)*-74*-2. Let f = v + l. Is 21 a factor of f?
False
Suppose 2*o - 36 = -12. Is 14 a factor of 166/o + 13/78?
True
Suppose 7*j = 3*j - w + 381, -4*j + 2*w = -390. Suppose 4*x - j = -2*v, 2*v - 5*x - 61 = 17. Does 22 divide v?
True
Let k = -2 - -4. Suppose l - k = -l, 3*l - 30 = -3*z. Suppose 3*y + 0*y - z = 0. Is 2 a factor of y?
False
Suppose 0*n - 3*n = -6. Suppose -t = -n*t + 3*c + 18, -c = -2*t + 16. Is 6 a factor of 12/5*20/t?
False
Let b(k) = k + 5. Does 5 divide b(5)?
True
Let l = 241 + -139. Is 36 a factor of l?
False
Let o = 52 + -33. Is 19 a factor of o?
True
Is 8 a factor of (-8)/12 - 0 - 185/(-3)?
False
Let x be -1 - (-2 - -3) - -8. Does 2 divide (-1 - (-14)/x)*3?
True
Suppose -4*c - 216 = -z - 3*z, -3*z = -2*c - 158. Let s = -36 + z. Is 7 a factor of s?
True
Suppose b + 179 = 2*u, -b = -5*u - 5*b + 480. Is u a multiple of 18?
False
Suppose 105 = -4*i + i. Let d(u) = -46*u. Let n be d(-2). Let y = n + i. Is 19 a factor of y?
True
Suppose t + 22 = 2*b, 26 = -2*t + t + 3*b. Is 12 a factor of 428/18 + t/(-63)?
True
Suppose 22*g + 238 = 24*g. Is g a multiple of 14?
False
Let q be (3/2)/(-1)*-2. Suppose -q*d = -d - 24. Is d a multiple of 6?
True
Let o(k) = 5*k - 14. Does 11 divide o(5)?
True
Let x = -11 + 7. Let f = 6 + x. Is ((-27)/f)/(7/(-14)) a multiple of 12?
False
Let k(b) = -b**3 + 4*b**2 + 5*b + 3. Let m be k(4). Let w = -18 + m. Does 5 divide w?
True
Let m(s) be the third derivative of s**5/60 + s**4/24 + 11*s**3/3 - 2*s**2. Let c be m(0). Suppose -54 = -2*w - t + 2, -t = -w + c. Is w a multiple of 20?
False
Let a(z) = -3*z + 8 - 4 + z. Is a(-7) a multiple of 6?
True
Let c = 36 - -29. Let q = -35 + c. Does 10 divide q?
True
Suppose -2*p + 5*t = -13, t = -p + 4*p - 13. Suppose 0 = -3*v + p*v - 8. Is 8 a factor of v?
True
Let t(v) = 2*v + 8. Suppose -h + 0*h = -10. Is t(h) a multiple of 14?
True
Let g(o) = o**3 - 12*o**2 - 13*o - 3. Let y = -14 + 27. Let p be g(y). Does 2 divide 26/6 - (-1)/p?
True
Let n(d) = -d**2 - 11*d. Does 5 divide n(-5)?
True
Suppose f + f = -3*b + 150, 0 = -4*f - 2*b + 316. Is f a multiple of 9?
True
Let j(v) = -4*v + 6*v + 0*v - 2. Does 6 divide j(4)?
True
Suppose -46 - 62 = -5*w + 3*j, -4*w - j = -100. Is 7 a factor of w?
False
Suppose 4*z = -4, -3*z - 865 = -3*p - 241. Is 23 a factor of p?
True
Let v(d) = 28*d**3 - 4*d - 4. Let q be v(-2). Let o = -154 - q. Is 22 a factor of o?
True
Suppose 5*t + 31 = 1. Let w(a) = a**2 + 3*a - 7. Is w(t) a multiple of 7?
False
Let s be 2/10 + 18/10. Let t = 23 + s. Is 14 a factor of t?
False
Let w be -1*(-2 - 0/2). Let l(h) = -h**2 + 6*h**2 + 2 - w*h + 3*h. Does 20 divide l(-2)?
True
Suppose 2*o + 0*o = 380. Suppose -5*u + 0*u = -o. Is u a multiple of 19?
True
Suppose 12*g - 14*g + 22 = 0. Does 2 divide g?
False
Suppose i = -i + 234. Suppose -3*w - 2*u - u + i = 0, -63 = -2*w + u. Does 10 divide w?
False
Does 10 divide (7 - 1)*(4 + 1)?
True
Let f = 89 + -29. Does 18 divide f?
False
Suppose -2*w = 3*p - 69, -w + 32 - 8 = p. Is p a multiple of 10?
False
Suppose -4 + 1 = -3*x. Does 12 divide 322/7 - x*-2?
True
Let t be (-6)/(-15) + 73/5. Let c = 146 - 87. Suppose 4*a + t - c = 0. Does 11 divide a?
True
Let x be ((-12)/15)/((-4)/50). Suppose 0 = 3*v - x - 8. Is v a multiple of 6?
True
Suppose 0 = -3*x + 30 + 60. Is x a multiple of 10?
True
Let w(h) = -h - 4. Let x be w(-3). Is x/(-2)*(0 - -10) a multiple of 5?
True
Let o(f) = -f**3 + 8*f**2 + 3*f. Let b be o(6). Let m be 96/(-9)*b/(-8). Suppose -2*w - w + m = 0. Is w a multiple of 18?
False
Suppose 7*k = 225 - 8. Does 19 divide k?
False
Let m(h) be the second derivative of h**4/6 + 2*h**3/3 - h**2 + 2*h. Let z be m(-5). Suppose z = l + l. Does 6 divide l?
False
Suppose 0*k = -k - 6. Let t be (10/3)/((-4)/k). Suppose 3*n + 4 = 3*b - 11, b - t*n + 7 = 0. Does 4 divide b?
True
Let t(x) be the second derivative of -1/12*x**4 + 3/2*x**2 + 0 - 1/20*x**5 + 1/2*x**3 - 2*x. Does 6 divide t(-3)?
True
Let i(a) = 80*a**2. Does 45 divide i(1)?
False
Let j = 8 + -3. Suppose -5*i = -p - 5, -2*p = -0*p - j*i + 5. Suppose 3*c - b - 62 = p, -5*c + 0*b = b - 90. Is c a multiple of 13?
False
Suppose -4*b - 2 = -2*t, 5*b + 2*t - 6*t = -10. Let s(q) = 3 + 1 + b - q. Is 7 a factor of s(-6)?
False
Let f = 8 + -6. Let c = f - 5. Let r(q) = -5*q + 3. Is 9 a factor of r(c)?
True
Is 118/10 - (-3)/15 a multiple of 3?
True
Let o(n) = n + 7. Let l(z) = -2*z**2 + z**2 - 1 + 8*z - 4. Let h be l(8). Is 2 a factor of o(h)?
True
Let n(i) = 20*i**3 - 5*i + 6. Does 26 divide n(2)?
True
Let t(d) = 3*d**2 - 16*d - 23. Is 24 a factor of t(12)?
False
Suppose -1412 = -12*m + 388. Is 19 a factor of m?
False
Let y(l) be the third derivative of -1/60*l**5 - 1/120*l**6 + 25/6*l**3 + 0 - 3*l**2 + 0*l**4 + 0*l. Is y(0) a multiple of 12?
False
Does 13 divide -1 + -1 - (14 - 42)?
True
Let c = 66 + 4. Does 19 divide c?
False
Let j(t) = t**2 - 3*t + 4. Let l be j(-4). Let w = l - 2. Is 15 a factor of w?
True
Suppose p = -p + 2*s + 104, -5*s = 2*p - 111. Does 15 divide p?
False
Let y(l) = -8*l**2 - 6*l - 10. Let c(q) = -7*q**2 - 7*q - 9. Let j(t) = 7*c(t) - 6*y(t). Does 18 divide j(-7)?
False
Suppose 2*q - 9 - 27 = -2*p, p - 6 = 2*q. Let y = p + -10. Suppose 133 - 45 = y*v. Does 11 divide v?
True
Let m be (-3 - -1 - -3) + -7. Let z(c) = -c - 13. Let u(b) = 2*b + 14. Let t(a) = -5*u(a) - 6*z(a). Is 16 a factor of t(m)?
True
Suppose -10 = k - 4*a, 3*k = -k - a + 11. Suppose 2*t + t - 4*h - 126 = 0, k*t - h = 79. Is 8 a factor of t?
False
Suppose 2*f + 75 = g - 2*g, 3*f - g + 125 = 0. Let q = -17 - f. Is q a multiple of 14?
False
Suppose 3*w - z = 20, 0 = -3*z - z - 20. Let s = 0 + w. Suppose c = s*v + 3*c - 66, -2*c + 10 = v. Does 14 divide v?
True
Let o(g) = -3*g**3 - g**2 + 3*g + 2. Let x be o(-2). Let t be x/10 - 4/(-10). Suppose t*u = -2*s + 50, u - 3*s = -3*u + 121. Is 17 a factor of u?
False
Suppose 0*u + 164 = 2*u. Is 29 a factor of u?
False
Let f(d) = -26*d - 30. Does 34 divide f(-9)?
True
Let s = 184 - 42. Is 24 a factor of s?
False
Let z = -17 + 45. Does 20 divide z?
False
Suppose 4*n - 5*a = 2*n + 111, -5*n - 4*a + 228 = 0. Suppose 4 = -x, 3*j - 5*j + n = -4*x. Does 16 divide j?
True
Suppose -11*b + 4*o + 448 = -8*b, -o = -5. Is 13 a factor of b?
True
Suppose -12*y = -y - 484. Is 11 a factor of y?
True
Let b(c) = c**2 - 13*c - 22. Does 26 divide b(16)?
True
Let k(r) = r**2 - 8*r + 2. Does 20 divide k(12)?
False
Suppose 34 = 2*f - 4*l - 92, 0 = 2*f - 5*l - 122. Suppose -129 = -5*r + f. Is r a multiple of 10?
True
Let a(r) = -4*r**2 + 2*r - 3. Let x be a(2). Let d = x - -31. Is 13 a factor of d?
False
Let m(h) be the second derivative of -7*h**3 + h**2 - 3*h. Does 10 divide m(-1)?
False
Is 516/12 + -1 + -3 a multiple of 3?
True
Let k(w) = w**2 + 2*w - 3. Let z be k(2). Let h be (-118)/(-10) + z/25. Is h + 1 + -3 - -3 a multiple of 7?
False
Suppose 0 = -0*w + 3*w - 264. Suppose w + 202 = 5*r. Is 29 a factor of r?
True
Does 16 divide 290*(-6)/(-54) + 2/(-9)?
True
Let q = 162 + -96. Does 11 divide q?
True
Let h be ((-28)/(-1))/(10 + -8). Let a = h - -15. Does 8 divide a?
False
Let v be ((-10)/2)/(2/4). Let b(g) = -3*g**2 + g - 6. Let h(s) = s**2 + 3. Let f(q) = v*h(q) - 4*b(q). Is f(5) a multiple of 12?
True
Suppose 5*g - 22 = 3. Suppose g*w = 6*w - 11. Is 4 a factor of w?
False
Suppose -6*g + 304 = 3*p - 2*g, -3*p + 5*g = -268. Let b be -1 - (0 - p - 1). Suppose -2*i = i - b. Is 13 a factor of i?
False
Let v(o) = o + 4. Let i be v(-5). Let p = i + 5. Suppose -f = -2*j - 18, -f - f = p*j - 28. Does 6 divide f?
False
Let a(i) = 7*i**3 - 2*i**2 - 2*i + 1. Let p be a(2). Suppose -p - 10 = -5*h. Let v = h - -1. Is v a multiple of 12?
True
Let r(d) = 6*d**3 - 2*d + 1. Let k be r(1). Suppose k*l - 2 = 88. Is 9 a factor of l?
True
Let y(a) = -21*a + 6. Let j(i) = 14*i - 4. Let h(w) = -7*j(w) - 5*y(w). Let t = -1 + 5. Is 13 a factor of h(t)?
True
Let a(m) be the first derivative of m**4/4 - 14*m**3/3 - 15*m**2/2 + 8*m - 3. Is 5 a factor of a(15)?
False
Let g(o) = -o**3 - 9*o**2 - 9*o - 9. Let s be g(-8). Let r = s - 31. Let y = 45 + r. Is y a multiple of 13?
True
Suppose 2*h - 91 = -4*a + 3*a, 0 = -5*h