 of x?
False
Suppose 50*v - 1624640 = -9*v - 510897. Is v a multiple of 43?
True
Suppose 2794 = 5*j + 4*z, -2792 = -5*j - 9*z + 7*z. Suppose 170*p = 179*p - j. Does 8 divide p?
False
Let c(d) = -d**3 + 17*d**2 - 11*d - 35. Let v = 140 + -124. Is c(v) a multiple of 15?
True
Let t = 48 - 43. Suppose c - 11 = -c - 3*w, 5*c + t*w - 15 = 0. Let s = c - -61. Is s a multiple of 8?
False
Let v(o) = -o**3 - 6*o**2 - 10. Let m(c) = c**3 + 5*c**2 - c + 11. Let w(j) = -5*m(j) - 6*v(j). Let k(q) = -12*q + 31. Let d be k(3). Is w(d) a multiple of 8?
False
Let a = 3464 - 1503. Suppose -5*m - a = 1369. Is 40 a factor of m/(-8) - 2/8 - 3?
True
Let d(n) = 119*n - 204. Let z(l) = -l + 3. Let p(m) = -d(m) - 102*z(m). Is 19 a factor of p(-23)?
False
Suppose 5*l = 11*l - 18. Suppose 10 = 5*b, -l*y + 3*b - 94 = -5*y. Suppose 4 = -h + 3*g + y, h - 2*g - 44 = 0. Does 17 divide h?
False
Let f(p) = p**2 + 12*p - 11. Let v be f(-13). Suppose 0 = 2*a + v*a - q - 813, -3*a - 3*q = -591. Does 15 divide a?
False
Let z be ((-6)/(-8))/(4/48). Suppose 2*y + z = 33. Does 12 divide (y*-6)/(2 + -1)*-4?
True
Let q = 64 + 184. Suppose 0*n - 4*h = 5*n - q, 5*n + h - 242 = 0. Is 6 a factor of n?
True
Suppose 0 = 41*x - 300 - 151. Suppose -6*s + x*s - 551 = -m, -2*m + 1096 = 4*s. Is m a multiple of 14?
True
Let z(t) = 56*t**2 - 2*t + 2. Let w(m) be the second derivative of m**4/12 + m**3 + 3*m**2 - 19*m. Let j be w(-5). Is 7 a factor of z(j)?
True
Let b(f) = 113*f + 12. Let x(y) = -4*y + 42. Let z be x(10). Is b(z) a multiple of 31?
False
Suppose 727731 = 31*k - 278715. Does 161 divide k?
False
Let d(t) = 442*t + 7262. Does 6 divide d(7)?
True
Let g = 472 - 165. Suppose -3*y + 2*y = -g. Suppose 4*l + 47 - y = 0. Is 6 a factor of l?
False
Let n(s) = -s**2 - 10*s - 21. Let z be n(-4). Is 11 a factor of 43 + 0 - (z + -8)?
False
Suppose 15*w - 47*w - 84*w + 4525160 = 0. Is 30 a factor of w?
False
Let z = 1789 + -79. Is z a multiple of 38?
True
Let v(l) = l**2 + 21*l + 23. Let b be v(-19). Let i be (-3)/4*(-12)/b*-15. Suppose 264 = i*q - 5*q. Is q a multiple of 16?
False
Suppose 6*r = 30 + 30. Let v(w) = w**3 - 9*w**2 - 6*w + 26. Is v(r) a multiple of 22?
True
Let w = 1904 - -910. Does 35 divide w?
False
Let b(l) = -2*l**2 + 9*l. Let h be b(4). Let i(z) = -18*z - 84. Let x(f) = -19*f - 84. Let j(v) = h*i(v) - 3*x(v). Does 21 divide j(-14)?
True
Suppose -24 = -b + 2*b. Let a(n) = -10 - 2*n - 6 - 5*n - 16 - 16. Is 24 a factor of a(b)?
True
Let w(n) = 7*n - 11. Let b(x) = -x + 1. Let f(q) = 6*b(q) + w(q). Suppose 240 = -3*c + 270. Does 5 divide f(c)?
True
Let z(x) = 95*x**3 + 10*x**2 - 39*x + 21. Is 17 a factor of z(5)?
True
Is -4*1 + ((-12397)/2)/(98/(-196)) a multiple of 9?
True
Let h be (-2)/(-3) + 10/3. Let u = 1456 + -1453. Suppose h*y - 3*z - 114 = 14, 71 = u*y + 4*z. Is 7 a factor of y?
False
Let v(s) = -s**3 + 6*s**2 + 156*s - 14. Let x be v(-10). Suppose 0*a + 4*a = 664. Let q = a - x. Is 20 a factor of q?
True
Suppose 72*i - 451704 = 6*i. Is 40 a factor of i?
False
Let z(f) = 559*f**2 + f. Let u be z(-1). Suppose -2*b - 4*b = -u. Does 18 divide b?
False
Suppose 103 - 40 = -7*r. Let g(s) = s**3 + 11*s**2 + 9*s + 19. Does 26 divide g(r)?
False
Let h be ((-20)/25)/((-4)/10). Let y be 2/(h/(-8) + (-54)/(-184)). Let j = y - 41. Is j even?
False
Suppose -43*y - 90 = -37*y. Does 10 divide (-2694)/(-10) - ((-21)/y - 2)?
True
Does 89 divide 98974/17 + -1 + (-6)/1?
False
Let n(y) = -63*y + 70 - 176*y**2 - 14*y - 176*y**2 + 351*y**2. Is 44 a factor of n(-31)?
True
Suppose -4 = -4*r + 2*x, -2*x - 24 = 4*r + 3*x. Is 16 a factor of r + (1 - -681) + 7?
True
Let y(z) = z**2 - 18*z - 29. Let c be y(20). Suppose -c*w + 6210 = -2*w. Does 10 divide w?
True
Suppose 0 = -72*x + 19*x + 159. Suppose -b - 4*i = -508, 4*b + i = x*b + 502. Does 5 divide b?
True
Suppose 16*s = 2*s + 21*s - 14931. Is s a multiple of 9?
True
Suppose 2*f + y + 4 = -3, 5*y = 15. Let l(n) = n**3 - 10*n**2 + 7*n + 2. Let g be l(8). Let u = f - g. Is u a multiple of 12?
False
Let b(j) = j**2 - 10*j + 26. Let z be b(6). Suppose -2*u + c + 269 = 2*u, -4*c - 124 = -z*u. Does 17 divide u?
True
Let y be -156 - ((-2 - -6) + -4). Is 11 a factor of (-24)/y - 5575/(-13)?
True
Suppose 0 = -581*a + 559*a + 66880. Is 7 a factor of a?
False
Suppose -21*r - 34 - 92 = 0. Does 14 divide (-18)/r + -6 + 283?
True
Let l be (8/(-6))/(8/(-36)). Suppose 12 = -2*v + l*v. Suppose -135 = -v*b - 0*b. Does 7 divide b?
False
Suppose 5*p - 22391 - 71673 = 3*r, -5*r = -4*p + 75272. Is 33 a factor of p?
False
Let q = -42 + 60. Does 8 divide q + -22 + 460 + 1?
False
Let q be -2 + (-15)/(-9)*3. Suppose -1144 = -4*x + 3*f, -3*f - 173 - 682 = -q*x. Does 26 divide x?
False
Let o = -7613 + 11980. Does 117 divide o?
False
Let p(x) = -x**2 + 9*x. Let u be p(2). Let r(t) = -t**2 - 2*t + 5. Let d be r(-4). Let n = d + u. Does 11 divide n?
True
Let z = -13 + 12. Let s be (-3)/((3/z)/(1 + 1)). Suppose 63 = 5*j + s*j. Is 9 a factor of j?
True
Let y(d) = -2*d**3 + 8*d**2 - 2*d - 7. Suppose -6 + 0 = -2*g. Let a be y(g). Let h(v) = v**3 - 4*v**2 - 3*v + 17. Does 17 divide h(a)?
False
Let u = -95 + 47. Let g = 120 + u. Does 8 divide 12708/g - (-1)/2?
False
Suppose -2*l - 12 = q - 5*q, 3*q = l + 10. Let f be ((-1)/(-5))/(10/2450). Suppose -l*h = -f - 5. Is 9 a factor of h?
True
Let o(i) = 11*i + 120. Let h be o(-11). Does 16 divide h/(-3) + 9652/114?
False
Suppose 4*a + 93 = 3*u, a - 7*u = -3*u - 20. Let z(n) = -n**3 - 23*n**2 + 29*n + 60. Let h be z(a). Does 8 divide 240/2*h/(-50)?
True
Let t(g) = 49*g**2 - 12. Suppose 27 = 4*x + 47. Does 16 divide t(x)?
False
Let x be (2 - 1)/((-7)/(-182)). Suppose -217 = -6*y + 119. Suppose -x*t + 25*t + y = 0. Is t a multiple of 8?
True
Let b(f) = -2*f**2 + 4*f + 3. Let j be b(-3). Let x = -7312 + 7200. Let t = j - x. Is 10 a factor of t?
False
Let a(y) = 3*y**2 - 42*y - 302. Is a(88) a multiple of 163?
True
Suppose 3*a - 15 = l, 5*a + 4*l - 2*l = 14. Let s be 0*a/28*(-1)/(-1). Suppose 0 = -s*w - 4*w + 76. Does 19 divide w?
True
Suppose 0 = -5*w + 283 + 322. Suppose 0 = 166*v - 233*v + 12194. Let t = v - w. Does 5 divide t?
False
Suppose -238*z + 5 = -233*z, 3*m - 112051 = 2*z. Is m a multiple of 41?
True
Let f(j) = 5*j**2 + 93*j - 5. Suppose -5*w - 301 = -48*w. Does 34 divide f(w)?
False
Let i(u) = -26*u - 9. Let v be i(-2). Suppose -v*f + 10 = -41*f. Let g(o) = 25*o - 21. Does 13 divide g(f)?
True
Let h = 30 - 51. Let a be (h/14)/(3/(-10)). Suppose -a*l - 23 = -223. Is l a multiple of 8?
True
Suppose 1499 = 5*m - 1101. Let n = -467 + m. Does 20 divide n?
False
Let c(v) = -614*v + 424. Is c(-12) a multiple of 44?
False
Suppose 0 = 6*f - 7*f + 7. Suppose -5*v + 12 = -f*v. Is ((-18)/(-4))/(v/(-60) - 0) a multiple of 9?
True
Suppose 4*s + 2*b = -2126, -5*s + 280 = 3*b + 2940. Let u = 753 + s. Is 42 a factor of u?
False
Does 7 divide (-1596)/95*1240/(-3)?
True
Suppose 6*z + 40 = -2. Let b(i) be the third derivative of i**6/120 + 3*i**5/20 + 5*i**4/12 + i**3/2 - 2*i**2. Does 19 divide b(z)?
False
Suppose -158*t + 52*t + 8346856 = 108*t. Is t a multiple of 131?
False
Is (12 - (10 - -6))*(-851)/2 a multiple of 23?
True
Let k(p) be the third derivative of 1/60*p**5 + 10*p**2 + 0 + 2/3*p**3 + 1/60*p**6 + 0*p - 1/8*p**4. Does 8 divide k(2)?
False
Let g be 1/((-25)/(-4) - 6). Suppose -183 = -g*x + 2*x - 3*p, x + 2*p = 94. Does 12 divide x?
True
Let n be ((-6)/(-15))/((-3)/45). Let h be (-1 - -1)/(n/(-2)). Suppose 2*d + 18 - 158 = h. Does 12 divide d?
False
Let j(k) be the second derivative of -14*k**3/3 + 5*k**2/2 + 12*k - 2. Let x be j(-3). Suppose -7*f + 229 = x. Is f a multiple of 20?
True
Suppose 43680 = 65*p - 53*p. Does 52 divide p?
True
Suppose 7*r = 8*r - 5, -2*r = -2*z + 14. Let y be 30/z - (-12)/8. Suppose -y*f - 4*t + 8*t = -272, f - 64 = 5*t. Does 4 divide f?
False
Suppose 0 = 7*r - 4345 - 7975. Does 40 divide r?
True
Let g be (-2 + (-92)/(-6))/((-38)/(-2622)). Suppose 7*x = g + 1012. Is 24 a factor of x?
False
Let d be 2/8*10*144/90. Suppose 15 = 5*g, -d*y + g + 78 = -y. Is 9 a factor of y?
True
Let q be (79/(-158))/(2/(-20)). Suppose o + 1205 = q*m, -7*m = -5*m + o - 475. Is 4 a factor of m?
True
Suppose -24 = -6*m + 18. Let f = -131 + m. Let c = f + 217. Is c a multiple of 22?
False
Let x be 2451/9 - (-13)/(-39). Let i = x + -156. Does