 -118 = -3*s + q, 4*q - p = -s - 3*s. Is s a multiple of 13?
True
Let z = -62 + 198. Suppose -u - z = -5*u. Let g = u - 21. Is g a multiple of 13?
True
Suppose 3*m - 4*j - j - 136 = 0, -4*j + 4 = 0. Is 17 a factor of m?
False
Let q(v) = v**3 - 13*v**2 - 13*v + 1. Is 2 a factor of q(14)?
False
Suppose 3*s + 1 = 19. Is 2 a factor of s?
True
Let h = -75 + 111. Does 12 divide h?
True
Is (-65)/(-2) - 13/26 a multiple of 32?
True
Is 8 a factor of (1 - (5 - 3))*-39?
False
Let f = 12 + -8. Let n(u) = -u**3 + 7*u**2 - 7*u + 5. Let o be n(f). Suppose 2*l + h - o = 0, 5*h + 17 = l - 12. Is 5 a factor of l?
False
Let k(v) = v + 20. Is k(0) a multiple of 20?
True
Let f(b) = -b**3 + 1. Let y(w) = 8*w**2 - 8*w + 5. Let x(v) = f(v) - y(v). Does 2 divide x(-9)?
False
Let q be (-14)/3 - 10/(-15). Let k = 6 + q. Suppose 4*h + 2*j - 72 = 0, 3*h - k*h + 3*j - 8 = 0. Is h a multiple of 11?
False
Is 148/(6 - (-4)/(3 + -4)) a multiple of 32?
False
Let b(l) = -3*l + 2. Let u be b(2). Let m be (-6)/(2/u + -1). Let g = m + 1. Is g even?
False
Suppose -17*i - 240 = -21*i. Is 18 a factor of i?
False
Suppose -1 = l - 4. Suppose 0 = -5*p + l*y + 20, -p = -6*p - 4*y + 55. Does 2 divide p?
False
Let k be 1*(-2)/(-2)*-33. Let x = 70 + k. Is x a multiple of 21?
False
Let u be (2 - (-12)/9)*-3. Let w = 11 + u. Does 24 divide (96/20)/(w/10)?
True
Let d be 1/4 + 1071/(-12). Let a = d - -39. Is 12 a factor of -1 - (-1)/((-2)/a)?
True
Suppose -187 = -3*z + n - 23, 0 = -2*z - 4*n + 86. Is z a multiple of 23?
False
Let h(f) = -f + 6. Let u be h(-6). Is (-2 + u)*(-3)/(-6) a multiple of 3?
False
Let u(t) = 2*t - 8. Let o(v) = 2*v**2 - 2. Let d(c) = -c**3 - 4*c**2 + 5*c + 2. Let s be d(-5). Let r be o(s). Does 4 divide u(r)?
True
Let y = 567 - 187. Does 42 divide y?
False
Suppose -8*h + 3*h + 275 = 0. Is h a multiple of 11?
True
Suppose 20 = 4*x - 4*t, 2*t + 19 = 2*x + 3*x. Suppose -3*r = 3*z + 2*r - 44, 3*r - x = 0. Is z a multiple of 3?
False
Suppose 3*b - 26 = p, 3*p + p - 2*b + 64 = 0. Does 14 divide ((-2)/(-2))/((-1)/p)?
True
Suppose -4*y + 416 = -4*h, 0 = -4*h + 3*y + 2*y - 416. Let j = -49 - h. Is j a multiple of 12?
False
Suppose 0 = -4*p + 2*p + 340. Suppose -20 = 2*s - p. Suppose -b = 3*f - 58 + 5, -s = -5*f + 5*b. Is f a multiple of 7?
False
Suppose 5*b + 2*w - 14 = -2*w, -3 = b - 5*w. Does 2 divide b?
True
Let d be (1 + -2 - -24) + -1. Suppose 3*z = 5*z + d. Let y(t) = t**3 + 10*t**2 - 13*t + 6. Does 14 divide y(z)?
True
Let x(u) = 11*u - 11. Is x(7) a multiple of 22?
True
Let r = 317 - 157. Is r a multiple of 40?
True
Let f be (2 - 1)/(3 - 2). Does 18 divide -27*(-8)/6*f?
True
Let v(d) = 31*d - 2. Let x be v(10). Suppose -5*c + x = -c. Let z = 109 - c. Is 16 a factor of z?
True
Let b(j) = -4*j + 2 + 3 - 4. Suppose -5*a - 2*x - 3*x + 10 = 0, -x + 8 = -a. Is 13 a factor of b(a)?
True
Let q(h) = -12*h. Let g be q(1). Let w = g - -17. Is 5 a factor of w?
True
Suppose c = -p + 97 + 26, -2*c = -4*p + 498. Is 34 a factor of p?
False
Let r = 102 - 47. Does 15 divide r?
False
Suppose -u = 3 - 7. Suppose 2*o + 5*r = 38, 0*o - u*o + 104 = -4*r. Is o a multiple of 11?
False
Suppose 0 = -3*f + 15, -4*f + 48 = 5*u - 67. Does 8 divide u?
False
Let a = -219 + 417. Is 22 a factor of a?
True
Let j(c) = -c**3 - 26*c**2 + 24*c + 33. Does 38 divide j(-27)?
True
Let z = 40 + 136. Is z a multiple of 38?
False
Suppose 11 + 42 = 2*a + k, 0 = 3*a - k - 82. Is a a multiple of 27?
True
Is 16 a factor of -3*229/(-3) + 0?
False
Let n be (-62)/(-22) + (-4)/(-22). Suppose u + n*u = 2*c - 56, 0 = 2*c - u - 41. Is c a multiple of 18?
True
Let h(i) be the second derivative of -16*i**3/3 - i**2/2 + 2*i. Does 17 divide h(-1)?
False
Suppose 113 = 2*y - 27. Is y a multiple of 10?
True
Let g = 87 + -35. Let q = -14 + 51. Let v = g - q. Does 6 divide v?
False
Suppose -4*i = -0 - 32. Is 4 a factor of i?
True
Let k = -3 + 5. Suppose 0*h + 4 = k*h. Suppose -2*f + h*s + 54 = -2*s, -f + 4*s = -23. Does 19 divide f?
False
Let p be 12/18*(12 - 0). Suppose -p = y - 28. Is y a multiple of 13?
False
Is (-3 - 53)*(-3)/6 a multiple of 7?
True
Let j(o) = 6*o**2 + 18*o + 9. Is j(-7) a multiple of 24?
False
Let o be 2/(-3)*153/6. Is (4 + -2)/(-2)*o a multiple of 17?
True
Let v(s) = -17*s. Suppose 3*y + 0*y = q - 10, 0 = 5*y - q + 16. Is 17 a factor of v(y)?
True
Let l(i) = -i**3 + 8*i**2 + 10*i - 4. Let d be l(9). Suppose -10 = -d*m + 10. Suppose -99 = -m*v + 53. Does 19 divide v?
True
Let w(p) = -p**3 - p. Let j be w(-1). Let z be (j/4)/(2/(-128)). Let g = 53 + z. Does 9 divide g?
False
Let p = 7 + -8. Is p + 1 + (27 - 1) a multiple of 7?
False
Does 3 divide 17/(153/90)*(-2)/(-2)?
False
Suppose 0 = 2*h - 4 - 36. Let f = h + -17. Is f even?
False
Let l = 4 + 4. Suppose -l = 2*k + 4*x, -3*k - 3*x + 3 + 0 = 0. Suppose 0 = 4*d + 4*t - 24, 2*d = -k*t + 2*t + 4. Is 5 a factor of d?
True
Suppose 0*t - 2*t + 60 = 0. Suppose -t = -3*y - 2*y. Suppose -2*s - 2*g + 78 = 0, 47 = s - 3*g + y*g. Is s a multiple of 17?
False
Let w = 2 + 1. Suppose 0 = -5*s - w*t + 34, 0 = -s + 4*s + 3*t - 24. Suppose -149 = -4*o + k, 0 = s*o - 0*o - 5*k - 205. Is o a multiple of 12?
True
Let r be ((-10)/(-6))/((-1)/(-54)). Suppose -l = 4*l - 3*x - 95, -5*l + 4*x = -r. Does 15 divide l?
False
Let r = -32 - -56. Is r a multiple of 4?
True
Let f(u) = -3*u**2 - u - 2*u**3 + 5*u**3 - 2 + u**3 + 2*u. Is 7 a factor of f(2)?
False
Let v be (-51)/(-9) - (-1)/3. Let n(w) = 4*w - 2*w + v + 1. Is 17 a factor of n(5)?
True
Is (44/(-6))/(42/(-36) + 1) a multiple of 23?
False
Suppose -272 = -26*f + 24*f. Is 17 a factor of f?
True
Suppose -5*z = 0, o + 525 = 6*o + 5*z. Is 30 a factor of o?
False
Let l(o) = o**2 - 3*o + 4. Let y(t) = -t + 2. Let u(c) = 2*l(c) - 5*y(c). Is 17 a factor of u(-4)?
True
Let j be (7 + -4)*(-116)/(-3). Let x = -15 + j. Let o = -57 + x. Does 22 divide o?
True
Suppose 2*p = -4*d + 3*p + 47, -d - 12 = -5*p. Let h = -7 + d. Does 4 divide 12/(0 + h/4)?
True
Suppose 4*s + s + 365 = -2*r, -5*r = s + 96. Let h = -3 - s. Suppose -h = -2*g - 2*g. Is 17 a factor of g?
True
Suppose -6*w + 3*y = -4*w + 63, 2*y + 6 = 0. Let r = -3 - w. Is 11 a factor of r?
True
Suppose o = 5*o - 20. Suppose u + 3 = 0, -2*u + o = s + 3. Suppose -32 = -g + s. Is g a multiple of 20?
True
Suppose q - 84 = -4*h, 4*h - 3*q + q - 96 = 0. Let g = h - 15. Is 7 a factor of g?
True
Let i(x) = -x**3 + x - 1. Let l be i(2). Let c(p) = p**2 + 4*p. Is 7 a factor of c(l)?
True
Let l(h) = 4 - 5 + 10 + h - 2*h. Let b be 66/15 - (-2)/(-5). Is l(b) a multiple of 3?
False
Let q(n) = -15*n**2 - 3*n. Let f be q(3). Let b = -75 - f. Suppose 0*a = 3*a - b. Is a a multiple of 13?
False
Let z = -7 + 5. Let r be 7/z*-4*1. Is 340/r + 10/(-35) a multiple of 13?
False
Suppose -5*i = 5*j, -i + 2*j - 4 = -5*i. Suppose 0 = 3*n + i*n - 80. Is n a multiple of 5?
False
Let h be 0/(4 - 3) - 88. Let r = h - -34. Is 16 a factor of (-2064)/r - 4/18?
False
Let j(f) = -3*f**2 - 10*f + 2. Let v be j(-8). Is ((-12)/(-20))/((-2)/v) a multiple of 9?
False
Let w = -106 - -202. Is w a multiple of 24?
True
Suppose -4*y + 0*y + 20 = 0. Suppose y*j - 148 - 27 = 0. Is j a multiple of 11?
False
Suppose -4*z + 9*z - 135 = 0. Is z a multiple of 19?
False
Suppose -2*u - 4*u = -12. Is 83 + u - (0 + -3) a multiple of 33?
False
Is 126/(-28)*(-40)/3 a multiple of 12?
True
Let v = -2 + 4. Suppose 27 = v*j - 33. Let g = j + -6. Is g a multiple of 9?
False
Let j(t) = -5*t**3 - 41*t**2 + 44*t + 27. Let a(v) = 2*v**3 + 14*v**2 - 15*v - 9. Let k(w) = -8*a(w) - 3*j(w). Is k(9) a multiple of 13?
False
Let x(n) = 2*n**2 - 3*n - 6. Does 4 divide x(-3)?
False
Suppose 14*d = 11*d + 252. Does 28 divide d?
True
Let f(x) = 6*x**2. Let u(o) = o**3 + 8*o**2 - 10*o - 8. Let b be u(-9). Does 6 divide f(b)?
True
Let r(c) = c**3 - 2*c**2 + c + 3. Let g be r(3). Does 5 divide (1*g)/(5 + -4)?
True
Does 23 divide 23/(4 + (-14)/4)?
True
Let o(f) = 0*f**2 + 3*f + f**2 + f**3 + 2 - f - 4*f**2. Let p be o(2). Is 4 a factor of p*(4 + 1 + -3)?
True
Suppose 0 = 3*z - 1126 + 268. Is z a multiple of 22?
True
Let x(s) = -s**3 - 3*s**2 - 2*s - 2. Let m be x(-3). Suppose z + 0*z = 2, m*f = 4*z + 8. Is f a multiple of 4?
True
Let h be 9/(-18) + (-7)/2. Is 11 a factor of -2*(-37)/2 + h?
True
Suppose 4*i - 4*t + t = 61, 0 = 2*i - 4*t - 18. Does 8 divide i?
False
Suppose 0 = 