 12*j - 26. Let b be m(-9). Let f = b + 141. Let z = f + -13. Is 8 a factor of z?
True
Let q(p) = 67*p + 2829. Is q(-32) a multiple of 14?
False
Suppose -2*r + 11 - 25 = 0. Let k be (-6)/(-4) + r/2. Is 4575/50 + 1*k/4 a multiple of 7?
True
Let g = -11941 - -13231. Is 6 a factor of g?
True
Suppose -31*l + 5*y = -26*l - 5, -l + 2*y = 2. Suppose -l*g - 480 = a - 3072, -3*g + 5*a + 1921 = 0. Is 12 a factor of g?
False
Suppose w + 0*s = 2*s - 1, 2*w - 2*s = 2. Suppose -4*g = 2*y - 1056, -2*g + 1569 = w*y - g. Is y a multiple of 61?
False
Suppose 11264 = 4*s - 2*z, 80*s - 84*s + 3*z = -11264. Does 16 divide s?
True
Let f(w) = 144*w**2 + 96*w - 28. Is 11 a factor of f(7)?
True
Is 29 a factor of (-2349391)/(-55) + 236/295?
True
Suppose 9*l = 4*l + 90. Suppose -14 = -4*y + l. Suppose y*o + o = 144. Is 6 a factor of o?
False
Let v(d) = 75 + 7*d - 163 + 80. Is 5 a factor of v(6)?
False
Let d be ((-12)/28 - 70779/(-21))/(-2). Let k = d - -2501. Does 21 divide k?
False
Let d = -2967 - -11705. Is 17 a factor of d?
True
Let x be ((-12)/(-9))/(4/222). Let b be -14 - (-1 + -10) - (52 + 3). Let o = x + b. Is o a multiple of 11?
False
Let a = -7517 + 8411. Is a a multiple of 10?
False
Let u be ((-30)/4)/5*2 + 75. Suppose u*t - 69*t = 1155. Is t a multiple of 17?
False
Suppose 0 = 5*c + 2*j + 45, 3*c = j + 2*j - 27. Let f be -3*(-4)/(-54) + (-2)/c. Suppose f = -2*h - 5*u + 355, h - 191 = u - 17. Is h a multiple of 25?
True
Let d(x) = -93 + 124*x - 1 - 97*x - 133 - x**2 + 7*x**2. Is d(7) a multiple of 5?
False
Suppose 11*h + 2911 = 3747. Does 53 divide h?
False
Does 75 divide (-22307857)/(-4576) - 1/(-32)?
True
Let q(v) = -2*v + 26. Let b be q(-8). Let u be (19*3)/((b/(-35))/(-2)). Let j = -16 + u. Is 16 a factor of j?
False
Suppose 3*m - 22 = -2*i, -9*m - 2*i - 14 = -12*m. Is m/(3/21*8/68) a multiple of 50?
False
Let t(o) = -6*o**3 + 2*o**2 + o. Let r be t(-1). Let h be (40/(-12))/(14/6 + -3). Suppose -h = -s + r. Is s a multiple of 4?
True
Let i be ((63/(-4))/21)/((-6)/8776). Let d = i - 557. Is d a multiple of 12?
True
Let a(o) = -2*o - 38. Let w be a(-14). Let t(f) = -2*f - 4. Does 4 divide t(w)?
True
Let v(o) = -2*o - 4. Let c be v(-3). Suppose -c*n + 14 = 84. Is (-7)/(n/295) - 1*-2 a multiple of 11?
False
Let j be 0/(-7) - (1 + -38). Let i = -93 + j. Let h = i + 92. Is 3 a factor of h?
True
Let l be -1 + -14 + 0/(0 - -2). Let v be (-4 - 24/(-10))/((-2)/l). Is 10 a factor of 272/6 + 4/v?
False
Let p(h) = 9*h - 20. Let x(n) = -10*n + 21. Let f(o) = 5*p(o) + 4*x(o). Let b be f(4). Suppose -3*d - s + 183 = 0, -5*d + b*s = -82 - 206. Does 10 divide d?
True
Let d = 259 - 262. Let t(q) = -21*q**3 + 4*q**2 + 6*q - 9. Is t(d) a multiple of 8?
True
Suppose -25*z = -24*z + 1. Let m be (z + 1)*(-1)/(-6)*3. Suppose m*k - 5*f + 330 = 4*k, k - 4*f = 72. Does 16 divide k?
True
Suppose -38*t + 35*t + 16492 = 2*k, 2*t - 10996 = -k. Does 100 divide t?
True
Suppose 5 = v + 7*o - 2*o, -3*v - 5*o + 15 = 0. Let l = 5 + v. Is (141/6 - -3)*l a multiple of 53?
True
Suppose 4*h + 120 = 2*w, -3*w - 112*h = -111*h - 208. Suppose 0 = 4*x + 4*b - 3112, -2*x + 67*b + 1558 = w*b. Does 10 divide x?
True
Suppose s = 4*q + 398, -35*q + 36*q - 1626 = -4*s. Is s a multiple of 58?
True
Let i(s) be the third derivative of s**5/15 - s**3 + s**2. Let h be (-7 - (-143)/26)/((-3)/6). Does 2 divide i(h)?
True
Let t = -96 + 101. Let s(l) = 2*l - 7. Let f be s(t). Suppose o - 394 = -f*w, -3*w = -8*w + 3*o + 666. Is 12 a factor of w?
True
Let y = -26382 - -37722. Is 135 a factor of y?
True
Suppose 0 = 2*b, -9*u + 440 = -13*u + 4*b. Let y = 117 + u. Does 7 divide y?
True
Let j = 20889 + -9189. Is 26 a factor of j?
True
Let b(r) = -18*r**3 + 2*r**2 + 21*r + 19. Is 55 a factor of b(-6)?
False
Let o(t) = -2*t**2 + 23*t - 63. Let z(n) = -n**2 + 12*n - 31. Let q(w) = 2*o(w) - 5*z(w). Let f be q(12). Suppose 52 + 53 = f*b. Does 7 divide b?
True
Let j = -1090 + 2228. Is j a multiple of 17?
False
Let y(j) = 13*j**2 - 8*j**3 + 4*j**3 + 2*j**2 - 14 + 5*j**3 - 17*j. Let n be y(-16). Does 6 divide (n/(-15) + 430/(-150))*-40?
True
Let p be 1121 + 3 + (2 - 8). Let o = p - 702. Is o a multiple of 52?
True
Suppose 0*d = -4*d + 2544. Let s = d - 312. Is s a multiple of 21?
False
Suppose -8142*d + 8158*d - 81024 = 0. Does 12 divide d?
True
Let p be -1*(4 - -26 - (-1 - 0)). Let u = -31 - p. Is 398/8 - (15/20 + u) a multiple of 17?
False
Let i(k) = -3*k**2 + 25*k - 33. Let p be i(6). Is (-20 - 6)/(p/(-15))*18 a multiple of 39?
True
Is 224 a factor of (1 - (-28236)/(-4))*(30/4)/(-5)?
False
Let z be 40/6*(0 + 12/10). Suppose 0 = -c - z*c + 2511. Does 31 divide c?
True
Suppose -2*m + 17*l = 20*l - 159, 0 = 5*l - 15. Is 46 a factor of m?
False
Let j = 88 - 80. Suppose j*y - 2898 = 2*y. Suppose -y = 4*o - 11*o. Is o a multiple of 17?
False
Let l(s) = -2*s**3 + 14*s**2 + 3*s - 11. Let x be l(7). Suppose p + 101 = 2*y, -p - 58 + x = -y. Is y a multiple of 22?
False
Suppose -5*t = 2*o + 8 - 225, t = 3*o - 317. Suppose 2*z + 4*x - 144 = 0, -2*z + 3*x - 12 = -121. Let s = o - z. Does 4 divide s?
True
Let t(c) = 3*c**3 - 79*c**2 - 13*c + 22. Does 6 divide t(29)?
False
Suppose 0 = -7*m + 62 + 36. Suppose -4*n = -m*n + 650. Does 10 divide n?
False
Let o be (-54)/72*14*-2. Let p be (-1 + 1)/2 + o + -24. Does 10 divide (-7)/21 + 8/p - -58?
False
Suppose 0 = 11*r - 2*r - 18. Let u(p) = 13*p + r - 14 - 6*p. Does 23 divide u(5)?
True
Suppose 0 = -15*k + 31*k - 2912. Is 7 a factor of k?
True
Suppose -c - 19 = -17. Let i be 2 + 1 + 1/1 + c. Suppose -v + 44 = 5*o, i*v + 0*o - o - 88 = 0. Is v a multiple of 11?
True
Let g be ((-98)/4)/(-3*(-1)/(-6)). Let z = -68 + g. Is (-2)/(-6)*(-6)/2 - z a multiple of 18?
True
Suppose -5*a + 18 - 3 = f, 0 = 2*f + 4*a - 24. Suppose -19*q + f*q = -2934. Is q a multiple of 10?
False
Is 11/(-44) + 79492/16 a multiple of 23?
True
Let o = -140 - -113. Does 7 divide ((-1)/3 - (-18)/o)*-84?
True
Let s = -13 + 14. Let w(r) = 3*r. Let a be w(s). Does 9 divide -3 - (1 - -1 - 65 - a)?
True
Let r(l) = -45*l - 12. Let v be r(-12). Suppose 0 = 61*b - 49*b - v. Does 4 divide b?
True
Let o(l) = -4*l + 19. Let y be o(6). Let k(u) = u. Let f be k(17). Is 14 a factor of (y + f)*(-28)/(-3)?
True
Suppose 0 = 53*r - 7*r + 16836. Let p = r + 803. Is 4 a factor of p?
False
Is -3 - (8700/(-48) - 11)/((-2)/(-24)) a multiple of 14?
False
Let n = 4474 - 2746. Let i = n - 306. Is 18 a factor of i?
True
Is (-2 - 17) + 3380 + -33 a multiple of 26?
True
Let u = 49 - 38. Suppose -2*m + 5*w + 44 = 0, -w = 5*m - 6*w - 80. Suppose m*a - 42 = u*a. Is a a multiple of 11?
False
Let p = -1432 + 6117. Is 7 a factor of p?
False
Suppose 2*r + 4*v = 10 + 16, 0 = 5*r + 2*v - 25. Suppose -r*g + 756 = k, 2*k + g - 1516 = -g. Does 69 divide k?
True
Let p = 333 + -336. Is 13 a factor of 70/(-22) - p - (-860)/11?
True
Let d = -5395 - -6304. Is 2 a factor of d?
False
Let x(d) = -3*d + 9. Let h be x(6). Let f(i) = i**3 - 7*i**2 - 18*i + 12. Let s be f(9). Is 7 a factor of (h*5)/(-3 - (-27)/s)?
False
Let z(q) = -7 - 24*q + 33*q - 2*q**2 + q**2. Let o be z(6). Let g(r) = 9*r - 17. Is g(o) a multiple of 9?
False
Let u be 4/(6 - (8 - 6)). Suppose h - 10 = u. Does 2 divide h?
False
Let k = 1489 + 756. Suppose k + 255 = 5*y. Let r = y - 311. Is r a multiple of 20?
False
Let q(l) = 31 - 5*l + 2*l - 8*l + l**2. Does 4 divide q(12)?
False
Suppose 6*v - 25 = 5. Let s(h) = 54*h + 10. Is s(v) a multiple of 14?
True
Let q = 3512 - 443. Does 31 divide q?
True
Is 44 a factor of 8/((-80)/(-1090))*559?
False
Let t(r) = 417*r**2 + 51*r + 203. Is 10 a factor of t(-4)?
False
Let a = -54 + 61. Let n(c) = -390*c + 396*c - 7 - 3 + a*c**2. Does 26 divide n(-4)?
True
Let i be 408/(-30)*(-5)/2. Let f = -26 + i. Does 37 divide (f/(-1))/(5 - 374/74)?
True
Suppose 6*d + 30 = 8*d. Suppose -1328 = d*k - 6248. Suppose k = 3*f - n, 4*n - 54 - 64 = -f. Is f a multiple of 14?
False
Suppose 1302*u = 1332*u - 37230. Suppose 0 = 3*o - 4*o + 426. Suppose -u = -5*c - o. Is c a multiple of 10?
False
Let h = -648 - -652. Suppose 0*x - n - 7919 = -h*x, -x + 1975 = -5*n. Is x a multiple of 11?
True
Let p = -7198 - -15580. Is p a multiple of 28?
False
Suppose 0 = i - 4*j - 1545 - 2771, -3 = -3*j. Suppose i = -127*p + 131*p. Is p a multiple of 20?
True
Let b(a) = 18*a**2 - 27*a - 624. Is 141 a factor of