et r be (0 + 10)*(-6)/(-15). Suppose -333 = t - r*t. Is 37 a factor of t?
True
Suppose -2*x + x = n - 6, -16 = -4*n - 2*x. Suppose w + 10 = -3*c + n, 3*w - 5*c = 46. Is 7 a factor of w?
True
Suppose -12 = y - 4*y. Let t(s) be the first derivative of s**2/2 + 5*s + 30. Does 9 divide t(y)?
True
Suppose -2*v = -a + 19, 2 + 98 = 4*a + 4*v. Suppose o = d + 11, -26 = -3*o - 5*d + a. Does 4 divide o?
False
Let w be (-1)/2 + (-143)/26. Let b(s) = -1 - s - 3 - s. Is 5 a factor of b(w)?
False
Suppose 5*x - x = 0. Let p be 6 + -4 + (x - 0). Suppose 5*b - 48 = 5*d - 143, 4*b = p*d - 28. Is 8 a factor of d?
True
Is (46/(-8))/((-7)/28) a multiple of 23?
True
Let a be 15/6*12/10. Suppose 64 = 5*b + a*t - 244, t = 1. Does 11 divide b?
False
Suppose -11 = -2*k + 9. Does 3 divide k?
False
Suppose 0 = -3*x + x - 6. Let g = 0 - x. Does 14 divide 28 - (g/3)/(-1)?
False
Suppose -2*c - 14 = -4*c. Suppose -4 = -m + c. Suppose 0*v + s - m = -v, 0 = v - s - 5. Is 4 a factor of v?
True
Suppose -p = 3*p - 224. Let r = 105 - p. Is 10 a factor of r?
False
Suppose 2*v - 10 = v. Let b(g) = 2*g + 13. Is b(v) a multiple of 15?
False
Let o be 1/(-4) + 1/4. Suppose -4*s + 2*g = -3*g - 95, -4*s + 4*g + 92 = o. Does 10 divide s?
True
Let a(h) = -9*h**3 - h. Let r be a(-1). Suppose -r = 5*m, 2*l + m + 4*m = -164. Let t = l - -122. Does 15 divide t?
True
Let n be (-30)/(-9)*(-36)/(-5). Suppose 5*i = 51 + n. Is 10 a factor of i?
False
Let d(a) = -4*a**3 - 2*a**2 + a + 3. Is d(-2) a multiple of 10?
False
Let c(t) = -t**3 - 16*t**2 + 13. Is 3 a factor of c(-16)?
False
Let i(j) = j - 8. Let s be i(8). Suppose 3*n + 3*p = -0*n + 24, -n + 4*p - 2 = s. Is 3 a factor of n?
True
Suppose 5*h = -4*r - 0*h + 19, -2*r = 4*h - 8. Is 2 a factor of r?
True
Suppose 3*j + j - 248 = 0. Does 9 divide j?
False
Suppose 0 = -4*i + q + 75, -2*i + 6*q = 2*q - 20. Let o = -11 + i. Is 9 a factor of o?
True
Suppose 0 + 9 = 3*x. Suppose -x = -n + 5. Is 4 a factor of n?
True
Let t = 11 + 11. Does 7 divide t?
False
Let h = -4 - -2. Is -6*(3 - (-11)/h) a multiple of 15?
True
Let g be 7 + -2 - 6/2. Suppose 7*x + 100 = g*v + 3*x, 5*v = 4*x + 268. Is 14 a factor of v?
True
Let f(n) = -2*n**3 - 4*n**2 + 6*n + 1. Let h(l) = -l + 6. Let j be h(6). Suppose j*t = -2*t - 8. Is 15 a factor of f(t)?
False
Suppose 4*c - 5*m + 7 = 0, 0 = -2*c - 3*m + 12 + 1. Is 15 a factor of (24/(-9))/(c/(-12))?
False
Suppose -64 = -q - 4*j, -3*q - 2*j = 18 - 230. Suppose -d + 20 = -4*d + 4*t, 5*d - 4*t = -20. Is 8 a factor of d + 2 + q/3?
False
Let q = 4 + 59. Is 7 a factor of q?
True
Let v(b) = 7*b + 52. Is v(7) a multiple of 33?
False
Let m(a) = 5*a + 16. Is m(7) a multiple of 17?
True
Let y be ((-2)/(-6))/(1/30). Let m be ((-12)/y)/(8/(-20)). Let v(x) = 3*x - 3. Is v(m) a multiple of 2?
True
Let v(q) = -2*q + 5 + 4*q - 4*q. Let h be v(4). Let y(z) = -8*z - 1. Does 9 divide y(h)?
False
Let n be 18/16 + 21/(-168). Is 2*n + (-126)/(-3) a multiple of 11?
True
Let s = 25 + 35. Let f(q) = q**2 + 3*q + 6. Let p be f(-4). Does 11 divide (8/p)/(3/s)?
False
Suppose -2*a + 5*k = 17, 4*a + 5 = k - 2. Let f = 3 - a. Is 4 a factor of f?
True
Let o(j) = j**3 + 12*j**2 + 13*j + 3. Let q be o(-11). Let b = -14 - q. Is b a multiple of 2?
False
Let f(z) = -z - 2 + 5*z**2 + z + 3*z. Let x = 0 - -2. Is f(x) a multiple of 12?
True
Let n(p) = -p**3 - 4*p**2 + 9*p + 1. Suppose o = 2*o + 6. Is n(o) a multiple of 16?
False
Suppose 4*b + x + 0 = 9, 3*x - 13 = 2*b. Let v be 1/((-192)/195 + b). Suppose -v = -8*f + 3*f. Is 13 a factor of f?
True
Let q = 63 + -24. Does 13 divide q?
True
Let b(g) = 31*g**3 - g**2 + g - 1. Is 10 a factor of b(1)?
True
Suppose i - 4 = -0*i. Suppose -275 = -3*o - 5*k, o - 471 = -i*o - 2*k. Suppose 0 = -c + 6*c - o. Is c a multiple of 19?
True
Let t be (10 - 2)/4 + 11. Let z = 5 + t. Is z a multiple of 9?
True
Let f(w) be the third derivative of w**5/15 - w**4/24 - w**2. Let j be f(1). Suppose -59 = -5*i + 3*p - 9, j*p + 20 = 2*i. Does 6 divide i?
False
Let f = -11 - -13. Does 18 divide (3 - f)/((-2)/(-36))?
True
Let m(p) = 5*p**3 - 4*p**2 - 1. Let z = -3 - 0. Let l be m(z). Is l/(-14) + 4/(-14) a multiple of 12?
True
Suppose -z - 5*x = -45 - 13, -4*x + 174 = 3*z. Suppose -v = -2*v + z. Suppose 4*y = v + 10. Is y a multiple of 17?
True
Suppose -5*a + 4*f = -65, -5*f - 60 = -0*a - 5*a. Let g = 14 + a. Is g a multiple of 23?
False
Let a be -6*(2 + 20/(-6)). Suppose -2*s + 36 = 3*q - 0*q, a = q + 2*s. Is q a multiple of 14?
True
Let h(i) = i. Let f be h(3). Suppose 5*v + f*t - 66 = 3*v, 4*t + 119 = 5*v. Is v a multiple of 8?
False
Let l = -34 + 88. Is 4 a factor of l?
False
Let q = -119 - -170. Is q a multiple of 17?
True
Let p be (-28)/6 - (-6)/9. Let l be (-1)/(2/(-8)) - 1. Is (l - 1)*(-22)/p a multiple of 6?
False
Let o(u) = -5*u**3 - 5*u**2 + 4*u. Let g(w) = -6*w**3 - 4*w**2 + 5*w - 1. Let x(c) = -4*g(c) + 5*o(c). Is x(-9) a multiple of 4?
True
Let u = -21 + 41. Is u a multiple of 4?
True
Let y(v) = v**3 - 4*v**2 + v. Let c be y(4). Does 12 divide 1 - c/(8/(-22))?
True
Let i(o) = -10*o**2 + 2*o - 1. Let r be i(1). Let f be (-2)/r + 260/45. Is 2 - ((-9)/3 - f) a multiple of 3?
False
Suppose -14 = 3*y + 4*i, 4*i = -0 - 8. Let m be 1 + ((-28)/4 - -1). Is 4 a factor of (y - -1)*1 - m?
True
Let a(m) = 60*m**3 + 1. Let i be a(1). Let f be 8/(-6)*180/8. Let d = f + i. Is d a multiple of 19?
False
Let u(j) = -2*j + 3. Suppose 0 = -p + 7. Suppose 7 = -4*m + q - p, -2*m - 16 = 4*q. Is 11 a factor of u(m)?
True
Suppose 6*y + 91 = 1123. Is y a multiple of 15?
False
Suppose 0 = -s - 5*j - 37, j - 237 = 2*s + 3*s. Let y = s - -107. Suppose -m - 2*m = -y. Is 10 a factor of m?
True
Let o = 6 + 1. Let w(u) = -u**2 + 10*u + 2. Let n be w(o). Does 13 divide (n - 0) + (0 - 1)?
False
Is 14 a factor of (-1)/3 - (-86)/12*2?
True
Suppose -19 = -d - 6. Is d a multiple of 13?
True
Suppose -4*i + 8 = -0*m + m, -4*m - 3*i + 71 = 0. Does 12 divide m?
False
Let v(j) = 2 - 2*j + 0*j - 9. Let n be v(-6). Suppose -3*h = n*q - 27 - 71, q = 3*h - 74. Does 13 divide h?
True
Let k = -1 - 3. Let r(x) = -x - 5. Let s be r(k). Is 8 a factor of -2 + -9*(s - 1)?
True
Suppose -3*m - y - 3*y + 32 = 0, -3*m - 3*y + 27 = 0. Suppose -5*w + m + 1 = 0. Suppose -w = 3*l - 19. Does 6 divide l?
True
Let q(w) = 3*w - 1. Let l be q(4). Let y(i) = 3*i**3 - 4*i**3 + 11*i**2 + 6*i - 3*i - 13 + 2. Is y(l) a multiple of 15?
False
Let w(u) = -u**2 - 2*u - 6. Let l be w(-4). Let z(r) = -r - 8. Is 6 a factor of z(l)?
True
Let i(a) = -110*a**2 - a + 1. Let h be i(1). Let p = -75 - h. Is 14 a factor of (4/5)/(1/p)?
True
Let g = 2 + 3. Suppose g*z - 124 = -0*z - y, -5*z + 5*y + 130 = 0. Does 13 divide -1 + 0 + (z - -2)?
True
Let d be 1/3 + (-388)/(-6). Let q = -44 + d. Let f = q - 15. Is f a multiple of 3?
True
Is 1230/7 - 32/(-112) a multiple of 22?
True
Let h(b) = 2*b + 1. Let l be h(-4). Is 2 a factor of 2/l + (-16)/(-7)?
True
Let b(q) = 12*q - 10. Suppose 2*r = 6*r - 28. Does 30 divide b(r)?
False
Suppose 4*q + 60 = 348. Suppose -y - q = -5*y. Is y a multiple of 9?
True
Suppose 2*s = s - 3, -3*v = -s - 222. Let l(r) = r**2 - 3*r + 1. Let g be l(4). Suppose 0 = -g*p + v + 47. Is 12 a factor of p?
True
Let i = 305 - 215. Is i a multiple of 30?
True
Let y be 113/((3 + -6)/(-3)). Suppose -5*i = -10*i - s + 116, 5*i = 2*s + y. Is i a multiple of 23?
True
Let y = 6 + 5. Let s = y - -25. Does 14 divide s?
False
Suppose 0 = -2*i + 5*g - 16, g = -3*g + 16. Does 2 divide i?
True
Suppose 5*s = -14 - 6, -2*s = -2*m + 848. Is m a multiple of 12?
True
Let b(g) = 7 - g**3 - 5*g**2 - 2*g + 0*g**3 - 4. Is 19 a factor of b(-6)?
False
Let t(x) = -x**2 - 14*x + 13. Let k be 5/(-10)*(-26)/(-1). Is t(k) a multiple of 6?
False
Suppose 453 = 6*j - j + 3*p, 2*p - 2 = 0. Does 18 divide j?
True
Let z = -12 - -18. Is z a multiple of 6?
True
Suppose -3*j = 2*j - 95. Suppose 0 = 2*y - j - 27. Does 18 divide y?
False
Let p(m) = 15*m - 3. Does 21 divide p(10)?
True
Suppose 4*h + 0*h - 8 = 0. Suppose -3*b = -5*x + h*b + 65, x - 3*b = 19. Is 4 a factor of x?
False
Let x be (-1)/(3/9) + 28. Suppose s + 2*n - 10 = 0, 0*n + 5*n = -s + x. Is 126/3*(s + 1) a multiple of 20?
False
Suppose 3*c - 35 = -0*b + b, -b - 55 = -5*c. Is c a multiple of 9?
False
Does 15 divide (6*3/(-30))/(1/(-75))?
True
Let g(a) = -a**2 + 5*a + 8. Does 6 divi