t a(g) = g**2 + 2*g + 3. Let h be a(-2). Suppose 3*t + 165 = -0*m + 3*m, 3*m = -h*t + 147. Is 13 a factor of m?
True
Let s = -7 - -11. Suppose s*c - 4 = 20. Is 2 a factor of c?
True
Suppose 5*h - 6*y - 35 = -y, -4*y - 30 = -5*h. Suppose n - 15 = 5*u, n + 2*n - 45 = -5*u. Suppose -h*z + 9 = -n. Is z a multiple of 6?
True
Suppose 473 = 5*b - 112. Suppose 2*w + w - b = 0. Is 13 a factor of w?
True
Let z be (-30)/(1/(-4) + 0). Suppose -l = 4*l + z. Let c = -12 - l. Does 4 divide c?
True
Let l(a) = 6*a + 4. Suppose 3*c + 3*h = 18, -8*c + 24 = -3*c + 3*h. Suppose c*t - 7*t + 12 = 0. Is 14 a factor of l(t)?
False
Let t = 4 - 4. Suppose 4*f + 3*a = a, t = -4*f + 2*a. Does 7 divide (f - -13) + 1/1?
True
Let r(a) = -a**3 + 7*a**2 + a + 6. Let t(h) = -2*h - 3. Let i(b) = -b**2 + 6*b + 2. Let x be i(7). Let o be t(x). Is 13 a factor of r(o)?
True
Suppose -28 - 82 = -5*n. Is 4 a factor of n?
False
Suppose -42 = 5*n - 17. Let t = n + 9. Suppose 4*j - 32 - 48 = t*w, -4*j = -w - 68. Does 16 divide j?
True
Suppose 79 = 3*s - 17. Does 16 divide s?
True
Suppose -2*h + 3*h - 24 = 0. Does 12 divide h?
True
Suppose -3*u = -67 - 41. Does 18 divide u?
True
Let d = 49 - 33. Does 12 divide d?
False
Let i be ((-104)/6)/((-2)/6). Suppose 5*a - a - i = 0. Is 6 a factor of a?
False
Suppose -10 = 4*k - 3*k. Let h be (-40)/(-25)*k/(-4). Suppose 0 = -h*t + 6*t - 2*i - 22, t = 5*i + 11. Does 11 divide t?
True
Suppose l - 4*p = -2, 0*l + 67 = 4*l - p. Suppose -l = -r - 2*r. Does 3 divide r?
True
Let c(d) be the second derivative of d**5/20 + d**4 - d**3/2 - d**2 - 2*d. Let g(n) = -4*n**2 - 2*n. Let k be g(-2). Is c(k) a multiple of 13?
False
Suppose 0 = -6*p + 52 + 32. Does 11 divide p?
False
Let w = 9 + -3. Suppose m = -3*c + w, 3*m + 0*m + 2*c = 18. Does 2 divide m?
True
Let m be 22/6 + 9/27. Suppose 0 = 4*r - 12, 32 = -m*n - r + 95. Is n a multiple of 10?
False
Let y be (-3 - -2 - 0)/1. Let d(u) = -35*u**3 - 2*u - 1. Does 15 divide d(y)?
False
Is 8 a factor of -6 - -1 - 165/(-1)?
True
Let h = 4 - 2. Let k be (-10)/12*h*-3. Suppose -63 = -k*w - 18. Does 9 divide w?
True
Let z be 2*(-3)/((-6)/2). Is 6 a factor of z/6 + 70/6?
True
Suppose -4*a = -4 - 4, -3*k + 2 = a. Suppose 5*q + k*q = 50. Suppose q*v - 3*m = 5*v + 135, 4*m - 81 = -3*v. Does 9 divide v?
True
Suppose 0 = 4*s - 3*s - 24. Is s a multiple of 4?
True
Let s = 20 + 22. Is s a multiple of 42?
True
Let x = 122 - 67. Is 11 a factor of x?
True
Let w(h) = -2*h**3 - 10*h**2 - 2*h + 5. Does 5 divide w(-5)?
True
Let q be 3/(-4) + (-995)/(-4). Let v = q + -149. Does 20 divide v?
False
Suppose 5*d = -3*b + 23 + 30, -5*b = 3*d - 67. Does 6 divide b?
False
Let c(v) = v**3 + 11*v**2 + 12*v + 12. Let w be c(-10). Let l be w/10*10/(-4). Suppose -2*b + l*s = -0*s - 6, -2*s = b - 3. Is 3 a factor of b?
True
Suppose 0 = 5*y - y - 4*r - 360, -2*r + 348 = 4*y. Is y a multiple of 15?
False
Does 14 divide -1*-2*30*(-8)/(-5)?
False
Does 10 divide 2/(2*4/120)?
True
Suppose 4*w + 5*q + 233 = w, -3*w + 2*q - 247 = 0. Let t = 121 + w. Suppose -t = -g - g. Is 10 a factor of g?
True
Suppose 4*h = 4 - 8. Let i be (-2 - h)/1*3. Let q(u) = -u**3 + u**2 + u + 1. Is 17 a factor of q(i)?
True
Let j(o) = o**2 + 11*o - 8. Let g be j(-13). Let z = -7 + 4. Is 456/g + 1/z a multiple of 16?
False
Suppose 2*u = -29 - 331. Does 4 divide u/(-27)*12/10?
True
Suppose m - 4*g + 11 = 6*m, 5*m + 3*g - 12 = 0. Suppose -m*l + 105 = -45. Does 18 divide l?
False
Let i be (1/(-3))/((-6)/162). Let p be 0*(-2 + i/6). Suppose 2*j - 4*j + 32 = p. Is j a multiple of 7?
False
Let c(i) = -i**3 + 2*i**2 + 0*i**3 + 2*i - 1 + 0*i**3. Does 3 divide c(2)?
True
Let y = 112 + -59. Does 8 divide y?
False
Suppose 22*u = 9*u + 6773. Does 58 divide u?
False
Suppose 2*j - x - 273 = 0, -5*x + 403 = j + 2*j. Is 52 a factor of j?
False
Let c(t) = -t**3 + 10*t**2 + 2. Let h be c(10). Suppose -g + h*y - 3*y = -8, 0 = -g + 4*y + 3. Let p(x) = x**2 - 3*x + 7. Is 12 a factor of p(g)?
False
Let a(q) = q**3 + 4*q**2 - 5*q + 4. Let j be a(-5). Suppose -2*w - w + 57 = -3*g, j*g + 6 = -w. Is 3 a factor of w?
False
Let z(y) = -13*y**3 + y**2 - y. Let p be z(1). Let h(a) = 5*a - 3. Let w be h(3). Let u = w - p. Is 12 a factor of u?
False
Suppose 0*t = 2*t. Suppose 3*u + 21 - 54 = t. Does 6 divide u?
False
Suppose -5*z + p = -0*z - 200, 2*p - 51 = -z. Suppose 55 = 3*s - z. Does 9 divide ((-9)/4)/((-3)/s)?
False
Let k = 183 - 103. Suppose q = 3*q + k. Let j = q - -68. Is j a multiple of 14?
True
Let v(l) = 16*l**2 - 1. Let a be v(-2). Let g = a - 36. Is g a multiple of 13?
False
Suppose 8*l = 3*l - 130. Let b = -9 - l. Does 16 divide b?
False
Let i = -2 + 27. Let x = i - -1. Is 13 a factor of x?
True
Suppose 0 = 3*h, -r + h = 4*h. Let c(z) = z**3 - 2*z**2 + 3*z - 13. Let i(t) = t**3 - 3*t**2 + 4*t - 14. Let y(b) = -4*c(b) + 3*i(b). Is 5 a factor of y(r)?
True
Suppose -5*n - 19 = m, 2*n - 5*n - 2*m = 10. Let j(f) = f**3 + 5*f**2 + 2*f + 1. Does 4 divide j(n)?
False
Suppose -f = 4*f. Suppose -15 = -2*g - 3*z + 8, f = -4*g - 3*z + 37. Does 5 divide g?
False
Suppose -l = -15 - 11. Is 2 a factor of l?
True
Suppose 0 = -5*j + 19*j - 1260. Is j a multiple of 45?
True
Suppose 81 = 5*o - 209. Suppose 4*f - o + 18 = 0. Does 5 divide f?
True
Let g(k) = k**3 - 4*k**2 + 4*k - 3. Let z be g(2). Let t(n) = 2*n + 4. Let w be t(z). Let q(a) = 6*a**2 - 2*a. Does 14 divide q(w)?
True
Let f = -8 + 6. Let r be -8*(-15)/(-24)*f. Suppose -2*l - l = -q + r, -30 = -3*q + 5*l. Is 9 a factor of q?
False
Let j(c) = c**2 - 5*c - 2. Let m(z) = z. Let s(w) = j(w) + 4*m(w). Is 17 a factor of s(-6)?
False
Suppose 8 = d + i, -2*i = -0*i - 10. Suppose -d*h = 2*h - 5. Is h/((-1)/4)*-2 a multiple of 4?
True
Let f be 19/4 - (-2)/8. Suppose -18 = -3*q - 0. Suppose -4*y + q*y - 11 = -3*n, -n = -f*y - 32. Is 7 a factor of n?
True
Suppose 60 = 5*t - q + 6*q, 15 = 3*q. Is t a multiple of 4?
False
Suppose 3*s - 1 + 7 = 0. Is 21 a factor of s/6 - (-210)/9?
False
Suppose -2*d + 3*d = 2*p + 4, d = -3*p + 4. Suppose -d*z + 38 = -38. Is 8 a factor of z?
False
Suppose -k - 15 = -2*k. Let f = k - 1. Suppose o + o = 2*v + f, 2*o - 4*v = 10. Does 6 divide o?
False
Let l(u) = -108*u + 1. Let x be l(-1). Suppose -5*f = -9*f - 308. Let h = x + f. Is 19 a factor of h?
False
Let j(u) = -2*u**3 + 3*u**2 - 3*u - 11. Is 14 a factor of j(-3)?
False
Let y(i) = 9*i - 8. Let j be y(7). Let w = j - 31. Suppose w + 24 = 3*t. Does 8 divide t?
True
Let a = 97 + -33. Is a a multiple of 6?
False
Suppose l - 5 = 3*y, -4*y = -0*y + l - 5. Let p = 17 + y. Does 17 divide p?
True
Does 8 divide 92 + -14 - (-4)/(-2)?
False
Suppose 4*c - 38 = 2*p, -21 = -2*c - c + 4*p. Let y(t) = t**2 - 6*t + 11. Is y(c) a multiple of 22?
True
Suppose z - 216 = -8*z. Is 3 a factor of z?
True
Suppose 15 - 7 = 2*r. Suppose 3*p + 0*p - 98 = 4*l, 2*l = -r*p + 138. Is 17 a factor of p?
True
Let f(l) = 13*l - 8. Let n = 8 + -1. Let c be f(n). Suppose 5*j + 23 = c. Is j a multiple of 12?
True
Let y(m) = m**2 - 13*m + 6. Is 12 a factor of y(18)?
True
Is 13 a factor of -3 - (-45 - 2)*2?
True
Suppose 3*g - 3*c - 5 - 7 = 0, -c + 11 = 2*g. Suppose -4*s = g*d - 274, -2*s = 4*d - 166 - 58. Let a = d + -38. Is a a multiple of 12?
False
Let t = -11 - -15. Suppose -5*k - q + 2*q + 238 = 0, 0 = -5*k - 2*q + 244. Suppose -k + 16 = -t*a. Does 4 divide a?
True
Suppose -5*s + 0*s = 15. Let c(p) = -2*p**3 + p**2 + 1. Does 16 divide c(s)?
True
Let t(o) = -20*o - 1. Let p be t(-3). Let g be (-39)/(-3)*(-3 + 4). Let n = p - g. Does 19 divide n?
False
Let h = 4 - -2. Is (9 - (-1 - -4))*h a multiple of 16?
False
Is 13 a factor of (1*-4 + 108/48)*-104?
True
Let k = 107 + -76. Suppose h + 5*f = 4*f - 2, 5*f + k = 2*h. Suppose -3*l + 13 = 4*m - 50, -h*m + 45 = 3*l. Does 12 divide m?
False
Let y(w) = -w + 9. Is 2 a factor of y(3)?
True
Let l = 63 - 32. Does 21 divide l?
False
Let r = 17 - 15. Let b be (0/(0 + -2))/(-1). Suppose b = -r*h + 19 + 29. Is h a multiple of 9?
False
Let x(s) = s**3 - 5*s**2 + 2. Let n be x(5). Suppose -3*m = -5*l + 220, 3*l + n*m - 115 - 17 = 0. Does 16 divide l?
False
Let g = 78 + -42. Does 18 divide g?
True
Let q(n) = -6*n. Let g be q(-1). Suppose -2*f = g + 14. Does 2 divide f*1/(1*-2)?
False
Let s(c) = c**3 + 6*c**2 - 3*c + 1. Suppose 0 = 4*o - 5*x + 9 + 10, 5*o = -4*x - 34. Is s(o) a multiple of