3 + u**2 + 124. Let z be g(0). Let b = -26 + z. Let a = b + -60. Is 19 a factor of a?
True
Let k be (-8007)/(-255) + 2/(-5). Suppose -4*x + k*x - 4293 = 0. Is 5 a factor of x?
False
Let p(u) = 6*u**3 + 20*u**2 - 9*u - 13. Let g(z) = -z**3 + z**2 - 1. Let d(m) = 4*g(m) + p(m). Does 54 divide d(-11)?
True
Let j(p) = p**3 - 6*p**2 + 12*p - 12. Let q be j(4). Suppose -h - 1285 = -q*d - 22, -4*h = 12. Is d a multiple of 35?
True
Let x = -6589 + 16475. Suppose -24*a = -x - 4250. Does 8 divide a?
False
Is 161 a factor of (-44268 - -13)/(-5) + 4?
True
Does 11 divide (-7887)/(-5 + (-56)/(-16))?
True
Suppose 42079 - 3064 = 135*a. Is a a multiple of 17?
True
Suppose 7580 = 5*y + 54*p - 49*p, -5*y + 7584 = 4*p. Is 20 a factor of y?
True
Suppose 13*x - 21056 = -6*x + 118917. Is x a multiple of 139?
True
Suppose -4*q = -h + 8, -2*h - 2*q + 6 = -5*q. Does 20 divide ((9 - h) + -10)*(-800)/2?
True
Is 13 a factor of ((-5460)/490)/(4/91)*820/(-15)?
True
Suppose 2*s + 5*m - 1496 = 0, -2*s + 3*s + 5*m - 743 = 0. Is 11 a factor of s?
False
Suppose 296 = 27*a + 26. Is 10 a factor of (2 - 22)/((a/(-300))/1)?
True
Let v(f) = -f**3 + 9*f**2 - 9*f + 13. Let g be v(8). Suppose 0 = g*p + 3*p - 64. Suppose 2*z - 26 = 4*w - p*w, 2*w - 4*z + 2 = 0. Is w even?
False
Does 9 divide (-72)/(-96)*(-4)/(-3) - -731?
False
Suppose -14802 = -4*v - 450. Is 52 a factor of v?
True
Let p(g) = g**3 - g**2 - 3*g + 7. Let n be p(2). Suppose -4*o = 3*c - 818, 0*o + 3*c = -n*o + 1024. Does 9 divide o?
False
Let n = -2934 - -10224. Is 81 a factor of n?
True
Suppose y = -0*y + q + 5, -3*y + 2*q = -14. Suppose -3*o + 2*o = -4*j - 828, -3312 = -y*o - 4*j. Is 65 a factor of o?
False
Let n be (-1 + 1 + 3)*(-12)/(-18). Let t(q) = 12*q**3 - q + 2. Is 12 a factor of t(n)?
True
Let a = -79 - -82. Suppose -2*g - 4*m + 20 = 0, -3*g + m - a*m + 14 = 0. Suppose 5*s + 4*c = 56, c - 28 = -5*s + g*s. Is s a multiple of 5?
False
Let f = 3 - 0. Suppose 0 = 407*c - 409*c. Suppose -f*u + u + 90 = c. Is u a multiple of 9?
True
Let i(c) = 5248*c + 116. Is i(1) a multiple of 36?
True
Let n(u) = u**3 + 2*u**2 - 3*u + 4. Let m be n(2). Suppose 29 = -5*f + m. Let w(g) = -2*g**3 + 3*g**2 + 6*g - 2. Does 4 divide w(f)?
False
Let n(h) = h**3 + h**2 + 2*h + 18. Let q be n(0). Let a be -3*20 - q/6. Let b = a - -90. Is 6 a factor of b?
False
Suppose -h + 15 = 5*b, -6*h + 11*h - 35 = -5*b. Suppose 0 = h*s - 4*s - 3. Suppose 11*w + s*w - 1610 = 0. Is w a multiple of 13?
False
Let w = 48734 - 27518. Is w a multiple of 13?
True
Suppose j + 7 = 4*r - 2*r, 12 = 3*r - 2*j. Suppose -r*t - 2*t = 4*z - 1092, -4*t = z - 282. Is z a multiple of 15?
True
Let a(l) = -l**3 + 6*l**2 + 6. Let b be a(6). Let f(q) = 7*q**2 + 5*q - 11. Let h(v) = -19*v**2 - 16*v + 34. Let j(y) = -11*f(y) - 4*h(y). Does 3 divide j(b)?
True
Suppose 11 = -u + 3*o + 2*o, 2*u - 3*o = -8. Let q be (u - -3 - 6/3)/1. Does 51 divide 100 + (0 + -2)/(q + -1)?
True
Let t(q) = -18 + 49*q + 24*q + 53*q - 68*q. Is 12 a factor of t(3)?
True
Suppose j + 19 = -5*z + 3*z, 0 = -2*z + 2*j - 34. Let v = z + 237. Is v a multiple of 15?
True
Suppose -2227049 - 384318 = -216*i + 5664241. Is i a multiple of 33?
True
Suppose -5*d + 109*d = 7*d + 99522. Does 57 divide d?
True
Let k = -7876 - -9705. Is k a multiple of 59?
True
Suppose -903 = -1675*g + 1668*g. Is g a multiple of 3?
True
Let o = -4462 + 7897. Is 12 a factor of 8/(24/o) + -5?
True
Let r be (-10408)/(-48) + ((-2)/1)/(-12). Let b = -139 + r. Is b a multiple of 14?
False
Suppose 6*w + 25 = 11*w. Suppose 2*h - 36 = w*h. Let y = h - -73. Is 9 a factor of y?
False
Let c(d) = 8*d**2 - 9*d - 5. Let i be c(-4). Is 10 a factor of (0 - -1)*(8 + i)?
False
Let v(l) = 544*l - 72. Is 4 a factor of v(3)?
True
Let c = 79152 + -29910. Is 87 a factor of c?
True
Let k = 12585 - 4226. Is 101 a factor of k?
False
Let d be (6/(-4))/((-3)/2) + 3. Suppose d*z - 11 - 1 = 0. Suppose 4*w - 123 = -3*c, -2*c - c = z*w - 90. Is w a multiple of 10?
False
Suppose 14933 = 3*a - 2911 + 4176. Is 34 a factor of a?
True
Suppose -89*w + 83*w = -9378. Suppose i - 2*i - w = -4*v, -v + i = -393. Does 30 divide v?
True
Let s(y) = 4*y + 11. Let j be s(-2). Let k be 3/1*(-4)/(-6). Suppose 2*c = k*g + 178, j*c - 2*c - 5*g - 81 = 0. Is 13 a factor of c?
True
Let w = 18941 + -18221. Is w a multiple of 8?
True
Suppose 57*j - 107596 + 322 = 0. Is 4 a factor of j?
False
Let q(x) = 67*x - 7. Suppose -3*n = -0*n - 9. Let r be q(n). Let z = 272 - r. Does 6 divide z?
True
Let r(o) = -o**2 + 16*o + 39. Let y be r(18). Let u(q) = 9*q**3 + y + 9*q**3 + 5*q**2 - 19*q**3 + 6*q. Is u(5) a multiple of 3?
True
Suppose 1126*v = 1123*v + 6. Does 2 divide (0 - (-4 + -65)) + 2 + v?
False
Suppose 8*j = 7*j + 38. Is 42 a factor of (-625)/(-2)*(j - 36)?
False
Let h(i) = 23*i - 23. Suppose 22 = z - 5*q, 4*z - 3*q - 41 - 13 = 0. Let a be h(z). Suppose -6*v + a = 25. Is v a multiple of 19?
True
Let l = -84 + 88. Let s be -1*492/(-18)*6/l. Suppose -47*o + 624 = -s*o. Does 28 divide o?
False
Suppose 68 = -a + 3*w, 3*w = 2*a - 3*a - 38. Let x = a - -73. Is 22 a factor of 130 + (x/12 - 2/(-6))?
True
Let f = 333 + -207. Is 37 a factor of ((6270/9)/(-5))/((-28)/f)?
False
Let v = -56 + 68. Suppose v = -6*z - 0. Does 10 divide (285/25)/(z/(-10))?
False
Suppose 24 = -5*b + 11*b. Suppose 2*q + 5*h = -q + 468, -624 = -b*q + 2*h. Does 26 divide q?
True
Suppose 0 = 2*o - 4*m - m - 117, -167 = -3*o - m. Let d = o - 52. Suppose 165 = d*x - 5*a, x + 3*a - 38 = a. Is x a multiple of 8?
True
Let b(r) = r**2 - 7*r + 3. Let a(c) = -c**3 + 6*c**2 - 3*c - 8. Suppose 10 = -5*y + 30. Let v be a(y). Is 9 a factor of b(v)?
True
Suppose -3*a + 156 = 9*a. Let s(n) = -n**3 + 12*n**2 + 12*n + 40. Is s(a) a multiple of 4?
False
Does 40 divide (2216/6)/(-16 + 870/54)?
False
Suppose -z = -4*j - 2943, -2*z + 5*j = -8329 + 2431. Does 58 divide z?
False
Let r(h) = -2221*h + 8. Is r(-1) a multiple of 17?
False
Suppose 126*k = 36*k + 89100. Is k a multiple of 18?
True
Let d(x) = -1209*x + 285. Is d(-25) a multiple of 30?
True
Suppose 0 = 7*i + 7*i - 56. Suppose -i*n + 4*j = -9*n + 4068, 0 = 5*n + 5*j - 4065. Is 8 a factor of n?
True
Suppose 3*p - 5*m - 466 = -15, 5*m - 137 = -p. Suppose p = 3*a + 4*h, 2*a - 94 = -30*h + 26*h. Does 5 divide a?
False
Suppose -2*y + 9199 = 3*i, -13809 = 8*y - 11*y - i. Does 123 divide y?
False
Suppose -n = 5*u - 73925, 21*n - 17*n = -3*u + 44372. Is 112 a factor of u?
True
Suppose 3*o - 41699 = -22091. Is 48 a factor of o?
False
Let b be (18/(-4) + 1)/(1/4). Let n be (-8)/5*(9 + b). Is 5 a factor of 124/n + (-1)/(-2)?
False
Let k(f) = 17 - 3 - 314*f + 340*f. Is 43 a factor of k(16)?
True
Suppose -3*d - 4266 + 32169 = 3*j, -37168 = -4*d + 2*j. Is 11 a factor of d?
True
Suppose 5*a - 2*f - 1256 = 0, -4*f - 11 = -19. Is 14 a factor of a?
True
Let i = -114 + 125. Suppose 0 = -i*m + 9022 - 3115. Does 11 divide m?
False
Suppose -4*k + 5*t + 41 = -3, t + 10 = k. Suppose k*s - 219 = 3*s - 3*g, 4*s - 2*g - 322 = 0. Is 6 a factor of s?
True
Let c be (832/40)/(-2)*(-10)/4. Suppose -2*l + 3*z = c, 0 = 5*l - l - z + 42. Is 236/2 - l/(-10) a multiple of 9?
True
Let t(s) = 10*s**2 - 88. Let v(n) = 10*n**2 + n - 90. Let k(q) = 6*t(q) - 5*v(q). Does 24 divide k(-6)?
True
Let r = 79 + -60. Suppose -2*m + r = 23. Is (-4)/((m/(-18))/(-1)) a multiple of 36?
True
Let k = 104 + 178. Let j = 590 - k. Is 14 a factor of j?
True
Suppose 0 = -4*i + 20, 5 = 3*q + 4*i - 39. Let z(d) = 2*d**2 + 10*d - 2*d**2 - 13 - d**2. Is z(q) a multiple of 3?
True
Let m be 6/10 + ((-7164)/(-10) - -3). Suppose 21*z - m = 9*z. Does 3 divide z?
True
Let y = -183 + 192. Suppose y = -3*m, -5*o - m + 256 + 261 = 0. Does 13 divide o?
True
Let z(m) = 702*m - 2956. Is 94 a factor of z(33)?
True
Let q be (85/10 + -2)*28. Suppose -q - 83 = -5*a. Is 3 a factor of a?
False
Suppose -2928 = 49*m - 57*m. Let n = m + -184. Is 14 a factor of n?
True
Let p(d) = -d**3 + 5*d**2 - d. Let u be p(5). Is 28 a factor of 185056/160 - u/(25/2)?
False
Let k be 1/(-2)*-1*(-8 - -12). Let z(n) = -2 + 2*n**k + 1 + 3 - 5 - 7*n. Does 12 divide z(-5)?
False
Let q(m) = m**3 + 2*m**2 - 5*m - 4. Let y be q(-3). Let k be 1180/35 - y/(-7). Let a = 59 - k. Is a a multiple of 9?
False
Suppose -3*r - 69 = -84. Is r/(-2)*(-5848)/85 a multiple of 35?
False
Suppose 11*k + 424 + 269 = 0. Let