or of g?
True
Suppose 2*i + 5*c - 79 - 558 = 0, 0 = -3*i + 3*c + 924. Is 23 a factor of i?
False
Let r(w) = -w**2 + w + 52. Let j be r(0). Suppose -j = -2*z + z + 3*i, -2*z + 3*i = -113. Suppose -z = 3*t - 211. Is t a multiple of 20?
False
Suppose -56 = -4*h + 4*s, -2*h = s - 7 - 15. Suppose -6*l = -2*l - 12. Suppose -v = l*v - h. Is 3 a factor of v?
True
Let p be 2/3 - (-13)/39. Suppose 1 - 3 = -2*v - 2*f, -4*v - f = -p. Suppose v = -z + 3 + 6. Is z a multiple of 9?
True
Let z be 810/36 + (-3)/2. Suppose 16*o - 180 = z*o. Does 18 divide 1304/36 + 8/o?
True
Let u = 1553 - 1049. Is 12 a factor of u?
True
Suppose 4*f - 10 = -5*t, 5*t - 6*f + f = 10. Suppose 5*g = 8*g - 15. Suppose 141 = g*v - n, 4*n - 68 = -t*v + 6. Is 12 a factor of v?
False
Suppose 0*n = 3*n + 225. Does 22 divide ((-6)/8*2)/(n/12400)?
False
Is ((-30)/40)/((-24)/320) a multiple of 10?
True
Let s be (-3)/(-6) + 11/2. Suppose -3*g + 2*k = s*k - 414, -417 = -3*g - 3*k. Does 14 divide (-1 + g)*3/9?
False
Let h(y) = -y. Suppose -4*i - 13 = -6*x + 5*x, 4*x - 4 = 0. Let k be h(i). Suppose -c - k*b = -42, -3*c + b + 86 = -0*c. Is 30 a factor of c?
True
Let m = 1555 + -1041. Does 13 divide (20/(-5))/(-20) + m/5?
False
Let t(k) = -171*k + 18. Is t(-8) a multiple of 42?
True
Let v = -6 + 13. Let g = 11 - v. Suppose -15 - 61 = -g*i. Is i a multiple of 19?
True
Suppose 0 = 38*z + 2727 - 24007. Is z a multiple of 15?
False
Let a = -6 - -1506. Is 60 a factor of a?
True
Let n be 1 - 5 - (4/(-4) - 6). Let q(o) = -o + 48. Let c be q(0). Suppose 0 = -n*i + c - 0. Is i a multiple of 6?
False
Let g = -4056 - -5820. Is 84 a factor of g?
True
Let x(m) = -m**2 + 15*m - 9. Let j be x(14). Suppose 0 = -j*g + 6*g - 5. Is g a multiple of 3?
False
Let x = -125 + 145. Is 10 a factor of x?
True
Let h(w) = -1143 + 6*w - 4*w + 1336. Is 9 a factor of h(0)?
False
Suppose -22*w + 7627 = -26869. Is 7 a factor of w?
True
Suppose -7*i - 4*m + 56 = -2*i, -i - 3*m + 20 = 0. Suppose i*v - 4*v - 132 = 0. Is 10 a factor of v?
False
Suppose w = 2*b - 4*b + 181, -5*b + 430 = -5*w. Let v = b + -80. Is v a multiple of 7?
False
Suppose 0 = -8*b - 9 - 31. Is 20 a factor of -6 + (-10)/b - -64?
True
Let i(w) = -w + 4. Let y be i(4). Suppose 100 = -0*s + s - 4*v, 8 = -4*v. Suppose -5*l - 5*x + s = -2*x, y = -l + 3*x + 4. Is 16 a factor of l?
True
Let r be -6*9/30*-5. Let x = r + -7. Suppose v = -2*y - x*v + 6, -5*v = 0. Is y a multiple of 2?
False
Suppose -2*u + 6*c + 934 = 5*c, -4*u - c + 1874 = 0. Is u a multiple of 30?
False
Let z = -27 + 35. Let c(f) be the first derivative of -f**4/4 + 8*f**3/3 + 3*f**2/2 - 11*f + 1. Is 12 a factor of c(z)?
False
Let i(t) = t**2 + 10*t + 14. Let y be i(-8). Let q be 4 + y*(1 + 1). Suppose q = 4*r - 149 + 29. Is r a multiple of 11?
False
Suppose 293*c - 294*c - 4*d = -904, 0 = -c - 5*d + 906. Does 25 divide c?
False
Let h = 34 + -32. Suppose h*w = -0*w + 12. Does 5 divide w/(-39) + 184/13?
False
Suppose b - 2 = -2*l + 3*b, -3*b + 22 = 2*l. Let x = 8 - l. Suppose -5*a + r = -92, -26 = -x*a - 2*r + 37. Is 4 a factor of a?
False
Let d = -74 - -76. Suppose -d*q - 69 = -5*q. Is q a multiple of 3?
False
Is 167 - 3/2*(-8)/6 a multiple of 16?
False
Let s(t) = 2*t**2 + 7*t + 6. Let q be s(-3). Suppose 0 = -4*c - 8, -4*o - q*c = -0*o - 894. Does 37 divide o?
False
Let m(u) = -u**3 + 6*u**2 - 3*u + 1. Let i be m(5). Let o(k) = k**3 - 10*k**2 + 7*k + 17. Is 43 a factor of o(i)?
True
Does 20 divide 1*(5 + -6)*-191?
False
Let z(j) = 4*j**2 - 2*j + 1. Suppose t - 2 = 5*l + 24, 0 = -5*t + 2*l + 15. Let c be z(t). Suppose -236 - 76 = -c*s. Is s a multiple of 26?
True
Let c(x) = x**2 + 21*x + 22. Does 15 divide c(-40)?
False
Let b be 15988/(-5) - (-10)/(-25). Does 13 divide (-6)/8 + (-2 - b/8)?
False
Let f be (-1*(0 - -1))/1. Let q be ((-5)/f)/((-1)/(-15)). Suppose 5*y - q = -0*y. Is 4 a factor of y?
False
Suppose 3*f = 3*j + 90, -2*j = 3*f - 3*j - 90. Let u = 19 + f. Is u a multiple of 17?
False
Let w(q) = -42*q - 2. Let o be w(-1). Suppose -o = -2*v + 4*a, -4*v + 29 = -2*a - 51. Does 4 divide v?
True
Let z = 742 - 262. Does 60 divide z?
True
Suppose 4860 = -3049*x + 3053*x. Does 58 divide x?
False
Let n(h) = -5*h**3 + 2*h**2 + 13*h - 4. Let k(p) = -21*p**3 + 8*p**2 + 53*p - 18. Let w(d) = 2*k(d) - 9*n(d). Does 18 divide w(5)?
True
Suppose -5*l + 18 = f, -4*l + 2*l = 2*f - 36. Suppose 12 = -4*i, 2*c - f = -3*i + 175. Let d = -15 + c. Is d a multiple of 16?
False
Suppose -24 + 3 = -5*s + 3*g, 0 = -s - g + 1. Does 18 divide (-1)/s + 2274/18?
True
Let h(j) = 14*j**2 - 8*j - 44. Is 103 a factor of h(6)?
True
Let l(u) = u**3 + 5*u**2 - 8*u + 1. Let i = -5 + -1. Does 2 divide l(i)?
False
Let z(v) be the second derivative of -2*v**3 + 5*v**2 - 2*v. Let u be 13/(-3) - 22/33. Is z(u) a multiple of 14?
True
Let w = -624 - -1610. Is 29 a factor of w?
True
Let w(z) be the second derivative of z**4/6 + z**3/2 - 2*z**2 + 5*z. Let r be w(-3). Suppose 3*i - 4*y = 56, -3*y = r*i - 28 - 17. Is 12 a factor of i?
True
Suppose 3*d - 4 = 2*d, n + d - 15 = 0. Suppose 2*a = 5*l + n, 5*l - 3*l = -4*a + 58. Is 2 a factor of a?
False
Let x be -3 + 1 + 1 - -45. Suppose -2*i + x = 2*i - 4*d, 2*i - 3*d = 25. Is 14 a factor of ((-42)/i)/((-3)/8)?
True
Suppose 0*r = -6*r - 114. Let c = 35 + r. Suppose c - 40 = -z. Is z a multiple of 8?
True
Suppose 0 = -7*x + 4 + 17. Suppose 0 = -x*n - 5*w + 131, 5*n = -3*w - 66 + 263. Is n a multiple of 4?
False
Let z(r) = -2*r + 22. Let f be z(-9). Suppose -o + f = -6. Does 15 divide -1 - (-1 - o - -1)?
True
Suppose 2*k + 20 = 4*h, -4*h - 20 = 2*k - 0. Let f = -6 - k. Suppose 164 = f*u + 4*i, 2*i = 3*u - 38 - 100. Is 10 a factor of u?
False
Let k = -176 - -90. Does 4 divide (6 - (1 + 2)) + k/(-2)?
False
Suppose -4*w + 27 = 19. Does 19 divide (0 + -44)/((2/w)/(-2))?
False
Let v(m) = -m**2 + 6*m + 16. Let u be v(8). Let z(x) = -x**3 - x**2 + 3. Let t be z(u). Is 6 a factor of 0/(t + -1) + 34?
False
Let q(t) be the first derivative of -51*t**4/4 - t**3/3 - t**2 - t + 16. Let f(c) = -c**2 + 8*c - 1. Let z be f(8). Is 17 a factor of q(z)?
True
Let z(d) = -4*d**3 + 8*d**2 + 13*d**3 - 8*d**3 - 11. Let u be z(-8). Let s = u + 18. Does 6 divide s?
False
Suppose 2*x + 1273 = 6*x - 5*v, 5*x = -5*v + 1535. Is x a multiple of 16?
False
Let q(a) = a**3 + 7*a**2 - 5*a - 6. Let z = -45 - -32. Let m = -20 - z. Is 10 a factor of q(m)?
False
Let w be (-51)/(-18) - 3/(-18). Let o(m) = -m + w*m + 4 - 1 - 2. Is o(5) a multiple of 11?
True
Let a(h) = -10*h - 4. Let b be a(-6). Suppose 5*o = 7*o - b. Does 14 divide o?
True
Suppose 61*s - 22178 = 6065. Is 10 a factor of s?
False
Suppose 0*r + 5*j = -4*r + 644, r - 4*j = 182. Is 9 a factor of r?
False
Let g = 21 + -12. Let s = -4 + g. Suppose 0 = -s*r - 41 + 151. Is 11 a factor of r?
True
Let v = 3 + 3. Suppose v*r - 49 = 257. Is r a multiple of 6?
False
Let y(x) = -2*x + 375. Does 16 divide y(10)?
False
Suppose 23 = 3*n - 2*n. Suppose f = 29 + n. Does 26 divide f?
True
Let x = 43 + -29. Suppose -5*s + x = -11. Suppose -2*b + 1 - 7 = 0, -s*v + 5*b = -90. Is 15 a factor of v?
True
Let z = -155 + 341. Is 30 a factor of z?
False
Let g be 2*-2 - (-12)/2. Suppose 193 = g*j - h, 144 + 46 = 2*j + 2*h. Does 12 divide j?
True
Suppose 4*i = -3 - 1, -2*i + 230 = r. Does 8 divide r?
True
Is ((-4761)/2)/(-3)*28/21 a multiple of 38?
False
Let n(x) = -4*x - 6 + 9*x - 2*x + 20. Is 21 a factor of n(10)?
False
Let s be 352/64 + ((-5)/(-2))/(-5). Let k be 1/4 + (-91)/(-4). Suppose s*y - k = 82. Is y a multiple of 7?
True
Let g = 149 - 247. Let h = 164 + g. Is 11 a factor of h?
True
Let r(s) = 6*s**2 - 8. Let w be r(-3). Suppose -3*z = -154 + w. Is 12 a factor of z?
True
Let k(f) = -6*f - 18. Let x be k(-8). Suppose 0 = 4*s - x - 22. Let i = s - -8. Is i a multiple of 7?
True
Is 5 a factor of 3605/245 - (-4)/14?
True
Suppose -2*o = -0*o - 4*i - 146, -4*o + 3*i = -272. Is o a multiple of 5?
True
Suppose 0 = 26*o - 29*o + 225. Let a = 6 + o. Is a a multiple of 27?
True
Let g(u) = u - 8. Let o be g(11). Let r(n) = 7 + 0*n - 5*n + 6*n**2 - 2*n + n**o. Is r(-7) a multiple of 3?
False
Let s(h) = 22*h - 221. Is 41 a factor of s(38)?
True
Let a(t) = t**2 + 4*t + 5. Suppose 4*h + 30 = 114. Suppose 2*v = -v - h. Is a(v) a multiple of 26?
True
Let q(l) = -4*l - 3. Let d be q(-2). Let u be d*(-1)/2*-2. Supp