 o. Is 10 a factor of r?
True
Let d(z) = 14*z**3 - 2*z + 1. Suppose 0 = 4*x - 20 - 0. Let u be (-3)/x + (-8)/(-5). Is d(u) a multiple of 8?
False
Let n be (-30)/((-2)/(-20)*-4). Suppose 2*r - n = -r. Does 5 divide r?
True
Let u = 2 + -14. Let a be 3/u - (-387)/12. Suppose 5*i = 4*i + a. Is 16 a factor of i?
True
Let g(s) = -6*s + 4. Is 10 a factor of g(-6)?
True
Suppose 0 = -c - 2*k + 15 - 5, 10 = -5*c + 5*k. Let u be 284/14 + (-4)/14. Suppose 2*f = -c + u. Does 3 divide f?
True
Suppose 32 - 12 = 4*j. Let k be (-9)/2*4/(-6). Suppose 2*p = -j*x + 151, k*p + 1 + 19 = x. Is x a multiple of 13?
False
Suppose 0 = -8*d + 3*d - f + 245, d - f - 43 = 0. Suppose -l - 3*l + d = 0. Is l a multiple of 10?
False
Suppose 3*y = -4*n + 280, 3*y = 5*n + 199 + 99. Is 12 a factor of y?
True
Let c(y) = -y**3 + 5*y. Is 9 a factor of c(-4)?
False
Suppose 1 = 3*f + 3*i - 101, -i - 176 = -5*f. Is 5 a factor of f?
True
Let f = -2 - -6. Suppose -5*j + 4 = -6. Suppose -j*c = 4*n - 52, 5*c = -f*n + 8*n + 74. Is c a multiple of 18?
True
Suppose -l - 1 + 4 = 0. Suppose l*t = 4*t - 6. Suppose -t*q + 25 = -q. Is q a multiple of 3?
False
Suppose 45 = d + 2*d. Let c be (-1)/3*-1*d. Suppose -5*k = 5, -c*k = -3*j + 2*j + 43. Does 19 divide j?
True
Suppose -3*l + 2*l = 25. Is 15 a factor of l/(-20)*(1 + 19)?
False
Let q(u) = 2*u - 2. Let a be q(3). Suppose a*h = 3*h. Suppose 3*y - 7 = -4*z + 21, h = -2*y - 3*z + 20. Is y a multiple of 4?
True
Suppose -c - 1 = 1. Does 10 divide 5 + 33 + -1 + c?
False
Suppose -5*r = -r - 2*q - 104, 140 = 5*r - 5*q. Does 6 divide r?
True
Is 33 a factor of 20/(-48)*-555 - (-1)/(-4)?
True
Suppose -5*u - f + 35 = -3*u, -3*u + 69 = -4*f. Does 4 divide u?
False
Suppose -3 = 4*r - 15. Suppose 12 = x + n, r*x - 41 = 3*n - 5. Is x a multiple of 12?
True
Let a be (0 - -11) + (-4)/(-4). Let s = a + -8. Let x = s + 19. Is 8 a factor of x?
False
Let p(h) = -h**3 + h. Let l(u) = -u**3 + 12*u**2 + 14*u - 2. Let f(n) = l(n) - 2*p(n). Is f(-10) a multiple of 26?
True
Let k(j) be the first derivative of j**4/4 + 5*j**2/2 - 4*j - 1. Let w be k(3). Let f = w - 27. Is f a multiple of 6?
False
Suppose 5*d = -5*z - 50, -d + 1 = -2*z - 4. Let i(u) = -6*u + 6. Is 13 a factor of i(d)?
False
Suppose 2*r = 4*r - 40. Is r a multiple of 10?
True
Let d = 71 - 41. Suppose -4*x - d = -130. Does 25 divide x?
True
Is 24 a factor of -96*(54/(-8) + 5)?
True
Let h(f) = 2*f**3 + 25*f**2 + 6*f - 22. Does 22 divide h(-12)?
False
Suppose 0*g - 5*g = 2*f - 22, 0 = -3*f + 2*g - 5. Suppose k - 1 - f = 0. Suppose -21 + 99 = k*n. Is n a multiple of 13?
True
Suppose -r + 1 + 0 = 0, 3*v + 3*r = 1578. Does 15 divide v?
True
Let u = -11 + 15. Suppose u = 3*z + 13. Let i(p) = p**3 + 5*p**2 + 3*p + 3. Is 12 a factor of i(z)?
True
Suppose 0 = -3*g - 72 - 12. Let x = g + 44. Is 4 a factor of x?
True
Let p be (3 + 33/(-9))*12. Let o(x) = -x**3 - 7*x**2 + 6*x + 4. Is o(p) a multiple of 5?
True
Suppose -3*z = -6*z + 216. Does 9 divide z?
True
Let p be (-24)/(-9)*(-12)/(-8). Suppose -2*t - 5 = -4*i - 1, p*t - 4*i = 0. Suppose 0 = -t*x - 0 + 4. Is x a multiple of 2?
True
Let q be (1 + 5)*(-4)/(-8). Let a be (0 - 2) + (-77)/(-7). Suppose -a*p = 2*c - 5*p - 60, -p + 85 = q*c. Is 10 a factor of c?
False
Suppose 4*x = -4*b + 7*b - 26, -4*b + 3 = x. Suppose -b*t - 51 + 167 = 0. Is 29 a factor of t?
True
Let d be 3/2 - (-2)/(-4). Suppose z - r - 1 + 0 = 0, 2*r = 5*z - 5. Does 11 divide (-2*z)/d - -17?
False
Suppose -2*j = 2*q - 16, 2*q - q = -5. Let m = j - 1. Is 8 a factor of m?
False
Suppose 6*p - 3*p - 2*u - 76 = 0, 0 = 3*p + 3*u - 66. Is p a multiple of 12?
True
Let x(s) = 2*s**3 - 5*s**2 - 13*s + 3. Is x(5) a multiple of 14?
False
Let c(m) = -m**2 + 4*m - 2. Suppose -1 - 8 = -3*g. Let h be c(g). Let d = 12 - h. Is 11 a factor of d?
True
Suppose 54 + 44 = 7*a. Does 5 divide a?
False
Suppose -5*d - 2*z = z - 29, 5*z - 7 = 2*d. Suppose -139 = -d*p + 41. Is p a multiple of 15?
True
Suppose 13*u - 5*u = 1328. Is u a multiple of 9?
False
Let n(o) = 2*o**2 + 5*o + 3. Let s = -5 - -9. Let l be 1 + -6 + s + -3. Does 13 divide n(l)?
False
Is 11 a factor of ((-165)/10)/(3/(-8))?
True
Let m = -20 + 39. Is 5 a factor of m?
False
Let y(b) = 8*b + 31. Does 15 divide y(10)?
False
Is (6/12)/((-1)/(-356)) a multiple of 32?
False
Let r = -6 - -6. Suppose r*y - 10 = -2*y. Suppose y*t - 190 - 20 = 0. Is 11 a factor of t?
False
Is 3 a factor of (-1)/(3 + 68/(-22))?
False
Let n = -8 - -12. Let g(c) = -c**3 + 6*c**2 - 4*c - 1. Is 15 a factor of g(n)?
True
Suppose 5*u - 5 = 0, -11 = 3*r - 4*u + 5. Let k = r - -4. Suppose -34 = -3*z - 0*d + 5*d, k = -2*z + 4*d + 24. Does 6 divide z?
False
Suppose 5*m = 5*l + 180, 12*m + 2*l + 32 = 13*m. Is 4 a factor of m?
True
Let m(o) = 5*o. Is 15 a factor of m(6)?
True
Let a = 52 - 25. Suppose -r = -a - 13. Is r a multiple of 20?
True
Suppose 3*i - 142 = -2*j - 0*i, 0 = 5*j + 2*i - 333. Is j a multiple of 20?
False
Suppose -40 = -2*l + 2*d + 58, -2*l - d + 98 = 0. Is l a multiple of 13?
False
Let i be 1258/(-8) + (-6)/8. Is 13 a factor of 6/(-18) + i/(-6)?
True
Suppose -2*b + 343 = 5*f - 295, -362 = -3*f + 4*b. Is 18 a factor of f?
True
Suppose 7*v = 116 + 150. Is 14 a factor of v?
False
Suppose 40 = u + q - 5*q, -3*q = 4*u - 179. Suppose -262 = -5*m + i, -m = -i + 5*i - u. Suppose -p + m = p. Is p a multiple of 13?
True
Let m(l) = -l**3 + 7*l**2 + l - 9. Let r be m(7). Let d = 2 + r. Suppose 2*x + 2*x - 48 = d. Is 5 a factor of x?
False
Let d(g) = 2*g + 2. Let k be d(-3). Suppose -2*c + 2*l + 22 = -2*l, -4*l - 5 = -c. Let y = c + k. Is 11 a factor of y?
False
Suppose 81 = 2*r + 5*i + 9, 3*r + i = 95. Does 16 divide r?
False
Let t = 10 - 2. Let r be ((-4)/t)/(1/4). Is r*1 - (-3 + -2) a multiple of 3?
True
Let n(l) = l**3 + 7*l**2 + 2*l + 5. Suppose -4*o + 0*p - 2*p = 28, -14 = 3*o - 2*p. Does 9 divide n(o)?
False
Suppose -4*r = 2*t - 72, 5*r - 4*t = -3*t + 90. Is r a multiple of 11?
False
Suppose -u + 0 = 3. Let g(r) = 6*r - 14. Let k(z) = 2*z - 5. Let i(t) = u*g(t) + 8*k(t). Is i(-4) a multiple of 5?
True
Let r be 356/22 - (-8)/(-44). Suppose j + 3*l - 8 = 0, 4*j - 3*l - l = r. Is j a multiple of 5?
True
Suppose z = 4*g + 3*z - 102, -2*z = g - 18. Is 28 a factor of g?
True
Suppose c - 1587 = -4*u, 11*c - 7*c - 1174 = -3*u. Does 20 divide u?
False
Let j be 9*(-5)/(135/(-6)). Suppose 0*b - 20 = -j*p + 4*b, 3*p + 3*b = 3. Is 2 a factor of p?
True
Suppose -z - 4*z + 5*p = -245, -3*z + 151 = -4*p. Suppose -3*k + 15 = -3*l, -3*l + 3*k - z = 6*k. Is 10 a factor of l*(-4 - 2*-1)?
True
Let y(x) = -2*x + 10. Let n be y(9). Let l be 12/n + (-6)/(-4). Suppose -2*d = 2*m - 15 - 5, -3*d - 2*m + 30 = l. Does 3 divide d?
False
Suppose 4*x - r = 35, 2*x + 3*r - 30 = -x. Is x a multiple of 3?
True
Is 15 a factor of -3 - (4 + -8) - -164?
True
Let g = -10 - -35. Is g a multiple of 5?
True
Suppose 498 = 2*h + 4*m, -429 - 104 = -2*h + 3*m. Is 37 a factor of h?
True
Let s = 12 - 7. Suppose 2*w = -3*k + 3*w + s, -6 = -k - 4*w. Suppose 0 = -k*c - 4 - 0, 5*c = 5*v - 80. Is 7 a factor of v?
True
Suppose -4*l = -210 - 10. Is 5 a factor of l?
True
Suppose 0 = -0*u + u - 56. Is u a multiple of 14?
True
Let i(o) = o**2 + 7*o + 7. Let t be i(-6). Let m be 6*(51/6 + t). Is m/((6/4)/1) a multiple of 18?
False
Let r = 7 + -5. Suppose 3*s + r*s = -4*p + 54, -2*s = -5*p + 51. Is p a multiple of 5?
False
Is 90*(-12)/(-2)*20/80 a multiple of 27?
True
Let m(o) = -29*o - 88. Does 12 divide m(-12)?
False
Let j(i) = 3*i**2 + 3*i. Suppose 4 = -n - 2*d, 0 = -2*n + 7*n - 2*d + 8. Is 5 a factor of j(n)?
False
Suppose 2 = 2*p - 4, -29 = 4*s - 3*p. Let d(x) = -47*x**2 - 1 + x**3 - 4*x + 7 + 53*x**2. Is d(s) a multiple of 17?
True
Suppose 0*h = -h + 7. Let x(y) = 3*y - 3. Is x(h) a multiple of 6?
True
Let a = -104 - -65. Is -2 + (-1 - (a - 2)) a multiple of 19?
True
Let m(a) = 6*a**3 + a. Let x be m(1). Let h = -14 + x. Let l = 35 + h. Is 14 a factor of l?
True
Let g = 44 - 64. Is 10 a factor of -1*((g - -2) + -2)?
True
Let q(j) = -j + 4. Let n be q(-10). Suppose m = -r + 18, -2*m - r + 20 = -n. Is m a multiple of 8?
True
Suppose -t = 5*r - 139, 5*r - 5*t + t - 144 = 0. Is 7 a factor of r?
True
Let o(z) = 2*z**2 - 5*z - 8. Let r(k) = -3*k - 6. Let n be r(-4). Does 15 divide o(n)?
False
Suppose g - 106 = -5*v, -g - 91 = -2*g - 2*v. Let c = g