 Let x be t(-5). Suppose x*m + 0*a - 124 = 4*a, -5*a - 260 = -4*m. Suppose -3*y + y - 22 = -p, y = -4*p + m. Is 9 a factor of p?
True
Is 6 a factor of 9/(-6)*48/(-4)?
True
Suppose -2*c + 0*c = 132. Let k = -8 - c. Let j = k - 40. Does 18 divide j?
True
Let g be 2/12 + 50/(-12). Let w be 1/1 + -2*1. Let j = w - g. Is j a multiple of 3?
True
Suppose -255 = -6*d + d. Is d a multiple of 24?
False
Suppose 3*j + 12 = 5*j. Let d be 6*-1*(-2)/j. Suppose -4*f + 30 = 2*n, f - 1 = -d. Is n a multiple of 13?
False
Is 15 a factor of ((-21)/(-9) - 3) + 2576/12?
False
Let w = 3 - 0. Suppose 300 = 5*u - l - 4*l, 5*u + w*l = 300. Is 20 a factor of u?
True
Suppose 0*g - 159 = -3*g + 4*z, g - 3*z - 58 = 0. Is g a multiple of 7?
True
Let h be ((-20)/15)/((-3)/45). Is (-38)/(-8) + 5/h even?
False
Suppose 3*r - 6 = 3. Let c(t) = 3*t**2 + t + 0 - 3 - t**2. Does 9 divide c(r)?
True
Let i = 341 + -237. Is 37 a factor of i?
False
Suppose -q + 80 = 2*g, -5*q + 9*g = 4*g - 460. Is q a multiple of 11?
True
Let x be 6/4 + (-41)/(-2). Let w = x - 7. Does 12 divide w?
False
Suppose 5*i = 9*i + 20. Does 11 divide 3/i*(-9 + -46)?
True
Let b(p) = -p**2 + 6*p + 2. Is 7 a factor of b(5)?
True
Suppose -8*c + 5*c + 6 = 0. Suppose c*d = -0*d - 34. Let h = d + 36. Does 5 divide h?
False
Suppose -2*q - 14 = -2*w, q - 3*w = -12 - 3. Let a(c) = -3*c + 1. Does 5 divide a(q)?
True
Let f(h) = h + 2. Let l = 10 + -7. Let d be f(l). Suppose 3*j = -d*x + 57, j + 0*x - 5*x = 39. Is 12 a factor of j?
True
Let u(n) = 16*n - n + 0 + 1. Is 25 a factor of u(4)?
False
Let j(q) = q + 13. Let k be j(-6). Does 9 divide (-70)/(-4) - k/(-14)?
True
Suppose 0 = -2*h - 2*h - 24. Let g(w) = w**3 + 8*w**2 + 9*w. Is g(h) a multiple of 13?
False
Let s = 19 + 62. Is 27 a factor of s?
True
Suppose 5*a + 6 = 3*s, -4 = a - s - 2. Suppose 0 = b - a*b + 4*r + 2, -2*b + 3*r = -7. Is 7 a factor of (-1)/((-23)/11 + b)?
False
Let v(n) = 2*n + 13. Let d be 13*1 + 1 + -3. Let w be v(d). Let j = w + 8. Is 16 a factor of j?
False
Suppose 0 = -m + 40 + 83. Is m a multiple of 24?
False
Let p be 1/((-2)/(-336)*2). Let l = 21 - 15. Suppose 4*u = l*u - p. Does 17 divide u?
False
Suppose 0 = -4*u - 2*k - 2, -3 + 6 = 5*u - 3*k. Suppose -26 = -2*t - w, -5*w + 34 = -u*t + 2*t. Is 6 a factor of t?
True
Let g(f) = 0*f**2 + f**2 - 1 + 6*f - 5 - 5. Is 5 a factor of g(-8)?
True
Suppose -3*n + 2*g - 15 = 0, 4*n + 0*n = 5*g - 20. Let u(a) = a**3 + 6*a**2 + 3*a - 5. Let x be u(n). Suppose 0 = -x*j + j + 24. Is 4 a factor of j?
False
Suppose i - 25 = -4*i. Suppose -45 = -5*y + i*a + 5, 25 = 4*y + a. Is y a multiple of 5?
False
Suppose 2*h + 0*z = 2*z - 2, 4 = 4*z. Suppose -u + 26 + 5 = h. Is u a multiple of 14?
False
Let l(v) = 11*v - 2. Let b be l(3). Suppose -3*n + m = -89, m = 2*n - 3*n + b. Is 15 a factor of n?
True
Let h(k) = 0*k**3 - 7*k**2 + 0*k**3 - k**3 + 4 - 4*k. Does 16 divide h(-7)?
True
Suppose -4*x - 2*x = -66. Is 3 a factor of x?
False
Let v be 38/10 + (-2)/(-10). Suppose 5*g = v*g + 20. Does 10 divide g?
True
Let q(n) be the third derivative of -3*n**6/10 + n**5/60 + n**4/24 - n**2. Does 13 divide q(-1)?
False
Let h(i) = 2 - 38*i + i**2 + 0 + 36*i. Is 26 a factor of h(6)?
True
Is -151*(-1)/2 + (-83)/166 a multiple of 14?
False
Let d be 16 - (-3 - (2 + -3)). Let v be (-10)/8 + (-1)/(-4). Does 9 divide (-1)/v*d + -3?
False
Let t be 0 + 0 + 0 + 10. Let w(h) = -2*h - 1. Let p(o) = 1. Let a(l) = 4*p(l) - w(l). Does 9 divide a(t)?
False
Let h(k) = -3 + 0 - 5*k - 5. Is 12 a factor of h(-8)?
False
Let r(o) = o. Let w(f) = 26*f**2 - 2*f - 1. Let s(h) = r(h) + w(h). Let d be s(-1). Suppose 36 = 2*g - d. Is 14 a factor of g?
False
Suppose -3*j - 3*z + 14 = 2*z, -11 = -2*j - 5*z. Suppose 2*r - 76 = 3*g, -j*g + 6*g = -3*r + 114. Is r a multiple of 14?
False
Let c = 9 + -4. Is c + -4 - 4 - -33 a multiple of 6?
True
Is 6 - 3 - (5 + -1)*-24 a multiple of 16?
False
Let w(d) = -2*d**2 + 6*d - 6. Let s be w(4). Let k be (-132)/(-5) - 4/10. Let q = s + k. Is q a multiple of 4?
True
Let h = 5 + -7. Let k be h*2/((-4)/9). Is 18 a factor of (k/2)/((-1)/(-4))?
True
Suppose 2 = p + 4*g, -p - 2*p = -5*g - 6. Suppose -2*x - 2*v + 60 = 0, x - 3*v = p*x - 34. Is 20 a factor of x?
False
Let q be (-6)/9 - 124/(-6). Suppose -2*v + q = -6*v. Is 7 - (-5)/(v/2) a multiple of 2?
False
Let q be 5/(-10)*1*-6. Suppose -3 = -c + 3*l, 0 = -q*l + 2*l. Suppose t - 4*b = -b + c, -b + 19 = 3*t. Does 3 divide t?
True
Does 9 divide ((-4)/1)/((-17)/680)?
False
Suppose 0 = 4*b + 4, -838 = -3*h - 3*b + b. Is h/49 - (-2)/7 a multiple of 6?
True
Suppose 0 = -28*y + 30*y - 80. Does 10 divide y?
True
Let i(m) = -4*m**2 + m**2 - m - 2 + m**3 + m**2 + 0*m. Does 4 divide i(3)?
True
Suppose -2*f - 10 = -5*j - 2, 0 = 2*j - 4*f. Let u be -12*j*1/(-4). Suppose -5*x - 4*w = -138, -2*x = -u*x - w + 106. Is x a multiple of 13?
True
Let m(j) = 64*j**2 - 3*j + 2. Does 21 divide m(1)?
True
Let b = 584 - 104. Is 18 a factor of b?
False
Let n be (0 + -218)*(-3)/(-6). Does 11 divide 3/(-9) + n/(-3)?
False
Suppose 2*n + 51 = -5*j, -4*j + 7 = -n + 1. Suppose t - 28 - 26 = 0. Let l = t + n. Is 18 a factor of l?
True
Suppose 80 = 5*a - 4*u, -7*u = -3*u. Is 8 a factor of a?
True
Let o(g) = 3*g**2 + 2*g - 1. Is o(-5) a multiple of 32?
True
Let b(j) = 3*j**2 + 2*j - 17. Is 8 a factor of b(5)?
False
Let r(l) = l**2 - 8*l + 1. Let a be r(8). Let u = a - -1. Suppose u*o + 78 = 5*v, 4*o + 12 + 60 = 4*v. Does 4 divide v?
False
Suppose 3*r + 4*w + 50 = -76, -3*r - 126 = -w. Let y = r + 75. Does 8 divide y?
False
Let u(b) = b**3 + 11*b**2 - 20*b - 8. Let q be u(-13). Let l = q + 170. Is 28 a factor of l?
True
Does 10 divide (1 + 0 - 0)/((-8)/(-736))?
False
Suppose -2*y = 0, -2*o - 3*y = -6*y - 40. Does 20 divide o?
True
Suppose -6*g - 5*a = -8*g + 80, 2*g + 4*a = 116. Is 25 a factor of g?
True
Suppose -y + 68 = -29. Let r = -33 + y. Is r a multiple of 16?
True
Suppose 99 = -3*m + 2*q, -2*q + 5*q = -5*m - 146. Let p = -6 - m. Suppose -4*a + p + 23 = 0. Does 5 divide a?
False
Let x = 9 - 9. Suppose x = -4*b + 14 + 2. Suppose z + 120 = b*z. Is 20 a factor of z?
True
Let m(k) = 5*k**3 - k**2 - k + 1. Let a be m(1). Suppose 2*q = -4*h + q + 216, 0 = -a*h - 3*q + 216. Is h a multiple of 11?
False
Let b = -6 + 11. Let w = b + 5. Suppose 5 = -j + w. Is 2 a factor of j?
False
Let r(q) = q - 4. Let d be r(6). Suppose i - 22 = -2*a, -2*a - i + 26 = d*i. Is a a multiple of 5?
True
Let n = -10 - -11. Let h(x) = 36*x**2 - x + 1. Is h(n) a multiple of 19?
False
Suppose 218 = -4*z + 6*z. Suppose 5*h + 4*a - 175 = 0, 2*a + 66 + z = 5*h. Is 7 a factor of h?
True
Suppose 48 = 3*t - t. Suppose -2*p = -p - t. Does 8 divide p?
True
Let j(m) = 12*m - 1. Let q be j(1). Suppose 2*g - 6 - q = -3*c, -8 = -2*g. Is 12/8*8/c a multiple of 2?
True
Let v = -6 + 5. Let t be v - ((-6)/1 - 0). Suppose 0 = -t*f + 2*m + 25, -3*m - 8 = -4*f + m. Is 7 a factor of f?
True
Suppose 9 - 1 = 4*f. Suppose -3*g - f*b = 2*g, 0 = -4*b - 20. Does 12 divide (-335)/(-9) + g/(-9)?
False
Let d(v) = -11*v - 3. Let a be d(-2). Let y = a + 0. Let p = 27 - y. Is p a multiple of 4?
True
Suppose 3*n - 4*n + 90 = 0. Let m = n - 28. Is 18 a factor of m?
False
Let h(u) = -11*u - 25. Let z(v) = -10*v - 24. Let a(i) = 5*h(i) - 6*z(i). Is a(8) a multiple of 20?
False
Let k(r) = -r**3 - 2*r - 1. Let t be k(-1). Is 1/1*t - -11 a multiple of 4?
False
Let d(j) = -j**2 + 6*j - 1. Let m be d(3). Let o(c) = c - 2. Let q(w) = -1. Let t(l) = 3*o(l) - 8*q(l). Is t(m) a multiple of 9?
False
Does 30 divide 480*-9*2/(-24)?
True
Suppose -4*i + 97 + 43 = 0. Suppose p + 5 = 2*r, 7*p - i = 2*p - 5*r. Suppose -4*z + 2*z = p*g - 80, 0 = 5*z + 3*g - 182. Does 13 divide z?
False
Let r(b) = b**2 + 7*b + 8. Let w be r(-6). Suppose -4*p - 2*i = -w, 4*i = -5*p - 5 - 0. Suppose p*z + 31 = 184. Is 17 a factor of z?
True
Let r(l) = -l**2 + 6*l + 4. Let q be r(6). Suppose -3*w + w = -a - 21, 36 = q*w - 4*a. Is w a multiple of 8?
False
Let n = -5 - -9. Suppose -g - n*g = -190. Does 19 divide g?
True
Suppose -5*z + 20 = 0, n - 4 = 3*n - z. Let k be -1*(-1)/2*n. Suppose k*c - 8 = -2*c. Is c a multiple of 4?
True
Let x(n) = n - 6. Let u = 24 - 12. Is 6 a factor of x(u)?
True
Does 16 divide 14/(-49) + 5412/28?
False
Let q(z) = z + 3. Does 4 divide q(9)?
True
Let a be (0 - 8)/(1/(-2)). Suppose -3*l - l