 be i(-10). Let w = 39 + h. Let c = 23 + w. Is 3 a factor of c?
False
Suppose 46*j - 500939 = -90251. Does 8 divide j?
True
Is 55 a factor of 2/(-2) + 13322 + (48 - 52)?
False
Let o be (-10)/(-15)*1*(-82719)/(-14). Suppose i - 3*g + 7*g - 781 = 0, 5*i - o = -3*g. Is i a multiple of 22?
False
Suppose -8*p + 5*p = m - 7, -5*p - 4*m + 14 = 0. Suppose p*i - 85 - 1693 = 0. Does 19 divide i?
False
Suppose -2*u + 6 + 2 = 0. Suppose -4*q - 1 = -q - 5*l, -q = -u*l + 5. Suppose -2*w = -4*c + 414, -c + q*w + 411 = 3*c. Is 23 a factor of c?
False
Suppose -4*j - j + 5 = 0. Suppose 3*r = -5*q - 96, 2 + 104 = -4*r - 3*q. Is (j - r) + -7 + 8 a multiple of 8?
True
Let l(k) = -k**3 + 7*k**2 + 10*k - 11. Suppose -q + 3*q = 70. Suppose q = 4*w + 3. Is 5 a factor of l(w)?
True
Let x(k) = -6*k. Let u(c) = -6*c**2 - c - 4. Let j be u(0). Does 8 divide x(j)?
True
Let p(t) = -250*t + 240. Is p(-4) a multiple of 4?
True
Suppose 712 - 62 = 5*f. Does 11 divide (-20)/f - (-1250)/13?
False
Suppose 95 = 3*y + 89. Suppose 0 = 4*i - 2*g - 2414, y*i = i - 3*g + 614. Is i a multiple of 25?
False
Let z be (40/14 + 0)/((-20)/(-70)). Let h(w) = -w + 16. Let g be h(z). Does 21 divide (-3 - (g - 107))/(0 + 2)?
False
Suppose -4 = -3*r - 3*q + 5*q, -20 = -5*q. Suppose -r*m - 30 + 26 = 0. Let f(h) = -29*h + 6. Is 7 a factor of f(m)?
True
Suppose -4*u - 2*o + 45 = 5, u - 3*o = 24. Suppose 18*j + u*j - 11340 = 0. Is 18 a factor of j?
True
Let c be (-10)/2 + (6 - -1337). Suppose -2*k + 672 = 2*x, -17*x + 2*k - c = -21*x. Does 9 divide x?
True
Let t(n) = n**2 - 15*n + 33. Let p = -62 + 77. Let s be p/(-2)*40/(-15). Is t(s) a multiple of 38?
False
Let b(o) = 0 + 4 - 6 - 3 - 61*o - 5. Does 26 divide b(-23)?
False
Suppose 3*g + 4156 - 751 = y, 5*y + 3*g = 16899. Is 6 a factor of y?
True
Let s(z) = 45*z**3 - 5*z**2 + 12*z - 5. Let x be s(2). Suppose 0 = -3*m + x + 457. Does 34 divide m?
True
Let v be (-16)/40 - -1*44/10. Suppose -5*n + 2*f - v = 3*f, 3*n - 3*f = 12. Suppose -2*z = -3*c + 88, n = -3*c - 3*z + 123 - 30. Is 8 a factor of c?
False
Suppose 0 = -5*f + 10, 2*u = 4*u - 2*f. Let b be u - 1*2*-111. Suppose h - b = -h. Does 16 divide h?
True
Let w = 3 - 1. Let z(g) = 2*g**3 + 4*g**2 + 31*g - 36. Let i be z(1). Is 1 - w - 3 - (-33 + i) a multiple of 28?
True
Let b = 17972 - 5564. Is b a multiple of 4?
True
Let d(x) = x**3 + 10*x**2 - 6*x - 60. Let s be d(-10). Suppose s = 41*r - 40*r - 180. Is r a multiple of 12?
True
Let n = 21647 - 4526. Does 14 divide n?
False
Let v(q) = 119*q**2 - 18*q - 39. Suppose -2*u = -z + 5, -5*z + 3 = -4*u - 10*z. Is 43 a factor of v(u)?
True
Let k(h) = -3*h**2 + h + 2. Let t(w) = -w**2 - w. Let i(d) = -k(d) + 4*t(d). Let f be i(-4). Suppose f*b = 7*b - 80. Is 16 a factor of b?
True
Let j = 386 + -384. Suppose 2*b - 762 = -j*g, 10*b = 9*b + 5*g + 411. Is 12 a factor of b?
False
Let t be 7/3 - ((-4)/(-12) + 0). Suppose -t*b + 47 + 33 = 3*m, 0 = -2*m + 2*b + 70. Is m a multiple of 5?
True
Suppose 4*d - 168 = 456. Suppose -b + f + 557 = 0, -2*b = -3*f - 963 - d. Is 18 a factor of b?
False
Let j = -2722 + 3628. Does 14 divide j?
False
Suppose 449*o = 501*o - 164632. Is 56 a factor of o?
False
Suppose 2*a = -3*a + 4*a. Suppose a = 2*s - 0*s - 272. Is s a multiple of 13?
False
Suppose -t = -220*k + 217*k - 11116, -33324 = -3*t + 5*k. Is t even?
True
Let l be (1/(-2))/(10/(-11780)). Let b = l + -426. Does 5 divide b?
False
Let z(q) = -9*q**3 + 71*q - 13*q**2 - 19 - 80*q + 8*q**3. Does 7 divide z(-13)?
True
Let c be 2/(-14) - ((-192)/56)/3. Let l(a) = 87*a + 2. Is l(c) a multiple of 4?
False
Is (-19285)/(-10) + (-21)/(-14) a multiple of 51?
False
Does 97 divide (-184)/3404 + (-191220)/(-74)?
False
Is (-78)/6 + 14 + 3943 a multiple of 30?
False
Suppose -27*i + 11380 = 3091. Let u = i - 124. Does 22 divide u?
False
Let v(s) = -s**3 - 14*s**2 + 15*s + 3. Let f be v(-15). Let m(d) = 8*d + 2*d**3 + d**3 + 4*d**3 - f + 2*d**2 - 7*d. Does 21 divide m(2)?
True
Let i be -9 + 5 + -1 + 1. Let f be -1*(i + -382)*1 + -4. Let x = -94 + f. Is x a multiple of 32?
True
Suppose 8*k = 170 - 10. Is 4/k*1 + 21108/60 a multiple of 22?
True
Let m(x) = x**3 + 14*x**2 + 4*x - 37. Let g(c) = c - 15. Let z be g(3). Is m(z) a multiple of 33?
False
Let v = -4 - -8. Suppose 0*o + 21 = -6*o + 13*o. Suppose -2*q = -v*p + 124, 2*p - 181 = -o*p - 4*q. Is 6 a factor of p?
False
Suppose -q - 3*q + 16 = 4*f, f = 2*q + 10. Suppose l - f*l + 3*m + 3 = 0, 4 = -4*m. Suppose -8*v + 7*v + 32 = l. Is v a multiple of 12?
False
Suppose -r - l = -1, 5*l - 1 + 6 = 0. Suppose -5*w = -4*o + 2983, 3*o = -r*w + w + 2223. Does 53 divide o?
True
Let y be (18/(-27))/(2/(-9)). Suppose -4 + 12 = -4*t, y*f - 3*t = 834. Does 12 divide f?
True
Suppose -o + 556 = 3*o. Suppose -i = -2*w + 4*w - 280, i = -w + o. Is 3 a factor of w?
True
Suppose -35 = -d - 157. Let h = -108 - d. Suppose -371 = -h*x + 7*x. Is x a multiple of 8?
False
Let q = -50 - -62. Suppose -2*s - q = -48. Is 9 a factor of s?
True
Let l = 3977 + -2927. Is 14 a factor of l?
True
Suppose -450258 = -203*j + 1081132 + 1623027. Is 41 a factor of j?
True
Let g = -3336 - -4216. Is 40 a factor of g?
True
Suppose 59514 = 8896*x - 8883*x. Is x a multiple of 23?
False
Suppose -f - 2*f - 2*t + 4 = 0, -5*t = -3*f + 32. Suppose 0 = -2*q - 5*h - 33, f*q - 5*h + 96 = -15. Let i = -4 - q. Does 5 divide i?
True
Let g = -136 - -128. Let r(b) = b**3 + 18*b**2 - 3*b - 44. Does 19 divide r(g)?
False
Let o(l) = l**2 + 12*l + 2. Let t be o(-12). Let x = t + 1. Suppose -2*f + 3*r = -93, -6*r + x*r - 135 = -3*f. Is f a multiple of 14?
True
Suppose 1447 = 25*d - 25120 - 10208. Is 22 a factor of d?
False
Let r(g) = -4*g - 76. Let u be r(-19). Suppose 5*t - 2*v = 29 + 756, -5*t + 5*v + 785 = u. Is 11 a factor of t?
False
Let s = -66 - -66. Suppose -4*g + 104 = -2*q, 4*q + 16 = -s*q. Suppose 0 = -2*h + g + 18. Is h a multiple of 4?
False
Let m(b) = 170*b + 21. Let t be m(13). Suppose -5*w + t = 3*p, -12*p + 14*p + 1798 = 4*w. Does 22 divide w?
False
Suppose -97 = -3*c - 2*c + k, -4*c = 2*k - 72. Suppose -3*d = 3*t + 15, -3*t - c = 2*d - 4. Suppose d = -p + 9. Is 3 a factor of p?
True
Suppose 42*g = 29*g + 17927. Suppose 3*s - 841 = -4*n, -9*n = 5*s - 8*n - g. Is 11 a factor of s?
True
Suppose -c + 204 = 2*c + t, -5*c - 2*t + 342 = 0. Is 11 a factor of c?
True
Let w(g) = 10*g**2 + 9*g - 16. Let p(v) = v**2 - 15*v + 9. Let f be p(14). Is 21 a factor of w(f)?
True
Suppose -4*m + 3*i + 276 = -i, -3 = -3*i. Suppose 368 = 5*s + 3*b, 0 = -0*s - s + 3*b + m. Does 8 divide s?
False
Suppose 2*r + 2*z + 0*z - 30 = 0, -54 = -5*r + 2*z. Let j be (-8)/2*3/((-9)/r). Is (3 + j)/((-20)/12 - -2) a multiple of 2?
False
Suppose -318782 = 298*n - 1424362. Is n a multiple of 35?
True
Does 124 divide 1*(-4 + -5 + 8 + 8) - -20939?
False
Suppose -28*l + 8*l = -939840. Is 88 a factor of l?
True
Let k(w) = 715*w - 2660. Is k(8) a multiple of 10?
True
Suppose -12*x = 24922 - 105802. Is x a multiple of 20?
True
Suppose 10*c = 4*c + 186. Let j = 10 - 21. Let q = c + j. Is 10 a factor of q?
True
Suppose 0*a = a + 1. Let g(h) = 9*h**3 + 2*h**2 - h - 2. Let n be g(a). Is 4 a factor of 24/32 + (-250)/n?
True
Suppose 32*g - 1485 = 47*g. Let o be 3189/15 + 6/15. Let w = o + g. Is w a multiple of 8?
False
Suppose 2*x - 3*r = -r + 682, 4*x + 4*r - 1364 = 0. Suppose 374 = 5*k - x. Let o = -99 + k. Is 11 a factor of o?
True
Let b(m) = -5*m**3 - 22*m**2 + 8*m. Suppose -22*y + 12 = -18*y, 2*v = 5*y - 27. Is 10 a factor of b(v)?
True
Suppose -4*n = -13*z - 64830, 0*n = -3*n + z + 48605. Is n a multiple of 17?
True
Let y = -16716 - -40730. Is y a multiple of 21?
False
Suppose 4*s + 7906 = 5*m, m + 185*s - 187*s = 1574. Does 7 divide m?
False
Let x = -3 + 10. Suppose 3*o - 17 = -f, 0 = -8*o + x*o + 2*f + 15. Suppose -o = 4*a - 91. Is 5 a factor of a?
False
Let i = 30776 + -21853. Does 13 divide i?
False
Let f = -5655 - -16425. Is f a multiple of 98?
False
Suppose -2*o = -7*o. Suppose 2*b + 20 = 6*b + 4*x, o = 4*b - 5*x + 7. Suppose -b*c + 268 = 92. Is c a multiple of 22?
True
Let v(p) = 6*p**3 + 3*p**2 + 6*p + 7. Let m be v(-3). Does 20 divide ((-24)/(-3))/4 - (-3 + m)?
False
Let d(k) = 15*k**2 - 152*k - 2976. Does 66 divide d(-18)?
True
Let k be ((-1 - (2 + -11)) + -3)/1. Suppose -k*n = -4*f + 5, -2*f - 5*n = 3 + 2. Is 32 a factor