235 - c. Suppose -17*b = -15*b - n. Is b a multiple of 20?
False
Let t = 13 - 14. Let u be (-15)/6*(5 - t). Does 13 divide u*((-32)/6 - -2)?
False
Let d(s) = 3*s**3 - 112*s**2 - 57*s - 59. Is 17 a factor of d(38)?
True
Let a(l) = 9*l - 47. Suppose 48 = 4*h + 2*x + 2*x, 2*h + 5*x - 21 = 0. Does 14 divide a(h)?
True
Let x(o) = -o**3 + 5*o**2 + 2. Let b be x(4). Suppose -b*p = -22*p + 188. Does 31 divide p?
False
Let x(c) = -2*c**2 + c + 2. Let t(u) = 3*u**2 - 2*u - 4. Let z(l) = -l + 6. Let r be z(13). Let q(w) = r*x(w) - 3*t(w). Does 14 divide q(3)?
False
Let y = -15 + 21. Let o be (9/y)/((-3)/(-32)). Is o - 3/6*2 a multiple of 15?
True
Let l = -23 + 28. Suppose 5*g - 17 = -l*f - 57, 41 = -4*f - g. Let w = 15 - f. Is w a multiple of 9?
False
Let i = -1602 + 2662. Is i a multiple of 20?
True
Let t(q) = -2*q**2 - 2*q + 3. Let u be t(4). Is -4 - 0 - 0 - u a multiple of 3?
True
Let o(f) = 20*f**2 + 2*f + 1. Let p(i) = i**2 - 3*i + 1. Let w be p(4). Suppose -h - w + 7 = 0. Is 17 a factor of o(h)?
True
Suppose -n - 245 = -j - j, 0 = 3*n - 3. Let v = j - 67. Is 9 a factor of v?
False
Let q be (-2)/(-4) - (-1)/(-2). Let t be -9 + 11 - -28 - 6. Suppose 4*i - 3*i - t = q. Is 24 a factor of i?
True
Let u = -76 + 41. Let f be (-130)/u + (-4)/(-14). Suppose r = -2*x + 70, -f*r - 358 = -9*r - 2*x. Is 24 a factor of r?
True
Let o(i) = -2*i - 14. Let z be o(-8). Let y be 5/((-10)/(-49))*z. Suppose 4*l - 213 = -4*b - y, -4*l + 158 = b. Is l a multiple of 13?
True
Suppose -24*g + 3907 = -58661. Is 65 a factor of g?
False
Let s = 512 - 175. Let z = s - -287. Is z/12 + (-4)/(-1) a multiple of 28?
True
Suppose 5*w + 4*k = 115, -21 + 4 = -w - 2*k. Suppose 6*r = 3*r + w. Is 3 a factor of r?
True
Suppose 2*g - 642 = 2*y, 5*y = -g - 117 + 450. Is 11 a factor of g?
False
Let l(c) = 7*c + 4. Let o(p) = -7*p - 5. Let x(f) = -f**2 + 15*f - 3. Let m be x(15). Let h(k) = m*o(k) - 4*l(k). Is 3 a factor of h(-1)?
True
Suppose -4*v = -5*v - 39. Let g = 19 + v. Let k = 7 - g. Is k a multiple of 15?
False
Suppose -938 = -16*b - 58. Is 55 a factor of b?
True
Let x = 26 - -1. Suppose 3*t = x - 9. Suppose -t*d = -10*d + 104. Is 9 a factor of d?
False
Let x(t) = -8*t + 39. Let h = 85 - 92. Does 19 divide x(h)?
True
Let k(f) = f**3 - 3*f**2 + 2*f - 7. Let q be k(6). Suppose -2*r + q = 5*u, -r = -5*r - 4*u + 196. Is 11 a factor of r?
True
Let r(b) = 4*b**2 - 3*b - 14. Let m be r(6). Suppose -2*l = 2*l + m. Does 31 divide ((-189)/l)/((-3)/(-60))?
False
Let r(m) = -m**3 - 8*m**2 + 2*m + 6. Let a be r(-8). Let v = -10 - a. Suppose -3*g - g = 2*h - 102, v = 4*g - h - 93. Is 11 a factor of g?
False
Does 2 divide 6/4*(-1968)/(-72)?
False
Suppose 9*p - 4*p = 35. Suppose 0 = 17*b - p*b - 1700. Does 21 divide b?
False
Does 38 divide ((-6)/(-15))/(29/85405)?
True
Suppose -13*w + 3883 = -12341. Is w a multiple of 26?
True
Let z be (1/1)/(7/98). Suppose -z*c + 360 = -9*c. Is 23 a factor of c/2 - (9 + -10)?
False
Suppose 2*u - 4*y = 20, 5*u + 3*y + 2*y - 50 = 0. Is 19 a factor of (-6817)/(-119) + -1 + u/14?
True
Let v(t) = -t**2 - 11*t + 15. Let c be v(-12). Suppose -10*y = -c*y - 1729. Is y a multiple of 13?
True
Let o(g) = 5*g - 5. Let q be o(4). Let u be (-3)/2*(-20)/q. Suppose 3*w - u*r - 8 = 1, -5*r = -5*w + 10. Is w a multiple of 5?
True
Let n be 71/6 + 4/24. Let o = n + 6. Suppose 0 = -3*f + 2*f + o. Does 9 divide f?
True
Let h(w) = -9*w - 3. Let o(u) = -u. Let y(t) = 5*h(t) - 35*o(t). Let l be y(-7). Suppose -l = -3*q + 17. Does 15 divide q?
False
Suppose r - 36*c = -38*c + 344, 0 = -5*r + 3*c + 1746. Is r a multiple of 3?
True
Suppose -7*p = -3*p + 8. Is (-31*1)/1*(1 + p) a multiple of 31?
True
Let n(i) = 2*i - 12. Let v be n(8). Suppose v = o + 1. Suppose -l + o*l = 36. Does 9 divide l?
True
Suppose 56640 = 45*d + 19*d. Does 9 divide d?
False
Let r(g) = g**3 + g**2 + 4. Let k be r(0). Suppose -2*b + 194 + 71 = 5*d, 0 = -k*b + d + 475. Does 24 divide b?
True
Let k = 1 - 13. Let u be 3 - (-3)/k*0. Suppose -3*g + 44 = 5*r, r - u = -2*g + 31. Is 9 a factor of g?
True
Let c(x) = -x**2 + 14*x + 32. Let w(t) = -3*t - 5. Let r be w(-5). Is 22 a factor of c(r)?
False
Suppose -l + 28*l = 2430. Does 4 divide l?
False
Let t(g) = 104*g - 6. Let p(j) = -21*j + 1. Let s(d) = 16*p(d) + 3*t(d). Is s(-3) a multiple of 18?
False
Let h = -285 + 431. Let g = 206 - h. Is g a multiple of 10?
True
Let i(t) = t**3 - 17*t**2 + 29*t + 45. Is 11 a factor of i(16)?
True
Suppose 11 - 5 = 3*p. Suppose -3*d - p = 3*b - 14, 2*b = 2*d + 8. Let t = b + 26. Is 30 a factor of t?
True
Let x be (-14)/(-119) + 2/(-17). Suppose 5*o + 86 = 2*z + 2*z, x = 3*z + 3*o - 78. Is 4 a factor of z?
True
Let c = 45 + -25. Suppose -52 = -j + c. Suppose -j = -o - 2*o. Is 5 a factor of o?
False
Suppose 4*w - 6 = 2. Let l = 56 - w. Is 5/(45/12)*l a multiple of 24?
True
Suppose 10335 = 11*w + 2*w. Is w a multiple of 53?
True
Suppose h - 89 = -304. Let m = h - -320. Does 15 divide m?
True
Let o(z) = -2*z**3 + 54*z**2 - 11*z - 69. Is 22 a factor of o(25)?
True
Suppose 107*u - 17952 = 75*u. Is 79 a factor of u?
False
Suppose -4 + 58 = 2*g. Suppose 2*a = 3*j + 89, j + g = a - 4*j. Is 8 a factor of a?
False
Let y(l) = -l**2 - 7*l + 4. Let n be y(-7). Suppose n*p - 13 = 5*s - 46, -5*s + 31 = -3*p. Suppose s*u - 120 = -0*u. Is 11 a factor of u?
False
Let d be 15/12 - 18/(-24). Suppose d*r - 7*p + 2*p = 81, -3*r = -3*p - 108. Is r a multiple of 3?
True
Suppose -60 - 79 = -3*c - 2*q, -5*q + 68 = c. Let b = c - 8. Does 7 divide b?
True
Let h be -2 - ((-3)/3 - -33). Suppose 15 + 147 = 3*l. Let r = l + h. Is 10 a factor of r?
True
Is 72 a factor of 4*(-35)/(-20) - -137?
True
Suppose 5*t = -25, -7*z + 3*t - 40 = -8*z. Is z a multiple of 55?
True
Let k(f) = -3*f**3 + f + 6. Let a be k(-6). Suppose -5*n + 790 = s, -4*n - 10*s + 6*s = -a. Is 12 a factor of n?
False
Let d(b) = 2*b - 12. Let l be d(7). Suppose 0 = -l*s - 1 + 85. Is 7 a factor of s?
True
Suppose -1044 - 2196 = -9*t. Is t a multiple of 3?
True
Let x = -324 - -519. Is 11 a factor of x?
False
Suppose 7*c = 3*c + 52. Let m be c*(3 - (1 + 1)). Suppose m = 3*u - 11. Is u a multiple of 7?
False
Let i = -215 + -56. Let u = i - -397. Is 21 a factor of u?
True
Does 8 divide (112/(-3))/(3/(-18)*2)?
True
Suppose k - 3*j - 6 = 0, -5*k + 34 - 4 = 5*j. Is (34/6)/(k/144) a multiple of 17?
True
Suppose -2118 = -20*m + 242. Is 7 a factor of m?
False
Let p = 43 - -65. Suppose 5*i - p = 2*i. Is i a multiple of 15?
False
Suppose -4*q = f - 27, 2*q - 3*f + f - 26 = 0. Suppose s = 2*k - q, s = -s - 8. Does 2 divide k?
True
Let z(k) = -4*k**2 - 14. Let y be z(-8). Does 14 divide (-5)/10 + y/(-4)?
False
Suppose -48*v + 58*v = 5880. Is 65 a factor of v?
False
Let h(n) = -n**2 + n + 4. Let i be h(14). Does 12 divide i/(-11) - 2/11?
False
Suppose -3*k - k = -u + 2, 13 = -4*u - 5*k. Let w(l) = -7*l - 6. Does 7 divide w(u)?
False
Suppose -4*r - l + 14 = l, -r - 1 = -4*l. Suppose r*p - p - 210 = 0. Does 20 divide p?
False
Let u(m) = -m**2 + 4*m - 7. Let h be u(5). Let n be (-2)/5 - h/5. Is (-4)/(-6)*n*27 a multiple of 18?
True
Let n(r) = 9*r**2 - 23*r + 32. Is n(10) a multiple of 13?
True
Let l(h) be the third derivative of h**6/120 + h**5/12 + h**4/24 + 2*h**3/3 - 8*h**2. Is 8 a factor of l(-4)?
True
Let m be (-36)/54 + (-172)/3. Let d = 81 + m. Suppose -83 = -4*w - 2*b + d, 4*b = w - 13. Is w a multiple of 20?
False
Let f(b) = 2*b + 32. Let y be f(-16). Suppose y = -2*r - 0*r + 166. Does 16 divide r?
False
Suppose 0 = -m - m - 228. Let u be ((-12)/72)/(6/(-9))*36. Is 19 a factor of m*(-1)/(u/6)?
True
Suppose -5*w + 3761 = 14*p - 18*p, 1478 = 2*w + 5*p. Does 11 divide w?
False
Let h be 8/(-4) - (-2 + 1). Does 6 divide (28/12 + -3)/(h/36)?
True
Suppose -t + 32 = -3. Suppose -5*r - 5*n = -0*n - t, -2*r + 2*n + 30 = 0. Is 6 a factor of r?
False
Suppose 4*i = -4*o + 3*o - 14, -5*o + 3*i + 22 = 0. Suppose 0 = -k - 5*k + 408. Suppose -k = -o*y + y. Does 22 divide y?
False
Suppose -401 = 3*n - 4766. Is n a multiple of 15?
True
Suppose 3*m + 9 = c, -2*c + m + 10 = -3*m. Does 3 divide (-10)/(-6) + -1 - 40/c?
False
Suppose 0 = m - 74 + 23. Does 51 divide m?
True
Let g = 491 + -254. Does 42 divide g?
False
Let c(x) be the third derivative of 5*x**5/12 - x**4/12 - x**3/6 - 11*x**2. Is 11 a factor of c(-1)?
False
Suppose -2*s + 3*m =