se
Let a(f) = f**2 + 8*f + 1. Suppose 0 = 4*v - 0*v + 28. Let q be a(v). Let n(i) = i**3 + 6*i**2 - i + 5. Is 10 a factor of n(q)?
False
Is 1/3 - 440/(-30) a multiple of 9?
False
Suppose -2*o + 5 = 3*o. Is (8 - o)*6/2 a multiple of 8?
False
Suppose 5*t - 2*r - 22 = 0, 0*t - 4*t + r = -20. Suppose -2*q - 64 = -t*q. Does 5 divide q?
False
Suppose 14 = 5*p + 3*k + 1, -2*k + 8 = 3*p. Let z(l) = 3*l**2 - 3*l + 2. Is 4 a factor of z(p)?
True
Suppose 5*o - 143 = -48. Let p = -7 + o. Is p a multiple of 12?
True
Suppose 2*p + 2*p = 40. Let n = 4 + p. Does 5 divide n?
False
Let m = -10 - -5. Let n = m - -9. Suppose 5*s - 5*g - 70 = 0, n*s + 22 = g + 84. Is s a multiple of 8?
True
Let u(k) = -k - 3. Let s be u(-3). Suppose 5*l + 5 = -g + 22, -l + 3*g + 13 = s. Suppose a + 75 = l*a. Is 7 a factor of a?
False
Let w(r) = r**2 - r - 3. Is 9 a factor of w(-5)?
True
Is 19 a factor of 2 + 24/(-14) - 1060/(-14)?
True
Let i(x) = -x**2 + 16*x + 21. Let a be i(17). Suppose 5*k = -f - 0*k + 25, -a*k + 28 = f. Does 20 divide f?
True
Let y(s) = -s**3 - 2. Let t be y(0). Let l(x) = -18*x + 1. Let m be l(t). Suppose m = 4*a - 23. Does 9 divide a?
False
Let g(m) = m + 4 - 168 - m**2 + 0*m**2. Let b be g(0). Does 10 divide b/(-8) - (-3)/(-6)?
True
Suppose 2*v = 2*g - 12, 4 = 5*g - v - 6. Let x be 0/(-6)*(-1)/g. Is 18 a factor of (1 - -1) + (50 - x)?
False
Suppose -2*k = 5*m + 11, 0*k - 5*m - 2 = -k. Is 22 a factor of (k - (-3 + 0)) + 88?
True
Let w(p) = 6*p - 1. Let z be w(3). Let d = 28 - z. Suppose r = -5*q - d, -4*r + 4*q = -q - 81. Is r a multiple of 10?
False
Suppose 4*l + k = 3*l, -5*l - 10 = -5*k. Let q(p) = -29*p**3 - p - 1. Let r be q(l). Suppose 7 + r = h. Is 18 a factor of h?
True
Let m be (2/1 - 0) + -8. Let f = 155 + m. Is 38 a factor of f?
False
Suppose 4*k = k + 300. Let a = k - 60. Does 10 divide a?
True
Let u = -4 - -13. Is 4 a factor of u?
False
Suppose -3*t - 1300 = -13*t. Is t a multiple of 26?
True
Suppose 4*a - 13 = -2*s + 11, -4*a - 4 = -5*s. Suppose s*w = 21 + 11. Is 2 a factor of w?
True
Let a = 165 + -98. Suppose -5*l = -143 - a. Does 14 divide l?
True
Suppose 5*g - 462 = -52. Is g a multiple of 9?
False
Suppose -2 - 7 = 3*h, 27 = 3*k + h. Let r be 6/k*(8 + -3). Suppose z = -0*z - 4*b + 23, r*b - 40 = -4*z. Does 4 divide z?
False
Suppose f + 1075 = 5*y, y - 2*f = -4*y + 1075. Suppose 0*o = 5*o - y. Does 20 divide o?
False
Let h(x) = -x**2 - 3*x + 4. Let y be h(-3). Suppose 2*m - 8 = y. Suppose -i - 2*i + m = 0. Is 2 a factor of i?
True
Suppose 2*n = -6, -5*l + 39 = -4*n - 83. Is 4 a factor of l?
False
Let j(u) = 3*u**2 + u + 14. Let o(d) = 10*d**2 + 4*d + 41. Let i(k) = 7*j(k) - 2*o(k). Is 8 a factor of i(0)?
True
Let l = -4 - 5. Suppose -h - 4*h = 4*v - 33, 2*h + 5*v = 3. Is h*(285/l)/(-5) a multiple of 15?
False
Suppose 4*l - l = 84. Is (60/7)/(4/l) a multiple of 20?
True
Let c(f) = -f - 1. Let z(s) = 8*s + 2. Let a(i) = -10*c(i) - z(i). Is a(7) a multiple of 11?
True
Let x(m) = -m + 35. Is 8 a factor of x(0)?
False
Suppose 2*f - 10 - 38 = 0. Is 5 a factor of f?
False
Suppose -50 = 5*y - 3*t - 15, -18 = 2*y - 2*t. Let m be ((-3)/6)/((-2)/40). Let g = m - y. Is 11 a factor of g?
False
Suppose 5*l - 2*l = 18. Suppose j = -3 + l. Suppose -w = -3*o + 66, -4*o + o + 72 = -j*w. Is o a multiple of 12?
False
Let i(s) = s**2 - s + 6. Let t be i(3). Is (-2 + 9/2)*t a multiple of 17?
False
Suppose -6*f - 460 = -d - 2*f, 496 = d + 5*f. Is 68 a factor of d?
True
Suppose -78 = -v - 23. Is 21 a factor of v?
False
Let l = 238 + -118. Is l a multiple of 6?
True
Does 7 divide ((-112)/20)/((-2)/20)?
True
Suppose -5*s + 28 + 22 = 0. Let k = s + 4. Does 14 divide k?
True
Let d(t) = -t + 2. Let a be d(-4). Let l be 14*(0 - -3)/a. Suppose -l*i + 20 = -2*i. Is 4 a factor of i?
True
Let w be 52/20 - (-6)/15. Suppose -28 = -w*k + 2. Is k a multiple of 5?
True
Let x(b) be the first derivative of 5*b**2/2 + 6*b + 2. Is x(6) a multiple of 12?
True
Let j = 138 - 40. Let p = j + -68. Is p a multiple of 10?
True
Suppose 6*c = 2*c. Suppose 0*l + l - 39 = c. Is 17 a factor of 2/2*2 + l?
False
Let q = 0 - 0. Let u(k) = 22 + 4*k**2 + k - 15*k**3 + 23*k**3 - 9*k**3 - 5*k**2. Does 13 divide u(q)?
False
Let g(h) = h + 13. Does 2 divide g(-6)?
False
Let a = -181 - -402. Is 10 a factor of a?
False
Let i(u) be the third derivative of 19*u**5/60 + u**4/12 + u**3/6 - 5*u**2. Is 5 a factor of i(-1)?
False
Suppose 0 = -2*y - 6, -3*y + 195 = -4*o + 800. Let s = o + -104. Does 15 divide s?
True
Suppose -2*n + 0*n + 3*v - 330 = 0, -3*n + 3*v - 498 = 0. Let y = 280 + n. Is y a multiple of 41?
False
Suppose 0 = u - 4*q - 1 + 10, 2*q = -5*u + 21. Let c(a) = -a + 2. Let o be c(-2). Suppose -o*t - 2*r + 102 = 0, -4*t + u*r = -2*r - 123. Is 17 a factor of t?
False
Let r(h) = -11*h + 2. Let v be r(-2). Let z = 41 - v. Is 5 a factor of z?
False
Let p = 71 + -22. Does 5 divide p?
False
Let b be (-25)/5*69/5. Let t = b + 134. Is 11 a factor of t?
False
Suppose 10*z + 44 = 14*z. Is z even?
False
Suppose 4*s - 599 - 29 = 0. Let q be 4/1 - 3 - s. Is 14 a factor of q/(-3) + 3/(-1)?
False
Suppose -5*x = -0*x - 300. Is 12 a factor of x?
True
Let f = 120 + 111. Let k = 444 - f. Suppose -5*m = 2*h - 66 - k, -57 = -m - h. Does 14 divide m?
False
Suppose -18 = -2*q + 6. Does 4 divide q?
True
Let n(r) = -17*r. Does 16 divide n(-5)?
False
Suppose 2*s = 2*f + 20, -3*s + 35 = s + f. Suppose -6*g + 2*g = 0. Suppose g = -4*m + 11 + s. Is m a multiple of 4?
False
Suppose 6*y - 173 = 67. Is y a multiple of 24?
False
Suppose n = -5*v + 391, -2*v + 5*v + 1815 = 5*n. Suppose -4*k + 2 = -n. Is k a multiple of 16?
False
Does 39 divide 3 - (-3 - (6 + -3 + 69))?
True
Suppose 5*t + 10 = -4*u + 43, 4*t - 30 = -5*u. Let q be u*1/2 - 1. Suppose 3*z - 10 - 8 = q. Does 3 divide z?
True
Let s(j) = j + 74. Is s(0) a multiple of 24?
False
Let r = 93 - 204. Let j = 226 + r. Suppose j = 5*z + 45. Is z a multiple of 8?
False
Let x(r) = r - 10. Let l(i) = 5. Let t(k) = -5*l(k) - 3*x(k). Does 10 divide t(-4)?
False
Let s = 754 - 533. Is s a multiple of 26?
False
Is 16 a factor of (8/10)/(-2)*-125?
False
Suppose -5*f = -212 + 27. Suppose 93 = 5*g - 0*s + 2*s, 0 = g + 5*s - f. Does 17 divide g?
True
Let d be (-18)/4*(-4)/6. Suppose -2*a + 5*x = -39, 5*a + 0*x - d*x - 50 = 0. Suppose -3*h = -5*n - 45, 0 = -4*h + 2*n - a*n + 60. Does 6 divide h?
False
Let i(f) be the first derivative of 35*f**3/3 + f**2/2 - 1. Does 12 divide i(1)?
True
Let b be 43 + 5/((-10)/4). Suppose -b = -2*l - g, 0*l = 4*l + g - 87. Is l a multiple of 13?
False
Suppose s + 2*s - 18 = 0. Suppose 75 = -u + s*u. Does 5 divide u?
True
Suppose -4*q - 2*a + 174 = 0, 145 = 3*q - a + 2. Let n = q + -24. Does 12 divide n?
False
Let u = -3 - -5. Suppose -u + 3 = -a. Is (a + 25)*(-4)/(-6) a multiple of 12?
False
Let o = -11 - -23. Is 80/o*(-6)/(-5) a multiple of 4?
True
Suppose -4 = -0*a - 2*a. Suppose 10 = 7*r - a*r. Suppose 4*n = r*y - 36, -y - 3*n = -5*y + 47. Is y a multiple of 6?
False
Let k = 77 - 23. Is k a multiple of 18?
True
Suppose 3*o + 41 - 107 = 0. Does 8 divide o?
False
Let s(x) = x**2 + 3*x + 1. Let a be s(-4). Let m(g) = g**2 - 6*g - 4. Let f be m(a). Is (f/(-6))/((-2)/(-4)) a multiple of 2?
False
Let i = -7 - -11. Suppose -3*v + 5 + 0 = -4*y, 0 = -i*y - 2*v + 10. Is (y + -11)/(-6 - -5) a multiple of 5?
True
Suppose 0 = 8*c - 3*c - x - 8, -4*c + 5*x - 2 = 0. Let p be c/(-7) - (-10)/35. Suppose p = 2*u - 56 + 20. Is 5 a factor of u?
False
Let q(g) = 2*g**2 + 2*g - 42. Does 14 divide q(6)?
True
Suppose 0*j = -4*j + 16. Suppose 0 = -0*f - j*f + 108. Is 11 a factor of f?
False
Let l = -77 - -109. Is 3 a factor of l?
False
Let t(o) = 2*o**2 + 17*o + 24. Is t(-10) a multiple of 27?
True
Suppose -8 = -b - 3*b. Suppose -k = -b*k + 10. Suppose q + 3*l - 5 = -4*q, k = -2*l. Is 3 a factor of q?
False
Let p(s) = s**2 - 3*s + 2. Let z be (-6)/(-2) + (-2 - 1). Suppose z = -3*c - 8 - 1. Is 10 a factor of p(c)?
True
Let a(w) = -w**2 + 12*w - 14. Is a(6) a multiple of 3?
False
Let n be (-4)/6 + 130/15. Let g = 14 - n. Is g even?
True
Let h = -5 - -18. Does 13 divide h?
True
Let h(x) = 118*x**2 + 1. Let g = 3 + -2. Let i be h(g). Suppose 5*s - 304 = -i. Is 13 a factor of s?
False
Let m = 18 + -18. Suppose 4*s - 2*t = 336, -2*s + 22 + 142 = t. Suppose 4*z - 3*p - s = m, -z + 10 + 