59 - 463. Is t a multiple of 6?
False
Suppose -5*x - 3*x = -136. Is x even?
False
Suppose 5*c - 300 = -3*k - 2*k, 2*k = -8. Let p be 9/4*c/6. Is 6 a factor of ((-6)/8)/((-3)/p)?
True
Suppose 2*d = 2 - 6. Let s(g) = -4*g**2 - g. Let a be s(d). Let o = 31 + a. Is 6 a factor of o?
False
Let g(q) = 4*q. Let h = 0 + 3. Is 12 a factor of g(h)?
True
Suppose -33 = -3*v + 39. Is v a multiple of 14?
False
Let x(t) = -3*t**3 - 5*t**2 - 13*t + 2. Let q(d) = d**3 + 3*d**2 + 7*d - 1. Let o(h) = -5*q(h) - 2*x(h). Let b be o(6). Let l = b - -52. Is l a multiple of 12?
False
Let d(h) = 8*h - 15. Suppose i - 1 = 5. Is 14 a factor of d(i)?
False
Let l = -52 - -109. Does 43 divide l?
False
Suppose -2*k + 0*h - 4 = 2*h, 4*k = h + 12. Suppose -a + k*g = -g + 1, 0 = 3*a + 5*g + 3. Does 9 divide (3/(-4))/(a/24)?
True
Suppose 3*u = 5*o + 64 + 5, -37 = -u - 3*o. Suppose 5*y - u = 62. Is y a multiple of 15?
False
Let s(h) = h + 10. Is 10 a factor of s(0)?
True
Suppose -91 - 29 = -8*t. Is t a multiple of 2?
False
Is 44 a factor of (-4 - -5) + 89 + -4 + 0?
False
Let x(v) = -5*v - 4. Let a be x(-6). Suppose -a = 4*b - 170. Suppose 84 = 3*u - 5*h, 4*u = -4*h + 44 + b. Is u a multiple of 21?
False
Suppose 2*a - 18 = 134. Is a a multiple of 23?
False
Let t(o) = 4*o**3 - 4*o**2 + 3*o - 2. Is t(2) a multiple of 20?
True
Let i = 177 - 103. Suppose 5*l + 4 = i. Does 13 divide l?
False
Let k be (-7)/((0 - 1)/1). Let u(p) = p**3 - 8*p**2 + 7*p + 3. Let q be u(k). Suppose 8 = q*t - t. Does 4 divide t?
True
Suppose 9*w - 500 = 4*w. Is 26 a factor of w?
False
Let h = 13 - 8. Suppose -15 + h = -2*y. Is y a multiple of 3?
False
Is 33/(-15) + 2 - (-1304)/20 a multiple of 13?
True
Is -3*(-5 - -4) - -26 a multiple of 5?
False
Let x(c) = c**3 - 6*c**2 - 6*c - 1. Let b be 7/4*1*4. Let q be x(b). Suppose -g = -q*g + 55. Does 7 divide g?
False
Let b(w) = w**3 + 6*w**2 - 6*w - 1. Let i be b(-7). Let r = i - -11. Is r a multiple of 3?
True
Let n = -20 + 65. Suppose -o - n = 4*o. Let t = o - -29. Is 16 a factor of t?
False
Suppose -5*s - 20 = 2*i, 4*i + 3*s + 31 = -i. Let k(z) = -6*z - 11. Is 8 a factor of k(i)?
False
Suppose -3*t = t. Suppose t*n = -3*n - 27. Let m(s) = -3*s - 13. Is m(n) a multiple of 5?
False
Let q(j) = 3*j**2 + 7*j + 6. Does 10 divide q(-4)?
False
Suppose -490 = -6*i + 1118. Is 12 a factor of i?
False
Does 16 divide ((-2)/(-6))/(3/657)?
False
Let o(t) = t - 7. Let v be o(3). Let s be (-1)/(3 - (-14)/v). Suppose -s*b = b - 6. Is b even?
True
Let o(w) = 15*w - 17. Is o(2) a multiple of 4?
False
Let t = 17 + 7. Is 6 a factor of t?
True
Suppose -484 = -2*j - 46. Is j a multiple of 8?
False
Let q be ((-6)/9)/((-2)/(-3)). Let p = q + 3. Suppose -p*g + 31 = 3*i - 3, 4*g + 4 = 0. Does 12 divide i?
True
Let j(w) = w**3 - 3*w**2 - 5*w + 4. Let f be j(4). Let x be 1*-2 + f - -13. Suppose -l = -x - 10. Is l a multiple of 11?
False
Let u = 8 - 3. Suppose -1 = 5*s + 9, 3*s = u*q - 101. Does 8 divide q?
False
Let b(x) be the first derivative of 2*x**3/3 + 7*x**2/2 + 5*x - 2. Let y be b(-5). Suppose -y + 8 = -d. Does 12 divide d?
True
Let j(a) = 9*a**2 - 7*a - 22. Is j(-5) a multiple of 14?
True
Suppose -3*o - 3*a = 0, 4*o + 25 = 8*o - a. Suppose -61 = -o*t - 16. Is t a multiple of 9?
True
Let u = 3 - -10. Does 3 divide u?
False
Does 17 divide ((-15)/(-6))/(((-1)/68)/(-1))?
True
Let q = 11 + -20. Let y(o) = -8*o - 1. Let w be y(-2). Is q/(-15)*(w - 0) a multiple of 9?
True
Let p(m) = 6*m + 1. Let t be p(2). Let x = t - 7. Is 3 a factor of x?
True
Let c be (7/(-14))/((-2)/8). Suppose -c*p + 5*v = -12, 7*p - 2*v = 3*p - 8. Is 19 a factor of (p/8)/((-1)/48)?
False
Suppose -3*z = -5*z. Suppose 2*u - 4*a + 20 = 0, 2*u + a = -z*a - 10. Is 1*4*(-3)/u a multiple of 2?
True
Let s = -80 - -128. Does 15 divide s?
False
Let z(m) = -10*m + 6. Let w(d) = 11*d - 7. Let f(c) = 5*w(c) + 6*z(c). Let s be f(-1). Is 13 a factor of 46/4 + s/4?
True
Suppose 0*o + 5*d = -2*o + 248, o + 5*d = 119. Is 29 a factor of o?
False
Let f = 277 - 147. Is f a multiple of 14?
False
Let v(c) be the first derivative of c**4/12 + c**3/2 - c**2/2 + c + 1. Let x(o) be the first derivative of v(o). Is x(-7) a multiple of 13?
False
Let a = 12 - 19. Let p = 5 - -26. Let f = p + a. Is f a multiple of 12?
True
Let v be (0/2 + -1)*6. Let d be (-2 - (-8)/6)*v. Suppose -5*b - d*p = -118, -6 = 5*b + 5*p - 126. Does 11 divide b?
True
Suppose 2*n = -5 - 11. Does 20 divide (-20)/(1*4/n)?
True
Suppose -8*x + 21 = -27. Is 4 a factor of x?
False
Suppose g + 3*g + 4*t + 332 = 0, -370 = 5*g - 4*t. Let y = 119 + g. Is y a multiple of 21?
False
Let k(i) = -i**3 - 2*i**2 + 2*i + 7. Is 11 a factor of k(-5)?
False
Let l be 74/(-2) - (-2 + -1). Let x = l - -75. Is 14 a factor of x?
False
Let j(x) = 27*x**2 - x. Let n be j(-1). Let g = n - 16. Is 9 a factor of g?
False
Suppose -2*v + 7*v - 20 = 0. Is v a multiple of 4?
True
Suppose -2*w = 2*w - 740. Is w a multiple of 18?
False
Let d = -17 + 60. Suppose d = 2*h - 33. Is 12 a factor of h?
False
Suppose 0 = -0*y + 3*y. Suppose -v - 4*p + 16 = -3*v, y = 5*v + 4*p - 16. Is 33 + (0 - v) + 3 a multiple of 13?
False
Let l(v) = -2*v**3 - 26*v**2 - 5*v + 16. Does 10 divide l(-13)?
False
Let v(h) be the second derivative of h**4/12 + 4*h**3/3 + 2*h. Does 7 divide v(-9)?
False
Suppose -3*i = -11 + 2. Suppose 0 = -i*f + 2*f + 30. Does 8 divide f?
False
Suppose -5*y - 5*i - 157 = -y, 193 = -5*y - 3*i. Let t = y - -69. Does 9 divide t?
False
Let z = 24 + -3. Let f = -11 + z. Is 5 a factor of f?
True
Is 7 a factor of (1/(-2))/(7/(-182))?
False
Suppose z + 5*z - 12 = 0. Suppose t - j - 99 = -z*j, -t = -j - 99. Is t a multiple of 33?
True
Let r(t) = t**3 + 5*t**2 - 8*t - 5. Let s be r(-5). Suppose -z - 4*z + s = 0. Is 3 a factor of z?
False
Is (4 + 51)/(1/6) a multiple of 33?
True
Suppose 5*u = -3*u + 144. Is 3 a factor of u?
True
Let w(c) = 2*c**2 + 3*c + 2. Let x be w(-5). Suppose 5*q - x = -4*a, 0*q - 3*a + 30 = 4*q. Is q a multiple of 9?
True
Let h = -6 - -9. Let x = 14 - h. Is 10 a factor of x?
False
Let g(m) be the second derivative of m**4/12 - 3*m**3/2 + 5*m**2/2 - m. Let k(y) = -y**3 + 5*y**2 + 3*y - 6. Let t be k(5). Does 5 divide g(t)?
True
Let m(o) = -2*o. Let n be m(3). Let b be (94/n)/(3/9). Let u = b + 71. Does 12 divide u?
True
Let n = 10 - 5. Suppose -6*s - 179 = -n*u - 2*s, 0 = -4*s + 16. Let d = u - 13. Does 13 divide d?
True
Let o = 132 - -140. Suppose -o = -4*y - 80. Is y a multiple of 14?
False
Suppose -l + 0*l = -12. Let h be (-3)/(-6) + 30/(-4). Let k = l + h. Is k a multiple of 5?
True
Let q(u) = -2*u**3 - 9*u**2 - 2*u - 3. Let y(h) = -2*h**3 - 8*h**2 - 2*h - 2. Let c(g) = -4*q(g) + 5*y(g). Does 9 divide c(-3)?
False
Let r(f) = -f + 4. Let v be r(8). Does 9 divide (-636)/(-24) - 2/v?
True
Let k be 4 + -2 + 2 + 1. Is (4 - k)*27*-1 a multiple of 8?
False
Let z(s) = 19*s**3 - s. Suppose 6 = 2*h - 2. Let c be 2/8 + 3/h. Is 9 a factor of z(c)?
True
Suppose 2*n = n + y + 50, 5*n = -3*y + 234. Suppose n = 3*t - p - 58, 50 = t - 4*p. Does 17 divide t?
True
Suppose -1635 = -8*g + 213. Is g a multiple of 36?
False
Is 11 a factor of 3/1 + (-45)/(-5)?
False
Suppose 170 = 8*o + 10. Is 4 a factor of o?
True
Let l(s) = s**2 + s - 1. Let c be l(-5). Suppose -5*u + 0*q = 4*q - c, 2*u = -5*q + 11. Is 3 a factor of u?
True
Let t = 111 + -63. Is 17 a factor of t?
False
Let z(d) be the third derivative of 1/6*d**3 + 0*d**4 + 0*d + 2/15*d**5 - d**2 + 0. Is z(-1) a multiple of 9?
True
Let l = -111 - 0. Let c be (-1)/1 - l/3. Is 6 a factor of (c/15)/(4/30)?
True
Let m be (0*4/12)/2. Suppose -n + p - 11 = -2*p, m = p - 5. Is 4 a factor of n?
True
Suppose f = -5*w, 0 = -0*w + 2*w. Is 20 a factor of (f - -2)*30/3?
True
Let q(b) = -b**2 + 6*b + 4. Let z be q(6). Suppose 0 = 4*i - 4*x - 80, -z*i - 5*x + 24 = -101. Suppose -23 = -2*j + 5*f + 26, 5*f = -i. Does 10 divide j?
False
Suppose -3*r + 30 = 2*r. Does 3 divide r?
True
Let w(x) = x**2 + 3*x + 5. Let b be 64/24*6/(-4). Let i be w(b). Let v(n) = -n**2 + 10*n + 8. Is v(i) a multiple of 8?
False
Suppose 0*v + 3*v - 725 = -5*n, v + n = 245. Does 50 divide v?
True
Let h = -3 + 7. Let n(x) = x + 2. Let u be n(0). Suppose h*y = u*y + 8. Is 3 a factor of y?
False
Let f = 9 + -6. Suppose -f*z - 27 + 12 = 0. Let s = z + 21. Is 8 a factor of s?
True
Is 26 a factor of (4 + 61)*