4*m - 4. Let z be r(f). Suppose -z*a + 15 = -25. Does 3 divide a?
False
Suppose -3*g = 2*u + 127, -2*u + 5*g = -u + 96. Let r(o) = o**3 - 12*o**2 + 10*o - 20. Let c be r(11). Let k = c - u. Is 8 a factor of k?
True
Suppose -4*n + 260 = -2*q + 24, -n = -4*q - 45. Is 4 a factor of n?
False
Let m = -41 - -52. Let u(a) = a + 25. Is u(m) a multiple of 18?
True
Let i = -13 + 18. Suppose -2*y = -i + 17. Let m = 0 - y. Is 6 a factor of m?
True
Is ((-1640)/10)/((-11)/110) a multiple of 8?
True
Does 29 divide (-660)/(-99)*(25/4 - 1)?
False
Let t = -43 + 39. Is 3 a factor of -34*(14/t)/7?
False
Suppose -2 = -8*j + 7*j. Suppose -4*b = 5*s - 2186, -5*s + j*b + 2191 = b. Suppose -4*d + 4*w = 8*w - 336, -5*d + w = -s. Is d a multiple of 23?
False
Let u = -1428 + 2292. Does 4 divide u?
True
Suppose -4*b = -20, -4*q - 31*b + 27*b = -100. Is q a multiple of 4?
True
Suppose 4*t + 3*j - 4 = 1555, 4*j = -3*t + 1164. Does 69 divide t?
False
Let k(d) = -d - 7. Let b be k(-7). Let a be (b - -1)/1*3. Does 14 divide 7/(-1) + a + 18?
True
Let y(u) = u**2 + 14 + 7*u - 14. Let c be y(-7). Suppose c = -5*r - 48 + 158. Is r a multiple of 22?
True
Let u(g) = g + 1. Let y be u(2). Is (y - (-3)/(-2))/((-1)/(-4)) a multiple of 2?
True
Let r(f) = f**2 - 7*f + 8. Let n(k) = k + 1. Let j(i) = 5*n(i) - r(i). Let h = 11 - 0. Does 7 divide j(h)?
False
Suppose -r = 5, -2*j + 3 + 2 = -r. Let y = 4 + j. Suppose -y*v - v = 3*a - 116, 3*v - 3 = 0. Is a a multiple of 17?
False
Let n be -3 - (-7)/((-7)/(-16)). Let f = n - 11. Suppose -f*s + 5*s = 39. Is 13 a factor of s?
True
Let l = 576 + -815. Let s = -149 - l. Does 9 divide s?
True
Suppose 2*x + 26 = 2*y + 3*x, 4*y - 60 = 2*x. Suppose -3*m + y = 5. Is 3 a factor of m?
True
Does 42 divide -21*(-10)/60*718?
False
Let i be 2/(-8) + 1266/(-24). Let n = 98 + i. Suppose u + 2*u = n. Is u a multiple of 11?
False
Let f(b) = -2*b + 13. Let l be f(-7). Let u = -2 + l. Does 4 divide u?
False
Let t be 147/9 - (-4)/(-12). Suppose -3*c + t = 2*j, 6*c = 3*c - 5*j + 31. Suppose -3*d + 1 = -c*d - 5*m, -29 = -5*d + m. Is d a multiple of 2?
True
Suppose 7*s = 3*s + 5*n + 239, 5*s = n + 325. Is s a multiple of 11?
True
Let i be (-2)/5 - (-14)/35. Suppose o - 2*g - 7 = i, -o + 6*g = g + 5. Does 15 divide o?
True
Let j = 37 + -18. Suppose 0 = 2*f - 3 - 7, 3*f = -n + j. Suppose -n*z + 279 = -85. Does 25 divide z?
False
Let s(a) be the second derivative of -a**4/12 + 19*a**3/6 + 14*a**2 + 2*a. Is 14 a factor of s(19)?
True
Suppose 48*u = 23*u + 16900. Is u a multiple of 13?
True
Let o be 2/((20/(-104))/5). Is 6*(-2 - o/8) a multiple of 11?
False
Suppose -3 + 0 = 3*x, -127 = -f - 2*x. Let u = 98 - 184. Let s = f + u. Is s a multiple of 12?
False
Let h(o) = o**2 - 10*o + 29. Let n be h(9). Suppose 5*b + n = 0, -z + 98 = -0*z - 5*b. Is 39 a factor of z?
True
Let s = 934 - 517. Does 25 divide s?
False
Let l(m) = -2*m + 1. Let u = -2 + 0. Let w be l(u). Suppose 2 = -d - 5*r + 3, -w*d + 2*r = -32. Is 6 a factor of d?
True
Is (-105)/((-15)/35 + 30/(-28)) even?
True
Suppose -575 = 5*o - 0*o. Let p = o - -166. Is 12 a factor of p?
False
Does 62 divide 17311/35 - 42/(-30)?
True
Let l(o) = 2*o**3 - 2*o**2 + 1. Let z be l(2). Suppose 0 = -z*n + 14*n - 175. Is 7 a factor of n?
True
Let d(q) = q**3 + q**2 + 5*q + 8. Let h be d(-3). Let c = 119 + -173. Let j = h - c. Is 29 a factor of j?
True
Let q(s) = s**3 - 8*s**2 - 5*s - 12. Let f be q(9). Let p be f/((1/(-6))/(-1)). Suppose 0 = -g - 3*n + 29 + 3, 3*g - 3*n = p. Is g a multiple of 22?
True
Let m = 2 - 3. Suppose -576 = 37*d + 164. Does 3 divide ((-8)/d)/(m/(-30))?
True
Suppose -m = 4*n - 3576, n - 1197 + 316 = 3*m. Suppose -n = -4*s - 3*x, -3 = -2*x - 5. Does 40 divide s?
False
Is 12 a factor of -8 + 36/6 - -201?
False
Let u(h) = 3*h**2 - 4*h - 2. Let l(t) = -7*t**2 + 7*t + 5. Let s(r) = -2*l(r) - 5*u(r). Let q be s(6). Let y(v) = v**2 + 28. Is y(q) a multiple of 10?
False
Suppose p - 6*p - 2*y = -2108, -5*y = -5*p + 2080. Is 14 a factor of p?
True
Suppose 5*q + 0*f = -2*f - 245, 2*f = 5*q + 245. Suppose -3*b - 504 = -9*b. Let p = q + b. Is 11 a factor of p?
False
Suppose -4*j + 42 = 2*i, 5*i + 0 + 5 = 0. Let q(t) = j + 8 - 1 - 3 - t. Is q(7) a multiple of 6?
False
Is 11 a factor of (-20391)/(-168) - 6/16?
True
Suppose -3*i - 4*s = -281, -4*s = -0*i - i + 67. Is 20 a factor of i?
False
Let d(l) be the second derivative of l**4/12 - l**3/6 + 3*l. Let o(s) = -4*s**2 + 13*s - 4. Let j(f) = 3*d(f) + o(f). Does 12 divide j(8)?
True
Let o(p) = -p**2 - 2*p + 9. Let y be (-4 + 3)*1 + 2 + -1. Does 9 divide o(y)?
True
Is 2550/(-100)*(-128)/6 a multiple of 68?
True
Let q(f) = -27*f**2 + f - 4. Let r be q(2). Let p = 164 + r. Is 9 a factor of p?
True
Let q(c) = 16*c - 4. Suppose -4*o - o = -25, 0 = 2*x + 4*o - 24. Is q(x) a multiple of 7?
True
Suppose -2*w + 3*l + 825 = -95, 5*l + 2290 = 5*w. Is w even?
True
Suppose -4*q - 3*b = -30, b + 2 = 3*q - 14. Suppose 0 = -o + q*o - 725. Is o a multiple of 29?
True
Suppose 4*t = -4*c - c - 6, -2*t - 14 = -3*c. Let z(i) = 2 + 0*i - i + 10*i**2 + i. Is z(c) a multiple of 14?
True
Suppose -59 = -4*i + 141. Suppose 4*j - 333 = -5*g, 2*j - 94 = 2*g + i. Does 11 divide j?
True
Suppose -2*z + 7 = -1. Suppose 36 + 44 = z*l. Is 20 a factor of l?
True
Suppose -6*l - 427 = 1301. Is (14/(-4))/(12/l) a multiple of 21?
True
Let b(c) = 48*c**2 + 4*c - 4. Is 44 a factor of b(3)?
True
Let m be -1 + 5 + 15 + 0. Suppose -18*g = -m*g + 41. Suppose -g = -2*u + p, -5*u + 83 = 3*p - 47. Is u a multiple of 4?
False
Suppose 3*w - 9*f + 7*f = 3188, 0 = 4*f + 16. Is 39 a factor of w?
False
Let d = 381 + -167. Is d a multiple of 22?
False
Let c = 327 - 254. Is 7 a factor of c?
False
Let x = 30 + -28. Let l = -6 + 8. Let s = x + l. Is 2 a factor of s?
True
Let y = -16 + -157. Let t = 275 + y. Does 6 divide t?
True
Let h be (-4)/(149/(-37) + 4). Let c = h + -76. Is 21 a factor of c?
False
Let u = 26 + 402. Does 6 divide u?
False
Suppose -156*c + 159*c = -4*k + 2766, 0 = -3*k - c + 2072. Is k a multiple of 96?
False
Let y be (-46)/3 + 2/6. Let c = y - -19. Is ((-27)/c)/((-3)/12) a multiple of 11?
False
Let a(y) = y**3 - 34*y**2 - 146*y + 36. Is 6 a factor of a(38)?
True
Let y(d) be the second derivative of d**5/20 + d**3/6 + d**2 - 5*d. Does 2 divide y(0)?
True
Let k(v) = -v**3 - 7*v**2 + v + 8. Suppose -26 - 9 = 5*g. Let m be k(g). Let d(u) = 47*u + 1. Does 16 divide d(m)?
True
Let j be (2 - (-2 + 3))/1. Let b = 3 - j. Suppose d - b*a = 64, -3*d + 178 - 4 = 3*a. Does 15 divide d?
True
Suppose -4923 - 4554 = -5*g + i, 5*g - 9473 = -i. Is g a multiple of 45?
False
Let d(o) = -7*o**2 + o. Let c be d(1). Let w be (-1550)/c - (-10)/(-30). Suppose -w = -7*a + a. Is a a multiple of 10?
False
Let t = 717 + -701. Is 2 a factor of t?
True
Suppose u + c = -3*u + 5936, u - 1495 = -3*c. Does 36 divide u/11 - 8/(-44)?
False
Suppose 0 = 98*a - 97*a - 353. Is 10 a factor of a?
False
Let v = -273 - -387. Is 19 a factor of v?
True
Let j = -86 - -90. Suppose 4*o - 66 = -d, -j*d + 6*o - 2*o = -264. Is d a multiple of 40?
False
Suppose -26*v + 96 = -20*v. Is 3 a factor of v?
False
Let y = 27 - 24. Is (171/27)/(y/18) a multiple of 7?
False
Is 9 + 1 - 6 - -449 a multiple of 12?
False
Let r(f) = -2*f**3 - 20*f**2 - 16*f + 11. Is 39 a factor of r(-11)?
True
Let s = -1822 - -2849. Does 48 divide s?
False
Let l(k) = 5*k**3 + k**2 + k - 1. Let m be l(1). Let z = -49 + 48. Let q = m + z. Is q even?
False
Let a(t) = -t**3 + 32*t**2 - 79*t + 21. Does 41 divide a(29)?
False
Let r(i) = i**3 - i**2 + i + 1. Let n(d) = 6*d**3 - 15*d**2 + 15*d + 7. Let x(b) = -n(b) + 5*r(b). Let z be x(8). Suppose 2*v + z = 4*v. Is 23 a factor of v?
True
Let f = 8 - -7. Let u = -13 + f. Suppose -4*y = -b + 2*b - 28, -u*y - 40 = -4*b. Is b a multiple of 4?
True
Does 16 divide (5/(25/(-108)))/((-6)/80)?
True
Let h = -244 - -287. Is h a multiple of 2?
False
Suppose 16*k = 64*k - 20256. Does 31 divide k?
False
Suppose -2*g - 474 = -5*j + 266, -2*g = -10. Is 10 a factor of j?
True
Suppose 2*r = 5*l - 4359, 17*l - 13*l - 3*r = 3490. Is 10 a factor of l?
False
Suppose 0 = -19*w + 16*w - 1083. Let k = -106 - w. Is k a multiple of 17?
True
Let c(r) = 2*r + 2. Let h be 2/(-3) + (-8)/(-12). Let t = h - -5. Does 8 divide c(t)?
False
Suppose 44*k + 544 = 52*k. Let c = 96 - k. Does 