2. Suppose r - 14 = v - x*a, -4*v - 4*a + 404 = 0. Is 39 a factor of v?
False
Suppose 2*b - 4*d - 184 = -8*d, 5*d = -20. Suppose 0 = -14*p + b + 166. Is 9 a factor of p?
False
Let o(p) = 747*p - 1217. Is o(7) a multiple of 59?
True
Let y(d) = 2*d**3 + 23*d**2 - 14*d - 16. Let l be y(-12). Is 34 a factor of 5730/12 - 12/l?
True
Suppose 0 = -6*w + 108*q - 107*q + 104707, q + 52354 = 3*w. Is 10 a factor of w?
False
Let c = -89 + 94. Let i(r) = 6*r**2 - 8*r + 5. Let b(a) = a**2 - a + 1. Let n(l) = b(l) + i(l). Does 47 divide n(c)?
False
Let r(c) = c**3 - 6*c**2 + 6*c - 5. Let l be r(5). Suppose 4*j + l*j = 3*o + 828, 4 = o. Does 23 divide j?
False
Suppose 0*g = -2*g + 8. Suppose -7*s = -2*s + 20, 2*s = -g*w + 388. Is w a multiple of 7?
False
Let x = 36 - 36. Let c = x + 10. Suppose -2*a = -5*g - a + 298, c = 5*a. Is g a multiple of 12?
True
Let o = -279 + -949. Let u be o/(-18) + (-20)/90. Let t = -22 + u. Is t a multiple of 22?
False
Suppose 15*c = 6929 + 22251 + 21145. Is 4 a factor of c?
False
Let f(b) = b**2 - 10*b + 24. Let l be f(6). Suppose 0 = 2*p + p. Suppose 3*z + 2*j + p*j - 171 = l, 5*z = 3*j + 266. Is 8 a factor of z?
False
Let h be 447/36*2 - (-5)/30. Let m be 5*15/h + 0. Suppose -m*u = -u - 120. Is u a multiple of 10?
True
Let w = 8475 - 4875. Is w a multiple of 90?
True
Let w = 64 - 59. Suppose 2 = w*h - 3, h + 79 = y. Does 8 divide y?
True
Let p be -3 + ((-15)/(-5) - 1). Let q = p + 23. Suppose q*m - 96 = 18*m. Does 12 divide m?
True
Suppose -3*z - 2*i = -610, 0*z = 4*z - 2*i - 804. Suppose -8*x + 5 = -13*x, 0 = 5*m - 2*x - z. Is 6 a factor of m?
False
Suppose -4*i = 5*n + 10, 0 = -3*i + 7*n - 3*n + 8. Let s(r) = -r**3 + r**2 + 2*r + 54. Let p be s(i). Does 17 divide 3/(p/724) + (-104)/468?
False
Let t(w) = -414*w - 1943. Is 21 a factor of t(-59)?
False
Is 5939700/1092 + (-4)/14 a multiple of 21?
True
Let a = -51 - 85. Let u be (153 + -159)*(-1 - (-10)/(-4)). Does 3 divide a/(-14) - (-6)/u?
False
Let k = 474 + 11854. Does 9 divide k?
False
Suppose -398*y + 413*y - 36960 = 0. Does 8 divide y?
True
Let o(y) = -14795*y + 6481. Does 129 divide o(-4)?
True
Let i = 135 - 128. Suppose -13*g = i*g - 1200. Is 6 a factor of g?
True
Suppose -4*g - 278 = -5*w, -4*w + 248 - 13 = g. Let v be -2*5/(-15) - w/(-3). Suppose 19*k + 34 = v*k. Does 17 divide k?
True
Let j(m) = m**2 + 21*m - 294. Let h be j(13). Suppose 3*v = 2*s + 116, 4*v - s + 0*s - h = 0. Is 18 a factor of v?
True
Let g(j) = -6*j**2 + 12*j + 37. Let m(k) = 9*k**2 - 19*k - 55. Let o(p) = 7*g(p) + 5*m(p). Is o(-5) a multiple of 12?
False
Suppose 0 = 34*b - 142992 - 100006. Is b a multiple of 30?
False
Let a be ((-8)/18)/((-9)/(162/4)). Suppose a*b = 3*n + 511, -1 = -2*n - 11. Does 31 divide b?
True
Is -3 + ((-21)/6 - 2093/28*-70) a multiple of 8?
False
Suppose 16 = w + 24. Let x be (-3)/(2 + 10/w). Let k(q) = -q**3 + q**2 - 8. Is 9 a factor of k(x)?
True
Is (-366)/(-2*18/(-384)*2/(-1)) even?
True
Suppose z - 23 = -5*h, -3*z - 2*h - 2*h + 25 = 0. Suppose z*x + j = 5*x + 717, 2*j - 712 = 2*x. Let c = x - -613. Is c a multiple of 42?
True
Let g(c) = -140 + 128 + 6*c - 2*c. Let s be g(9). Let k = s - -63. Is k a multiple of 18?
False
Let t be ((-1)/5)/((-10)/25)*4142. Suppose -t = -10*m - 581. Let k = m + -49. Is 21 a factor of k?
False
Let b = -461 - -472. Suppose -b*z + 8*z = -33. Is z even?
False
Let x(w) = w**3 - w**2 - w. Let s(h) = -7 - 3*h**3 + 15 - 2*h**2 - 5 - 12*h - h**3. Let m(q) = s(q) + 5*x(q). Does 2 divide m(9)?
True
Let k(q) = q**2 + 3*q + 2. Let y be k(4). Let v be (-7084)/(-112) - 6/(-8). Suppose v*r - 61*r = y. Does 2 divide r?
True
Let p be -119*((-3)/(-2))/((-5)/10). Does 24 divide p + -4 + -2 + 9?
True
Suppose -n - 3*z + 6954 = 0, -16*z - 13902 = -2*n - 21*z. Is n a multiple of 5?
False
Let p = -5 + 76. Suppose 5*v - 314 - p = 0. Suppose -v = -6*r + 4*r - i, -2*i - 206 = -5*r. Is 8 a factor of r?
True
Suppose 5*m - 161 = 3*b - 2063, b - 634 = -m. Suppose 3*x = -4*d + 1276, x - 2*d + 192 = b. Is 36 a factor of x?
True
Is ((-5596875)/450)/((-1)/2) a multiple of 99?
False
Let x(z) = 10*z**2 - 8*z - 380. Does 29 divide x(-19)?
False
Let v be 12/56*44*7. Let a = 138 - 125. Let b = v + a. Does 10 divide b?
False
Suppose 0 = 2*h - 2*m - 15554, 15549 = 2*h - 2*m + 5*m. Is h a multiple of 81?
True
Let s(i) = -18*i**3 - 7*i**2 - 7*i + 14. Let x be s(-6). Suppose -3*q - 10*q + x = 0. Does 13 divide q?
False
Let f(z) = -4*z - 4. Let o be f(-3). Let u(t) = 24*t + 180. Let y be u(-6). Let k = y + o. Is 22 a factor of k?
True
Let t(k) = -4*k**2 + 13*k - 2. Let h be t(3). Let d be (1 - h) + 73 + 11. Let x = d - 45. Is 7 a factor of x?
False
Let s(h) be the first derivative of -11*h**2/2 - 73*h - 193. Is s(-11) a multiple of 8?
True
Let m = -6133 - -8653. Suppose 760*n - 763*n + m = 0. Does 70 divide n?
True
Let w(d) = 3*d**3 - 5*d**3 + 0*d**3 - 4*d + 2 + 1. Let f(v) = v**2 + v. Let g(o) = f(o) + w(o). Is g(-3) a multiple of 37?
False
Suppose 3*j + 2*u - 5004 = 0, 31*u = 35*u + 12. Is 167 a factor of j?
True
Suppose g - 2220 = 3*n, 2*g - 10*n = -5*n + 4435. Is g a multiple of 7?
True
Suppose 4*m - 4312 = -4*t, 10*m - 15*m = -5*t + 5400. Suppose 0 = -6*s + t - 251. Is s a multiple of 23?
True
Suppose -4*a = -5*n - 3 - 11, -26 = n + 5*a. Let u(q) = 32*q**2 - q + 20. Is 31 a factor of u(n)?
True
Let t(h) = -h + 1. Let k(a) = -4*a - 27. Let z(o) = k(o) - 2*t(o). Let d be z(-13). Let u(j) = -3*j**3 - 3*j**2 + j - 4. Is u(d) a multiple of 8?
False
Does 9 divide 7531 - (7 + (-198)/11)?
True
Let h(i) = -6*i**2 + i + 7. Let d be h(-2). Let z(f) = -20*f - 116. Is z(d) a multiple of 37?
False
Suppose 2*b + 2 - 6 = 0. Suppose -4*n - 10002 = b*i, -n + 2*i = 1188 + 1310. Is 26 a factor of n/(-12) + 1/3*-1?
True
Suppose -21*l + 12 = -15*l, -3*l = 5*n - 39766. Is 71 a factor of n?
True
Let j(a) = 3*a - 11. Let s(z) = -1. Let v(x) = j(x) + 6*s(x). Let p be v(17). Suppose -p = -f + 68. Does 17 divide f?
True
Suppose 2*z = 5*f + 5, 0 = -5*z + 2*z - 3*f - 3. Suppose 6*x - 901 + 115 = z. Is 10 a factor of x?
False
Does 7 divide 32490/114*(-16)/(-12)?
False
Let p(z) = -z - 9. Let j be p(-6). Let n(o) = 90*o + 8. Let k(s) = 29*s + 3. Let b(q) = -7*k(q) + 2*n(q). Does 8 divide b(j)?
True
Suppose -s + 136 = z, -672 = -23*z + 18*z + 3*s. Suppose -8*y + 153 = -z. Is 14 a factor of y?
False
Let f(a) = -a**2 - 4*a + 21. Let m be f(-6). Suppose -10*q = -9*q - m. Let i(u) = 4*u**2 - 29*u - 1. Is i(q) a multiple of 26?
False
Let d be (-2 - 1594)/14*(-20)/12. Let v be (0 - 1)/((-1)/(-34)). Let n = v + d. Does 9 divide n?
False
Let t be 2/3 + 2 + (-320)/(-15). Let k be t/9 - (-4)/(-6). Is 19 a factor of (0 + k)/(1410/468 - 3)?
False
Let s(j) = 27*j**2 + 12*j + 26. Let h(o) = o**3 - 20*o**2 - 4. Let u be h(20). Let l be s(u). Suppose 124*k - l = 119*k. Is 8 a factor of k?
False
Let y be (3 + (-24)/9)*(-1 + -146). Suppose i - 135 = 6*i. Let z = i - y. Is 11 a factor of z?
True
Let j(s) = -717*s**3 - 4*s**2 - 8*s - 3. Is j(-2) a multiple of 21?
True
Suppose 378797 = 44*p + 105381. Is p a multiple of 291?
False
Let w be 2/(-2 + 2 - 2). Let n(y) be the second derivative of -70*y**3/3 - 2*y**2 + 805*y. Is 10 a factor of n(w)?
False
Let j = -3375 - -4455. Is 9 a factor of j?
True
Suppose -n - 3*n = -28. Suppose n*k = 9*k - 8. Suppose -k*o = -8*o + 132. Is 7 a factor of o?
False
Suppose 3*p - 12873 = -3*w, 3*w + 95*p - 90*p - 12855 = 0. Is 120 a factor of w?
False
Let c be 20/((-8)/(-2)) - 5. Suppose -2*t + 2*h + 406 = c, 5*t - 3*t + 2*h - 394 = 0. Is t a multiple of 50?
True
Suppose -104*g + 366382 + 3026 = 0. Is 12 a factor of g?
True
Let t(b) = 71*b**2 + 33*b + 697. Does 56 divide t(25)?
False
Let y(u) = -3*u**2 - 14*u - 343. Let n = -51 - -34. Let x(g) = g**2 + 5*g + 114. Let i(t) = n*x(t) - 6*y(t). Is 20 a factor of i(0)?
True
Let c be ((490/15)/(-1))/(4/(-66)). Let y = c - 313. Suppose -r - 4*o = r - 190, -2*r + y = -5*o. Does 19 divide r?
False
Let p be (-7)/(7/(-2)) - -1. Suppose -4*g + 5*n = -1117, -g = p*n - 287 + 29. Suppose q - 4*q = -g. Is q a multiple of 12?
False
Let s(i) = 10*i**2 + 5*i - 5. Let d be s(2). Let o be (-16)/(-6)*d/30. Is (-4)/(-8) + -3 + 38/o even?
False
Let z(x) = 9*x**2 + 3*x + 42. Let g be z(-5). Suppose -g + 1259 = 19*d. Is 18 a factor of d?
False
Suppose -2*b = -3*t + 14777, -5*t + 4*