 513. Suppose o + 10 = 5*h. Does 6 divide (-3)/12*0 - h*-1?
True
Is 122 a factor of (-108521)/(-222) - (-10)/(-12)?
True
Suppose -8970 = 8*j - 13*j. Suppose 0*n - 6*n + j = 0. Is n a multiple of 23?
True
Suppose j + 5 = 2*j - 3*o, -4*o + 6 = 5*j. Suppose -388 = -j*v - 4*k, 750 = v + 3*v - 5*k. Is 12 a factor of v?
False
Let d be ((-1)/(-3))/((-8)/(-144)). Suppose i - z = d, -3*i = z + 3*z + 10. Suppose i*b + 1 - 71 = -q, 0 = -q + 3*b + 75. Is q a multiple of 18?
True
Suppose -4*c + 27 = -5*j, -2*c - j = -3*j - 12. Suppose 12 = -c*l + 7*l. Let r = 59 - l. Is r a multiple of 7?
True
Suppose 4*m = -g + 4075, 12106 = -47*g + 50*g - 5*m. Is 21 a factor of g?
False
Suppose -5*j = 5*a + 17 - 182, a - 4 = 0. Let u = j - 29. Suppose -2*q = -u*q - 312. Does 12 divide q?
True
Let p(m) = -m**2 - 19*m - 38. Let i be p(-12). Suppose -3*o + 5*g = -146, 2*o - i = 4*g + 52. Does 3 divide o?
False
Suppose 166*z - 361573 = 558*z - 949573. Does 13 divide z?
False
Suppose 0 = -5*g - a - 8604, -1125 - 583 = g - 3*a. Is g/(-2) + -3*6/9 a multiple of 15?
False
Let w(p) = 3*p**2 - 16*p - 56. Let i be w(-10). Suppose 461*r = 462*r - i. Is r a multiple of 69?
False
Let k(l) = 63*l**2 + 3*l + 3. Let a be k(-3). Let s = a + -256. Is 7/35*s - 1*-1 a multiple of 9?
False
Let k = -22 - -98. Let u be 0*(-14)/21*(-3)/4. Suppose -g = -5*l - 156, 2*g - l - k - 200 = u. Does 34 divide g?
True
Let w be (2/(-3))/(1/(-132)). Suppose -12*q = -q + w. Is (-9 - 3)*q/6 a multiple of 8?
True
Suppose -1348*q + 47339 - 116576 = -1355*q. Is q a multiple of 18?
False
Let c(g) = 120*g**3 + 3*g**2 - 3*g - 6. Let j be c(3). Let m be (-1)/3 - (1 - j/9). Suppose -13*i = -3*i - m. Is 23 a factor of i?
False
Suppose 5*j + 4*t = 2070, -4*j + 4*t - 935 = -2627. Is 5 a factor of j?
False
Suppose 238416 = 68*d - 23*d - 21*d. Is d a multiple of 8?
False
Let v(o) be the first derivative of -o**4/4 - o**3/3 - o**2 - 7*o + 285. Let n be 95/(-35) + (-2)/7. Is 17 a factor of v(n)?
True
Let x(m) = -13*m**2 - 14*m - 8. Let l(c) = -51*c**2 - 56*c - 33. Let u(q) = 2*l(q) - 9*x(q). Is 11 a factor of u(-3)?
True
Let r = 51 + -20. Let z = r + 59. Is z a multiple of 22?
False
Suppose 4*s + 17 = u, -4*u - 2*s + 14 = -0*s. Suppose -156 = 6*n - 9*n - 2*m, -4*n = -u*m - 185. Is n a multiple of 2?
True
Let h(p) = -p**2 + 4*p - 4. Let v be h(3). Let s(l) = 655*l**2 + 7*l + 3. Is 7 a factor of s(v)?
True
Suppose 0 = -4*q + 13 + 95. Let l(g) = -16 + 19*g**2 + 4*g - q - g**3 + 67. Is 10 a factor of l(19)?
True
Suppose -135*u + 285127 = -1841123. Is 175 a factor of u?
True
Suppose 14*m = 21*m - 301. Suppose 0 = m*b - 23*b - 22620. Is 27 a factor of b?
False
Is 117 a factor of (-233)/1*(-204)/(36/9)?
False
Does 5 divide (9/(-27))/(3 + 7444/(-2481))?
False
Let w(m) = -683*m - 537. Let n(q) = -341*q - 270. Let r(o) = -11*n(o) + 6*w(o). Is r(-6) a multiple of 45?
False
Let l(m) = -19 - 8*m - 7 - 8*m**2 + 9 - 8. Let g be l(-4). Let y = -61 - g. Is 17 a factor of y?
False
Let o = -26 - -51. Suppose o*m - 45 = 20*m. Is 31 a factor of (-2)/3 + 2751/m?
False
Let h be (0 - 1)/(16/(-64)). Let j(p) = 4*p**3 - 8*p**2 + 15*p - 6. Does 13 divide j(h)?
True
Does 15 divide 1270/((-6)/((-20)/8 - -7) + 2)?
True
Suppose -53*l = -112*l + 54*l. Suppose -v + 232 = -42*d + 39*d, l = -5*d + 10. Is 7 a factor of v?
True
Let i(z) = -411*z - 1527. Is 130 a factor of i(-17)?
True
Let w = -187 - -304. Does 23 divide (-4676)/(-18) + -3 + 377/w?
False
Suppose -12*s - 167 = 13. Is 17 a factor of (s - -13)*357/(-6)?
True
Let h = 41249 + -18565. Is h a multiple of 106?
True
Let t(y) = 4*y - 95. Let a be t(23). Let s(o) = -35*o - 24. Is s(a) a multiple of 9?
True
Let f = -4100 + 4421. Does 3 divide f?
True
Is 136 a factor of ((0 - 65/25) + 3)*33810/3?
False
Suppose -8*u = -a - 10*u + 86, -2*u = 4*a - 338. Let v = 158 - a. Does 5 divide v?
False
Let v = -22864 + 53999. Is v a multiple of 104?
False
Let y(k) = 1783*k - 1797. Does 61 divide y(2)?
True
Let o(c) be the first derivative of -c**5/30 - 7*c**4/12 + 7*c**3/3 - 22*c**2 - 47. Let u(i) be the second derivative of o(i). Does 7 divide u(-7)?
True
Let g(f) = -2*f - 1 + 20*f**2 + 0 + f**3 - 21*f**2. Let u be g(3). Suppose u*q - 9*q = 24. Is q a multiple of 4?
True
Let i(y) = 8 - 6*y + 0*y + 2*y**3 - 23 - 11*y**2. Does 30 divide i(8)?
False
Let l = 15 + -17. Let x(q) = -36*q + 24. Does 14 divide x(l)?
False
Let f(s) = 630*s**2 + 10*s - 1. Let g(c) = -c**2 + 3*c. Let p(m) = f(m) - 2*g(m). Is 57 a factor of p(-1)?
True
Let r(m) = -49*m**2 - 394*m + 11. Does 14 divide r(-5)?
True
Let i = 110 - 146. Let h be ((-10)/6)/(2 + 102/i). Suppose -5*s + 5*q = -515, -q - 9 = h*q. Does 10 divide s?
True
Let z(c) = 11 + 2*c + 1 - 3 + 6. Let a be z(-5). Suppose -5*w + a = -m + 343, -5*w = -4*m + 1292. Is m a multiple of 53?
True
Let s be ((-9)/2 + 3)/(27/252). Let y(r) = 67*r**2 - 2*r + 1. Let m be y(1). Let k = m + s. Does 26 divide k?
True
Suppose -33*y - 264 = -29*y. Is 153/(-18)*(2 + y) a multiple of 8?
True
Suppose -y + 58945 = 4*y + 5*r, 3*y = r + 35367. Suppose y = 9*p + 2798. Does 37 divide p?
True
Let p(o) be the second derivative of -7*o**4/24 - 5*o**3/2 + 15*o**2/2 - 11*o. Let a(d) be the first derivative of p(d). Is 4 a factor of a(-5)?
True
Let k be ((-1104)/(-36))/(2/12). Let i = 366 - k. Is 7 a factor of i?
True
Suppose -27 = -o - 29. Does 39 divide (-470)/4*((-24)/10 - o)?
False
Let g = -58 + 60. Suppose 2*h - g*p + p + 3 = 0, -p = -3. Suppose 2*z + a - 78 = 0, -3*a + h*a = -z + 39. Is z a multiple of 13?
True
Suppose -2627*r - 4961619 = -2744*r. Is 184 a factor of r?
False
Let z be (24/16)/((-3)/(-4)). Suppose 4*x - x - 4738 = 2*o, -3*o + 3137 = z*x. Is x a multiple of 11?
False
Suppose -2*h + 8 = i - 3*i, 3*i - 20 = -5*h. Suppose i = -5*o + 3*r + 31 + 2, 0 = 3*o - r - 19. Suppose o*c - 108 = 5*c. Is 18 a factor of c?
True
Let i(n) = n**3 + n**2 + 2. Let t be i(0). Suppose j + 4*j + 4*v = 18, 3*j - 9 = -3*v. Suppose 5*r - 525 = -4*s + j*r, t*s + 2*r = 260. Does 10 divide s?
False
Suppose -5*d + 114107 + 45271 = c, -d + 2*c + 31880 = 0. Does 9 divide d?
False
Let w(v) = v**3 - 75*v**2 - 114*v - 320. Does 113 divide w(78)?
True
Let l(q) = 90*q + 10. Suppose 39 = 7*u + 6*u. Is 28 a factor of l(u)?
True
Is 137 a factor of 137*(-3 + 4)*13?
True
Suppose -d + 0*d = 54. Suppose -i - 110 = -s, -6*s - 108 = i - 9*s. Let o = d - i. Does 20 divide o?
False
Suppose 0 = -11*p + 682 + 1001. Suppose -3*c - 4*f = p, -4*f = f. Let j = c + 54. Is j a multiple of 3?
True
Let g = 2552 + -1352. Does 16 divide g?
True
Suppose -19*p = -15*p - 4*i - 6700, -12 = 4*i. Is 11 a factor of p?
True
Suppose -14*m - 8 = -6*m. Let t(d) = -489*d**3 - 2*d**2 + d + 1. Is t(m) a multiple of 19?
False
Let o(b) = 36*b + 4329. Is o(-63) a multiple of 9?
True
Let z be (-12)/(-3)*1*(-15 - -5). Let t = 5 - z. Suppose -249 = 42*y - t*y. Does 26 divide y?
False
Let b = 15 + -37. Let o be 4/b + 5/(165/(-1413)). Let a = 71 + o. Is 16 a factor of a?
False
Suppose -95*i - 136*i + 83*i + 2421132 = 0. Does 227 divide i?
False
Suppose h - 31 + 9 = 0. Let l(r) = h - 2*r + 32*r**2 + 40*r**2 - 73*r**2. Is l(-5) a multiple of 4?
False
Let r(b) = b**3 + 8*b**2 - 7*b - 14. Let o = 103 - 129. Let z = -33 - o. Is r(z) a multiple of 14?
True
Suppose 0 = 2*p, -3867*p + 3866*p = 5*l - 14215. Is l a multiple of 14?
False
Let r be (-2)/(-10) - (-312)/65. Suppose -q = -0*q - r. Suppose 0 = -q*u - 122 + 472. Is u a multiple of 14?
True
Suppose -39*n + 459 = -37*n - 3*j, 717 = 3*n + 5*j. Is n a multiple of 3?
True
Let c(j) = 14*j**2 + 31*j + 45. Suppose 9*o + 61 = -20. Does 17 divide c(o)?
False
Suppose 29 = -5*s - 1. Does 9 divide (2/(16/s))/((-1)/148)?
False
Suppose c = 1027 - 1020. Is 4 a factor of (14/c - 124)*-2?
True
Let q(x) = -x**3 + 58*x**2 + 4*x - 391. Is 27 a factor of q(41)?
True
Let v be (-32)/12 + 2/3. Is 16 a factor of v - -11*(-2*51)/(-1)?
True
Suppose -17*a + 20*a - 4*m - 13804 = 0, -3*m = -15. Is a a multiple of 24?
True
Suppose -4*z + 5*r + 546 = 202, 3*z = -2*r + 235. Suppose z*y - 76*y - v - 2323 = 0, -470 = -y + 2*v. Is y a multiple of 8?
True
Let h(d) be the second derivative of 0 - 1/12*d**4 + 2*d**2 - 3*d + 1/6*d**3 + 1/10*d**5. Is h(3) a multiple of 26?
True
Let a = 30241 + -8801. Is 8 a factor of a?
True
Let t(i) = 1439*i - 1516. Does 106 divide t(4