 - i = -5*a. Does 12 divide a?
False
Is 4 a factor of 6/(-4) - 238995/(-226)?
True
Let l = -12 - -6. Does 30 divide ((-4)/l)/(8/1332)?
False
Suppose 0 = 7*i - 11886 - 6930. Is 32 a factor of i?
True
Let b be (-4 + 1)*44/(-12). Let t(q) = -5*q + 0 + 1 - b. Does 5 divide t(-7)?
True
Let t = 16 - -58. Suppose 0 = 3*b - 121 - t. Is b a multiple of 12?
False
Let j(n) = 24*n + 2. Let x be 7 + (0 - 2/1). Suppose 7 = x*v + 2*v. Does 13 divide j(v)?
True
Let b(y) = -y**3 - 4*y**2 + 5*y - 48. Is b(-8) a multiple of 14?
True
Let q be (-994)/49 + (-4)/(-14). Let f = q + 20. Suppose 0 = -f*p + 4*p - 176. Is p a multiple of 11?
True
Let f be (-20)/(-3*(-2)/(-3)). Let m be (f/(-4))/(4/(-8)). Is 13 a factor of 192/m + 12/20?
True
Let t be (-2)/(-8) - (-1541)/92. Let i = 17 - t. Let m(n) = 3*n + 54. Is 18 a factor of m(i)?
True
Suppose -2*s + s - 5*n = 18, -10 = -3*s + n. Suppose -158 = -3*i + s*g, -i + 62 = -4*g + g. Does 10 divide i?
True
Is (14 - 18) + 1 + 338 a multiple of 29?
False
Suppose -5*d + 3*i = -29, 27 = 3*d - 0*i + 3*i. Let v(l) = -4*l**2 + 5*l + 7. Let k(u) = -3*u**2 + 4*u + 7. Let z(a) = -3*k(a) + 2*v(a). Does 6 divide z(d)?
False
Suppose -6*b + 3*b + 144 = 0. Suppose b = 5*n - 67. Is n a multiple of 7?
False
Suppose -114 = -5*o - 14*o. Suppose -o*z - 2*y = -3*z - 580, 4 = 2*y. Is 15 a factor of z?
False
Let k(d) = -d**3 - 17*d**2 - d - 18. Let y be k(-17). Let i(r) be the first derivative of -30*r**2 - 3. Is 20 a factor of i(y)?
True
Let v be (-3 + -3)/((-2)/1). Let m = v + -3. Suppose 112 = k + 2*k - 5*o, -2*k + 5*o + 73 = m. Is k a multiple of 13?
True
Let a(v) be the third derivative of v**6/120 + 7*v**5/60 - v**4/8 + v**3/6 - 2*v**2. Is a(-7) a multiple of 11?
True
Let v(t) = -60*t - 5. Let b be v(-10). Let q = -1125 + b. Does 22 divide q/(-8) - (-2)/(-8)?
True
Let v(u) = -u + 3. Let n be v(0). Suppose 5*o + 3*c = 31, -4*o = n*c + 5 - 31. Suppose 0 = z - o*k - 19 - 21, 0 = 3*z - k - 134. Is 15 a factor of z?
True
Suppose 0 = 3*m - 6*m. Let l be (m - 0 - 2) + -40. Let s = l + 85. Does 23 divide s?
False
Let x = 3 - 1. Suppose 5*t + 4*g + 4 = 2, -x*t + 16 = -4*g. Is (7/2)/(1/t) a multiple of 7?
True
Let b(i) = 108*i**2 - 2. Let c be b(-1). Let p = -42 + c. Does 20 divide p?
False
Let g be 6/(2 - 10/4). Let v be (4 + 3 + -2)*g. Is 66*(-5)/(v/8) a multiple of 14?
False
Suppose -2*v - 172 = -h, -2*h - 5*v + 3*v + 314 = 0. Is 13 a factor of h?
False
Let w(y) = -21*y**2 - y + 3. Let h be w(-5). Let n = -366 - h. Is 18 a factor of n?
False
Let q = 1013 - 275. Is 18 a factor of q?
True
Let y(g) = 13*g**3 - 10*g**2 - 2*g + 3. Does 40 divide y(5)?
False
Let d(w) = w - 3. Let a be d(-7). Let t(f) = f**3 + 10*f**2 - 15*f - 3. Let y be t(a). Suppose 3*m - 69 = y. Is 12 a factor of m?
True
Let g = 33 - 17. Let f = -11 + g. Is 18*f*(-2)/(-5) a multiple of 25?
False
Let w be (-4081)/(-21) + -5 + 2/(-6). Suppose 0 = 4*l - 4*j - 456, -l - 2*j = -w + 75. Is l a multiple of 19?
True
Let z(i) = 4*i**2 + 21*i + 21. Let d be 18/(-3 + -2 + 3). Does 45 divide z(d)?
False
Suppose 0 = -z - 31 + 1. Let s(d) = -6*d - 20. Let q be s(11). Let v = z - q. Is 16 a factor of v?
False
Let j = -1 + 2. Let a(n) = -43*n + 5. Let y(z) = -43*z + 8. Let b(g) = -3*a(g) + 2*y(g). Is 17 a factor of b(j)?
False
Let n(w) = -175*w. Does 59 divide n(-2)?
False
Let l = 11 + -7. Let o(x) = -3*x**2 - 2*x. Let d be o(l). Let c = d - -78. Does 6 divide c?
False
Suppose -b + 3 = -g, -15 = 5*b - 0. Let l(r) = -r**3 - 4*r**2 + 9*r + 9. Is 4 a factor of l(g)?
False
Let k(v) = 5*v**2 - 28*v - 16. Is k(-13) a multiple of 17?
False
Let i(s) = 2*s**3 - 3*s - 2. Let h be i(-2). Let x be 18/(-4)*h/(-18). Does 11 divide x/(4/(264/(-9)))?
True
Suppose 6*w - 57 = w + 4*g, 42 = 5*w + g. Suppose w = 2*s + s. Does 2 divide s?
False
Is 41 a factor of 7 - -7*74 - -8?
True
Suppose 68*m = 65*m + 6. Suppose 3*v - 5 - 1 = 0. Suppose m*t + v*t = 144. Is t a multiple of 17?
False
Suppose 5*f + 2*a + 10 = -31, 23 = -2*f - 3*a. Let d = 12 + f. Let p = 3 + d. Does 4 divide p?
True
Let n(h) = -2*h - 1. Let j be n(-2). Let s = 13 - j. Suppose 3*w - 4*w + s = 0. Is w a multiple of 3?
False
Let z = 12 - -13. Let o(u) = -25 - 19 + z - 16*u - u**2. Does 3 divide o(-14)?
True
Suppose 6 - 14 = -4*v. Suppose 0 = 5*d - m - 0*m - 24, v*m = -d + 7. Suppose -3*f - 40 = -d*f. Is f a multiple of 5?
True
Suppose 12*u - 21 = 5*u. Suppose 229 = u*k + s, 8 = s + 10. Is k a multiple of 11?
True
Let h(r) = 371*r**2 + 10*r - 40. Let j be h(4). Is j/42 + 2/3 - -2 a multiple of 16?
True
Suppose -36*x + 80 = -34*x. Suppose -31 + 6 = -5*n. Suppose 4*r = n*f + 135, 5*f - x + 0 = -r. Is r a multiple of 20?
False
Let t = 8 + 20. Suppose -3*z - 1 = -2*z, 0 = 5*n - 3*z - t. Suppose 2*s - 52 = -2*q + 16, -n*q + 4*s + 152 = 0. Is q a multiple of 8?
True
Let t = 219 - -81. Is t a multiple of 5?
True
Let w be 2/14 - (-54)/14. Suppose 1 = 5*p - 9, -4*p + 8 = w*v. Let y(r) = -r**2 + 30. Is 11 a factor of y(v)?
False
Let n(h) = h**3 - 4*h**2 - h - 1. Let i be n(4). Let y(z) = 4*z + 6. Let d be y(i). Does 7 divide 4/d + 306/42?
True
Does 22 divide (2 + -1)/(47/14006)?
False
Suppose 0 = 4*j + 21*j. Suppose 4*l - 12 = -0. Suppose l*t - 34 - 11 = j. Does 13 divide t?
False
Let j(u) = u**3 + 17*u**2 + 6*u - 31. Is j(-15) a multiple of 10?
False
Suppose 212*y - 800 = 210*y. Does 13 divide y?
False
Does 5 divide 7/2 + (-1119)/(-6)?
True
Suppose 2*b + 114 = -2*n, -2*b = b + 15. Let m = 87 + n. Does 7 divide m?
True
Let c(p) = -p - 2. Let d be c(4). Let r(j) = -j + 8. Is r(d) a multiple of 4?
False
Does 58 divide 1 + 1623 + 0/(-91)?
True
Let m be (-2)/(-3)*-3*-1. Let r(d) = 8*d**2 - 3 + 3*d + m + 2*d - 4*d. Is r(1) a multiple of 2?
True
Let p be (1/(-2))/(4/48). Let k = p - 3. Let z = 15 + k. Is 3 a factor of z?
True
Let d(n) = n**3 - n**2 + n + 247. Let w be d(0). Let h = -147 + w. Is h a multiple of 20?
True
Suppose 0*w = 22*w - 53592. Is 87 a factor of w?
True
Let t be 155/(-25) + (-1)/(-5)*1. Let q(u) = -5*u - 10. Is 20 a factor of q(t)?
True
Suppose -17*d - 21 - 693 = 0. Is 14 a factor of 3*((-6)/21 - 2168/d)?
True
Let v = -6 - 0. Let a = 22 + v. Is 7 a factor of 3 - (-3 - a - -1)?
True
Let v = 35 + -24. Let p be (0 - 21) + (v - 8). Let i = 1 - p. Is 14 a factor of i?
False
Let h(f) = 82 - 5*f**3 - 5*f - 5*f**2 - 38 - 40. Does 2 divide h(-2)?
True
Let q(b) = 58*b**3 - 1. Let r(p) = p**2 + 11*p - 11. Let n be r(-12). Is q(n) a multiple of 11?
False
Suppose 0 = -14*i + 2606 - 170. Does 45 divide i?
False
Suppose -33*q + 124184 = 5*q. Is q a multiple of 19?
True
Let c be -6*40/(-12) - -3. Suppose -5*g = -17 + 2, -5*j + c = -4*g. Let r = j - -11. Does 6 divide r?
True
Suppose -11*y + 1035 = -6*y. Is y a multiple of 9?
True
Let k = 141 + 34. Is 22 a factor of k?
False
Suppose -4*x + g = -5645, 3*x = 27*g - 25*g + 4235. Is 40 a factor of x?
False
Suppose -4*u + 1071 = l + 77, -l + u + 989 = 0. Is 30 a factor of l?
True
Suppose 12*u - 12656 = -2456. Does 45 divide u?
False
Let b = -881 + 1237. Suppose 0*k = 2*k - b. Is k a multiple of 18?
False
Let o be -1*(-1 + -16 + 2). Let w = o - 9. Suppose -4*l + 14 = -k, -3*l - k = -2*l - w. Is l even?
True
Suppose 5*r = 20, -3*b = 5*r - 3*r - 224. Is b a multiple of 3?
True
Let h(u) = 0 + 2 + 11*u + 0*u. Suppose -20 = -4*k + 12. Does 18 divide h(k)?
True
Suppose 4959 = 9*s - 2277. Is 67 a factor of s?
True
Let o be (-56)/(-6)*(4 + 35). Suppose 5*k - 365 = -5*l, -l - o = -6*l - 4*k. Is l a multiple of 24?
True
Let g(f) = -f - 15. Let n be g(-11). Is 69*(-4 + (1 - n)) a multiple of 12?
False
Let y = 75 - 7. Is y a multiple of 12?
False
Suppose -f - 3*f + 2*a = 0, 0 = -2*f + 4*a. Suppose f = -3*g - 6, 5*g + 0*g + 73 = x. Suppose 0 = -d - 17 + x. Is 13 a factor of d?
False
Suppose -69 + 3 = -5*h + 3*y, 30 = 2*h - 3*y. Let p(c) = -c**2 + 17*c - 45. Is 15 a factor of p(h)?
True
Suppose -o + 2 = -0*o. Suppose 166 = o*l - 0*l. Is l a multiple of 12?
False
Let w(f) = -327*f + 9*f**2 + 325*f + 11*f**2. Is w(3) a multiple of 27?
False
Let k = -2991 + 3411. Does 60 divide k?
True
Suppose 2*c + 0 - 34 = 0. Suppose 15 = c*j - 16*j. Does 5 divide j?
True
Suppose 8*n = 12*n - 4704. Is 39 a factor of n?
False
Let d = -1996 - -2888. Is d a multiple of 44?
False
Suppose 5*t - 660 = -3*b, 0 = -5*t + 3*b - 84 + 744. Let d = -62 + t. Is 14 a fa