13. Let s be g(-17). Let l = 153 + s. Does 17 divide l?
False
Let i = -160 - -194. Is i a multiple of 4?
False
Suppose j = 4*z - 2570, -208 - 426 = -z - 4*j. Is 19 a factor of z?
False
Let a(p) = -6*p + 44. Is a(-12) a multiple of 21?
False
Let z(b) = -b - 5. Let f be z(-6). Is (f - 0)/(10/840) a multiple of 14?
True
Suppose -5*n + 4*n = -94. Suppose -5*f - 3*j = -n, 26 = f - 0*f - 3*j. Suppose -13 = -k + f. Does 11 divide k?
True
Suppose 35*u = 46*u - 3256. Is 8 a factor of u?
True
Suppose 9*h - 10*h = 2. Let m be 3 - (h + 3) - 52. Let o = 74 + m. Is o a multiple of 8?
True
Let d(r) be the second derivative of -1/12*r**4 - 2*r**3 + 0 + 3*r + 9/2*r**2. Is 12 a factor of d(-11)?
False
Suppose -5*v - 115*p + 113*p + 2704 = 0, 4*p - 1628 = -3*v. Does 10 divide v?
True
Suppose 0 = -2*m - u + 3037, 11*u - 9*u - 6 = 0. Is m a multiple of 50?
False
Suppose -66*f = -74*f + 11440. Is f a multiple of 13?
True
Let h = 570 - 35. Is h a multiple of 51?
False
Let g(y) = 99*y**2 + 5*y + 4. Let q be g(-1). Is (-25 - -24) + 0 + 1 + q a multiple of 14?
True
Let r(l) = -8*l + 38*l - 11*l - 7 - 12*l. Is r(9) a multiple of 8?
True
Let i = -140 + 297. Is 26 a factor of i?
False
Let l(q) = -q**3 + 7*q**2 - 4*q - 2. Let r = -59 - -63. Is 15 a factor of l(r)?
True
Let l = -101 + 176. Let d be -3 + (-2)/(((-4)/(-10))/(-1)). Suppose 0 = d*v + 17 - l. Does 6 divide v?
False
Let r = 10 - 5. Suppose 3*n = -z + 90, r*z - 4*z - 60 = -2*n. Does 3 divide ((-3)/2)/((-9)/n)?
False
Let o(p) be the second derivative of -5*p**3/6 + 116*p**2 + 15*p. Does 29 divide o(0)?
True
Let l be 2/14 + 200/70. Suppose -4*r + 204 = -0*t + l*t, -5*r = 2*t - 262. Is r a multiple of 5?
False
Let k be (-2 + 1)/(20/24 - 1). Suppose -5*n + 135 = -2*t + k, -2*t = 3*n - 71. Is 8 a factor of n?
False
Let i be (-1)/((-1)/204*3). Is i + 7 + (1 - 5 - 0) a multiple of 7?
False
Suppose 0*w = 3*w - 3*y - 12, -3*w - 2*y + 7 = 0. Let x(a) = -2*a**2 - 3*a**3 + 5*a**w - 4 - 3*a - a + a. Is 23 a factor of x(3)?
True
Suppose -i = -4*i - 5*y - 69, i = -2*y - 22. Let a = 28 - i. Suppose z - a = -2*d + 6*z, -3*d = -5*z - 74. Is 6 a factor of d?
True
Let j(a) = 7. Let c(g) = g + 8. Let b(f) = 4*c(f) - 5*j(f). Let n be 27/9 - -1*4. Is 7 a factor of b(n)?
False
Let o = -8 + 8. Suppose o = 2*a - 2, 0*a - 205 = -2*d + 5*a. Does 22 divide d?
False
Suppose 0 = -5*b - 3 + 13. Let y(j) = -53*j**3 - 2*j**2 - 2*j + 1. Let n(d) = d**3 - d**2 - d + 1. Let g(o) = b*n(o) - y(o). Does 16 divide g(1)?
False
Suppose 0 = -2*h - 0*c + 5*c - 21, 2*h - 24 = -4*c. Does 2 divide (-2 + 5 - 4) + (13 - h)?
True
Let l(p) = 62*p - 1. Let z be l(-3). Let h = -107 - z. Does 10 divide h?
True
Let w = 886 + 51. Is 19 a factor of w?
False
Let v be 4/1*(-22)/(-8). Let u = -8 + v. Is 0 + 3 - u/(-1) a multiple of 2?
True
Let a(u) = -33*u**3 - 2*u**2 + 1. Let o be a(-1). Suppose -o = -2*b + 34. Is b a multiple of 6?
False
Let a = -85 - -124. Suppose -15 = 3*p - a. Does 19 divide (-76)/6*(-36)/p?
True
Suppose -4*b = -2*p - 2170, 2185 = 4*b - 48*p + 43*p. Does 54 divide b?
True
Let m be 1/3 - (-11)/3. Suppose m*p = q + 2*q + 15, -p + 3*q = -15. Suppose 4*o + 16 = 0, 2*v + 2*o - 3*o - 14 = p. Is 5 a factor of v?
True
Let w = -10 + 18. Let i(b) = 3*b + 23. Does 20 divide i(w)?
False
Let a be (-5)/(-20) + (-919)/(-4). Suppose 73 - 187 = -2*s + v, 3*v + a = 4*s. Does 14 divide s?
True
Let n(u) = u**2 - 8*u + 6. Let y be n(18). Suppose -3*j + 558 = y. Is 12 a factor of j?
False
Let c be 350/15*(-45)/(-6). Suppose -8*i = -3*i - c. Does 11 divide i?
False
Suppose 4*t - 3*a + 6 = 0, t + 11 = -a - 3*a. Let f(k) = -30*k - 29. Let m(y) = -15*y - 14. Let z(c) = -6*f(c) + 13*m(c). Is z(t) a multiple of 13?
False
Suppose 3*f - 62 = -50. Let y(t) = -t**3 + 3*t**2 + 2*t + 2. Let w be y(3). Suppose 3*l - 51 = -v + 42, f*l = w. Does 20 divide v?
False
Let x be -7*2/2 - 1. Does 12 divide x*((-15)/(-5))/(-1)?
True
Let n(j) = 3*j**2 - 15*j - 22. Let l be n(22). Suppose 8*d + 2*d - l = 0. Is d a multiple of 25?
False
Suppose -3*j + 3*n + n = -101, -5*j + 178 = 3*n. Suppose 4*d + j = -3*k + 83, 2*d - 2*k = 10. Is d even?
False
Suppose 2*y + 409 = -3*z, 3*y - 3*z + 5*z = -616. Let x = 326 + y. Does 11 divide x?
False
Let l(a) = -a**3 + 6*a**2 - a + 6. Let x be l(6). Suppose -166 + x = -2*g. Let u = g - 47. Is 9 a factor of u?
True
Suppose -2*t - 22 = 4*s - 4*t, 19 = -3*s + t. Let l = 0 + 0. Let w = l - s. Is w a multiple of 3?
False
Suppose 83 = w + p - 223, -4*w + 1232 = 2*p. Is 10 a factor of w?
True
Suppose 5*g + 252 = f, 46 = -g - 0*f - 2*f. Let p = g + 85. Is 7 a factor of p?
True
Let v = 247 + -153. Let c = -42 + -8. Let q = c + v. Is 14 a factor of q?
False
Let v(n) = -n**3 - 3*n**2 + 6*n + 8. Is 4 a factor of v(-5)?
True
Let f be -8*(-2)/8*3. Let s(z) = z**2 + z. Let l(v) = -4*v**2 - 18*v + 3. Let y(o) = -l(o) - 5*s(o). Is 12 a factor of y(f)?
False
Suppose 9*d - 4283 = 5599. Is 61 a factor of d?
True
Suppose 0 = 13*t - 5*t + 16. Is (t - 166/(-3)) + 28/42 a multiple of 6?
True
Let x = 30 - 36. Does 11 divide (-98)/4*(1 + x/2)?
False
Is 53 a factor of 133021/279 + 4/18?
True
Suppose q = 677 - 165. Is 32 a factor of q?
True
Let l(w) = -2*w**2 - 2*w - w**2 + 2*w**3 + 6*w**2 - 10 + 12. Is 13 a factor of l(2)?
True
Let o = -2307 + 3627. Is o a multiple of 12?
True
Suppose 2*v - 5*v = 5*n - 588, -3*n + 773 = 4*v. Suppose -4*s = 4*d - 1080, -2*s + 353 = d - v. Is 55 a factor of s?
False
Suppose 5*r = 10, -4*v - 463 = -9*v - 4*r. Does 11 divide v?
False
Suppose 0 = 3*f - 3*z + 300, 0*z = -2*f + 4*z - 204. Is 2 a factor of (-276)/(-14) + (-28)/f?
True
Let i(o) = o**3 + o**2 - 10*o + 181. Does 54 divide i(8)?
False
Let m be (-9)/(90/220) - (-4)/1. Suppose 2*x = 5*x - 327. Let q = m + x. Does 13 divide q?
True
Let z = -24 - -28. Suppose z*i - 6*i - 80 = 0. Let t = 87 + i. Is t a multiple of 19?
False
Suppose -2*x + 12 = 2*c, c + c = 0. Does 5 divide (x/(-9))/((-2)/387)?
False
Let b(f) = -154*f - 141. Is b(-8) a multiple of 21?
False
Suppose -13*l - 434 = -14786. Does 23 divide l?
True
Let k(n) = 6*n - 36. Let h be k(5). Is 2 a factor of ((-120)/(-25))/(h/(-20))?
True
Let j = 0 + 40. Suppose 6*g = 4*g + j. Does 4 divide g?
True
Suppose 10 = 3*t - 14. Suppose 0 = k + 5*f + 24, 2*k + t = 2*f - 4. Is -12*(-3 - k/6) a multiple of 9?
True
Is 34 a factor of (392 - -20) + (-5 - -1)?
True
Let b(t) = 3*t - 5*t - 7 - t**2 + 1. Let x be b(-4). Is (36/x)/(27/(-126)) a multiple of 3?
True
Let o be 25/(-2)*(23 + -21). Let n = 28 + o. Is n a multiple of 3?
True
Suppose 571 - 3136 = -27*w. Is w a multiple of 17?
False
Let a be (-1 - -1 - 4) + 4. Suppose a = 3*b - 10 - 11. Is b a multiple of 7?
True
Let f be ((-2)/6)/(4/(-72)). Suppose f*o - 4*o = 28. Does 7 divide o?
True
Let w be ((-9)/(-12))/((-3)/24). Let u be (6/(-4))/(w/8). Is (-73)/(u - 6/2) a multiple of 15?
False
Let y = 354 - 147. Is 4 a factor of y?
False
Let y(l) = l**2 - 3*l - 19. Let c be y(-5). Let j = 62 - c. Does 7 divide j?
False
Suppose 73*l + 6875 = 98*l. Is 11 a factor of l?
True
Let o = 94 + 62. Suppose 152*l + 1104 = o*l. Does 12 divide l?
True
Suppose 59 = 4*a + 347. Suppose -10*m = -12*m - 102. Let c = m - a. Does 8 divide c?
False
Suppose 0 = -7*r - 2439 + 6324. Is 74 a factor of r?
False
Suppose 5*c = 825 + 670. Suppose 4*h - 2*o - 296 = -h, 5*h = 3*o + c. Is h a multiple of 16?
False
Suppose -5*b = -0 - 35. Let h = -3 + b. Suppose -l + 4 = l + 4*r, -h*l + 8 = r. Is 2 a factor of l?
True
Let b(c) = -3*c + 33. Let l be b(0). Suppose -321 = -4*h - l. Is h a multiple of 11?
False
Let t = -1418 + 1451. Is t a multiple of 7?
False
Let g(w) = w. Let v(t) = -t - 33. Let o(y) = -2*g(y) - v(y). Is o(15) even?
True
Is 11 a factor of 2 + (329 - (-5)/5)?
False
Let u be 39/2*(-28)/(-6). Suppose 118 = 20*y + 38. Suppose -2*t + 124 = 3*l, y*t = -2*l + t + u. Is l a multiple of 19?
True
Let q(m) = 0*m**3 + 2*m**3 - m**3 + 6 - 4. Let c be q(4). Suppose 4*b - c = -2*v, -2*v + 201 = 3*v + b. Is 20 a factor of v?
False
Let g be 26/((-6)/6) - (1 - -2). Let c = 43 - g. Is c a multiple of 26?
False
Suppose -24 + 80 = -2*u. Let l = u - -213. Suppose 10*k - 5*k - l = 0. Is 7 a factor of k?
False
Let r(j) be the third derivative of 0*j + 0 + 1/3*j**3 - 1/120*j**6 - 1/12*j**5 + 2*j**2 - 5/24*j**4. Is r(-4) a multiple of 4?
False
Let a be 59/6 - (-