 divide c?
True
Let d(j) = -90*j - 32. Let v be d(-9). Suppose -250 + v = 4*o. Does 33 divide o?
True
Suppose -5180 = -10*q - 4*q. Is 37 a factor of q?
True
Suppose 3*d - d = -z + 135, d + 5*z - 90 = 0. Does 8 divide d?
False
Suppose j = -j. Suppose -5*i - 3*p + 319 + 1 = j, -2*i + 102 = -4*p. Let u = -21 + i. Is u a multiple of 11?
False
Let w(d) = d - 10. Let n be w(3). Let v = -13 - n. Is 4 a factor of v/(-4)*32/4?
True
Let z(x) = -2*x**2 + 21*x - 20. Let r be z(9). Suppose 9 = 2*u - 3. Suppose 20 = -u*g + r*g. Is g a multiple of 7?
False
Let g = -1698 - -6354. Is 24 a factor of g?
True
Suppose 784 = 361*t - 357*t. Is 49 a factor of t?
True
Suppose v = -2*v + 4*x - 20, 0 = -2*v - 4*x + 20. Suppose 5*a - 4*a + 3*h - 23 = v, -4*h = 0. Suppose 61 = 2*g + 7*k - 2*k, g - a = -4*k. Is 12 a factor of g?
False
Suppose -2*d = -5*b + 1562, -4*b - 4*d + 1247 = -3*d. Does 11 divide b?
False
Let j(h) = -h**2 - 9*h + 3. Let v be j(-3). Let k = 101 - v. Does 9 divide k?
False
Let f be 2 - (-2 + 2*2). Let a(y) = y**3 - 8*y**2 - 8*y - 7. Let b be a(9). Suppose -3*p + b*p + 18 = f. Is 14 a factor of p?
False
Suppose l - 6*l - 3*f = 72, -5*f = -5*l - 40. Let p be 9/l + 6/8. Suppose w - 4*w + 31 = 2*h, 4*h + w - 77 = p. Is h a multiple of 15?
False
Let v be (-14)/91 - 1172/(-13). Let l = 18 + v. Does 32 divide l?
False
Let w be (21/6 + 1)*2. Let h = w - -55. Is h a multiple of 32?
True
Let t(c) = 11*c + 7. Let p be t(-1). Is 11 a factor of 62/(-4)*(p + -2) - -3?
False
Let x(d) = -d**3 - 16*d**2 + 17*d + 6. Let q be x(-17). Suppose 0 = -3*v + q + 81. Suppose 3*k = 127 + v. Does 26 divide k?
True
Suppose 3 = 4*o - 1, -x - 8 = 2*o. Let v = x + 40. Is 116/10 - v/(-75) a multiple of 2?
True
Let p(z) = 3*z + 7. Let s be p(0). Suppose s*w - 4*w - 4*j = 514, 5*j = -3*w + 532. Is w a multiple of 50?
False
Suppose -2*r + 10 = 3*r - 5*o, -3*r - 5*o + 22 = 0. Suppose r*y - 2*b + 51 = 247, 2*b = 5*y - 245. Does 5 divide y?
False
Let h(v) = 7*v**3 - 3*v**2 + 10*v - 3. Let i(w) = 21*w**3 - 10*w**2 + 31*w - 9. Let n(p) = 7*h(p) - 2*i(p). Is n(2) a multiple of 15?
False
Let g(p) = 9*p**2 + 4*p + 11. Does 7 divide g(-7)?
False
Let v(k) be the first derivative of -k**3/3 + 6*k**2 + 7*k + 7. Does 6 divide v(9)?
False
Let k = 23 + -20. Suppose 4*i = -k*o + i + 36, 0 = 4*i. Does 14 divide (o + -3 + -1)*7?
True
Let w(y) = -y**3 - 10*y**2 - 7*y + 5. Let f be w(-9). Let l = -8 - f. Suppose -l*x - 2*z = -46, -x + 4*z - 6 = -2. Is x a multiple of 4?
True
Suppose -6*t + t = -210. Let r be ((-18)/4)/((-2)/16*6). Let l = r + t. Is 16 a factor of l?
True
Let a(x) = 13*x**2 + 2*x. Let w be a(4). Suppose -2*t = -w + 24. Is t a multiple of 8?
True
Suppose -i - 2*i = 4*k - 161, 5*k - 225 = i. Let u(h) = -9*h - 8. Let j be u(-9). Let o = j - k. Is 29 a factor of o?
True
Suppose 5*z - 2*c - 187 - 95 = 0, 2*z = 4*c + 100. Let t = z + -15. Is 8 a factor of t?
False
Suppose 3*t - 3626 = -j + 310, -5*t - 2*j + 6559 = 0. Is 13 a factor of t?
True
Let t(i) = -4*i + 37. Is 7 a factor of t(-13)?
False
Is -1 - (17014/(-18) - (-92)/414) a multiple of 50?
False
Suppose -2*q + g + 265 = 0, q + 3*g - 27 = 123. Suppose -3*u + 5*l + q = 2*u, 2*l - 90 = -4*u. Is 15 a factor of u?
False
Let y(s) be the second derivative of s**4/3 + s**2 - 14*s. Does 11 divide y(4)?
True
Let r(z) = 2*z**3 + z**2 - 3*z + 3. Let m be r(2). Let c = 27 + m. Suppose -3*a + c = a. Is a a multiple of 8?
False
Suppose 3*g - 2*g = -4*k + 6, 5*g + 4*k = 30. Let t = 13 - g. Is 2 a factor of t?
False
Let z = 290 - 232. Is 21 a factor of z?
False
Suppose -22*w + 19*w = -90. Is w a multiple of 6?
True
Let p(n) be the first derivative of n**6/120 + n**5/5 + n**4/3 + n**3 + 5*n**2/2 - 1. Let g(c) be the second derivative of p(c). Is g(-11) a multiple of 9?
False
Is (-641 + -6)/((3 - 4)*1) a multiple of 21?
False
Let q = -149 - -443. Is q a multiple of 16?
False
Let t = -1690 + 1924. Is t a multiple of 3?
True
Suppose -2*i + 828 = -774. Is 3 a factor of i?
True
Suppose -2*g + 5*x - 35 = 9, -x - 8 = g. Is g/18 + 8/(-3)*-49 a multiple of 31?
False
Let q(i) = 2*i**2 - 2*i + 9. Suppose -2*o = -0*o - 20. Suppose o*r = 13*r - 12. Does 11 divide q(r)?
True
Suppose 3*c + 167 = 689. Suppose c = 34*t - 31*t. Is 30 a factor of t?
False
Let j(x) = 36*x. Suppose h = -3*h + 16. Suppose v - h = -3*v. Does 12 divide j(v)?
True
Suppose -55 + 10 = -5*w. Let d = 21 + w. Is d a multiple of 6?
True
Suppose -3*b + 4*b - 60 = -r, 0 = -3*r. Suppose 0*p - 5*p = -b. Is p a multiple of 5?
False
Let n be (-14)/(-8) + 18/(-24). Suppose -4*k + 5*f = -22 + 3, 2*f = -5*k - n. Suppose 0 = -3*h - o + 14 - k, 0 = -2*o + 2. Is 2 a factor of h?
True
Let j(d) = -6*d + 21. Let y be j(2). Let o(q) = -q**3 + 8*q**2 + 15*q + 22. Is 38 a factor of o(y)?
True
Let v(u) be the first derivative of u**2/2 + 3*u + 2. Is 3 a factor of v(13)?
False
Suppose 3*h = 3*k - 825, 5*k - 1030 - 361 = h. Suppose u - 5*u = -2*j - 254, 4*u - k = -3*j. Is u a multiple of 11?
True
Let n = 72 - -112. Is 40 a factor of n?
False
Let z(u) = -u**2 - 7*u + 5. Let x be z(-8). Let n(h) be the second derivative of -31*h**3/6 + 11*h**2/2 - 6*h. Is 25 a factor of n(x)?
False
Suppose -4*y - 4*k + 1204 = 0, -4*k + 1505 = 5*y - 9*k. Does 7 divide y?
True
Suppose -3*b - 19 = -124. Does 10 divide (24/(-42))/((-2)/b)?
True
Suppose -5*l + 1010 = 5*d, -2*d - l + 410 = 4*l. Does 5 divide d?
True
Let w(v) = -2*v**2 - 17*v - 16. Let s be w(-7). Suppose s*f = -2*b + 163 + 147, -20 = -4*b. Is f a multiple of 4?
True
Is 41 a factor of (-4)/(-42) - 283175/(-987)?
True
Let r(j) = 8*j**2 + 5*j - 34. Is 3 a factor of r(4)?
True
Let f = 13 - 24. Let u be 1/((28/128)/7). Let k = u + f. Does 7 divide k?
True
Suppose -d + 38 = 4*q, 0 = -4*d + 5*q - q + 132. Let h be 3*d/3 - 1. Let v = h - 27. Does 3 divide v?
True
Suppose -5*w - k = -305, 5*w - 295 = -0*w + k. Let f = w - -72. Is 22 a factor of f?
True
Let q(v) = v**3 - 34*v**2 + 14*v - 13. Does 13 divide q(34)?
False
Let y = 24 - 18. Let w(u) = -u + 0*u**2 + 1 + u**2 - y - 6. Is w(8) a multiple of 15?
True
Is 9 a factor of (12/2)/((-1)/(-57) + 0)?
True
Suppose 0*o - 228 = 3*o. Let f = 128 + o. Does 13 divide f?
True
Suppose i = 17 - 12. Let w = -21 + i. Let c = 42 - w. Does 9 divide c?
False
Suppose -5*o + 760 = -3*o. Let i = o + -200. Is 15 a factor of i?
True
Let x be (-1)/(-3)*(6 + 0). Suppose 4*y = x*h + 12, 0*y - 4*h = -2*y + 6. Let f(c) = -c**3 + 5*c**2 - 2*c - 4. Does 8 divide f(y)?
True
Suppose 5*b - 1973 = -4*o, -o + 13 + 476 = -3*b. Suppose 3*u + q - o = 4*q, u - 2*q = 166. Suppose 0*z = -3*z + u. Is z a multiple of 22?
False
Let o be (0/2)/((-2)/(-2)). Let j(l) = o*l**2 - 7 + l**2 + 5 + l. Does 6 divide j(-5)?
True
Let l(h) = 3*h**2 - 9*h + 36. Does 4 divide l(-13)?
True
Let d(x) = x**3 + 7*x - 4. Does 11 divide d(4)?
True
Suppose 575*q - 578*q = 3*o - 9576, q - 6384 = -2*o. Is o a multiple of 38?
True
Suppose -f = 4*l - 208, 126 = 4*l - 2*l - 5*f. Suppose -l - 46 = -c. Is 33 a factor of c?
True
Let s(g) = g + 0*g + g - 115*g**3 - 13*g**3. Does 21 divide s(-1)?
True
Let s be (-173)/(-7) - 10/(-35). Suppose 2*p - s = -1. Let j = p + -6. Is j a multiple of 2?
True
Suppose -3*q + 1179 = 5*r - 694, 4*q = 2*r + 2532. Does 31 divide q?
False
Suppose 0 = d - 3*a - 41 + 9, -4*d + 4*a = -88. Does 13 divide (-78)/(-18)*(-2 + d)?
True
Suppose 5*x + 5*u = 2865, -7*x - u + 1725 = -4*x. Does 12 divide x?
True
Let b(x) = -3*x. Suppose -5*r = -4*s - 7, -1 = 3*s - r - 4. Suppose 22 = -s*t + 3*i - 2, -5*i - 10 = 5*t. Is b(t) a multiple of 9?
True
Suppose 125 = -5*c + 10*c. Let x = c - 20. Suppose -x*z + 84 + 56 = 0. Is 7 a factor of z?
True
Suppose 0 = -3*h + 2*h - 4. Let u be h/12 + 11/(-3). Is 15 a factor of 60/(u*1/(-4))?
True
Suppose -4*a = -3*j - 17 - 17, -a + 5*j = 0. Let z be 13/2 - (-5)/a. Suppose 8*b - 14 = z*b. Does 14 divide b?
True
Let w = 8 + -14. Let g = w + 8. Suppose 0 = -g*n + 25 + 101. Is 15 a factor of n?
False
Let k(g) = -g**3 - 9*g**2 - 3*g - 9. Let d(i) = 2*i**3 + 18*i**2 + 5*i + 17. Let w(t) = -2*d(t) - 5*k(t). Does 7 divide w(-8)?
True
Suppose 4*f - 4*g = 16, 17 = 2*f + f + 2*g. Suppose f*b = n - 0*b - 18, 20 = 3*n + 2*b. Is n a multiple of 3?
False
Let w = 43 - 41. Suppose w*z - 93 = 255. Does 34 divide z?
False
Let s = 9 + -9. Is (s/(-4) + 11)*10 a multiple of 40?
Fals