(-3)/u). Suppose 0 = -a*y - 37 + 149. Is y a multiple of 24?
False
Suppose 3*y + 57 = -4*g + 515, -324 = -2*y + 2*g. Let i be (y - -1)*2/6. Let u = i - 21. Is u a multiple of 9?
False
Let w be 4*(1 + -2)*(-9)/(-3). Is w/18 + (-40)/(-6) even?
True
Let r(s) = -s + 1. Let w(g) = -g**3 + 8*g**2 + 3. Let t be w(8). Let k be r(t). Is (-40)/(-2)*k/(-4) a multiple of 10?
True
Let a be (-1)/3 + (-277)/(-3). Let b = a + -60. Is b a multiple of 8?
True
Suppose -5*x = -3*p - 729 + 46, -4*x = -3*p - 547. Is 3 a factor of x?
False
Suppose -5580 = -4*a + a. Let d be 1/(-3) - a/(-18). Suppose d = 4*f - 101. Is 17 a factor of f?
True
Suppose 2*k + z - 2*z - 3439 = 0, -3*k = -3*z - 5166. Is k a multiple of 67?
False
Suppose -2*o + 6 = -34. Suppose 0 = 2*i + 3*i - o. Let n(h) = 12*h + 1. Is 10 a factor of n(i)?
False
Let u(t) = t**2 + 26*t + 60. Suppose h - 101 = 5*h - 3*o, -5*o + 73 = -3*h. Is 10 a factor of u(h)?
True
Suppose 319 - 96 = m. Is 23 a factor of m?
False
Let d(z) = z**2 - 2*z + 1. Let t be (1 + (-8)/6)*-3. Let c be d(t). Suppose -7 = -c*l - l. Does 7 divide l?
True
Let v(i) = -9*i + 5*i**2 - 3 - 3*i**2 + 2 - 6. Let r be v(9). Let z = r - 46. Does 12 divide z?
False
Let t(n) = -n**3 + 8*n**2 + 10*n - 4. Let a(h) = -5*h - 12. Let b(g) = -g - 1. Let l(s) = a(s) - 3*b(s). Let o be l(-9). Is 2 a factor of t(o)?
False
Let o be 7/(-28) + (-21)/(-4). Suppose 820 + 355 = o*r - 5*j, 4*j = 5*r - 1180. Is r a multiple of 44?
False
Let v be (9/(-5))/(19/(-190)). Let z = 44 + v. Is z a multiple of 13?
False
Let v(m) = -2*m - 3. Let z be v(-3). Suppose 2*g - 140 = 2*i, -141 - 73 = -3*g + 2*i. Suppose z*j = -d + g, -54 = -2*j - 0*j - 3*d. Does 24 divide j?
True
Let t = 2958 - 1392. Does 54 divide t?
True
Let k = 93 - 87. Suppose -2*w + k + 500 = 0. Is 16 a factor of w?
False
Let f(i) = 3*i - 21. Let q be f(7). Suppose q = 3*j - 538 + 76. Is 22 a factor of j?
True
Let n be 1 + -1 + 2 - 0. Suppose h - 95 = -n*u + 4*h, 3*u - 110 = -2*h. Suppose -2*c = -u + 16. Is 7 a factor of c?
False
Suppose 81 = 6*t + 3. Suppose -6*n = -t*n + 119. Is 10 a factor of n?
False
Suppose 3*v - 1 - 14 = -i, 2*v = -2*i + 18. Let c(z) = z**3 - 6*z**2 + 9*z - 2. Does 26 divide c(i)?
True
Suppose -2*v + 4*v + 4 = 2*m, v - 2 = 0. Suppose h = -g, -m = -3*g - g - 2*h. Suppose -k = -4*k, -2*n + 18 = g*k. Does 5 divide n?
False
Let c(z) = 3*z**2 + 40*z - 19. Let n be c(-14). Suppose -5*g + n*g = 96. Does 4 divide g?
True
Suppose 3*g - 3*z - 292 = -88, -5*g + 3*z = -348. Is g a multiple of 6?
True
Does 8 divide -9 + 122 - (-2 - -11)/3?
False
Suppose 4*r = 5*j - 23, 6*j = j - r + 38. Let k(z) = -z + 12 - 4 - j + 0*z. Is 10 a factor of k(-12)?
False
Let b(h) = -h**2 + 6*h + 12. Let s be b(5). Suppose -s*v + 690 + 1758 = 0. Is v a multiple of 18?
True
Let v = -39 + 105. Suppose 3*d = -d - 16. Is (v/(-2))/(d/4) a multiple of 11?
True
Let r(y) = y**3 - 3*y**2 - 2*y - 2. Let u be r(4). Is 16 a factor of (u/5)/((-51)/(-3740))?
False
Suppose -g = 4*d + 20, -4*g + 2*d + 3*d + 25 = 0. Suppose g = 3*w + 28 - 1. Is (-2)/6 - 192/w a multiple of 21?
True
Is 8 a factor of (2 + 22)/(45/330)?
True
Let c(d) be the third derivative of -d**5/60 - 5*d**4/24 - 2*d**3/3 - d**2. Let z be c(-3). Suppose -5*o = k - 299 + 118, -z*o + 76 = 4*k. Does 18 divide o?
True
Suppose 1630 = 4*w - 2*u, -w - 2*u + 406 - 1 = 0. Is w a multiple of 31?
False
Is (2 - (-34)/(-3))*2793/(-49) a multiple of 25?
False
Suppose -7*z + 24344 = 10*z. Does 77 divide z?
False
Let m(b) = 2*b - 5. Let j be m(4). Suppose 2 - 14 = -j*x. Does 8 divide 32*(7/x - 1)?
True
Let u = 122 + 83. Does 23 divide u?
False
Suppose -1676 = -7*j + 3*j - 4*b, 1667 = 4*j + b. Does 32 divide j?
True
Suppose 2*i - 31 = s, 5*i + 16 = s + 95. Does 4 divide i?
True
Suppose 0 = 3*f - 3*s - 39, 3*f = 2*f - s + 3. Suppose 13*l - 35 = f*l. Is 7 a factor of l?
True
Let c(i) = -i**3 - 4*i - 6. Let d be c(-2). Suppose d*t + 19 = 499. Is 16 a factor of t?
True
Let y(x) = -3*x + 174. Is 8 a factor of y(10)?
True
Suppose 66*a + 308 = 70*a. Does 10 divide 23 + (44/a - 34/(-14))?
False
Suppose 0 = 3*p - 40 - 68. Does 6 divide p?
True
Suppose 0 = 60*k - 13544 - 43456. Is 25 a factor of k?
True
Let l = -55 + 66. Suppose l = 4*c - 73. Is c a multiple of 3?
True
Suppose -h + q - 9 = -4*h, -5*q = -2*h - 11. Does 10 divide ((-1)/2)/(h/(-668))?
False
Let j = 41 - 33. Let l be 0/(1 + j/(-2)). Suppose 3*a - 90 = -l*a. Is 5 a factor of a?
True
Let c(f) = -f**2 + 122*f - 876. Does 33 divide c(65)?
False
Let o(v) = -35*v + v**3 + 17*v + 23*v + 9*v**2 - 11. Is o(-8) a multiple of 4?
False
Let s(c) = -c**3 + 10*c**2 - c + 14. Let m(i) = 3*i - 5. Let t be m(5). Let b be s(t). Suppose -24 = -b*x + 52. Is 17 a factor of x?
False
Let f(q) = -q - 8. Let l be f(-18). Let m(y) = -l*y**2 - 2*y - 3 - 8 - 14*y**2 + 25*y**2. Does 4 divide m(5)?
True
Let x = 490 + -243. Is 12 a factor of x?
False
Suppose 0 = 7*l - 434 - 112. Is l a multiple of 3?
True
Let k(t) = -t**2 + t + 2. Let w be k(0). Suppose 0 = -l + w*l - 5. Suppose 0*v + l*v = -2*o + 8, -5*v = -2*o + 8. Is o a multiple of 4?
True
Suppose 0 = -w + w - w. Suppose w = 2*s - 6, 2*s - 134 = -2*h - 0*h. Is 16 a factor of h?
True
Suppose -o = j - 13, 0 = j + 2*o - 5*o + 7. Is 3 a factor of 210/j - (-1)/(-4)?
False
Let f be (-6)/(1/(-20)*6). Let r = 49 - f. Is 13 a factor of (-2)/5*r*-5?
False
Suppose 4*h = -17*h + 1533. Is 40 a factor of h?
False
Let c(n) = -n + 5. Let i be c(-12). Suppose 5*a = -i - 18. Let x(s) = -5*s + 7. Does 21 divide x(a)?
True
Let b = 3386 + -2260. Is b a multiple of 14?
False
Suppose 6*g + 225 = g. Let q = g + 99. Let a = 132 - q. Is a a multiple of 13?
True
Let t = -9094 - -14203. Is 39 a factor of t?
True
Let d = 12 + -9. Suppose -254 = -d*u + 199. Is 9 a factor of u?
False
Let q(h) = h + 5. Let p be q(-3). Suppose l + 16 = p*t, 3*t - 7 = -3*l - 1. Suppose -f - t = -55. Does 12 divide f?
False
Suppose -28 - 20 = -6*j. Let o = -3 + j. Does 3 divide o?
False
Suppose 52*z - 2844 = 49*z. Is z a multiple of 12?
True
Let z(o) = -4 + 7 - 2 + 9*o. Let a be z(7). Does 2 divide (-1)/5 - a/(-20)?
False
Let f(z) = -6*z - 43. Let o be f(-8). Suppose o*b - 120 + 45 = 0. Is b a multiple of 3?
True
Let w(p) = p**2 - 8*p - 3. Let q be w(8). Let l be 3 - (-1 - q) - 0. Does 13 divide l/(75/(-38) - -2)?
False
Let k(d) be the third derivative of -d**5/60 + 19*d**4/24 - 11*d**3/3 + 6*d**2. Is 27 a factor of k(13)?
False
Suppose 0 = -2*i + 3*u + 630, 0 = -9*i + 6*i - 3*u + 945. Does 105 divide i?
True
Suppose 20 = -4*r, r = 2*v - 2*r - 19. Let i be (v/(-4))/((-4)/(-8)). Does 34 divide (-4)/i + (-6 - -90)?
False
Suppose 971*n + 2464 = 985*n. Does 15 divide n?
False
Let o = 8 + -7. Let w be o/(-5)*-5 + 1. Does 6 divide w*((-9)/(-2) + -1)?
False
Let o be 0 - 10*4/10. Is 5 + (o - -149 - 0) a multiple of 23?
False
Suppose 6 = 2*p - 2. Suppose 26*l = 4*l + 110. Suppose p*a - 2*a - 10 = 0, -l*j + 50 = 3*a. Is 7 a factor of j?
True
Let t(k) = -k**3 + 7*k**2 + 9*k + 1. Suppose 0*v - 24 = -3*v. Is t(v) a multiple of 3?
True
Suppose -o + 4*o = 3*d + 78, -20 = 4*o. Let c = 42 + d. Does 9 divide c?
False
Let p(m) = m**2 + m - 5. Let q be p(5). Suppose q*l = 21*l + 288. Does 18 divide l?
True
Let k(f) = 7*f + 339. Does 9 divide k(-7)?
False
Suppose 5*k - 325 = -85. Let z = -25 + k. Does 7 divide z?
False
Let d(g) = 5*g**2 - 6 - g**2 + 18 + 18*g - 5*g**2. Is 12 a factor of d(12)?
True
Suppose -c = -6*c + 520. Let f = c - 62. Does 5 divide f?
False
Suppose 0 = 5*p + 3*p - 2592. Does 14 divide p?
False
Let b = 589 - 493. Does 4 divide b?
True
Suppose -2 = t - 4. Suppose 35 - 5 = 10*n. Suppose n*j - 4*c = -0 + 256, -4*j - t*c = -334. Is j a multiple of 12?
True
Suppose 41*z - 43*z = 0. Suppose z*a = -4*s - 4*a + 680, -3*s + a + 502 = 0. Does 28 divide s?
True
Let g(r) = r + 8. Let s be g(-6). Is -2 - (0 + s) - -36 a multiple of 14?
False
Let i = -5 - -20. Suppose 0 = 4*m + m - i. Suppose m*l - 2*r = 19, -1 - 1 = 2*l - 5*r. Is 9 a factor of l?
True
Let y = 46 + -45. Is 1 + 1 + (y - 4 - -205) a multiple of 12?
True
Let q = 176 - -48. Let s = 51 + q. Suppose 4*m = s - 63. Does 15 divide m?
False
Suppose 50 = 5*c - 4*h, 3*h + 12 - 2 = c. Suppose 0*x = -x + 4*f - 15, 4*x - 2*f - c = 0. Suppose -5*k - x = -50. Is 7 a factor of k?
False
Suppose 52*w = 57*w - 1745. Does 60 div