-3*u + 14 + 12 = 4*x. Suppose -23 + 7 = -u*o. Is o a multiple of 4?
True
Let n be 5 + -4 + -2 + 6. Suppose -3*r + 2*r = -n*j - 73, 4*r - 3*j = 360. Is r a multiple of 17?
False
Suppose 2*q - q + l = 6, -2*q + 2*l + 8 = 0. Is q a multiple of 2?
False
Let m(y) = -100*y**3 + 2*y**2 + 2*y + 1. Let l be ((-2)/(-6))/((-4)/12). Let s be m(l). Let k = s - 70. Does 15 divide k?
False
Suppose 426 = -6*i + 1440. Is i a multiple of 13?
True
Let k(t) = t**3 + 4*t**2 + 4*t + 7. Let b(h) = h**3 - h + 1. Let f(m) = 2*b(m) - k(m). Is f(6) a multiple of 14?
False
Is (-10)/(76/20 - 4) a multiple of 10?
True
Is 1/(-2)*-3*26 a multiple of 11?
False
Let a = 5 + 0. Suppose -m = -3*i + 24, a*m = -3 + 18. Is 9 a factor of i?
True
Let i = 29 - 24. Let g(n) = 3*n**2 - 8*n + 6. Let b be g(5). Suppose 0 = -i*y + b + 59. Does 20 divide y?
True
Let s(d) = 3*d**3 - 5*d + 7. Does 5 divide s(3)?
False
Let y(x) = -x**3 + 5 + 2 + 4*x**2 - 4*x - 3. Let q be y(4). Does 10 divide (-78)/(-8) - 3/q?
True
Let k(c) = c**3 - 2*c**2 + 2*c - 6. Let z = 6 + -2. Is 17 a factor of k(z)?
True
Let l be ((-8)/(-10))/(2/5). Let w be -9*l/4*2. Does 17 divide (-358)/w - 4/(-18)?
False
Let a be ((-4)/(-8))/(2/100). Let w be -1 - 1*4*-1. Suppose a = 2*p + w*s, -p + 72 = 4*p - 2*s. Does 7 divide p?
True
Let q be (-8 - -10)*(2 - 1). Suppose f = q*f - 7. Is f even?
False
Suppose g + 4*f + f + 15 = 0, -2*g - 4*f = 48. Let a be 10/((1 - -2)/(-33)). Is 13 a factor of a/(-4)*g/(-25)?
False
Does 11 divide 26/39 - ((-392)/6 + 0)?
True
Let t(i) = 6 + i - 4 + 2 + 6*i**2. Is 5 a factor of t(-2)?
False
Let r(l) = -l + 9. Let b be r(6). Suppose -4*d + 3*n = -19, -b*d + 4*n = -8 - 1. Suppose -3*c = -97 + d. Is c a multiple of 10?
True
Suppose 0 = 3*n + 4*r - 500, -300 = -2*n + r + 3*r. Let m = -58 + 183. Suppose 3*v - 3*a = -7*a + m, n = 4*v + 4*a. Does 15 divide v?
False
Let f be 3 - 1 - (-2)/2. Suppose r - f*z + 0*z = 2, z - 39 = -2*r. Does 5 divide r?
False
Suppose -4*w + 8 = -2*y, 2*y - 11 = -5*w + 5*y. Let t be 1/2*0 - w. Let j(q) = 5*q**2 - 2*q - 1. Is j(t) a multiple of 3?
True
Let x be 8 + -10 - (-1 - 1). Suppose -3*f = -x*f + 9. Is 2 + (-9*4)/f a multiple of 12?
False
Does 46 divide 3 - (-3 - (-676)/(-4))?
False
Let d = -1 + -2. Let l be (-2)/(-6) - 5/d. Suppose -i = 3*b - 26, -6*i = -l*i + 5*b - 69. Is i a multiple of 7?
False
Let o(z) = -4*z - 174 - 30 + 5*z. Let u be o(0). Is 2/10 + u/(-5) a multiple of 13?
False
Is 4 a factor of -40*(-2 + 3)/(-1)?
True
Let n = 193 - 107. Does 11 divide n?
False
Let k = -15 - -19. Suppose -2*d + 6*d + 128 = k*y, 126 = 4*y - 3*d. Does 18 divide y?
False
Let r be ((-162)/(-21))/((-2)/(-28)). Let j be ((-3)/(-6))/((-2)/r). Is (-16)/(-6)*j/(-2) a multiple of 12?
True
Suppose 0*b - y + 115 = 5*b, 0 = 3*b - 5*y - 97. Does 24 divide b?
True
Let a(w) = -w + 3. Let t(o) = -1. Let p(g) = a(g) + 6*t(g). Let j be p(-5). Suppose -j*y = -3*d + d + 6, 9 = -d + 4*y. Does 2 divide d?
False
Let r = 13 - 8. Suppose 0 = -r*l + 5*w + 190, 2*l + 4*w - 3*w - 70 = 0. Let t = 72 - l. Does 14 divide t?
False
Let t(y) = y - 9. Is t(13) a multiple of 4?
True
Suppose -4*l + 0 = 3*c - 6, -c = -l - 2. Let k = 9 + -6. Suppose c*f - 210 = -k*f. Does 16 divide f?
False
Let j(b) = -b - 5. Let n be j(-6). Suppose -27 = -3*i + d, 0*i = -i - 3*d - n. Is 3 a factor of i?
False
Let d = -2 + 2. Suppose d = -5*v - 4*o + 204, 3*o + 0*o + 232 = 5*v. Suppose -4*q = -v - 4. Does 4 divide q?
True
Let d(x) = -x**2 + 24*x + 6. Let n be d(12). Suppose 4*y - n = -y. Is 18 a factor of y?
False
Let d = 16 + -12. Suppose -r + d*g = -7, 3*r - 35 = 4*g + g. Does 8 divide r?
False
Suppose -2*n = 3*z - 30, -4*n = z - 25 - 15. Let a = n + 1. Is 7 a factor of a?
False
Suppose 6*f + 5 = -o + 3*f, -2*f - 18 = -3*o. Let z(s) = -s. Let y be z(-4). Suppose o*l = 32 - y. Is 7 a factor of l?
True
Let h(p) = -5*p + 1. Let x(m) = 6*m. Let s(w) = 6*h(w) + 4*x(w). Is s(-8) a multiple of 11?
False
Is (0/1 - 1)/(15/(-465)) a multiple of 8?
False
Let g(v) = v - 2. Let d be g(5). Suppose 2*q = d*r - 113, 2 = -r + 3*q + 35. Let p = 84 - r. Is 17 a factor of p?
False
Suppose -r + 74 - 245 = -2*l, 3*l - 5*r - 274 = 0. Let m = l + -37. Is 16 a factor of m?
False
Let u = 17 - -7. Suppose 80 = 2*i - 10. Suppose 4*y - 3*q - i = 0, u = 4*y + 3*q + q. Is 5 a factor of y?
False
Suppose -8*l + 2*b = -4*l - 280, -3*b - 65 = -l. Is l a multiple of 16?
False
Suppose 2*d - d - 105 = 0. Is 29 a factor of d?
False
Suppose -g - g - 2 = 0, 0 = -q - 4*g + 149. Suppose 3*i = -2*c + q, -3*i + 81 + 66 = 4*c. Does 16 divide i?
False
Let t = -26 + 33. Is 7 a factor of t?
True
Let o(t) = -t**2 + 9*t + 7. Let n be o(9). Suppose 3*i + 17 = -4*l, -4 = 3*l - n*l. Let p = 16 + i. Is p a multiple of 4?
False
Let c(a) = a**3 + 6*a**2 + a + 4. Suppose -5*f - 39 + 14 = 0. Does 8 divide c(f)?
True
Let a(d) = -d**3 + 4*d**2 - 4. Let w be a(4). Let c(z) = z**3 + 3*z**2 - 6*z - 3. Is c(w) even?
False
Let j = 5 - 8. Is 12 a factor of 14 + j*4/6?
True
Let f = -81 + 122. Is 10 a factor of f?
False
Let j be (1 - -2)/(1/(-1)). Let m(u) = 5*u**2 + 2. Is m(j) a multiple of 20?
False
Let j(z) = z**2 - 2*z - 27. Is 42 a factor of j(-13)?
True
Does 10 divide -2 + -1 + (66 - 3)?
True
Suppose -4*n = 20, -2*o - n = -2 - 1. Is o a multiple of 4?
True
Let h = 8 - 2. Suppose 4*z - 18 = -h. Suppose z*o = -2*o + 175. Is o a multiple of 15?
False
Let c = 24 + -14. Suppose 4*b - 2 = c. Does 3 divide b?
True
Let v = -4 + 3. Let m be -21*(-2)/v + 1. Let r = 73 + m. Is r a multiple of 13?
False
Does 9 divide 6*21/6 - 3?
True
Let w = -164 - -284. Is w a multiple of 30?
True
Suppose 0*x = 5*g - 3*x - 647, -386 = -3*g + 4*x. Suppose 3*o + 2*o = g. Does 13 divide o?
True
Let f(n) = -n**2 - 9*n - 8. Let d be f(-7). Suppose -4*s = -59 + 3. Let t = s + d. Does 8 divide t?
False
Let m(p) = p**3 - 2*p + 1. Let q(d) = 2*d**2 - d + 1. Let i be q(1). Is 3 a factor of m(i)?
False
Suppose -3 = 2*c - 37. Let d = 31 - c. Does 7 divide d?
True
Suppose -2*t - c = -6, 4*t + c + 2*c - 10 = 0. Let g be t/10 - (-12)/20. Suppose -3*b = 5*k - 59, 2*b + g - 57 = -5*k. Is k a multiple of 7?
False
Let a(g) = 3*g**2. Let p(i) = -i + 8. Let l be p(7). Let u be a(l). Suppose u*d = -3*j + 54, -3*d + 7*j + 46 = 2*j. Is 7 a factor of d?
False
Suppose -5*l = 4*r - 19 - 8, r = -5*l + 33. Suppose 98 = -4*i + 2*m, -5*i + l*m - 125 = 2*m. Let u = -8 - i. Does 16 divide u?
True
Suppose 0 = 3*b - 6 - 9. Suppose j - c = b*j + 279, -j + 2*c - 63 = 0. Let q = j + 108. Does 11 divide q?
False
Let w be ((-3)/(-6))/(2/12). Suppose w*k - 3*t = -0*t + 18, -3*k = -t - 14. Suppose -4*b = -k*c + 72, -3*c - 8*b + 3*b = -46. Is 8 a factor of c?
False
Suppose 0 = -5*t + t + 40. Is t a multiple of 10?
True
Suppose 0 = -i + 5*i. Suppose 0 = -4*n - i*n + 24. Is n/21 + (-82)/(-7) a multiple of 12?
True
Let t = 1 - -6. Let l be 4*((-1 - 2) + 7). Let j = l - t. Does 5 divide j?
False
Let a(d) = 23*d + 1. Let i be a(7). Suppose r + 2*r = i. Is r a multiple of 16?
False
Let r = 53 + 39. Is 11 a factor of r?
False
Suppose 3*d - 50 = 130. Is 15 a factor of d?
True
Suppose -4*t - o + 144 = -3*o, -t = 5*o - 36. Is 9 a factor of t?
True
Let r = -7 + 135. Is 16 a factor of r?
True
Let k = 6 + 1. Suppose -2*y + k = -3. Suppose y*w - 18 = 17. Is 3 a factor of w?
False
Suppose -3*a = -z - 2*a + 44, -4*z - 2*a = -152. Let c = z - 20. Is c a multiple of 15?
False
Let o(i) = 15*i**3 - i. Let t be o(1). Suppose -4 = a - t. Is a a multiple of 6?
False
Suppose 0 = y - 0*y - 76. Does 19 divide y?
True
Let q = 113 + -57. Does 14 divide q?
True
Let h = 3 - 13. Let p(z) = z**3 + 10*z**2 - z - 2. Is 2 a factor of p(h)?
True
Suppose n - 323 = -4*v, 0 = 5*v - 5*n + 55 - 440. Is v a multiple of 13?
False
Suppose 5 = -2*o + o - h, 0 = 4*o + 3*h + 17. Let c = o - -14. Does 9 divide c?
False
Let x(d) = -4*d**3 - 2*d**2 - 10*d + 8. Let q(h) = -5*h**3 - 2*h**2 - 11*h + 9. Let v(u) = 5*q(u) - 6*x(u). Let g be v(4). Let i = g - -29. Is 14 a factor of i?
True
Suppose 6*d + 12 = 132. Is d a multiple of 11?
False
Let o(g) be the third derivative of g**4/6 - 5*g**3/3 + 5*g**2. Is 11 a factor of o(8)?
True
Let n be 0 + 2 + -1 + -193. Is n/(-10) + 5/(-25) a multiple of 8?
False
Suppose -5*u - 2*m + 133 = 0, -2*u + 0*m - 5*m = -49. Is u a multiple of 9?
True
Let i(j) = -3*j + 2*j - j**3 - j**2 -