*y + 983 = o - 0*o, 0 = 4*y + 20. Suppose 996*x - 2541 = o*x. Is 77 a factor of x?
True
Suppose 5*t = -0*t - 15, -2*t - 18 = -2*n. Suppose 263 = n*b - 61. Let v = 102 - b. Is v a multiple of 24?
True
Let f(h) = -h**3 + 3*h**2 + 9*h + 10. Let d be f(5). Suppose 0 = -4*g + 5*n + 1295, 0 = -d*g + 8*n - 12*n + 1670. Is 14 a factor of g?
False
Let v(r) = -r**3 + 8*r**2 + 2*r + 13. Let l be v(8). Suppose 19*s - l*s = -760. Does 9 divide s?
False
Let h = 17781 - 16971. Does 5 divide h?
True
Suppose 55743 = 3*z + r - 32733, 5*z + 2*r = 147462. Is 123 a factor of z?
False
Suppose -130*v - 32*v + 62208 = 0. Does 48 divide v?
True
Let w be 3/(-5) + 1 + (-6756)/(-60). Let l = 116 - w. Suppose l*r + 2*n = 258 + 46, 0 = -3*r + n + 289. Does 17 divide r?
False
Let m(v) = -13*v - 1. Let y be m(2). Suppose 5*g - 2*j + 55 = 0, 12*g - 14*g - 3*j - 41 = 0. Let l = g - y. Does 14 divide l?
True
Let l(s) = 315*s**3 - 5*s**2 - 3*s + 15. Is 35 a factor of l(2)?
False
Let n = -25 - -234. Let d = 319 - n. Suppose 6*x - x = d. Does 12 divide x?
False
Let b be -1*(4 - 7) + 0 + 3. Suppose 0 = -0*n + b*n - 138. Is 11 a factor of n?
False
Suppose -9*l = -7*l - 174. Let g = -83 + l. Is 4 a factor of -2*1/(g/(-94))?
False
Let b(r) = 3*r + 2. Let h = 44 + -43. Let m be b(h). Suppose -u - m*f = -0*f - 40, -u - 3*f + 36 = 0. Is 11 a factor of u?
False
Suppose 117612 = -197*l + 209*l. Is l a multiple of 20?
False
Let u(z) = z**3 - 8*z**2 - 5*z - 36. Does 7 divide u(16)?
True
Let j(l) = 4*l - 30. Let p be j(7). Let h be (-70320)/(-104) + p/13. Suppose -h - 620 = -9*b. Does 12 divide b?
True
Let l(b) = 73*b**2 + 3*b - 4. Suppose 0 = -54*j + 53*j + 1. Is l(j) a multiple of 27?
False
Let j = -38 - -44. Is 4 a factor of j/9 - 128/(-6)?
False
Let z be ((-6)/5)/(12/(-20)). Let y(j) = 2*j**z - 3*j**2 - 5*j + 0*j**2 - 22 + 27*j. Does 35 divide y(19)?
True
Suppose -50*o - 248 = -46*o. Let r = o - -104. Suppose -x + h + 22 = -0*h, -r = -2*x + 3*h. Does 4 divide x?
True
Let r = -5322 + 19916. Is 11 a factor of r?
False
Let j = -38 + 40. Suppose -4*x - j*y = -518, y - 129 = 5*x - 6*x. Does 10 divide x?
True
Let m(i) = -2*i**2 + 2*i**2 + i**3 - 2*i - 22 + 24. Let f be m(5). Let t = f + -33. Does 21 divide t?
True
Suppose -2*m + 234 = -d - 3*m, 0 = d - 3*m + 214. Let b = 333 + d. Is b a multiple of 14?
False
Let v be 125/(5*(-5)/(-50)). Suppose -3*o + v + 191 = 0. Is o a multiple of 49?
True
Let j be (-6*(-232)/8)/(4 + -2). Let t = 184 - j. Is 16 a factor of t?
False
Suppose c - 60 = -3*c. Let x(y) = 9 - c*y + 9 + 2. Does 28 divide x(-8)?
True
Let m(v) = 2*v**2 + 12*v - 5. Let o be m(-10). Suppose -25 - o = -2*i. Let w = i - -6. Is 14 a factor of w?
True
Suppose 5*l - 674 - 441 = 0. Suppose 2*j - 157 - l = 0. Suppose -5*y + s = -486, s + j = 2*y + 5*s. Is y a multiple of 18?
False
Let h(s) = -128*s - 211. Is h(-32) a multiple of 105?
True
Let a(m) = -2*m + 29. Let b be a(12). Suppose -b*t - 4*o = -584, -3*t + 7*t = -4*o + 464. Is 6 a factor of t?
True
Suppose 136*g - 7*g = 14*g + 1268795. Does 56 divide g?
False
Suppose -12*h + 8820 = 23*h. Is h a multiple of 15?
False
Let f(p) = -p - 8. Let z be f(4). Let n be (10/8 - 9/z)*-2. Is 83 + -2 + (-5 - n) a multiple of 10?
True
Suppose -o + 3*a - 262 = 68, 15 = -5*a. Does 11 divide o/(-15) + 15/(-25)?
True
Is (-300210)/(-195) + (-30)/(-65) a multiple of 56?
False
Suppose 0 = 351*i - 339*i - 91008. Does 96 divide i?
True
Let h(a) = 101 - 6*a + 5*a + 4*a + 0*a. Does 36 divide h(-17)?
False
Let y = -18856 + 45696. Is 122 a factor of y?
True
Let b(w) = -w + 559. Let l be b(0). Let o = l + -141. Does 11 divide o?
True
Suppose 14 = -9*h - 130. Let y(x) = x**3 + 20*x**2 + x - 34. Is y(h) a multiple of 37?
False
Let t = 1780 + -1097. Is 7 a factor of t?
False
Suppose -9*z = -3*z + 6. Let s be (z*1)/(2/(-6)). Suppose 155 = s*g + 5*i, -6*g + 2*i = -g - 310. Does 8 divide g?
False
Let v(h) = 989*h - 1334. Is 5 a factor of v(8)?
False
Does 8 divide 537 - 2 - (-21 - -4)?
True
Let i(d) = 3118*d**2 - 38*d - 36. Is i(-1) a multiple of 23?
False
Does 36 divide 8864 + (0 - (7 - -5))?
False
Let o be ((-999)/(-27))/((-1)/(-9)). Suppose -d + 556 = -o. Does 26 divide d?
False
Let w(n) be the third derivative of -n**5/60 - 7*n**4/12 + 7*n**3/6 + 321*n**2. Suppose -5*c = -4*f + 43, 3*c - f + 9 + 21 = 0. Is w(c) a multiple of 31?
False
Let u be 160 - 166 - (-19 - -1)/2. Suppose -5*h - 477 = -30*f + 26*f, 2*h + 356 = u*f. Does 25 divide f?
False
Let m = -45 - -46. Let y be 5 + 0 + m + -3 - 154. Let j = 312 + y. Does 23 divide j?
True
Let o = -579 - -2022. Let i = o - 2095. Does 12 divide 3 + 87/(-27) - i/18?
True
Suppose 50*c - 248689 = -18*c + 587847. Is 22 a factor of c?
False
Suppose 143*t + 1616241 = 6000621. Is 10 a factor of t?
True
Let p(o) = 2755*o**2 + 9*o - 9. Let n be p(1). Suppose 0 = 4*w + 20, 2*m + 3*m - n = 5*w. Does 18 divide m?
False
Suppose -42*c + 19610 = -5*c. Is 9 a factor of c?
False
Suppose -10 = -5*x + 15, 4*x - 19 = v. Let f be ((-6)/((-6)/5))/v. Is (-20)/((f - 4) + -2) a multiple of 20?
True
Is (-153 - -165) + (-636)/(-1) a multiple of 108?
True
Let l(n) = 148*n + 13. Let k be l(4). Let q = -389 + k. Let u = -142 + q. Does 12 divide u?
False
Let m(d) = -d**3 - 18*d**2 + 555*d - 107. Is 27 a factor of m(-36)?
False
Let p(b) = 258*b - 1272. Is p(43) a multiple of 146?
False
Let h be (-2*1/(-8))/((-1)/(-12)). Suppose 4*n - 31 = h*c, -4*n + 6*c + 28 = 2*c. Let y(g) = -g**3 + 11*g**2 + 3*g - 7. Does 41 divide y(n)?
True
Let h(c) = -c**2 + 7*c - 10. Let t be h(4). Let k be t/((-2)/(-27)) - (-20 + 20). Suppose -61 = -k*g + 26*g. Is g a multiple of 8?
False
Suppose 9*w + w = 20. Suppose 2*k - w = 8. Suppose k*l - 2*v = 460, 2*l = 3*v - 0*v + 184. Is 11 a factor of l?
False
Let u be ((-36280)/(-22))/5 + 6/33. Suppose 7*g + 3*t - 338 = 5*g, -t + u = 2*g. Does 6 divide g?
False
Suppose 41*m - 102557 = -8*m. Is 161 a factor of m?
True
Suppose -t - 1346 = -5*w, -3*w + 533 = -w + 5*t. Let j = w + -256. Does 12 divide j?
False
Let r = -13984 - -18979. Is r a multiple of 150?
False
Let w(u) = -6*u**2 - 196*u - 54. Is w(-12) a multiple of 114?
False
Is (-2741)/(-8) + 235/(-376) a multiple of 3?
True
Let h(l) = -8*l - 286. Let j be h(-36). Suppose -j*y + 5*k + 305 = 0, -y - 9 = 4*k - 181. Is y a multiple of 32?
True
Let p = 3796 - 2716. Does 10 divide p?
True
Let p = 16 + -18. Let t(u) = -22*u - 13*u - 13693 - 17*u + 13715. Is t(p) a multiple of 18?
True
Suppose -4*x = -4 - 8. Let q = x - -13. Let i = q + 19. Does 7 divide i?
True
Suppose 4*z = 105 + 27. Suppose 640 + 10 = 65*c. Suppose -c = b - z. Is 20 a factor of b?
False
Suppose -551190 + 125831 = -113*a + 262472. Is a a multiple of 22?
False
Let z(x) = 169*x**2 + 19*x - 47. Is z(-10) a multiple of 21?
False
Let f(x) = x**3 + 12*x**2 - 12*x + 19. Suppose 52 = 5*p - 9*p. Let d be f(p). Suppose -d*v - 4*h = -v - 270, 0 = 2*v + 4*h - 108. Does 6 divide v?
True
Let r(i) = -54*i**3 + 4*i**2 + 22*i + 109. Is r(-4) a multiple of 9?
False
Is -1*(195/104 + -2) + (-57023)/(-8) a multiple of 9?
True
Suppose 5*q + 368 = -227. Let x = 126 + q. Suppose 4*d - x*d + l = -209, 142 = 2*d - 2*l. Does 25 divide d?
False
Let n = -211 - -486. Does 3 divide (-3)/((-42)/(-4)) - n/(-7)?
True
Let i = -170 + 154. Is ((-8)/i*-12)/(9/(-303)) a multiple of 15?
False
Let a(f) = 45*f - 150. Let g(t) = 40*t - 182. Let s be g(5). Is a(s) a multiple of 15?
True
Let u(l) = l**3 - 6*l**2 + 8*l - 1. Let x be u(3). Is 28 a factor of (389 + 17)/(-2 - x)?
False
Let s be 1 + (0 + 128)/1. Let x(p) = 6*p**2 + 248*p - 1479. Let k be x(6). Let q = k - s. Is 15 a factor of q?
False
Let f = -17 - -23. Suppose -f*o + 40 = -o. Suppose -120 = 3*s - o*s. Is 24 a factor of s?
True
Let h be 3 - (-24)/2*1. Let q(s) = s**3 + 10*s**2 + 18*s - 5. Let p be q(-3). Is 104/(-26) - (p + -2 - h) a multiple of 9?
True
Let n = -671 + 720. Suppose n*h = 8836 + 1209. Does 18 divide h?
False
Let b be 1078/196*(-74)/1. Let l = b - -697. Is l a multiple of 5?
True
Suppose 0 = 3*a + u - 98222, 10*a - 3*u = 5*a + 163722. Is a a multiple of 306?
True
Suppose s = 12*p - 232322, -65*s + 2 = -66*s. Is p a multiple of 22?
True
Suppose 4*i - 791 + 23 = 0. Let u = i - 90. Suppose 5*l = -2*v + 274, l + 3*v + u = 3*l. Is 18 a factor of l?
True
Let p(x) = -56*x + 5 - 5*x**3 + 8 - 7*x**2 + 7