58 = -4*y + 8*y - 2*x. Is 37 a factor of y?
True
Suppose 99 = -3*m + 519. Does 20 divide m?
True
Let v = 2 + 8. Does 4 divide v?
False
Let v(y) = y**3 + 2*y - 1. Let l be v(-3). Let m = 74 + l. Is m a multiple of 14?
False
Suppose -8*s = -624 - 784. Is 44 a factor of s?
True
Suppose -k = 4*f + 29, 0*f + 1 = f + 3*k. Let s(j) = -j**2 - 10*j - 12. Let t be s(f). Suppose 2*w + 19 = -0*o + o, -t*w - 29 = -o. Is 7 a factor of o?
False
Let w(j) = j**3 + 3*j**2 - 3*j + 4. Let l be w(-4). Suppose 3*k + 5*x + 8 - 1 = 0, l = x + 5. Let n = 14 - k. Does 4 divide n?
True
Is -1*(4 + -3) + 73 a multiple of 16?
False
Let j(q) = -q**2 - 2*q + 178. Is j(0) a multiple of 29?
False
Suppose -4*y = 3*m - 12, 7*m + 2*y - 16 = 3*m. Is 8 a factor of m/(-2) + 9*2?
True
Let q = 12 + 8. Does 5 divide q?
True
Let m(p) = -2*p**2 + 3*p. Let k be m(2). Let q = 10 - 4. Is k*((-27)/q)/3 a multiple of 2?
False
Suppose 4*d + 38 = -2*x + 132, x + d - 46 = 0. Is x a multiple of 11?
False
Suppose -18*m + 0*m = -4662. Is 39 a factor of m?
False
Let l be (-12)/(-18) - 202/6. Let u = -8 - l. Does 15 divide u?
False
Let w(i) = -i**3 - 7*i**2 - 7*i - 6. Suppose 8 = -3*d - 13. Is 18 a factor of w(d)?
False
Let g(d) = 3*d - 2. Let z be g(2). Suppose -4 = -p + z. Suppose -15 = -2*t + o, o = 3*t - p - 13. Is 6 a factor of t?
True
Let p = 13 - 9. Suppose -3*d = -p*r - 5*d + 60, 47 = 3*r + d. Is r a multiple of 14?
False
Let w be ((-4)/6)/((-1)/15). Suppose -5*p + 130 = 5*t, p - w = -2*t + 38. Is t a multiple of 22?
True
Suppose -y + 5*t - 62 = -3*y, 2*t - 92 = -4*y. Does 3 divide y?
True
Suppose -p - 5 = -56. Is p a multiple of 6?
False
Let n(i) = 5*i - 6. Suppose -m - 3*a = 6, -3*m + 49 = -5*a + 11. Is 12 a factor of n(m)?
True
Let w = 26 - 15. Let k = w + -6. Suppose 3*l = -a + 17, k*l - 15 = -a - 0*l. Does 16 divide a?
False
Is 3 a factor of (-240)/(-50)*(40/(-6))/(-2)?
False
Suppose -2*w - 10 = -4. Let z(m) = m**2 - 5*m - 4. Let n be z(w). Does 14 divide 35/(-2)*(-48)/n?
True
Let x be ((-6)/(-2))/((-3)/(-2)). Suppose 3*i - 60 = i + j, 0 = j - x. Is i a multiple of 16?
False
Suppose 2*k = -k + 48. Suppose -3*l = -j - 12, 5*l = 3*j - 0*j + k. Suppose -i + 130 = 3*y, l*y - 3*i - 217 = -5*i. Does 23 divide y?
False
Let a(l) = l - 1. Let s be a(5). Suppose s*t - 2*b - 2*b = 32, 32 = 4*t + 4*b. Does 7 divide t?
False
Let b(c) = 2*c + 12. Let x be b(-10). Is 17 a factor of 33/2 - 4/x?
True
Let l = 153 - 93. Does 30 divide l?
True
Let b(n) = 2*n**2 - 12*n - n**2 - 6 - 2*n**2. Let o be b(-8). Suppose -2 + o = 4*d. Is d a multiple of 6?
True
Let d = 19 + -32. Let p = d + 18. Suppose -3*z - p + 38 = 0. Is 3 a factor of z?
False
Let u be 12*((-6)/9 + 0). Is 7 a factor of -14*2/u*2?
True
Let t(q) = -q**3 - 7*q**2 + 2*q - 7. Let p be t(-8). Let j = p + 9. Is j a multiple of 17?
False
Let r(y) = 14*y + 1. Let g = -2 + 1. Let p be r(g). Let a = 5 - p. Does 8 divide a?
False
Suppose -4*b + 3*p = -84, -3*b + p - 3*p = -80. Is 6 a factor of b?
True
Let b(m) = 4*m + 5. Let v(o) = -o + 1. Let z(t) = b(t) + 5*v(t). Suppose 20*n = 23*n. Is 5 a factor of z(n)?
True
Suppose -3*b + 4*r = -244, 319 = 2*b + 2*b + r. Is b a multiple of 16?
True
Let u = 4 - -13. Is 6 a factor of u?
False
Let a be -3*(0 + (-3)/(-3)). Let b be 0/a - -1 - 6. Is (3 + b)/((-4)/26) a multiple of 5?
False
Suppose 0 = r - 5*m - 24, -m = -7*r + 5*r + 3. Is 12 a factor of 0 - 2*(r + -5)?
True
Let f(j) = j**2 - 3*j + 12. Is f(5) a multiple of 10?
False
Suppose 2*w - 5*m - 29 = 13, 3*w - 42 = -3*m. Is w a multiple of 8?
True
Let u = -96 + 35. Suppose 0 = 5*b + 59 + 106. Let l = b - u. Is 8 a factor of l?
False
Does 7 divide (7 + -4)*1*42/9?
True
Suppose 4*n - 68 = 56. Suppose 0 = 3*j + 10 - n. Does 7 divide j?
True
Let b = 20 - -28. Does 12 divide b?
True
Is 12 a factor of -4*2/(-4) - -178?
True
Suppose -3*l = 2*d - 62, -4*l + 106 = -0*d - 2*d. Does 8 divide l?
True
Is 20 a factor of ((-50)/20 + 6/4)*-140?
True
Suppose v + 9 = 2*s - 2*v, 3*s = -3*v + 36. Let n = 18 - s. Is n a multiple of 7?
False
Let d be (-3)/((-6)/40) + 1. Let z be (d/(-7))/(6/(-4)). Suppose j + z*q = 40, j + 4*q - 64 + 14 = 0. Does 15 divide j?
True
Let n(t) = t + 3. Let k be ((-3 + 10)*-1)/(-1). Let y be n(k). Is 1 + (-1)/(-2)*y a multiple of 6?
True
Let s(j) = -j**3 + 9*j**2 + 5*j + 13. Let b be 1 + (7 - 0 - -1). Is s(b) a multiple of 13?
False
Let c = 25 - 13. Is c + ((-2)/(-2))/1 a multiple of 13?
True
Suppose 2*g + 13 = 4*w - 7, -19 = -5*w + g. Let h = 3 - w. Suppose -m + 12 + 11 = h. Does 15 divide m?
False
Let f(g) = g**3 + 4*g**2 - 2*g - 2. Let y be f(-4). Let r = -4 + y. Suppose -3*o + r*h + 53 = 0, -h - 3*h = -2*o + 46. Is 9 a factor of o?
False
Suppose -3*z + 5*z = 136. Suppose -4*y = -3*p - z, 2*y - 17 = y + 4*p. Suppose -102 + y = -5*m. Is m a multiple of 17?
True
Suppose 3*j = -15, 5*j = w + 90 - 311. Is w a multiple of 14?
True
Is -2 + 32*(-12)/(-8) even?
True
Let i(r) = 3*r**2 - 4*r - 12. Is 10 a factor of i(6)?
False
Let a(n) = n**3 + 6*n**2 - 5*n + 10. Does 20 divide a(-6)?
True
Let p = -5 + 27. Is 21 a factor of p?
False
Suppose j - 5*j - 164 = 0. Let m = 86 + j. Does 15 divide m?
True
Let q(l) be the third derivative of l**4/8 - l**3/2 - 2*l**2. Is q(3) a multiple of 6?
True
Suppose 5*s = p - 113 - 7, -9 = 3*s. Does 7 divide p?
True
Suppose 2*a = 8*a - 60. Is 4 a factor of a?
False
Let m = 69 + 27. Is 21 a factor of m?
False
Let v be 18/4*(-8)/(-6). Suppose 0 = -2*f, -3*g - 2*f + 4*f + v = 0. Is 2 a factor of 4/g - (-2 - -2)?
True
Let f(s) = -7*s - 6. Let n be (-128)/20 - (-4)/10. Is 12 a factor of f(n)?
True
Let m = 124 - 64. Is 29 a factor of m?
False
Let h = 484 + -342. Is h a multiple of 21?
False
Suppose -5*l + 4*u = -85, -2*u - 12 - 37 = -3*l. Let x(i) = i**2 - 4*i - 10. Does 27 divide x(l)?
False
Suppose -3*x = -6*x + 15. Suppose -2*f - 7 = -x*v, -4*f + 3 = 2*v - 19. Is v even?
False
Suppose -4*l + 24 = -0*l. Let g(q) = -q**2 + 5*q + 8. Let u be g(l). Suppose u*k - 50 = k. Is 18 a factor of k?
False
Let t(o) = -3*o**3 - o**3 + 0*o**3 - 1 + 6*o - o**2 - 3. Let w(p) = p**3 - p. Let h(d) = t(d) + 3*w(d). Does 5 divide h(-3)?
True
Suppose 2*n + 2*l + 10 = 28, -l = 3*n - 31. Is 6 a factor of n?
False
Suppose 0 = -10*d + 15*d - 120. Does 20 divide d?
False
Let u be 29/3 + (-2)/(-6). Let c = u - -6. Let m = c + -1. Does 15 divide m?
True
Let q = -390 + 635. Is q a multiple of 21?
False
Let u(w) = -w**2 + 5*w - 7. Let g be u(7). Let x = 33 + g. Is x a multiple of 6?
True
Let z = 3 + -26. Let b = z - -32. Is b a multiple of 9?
True
Suppose -w = -4*w. Suppose -v = -w*v - 4. Does 2 divide v?
True
Let g(k) = 8*k - 4. Let f be g(8). Suppose 0 = 3*a - f - 60. Does 20 divide a?
True
Let n(s) = -2*s - 12. Let g be n(-8). Suppose 2*h - h = g. Suppose -17 = -h*u + 43. Does 14 divide u?
False
Let r(s) = s**3 + s**2 + 6*s + 6. Let n(p) = -p**3 - 2*p**2 - 5*p - 5. Let m(k) = 5*n(k) + 4*r(k). Is 3 a factor of m(-6)?
False
Suppose f = -2*f + 6. Suppose f*x - 84 = -x. Is 14 a factor of x?
True
Let o(q) = -98*q + 1. Does 9 divide o(-1)?
True
Let i = -4 + 4. Let l be (-1*45 - i)/(-1). Is (l/20)/((-1)/(-4)) a multiple of 9?
True
Let f(q) = 2*q + 10. Suppose 3*w + 3*d - 33 = 0, 3*d - 51 + 8 = -4*w. Does 9 divide f(w)?
False
Let f be (-2)/2*-1 - 0. Let b = f + -1. Suppose b*s = -s + 21. Is s a multiple of 8?
False
Suppose 10*v = 5*v + 2*x + 116, 8 = 4*x. Is v a multiple of 6?
True
Let z(b) = -b**2 + 4*b + 5. Is 8 a factor of z(3)?
True
Suppose -4*g + 2*f - 20 = 0, 0*g - 3*g = -5*f + 15. Is (4/g)/((-8)/20) a multiple of 2?
True
Let x(o) = o**3 - o**2 + o + 3. Let b be x(0). Suppose j - 4 - 7 = 0. Let w = j - b. Does 4 divide w?
True
Suppose p + 26 + 29 = 4*w, -3*w + 45 = 3*p. Is 14 a factor of w?
True
Let q(p) = p**3 + 10*p**2 - 16*p - 13. Let x be q(-11). Let v = -17 + x. Is v a multiple of 25?
True
Suppose -5*b + b = -8. Suppose 0 = 5*x - 0*x - 20. Suppose x*q - b*q = 32. Is 8 a factor of q?
True
Let w(o) = -7*o - 3. Let t be w(-2). Suppose 2*u - 5*y = t, -2*y = -5*u - 3*y + 14. Suppose -75 = -5*z + j, -u*j - 4 - 26 = -2*z. Is 15 a factor of z?
True
Let w be ((-8)/(-6))/(2/6). Suppose w*u = 7*u - 9. Suppose -c + 3*h + 44 = 0, 2*h + 3*h = -u*c + 76. Is c a multiple of 16?
True
Let x(p) = 2*p**3 - 7*p**2 + 6*p - 3. Does 18 divide x(5)?
False
Suppose -82 = -13*v + 11*v. Is