 2*r + 3. Let l(x) = 3*x**2 + 2*x - 3. Let b(c) = 3*l(c) + 4*t(c). Is b(5) a multiple of 9?
True
Suppose 2*s - 4*s = 0, -3*i + 4*s = -243. Let w = -39 + i. Is w a multiple of 21?
True
Suppose 19 + 35 = 2*q. Does 9 divide q?
True
Let q = 1 + 1. Suppose -2*o - 3*j + q*j + 11 = 0, 5*o + 2*j = 25. Is 12 a factor of o/(-2*(-3)/24)?
True
Let z be (-4)/26 - 186/(-26). Let o be (2/3)/((-6)/(-27)). Let j = z - o. Does 3 divide j?
False
Suppose -3*d + 2*d = -3*q + 6, 4*q + 3*d - 21 = 0. Suppose -q*p = 4 - 10. Suppose -p*i = 2*i - 40. Is i a multiple of 8?
False
Let j(k) = -5*k + 7. Let s(h) = 14*h - 20. Let q(a) = -7*j(a) - 2*s(a). Let i be q(7). Suppose 5*v - 10 - i = 0. Does 10 divide v?
True
Let v(z) = -1 + 0 - z - z + 62*z**2. Let a be v(-1). Suppose a = 5*k - 67. Is 13 a factor of k?
True
Does 14 divide (-11)/(-22)*(0 + 190)?
False
Let s(k) = -k**3 + 3*k**2 - 2*k - 1. Let m be s(2). Let o(r) = 5*r**3 + 2*r**2 - 1. Let h be o(m). Does 7 divide (-3 - h)/(1/21)?
True
Let m = -59 + 41. Let c = m + 34. Does 8 divide c?
True
Let u = -3 - -19. Let y = u - 5. Is y a multiple of 11?
True
Let i = 64 - -17. Is i a multiple of 5?
False
Suppose 3*t = 2*t - 6. Let x = t - -14. Is 4 a factor of x?
True
Let z = 3 + -4. Let c = z + 5. Is c a multiple of 4?
True
Let o = 11 - 6. Suppose -2*u = -3*y + 116, 4*y + 3*u - o*u = 156. Is 15 a factor of y?
False
Let c(y) = y**2 + 6*y + 3. Let h be c(-6). Suppose 9 + 42 = h*f. Is 17 a factor of f?
True
Let w be (-115)/(-35) - 2/7. Let x = -7 + 10. Suppose 4*n + x*d - 43 = 0, 0*n - 2*d - 45 = -w*n. Does 9 divide n?
False
Let c = -8 - -12. Is c even?
True
Let f = 113 - 78. Is 8 a factor of f?
False
Suppose -3*r = 4*g - 476, 0 = -3*r + 3*g - 2*g + 466. Is 26 a factor of r?
True
Let z(m) = -3*m - 17. Is 6 a factor of z(-9)?
False
Let o(l) = 16*l**2 - 4*l. Does 24 divide o(-2)?
True
Let p(z) = z**3 - 2*z**2 + 3*z - 3. Let u be p(2). Suppose -u*j - 1 + 13 = 0. Suppose 31 = q + j*o, -2*o = q + 2*q - 133. Does 12 divide q?
False
Let s(y) = y**2 - 14*y + 12. Let n be s(17). Is 17 a factor of -4 + -1*n/(-3)?
True
Let p be 3/(-2)*4/(-3). Let g be (p/(-4))/(7/(-84)). Suppose k + 3*f = -2, -21 + g = 3*f. Is 13 a factor of k?
True
Suppose 60 = 3*w + u, 3*w + 2*u = -0*w + 63. Is w a multiple of 19?
True
Does 15 divide (((-20)/8)/(-1))/(1/18)?
True
Suppose 2*x = 3*g + 21, -2*x + 9*g - 4*g + 27 = 0. Suppose -5*q = t + 10, -t = -x*t + 4*q + 95. Is 12 a factor of t?
False
Suppose 5*g + 21 = -4*w, w + 0*w = 4*g. Let f = 9 + w. Suppose -f*x + 120 = -90. Is x a multiple of 14?
True
Suppose -1 = 2*n + 3. Let x(r) = -6*r**3 - 2*r**2 - 1. Is 13 a factor of x(n)?
True
Suppose -2*u = -8, n + u - 12 = -u. Let g be 1/n + 92/16. Suppose g*m - m - 240 = 0. Is 18 a factor of m?
False
Let b = -5 + 6. Let k = 3 + b. Suppose 0 = -2*q - k*x + 48, 0 = -q + 4*q + 3*x - 75. Is 12 a factor of q?
False
Let l = 208 - 139. Is 42 a factor of l?
False
Let d be -2 - -3 - (-2 - 3). Let n be d/9*(6 - 0). Suppose -m - 3*s + 6 = -15, -n*m + 152 = -5*s. Does 11 divide m?
True
Suppose 0 = -v - 5*v + 90. Is v a multiple of 15?
True
Let v(w) = 3*w - 9. Let p be v(9). Let h(s) = s**2 + p + s - 3*s**3 + 2*s**3 + 13 + 2*s**3. Is h(0) a multiple of 12?
False
Let w(t) = -19*t + 9. Let g be w(-4). Suppose -2*z - 164 = 3*l - 0*l, -2*l + z = 100. Let b = l + g. Is b a multiple of 11?
True
Let a be 2/(6/(-27)*3). Does 18 divide (a/(-6))/(3/108)?
True
Let z(h) = 3*h. Let k be z(1). Suppose -d = k*d - 20. Is d a multiple of 2?
False
Suppose 2*c + 2*c = 4*d + 324, 4*c = -4*d - 308. Let i be (-1)/2 - d/2. Suppose -3*a = a + f - i, -55 = -5*a + 5*f. Is 10 a factor of a?
True
Let k be 5 + 0 - 6/2. Suppose 7*b - 6*b = k. Suppose 0*p + p - b*i + 1 = 0, -3 = -i. Does 5 divide p?
True
Let s(i) = 3*i**2 + 6*i - 12. Let j be s(-6). Suppose j = -c + 2*c. Does 15 divide c?
True
Let b be 106/6 - (-2)/6. Suppose -b = -2*j + 18. Does 15 divide j?
False
Let o be ((-30)/(-9))/((-4)/(-6)). Suppose -o*w = -2*w - 129. Is 9 a factor of w?
False
Suppose -3*p = 5*v - 31, 5*p - 26 + 1 = -3*v. Let t = p + 32. Is t a multiple of 19?
False
Let g(j) = j - 8. Let u be g(8). Suppose -3*l - 5*v + 115 = 0, -4*l - v + 2*v + 184 = u. Suppose 2*p = -p + l. Is p a multiple of 15?
True
Let w be (-1)/(-2)*406/1. Suppose 0 = -6*b + b + 3*c + 256, -4*b + 3*c = -w. Does 12 divide b?
False
Let v = 167 + -7. Is 34 a factor of v?
False
Let j = 84 - 129. Let y = j + 64. Suppose -5*p + 7*z + 89 = 3*z, 0 = p - 2*z - y. Is p a multiple of 17?
True
Suppose 3*m + 2*w = -38 + 158, -5*w - 141 = -3*m. Suppose 0 = -3*n + 2*g + g - 27, 2*n + 4*g = -m. Let r = n + 21. Is 3 a factor of r?
False
Suppose -m + h = 14 - 63, 2*h + 206 = 4*m. Suppose -i = -4*i + m. Does 9 divide i?
True
Let h be 2 - (2 + (1 - 3)). Suppose 0*z + 126 = 4*j + h*z, 0 = -3*j - z + 93. Does 15 divide j?
True
Suppose 136 = -2*j + 6*j + 4*p, 2*p - 32 = -j. Suppose m = 4*m - j. Is m a multiple of 12?
True
Suppose -g - s = s - 12, 3*g + 9 = 3*s. Suppose -g*j = -54 - 68. Does 26 divide j?
False
Let t be 4/14 + 1920/42. Suppose -3*u + t + 35 = 0. Is u a multiple of 16?
False
Suppose -25 = -5*h - 0. Suppose h*a = a + 36. Is a a multiple of 3?
True
Suppose -5*d + 15 = -0*d. Suppose 3*y + 5*a - 15 = 2, -3*a = -d*y - 15. Does 15 divide y/2*2*-30?
True
Let g be (-110)/(-25) - 6/(-10). Suppose -y + g = -37. Does 21 divide y?
True
Let q(l) = -l**2 - 19*l + 35. Is 2 a factor of q(-19)?
False
Suppose 4*f + 1 - 13 = 0, m = f + 13. Let i = m + -10. Is 6 a factor of i?
True
Let q be 4/10 - (-4)/(-10). Suppose 2*z = -3*m - 35, -5*z - 2 = -2*m - q. Let c = 4 - m. Is 13 a factor of c?
True
Suppose 0*k + 3*k = 18. Let t be ((-988)/(-6))/(4/k). Suppose t = 5*x - 48. Is 20 a factor of x?
False
Let a(o) be the first derivative of -2*o**3/3 - 2. Let n be a(2). Does 12 divide ((-3)/(-2))/((-1)/n)?
True
Let y(f) be the first derivative of f**4/4 + f**3 - 2*f**2 - 3*f + 2. Let n = 8 + -11. Is 4 a factor of y(n)?
False
Let h(i) = i**2 + i - 1. Is h(3) a multiple of 2?
False
Let f be (-7)/(21/(-120))*4. Suppose 3*o = 5*o - f. Is (14/(-35))/((-2)/o) a multiple of 8?
True
Let b = 5 - 17. Does 9 divide 4/(b/9) + 30?
True
Let o(h) = 10*h**2 + 4*h - 1. Let m(k) = k**2 - k + 1. Let a(z) = 2*m(z) + o(z). Is 11 a factor of a(-1)?
True
Let r(x) = x**3 - 9*x**2 + x - 3. Let j be (-1 - -2)*(2 + -3). Let w = j - -10. Is 5 a factor of r(w)?
False
Let j(v) = 5*v + 1. Let o(t) = -19*t - 3. Let d(u) = 9*j(u) + 2*o(u). Is 13 a factor of d(5)?
False
Let w(u) = 5*u. Let y be w(-6). Let i be y/(-7) + (-4)/14. Suppose -i*a = -3*d + 90, 3*d - 4*d = 3*a - 43. Does 9 divide d?
False
Is 10 a factor of -3 - ((-15)/20 + 209/(-4))?
True
Let s(y) = 4*y**2 - 4. Is 24 a factor of s(-7)?
True
Let f(m) = -m**2 - 4*m + 8. Let d be f(-6). Let b(c) = -c**3 - 4*c**2. Let z be b(d). Suppose -3*r + 4*q + 11 = z, 3*q = -4*r + r + 18. Is 2 a factor of r?
False
Let p(m) = -29*m**3 + m**2 + m + 1. Does 8 divide p(-1)?
False
Let y be 2/(-6)*9/(-1). Suppose y*d = 9, -4*g + 6*g = 4*d + 8. Is g a multiple of 10?
True
Suppose -5*x - 50 = 2*r - 567, -516 = -5*x - r. Is 7 a factor of x?
False
Suppose f - 10 = z + 2*z, f = -5*z - 22. Let l = z - -2. Is (10 - (-3 - l)) + 0 a multiple of 3?
False
Suppose 5*z = -3*z + 328. Is 8 a factor of z?
False
Let z(h) = h + 16. Does 7 divide z(12)?
True
Suppose -17*b + 12*b + 20 = 0. Is b even?
True
Is 5 a factor of ((-44)/(-8))/(2/8)?
False
Let x(y) = 11*y + 7. Let w(f) = 6*f + 3. Let s(c) = 5*w(c) - 2*x(c). Let g be s(-1). Let v = g - -11. Does 2 divide v?
True
Let j = -23 - -84. Suppose -3*i + 2*m = -j - 103, -i - 4*m + 64 = 0. Is i a multiple of 28?
True
Let u be (-4)/3 - 1/(-3). Let i be u*1*(0 - 2). Suppose -6 - 39 = -3*k + 4*g, i*g - 27 = -3*k. Is 7 a factor of k?
False
Is 7 a factor of 3 + (-5 - (-5 + -123))?
True
Let y be 1/(1/6*-2). Is 4*y/(-18)*24 a multiple of 5?
False
Let m(t) = 14*t - 6. Suppose 0 = 3*p - 4*p + 4. Does 25 divide m(p)?
True
Suppose 0*j - 6 = -3*j. Suppose 0 = -j*m + 24 + 16. Is 10 a factor of m?
True
Let k(p) = 3*p**3 - 3*p**2 + 3*p - 1. Let h be 2*2 + -7 + 5. Does 12 divide k(h)?
False
Suppose -3*n = n - 20. Suppose 0 = 4*m + n - 37. Does 4 divide m?
True
Let y(k) = k**2 - 3*k - 2. Is 16 a factor of y(-7)?
False
Let j(m) = -m - 10. Let r be j(-11). Let t = 22 - 9. Suppose 2 = 2*p, 5