2 = -4*l. Suppose 0*q = -n*q + 252. Suppose -q = -5*d + 2*d. Is d a multiple of 7?
True
Let r(t) = 2*t**2 + 69*t + 104. Is 10 a factor of r(-34)?
True
Let h(q) = q**3 - 17*q**2 + 34*q - 240. Does 8 divide h(18)?
True
Let a = 74 + 65. Let t = a - 99. Is 8 a factor of t?
True
Suppose -4*k = 4*o - 3936, -5*o - 431 = 4*k - 5352. Is o a multiple of 3?
False
Let k(p) = 35*p + 28. Is k(12) a multiple of 26?
False
Suppose -5*h + 4212 = 4*g, 2*g - 3375 = -4*h - 3*g. Is h a multiple of 24?
True
Suppose -7*q + 9*q - 668 = 0. Let i be (-4)/22 + q/22. Is 15 a factor of 892/20 + 6/i?
True
Let n(l) = 4*l**2 + 25*l - 21. Let h be n(-12). Suppose -2*t + h = 3*f - 0*f, -3*t = -f - 377. Does 21 divide t?
True
Suppose 0 = 5*z - 25, -1301 = -2*n - z + 1100. Does 15 divide n?
False
Let q = 30 + -18. Let r(p) = -7*p**3 + 24*p**2 + 5*p - 16. Let x(u) = 3*u**3 - 12*u**2 - 2*u + 7. Let a(j) = 2*r(j) + 5*x(j). Is a(q) a multiple of 3?
True
Let a(j) = 2*j**2 + 19*j + 140. Is a(-17) a multiple of 16?
False
Let f(t) = -110*t - 6. Let p be f(-1). Suppose -445 = -3*y + v, -y - 2*v + 49 + p = 0. Is y a multiple of 11?
False
Let o(i) = 2*i - 17. Let x be o(12). Let j(r) = -5*r + 5. Let g be j(-6). Let u = g + x. Does 16 divide u?
False
Let p(u) = -2088*u**3 + 6*u**2 + 3*u. Is 51 a factor of p(-1)?
True
Suppose 0 = 2*s - 4053 - 5171. Is s a multiple of 22?
False
Suppose -4*f + f - g = -106, -5*f = 3*g - 178. Does 45 divide 2408/f - 0 - 1/(-5)?
False
Suppose 0*h + 7*h - 2485 = 0. Suppose -h = -4*x - 115. Is 9 a factor of x?
False
Suppose -154*s + 149*s + 13735 = 0. Does 41 divide s?
True
Suppose 0 = -s - 3*s + 16. Let y = 14 + -20. Is 15 a factor of s/y*3 - -32?
True
Suppose -9*i = 4*i - 1274. Does 14 divide i?
True
Suppose 6*m - 18 = 4*m. Suppose -m*j + 14*j = 345. Is j a multiple of 23?
True
Suppose 0 = -4*s - 20, -5*r = 7*s - 10*s - 4160. Is r a multiple of 33?
False
Let a be ((-10)/(-4))/(1/(-4)). Let h(q) be the first derivative of -2*q**2 - 16*q - 1. Is 12 a factor of h(a)?
True
Let q(z) be the second derivative of -z**4/12 + 5*z**3/6 - 4*z. Let i be q(4). Let b(g) = -g**3 + 9*g**2 - 3*g + 6. Is b(i) a multiple of 19?
False
Let v(c) = -c**3 + 2*c - 13. Let u(z) = -z**3 + 3*z - 13. Let w(h) = 2*u(h) - 3*v(h). Let m be w(0). Let g(a) = -a**2 + 16*a - 6. Does 11 divide g(m)?
True
Let f(v) = -v**2 - 83*v + 255. Is f(-59) a multiple of 18?
False
Let v(a) = a**3 + 9*a**2 - 2*a - 6. Let n(u) = u**2 - u - 1. Let q(d) = -5*n(d) + v(d). Let t be q(-3). Does 2 divide t/(-5) - (-176)/20?
False
Suppose -2*g + 10 + 14 = 0. Let c be (-33)/g - 1/4. Let m = c - -20. Is 10 a factor of m?
False
Let g be (42/28)/(2/(-92)). Is (460/g)/((-4)/42) a multiple of 35?
True
Suppose -5*h = 4*n + 858 - 3892, -n = 4*h - 764. Is 21 a factor of n?
True
Suppose 4*d - 12 = -60. Let r be (-2)/(-9)*(-3 - d). Suppose -h + 107 = h - 3*m, 262 = 5*h - r*m. Does 17 divide h?
False
Suppose -7*i = -0*i - 28. Suppose 4*m = -4*o + 152, 5*o = -i*m + m + 182. Is 29 a factor of o?
False
Suppose 4*k - 3920 = -3*k. Does 61 divide k?
False
Suppose -40 = 4*t - 4*i, -i + 34 = -3*t - 0*i. Does 11 divide (-4 - 147/t)*8?
True
Suppose 4*q - 2*l - 16 = 0, 0*l = 5*q + 2*l - 29. Suppose v + q = 8. Suppose -5 = -3*c + 4*c - 4*h, 0 = -v*h + 15. Is c a multiple of 15?
True
Let g(f) = -f**2 + 54*f + 448. Is 46 a factor of g(48)?
True
Let c be 843/1 + (-12)/4. Suppose 6*s - c = -9*s. Is 8 a factor of s?
True
Suppose -14*v - 3535 = -21*v. Is v a multiple of 21?
False
Let t(g) = -3*g - 12. Suppose -v - 12 = v. Let y be t(v). Suppose y*d - 3*d - 12 = 0. Does 4 divide d?
True
Suppose 3*n = o - 0*o + 39, 4*n - 52 = 3*o. Let p = n - -1. Does 14 divide p?
True
Let t(g) = -g + 8. Let o be t(8). Let r(b) = -2*b**3 - 11*b**2 + o + b**3 + 0*b**2 - 14*b - 3. Does 12 divide r(-10)?
False
Let h(t) = -7*t**3 + 148*t**2 + 20*t - 65. Is 10 a factor of h(21)?
False
Suppose -11*i - 1164 = -24825. Is i a multiple of 9?
True
Let s(z) = 3*z - 11. Let k(a) be the first derivative of a - 6. Let g(d) = -6*k(d) - s(d). Does 6 divide g(-5)?
False
Let v(b) = 37*b**2 + 2*b - 1. Let l be v(1). Suppose -7 - 5 = 4*q, 2*w + 2*q = -l. Is 2 a factor of (-2)/(-3 + w/(-6))?
True
Let s(v) = -2*v**3 - 20*v**2 - 14*v - 345. Is s(-14) a multiple of 20?
False
Let q be (-1 + 5)*(-1 + (-50)/(-8)). Suppose 11*x + 850 = q*x. Is x a multiple of 17?
True
Let m(u) = u - 9. Let t(n) = -1. Let l(y) = m(y) + 2*t(y). Let s be l(5). Is 2 a factor of (78/(-91))/(s/56)?
True
Let z(y) be the second derivative of 0 - 5/2*y**2 - 5*y + 5/3*y**3. Does 18 divide z(6)?
False
Let j be 4*1/6*12. Let q be (-5832)/(-32) + (-2)/j. Let g = 277 - q. Is g a multiple of 25?
False
Let c = -120 - -240. Is 12 a factor of c?
True
Suppose -209*c + 9984 = -196*c. Is 48 a factor of c?
True
Does 17 divide 2/10 - 136170/(-150)?
False
Let r(x) = 70*x + 42. Does 21 divide r(15)?
True
Let j(g) = -18 + 25*g - 16*g - 12. Does 34 divide j(9)?
False
Let a be ((-312)/(-9))/4*3. Suppose a = u - 2*k, -5*u + 117 = -0*u + 3*k. Is 4 a factor of u?
True
Let s = 1144 + -1120. Does 5 divide s?
False
Let u(n) = 6*n + 4. Let p be u(5). Let c be 12/66 - (-48)/(-22). Is -3 - p/c*1 a multiple of 14?
True
Let u(w) = -w**2 - 7*w - 7. Let h be u(-5). Let v be 4/10 - (-8)/5. Suppose -h*l = 2*b + v*l - 39, 0 = b + l - 12. Is b a multiple of 3?
False
Does 5 divide 586/10 - ((-16)/(-10) - 1)?
False
Suppose -l - 4*p = 2 + 21, -4*l - 17 = p. Let w(g) = -2 + 8 - 5 - 2 - 6 - 21*g. Does 14 divide w(l)?
True
Let n(k) = 11*k**2 + 7*k + 14. Does 11 divide n(-5)?
False
Let u = 32 + -20. Let p be 16 - u - (1 + 45). Let r = p + 75. Does 11 divide r?
True
Suppose -4*o + 0*o = -816. Let h(i) = i**3 - 18*i**2 + 20*i + 53. Let p be h(16). Let v = p + o. Is v a multiple of 22?
False
Suppose 0 = t + 3*n - 6, 2*t + 4*n - 22 = -0*t. Suppose 3*u = 2*o - t, 16 = -3*o - 0*u - 5*u. Does 4 divide o/((-9)/6) - -11?
False
Let x(w) be the second derivative of 11*w**4/12 + 2*w**3/3 + 3*w**2 - 11*w. Is 14 a factor of x(-2)?
True
Suppose 2*k = k - 4*n + 21, 2*k - n - 15 = 0. Suppose 3*l = k*l - 66. Does 2 divide l?
False
Let w(m) = m**3 - m**2 - m + 1. Let t be w(1). Suppose t = r - 3*r + 12. Is r a multiple of 6?
True
Suppose -17 = 4*x - c, 5*c + 14 = -4*x + 3*c. Let f(l) = -5 + 15*l + 6*l - l**2 + 7*l - 39*l. Does 23 divide f(x)?
True
Suppose 0 = -3*j + u + 578, 2*j - 3*j + 206 = -3*u. Is 6 a factor of j?
False
Let g(f) = -7*f - 30. Let d be g(-11). Suppose 2*w - 95 = z, w - d = -0*w + z. Does 26 divide w?
False
Let l = 101 + -74. Let k = l + 219. Is k a multiple of 50?
False
Let y = 265 + -175. Is y a multiple of 6?
True
Suppose 0 = -5*f, 4*s - 3*f + 193 - 1009 = 0. Does 12 divide s?
True
Let n = 29 + -28. Is 19 a factor of (-2)/(-2 - (-2 + n/19))?
True
Let i(z) = -3*z**2 + 113*z - 11. Is i(34) a multiple of 39?
False
Let l be 2 - 1/((-4)/(-8)). Let r(v) = 9*v - 8. Let b be r(7). Suppose -b = -4*c - q, l = -c + q + 10 - 0. Is c a multiple of 12?
False
Let x(t) = 79*t**2 - 2*t + 9. Does 22 divide x(-4)?
False
Let f = 125 + -52. Is 5 a factor of f?
False
Is (-3)/(-27) + 8410/45 a multiple of 17?
True
Let q = 168 - 267. Let b = 3 - q. Is b a multiple of 11?
False
Let q = 307 + -271. Is 5 a factor of q?
False
Suppose 20 = 7*t - 2*t + 5*j, -23 = -5*t - 2*j. Suppose 0*y - t*y + 100 = 5*d, 4*y - 14 = -d. Does 22 divide d?
True
Let g = 21 + -14. Suppose -10 = -g*j + 2*j. Let i(r) = 33*r - 5. Is 23 a factor of i(j)?
False
Let n(f) = f**3 + 6*f**2 - 9*f + 9. Let i be n(-7). Suppose 22*a - i*a = -20. Does 10 divide a?
True
Suppose -d - 10 = 2*x - 6*d, 4*d = -2*x + 8. Let l be (1 - x)/2*0. Suppose l*o = -o + 20. Does 20 divide o?
True
Suppose 6*c = c + 20. Does 26 divide (-104)/(2/((-8)/c))?
True
Let u be ((-10)/(-15))/((-4)/(-234)). Let c be 10/(3/(-1 - 2)). Let l = u + c. Is 9 a factor of l?
False
Let w be 2*19*(-1)/(-1). Let o = w + -4. Suppose -31 = -5*s + o. Is s a multiple of 4?
False
Let p(l) = -1 + 0*l - 7*l + 50*l**3 + 5*l - l**2. Let t be p(-1). Let g = -31 - t. Does 14 divide g?
False
Suppose a - 4*a = -330. Let g = -58 + a. Is 13 a factor of g?
True
Let v(r) = -11*r**2 - 7*r - 5. Let c be v(-4). Let z = -104 - c. Is z a multiple of 18?
False
Let n(a) = -a**2 - 5*a. Let s be n(-4). Suppose -s*w = -d - d - 222, -d + 154 = 3*w. Suppose 3*o = -5*t + 37, -t = 4*o + 2*t -