 4*m = 400. Is n a multiple of 20?
True
Let c(l) = l**3 + 5*l**2 + 2*l - 4. Let s be c(-3). Let w be 36/s*8/6. Is 7 a factor of 128/w + 3/(-9)?
True
Let x = 122 + -66. Is x a multiple of 14?
True
Let u be 1924/24 - (-1)/(-6). Does 24 divide u*2/(4 + -2)?
False
Let q(b) = 2*b**2 + 5*b + 2. Suppose -3*i = -3*d + 3, 25 = -i - 3*d - 2*d. Is q(i) a multiple of 23?
False
Let k = 25 - 18. Let b = -3 + k. Does 10 divide 40/b - 2/(-2)?
False
Suppose j - 8 = 2*v + 182, 189 = j - 3*v. Suppose 0 = -7*d + 3*d + j. Is 16 a factor of d?
True
Suppose 7 = 2*t - 3. Suppose -t*f + o + 3*o = -250, -5*o - 163 = -3*f. Let x = f - 27. Does 7 divide x?
False
Suppose 0*y + 90 = t - 2*y, -5*t - 5*y + 465 = 0. Is t a multiple of 29?
False
Let z be ((-12)/(-15) + -2)*-15. Let g = z + 15. Is -4*2/((-12)/g) a multiple of 8?
False
Let u = -11 + 16. Suppose 2*o = -3*i + 25, o + u = i + i. Suppose -2*s - 45 = -o*s. Is s a multiple of 6?
False
Let i be (2 + 0 - 1) + 5. Suppose p = i - 4. Suppose 3*z - 4 = y - 27, -2*y + 38 = -p*z. Does 5 divide y?
False
Let i(q) be the third derivative of -q**6/120 + 3*q**5/20 + q**4/8 + q**3/6 + 3*q**2. Let l be i(9). Suppose -f = -5, -k = 3*f + 1 - l. Is k a multiple of 7?
False
Let g = 95 - 65. Does 15 divide g?
True
Let m(t) = 101*t**3 + t**2 + t - 1. Let p be m(1). Let z be 4/(-16) + p/(-8). Let w = z - -29. Does 10 divide w?
False
Suppose -3*o = -4 - 5. Let z = o - 4. Let y = z - -9. Does 4 divide y?
True
Suppose 7*l = 2*r + 2*l - 52, -l = r - 40. Is r a multiple of 9?
True
Let x be (-8)/(-6)*(20 + 7). Suppose 0*z + x = z. Suppose -4*b + 60 = -z. Does 12 divide b?
True
Let c be (-12)/9 - 4/6. Is 3 a factor of (c + 7 + -1)*5?
False
Suppose -9 = 3*d, 2*j + 3*j = 4*d + 542. Is 42 a factor of j?
False
Suppose -l - 2*x = 4, -l - 10 + 36 = -4*x. Let d be 1/(-3) + 20/l. Let u(s) = s**2 + s - 3. Is u(d) a multiple of 7?
False
Let m = 29 - 5. Is m a multiple of 24?
True
Suppose -2*u - 2 = -5*i + 6, -u - 2 = -2*i. Suppose 0 = -9*d + u*d + 15. Does 2 divide d?
False
Let v = 7 + 3. Let i = 60 - v. Is 23 a factor of i?
False
Let j be (1/(-3))/(4/(-48)). Suppose 0 = 4*u - 5*y - 64, 4*y - j = -2*u + 2. Does 11 divide u?
True
Suppose -5*j = 0, 2*r + 4*j + 201 = -231. Is -1 + 0 - r/8 a multiple of 13?
True
Let j = -61 - -85. Does 12 divide j?
True
Is (104/(-12))/((-5)/15) a multiple of 14?
False
Suppose -3*r + 0*r + 29 = -z, 39 = 5*r + 3*z. Does 3 divide r?
True
Let o = 32 + 66. Suppose 4*z = -o + 338. Let l = -24 + z. Does 12 divide l?
True
Let b = 308 + 19. Is b a multiple of 40?
False
Let c = -10 - -14. Suppose 48 = v - 2*l, 0 = 2*v + c*l - l - 82. Is 16 a factor of v?
False
Let x(c) = c**2 + 2*c + 1. Let k be 1/((3/(-3))/1). Let a be x(k). Is 12 a factor of (a - -1) + 22 + 1?
True
Suppose -36 = m - 116. Suppose -3*c = -m - 58. Suppose -5 = t - c. Is 16 a factor of t?
False
Suppose -3*j + 4*j = 6. Let l = j - 2. Does 12 divide (21/(-2))/(l/(-8))?
False
Let s(z) = 5*z**2 - z - 1. Let c be s(-1). Suppose 7 = -c*b + 147. Is b a multiple of 14?
True
Suppose 0 = j + 3*j + 48. Let y = j + 19. Suppose -2*n = -y*n + 50. Is 10 a factor of n?
True
Is (-28)/(-13) - (0 + (-6)/(-39)) even?
True
Let x be 6/4*16/12. Suppose x*c = -0*c - 5*n + 45, -3*c = n - 61. Is c a multiple of 7?
False
Let r(o) = -o**3 + 21*o**2 - 15*o - 30. Does 19 divide r(20)?
False
Let x(h) = h**3 + 4*h**2 - 7*h - 8. Let b be x(-5). Suppose 0 = -0*s + b*s - 20. Does 2 divide s?
True
Suppose 0 = -9*y + 5*y - 2*c + 92, y - 3*c - 23 = 0. Is 10 a factor of y?
False
Let z(l) = 33*l + 18. Does 30 divide z(4)?
True
Does 37 divide (1 - 687)/(3 + (-25)/5)?
False
Let l(d) = d**3. Let w = -10 + 11. Let o be l(w). Is 14 a factor of 42 + 2 + (-2 - o)?
False
Let c(k) = 3*k**3 + 6*k**2 - 6*k + 4. Let l(f) = -8*f**3 - 17*f**2 + 17*f - 11. Let t be 17 + 0/(2/(-1)). Let h(i) = t*c(i) + 6*l(i). Is 21 a factor of h(2)?
False
Suppose 4*z + 33 = -d - 22, 40 = -4*z - 4*d. Let h = z - -52. Let x = h - 20. Does 17 divide x?
True
Suppose 0*y + 3*y = 12. Suppose -i - 41 - 23 = -f, -164 = -3*f - y*i. Does 12 divide f?
True
Is 23 a factor of (0 + -235)*8/(-20)?
False
Let n = 35 + -20. Is n a multiple of 5?
True
Suppose 6*z = 4*z. Suppose z*x - 33 = -3*x. Is x a multiple of 2?
False
Suppose 3*v + 1 = -m + 16, 0 = -5*v + 3*m + 39. Does 4 divide v?
False
Let n = 215 - 75. Is 35 a factor of n?
True
Let w = -11 + 25. Suppose 5*v = 5, -l = -3*v - w - 4. Does 9 divide l?
False
Let g(t) = -2*t**2 - t. Let m be g(1). Let x(a) = -2*a - 2. Let z be x(m). Suppose 0 = -k - z*k + 15. Is 3 a factor of k?
True
Suppose 0 = -2*b - m + 149, -81 - 235 = -4*b + 4*m. Does 12 divide b?
False
Let i(c) be the third derivative of 0 - 2*c**2 + 0*c - 1/12*c**4 - 1/2*c**3. Does 7 divide i(-7)?
False
Is -1 + (-43)/(-1)*1 a multiple of 14?
True
Let n be (3/3 - 2)*-2. Suppose -6*o + 4*h = -3*o - 29, n*o + 19 = -5*h. Suppose -b - o*y + 10 = -4*y, 0 = -5*y - 15. Is 2 a factor of b?
False
Let b(w) = -w**2 + 5*w + 2. Let v be b(3). Suppose -3*p + v*p = 0. Suppose 3*h - 33 + p = 0. Does 8 divide h?
False
Suppose 2*m + 4*i = 6, 5*m - 5*i = 3*m + 51. Does 7 divide m?
False
Let z = -1 + -4. Let q(a) = a + 3. Let s be q(z). Does 8 divide (1 + s)/((-1)/8)?
True
Let u(v) = 12*v**2 + 20*v + 3. Does 14 divide u(-5)?
False
Let a = 8 - 5. Let y = 2 - 1. Suppose a*u - 23 = y. Is u a multiple of 8?
True
Let q(m) = -m**2 + 12*m - 2. Let p be 1/(-5) + 36/5. Let a be q(p). Suppose 3*i - 9 = a. Does 7 divide i?
True
Suppose -1 = -3*h + 8. Suppose -h*n + 8*n - 60 = 0. Is 6 a factor of n?
True
Suppose j - 43 = -g, -3*g + 2*g - 133 = -3*j. Is 22 a factor of j?
True
Suppose 0*s - 98 = -2*s - 5*g, -3*s + 165 = 3*g. Does 25 divide s?
False
Let i(n) = -7*n - 2. Let g be i(-10). Suppose 0*x - g = -4*x. Let t = x - 2. Is t a multiple of 7?
False
Let m(f) = -9*f - 48. Is m(-23) a multiple of 27?
False
Let x(g) = g + 14. Let d be x(-8). Let k be 20/d - (-4)/(-12). Suppose 17 = k*o - 2*o. Is o a multiple of 9?
False
Suppose i - 9*a = -4*a + 3, 4*i = -2*a + 78. Does 3 divide i?
True
Let s be -5*6/10*2. Let k = 20 + s. Does 14 divide k?
True
Is (190/(-20))/((-2)/4) even?
False
Suppose 4 - 2 = z. Suppose 4*i = -3*j + 86, -58 = -z*j - 0*j - 3*i. Does 13 divide j?
True
Let g(s) = s - 1. Suppose n - 24 = -2*z, 0*z + 2*z + 3*n = 32. Let w be g(z). Suppose -v + w = -14. Is 7 a factor of v?
False
Let p(a) = a**2 - a + 132. Let q be -2 + 2/(1/1). Let m be p(q). Suppose -z = 3*z - m. Does 13 divide z?
False
Let b(z) = 3*z**2 + 4. Let a = 10 + -7. Is 13 a factor of b(a)?
False
Let t(h) = h**2 + 8*h + 9. Let n be t(-7). Suppose 0 = -n*g + 49 + 47. Is g a multiple of 8?
True
Suppose 0*b + 1094 = 4*b + 5*k, -2*k + 1376 = 5*b. Does 46 divide b?
True
Suppose -3*m = -3*d - 120, -m + 200 = 4*m - 4*d. Does 6 divide m?
False
Let c = 87 - 51. Let l = c - 18. Is l a multiple of 7?
False
Let v be (-318)/(-4)*8/12. Suppose 0 = -q + 4*q - y + v, -3*y = -4*q - 69. Let n = 30 + q. Is 4 a factor of n?
True
Let d = 110 + -61. Does 17 divide d?
False
Let k be 0*(2/(-4) - -1). Suppose 5*x - 4*u - 216 = 0, 3*x + 5*u - 225 = -2*x. Suppose k = -3*m - 5 + x. Is m a multiple of 13?
True
Let h(o) = -o**3 + 5*o**2 - 3*o - 4. Let l be h(3). Suppose -10 = -3*k + l. Suppose 4*t = 2*y - 48, -t = 5*y - k*t - 150. Is y a multiple of 17?
True
Is 2/(0 + 2)*2 a multiple of 2?
True
Let i(c) = -c. Let z be i(0). Let u be -3 + 3 + z + 3. Suppose -3*n + 2*o = -2*o - 81, -u*n = o - 66. Is 8 a factor of n?
False
Suppose 4*s - 4*f = 412, -2*s - 6*f = -3*f - 206. Does 25 divide s?
False
Suppose 4*h = 173 + 343. Is 9 a factor of h?
False
Let y = -59 - -18. Let b = -23 - y. Is b a multiple of 13?
False
Suppose -2*p + 9*p = 882. Is 14 a factor of p?
True
Suppose -3*c - t + 3*t = 1, -t = 3*c - 5. Let u(p) = 41*p**3 + 2*p**2 - 1. Is u(c) a multiple of 21?
True
Let o be -2 - -2 - 33/(-1). Let x = 38 + -34. Suppose -202 = -4*j + v - 3*v, 0 = j + x*v - o. Does 18 divide j?
False
Is 6 a factor of (-32)/8*18/(-4)?
True
Suppose -12*d = -7*d - 595. Is d a multiple of 17?
True
Is 2/(-11) - (-1324)/22 a multiple of 15?
True
Let y = 96 - 156. Let r = -40 - y. Is r a multiple of 10?
True
Suppose 2*b = 8 - 0. Suppose -b*o + 33 = -27. Is 5 a factor of o?
True
Is (-6)/(-2 - (-58)/32) a multiple of 16?
True
Let m = -5 - -8. Suppose u = m*u - 12. Is u eve