 28 divide ((-96)/9)/y*-21?
True
Suppose 7*h + 12 = 4*h. Let b be 0 + (-24)/h + -4. Does 42 divide 5112/45 + b/5?
False
Let i = 133 + -133. Suppose i = -564*h + 568*h - 184. Is h a multiple of 18?
False
Let t = -63 - -12. Let c = -54 - t. Let o(x) = 7*x**2 + 3*x - 1. Is 6 a factor of o(c)?
False
Suppose -4*j + 4*x + 12 = 0, -5*x - 3 - 4 = -j. Suppose j*h + 10 = 4*n, -n = 2*n + 4*h - 13. Suppose -4*d + n*d = -97. Is 19 a factor of d?
False
Let p = -2 + 0. Suppose z - 10 = o - 5, -o + 3*z - 15 = 0. Does 13 divide p - -2 - (4 + o)*-26?
True
Suppose -5*b = -3*a - a + 1986, -5*b = 10. Let r = a - 137. Is 51 a factor of r?
True
Let a = 25 - 33. Let b be a/(-1 + (-123)/(-129)). Let z = -118 + b. Does 9 divide z?
True
Is 5 a factor of 7*18/567 + (-40586)/(-18)?
True
Suppose 0 = 13*v - 12*v - 47. Let a = -20 + 27. Let f = v - a. Does 5 divide f?
True
Suppose 42 = -6*b + 240. Let w be (4 + -5)*-1 + b. Is w - 2*(-9)/(-6) a multiple of 10?
False
Let d = -22231 + 30295. Does 84 divide d?
True
Let q = -96 + 168. Suppose 3*n - 3*u + q = 0, -5*u = 5*n - u + 120. Let m = n - -52. Does 14 divide m?
True
Let o be (-34)/4*(17 + 135/(-5)). Suppose -4*i + 157 = -3*f, 0 = 4*f - 3*i + 68 + 146. Let a = o - f. Is a a multiple of 10?
True
Suppose -4*z - 2*p = -8 + 4, -6 = -3*p. Suppose 2*b + 4*b - 240 = z. Is b a multiple of 8?
True
Let d = -4567 - -7423. Suppose -59*c = -73*c + d. Is c a multiple of 12?
True
Is 6 a factor of (-5 - (42/7 - 2))*-2?
True
Let b = 2 + 16. Let g(h) = 84*h + 8. Does 80 divide g(b)?
True
Suppose -2*c + 5*d = 12, -2*c = 7*d - 2*d + 12. Does 17 divide c*(-7 + 9)/(8/(-382))?
False
Let m(c) = 2*c + 12. Let i be m(-5). Suppose i*b = -3*f + 1724, 2*b + 423 = f - 141. Suppose -6*l + f = 7*l. Is l a multiple of 11?
True
Suppose 11*i = 3*i + 32. Suppose -5*j + 4*s = 1 - 41, 4*j = -4*s - 4. Suppose -j = -h, h - 2*h + 452 = i*q. Is 16 a factor of q?
True
Let t(p) = 2 - 6*p + 12*p + 56*p**2 - 5*p - 3*p. Is 4 a factor of t(1)?
True
Let g = 374 + -250. Suppose -9*b = -695 - g. Is b a multiple of 14?
False
Let r be 3 + -2 + -3 + 17 + -1. Let i = r - -92. Suppose 0 = -4*l + 6*l - i. Is 12 a factor of l?
False
Suppose 9*b - 22 = 5. Suppose -13*g - b*d = -11*g - 1839, -4*d = 12. Is 21 a factor of g?
True
Let z be (10/(-50))/((-1)/25). Suppose -z*c + k + 3478 = 0, 83*c = 79*c - k + 2786. Is 12 a factor of c?
True
Let g be (-3425)/(-40) - (-3)/8. Let m = g + -79. Does 2 divide m?
False
Let f = 4517 - 4514. Suppose 0*b = 2*b - 6. Suppose 0*o + f*g = 2*o - 183, 0 = 5*o + b*g - 447. Does 8 divide o?
False
Suppose 49*q - 45 = 52*q. Let y be (-10)/((-4)/((-24)/q)). Suppose 0 = y*c + 5*c - 1179. Is c a multiple of 12?
False
Suppose -7762*r = -7755*r - 18249. Is 33 a factor of r?
True
Let o = 7313 + -2370. Is o a multiple of 11?
False
Let y(c) = c**2 - 11*c - 24. Let z be y(13). Suppose 3*m + z*r - 1 - 3 = 0, -3*r + 5 = 4*m. Suppose 5*p - 2*i - 55 = 4*p, p + m*i - 35 = 0. Does 5 divide p?
True
Suppose 3*a + 2*b - 904 = 0, 3*b + 0*b = 4*a - 1211. Let n = a - -83. Suppose -213 = -13*r + n. Is 3 a factor of r?
False
Suppose 29*a = -407*a + 8700816. Is 28 a factor of a?
False
Let h = 131 - 126. Let j be (-1 - 0) + (-6345)/(-27). Suppose 2*t - h*t = -j. Is t a multiple of 13?
True
Does 6 divide (2 + 10/4)/((-12)/(-1104))?
True
Is (-1*6/(-18))/((-6)/(-5976)) a multiple of 2?
True
Let a(o) = -70*o - 213. Let d(h) = -34*h - 108. Let l(c) = -4*a(c) + 9*d(c). Does 11 divide l(-19)?
True
Suppose -83*r + 74*r = 63. Let t(w) = -116*w - 38. Does 86 divide t(r)?
True
Suppose -z = 3*g + 8 - 7, 5*g - 5 = -5*z. Is 4 a factor of (-25)/(g/3*3)?
False
Let j(f) = -3872*f - 204. Is j(-2) a multiple of 130?
True
Suppose -c = 5*z - 2161, 22*z - 25*z = 3*c - 6447. Suppose 3*x + 7*l = 12*l + 2122, c = 3*x + l. Does 14 divide x?
True
Let o(s) = 12 + 6*s + s**3 - 16 + 10 - 2*s + 14*s**2. Let k be o(-13). Suppose -3*l = -2*b + k, -4*b + 75 + 144 = 3*l. Is 9 a factor of b?
False
Is ((-1944)/(-84) - 23) + (-598428)/(-14) - -5 a multiple of 25?
True
Let x(f) = -16*f**2 - 49*f + 53. Let n(h) = -4*h**2 - 12*h + 13. Let c(r) = -9*n(r) + 2*x(r). Let z be c(-9). Let w = z - 103. Is 30 a factor of w?
True
Let b(p) = 138*p + 5. Let v(k) = -11*k - 109. Let g be v(-10). Does 2 divide b(g)?
False
Let h(o) = -2*o**3 + 4*o**2 + 4*o + 9. Let g be h(-5). Suppose 8*v - g = -3*t + 5*v, -3*t - 5*v + 345 = 0. Does 22 divide t?
True
Let m(n) = n**3 + 4*n**2 + 4*n - 1. Let k be m(-2). Is ((-1)/k - -18) + (2 - -1) a multiple of 11?
True
Let z(n) = 368*n**3 - 19*n**2 + 13*n - 31. Is 22 a factor of z(3)?
False
Let t be (-3)/(-12)*4 + -178 + 2. Let u = -163 + t. Is (-52)/(-78) + 1/((-6)/u) a multiple of 18?
False
Suppose 5*j = 2*v - 9111, -6*j + 4*j = -v + 4555. Is v a multiple of 27?
False
Is 20 a factor of ((-24)/(-10))/((-10)/(-5500 + 0))?
True
Suppose -6*b = -4*u - 4*b + 26070, 0 = b + 1. Is 90 a factor of u?
False
Let h = -18 + 20. Suppose -h*f + 20 = 12. Suppose 313 = f*g + 13. Is 15 a factor of g?
True
Suppose 12*k - 1980 = 14*k. Let v = -276 - k. Does 43 divide v?
False
Suppose y - 12*y - 5*y + 109872 = 0. Does 11 divide y?
False
Let z(s) = -8*s**3 - 44*s**2 - 9*s + 64. Let w(v) = -2*v**3 - 11*v**2 - 2*v + 16. Let g(i) = 9*w(i) - 2*z(i). Is g(-7) a multiple of 18?
False
Suppose 4*g + 2*p = -155 + 1039, -5*p - 856 = -4*g. Let x be -1 + g/12 - 3/(-4). Suppose 0 = x*r - 17*r - 11. Does 11 divide r?
True
Let f(i) be the first derivative of -16*i**2 + 210*i + 75. Is f(-20) a multiple of 26?
False
Let p be (1 + -13)*105/(-12). Let s = 114 - p. Is 9 a factor of s?
True
Let g = -15 - -10. Let i be (-7 - -4 - g) + -30. Let s = i + 35. Is s a multiple of 2?
False
Let z(u) = -284*u + 1310. Is z(-36) a multiple of 153?
False
Does 18 divide (3 - -53671) + 60 + -76?
True
Suppose -c - 537 + 103 = 0. Let t = c - -664. Is 15 a factor of t?
False
Suppose -5*l + 10 = j - 3*l, 3*j - 19 = 5*l. Let a(c) = 10*c - 13. Let n be a(j). Suppose 2*x - 2*o - 62 = 0, -2*o + 123 = 5*x - n. Is x a multiple of 12?
True
Let h = 194 + -40. Suppose 4*a + 4*f - 348 = 0, -64 = a - 2*f - h. Let w = -18 + a. Is w a multiple of 10?
True
Let n = 14 - 9. Suppose -82*f + n = -81*f. Suppose -3*g = 2*g + 3*h - 165, -g + f*h + 5 = 0. Is g a multiple of 10?
True
Suppose -113 = -8*i + 63. Is i a multiple of 2?
True
Let z be 3/1*3*-1. Let b(k) be the first derivative of k**4/4 + 11*k**3/3 + 5*k**2/2 - 12*k + 17. Is 21 a factor of b(z)?
True
Let l = -291 - 267. Let w = -404 - l. Is w a multiple of 11?
True
Let x(n) be the first derivative of n**4/4 + 25*n**3/3 + 21*n**2/2 - 3*n + 68. Is x(-24) a multiple of 3?
True
Let u be 45/(-10)*4/(-6). Suppose 12 = -5*t + 27. Suppose 0*b - t*f = -b + 123, -u*f + 615 = 5*b. Is b a multiple of 26?
False
Let d be 452/1017 - (1 - (-2282)/(-9)). Let p = d - -1009. Is 87 a factor of p?
False
Let z(a) = -19*a - 249. Let m be z(-27). Does 2 divide 4/22 - (-21600)/m?
True
Let h = 5536 + -5300. Is h a multiple of 8?
False
Suppose -64*v + 116*v - 1953432 = 0. Is v a multiple of 14?
False
Suppose -4*x + 65 = y - 2*y, 0 = -5*y + 5*x - 385. Is 26 a factor of (-4 - y/9) + 663?
False
Let z(g) = 9*g**2 + 2*g + 965. Let h(t) = -11*t**2 - 4*t - 966. Let w(i) = 5*h(i) + 6*z(i). Is 15 a factor of w(0)?
True
Suppose 4*o = 4*i + 21 + 67, -i = 5*o - 92. Suppose -2*p - 3111 = -o*p. Is p a multiple of 13?
False
Let j be (-22)/55 - 6876/(-15). Let n = j + -304. Is 14 a factor of n?
True
Suppose 3*u = 5*d + 2718 - 22035, -15476 = -4*d + 8*u. Is 24 a factor of d?
False
Let b = -486 + 1910. Is 89 a factor of b?
True
Let l = 1021 + -768. Suppose -3*r + 2*h + 866 = 0, r - 5*h - l = 53. Does 22 divide r?
True
Let j(b) = 2*b**2 + 7*b + 2. Let l be j(-5). Suppose -51*w + 2778 = -945. Let s = w - l. Is s a multiple of 18?
False
Let j = -34692 - -52176. Does 123 divide j?
False
Let v be (1/(8/32))/1. Suppose 412 = v*w + 364. Does 6 divide w?
True
Suppose -9*k + 900 = k. Is ((-302)/(-3))/(k/135) a multiple of 29?
False
Let f(b) = b**2 + 19*b + 15. Suppose 2*y + 10 = 0, 0*y + 46 = -3*r + y. Let h be f(r). Let m = 42 + h. Is 3 a factor of m?
False
Suppose 23*j - 138597 = 510969. Is 23 a factor of j?
False
Let u = -47 + 37. Let z be (-4)/u + 21/(-15). Is (-22)/4*(5 - z)*-1 a multiple of 4?
False
Let n = 46 - 48. Let s be (0/(-4) + -216)*n - -1. Suppose -2*t - 5*k =