. Is k a multiple of 26?
True
Suppose -g - 1 = -3. Is 4 a factor of g + -1 - (9 - 44)?
True
Let m(o) = -20*o - 45. Let j be 9/21 + 9/((-126)/104). Is 10 a factor of m(j)?
False
Suppose 5*w - 4*w + 3*o - 9 = 0, 0 = w - 4*o + 5. Suppose 4*y = -r + 1, -w + 6 = -5*y + 3*r. Suppose 5*q - 69 + 9 = y. Is 4 a factor of q?
True
Let j = -122 + 227. Suppose -16*i + j = -13*i. Is 7 a factor of i?
True
Suppose -2*c = -c - 208. Suppose -3*p = 72 - 288. Suppose c + p = 5*s. Does 10 divide s?
False
Let v = 25 - 18. Is 31 a factor of v/21 - (-294)/9?
False
Suppose 2*c + 10 = -16. Let t = c + 13. Suppose t = -3*u - 2*u + 55. Is u a multiple of 9?
False
Suppose 4*x = 3*q - 351, -5*q - 4*x = 179 - 796. Suppose 52*o - 51*o - q = 0. Is 42 a factor of o?
False
Let c be (-9)/(-36) + (-118)/(-8). Let q be -10 + -1 - c/(-5). Is 12 a factor of (2*7)/((-2)/q)?
False
Suppose 27 = k - 4*k. Let m be (-76)/(-18) + 2/k. Is 36 - (3 - m) - 3 a multiple of 8?
False
Does 21 divide 90*(-1 + (-80)/(-12))?
False
Let z(x) = x**2 - 10*x - 21. Let l be z(12). Suppose -5*g + 5*s = -10, -l*s + 2 = -2*g + s. Suppose -13 = g*d - 128. Is 8 a factor of d?
False
Suppose -5*h = f - 1579, 4*f - 742 = -4*h + 534. Is h a multiple of 8?
False
Is 95 a factor of 10/(-12) + 400335/234?
True
Let p be -3 + 2 + 1 + 113. Let y = -48 + p. Suppose 0 = -3*q + 25 + y. Is q a multiple of 10?
True
Is 24 a factor of -2*4 + (442 - 21)?
False
Let l be 7/((2 + -1)/1). Let j(d) = l*d + 4 - 4*d + 3. Is 5 a factor of j(5)?
False
Let c = 30 + -25. Let d = c - -27. Is d a multiple of 16?
True
Is (-3593 - 2)*((-108)/15 + 7) a multiple of 15?
False
Let y(o) = -o**3 - 4*o**2 - 7*o - 10. Let l be y(-3). Let z(j) = -4*j + j**2 + 2*j**2 + 2*j - j**3 + 3. Is 2 a factor of z(l)?
False
Let w = -11 + 13. Suppose b = -0*b + w. Suppose -2*v - 5*s = -45, -v - b*s - 126 = -5*v. Is v a multiple of 8?
False
Let h(l) = l**3 + 2*l**2 + l - 4. Let v be h(3). Suppose 2*a = 2*x - 232, -3*a - x - 292 = v. Let m = 198 + a. Is m a multiple of 11?
False
Let a(o) = o**3 - 7*o**2 - 10*o - 2. Let q be (-2 - (-51)/12)/(2/8). Is 6 a factor of a(q)?
False
Let v = 821 - 711. Is 4 a factor of v?
False
Let c be 1/(-1) + 2/(-2). Let d = -8 + c. Does 8 divide 0 - 2/1 - d?
True
Let j = -18 + 16. Let l(f) = 9*f**2 + 2*f - 1. Let i be l(j). Let y = i + -14. Does 4 divide y?
False
Let t(g) = 20*g**2 - g - 1. Let k be t(-1). Let h = 19 - k. Is 189/6 + h/2 a multiple of 16?
False
Suppose 2*w = 3*s + 295 + 2650, 5*w - 3*s - 7385 = 0. Is 37 a factor of w?
True
Suppose 16 = -5*m - 4*z, -5*z + 3*z - 8 = 2*m. Suppose 6*f + 5*w = f + 200, m = -2*f - 4*w + 70. Does 8 divide f?
False
Suppose 2*n = 5*x + 21 + 10, 25 = 2*n - 3*x. Suppose 0 = -d + 2*k + n, 2*d - k = 7. Suppose 3*l = 3*q + d*q + 160, 5*l = 2*q + 254. Does 8 divide l?
False
Suppose -174*o + 177*o + 27 = 0. Suppose 112 = 4*t + b - 2*b, 0 = -t + 2*b + 35. Let n = t + o. Does 9 divide n?
True
Let k(l) = l**3 + 7*l**2 + 9. Let c be k(-7). Suppose 0 = -4*r + c - 1. Let t(v) = 2*v**3 - 2*v**2 + 3*v. Does 3 divide t(r)?
False
Let p = 1004 + -425. Is 41 a factor of p?
False
Let g(p) be the first derivative of p**5/20 - p**4/8 - p**3 + 3*p**2/2 - 13. Let m(d) be the second derivative of g(d). Is m(5) a multiple of 18?
True
Let t = 10 - 7. Suppose 3*w + 15 = 3*z, -4*z + 5 = t*w - 29. Is 13 a factor of (-8)/56 - (-274)/z?
True
Let d = 2 - 3. Let r be (-1 - (-4 + 1)) + d. Is 78/2 + -4 + r a multiple of 9?
True
Suppose 0 = -3*f - 12, -y = 3*f + 120 - 1564. Is y a multiple of 26?
True
Let n(h) = -h**3 + 16*h**2 - 38*h - 8. Is 24 a factor of n(11)?
False
Let p = -65 - -47. Let h(s) = -4*s - 18. Is h(p) a multiple of 9?
True
Let f be -1 + (-4 - -4) + 1 + -4. Suppose 0 = 6*z - 4*z. Does 2 divide z/10 + f/(-2)?
True
Suppose v = 2*h - v - 204, -5*h + v = -514. Suppose -4*l - 2*x + 83 = 3*x, x = -4*l + h. Is 27 a factor of l?
True
Let z(y) = -20*y + 126. Is z(0) a multiple of 16?
False
Let a be 5 - (24 + 1)/5. Suppose 627 = 3*v - a*k + 4*k, 2*v - 418 = -k. Does 24 divide v?
False
Suppose 1932 = -33*g + 39*g. Does 46 divide g?
True
Let w(t) = 5*t - 17. Let s(x) = -3*x + 9. Let k(o) = -11*s(o) - 6*w(o). Let d be k(0). Suppose -u - 52 = -d*u. Is 11 a factor of u?
False
Let l(v) = -v + 13. Let d be 6 + -5 + 0 + 32. Let y be (-108)/11 - 6/d. Does 23 divide l(y)?
True
Let c = 169 + -248. Let r = 2 - c. Is 25 a factor of r?
False
Let b(g) = -g + 10. Let a be b(8). Suppose a*h - 4 = -3*m, -4*h + h = 12. Suppose 3 = m*o - 45. Is o a multiple of 6?
True
Let a(b) = b**2 + 3*b + 1. Let j be a(-5). Suppose j = -4*c + q, 1 + 16 = 2*c - 5*q. Is 7 a factor of ((-1)/(c/44))/1?
False
Let h(q) = -4*q - 18. Let v be 15/(-25) + (-93)/(-5). Suppose -2*n = -4*n - v. Is 4 a factor of h(n)?
False
Let w(l) = l**2 + 23*l + 7. Let r be w(-23). Let u = 57 - r. Is u a multiple of 5?
True
Let q(v) = v**3 - 15*v**2 + 18*v - 13. Is 3 a factor of q(14)?
False
Suppose -47 - 1 = -8*o. Does 28 divide (-4)/o - 0 - 5635/(-105)?
False
Is 11 a factor of (-75)/15 + (-2139)/(-1)?
True
Let s = 60 + -20. Let b = -17 + s. Does 23 divide b?
True
Let h(r) = -1. Let m(c) = -9 - 3*c + 1 + 0*c + 4. Let p(t) = 15*h(t) - 3*m(t). Does 11 divide p(2)?
False
Let j = -850 - -1102. Does 12 divide j?
True
Suppose 5490 = 7*i - 3*i + 2*t, -3*i + 5*t = -4111. Is 36 a factor of i?
False
Let t(a) be the first derivative of a**5/20 - 11*a**4/12 + 2*a**3 - 5*a**2/2 + 6*a - 12. Let y(v) be the first derivative of t(v). Is 4 a factor of y(10)?
False
Let h be 1/3*(-24030)/(-18). Let i = h + -303. Does 28 divide i?
False
Let p = -647 - -1378. Is p a multiple of 19?
False
Let h be (-7 - (-7 + 3))*3/3. Is 5 a factor of (-10)/h*168/16?
True
Let k = 73 - 103. Let x be (84/5)/(6/k). Let t = x - -144. Does 20 divide t?
True
Let j(l) = -58*l**2 + 14*l - 13. Let v be j(1). Does 3 divide 0 - v - (2 - 17)/(-5)?
True
Suppose 2*n - 15 = -v, -3*v - 5*n + 56 - 10 = 0. Let s = v + -35. Is ((-27)/s)/((-1)/(-12)) a multiple of 13?
False
Let l = -23 + 49. Suppose -q - 6 = s + 5, 5*q = 4*s + l. Let f(o) = -6*o - 18. Is 12 a factor of f(s)?
True
Let w = 148 - -80. Is w a multiple of 6?
True
Let b be (-7)/(84/32)*(-153)/(-12). Does 4 divide (b/8)/(-1*6/48)?
False
Suppose 2*u = 2*c - 30, 3*c + 33 - 12 = -3*u. Let m = 13 + u. Suppose -m*a - a + g + 164 = 0, 5*a - 4*g = 264. Is a a multiple of 14?
True
Suppose -5*a + 6707 + 1658 = 0. Is 21 a factor of a?
False
Suppose -2*c + c = -2. Suppose c*d + 8 = -2*d. Is 1*76/(d - -6) a multiple of 19?
True
Let k = -148 - -104. Let o = k + 87. Is o a multiple of 27?
False
Let l(r) = -r**2 + 9*r - 4. Let p be l(10). Let u(o) = o**2 + 19*o + 8. Let d be u(p). Let z = -35 - d. Is 16 a factor of z?
False
Suppose 5*w + 34 = -y, y - 12*w + 55 = -10*w. Suppose -3*t = 48 + 165. Let z = y - t. Is 11 a factor of z?
True
Let z(d) = -d + 298. Let l be z(0). Let w = 189 + -184. Suppose w*j - 277 = l. Is j a multiple of 23?
True
Let x(c) = 21*c**2 + 4*c - 3. Let b = -34 + 39. Suppose -g = b - 7. Is x(g) a multiple of 27?
False
Let z = -209 - -377. Is z a multiple of 6?
True
Let o = -168 - -165. Let b(v) be the second derivative of -13*v**3/6 - v**2/2 + v. Does 15 divide b(o)?
False
Suppose 6*n - n + c - 4260 = 0, 3*c = -3*n + 2568. Is n a multiple of 12?
False
Let r(m) = 32*m + 3. Suppose -37 = -5*v - 32. Does 35 divide r(v)?
True
Let x be (-94)/6 - 4/(-6). Let i = 64 - 64. Let j = i - x. Does 5 divide j?
True
Let r = 2001 - 1361. Is r a multiple of 16?
True
Let j(h) = h**2 + 14*h + 18. Let m be j(-13). Suppose -2*d - 186 = -6*d - 3*n, 0 = m*d + 4*n - 232. Is 12 a factor of d?
True
Let f = 40 + -36. Suppose 206 = 5*w - f*j, 5*j - 77 = -2*w + 12. Is w a multiple of 7?
True
Let m be ((-6)/4)/((-2)/(-12)). Let z = m - -13. Suppose 0 = z*n + n - 80. Is 3 a factor of n?
False
Let r(g) = -3*g + 1. Let v be r(-4). Let d = v + -11. Suppose 0 = d*z - 39 - 11. Is 12 a factor of z?
False
Let x = -41 + 129. Is x a multiple of 37?
False
Let d(c) = c**2 + 20*c + 24. Is 61 a factor of d(-35)?
True
Suppose 2*r = 2*u + 4, -3*r = u + 2*u - 12. Is 40 a factor of (9/2)/r*(-740)/(-6)?
False
Let u = -23 + 108. Let q = -39 - -44. Suppose -5*d - 5*s = -u, -17 = 4*d + q*s - 82. Does 3 divide d?
False
Let n = -906 - -1375. Does 12 divide n?
False
Let o(x) = -3*x + 15. Let j(z) = 1. Let b(d) = 3*j(d) - o(d). Let n(