 564, 0 = -5*h + 2*k - 1202. Let i = -132 - h. Is i a multiple of 22?
True
Suppose -6*h + 3 = -45. Let k = -1 - -5. Let a = h + k. Does 4 divide a?
True
Suppose 0*j = -2*j. Suppose j*h - 100 = 2*h. Let v = -14 - h. Is 18 a factor of v?
True
Suppose -5*d = -4 - 6. Suppose d*j = 3*j - x - 219, 0 = 3*j + x - 645. Suppose -4*v = -v - j. Does 18 divide v?
True
Suppose -j + 10 = j. Let x(o) = 0*o + 3*o + 8*o - o**2 + 2 + 0. Is x(j) a multiple of 10?
False
Let j(y) = 40*y**3 - 2*y**2 + 9*y - 36. Is j(3) a multiple of 39?
True
Let a(v) = -v**2 + 14*v - 27*v - 15 - 11*v. Is 15 a factor of a(-12)?
False
Let g(x) = -x**2 + 9*x - 12. Let l be g(7). Is 15 a factor of l/14 - (-1299)/21?
False
Let n = -76 + -26. Let v = n - -302. Does 41 divide v?
False
Let a(j) = 7*j**2 + j. Let g be a(2). Let x = -86 + g. Is 9 a factor of ((-288)/x)/(2/7)?
True
Suppose 5*z = 0, -5*u = 3*z - z. Suppose u = -d - 28 + 111. Is 9 a factor of d?
False
Let j = 2 + 1. Suppose -2*w = j*w + q - 100, 5*w + 4*q = 85. Is w a multiple of 3?
True
Is ((-59964)/84 - -11)/(1/(-7)) a multiple of 15?
True
Suppose -12*f = -22*f + 3250. Suppose 6*l + f - 979 = 0. Is l a multiple of 7?
False
Suppose 0 = -113*v + 116*v - 480. Is v a multiple of 10?
True
Suppose -4*i + 123 = -3*t, 6*t - 1 = 7*t. Does 3 divide i?
True
Let q(a) = 6*a**3 - 3*a**2 - 3*a + 20. Is q(5) a multiple of 20?
True
Suppose x + 2*x - 1082 = -2*u, -1102 = -2*u + 2*x. Is u a multiple of 8?
False
Suppose -282 = -3*m - 0*m. Suppose 130 = 7*v - m. Is v a multiple of 16?
True
Let q(m) = -2*m - 4. Let p be ((-10)/(-4))/5*-8. Let t be q(p). Suppose -8*a - t = -9*a. Is 2 a factor of a?
True
Let w = -165 - -237. Does 12 divide w?
True
Let p be 4/(-26) + (0 - (-5526)/(-78)). Let k = p + 95. Is 5 a factor of k?
False
Let h(l) = -l**3 + 14*l**2 + 72*l - 8. Is h(14) a multiple of 20?
True
Let b = 62 + -90. Let w be b/(-21) + (-10)/(-6). Suppose 0 = w*n - 10 - 11. Is 6 a factor of n?
False
Let y(x) = x**3 + 24*x**2 + 80*x. Does 25 divide y(-10)?
True
Let b(h) = 101*h**2 - 9*h + 4. Let l(y) = -252*y**2 + 22*y - 10. Let z(u) = -12*b(u) - 5*l(u). Let v be z(2). Let r = -131 + v. Does 10 divide r?
False
Suppose -174 - 102 = -3*z. Is 4 a factor of z?
True
Let j(p) = -8*p + 4. Suppose x - 11 + 8 = 0. Let g be -2 + (3 - x)/(-4). Does 5 divide j(g)?
True
Is 74 a factor of 102 + (-14)/(-3 - 4)?
False
Let n = 2602 - 1502. Is 22 a factor of n?
True
Suppose -b - 8 - 10 = -2*l, 0 = -4*b + 3*l - 97. Is 29 a factor of ((-24)/b)/(3/399)?
False
Let p be 34 + (-3 - -6 - 2). Suppose -4*c + l + 97 = 0, 5*c + 2*l + p = 153. Is c a multiple of 5?
False
Let s = 5559 - 3141. Is s a multiple of 25?
False
Let j be 4/6*(10 - -2). Let a(x) = -x**2 + 9*x - 2. Is a(j) a multiple of 2?
True
Is 3 a factor of (-6015)/(-35) - 13/(-91)?
False
Let d(u) = -6*u + 8. Let z be d(-7). Suppose -4*w = 2*v - 90 - z, 3*v = -4*w + 220. Does 10 divide v?
True
Suppose -4 = 4*v - 5*v. Suppose z + 7 - v = 0. Is (3 - 2 - z) + 31 a multiple of 8?
False
Let w(i) = -i + 4. Let q be w(1). Suppose 0*g = -q*g + 432. Does 12 divide g?
True
Let i = 50 + -23. Let b = i + -24. Suppose b*u = -3*d + 7*u + 10, 4*u - 20 = -2*d. Is d a multiple of 2?
True
Suppose -8*g - 106 - 174 = 0. Does 24 divide 8/(-28) - 5890/g?
True
Is 2750 + 10/(1/3*-6) a multiple of 45?
True
Let s be (-9)/(-6)*2/(-5)*-5. Does 6 divide 20 - s - ((-2)/(-2) - 2)?
True
Let h(f) = 34*f**2 - 16*f + 48. Is h(4) a multiple of 88?
True
Let k = 683 + -407. Does 12 divide k?
True
Suppose -6*q + 2*q = -8. Let d(f) = 12*f**3 - 5*f**2 + 6*f + 2. Is d(q) a multiple of 10?
True
Let n(p) = -p**3 - 19*p**2 - 40*p - 25. Is 7 a factor of n(-17)?
True
Suppose -334 - 351 = -3*u + 4*m, -3*m - 225 = -u. Is 7 a factor of u?
True
Let l be 4/(-10) + 12/5. Suppose l*i - 162 = 4*w + 56, -w = -2. Let h = -42 + i. Is h a multiple of 26?
False
Let b(i) = 14*i - 2. Let v be b(1). Does 21 divide -2 - (-97 - v/3)?
False
Let f(q) = 2*q**3 - 2*q**2 - 4*q - 2. Let o be f(4). Suppose -2*l - 3*n + 133 = 2*l, 3*l - o = 5*n. Is l a multiple of 31?
True
Suppose -5*r - 9*p + 502 = -6*p, -3*p + 306 = 3*r. Let b = 294 - r. Does 34 divide b?
False
Let j = -30 + 18. Let y be ((-4)/(-6))/((-4)/j). Suppose -3*r - 4*d = -46 - 157, -y*d = -3*r + 173. Does 17 divide r?
False
Let o = -2 - -3. Let q be o/2 - 153/(-18). Suppose -q = -l + 57. Is l a multiple of 22?
True
Let l(n) = 27*n**2 - 12*n - 12. Does 40 divide l(-2)?
True
Let q = 76 + -71. Suppose 0*w - 5*b - 109 = -w, 0 = -q*b - 25. Is 21 a factor of w?
True
Suppose u = -3*u - 2*i, -5*i = 3*u + 14. Suppose 0 = 2*a - u*r + 14, -10 = 2*a - a - 2*r. Let c = a + 21. Does 17 divide c?
True
Let m = 43 + 45. Let z = 144 - m. Does 7 divide z?
True
Let b be 6 + -14 + (-4 - -2)/2. Is b/24 - (-3045)/56 a multiple of 7?
False
Suppose 0 = 5*q - 20, -q - 43 = 3*k - 191. Let y be 104/k - 1/6. Suppose -102 = -y*r + 66. Is 31 a factor of r?
False
Let h be 4/(-3)*(-3)/1. Suppose m + 20 = -h*m, 0 = -y - 4*m - 3. Is 13 a factor of y?
True
Suppose i + i + 3 = -3*r, 0 = -2*i - r - 1. Let w be -2 - (i + 0) - -2. Suppose -5*z + 7 - 27 = w, -4*z = -3*j + 193. Is j a multiple of 14?
False
Let u(t) = 15*t**2 - t. Does 41 divide u(8)?
False
Let x = 372 + -227. Let m = 341 - x. Does 24 divide m?
False
Let o be 125/(-50)*(-6)/5. Suppose 2*d + o*x - 182 - 17 = 0, x - 5 = 0. Is 23 a factor of d?
True
Let l = 28 + 16. Is 13 a factor of l?
False
Suppose -2*b + 9 = b. Suppose 0 = 2*h - b - 1. Suppose h*u - 5*q - 86 = -0*u, 0 = -u - q + 57. Is u a multiple of 16?
False
Let l = -6 - -4. Let w be (-27)/(-18) - l/4. Suppose s = -2*s - 4*m + 225, 0 = -w*m. Is 16 a factor of s?
False
Let i(d) = d**2 + d. Let x be i(-1). Suppose x = -4*z + 44 + 12. Is 6 a factor of z?
False
Suppose -3*a - 38 = -368. Let x be (0 + 1)/(11/a). Is x/4*66/55 a multiple of 3?
True
Let j(z) = 2*z**3 - 7*z**2 + 4*z - 3. Let r be j(6). Does 25 divide ((-12)/6)/2 + (r - 0)?
True
Suppose -29*j + 2120 = -49413. Is 76 a factor of j?
False
Let n(w) = -w**3 + 10*w**2 - 8*w + 6. Let v(d) = -d**3 + 9*d**2 - 9*d + 6. Let m(h) = 2*n(h) - 3*v(h). Let s be m(7). Let p = s + -32. Is 14 a factor of p?
False
Let z = -3 + 8. Suppose 2*u - 22 = -4*g + 26, -5*g = z*u - 70. Let k = 2 + g. Is k a multiple of 12?
True
Suppose -2*f - 11 = -31. Let z = 8 - 5. Does 3 divide ((-6)/f)/(z/(-30))?
True
Suppose 0 = -w + t + 432, -5*w - 3*t + 0*t = -2144. Does 21 divide w?
False
Suppose 3021 = 21*g - 3405. Is 18 a factor of g?
True
Let v be (22/3 - 6)*3. Let o be (-3 - -1) + 1*14. Suppose -o - v = -t. Does 9 divide t?
False
Suppose 6072 = -9*t + 13*t - z, -t - 4*z = -1518. Is 69 a factor of t?
True
Suppose 32*g - 4*g = 34048. Is g a multiple of 17?
False
Let y = 7 - -11. Let c = y - 20. Is 12 a factor of c/(-8) + 963/36?
False
Let v = 69 + 135. Is 4 a factor of v?
True
Let v(l) = 5 - 17*l + 2*l - 7*l. Let p(d) = d. Let i(t) = -3*p(t) - v(t). Is i(2) a multiple of 11?
True
Let n(b) = b**3 - 16*b**2 + 17*b - 19. Let k be n(15). Does 5 divide (k - 1)*(-1 - -2)?
True
Suppose -4*g = -16 + 4. Let n(l) = -l**g + 10*l**2 + l - l**3 + 4*l**3 - 11*l**2. Is 12 a factor of n(3)?
True
Suppose 0 = -5*i - 10, 0*y = -2*y - 4*i - 154. Is 19 a factor of (-1 - y) + 1 + 3?
True
Let j(n) = 16*n + 92. Does 12 divide j(7)?
True
Let d(i) = -10*i**3 + i**2 + i. Let x(c) = c + 19. Let j be x(-20). Does 5 divide d(j)?
True
Let x = -87 - -90. Suppose 0*j + 3*j + 672 = x*b, -b + 4*j = -230. Does 37 divide b?
True
Let x(a) = -a**3 + 11*a**2 - 18*a + 2. Let g be x(9). Suppose 62 = u - 5*m - 56, 2*m = -g*u + 272. Does 19 divide u?
True
Suppose t = -5*k + 3*t + 110, 0 = 3*k + 5*t - 97. Does 22 divide 1624/18 + k/(-108)?
False
Is 12 a factor of (-12)/16*(-2208)/3?
True
Let o(a) = -a**3 + 11*a**2 - 9*a - 7. Let c be o(10). Suppose -3*h - 30 = c*h. Let i(s) = -s**2 - 4*s + 12. Does 7 divide i(h)?
True
Let a(t) be the second derivative of t**4/12 + t**3/6 - 19*t**2/2 - 11*t. Is 22 a factor of a(11)?
False
Suppose 0 = -5*b + 4*n, -5*b + 19 = n + 44. Does 32 divide b*(3/(-1) + (-287)/28)?
False
Suppose 0 = 2*k + 4*a - 9*a - 877, 0 = 2*a - 10. Does 11 divide k?
True
Let c be (1 - 2) + (-14)/(-1). Is 15 a factor of 76/1 + (-13)/c?
True
Let o = 20 + -18. Suppose 5*z = 3*z - o. Let r = 2 - z. Is r a multiple of 3?
True
Suppose 10 = -12*d + 7*d. Let o(j) = -j**3 + j