*x - 123 = -u + 46, -4*x = 0. Let p = u + 28. Suppose -4*b - 2*i = -p + 57, 0 = -4*b + 4*i + 128. Is 15 a factor of b?
False
Let m be 2 - (-9)/(-4) - 92/16. Does 8 divide (4/(-3)*m)/(1/1)?
True
Let t = -2005 + 2897. Does 17 divide t?
False
Let p(q) = -q**3 - q**2 + 1. Let y be 6/4*(-8)/12. Let w be p(y). Does 10 divide 5 + -4 - (-20)/w?
False
Let w(u) be the third derivative of -u**6/120 + u**5/5 + u**4/12 + 5*u**3/2 + u**2. Is w(12) a multiple of 13?
True
Let m = 728 - 107. Does 23 divide m?
True
Let f = -32 - -32. Does 21 divide f + 47 - (-9 - -5)?
False
Let u = 8 + 7. Let c = -13 + u. Is 5 a factor of (0 - 6)/(c + -3)?
False
Suppose 0 = 12*v + 803 + 1189. Let g(b) = 111*b**3 - b**2 + b + 1. Let z be g(-1). Let n = z - v. Is 18 a factor of n?
True
Suppose -n = 2*n + 2*u - 11, 2*n - 8 = -u. Suppose -162 = -4*t - n*t. Does 6 divide t?
True
Does 34 divide (-52560)/(-252) - (-6)/14?
False
Suppose 55*o = 51*o - 160. Let m = 59 - o. Is 20 a factor of m?
False
Suppose 5*w + 3*b - 4*b = -9, 5*w = -2*b - 12. Let o = w - -7. Suppose -2*d + 14 = -3*c - 15, o*c - 110 = -5*d. Is 3 a factor of d?
False
Let s = -2 + -21. Let h = s + 53. Is 10 a factor of h?
True
Let x be 1 - 5 - (-8 - -36). Suppose 2*p - 65 = 93. Let h = x + p. Is h a multiple of 21?
False
Does 5 divide (-2)/1*((-145)/10 + -4)?
False
Let s be 2*(0 + -1) - -62. Suppose -2*t = 5*h - 72, h + h = -2*t + s. Does 13 divide t?
True
Suppose 21*g + 20177 = 53063. Is 29 a factor of g?
True
Is ((-388)/(-3))/((50/15)/5) a multiple of 6?
False
Let o(a) = a**2 - 2*a**2 + 2*a**2 - 6*a**2 - 14*a + 10. Let b(j) = -14*j**2 - 41*j + 29. Let u(f) = -3*b(f) + 8*o(f). Is u(-9) a multiple of 14?
True
Let h be (-3 + 9)/2 + 0. Let s be (h - (4 - 4)) + -3. Suppose s*u + 2*u = 48. Does 5 divide u?
False
Suppose 13 = 3*p - 2*z, 0 = -2*p - 2*p - 3*z + 23. Suppose 4*g = -4*o, 5*o - 12 = 2*g - g. Suppose -p*i + 54 = l - 9, -l = o*i - 66. Is l a multiple of 14?
False
Let i(n) = n**3 - n**2 + 5*n - 11. Does 21 divide i(13)?
False
Let g be 88/(-154) + (-426)/14. Let u = -13 - g. Does 7 divide u?
False
Suppose 15*k + k - 5680 = 0. Does 4 divide k?
False
Let a = -20 + 15. Let j(h) = -26*h + 36. Is j(a) a multiple of 14?
False
Let f = 267 + -37. Is 10 a factor of f?
True
Let u = 251 - -244. Is u a multiple of 18?
False
Let u(f) be the second derivative of f**4/12 - f**3/3 - 3*f**2/2 - 6*f. Let o be u(3). Does 14 divide o + 24/2 + 2?
True
Suppose 4*o + 2*b + 6 = 2*o, -2*o + b = -9. Suppose -o*d + 79 = 5*f - 141, 4*f + 5*d = 159. Does 12 divide f?
False
Let d = -39 - -44. Suppose -d*a + r + 47 + 68 = 0, -4*a - 4*r = -68. Does 22 divide a?
True
Suppose 4*y = -6*g + 3*g - 17, 3*y + 11 = -4*g. Let n(b) = -b**3 + 2*b**2 - b. Let c be n(y). Suppose 2*i - c = -3*i. Is i a multiple of 7?
False
Let l(j) = 4*j**2 + 202*j - 224. Is 8 a factor of l(-52)?
True
Let u be (2 - (-2 + 7)) + 3. Suppose 9*m - 20 = 7. Suppose -2*y + u*y = 2*c - 88, -132 = -3*y + m*c. Is y a multiple of 22?
True
Let p be (-4)/(-14) - (-18)/(-63). Suppose -2*u - 38 + 22 = p. Does 14 divide (-3)/(12/u) + 73?
False
Suppose -27*u = -2918 - 1996. Does 3 divide u?
False
Let j be 40/22 + -2 + (-184)/(-44). Let n(y) = 4*y**2 - 3*y - 4. Does 14 divide n(j)?
False
Let y = 488 + -438. Is y a multiple of 10?
True
Let t = -3792 - -6418. Is 20 a factor of t?
False
Suppose -6*o + 8*o = 0. Suppose o = -6*a + 8*a - 42. Is a a multiple of 10?
False
Let z = -1028 - -1551. Does 29 divide z?
False
Let x = -626 - -896. Does 9 divide x?
True
Let j(v) = -v**3 - v + 1. Let s be j(-2). Let i(z) = -5*z**2 + 11*z - 8. Let q be i(s). Is ((-2)/(-6))/((-4)/q) a multiple of 13?
False
Let o(n) be the second derivative of -n**4/12 - 2*n**3 + 3*n**2 - 2*n. Is 38 a factor of o(-8)?
True
Let i(x) = -5*x**2 + 18*x**3 - x - 2*x + 2 - 25*x**3. Does 9 divide i(-2)?
False
Let c(z) = 3*z**3 - 8*z**2 - 26*z - 9. Is c(6) a multiple of 15?
True
Let y = 963 - 703. Is 10 a factor of y?
True
Suppose 5*c + 2*t - 1007 = -0*t, 3*t = -12. Is c a multiple of 36?
False
Let u = -41 + 41. Suppose u = -10*h + 625 + 155. Is h a multiple of 39?
True
Let g = -47 + 107. Suppose -4*x - g = -8*x. Does 2 divide x?
False
Is 10*(-16)/(-20) + -5 - -88 a multiple of 8?
False
Let h(y) = -2*y - 25. Let m be h(-12). Let f be -2 + m + 7 + 0. Let r(p) = 21*p + 6. Is 18 a factor of r(f)?
True
Let l = 59 - -37. Suppose -8*w + 0*w + l = 0. Is 8 a factor of w?
False
Suppose -3*i = 24*i - 11745. Is i a multiple of 5?
True
Suppose 13 = -l + 4*o, -5*l - 2*o + 45 = -0*l. Suppose v - 15 = 4*t - 5, -5*t = -4*v + l. Is ((-217)/(-28))/(v/(-8)) a multiple of 10?
False
Suppose -4*u + 0*u = -8. Let h be ((16/(-4))/u)/(-1). Suppose -4*p = -4*v + 168, 83 = h*v - 5*p + 4*p. Is v a multiple of 15?
False
Let i(t) be the third derivative of t**6/120 + 13*t**5/60 + 5*t**4/12 + 11*t**3/6 + t**2. Let j = 45 + -57. Is 14 a factor of i(j)?
False
Let p be 0 + 1 - ((-112)/4)/4. Suppose 256 = p*m - 80. Is m a multiple of 4?
False
Let p = 1121 + -705. Is 32 a factor of p?
True
Let x(h) = -h - 3. Let a be x(3). Let f be (-1)/(-1)*(a + -4). Let t = 46 + f. Is t a multiple of 5?
False
Let r(q) be the third derivative of -q**4/12 - 2*q**3 - 12*q**2. Is 6 a factor of r(-16)?
False
Does 16 divide 656/28*-10*-14?
True
Suppose 5*r - b - 113 = 0, -4*b = -b + 9. Suppose -19*q = -r*q + 66. Is q a multiple of 11?
True
Let w be (-4 - -3)*1*-2. Suppose n = -4*m + w*n + 532, -n = 4*m - 524. Suppose -5*z = 2*k - 3*k - 124, 5*z - 3*k = m. Is z a multiple of 15?
False
Let w(q) = -172*q**3 - q**2 + q + 2. Let y be w(-1). Is (y/20)/((-3)/(-15)) a multiple of 5?
False
Let n(z) = z**3 + 18*z**2 - 12*z + 22. Is n(-16) a multiple of 12?
False
Suppose 75936 = -18*c + 102*c. Does 45 divide c?
False
Suppose -16 = -4*k, 2*k = -5*c + c + 1392. Suppose 4*w + 37 = 5*v - c, 0 = -w - 2. Does 6 divide v?
False
Let q(s) = -2*s**3 + 61*s**2 - 25*s + 64. Does 65 divide q(29)?
False
Is 20 a factor of -1 + (-11)/((-77)/1407)?
True
Suppose -3*g - 15 = 0, 3*q - 899 = -2*g + 4239. Does 12 divide q?
True
Let w(c) = -c**3 - 9*c**2 - 4*c + 9. Let s be w(-8). Let a = s - -60. Suppose 5*z - a = 143. Is z a multiple of 14?
False
Let d = 10 - 8. Suppose -2*f = 2*v, -2*v - f = d*v - 6. Suppose -v*l - 2*l - 3*q + 162 = 0, -208 = -5*l - q. Does 21 divide l?
True
Let o = 46 + -15. Suppose -3*l - o = -109. Is l a multiple of 6?
False
Let n be (-2 - 106/22) + (-2)/11. Is 2 a factor of (n/3)/(8/(-24))?
False
Suppose 2 = 2*x, y = -32*x + 34*x + 118. Does 60 divide y?
True
Let j = -276 + 516. Is j a multiple of 8?
True
Suppose -5*m - 7*g = -6*g - 251, -2*g = m - 52. Does 5 divide m?
True
Let n = -4 + 7. Let g(a) = 27*a - 13. Is g(n) a multiple of 15?
False
Let k be -5*((-111)/15 - -2). Let z = k + -25. Suppose -z*w = -9*w + 119. Is 17 a factor of w?
True
Is 25 a factor of 7315/10 + -4 - (-15)/6?
False
Is 306268/598 - 4/26*1 a multiple of 35?
False
Suppose 3*v + 3*o - 558 = 0, -2*v + o = 227 - 605. Does 4 divide v?
True
Let n(q) = 10*q - 11. Suppose -3*h + 29 = -4*w + 1, 3*w = -5*h + 8. Does 3 divide n(h)?
False
Let d(w) = 26 - 33 + 8*w + 17. Is d(13) a multiple of 38?
True
Let m = 140 - -98. Is m a multiple of 7?
True
Let q(g) be the first derivative of -g**4/4 + 4*g**3/3 + 7*g**2/2 + 3*g + 12. Does 9 divide q(-3)?
True
Let o = -10 - -15. Suppose 3*l - 204 = o*x, 0*x - 340 = -5*l - 2*x. Suppose -2*f = -3*a - 72, 0*f + l = 2*f - 5*a. Does 13 divide f?
True
Suppose -1285 = -11*p + 7*p + 5*v, 2*p - 4*v = 644. Is 26 a factor of p?
False
Let v(r) = 93*r**2 - 3*r - 1. Let k = 14 + -15. Does 41 divide v(k)?
False
Let o = -21 - -54. Suppose 275 = 2*a - 3*p, 3*a - 385 = -p + o. Is a a multiple of 14?
False
Let q(j) = -j**2 - 9*j + 6. Let t be q(-7). Suppose 2*v + 3*v = t. Suppose v*y - 11 = -3, 3 = c - y. Is c a multiple of 5?
True
Let r(n) = 10*n**2 + 3*n. Let u(g) = 50*g**2 + 16*g + 1. Let k(o) = 11*r(o) - 2*u(o). Does 16 divide k(3)?
False
Let d(n) be the second derivative of -n**6/180 - 2*n**5/15 + n**4/4 - 2*n. Let u(t) be the third derivative of d(t). Is 11 a factor of u(-11)?
False
Let a = 141 + -152. Suppose -4*x - 61 = -3*i, 0 = 3*i - 2*x - 0*x - 59. Let g = i + a. Is g a multiple of 5?
False
Let n = -159 - -265. Is n a multiple of 3?
False
Suppose 4*y = -0*y - 16, 4*y + 160 = 4*o. Suppose -o = -5*p + 39. Is p a multip