False
Suppose h + f + 247 = 0, 247 = 10*h - 11*h - 2*f. Does 8 divide h/38*(-144)/3?
True
Let r be 64/(-80) - 867/(-15). Suppose -r = -16*m + 183. Is m a multiple of 9?
False
Let x be (57/12 - -1) + (-2)/(-8). Suppose -x = -5*a - 26, 1296 = -2*j - 5*a. Does 20 divide (-3)/(24/j) - (-7)/28?
True
Does 33 divide (-14 + (-540)/(-39) - (-433)/26)*540?
True
Let a be (-1)/(1/2 - (-5 + 6)). Suppose -a*b + 1632 = 10*b. Is 4 a factor of b?
True
Let n(c) = -16*c - 9. Suppose -5*t + 2*g = 22, -5*t - 9 - 9 = 2*g. Let q be n(t). Suppose -q = -15*f + 4*f. Is 2 a factor of f?
False
Suppose 7*p - 4303 = -390. Suppose -3*f + 5*f + 3*w = p, 4*f - 1093 = -w. Suppose f = 8*t - 6*t. Is t a multiple of 34?
True
Let n(y) = 79*y + 63. Let r be n(-6). Let d(p) = 602*p**2 - 2*p + 1. Let a be d(1). Let b = r + a. Does 38 divide b?
True
Let b = -9 + 13. Suppose 0 = b*u + 3*z - 272, -12*z = 2*u - 14*z - 136. Is u a multiple of 17?
True
Let x = 115 - 203. Let r be (-2)/11 + (-192)/x. Suppose y = -3*i + 15, 2*i = -2*y - r*y + 60. Does 15 divide y?
True
Suppose -5*p = 4*o - 158, 3*o = 3*p + 2*o - 105. Suppose -29*t + 34*t - 20 = 0. Suppose 4*y + 35 = 5*v - p, t*y = 2*v - 30. Does 13 divide v?
True
Let p be 35 - (-4 + (3 - 0)). Suppose -l = 0, -p = 2*h - l + 6. Is 38 a factor of (228/(-14))/(3/h)?
True
Suppose -4*y - 12 = -20. Suppose 0 = -0*i + y*i + 6. Is 36 a factor of 22*((-18)/(-4) + i) + 3?
True
Let l = -48 + 53. Suppose -252 = -4*y - l*y. Suppose m + 19 = 4*m + c, 4*m - y = -4*c. Does 2 divide m?
True
Let q = 314 + -681. Let f = -123 - q. Does 7 divide f?
False
Let w = -1556 - -5241. Suppose -w = -6*m - 5*m. Is m a multiple of 11?
False
Suppose -237 = -4*k - y, 0*y + y = 2*k - 123. Suppose 65*j + 379 = -2286. Let u = j + k. Is u a multiple of 19?
True
Let b = -86 - -148. Suppose -g - z + b = 2*z, -269 = -4*g - 5*z. Let f = 95 - g. Does 6 divide f?
True
Let f(y) = -y**2 + 25*y - 32. Let o be f(25). Let b = o - -33. Does 18 divide (-16 + 19)/((1/b)/66)?
True
Let b = 1173 + -2228. Let q = b + 2084. Does 11 divide q?
False
Let m(c) = c + 14. Let p be m(-9). Let q(j) = -j**3 + 12*j**2 - 9*j + 14. Let u be q(p). Suppose -4*k + 488 = u. Does 15 divide k?
False
Suppose -3*q + 4*n = -63423, -15404 = -q + n + 5736. Is 47 a factor of q?
False
Suppose -36*m + 168031 = 27837 - 20942. Is m a multiple of 12?
True
Let i(w) = 6*w**2 + 6*w - 4. Suppose -47 + 55 = 2*q. Is i(q) even?
True
Suppose -5*k + 100 + 105 = 0. Let s = 52 - k. Suppose 65 + 100 = s*n. Is 15 a factor of n?
True
Suppose 3*l - 87*b = -84*b + 5541, -3*l = -4*b - 5548. Is l a multiple of 4?
True
Suppose 0 = 5*s + 5*n - 85725, -6*s - 2*n = -2*s - 68580. Is 8 a factor of ((-2)/(-3))/(0 + 30/s)?
False
Let y(x) = 600*x + 13232. Does 28 divide y(-20)?
True
Let m(d) be the first derivative of 115*d**3/3 + d**2/2 + 6*d - 40. Is m(-2) a multiple of 16?
True
Let s = 500 + -480. Suppose 1107 = -11*j + s*j. Is j a multiple of 3?
True
Let d = 19 - 19. Suppose d = -4*k + 22 + 10. Is k/(-24) - 62/(-6) a multiple of 5?
True
Suppose 12 = r + r - 2*u, u = 2*r - 12. Suppose -33*s = 56 + 76. Does 4 divide 22 - r/(1 + s)?
True
Suppose -2*b + 8300 = 2*r, 3*r + b - 3031 = 9415. Is 17 a factor of r?
True
Suppose 16*t - 27 = 37. Suppose -b + 171 = t*y, 2*b + 326 = 4*b + 4*y. Does 9 divide b?
False
Let q be (-2 - 126/(-9))*3/2. Let w(l) = -l**3 + 18*l**2 + 4*l - 25. Is 2 a factor of w(q)?
False
Let t = 71 + -863. Let f = t - -1156. Does 14 divide f?
True
Suppose 44*w - 292 = -k + 49*w, 4*w = -3*k + 914. Suppose 7*q - k - 139 = 0. Is 33 a factor of q?
False
Let m(u) = 9*u**2 + 152*u - 167. Does 15 divide m(-26)?
True
Is 35 a factor of 36684 + -8*14/(-49)*42/(-24)?
True
Let g(f) = f**3 + 18*f**2 - 8*f + 51. Let p be g(-13). Suppose -3*v + 1015 = l, -p = l - 2*l + 2*v. Does 30 divide l?
False
Let g(r) be the first derivative of -r**5/10 + 17*r**4/24 + 5*r**3 + 8. Let t(l) be the third derivative of g(l). Does 25 divide t(-9)?
True
Let p = -6891 - -13042. Is 17 a factor of p?
False
Let r(w) = 9*w + 2. Let m(q) = -q**3 - 4*q**2 + 10*q - 4. Let g(b) = b**2 - 11*b + 12. Let y be g(9). Let i be m(y). Does 20 divide r(i)?
False
Suppose -7*z - 84 = -9*z. Let w = z - 39. Suppose -w*s = -190 + 10. Does 10 divide s?
True
Suppose -17*l + 7*l - 152340 = -30*l. Is 21 a factor of l?
False
Let f(q) be the second derivative of -q**5/20 + 7*q**4/12 - 7*q**3/6 - 7*q**2/2 + 7*q + 2. Is f(5) a multiple of 2?
True
Let c(b) = b**3 + 22*b**2 + 17*b - 69. Let q be c(-21). Suppose q*j - 49*j + 16728 = 0. Is j a multiple of 17?
False
Suppose 3*x = s + 5079, -8*x = -7*x - 3*s - 1693. Suppose 5*b - 2*u - x = 0, 3*u = 4*b - 0*b - 1353. Is b a multiple of 16?
False
Let t(q) = 175*q - 2137. Is t(39) a multiple of 11?
False
Let l(c) = -c**3 - 2*c**2 + 135. Let f(q) = 7*q + 19. Let g(b) = 3*b + 9. Let t(z) = -6*f(z) + 13*g(z). Let y be t(1). Does 15 divide l(y)?
True
Let h = 43 - 37. Suppose -h = 5*d + 19, 2*c + 3*d - 23 = 0. Is 225*5/(-4 + c) a multiple of 18?
False
Let d = -25571 - -28539. Is d a multiple of 4?
True
Let i(y) = -8*y - 126. Let a = 253 - 277. Is 6 a factor of i(a)?
True
Let k(i) = i**3 + 10*i**2 - 20. Suppose -11 = o + 2*v, 2*o - 29 = 5*o + 2*v. Let r be k(o). Let u = -47 + r. Does 9 divide u?
False
Suppose -14*z = -13*z - 902. Suppose 0*t - 9 = -t - c, -3*t = -5*c + 5. Suppose -2*p - 132 = -t*j + 998, z = 4*j - 2*p. Is j a multiple of 56?
False
Let p = -1534 - -1558. Let h = 272 + -154. Suppose 4*s = 4*o - 3*o - p, -4*o + h = -5*s. Is 19 a factor of o?
False
Is 21 a factor of 8/(-10)*(-9 + (-11472)/32)?
True
Suppose 39 - 29 = 2*x. Suppose -3 = -b + 4*y + 11, -32 = -x*b + y. Does 18 divide 2 - (3 + -108) - (2 - b)?
False
Suppose 0 = 6*f - 2*f - 300. Does 11 divide f/(((-126)/77)/(-6))?
True
Let j(x) = x**3 + 34*x**2 - 85. Is 39 a factor of j(-26)?
False
Let q(p) = -2*p**3 - 27*p**2 + 51. Is q(-14) a multiple of 19?
True
Let k be 314/4 + 7/(14/(-3)). Let h(q) = 1842*q - q**3 + q**2 + k - 1842*q. Is 11 a factor of h(0)?
True
Let p(u) = 15*u**2 - 3*u - 6. Let i be p(3). Let h = i - 115. Suppose 0 = h*c - 375 - 240. Is c a multiple of 18?
False
Let f(h) = -h**2 + 34*h - 50. Let s be f(32). Does 5 divide 382/s + 2 + (-10)/35?
False
Suppose -165 = -s - 4*s. Let d = -53 + 55. Suppose -3*o + 38 = -2*w, -d*w + s = 3*o + w. Does 3 divide o?
True
Let r(d) = d**3 + d**2 + d + 7. Let v be ((-2)/(-9) + 10/(-45))/(-1). Let m be r(v). Let f(z) = 10*z - 14. Is f(m) a multiple of 27?
False
Suppose -4*a - 5 = i - 33, 3*a = 2*i + 10. Let x(r) = -r**3 + 8*r**2 - 4*r + 14. Does 20 divide x(a)?
False
Let p be 5*(4 + 85/(-25)). Let k(w) = -2*w + 3. Let g be k(-6). Suppose p*r + 2*i = 267, 6*i - i = -g. Does 12 divide r?
False
Let s be (104/(-20) - -4)/((-16)/(-1120)). Let g(t) = 94*t**2 + t - 1. Let f be g(1). Let q = s + f. Is q a multiple of 3?
False
Let t(v) = -4*v + 1. Let x be t(4). Let r be (-3)/x*(-2 - -17). Suppose 181 = 5*l + 3*o, 3*l + r*o = 2*o + 111. Is 19 a factor of l?
True
Suppose 4*h + 6 = 6*h. Suppose h*o + 3 = i + 1, -4*o = 4*i - 8. Suppose 0 = 6*y - i*y - 168. Is y a multiple of 31?
False
Suppose -4*v + 6*v + 12 = 4*o, 0 = -5*v - 5*o + 45. Suppose -v*g + 5*c = -945, -4*c = -3*g + 6*g - 701. Is g a multiple of 9?
False
Suppose 2*w = 5*y - 3795 - 12517, -2*w = -4*y + 13050. Suppose -1625 - y = -9*k. Does 10 divide k?
False
Suppose -2*f + 2*v + 14 = 0, 2*f - 7 = -f - 4*v. Suppose -5*s = 0, -f*s - 917 = -5*w + 38. Is w a multiple of 56?
False
Let d(h) = -54*h + 1187. Is 94 a factor of d(-9)?
False
Let c be 257 - (30/(-5) - 2). Suppose 3*o = -5*p + 1001, 48 = -p + 5*o + c. Is p a multiple of 26?
False
Let l be ((-16)/6)/(74/(-4995)). Suppose -g + 2070 = 5*r - l, r + 5*g = 450. Is 75 a factor of r?
True
Let w(v) = -v**3 - 2*v**2 + 7*v + 6. Let s = -48 - -44. Is 5 a factor of w(s)?
True
Let m = 10026 - 373. Does 10 divide m?
False
Let c be 2/(-8) - 444/16. Let b = 3549 + -3507. Let r = b - c. Is 10 a factor of r?
True
Let m(x) be the second derivative of 41*x**3/2 + 105*x**2/2 + 148*x. Is m(5) a multiple of 102?
False
Suppose 49127 = 35*k - 24793. Does 11 divide k?
True
Let y(z) be the second derivative of 217*z**3/6 - 5*z**2 + 8*z. Let m be y(-2). Is 7 a factor of (m/30)/((-4)/10)?
False
Let g = -123 - -307. Let s(y) = 9*y**2 + 2*y - 1. Let h be s(1). Suppose -w - 4*c + 