 -280. Does 14 divide v?
True
Is (2 + 75)/(4/(-1 - -5)) a multiple of 7?
True
Suppose -829 = -5*z - 3*t + 93, 0 = 5*z + 5*t - 930. Is z a multiple of 26?
True
Let j = 14 + 11. Is j a multiple of 25?
True
Suppose -8 = -3*k + 7. Let n be ((-4)/k)/((-2)/5). Suppose n*q + 2*m = -2*m - 10, q + m = 0. Does 4 divide q?
False
Let i = -213 + 329. Is 10 a factor of i?
False
Let x(m) = -m**2 - 5*m + 5. Let w be x(-5). Suppose -22 = -a - b, w*a + 3*b = 2 + 112. Suppose t = 14 + a. Is t a multiple of 22?
False
Let j(c) = -9*c - 1. Let i be j(2). Let o = i + 27. Is o a multiple of 8?
True
Suppose 3*n - 4*x - 497 = 0, 175 = -2*n + 3*n + x. Is n a multiple of 9?
True
Suppose 7 = -y - w, 13 = -4*y - w - 0*w. Is 17 a factor of 204/9*(-3)/y?
True
Suppose 7*i - 288 - 20 = 0. Does 16 divide i?
False
Let u(b) = 3*b**2 + b + 4. Let m(w) = w**3 - 4*w**2 + 4*w - 2. Let x be m(2). Let p be 1*x - (-2)/(-1). Does 16 divide u(p)?
True
Let z = 202 - 22. Is 18 a factor of z?
True
Let w(a) = -a**3 + a - 4. Let m be w(0). Let i(r) be the third derivative of -r**4/24 - 3*r**2. Does 4 divide i(m)?
True
Suppose -20*p = -18*p - 294. Is p a multiple of 14?
False
Let x = 285 - -25. Does 19 divide x?
False
Let i be 3/9 - 580/(-6). Let q = i - 47. Suppose -155 = -5*r + q. Does 15 divide r?
False
Suppose 2*x - 5*x + 9 = 0. Suppose -b + 44 = 2*z + z, -x*z = -2*b + 106. Suppose 2*c - 10 = -w - 0*c, 5*w = 4*c + b. Is w a multiple of 5?
True
Suppose -s + 3 = 2*v + 4, 2*v + 11 = -3*s. Suppose 2*x = -v*x + 152. Does 17 divide x?
False
Suppose 5*l - 181 = i, 0 = -5*l - 0*i - 3*i + 177. Does 35 divide l?
False
Let d(c) = c**2 + 3*c + 1. Let r be d(-5). Suppose -2*w = -7 + 1, 5*w = 2*f + r. Suppose 28 - f = s - 3*t, 2*t = 0. Does 13 divide s?
True
Suppose 0*d = 2*d - 4. Suppose 0*c + 4*z = -d*c + 118, -c - 4*z + 49 = 0. Is 16 a factor of c?
False
Let d(g) = 6*g**2 - g + 9. Let v(m) = -3*m**2 - 4. Let k(y) = -4*d(y) - 9*v(y). Is 10 a factor of k(3)?
False
Let z be (4/(-10))/((-2)/170). Suppose -t = t - z. Is 17 a factor of t?
True
Let o = 3 - -8. Suppose b = 5*u + o, -b + 16 = 2*b + 2*u. Is b a multiple of 3?
True
Let l be -1*(0 - (-1)/(-1)). Let g be 132/(0 - -3) + l. Suppose 4*i - 3*x + 2*x - 57 = 0, 3*i = 3*x + g. Is i a multiple of 14?
True
Let k be (4/3)/(1/(-48)). Let n = k - -157. Is 31 a factor of n?
True
Suppose -2*t - 29 = -5*v, -5*v = t + 2*t - 19. Let q(s) = s**3 - 3*s**2 - 8*s + 5. Let f be q(v). Suppose -f + 1 = -2*x. Does 5 divide x?
False
Suppose 5*m - 250 = -3*s, -s - 2*s + 200 = 4*m. Does 12 divide m?
False
Suppose -r = -2 - 15. Let h = 27 + r. Is h a multiple of 22?
True
Let x(a) = a**2 + a - 4. Let h(i) = i**2 - i + 1. Let y(c) = 3*h(c) + x(c). Let j be y(-1). Suppose v - u - 18 = -7, 3*v - j*u = 25. Is v a multiple of 10?
False
Let m(h) = 2*h + 84. Is m(19) a multiple of 11?
False
Let n = 1 + 7. Suppose 0 = 5*x - 12 - n. Is 2 a factor of x?
True
Let h(p) = 2*p**3 + 2*p**2 - p. Let m be h(-2). Let v = m + 6. Suppose -z - 4*z + 2*b + 101 = v, -2*z + 5*b + 53 = 0. Does 13 divide z?
False
Let s = 8 - 6. Suppose s*d + 13 - 55 = 0. Let q = 29 - d. Does 3 divide q?
False
Let o be 2 + (-2 - (1 - 0)). Let n(a) be the first derivative of 13*a**3/3 + a**2/2 + a - 6. Does 13 divide n(o)?
True
Let h = 3356 + -1998. Is 15 a factor of 4/14 - h/(-49)?
False
Let h = 2 + 3. Let q be 416/(-10) - 2/h. Let t = 63 + q. Does 8 divide t?
False
Suppose 0 = x - 6*x + 455. Is 10 a factor of x?
False
Let d(y) = y**3 + 6*y**2 + y - 12. Let s be d(-6). Does 9 divide 2*(-3)/(s/39)?
False
Suppose 0 = -2*b - 2*r - 4, 4*r = -b + 2*r - 7. Suppose 22 - 211 = -b*o. Is o a multiple of 21?
True
Let q(c) be the first derivative of 11*c**3/3 + c**2/2 + c - 2. Is 4 a factor of q(-1)?
False
Suppose a + 220 = 6*a - 5*g, 2*a + 4*g - 82 = 0. Is a a multiple of 9?
False
Let p(j) = -j**2 + 6*j + 1. Let l be p(3). Let u(x) = -x**2 - 5*x. Let f be u(-4). Suppose 4*d + 3*z - 50 = 0, -f*z + 24 = 3*d - l. Is d a multiple of 6?
False
Let q be (-80)/(-45) - (-2)/9. Is q/4 + (-58)/(-4) a multiple of 15?
True
Does 23 divide (-153)/(-2) + -1 - (-36)/(-72)?
False
Let y(x) = -2*x**3 - 6*x**2 + 5*x + 2. Does 18 divide y(-5)?
False
Let w = -4 - -20. Is 15 a factor of 620/w + (-3)/(-12)?
False
Let p(x) = 2*x**3 - 4*x**2 + 7*x - 4. Let a be p(4). Let i = -8 + a. Is 20 a factor of i?
True
Let f be (-12 + -3)/(-3) - 2. Suppose 2 = t - f. Is t even?
False
Let y = 15 + -17. Let t(w) = 0*w**2 + 6*w**2 + 2*w**2. Is 16 a factor of t(y)?
True
Let b(s) = 2*s - 6. Let h(j) = 2*j - 5. Let f(p) = -5*b(p) + 6*h(p). Is f(4) a multiple of 8?
True
Suppose 5*y + 552 = 4*m + 119, 2*y + 106 = m. Suppose 3 + 150 = 5*x + 2*t, 4*x = t + m. Suppose -a = 4*g + 1 - 2, -3*a + g = -x. Does 8 divide a?
False
Let x(t) = -t**3 + 6*t**2 - 3*t + 5. Suppose -3 - 1 = -4*d. Let i be -1 - 3*(-2)/d. Is 9 a factor of x(i)?
False
Suppose -4*i - k - k + 12 = 0, -4*i = 4*k - 12. Suppose i*r - 35 = -2*r. Suppose 0 = -3*y + r*y - 64. Is 8 a factor of y?
True
Is 23 a factor of 12*(3 + (-148)/(-12))?
True
Suppose -o = 12 - 2. Let a(j) = -j**3 - 10*j**2 - 3*j - 10. Is 20 a factor of a(o)?
True
Let q be (-4)/(-14) - (-52)/14. Suppose -2*n - 31 = -87. Suppose -q*l - n + 176 = 0. Is l a multiple of 17?
False
Suppose 20 - 8 = 3*z. Let o = z + 0. Suppose -46 = -o*p + 26. Is 9 a factor of p?
True
Let n(p) = p**3 - 2*p**2 - 3*p + 2. Let s be n(3). Suppose -s*y + 1 + 1 = -3*h, -3*h = 4*y + 14. Is ((y - 19) + 1)*-1 a multiple of 10?
True
Let h(w) = -w**3 + 8*w**2 - 9*w + 1. Let j be h(6). Suppose 1 = -m + j. Is m a multiple of 7?
False
Is 10 a factor of 66/(-55)*280/(-6)?
False
Let a(x) = 2*x + 8. Is 6 a factor of a(15)?
False
Suppose 0 = -3*x + i - 5 + 18, 5*x - 35 = 5*i. Let a be x + 2/4*4. Suppose -a*q + 32 = -38. Is q a multiple of 5?
False
Suppose 0 = -a + 13 + 5. Does 9 divide (-124)/(-10) + a/30?
False
Does 8 divide (28/(-3))/(6/(-18))?
False
Suppose 3*c - 84 = 27. Let u = 95 - c. Is u a multiple of 9?
False
Let m be 4/(-8) + 5/(-2). Let r be -8*(-4 - (-1 - m)). Suppose 3*q = 4*q - r. Does 15 divide q?
False
Does 9 divide -3*(-45)/(-27)*94/(-5)?
False
Let o(y) = y**2 - 11*y + 21. Does 21 divide o(14)?
True
Let a(y) = -y**3 - 4*y**2 - 4*y - 7. Let s = -2 + 5. Suppose -4*b - j + 4 - 29 = 0, s*j + 10 = b. Does 19 divide a(b)?
True
Let l(c) = -2*c - 4. Let b be (-3)/12 + 13/4. Let k be l(b). Is 16 a factor of (2 + (-12)/k)*10?
True
Suppose 32 = 2*k - 2*j, -2*k + 120 = 3*k + 5*j. Suppose o - k = 7. Is 12 a factor of o?
False
Suppose -6 = 2*v - 5*v. Is v*17 + 10 + -11 a multiple of 11?
True
Is (-8874)/(-90) - 2/(-5) a multiple of 11?
True
Let z(l) = 3*l. Let k be z(6). Let o(w) = 3*w + 5. Let t be o(-6). Let v = t + k. Is 4 a factor of v?
False
Let l = -95 + 151. Is 15 a factor of l?
False
Let u = 83 + -215. Let z = -94 - u. Does 19 divide z?
True
Suppose q - 3*x = 2*x + 170, -134 = -q - 4*x. Suppose -4*s = s - q. Does 15 divide s?
True
Let a be (4 + -5 - 3) + 2. Let l = 9 - a. Is l a multiple of 9?
False
Suppose g - 3 = 0, 2*m + 4*g + 6 = 28. Suppose -5 = -m*w + 20. Suppose 0 = w*o - 34 - 16. Is 10 a factor of o?
True
Let a(p) = 7*p - 12. Let n be a(6). Is 25 a factor of ((-224)/40)/((-2)/n)?
False
Suppose 3*z = 2*z + 114. Is 38 a factor of z?
True
Let h = -49 + 24. Let f = -8 - h. Suppose 3*s - 50 = -f. Does 7 divide s?
False
Let o = 9 + -16. Let l(t) = -t**3 - 7*t**2 - 2*t - 4. Let x be l(o). Is 13 a factor of 378/x + (-1)/(-5)?
False
Is (0 + 3)*(9 + -2) a multiple of 10?
False
Let j = 130 + 35. Is j a multiple of 11?
True
Let p = -21 + 33. Suppose 0 = 4*s - 2*s - p. Is s a multiple of 2?
True
Is 0 - -1 - 108/(-12 + 8) a multiple of 7?
True
Let v(u) = 42*u**2 + 3*u + 5. Does 18 divide v(-2)?
False
Let d(m) = 13*m**2 - 2*m. Is d(-3) a multiple of 24?
False
Let b(m) = -4*m - 16. Let o be b(-11). Suppose -5*v + o = -3*v. Is v a multiple of 13?
False
Suppose -5*v = 4*l - 42, 0*l + 2*l + 34 = 3*v. Let g = v + -5. Suppose -5*y + 8 - 3 = 5*c, g*y + 3*c - 11 = 0. Is y a multiple of 2?
True
Suppose 3 = 3*o - 2*o. Suppose 0 = 4*s - 19 + o. Let z = 14 + s. Does 6 divide z?
True
Let r be 1/(-4) + 26/8. Is 155/r - (-3)/9 a multiple of 19?
False
Let g be 1/((2 + 1)/3). Suppose 2*r = r - g. Does 3 divide 6/(-3) - (-8 + r)?
False
Let w be 2218/12 + (-6)/(-36). Suppose -2*o - w = -7*o. Is o a multi