. Suppose -u + l = -9. Is u a multiple of 8?
True
Let z(w) = 11*w - 3. Suppose 1 - 5 = -2*p. Let c be z(p). Suppose -4*l + 3 = c, 40 = 4*u + 3*l. Is 5 a factor of u?
False
Let o be 5 + -17 + 1/1. Let i = 25 - o. Does 18 divide i?
True
Let x = 13 + 32. Suppose 3*s - 30 = 66. Let h = x - s. Does 13 divide h?
True
Let b be 2/(-7) + (-384)/28. Let h be ((-72)/28)/(3/b). Suppose 4*d = -h + 84. Is d a multiple of 18?
True
Suppose -3*o - 3*z = -30, 6*z = 2*z - 8. Let a(c) = c**3 - 11*c**2 - 10*c + 16. Is a(o) a multiple of 16?
False
Suppose -7*a - 6*a + 455 = 0. Does 35 divide a?
True
Is 8 a factor of (-70)/(-4) - (-3)/6?
False
Let k = -164 - -535. Does 53 divide k?
True
Let k = 42 + -19. Is k a multiple of 4?
False
Let d = 192 + -68. Does 31 divide d?
True
Let r = -33 - -49. Suppose -4*q - 24 = -2*l, 4*l + q = 5*l - r. Is l a multiple of 20?
True
Let a(p) = -2*p - 6. Let x be a(-6). Suppose -w + 4*g + 12 = 0, w + 1 = -3*g - 1. Let m = x + w. Does 8 divide m?
False
Suppose 0 = -5*x + 5*d + 130, 5*d - 6 = -x + d. Suppose -4*k - q = k - x, -5*q = 5*k - 30. Does 15 divide 1/2*k - -43?
True
Is -4*(2 - (-4)/(-1)) a multiple of 4?
True
Suppose -34 = -a - 5*n, 3*n + n = -4*a + 72. Is 10 a factor of a?
False
Let s = 3 - 10. Suppose 3*t + d = 26 - 9, -2*t + 3*d = -26. Let b = t - s. Does 7 divide b?
True
Let f(p) = 7*p**2 + 1. Let i be f(1). Let u = 6 - i. Let j = u + 14. Does 12 divide j?
True
Let d(p) = 0 - 2*p**2 - 5 + 0*p**2. Let y(c) = 3*c**2 + 8. Let g(k) = -8*d(k) - 5*y(k). Does 15 divide g(-5)?
False
Suppose -2*v + 0*v - 2*l - 122 = 0, 3*v + 4*l = -188. Let o = 97 + v. Is o a multiple of 9?
False
Suppose -3*b + 756 = 4*b. Does 9 divide b?
True
Let w = -5 + 7. Suppose 0*m = -w*m + 12. Let f(z) = z**2 + 3*z - 5. Is f(m) a multiple of 23?
False
Let x(h) = 4*h**2 - 3*h**2 + 2 - 2*h**2 + 10*h. Does 17 divide x(8)?
False
Suppose -203 + 23 = -2*x. Does 12 divide x?
False
Let a be 5 - 2 - (3 - 1). Suppose 4 = t + a. Suppose 99 = t*k - 51. Does 13 divide k?
False
Let b(u) = -u + 12. Let x be b(10). Suppose -g - 59 = -x*g. Let o = -33 + g. Is o a multiple of 13?
True
Let i(y) = -y**3 - y**2. Let p be i(1). Let g be (-1 - -9) + p + 1. Let b(l) = -l + 14. Is 7 a factor of b(g)?
True
Suppose 0 = -5*y - 0*q - 2*q + 176, -q - 146 = -4*y. Does 12 divide y?
True
Let f(v) = v + 7. Let u be f(-4). Suppose 0 = u*a + a - 132. Let x = a - -5. Is x a multiple of 20?
False
Let b be -1*(-604)/8*-2. Let k = 223 + b. Does 18 divide k?
True
Let t(b) = b**2 - 8*b - 7. Is 13 a factor of t(-5)?
False
Let t(y) = -5*y**2 + 0*y**3 + 1 - 8 - y**3. Suppose 4*v = -0*v - 24. Is 13 a factor of t(v)?
False
Does 8 divide 158/2 + (-18)/(-9)?
False
Let j(c) = 3*c**2 - 6*c + 4. Let l be j(6). Suppose -2*a = -4*a + l. Is 10 a factor of a?
False
Suppose 0*m + d = 2*m - 76, -5*d - 121 = -3*m. Suppose -7 - m = 4*t. Let b(q) = q**2 + 9*q + 16. Is b(t) a multiple of 15?
False
Let t(g) = g + 14. Let b be t(-10). Suppose -4*a - 15 = 4*s + 5, -b = -a. Does 16 divide (60/s)/((-2)/6)?
False
Let f(w) = -1 - 2*w**2 + 4*w**2 - 3*w**2 + 6 + 8*w. Is f(7) a multiple of 12?
True
Suppose -5*y = 15, 3*p + 0*y = y + 3. Suppose 0 = -5*o + 2*k + 342, o - 4*k = -p*o + 54. Is 10 a factor of o?
True
Let x(o) = -o**2 - 4*o + 3. Suppose 0*v + 4 = -v. Let n be x(v). Suppose -n*q = -4*q + 31. Is 16 a factor of q?
False
Suppose -3*t = 3*k - 8*t + 8, 40 = 5*k + 5*t. Let z = -4 + 39. Suppose -y - k*v = -z, 2*v = -4*y - v + 88. Is 5 a factor of y?
False
Let v = -7 - -9. Suppose 9 = -c + v. Is (1 - 2)*(c + -14) a multiple of 6?
False
Let j(k) = -12*k + 1. Is 5 a factor of j(-2)?
True
Let n be (-87)/15 - 1/5. Let z = n + 17. Suppose -4*f + 51 - z = 3*b, 5*f - 5*b - 50 = 0. Is 10 a factor of f?
True
Let y be (-15)/12*4*-1. Let d(u) = u**2 - 10*u + 7. Let c be d(y). Let h = -12 - c. Is 6 a factor of h?
True
Let h(t) = 9*t**3 - t**2 + 2*t - 1. Is 2 a factor of h(1)?
False
Let k(g) = -3 - 4 - 8*g + 4*g + g. Suppose 6*v - v + 35 = 0. Is 7 a factor of k(v)?
True
Let g = 4 + -14. Is 21 a factor of (24/g)/(6/(-105))?
True
Suppose 3 + 6 = -3*c. Let g = c - -3. Suppose -4*h + 5*a - 3 = -35, g = -2*h - 2*a - 2. Is h even?
False
Let s be 45/((30/(-8))/(-5)). Suppose 0 = -5*g - 4*d - s, -g - 26 = -2*d - 0*d. Does 7 divide (44/g)/((-1)/4)?
False
Let m(l) = 3*l**2 - 3*l - 2. Let p = 15 - 9. Does 22 divide m(p)?
True
Suppose -488 = -8*t - 0*t. Is t a multiple of 10?
False
Let z(b) = 2*b + b**2 - 3*b - b**3 + 0*b**3 + 142 - 94. Does 8 divide z(0)?
True
Let r(o) = -14*o**2 - 20*o - 3. Let m(t) = 5*t**2 + 7*t + 1. Let n(u) = -17*m(u) - 6*r(u). Let s be n(2). Is 0 - s - -1 - -10 a multiple of 6?
True
Suppose -10*j - 6 = -11*j. Is 2 a factor of j?
True
Let o be 58/8 - 5/20. Suppose -2*l - 5*t = -49, o*l - 2*l = -3*t + 94. Is l a multiple of 5?
False
Let a be (4/(-2))/(-1) - -1. Let x(m) = 3*m - 5. Let u(i) = 4*i - 4. Let v(d) = 2*u(d) - 3*x(d). Is v(a) even?
True
Let w(h) = -12*h + 8. Let t be w(-6). Let s be 4/8*2 - -4. Suppose s*i = i + t. Is i a multiple of 10?
True
Let i = -33 - -21. Does 6 divide i/((0 + 1)/(-1))?
True
Suppose -u - 50 = -3*u. Let f be u + 1*(2 + -1). Suppose -k = -3*k + f. Does 13 divide k?
True
Let y(q) = q - 1. Let g be y(5). Suppose 436 = 5*f - h, -g*f - 262 = -7*f + h. Does 29 divide f?
True
Let d(r) = r**2 + 168. Let h be d(0). Let f be ((-12)/(-8))/(9/12). Does 11 divide h/15 - f/10?
True
Suppose 5*n + 3*s - 22 = 0, 3*n - 25 = 3*s - 7. Suppose 2*h - n = h. Is h/3*(-2 - -14) a multiple of 20?
True
Let a be ((-17)/(-5) + -3)*10. Suppose 0 = 2*v + 2*c - 10, 0*c = -a*c + 20. Suppose d + 6 - 1 = v, -13 = -o - 5*d. Is o a multiple of 19?
True
Let f(q) = 5*q**2 - 3*q + 4. Let o be f(5). Suppose -2*c = c - o. Is c a multiple of 19?
True
Suppose 44*d - 46*d + 934 = 0. Is d a multiple of 39?
False
Let g be -134 - (1 + (0 - 2)). Let v = -64 - g. Is v a multiple of 18?
False
Let g(m) = 5*m**2 - m. Let d be g(1). Suppose d*z = -0*z + 104. Is z a multiple of 13?
True
Let t = -10 - 36. Let g = t - -97. Is 17 a factor of g?
True
Suppose -2*h = -3*h. Does 2 divide -3 + 3 + 3 + h?
False
Suppose 12*p = 5*p + 2261. Is p a multiple of 51?
False
Let f(c) = -c**3 - 10*c**2 - 4*c + 5. Let b be f(-10). Let v = 11 + 6. Let p = b - v. Is p a multiple of 14?
True
Let r(p) = p**2 - 10*p + 4. Let k be r(7). Let w be k/4 + 1/4. Let u(f) = -f**3 - 5*f**2 - 6*f. Does 8 divide u(w)?
True
Let w = 92 + -22. Does 35 divide w?
True
Suppose 700 - 1948 = -4*t. Is t a multiple of 39?
True
Suppose -3*p + 54 = 126. Let c = 48 + p. Is c a multiple of 12?
True
Let d(p) be the second derivative of -p**4/12 + 7*p**3/6 + p**2 - 3*p. Let u be d(7). Suppose 2*n = -4*h + 46, 3*n + 7*h - 73 = u*h. Does 16 divide n?
False
Let q(o) = -o**2 + 7*o - 2. Let r(p) = -p**3 + 5*p**2 + 7*p - 9. Let v be r(6). Let s = 3 - v. Does 4 divide q(s)?
True
Let h = -97 - -139. Does 5 divide h?
False
Let t(a) = -a**2 - 10*a + 10. Let k be 4/18 - 920/90. Is t(k) a multiple of 7?
False
Let t be (-2)/8*(-309 + -7). Suppose t = 5*w + v, -2*w - 5 + 40 = -3*v. Is 8 a factor of w?
True
Let t = -138 - -208. Let j = t + -42. Does 6 divide j?
False
Let q = -30 - -133. Is q a multiple of 12?
False
Let w(p) = 2*p**2 - 2*p + 3. Let d(n) = -n - 6. Let m be d(-9). Is w(m) a multiple of 11?
False
Let d(f) = -89*f**3 - f**2 + f + 1. Let q be d(-1). Suppose q = 5*t - 82. Does 17 divide t?
True
Suppose 0*y + y - 51 = 0. Suppose -4*z + y + 37 = 0. Is z a multiple of 11?
True
Let j(f) = 5*f**2 + f. Let w be j(1). Let v(y) = -y**2 + 14*y. Is v(w) a multiple of 24?
True
Let g(p) be the first derivative of 19*p**2 - 4*p + 1. Let j be g(3). Suppose b - 2*b - 55 = -3*w, 0 = 5*w + 2*b - j. Is w a multiple of 9?
False
Let a = 11 - 20. Does 2 divide 6/a - (-69)/9?
False
Suppose 376 = 3*u - 308. Is 38 a factor of u?
True
Suppose -23*j = -24*j + 254. Is j a multiple of 17?
False
Suppose p + 5*i = 69, -4*i + 5*i = -3*p + 207. Is 19 a factor of p?
False
Let x(y) = 7*y + 2. Is x(5) a multiple of 11?
False
Let u(q) be the third derivative of q**5/60 + q**4/3 + q**3/6 - 4*q**2. Let l be u(-8). Suppose -10 = -i - l. Is i a multiple of 8?
False
Suppose d - 97 = -0*g - g, -3*d - 267 = -3*g. Let n = -47 + g. Suppose -4*x = 2*a - n, 2*a - 2*x - 31 = 21. Is 12 a factor of a?
False
Let m be (-136)/10*15/3. Let p = -43 - m. Is p a 