5*f - 470. Let a = h + 161. Is a a multiple of 16?
False
Let f = -79 + 71. Let l(y) = -17*y + 7. Is 13 a factor of l(f)?
True
Let a = 1732 + -646. Is 3 a factor of a?
True
Suppose 155*a = 161*a - 10764. Is 32 a factor of a?
False
Suppose -2*x + 5*g + 436 = 0, -63 = -3*x + 4*g + 605. Suppose -225 = -3*w - 2*o, 0 = 3*w + 2*o - o - x. Does 4 divide (-128)/(-22) + 14/w?
False
Let g = 43 + -20. Suppose -j - 4*l = 3, 0*j + l - g = -5*j. Suppose 2*t + 4*p - 140 = 0, -392 = -j*t - 2*p + 6*p. Is 40 a factor of t?
False
Suppose 2*p = -l + 645, 2*p = 4*l + 190 + 460. Is p a multiple of 14?
False
Let t(m) = 55*m**2 + m + 3. Let a = 37 + -38. Is t(a) a multiple of 8?
False
Is 6 a factor of 87/(-116) - 947/(-4)?
False
Let n = -193 + 214. Does 10 divide n?
False
Suppose -3*w + 2*b + 18 = -148, 0 = -4*w - 3*b + 244. Is 8 a factor of w?
False
Let i(w) be the first derivative of w**4/4 + 5*w**3 - w**2/2 + 10*w + 8. Does 25 divide i(-15)?
True
Let q(d) = 4*d**2 - d + 2. Suppose 0*f - 21 = 3*b + 3*f, -3*b + 7 = -4*f. Let r be q(b). Suppose s - 3*v - r = 2*v, -2*s - v = -104. Is 17 a factor of s?
True
Suppose -121*a = -40*a - 33777. Is a a multiple of 13?
False
Let b = 3 + 546. Does 36 divide b?
False
Suppose 0 = p - 5*g - 24, 4*p - 7*g + 3*g - 160 = 0. Let h = p + -27. Does 17 divide h?
True
Let v = 38 - 32. Let p be -2*3/((-6)/(-8)). Is ((-45)/v)/(3/p) a multiple of 6?
False
Let t be -22*9*(-42)/12. Suppose 0 = -q + 3*q - 5*m - 691, 3*m + t = 2*q. Does 63 divide q?
False
Suppose 5*n - 27 + 412 = 0. Let c = 111 + n. Is c a multiple of 17?
True
Suppose 13 = 3*s + 5*z, 0 = 4*s - 2*z + 3 + 23. Let c = s - -55. Suppose -2*k - c = -5*k. Is 17 a factor of k?
True
Suppose j - 2*j = 3. Let p = j + 15. Does 3 divide p?
True
Suppose 0 = -p - 3*s + 32, 3*p - 42 - 4 = s. Let j(o) = 12*o**2 + 4*o**3 - 3*o**3 - 7 - p*o**2 - 6*o. Is j(7) a multiple of 11?
False
Let l(p) = 2*p - 8. Let c be l(6). Let j be (24/(-16))/((-3)/8). Suppose 4*x - n + c*n - 53 = 0, j*n - 45 = -3*x. Is 6 a factor of x?
False
Suppose 0 = 3*i - 758 + 56. Is 6 a factor of i?
True
Let p = 5479 - 2075. Does 18 divide p?
False
Suppose 11*n = 6*n - 45. Let s = -6 - n. Suppose 3*t = 4*f + 18, 0*t - s*t - 4*f = 6. Is 2 a factor of t?
True
Suppose 11*x - 2*x = 4248. Is 17 a factor of x?
False
Suppose 4*d - 2*d = 4*u - 30, -d + 21 = 2*u. Let o be 15*1*(-2 + 3). Let y = o - u. Is y a multiple of 3?
True
Let k(o) = o**2 + 10*o + 13. Let n be k(-9). Suppose n*d + z - 50 = 28, d - 4*z = 11. Does 13 divide d?
False
Suppose 12*s + 5408 = 39104. Is 104 a factor of s?
True
Suppose -2*h + 2690 = 2*p, -2*p + 357 = 4*h - 2335. Is p a multiple of 63?
False
Let d(n) = -n**2 - 2*n - 3. Let a be d(-3). Let h be (a/(-9))/((-3)/(-9)). Suppose 4*r - 3*i + i = 126, -h*r + 68 = 4*i. Does 8 divide r?
True
Is (-37692)/(-16) + (-297)/(-132) a multiple of 12?
False
Let u = 114 - 47. Suppose 48 + u = f. Does 23 divide f?
True
Suppose -12*o + 1173 + 567 = 0. Is o a multiple of 32?
False
Suppose -k + 3*k + 2*w = 190, 162 = 2*k - 5*w. Suppose 11 = 3*c + 4*h, h = -2*c - 3*c + 24. Suppose k = c*f - 114. Is 8 a factor of f?
False
Let r be 198/(-55) - (-4)/(-10). Let k(y) = -y**3 - 3*y**2 + y + 2. Is 7 a factor of k(r)?
True
Let r(l) be the first derivative of l**5/30 - 5*l**4/24 - 11*l**3/6 + 4*l**2 - 4. Let b(t) be the second derivative of r(t). Is b(8) a multiple of 18?
False
Let k(g) = 103*g + 2. Suppose -27 = -5*v + 13. Let w(l) = -154*l - 3. Let a(b) = v*k(b) + 5*w(b). Is a(1) a multiple of 11?
True
Let v(f) = f**3 - f**2 - f. Let w be v(2). Suppose 2*d - 226 = -w*m, 2*m + 2*m = d - 103. Suppose 239 - 46 = 5*p - 3*o, 3*p - 3*o = d. Is p a multiple of 9?
False
Let o be (-3 - (-4)/(8/366)) + 0. Suppose -2*v = -3*v + 4*h + o, -2*v = 5*h - 334. Is v a multiple of 15?
False
Let l(b) = b**3 - 2*b**2 + 6*b - 4. Let k be 0/(-3 - -2)*1. Suppose k*q - 5 = -q. Is l(q) a multiple of 18?
False
Suppose 3*n - 692 = -4*r, 0 = 2*r + 2*n + 40 - 386. Is r a multiple of 10?
False
Suppose 5*r = 12*z - 9*z + 2172, 0 = 2*z + 8. Is 18 a factor of r?
True
Let g be (-1 + 4)*(-16)/(-60)*5. Suppose 3*c + 2*y = 278, g*c - 183 = 5*y + 180. Does 23 divide c?
True
Let z = 848 + -443. Is z a multiple of 27?
True
Suppose 3*k = 9*k - 2154. Is k a multiple of 4?
False
Let z be ((-9)/6)/(6/(-16)). Let p = 6 - z. Suppose -5*x = p*s - 4*s + 55, 3*s - x - 115 = 0. Is s a multiple of 10?
True
Let a(k) = 15*k**3 + 3*k**2 + 7*k - 19. Is 11 a factor of a(4)?
False
Suppose 0 = x - 6*x + 10. Suppose -90 = -7*t + x*t. Does 18 divide t?
True
Does 13 divide -5 - -9 - -1784 - 28/4?
True
Is 1406/5 + (-6 - (-29)/5) a multiple of 9?
False
Let i = 50 - 26. Suppose 3*d - 44 = 4*o, -o - 4*o - i = 4*d. Let q(u) = -7*u - 7. Is 18 a factor of q(o)?
False
Suppose 4*q + 13 - 73 = -4*l, 0 = -2*q + 2*l + 42. Let b be 6*-2*(-3)/q. Suppose b*a + 4*a - 330 = 0. Is a a multiple of 11?
True
Suppose -u = 5*d - 4858, 122 = d - 2*u - 854. Is 27 a factor of d?
True
Suppose 5*y - 5*m + 45 = -0, 2*m = -5*y - 80. Let i = -12 - y. Suppose s + 13 = z - 4, -46 = -2*z - i*s. Is 17 a factor of z?
False
Is 2 a factor of ((-287)/(-164))/((-4)/(-352))?
True
Let m(g) = -g**2 + 8*g - 16. Let j be m(5). Is j/((-2 + 1)/(160 + 9)) a multiple of 26?
False
Suppose 0 = 9*q + 7*q - 8000. Is q a multiple of 35?
False
Let m = 12 - 10. Let x(v) = -v**3 + 6*v**2 - 2*v - 2. Let s be x(m). Suppose 2*n - 2 - s = 0. Is 2 a factor of n?
True
Let t = 53 + -46. Let c(d) = d**2 + 2*d - 23. Is c(t) a multiple of 11?
False
Suppose -534 = w + v + 89, -4*w - 2488 = 5*v. Let q = 953 + w. Is 21 a factor of q?
False
Suppose 3*i = 4*i + 9. Suppose d + 38 = 3*x - 5*x, -50 = d - 4*x. Is 21 a factor of -9*d/i*-1?
True
Is (-42)/(-273) - 6758/(-13) a multiple of 18?
False
Suppose 3*s = -35*q + 40*q - 6506, s = -3*q + 3898. Is 16 a factor of q?
False
Let u(s) = s**3 - 16*s**2 + 12*s - 85. Is u(16) a multiple of 27?
False
Suppose 3*x + 4*j = 351, 2*x + 12*j = 15*j + 234. Is 9 a factor of x?
True
Let r(t) = t**2 - t - 5. Let s be r(-3). Suppose -s*w + 214 = -10. Does 4 divide w?
True
Suppose 16 = z - 5*i, 2*z + 2*i + 26 = 94. Is 9 a factor of z?
False
Suppose 2 = -2*q + 16. Suppose 189 = 8*h - q*h. Is 45 a factor of h?
False
Does 15 divide (-18)/(-8)*(-8 + 2720/15)?
True
Is 17 a factor of 18/(-2) - (-1777 - -51)?
True
Suppose 0 = 3*f - 5*g - 1280, -2*f - 3*g = -777 - 51. Does 35 divide f?
True
Let j = 131 - -610. Does 5 divide j?
False
Let r = -3 + 43. Suppose 2*j - 286 = -r. Is 11 a factor of j?
False
Let u(r) = 14*r**2 + r - 15. Is u(5) a multiple of 20?
True
Suppose -731 = -y + 3*u - 158, 2*y - 1113 = -5*u. Is 12 a factor of y?
True
Suppose -3*r = -3*k - 5 + 2, -4*k + 44 = 4*r. Is 4 a factor of (-9)/r*(-34 - 0/4)?
False
Let d = 121 + -65. Suppose d = o + o. Is 7 a factor of o?
True
Let i(t) = -t**2 + 8*t + 3. Let q be i(9). Let k be (12/18)/((-2)/q). Suppose -w + 17 = -k*n, n + 25 = 6*n. Is w a multiple of 12?
False
Suppose 75*n - 81*n = -6174. Is n a multiple of 49?
True
Does 25 divide 4/(20/35)*37?
False
Let u(k) = -k**3 + 9*k**2 - 12*k - 1. Let s be u(5). Let y = 101 - s. Does 23 divide y?
False
Let l(x) be the second derivative of x**5/20 + 5*x**4/12 + 5*x**3/6 + 3*x**2 + 3*x. Let i be l(-4). Suppose -39 = -i*z + z. Does 13 divide z?
True
Let v = 5058 - 2905. Is v a multiple of 31?
False
Let k be (3/(24/10))/((-7)/2520). Let y = k + 650. Is y a multiple of 40?
True
Let x(u) = 12*u - 3 - 2*u + 23*u. Let b be (-48)/(-64) + 10/8. Is x(b) a multiple of 13?
False
Let s = 13 - 24. Let c = 31 - s. Does 14 divide c?
True
Suppose 0 = z + y - 722, 3598 = 5*z + 5*y - 6*y. Suppose 10*l = 2*l + z. Is l a multiple of 9?
True
Suppose 52*y - 46*y = 6. Does 11 divide (-4)/(-4) - (-53 - y)?
True
Let r(f) = 3*f - 82. Let c be r(28). Suppose 34 = 2*k + 4*q, 4*k - 3*q = c*q + 29. Is k even?
False
Let f(j) be the first derivative of 8*j**4 - 2*j**3/3 + 3*j**2/2 - 2*j - 52. Does 3 divide f(1)?
False
Let g(f) = -f**3 - 8*f**2 - 7*f + 5. Let o be g(-7). Let u(s) = -4 + 1 - o*s - s - 3*s. Does 23 divide u(-5)?
False
Suppose -41*o = -17*o - 10056. Is 29 a factor of o?
False
Does 35 divide (630/(-4))/(5/(-120)*1)?
True
Suppose -x - 36 = -2*i, 21 = 3*x - 3*i + 141. Let q = -9 - x. Is 6 a factor of q?
False
Suppose 3*q - 258 = 3. Let z = q + -209. Does 10 divide (3 + z/(-4))*