q - 22 = 3*l + 4. Is q a multiple of 8?
False
Let r(b) = 29*b + 1. Let w be r(1). Suppose 4*j + 2*l + 7 - 31 = 0, -3 = -j + l. Let t = w - j. Does 10 divide t?
False
Let w be 8/12 - 2/3. Let x = 1 - 3. Is (w - 1)*12/x a multiple of 6?
True
Suppose 2*h = 4*t - 472, 583 = 5*t + h - 0*h. Does 12 divide t?
False
Suppose -o - 2*o = -w - 458, -5*w = 4*o - 617. Let v = o - 107. Does 18 divide v?
False
Let m = -14 + 9. Let w(a) = 3 - 5*a + 3 + 0. Is 14 a factor of w(m)?
False
Let h = 38 + -13. Let g = 35 + h. Is 18 a factor of g?
False
Let z(o) = -4*o**2 + 69*o + 62. Let g(b) = -3*b**2 + 46*b + 41. Let h(s) = 7*g(s) - 5*z(s). Is h(-18) a multiple of 10?
False
Let u(n) = 12*n + 30. Is u(6) a multiple of 39?
False
Suppose 5*a - 2*p + 7*p - 35 = 0, -6 = 2*a - 3*p. Let g be 2/(a - (3 - 2)). Does 3 divide g/2*(-12)/(-2)?
True
Let m = 12 - 6. Suppose p - m = 4*p. Is 9 a factor of p/((-2)/18 - 0)?
True
Let j(k) = k**3 + 15*k**2 + 10*k + 24. Does 15 divide j(-14)?
False
Let q = 24 - 15. Suppose 4*k = q + 3. Suppose -2*u = -k - 21. Is 10 a factor of u?
False
Let a(d) = -d - 2. Let p be a(-7). Suppose 5*t - p*o = 45, 0 = 4*t - 3*o + 8*o. Does 2 divide t?
False
Suppose -3*u - 182 = -5*u. Is 15 a factor of u?
False
Let v(a) = a**2 + 3*a + 4. Suppose -2*t - 2*y - 6 = 14, 0 = -4*t + y - 15. Does 8 divide v(t)?
False
Let j(v) = -2*v - 4. Let p(a) = a + 2. Let t(z) = 4*j(z) + 7*p(z). Suppose -5*r + 0 = 35. Is t(r) a multiple of 4?
False
Suppose 21 = 3*i + 243. Let a = -44 - i. Is 9 a factor of a?
False
Suppose 0 = t - 2*v + 89, 4*t = -0*t - 4*v - 296. Let s = t + 151. Is s a multiple of 17?
False
Suppose 4*u + c = u + 286, 0 = 3*c + 6. Is u a multiple of 16?
True
Let a(w) = 5*w + 48. Is 2 a factor of a(-9)?
False
Suppose 3*l - 3 = -3*c, -5*c - 3*l = -0*l + 1. Is (-1526)/(-42) + c/6 a multiple of 12?
True
Let g(c) = -9*c - 4. Let h(y) = -y**2 - 5*y - 2. Let s be h(-3). Let n be g(s). Does 10 divide n/(-14)*21/6?
True
Suppose 0 = -3*n - n + 4*f + 1132, -n + 4*f + 295 = 0. Is n a multiple of 31?
True
Let q(i) = -i + 17. Let y(o) = -3*o**3 - 4*o**2 - 3*o - 1. Let c(g) = g - 10. Let h be c(8). Let f be y(h). Does 2 divide q(f)?
True
Let v = 59 - 41. Is v a multiple of 3?
True
Suppose -5*d = 5*w - 0 - 35, -w - 18 = -4*d. Let c = -32 + 23. Let i = w - c. Is 11 a factor of i?
True
Let q(n) = n + 2. Let a be q(-9). Let y = 14 - -17. Let t = y + a. Does 8 divide t?
True
Let p(a) = -a**2 + 9*a - 10. Suppose 0 = -z + 1 + 6. Let v be p(z). Suppose c = 4*c + 6, -v*x = -4*c - 20. Is 2 a factor of x?
False
Suppose -4*q - 10 = -u - 38, u + 33 = 5*q. Is 2 a factor of (-34)/u - (-4)/(-16)?
True
Let f be (1 - 23)/((-2)/4). Suppose -f - 28 = -4*a. Is 9 a factor of a?
True
Suppose 2*x - 4*x + 2 = 0. Let d be 1*-2*x*3. Is ((-4)/6)/(1/d) even?
True
Let m(s) = 30*s. Does 23 divide m(2)?
False
Let x be ((-8)/(-12))/((-4)/(-6)). Let d(f) = -5*f + 8*f - f + 18*f. Does 20 divide d(x)?
True
Let p = -472 - -839. Suppose -4*s + p = -2*f + 109, 0 = 4*s - f - 263. Does 12 divide s?
False
Let i be -15*(-2)/6*1. Suppose -5*w - i*u + 156 = -u, 2*w - 2*u = 66. Is 16 a factor of w?
True
Let o = 3 - 1. Suppose -c + 0*c = -o. Is 12 a factor of (1 + -19)/(-3)*c?
True
Suppose 2*z - 26 = 2*j + 26, 4*j - 72 = -4*z. Let v = -1 + z. Is v a multiple of 9?
False
Suppose 3*u - 4 + 3 = 2*i, -i = -5*u + 11. Suppose -3*s + 9 = 3*l, 4*l + u*s = 2*l + 3. Suppose -8*k + 5*a + 106 = -4*k, l = -3*a. Is k a multiple of 12?
True
Let k = 153 + -57. Suppose 4*u = -3*c + k, 2*c + 121 = 5*u + 6*c. Is 7 a factor of u?
True
Let y be 1/(-2)*(-91 + -1). Let b = y + -22. Does 17 divide b?
False
Suppose 3*r + r - 674 = 2*u, -4*u = 4. Suppose n = -n + 4. Suppose 4*l + h - 164 = 0, 2*l + 2*l + n*h = r. Does 17 divide l?
False
Let o = -6 - -11. Let k be 68/10 - (-1)/o. Let h = k + -4. Does 3 divide h?
True
Let j(s) = -s. Let o be j(-4). Suppose -3*n - 3 = -0*n, -5*t = 4*n + o. Suppose -4*b - 1 + 13 = t. Is 3 a factor of b?
True
Let d be (-17)/(-4) + 1/(-4). Suppose 14 - d = 5*v. Suppose 0 = -2*g - v*g + 8. Does 2 divide g?
True
Suppose -5*f + 7 = -8. Suppose -q + f*q - 46 = 0. Does 7 divide q?
False
Let i = 1 + -2. Let d be 15 + i + 0/1. Let y = d + -2. Is y a multiple of 6?
True
Suppose v = 2*v. Suppose -5*m + 7*y = 3*y - 14, v = -3*y + 12. Is 8 a factor of (2 + m/(-21))*14?
True
Is 14 a factor of (-25 - 9)*2/(-4)?
False
Let r = -97 - -200. Does 23 divide r?
False
Let p(h) = -h**3 + 3*h**2 + 2*h - 3. Let u be p(2). Let v be ((-18)/u)/((-2)/(-10)). Does 7 divide ((-1)/2)/(1/v)?
False
Suppose o + 38 = -8. Is 14 a factor of (1*-3)/(3/o)?
False
Let v(t) = t**2 - 12*t + 15. Let r be v(11). Let j be 18/r - 4/8. Suppose j*b = -30 + 102. Is b a multiple of 6?
True
Let a be 7/35 - 1/5. Suppose y + a*y = 80. Is 16 a factor of y?
True
Let d(q) = -2*q**3 - 3*q**2 - q + 11. Let z(g) = g + g - 17 - 3*g**2 + 7*g**2 + 3*g**3. Let f(b) = -8*d(b) - 5*z(b). Is 12 a factor of f(-3)?
True
Let i = 16 + 24. Is 17 a factor of i?
False
Let m = -5 - 4. Let k(l) = -l**3 - 7*l**2 + 11*l - 18. Does 15 divide k(m)?
True
Suppose -5*j + 10 = -m, -j - 4*j + 3*m + 10 = 0. Suppose 3*g - 15 = -3*x, j*g + 3*x = 5*x - 2. Let u = 6 + g. Does 8 divide u?
True
Let l be (-3)/((-27)/33)*3. Let w = l - 7. Is 4 a factor of w?
True
Suppose 4*b - 11 = 5*q, -b - 2*q = 4*b - 22. Let r = -8 - -82. Suppose r = -b*w + 6*w. Is 15 a factor of w?
False
Suppose -2*i - 242 = -4*q, -3*q = 5*i - 266 + 65. Suppose 0*m = 2*m - q. Is 10 a factor of m?
False
Suppose 29 = 5*t - 971. Does 24 divide t?
False
Let m(x) = x**3 - 14*x**2 - 13*x - 11. Let j(n) = -n**3 + 15*n**2 + 14*n + 12. Let d(k) = 5*j(k) + 6*m(k). Is 9 a factor of d(10)?
False
Suppose -5 = -m - 1. Let a = -105 + 179. Is 9 a factor of a/8 - 1/m?
True
Is (-10)/45 - 328/(-18) a multiple of 15?
False
Suppose -113 = -3*s + l - 20, 5*s - 5*l = 155. Suppose -3*k = -5*k - 2*z + 18, -2*z - s = -5*k. Let c = 48 - k. Is 16 a factor of c?
False
Let m = -14 + 56. Is 14 a factor of m - (0/(-1) + 0)?
True
Suppose 4*r = -0*m - m + 153, -4*r + 483 = 3*m. Is 33 a factor of m?
True
Let o be ((-14)/(-4))/(3/294). Suppose -o + 40 = -3*u. Suppose 0*a - 3*z - 90 = -4*a, 0 = 5*a + 2*z - u. Is 10 a factor of a?
False
Suppose 5*v + 4 = -116. Let i = v + 42. Is 2 a factor of (4/(-6))/((-4)/i)?
False
Let f(i) = -4*i**3 - 5*i**2 - 2*i + 1. Does 10 divide f(-3)?
True
Let t(d) = -13*d. Let q be (-3)/(-6)*2*-1. Does 11 divide t(q)?
False
Let l(a) = -8*a**3 - 2*a - 3. Let z be l(-2). Suppose 2*f + 4*u = 1 + z, -u = -3. Does 9 divide f?
True
Let x = -4 - -12. Is x a multiple of 3?
False
Let r(u) = -286*u. Is 22 a factor of r(-1)?
True
Let d = -14 + 27. Suppose 3*i - d = -b, -4*b - 4*i + 37 = -15. Let x = 26 - b. Does 9 divide x?
False
Suppose s + 0*s - 5*u = 16, -4*s = 3*u - 87. Suppose -2*g = -5*g + s. Does 2 divide g?
False
Let b(v) = 5*v**2 + 6*v - 2. Let o be b(5). Suppose -3*w + 2*a + a = o, 0 = 5*w + 5*a + 245. Let q = w + 81. Is q a multiple of 12?
False
Suppose -3*q + 47 = k, 0 = -4*k + 2*q + q + 128. Is 5 a factor of k?
True
Suppose 4*d + 3*f + 33 = 0, -d + 2*f + 36 = -6*d. Let r be 498/d*(-1 - 0). Suppose 4*o = g + r, g + 39 = o + o. Is 12 a factor of o?
False
Let o = 20 - 3. Does 14 divide o?
False
Let q be ((-9)/(-2) - -2)*-2. Let g = 26 + q. Is 11 a factor of g?
False
Suppose 6 = 5*t - 14. Suppose 0 = f - 24 + 8. Suppose 96 = t*k - f. Does 14 divide k?
True
Is (-5505)/(-60) + ((-10)/8)/(-5) a multiple of 8?
False
Let q be (-6 - -7)*3*4. Suppose 0 = 2*g + 4*z - 56, -2*g = -2*z - 14 - q. Suppose 0 = -d + 5*a + g, 27 = 4*d - 3*a - 11. Does 5 divide d?
False
Does 18 divide (-1266)/(-3) + 2*2/4?
False
Let u be -2*((-1)/(-2) + 0). Let b(j) = -4*j - 2. Is b(u) a multiple of 2?
True
Suppose -4*u - 8 = -0. Is -22*(u - -1) - 3 a multiple of 12?
False
Let x(w) = 5*w**2 + 3*w**2 + w + 4 - 3 + 4*w**2. Does 4 divide x(-1)?
True
Suppose 8 = 2*q, 4*v + 2*q = 2*v. Let o be (-453)/(-12) + (-1)/v. Is 13 a factor of 1/((-2)/o*-1)?
False
Suppose q - 448 = -4*t - 79, 0 = 2*q - 4*t - 726. Is q a multiple of 12?
False
Let f(j) = -18*j - 18. Is 18 a factor of f(-3)?
True
Let s = -3 + 4. Suppose r = -s, -2*n - r + 31 - 4 = 0. Is n a multiple of 9?
False
Suppose 0 = -y - 2 + 1. Let l(p) = -28*p - 1. Let o be l(y). Suppose 4*m + 3 = o. Is 3 a factor of m?
True
Suppose 0 = -0*b - 