. Is ((-12)/l)/(r/(-12)) a multiple of 16?
True
Suppose 3*k + 112 + 302 = p, -131 = k + 2*p. Let g be k/(-9) - 6/27. Is 19 a factor of (-1 + 11)*g/6?
False
Let x(r) = -2*r**2 - r - 3. Suppose -4*f - 5*m + 6 = -f, 5*f = -3*m - 6. Let i(y) = y**2 + 2. Let q(a) = f*i(a) - 2*x(a). Does 12 divide q(-6)?
True
Suppose 5*q - 3*i - 122 = q, -q - i + 27 = 0. Is q a multiple of 3?
False
Let i = 8 + -17. Let s(a) = -4*a**3 - 13*a**2 - 7*a + 3. Let t(p) = 7*p**3 + 25*p**2 + 14*p - 6. Let k(y) = 5*s(y) + 3*t(y). Is k(i) a multiple of 9?
False
Suppose 4*c - s + 16 = -0*c, 5*s = -5*c + 5. Let w be (0 + -2 + -1)*c. Suppose 0 = 3*l + 5*o - 75, o + w = 4*o. Is l a multiple of 10?
True
Let t = 54 + -26. Suppose -37 - 3 = -w - 2*i, -t = -w + 4*i. Suppose -w = -3*y + 18. Does 14 divide y?
False
Let c = 56 - 37. Suppose -5*d + 2 = 4*k + c, -k - 23 = 5*d. Suppose 0 = -l, -l - k*l = -x + 22. Does 11 divide x?
True
Suppose c - 17 = -5. Is c a multiple of 3?
True
Suppose -27 = x + 2*x. Let f(n) = n + 13. Let w be f(x). Suppose -2*k - w = -3*k. Is k a multiple of 2?
True
Suppose 4*b - 2*b - 8 = -2*a, -4*b = -3*a - 44. Is 4 a factor of b?
True
Let v = 149 - 110. Is 39 a factor of v?
True
Let p be (-4)/(-8)*(0 + 0). Suppose p*l + 57 = l. Does 19 divide l?
True
Let u = -47 + 80. Let z be 1/((3 - 2)/u). Suppose 4 = -v + z. Is 11 a factor of v?
False
Suppose 558 = -6*z + 9*z. Is 56 a factor of z?
False
Suppose 0*p = p - 20. Suppose 0 = c + 3*q + 85, -201 = 2*c - 5*q - p. Let v = -62 - c. Does 26 divide v?
True
Let a be 16/(-20) - 2/10. Let k be (-1 - a)/(2/1). Suppose k = 5*s - s - 12. Is s a multiple of 2?
False
Let a(p) = -6*p**2 - 26*p + 41. Let n(x) = x**2 + 5*x - 8. Let z(m) = -2*a(m) - 11*n(m). Let c(r) = r**2 - 3*r + 4. Let q be c(3). Is 8 a factor of z(q)?
False
Let f(s) = -s**3 - 5*s**2 - s - 2. Suppose -2*r - 1 = -u + 13, 4*r + u + 16 = 0. Let n be f(r). Suppose 0*c - 15 = -n*c. Is 3 a factor of c?
False
Let u(r) = 2*r**3 - 2*r. Is 16 a factor of u(3)?
True
Suppose -3*p + 56 = -5*l, -3*p + 2*p + 24 = l. Does 22 divide p?
True
Let d = 97 - 1. Is 9 a factor of d?
False
Let j = 61 - -13. Suppose j = 2*c - 3*f + f, -c + 5*f = -57. Does 7 divide c?
False
Let i be -3 - -2 - (13 - 1). Let d = i + 9. Is 11 a factor of ((-6)/d - 2)*-22?
True
Let a be -53*3*10/(-15). Suppose 5*j + 16 = a. Does 9 divide j?
True
Let h(a) = -2*a**2 - a + 3. Let c be h(-5). Does 36 divide (-2 - c - 1) + -3?
True
Let k = 1 - 0. Let l = k + 0. Let o = l + 15. Does 15 divide o?
False
Let t(r) = -r**3 - 3*r**2 + 2. Let o be t(-3). Is (47 + -1)*1/o a multiple of 6?
False
Let l = -6 - -1. Let o be -14 + ((-3)/(-1) - 1). Let k = l - o. Is 4 a factor of k?
False
Suppose 6*b - 160 = -2*b. Is b even?
True
Let z(i) = 3*i**2 - 6. Let f be z(-3). Let v = 43 - f. Is v a multiple of 6?
False
Let m(a) = 13*a**2 + 10*a + 4. Is m(-2) a multiple of 12?
True
Suppose -3*z + 4 = -5. Suppose -3 + 13 = 2*w. Suppose z*s - 8*s - 90 = -3*q, -w*q + 140 = -5*s. Does 7 divide q?
False
Let h(g) = 2*g**2 - 2*g - 1. Let k(p) = -p**2 - 10*p - 9. Let w be k(-9). Suppose -2*y - 12 = -2*n - w*n, -3*y = -5*n + 28. Does 2 divide h(y)?
False
Let x = 1 + 33. Suppose x = 3*h - 2*h. Does 17 divide h?
True
Let j be (-1 + -2)*4/6. Let h(i) be the second derivative of -i**5/10 + i**3/6 - 2*i. Does 7 divide h(j)?
True
Let v(b) = 2*b**2 - 3*b - 2. Let j be v(-2). Let m = 21 - j. Does 3 divide m?
True
Suppose g + 3*g - 12 = 0. Suppose 172 = 4*x + d + g*d, -4*x + 4*d + 188 = 0. Does 18 divide x?
False
Let r(k) = -1 - 2*k + 5 - 3 - k. Let s be r(-5). Suppose 2*w = -2*w + s. Is 4 a factor of w?
True
Suppose -4*i + 0*i + 144 = 0. Let p = -20 + i. Is p a multiple of 8?
True
Let p(s) = 3*s**3 + s**2 - s - 4. Let m be p(3). Suppose -3*l - u + m = 0, 5*l + u + 3*u - 143 = 0. Suppose -l = -5*z + 83. Is 11 a factor of z?
True
Suppose -3*x - 13 + 1 = -3*a, -5*a + 20 = 0. Let d(q) = -q**3 + 4*q**2 + q. Let p be d(4). Is -2 + x - (-40)/p a multiple of 8?
True
Suppose -40 = -2*j + 26. Does 11 divide j?
True
Suppose -4*c + 145 = -n - 266, 4*c = -n + 405. Suppose -2*f + 60 = -4*m + 2, 4*f - c = m. Is f a multiple of 12?
False
Does 8 divide (5/(-4))/(5/(-360))?
False
Let t(d) = -42*d + 3. Does 49 divide t(-3)?
False
Let i(x) = -x**3 + x**2 - x + 28. Is i(0) a multiple of 7?
True
Let x(s) = -17*s - 1. Let t be x(-1). Let o be (-3)/(-4) - (-100)/t. Suppose -2*d + d + o = i, -3*d + 4*i + 49 = 0. Is d a multiple of 7?
False
Suppose s + 34 = t, -5*t - 3*s + 70 = -92. Does 3 divide t?
True
Suppose a + 3 = 2*a. Let z(c) = 4*c**2 - 2*c + 1 + 0*c**3 - 2*c**3 + c**a. Is z(3) even?
True
Let f(o) = 19*o + 27. Is 9 a factor of f(8)?
False
Suppose 3*m + 5*a - 81 = 0, -5*m - a - 76 = -211. Suppose p - m = -5*y, 0*p = 2*p + 3*y - 33. Does 9 divide p?
False
Suppose -41 = -2*w + 51. Is w a multiple of 8?
False
Let f = -332 + 195. Let t = -41 - f. Does 32 divide t?
True
Let w = -33 + 340. Does 38 divide w?
False
Suppose -2*r + 34 = -20. Let i = r - 40. Let z = 19 + i. Is 3 a factor of z?
True
Suppose 0 = -5*n + 4*g + 51, g + 0*g = -5*n + 31. Is 7 a factor of n?
True
Let l(o) = -o + 1. Let r(m) = -4*m**2 - 3*m + 4. Let w(p) = 6*l(p) - 2*r(p). Is w(2) a multiple of 16?
False
Suppose 5*o - 104 = 16. Is o a multiple of 8?
True
Suppose 5*v + 163 - 13 = 4*b, -5*b - 79 = 4*v. Let w = v - -36. Let x = w + -6. Is 3 a factor of x?
False
Let r = -20 + 44. Is 3 a factor of r?
True
Let u = -32 + 48. Does 16 divide u?
True
Suppose 2*j + 5*o + 7 = 52, 0 = -2*j + o + 27. Is j a multiple of 4?
False
Is 3/24 - (-999)/8 a multiple of 25?
True
Let o(x) = -x**2 - x + 18. Let w be (-2 + 2)*3/9. Is o(w) a multiple of 9?
True
Let l(z) = 3*z + 1. Let g be l(1). Let w(m) = -19*m - 1. Let y be w(-2). Let j = y - g. Is j a multiple of 12?
False
Is 5 a factor of (-387)/(-6) + 4/8?
True
Suppose k + 164 = 5*k. Suppose 0 = -2*g + 35 + k. Is 19 a factor of g?
True
Suppose -1031 = -3*w - 5*t - 259, -4*t - 1072 = -4*w. Is 11 a factor of w?
True
Suppose 0 = -2*h - 2*h + 4. Let s(i) = 1 + 10*i**3 + 118*i + i**2 - 59*i - 60*i. Is 11 a factor of s(h)?
True
Let k = 20 + -28. Suppose -4*d + 0*l = -3*l - 107, -2*d + 2*l + 52 = 0. Let h = k + d. Is 12 a factor of h?
False
Let s be (2/3 + 0)*3. Suppose -n + s*n = 14. Does 3 divide n?
False
Let z(j) = 5*j - 9. Let q = 27 - 18. Is 17 a factor of z(q)?
False
Let b(o) = -3*o**3 - 7*o**2 - 6*o - 4. Suppose -5*t - 12 = 8. Let w be b(t). Suppose y + 4*y - w = 0. Is y a multiple of 13?
False
Suppose 99 = 3*x + q, -4*x - 2*q + 121 = -11. Is x a multiple of 12?
False
Suppose -u - 1 = -3. Let b be ((-8)/12)/(u/(-15)). Suppose 26 = -4*s + b*s. Is 13 a factor of s?
True
Let j be (0/2 - 0)/1. Suppose -2 = p - j*p. Is (-1)/2*(-44 - p) a multiple of 17?
False
Suppose v - 5*c = 13, 3*v + 0*c - 3*c - 27 = 0. Let l = -10 + 6. Let n = l + v. Is 4 a factor of n?
True
Let b(c) = c. Suppose -5*l + 29 = 4. Let d be b(l). Suppose 3*r + 13 = -d*z + 44, 40 = 3*r - 4*z. Is r a multiple of 6?
True
Let d(u) = 4*u - 4. Let j be d(8). Let k = 86 - j. Does 15 divide k?
False
Let p be (-5)/2 - 3/6. Is 2 a factor of ((-6)/p - 3) + 6?
False
Let w be ((-1)/3)/(5/(-45)). Suppose 15 = w*v - 18. Is v a multiple of 11?
True
Let h = 6 + -5. Let n(y) = 22*y + 1. Is 12 a factor of n(h)?
False
Let o(c) = 4*c**3 - c**2 - 2*c + 2. Let w be o(2). Let k = 45 - w. Is 5 a factor of k?
False
Let h = 100 - 90. Is h a multiple of 10?
True
Let m = 1 + 3. Let z = 16 - m. Is 12 a factor of z?
True
Suppose y + 2*y - 12 = 0. Let p(c) = -c**3 + 4*c**2 + 2*c - 4. Let w be p(y). Suppose 0 = 3*x - 0*l - 2*l - 43, w*l = 2*x - 42. Is x a multiple of 10?
False
Let c(p) = 2*p - 5. Let x be c(4). Suppose 5*y + 2*i = i + 294, -y + x*i = -62. Does 20 divide y?
False
Is 34 a factor of (-1014)/(-10) + (-1 - (-8)/5)?
True
Let d = -7 - -3. Let s be d + (3 - (-1 - -3)). Let y(m) = -9*m - 4. Is y(s) a multiple of 23?
True
Let t(r) = -22*r - 5. Let w(n) = -11*n - 3. Let h(d) = 4*t(d) - 7*w(d). Is 21 a factor of h(-6)?
False
Let p be 1/(-4) + 1169/(-28). Is (-990)/p + 3/7 a multiple of 8?
True
Suppose 0 = 5*l + 7 - 2. Let y(c) = 11*c**2 - 2*c - 1. Let r be y(l). Let d = r + 2. Is d a multiple of 6?
False
Suppose -7*f + 24 = y - 3*f, -5*y + 2*f + 10 = 0. Suppose 5*p = y*v - 70, -4*v = 4*p + p - 90. Suppose v + 18 = 2*c. Does 7 divide c?
False
Su