**2 - r**3 - r. Let p be b(-3). Is (4 + 1)*(-42)/p a multiple of 7?
True
Is 14 + (3 - 3 - -3) + -2 a multiple of 2?
False
Suppose 250 = 5*l - 90. Does 27 divide l?
False
Let j = 181 - 82. Is j a multiple of 16?
False
Let l(d) = -d**2 - 10*d - 7. Let j be 1068/(-54) - 4/18. Let n = j - -12. Is l(n) a multiple of 9?
True
Let p(y) = -11*y - 1. Let n be p(-3). Does 9 divide (-4)/(-6)*1008/n?
False
Suppose -4*h + 2*s = 2, 3*h + h = -4*s - 20. Let k be (-185)/h - (-1)/2. Does 17 divide k/6*(3 + -1)?
False
Suppose -9*x + 8*x + 200 = 0. Is x a multiple of 12?
False
Let h be (1 - -16) + (-3 - -1). Let u = -41 + h. Let k = u + 44. Is k a multiple of 8?
False
Let x(b) = -2*b - 2. Let i(t) = -2*t + 1. Let u be i(4). Is x(u) a multiple of 12?
True
Let g(l) = l - 5. Let i be g(5). Suppose -d = -y - 18, 2*y - 27 = -d - i*y. Is 12/(-9)*d/(-2) a multiple of 5?
False
Suppose 5*q + 40 = l, 2*q - 10 = -l - 3*q. Is l a multiple of 7?
False
Let k = -16 - -22. Suppose -k*j = -274 - 62. Is j a multiple of 14?
True
Let x be -1*(-1 + -3 + 0). Let v be (-3)/x + (-489)/(-12). Suppose 0 = -2*b + 4*b - v. Is 10 a factor of b?
True
Let w be (7 - (-1 + 1)) + -3. Suppose 22 = w*g + 3*y - 6, 5*g = 2*y + 35. Is 7 a factor of g?
True
Suppose 0*x + 5*x + 5*s = 535, -2*s - 206 = -2*x. Does 21 divide x?
True
Is (-2)/8 - (2 + 258/(-8)) a multiple of 15?
True
Let t = -5 + 5. Let n = 12 - t. Is n a multiple of 12?
True
Let x be 219/(-15) + (-6)/(-10). Let y = x - -28. Is 5 a factor of y?
False
Let o(n) = -41*n - 4. Is 6 a factor of o(-4)?
False
Suppose -i - 2*c + c + 14 = 0, i - 4*c - 39 = 0. Does 2 divide i?
False
Is 9 a factor of ((-75)/10)/((-1)/6)?
True
Let k(f) = f**3 + 17*f**2 - 18*f + 22. Is 18 a factor of k(-18)?
False
Let l be (-1 - -1) + 2 - -2. Let s = 16 + l. Is s a multiple of 10?
True
Suppose 150 = 4*r - r. Is r a multiple of 10?
True
Let f = 6 - -5. Is 88/f*5/4 a multiple of 4?
False
Suppose 4 = -f + 5*d + 15, -3*f + 2*d = -98. Does 12 divide f?
True
Suppose -p = -1 - 1. Suppose 82 = 2*i + p*a, 47 = i - 3*a + 6*a. Is i a multiple of 19?
True
Suppose -2*v = -4*x + 44, 0*x = -5*x + 3*v + 57. Is 3 a factor of x?
True
Suppose 0 = -6*p + 4*p + 10. Suppose -3*z = -p*s + z + 200, 2*s = -2*z + 80. Does 20 divide s?
True
Let j = 200 - 137. Does 7 divide j?
True
Let v(c) = c**3 - 8*c**2 - 21. Is v(9) a multiple of 12?
True
Let w(q) = -q**2 - q + 1. Let x be w(0). Does 3 divide 4*((-5)/(-4))/x?
False
Let k be 1 + (14 + -1)/1. Suppose l = b + 7, -3*b = -2*l + 6*l - k. Is 11 a factor of (b/(-4))/(2/56)?
False
Suppose 8 = -2*r + r. Let o(q) = -2*q**2 - 12*q - 10. Let g be o(r). Let i = g + 61. Is 11 a factor of i?
False
Let m(i) = i**3 - i**2. Let k be m(2). Suppose 5*s + k*t - 79 = 0, -12 = -s + 2*t + t. Is s a multiple of 15?
True
Let l(v) = -144*v**3 + 2*v**2 + v - 1. Is 36 a factor of l(-1)?
True
Suppose 3*r = 5*v - 11, -2*v = 3*r + 2*v - 25. Let x(g) = 3*g**2 - 5*g + 5. Is x(r) a multiple of 17?
True
Suppose j = -0*j - 28. Is j/(-4) + (-4)/(-2) a multiple of 4?
False
Suppose -6*q = -q. Let m be 4 - 1*(q - 1). Let x(p) = 2*p**2 - 7*p + 5. Is x(m) a multiple of 9?
False
Suppose -2*w + 6*w = 8. Suppose -w*m - 57 = m. Does 16 divide 2*1 - m*2?
False
Suppose -5*t = -9*t + 12. Suppose -18 = -t*y + 75. Is y a multiple of 17?
False
Suppose 0*n - 6 = -3*b - 3*n, 3*b - 2*n - 21 = 0. Suppose -3*o = 2*o - t - 69, b*t = 5*o - 65. Is 7 a factor of o?
True
Suppose -3*b - 4*y - 16 = 0, -b + 12 = -7*y + 4*y. Let v be (1 + b)*(60 + -1). Let c = -31 + v. Does 14 divide c?
True
Suppose 235 = -4*l + 759. Suppose 3*k - l - 97 = 0. Let y = -46 + k. Is 15 a factor of y?
True
Suppose 0 = 5*v + q + 159, -2*v = -3*v + 2*q - 23. Let h = 71 + v. Is h a multiple of 8?
True
Let t = -396 - -640. Does 18 divide t?
False
Let r(h) be the third derivative of h**6/80 - h**5/60 + h**4/12 - 2*h**2. Let c(v) be the second derivative of r(v). Is 16 a factor of c(2)?
True
Suppose 2*n = -3*m - 6, 4*n - 2*m + 4*m = -4. Suppose -2*t = -n*t - 6. Is 3 a factor of t?
True
Let l = -42 - -51. Does 3 divide l?
True
Let c = -22 + 47. Let u = c + -1. Let l = u + -8. Is l a multiple of 11?
False
Suppose 28 = 2*l - l. Suppose 3*t - l = 2*c, 4*t = -2*c + c + 30. Is 5 a factor of t?
False
Suppose 5*y - 7 = k - 35, 5*k + 2*y - 5 = 0. Let q(o) = o**3 - 3*o**2 - 5*o + 7. Let z be q(5). Suppose -k*i - z = -89. Is i a multiple of 19?
True
Let x be 17/6 + (-1)/(-6). Suppose -3 - x = -3*d. Is (3 - d - 16)*-2 a multiple of 15?
True
Let g(z) = -z + 64. Does 5 divide g(24)?
True
Suppose 0*k + 5*k = -25, 5*j = -4*k - 110. Let f = -6 - j. Is 5 a factor of f?
False
Let s be ((-2)/(-2))/(4/12). Is 124/s + (-4)/(-6) a multiple of 14?
True
Let f(w) = w**3 - 6*w**2 + 5*w - 8. Let j be f(6). Let y = j - 16. Is y even?
True
Let h(a) = 14*a**2 + 3*a - 2. Let m be h(2). Suppose 4*s + 4*j - m = -s, 75 = 5*s + j. Is 6 a factor of (-41)/(-3) + s/(-24)?
False
Let x(y) = 9*y - 1. Let u be x(-4). Let h = 87 + u. Is h a multiple of 17?
False
Let j = -5 + 5. Suppose j = 2*w - 5*w - 30. Let h = w - -28. Does 8 divide h?
False
Suppose 115 + 164 = 3*i. Let g be (-1294)/22 - 8/44. Let f = i + g. Is f a multiple of 17?
True
Suppose -3*c = -4*c + 5. Suppose 2*f + 4*g = c*g + 13, -5*f + 13 = 4*g. Suppose 2*v - f*z = 94 - 17, -3*v + 2*z = -88. Is v a multiple of 12?
False
Suppose n = 165 + 98. Is 15 a factor of n?
False
Let c = 15 + -9. Suppose c*a - 7 = 5*a. Does 3 divide a?
False
Suppose 4*z = -2*r + 22, 4*r - 14 = 2*z - 0. Suppose 3 + 0 = 2*w + d, -5*d = w + z. Does 2 divide w?
True
Suppose 0 = -g + 4*h + 125, -2*h + 375 = 3*g - h. Does 26 divide g?
False
Let k = -1 - -11. Is 2 a factor of k?
True
Suppose 0*p + 16 = 4*p. Let k = 9 - p. Is 5 a factor of k?
True
Let p(m) = -m**3 + 8*m**2 - 7*m + 4. Let r be p(7). Does 3 divide (1 - r)/(4/(-12))?
True
Suppose 2*d - 8 + 0 = 0. Suppose 0*s + 24 = 3*s - d*b, -4*s - 5*b = -1. Is 4 a factor of s?
True
Does 11 divide (-9)/((-18)/200) - 1?
True
Let o(j) = -2*j + 15 + 5*j - 2*j. Is 5 a factor of o(0)?
True
Let u(y) = 4*y**2 + 2*y - 12. Is u(6) a multiple of 12?
True
Let q(g) = g**2 + 7*g + 10. Let y(p) = -p**3 - 4*p**2 - p - 1. Let a be y(-3). Is 5 a factor of q(a)?
True
Let z(m) = -m - 4. Is z(-15) a multiple of 6?
False
Suppose 0 = -5*j - p - 8 + 23, -5*j = -3*p + 5. Suppose -268 = -j*s - 2*s. Is s a multiple of 24?
False
Let z(s) = 7*s - 8. Let y be z(-7). Suppose -3*v - 2*v + 4*p + 14 = 0, -3*p = 5*v - 7. Is (4/(-6))/(v/y) a multiple of 8?
False
Suppose 3*a + a = -4*j - 84, -a = 2*j + 39. Suppose 0 = 4*s - 20, -4*d - 87 = 3*s + 34. Let c = j - d. Does 7 divide c?
False
Let f be 28/(-36) + 6/(-27). Let p(r) = 24*r**2 + r + 2. Is 20 a factor of p(f)?
False
Let x(s) = -s**2 - 6*s - 1. Let h be x(-5). Suppose -2*m + 79 = 3. Does 8 divide 3 + 2/(h/m)?
False
Let j(c) = -c**3 + 7*c**2 + c + 1. Let z(w) = -3*w**3 + 14*w**2 + w + 1. Let t(o) = 5*j(o) - 2*z(o). Is 11 a factor of t(-6)?
False
Suppose -4*r = 4 - 24. Suppose 0 = -3*y + r*y - 4*n - 2, -3*y + 11 = 2*n. Is y even?
False
Suppose 3*u = -b + 12, 5*u + b = -b + 20. Suppose 5 = -a + u*h - 0*h, -2*a + 3*h = -15. Is a a multiple of 3?
True
Let w(f) = 7*f**2 + 25*f - 6. Is 11 a factor of w(-5)?
True
Suppose -m = 4*m. Let a(c) = -c + c**2 + 4*c + m*c + 8. Does 13 divide a(-6)?
True
Let z(u) = -u**2 - 5*u - 6. Let r be z(-5). Let a = -3 - r. Does 3 divide a?
True
Let a(z) = z - 5. Let n be a(8). Suppose -2*m = -n*m + 2. Suppose 4*q + 5*x = 22 + m, -4*q = 2*x - 36. Is 6 a factor of q?
False
Suppose -3*p + 96 = 3*p. Is p a multiple of 6?
False
Let v(i) = i**2 + 30. Let h be 0 + 3/3 + -1. Let b be v(h). Is 2 a factor of b/7 + (-12)/42?
True
Let p be 45/(-10)*2/3. Let k(m) = -26*m + 6. Is k(p) a multiple of 28?
True
Let p = 179 - 87. Is 29 a factor of p?
False
Suppose -4*t + 4 = -2*t. Suppose -x - 2 = 5*l, -l = x - 3*l - 33. Suppose -w + x = t. Is 7 a factor of w?
True
Let s be 135/(-18)*(-4)/(-6). Let b = s - -7. Suppose b*p + 19 = 61. Is 7 a factor of p?
True
Let i = 151 - 79. Let l = i + -47. Is 17 a factor of l?
False
Suppose 0 = -2*b - b + 18. Let s(p) = 0*p + 0 + p + 2. Is 8 a factor of s(b)?
True
Suppose -4*f + 985 = 3*j, 3*j - 2*j = -3*f + 325. Does 14 divide j?
False
Let h = -6 + 10. Does 2 divide h?
True
Suppose -6*t + 65 = -t. Does 13 divide t?
True
Let r be -2 + 2 + (4 -