r of m?
False
Suppose x + 5*t - 49 = 0, 95 = 5*x - 3*t - 150. Is 7 a factor of x?
True
Let o = 840 - 320. Does 20 divide o?
True
Suppose -3*r + 6 = -0*r - 2*m, -6 = -3*r - 3*m. Suppose 6 + 2 = r*i. Suppose i*a = -f - 6, 5*f + 5*a - 38 = 2*a. Is 6 a factor of f?
False
Suppose 67 = 6*d + 7. Is 23*(64/d - (-6)/(-15)) a multiple of 23?
True
Let a(r) = -2*r**2 + 15*r - 9. Let l be a(5). Suppose -2 = -5*v - 62. Is v/l + 1275/20 a multiple of 19?
False
Suppose 248 = 21*y - 23*y. Let t = y - -290. Does 19 divide t?
False
Does 64 divide (2547/(-4) - -3)/(23/(-92))?
False
Let f(x) = x - 9. Suppose 5*t + 0*t = 4*d - 53, 3*d - 4*t = 41. Let s be f(d). Let i(j) = -28*j - 4. Does 14 divide i(s)?
False
Suppose -4*h + 5*r = -45, -h + 4*h = -3*r. Is 0 - 6/((-6)/h) a multiple of 2?
False
Let o = 366 + -258. Is 27 a factor of o?
True
Let g be (-1 - 5)/((-10)/(-3) + -3). Let i = 49 + g. Does 7 divide i?
False
Suppose -3*x = -5*k - 2*x + 14, -4*k - x + 13 = 0. Suppose -k*q - 2*q = h - 149, -4*h + 86 = 3*q. Is q a multiple of 10?
True
Suppose 0 = -14*q + 205 + 159. Is 8 a factor of q?
False
Suppose 215 = 3*x - 2*x. Suppose 4*q = -q - x. Let k = -22 - q. Does 6 divide k?
False
Let l(h) = -247*h - 132. Is 45 a factor of l(-6)?
True
Suppose -2 + 6 = 2*r. Suppose -r*b - 8 = 3*j - 6*j, -3*b - 3 = -3*j. Does 12 divide 11/(-33) + 356/j?
False
Let c = 973 - 818. Does 5 divide c?
True
Let q(g) be the second derivative of -g**4/12 - 10*g**3/3 - 17*g**2 + 24*g. Is q(-15) a multiple of 27?
False
Let f = -56 - -97. Let q = f + 59. Is q a multiple of 29?
False
Suppose 32*j - 2394 = 48678. Is j a multiple of 14?
True
Let u(k) = 5*k + 2. Is u(7) even?
False
Suppose 0 = -2*b + 2*t + 18, -20 = -3*b - 3*t - 5. Is 7 a factor of b?
True
Let d(l) = 38*l**2 - 45*l - 489. Does 16 divide d(-9)?
False
Suppose -2*r + 21 = -47. Suppose -1 = d + 3*y, 4*y = -3*d + r - 12. Is d a multiple of 2?
True
Let j(p) = -14*p - 9. Let l be j(-2). Suppose -l*b + 520 = -17*b. Is 10 a factor of b?
True
Suppose 5*r - 1697 = -3*p, 5*p = 7*p - 3*r - 1106. Is p a multiple of 43?
True
Is (-5)/(3/(5745/(-25))) a multiple of 54?
False
Let g be -61 + (-1 - (-36)/6). Let o = 124 + g. Is 4 a factor of o?
True
Let z = -28 + 52. Let l = z + 137. Is 44 a factor of l?
False
Let z(q) = -22*q + 3. Let k be z(-5). Let i = k - 43. Is 7 a factor of i?
True
Let d = 367 - 197. Suppose -52*r + d = -50*r. Is r a multiple of 6?
False
Suppose 4*l - 5*y = 6*l - 1140, 2*y - 2248 = -4*l. Is l a multiple of 80?
True
Suppose -11*b + 9*b + 280 = 0. Is 5 a factor of b?
True
Let t = 4 - 4. Suppose t = 3*y - y + 384. Does 11 divide y/(-18) - 2/(-6)?
True
Let s(g) = 16*g**2 - 36*g + 350. Is 9 a factor of s(11)?
True
Let y(v) = v**2 - 8. Let l(f) = -4*f**3 - 2*f**2 + 1. Let d be l(1). Is 7 a factor of y(d)?
False
Let d(a) = a**3 - 9*a**2 + 8*a + 2. Suppose -20 = -k + 3*z, 0*k + 24 = k - 4*z. Let o be d(k). Suppose -o*i = -20 + 8. Is 6 a factor of i?
True
Suppose 1197 = 5*r - h, -3*h + 5 - 11 = 0. Does 6 divide r?
False
Let a(m) = m**2 - 16*m - 24. Does 7 divide a(24)?
True
Let d(f) = 9*f**2 - 5*f + 10. Let g(r) = 5*r**2 - 2*r + 5. Let v(k) = -4*d(k) + 9*g(k). Is v(-3) a multiple of 21?
False
Let t(u) = -u + 3. Let a be t(-4). Let k = 1168 + -1171. Does 7 divide (a/k)/((-10)/90)?
True
Let u(m) = -3*m - 6. Let l(o) = -2*o - 3. Let s(g) = 5*l(g) - 2*u(g). Does 3 divide s(-3)?
True
Let z = -8 + 22. Suppose z*f = 18*f - 684. Is 19 a factor of f?
True
Let q(a) = a**3 - 23*a**2 - a + 4. Is q(25) a multiple of 51?
False
Suppose -3*l = 4*u + 765, 369 = -3*u - 2*l - 206. Let b = 315 + u. Suppose -b = -y - 5*y. Does 12 divide y?
False
Suppose -4*q = -8, h + 1 = -4*q + 11. Suppose r - h*r + 10 = 0. Is r a multiple of 8?
False
Suppose 2*y = 4*z + 42, -2*y = -4*z + y - 37. Does 10 divide (1 + 0)/(z/(-923))?
False
Let c(w) = w**2 - 6. Let o be c(0). Let l(m) = 5*m + 15. Let k(u) = -1. Let h(r) = -2*k(r) - l(r). Is 10 a factor of h(o)?
False
Let d = 43 - 41. Suppose 0 = d*j - 91 + 21. Is j a multiple of 7?
True
Let v = 66 + -171. Let p = v + 172. Is p a multiple of 10?
False
Let y(m) be the third derivative of -5*m**4/24 - m**3/2 - 14*m**2. Does 12 divide y(-15)?
True
Let s(z) = -z**2 + 4*z - 1. Let c be s(4). Let p = 6 + c. Suppose 0 = -w - 2*o + p, 2*w - 22 = 4*o - 2*o. Is 9 a factor of w?
True
Suppose -8233 - 2927 = -10*s. Does 31 divide s?
True
Suppose -z - 2*z = 0. Let c = 22 - z. Suppose 0*p + 2*n = p - c, n - 1 = 0. Is 12 a factor of p?
True
Let h(u) = -u**3 + 3*u**2 + u - 6*u**2 - 5*u**2 - 1 + 23*u**2. Is h(15) a multiple of 7?
True
Let t = -54 + 90. Suppose 3*h - 30 = 3*c, -h - 14 = 4*c + c. Let b = t - h. Is 15 a factor of b?
True
Let k(s) = 1 - 21*s - 3*s**2 + 21*s + 4*s**2. Is k(8) a multiple of 12?
False
Does 49 divide (-2516)/(-51) + 1/(-3)?
True
Let h(p) = 18*p - 23. Is h(8) a multiple of 26?
False
Let n = -52 - -109. Suppose -2*i = -n - 47. Is 15 a factor of i?
False
Let m(r) = r**3 - 11*r**2 - 27*r + 23. Let y be m(13). Suppose -y*o + 188 = -652. Is 7 a factor of o?
True
Let h(r) = -2 + r**2 - 6 - 3*r + 2. Let f be h(5). Suppose w = 3*z + 2*z + 91, z + 269 = f*w. Does 19 divide w?
False
Let a = -2 - -6. Suppose -a*k + 23 = -2*x + k, 3*k - 11 = 4*x. Does 3 divide x - 2 - (-2 - 7)?
False
Suppose 5*u = -1115 + 2920. Suppose -g = -74 - u. Suppose -3*v = 2*v - g. Is 27 a factor of v?
False
Suppose -5*c + 5865 = 7*s - 2*s, s + 1167 = c. Suppose c = 3*x + 7*x. Is x a multiple of 39?
True
Let b(l) = -6*l + 26. Does 15 divide b(-25)?
False
Let g(b) = 15*b - 25. Let l be g(-8). Let n = -9 - l. Is n a multiple of 23?
False
Suppose 236 = -5*g + 666. Let d = g - 2. Does 7 divide d?
True
Suppose -73 = 3*d + 41. Let z = d + 54. Suppose 2*c = x + z, 0*x + 7 = c - x. Is c a multiple of 3?
True
Let n be (-3)/((-54)/(-4)) - (-329)/63. Is 10 a factor of (-1 - (-4 + n))*162/(-4)?
False
Let v = 64 - 68. Does 4 divide 3/((-18)/(-218)) + v/12?
True
Does 4 divide (87/3)/((-19)/(-456))?
True
Suppose 5*i - 4 - 21 = 0. Suppose 92 = 2*y - 0*y - 4*g, 5*y - i*g = 245. Suppose -6*l + y = -4*l. Does 26 divide l?
True
Suppose -922 = -5*y + 53. Does 13 divide y?
True
Let c = 398 - 220. Is 3 a factor of c?
False
Let p(o) = -3*o - 8. Let l be p(-6). Let m(a) = 6*a**2 + l*a**2 - a**3 - 9*a**2 - 6*a + 1. Is m(5) a multiple of 15?
False
Suppose 10*l + 1845 - 5085 = 0. Does 18 divide l?
True
Let p = -640 + 1196. Does 4 divide p?
True
Let x(y) = y**2 - 2*y - 5. Let i be x(-8). Suppose -h = 4*h + i. Let q = h - -46. Does 19 divide q?
False
Let d(x) = -x**3 - 3*x**2 + 3*x + 1. Let g = -10 - -7. Let u be d(g). Let v = 9 - u. Is 4 a factor of v?
False
Let h(b) = 2*b**2 - 41*b - 372. Does 41 divide h(-17)?
False
Let v(x) = 3*x + 9. Suppose -3*h = -10*h + 21. Is 9 a factor of v(h)?
True
Let r be (-2)/3 + (-338)/(-39). Suppose 0 = 3*p - r*p + 2*m + 315, 3*m - 229 = -4*p. Let j = 88 - p. Does 6 divide j?
False
Is 12 a factor of -3*(3 - 2) + 89*3?
True
Let m(j) = 62*j + 17. Is 20 a factor of m(9)?
False
Let g = 34 + 29. Let y be 58/(-7) - (-18)/g. Let v = y - -11. Is 3 a factor of v?
True
Suppose 2*z - 6*b + 12 = -3*b, b = -5*z + 4. Let w(t) = -t**3 - 4*t**2 + 5*t + 4. Let y be w(-5). Suppose n = -4*a + 60, z*a + 60 = y*a - n. Does 3 divide a?
True
Suppose -2*h - 404 = -296. Is 10 a factor of 4 + -7 - 1 - h?
True
Suppose 2*j = -21*j + 2898. Is 10 a factor of j?
False
Suppose 5*n + y - 1368 = 0, 3*n - 4*y - 1305 = -498. Is n a multiple of 39?
True
Suppose -5*a = -2*d, -3*a + 3*d = a. Suppose 2*t - t = a. Suppose -7*b + 12*b - 115 = t. Does 14 divide b?
False
Let b = 9 + 2. Let t = -14 + b. Is 5 a factor of (-13 + -2)/(t/2)?
True
Suppose -3*d - 17 = 4*w, -6*w = -w + 4*d + 20. Let g = 10 + w. Suppose -g*o + 152 = -0*o. Is 21 a factor of o?
False
Let j = 550 + -349. Is 3 a factor of j?
True
Suppose -2*c + 3 = -9. Let w(h) = 6*h**3 - 11*h**2 + 7*h - 8. Let r(b) = b**3 - b**2 + b. Let n(m) = -5*r(m) + w(m). Is n(c) a multiple of 4?
True
Let x(b) = -b**2 - 8*b - 2. Let f be x(-7). Let p(y) be the first derivative of y**3/3 - 3*y**2/2 + 2*y - 1. Is 3 a factor of p(f)?
True
Suppose -2*f - f + 9 = 0. Let v = f + -1. Is v/4 - 20/(-8) even?
False
Let k = -133 + 174. Does 41 divide k?
True
Let z(k) = -k**3 - 5*k**2 - k - 3. Let o be z(-5). Suppose -5*j + w + 3 = -3, 3*j - o*w = -2. Does 19 divide (-2