) = v + 9. Let a be r(7). Suppose 0 = -2*n - 2*d + a, 0*d + 36 = 5*n + d. Does 32 divide 222/n - 14/(-49)?
True
Suppose -75*i = -80042 - 109558. Is 32 a factor of i?
True
Let b = -11270 - -17650. Is 22 a factor of b?
True
Let r(x) = 14*x**2 + 26*x - 7. Let j = -110 + 103. Does 69 divide r(j)?
False
Suppose -8*p + 9*p = -4*m + 20753, m - 5177 = 2*p. Suppose 138*h = 151*h - m. Does 21 divide h?
True
Let n be -17 + 20 + (-1)/(-1). Let a = n + 0. Suppose -a*w + 154 + 258 = 4*h, 2*w + 210 = 2*h. Is h a multiple of 27?
False
Let b(s) = 134*s - 1280. Is 9 a factor of b(24)?
False
Suppose 0 = -17*w - 9*w + 78. Suppose 11*x - 194 = 10*x + 5*m, w*x - m = 512. Is 9 a factor of x?
False
Let k be -1*(4/2)/1. Let b(a) = -2*a**3 + 4*a**2 + 4*a - 1. Is 4 a factor of b(k)?
False
Let y = 2796 + -1120. Suppose -5*q - 5*i + 4210 = 0, 0 = 14*q - 12*q - 2*i - y. Is q a multiple of 60?
True
Suppose -29*r + 7*r - 40*r + 592906 = 0. Does 131 divide r?
True
Let g(p) = 14*p - 193. Let x be g(14). Is 18 a factor of 354*2/4 + x + 0?
True
Suppose -842 + 5930 = 3*j. Is j a multiple of 17?
False
Let v be 2 - (2 - (1 + 1)). Suppose v*x - 10 = 18. Is 10 a factor of ((-72)/14)/((-2)/x)?
False
Let z(o) = o**2 - 4*o + 2. Let x be z(4). Suppose -4*v - 1153 = p + x*p, 5*v + 1446 = p. Let l = v + 499. Is 14 a factor of l?
True
Let v(l) = 2*l**2 - 26*l - 55. Let g be v(20). Let w = g + -41. Does 3 divide w?
False
Let v = 137 - 32. Let z = -97 + v. Is -1*22/(-5)*120/z a multiple of 42?
False
Suppose t + 5*r - 151 = 644, -t = r - 803. Let a = t - 210. Is 17 a factor of a?
True
Let h be (9/6)/(3/4). Suppose 2*l = -x - 862 - 194, h*l + 1056 = 4*x. Let o = -304 - l. Does 33 divide o?
False
Suppose 18*n + 30764 = 120026. Does 87 divide n?
True
Let k be (-5 - -2951)/(-6) + -4. Let c = 405 - k. Is c a multiple of 50?
True
Let q be 0 - (2 - (-6 + 4)). Does 21 divide 467*(q - -5)*1?
False
Suppose -5*l - 29 = 2*v + 26, -v + 11 = -l. Let x(k) = -k**3 - 4*k**2 + 35*k - 12. Let t be x(l). Is 45 a factor of t/35*(-14)/(-2)?
True
Suppose 3*f + 10*y - 6*y - 36 = 0, 5*y + 95 = 5*f. Suppose -3*n + 7*n - w = 704, -4*w = f. Is 35 a factor of n?
True
Let b be (-8)/(-6)*(-9)/(-6). Suppose 5*i = 5*v + 640, b*v - 9 = -v. Is i a multiple of 22?
False
Let y(u) = -59*u - 239. Let x be y(-22). Let f = -233 + x. Is f a multiple of 80?
False
Suppose -5*u - 10 = -5*r, 3*u + 23 = -4*r + 31. Suppose 3*a - 165 + 30 = u. Does 15 divide a?
True
Suppose -332*w - 350*w - 18540 = -697*w. Does 103 divide w?
True
Let g(n) = -n**3 - 20*n**2 - 35*n + 18. Let f be g(-18). Suppose f = 6*z - 269 - 2503. Is 17 a factor of z?
False
Suppose h = 4*w + 39 - 6, 0 = 3*h + 4*w - 19. Does 3 divide (h/(-4))/(10/(-240))?
True
Is (0 - -3207) + (536 - 530) a multiple of 17?
True
Let i be -41 + 41 - (0 + -2). Suppose 169 = i*j + 2*f - 3441, -f = -5. Is 50 a factor of j?
True
Does 18 divide (-141983)/(-82) - (-3)/(-6)?
False
Let j be 1/(3 + (-35)/10). Is 24 a factor of 3/j*(5154/(-18) - -5)?
False
Let k(s) = -32*s + 6. Let x be k(9). Let z = 858 + x. Is z a multiple of 36?
True
Suppose -134*g = -144*g + 50. Suppose g*c = u - 80 - 88, u - 196 = -2*c. Is 47 a factor of u?
True
Suppose -228*v - 665 + 231857 = 0. Is 39 a factor of v?
True
Suppose 73*z - 69*z + 3296 = w, 3*z = 2*w - 6582. Is 24 a factor of w?
True
Let c(j) = -5*j**2 - 11*j + 10. Let a(r) = r**2 + r + 1. Let f(x) = 4*a(x) + c(x). Let z be f(9). Let m = 305 + z. Is 13 a factor of m?
False
Suppose -23878 - 31745 = -79*g + 41784. Is g a multiple of 7?
False
Let l = -632 + 972. Let z be (l/16)/(1/4) + 3. Let t = z - -4. Is t a multiple of 16?
False
Let z(r) = r**2 - 2*r - 12. Let w be z(7). Suppose -k + 89 = -w. Let n = -78 + k. Is n a multiple of 30?
False
Suppose -v = -2*r + 37466, 0 = 14*r - 9*r + 5*v - 93665. Is r a multiple of 95?
False
Let w(z) = -17*z - 4. Suppose -3*k + 4*k = -11. Let a(g) = g**2 + 10*g - 12. Let b be a(k). Is w(b) a multiple of 7?
False
Let f(s) = 35*s**2 - 26*s - 263. Does 23 divide f(-8)?
True
Suppose 2*z - 21 = -2*z + 3*l, 0 = z + l. Suppose -z*g = -10*g + 378. Is g a multiple of 9?
True
Suppose 0 = -63*a - 30*a + 956040. Is a a multiple of 40?
True
Suppose -10*o + 42 = 12. Suppose k - 4*p = 78, p = o*p + 6. Does 10 divide k?
False
Let g = 11456 - 10241. Does 9 divide g?
True
Let t(o) = -6 + 5*o + 1 + 1 + 25*o. Let h be t(7). Let w = -113 + h. Is 9 a factor of w?
False
Let h(a) = 4*a**2 - 2*a + 3. Let x be h(1). Suppose -x*l = 2 + 38. Let v(r) = -12*r - 12. Is 12 a factor of v(l)?
True
Let i(x) = 20*x + 115. Let u be i(10). Suppose -4*w + 162 = t - 657, -4*t = 4. Let m = u - w. Is 22 a factor of m?
True
Let u = -14592 + 23286. Does 18 divide u?
True
Let c = -51 + 62. Suppose s - c + 7 = 0. Is 5 a factor of (30/4)/(2/s)?
True
Suppose 0 = 56*p - 60*p - 8. Does 10 divide p/30*-12*(-175)/(-2)?
True
Let f(j) = 5*j**2 + 23*j**2 - 77 + j**2 - 5*j - 28*j**2. Is 18 a factor of f(-10)?
False
Suppose -28*k + 16740 = 34*k. Is 18 a factor of k?
True
Suppose 38 = -7*w + 94. Let v(n) = -n - 8. Let y be v(-7). Let g = w - y. Is g even?
False
Let j = 39 + -37. Let q be (226/10)/(j/10). Suppose 357 = 5*y - q. Is y a multiple of 19?
False
Let o(a) = a**2 - 24*a + 22. Suppose -2*g = -0*l + 4*l - 36, l = -g + 22. Is 5 a factor of o(g)?
False
Let q(j) = -59*j + 1728. Does 15 divide q(-48)?
True
Suppose 0 = 3*i - i + 2, 4*h = -5*i + 67. Let n be ((-27)/h)/(2/(-4)) + 8. Suppose 4*g - n*g = -630. Is g a multiple of 18?
True
Does 6 divide 35/(280/17536) - -16?
True
Suppose 5*s - 5*n + 505 = -125, 0 = -5*s + 4*n - 632. Let w = 629 + s. Does 6 divide w?
False
Let j = -7243 - -22373. Is 178 a factor of j?
True
Let g(r) = 10275*r - 226. Is 37 a factor of g(3)?
True
Let y = -107 - -112. Suppose -y*q = g - 44, 3*g = g - 2. Does 5 divide q?
False
Suppose 9 = 4*y + 3*j, -3*j = -y - 6*j - 9. Suppose -1428 = y*s - 13*s. Does 68 divide s?
True
Suppose -3*h + 5*h = 14. Suppose 0 = -4*x + c + 33, -2*x + 4 = 5*c - h. Suppose x*j - 428 = 212. Is 22 a factor of j?
False
Let a(b) = 225*b - 267. Let s be a(7). Let g = 1858 - s. Is g a multiple of 11?
True
Let n be 14*1/(-2)*3. Let b be 0/((-7)/(n/(-9))). Suppose -6*r = -b*r - 708. Is 14 a factor of r?
False
Let g = -185 + 319. Suppose 0 = -146*p + g*p + 15840. Is p a multiple of 24?
True
Suppose 4*r - 14589 - 14702 = -5*u, 2*r - 23440 = -4*u. Is u a multiple of 7?
False
Let l(j) = -881*j + 63. Let p be l(2). Let h = p - -2899. Is 48 a factor of h?
True
Let h(y) = 2*y**2 + 12*y - 34. Let p be h(-8). Is 14 a factor of (25/p)/(-5)*(172 - 6)?
False
Let c = 1572 + -251. Let l be ((-2)/5)/(c/(-165) - -8). Suppose l = 4*g + 3*i, -16 = 3*g + 3*i - 67. Is g even?
False
Let o = 114 + -105. Suppose 0 = -5*j - 3*k + 282, o*j = 14*j + 5*k - 280. Does 10 divide j?
False
Suppose 44*w - 41*w - 15 = 0. Suppose -j + 116 = -w*b, -j + b + 76 = 4*b. Is 35 a factor of j?
False
Suppose 0 = -20*v + 49*v - 30450. Is v a multiple of 30?
True
Suppose -271*q + 312*q = 325458. Is q a multiple of 126?
True
Let k be ((5 - 240) + -9)/(2/(-4)). Suppose -5*w = -10, 0*r = 2*r + 4*w - k. Is 6 a factor of r?
True
Let h be (-40)/(-5 + 10)*(-33)/4. Suppose 5*w = -5*f + 535, -h = -w + 2*f + 44. Suppose -w = -2*o + 22. Does 19 divide o?
False
Let t = -4 + 1568. Let h = t + -548. Does 41 divide h?
False
Let v = 497 + -490. Is 69*v/((-42)/(-18)) a multiple of 36?
False
Suppose 4*l - 2*f - 972 = 3*l, 4*f = 3*l - 2912. Suppose -25*k + l = -14*k. Is 4 a factor of k?
True
Is (3 - (-12)/27*-318)/(45/(-54)) even?
True
Let m(h) = 4*h + 8. Let d be m(4). Does 43 divide (1274/4 + 2)/(d/48)?
False
Let s(x) = -9*x**2 + 246*x + 55. Is 5 a factor of s(23)?
False
Let o = -51 - -59. Let b be 71*(-5 + o + -1). Suppose b = 5*i - 143. Does 7 divide i?
False
Let r(q) be the third derivative of 3*q**4/8 - 13*q**3 - 41*q**2. Is r(19) a multiple of 29?
False
Suppose -97*l = -47*l - 89300. Is l even?
True
Let t(r) = 2*r**3 - 124*r**2 + 37*r + 1798. Does 96 divide t(66)?
False
Let v(b) = b**3 - 8*b**2 - 6*b + 10. Suppose 9*y = -y + 90. Is 2 a factor of v(y)?
False
Suppose 0 = -10*t + 12*t - 20. Suppose 11*l = 6*l + t. Suppose 0 = c + 5, -l*c + 10 = k - 4. Is k a multiple of 21?
False
Let m = -6379 + 16711. Suppose -11*c = c - m. Is c a multiple of 9?
False
Let h = -114 + 115. Let f(q) = 2*q. Let x(l) = 17. Let n(