(y) = -5*y - 19. Let s be d(-6). Suppose m*o + 5*k - 3*k - 26 = 0, o - k - s = 0. Is o a multiple of 12?
True
Let y be 4/(-10) - (-24)/10. Does 2 divide 2 - 3 - (-12)/y?
False
Let d(o) = o**3 + 5*o**2 - 3*o + 3. Let r be d(-6). Let a be -58*1/(6/r). Suppose 0 = 5*f - 5*q - a, -2*q - 85 = -3*f - 0*f. Does 15 divide f?
False
Is 62/6 + 1/(-3) even?
True
Suppose -3*p + 57 = 3*y - 117, 4*y = -2*p + 112. Is 13 a factor of p?
False
Suppose -b - 27 = 2*b + 2*v, -3*v = b + 9. Let p(q) = q**2 + 6*q - 13. Let f be p(b). Suppose -4*r - f = -118. Is r a multiple of 14?
False
Let r = -82 - -91. Is r a multiple of 9?
True
Let f = -29 + 0. Let c = f + 51. Is c a multiple of 9?
False
Let u(z) = 14*z + 2. Is u(1) a multiple of 13?
False
Let z(d) = -d**2 + 20*d + 1. Let q be z(17). Suppose 0 = -2*n + q - 8. Does 9 divide n?
False
Suppose 2*b + 3*f = 23, -3*f = -8*b + 3*b + 68. Does 7 divide b?
False
Let l = 163 - 79. Does 12 divide l?
True
Let t be (30*1)/(7 + -5). Suppose -3*p + f = -20, p - 2*f - t = -0*p. Is 2 a factor of p?
False
Let r(u) = -u + 3. Let w(o) = -o + 2. Let n be w(2). Let l be r(n). Suppose 17 = 2*y - 3*j, 3*y = -0*j + l*j + 24. Is 7 a factor of y?
True
Let o(q) = 7*q**2 - 4*q - 3. Is o(-7) a multiple of 23?
True
Suppose -4*t - 4*j + 180 = 0, -3*t + 3*j + 110 = j. Let n = -7 + t. Is n a multiple of 9?
False
Is 20 + -3*2/12*2 even?
False
Let o(q) = q + 3. Let v be o(0). Suppose 5*c - m = 12, -4*c + v*m - 6 = -20. Suppose -5*u = 2*a - 155, 124 = 4*u + c*a + 3*a. Does 11 divide u?
False
Suppose 10 = 3*b + 4. Suppose -12 = -b*u - u, 0 = 3*h - u + 55. Let i = 1 - h. Does 9 divide i?
True
Let x be (-24)/(-14)*(-14)/(-2). Suppose 3*u + 2*u = -4*b + 11, -3*b = 5*u - x. Suppose u*v - 168 = -v. Is v a multiple of 15?
False
Suppose 3*k - 7*k + 20 = 0. Suppose -b - 3*b - 2*x = 20, k*b = -4*x - 22. Let u(t) = t**2 + 4*t - 6. Is 6 a factor of u(b)?
True
Suppose -m = -3*m + 48. Does 6 divide m?
True
Let p(h) = -h**3 - 8*h**2 + 6*h + 11. Does 25 divide p(-9)?
False
Suppose c = -3*c + 120. Does 9 divide c?
False
Let g = 4 + -2. Suppose 0 = g*z - 3*z + 4. Suppose b - 5 = -3*x, -3*b - z*x = -2*b - 2. Does 7 divide b?
True
Does 12 divide (1 + 9/15)/(1/30)?
True
Suppose -3*t = 37 - 13. Let d(o) = -o**2 - 9*o. Is 4 a factor of d(t)?
True
Let q = -31 + 106. Does 20 divide q?
False
Let g be (-148)/(-18) + (-4)/18. Suppose g*j - 3*j = 0. Suppose 3*m = -4*y + 40, j = m + 7*y - 3*y - 24. Is 8 a factor of m?
True
Let m(n) = 14*n**2 - n. Let r be m(1). Suppose -p = 2*q - r, 2*q - 6*q + 5*p = -33. Suppose 5*o + 29 = 3*b, 2*b - 61 = 2*o - q*o. Is b a multiple of 9?
True
Suppose -5*m + 332 - 77 = 0. Let k(a) = 3*a - 3. Let x be k(2). Is 8 a factor of (x/9)/1*m?
False
Suppose -w = -2 - 1. Suppose w*x + 3 = 4*x. Suppose -2*o - 6 = -x*j + 36, 0 = 2*o - 6. Does 8 divide j?
True
Suppose 33 = -4*q + 5*q + s, -5*q + 4*s + 183 = 0. Does 17 divide q?
False
Let a(o) = o + 1. Let d(l) = -2*l - 1. Let q be d(-1). Let m be a(q). Suppose 6 = 2*u, -m*t - u = -5*t + 57. Is 9 a factor of t?
False
Let a(u) = 2*u - 7. Suppose -x + 0 = -1. Let r(s) = s - 1. Let i(y) = x*a(y) + r(y). Is i(6) a multiple of 5?
True
Suppose 0 = -n + 5, 2*n = 2*v - 62. Is v a multiple of 9?
True
Let z(x) = -7*x + 3. Does 2 divide z(-1)?
True
Let a(m) be the third derivative of m**5/60 + 3*m**3 + 2*m**2. Let y = 3 - 3. Is 9 a factor of a(y)?
True
Suppose -4*b + 0*j + 154 = 2*j, -b + 34 = 5*j. Does 7 divide b?
False
Let z(d) = -d**3 + 4*d**2 + 7*d - 5. Let c be z(5). Let a be 2*4/((-16)/(-4)). Let g = a + c. Does 7 divide g?
True
Suppose -2*h + 6 = 2*b, -4*b + 2 = -10. Suppose h = 5*g - 10, s + 0*s = -5*g + 10. Suppose s = l + 3 - 8. Does 3 divide l?
False
Let t(f) = -7*f + 41. Let i(r) = 6*r - 41. Let b(v) = 4*i(v) + 3*t(v). Let o(x) = -2*x + 27. Let z(k) = 5*b(k) + 8*o(k). Is z(8) a multiple of 3?
True
Let r(h) = 5*h**2 - 2*h - 1. Let g be r(-1). Suppose -2 = 2*u - g. Suppose 3*f - 83 = -3*i + 2*f, 4*i - u*f = 104. Is 7 a factor of i?
False
Suppose 3*i + 7 = 202. Is i a multiple of 13?
True
Let m(p) = -p**2 - 8*p - 2. Suppose -3*f + 5 = 26. Let o be m(f). Suppose 20 = o*u - 30. Is u a multiple of 10?
True
Suppose 0 = n + 3*r - 13, 0 = r - 3 - 0. Suppose 0 = n*p - 4*o - 64, -p = p + 5*o - 67. Does 9 divide p?
False
Let h = 14 - 10. Suppose h*i + 31 = 87. Does 10 divide i?
False
Let j(q) = q. Let b be j(4). Suppose 2*t - 86 = b*o, 4*o + 47 = -2*t + 3*t. Is t a multiple of 19?
False
Let i be 0/(-8)*2/(-4). Suppose i = -3*k + 24 + 51. Is k a multiple of 12?
False
Let s(k) = k**2 + k + 9. Does 5 divide s(-6)?
False
Suppose -5*p - 34 = 11. Let j = -4 - p. Is 2 a factor of j?
False
Suppose 13 = -2*a + 5*l + 2, 3*l = 5*a - 1. Let x(g) = 3*g**3 + g**2 - 4*g + 3. Is x(a) a multiple of 6?
False
Suppose 23*c = 22*c + 78. Is 22 a factor of c?
False
Suppose 0 = -5*a - 39 - 41. Let l = a - -22. Does 4 divide (-3)/9 + 50/l?
True
Let l(h) = h**3 + 2*h + 56. Suppose 4*x = x. Does 36 divide l(x)?
False
Suppose -450 = -19*l + 4*l. Does 6 divide l?
True
Let k be (0 - 1) + -1 + 2. Suppose k*l - 316 = -4*l. Is l a multiple of 25?
False
Let z = -33 + 13. Is 4 + -8*z/8 a multiple of 6?
True
Let x = 13 + -9. Let p be (21/x)/(3/24). Suppose -4*f - p = -2*v, 7 = -2*v - 3*f + 28. Is 15 a factor of v?
True
Suppose -a = -3*a. Let j be a/((-5)/((-15)/(-6))). Suppose 0*q - 2*q = -t + 27, 5*t - 5*q - 110 = j. Is 7 a factor of t?
False
Let s(f) = -2*f - 20. Does 5 divide s(-15)?
True
Let r be 3*(-3)/(-9)*-5. Let b(n) = -n**2 - 5*n + 5. Let w be b(r). Suppose -w*o + 148 = -o. Does 14 divide o?
False
Suppose 9*y - 120 = 8*y. Is y a multiple of 40?
True
Let v(o) = o**3 + o**2 - 2*o + 10. Is v(0) a multiple of 2?
True
Let n(i) = -i**3 + 5*i**2 - 5*i + 2. Let y be n(4). Let p be 4 - (2 + -2 + y). Is 16 a factor of 190/6 - (-2)/p?
True
Let m = 268 + -88. Is 15 a factor of m?
True
Is 5 a factor of (-1)/(3/(-204)*2)?
False
Let y = 37 - -19. Does 14 divide y?
True
Suppose -v + 53 = 42. Does 11 divide v?
True
Suppose 5*l + 50 = -0. Let k be 15/(-6)*16/l. Suppose 27 = 3*o - 3*u - 6, k*u + 58 = 5*o. Is o a multiple of 11?
False
Let a be 0/((-2)/((-6)/(-3))). Suppose a = 5*u - 11 - 14. Suppose -3*g + 23 = 5*p, -u*g + 95 = -p - 2*p. Does 12 divide g?
False
Suppose 0 = -0*t + t - 4. Suppose -54 = -t*g + g. Is g a multiple of 8?
False
Let b = 75 - 51. Is b a multiple of 8?
True
Let q be -19 - (-2)/((-6)/(-3)). Let f = q + 37. Suppose -5 = h - f. Does 13 divide h?
False
Suppose 0 = 4*y - 5*t - 0*t - 43, -5*t + 13 = 4*y. Let v(o) = o**3 - 7*o**2 + 6*o - 6. Does 19 divide v(y)?
False
Let r = -32 - -64. Let m be -12*(2 + (-7)/3). Suppose x + m*y = 2*x - 17, -4*x - 2*y + r = 0. Does 9 divide x?
True
Let n(a) = -a**3 + 30*a**2 + 45*a - 28. Is 29 a factor of n(31)?
True
Let s(b) = -b + 5. Let h be s(0). Suppose -2*l = -5*c + 3*c + 42, -5*l = h*c - 145. Is 5 a factor of c?
True
Suppose 4*p - 18 = 18. Let i = 500 - 233. Is 2/6 + i/p a multiple of 15?
True
Let c = -1 + 7. Suppose -8*b + c*b - 108 = 0. Let w = 91 + b. Does 19 divide w?
False
Let c(q) = -2*q**2 - 4*q - 1. Let b(p) = 3*p**2 + 8*p + 3. Let d(v) = 2*b(v) + 5*c(v). Let m(o) be the first derivative of d(o). Is m(-3) a multiple of 20?
True
Let s(z) = -81*z - 2. Is s(-1) a multiple of 12?
False
Let y(z) = 1 + 20*z - 3*z**3 - 21*z + 4*z**3 + 13*z**3. Is y(1) a multiple of 7?
True
Is (420/(-49))/(1/(-7)) a multiple of 15?
True
Let n(y) = 3*y - 1. Suppose -3*q + 9 = -q - 3*d, q = -3*d. Does 8 divide n(q)?
True
Suppose 2*q - 5 = 11. Suppose -j = b - 2*j, 3*b - j = q. Is b even?
True
Suppose 0 = 3*s - s - 6. Suppose -s*y = -23 - 64. Does 13 divide y?
False
Suppose -c - 6 = -3*t, -2*t - 2 = c - 11. Is 6 + 1*c/(-3) a multiple of 3?
False
Let j = 171 - -90. Is 8/(-20) + j/15 a multiple of 4?
False
Suppose a + 43 = 171. Is a a multiple of 38?
False
Let w(j) = 13*j + 3. Is w(2) a multiple of 13?
False
Let y(l) = 4*l**2. Is 12 a factor of y(3)?
True
Let h(y) = y**2 + 4*y - 2. Let x be h(-4). Does 2 divide x/6 + 30/9?
False
Let i be (6/(-9))/(3/81). Does 13 divide i/(-3)*(-13)/(-2)?
True
Let p(k) = k**3 - 3*k**2 + 3*k - 2. Let r be p(2). Suppose w = -2*j - 8, j + w + r = -3. Is 32 + -1 - 5/j a multiple of 16?
True
Let u(x) = -16*x - 105. Let r(t) = 3*t + 21. Let z(w) = 11*r(w) + 2*u(w). Is z(0) a multiple of 14?
False
Let v =