ppose 15 = u - 2*d, -4*u - 3*d - t = 2*d. Is u a multiple of 5?
True
Let v(o) = 4*o**2 - 3*o - 3. Let d be v(-2). Suppose 3*y - d = 5*s, 0*s - 25 = 3*s + 5*y. Is 11 a factor of 5*-1*(1 + s)?
False
Let q = -42 + 90. Is 16 a factor of 20/(-3)*q/(-20)?
True
Suppose 4*t = 73 + 15. Let a = -11 + t. Is 4 a factor of a?
False
Let i be (1/(-2))/(2/(-8)). Suppose 74 = -k + i*k. Is k a multiple of 25?
False
Let y be (-290)/(-30) - (-1)/3. Suppose y = 2*l, l + 50 = 3*u + 2*u. Is u a multiple of 6?
False
Let a(b) = -b**3 + 7*b**2 + 4*b - 5. Let z be a(7). Let l = z - -22. Is l a multiple of 13?
False
Let i = -80 + -10. Is i/(-12)*(-4)/(-3) a multiple of 10?
True
Let m = 172 + -16. Suppose 4*u = -0*h + 2*h + 150, 4*u - m = 4*h. Is u a multiple of 18?
True
Is 6 a factor of 1/(-7) + (-170)/(-14) + 4?
False
Suppose p - 42 = 4*p. Is 7 a factor of -2 - 0 - (p + 2)?
False
Suppose -2*c = i - 132, 3*c = 3*i + 70 + 128. Does 4 divide c?
False
Let o be (-2)/(-3 - 10/(-4)). Suppose -b - 3*b - 322 = -3*q, o*b + 436 = 4*q. Suppose 2*w + w = q. Is w a multiple of 14?
False
Let w be (16/3)/(2/6). Suppose -2*y = 13 - 1. Let k = y + w. Is 5 a factor of k?
True
Let o be -5*3/(0 + -15). Let i be -2*-10*o/(-4). Let w = -3 - i. Is w even?
True
Suppose -v - 5*n = -17, 0 = -3*v - 2*n - 2 + 1. Let x = v + 7. Does 4 divide x?
True
Let t(y) = y**2 - y + 78. Is 24 a factor of t(0)?
False
Suppose 0 = -5*k + 74 + 106. Does 11 divide (-1 + 2)/(1/k)?
False
Let l = 4 + -16. Let z = 28 + -17. Let r = z - l. Is r a multiple of 11?
False
Let i(u) = -2*u**3 + 2*u + 1. Let w be i(-1). Suppose 0 = 3*o - 5 - w. Does 2 divide o?
True
Let h(b) = -b**2 - 7*b - 4. Let g be h(-5). Suppose -2*a + 14 = g. Is a a multiple of 4?
True
Suppose -s = -2*p + 6 + 1, p - 14 = -3*s. Suppose 0 = -2*v - 2*v - p*j - 12, -4*v - j = -4. Suppose v*c - 4*c + 20 = t, -3*t - 30 = -4*c. Is 5 a factor of c?
False
Suppose 2*h = 8, q + 5*h = -3*q - 128. Let w = q - -112. Suppose -m - 2*m = -w. Is m a multiple of 10?
False
Suppose 4*g - q - 172 = 0, g = -q + 25 + 23. Does 11 divide g?
True
Let x = -13 - -20. Let k(i) = i**2 - 2*i + 5. Let c be k(4). Let v = x + c. Does 7 divide v?
False
Let a(i) be the first derivative of -2*i**2 + 4*i + 1. Is 14 a factor of a(-6)?
True
Suppose 38 = 3*k - 37. Is 5 a factor of k?
True
Let y = -1 - -3. Let f(b) = -6*b + 2 + y*b**2 + 0 - 3*b**2. Does 7 divide f(-5)?
True
Suppose 5*i - m = 187, -29 = -i - 0*i + 3*m. Let z = i + -6. Is 8 a factor of z?
True
Let t be (5 - (3 - 0))*-1. Let o = t - -7. Does 4 divide o?
False
Suppose 0 = 5*p + o - 136, -5*p + 3*o = -10*p + 128. Is p a multiple of 8?
False
Let d(p) = -5*p - 7. Let j(g) = -14*g - 21. Let z(n) = 17*d(n) - 6*j(n). Let x = 57 - 62. Is 12 a factor of z(x)?
True
Let t(f) = -f**2 + 8*f + 3. Is t(5) a multiple of 4?
False
Let n = 200 + -72. Does 16 divide n?
True
Let g be (-75)/(-10)*(-4)/(-6). Suppose g*p - 25 - 25 = 0. Suppose 0 = -3*v + 20 + p. Is v a multiple of 10?
True
Let i(z) be the third derivative of -1/3*z**3 + 0*z - 1/120*z**6 + 1/8*z**4 - 1/15*z**5 - 3*z**2 + 0. Does 8 divide i(-5)?
True
Suppose 0 = -0*t - 5*t + 20. Is (5/t)/((-6)/(-288)) a multiple of 11?
False
Let j(q) be the second derivative of q**3/6 + 11*q**2/2 - 2*q. Let a be j(-6). Suppose -67 - 18 = -a*f. Is f a multiple of 9?
False
Let s = 7 - 3. Suppose 30 = 2*k - s. Let q = k + -10. Is q a multiple of 4?
False
Let v = 12 - 7. Suppose v*s = -2*j + 8, -2*s + 5*j - 20 = s. Suppose 4*x - 56 - 80 = s. Is x a multiple of 17?
True
Let v(t) = 3*t**2 + 6*t - 6. Let k be v(5). Suppose -27 = u - k. Is u a multiple of 15?
False
Let k(r) = 0*r + 7*r + 0 + r**2 + 9. Suppose 0 = -4*h + c - 20, 2*h - 4*c + 28 = -8*c. Is k(h) a multiple of 2?
False
Let p(j) = j**2 - j + 6. Let x(d) = d + 5. Let l be x(-8). Is p(l) a multiple of 6?
True
Suppose -46 = -i - 12. Let l be i*(10/4)/5. Let v = l + -5. Is 6 a factor of v?
True
Let z(k) = -8*k + 46 - 46. Does 8 divide z(-3)?
True
Let u = 11 + -8. Is -3*(2 - u)*3 a multiple of 9?
True
Suppose 3*z = -p - p + 38, 3*z - 52 = 5*p. Let x = z + -10. Does 4 divide x?
True
Let k = 185 - 122. Is k a multiple of 12?
False
Does 11 divide 6*((-19)/(-2) - 4)?
True
Let x = 49 - -103. Is 9 a factor of x?
False
Suppose 2*d - 4 = 2. Let v = d + 1. Is v a multiple of 2?
True
Suppose -4*v - t = -174, -6*t = -3*t - 6. Suppose -2*j = d - 27, 0*d - d + 12 = -j. Let f = v - d. Is 11 a factor of f?
False
Let m(i) = -i - 11. Let s be m(-6). Let l = 3 + s. Does 19 divide 19 + (l + 2)/2?
True
Let c(q) = 8*q - 9. Let i(g) = 1. Let s(d) = -12*d + 8. Let x(h) = 10*i(h) + 2*s(h). Let z(p) = -17*c(p) - 6*x(p). Does 12 divide z(3)?
False
Let i = 2 - 2. Suppose n - 6 = -i*n. Does 13 divide 1 + -3*(-32)/n?
False
Does 22 divide (-1)/((-700)/(-352) - 2)?
True
Suppose -2*p - 100 = -4*s, -44 = -2*s - 4*p + 2*p. Does 4 divide s?
True
Suppose -88 = -2*w + 4*x, -2*w = -2*x + 4*x - 70. Does 16 divide w?
False
Let j(m) = 5 + 24*m + 11 - 14. Is 16 a factor of j(3)?
False
Let g(w) = w**3 - w**2 - 3*w - 2. Let f be g(3). Suppose 0 = -2*a + 3*z + 67, -5*a - f*z + 2*z + 180 = 0. Is 13 a factor of a?
False
Let f = 123 + 87. Is f a multiple of 35?
True
Suppose 8*r = 3*r + 540. Is 27 a factor of r?
True
Let s be 0 - (-1 + 2) - -1. Suppose 5*t = -s*t + 25. Is t a multiple of 2?
False
Let l be 3 - 0 - (31 - 3). Let o = 85 + l. Is 20 a factor of o?
True
Let b(i) = -32*i + 16. Is 34 a factor of b(-8)?
True
Is 4 a factor of ((-12)/(-4))/1 + 9?
True
Let u(s) = -46*s**3 - s + 1. Let b be u(1). Let v = 14 - b. Suppose -4*g - v = -7*g. Is 10 a factor of g?
True
Let p = 19 + -10. Does 2 divide (2 + 1)/(p/6)?
True
Let f = -28 - -64. Suppose g - 24 = f. Does 15 divide g?
True
Suppose 2*c + 100 = 2*l, -3*c = -9 - 3. Suppose 3*h + 14 + l = -5*v, v - 2*h = -11. Let b = 15 - v. Is b a multiple of 14?
True
Suppose -t + 2*t = 24. Suppose -v = -5*v - t. Is 4 a factor of (-3 - v - 0) + 1?
True
Let m be -1*((-4)/(-1))/(-2). Is 5 a factor of m - -9 - -1 - 0?
False
Suppose 1 - 10 = -3*h. Suppose 96 + h = 3*j. Is 13 a factor of 332/11 - 6/j?
False
Let r(q) be the third derivative of q**4/8 - 18*q**2. Suppose 4*i + 0*i - 4 = -4*s, -4*i + 4 = -2*s. Is r(i) even?
False
Let a be (4 + -10)*(-4)/24. Let s(x) = 19*x**3 + 4*x**2 - 3*x - 3. Let m(g) = -38*g**3 - 7*g**2 + 5*g + 5. Let z(n) = -3*m(n) - 5*s(n). Does 10 divide z(a)?
True
Suppose m - 3*a = -m - 5, 5 = -3*m + 4*a. Suppose -m*b - 5*z = -130, -2*z - z = -5*b + 106. Does 23 divide b?
True
Suppose -q + 84 = -3*p, 0*q + 420 = 5*q - 5*p. Does 21 divide q?
True
Suppose -6*d + 577 + 1295 = 0. Is 39 a factor of d?
True
Suppose -t - 15 = 1. Let x = 16 - t. Does 16 divide x?
True
Suppose 0 = 5*x - c - 655, -4*x = -8*x - 3*c + 505. Is x a multiple of 9?
False
Let j be ((-2)/(-8))/(1/4). Suppose -o = j - 10. Does 4 divide o?
False
Let h(b) = -8*b**3 - b**2. Is 30 a factor of h(-2)?
True
Suppose 5*n + 3*k = -7, -3*n + 3*k + 0*k + 15 = 0. Let t(i) = i + 1 + 12*i**3 - 3*i + 0*i. Is 4 a factor of t(n)?
False
Let v(n) = n**2 - 3*n - 1. Let j(i) = i**2 + 7*i + 3. Let t be j(-7). Let f be v(t). Let l(k) = -5*k - 1. Is 4 a factor of l(f)?
True
Is -1*9/(2 + -3) a multiple of 3?
True
Suppose -5*f - 3*d = -50, -2*f - 4*d + 2 = -32. Let g = -4 + f. Is g a multiple of 3?
True
Suppose 4*v = s + 5, -5*v - 4*s = 13 + 7. Suppose -3*g - 2*b = 172, v*b + 5*b + 10 = 0. Let x = 101 + g. Is x a multiple of 18?
False
Let q = 14 - 4. Is q a multiple of 10?
True
Does 6 divide -3 + 5 + 19*2?
False
Let q(n) = n - 7. Let h be q(9). Suppose -a - 4*b - 18 = -0*b, 3*b + 23 = 4*a. Suppose -x + 46 = a*k + x, -4*x - 34 = -h*k. Does 18 divide k?
False
Suppose -4*x - 2*p + 4 = -12, 0 = -5*p + 20. Suppose -x*l + l + 9 = 0. Does 8 divide l?
False
Let w be 24 + 1 + (-4)/(-2). Suppose -5*r + 2*m = -0*m + w, -r - 2 = 3*m. Let l(g) = g**2 - 3*g + 3. Does 15 divide l(r)?
False
Suppose 0*r - 3*s = -4*r + 164, -r + 41 = 2*s. Does 18 divide r?
False
Let j(a) = 5*a**2 + 2*a - 1. Does 30 divide j(3)?
False
Let o(x) = -2*x**2 - 3*x + 5. Let t be o(4). Let r = t - -84. Suppose 0 = -0*y + 3*y - r. Is 5 a factor of y?
True
Let f(s) = s**2 - 1. Let r be f(-1). Suppose -4*t = 5*x - 1258, -2*x - 3*x - t + 1267 = r. Suppose -4*o - 5*k + 0*k + 220 = 0, -k + x = 5*o. Does 14 divide o?
False
Suppose 0 = 2*r + 8. Is (18/r)/(19/(-266)