 9 divide v?
True
Let o(d) = -27*d - 11*d - 5 + d. Does 27 divide o(-3)?
False
Suppose -5*v = -3*v - i - 1, 0 = 3*i - 9. Suppose t + 0*q - 4*q = 82, -v*t + 2*q + 158 = 0. Suppose -t = a - 2*a. Does 22 divide a?
False
Let q(i) = -141*i + 24. Does 28 divide q(-4)?
True
Let h(q) = -2*q + 0 - 3 + 2 + 4*q**2. Let u be h(-4). Suppose 0*p + 3*p - u = 2*d, -d = 1. Is p a multiple of 5?
False
Let t = -2250 - -3433. Is t a multiple of 9?
False
Let y(s) = 3*s**2 + 19*s + 3. Let p be y(-6). Does 62 divide (2 + p)*2 + 127?
False
Suppose -25 = -22*v + 21*v. Suppose -4*j + v = j. Suppose -20 = -c - 5*b + 13, 0 = j*c - b - 61. Does 6 divide c?
False
Suppose 0 = 2*o - 2 - 4. Suppose -u - 4*h = o*u - 316, -4*u + h = -291. Does 9 divide u?
False
Suppose 0 = -5*j + 3*j + 474. Let u = j - 154. Is u a multiple of 28?
False
Suppose 5*f - 390 = -1260. Let h = f - 38. Does 30 divide (-2)/7 + h/(-7)?
True
Let k = 36 - 30. Let v = k + 15. Let g = v + -7. Does 14 divide g?
True
Let b be (-5)/((-5)/(-2)) - 1. Let d be -2 + 143 + b + 2. Suppose w - 6*w + d = 0. Does 7 divide w?
True
Let i = 1058 + -1067. Let j(y) = 20*y - 34. Let o(m) = -7*m + 11. Let d(z) = 2*j(z) + 7*o(z). Does 30 divide d(i)?
True
Let k be 2/(-13) - ((-984)/(-52))/(-6). Suppose 162 = k*r - 18. Is 10 a factor of r?
True
Let l(s) = s**2 - 7*s - 20. Let j be l(10). Does 7 divide (-4)/j - ((-576)/20)/2?
True
Let s(y) = 6*y**3 + y**2 + y - 1. Suppose b + 4*u - 17 = 0, -2*b + 4*b = -5*u + 22. Is s(b) a multiple of 7?
True
Let s(i) be the first derivative of i**4/4 + 4*i**3 - 5*i + 4. Let r be s(-6). Suppose -5*n + r = 3*w, -n + w = 5*w - 32. Does 22 divide n?
True
Suppose 0 = 10*w - 7*w + 2*l - 3348, l + 2232 = 2*w. Is 22 a factor of w?
False
Is 15 a factor of (-2)/(-4) + (-2245)/(-50)*5?
True
Let q = 494 - 170. Is q a multiple of 12?
True
Let c = -1107 + 1921. Does 11 divide c?
True
Let n(g) be the first derivative of 4*g**2 + 10*g + 6. Let x be n(-11). Is 16 a factor of x/(-3 + 2/2)?
False
Let o be 0/(-4 - (4 - 6)). Let r = 34 - o. Does 8 divide r?
False
Let j = -2177 + 5864. Is j a multiple of 116?
False
Suppose -22*c + 17*c - 20 = 0. Is 16 a factor of ((-34)/c)/((-5)/(-30))?
False
Let p(t) = -16*t**3 + t**2 + 2*t - 2. Let k(d) = 32*d**3 - 2*d**2 - 4*d + 3. Let y(a) = -3*k(a) - 5*p(a). Does 4 divide y(-1)?
True
Suppose 2*l = -4*y - 3*l - 15, 2*l + 6 = 0. Let t(m) = -2*m + 2 + y*m - 2*m + 3*m. Does 7 divide t(-5)?
True
Let l(h) = 85*h**2 + 90*h + 630. Is l(-7) a multiple of 17?
True
Suppose -4*v = 3*j - 7, 3*v = -0*v + 2*j + 18. Suppose 4*y + 5*f = 611, -v*y + 541 = 4*f - 71. Is 11 a factor of y?
True
Let a(h) = 3*h**2 + 23. Let f be a(7). Suppose 10*l + f = 1220. Is l a multiple of 13?
False
Suppose 4*o - 4*s = 392, 4*o + 5*s - 309 = 74. Is (o - -1) + (-2 - (0 - 2)) a multiple of 14?
True
Let x = -63 - -89. Let j = -11 + 15. Suppose j*z - x = 6. Is 5 a factor of z?
False
Let m(v) = 55*v**2 + 3*v + 3. Let q be m(-1). Suppose -5*n + 245 = -q. Is 13 a factor of n?
False
Let s(t) = t - 4. Let v(h) = -h**2 - 7*h - 7. Let q be v(-3). Let f be s(q). Suppose -b = f, 5*i + 0*b - 12 = -3*b. Is i a multiple of 2?
False
Let n(x) = -6*x. Let s be n(-1). Suppose -4*q = -q - s, -2*y + 278 = 3*q. Let c = y - 76. Is 15 a factor of c?
True
Let a(r) be the first derivative of 11*r**3/3 - r**2 + r - 307. Let w = 1 + 0. Is 2 a factor of a(w)?
True
Let g = -56 - -46. Is (-3 - -32) + (g/2 - -1) a multiple of 5?
True
Let s = 790 + -564. Is 11 a factor of s?
False
Suppose 5*n - 29 = 11. Suppose -n*a + 156 = -5*a. Does 13 divide a?
True
Let w = -336 + 594. Is w a multiple of 28?
False
Suppose -4*q - 12 = 4*d, 0 = 3*d - 5*d - 8. Let c be (-2 + q)/((-1)/(-10)). Does 9 divide (-4)/c + 163/5?
False
Let j(s) = s**2 + 3*s - 4. Let r be j(-4). Suppose z - 3*z + 16 = r. Does 15 divide 2/z + 179/4?
True
Let q(m) = -42*m - 42. Is q(-7) a multiple of 9?
True
Let j = 186 + 732. Is 18 a factor of j?
True
Suppose 11*z - 14*z = -216. Suppose 23*s + z = 26*s. Is s a multiple of 6?
True
Let q(i) = -5*i**2 - 12*i + 20. Let l be q(-16). Is 2/4 + l/(-24) a multiple of 15?
True
Let x = -1302 + 1680. Is 10 a factor of x?
False
Let c = -66 + 68. Suppose 14*h - 1008 = c*h. Is 14 a factor of h?
True
Let d(w) = -w**2 - 8*w + 3. Let y be d(-8). Suppose 2*j + 2*c = 138, -2*c = j - y*c - 65. Does 19 divide j?
False
Let k(z) = -z**3 + z**2 + z + 123. Let q be k(0). Suppose -3 = 2*d + q. Let x = d - -137. Is 20 a factor of x?
False
Suppose 13 + 2 = 3*g, 4*g + 5 = 5*q. Let h(b) = 5*b + 1. Let u be h(q). Is 13 a factor of (-1)/((-2)/3)*u?
True
Let t(j) = j - j**3 + 12*j**2 + 9 - 2 - 2. Let f be t(11). Suppose -3*q = 5*m - 2*q - f, 2*m = 5*q + 71. Does 7 divide m?
True
Let b = 39 - -149. Is 20 a factor of b?
False
Suppose 32*x + 610 = 42*x. Is 10 a factor of x?
False
Let f(x) = 14*x + 955. Is f(61) a multiple of 7?
False
Suppose 10*k - 4*l = 8*k + 180, -495 = -5*k - 5*l. Does 6 divide k?
True
Suppose -r - 31 = -13. Suppose 0 = -2*n + 58 + 30. Let u = n + r. Does 26 divide u?
True
Let m(g) = -27 + 2*g**2 + 3*g - g**2 + 10 + g**2. Let x = 33 - 40. Does 15 divide m(x)?
True
Let f(g) = g - 10. Let a be f(6). Let r(c) = c**3 - 4*c - 5. Let h be r(a). Let u = 98 + h. Is 15 a factor of u?
True
Let w(z) = z - 1. Let m be w(4). Let n(b) = b**3 + 3*b - 7. Does 10 divide n(m)?
False
Let j = 162 + 99. Let z = -160 + j. Does 13 divide z?
False
Let r be (-4 - -5) + 3 + 0. Suppose 5*p - 23 = r*j, -2*p = -0*j + 2*j - 2. Does 21 divide p/(-6)*(3 - 45)?
True
Let i be 12/15*(-30)/(-12). Let j(v) = -2*v + i*v - v + 11. Does 10 divide j(-7)?
False
Suppose -49*w + 43*w + 54 = 0. Is 3 a factor of (-11)/(-2) - 5*w/30?
False
Let c(i) = -3*i**2 - 11*i - 5. Let d(r) = 2*r**2 + 11*r + 5. Let y(p) = 4*c(p) + 5*d(p). Let v be y(6). Is 15 a factor of 57 + (v/1 - -2)?
False
Suppose -4*q + 0*w + 3*w + 230 = 0, 228 = 4*q - 2*w. Is 7 a factor of q?
True
Suppose -2*y - 12 = 5*n + y, 2*y = -8. Let q(c) = -c**3 - c**2 + c + 4. Let h be q(n). Suppose 78 = 5*b + h*d, 3*d - 6 = -2*b + 28. Is b a multiple of 14?
True
Suppose 3*i = 4*q - 6, -2*i - 4*q + 10 + 6 = 0. Does 13 divide (3 + -9)*(i - 165/6)?
False
Suppose 4*q - 304 = 872. Suppose 0 = 3*b - 0*b - q. Is b a multiple of 26?
False
Let c(f) = 3*f + 2. Let w be c(-2). Let k = w - -12. Suppose k*n = 5*n + 141. Does 12 divide n?
False
Suppose 0 = -5*g - t - 2, 3*g + 3 + 1 = -2*t. Let i be 8/12*(g - -6). Suppose 4*s = i*m - 48 + 312, m - 1 = 0. Is 21 a factor of s?
False
Let p(k) = k**2 - 4*k + 9. Suppose 0 = -6*f + 91 - 19. Does 11 divide p(f)?
False
Let g = -253 - -1164. Is 77 a factor of g?
False
Suppose -2*i = 15 + 17. Let l = 20 + i. Let t = l - -32. Does 12 divide t?
True
Suppose -7*r = -9*r - 72. Let l = r + 64. Does 9 divide l?
False
Let g(h) = -2*h - 7. Let c be g(-5). Suppose 5*i + x = 74, -3*i + 0*i - c*x + 42 = 0. Does 4 divide i?
False
Suppose 26 = -4*z + 2. Let h(w) = -12*w - 3. Let a be h(z). Let i = -45 + a. Is 8 a factor of i?
True
Let a be (-14)/63 - 92/(-9). Let h = a - 10. Suppose -5*g - 2*d + 318 = h, d + 0 = 4. Is 16 a factor of g?
False
Is 19 a factor of (-2)/(-3)*(-225261)/(-162)?
False
Let d = 1461 - 1411. Does 3 divide d?
False
Let w be (12/18)/((-1)/3). Let x be (-2)/4 + (-11)/w. Suppose -4 = -x*u + 36. Is 8 a factor of u?
True
Let i = -13 - -141. Is 32 a factor of i?
True
Let p = -1075 - -1916. Does 10 divide p?
False
Is 61 a factor of (-42977)/(-44) + (-4)/((-16)/(-3))?
True
Let r be 14 + (0/4)/2. Let t = -12 + r. Suppose -5*o + 3*y + 211 = 4*y, -79 = -t*o + 5*y. Is o a multiple of 12?
False
Let p(x) = x**3 + 12*x**2 + 10*x - 4. Let t be p(-10). Let y = t + 30. Is y a multiple of 14?
True
Let z = 32 + 800. Is z a multiple of 8?
True
Let d = 27 + -14. Suppose d + 17 = 5*j. Suppose 7*a = j*a + 35. Does 11 divide a?
False
Let t = 32 - 90. Is 1*-1 - (t + 1) a multiple of 11?
False
Let j(t) = -28*t**3 - 2*t. Is j(-2) a multiple of 12?
True
Suppose 4*a + 7 + 9 = -4*i, -5*a - 2*i = 8. Suppose 4*f - 6*f + 12 = a. Does 2 divide f?
True
Suppose 4*t - 212 = -4*q, 11 = -2*q - 4*t + 121. Let y = q - 6. Is y a multiple of 9?
True
Let d = 16 + -16. Suppose d = 5*z - 147 - 123. Does 18 divide z?
True
Let l = -1980 + 2808. Is 33 a factor of l?
False
Let i(u) = -9*u + 8*u + u - 2*u + 24. Is i(3) a multiple of 9?
True
Suppose 0 = -0*y - 2*y 