= 2*t - 10. Let s be q(y). Suppose -115 = -s*b + 3*b. Does 6 divide b?
False
Let k be (-4 - 2 - -5)/((-2)/4). Is k + -7 + 1 - -123 a multiple of 17?
True
Suppose 0 = 3*p - 2*p - 262. Suppose -f + 3*a + 32 = -94, -a = -2*f + p. Is f a multiple of 12?
True
Suppose -376*p + 382*p = 10908. Is 18 a factor of p?
True
Let u(b) = -2*b - 15. Let t be u(-16). Suppose 0 = -2*k - z + t, -k + 7 = 3*z - z. Suppose -3*l + k = -24. Is 11 a factor of l?
True
Suppose 0 = 3*r + c + 125, -5*c + 0*c = -20. Let m = 59 + r. Is 8 a factor of m?
True
Suppose 31 = -0*z + z. Suppose -3*p - 8 = -p, 4*p + z = 3*g. Suppose -g*b + 17 = -8, 5*b + 137 = 3*n. Does 17 divide n?
False
Let i(p) be the first derivative of p**4/4 + 5*p**3 - 7*p**2/2 + 16*p + 4. Does 11 divide i(-15)?
True
Let l be (12/10)/((-6)/(-105)). Let o be (28/l)/((-2)/(-9)). Suppose 0 = o*n - 2*n - 104. Is 26 a factor of n?
True
Suppose 0 = -g - 2*g + 45. Suppose -3 = -3*z - b - b, -b = -4*z + g. Suppose 0 = -5*f - 20, -3*f = 5*c - z*c - 50. Is c a multiple of 16?
False
Let q(g) = g + 8. Let a be q(-6). Suppose 0 = -k + a*k - 14. Is 2 a factor of (-1 - 0)/((-2)/k)?
False
Let h = -9 + 8. Let j be (-2)/(-3)*(h - -4). Is 3 a factor of j/(-2) + (18 - 5)?
True
Suppose -8*p + 1756 = -3*p - 4*d, -5*d - 1412 = -4*p. Suppose z = -2*z - p. Is z/(-3) + (-1)/(-3) a multiple of 13?
True
Let v = 493 - 273. Does 5 divide v?
True
Let f(t) = -17*t - 14. Is 11 a factor of f(-19)?
False
Suppose 0 = -3*z - z. Suppose -2*p - 3 - 5 = z. Is 15 a factor of (-1 + 30/p)*-2?
False
Let y = -54 + 27. Let w = -19 - y. Suppose 6 = p - w. Does 7 divide p?
True
Suppose 0 = 4*o - 5*o - 2*a + 621, -4*a - 621 = -o. Does 53 divide o?
False
Suppose t + t - 16 = -2*i, 2*i + 8 = 4*t. Suppose -2*c + 66 = 4*b, i*c + 4*b - 246 = -98. Is 10 a factor of c?
False
Let n = 13 - 12. Let g be (4/((-4)/(-1)))/n. Let h(q) = 37*q**2 - q. Is h(g) a multiple of 12?
True
Let v(h) = -h**3 - 5*h**2 + 2*h + 11. Let w be v(-5). Is 10 a factor of ((-345)/92)/(w/(-8))?
True
Let i = -91 + 225. Let t = -42 + i. Is 4 a factor of t?
True
Suppose -31154 = -29*f - 10651. Is 12 a factor of f?
False
Let q(f) = -5*f**2 - f. Let u be q(-1). Let w be -2 - u/(12/(-9)). Let g = w + 57. Does 15 divide g?
False
Let y = -1682 - -2501. Is 8 a factor of y?
False
Suppose 0 = 3*u + 4*j - 186 - 269, 3*u - 5*j = 410. Let o = -52 + u. Is o a multiple of 31?
True
Suppose 5 = 5*s - 10. Suppose s*x - 4*p - 262 = 0, -434 = -4*x - x + 4*p. Let l = x - -5. Is 13 a factor of l?
True
Let u = -196 - -560. Does 22 divide u?
False
Let c be 28/6 - (12/(-9))/(-2). Suppose -12*i = -c*i - 624. Is i a multiple of 26?
True
Suppose 156 = 2*f - 924. Is 27 a factor of f?
True
Suppose 0 = -59*a + 74*a - 4095. Is 7 a factor of a?
True
Let p be (0 + 1)/(8/24). Suppose -4*u = -3*g - 8 - 7, 5 = -p*u - g. Suppose u = t + 2 - 9. Does 5 divide t?
False
Let p = 9273 - 6575. Does 38 divide p?
True
Suppose -4452 = -5*t - 442. Is 39 a factor of t?
False
Let p be ((-12)/24)/((-1)/(-2)). Let a(d) = -11*d - 2. Let q(n) = -n**2 + n. Let j(b) = p*a(b) - 3*q(b). Does 5 divide j(-3)?
True
Suppose -f + 2 = -0*f. Suppose -s = -3*s - 5*a + 24, -f*s - 3*a + 24 = 0. Suppose n = p + s, 2*n - 4*p = 20 - 0. Is n a multiple of 7?
True
Let a = -66 + 36. Suppose -q = 3*q - 96. Let k = q - a. Is 9 a factor of k?
True
Suppose -1100 = -5*q - 4*a, q - 19 = -4*a + 185. Is q a multiple of 7?
True
Let p(t) = -2*t**2 - 11*t - 8. Let m be p(-4). Suppose -5*x - 379 = -2*w - 2*w, 382 = m*w - 2*x. Is w a multiple of 16?
True
Let d(k) = -14*k + 8. Let j(h) = 41*h - 24. Let l(o) = 8*d(o) + 3*j(o). Is l(9) a multiple of 13?
True
Let d be (-14)/(-3)*(-18)/(-21). Suppose 5*a - 3*a - 126 = -d*n, -4*n - 371 = -5*a. Does 7 divide a?
False
Suppose 4*n + 1 + 7 = 0. Let m be (n/3)/(4/(-6)). Let s(w) = 19*w**3 - 2*w**2 + 1. Does 5 divide s(m)?
False
Let i = 9556 + -6670. Does 16 divide i?
False
Let g(t) be the second derivative of 9*t + 0 + 0*t**2 - 4/3*t**3 + 1/12*t**4. Is g(11) a multiple of 7?
False
Suppose -65910 = 5*z - 44*z. Is z a multiple of 23?
False
Suppose -o - 72 = -4*o. Let a = o - 20. Suppose -a*m + 2*b = -150, -33 = 5*b - 8. Does 5 divide m?
True
Let k be 3*17*3/(9/20). Is 2 a factor of (-2)/4 - k/(-8)?
True
Let u be (-7 - -14)*(1 - 0). Let p(i) = 3*i - 13. Let c be p(u). Let b = c + 4. Is b a multiple of 12?
True
Suppose 0 = 3*a - 0*a, 4*p + 5*a - 968 = 0. Suppose 8 = 2*i, -2*d + 5*i + p = -58. Suppose -2*g + 5*b = -87, 4*b + 15 = 5*g - d. Does 11 divide g?
False
Suppose -13*r - 23 = -12*r. Let f = r + 30. Is 7 a factor of f?
True
Let d(r) be the second derivative of 4*r**3 - 7*r**2 - 5*r. Does 12 divide d(5)?
False
Let z = 6 + -6. Suppose q + z*q + 12 = 4*j, q = 0. Suppose k = -2*m + 5*m + 10, k + j*m - 16 = 0. Is k a multiple of 13?
True
Let i(x) = 119*x**2 - x + 3. Let v be i(-3). Suppose -5*g + v = -h, 111 + 117 = g + 4*h. Is g a multiple of 12?
True
Let z(f) = 3*f. Suppose 0 = 2*i + 3*i - 3*k + 13, -k - 1 = i. Let m be z(i). Is (1 - -8)*(-34)/m a multiple of 13?
False
Suppose -4*p - 4*f = 8, 0 = -2*f - 1 - 7. Suppose -3*g + m + 3*m + 13 = 0, 2*m = -p. Suppose g*d = d + 144. Is 18 a factor of d?
True
Let m = -52 - -14. Let h = -27 - m. Does 11 divide h?
True
Let a(d) = -27*d - 656. Is 9 a factor of a(-25)?
False
Let j = 4 - -1. Suppose 0 = -4*i + 4*z + 68, 4*i - 19 = j*z + 46. Suppose 4*b - i - 60 = 0. Is b a multiple of 7?
False
Let z be -1*(-1 + -2) - -2. Let y(j) be the first derivative of -j**4/4 + 7*j**3/3 - 7*j**2/2 + 2*j - 7. Is y(z) a multiple of 14?
False
Suppose 0 = 327*a - 343*a + 2096. Is a even?
False
Let i = -40 + 362. Does 35 divide i?
False
Let q(b) = -6*b - 12. Suppose -2*n + 5*n - 9 = 0. Suppose n*t + 36 = -3*i, 3*i + 9 + 11 = t. Is 9 a factor of q(i)?
True
Let x = -107 - -432. Is x a multiple of 7?
False
Suppose 4474*z - 4478*z + 3116 = 0. Is 41 a factor of z?
True
Let r(j) = -8 - 2 + j + 2. Let n be r(11). Suppose -o + 118 = n*h - 5*o, 16 = -4*o. Does 17 divide h?
True
Let u(j) = -15 - 2*j**2 - 16 + 22 + 16*j. Let g be u(6). Does 12 divide (g/(-35) + -3)*-7?
True
Let f(l) = -l + 1. Let r be f(1). Suppose -3*g - 4*k = -164, 5*g - k + 4*k - 266 = r. Does 11 divide g?
False
Let l(t) be the third derivative of t**5/6 - t**4/8 + t**3/3 + 3*t**2. Let c be l(2). Is 27 a factor of c/(-10)*90/(-4)?
True
Suppose -5*h = 1 - 11. Does 14 divide h/(-4) + (-58)/(-4)?
True
Let k = -993 + 2722. Is 91 a factor of k?
True
Suppose 4*t + t = 30. Let r(w) = 9*w - 20. Let b(m) = 19*m - 42. Let o(z) = -6*b(z) + 13*r(z). Does 5 divide o(t)?
True
Let d be 5/(-15)*0 + -27. Let p = d - -31. Does 3 divide p?
False
Suppose 0 = m + 4*m - 130. Suppose -2 + m = 4*d. Does 3 divide d/(2 + 0)*6?
True
Suppose -133 = -3*j + 296. Is 13 a factor of j?
True
Let s(a) = -3 - 2*a**2 - a**2 - 2*a + 2 - 6*a**3. Let p be s(-2). Suppose t = -o + 4*o + p, -o - 178 = -4*t. Is 12 a factor of t?
False
Suppose 134*u - 139*u + 15 = 0. Suppose -4*q = -3*o + 29, 0*o + 5*o - 37 = q. Suppose u*f - o*f - 3*y + 336 = 0, -4*f + 3*y = -312. Is f a multiple of 18?
False
Let v(n) = -n**3 + 10*n**2 + 2*n + 14. Does 17 divide v(6)?
True
Suppose 0 = 4*i - d - 749, 0 = -0*i + 2*i - 3*d - 377. Does 11 divide i?
True
Let f = 14 - 10. Let p = 0 + f. Suppose 4 = p*w, -2*c - 19 = -4*c - 3*w. Does 4 divide c?
True
Let r(f) = 13*f + 67. Let v be r(-5). Suppose 2*y = 3*z - 560, -v*y - 3*y + 181 = z. Does 29 divide z?
False
Let d(u) be the third derivative of -u**6/120 - u**5/30 + u**4/12 + u**3 - 3*u**2. Does 7 divide d(-3)?
False
Suppose 24*d = 13872 + 6144. Is 12 a factor of d?
False
Is 9/(-27) - ((-5349)/9 - -2) a multiple of 14?
False
Let k(r) = -25*r + 53. Let u be k(10). Let j = 369 + u. Is 29 a factor of j?
False
Let q be ((-103)/(-4))/(-1*(-1)/(-4)). Let h = q + 175. Does 18 divide h?
True
Let n(m) = -17*m + 12. Let p(s) = -18*s + 11. Let v(u) = -5*n(u) + 4*p(u). Does 11 divide v(8)?
True
Let v = -421 - -488. Is v a multiple of 3?
False
Suppose 2*o - 5*m = 34, 5*o - 12 - 119 = m. Suppose -5*i + a = -o, -i + 2*i - 9 = 2*a. Suppose z = 4*z + 4*r - 79, -i*r = 10. Is 6 a factor of z?
False
Let j be (3 - -1)/(2/(-5)). Suppose -2*h = -4*h + 38. Let k = j + h. Does 9 divide k?
True
Suppose -m = 4*v - 3286, -38*v + 35*v - 2*m = -2467. Is v a multiple of 15?
False
Let w(n) = 13*n**2 + 4*n - 7. L