 of 26?
True
Suppose -31 - 21 = -4*p. Suppose o - 3*v - 3 = -2*v, v - p = -o. Is o a multiple of 8?
True
Let a(c) = c**3 - 18*c**2 + 18*c + 18. Let j(h) = 23*h - 6. Let l be j(1). Is a(l) a multiple of 9?
False
Suppose -6*a - 376 = -14*a. Suppose 2*j = -3*i + 127, -j - 4*i + a = -24. Is j a multiple of 21?
False
Let m(g) = -g**3 - 10*g**2 - 11*g - 9. Let r be m(-9). Suppose -14*c + 85 = -r*c. Suppose c = -3*i + 107. Is i a multiple of 10?
True
Suppose -o + 5*o = -3*o. Let q be -1*(1 + -5 + -1). Suppose q*m - 2*m - 180 = o. Does 28 divide m?
False
Suppose -12*v - 16 = -20*v. Suppose 3*r = -r. Suppose -82 = -v*d - 2*u, -d - 2*u + 34 + 2 = r. Does 10 divide d?
False
Let a(k) = -83*k + 2. Let c be a(-1). Suppose -3*z + c = 31. Is z a multiple of 9?
True
Let c be (-52)/(-16) + 21/28. Suppose 4*g - 292 = -c*i, -3*g + 119 + 115 = -2*i. Is 42 a factor of g?
False
Let r(x) = 4*x. Let k be r(-4). Let o = 42 + k. Is o a multiple of 13?
True
Suppose -88 = 3*q - 484. Let n = q - 88. Does 4 divide n?
True
Let s(x) = 40*x - 57. Is s(5) a multiple of 18?
False
Let x(n) = n**3 - 6*n - 13. Is x(7) a multiple of 72?
True
Let g(u) = u**2 + 18*u + 39. Does 43 divide g(20)?
False
Is ((2/(-2) - 481) + 5)/(-1) a multiple of 15?
False
Let y = -79 + 190. Does 4 divide y?
False
Suppose -5*m + 3*t + 5925 = -5943, -2*m + 3*t + 4740 = 0. Is 79 a factor of m?
False
Let c(j) = 6*j**2 - j + 4. Let o be c(-4). Let y = -36 + o. Suppose -2*h + 40 = -y. Does 18 divide h?
True
Suppose -2*y = -a - 3*a + 10, 0 = 5*y - 25. Suppose -2*t = -3*q - 93, -a*t - 88 = -5*q - 308. Is t a multiple of 31?
False
Let h be (4 + -6)/((-4)/42). Let k = h + -21. Is 34 a factor of 9/2*(k - -30)?
False
Suppose 0 = -5*j - 5 + 15. Let i(r) = r**2 - 2*r + 1. Let u be i(j). Let k = 30 - u. Is k a multiple of 8?
False
Is 15 a factor of ((-4)/4 + 0)*-257?
False
Let v(h) = 4*h**2 + 2*h + 40. Let o = 30 - 24. Is v(o) a multiple of 10?
False
Is 57 a factor of (35 + 29)*(0 + 1)?
False
Let z(k) = -k - 11. Let v be z(-14). Let c(j) = j**2 + 4*j + 3. Let y be c(-6). Suppose 0 = -3*o - 5*u + 13, -5*o = -2*o + v*u - y. Is o a multiple of 2?
True
Let r = -666 - -1129. Suppose 1 = n, 2*w = -2*n + n + r. Is w a multiple of 21?
True
Let k(g) = g**2 + 16*g + 79. Is 6 a factor of k(-7)?
False
Suppose -201 = -5*r - 4*q, 0 = 2*q + 6 - 14. Does 21 divide r?
False
Suppose -1 = -16*p + 17*p, -5*g - 4*p = -9081. Is g a multiple of 79?
True
Suppose 14*v + 2*s = 13*v + 1172, 5*v = -4*s + 5854. Is v a multiple of 26?
True
Let g be 2/(18/4 + -4). Suppose 4*c - 27 = 3*d + 62, -4*c + g*d + 92 = 0. Is c a multiple of 5?
True
Suppose 0 = 2*d - 3*d + 73. Let i = -22 + d. Does 17 divide i?
True
Let b(l) = l**3 - 8*l**2 + 2*l - 11. Let k be b(8). Suppose -3*v + 7 = 4*c, -c + k*v = -6*c + 15. Let q(w) = 4*w**2 - w. Does 6 divide q(c)?
True
Suppose -y - 14 + 20 = 0. Does 5 divide (3 - y)/(2/(-20))?
True
Suppose 53*s = 23*s + 55290. Is 16 a factor of s?
False
Suppose -7*j = -16460 - 17042. Does 22 divide j?
False
Suppose -4*x + 10 = 2*k, 3*x - 5 = -0*x - 4*k. Is 18 a factor of (-294)/(-16) + -3*x/24?
True
Let y(u) = 12*u**3 - u**2 + u. Let g be y(1). Let w = -5 + g. Is w + 2 + (-3 - -2) a multiple of 4?
True
Let y be -4*15/10*(-173)/2. Let t = 751 - y. Is 9 a factor of t?
False
Let a = 49 - 59. Let u(f) = 0 + 3*f + f + 7*f + 15 + f**2. Is 2 a factor of u(a)?
False
Suppose 0 = 20*n - 14*n - 1134. Suppose n = 19*l - 16*l. Is l a multiple of 7?
True
Let o(a) = a**3 + 27*a**2 - 5*a - 30. Does 12 divide o(-27)?
False
Suppose 0 = 2*j - 12*j + 4250. Is 62 a factor of j?
False
Suppose 0 = 3*g + 2*u - 141, 4*u + 60 = 4*g - 148. Is g a multiple of 4?
False
Is 6 a factor of 1 - 2 - (-20 + 13)?
True
Let s = 14 + -6. Suppose -s*v - 45 = -13*v. Is v even?
False
Let f be 3/((-12)/(-28)) + -2. Suppose 16 - 43 = -s - 5*d, f*s = -2*d + 20. Does 11 divide (4/5)/(s/105)?
False
Let k(w) = w**3 - 9*w**2 - w + 12. Let c = 21 - 12. Let t be k(c). Suppose -x - t*x + 260 = -2*m, 0 = -5*m - 20. Does 21 divide x?
True
Suppose -4*m + 20 + 60 = 0. Suppose -3*q = u - 50, 0 = -q - 2*u + u + m. Is q even?
False
Suppose -4*i = 2*s - 1666, 0*s - 2*i + 2483 = 3*s. Does 56 divide s?
False
Let z(r) = r**3 - 5*r**2 - 4*r - 2. Let a(m) = -m**3 + 9*m**2 + 3*m - 21. Let t be a(9). Does 3 divide z(t)?
False
Suppose 8 = 4*b, -3*h - 2*b + 3*b = -46. Is 12/(-4 + 76/h) a multiple of 11?
False
Let w(b) = 2*b**2 - 10*b + 3. Let i be w(5). Suppose i*l = 220 + 23. Does 27 divide l?
True
Suppose -5*t - 5*o + 5 = 0, -4*t + 5 - 1 = -2*o. Is ((-14)/t - (1 + -3))/(-1) even?
True
Suppose -5*n = -48*n + 7353. Is 13 a factor of n?
False
Let p(g) = 3*g + 41. Let q(c) = -c. Let x(a) = p(a) + 2*q(a). Does 7 divide x(0)?
False
Let p(u) = u**3 - 9*u**2 + 2*u - 14. Let t be p(9). Suppose t*x = 8*x - 5*y - 234, 2*x = -4*y + 130. Is x a multiple of 5?
False
Let a = -13 + 21. Is 1/(a/434) + 2/(-8) a multiple of 17?
False
Let w = -1 + -11. Is (w/7)/(1/(-7)) a multiple of 12?
True
Suppose 5*a = -m + a + 493, 0 = 5*a - 15. Is 9 a factor of m?
False
Let p(s) = -9*s - 7. Let k(n) = 26*n + 21. Let l(d) = 6*k(d) + 17*p(d). Let c(x) = 2*x + 5. Let i(f) = 8*c(f) - 5*l(f). Does 6 divide i(8)?
False
Let w(f) = 3*f**3 + 17*f**2 + f - 7. Let q(a) = -a**3 - 9*a**2 - a + 3. Let p(c) = -5*q(c) - 2*w(c). Is p(11) a multiple of 11?
False
Let s = 378 + -252. Suppose -40*r = -38*r - s. Is r a multiple of 13?
False
Let b = 50 + -35. Is 5 a factor of -48*(b/6 + -3)?
False
Is 1/((-2)/20*(-20)/52) a multiple of 13?
True
Suppose -i + 579 = 4*q, -i - 22*q + 574 = -23*q. Does 9 divide i?
False
Suppose 38 + 74 = 4*s. Is s a multiple of 6?
False
Suppose -2*k + c - 5*c = 78, c + 163 = -4*k. Let f = k + 119. Is f a multiple of 26?
True
Let a(l) = l - 12. Let h be a(-3). Let v = h + 77. Does 31 divide v?
True
Let m be 2/(-4)*2*(10 - 168). Suppose -2*u + 125 = -3*n, -5*n + 217 + m = 5*u. Is u a multiple of 7?
True
Suppose -l + 4*l = 5124. Suppose -l + 248 = -5*i. Is 38 a factor of i?
False
Let n(j) = j**2 - 47*j + 284. Does 74 divide n(42)?
True
Let f = -98 - -109. Let q(t) = 7*t + 12. Is q(f) a multiple of 37?
False
Suppose 3*u + 4*a = 1539, a - 2554 = -5*u - 2*a. Is 45 a factor of u?
False
Does 12 divide (2 - 4)*(-18 + -102)?
True
Let j(u) = -74*u**3 + 2*u**2 - 1. Suppose -4*o - 10 = 2*w, -3*w - 2 = -3*o + 4. Let x be j(o). Suppose -5*i + x = -50. Is 25 a factor of i?
True
Let f(o) = 156*o**3 + 2*o**2 - 1. Is 2 a factor of f(1)?
False
Let d = 1820 + -1553. Is d a multiple of 4?
False
Let q(y) = 7*y + 5. Let d be q(0). Suppose -n - d*m - 7 = -26, 4*n + 4*m = 108. Is 4 a factor of n?
False
Suppose -362 = -k + 118. Suppose -k = -6*j + j. Is j a multiple of 29?
False
Suppose -3*s + 1029 = 4*x, 2*x + 10*s = 6*s + 502. Is x a multiple of 4?
False
Suppose -2*i - 3*t = -1193, -5*i - 3*t + 2963 = -2*t. Does 8 divide i?
True
Suppose u + 19 = 5*q + 5*u, -5*q + 10 = -5*u. Suppose -3*b + 9 = 0, 2*g = 5*b + q + 2. Is g a multiple of 5?
True
Suppose 0 = 4*m - 12, -2*i = i - 2*m - 9. Suppose 0 = -i*z + 50 + 35. Suppose -4*b = -3*b - z. Does 17 divide b?
True
Let a(c) = c**3 + 12*c**2 - 16*c + 26. Is a(-8) a multiple of 10?
True
Let g(d) = -29*d + 37*d - 3 + 1 - 2. Does 17 divide g(8)?
False
Let y = -75 + 33. Let w = 105 + y. Let g = w - 10. Does 19 divide g?
False
Suppose 19 = -5*o + u - 4*u, 4*u = 2*o - 8. Let i be (4*o)/(0 - 2). Is (-172)/(-12) - i/(-6) a multiple of 10?
False
Let m(d) = 18*d**2 + 12*d - 4. Is 74 a factor of m(7)?
True
Let a be (-3)/((7 + -4)*2/36). Is 2 a factor of a/(-12)*(-48)/(-9)?
True
Is 2 - 14/5 - 37492/(-65) a multiple of 48?
True
Let n = 321 + -141. Is 6 a factor of n?
True
Suppose 2*m = 2*o - 598, -17 - 291 = -o + 4*m. Is 11 a factor of o?
False
Let g be ((-10)/(-4))/((-5)/(-10)). Suppose -g*m + 38 = -22. Does 4 divide m?
True
Let b be (1 + 4/(-8))/((-2)/48). Let c(k) = k**2 + 9*k - 12. Is c(b) a multiple of 8?
True
Let h(l) = -l**3 + 19*l**2 + 5*l + 2. Let i = -33 + 52. Is 8 a factor of h(i)?
False
Suppose 2*r - 20 = -j + r, -3*r = 0. Let g = j + 8. Does 5 divide g?
False
Is 13 a factor of (-2)/6 + 81824/24 + -2?
False
Suppose 20*l - 1249 = 15*l - 4*u, -5*u - 1032 = -4*l. Does 11 divide l?
True
Let r(w) = w**2 - 7*w - 8. Is 21 a factor of r(-13)?
True
Suppose -5*n + 113 = -4*p, n + 3 - 40 = -4*p. Is (n/20)/((-4)/(-112)) 