a). Let r be b(3). Suppose 5*o - r = 4. Does 10 divide o?
True
Let w(a) = 2*a - 1. Let l be w(4). Let z(v) = v - 7. Let k be z(l). Suppose -y + 35 = -k*y. Is y a multiple of 19?
False
Let g(v) = v + 7. Let x be g(-4). Suppose -2*i + 5 = 5*n + x*i, 16 = -4*i. Does 5 divide n?
True
Let m(u) = -u**2 + 4*u - 7. Let w be m(5). Let c be 1 + (0 - (-18 - 2)). Let t = c + w. Is 9 a factor of t?
True
Let f(b) be the second derivative of 0 - 1/2*b**2 + 1/6*b**3 + 1/12*b**4 + 49/20*b**5 - 3*b. Does 25 divide f(1)?
True
Suppose 0 = 5*l - 67 - 108. Is l a multiple of 7?
True
Let y = -20 - -23. Suppose y*m = -0*m + 18. Is 4 a factor of m?
False
Let z(p) = p**2 - 3*p - 2. Let r = -11 - -16. Is z(r) a multiple of 4?
True
Let z be (-8)/10*665/(-14). Suppose 3*l + l + 3*h - z = 0, -h - 30 = -4*l. Does 7 divide l?
False
Let b be (2/4)/(1/(-4)). Let i be b + -1 - -5 - -2. Suppose m = i + 1. Is 5 a factor of m?
True
Suppose 2*j - 96 = -x, -5*x + 47 = 3*j - 97. Is 14 a factor of j?
False
Suppose -2*u + 0*u = -76. Let s be (-116)/6 + 1/3. Let b = s + u. Is b a multiple of 13?
False
Let u = -6 - -9. Suppose 0 = -4*b + 7*j - 2*j - 25, -u*j = -2*b - 15. Suppose 5*z + l - 26 = b, 5*z + l = 3*l + 38. Is 5 a factor of z?
False
Let x(c) = -2*c**2 - 5*c + 4. Let o be x(-4). Suppose 2*t - 15 - 17 = 0. Is 13 a factor of ((-78)/o)/(6/t)?
True
Let g = 5 + -2. Suppose g*q - 7*o + 2*o - 47 = 0, 2*q - 5*o - 23 = 0. Is q a multiple of 12?
True
Suppose 7*n - n = 354. Does 5 divide n?
False
Suppose 4*a - 204 = -3*q, -5*a - 7 - 8 = 0. Does 6 divide q?
True
Let f(t) = -t**3 - 10*t**2 + 15. Does 15 divide f(-10)?
True
Suppose -c - 4 + 5 = 0. Suppose 2 = -q + c. Is 17 a factor of q/(((-2)/60)/1)?
False
Let h(f) = 23*f - 7. Is 12 a factor of h(6)?
False
Let a = -14 - 23. Let u = -19 - a. Is u a multiple of 9?
True
Let h(g) = g**3 + 10*g**2 + 8*g - 4. Let i be h(-9). Suppose 5*m + 4*a = 2*m - 7, m = -i*a - 17. Suppose -3 = m*x - 15. Is x a multiple of 3?
False
Let o(c) = c**2 - 2*c. Let t be o(3). Suppose 4 = -t*n + 130. Suppose n = 7*b - 5*b. Does 12 divide b?
False
Let g(f) = -3 - f + 6*f - 3*f + 5*f. Is g(4) a multiple of 9?
False
Suppose y = -3*s + 25, y + 0*s - 65 = 5*s. Is 10 a factor of y?
True
Suppose 5*d + 14 = 6*d. Is d a multiple of 6?
False
Let t(x) = 1 - 1 - 5 + x**3 + 2 + 3*x**2 - 3*x. Let u be (-1 + -1)/(2/3). Is t(u) a multiple of 3?
True
Suppose -4*a = a + 30. Let n = 16 - a. Is 11 a factor of n?
True
Let n(r) = r**3 + 3*r**2 - 3*r + 2. Let u be n(-4). Let x be 40/12 + u/(-3). Suppose -x*v = -v - 72. Is 12 a factor of v?
True
Suppose -67 = 3*t - 22. Let g = -40 + t. Is (-10)/25*(g - 0) a multiple of 11?
True
Let f(q) = 5*q**3 + 4*q**2 - 4*q + 3. Let t be f(2). Let p = 234 - 99. Suppose -4*b + p = 5*z, -t = -3*z - 5*b + 30. Is z a multiple of 27?
True
Let r be (0 - 1) + 2 - -2. Suppose 4*p - 3*z - 9 = 0, 2*z + 38 = r*p + 6*z. Is 4 a factor of p?
False
Suppose c - 9 = -2*c, l + 2*c - 33 = 0. Let y = 18 + l. Is y a multiple of 20?
False
Suppose 0 = -2*g + 7*g + 195. Let z = g - -60. Is z a multiple of 11?
False
Suppose 3*d = 3*o + 192, 5*d + 131 = -3*o - 61. Let w = -39 - o. Is 8 a factor of w?
False
Suppose 0 = -2*x - 0*x. Suppose -2*q + q + 5*b + 4 = x, 5*b = 0. Suppose q*k = t + 4*t - 110, 2*k + 10 = 0. Is t a multiple of 8?
False
Let h(a) = -a**2 - 5*a - 5. Let z be h(-5). Let p(y) = -y. Let j be p(z). Suppose -n - 5*i = -53, 0 = 3*n - 0*i + j*i - 119. Does 11 divide n?
True
Suppose -90 = -5*o + f + 4*f, 5*o + 3*f - 50 = 0. Is 5 a factor of o?
False
Let f = -19 + 27. Let c(o) = 0*o + f - o - 1. Does 2 divide c(5)?
True
Let x(n) be the third derivative of -n**5/20 - n**4/4 - 3*n**3/2 - n**2. Let w be x(-6). Is 2*(w/(-3) + -1) a multiple of 18?
False
Suppose 5*l - 94 = 21. Suppose 0 = -2*z + 3*z. Suppose 3*o = 6*o + 2*s - l, 4*o - 2*s - 54 = z. Is 11 a factor of o?
True
Let r(d) = 10*d - 26. Is r(11) a multiple of 21?
True
Suppose 0 = -4*d + 4, -3*t = -d + 3*d + 73. Suppose 2*n = m - 71, 3*m + 38 = -n + m. Let u = t - n. Is 4 a factor of u?
False
Let m = -100 + 151. Does 17 divide m?
True
Suppose 0 = 4*d + 5*t - 85, 0*t - 2*t + 2 = 0. Is 8 a factor of d?
False
Let h = -779 - -1185. Does 58 divide h?
True
Let l(m) = m + 11*m**2 - 2*m**2 - 1 - m. Let g be l(1). Does 14 divide (-3 + 38/g)*8?
True
Suppose -10*z = -6*z - 744. Does 15 divide z?
False
Suppose 13 = 5*j - 7. Suppose j*b + 4*i = 148, b + 3*i = -b + 70. Is 11 a factor of b?
False
Suppose 1 = -3*w + 16. Suppose 0*n = w*n + 120. Let l = -13 - n. Is 11 a factor of l?
True
Let t be 75/27 - 4/(-18). Does 22 divide t/(-3) + 30/1?
False
Let w(x) = x**2 + 3*x + 6. Is w(-6) a multiple of 12?
True
Let z(l) = 7*l**2 - 2*l**2 + 2*l**2 - l**2 - 2*l. Does 20 divide z(2)?
True
Let a(x) = -3*x**2 + 2*x + 3. Let p(d) = -d**2 - d. Let n(m) = a(m) - 2*p(m). Let c be n(4). Suppose -10 = -c*k + 11. Is 7 a factor of k?
True
Let t(d) = -d**3 + 8*d**2 - 5*d - 6. Is 3 a factor of t(7)?
False
Suppose -10 = -0*k + 5*k. Let f be -2 - k*(-10)/(-4). Suppose 36 = l + f*l. Is l a multiple of 9?
True
Let q be -6 - -2 - -3 - -4. Suppose 5*s - 183 = 3*v, 5*s - 183 = -q*v - 6. Is 12 a factor of s?
True
Let c(r) = -6 + r**2 + 0 + 5*r - 6 + 2. Is 17 a factor of c(-10)?
False
Let z = 125 - 60. Is 13 a factor of z?
True
Suppose 7 - 31 = -4*i. Let a(n) = -n + 2. Let p be a(-2). Suppose i = p*v - 18. Is 3 a factor of v?
True
Let a = 34 + 148. Is a a multiple of 37?
False
Suppose -154 = -5*r - 9. Is r a multiple of 29?
True
Suppose 13*k + 2*k - 285 = 0. Is 12 a factor of k?
False
Let g(l) = 2*l**2 - 3*l + 2. Let s(i) = 3*i**2 + i. Let b be s(1). Suppose b*r - 16 = -0. Is g(r) a multiple of 11?
True
Let s = 4 - -26. Suppose -4*d + 142 = s. Does 14 divide d?
True
Let s = -11 + 14. Let m(k) = 2 + k + k**2 - 2*k - k. Does 5 divide m(s)?
True
Let k = 0 + 2. Suppose -k*o = -3*o. Suppose 3 + o = m. Does 3 divide m?
True
Let w(p) = 2*p + 4. Let a be w(6). Let s be (a/6)/(3/(-9)). Let b(c) = -c**2 - 9*c - 1. Does 3 divide b(s)?
False
Let p = -8 - -2. Let x = p + 8. Is x even?
True
Let u(n) = 31*n**3 + 2*n**2 + n + 4. Let v(h) = -62*h**3 - 4*h**2 - 2*h - 9. Let w(q) = 13*u(q) + 6*v(q). Is w(1) a multiple of 16?
True
Is (-26*(-4)/2)/(-28 + 30) a multiple of 13?
True
Let q(n) = -2*n - 9. Let p(g) = -g**2 - 4*g + 6. Let l be p(-6). Let m(v) = -v**2 - 4*v + 6. Let r be m(l). Is q(r) even?
False
Suppose -7*q + 2*q = -10. Suppose 4*l - 88 = -b + 81, -q*b - 166 = -4*l. Suppose 0 = -4*x + l + 74. Is x a multiple of 15?
False
Suppose s - 2*s - 10 = 0. Let y = s - -20. Is y a multiple of 10?
True
Let a = 7 + -5. Suppose 0 = -a*s + 5*s. Suppose s = 4*n + 4*z - 88, 3*n = 7*n - 5*z - 106. Is n a multiple of 12?
True
Let h(g) = -g + 14. Let m be (-1)/4 + (-102)/(-24). Suppose -m*t = t. Is h(t) a multiple of 11?
False
Let n = 10 + 0. Suppose 5*h = n + 10. Is h a multiple of 4?
True
Let s = 27 - -162. Is s a multiple of 63?
True
Let h(m) = 28*m + 1. Let a = 6 - 5. Does 11 divide h(a)?
False
Suppose 127 + 103 = 5*a. Does 7 divide a?
False
Let j(v) = -7*v + 33. Is 4 a factor of j(0)?
False
Let w = 12 - 12. Is 20 a factor of -2 - w - (-22 + 0)?
True
Let h be (-518)/5 + (-8)/20. Let t = h + 179. Suppose -2*n + 7*n - t = 0. Is 12 a factor of n?
False
Suppose -4 = 4*i + u, 5*u = 2*i + 17 + 7. Is 12 a factor of 12/((4 - 1) + i)?
True
Let v = 6 - 4. Suppose 4*r - 57 = -3*b, -v*b + 1 = -3*b. Does 7 divide r?
False
Let u(m) = m**3 - 3*m + 1. Let n be u(2). Let i(p) = p**3 - 3*p - 3. Let v be i(n). Suppose 3*w = -3*s + v, 2*s + w - 9 = -1. Is s a multiple of 3?
True
Let f = -2 - -2. Let r = f + -4. Is (-18)/(-4) + r/(-8) even?
False
Let y be 12/(-9)*(-9)/(-2). Let w(o) = -o**3 - 5*o**2 + 4*o - 1. Let a be w(y). Suppose -a = 2*t - 51. Does 7 divide t?
False
Suppose 0 = -5*j - 5*y + 205, 2*y - 204 = -5*j - 2*y. Is j a multiple of 8?
True
Let z = 164 + -74. Is 57 a factor of z?
False
Suppose -10*y + 20 = -6*y. Suppose -106 = -y*o + 3*o. Is o a multiple of 15?
False
Let p be 20/(-25)*(-10)/4. Suppose -c + p*h + 245 = 4*c, -c = -h - 52. Is c a multiple of 13?
False
Suppose -4*o = 2*d - 2, -4*d - 2*o - 13 = -d. Let s = d + 14. Is s a multiple of 6?
False
Suppose -5*t - 11 = v, -v + 2*t = 4*v + 55. Let h = v - -16. Is h even?
False
Let t(u) = u**3 + 11*u**2 + 10*u - 3. Let k be t(-9). Suppose 24*i -