factor of r?
False
Let i = -92 + 141. Let w = i + 2. Is w a multiple of 5?
False
Does 3 divide (-5)/(-2 + -3)*206?
False
Suppose -5*w + 40 = 5*r, 3*w - 4 = 4*w - 5*r. Suppose -w = -2*v - v. Is 7 a factor of 21/(v - 20/16)?
True
Let x be (-1438)/(-7) + 6/(-14). Suppose -x - 84 = -4*h - 3*u, 2*h + 3*u - 137 = 0. Suppose w - h = -4*k, 5*k + 2*w = 5*w + 78. Is 9 a factor of k?
True
Let n(s) = -s**3 + 2*s**3 + 19 - 15*s**2 - 5*s**3 + 3*s**3 - 13*s. Let v be n(-14). Suppose 0 = -5*o - v*x + 180, 6*x + 76 = 3*o + x. Is 11 a factor of o?
False
Let y(r) = -r**3 + 3*r**2 + 6*r + 8. Let h be y(4). Suppose -f = -h + 10. Does 6 divide f?
True
Is ((-1)/2 + 0)*0 + 65 a multiple of 32?
False
Let n be (-10)/45 + 112/18. Let v(a) = a. Let r(w) = -4*w**2 + 15*w - 10. Let i(k) = n*v(k) - r(k). Is 11 a factor of i(4)?
False
Let u = -12 - -418. Is u a multiple of 29?
True
Let m = 1897 - 566. Is 26 a factor of m?
False
Suppose -3088 + 538 = -3*x + 3*f, 3*x = -5*f + 2574. Does 13 divide x?
False
Let t(z) = 71*z**3 - z. Let i be t(1). Suppose -l - m = -3*m - i, 165 = 3*l + 3*m. Is 15 a factor of l?
True
Let x be 1*-3*(-4)/6. Suppose -4*b - 22 = x*q, -2*q - b + 11 = 27. Let f(y) = -4*y - 7. Is f(q) a multiple of 9?
False
Let x = 4 - 0. Let g = 46 + -20. Suppose -28 = -x*c + 4*o, 4*c - 9*o = -4*o + g. Does 9 divide c?
True
Suppose 4*n = 20, 0 = 5*r + 2*n - 37 - 3. Let p be 1/(-1*2/(-36)). Is 15 a factor of (-6)/p - (-182)/r?
True
Let g(t) = t**3 + 11*t**2 + t + 14. Let l be g(-11). Let c(n) = 55*n + 25. Is 10 a factor of c(l)?
True
Let j = 754 - 446. Is j a multiple of 7?
True
Let d(b) = b**2 - b + 1. Let g(n) = -95*n**2 + 2*n - 5. Let k(a) = -4*d(a) - g(a). Does 18 divide k(-1)?
True
Does 45 divide 10/(-4) - 13195/(-58)?
True
Let k(m) = 9*m**2 + 20*m - 67. Is 21 a factor of k(6)?
False
Let l = 11 - 22. Let q = l - -11. Suppose q*w + 70 = 2*w - 4*k, -3*w + k + 85 = 0. Does 13 divide w?
False
Let o(h) = 3*h + 112*h**3 + 12 - 14 - 52*h**3 + 164*h**3. Does 15 divide o(1)?
True
Let a(w) = w**2 - 4. Let b be a(0). Let v = 15 + b. Is 3 a factor of v?
False
Let x = 9 - 5. Suppose 0 = -0*z + 3*z - 18. Is x/z + 425/15 a multiple of 29?
True
Let o(m) = 28*m + 2. Let d be o(2). Let f = -115 + d. Does 19 divide f/(-2 - (1 + -2))?
True
Let v(g) = -1 - 27*g**2 + 19*g**2 + 5 + 9*g - g**3. Let f be (18/4)/(2/(-4)). Is 4 a factor of v(f)?
True
Suppose 1160 = -76*w + 80*w. Suppose -1100 + w = -5*z. Does 27 divide z?
True
Let u be (-4 - -16) + (0 - 0). Let g = 14 - u. Suppose -41 = -o - k, 0*k - 4*k + 72 = g*o. Does 23 divide o?
True
Suppose 2*a + 0 - 6 = 0. Let l be (-1 + 7 - a) + 8. Suppose 2*i - 78 + l = -3*y, 0 = -2*i + 5*y + 43. Is 6 a factor of i?
False
Suppose -5*k - 5 + 95 = 0. Let l = k + -20. Is 7 a factor of (6 + 86)*l/(-8)?
False
Let u(h) = h**2 + 10*h - 44. Suppose q - 32 = -6*k + k, -5*k = 4*q - 38. Is 14 a factor of u(k)?
False
Let b = 2005 - 965. Suppose 5*t - b = -5*k, -3*k + 208 = t + 2*k. Is t a multiple of 16?
True
Let u(i) = i**3 - 14*i**2 + 45. Does 18 divide u(15)?
True
Let g be (9/6)/(166/(-40) + 4). Is 11 a factor of g/(-70) + 951/7?
False
Let k(i) = i + 8. Let u be k(-4). Suppose -137 = -q - u*g - 43, -4*q + g = -359. Suppose a + q = 4*a. Does 10 divide a?
True
Let n(c) = 3*c**3 - 3*c**2 + 8*c - 1. Let k(x) = 4*x**3 - 2*x**2 + 8*x. Let i(s) = 4*k(s) - 5*n(s). Is 5 a factor of i(-4)?
True
Let x = 27 - 12. Is x - ((-80)/4)/(-5) a multiple of 2?
False
Suppose -2 = 5*g - 3*g. Is 52 a factor of 2 - (g - 0) - -283?
False
Suppose 348 = 4*x - 2*i, 2*x - 256 = -3*i - 66. Let d = x - -11. Is 10 a factor of d?
True
Suppose -14*y = -142 - 26. Does 12 divide y?
True
Let a = -58 - -51. Let x(t) = -8*t + 14. Is x(a) a multiple of 14?
True
Let t(w) = -w**3 + 2*w**2 + 2*w + 3. Let i be t(3). Suppose 3 = -l - i*l. Is 9 a factor of -22*(1 + l/2)?
False
Suppose 4*h + i - 3295 = 0, -i + 3298 = 4*h - 3*i. Is 22 a factor of h?
False
Let f = -893 - -1505. Is f a multiple of 4?
True
Let a = 19 - -10. Suppose n + 5*u = -0 + a, -2*u = 0. Is n a multiple of 13?
False
Let u(c) = 4*c**3 + 5*c**2 - 10*c - 8. Does 63 divide u(5)?
True
Let n(b) = b**2 - 4*b + 30. Is 35 a factor of n(-16)?
True
Let y = 15 + -23. Let r(t) be the first derivative of t**4/4 + 10*t**3/3 + 4*t**2 - 13*t + 249. Is r(y) a multiple of 10?
False
Suppose -2*g + 1415 = 3*m, -5*m - 3*g + 1410 = -2*m. Is 19 a factor of m?
True
Let c = 101 + -185. Let s be (c/(-8))/(-3)*-2. Suppose 2*g = s*g - 225. Does 16 divide g?
False
Let o(w) = -291*w**3 + 290*w**3 + 126 - 5*w + 4*w - 3*w**2. Does 18 divide o(0)?
True
Suppose -4*p + h = 21, -5*h + 3 - 18 = 0. Let a be 2*-1*(p + 5). Suppose 0*i = 3*u + i - 106, -75 = -a*u - 5*i. Does 5 divide u?
True
Let i = 398 + -391. Is i a multiple of 2?
False
Let w(i) = 2*i**2 - 8*i + 90. Is w(18) a multiple of 22?
True
Is 92289/63 + 4 + 10/105 a multiple of 26?
False
Suppose 0 = 6*d - 8*d + 2. Is 15 a factor of -123*d/(3/(-2))?
False
Suppose 0 = u + 2*u + 9. Let y be -12 - -17 - (0 - u). Let o(d) = 22*d + 4. Is o(y) a multiple of 18?
False
Suppose 0 = -11*s + 6*s + 15. Suppose 2*t + 2*v - 178 = 0, -s*t + 5*v + 95 = -2*t. Is 15 a factor of t?
True
Suppose -d + 5*j - 22 = 0, 0 = 5*d - 0*j + 4*j - 35. Suppose 21 = d*q - 66. Is 12 a factor of q?
False
Let x(n) be the third derivative of -11*n**4/12 + 10*n**3/3 - 5*n**2. Let g be x(-10). Suppose -6*o + 4*o = -g. Is 24 a factor of o?
True
Let p = 12 - 12. Suppose 0 = 2*k - p - 2, 0 = 3*x + k + 17. Is x/51 + (-2607)/(-51) a multiple of 17?
True
Let f be -2*(-1)/(2/19). Suppose -4*d = -3*u - d + 27, -3*u = 5*d - f. Let j(s) = 2*s**2 - 13*s + 11. Does 17 divide j(u)?
False
Let i(r) = -6*r - 3. Let w(l) be the third derivative of l**6/120 + l**5/30 - l**4/8 - l**3/3 + 3*l**2. Let u be w(-3). Does 9 divide i(u)?
True
Suppose -3*y = 2*y - 3*r - 89, -3*r + 55 = 4*y. Let g = y - 6. Does 3 divide g?
False
Let j(s) = -3*s**3 - 2*s**2 + 2*s + 7. Let g(y) = 10*y**3 + 7*y**2 - 5*y - 20. Let z(o) = -3*g(o) - 8*j(o). Does 8 divide z(-2)?
False
Let j(d) = -d**3 - 14*d**2 + 6 - 13*d + 4*d**3 - 2*d**3 - 5. Is 8 a factor of j(15)?
False
Let a = 261 - 71. Does 22 divide a?
False
Let o(a) = 21*a**2 + 11*a + 15. Let h(t) = 11*t**2 + 6*t + 8. Let s(w) = -11*h(w) + 6*o(w). Does 7 divide s(-1)?
True
Suppose -j + 2 = -1. Suppose 2*v + j*x + 4 + 0 = 0, -v = 3*x + 8. Suppose 2*q - v = r - 2*r, 3*r + q = 12. Is 2 a factor of r?
True
Is 28 a factor of (-5 + 8)*117 - (0 - -3)?
False
Let h(t) = 134*t - 972. Does 44 divide h(24)?
True
Suppose 3*o - 2*o - 18 = 0. Let r be (-86)/o - 8/36. Is 5 a factor of (-3 - 0)*r/1?
True
Let u = 26 + -9. Suppose 0 = -28*t + 2*t - 208. Let y = u + t. Does 9 divide y?
True
Suppose -200 + 56 = 2*u. Let y = 101 + u. Does 3 divide y?
False
Let v = 37 - 35. Suppose 20 = v*i - 12. Does 16 divide i?
True
Let c(u) = 3*u + 39 - 5*u + u. Does 6 divide c(23)?
False
Suppose -2*t - 2*t = 4. Is 16 a factor of 15/(-15)*32/t?
True
Let c(r) = 2*r**3 - 6*r**2 - 11*r + 1. Let o(a) = -a**3 + 3*a**2 + 5*a. Let q(v) = 4*c(v) + 9*o(v). Let f be q(3). Let s = 5 + f. Is 12 a factor of s?
True
Suppose -6*a + 1083 = -1527. Let i = a + -256. Does 34 divide i?
False
Let u(f) = 3*f**2 + 12*f + 8. Let h be u(-6). Let d = -36 + h. Does 3 divide d?
False
Let y(p) = 194*p + 191. Is 28 a factor of y(8)?
False
Suppose 2*u = -2, 5*z - 1466 = -u - 102. Is z a multiple of 91?
True
Does 90 divide 147/21 + 3/(12/14840)?
False
Let q be (-8)/(-4)*1 + 1. Suppose 2*a - 4 = 2*m, -2 - 4 = -5*m - q*a. Is 12 a factor of m + (26 - (-1 + 3))?
True
Is 2 a factor of ((-4)/6)/(12/(-1710))?
False
Does 13 divide (-1094)/(-7) + 2/(-7)?
True
Let f(p) be the first derivative of -11*p**2/2 + 2*p + 2. Let y(z) = 44*z - 9. Let l(u) = 18*f(u) + 4*y(u). Is 11 a factor of l(-1)?
True
Let i be (-1 - -1) + 1 - -1. Let m = -18 + 162. Suppose -i*c + m = 2*c. Is c a multiple of 12?
True
Let h(i) = 2*i**3 + 3*i**2 + 2*i + 4. Let o be h(-2). Is -102*((-28)/(-8) + o) a multiple of 12?
False
Suppose -r - 3 = 2*p + 1, 0 = 5*p. Is 2 a factor of 3 + (r/(-1) - 0)?
False
Let f = -67 + 49. Is 38 a factor of (-14)/8*(-2 + f) + 3?
True
Suppose 19895 - 67167 = -19*y. Does 21 divide y?
False
Let u(t) = -3*t + 13. Let g(c) = -c. Let z(l) = -6*g(l) + u(l). Suppose 0 = -9*r + 140 - 41. Is 14 a factor of z(r)?
False
Let j(y) = -y + 937.