= 0, 5*r + 17 = -g - 1. Is g/(1/20 - 0) a multiple of 20?
True
Suppose -4*h = -4*g - 16, 0 = -4*g - 0*g + 5*h - 18. Does 8 divide (4 - (0 - g)) + 14?
True
Let x(a) = -a**2 - 6*a - 4. Let z be x(-6). Let r be 3/(z - (-19)/4). Suppose -r*o = 5*l - 330, -2*l + 5*l - 326 = -4*o. Is o a multiple of 16?
True
Let y = 1068 - 626. Is 13 a factor of y?
True
Let n be 3 - (2 - (-2877)/(-3)). Suppose -4*v + n = -8*v. Is 13 a factor of v/(-6) - (3 - 2)?
True
Suppose 330*c - 323*c = 420. Is c a multiple of 5?
True
Let r(s) = 73*s - 117. Is r(9) a multiple of 36?
True
Let d = 48 + -48. Suppose d = 4*a - 2*w - 196, 0*a = 3*a + 4*w - 136. Does 3 divide a?
True
Let d be (2 - (4 - 4)) + 4. Let g = 8 - d. Is 9 a factor of (3/3)/(g/54)?
True
Suppose -2*a = -3*g + 566, -2*a = -4*g - 5*a + 732. Suppose -4*h + 494 - g = 0. Is h a multiple of 11?
True
Suppose 6*b = 8*b - 22. Suppose 205 = 4*n - 5*m, b*m - 6*m - 235 = -4*n. Is 3 a factor of n?
False
Let z = 1148 + -578. Is 10 a factor of z?
True
Let f(l) be the second derivative of -1/12*l**4 + 0 + 11/2*l**2 + 7*l + 7/3*l**3. Is 17 a factor of f(13)?
False
Let p = -44 + 64. Suppose u - 5*i - 22 = -0*u, 26 = 3*u - 5*i. Suppose h + g = -g + p, 5*h + u*g - 108 = 0. Is h a multiple of 15?
False
Let t = -5 + 9. Suppose 65 = 5*c + 5*l - t*l, -4*c + 73 = 5*l. Suppose -3*n = -c, 0 = 4*z - 8*n + 5*n - 92. Does 26 divide z?
True
Let s = 392 - 321. Is 27 a factor of s?
False
Let v(t) = 194*t**2 - 5*t + 20. Is v(3) a multiple of 24?
False
Suppose -1555*c + 8340 = -1550*c. Is 122 a factor of c?
False
Suppose 5110 = u + 6*u. Does 29 divide u?
False
Let m be 3*-5*(-172)/12. Let s = m + -151. Does 13 divide s?
False
Suppose -2*a + 452 = -b, -196 = -2*a - 5*b + 244. Is a a multiple of 45?
True
Let l(x) = -x**2 + 13*x + 8. Let c(f) = -f**2 + 13*f + 8. Let z(u) = -7*c(u) + 6*l(u). Let n be z(12). Let g = -15 - n. Is 4 a factor of g?
False
Does 25 divide ((-2250)/36)/(-25)*120/1?
True
Let y = -113 + 182. Does 4 divide y?
False
Suppose 4*t - 76 = -2*q, t - 10 = q + 3*q. Does 3 divide 1240/72 + (-4)/t?
False
Suppose 3*w = 7*w - 8. Suppose -w*k = -3*k + 50. Is k a multiple of 10?
True
Let u(t) = 0 - t - 3 + t + t. Let s be u(3). Suppose 3*l + 3*k - 102 = -s*k, 3*k + 114 = 3*l. Is 12 a factor of l?
True
Let m(d) = 103*d**2 + 2. Is 5 a factor of m(-1)?
True
Let s(h) = -12*h**2 - 5*h + 2. Let l(o) = -49*o**2 - 21*o + 9. Let i(p) = 2*l(p) - 9*s(p). Suppose 2*d = 3*d + 3. Is i(d) a multiple of 27?
True
Let w(h) = -h**2 + h + 16. Let u be w(0). Suppose 4*t + 56 = -u. Let g = -5 - t. Is 10 a factor of g?
False
Suppose -6*j + 2096 = 458. Suppose -2*m + 0*g + 3*g + j = 0, 3*m + 4*g = 418. Is m a multiple of 11?
False
Let w(m) = m**3 + 17*m**2 - 20*m + 8. Let t be w(-15). Suppose 6*h - t = 244. Is h a multiple of 38?
False
Is -3 + 268*6/8 a multiple of 52?
False
Suppose 3*s - 5941 = -2*m, -2*s = 31*m - 28*m - 8919. Is 119 a factor of m?
True
Suppose 26*h - 24*h + 298 = 4*r, -5*h + 365 = 5*r. Is 9 a factor of r?
False
Let w = 0 - -4. Let c(x) = 6*x**2 + x. Let u be c(-1). Suppose -6 = w*y - u*y. Is 3 a factor of y?
True
Let i(s) be the first derivative of 4*s**3/3 + 2*s**2 + 2*s - 7. Let l be i(-4). Is 20 a factor of (2 - 12/15)*l?
True
Suppose -9 = -3*y, 5*y - y = -4*z + 1352. Suppose 705 = -4*q + 3*b, -5*b = -2*q - 0*q - z. Is (q/35)/(2/(-14)) a multiple of 25?
False
Suppose 20 = q + 3*q. Suppose 22 = q*c + 2*j, j - 5 = -c - 0. Is 8 a factor of 21/(-28) - (-103)/c?
False
Let n = -43 + 48. Suppose -3*i + 7*i + 71 = 5*z, 7 = z + i. Suppose 0*v + z = 3*v - 4*a, 0 = -n*v + 4*a + 21. Does 5 divide v?
True
Suppose 236 = 5*y - 2*y - x, y = x + 76. Let i(z) = z**2 - 3*z + 10. Let h be i(5). Suppose -y = -2*s - h. Is 10 a factor of s?
True
Suppose -2*h = 4*f + 27 - 85, -3*h + 15 = 0. Is f a multiple of 12?
True
Let h = -122 + 87. Let i = h + 90. Is 16 a factor of i?
False
Let a = -11 - -9. Let v be 1 - -19*(3 + a). Suppose w - 5*t - v = 0, 2 = t + 3. Is 10 a factor of w?
False
Suppose 10583 = 3*i + 2*o - 2475, 17413 = 4*i + 5*o. Is 136 a factor of i?
True
Let u be (-4)/((-12)/33) + -3. Suppose -11*k + u*k = -6. Suppose 3*l - 47 = -k. Is 15 a factor of l?
True
Let p = -125 + 242. Does 13 divide p?
True
Does 20 divide (4 + 361/(-4))*48/(-9)?
True
Let s = 2305 + -657. Does 16 divide s?
True
Let k(y) = -y**3 + 7*y**2 + 2*y - 12. Let b be k(7). Let a(d) = d**3 - 4*d**2 + 4*d - 2. Let h be a(b). Let o = 21 + h. Is 3 a factor of o?
False
Let f = 1135 - 762. Does 14 divide f?
False
Let x be 2/2 - 1 - 5. Suppose 3 - 4 = -c. Let p = c - x. Is p a multiple of 5?
False
Suppose 5*r - 1 + 26 = 0. Let w = 112 - r. Does 9 divide w?
True
Suppose -6*o + 5*o = -3. Suppose 2*q - o*q = 2, -r + 14 = -4*q. Does 5 divide r?
False
Let x(m) = -2*m**2 - 50*m - 25. Does 3 divide x(-21)?
False
Let z = 7306 + -5136. Is 7 a factor of z?
True
Is 46 a factor of 1 + (-1043)/(5 - 6)?
False
Let i(y) be the first derivative of 8*y**2 + 9*y - 3. Let j be i(-13). Let h = -139 - j. Is 15 a factor of h?
True
Suppose -3*l = 12, 2*l + 2 = p - 0*p. Let q = p + 12. Is 16 a factor of ((-134)/q)/(2/(-6))?
False
Let k = -74 + 42. Is -5 - 8/(k/84) a multiple of 8?
True
Let f = 36 - -356. Is f a multiple of 28?
True
Let m(y) = 23*y**2 - 3*y + 2. Suppose -4*v = -3*l - 17, -2*v + 5*l - 8 = 9*l. Is 13 a factor of m(v)?
False
Let i = 69 + 471. Is i a multiple of 18?
True
Suppose -2*x + 318 = 2*w, 4*x + 0*w - 616 = w. Is 35 a factor of x?
False
Suppose -16328 + 58997 = 11*m. Is 131 a factor of m?
False
Let r = 231 + 113. Suppose 8*k - 56 - r = 0. Is 17 a factor of k?
False
Let c = -260 + 707. Is c a multiple of 3?
True
Suppose 3*z - 2*y + 602 = 0, 0*y - 2 = y. Does 11 divide 2/(-16)*z + (-4)/16?
False
Suppose 0 = -0*n - 5*n + 3*r, 5*r = -4*n. Suppose -4*z - 4*x + 2*x + 92 = n, -5*x = -3*z + 82. Does 6 divide z?
True
Let b(p) = p**3 - 7*p**2 + 14*p + 1. Let l(f) = -f + 4. Let s be l(-3). Is 11 a factor of b(s)?
True
Let d(g) = -10*g + 5. Let z(r) = 29*r - 15. Let c(a) = 17*d(a) + 6*z(a). Let f be c(2). Suppose 3*l + 135 = 5*w, 4*w - w + f*l = 105. Does 10 divide w?
True
Let u(w) = w**2 - 11*w + 5. Let f be -5 - (1 + (-5)/1). Let c be 0 + f + (22 - 8). Is 9 a factor of u(c)?
False
Let d = 26 - 31. Let r = d - -13. Suppose -r*b + 3*b = -170. Is 12 a factor of b?
False
Let f be (2 + 10/(-6))*-6. Let p(v) = 5*v**2 + v - 2. Let z be p(f). Suppose 2*b - b - 4*s = 11, -2*b + z = -5*s. Is 2 a factor of b?
False
Suppose 0 = -5*w + 2*q + 24 + 14, 2*q = 2. Suppose -w*m + 362 = -342. Is 21 a factor of m?
False
Let d = 476 - 439. Is d a multiple of 10?
False
Suppose -4*x + 356 = -4*i, 7*x - 383 = 3*x - 5*i. Suppose -y + x = -75. Does 28 divide y?
False
Suppose 10*z - 6*z = 12. Does 12 divide (-4)/z*(-324)/18?
True
Let q(w) = -w + 20. Let m be q(15). Suppose -9*h - 161 = -m*d - 7*h, -d = 3*h - 39. Does 4 divide d?
False
Suppose -3*v - 2*h + 18 = 0, 2*h = 3*v - 2*h - 36. Let t(f) = -f + 21. Is t(v) a multiple of 4?
False
Suppose -1125 = 9*c - 14*c. Suppose 0 = -2*d - d - c. Let g = 38 - d. Is 36 a factor of g?
False
Let g = -683 + 871. Does 10 divide g?
False
Let h = 8 - 5. Let k be h*1/(-6)*4. Is 17 + 6/(-3) + k a multiple of 6?
False
Let w = -34 + -32. Let t = w + 110. Is 11 a factor of t?
True
Let r(a) = -49*a - 1. Let z be r(-1). Let f = z + -8. Is f/(-15)*(-18)/4 a multiple of 3?
True
Let k(p) = 2*p**2 - p + 3. Let m = 0 + 2. Let z be 1/(m/(-5))*2. Is k(z) a multiple of 16?
False
Suppose 3*s + 50*s = 92750. Does 16 divide s?
False
Let k(a) be the third derivative of -a**6/120 - a**5/20 - 5*a**4/24 - 2*a**3/3 - 6*a**2. Is k(-4) a multiple of 12?
False
Let o be (-30)/105 - (-79)/7. Let i be o/3 - (-14)/(-21). Suppose -i*v - 72 = -5*v. Is 12 a factor of v?
True
Suppose 3*p = 6*p. Suppose p = -3*r + 24 + 24. Is r even?
True
Let g be (-27)/(-15)*(-10)/(-2). Suppose 0 = 3*s + 30 + g. Let r = -10 - s. Is r even?
False
Let r = 245 + -129. Is r a multiple of 29?
True
Let a(l) = -6*l + 5*l + 3 + 5*l + 2*l + 3*l**2. Is a(-11) a multiple of 11?
False
Let k(t) = -59*t - 1. Let p(j) = -30*j - 1. Let x(l) = -2*k(l) + 5*p(l). Is x(-1) a multiple of 2?
False
Let a(o) = 9*o - 18. Let z = 1 + 12. Is a(z) a multiple of 37?
False
Let h be -7*(4/4 - 2)*1. Suppose 0*z = -h*z + 105. Is z a multiple of 8?
False
Suppose -157 = -6*q + 71. Let a =