 of r?
True
Let r be ((-25)/(-15))/(1/3). Suppose 2*l = r*l. Suppose l = -s + 3, -4*n - n - 3*s + 39 = 0. Is 2 a factor of n?
True
Suppose 2*f + 2*f + 210 = 5*o, -4*o + 162 = -2*f. Is 16 a factor of (3 - o/4)*-6?
False
Let v(j) = j**2 - 4*j. Let u = -1 - 5. Let h be (-2 + 0)/(-2) - u. Is 10 a factor of v(h)?
False
Suppose 7*i = -0*i + 196. Is 11 a factor of i?
False
Suppose 2*q - 18 = 76. Let b = -23 + q. Is b a multiple of 7?
False
Suppose -4*b = -2*b - 26. Is b a multiple of 4?
False
Suppose -260 = -s - 5*l, 3*l - 1108 = -2*s - 2*s. Does 14 divide s?
True
Let v = -43 - -81. Let f = -26 + v. Is f a multiple of 12?
True
Let x(g) = 3*g - 1. Does 12 divide x(14)?
False
Let g be -2 + 15 + 1 + -2. Let v(d) = -2 - g*d - 1 + 0. Is v(-2) a multiple of 21?
True
Is 18 a factor of (-51)/(-1) + -1 + 0?
False
Let z(s) = 22*s + 18. Does 39 divide z(11)?
False
Let x = 4 - 13. Let h = 43 - 25. Let n = h + x. Is 9 a factor of n?
True
Let y(j) = 3*j + 1. Is y(10) a multiple of 4?
False
Suppose 0*m - 10 = -2*m. Suppose -d + 3*r - m = 0, -r = 4*d - 4*r - 7. Is d a multiple of 4?
True
Suppose 5*j + 40 = 5*g, 4*j = -0*g + 3*g - 33. Is (-492)/j + (-4)/6 a multiple of 13?
False
Is 47 a factor of ((-396)/(-8))/(9*1/48)?
False
Suppose 2*l + 2 = 0, 0*v + v + 2 = -4*l. Suppose v*o = -g + 4*g - 2, -o - 4*g - 12 = 0. Let s(c) = -c**2 - 10*c - 5. Does 8 divide s(o)?
False
Let v(k) = k**3 - k**2 - 2*k + 5. Is 21 a factor of v(4)?
False
Suppose -10*v = -5*v + 140. Let z = v - -14. Does 15 divide 4/(3/(-3))*z?
False
Is 23 a factor of ((-690)/21)/((-2)/14)?
True
Suppose 0 = -3*d + 2*d + 12. Is 6 a factor of (3 + (3 - 4))*d?
True
Let u = 14 + -24. Let q = 17 + u. Let g = q + 3. Does 9 divide g?
False
Let d(a) = 1 + 0*a + 5*a - 2. Let l be d(1). Suppose -88 = -l*f + 5*i, -i = -f + 6*f - 139. Does 13 divide f?
False
Let u(b) = -b**3 - 6*b**2 + 7*b + 12. Is u(-7) a multiple of 7?
False
Suppose 39 = 3*o - 0*o - 3*f, 0 = -2*o + 4*f + 28. Let u be (1/(-3))/((-2)/78). Suppose t = u + o. Does 25 divide t?
True
Let o(u) be the second derivative of -2*u**3/3 - 2*u**2 - 3*u. Is 6 a factor of o(-4)?
True
Let z = -1 + 1. Suppose -4*f - 2*c - 6 + 14 = 0, -c = z. Suppose f*r = -0*r + 12. Is 4 a factor of r?
False
Suppose 0 = -4*t + 6 + 30. Suppose r + t = 25. Does 8 divide r?
True
Let z(o) = o**3 - 14*o**2 - 15*o + 20. Does 5 divide z(15)?
True
Suppose -3*l + 28 = 3*k - 65, 5*l - 5*k = 115. Does 18 divide l?
False
Suppose -139 = -5*a + 2*z, -3*z + 100 = 4*a + z. Is a a multiple of 13?
False
Suppose 4*f + 4 = 12. Does 4 divide f/5*(-4 + 19)?
False
Let b(r) be the third derivative of 1/6*r**3 + 0*r + 2*r**2 + 0 + 1/20*r**5 + 1/12*r**4. Is 2 a factor of b(-1)?
True
Suppose 2*u + 34 = h + 8, 0 = 4*h + 5*u - 52. Let w be (6/10 - 1) + (-132)/(-30). Suppose h = -w*g + 102. Is 7 a factor of g?
True
Suppose -118 = -4*f - 2*a, -4*f = a - 85 - 34. Does 10 divide f?
True
Let c = 41 - 29. Is 4 a factor of c?
True
Suppose -u = -2*u. Suppose -5*i + u*i = -120. Does 12 divide i?
True
Let y = 24 - -3. Is y a multiple of 4?
False
Let r be 0 + 0 + 3 - -3. Suppose 3*n - 2 = -c - r, 3*c = -n + 28. Is 8 a factor of c?
False
Let g(x) = x**2 - 8*x + 9. Let p be g(7). Suppose 2*z - 14 = -4*v + 48, p*v - 58 = -2*z. Does 9 divide z?
True
Does 6 divide 5/(4/16*1)?
False
Let v(j) = 0*j**2 + 8*j - j**2 + 0*j**2. Is 9 a factor of v(4)?
False
Let c(s) = s**3 + 7*s**2 - 8*s + 2. Let i be (8/5)/(2/(-10)). Let p be c(i). Suppose -p*r - r + 93 = 0. Is 9 a factor of r?
False
Suppose -3*v + 47 = 5*t + 10, 0 = v - 4*t + 16. Suppose -v*m + 58 = -3*m. Does 29 divide m?
True
Let l(k) = 3*k**2 + k. Let v be 15/(-10)*(-4)/(-6). Let j be l(v). Suppose -28 = -6*p + j*p. Is p a multiple of 4?
False
Let q(b) = 4*b**3 + b - 1. Let a be q(1). Suppose 94 = a*k + 22. Does 6 divide k?
True
Let q(j) = -j**3 - 3*j**2 + 5*j - 3. Let n be q(-5). Suppose n - 3 = w. Is w a multiple of 9?
False
Let f = -3 + 5. Suppose -k + f*k - 13 = 0. Is 9 a factor of k?
False
Let b(g) = 7*g + 1. Let h(j) = -15*j - 3. Let s(n) = -5*b(n) - 2*h(n). Let m be s(1). Is (-18)/m - (-2)/4 even?
False
Suppose 4*y - 5*f = 17, -2*f = -6*f - 4. Let h be (-1603)/(-14) + (-1)/(-2). Is 13 a factor of h/y + 6/(-18)?
False
Let b = -6 + 3. Suppose -4 = -4*s + 20. Is 14 a factor of 2/s - 116/b?
False
Let g = -3 + -3. Let u(s) = 2*s - 3. Let z(k) = -7*k + 11. Let v(l) = g*z(l) - 22*u(l). Is v(-3) a multiple of 3?
True
Let z = 162 + -72. Is z a multiple of 18?
True
Let o = -36 - -18. Let c = o + 29. Let v = c + 13. Does 9 divide v?
False
Is 9 a factor of (121 + 14)*(-6)/(-10)?
True
Let s = -113 + 163. Is 13 a factor of s?
False
Let b = -114 - -158. Is b a multiple of 7?
False
Suppose 0 = -6*y + y - 35. Let j(t) = t**3 + 7*t**2 - 3*t + 9. Let q be j(y). Suppose -4*p = p - q. Does 3 divide p?
True
Let v(r) = -r**3 + r**2 - r - 1. Let d be v(-1). Let s(j) = 4*j**2 - 1 + 2*j**d - 4*j**2 - 2*j. Is s(3) a multiple of 11?
True
Let o be (-2)/9 + (-38)/(-9). Suppose o*x - x = 186. Does 16 divide x?
False
Suppose 5*z + 146 = -74. Suppose -b + 54 + 8 = 0. Let j = z + b. Is j a multiple of 9?
True
Suppose j - 2*j = -19. Is (0/2 - -1)*j a multiple of 7?
False
Suppose -w = 3, 0*w - 12 = -5*k - w. Suppose -k*t + 63 + 27 = 0. Does 12 divide t?
False
Suppose 0 = -2*p + 7*p - 125. Is p a multiple of 3?
False
Let n(s) = -s**3 + s**2 - 3. Let d be n(-4). Suppose 14 = 4*o - 6, o - d = -4*h. Does 9 divide h?
True
Suppose -2*k = -151 - 233. Is 16 a factor of k?
True
Is (-105)/20*96/(-18) a multiple of 3?
False
Let i(f) = 4*f - 4. Let d be i(-4). Is (-3 + 0)*d/12 a multiple of 2?
False
Let s(a) = 2*a - 4. Let o be s(5). Let g = o + 8. Is g a multiple of 6?
False
Let w be (-1)/(-3) - (-2)/(-6). Suppose 2*k = -w*k + 96. Does 16 divide k?
True
Let v be 2*(5 + 3/(-1)). Is (-1)/4 - (-89)/v a multiple of 11?
True
Suppose 4*j + 2*t + 294 = 896, -2*t + 755 = 5*j. Is j a multiple of 27?
False
Let y be 1/(-4) + (-5)/(-20). Let a be 2/(4/(-6)) - y. Let j(l) = -2*l - 3. Does 3 divide j(a)?
True
Let u(v) = 5*v**2 - 4*v - 9. Does 5 divide u(4)?
True
Let k be 8/28 + 18/(-14). Let u be ((-24)/14)/(k/7). Is (-1 - (-1 + -2)) + u a multiple of 7?
True
Let p(t) = 4*t**2 + 7*t + 9. Let k(d) = -2*d**2 - 3*d - 5. Let z(y) = -7*k(y) - 3*p(y). Does 18 divide z(5)?
False
Suppose -8 = -4*t + 4. Let y(m) = -11*m + 7. Let b(v) = -5*v + 3. Let a(f) = -5*b(f) + 2*y(f). Is a(t) a multiple of 4?
True
Let n(s) = 3*s**2 + 6*s + 10. Let u(z) = -13*z**2 - 23*z - 41. Let h(q) = 9*n(q) + 2*u(q). Is 6 a factor of h(-8)?
False
Let m = -2 - -6. Suppose 3*s - m*s = 0. Suppose -5*q = -s*q - 150. Does 8 divide q?
False
Suppose 3*z - 26 = z. Let u(g) = g**2 - 11*g + 6. Does 8 divide u(z)?
True
Let k(j) = 2*j**3 - 8*j**2 + j - 8. Let g(m) = -3*m**3 + 9*m**2 - 2*m + 9. Let y(a) = -3*g(a) - 4*k(a). Does 6 divide y(-4)?
False
Let a(m) = 3*m**2 + 2*m - 2. Let p(i) = i**2 - 2. Let b be p(0). Does 3 divide a(b)?
True
Suppose 6*n - 21 - 21 = 0. Is n a multiple of 3?
False
Suppose 3*i = -4*n - 35, -2*i + 3*n = -1 - 4. Let d = 23 + i. Suppose -s + 6 = -4*k, -k - k = s - d. Is 14 a factor of s?
True
Suppose 3*o = -0*o + 1314. Let i = -309 + o. Suppose 3*j - i = -4*s, 2*s = -3*s - 5*j + 165. Is 14 a factor of s?
False
Suppose 2*s - 121 + 5 = 0. Let p = s - 10. Is 19 a factor of p?
False
Let a = -21 - -13. Let j be (-78)/a - (-3)/12. Does 10 divide (-4)/j - 336/(-15)?
False
Let a = 11 - 8. Is 3 a factor of a?
True
Let v(m) = m**2 - 15*m - 5. Let l be v(13). Let r = 95 + l. Is r a multiple of 10?
False
Suppose -2*w + 29 = 9. Suppose 0 = -0*l - 5*l - w. Is 8 a factor of (l/3)/((-3)/72)?
True
Let a = 254 - 154. Suppose -r = 4*r - a. Is 4 a factor of r?
True
Let q(d) = 3*d - 3 + 14 - 2*d. Let i(j) = -6*j - 55. Let n(r) = 2*i(r) + 11*q(r). Does 7 divide n(0)?
False
Suppose -2*r + 5*x = -4*r, 2*r - 4*x - 18 = 0. Suppose 146 = r*d + 46. Is 6 a factor of d/(-3)*(-18)/15?
False
Does 3 divide -3*(3/(-2))/((-13)/(-26))?
True
Let z(p) = p**2 + 3*p + 2. Suppose 3 - 5 = r. Let m be z(r). Suppose 60 = 3*x - m*x + o, 0 = -3*x - 4*o + 69. Is x a multiple of 9?
False
Let y(m) = 3*m**2 + 3*m + 6. Let p be y(-4). Let d be (3/6)/((-3)/234). Is (-1)/(p/d + 1) a multiple of 13?
True
Suppose 0 = -6*o + 16*o - 2700. Does 30 divide o?
True
Suppose 4*x + 80 = 6*x. Is 8 a factor of x?
True
