e 2*h - k = 12, -2*h + 0*k - 2*k + 6 = 0. Suppose h*o - 226 = 214. Does 11 divide o?
True
Suppose -27*q + 45145 = 39*q - 6401. Is q a multiple of 2?
False
Suppose 17*i + 18 = 8*i. Let d be -3 + (479/(-3))/(i/(-6)). Let o = 693 + d. Is o a multiple of 40?
False
Let b = -167 + 162. Is b/((-10)/42)*2 - 3 a multiple of 5?
False
Suppose -26*b + 33*b = 15036. Is b/(-18)*1*(-6)/4 a multiple of 5?
False
Suppose -5*w - 158 = -x + 389, 0 = w - 1. Is 2 a factor of x?
True
Is 134 a factor of -43 + 50 + (3737 - -8)?
True
Suppose 47*s + 7*s + 86*s = 2452800. Is 55 a factor of s?
False
Suppose -50*n + 48443 + 14150 = -12257. Does 47 divide n?
False
Suppose 4*c = -3*c + 3*c. Suppose c = 5*l - 28 - 367. Let p = 139 - l. Is p a multiple of 6?
True
Let f(j) = 5*j - 37. Suppose -8*w + 319 = -19*w. Let n = w - -44. Is 4 a factor of f(n)?
False
Let u = 154 - 278. Let b = 125 + u. Is b + 32 - (2 - 1) a multiple of 4?
True
Let j = -19775 - -34974. Is 29 a factor of j?
False
Suppose 4*p + 256*g - 94055 = 261*g, -4*p + 94064 = -4*g. Is 13 a factor of p?
False
Is ((-2)/7*-1)/(268/11482058) a multiple of 15?
False
Let u(s) = 7*s**2 - 15*s + 4. Suppose 3*p + 14 = v + 6*p, 0 = -3*p + 3. Is u(v) a multiple of 49?
True
Is (34 + (-1958)/66)/((-2)/(-1122)) a multiple of 143?
True
Let d(k) be the first derivative of k**3/2 - 19*k**2/2 - 3*k - 9. Let v(g) be the first derivative of d(g). Is 4 a factor of v(8)?
False
Let r be 175/(-63) - (-2)/(-9). Does 27 divide (r + (-6 - 0))*78/(-1)?
True
Suppose -4*j - 438 = 2*j. Let c = j + 127. Suppose 0 = -b + 17 + c. Is 11 a factor of b?
False
Suppose -8*r + 9*r = -125. Let o = r + 127. Suppose -2*t + 53 = -5*l - 56, -t + 55 = -o*l. Does 8 divide t?
False
Let v = -67 + 154. Suppose 47*g - 533 + 1520 = 0. Let u = v + g. Does 15 divide u?
False
Let n be 4/(-66)*-195 - 4/(-22). Let d(g) = g - 8. Let t be d(n). Suppose z - 2 = 3*z, 0 = -t*m - 3*z + 77. Is 8 a factor of m?
False
Suppose -9*p + 13*p - 5*h + 13 = 0, -4*p = -4*h + 8. Does 7 divide 7/(p - 10) - -176?
True
Suppose 2*u - 4*j = 4582, -j = -4*u + 2*j + 9164. Does 23 divide u?
False
Let f be -4*3/(-54) - 2792/(-72). Let l(y) = y**3 - 7*y**2 + 8*y + 6. Let v be l(6). Let k = f + v. Does 15 divide k?
False
Let v be -1595 - (-1 - -2 - -3). Let r = -1038 - v. Does 14 divide r?
False
Suppose 34*z - 70698 = 5*z + 32658. Is z a multiple of 4?
True
Suppose 2088 = 7*p + 5*p. Does 25 divide -22 + p + 0 + -2?
True
Suppose 0 = 4*c + 4*b - 80, -2*c + 45 = b - 4*b. Suppose -23*d + c*d - 212 = -h, 187 = h + 3*d. Does 8 divide h?
False
Suppose 0 = 5*x + 2*d - 16572, 4*x - 9*d + 8*d - 13242 = 0. Is x a multiple of 18?
True
Let q be 4 + (-10 - -9) - (0 - 1). Suppose -18*t = q*t - 2288. Is 13 a factor of t?
True
Let p(q) = 2*q - 30. Let r be p(16). Suppose b - 88 = 3*d - 362, -352 = -4*d - r*b. Is d a multiple of 9?
True
Let i be (-6)/(-9) - 1859/(-33). Suppose 30*n - i*n = -40500. Is n a multiple of 15?
True
Let q be 8/(-8) + -7 + 7. Let d(m) = -1341*m**3 + m**2. Is d(q) a multiple of 24?
False
Suppose 63*n = 45*n + 153252. Is 198 a factor of n?
True
Let o = 9380 - -5221. Does 31 divide o?
True
Suppose -24*d + 8100 = -20*d. Is 75 a factor of d?
True
Let d(i) be the first derivative of i**4/2 - 3*i**3 + 12*i**2 - 104*i - 34. Is 89 a factor of d(6)?
False
Does 15 divide 66/9 - (-4)/(-12) - (-13 + -3432)?
False
Let u = 529 + -525. Suppose -x - 74 = -o, o + x - u*x - 78 = 0. Is o a multiple of 18?
True
Let m = 7142 + -2195. Is 21 a factor of m?
False
Let f(u) = -u**2 - 2*u + 69. Let v be f(7). Is (-15)/4*(-272)/v a multiple of 17?
True
Let a(d) = 12*d**2 + 24*d - 9. Let f(x) = -19*x**2 - 36*x + 13. Let c(o) = -8*a(o) - 5*f(o). Suppose 2*l = -3*l - 5*v - 45, -3*l - 2*v = 28. Does 6 divide c(l)?
False
Let g(l) = 7*l - 22. Let p be (-26)/(-3) - (-3)/(-9)*-1. Let a be g(p). Suppose 0 = 4*j - a - 51. Is 14 a factor of j?
False
Let h = -1435 - -7445. Does 9 divide h?
False
Suppose 0 = -6*s + 43590 + 39012. Does 36 divide s?
False
Let f = 300 - 249. Suppose -46*w = -f*w + 715. Does 21 divide w?
False
Suppose -12*q - 5*q = 17. Is 8 a factor of (-632)/(-2) + (q - 3)?
True
Suppose a - 7 = -5*q + 3*q, 2*q - a - 13 = 0. Let h(g) = 2*g - 32. Let o(u) = -4*u + 48. Let z(y) = -7*h(y) - 5*o(y). Does 4 divide z(q)?
False
Let y(w) = -6*w**3 - 9*w**2 + 22*w + 8. Is y(-10) a multiple of 46?
False
Suppose -913 = -12*a + 1043. Let p = a - 144. Does 3 divide p?
False
Let i(g) = 383*g**2 + 215*g + 1174. Does 75 divide i(-7)?
False
Suppose -153*n - 18 = 157*n - 307*n. Let l be -1 - (-1 + 0)*-38. Is 37 a factor of n/l - 1218/(-26)?
False
Suppose -3*l = 6*l + 9. Let f be 10/(-25)*(-29 + l). Is 3 a factor of 10 + ((-6)/9)/(2/f)?
True
Let s be 0 + 1 + 0 + 538. Let v = s + -287. Is 28 a factor of v?
True
Is (1303920/1920)/((-1)/(-8)) a multiple of 39?
False
Let v(y) = -4462*y + 9064. Is v(-5) a multiple of 14?
True
Let j(s) be the third derivative of -s**4/8 - s**3/3 + s**2. Suppose -21*f - 516 + 180 = 0. Is j(f) a multiple of 14?
False
Let g(x) = -x**2 + 11*x + 80. Let b be g(16). Let z(o) = -11*o + 425. Is z(b) a multiple of 52?
False
Let x be 1/(2/20)*(-5)/(-10). Is 9/(0 + x/75) a multiple of 27?
True
Suppose -335*j + 336*j = 5. Suppose j*w + 3*a - 757 = 0, -2*w + 113 + 192 = -a. Does 8 divide w?
True
Suppose 3*c + 714 = -4*c. Let d = c - -150. Suppose m = 2*m - d. Is 14 a factor of m?
False
Suppose 0 = 7*k - 8*k + 3*g + 60575, -363490 = -6*k - 2*g. Is k a multiple of 83?
False
Let u be ((-8)/(-6))/(4*3/17442). Let l = 3230 - u. Is l a multiple of 38?
True
Let b(q) = 78*q - 69. Let c(i) = -26*i + 23. Let h(j) = 3*b(j) + 8*c(j). Is h(7) a multiple of 17?
False
Let w = 38743 + -29398. Does 15 divide w?
True
Suppose 0 = -36*u + 32*u + 60. Suppose -4*m = -37 - u. Is 13 a factor of m?
True
Is (51/(-6) - -1)*((-187408)/(-39))/(-17) a multiple of 8?
True
Suppose -2*q + 3*i + 3091 = 0, -5*q + q - i = -6189. Suppose -1542*j = -q*j + 1140. Does 57 divide j?
True
Let a = -27 - -24. Is (-12)/a - (-91 + 4 + -5) a multiple of 5?
False
Let h(f) be the first derivative of -f**2 + 7*f + 12. Let a(d) = -6*d + 21. Let m(c) = 4*a(c) - 11*h(c). Is 9 a factor of m(-14)?
False
Let m = 156 - 108. Let w be m/14 - (-4 + (-155)/(-35)). Suppose 0 = 4*s - 0*j + j - 39, -36 = -5*s + w*j. Is s a multiple of 8?
False
Let p be 2/(-5) + (1252/20)/(-1). Let x = 53 + p. Is 2 - x/(-3 - -4) even?
True
Let k(i) = 14*i**3 - 67*i**2 + 44*i + 65. Does 104 divide k(13)?
True
Suppose 23*v = 12447 + 49377. Is 24 a factor of v?
True
Let w = -515 - 358. Let k = w + 1291. Is 14 a factor of k?
False
Suppose 12 = c + 7. Suppose c*o = 144 - 44. Suppose 62 = 2*u + 5*v, -3*v = 2*v + o. Is 19 a factor of u?
False
Let n = 2 + 16. Let b be n/8 + -2 + (-7)/(-4). Suppose c + 4*g = 70, 0 = b*g - 0*g + 2. Is c a multiple of 37?
True
Let w(z) = 6*z + 13. Let r be w(-3). Let l be (42/(-8))/(r/20). Suppose -b + l = -n - 4, 3*n - 40 = -2*b. Is 14 a factor of b?
False
Suppose 3*w = -5*r + 7*w + 115, -r - 3*w + 23 = 0. Is r a multiple of 2?
False
Suppose 89*f + 3509054 = 347*f - 1036648. Is 98 a factor of f?
False
Let b = -27211 - -39668. Is 22 a factor of b?
False
Let f = -160 - -165. Suppose 8*z - 5*z = -f*t + 894, -4*t + 720 = 4*z. Is 19 a factor of t?
False
Let y(j) = j**3 - 11*j**2 - 6*j + 71. Let p be y(11). Let u(n) = 22*n - 4. Does 12 divide u(p)?
False
Let w(x) = x + 1. Let o(p) = p + 18. Let j(q) = o(q) - 3*w(q). Let l be j(-8). Suppose 4*v = 4*h + 253 + l, -5*h = 4*v - 329. Is v a multiple of 13?
False
Let t(c) = c**2 + 9*c + 765. Does 2 divide t(-29)?
False
Suppose -12 = -3*b + 2*t, -b + 2*b - 18 = -4*t. Suppose f + 2 = b. Suppose 0 = -f*x + 5*y + 259, -y - 6 = -3. Does 18 divide x?
False
Let g(h) = -2*h**3 + h**2 - 1. Let v be g(-1). Suppose 5*d + 8 = -3*f + 3, 0 = 2*d + 8. Suppose v*w - 52 = l, 4*w + w - f*l - 120 = 0. Does 7 divide w?
True
Let u(t) = 2*t**3 + t**2 + 8*t - 6. Let v(c) = c**3 + 8*c**2 - 2*c - 10. Let m be v(-8). Is 51 a factor of u(m)?
True
Let t(u) = -4*u + 1296. Is 3 a factor of t(44)?
False
Let g(t) = -8*t + 57. Let a be g(7). Let v(o) = 243*o**3 - o**2 - o - 1. Let f be v(a). Suppose -17*s = -20*s + f. Is s a multiple of 20?
True
Let i(j) = -j**2 + 8*j - 11. Let z be i(7). Let r be 24*((-33)/(-9) - z). Let d = -108 + r. Is 19 a factor of d?
True
Suppose -5*f =