 3*l - g = v, 4*l + 4*v - 231 = -79. Is l a multiple of 12?
True
Is 7 a factor of ((-3)/(-6))/(2/68)?
False
Suppose -6*d + 18 = -4*d. Suppose -2*y - d - 7 = 0. Let g(s) = -3*s - 6. Is 9 a factor of g(y)?
True
Let j(v) = 8*v + 4. Is j(5) a multiple of 44?
True
Let k be 2/4 - 21/(-6). Suppose -v + 1 = 0, -4*v + 84 = 3*g - k. Is g a multiple of 22?
False
Suppose 0*i + 5 = i. Let m be ((-2)/(-2) - 3)/(-1). Suppose a - 37 = -m*n, i*n - 88 = -0*n - a. Does 9 divide n?
False
Let h = -12 - -17. Let d be ((-4)/6)/(h/45). Let m(a) = -a**3 - 6*a**2 + 8. Is m(d) a multiple of 4?
True
Suppose 8 = -6*b + 4*b, 5*v - b - 79 = 0. Is v a multiple of 4?
False
Let z = 2 - 9. Let t = 11 + z. Suppose 78 = t*x - 2. Does 20 divide x?
True
Let m = 7 - -9. Suppose -18*z = -m*z - 142. Does 29 divide z?
False
Suppose -q + 0*q + 60 = 0. Does 15 divide q?
True
Suppose -4 - 32 = -4*u. Suppose u*c = 4*c - 70. Let m = 28 + c. Does 7 divide m?
True
Suppose 0 = 2*d + 5*l - 410, -4*d + 6*d + 4*l = 414. Suppose -4*m = m - d. Suppose 4*z + m = p + 2*p, -4 = z. Does 4 divide p?
False
Let b = 36 + -16. Is b a multiple of 5?
True
Suppose 12*p + 5 = 7*p, 3*p + 58 = n. Is n a multiple of 20?
False
Let b(z) = 23*z**3 - 4*z**2 - 4*z - 3. Let o be b(4). Let l be 2/8 + o/12. Suppose -5*w = -w - l. Is 13 a factor of w?
False
Suppose -3*h = -l - 47, -2*l + 4*h = -l + 49. Let b = 71 + l. Does 30 divide b?
True
Let z be 432/84*7/1. Suppose -l - 6 + z = 0. Does 6 divide l?
True
Suppose 3*l + h = 241, -73 - 12 = -l + 2*h. Suppose -l = -5*i - 11. Does 7 divide i?
True
Let c = 8 - -4. Let a(x) = x**3 - 11*x**2 - 10*x - 2. Is a(c) a multiple of 11?
True
Let a = 19 + -13. Is 12 a factor of 4/a - (-100)/3?
False
Suppose 4*p + z = 75, 5*z + 8 = 2*p - 13. Is 4 a factor of p?
False
Suppose 5*w = 4*w + 3. Suppose 2*y + w*l - 62 = l, -y + 46 = -2*l. Is y a multiple of 18?
True
Suppose 1250 = -p + 6*p - 2*o, 0 = -p + 5*o + 250. Is p a multiple of 12?
False
Let q(t) = 10 - 25 + 20 - 3*t. Is 19 a factor of q(-11)?
True
Suppose -3*b = -3*m, -6*m + 1 = -2*m - 5*b. Let d(h) = h - 1. Let w(c) = -42*c + 28. Let g(p) = m*w(p) - 28*d(p). Is g(2) a multiple of 11?
False
Suppose 0 = -a - 0*a, a - 160 = -2*b. Is 20 a factor of b?
True
Let p(f) = -f**3 - 6*f**2. Let m be p(-6). Suppose -4*w - 90 = -5*t, m*t + 3 = 2*t + 5*w. Is 14 a factor of t?
True
Let t(v) = 14*v - 1. Let m be t(1). Suppose 2*r - 5 = m. Is r a multiple of 9?
True
Suppose 733 = -18*h + 3883. Is 25 a factor of h?
True
Suppose 5*n - 19 = 11. Is 6*(34/n + 3) a multiple of 22?
False
Suppose 0 = 2*y + 4*t - 20 + 8, 0 = -2*y + 2*t. Let a(x) = 12*x - 2. Is a(y) a multiple of 7?
False
Let f(g) = -g**2 + 4*g - 3. Let b be f(3). Let n(i) = i**2 + i + 65. Does 12 divide n(b)?
False
Suppose 2*f + 263 = 3*s, 3*s + s = 3*f + 349. Is s a multiple of 42?
False
Let i = 178 - 22. Is i a multiple of 6?
True
Suppose -5*s + 61 = 6. Let p(u) = 6*u**3 + 2*u**2 - 1. Let y be p(1). Let q = s - y. Does 4 divide q?
True
Let o = -110 - -237. Suppose 4*p + t + 107 = 0, 0 = -7*p + 3*p + 3*t - o. Let v = -13 - p. Does 15 divide v?
True
Let y(k) = k**3 - k**2 + k + 5. Let z(l) = l**2 + 11*l + 10. Let u be z(-10). Is y(u) a multiple of 3?
False
Let l(q) = -q**2 + q + 48. Does 8 divide l(0)?
True
Is 8 a factor of -4 + -1 + 1 + (121 - 52)?
False
Suppose -224 = -4*o + p + 3*p, 5*o - 260 = -5*p. Does 6 divide o?
True
Let b(c) = -c**3 + 10*c**2 + 12*c + 1. Does 2 divide b(11)?
True
Let n(i) = i + 4. Does 12 divide n(8)?
True
Let n(x) = x**2 - 2. Suppose -6 = 5*d - 3*d. Is 2 a factor of n(d)?
False
Let z(w) = 0 - w - w + 1 + 3*w. Let a be z(-1). Suppose -4*y = -a*y - 52. Is y a multiple of 13?
True
Suppose 2*s - 18 = 118. Is s a multiple of 8?
False
Let h = -8 - -20. Let u = h - 8. Suppose 22 = u*c - 26. Is c a multiple of 6?
True
Let z = -12 + 21. Suppose -n = -2*n - 2*d + z, 5*n - 2*d - 69 = 0. Is n a multiple of 13?
True
Suppose 0*f - 16 = 4*p + 2*f, 17 = -3*p - 4*f. Is (-2)/p*(-99)/(-6) a multiple of 4?
False
Let f(i) = i**2 - 2*i + 2. Let l be f(3). Suppose -14 = -l*y + 4*y. Is 7 a factor of y?
True
Suppose 4*k - 5*k - 4 = 0. Let m(q) = 3*q**2 - 4*q + 1. Does 21 divide m(k)?
False
Let s be (-2)/4*2 + 23. Suppose -4*f = 5*q - 329, -q + 48 + s = 5*f. Is q a multiple of 22?
False
Suppose -r = 3*j + 28, -5*r + 2*j - 4*j = 75. Let a = 7 + r. Does 2 divide (a - 0)/3 + 6?
True
Let k(c) = c - 9. Let i be k(11). Let y = 22 + i. Is 12 a factor of y?
True
Let v(i) = -i**2 - 5*i - 4. Let m be v(-3). Is 37/3 - m/6 a multiple of 5?
False
Does 3 divide 14 - 2/(-3)*6?
True
Suppose 5*j = -u + 10, 3*u + 18 - 3 = 0. Is 10 a factor of j/(9/66) - -2?
False
Suppose 5*w - 15 - 30 = -4*q, 0 = -3*q + 2*w + 5. Suppose -c + q*c - 77 = -k, -3*k = 3*c - 51. Is 10 a factor of c?
True
Let k be 2 - (-10 + 1/(-1)). Let b = 24 - k. Does 5 divide b?
False
Does 9 divide (-4)/(-26) - (10780/(-65) - 4)?
False
Let j(k) = k - 10. Let c be j(0). Let x be (8/c)/(1/(-5)). Is (x/(-3))/((-6)/63) a multiple of 7?
True
Let t be 2 - (0 - (-9)/3). Is (-1 - t) + 4 + -2 a multiple of 2?
True
Let u(y) = -y**2 + 14*y - 11. Let n be u(13). Suppose 5*b - n*b - 9 = 0. Does 3 divide b?
True
Let g(r) = -r + 2. Let f be g(4). Does 3 divide 6/(3 - f - 3)?
True
Suppose 5*o = 3*i + 307, -o + 0*o - 4*i = -66. Is 10 a factor of o?
False
Let f be 1/1 + -331 - 3. Is (-1)/((-3)/f*-3) a multiple of 21?
False
Suppose -2*r + 0*r = -158. Suppose 0 = 3*p - 47 - r. Is p a multiple of 14?
True
Let n = 13 + 10. Is n even?
False
Suppose 5*a - 1 = 4*i - 11, 25 = 3*i + 5*a. Suppose i*r = 3*o - 87, -5 = -3*o - 3*r + 58. Does 8 divide o?
True
Suppose 9 = 3*x - b, 4*x - 3*x + 3*b + 7 = 0. Suppose x*m = m + 13. Is m a multiple of 12?
False
Let j(i) = -i**2 - 9*i + 5. Is 7 a factor of j(-5)?
False
Let z be 48 - (-3)/(6/2). Let m = z + -28. Does 7 divide m?
True
Suppose 0 = 6*h - 594 + 210. Is h a multiple of 12?
False
Does 10 divide 315/(-4)*32/(-12)?
True
Let c = -7 + 5. Let k = c - -2. Suppose -5*l + 5 + 25 = k. Does 3 divide l?
True
Suppose l + 20 = 5*q, -l + 4 = -0*l + 3*q. Let i(j) be the second derivative of j**4/12 + j**3/3 + 5*j**2/2 - 2*j. Is i(l) a multiple of 10?
True
Let t(g) = -g**3 + 2*g**2 + 4*g + 2. Is 5 a factor of t(-3)?
True
Suppose -269*n + 267*n + 122 = 0. Is n a multiple of 10?
False
Suppose 4*c - 5*t - 20 = 0, -4*c = -c + 5*t - 15. Suppose -5*s + 50 = 2*k, 0*k + c*s = -3*k + 80. Is 10 a factor of k?
True
Suppose 2*i + 12 = 5*i. Let x be 5 - i/(2 - 0). Suppose -47 = -4*n + 3*z, 3*z + 31 = x*n - n. Does 5 divide n?
False
Suppose -2*v + 2*g + 72 = 0, -2*g - 186 = -6*v + v. Is (7 + -3)/(4/v) a multiple of 14?
False
Let x = 5 + -2. Let b(w) = 1 - 3 - 4 + x*w. Is b(4) a multiple of 3?
True
Is ((-4)/(-6))/((-2125)/(-705) - 3) a multiple of 8?
False
Is 11 a factor of ((33/4)/(-3))/(6/(-264))?
True
Suppose 3*n = -0*n + 6. Is n a multiple of 2?
True
Is ((-28)/(-5))/(3/(-90)*-3) a multiple of 28?
True
Let n = -98 - -118. Does 20 divide n?
True
Suppose 103 = 5*y - 4*d, -2*y = 4*d - 20 - 10. Is 5 a factor of y?
False
Let k(v) = 2*v + 13. Let c be k(-8). Does 16 divide (3/(-9))/(c/549)?
False
Let q be 43 + 4/(-2 + 0). Let z = -4 + q. Is 18 a factor of z?
False
Suppose 0 = h + 3*w - 57 - 112, 910 = 5*h + 2*w. Is h a multiple of 14?
False
Let x = -29 + 71. Is x a multiple of 14?
True
Let f = -3 - -14. Is 4 a factor of f?
False
Let q(g) be the second derivative of 0 - 1/12*g**4 - 1/20*g**5 + 7/6*g**3 + 5/2*g**2 + 4*g. Does 9 divide q(-4)?
False
Let w(a) = -a**2 - 18*a + 52. Is w(-13) a multiple of 16?
False
Suppose 594 + 484 = 7*q. Is q a multiple of 38?
False
Suppose y + 38 = 2*y. Suppose -2*w = -4*s + 122, -s + y = -0*w + 2*w. Is s a multiple of 16?
True
Let p = -63 - -91. Does 8 divide p?
False
Let w(k) = k**2 - 9*k + 7. Is w(10) a multiple of 5?
False
Let b be 1*(-4)/(4/5). Let p = 19 + b. Is p a multiple of 7?
True
Let j = -27 + 122. Does 17 divide j?
False
Let r be 5*-1*1*-1. Let p be (4/9)/(6/27). Suppose r*l = -3*k + 116, p*k - 112 = -5*l + 2. Is 13 a factor of l?
False
Let t(x) = -x**3 + 5*x**2 + x - 6. Let i be t(5). Is 16 a factor of -5*(-1 + -2) - i?
True
Let z = 84 + -60. Does 12 divide z?
True
Let l(z) = -z**3 - 4*z**2 + 3*z - 7. Let o = 8 - 0. Let u be (20/o)/(2/(-4)). Does 2 divide l(u)?
False
Let v be (0/3)/(-1 - 0). Suppose -3*h - 3*l + 