es 10 divide q?
True
Suppose 0*u - 5 = -u. Let b(q) = 5*q**3 - 2*q**2 + 1. Let t be b(1). Suppose -35 = t*a - 5*a - x, -4*a = u*x - 143. Does 11 divide a?
False
Suppose -2 = -3*g + 3*p + 25, 4*g + p - 26 = 0. Let c(n) = g + 0*n**3 + n**3 - n + n**2 + 7. Is 6 a factor of c(0)?
False
Suppose -165 = -4*f - 5*o, -95 + 0 = -3*f + 2*o. Suppose 3*c = -2*c + f. Does 3 divide c?
False
Let f(g) = -g**3 - 4*g**2 + 4. Let o(x) = -x**3 + 6*x**2 - 6*x + 1. Let u be o(5). Let d be f(u). Suppose -n = -d*n + 57. Does 19 divide n?
True
Let b be (-3)/(6/4) + 7. Suppose 104 = b*m - 256. Suppose -24 = 3*n - m. Is n a multiple of 8?
True
Suppose 0 = -4*s + 9*s. Suppose -t - 3*n - 5 = -25, s = 2*t + 4*n - 48. Is t a multiple of 8?
True
Let i = 7 - 26. Let w = 32 + i. Let k = -4 + w. Is k a multiple of 7?
False
Suppose 2*b + 100 = -2*r + 324, 0 = 4*b + r - 454. Does 20 divide b?
False
Let o(m) = -m**3 - 11*m**2 - 14*m. Let k be o(-10). Let c = k - -1. Does 11 divide c?
False
Let l(u) be the first derivative of -2*u**3/3 - 3*u**2 - u + 1. Let h be l(-4). Let m = h + 21. Is m a multiple of 5?
False
Let u(k) = -13*k + 36. Is 19 a factor of u(-6)?
True
Let m be 2/3*3*1. Let i(g) = -g**3 + 9*g**2 - 6*g + 8. Let p be i(8). Suppose -t = -2, -h - 2*t = -m*h + p. Is h a multiple of 14?
True
Let g(n) = n. Does 4 divide g(8)?
True
Suppose -3*j + 0*j - 12 = 0. Suppose u - 25 = -0. Is j/(-8) + u/2 a multiple of 13?
True
Suppose v = -5 - 3. Let o(u) = -u**2 - 9*u + 2. Let y be o(v). Suppose -40 = -3*x - y. Is x a multiple of 5?
True
Let x(z) = 14*z**2 + z. Suppose -4*a - 23 = -5*l - 0*l, a = 3*l - 11. Let t be 3/a*2/3. Does 7 divide x(t)?
False
Let p(y) = y**2 - y + 2. Let j be p(-4). Suppose -36 = 6*c - 2*c. Let d = j + c. Is 13 a factor of d?
True
Let s = 6 - 2. Suppose -s*n + 2*j = -14, 2*n = -n - 2*j. Let i = 5 - n. Does 3 divide i?
True
Suppose 0 = 3*r - 7*r + 108. Let s be (0/2)/(-2) + -6. Is (r/s + -2)*-2 a multiple of 13?
True
Let k(v) = -4*v + 4*v**2 - 1 - 3*v**2 + 1. Let u(c) = 2*c**2 - 7*c + 1. Let h(r) = -7*k(r) + 4*u(r). Does 2 divide h(0)?
True
Suppose 0*g + g - 1 = 0. Let p = g + 20. Does 14 divide p?
False
Suppose 5*v - 370 = 3*c, 2*c + 222 = -2*v + 5*v. Suppose -2*q + 0*b = -b + 91, q = -3*b - 42. Let f = v + q. Is f a multiple of 14?
False
Let v be (0 - -2)/(2/29). Suppose 2*r - v = -9. Is r a multiple of 5?
True
Let a(x) = 16*x + 0*x + 4 - 4 - 1. Is a(1) a multiple of 5?
True
Let f(i) = i + 3. Let s be f(4). Suppose -2*k = -2*r - 5*k - s, 3*r = -2*k + 2. Suppose -x + 4 = -r. Is 6 a factor of x?
False
Let r(q) = 8*q - 4. Does 26 divide r(8)?
False
Let o(s) = 5*s**2 - 3*s + 1. Let f(t) = -2*t**3 + 1. Let a be f(-1). Is 21 a factor of o(a)?
False
Let h(r) = -r**2 + 6*r + 3. Let c be (-15)/(-1) + (3 - 1). Suppose -4*k - 2*g + 18 = -10, 5*k - 2*g - c = 0. Is h(k) a multiple of 8?
True
Let a be (3/(3/(-2)))/(-1). Suppose 2*r - a = r. Suppose -38 = -0*k - r*k. Is k a multiple of 19?
True
Let a be 2/(-6) + (-38)/(-6). Suppose 3*r = a + 3. Suppose 0 = -l + r. Does 3 divide l?
True
Let a(t) = -t**3 + 3*t**2 - 2*t + 6. Is 14 a factor of a(-3)?
False
Suppose -5*o = -10*o + 230. Suppose 0 = r + 4*r - 370. Let i = r - o. Does 14 divide i?
True
Let x(q) = -q**3 - 2. Let f be x(-3). Suppose r = -0*r + f. Suppose -3*t = 4*z - 47, -5*z = -2*t - t - r. Is 6 a factor of z?
False
Suppose -5*x = o + 3, -x - 3 = -5*o + 4*o. Is 21 a factor of x - (-1 + 3)*-11?
True
Let v(p) = -11*p - 1. Does 4 divide v(-3)?
True
Suppose 3*x - 89 = -29. Is 5 a factor of x?
True
Let x(d) = -19*d. Let y be x(-4). Suppose -3*n + y = -11. Is n a multiple of 12?
False
Suppose 3*m - 8*m = -3*b - 81, 0 = -5*m - 3*b + 69. Does 15 divide m*1/2*2?
True
Let s(y) = -y**3 + 5*y**2 + 3*y - 7. Let t be (7 + -2)*(-12)/10. Let q(w) = -w - 1. Let g be q(t). Does 8 divide s(g)?
True
Suppose -250 = -5*n - 0*n. Does 25 divide n?
True
Suppose r + 2*h - 76 = 0, 1 = -h - 0. Is r a multiple of 13?
True
Let x(a) = 29*a**2 + a. Let w = -1 + 3. Let o = 3 - w. Is x(o) a multiple of 15?
True
Let h be (2/6)/(2/78). Let r = h - -4. Let t = r + 17. Does 17 divide t?
True
Suppose 4*m - 29 = 175. Suppose -95 = -5*z - 3*k - 2*k, 4*z - k - m = 0. Is z a multiple of 4?
False
Let w(x) = -x**2 - 11*x - 4. Let t be 3/(-6)*-2*-7. Is w(t) a multiple of 8?
True
Let o(u) = u**2 - 6*u + 10. Suppose 4*t = 8 - 0. Let d be t/(-6) + (-66)/(-9). Is 6 a factor of o(d)?
False
Suppose c - 7 = -4. Does 12 divide (c/(-2))/((-1)/24)?
True
Is (126/5)/(13/65) a multiple of 18?
True
Suppose -2*h + 12 = 3*i - 141, -2*h + 143 = i. Is h a multiple of 23?
True
Let h = -66 - -41. Let n = 41 + h. Is n a multiple of 16?
True
Let s = 5 + 13. Is 18 a factor of s?
True
Suppose -t - 6 - 1 = 0. Let w be (-6)/(-21) - 12/t. Suppose 0 = -3*s + w*s + 11. Is s a multiple of 11?
True
Let j = -1 - 1. Let o(y) = 4*y. Let u be o(j). Let r = 15 + u. Is 3 a factor of r?
False
Suppose 10*s - 42 = 528. Is 19 a factor of s?
True
Let c = -6 - -21. Suppose 3*d - 9 - 51 = -k, 5*k = c. Does 13 divide d?
False
Suppose -26*x = -21*x - 900. Does 45 divide x?
True
Let q = -1 + 31. Does 6 divide q?
True
Let n(r) = 4*r + 2. Let u(w) = w**2 - 2*w + 1. Let g be (-4)/14 + (-30)/(-7). Let y be u(g). Is 19 a factor of n(y)?
True
Let v = -47 + 93. Is v a multiple of 23?
True
Let a(c) = c + 1. Let o be a(4). Does 8 divide 3 - o/1*-1?
True
Let z = -9 - -14. Suppose 20 = z*w - 0*w. Suppose 156 = -k + w*k. Is k a multiple of 26?
True
Let c = -62 - -94. Is c a multiple of 8?
True
Let f(v) = -v. Let w(y) = 3*y**2 - 8*y + 6. Let k(c) = -6*f(c) + w(c). Is 15 a factor of k(-3)?
False
Let n be (1 - 2) + 3 + 4. Suppose 0*p + n = 3*p. Let f = p - 0. Does 2 divide f?
True
Let d = 151 - 100. Is 17 a factor of d?
True
Let n(t) = -t + 6. Let y be n(-9). Suppose -q = 4*q - y. Is 13 a factor of 3/(-6*q/(-222))?
False
Is (48/(-4 + 1))/(-1) a multiple of 6?
False
Let m = -26 + 18. Suppose -2*b + 5*v = -11, -5*v = 2*b - 34 - 7. Let n = m + b. Does 5 divide n?
True
Is 10 a factor of (30/(-12))/((-1)/12)?
True
Let d(j) = j**2 + 5*j. Let c be d(-8). Suppose -k + 5*k = -c. Is 9 a factor of 190/15*k/(-4)?
False
Let t(g) = g**3 + g**2 + g + 33. Is 11 a factor of t(0)?
True
Does 5 divide 26 + 26/39*6/1?
True
Suppose s = 2*l - 20, l + 3*s = -l + 12. Suppose -8*n + l = -7*n. Does 9 divide n?
True
Let j be (-2 - -2) + 76/2. Suppose -4*z + 0*v - 3*v = -187, -z + j = -v. Is z a multiple of 11?
False
Is 21/(-28) + 286*1/8 a multiple of 15?
False
Let b = 19 + -13. Suppose c + b*c = 196. Does 6 divide c?
False
Let d = -44 - -27. Let v be d/(-3) + 2/(-3). Suppose a - v*s = -15, -4*s - 4 = 4*a - 64. Does 5 divide a?
True
Suppose -2*l = 10, 4*z + 3*l = l + 118. Is z a multiple of 12?
False
Let f = 7 - 7. Let p(t) = t. Let h be p(f). Suppose h*k - 18 = -2*k. Does 3 divide k?
True
Let m(u) = u**3 + 7*u**2 - u + 1. Suppose -3*d - 27 + 2 = s, -13 = -d + 5*s. Is m(d) a multiple of 4?
True
Suppose 6 = -2*o + 14. Suppose 2 = i + o*f, -4*f = -0*f + 20. Is 11 a factor of i?
True
Let a = -15 - -23. Let z = 1 + 3. Let m = a - z. Is m a multiple of 3?
False
Let c be (-4)/(-6) - (-16)/3. Suppose 0*g - 2*g + 2*l = c, 0 = -g - l + 7. Suppose -2*w + 56 = g*w. Is w a multiple of 7?
True
Suppose 0 = 3*d + d + 24. Is 6 a factor of d*(-1 + 0/(-2))?
True
Suppose -j + 10 = -0*j. Does 10 divide j?
True
Let f = -5 - 1. Let j be -8*f/(-16)*-22. Let r = j + -34. Is 13 a factor of r?
False
Let o be 1/2*0 + 1. Is (3/o)/(2/6) a multiple of 4?
False
Suppose 0 = 3*g - 5*c - 105, 3*g + g = 2*c + 140. Suppose 3*o = -2*o + g. Does 3 divide o?
False
Let o(u) = -4*u**2 - u + 2. Let m(j) = -5*j**2 + 3. Let b(v) = -5*m(v) + 6*o(v). Let n be b(5). Is 3 a factor of ((-6)/n)/(1/8)?
True
Suppose -1 = 3*n + 14. Let q be 227/n - 4/(-10). Is (-4)/18 + (-865)/q a multiple of 8?
False
Does 11 divide 55*-2*12/(-40)?
True
Suppose -2*t = 2*t - 280. Is t a multiple of 10?
True
Let s = 40 + -26. Does 4 divide s?
False
Suppose 7*z = 4*z + 141. Suppose -16 = 3*l - 5*o, -13 = 3*l + 5*o - z. Suppose 2*h - 43 = -0*h + q, 2*h = -l*q + 39. Is 7 a factor of h?
True
Let x = 10 + -7. Suppose -x*q - 2*m + 0*m + 125 = 0, -2*q + 96 = -5*m. Is 14 a factor of q?
False
Let i(w) be the third derivative of -w**6/120 + w**5/12 + 7*w**4/24 + w**3/2 + w**2. Let o(x) = -2*x - 14. Let v be o(-10). Is 6 a facto