/346). Suppose -3*w + 981 + 242 = -2*z, 3*w - i = 4*z. Does 5 divide w?
False
Suppose 9*f = 13*f + 3*q + 14, f - 1 = -3*q. Does 3 divide (-171)/(-6)*(-4)/10*f?
True
Suppose 86*u + 149387 - 765343 = -32102. Does 8 divide u?
False
Let j(r) = -2*r - 3. Let g be j(-6). Suppose -5*l + 17 - 2 = 0. Suppose g + l = o. Is o a multiple of 2?
True
Suppose -9356 - 8820 = -45*s + 1624. Does 55 divide s?
True
Let u be (1 - 2088/(-4)) + -4. Let s = 759 - u. Is 5 a factor of 32/s - 206/(-30)?
False
Let r(a) = -6*a**3 - 6*a**2 + a + 68. Let u(x) = -x**3 - x**2 - 10*x - 6. Let p be u(0). Is 18 a factor of r(p)?
False
Let u = 80313 - 19941. Does 27 divide u?
True
Suppose -87*i = 14*i - 263408. Does 60 divide i?
False
Let z = 15 - 24. Let y be 4/10 - z/(-10)*-4. Suppose -3*j = -y*v - 0*v + 203, -v + j + 52 = 0. Is 19 a factor of v?
False
Let d be 1/(-3) + (-38)/(-6). Let n be ((-8)/d)/((-1563)/(-261) + -6). Suppose -3*x + n = -124. Is x a multiple of 20?
True
Suppose 2*q - 8 = -3*s + s, 5*q - 20 = 0. Let a be -3 + 0/3 + (3 - s). Suppose -3*w - w + 448 = a. Is w a multiple of 16?
True
Let p(t) = -2*t**3 + 15*t**2 - 14*t - 21. Let m be p(10). Let d = 1101 + m. Does 44 divide d?
True
Let t be 2*2 + (-20)/10. Does 3 divide 2/((t/145)/((-4)/(-20)))?
False
Suppose 9*i - 4494 = -3*j, -2504 = -5*i - 29*j + 31*j. Is i a multiple of 50?
True
Let w(s) = -4*s - 8. Let n(r) = r - 14. Let v be n(9). Let c be w(v). Let h = c - -54. Is h a multiple of 22?
True
Let c(v) = -2*v**3 - 6*v**2 - 14*v - 9. Let m be -4 - (-5 - (-36)/8)*-2. Is 7 a factor of c(m)?
True
Let a = -840 - -1444. Suppose -4*m + 2*o = -2*o - a, 0 = 2*m - 3*o - 306. Is 7 a factor of m?
True
Suppose -2 = 12*w - 50. Suppose 0 = w*t - 11*t - 2*t. Suppose t*v - z + 234 = 3*v, -4*z + 12 = 0. Is v a multiple of 11?
True
Let j be (-15)/(-3) - (3080/(-7) - 6). Let k = j + 84. Does 33 divide k?
False
Let x(w) = 23*w**3 + w**2 + w. Let z be x(-1). Let d = -22 - z. Let s(c) = 79*c + 1. Is 23 a factor of s(d)?
False
Suppose -318299 = -46*s + 454604 - 153651. Is 53 a factor of s?
True
Let c be (-384)/(-10) + (-20)/50. Suppose 5*a + 2*p = -c, 0*a + a + 22 = -4*p. Is 27 a factor of 12/a + (2 - 2 - -145)?
False
Let l be (-1)/(1 - 2) - 1. Suppose 4*y - y - 1098 = l. Is 61 a factor of y?
True
Does 6 divide (-133824)/(-6970)*(1028 + 0 + (-2)/4)?
True
Let m = -63 - -67. Suppose 4*b + 5*o + 3 = b, 4*b + o + m = 0. Does 37 divide (5/10)/(b/(-518))?
True
Let y(l) = 72*l**2 + 381*l - 3828. Is y(10) a multiple of 39?
False
Let a be ((-190)/25 - -6)/((-1)/5). Let w(c) = 27 + 0*c - c + 2*c - 3. Is w(a) a multiple of 5?
False
Let a(x) = 42*x + 102. Is a(75) a multiple of 97?
False
Let t = 7125 + -3585. Is t a multiple of 59?
True
Let s(h) = 115*h - 35. Suppose -26*y + 6 = -3*a - 23*y, -a - 3*y = -14. Is 11 a factor of s(a)?
False
Let y = 53 - 28. Let f(l) = 4*l + 2*l + 12*l**2 + y - 15*l - 3*l. Is 11 a factor of f(3)?
False
Suppose 20*k + 880 = 10*k. Let v = -111 - k. Is (-5)/1 - (-148 - v) a multiple of 15?
True
Suppose 9*r + 2 = 8*r. Is (1 - r) + (2 - 17)/(-5) a multiple of 6?
True
Let n = 248 + -246. Let c(o) = 2*o**2 + 3*o + 3. Does 4 divide c(n)?
False
Let i be 0/(-2 + 7) + 13. Let j(u) = -u - 5*u - 9*u + 0*u - i. Does 11 divide j(-5)?
False
Suppose 4*p - 4114 = -3*v, 1254 - 206 = p + 4*v. Is 3 a factor of p?
False
Suppose -12*b + 38792 = 3548. Let p = b - 2037. Is p a multiple of 16?
False
Let d(o) = -75*o + 47. Let r be d(-5). Let i = -8 - -11. Suppose 220 + 102 = i*a + 5*n, 4*a + 3*n = r. Is a a multiple of 11?
False
Suppose -108*w - 148463 = -184*w + 740965. Is 219 a factor of w?
False
Does 23 divide (-5567)/2*-3 + (4 - (-22)/(-4))?
True
Let t(r) = r**3 - 11*r**2 - 16*r + 13. Let f be t(12). Let h = f - -38. Suppose -u + 9 = p, 4*u - 3 = -p + h. Does 3 divide p?
False
Let r(n) = 3*n**2 + 6*n - 1. Let a be ((-3)/2 + 0)*2. Let b be r(a). Suppose 35 = b*y - 501. Is 8 a factor of y?
False
Let q(y) = -346*y**3 - 10*y**2 - 31*y + 5. Does 34 divide q(-3)?
True
Let g(z) = z**3 - 15*z**2 - 25*z - 12. Let l be g(18). Suppose 1920 = 5*i + l. Suppose 0 = 5*q - 78 - i. Does 18 divide q?
True
Does 85 divide ((-31258)/4)/(6/(-12)) + 11?
True
Is (-10)/6*(-4350780)/1050 a multiple of 9?
False
Let m(n) = 3*n - 8. Let y be m(0). Let s = -3 - y. Suppose 0 = -z + 5*z - j - 175, 0 = s*z + 5*j - 225. Is z a multiple of 11?
True
Suppose 3*n - 100 + 25 = 0. Let x be ((-22)/(-11) - -13) + -12. Suppose -x*a = 3*u - 66, -n = -3*u - 5*a + 37. Does 8 divide u?
True
Let f(s) be the first derivative of 0*s - 6*s + 18*s**2 + 0 - 1. Is f(2) a multiple of 11?
True
Let m(f) = -8*f + 23. Let b be m(-7). Suppose k + 3*l = b, 1 + 14 = -5*l. Is 11 a factor of k?
True
Let n(l) = -l**3 - 22*l**2 - 40*l + 11. Let p = -5 - -9. Suppose 0 = -2*v + 5*j - 65, p*v - 15 = -j - 90. Does 4 divide n(v)?
False
Suppose 908*n + 36000 = 2*v + 913*n, v - 18000 = n. Is v a multiple of 124?
False
Suppose -8872 = -3*u + 2*q, -6*u = -4*u + 5*q - 5940. Does 37 divide u?
True
Let h(i) = -96 + 44 + 19*i + 11 - 4*i**3 - 14 + 13*i**2 + 3*i**3. Is 8 a factor of h(9)?
True
Let b(w) = 485*w**3 + 6*w**2 - 21*w + 32. Is b(3) a multiple of 34?
False
Let l(z) be the first derivative of -z**3/3 - 4*z**2 + 22. Let a be l(-6). Suppose 0 = -a*m + 4*m + 80. Is 7 a factor of m?
False
Suppose 3*q + 1303 = u, 4*u - q = 2094 + 3085. Is 25 a factor of u?
False
Suppose -i + 5*m - 9*m = -244, -484 = -2*i - 4*m. Let l = i + -84. Does 26 divide l?
True
Let w = -33 - -114. Let z be (-490)/(-18) - 18/w. Suppose -z = -x - 5. Is x a multiple of 11?
True
Suppose 2*f - 7750 = -5*b, 836*f + 3*b = 840*f - 15474. Is 15 a factor of f?
True
Let g = 107 + -147. Let f be -1*((g/(-2))/(-4) - -1). Suppose 0 = -r - f, -3*r = -4*m + r + 60. Does 11 divide m?
True
Suppose 0 = 5*p - 20, -3*c - 3*p + 105 = -1950. Suppose 5*s - c = 2*s. Let o = s + -130. Is o a multiple of 11?
False
Let m(u) = 423*u - 4567. Does 25 divide m(79)?
True
Let y = -27207 - -51534. Is y a multiple of 176?
False
Suppose 5*h - h - 3 = d, 7 = 4*d + 3*h. Let i be -1*(-1)/((3 - d)/(-118)). Let x = i - -87. Is 14 a factor of x?
True
Let v(g) = -g**2 - 87*g - 204. Is 236 a factor of v(-60)?
True
Let v = -671 - -676. Is v*(5 - (-88)/(-20)) a multiple of 3?
True
Let i(l) = -33*l + 38. Let c = 26 - 44. Let a be i(c). Let n = a + -274. Does 37 divide n?
False
Let h = 5671 - 3546. Does 63 divide h?
False
Suppose -11 + 1 = -2*k. Suppose 0 = -t + 5*t + 5*y + 23, -2*t + 3*y + k = 0. Does 29 divide 145/t*(-4)/5*1?
True
Let f = 3078 + -642. Is f a multiple of 81?
False
Suppose 431*z - 214145 = 1412880. Is 28 a factor of z?
False
Suppose 3264 = 71*a - 65*a. Suppose 5*z - 3*s - 768 = 138, -2*s = -3*z + a. Is z a multiple of 45?
True
Let c be 1*(2 - 1) + 8*5. Let a(u) = -u**2 + 74*u + 75. Is a(c) a multiple of 102?
True
Suppose 38*r - 36*r = 8. Suppose 4*p - 772 = -2*z, -r*z + 1276 = -p - 313. Suppose 0 = 7*n - z - 87. Is 23 a factor of n?
True
Let h(y) = y**3 - 19*y**2 + 10*y + 13. Suppose -2*w + 3*q = -w - 28, -3*q + 29 = 2*w. Let a be h(w). Let z = a - 149. Does 17 divide z?
False
Let j(x) = 2*x**3 - 86*x**2 + 17*x - 11. Let z be 1 - (-33 - 7 - 2). Does 30 divide j(z)?
True
Let k = 155 + -138. Suppose -k*n + 73 = -777. Does 2 divide n?
True
Let f = 229 - 227. Suppose q = h + 2*q - 55, 3*h + f*q - 161 = 0. Is h a multiple of 11?
False
Let c = 16936 - 9436. Is c a multiple of 12?
True
Let t = -147 + 156. Suppose 0*x - t*x = -2484. Is x a multiple of 23?
True
Let k(d) = -2*d**2 - 41*d - 2. Suppose 0 = 19*r - 10*r - 162. Let w be (-2 + r/4)/((-7)/56). Does 18 divide k(w)?
True
Suppose 84 + 186 = 10*v. Let j = 35 + -25. Let m = j + v. Is m a multiple of 25?
False
Suppose 3*n = -5*y + 940, y + 4*y + 1580 = 5*n. Suppose 4*m - 19 = -n. Is 22 a factor of -1 - 1 - (m + -1)?
False
Suppose -5*r + 3*r + 32 = 0. Suppose r*h = h - 31275. Does 19 divide h/(-9) - 5/(-15) - 4?
True
Suppose -43*t - 118546 = -52*t - 4*n, -3*t + 39526 = 4*n. Is t a multiple of 3?
True
Does 43 divide (283 + -258)*5*(-2 - -21)?
False
Let h = -1209 + 2403. Is 7 a factor of h?
False
Let x(j) = -j**3 - 8*j**2 - 7*j - 9. Let w be x(-4). Does 29 divide -1 + 21/27 + (-5725)/w?
False
Suppose 5*i - 7806 = -3*c + 4684, -c + 5*i + 4150 = 0. Is 52 a factor of c?
True
Let k = -49 + -18. Let o = 111 + k. Suppose 2*p - o = p. 