+ t = 0. Let v = i - -66. Is v a multiple of 8?
False
Let w(s) = -6*s**2 + s + 2. Let b be w(2). Let k be 8/44 + b/(-11). Suppose 5*l + k*g - 3*g - 149 = 0, -4*g - 26 = -l. Is l a multiple of 10?
True
Suppose 0 = 10*w - 1049 - 1191. Let t = 314 - w. Does 9 divide t?
True
Suppose -7 = 5*m + 123. Let h = 48 + m. Is 22 a factor of h?
True
Let m(w) = 14*w**3 + 2*w**2 + w - 3. Let q(h) = 14*h**3 + 2*h**2 + 2*h - 4. Let p(n) = 3*m(n) - 2*q(n). Does 13 divide p(2)?
True
Let r(g) = -47*g - 45. Let x(z) = -12*z - 11. Let c(i) = -2*r(i) + 9*x(i). Is 5 a factor of c(-2)?
False
Let y be 972/99 + 2/11. Let l be y/8*8/2. Let g(i) = -i**3 + 4*i**2 + 9*i + 2. Does 5 divide g(l)?
False
Let y = 1939 - 819. Does 28 divide y?
True
Suppose 3*f + 812 = -91. Let q = f - -433. Suppose z + q = 4*v - 0*z, 3*z + 172 = 5*v. Is 11 a factor of v?
False
Is (-7626)/(-21) + 11/(-77) a multiple of 14?
False
Suppose 4*v - 469 = 3*h, -2*v - 3*v = 5*h - 560. Let u = v + 89. Is 34 a factor of u?
True
Suppose -12*l + 4950 = 3*l. Does 6 divide l?
True
Let a be 2 + -5 + (-2 - -4). Let c(v) = -168*v. Let n be c(a). Does 32 divide (12/16)/(3/n)?
False
Let n(i) = 2*i**2 + 9*i - 8. Let w be n(-5). Is 46 a factor of (9050/150)/(1 + 2/w)?
False
Let y be (144/(-80))/(3/(-10)). Let j = y - 14. Is 4 a factor of (-1)/(-1 + j/(-10))?
False
Suppose 0 = 5*a - 3*z - 9, 6*z = 5*a + 2*z - 7. Suppose 14 = 2*c + 2*l, 3*c + 2*l = 14 + a. Suppose 11 = c*b - 52. Is 6 a factor of b?
False
Let x(p) = 2*p**2 - 9*p - 42. Let i be x(-5). Let d = 98 - i. Is 9 a factor of d?
True
Let o(c) be the second derivative of -5*c**3/6 - 3*c**2/2 + 2*c. Let h = 7 - 11. Does 8 divide o(h)?
False
Suppose -n = 3*p + 4, 5*n = 3*p + 2*n + 12. Let u(s) = -s**3 - 4*s**2 - 4. Let k be u(-4). Is (k/p - 5) + 5 a multiple of 2?
True
Let g(r) = -3*r**3 + 1 + r - 5*r**2 + 2*r**3 + 12*r**2 + 2*r. Suppose 0 = 3*z - 10 - 8. Is 25 a factor of g(z)?
False
Suppose -16*m + 19*m - 80 = -z, 2*m + 60 = z. Is 21 a factor of z?
False
Let n = 744 + -546. Does 9 divide n?
True
Let r(t) = 4113*t**2 + 8*t + 6. Is r(-1) a multiple of 161?
False
Suppose -2*b + 29 = 5*c, 4*c - b = -3*b + 24. Suppose c*i + 4 = -2*u, 2*u - 1 + 5 = -2*i. Suppose 3*g + i*g = 117. Is 13 a factor of g?
True
Suppose 33*z + 6415 = 16447. Does 19 divide z?
True
Let r(u) = -8*u + 8. Let l = -3 + -1. Let x be r(l). Is 9 a factor of (9/4)/(10/x)?
True
Suppose -6*w + 240 = -3*w. Suppose -3*k - k = -w. Does 4 divide k?
True
Let n(g) = 8*g + 7. Let b be n(13). Suppose b = 5*p + 2*h + 39, -2*h = p - 16. Does 5 divide p?
False
Let a(w) be the first derivative of w**4/4 + 2*w**3/3 - 7*w**2/2 + 4*w + 15. Is 18 a factor of a(5)?
True
Let h = -127 - -161. Suppose -h*j + 29*j + 950 = 0. Does 10 divide j?
True
Let t be -78*-1*2/4. Is 12 a factor of (t - 9) + (0 - -3)?
False
Let y be (-6)/((-2)/1)*4/1. Suppose 7*q - y*q = -550. Does 10 divide q?
True
Suppose 0 = 3*w - 10*w + 1253. Suppose 3*f + v = 461 + w, -847 = -4*f + 5*v. Does 17 divide f?
False
Let r(i) = -i**3 - 7*i**2 - 9*i - 7. Let u = 25 - 32. Does 17 divide r(u)?
False
Let s(i) = 14*i**3 + i - 2. Let r(l) = 13*l**3 + l - 1. Let w(n) = -4*r(n) + 3*s(n). Is w(-2) a multiple of 8?
True
Suppose -3*i - 1782 = -4*q + 3789, -3*q - i + 4162 = 0. Is 48 a factor of q?
False
Let f = 438 - 258. Suppose 5*c - f = 20. Does 20 divide c?
True
Suppose 2*g + 16 = 5*c, -5*c + 7*g = 6*g - 13. Suppose 4*s - c*l = -6*l + 116, -2*s + 63 = 3*l. Is 2 a factor of s?
True
Let k = 116 + -79. Let g(p) = -17*p - 4. Let i be g(-5). Let s = i - k. Is 15 a factor of s?
False
Suppose 10*r - 483 - 737 = 0. Is 31 a factor of r?
False
Is 8 a factor of ((-22)/6)/(48/(-5040))?
False
Let j = 851 - -16. Is j a multiple of 110?
False
Suppose 9*y + 28*y = 7252. Is 14 a factor of y?
True
Suppose -4*v = -c + 324, -1689 = -5*c - 2*v - v. Suppose 18*h + c = 20*h. Does 14 divide h?
True
Suppose 20 = 4*c + 4*y + y, -5*y - 60 = -4*c. Let s = c + -20. Is 15 a factor of 900/s*(-1)/2?
True
Let k(a) = -a**3 + 10*a**2 - 8*a - 7. Let g be k(9). Suppose 30 = 5*u + l + g*l, 2*l + 6 = u. Suppose 0 = -5*r - 2*b + 86, b = -2*b - u. Is 6 a factor of r?
True
Let x(c) = c**2 + 2. Let j be x(0). Suppose -4*h + 2*g + 46 = 0, 0 = 2*h - h + 4*g - 7. Suppose 2*u - h = -3*p + 3*u, -j*p - 5*u = 4. Does 2 divide p?
False
Suppose 18 = -3*v + 69. Suppose 0 = v*p - 13*p - 52. Does 2 divide p?
False
Let p = 62 + -103. Let i = 104 + p. Is i a multiple of 9?
True
Let j = 149 - 283. Let t = j + 414. Is 56 a factor of t?
True
Let a = 32 - 27. Let k be 40/(-32)*-2*2. Suppose -a*f - 100 = -k*i, 4*i - f - 104 = -3*f. Is 8 a factor of i?
True
Let s = -42 - -473. Does 25 divide s?
False
Let q = 2 + 11. Let s = -6 + q. Suppose s*p = 4*p + 126. Is p a multiple of 21?
True
Let d(j) = j**3 - 4*j**2 + j + 1. Let l be d(3). Let s = 10 + l. Let h = s + 11. Is 5 a factor of h?
False
Let v = 5 + -4. Suppose 2*d - 7*d + 120 = 0. Does 10 divide d - (3 + v + -2)?
False
Let q = 61 - 121. Let r = -47 - q. Is r a multiple of 2?
False
Suppose -20 = -5*g, -3*v - 466 = -g - 4026. Is 22 a factor of v?
True
Let k = -327 + 556. Is k a multiple of 33?
False
Let x = -17 - -24. Let f(q) be the third derivative of 13*q**4/24 - 4*q**3 + 223*q**2 - 2. Is 17 a factor of f(x)?
False
Suppose -3*y + 5 = -4. Suppose -k + 58 + y = 5*v, 69 = k + 3*v. Suppose g + 3*g = p - 20, k = 5*p - g. Is p a multiple of 8?
True
Suppose 102*t = 108*t - 2070. Does 5 divide t?
True
Let u = 206 - 177. Is 3 a factor of u?
False
Suppose 2*g + 3*g + 1399 = -4*r, 5*g = -r - 346. Let l = -246 - r. Does 29 divide l?
False
Let x(c) = -c**3 - 8*c**2 - 11*c - 12. Let s be x(-7). Suppose 3*l - s - 38 = 0. Does 3 divide l?
True
Let u(y) = -2*y**3 + 31*y**2 - 14*y + 8. Is u(10) a multiple of 88?
True
Let t(j) = 16*j**2 + j + 1. Let c be 3/((-1)/(-3 - -2)). Let p be t(c). Suppose 4*s = 8*s - p. Is s a multiple of 26?
False
Let z be -23 + 19 + -7 + -1. Is (-285)/(-20) - (-3)/z a multiple of 7?
True
Suppose 3*j + k - 3 = 0, -4*k + 1 - 4 = -3*j. Let i be (-3 + j - -5) + -1. Suppose u - 3*u = f - 8, i*f = -u + 31. Is f a multiple of 11?
False
Suppose -2*a + 167 = -3*h - 693, a + 5*h - 443 = 0. Does 15 divide a?
False
Suppose 49088 = 36*n - 10*n. Is 32 a factor of n?
True
Suppose 12*z + 15 = 7*z. Let s(q) = -8*q + 31. Is 11 a factor of s(z)?
True
Let n(p) = -5*p + p - 19 - 3*p. Is 16 a factor of n(-12)?
False
Let y = 0 + 12. Is 358/y + (-5)/(-30) a multiple of 9?
False
Let i(n) = n**3 + 8*n**2 + 10*n + 8. Let t = 3 + -11. Let s be i(t). Let m = -42 - s. Is m a multiple of 15?
True
Suppose 44 = -4*o - 0*o. Suppose -4*a + 8*a = 80. Let r = a + o. Is r a multiple of 6?
False
Let n = 14 - 14. Suppose 0 = -n*i + 2*i - 30. Does 12 divide i?
False
Let r(t) = -3*t**3 - 13*t**2 + 32*t + 4. Is 50 a factor of r(-9)?
True
Is (-3798)/(-135) + 5/((-75)/2) a multiple of 14?
True
Let u(w) = -w**2 - 33*w. Is u(-14) a multiple of 14?
True
Suppose -2*u + 7 = -21. Suppose 112 = 6*c - u. Let w = c + -16. Does 2 divide w?
False
Let g(w) = 4*w**2 + w - 7. Let x be g(3). Suppose x + 31 = 3*n. Is n a multiple of 7?
True
Let p(c) = -c**2 + 10*c - 11. Let j be p(8). Suppose 3*q = 5*f + 3894, -j*f - 2*q = -147 + 4051. Is 12/42 + f/(-14) a multiple of 14?
True
Let f(w) = -3*w - 5*w**2 + 3*w**2 - 2 - w**3 - 2*w**2. Let v be (-2)/(-1)*(-1)/2*4. Is f(v) a multiple of 5?
True
Let r = -359 + 513. Suppose 3*b - 5*t = -0*b + r, -2*b + 81 = t. Is 13 a factor of b?
False
Suppose -310 - 203 = -9*q. Is q a multiple of 2?
False
Let l = -77 + 77. Does 8 divide 74*(l + (-3)/(-6))?
False
Let p(k) = 2*k**2 + 5*k - 4. Let i be p(-4). Let n(q) = -4*q + 9. Let h(d) = -6*d + 14. Let l(c) = 5*h(c) - 8*n(c). Is l(i) a multiple of 3?
False
Suppose 125 - 85 = 4*q. Let d(b) = b**2 - 4*b - 22. Does 7 divide d(q)?
False
Let a = 5 - 0. Let b be 352/(-10) + 1/a. Let m = b + 59. Is 12 a factor of m?
True
Suppose 2*d + 0*s - 14 = 3*s, -2*d + 5*s = -18. Suppose -d*o + 9 = -51. Does 4 divide o?
False
Let l = -29 - -31. Suppose 4*u = 8*u. Suppose -3*r + 2*q + 166 = u, 3*r + l*q - 282 = -2*r. Is 8 a factor of r?
True
Suppose x + 4199 = 5*i, -2517 = i - 4*i + 3*x. Is 4 a factor of i?
True
Let h(n) = 138*n + 6. Is 62 a factor of h(4)?
True
Is 18 a factor of (-10 - -8) + -3 + -1 + 1698?
True
Suppose -b + 383 = 4*t - 630, -t = 5*b - 277. Suppose