2/6?
True
Suppose 0*q = 2*q - 90. Is 15 a factor of q?
True
Suppose -5*y + 154 = -2*h, -4*y - 2*h = 2*h - 140. Does 16 divide y?
True
Let i(y) = -y**3 + 10*y**2 + 18*y + 14. Does 7 divide i(11)?
True
Let w be (23/3)/((-1)/(-3)). Suppose c + m = 3, -5*c - 2*m + w = -m. Suppose 0 = 4*k - 4*y - 88 - 156, -c*k = -2*y - 317. Is k a multiple of 18?
False
Let t be -3 + 1 + (-3 - -2). Let j(l) = -9*l - 2. Is j(t) a multiple of 8?
False
Let c(b) = b**3 + b. Let x be c(1). Is (-1)/x - (-122)/4 a multiple of 11?
False
Suppose 5*o - 4*n - 499 = 0, 5*o = 2*o + 5*n + 302. Is o a multiple of 9?
True
Let h(f) = 80*f**2 - 8*f - 9. Is h(-1) a multiple of 7?
False
Suppose -b = f - 8 - 2, 0 = -2*b + 2*f. Let y(d) = 9*d + 2*d**2 + 2 - 3*d**2 - d - 3. Is y(b) a multiple of 14?
True
Let j(v) = v + 11. Let u be j(-9). Suppose u*t + 8 = 0, 3*h + 5*t - 9 + 23 = 0. Suppose -d - 69 = -h*d. Is 24 a factor of d?
False
Suppose v - 133 = -26. Let z = v - 63. Is z a multiple of 22?
True
Let n = 2 - 4. Let i be n*(-2 - 2 - -3). Suppose 5*l + 4*j = j + 38, 37 = 5*l + i*j. Is l even?
False
Let i(n) be the second derivative of -n**4/12 - n**3/6 + 3*n**2/2 - n. Let t be i(0). Is 1*21*2/t a multiple of 11?
False
Let j be -11 + -2*3/(-6). Suppose 75 = 4*u - 21. Let i = u + j. Does 7 divide i?
True
Suppose -4*c + 1 + 15 = 0. Let o(i) = 8*i - 10. Does 9 divide o(c)?
False
Let x = -150 + 169. Is 2 a factor of x?
False
Let g be (6/(-4))/(1/(-2)). Suppose -i + 2*v - 26 = -g*i, 2*i + 4*v = 18. Is i a multiple of 17?
True
Let k(s) = -3 - s + 4 + 2. Let o be k(-6). Let u = o + -4. Is 3 a factor of u?
False
Is 16 a factor of 4/4 - 0 - -42?
False
Is 29*1/4*4 a multiple of 9?
False
Let v(i) be the first derivative of -i**3/3 + 9*i**2/2 - 3*i - 2. Does 17 divide v(4)?
True
Let i(c) = 81*c**2 - 2*c + 1. Is 20 a factor of i(1)?
True
Let j = 1 + -5. Is 4 a factor of (j/12)/(4/(-180))?
False
Suppose 0 = 2*l - 1 - 5. Does 17 divide 1 - (l*-7 + -2)?
False
Let b be 14/(-6)*-3 + -3. Suppose 0 = 4*z - 3*j + b - 133, 4*j = 3*z - 102. Does 10 divide z?
True
Let c be (-120)/(-104) - (-2)/(-13). Let z be c/2 - (-26)/(-4). Let k(d) = d**2 + 5*d + 8. Is k(z) a multiple of 14?
True
Let w be (2 - (-1 + 3))/2. Suppose a - 20 = -w*a. Is 10 a factor of a?
True
Suppose 23 + 55 = 2*m. Let v(q) = q + 9. Let b be v(-5). Suppose 0 = -b*t + 5*w + 51, 2*t = -3*t - 2*w + m. Does 9 divide t?
True
Let c(n) be the third derivative of 3*n**5/10 - n**4/24 + n**3/3 + 2*n**2. Let v be c(2). Suppose -2*y - y + v = 0. Is y a multiple of 12?
True
Let o be 738/45 + 4/(-10). Is 4/((o/(-20))/(-4)) a multiple of 20?
True
Let m be 2/10 + 46/(-5). Is 7 a factor of ((-3)/m)/(5/285)?
False
Let x = -7 + 4. Let z(v) = -12*v - 22. Let p be z(4). Is 2/x + p/(-15) a multiple of 3?
False
Let h(w) = -15*w + 7. Let s(m) = -23*m + 10. Let i(z) = -8*h(z) + 5*s(z). Is 24 a factor of i(6)?
True
Let c = -37 + 147. Is c a multiple of 10?
True
Suppose 212 = 6*w - 2*w. Suppose -b = -w + 8. Does 26 divide b?
False
Let u(y) = -y**2 - 6*y - 6. Let c be u(-4). Suppose 0*g - c*x = 4*g - 84, -3*x = 0. Does 14 divide g?
False
Is 11 a factor of (-1)/((12/(-22))/6)?
True
Is 120/14 - 18/(-42) even?
False
Let s(v) = -1 + 3*v**2 + 31*v**2 + v + v. Let m be s(1). Suppose 4*i = 61 + m. Is 12 a factor of i?
True
Let y(x) = x**2 + 9*x - 3. Let n be y(-9). Let k(l) = 2*l**2 + 4*l - 1. Is k(n) a multiple of 5?
True
Let d = 6 - 3. Suppose d*m = 8*m - 130. Is 7 a factor of m?
False
Suppose 3*n + 2*d - 12 = 3*d, 3 = -2*n - 3*d. Suppose -n*c = 2*r + 5, -2*r + 2*c - 4*c = 0. Let v = r - -9. Does 12 divide v?
False
Suppose -5*x = 28 + 52. Let l = -2 - x. Is l a multiple of 14?
True
Let o be 1/(((-6)/(-2))/216). Suppose -i = 3*i - 24. Suppose -m - 2*b + i*b + 13 = 0, -4*m = 4*b - o. Is m a multiple of 9?
False
Let x(b) = b**2. Let h(t) = -2*t**2 + 2*t + 1. Let p(c) = -h(c) + 2*x(c). Suppose 2*u + 4 = 2. Is 4 a factor of p(u)?
False
Suppose -75 = 7*m - 243. Is m a multiple of 24?
True
Suppose -4*t + 130 = -2*r, r - 95 = -3*t + 2*r. Suppose 0 = -2*i - 0*i + t. Does 3 divide i?
True
Does 2 divide -7 + 8 + 4 + -1?
True
Let x be (4 - (-98 - -3)) + -3. Suppose -u = -5*u - 2*o + 118, 3*o - x = -3*u. Does 10 divide u?
False
Let i(f) = 85*f - 1. Is i(2) a multiple of 12?
False
Let c(k) = 9*k + 3. Let u be c(-2). Let y be u/(-4) - (-1)/4. Suppose 0 = -y*g + 13 + 43. Is g a multiple of 12?
False
Suppose -24 = t + 2*w, 4*w - 3 = 3*t + 19. Suppose r + 4*r - 105 = 0. Let p = r + t. Is p a multiple of 7?
True
Let z(l) be the first derivative of -41*l**4/4 - 2*l**3/3 + l - 2. Let y be z(-1). Suppose 3*t + 1 = -3*q + y, -3*t - 2*q + 42 = 0. Does 11 divide t?
False
Let y(b) = b - 2. Let w be y(3). Let p(q) = 11*q**3 + 1. Does 12 divide p(w)?
True
Suppose -5*i = 5*q - q - 32, -5*i - 2*q = -26. Suppose -i*u + 97 = -3. Is u a multiple of 12?
False
Let z(g) be the second derivative of 5*g**3/6 + 7*g**2/2 + g. Does 16 divide z(5)?
True
Does 9 divide (123 + -4 - 3) + -5?
False
Suppose 2*f = -10, f = u - 4*f - 78. Let w be 82 + 1 + 0/(-1). Let m = w - u. Is 15 a factor of m?
True
Let y be (-6)/9 - 2/6. Let w = 9 + y. Suppose 0 = 3*u - w*u + 145. Is u a multiple of 21?
False
Let x = 44 - 10. Suppose 0 = -v - 56 - x. Let m = v - -128. Does 10 divide m?
False
Let g(l) = 9*l**2 - l - 6. Let a(k) = 10*k**2 - k - 7. Let x(h) = -4*a(h) + 5*g(h). Does 10 divide x(-2)?
True
Let k(z) = -z - 4. Let i be k(-5). Suppose 4*p + i = 3*p. Let v = p - -7. Is 6 a factor of v?
True
Let p = -41 + 47. Is 4 a factor of p?
False
Let a(g) = 5*g - 20. Let n(h) = -15*h + 59. Let m(f) = 11*a(f) + 4*n(f). Let k(t) = -3*t + 11. Let v(x) = 8*k(x) - 5*m(x). Is 15 a factor of v(7)?
True
Is (-5 - -1) + 3 - -37 a multiple of 9?
True
Suppose -1 = 4*a - 9. Suppose -5*i = 4*m - 25, -3 + 13 = 2*i - a*m. Suppose k + 0*k = i. Is k a multiple of 3?
False
Let o = 82 - 47. Is 10 a factor of o?
False
Suppose -m + 27 = -129. Let l = m - 57. Is 28 a factor of l?
False
Let r(l) be the first derivative of 5*l**2/2 + 4*l + 1. Let a be (-2)/2 - (-40)/8. Does 12 divide r(a)?
True
Let t(q) be the first derivative of q**4/8 - q**3/2 + q**2/2 + 1. Let k(r) be the second derivative of t(r). Is 3 a factor of k(3)?
True
Let r(n) = -n**2 + 11*n - 8. Let d be r(9). Let z = 17 - d. Is 5 a factor of z?
False
Let r = -30 - -56. Is 13 a factor of r?
True
Does 13 divide (0 + -2)/(16/(-568))?
False
Let q(p) be the second derivative of -p**3/6 + 3*p**2/2 + p. Is 8 a factor of q(-5)?
True
Is 28 a factor of 450/7 + (-14)/49?
False
Does 28 divide ((-1)/(-2) + 0)*68?
False
Let h(x) = -x**2 - 13*x + 24. Is h(-11) a multiple of 22?
False
Suppose 0 = -2*t - 5*y + 190, -368 - 73 = -5*t - 4*y. Let x = t - 40. Is x a multiple of 15?
True
Let w(d) = -28*d + 6. Let i be w(10). Is i/(-4) - (-12)/(-24) a multiple of 14?
False
Let t(o) be the first derivative of -1/3*o**3 - o - 5*o**2 + 1. Is t(-9) a multiple of 4?
True
Let t(a) = 5 - 9*a - 3 + 4. Let o be t(5). Let z = o - -72. Is 12 a factor of z?
False
Let d = 0 + 19. Is 13 a factor of d?
False
Let y(q) = 4*q**3 + 11*q**2 - 15*q - 28. Let i(p) = p**3 + 4*p**2 - 5*p - 9. Let k(g) = -7*i(g) + 2*y(g). Does 7 divide k(5)?
True
Let b = -207 + 300. Does 11 divide b?
False
Suppose -5 = -x + 5*u, 4*u = -2*x - u + 10. Let a be (-4)/14 + (-256)/(-14). Suppose -x*w + a = -2*w - 3*d, 4*d = 0. Is 5 a factor of w?
False
Suppose 4*l - 118 - 502 = 0. Does 31 divide l?
True
Suppose 4*q - 54 = 5*u, -3*q + 72 = 2*q - 4*u. Let n = 24 - q. Suppose n*h - 145 = 3*h. Is h a multiple of 12?
False
Suppose 19 = 5*v + 4. Let z(g) = -v*g + 2*g**2 + 1 - g**2 + 1 - 4. Does 11 divide z(6)?
False
Suppose -3*l = 3*w - 228, 2*l - 149 = -5*w + 2*w. Is l a multiple of 8?
False
Suppose 5*c - 16 - 19 = 0. Does 7 divide c?
True
Let x(l) be the third derivative of 13*l**6/60 - l**5/60 + l**4/24 + l**2. Let a be x(1). Suppose -13 = -3*v + a. Is v a multiple of 13?
True
Does 4 divide ((-30)/4)/(21/(-28))?
False
Let k be (-100)/(-16) + (-1)/4. Suppose -2*m + 32 = -k*m. Is ((-10)/4)/(4/m) a multiple of 5?
True
Suppose -d + 4 = -24. Suppose v = 5*v - d. Does 7 divide v?
True
Let g(p) = -p**3 - 7*p**2 - p - 7. Let u be g(-7). Suppose -k + u*k = -78. Suppose -k = -0*y - 3*y. Is y a multiple of 13?
True
Suppose 9 = -k + 4*f - 11, 5*f = -4*k + 25. Suppose -r - 6 = -k*r. Let i