se u = -6*r + 33. Does 20 divide o(r)?
True
Let b be (-8)/2*(5 - -38). Is 6 a factor of -2 - (b/(16/4) + -1)?
True
Let a(z) = -3*z**2 - 88*z - 13. Is 4 a factor of a(-27)?
True
Let r(i) = i**3 + 26*i**2 + 25*i + 2. Let b be r(-25). Suppose -912 = -2*t - b*t. Does 20 divide t?
False
Let b be (-2)/(-4)*(7 - 3). Suppose 7*g - b*g = 390. Does 13 divide g?
True
Let r be (1/(-4) + 2)*(2 - -10). Suppose 20*i + 55 = r*i. Is i a multiple of 26?
False
Let g(f) = 80*f - 9. Let b be g(8). Let x = b - 415. Does 18 divide x?
True
Suppose 13*o - 2384 = -3*o. Does 6 divide o?
False
Suppose 2*i - 982 = -g, 0 = 3*g + 2*i - 1669 - 1293. Is 9 a factor of g?
True
Suppose 26 = -2*o - 3*u, 3*o - 4*u - 48 = 7*o. Let s = 43 + o. Is s a multiple of 14?
False
Suppose 0 = -1001*x + 992*x + 45. Does 5 divide x?
True
Let q be (-4)/12*-6*1. Let a(h) = 17*h**2 - 3*h. Is 31 a factor of a(q)?
True
Let o(d) = 3 + 6 - 4*d + 10 + 7. Does 19 divide o(-9)?
False
Let a(w) = -w + 4. Let j be a(-11). Suppose 11*u - j*u = -128. Does 16 divide u?
True
Suppose 3*y + 3 = 21. Let g be -6 + y - 3*-1. Suppose 4*f = -5*q + 7, 4*q - g*q + 5 = 0. Is 8 a factor of f?
True
Let s(u) be the third derivative of u**6/10 + u**4/8 + u**3/3 + 10*u**2. Does 24 divide s(2)?
False
Let r(i) = i**2 + 8*i + 23. Does 13 divide r(9)?
False
Let v be (-80)/(-60) - 3/(9/1300). Does 6 divide ((-1)/1)/(9/v*4)?
True
Let k(s) = s**2 - 3*s - 12. Is k(11) a multiple of 3?
False
Suppose 4*f + q - 300 = 0, 4*f - 4*q + 0*q = 320. Does 36 divide (0 - 1) + f + -14?
False
Let c(w) be the second derivative of w**4/12 - w**3 + 7*w**2/2 + 4*w. Does 9 divide c(7)?
False
Suppose -12 = -i + 2*h, -5*i = -0*h + 2*h. Does 10 divide 2*(35/10 + i)?
False
Let n = 39 - -7. Suppose -n = -g + 34. Suppose o + z - 57 = 0, o - 2*z + 23 = g. Does 19 divide o?
True
Let b be (-2)/1 + 1 + 9. Does 9 divide 3/b - (-426)/16?
True
Suppose -4*z + 2045 = 4*m - 3*m, 2*z - 1035 = -3*m. Suppose 0 = 4*y + q - z, -646 = -5*y + q + 2*q. Is 34 a factor of y?
False
Let o be ((-34)/8 - -5)*(-4 - 0). Is o/((-30)/2) + (-1198)/(-10) a multiple of 17?
False
Let n = 584 + -384. Let t = -137 + n. Does 9 divide t?
True
Is ((-4686)/30)/(1/(-5)) a multiple of 37?
False
Let b(y) = y**2 + 19*y + 39. Let s be b(-17). Let v(j) be the second derivative of j**4/12 - 5*j**2/2 + j. Is v(s) a multiple of 5?
True
Suppose f - 3*x + 19 = -0*f, -3*f = 5*x + 71. Let k = 27 + f. Suppose -2*p + k + 122 = t, -4*t = -5*p + 311. Is 14 a factor of p?
False
Let r = 124 + -36. Let s(z) = z**2 + 9*z + 34. Let f be s(-11). Let y = r - f. Is 16 a factor of y?
True
Suppose 5*b + 11 = 251. Suppose 0*u + b = z + 5*u, z = -2*u + 60. Does 9 divide 3*(z/6 + 0)?
False
Suppose 8*f - 4*f - 12 = 0, -4*f = -4*g + 956. Suppose g = s + s. Is s a multiple of 15?
False
Is (-38)/171 + 9992/9 a multiple of 15?
True
Let v(h) = 9*h**3 - 2*h**2 + 3*h - 6. Let o be v(3). Suppose 0 = 5*x + o - 723. Does 18 divide x?
False
Suppose -a - 132 = -4*a. Suppose -5*t + 644 = 5*f + a, -5*t = -f - 630. Is 20 a factor of t?
False
Let i be -2 - -1 - (3 + -3). Let o be i/((-2)/(-20)*-1). Suppose 5*g = -o, g = 4*c - 2 - 72. Is c a multiple of 9?
True
Let m(z) = -z**2 - 3. Let p be m(-3). Let j = p - -7. Let d(b) = -7*b - 5. Is d(j) a multiple of 18?
False
Let u be 4 - (1 + (-1)/1). Suppose v + u = 6. Is 1060/50 - v/10 a multiple of 12?
False
Let h be (4 - (-1)/(-1)) + (0 - -1). Suppose 0*t = 2*c - 5*t - 40, h*t - 20 = -c. Does 13 divide c?
False
Let y(a) = 4*a**3 + 2*a**2 - 19*a + 3. Is 4 a factor of y(3)?
True
Let r(i) be the first derivative of -3*i**2/2 + 5*i - 1. Let p be r(8). Let o = -6 - p. Does 13 divide o?
True
Suppose -2*n = -4*n - 80. Let x = 76 + n. Does 12 divide x?
True
Let r(f) = -4*f - 3. Let a be r(-7). Let k(b) = 8*b - 104. Is 12 a factor of k(a)?
True
Let b(s) = 6*s**2 - 7*s - 11. Does 20 divide b(-7)?
False
Does 20 divide (-8)/(-32) - (-1677)/12?
True
Is 5*4/(-60) + 8720/6 a multiple of 16?
False
Let b(s) = -s**2 - 31*s - 86. Is b(-16) a multiple of 14?
True
Let f = -176 - -545. Is 8 a factor of (-2)/3 - f/(-27)?
False
Let s(m) = -13*m + 310. Does 40 divide s(-10)?
True
Let o be (1068/10)/(-3*(-14)/105). Let d = o - 145. Is d a multiple of 25?
False
Suppose f - a + 7 = 0, 3*a = -5*f + 8 - 3. Does 5 divide 0/(-1) - f - -39?
False
Let z(b) = 3*b**2 + 17*b + 6. Let v be 12/(-3) - -8 - 2. Suppose 33 = -3*p + 3*g, -2*p - g = -v*g + 19. Is 13 a factor of z(p)?
False
Let y(s) = 99*s - 11. Does 18 divide y(2)?
False
Is -9*(-2)/6 - -597 a multiple of 30?
True
Let y = -461 + 509. Is y a multiple of 8?
True
Is 74 a factor of ((-2828)/(-6))/(62/651)?
False
Let y be (-3)/6*(-1 + -1). Let m be (-1 + 1)/(2 - y). Let k = m + 42. Is k a multiple of 13?
False
Let m(o) = -66*o - 6. Let v be m(-2). Suppose -3*h + v = -0. Is h a multiple of 21?
True
Suppose -4*l = -2*i + 72, 9*l - 18 = -i + 5*l. Is 10 a factor of i?
True
Suppose -3*w = -2*x + 73, 122 + 29 = 5*x + 3*w. Is x + -11 - (1 + -5) a multiple of 7?
False
Suppose x - 293 + 72 = 0. Is x a multiple of 17?
True
Let s(b) = -4*b**3 - b**2 - b. Let y be s(-1). Suppose 0 = -y*q + p + 210, -5*p - 50 = 2*q - 144. Is 14 a factor of q?
False
Let j be -2*(2 - 7/2). Suppose 3*i + 3 = j*c - 15, 5*c + 3*i + 2 = 0. Is 20 - (2 - c)/3 a multiple of 17?
False
Let i(d) be the first derivative of -2*d**3/3 - 27*d**2/2 + 19*d + 29. Does 25 divide i(-9)?
True
Let h = -142 + 146. Suppose -h*z = 3*t - 101 + 5, 4*z = 3*t + 72. Is 6 a factor of z?
False
Let v(g) = g**2 - 2. Let b(l) = 9*l - 5*l**2 + 4*l**2 - 2*l - 9. Let p be b(6). Is 3 a factor of v(p)?
False
Let q = -5 + -1. Let g be q/4*5872/(-24). Suppose g = 6*s - 53. Is 12 a factor of s?
False
Let q = -1874 - -2895. Is q a multiple of 22?
False
Let g(j) = 72*j + 571. Is 11 a factor of g(25)?
False
Is 26 a factor of (53040/(-425))/(1/(-10))?
True
Suppose 0 = -2*u + 4*f + 16, 0*u = 4*u - 3*f - 17. Suppose 0 = r + u*r - 12. Suppose r*d + g - 68 = 0, 5*g = 10 + 10. Does 5 divide d?
False
Suppose 5*k = -x - 0 - 20, -x + 20 = -3*k. Let i be (3 - (-39)/(-15))*x. Suppose -2*n + 3 = -3*m, i*m - 6 + 1 = -n. Is n even?
False
Suppose -2*k = y + 4, 2*k = 4*y - 8 - 6. Suppose 0 = 4*a - y*i - 72, 2*a - 7 = -i + 29. Is 8 a factor of a?
False
Let d = 1430 - -1054. Is 108 a factor of d?
True
Suppose -2 = -5*l - 22. Let h = l - -12. Let r = 68 - h. Is 12 a factor of r?
True
Let g be 99 - (-2)/(-2) - -2. Let r be 6*(g/8 + -4). Let i = 107 - r. Is i a multiple of 28?
True
Let d(k) = -4 + 3 - 5 + 45*k + 8*k. Let i be d(-6). Does 14 divide -3 + (i/2)/(-3)?
False
Suppose c + 3 = 2*c + 3*k, -115 = -5*c + 5*k. Let t = -26 + c. Let i = t - -12. Is 4 a factor of i?
True
Let b(s) be the first derivative of -s**4/4 - 7*s**3/3 - 7*s**2/2 + 5*s + 8. Is b(-6) a multiple of 2?
False
Suppose -9*m - 6*m + 1020 = 0. Does 17 divide m?
True
Let w = -384 + 1286. Is w a multiple of 82?
True
Let c(t) = -2*t**3 + 4*t**2 + 7*t. Let x be c(4). Does 7 divide ((-14)/(-6))/((-2)/x)?
True
Let g(v) be the first derivative of 11*v**5/120 + v**4/24 - 4*v**3/3 + 3. Let n(f) be the third derivative of g(f). Is n(1) a multiple of 6?
True
Let u(o) = -o**2 - 13*o - 7. Let w be u(-12). Let g be (-6)/(-15) - (-113)/w. Let j = g + 11. Is j a multiple of 17?
True
Let v(a) = -a**3 + 11*a**2 + 17*a - 27. Let k be v(12). Suppose -3*n = p - k, -3*n - 10 - 17 = -p. Is 30 a factor of p?
True
Does 27 divide (-20)/(-8) - 2749/(-2)?
True
Let m(p) = p**3 - 3*p**2 + 4*p - 12. Let x be m(7). Suppose -3*w - x = -5*w. Does 28 divide w?
False
Let k = 39 + 44. Suppose -2*b + k = -13. Does 16 divide b?
True
Suppose 2*g - 238 = -42. Is g a multiple of 18?
False
Let i(y) = y**3 + 6. Let n be i(0). Suppose n*r = r + 185. Let b = -22 + r. Is b a multiple of 12?
False
Suppose 3*g = 2*l + 20, -3*l + 20 + 5 = g. Suppose x = -3*m + 10, -x + 2*m + g = -m. Suppose 4*i - 80 = 4*o, -5*i + x*i - 60 = -5*o. Is 4 a factor of i?
True
Let b = 972 - 834. Does 23 divide b?
True
Let c(s) = -s**3 + s**2 + s - 4. Let r be c(0). Let y be ((-48)/14)/(3 - (-92)/(-28)). Let f = y - r. Is 5 a factor of f?
False
Suppose 0*z - z + 31 = -5*d, 3*d = 2*z - 34. Let u(j) = z*j**2 + 14 - 5*j + 15 - 27 + j. Is u(3) a multiple of 18?
False
Let j(a) = 4*a - 13. Suppose -z = -2*g - 14, 2*g - 6*g = 3*z - 2. Suppose 0*n - z = -n. Is 2 a factor of j(n)?
Fals