 u a multiple of 6?
False
Suppose 0 = -2*y - 59 - 21. Let u be 2*3*y/(-6). Suppose -3*b = b - u. Does 10 divide b?
True
Suppose -4*z + 12 = 4*d - 0, 12 = 4*d - z. Suppose -d*q = q - 228. Let m = q + -32. Is m a multiple of 10?
False
Suppose 0*h + 5 = -h - 5*m, -4*h - m + 56 = 0. Let o be (-6)/10 + 69/h. Suppose 21 - 101 = -o*z + 2*t, 0 = 3*t. Is z a multiple of 7?
False
Let d be (0 - 0)*(2 - 1). Suppose o = -d + 7. Is 2 a factor of o?
False
Let u(p) = 3*p**2 + 18*p - 26. Is u(-10) a multiple of 44?
False
Let l(s) = 5*s**2 - 4*s + 1. Let h be l(3). Suppose 3*t + 4*g - 62 - h = 0, -75 = -2*t + g. Is 18 a factor of (t/21)/((-1)/(-21))?
True
Suppose -5*g = -2*t - 292, -5*g - 5*t + 275 = -10. Does 29 divide g?
True
Suppose 5*t - 46 = -4*z + z, -5*z + 87 = -2*t. Does 17 divide z?
True
Suppose 7 = 5*k - 8. Let b(o) = o + 6. Let x be b(-3). Suppose -5*p = -x*w + 36, w + 5*p - 15 = -k. Is 9 a factor of w?
False
Let i = -8 - -21. Does 3 divide i?
False
Let o = -3 + 8. Suppose 41 - 1 = 3*q + o*l, -5*q - 2*l = -54. Is 6 a factor of q?
False
Let h(v) be the third derivative of -v**7/840 - v**6/40 + v**5/12 + v**4/8 + v**3/2 + v**2. Let w(o) be the first derivative of h(o). Is 2 a factor of w(-10)?
False
Let c = 3 - 1. Let j(y) = 5*y + 3*y**3 + 9*y**c + 3*y**3 - 10 - 5*y**3. Is 8 a factor of j(-8)?
False
Let p = 7 + 8. Is 6 a factor of p?
False
Let r = -18 - -33. Let t(f) = -f**2 + 1. Let d be t(2). Let g = r + d. Is g a multiple of 3?
True
Let p be (-5)/(1 - (-6)/(-4)). Suppose 0*c + c = p. Is c a multiple of 7?
False
Suppose -2*q + 98 + 22 = -3*p, 5*q - 313 = p. Does 39 divide q?
False
Suppose -4*t + 0*t - 5*g = 12, 0 = 3*t + 2*g + 2. Let m(o) = -t*o + 1 + 2 + 2. Does 17 divide m(-6)?
True
Suppose 2*b + 91 = v, 5*v - 3*b = b + 431. Does 7 divide v?
False
Let v = -62 - -122. Is v a multiple of 35?
False
Let p = -543 - -359. Does 13 divide 2/(-7) + p/(-7)?
True
Suppose b + 15 = 39. Suppose -2*v - 3*i = -58, 0 = -v - 2*i - 2*i + b. Is v a multiple of 20?
False
Let a = -7 - 10. Let b(c) = -5*c - 4. Let v be b(5). Let l = a - v. Is 12 a factor of l?
True
Let g be 170/(-12) - (-1)/6. Let d = 55 + g. Is d a multiple of 6?
False
Suppose -h + 1 = -0*h. Does 5 divide (12 + (-2)/(-1))*h?
False
Let m be (-1)/2 - (-393)/6. Let n = 2 + 0. Suppose n*j = -13 + m. Is 16 a factor of j?
False
Suppose 0 = 2*y + v + 3, -2*v = -y - 3*v - 1. Let c be (7 - 1)/(0 - y). Suppose 57 = c*q - 0*q. Is q a multiple of 7?
False
Let t(z) = z - 3. Suppose -3*k + 41 = 14. Let x be t(k). Suppose 94 = 4*m + x. Is 9 a factor of m?
False
Is 16 a factor of (-2 - -3)/((-7)/(-224))?
True
Suppose s + 4*w - 5 = 10, 10 = -2*w. Is s a multiple of 14?
False
Let m = 104 + -80. Is m a multiple of 12?
True
Let q be 2/6 + (-12)/9. Let h be (-4)/(-4) + (q - -3). Suppose y = -3*p - 2*y + 150, 5*p + h*y - 248 = 0. Is p a multiple of 16?
False
Let z be 3 - 3 - (-28)/(-1). Let q = z + -25. Does 11 divide q/(-5) + (-8)/(-20)?
True
Let r be 16/10*(-20)/(-8). Suppose r*f = 36 + 36. Is 8 a factor of f?
False
Let m(x) = -x**3 - x**2 + x + 1. Let o be m(-2). Let u be 7 - o - (1 + 0). Suppose i = 39 - u. Is i a multiple of 18?
True
Let g(m) = -3 - 2*m**2 - 2*m**3 - m**2 - m**2 - 4*m. Let n(k) = -2*k**3 - 11*k**2 + 5*k - 9. Let c be n(-6). Does 7 divide g(c)?
False
Let g be 64/36 + 4/18. Suppose -g*b + 23 + 37 = 0. Suppose -2*m = -4*v - b, -5*m = v - 3*v - 35. Is m a multiple of 5?
True
Let j = 114 + -21. Suppose -5*f - 71 - 26 = -4*i, 0 = -3*i - 3*f + j. Does 12 divide i + (-1 - 1) - -3?
False
Let a = -1 - -1. Suppose a*m - 2*m = -30. Is 9 a factor of m?
False
Suppose 5*x - 11 - 4 = 0. Suppose m = 3*l - 79, -x*m + 0*m - 75 = -3*l. Is 9 a factor of l?
True
Let n = -17 + 52. Is n a multiple of 7?
True
Let z(b) be the second derivative of -b**5/20 + b**4/12 + b**3/6 + 42*b**2 + 2*b. Is 21 a factor of z(0)?
True
Does 24 divide -244*2*(-5)/40?
False
Suppose -l - 14 = -4*u, -2*u - 10 = -7*u. Let q = 34 + l. Is 13 a factor of q - 4*(-2)/(-4)?
True
Suppose -2*k = -7*k + 65. Suppose -b - k = 2. Let v = b - -25. Does 6 divide v?
False
Let u(p) = p**3 - p + 3. Let t(c) = 3*c. Let j be t(1). Let o be u(j). Suppose 4*z = 2*s - s + 9, -s - 5*z = -o. Is s a multiple of 5?
False
Suppose k - 45 = -4*k. Let v = k + 0. Let w = 3 + v. Is 6 a factor of w?
True
Suppose -4 = -2*i + 6. Suppose 0 = -5*l - i*x + 170, -2*l + 53 = 3*x - 14. Is l a multiple of 18?
False
Let l(m) = 4*m**2 + 2*m + 4. Let k be l(-3). Suppose -p = w - 25, w - p + 9 = k. Let o = -15 + w. Does 10 divide o?
True
Suppose 2*s = 6 + 6. Suppose -s*d = -d - 15. Is d + -3 + 15*1 a multiple of 15?
True
Let b(j) = j + 2. Let c be b(0). Suppose 2*u = -c*p + 4*u + 18, -p = u - 9. Does 3 divide p?
True
Let s be (3/2)/(1/2). Let d = s + 23. Is d a multiple of 13?
True
Let g = 8 - 15. Let c(h) = 2*h**2 + 2*h - 10. Is c(g) a multiple of 23?
False
Let d = -2 - -3. Let l = 2 + -21. Let r = d - l. Does 20 divide r?
True
Let k(v) = v**3 - v**2 - 2. Let g be k(2). Let s be 7/2*(g + -6). Let p = 21 + s. Is 3 a factor of p?
False
Suppose -6*q + 3*q = 78. Let k = -2 - q. Let y = k + -8. Is 16 a factor of y?
True
Let n(m) = -m**3 + 7*m**2 - m + 16. Does 9 divide n(7)?
True
Let u = 7 - 5. Suppose -u*b = -3*q - 0*b - 7, q + 4*b = -7. Let c = q + 7. Is 4 a factor of c?
True
Suppose -61 = 2*z - 595. Let k be z/9 - (-3)/9. Suppose 0*t = 3*t - k. Is 3 a factor of t?
False
Suppose -8*o + 10 = -3*o, 2*o + 32 = 2*n. Suppose 0 = 3*s - 6 - 3. Suppose s*q - 4*q = -n. Is 10 a factor of q?
False
Let t = -152 + 259. Is t a multiple of 6?
False
Suppose -179 = 4*f - 4*v - 755, -2*f - v = -276. Suppose 0*x = -3*x + 5*b + 164, -f = -3*x - b. Is x a multiple of 12?
True
Is -1 - (3 + 19)/(-2) even?
True
Does 8 divide ((-32)/(-10))/((-2)/(-40))?
True
Let f be (-6)/((-3)/(-18)*3). Does 13 divide (-496)/f + 2/3?
False
Is (3/(-9))/(1/(-744)) a multiple of 31?
True
Does 5 divide (-228)/(-5) - 50/(-125)?
False
Let t(v) = v**3 + 5*v**2 + 2*v - 5. Let j be t(-4). Suppose h + j = 1. Is 4 a factor of h/8 + (-34)/(-8)?
True
Let m(r) = -r**3 - 6*r**2 - 5*r. Let s be m(-4). Let x = 46 + s. Is x a multiple of 17?
True
Suppose 4*c = 28 + 36. Does 8 divide c?
True
Let y(g) = -7 + 4*g - 4*g**3 - 13*g - 7*g**2 + 3*g**3. Let f be y(-6). Suppose -34 = -5*x + f. Is 7 a factor of x?
False
Let k = -36 - -22. Let i = 19 + 2. Let r = k + i. Is r even?
False
Does 13 divide 2/(-30)*-3 + 777/15?
True
Let l(g) = 2 + 0*g - 1 - g. Let j be l(-4). Suppose 0 = 2*w + 2*k - 64, 0 = 3*w - j*k - 32 - 32. Is 14 a factor of w?
True
Let t(z) be the first derivative of -3*z**2/2 - 7*z - 5. Is 3 a factor of t(-5)?
False
Let q = 15 + -12. Suppose -59 = -2*m + w, q*m = 2*w + 59 + 29. Does 15 divide m?
True
Let g(v) be the third derivative of 2*v**6/45 + v**5/120 - v**3/3 - 2*v**2. Let r(i) be the first derivative of g(i). Is r(1) a multiple of 7?
False
Suppose 0 = -i + 3*i - 200. Is i a multiple of 20?
True
Let j(p) = 22*p**2 - 2*p. Is 4 a factor of j(1)?
True
Is 12 a factor of (15/10)/(121/40 + -3)?
True
Suppose -p = -3*p + 6. Suppose 0 = p*s + 2*s - 40. Is s a multiple of 4?
True
Let b(l) = -l**2 - 4*l - 3. Let h be b(-3). Suppose 3*i + 4*r - r + 12 = 0, h = i + 5*r + 20. Suppose 4*m + i - 20 = 0, -4*y = -4*m - 88. Does 9 divide y?
True
Suppose -k + 8 = 4*g + 3*k, 5*k + 14 = g. Let m = g + -7. Let x = m + 37. Is 14 a factor of x?
False
Suppose -2 = -2*s - 0*s. Does 12 divide (-7 + -5)/(-2 + s)?
True
Let p(y) = -18*y - 62. Does 14 divide p(-32)?
False
Suppose -2 = -3*q + q. Is 12 a factor of q/(2 + (-186)/94)?
False
Suppose 6 + 6 = 3*m. Is 424/14 + m/(-14) a multiple of 10?
True
Suppose 96 = -22*r + 24*r. Does 16 divide r?
True
Suppose -4*l = -4*w + 12, 0 = -3*l - 5*w - 16 - 9. Let q = 14 + l. Does 3 divide q?
True
Let r(k) be the first derivative of k**3/3 + 7*k**2/2 + 6*k - 6. Is r(-9) a multiple of 8?
True
Let i = 2 - -1. Suppose 5*r - 40 = i*r. Suppose 3*u = -2*u + r. Is 4 a factor of u?
True
Let t(h) = -h**2 + 4*h + 17. Does 12 divide t(5)?
True
Let z(f) = 223*f**2 + 8*f + 8. Is z(-1) a multiple of 22?
False
Let m(o) = 7*o. Let v be m(1). Suppose 3*i = -3*r + r - 8, 5*r = -i - v. Is 3 a factor of (-2)/(4/18)*r?
True
Suppose -j + 24 = j. Is 3 a factor of 4/16 - (-33)/j?
True
Suppose 3*z + 11 = -u, 0 = 2*z - 0*u - 4*u - 2. Let o(j) = -6*j - 5. Is 