oes 11 divide 67 - h - (-4 + 0)?
False
Suppose 5*i + 3*x - 740 = 0, -9*i - x + 599 = -5*i. Suppose -7*h + i = -143. Does 26 divide h?
False
Suppose 2*j = 65 - 69. Is 46 a factor of (10 - 10) + (j - -48)?
True
Let p be 0 + 1/(4/12). Suppose -10*q = -p*q - 630. Does 10 divide q?
True
Let h(t) = -t**2 - 11*t + 26. Let z be h(-13). Is (-2 - ((-176)/12 - z))*15 a multiple of 38?
True
Let w(z) = z - 1. Let a(i) = 101*i - 2. Let m(b) = -2*a(b) + 10*w(b). Is 37 a factor of m(-1)?
False
Let o(d) = d**3 + 4*d**2 + 4*d + 3. Let i be o(-3). Suppose i = -5*k + x + 20 - 5, -5*k + 35 = 3*x. Let b(a) = a**3 - 3*a**2 - a + 1. Is 8 a factor of b(k)?
False
Suppose -1574 = -7*a + 2052. Does 14 divide a?
True
Let b = 116 - 147. Suppose -15 = -w - 3*u, -3*w = -0*u - 2*u - 89. Let i = w - b. Does 21 divide i?
False
Let d = 5 - 5. Suppose t = 3*x + 13 - d, -x = 3. Suppose t*c + 22 = 98. Is 19 a factor of c?
True
Let m = -78 + 150. Let b = 125 - m. Suppose -141 = -4*j - b. Is j a multiple of 11?
True
Suppose 5*d + 32 = 82. Suppose 4*z = 3*o - o - 22, 5*z + d = -o. Let x(j) = j**2 - j - 5. Does 9 divide x(o)?
False
Let r(b) = -3*b**3 - b**2 - b - 1. Let w be r(-1). Suppose 0 = g, 5*j + w*g - 120 = 7*g. Does 4 divide j*(-1 + 12/9)?
True
Let f = -15 + 18. Suppose 3*y = -f*y + 702. Does 20 divide y?
False
Let u(g) = -1 + g - 1 + 25. Let t be u(-14). Does 32 divide 71*2*t/18?
False
Suppose 3*s + 12*u - 1475 = 14*u, -2*s = 3*u - 1005. Is s a multiple of 5?
True
Suppose -56*v + 57*v - 182 = 0. Does 13 divide v?
True
Let f = -248 + 140. Let r = 164 + f. Is r a multiple of 7?
True
Let t(q) = -108*q + 72. Does 44 divide t(-3)?
True
Let g = -280 - -1515. Does 19 divide g?
True
Let w(d) = -28*d - 28. Let u be w(-8). Suppose -u = -8*m + 124. Is m a multiple of 5?
True
Is 11 a factor of 1 + (-20356)/(-18) - 3/(-27)?
False
Let p(x) = x**2 + 5*x - 9. Let w be p(-6). Let m be 2*(4 + w)*-1. Is 12 a factor of m/(-6)*(14 - -55)?
False
Let q(m) = 9*m. Let g be q(2). Let f(w) = w**2 - 13*w - 44. Is 21 a factor of f(g)?
False
Let i = 585 + -283. Does 30 divide i?
False
Let q(p) = -p**3 + 9*p**2 + 4*p - 10. Let a be q(10). Let y = -15 - a. Suppose 5*d = 2*x - y, -3*x - 3*d + 24 + 6 = 0. Does 4 divide x?
False
Let f(o) = o**2 - 1 + 2 - 1. Let u(w) = 3*w**2 + 4*w - 6. Let s(n) = 4*f(n) - u(n). Does 11 divide s(5)?
True
Suppose 0 = 9*o - 7*o - 6. Suppose -o*z = -z. Does 6 divide (1 + z)/(2/32)?
False
Let y(h) = -h**3 - 17*h**2 - h - 13. Let f be y(-17). Let z(r) = r**3 - 9*r + 10. Does 35 divide z(f)?
False
Suppose -b = 5*x - 99, -11*x + 6*x = 4*b - 456. Is b a multiple of 17?
True
Suppose -584 = 6*m + 76. Let j = m - -156. Is 23 a factor of j?
True
Let b(p) = 8*p**2 + 7*p + 10. Is b(-2) a multiple of 16?
False
Let o(g) be the first derivative of -g**5/20 + g**3/6 + 17*g**2/2 - 6*g - 6. Let s(l) be the first derivative of o(l). Is s(0) a multiple of 4?
False
Let f(r) = -2*r + 2. Suppose 4*u - m + 6 + 4 = 0, -3*u = 3*m. Is f(u) even?
True
Suppose 4*c - 4 = 0, -5*c - 132 + 2542 = 5*v. Does 38 divide v?
False
Let b be (48/(-20))/(0 + 1/(-40)). Suppose j - b = 3*r + 41, 3*j - 391 = 4*r. Does 26 divide j?
False
Suppose n = -0*n + 3. Suppose -n*z + 180 = 3*m, z - 60 = -0*z + 3*m. Is 10 a factor of z?
True
Suppose -2*j - j - 213 = 0. Let q = j - 9. Is 20 a factor of (-9)/(-6)*q/(-6)?
True
Suppose 13*s + 71*s = 41244. Is s a multiple of 16?
False
Let v be 2 - (-1 + 4) - (1 + -2). Suppose -15*x + 17*x - 150 = v. Is x a multiple of 11?
False
Suppose 3 = -m, 2*l - 3*m - 402 + 1 = 0. Suppose o - 88 = l. Suppose 100 = -4*j + o. Does 13 divide j?
False
Suppose 0 = -6*n + 8*n + 38. Let m = n - -41. Is 5 a factor of m?
False
Let v = 7 - 35. Let d = -8 - v. Is d a multiple of 4?
True
Let j be (7/(-2))/((-5)/10). Let w(r) = r**3 - 4*r**2 - 16*r - 2. Does 10 divide w(j)?
False
Suppose 0 = 10*j - 12*j + 14. Suppose l = -4*i + 33, 4*i - 11*l = -j*l + 28. Is 4 a factor of i?
True
Suppose 14*g - 5030 = 10*g + 5*f, -3*g - 4*f = -3788. Is g a multiple of 42?
True
Let t(s) = s - 2. Let b be t(1). Let x(y) = -6*y**3 + y**2 + y - 1. Let m be x(b). Suppose -i - 3*j + 7 + 14 = 0, m*i + 5*j = 75. Does 2 divide i?
True
Let g = -3 - -168. Is g a multiple of 18?
False
Let m = 18 - 14. Let a(k) = 49*k**2 + 2*k + 1. Let j(i) = 147*i**2 + 5*i + 3. Let c(q) = m*j(q) - 11*a(q). Does 16 divide c(1)?
True
Let c be 6*2*1/(-6). Is 11 a factor of -11*(c - (2 + 3))?
True
Let o = 446 + -274. Is 43 a factor of o?
True
Let t(j) = 12*j - 4. Suppose 5*f + 12 = 4*r - 0*f, 5*r = f + 15. Let u be (r/(-6))/((-3)/24). Is t(u) a multiple of 22?
True
Let m = 33 - 37. Let b = m + 26. Let t = 42 - b. Is 5 a factor of t?
True
Is ((-7566)/(-65))/(0 - (-2)/10) a multiple of 47?
False
Suppose 3*n + 3*z - 2 = 2*n, -8 = n - 2*z. Let c = 52 - n. Is 18 a factor of c?
False
Suppose -3*j + 15 + 63 = 3*n, j - 92 = -4*n. Let w = n + -9. Is 13 a factor of w?
True
Is 1/(-4) + (367404/(-48))/(-17) a multiple of 18?
True
Suppose 20*m - 14*m = 78. Suppose -3159 = -m*f + 4*f. Is f a multiple of 33?
False
Let v = -1 - -1. Let w = 639 - 618. Suppose 0 = 3*z - 4*m - 23, 3*m - w = -2*z - v*m. Is 3 a factor of z?
True
Suppose 0 = 5*x - 4*u - 652, x - 3*u - 128 = -u. Is 11 a factor of x?
True
Let u be (-2)/(-4)*(24 + -14). Is 7 a factor of ((-136)/(-20) + 2)*u?
False
Suppose 3 = -t, -5*c = -2*t - t - 659. Is c a multiple of 10?
True
Suppose 3*q - 6 = -27. Let l(c) = c**3 + 8*c**2 + 7*c - 5. Let n be l(q). Let z = n - -14. Is 9 a factor of z?
True
Let f = -5 - -67. Let u = -10 + f. Is 13 a factor of u?
True
Let l(i) = -i**2 - 14*i - 5. Let d be l(-7). Suppose 2*c = c + d. Does 8 divide c?
False
Suppose 3*f - 2*f - 1172 = s, -3*f = 3*s - 3504. Is 45 a factor of f?
True
Let k(q) = q**3 + 12*q**2 + 10*q - 12. Suppose 0*w - 5*w - 45 = 0. Let y be k(w). Does 8 divide (-1)/(y/72 - 2)?
True
Suppose 5*z - 5*i = 3345, -5*z - 5*i + i = -3372. Is 56 a factor of z?
True
Let d be 2/5 - 218/(-5). Suppose 68 = 3*s + 5*t - d, -3*s = -4*t - 67. Is s a multiple of 18?
False
Suppose 4*b - 11 = -3. Suppose -3*d - b = -f, 6*d + 7 = f + 4*d. Does 8 divide f?
False
Let r = 98 - 60. Suppose 0 = 4*b - 15 - 1. Suppose 4*y = 5*v - 263 + r, 186 = b*v - 2*y. Does 17 divide v?
False
Let g(t) = t**3 - 7*t**2 + 5*t - 2. Let k be g(7). Suppose -3*c + 56 = -16. Let s = k - c. Does 9 divide s?
True
Suppose -4*k - k - 20 = 0. Let o be k/(3*3/(-9)). Does 20 divide (2/o)/((-7)/(-1092))?
False
Let z(g) be the third derivative of -g**6/120 - g**5/15 - g**4/8 + 2*g**2. Suppose -23 = 5*c - 4*r + 22, -5 = -r. Is 20 a factor of z(c)?
True
Let h = 1109 + -550. Does 2 divide h?
False
Let m = 24 + -17. Suppose 3*k - m = 11. Let q = k - -9. Does 11 divide q?
False
Let k(c) be the second derivative of c**4/12 + 5*c**3/3 + 4*c**2 - 12*c. Let m be k(-10). Suppose -4*l = -44 - m. Does 11 divide l?
False
Is 13 a factor of ((-104)/(-130))/((-2)/(-155))?
False
Suppose 8*x - 2 = 6*x. Suppose -i - 3*u - 1 = 0, -2*i + 3*u - 4 = 2*i. Let h = x - i. Is 2 a factor of h?
True
Let k be 90/(-21) + (5/(-7) - -1). Is 86 - (-16)/((-16)/k) a multiple of 15?
True
Let p be 6/4*(-680)/30. Let i = -26 - p. Suppose i*r - 90 = -18. Does 5 divide r?
False
Let v(o) = 212*o**2 + 43*o - 88. Does 94 divide v(2)?
True
Let l be (-13)/65 + 36/5. Suppose -b + l = u + u, 44 = 5*b + u. Is b a multiple of 9?
True
Suppose 22*z + 8820 = 37*z. Is z a multiple of 61?
False
Suppose 3*v = v - 5*t + 5060, 5*t - 2530 = -v. Is 10 a factor of v?
True
Suppose a = -4*a + 220. Is 22 a factor of a?
True
Suppose -7 = m - 3. Is ((-2)/m)/(((-8)/(-4))/612) a multiple of 22?
False
Let x = -37 + -3. Let k = -10 - x. Does 21 divide 54/k*(36 - 1)?
True
Let r be (11 - 10)/(1/4). Let b be r*2/12*3. Suppose b*k - 92 = 14. Is 21 a factor of k?
False
Let i(u) = 25*u - 8*u - u - 27. Is 10 a factor of i(4)?
False
Let j be 44/198 - (-3254)/18. Suppose 0 = 4*r - 4*v - 108 - 36, 4*v = 5*r - j. Let o = r + -14. Is 8 a factor of o?
False
Suppose 0 = -2*k + 2*t + 1044, k + 2*t + 517 = 2*k. Is 61 a factor of k?
False
Let y(b) = -b**3 + 17*b**2 - 15*b - 14. Let x be y(16). Suppose 5*i = -3*k + 150, i - x*k = 25 + 5. Is i a multiple of 26?
False
Suppose -2*h = o + 8 - 21, 2*o = -3*h + 21. Suppose 30 = -5*n - 0*n + 4*p, -2*n + h*p = 12. Does 12 divide ((-144)/n)/(2/2)?
True
Let g be -4 - (-12)/