1 = 4*v + 67*w. Is v a multiple of 9?
False
Suppose 0 = -88*x + 1015933 - 296885. Is 32 a factor of x?
False
Let c = 104885 - 48767. Does 47 divide c?
True
Suppose a + 5*v = 46, -3*v + 89 = 4*a - 10. Suppose -15 - a = -6*p. Does 23 divide (-20)/p*1104/(-40)?
True
Let n(z) = 87*z**3 + 2*z + 2. Suppose -15*y = -17*y - 2. Let k be n(y). Let s = 12 - k. Is 9 a factor of s?
True
Let x(c) = 3 + 20*c + 11 + 4*c**2 - 6*c - 17*c. Does 21 divide x(-8)?
True
Suppose -4*b + 3*i + 17 = 0, 2*b - 3*i - 13 = -0*i. Suppose 3*x - 2*x = -5*t - 17, 0 = -b*t - 4*x - 14. Let a(u) = 6*u**2 - 3*u + 4. Is a(t) a multiple of 10?
False
Let v(z) be the first derivative of -19*z**2 - 46*z - 9. Let r be v(9). Is 2/(-1) - (-3 + r/4) a multiple of 51?
False
Let c be (-2 - 10/(-4))*(-24)/(-6). Suppose -c*u + 2*x = -2*x - 20, 5*u = 4*x + 26. Let t(m) = 65*m - 19. Is t(u) a multiple of 37?
True
Let p = -241 + 388. Suppose -10*z = p - 467. Suppose z*w - 184 = 28*w. Is 46 a factor of w?
True
Let m = 8 + -5. Suppose m*l - 4*l - 222 = 0. Let f = -150 - l. Is f a multiple of 15?
False
Let h(x) = x**2 - 2*x - 17. Let v be h(6). Let q(a) = 1 + v + 4 + 6 - 2*a. Is 2 a factor of q(8)?
True
Let u(q) = q**3 - 20*q**2 + 153*q - 15. Does 3 divide u(13)?
False
Let o = -6147 + 13395. Is 20 a factor of o?
False
Let b be -5 - -3 - (51 + 0 - 3). Let i = 4 + -33. Let w = i - b. Is w a multiple of 16?
False
Suppose -4*n - 15 = -n. Let h be (-109 + -1)*n/2. Suppose 6*j = j + h. Is 11 a factor of j?
True
Is 27 a factor of ((-56034)/1415)/(1/(-300))?
True
Let o be 4 + (-27)/(-6)*(-20)/(-6). Let v(u) = -u**2 + 34*u + 43. Is 14 a factor of v(o)?
False
Let p = 2810 + -1526. Is 21 a factor of p?
False
Suppose 2*t + 3*n + 10 = 28, 5*t + 4*n - 31 = 0. Suppose v + 7 = -t. Let r(l) = -l**3 - 10*l**2 - l + 2. Is 6 a factor of r(v)?
True
Suppose -19587 - 8583 = -10*r. Is 3 a factor of r?
True
Suppose -59*l + y = -63*l + 79340, -l - 2*y + 19828 = 0. Is 29 a factor of l?
True
Let l(c) = c**2 - 4*c - 19. Let j be l(6). Let x be j - (-1 - (2 + -2)). Let f(k) = -k + 1. Does 6 divide f(x)?
False
Let k(v) = 3*v + 37. Let g be k(-11). Suppose m + g = 520. Is m a multiple of 45?
False
Let i(p) = 12*p**2 - 41*p - 136. Is 36 a factor of i(15)?
False
Let c = 5240 + -3738. Is c a multiple of 7?
False
Let s be ((-100)/15)/(4/(-12)). Suppose 0 = s*d - 8*d - 444. Does 30 divide d?
False
Let z = -19482 - -23284. Does 25 divide z?
False
Suppose 1873020 = 187*z + 409558. Is z a multiple of 26?
True
Is 18 a factor of (15/30)/((-115605)/(-23120) + -5)?
False
Let v = -560 + 739. Suppose -3*z + v = -685. Does 24 divide z?
True
Let k(w) = 52*w - 32 - 11 - 7 + 2*w**2. Does 89 divide k(-34)?
False
Let h(x) = x**2 + 6*x - 3. Let c be h(-5). Let d(m) = -m**3 - 4*m**2 - 14*m - 25. Is d(c) a multiple of 15?
False
Suppose -35 = -93*k + 92*k. Is 11 a factor of 15/(-25) + 6951/k?
True
Let r = 9 - 8. Let p(s) = r - 3*s + 18*s**2 - 14*s**2 - 11*s. Is 11 a factor of p(6)?
False
Let a = 45 + -43. Suppose -5*j - 2*b + 440 = 2*b, -a*b = -5*j + 410. Is j a multiple of 25?
False
Suppose x + 78 = 112. Let f(l) = -3*l**2 + 116*l + 28. Does 84 divide f(x)?
True
Let i = 3398 - 2318. Is i a multiple of 12?
True
Let v = -15489 + 15705. Is v a multiple of 76?
False
Let h be 70/42*12/10. Suppose 0 = 3*u + 4*y - 198, -h*u + 117 = -2*y - 29. Does 14 divide u?
True
Let t(a) be the third derivative of -a**6/120 + 7*a**5/20 - 13*a**4/24 + a**3/6 - 71*a**2. Is 47 a factor of t(20)?
True
Suppose -b + 20 = -5*z, -4*z + 4*b + 2 - 18 = 0. Is (z - -5 - (-221 + 1)) + -1 a multiple of 22?
True
Let b(i) = -i**3 + 10*i**2 + 11*i. Let r be b(11). Let v be (-162)/(-12)*(2 - r). Suppose -v*h + 21 = -24*h. Is 2 a factor of h?
False
Let l be 144 + 1 + 5 - -5. Let r = -29 + l. Is 14 a factor of r?
True
Is 15 a factor of (-558790)/(-55) + 81/(-99) + 1?
False
Let x(c) = 2*c**3 + 62*c**2 - 8*c - 494. Is x(-29) a multiple of 11?
True
Suppose 0 = b + 3*p - 828, -5*b - 2811 + 6991 = 5*p. Suppose -b = 13*w - 18*w. Is w a multiple of 7?
True
Suppose 2*f = 3*t - 312, 5*t - 10 = -0*t. Let l = f - -414. Is 29 a factor of l?
True
Suppose 0 = 2*c - 14, 70621 = 6*z + 4*c - 9*c. Is 46 a factor of z?
True
Is 5 a factor of (10178/(-70))/(20/(-1000))?
True
Suppose 9*g - 24*g + 28320 = 0. Does 118 divide g?
True
Let t(p) = -p**3 - 6*p**2 - 4*p + 9. Let n be t(-5). Let j be -291 + 6 - -1*n. Let d = 400 + j. Does 12 divide d?
False
Let p = 197 - 193. Suppose -2*h = -p*o - 2, 0*o + 2*o - 26 = -2*h. Is h even?
False
Let x = 765 - 858. Suppose -w + 2*w + 36 = 0. Let a = w - x. Does 14 divide a?
False
Let m(s) = -s**2 + 29*s - 65. Let r be m(25). Let t = 21 - 14. Suppose t*w - r - 196 = 0. Is 13 a factor of w?
False
Is 3*7/(-42) - ((-9421)/2)/1 a multiple of 15?
True
Let b(i) = -i**3 + 17*i**2 + i + 52. Let m(n) = 6*n**3 + 25*n**2 + n + 4. Let x be m(-4). Is b(x) a multiple of 12?
True
Let o = -4071 + 10021. Does 35 divide o?
True
Suppose -6*y = -y - 17460. Suppose -6*k + 1499 = -4*o + 6155, 0 = -3*o + 4*k + y. Does 97 divide o?
True
Let m = 8 - 26. Let n be (m/(-5))/(-6) + 204/15. Let r = 9 + n. Is r a multiple of 13?
False
Let f = 25 + -20. Suppose 2*m = -f*n + 303, -3*m + 460 = -0*m + 2*n. Suppose 31 = c - m. Is c a multiple of 54?
False
Suppose 6 = 2*t + 4*c, 7*t - 3*c - 28 = 2*t. Suppose -q - 245 = -2*p - 0*q, -5*q = -t*p + 610. Suppose 237 = 4*v - p. Is v a multiple of 15?
True
Let w(r) = -226*r - 789. Is w(-39) a multiple of 107?
True
Suppose 1781797 + 129203 = 7*j + 63*j. Does 21 divide j?
True
Suppose -45*h + 112223 + 373338 = -60469. Does 199 divide h?
False
Let i(d) = d**3 - 12*d**2 - 10*d. Let p be i(14). Let c be 13/(-65) - p/(-10). Suppose -2*k - 2*h = -k - c, 5*h = 20. Is 6 a factor of k?
False
Suppose -2*x = -12, -7*b + x + 170 = -6*b. Does 88 divide b?
True
Let q = -12727 + 19916. Does 3 divide q?
False
Let p = 9 + -4. Suppose 0 = 37*g - 272 - 142 - 363. Is 7/(g/72) - (-2 + p) a multiple of 9?
False
Let j(g) = -2*g + 24. Let n(u) = -1. Let o(v) = j(v) - 2*n(v). Let h be 5 - (-17 + (-50)/(-5)). Is o(h) even?
True
Does 15 divide 3597 - (20/(-5) - 11)?
False
Let p = 2027 - 253. Let x = p - 1022. Does 22 divide x?
False
Suppose -26*f - 2791 = 2019. Let u = -226 + -67. Let i = f - u. Is i a multiple of 12?
True
Suppose 12*q - 39751 + 11661 = 17774. Does 147 divide q?
True
Suppose 13*o - 14*o + 4917 = q, -8*q - 3*o + 39346 = 0. Is 13 a factor of q?
False
Suppose 31 - 8 = j. Suppose 8 = -3*a + j. Suppose -301 - 331 = -4*s + a*n, 0 = -2*n. Is s a multiple of 28?
False
Suppose 0 = 3*i + 5*t + 9, 0*i = -2*i + 5*t - 31. Let w(l) = 25*l + 120. Let k(g) = 38*g + 180. Let a(n) = 5*k(n) - 8*w(n). Is a(i) a multiple of 14?
False
Let r(q) = 2*q. Let a(k) = 2*k**2 - 5*k - 19. Let v(x) = -a(x) - 5*r(x). Let n be v(6). Let f = 122 + n. Is f a multiple of 8?
False
Let y(x) = -29*x + 13. Let i = -100 - -88. Is 29 a factor of y(i)?
False
Let v be (5 - -6)/(1/(-5)). Let y = v + 73. Is 9 a factor of (-3 - 11/(-2))*y/3?
False
Suppose 0 = 2*l + 2*q - 8391 - 9953, 2*q - 9176 = -l. Is 12 a factor of l?
True
Let f = -493 + 1956. Does 11 divide f?
True
Let w(n) = 2*n**2 - 2*n - 7. Let u be w(4). Suppose 4*q - u - 527 = 0. Does 27 divide -1 + 1 + -3 + q/4?
False
Let o(h) = h**3 - 6*h**2 - 13*h - 8. Let s be o(-4). Let v = s - -264. Is v a multiple of 13?
False
Let v(h) = -h**2 + 57*h + 18. Let g be v(18). Let l = g - 398. Is 32 a factor of l?
False
Suppose -89*x + 90*x = 868. Suppose 1196 + x = 8*l. Is l a multiple of 8?
False
Suppose 46*l = 47*l - 1. Does 15 divide -3*((-588)/9 - 0) - l?
True
Let q(w) = -w**3 + 9*w**2 - 3*w + 24. Let b be q(10). Let z = 144 + b. Suppose 2*x - 196 + z = -4*f, 5*f = 25. Does 23 divide x?
True
Suppose 2*p - 34917 = -z, z + 3*p - 5*p = 34905. Does 81 divide z?
True
Let t = 2920 + -387. Is t a multiple of 17?
True
Suppose -47*p - 213 = -1623. Does 5 divide p?
True
Let q(m) = 2*m**2 + 12*m - 8. Let v be q(8). Let i be (-4)/(v/(-52) - -4). Is 22 a factor of 1634/i - -3 - (-4)/26?
True
Suppose -22*y + 3848 = -376. Let f = y - -64. Is 28 a factor of f?
False
Let n = -6386 - -9182. Does 13 divide n?
False
Let x(f) = -9*f**2 + 5*f + 6. Let a be x(-1). Let c(y) = y**3 + 15*y**2 + 17*y + 29. Is c(a) a multiple of 11?
True
Let h(j) = j**3 - 8*j**2 + 6*j - 3. Let f be h(6). Let c = 20 - f. Sup