et z = g - 45. Is (-1900)/(-45) - 4/z a multiple of 14?
True
Let z(g) = -2*g**3 - 13*g**2 + 5*g - 14. Let u be z(-7). Suppose u = 2*l - 5*n - 98, 7*n - 49 = -l + 8*n. Is 10 a factor of l?
False
Suppose 0 = -3*d - 3*d + 74346. Suppose 7*j + 4530 = d. Is j a multiple of 68?
False
Let t(o) = 4*o**2 - 38*o + 16. Let w be t(11). Let p = w - 80. Is (-436)/(-8) - p/4 a multiple of 9?
True
Let b(x) = -x**3 - 4*x**2 + 13*x - 16. Let w(o) = o**2 - 15*o - 42. Let j be w(17). Let s be b(j). Let p = s - 93. Is 7 a factor of p?
False
Let u be (-52)/(-20) - ((-18)/(-5))/6. Suppose 4*d - 4*t + 896 = 0, 7*d = 5*d - u*t - 432. Let h = -129 - d. Is 9 a factor of h?
False
Suppose 43*t - 204 = 47*t. Let u be 129/7 - t/(-119). Suppose -u*q + 512 = -16*q. Does 39 divide q?
False
Let z be (-2)/6 - (-11)/33. Suppose 2*d - 5*d + 768 = -3*b, z = d - 4*b - 247. Does 14 divide d?
False
Suppose -3*u - 640 = -6*u - 406. Is u a multiple of 3?
True
Let b(m) = 5*m + 26. Let a be b(-10). Let k be a/(-40) - (544/(-10) + 2). Suppose k = 4*u + 5*n, 0*n = -u + 3*n + 9. Does 4 divide u?
True
Suppose 16*p - 3662 = 4530. Suppose -7*q - p = -9*q. Is 8 a factor of q?
True
Suppose -2*s = 2, -9*d = -4*d + 2*s - 21078. Is 101 a factor of d?
False
Suppose 3*a - 15 = 0, -8*j + 5*a = -5*j - 12746. Is j a multiple of 238?
False
Let w(a) = -3*a**2 + 11*a + 655. Let f be w(-12). Let y be 3*15 + (0 - 0). Let p = y + f. Is 61 a factor of p?
False
Let t = 458 + -116. Let o be (t/8)/((-6)/32). Let c = o - -396. Is c a multiple of 36?
False
Let n = -14 + 16. Suppose 4*g = 3*g + n. Suppose g*k = -k + 168. Does 28 divide k?
True
Does 8 divide (39 - ((-2)/2 - -2))/((-12)/(-48))?
True
Let i be (70 + -58)*(16/(-6) + 1). Let t be (i/1)/((-3)/300). Suppose -15*o + t = -7*o. Is o a multiple of 14?
False
Suppose -571710 = 101*y - 56*y - 330*y. Does 34 divide y?
True
Suppose -14 = -3*f + 28. Let o be 0 + -4 + (f - -147). Suppose 4*n - 53 = -d, 0*d - o = -4*d - 5*n. Is 11 a factor of d?
True
Suppose 5 = -16*x + 17*x. Suppose -x*b + 2*h + 180 = 0, -4*b + 77 = -5*h - 84. Is b a multiple of 17?
True
Does 58 divide (-122960)/(-160)*(1/5 + 19/5)?
True
Let b = -52 - -88. Let x = -60 + b. Is x/(-6)*((-2)/(-2) - -4) a multiple of 10?
True
Suppose -21*b + 939 - 897 = 0. Let d = -64 - -109. Suppose 4*u = 2*n - d + 225, b*u + n = 86. Is u a multiple of 4?
True
Suppose 0 = -79*g + 92616 + 131905 + 95271. Is 11 a factor of g?
True
Let l(c) = 5*c**3 - 10*c**2 + c + 10. Suppose 2 - 3 = m. Let x(h) = h**3 + 1. Let r(s) = m*l(s) + 4*x(s). Is r(8) a multiple of 19?
True
Suppose -6*y + 27 = 3*y. Suppose -3*x - 2*d - y*d = -54, 3*x - 4*d - 27 = 0. Is (x - 100)/(6/(-10)) a multiple of 31?
False
Let m(p) = p**3 + 11*p**2 + 18*p - 35. Let i be m(-9). Is (-23429)/i - (-6)/(-15) a multiple of 36?
False
Suppose -2*n - 2*p - p + 884 = 0, 2*p = -n + 443. Let x = n - 184. Is x a multiple of 15?
True
Let p(h) = -74*h + 18. Let l(d) = -122*d + 35. Let n(y) = -3*l(y) + 5*p(y). Suppose 0 = 2*m - 6, -2*x + 26 = -3*x + 5*m. Does 7 divide n(x)?
False
Suppose 3*w - l = 18, -w - 2*l = -0*w + 1. Let g = 5792 - 5773. Suppose a - 42 = -z + g, a - w*z = 31. Does 7 divide a?
True
Suppose 3*j = -6*b + 3*b + 6, 5*j + 2*b = 22. Is 14 a factor of (-1)/((-572)/1680 - (-2)/j)?
True
Does 115 divide 353339/49 + (0 - (-2 - -7))?
False
Let n(p) = 5*p**2 - 48*p - 42. Does 81 divide n(-19)?
False
Suppose 15 = -4*k - 5*j + 93, -42 = -2*k - 4*j. Let b be ((-5)/(-1))/((-1)/k). Let t = 149 + b. Is 8 a factor of t?
True
Let v(x) = -2*x**3 - 8*x**2 + 2*x - 4. Let m be v(-6). Suppose -2 = -i, -365 - m = -3*u - 2*i. Is 32 a factor of u?
False
Suppose -2*i + 9 = i. Suppose -24*m + 15*m = -27. Suppose 54 = u - m*g, -i*u = -3*g + g - 176. Does 9 divide u?
False
Let l(b) = 4*b**3 + b**2 + b + 4. Suppose -a - 16 = -d - 8, 8 = -d - 3*a. Suppose -5*n + d = -6. Is 7 a factor of l(n)?
True
Is (3/(-8)*6)/((-68)/685984) a multiple of 18?
True
Suppose -4*j - 12 = -5*l, -j - 3*l - 2*l = -22. Let z be (j/11)/1 - 277/11. Let i = z - -56. Is 6 a factor of i?
False
Let s(u) = -u**3 + 31*u**2 - 21*u + 21. Is s(-9) a multiple of 15?
True
Suppose -2253496 = -292*t + 834404. Does 47 divide t?
True
Suppose -57*n + 232614 = -176931. Is n a multiple of 5?
True
Let d be (-1)/((-4)/(-2*6)) + 3409. Let v = 844 - d. Does 15 divide (v/(-18) - 5) + (-2)/6?
False
Suppose -76*m - 76833 = -852 - 465481. Is m a multiple of 125?
True
Let j(x) = -x**2 + 23*x + 87. Let h be j(25). Suppose m - 2*m = 2*f - 25, 5*m - 86 = 3*f. Let o = h - m. Is o a multiple of 9?
True
Let h be (-2*6/8)/(42/(-84)). Suppose h*q - 1035 = -5*s, 4*s + 9*q - 835 = 8*q. Is s a multiple of 23?
False
Let g(a) = -105*a + 1655. Is g(-44) a multiple of 25?
True
Let g be (-18)/(-22) - 3*2/(-33). Let t = -8 + 10. Suppose t*k = -g + 85. Is 10 a factor of k?
False
Let n(m) = 13*m - 402. Let r be n(31). Does 10 divide (1 + r)*22 - (-4)/(-1)?
True
Is 29 a factor of 580/6*(-1 - 854/(-35))?
True
Let g = 43 - 39. Suppose -5*q + 13 = g*t, -t + 2*t = -3*q + 12. Suppose 2*w - q*x + 33 = 161, 3*w - 4*x - 178 = 0. Is 19 a factor of w?
False
Let v be 1*-1 + (270 - 9). Suppose 2*x + 10 - 2 = 0. Is 7 a factor of v/6 + x/3 + 2?
False
Let y be (-1219)/4 + (-22)/88. Let j = -152 - y. Is j a multiple of 9?
True
Let l(h) = -47*h - 251. Is 61 a factor of l(-78)?
False
Let s(x) = -51496*x + 704. Does 180 divide s(-1)?
True
Let b(n) = 30*n**3 - n**2 + 36*n - 20. Let a(z) = 10*z**3 + 12*z - 7. Let d(h) = -8*a(h) + 3*b(h). Is 32 a factor of d(3)?
False
Let f = -6406 + 6568. Is 25 a factor of f?
False
Let s(j) = -140*j + 347. Let o be s(6). Let f = 523 + o. Does 6 divide f?
True
Suppose -17*g = -14*g. Suppose g = 2*j - 48 - 102. Is 21 a factor of 10/j - 1732/(-60)?
False
Let m(x) = -2*x - 8. Let v(c) = -4*c**3 + c - 2. Let f be v(1). Let s be m(f). Suppose -s*l + 38 = -14. Is 8 a factor of l?
False
Is (22422/1 - -13) + -7 a multiple of 22?
False
Suppose 113328 = 3858*k - 3822*k. Is 110 a factor of k?
False
Is 16 a factor of (1*(0 - 608))/((-36)/2034)?
True
Let n(c) = 6615*c**2 + 106*c + 204. Is n(-2) a multiple of 11?
False
Suppose h - 123*v + 120*v - 18501 = 0, 3*h - 4*v - 55493 = 0. Does 177 divide h?
False
Let t be ((-104)/6)/((-22)/(-99)). Let h be (-13)/(t/408)*(-2)/(-4). Let k = h + -8. Is 6 a factor of k?
False
Suppose -2*c + 7 = 5*b - 3, -20 = 5*b - 4*c. Suppose 0 = 2*v - 5*h - 36, -4*v - 4*h = -b*h - 44. Is v a multiple of 11?
False
Let r(g) = 126*g + 53. Let l be r(-2). Suppose -7*a + 1445 = -2*a. Let z = l + a. Is z a multiple of 18?
True
Let y(b) = -2*b**2 + 4*b - 7. Let x be y(2). Let c(h) = -h**3 - 5*h**2 + 8*h + 4. Let f be c(x). Let k = f - -70. Is k a multiple of 26?
False
Does 3 divide (3 + 49)*(-414)/(-36)*16?
False
Let f(i) = -9*i**3 - 20*i**2 - 187*i + 41. Is f(-7) a multiple of 11?
False
Let n = 10453 + -5389. Is n a multiple of 70?
False
Suppose 259*a - 134*a - 1015139 + 294389 = 0. Does 14 divide a?
False
Let n(o) = -28*o + 5325. Is n(-105) a multiple of 57?
True
Let w(r) = r**3 - 5*r**2 + 5*r - 3. Let v be w(6). Suppose -v + 55 = -4*g. Suppose 3*k = g*k + 60. Is 15 a factor of k?
True
Let w(t) = 9*t + 39. Let l be w(-4). Suppose 1007 = 4*u + p, -531 = -l*u + u + 5*p. Is u a multiple of 11?
True
Let v(z) = -z**3 + 7*z**2 - 6*z + 3. Let u = 10 + -4. Let w be v(u). Is ((-50)/6)/(w/(-9)) a multiple of 5?
True
Let y = -1367 + 2102. Let r = -684 + y. Is 11 a factor of r?
False
Suppose 5*n - 2111 = 3*k, 0*n + 2*k = -4*n + 1702. Let g = n + -325. Is g a multiple of 39?
False
Let p(w) = 6922*w**3 + w**2 + w. Does 9 divide p(1)?
False
Let p(r) = 92*r**2 - r + 1493. Does 43 divide p(0)?
False
Let p = -76 + 85. Suppose 0 = -p*t + 8*t + 5. Suppose 5*f + l + 0*l = 55, 0 = -l + t. Does 10 divide f?
True
Let y(o) = 13*o**2 - 6*o. Let t be y(-6). Suppose 4*p - t = -c - 4*c, -c + 2*p + 98 = 0. Let z = -91 + c. Does 5 divide z?
False
Let p(g) = 3*g**2 + 15*g + 3. Let u be p(-5). Suppose 2*v + u*v = 1100. Is v a multiple of 11?
True
Let o(w) be the first derivative of 8*w**2 - 22*w + 1. Suppose -p + 2 = 2*b, p - 5*p + 5*b = -21. Does 5 divide o(p)?
False
Suppose 48945 - 388473 = 12*c - 141*c. Is c a multiple of 11?
False
Let p be 33*(-5)/(-135) + 4/(-18). Let a be -1 - p - 2*-5. Is 5/20 + 158/a a multiple of 20?
True
Suppose 1256*k - 1322*k + 528528 = 0. Is 