151 + 156. Suppose w*x = -351 + 1696. Is 52 a factor of x?
False
Let s(c) = 336*c**2 + 36*c - 165. Is s(4) a multiple of 5?
True
Is 34 a factor of 2/6*4*(-27)/36*-4417?
False
Suppose -14*b = -24988 - 3824. Does 94 divide b?
False
Suppose 7*n - 5833 = 2728. Let l = n + -788. Is l a multiple of 84?
False
Let k = -9251 + 29027. Is 17 a factor of k?
False
Let t(v) = v**2 + 22*v + 157. Let z be t(-22). Suppose 2*j - 3*s - z = 0, 3*s - 284 = -4*j + 57. Is 20 a factor of j?
False
Let t(g) = g - 1. Let p(y) = -35*y - 5. Let u(n) = p(n) - 10*t(n). Let v be u(-3). Let q = v - 13. Is q a multiple of 28?
False
Let x(c) = -15*c**2 + 11*c. Let i be x(-6). Let q be i/(-12) - 3/(-2). Is 5 a factor of 6/(-8) + 2639/q?
True
Let x(k) = -30*k + 8. Suppose 3*a = -13 - 2. Let q be x(a). Let n = q - 80. Does 11 divide n?
False
Let n(j) = -3*j**2 - 3. Let t(y) = 2*y**2 + y. Let k(f) = -n(f) - t(f). Is 3 a factor of k(10)?
True
Suppose 3*y - 1 = 2*n, 0*n + 2*n - 2*y - 2 = 0. Suppose -16 = -4*v - n*v. Suppose -31 = 5*x - v*s - 135, 2*x - 29 = 5*s. Is x a multiple of 22?
True
Suppose -3*v + 111212 = 5*y - 90288, 3*y + 201444 = 3*v. Is v a multiple of 165?
True
Let h = -56 - 8. Let a = h + 295. Does 26 divide a?
False
Suppose 0 = 46*w - 48*w + 340. Let g = w + 14. Does 23 divide g?
True
Let l = -241 - -409. Suppose -2*f = -3*f + 3*x + l, 2*f - 332 = 2*x. Is f a multiple of 15?
True
Is (-5)/(-25) + (5 - 36374*(-5)/25) a multiple of 35?
True
Let m(a) = a**3 + 8*a**2 - 2*a + 12. Let w be m(-8). Let z = w - 28. Let r(c) = -c + 29. Is r(z) a multiple of 7?
False
Let o(d) = -39*d. Let a be o(1). Let w = a + 41. Suppose -h + 0*h = w*v - 18, -3*h = -2*v - 70. Is h a multiple of 8?
False
Let b = -523 + 3323. Is 140 a factor of b?
True
Suppose 2*t = -4*y - 1 + 19, 5*y = 15. Suppose -136 = -3*m - 4*p, 43 = m + t*p - 4*p. Is 4 a factor of m?
True
Suppose 2*v = -3*q + 39631, -4*q + 18828 - 78300 = -3*v. Is v a multiple of 123?
False
Suppose 10*m + 4 = 24. Suppose 3*s + 5*w - w - 35 = 0, 5*s - 49 = -m*w. Does 3 divide s?
True
Is (-14124)/(-6) + (2 - -1)*-1*-1 a multiple of 32?
False
Let x(r) = 49*r**2 + 6*r + 25. Let y be x(-7). Suppose -7*i = -11*i - 4*j + y, 0 = 5*i - 5*j - 3030. Is i a multiple of 25?
False
Suppose -m + 5*m = 2*w + 14, 0 = -m - 4*w - 1. Let z be 2/(-2 - 208/(-103)). Suppose -z = -f + m*r, 5*f - r - 3*r = 559. Is 25 a factor of f?
False
Suppose -28 = 4*x - 4*f, 3*x - 6 = 4*x - 2*f. Let k = x + 12. Suppose -11 = w - 3*o - 280, 0 = 2*w + k*o - 558. Is 25 a factor of w?
True
Let k(o) = 6*o**2 + 9*o - 15. Suppose -929 = -10*n - 299. Suppose 4*i = -5*i - n. Does 27 divide k(i)?
True
Let i = -1565 - -2071. Is i a multiple of 22?
True
Let r be ((18/4)/(-3))/((-3)/(-30)). Suppose -5 = -4*l - 17. Is r*(l + 5)/(-1 + -2) a multiple of 10?
True
Let b(n) = -n**2 + 15*n + 8. Let d be b(3). Suppose s - 4*x + 2*x = d, -2*s = 4*x - 80. Does 2 divide s?
True
Suppose 2*d - 94 = d. Suppose -13 = -4*j - 5*p, 4*p + 72 = j + 74. Suppose j*v - d = 88. Is v a multiple of 27?
False
Suppose 4*u = 2*w - 752, -5*u + 2*u = 3*w - 1119. Suppose -4*l + w = -86. Suppose -6*x = l - 385. Is x a multiple of 11?
False
Suppose 2*z - 5*x = -3*x + 36, -90 = -5*z - 5*x. Suppose -15 = -i + z. Is 29 a factor of i?
False
Let q = 281 + -183. Suppose 0 = -v - 2*x - 61, x - q = 2*v - 3*x. Is 7 a factor of -16 - -17 - v/1?
True
Let j(i) = -6*i + 438. Let t be j(0). Suppose t = 8*h - 858. Is h even?
True
Let i(t) = -t**2 - 5*t - 4. Suppose 7*j + 11 + 10 = 0. Let d be i(j). Suppose -d*m = 3*m - 5*x - 210, -5*m + 210 = 5*x. Does 7 divide m?
True
Let z(p) = 4*p**2 - 5*p + 31. Let s be z(-14). Let f = s - 681. Is 34 a factor of f?
True
Let v be ((-3)/(-6))/(1 - (-47)/(-48)). Suppose 14*s + v = 2*s. Is 101 + s + -3 - 1 a multiple of 19?
True
Suppose 11*p = -2*p + 20813. Suppose 5*n - p = -526. Is n a multiple of 3?
False
Let k be 13548/(-9)*(-33)/22. Suppose -2*t - 2*l + k = 0, -l = 3*t - 0*t - 3379. Does 15 divide t?
True
Suppose -3*c + 2 + 7 = 0. Suppose -f - c*h + 286 - 22 = 0, -2*f - 4*h + 532 = 0. Does 15 divide f?
True
Let m(y) = -y**2 - 12*y + 32. Let p be m(-14). Suppose -6*o + p*o = -764. Suppose 2*c + 4*r - 97 = 147, -o = -3*c + 2*r. Does 14 divide c?
True
Suppose -3*q = -2*q - 8. Let w(r) = -2 - 4*r**2 - 19*r + r**3 - 23*r**2 + q*r**2. Is w(20) a multiple of 9?
True
Let u(n) = 27*n - 19. Let q(z) = -z**3 - 6*z**2 + 5*z + 4. Let j be q(-5). Let d = 51 + j. Does 28 divide u(d)?
False
Let l(q) = 25*q**3 - 28*q**2 - 14*q - 5. Is l(7) a multiple of 25?
True
Let r(b) = 147*b**2 - 40*b - 48. Does 142 divide r(-10)?
True
Let m = -18 - -18. Suppose m = r + 2*r + 2*v - 4, 3*r + v = -1. Let i(q) = 29*q**2 + 4. Is i(r) a multiple of 10?
True
Let r = 1989 + -1644. Does 2 divide r?
False
Let q(d) = 18*d + 747. Does 49 divide q(32)?
True
Suppose -w = w. Suppose 0 = -s + 5*b + 191, 4*s + 5*b - 244 - 420 = w. Does 57 divide s?
True
Suppose -3*s + 2*s = 4*u - 14568, 20*s = 22*s. Does 53 divide u?
False
Let y = 5738 + -1966. Is y a multiple of 82?
True
Suppose -56746 = -2*r + 5*s, -r + 28391 = 11*s - 9*s. Does 38 divide r?
False
Let s(j) = -1249*j - 1524. Does 45 divide s(-5)?
False
Suppose 2*u = -8, 4536 = 4*x - 14*u + 18*u. Suppose 4*t + 6*i - 4580 = 8*i, -t - 3*i = -x. Is 88 a factor of t?
True
Let c(k) = -k**3 - 2. Let y be c(-2). Let g(t) = 222 + 2*t - 416 + 207. Does 17 divide g(y)?
False
Suppose 4*w + 4*d = 116088, -6*w = -2*w - d - 116078. Does 341 divide w?
False
Is -7 - (-1683)/(-90)*-6*15 even?
True
Suppose -33*r = -30*r + 2*m - 132, -m = -3*r + 123. Is 3 a factor of r?
True
Let u(k) = -9*k**3 + 2*k**2 - 4*k - 3. Let q be u(-5). Let v = q + -687. Suppose v = 12*y - 611. Is y a multiple of 14?
False
Let w = 299 - 290. Suppose 3449 + 5191 = w*a. Is a a multiple of 24?
True
Let d be 5 + 20 + -2*2. Let i be 14*3 - 42/d. Suppose -38*x - 248 = -i*x. Does 47 divide x?
False
Suppose -5*l = 3*j - 15260, 0 = -5*l - 4*j + 7789 + 7471. Does 14 divide l?
True
Suppose 4*f + 16788 = t, 4*t + f - 67174 = 6*f. Is t a multiple of 26?
True
Let g(i) = -2*i**2 - 9*i + 9. Let v be g(-5). Is 0 + (-3)/(-6)*v + 263 a multiple of 50?
False
Let b(a) = -124*a - 936. Is b(-27) a multiple of 5?
False
Let y(l) = l + 2. Let b be y(8). Let n = b + 16. Suppose 0 = 2*p + z + 3*z - 28, z + n = 5*p. Is 4 a factor of p?
False
Suppose 2438 = 33*n - 10*n. Suppose -4*h - 245 = 3*z + h, -2*z + 4*h - 200 = 0. Let i = z + n. Is i a multiple of 3?
False
Is (-13 - (-405)/30)*39206 a multiple of 48?
False
Let r(o) = 12*o + 25. Let c be r(4). Let q = 78 - c. Suppose 4*d + 2*t - 66 = 0, -5*d - 2*t + q*t = -99. Is d a multiple of 18?
True
Let b(t) = -t**2 + 7*t + 12730. Does 67 divide b(0)?
True
Suppose -2*f - 38 = -32. Let z(k) = -2*k**3 - 6*k**2 + 4*k + 2. Let q be z(f). Is 10 a factor of 4/q + (-816)/(-40)?
True
Let t = 30 + 5263. Does 67 divide t?
True
Let g(q) = -4*q - 24. Let f be g(-7). Suppose -4*p + 53 + 31 = f*b, 3*b = p + 59. Suppose 944 = -4*r + b*r. Does 10 divide r?
False
Let q(w) = 20*w**2 + 9*w - 2. Suppose 0 = -5*a + 2*f - 0 - 26, 5*a - 5*f = -35. Is q(a) a multiple of 35?
False
Let h = 392 + -392. Suppose h = 2*i - f - 501, i + 6*f - 268 = 10*f. Is i a multiple of 55?
False
Suppose 5*o + o - 12 = 0. Suppose -v + 7*k + 86 = o*k, 86 = v - 2*k. Let d = 194 + v. Is d a multiple of 35?
True
Suppose 354*f - 7144707 = 4151787. Is f a multiple of 11?
True
Is 112 a factor of 110 - 116 - (-8967 - -1)?
True
Let y(t) = -t. Let k(a) = -15*a + 3. Let o(s) = -k(s) + 6*y(s). Let d be 10/140*-7 + (-5)/(-2). Does 2 divide o(d)?
False
Let t = 116 - 98. Suppose t*k = 24*k - 558. Is k a multiple of 9?
False
Let q(m) be the first derivative of m**4/2 - 2*m**3/3 + 4*m - 13. Let x be q(-2). Does 26 divide 62/(-4)*(x - -12)?
False
Suppose -39 + 409 = -f - t, 0 = 3*t - 3. Let p = -164 - f. Is p a multiple of 5?
False
Let t(v) = v**2 - 11*v - 12. Let h be t(11). Let y = h - -15. Suppose y*n = -2*n + 150. Is n a multiple of 11?
False
Suppose 12*p = 25*p - 299. Let x(u) = -u**3 - 2*u**2 - u - 3. Let c be x(-3). Suppose -p = -h + c. Does 4 divide h?
True
Let z(b) = 332*b - 2720. Is z(10) a multiple of 30?
True
Suppose -8750814 = -281*c + 5006946. Is c a multiple of 40?
True
Let s = 152 + -157. Does 44 divide (-44)/(-12) + s - (-2030)/6?
False
Does 21 divide 24188/8 - (81/(