se
Suppose -14272 = -7*v + 20315. Does 92 divide v?
False
Let a(k) = -k**3 - 2*k**2 - 4*k - 5. Let j be a(-2). Suppose -19 = -2*d - l, d = j*l + 7 + 6. Does 9 divide d?
False
Let m = 41 + -254. Let w = 86 + m. Let o = 380 + w. Is 23 a factor of o?
True
Let v be 4/18 + (-14)/63. Suppose -5*w + 928 + 952 = v. Suppose s - 282 = -3*z, -2*z - 2*z + 5*s + w = 0. Does 18 divide z?
False
Let h(c) be the third derivative of c**5/60 - c**4/3 + 2*c**3 + 31*c**2. Let a be h(7). Let u(t) = 12*t - 20. Is u(a) a multiple of 4?
True
Suppose 0 = -5*v - 3*t + 16693 + 1518, 3*v = 4*t + 10915. Is 57 a factor of v?
False
Let d(k) = -9*k - 145. Let z be d(-19). Let q = z - -163. Is q a multiple of 9?
True
Let g = 37946 + -20858. Does 16 divide g?
True
Let n be (-7)/(4 + 3) + 2*2. Suppose -2*f = -3*x + 628, 3*x - n*f - 417 = x. Is 35 a factor of x?
True
Let q = 193 + -291. Let w be (-2 - (-9)/6)*(5 - 489). Let m = w + q. Does 18 divide m?
True
Suppose -4*l + u = -41, -5*l = -2*u - 56 + 1. Suppose -l*q = -10*q + 60. Is q a multiple of 7?
False
Suppose -w - 318 = -243. Is 17 a factor of 6/(((-10)/w)/(16/3))?
False
Suppose 2*x + 3*f = -2*f - 41, -4*f - 16 = x. Let o = -33 - x. Is 52 a factor of ((-39)/9)/(o/120)?
True
Let t be 42 + 1*(-5 - -3). Suppose 0 = 4*r - 9*f + 7*f - 40, 0 = r - 3*f - 10. Suppose -r*i + t = -50. Does 9 divide i?
True
Suppose -4*x = 46*i - 47*i - 2484, 2*i = -x + 612. Is 2 a factor of x?
True
Let k(o) = o**3 + 18*o**2 + 5*o - 33. Let x be k(-20). Let g = x + 1380. Is 29 a factor of g?
False
Let s(m) = m**2 - 29*m + 57. Let o be s(27). Let c be (-10)/(-4)*-2*(o + -4). Suppose 10*x = c*x + 265. Does 13 divide x?
False
Suppose -44*i + 49*i - 2*b = -35, 0 = 4*i + 4*b. Is ((-6)/(i - 137/(-27)))/(-1) a multiple of 6?
False
Suppose -2*u + 228 = 4*w, 4*u - 5*w = -8*w + 481. Let j = 339 - u. Does 11 divide j?
False
Suppose 0 = j - 4*t - 8, -j + 32 = 2*t + 2*t. Let q(p) = 16*p - 68. Let f be q(j). Suppose -2*u - 310 = -2*i, 0 = 5*i - u - 1027 + f. Is 32 a factor of i?
False
Suppose -5*g + 226 = -329. Let n = g - 58. Does 11 divide n?
False
Let x(j) = 2*j**2 - 21*j - 4*j + 2*j. Let y be x(10). Is (2/(-5) + (-36)/y)*10 even?
True
Suppose 0 = w - 265 + 236. Let y be (6/(-8))/(1/(-60)). Suppose 2*d - w = y. Is d a multiple of 23?
False
Suppose 3812 + 8067 = 11*a + 1297. Does 2 divide a?
True
Let j(c) be the first derivative of -13*c**2/2 - 27*c + 22. Let q(m) = -1. Let g(u) = j(u) - 2*q(u). Is 19 a factor of g(-12)?
False
Suppose -4*b - 260 = -3*f, -4*f + 338 = -5*b + 4*b. Let i = 15 - 11. Suppose 3*w - f = i*z, -5*w + 5*z = -57 - 78. Is 9 a factor of w?
False
Suppose 120*q - 481993 = -155593. Is q a multiple of 32?
True
Let s = -197 + 202. Suppose -3079 = -s*l - 279. Is 16 a factor of l?
True
Let f(p) = 32*p**2 - 6*p - 33. Let r be f(-5). Suppose 2621 - r = 6*u. Is 38 a factor of u?
True
Suppose k - 357 = -s, -66*s - 4*k + 357 = -65*s. Does 7 divide s?
True
Let d(f) = f**2 - 7*f + 2. Let o(b) be the first derivative of 7*b**2/2 - 6*b + 3. Let l be o(2). Is d(l) even?
True
Let p = -147 - -1732. Suppose 275 = 801*u - 806*u. Is 3 a factor of (8/(-22))/(-2) - p/u?
False
Let p(n) = n**2 + 8*n + 12. Let u be p(-4). Does 44 divide u/(-26) - 6860/(-26)?
True
Is (-21 - -2 - 1)*(39153/(-124) + 21) a multiple of 110?
False
Let p(f) = 65*f - 56. Let g be p(-8). Let j = -528 - g. Is 12 a factor of j?
True
Suppose 2*l = -r + 4*l - 2, 12 = 3*r + 3*l. Suppose 0 = 5*o, -120 = -2*n - r*n - 4*o. Is n even?
True
Let b be (8 - 250/30)/(3/(-18)). Let h = 16 + -32. Does 8 divide (b + 4)/((-6)/h)?
True
Let s = 3867 - -44430. Does 116 divide s?
False
Let g(u) = 147*u + 28. Let q be g(11). Let y be -5*(q/(-25) + -3). Suppose 0 = -4*p - p - 5*a + 400, 0 = -4*p + 2*a + y. Does 21 divide p?
True
Let m(r) = -2*r**2 + 20*r + 4. Let k(s) = 2*s**2 - 39*s - 15. Let i(n) = -4*k(n) - 7*m(n). Let v be 6/4*(-5 + 1). Does 10 divide i(v)?
False
Let l(t) = t**3 - 10*t**2 + 11*t - 24. Let b be l(9). Is (-1256)/b*12/8 a multiple of 11?
False
Let v(n) = -351*n - 11948. Is v(-108) a multiple of 118?
True
Suppose -2*f + 3 = -1, -4*f = 5*z + 5612. Let k = 338 - 330. Does 13 divide (z/k)/((-3)/6)?
False
Let u(l) = -6 - 3 - 14*l + 10*l**2 + 2*l + l**3. Let j be u(-11). Suppose -b + j*b = 35. Is b a multiple of 6?
False
Let r = -392 - -974. Suppose -2*c = -r - 42. Does 4 divide c?
True
Suppose b - 4*v = 22, 0 = -4*b + v + 38 + 50. Suppose b*r - 6387 = 191. Is 8 a factor of r?
False
Let y(h) = -315*h - 4315. Is y(-41) a multiple of 50?
True
Let p = 161 + -158. Suppose p*a - 74 + 766 = 2*k, -3*a = -5*k + 1748. Does 16 divide k?
True
Suppose 0 = -15*d + 11*d. Suppose 3*a - 4*m = -0*a + 202, 2*m + 2 = d. Let i = a - -39. Is 12 a factor of i?
False
Let p(b) = 5*b**3 + 7*b**2 + 5*b + 9. Let t(z) = 6*z**3 + 8*z**2 + 5*z + 10. Let k(h) = -5*p(h) + 4*t(h). Let n be k(-2). Is 5 a factor of 4 + 3 + (4 - n)?
True
Suppose -4*s + 0*q - 622 = q, 8 = -4*q. Let j = s - -225. Is j a multiple of 11?
False
Suppose -f - f + 24 = -3*k, -5*f - k = -26. Does 10 divide 658 + ((-51)/68)/(f/(-16))?
True
Suppose 0 = -3*x - a, -5*x = -x + 2*a - 2. Let j be (-2)/(2 + -5 - x). Suppose 0 = 5*u - 3*l - 89, -2*l + 5 - j = 0. Is 3 a factor of u?
False
Suppose 5*y + 5*a - 10 = 0, -5*y - 13 = -4*a + 13. Let f be (3 + -1)*(-4 + (0 - y)). Does 7 divide 13 + (f + 1 + 2)/(-1)?
True
Let g = 352 - 347. Suppose -4*o + 1796 = 3*x - 0*o, -g*o - 1159 = -2*x. Is 16 a factor of x?
True
Let b = 1025 + 353. Suppose 3*x + 247 = b. Is x a multiple of 20?
False
Let p(w) = 2*w**2 + 22*w - 33. Suppose 11*z + 98 = 4*z. Is 4 a factor of p(z)?
False
Suppose 2*x + 3*g - 1055 = 0, 25*x - 3*g = 24*x + 523. Does 7 divide x?
False
Let o = -7440 + 8210. Is o a multiple of 5?
True
Let g = -31 + -7. Let v = -29 - g. Suppose -5*k - 256 = -v*k. Is k a multiple of 8?
True
Let j(l) be the third derivative of l**5/60 + 2*l**4/3 - 47*l**3/6 - 1646*l**2. Suppose -4*s - 2*v - 80 = 0, -80 = 4*s + 3*v - 4*v. Is 3 a factor of j(s)?
True
Let k(w) = w + 1. Let o be (-68)/(-60) + 0 - 2/15. Let b(r) = 3*r**2 + 2*r + 23. Let s(d) = o*b(d) - 3*k(d). Is s(7) a multiple of 40?
True
Let w(u) = -u + 8. Let b be w(5). Let z be ((-4)/(-6) - (-1)/b)*-3. Let o = z + 88. Does 17 divide o?
True
Let m(s) be the first derivative of s**2 + 52*s - 15. Is m(39) a multiple of 10?
True
Let k = -193 - -197. Suppose 5*x + v - 1185 = -3*v, -k*x = -2*v - 948. Does 15 divide x?
False
Let u be 3*2/14 - 19372/203. Let c = 26 - u. Suppose -2*t - 174 - 296 = -4*a, a - c = 4*t. Is a a multiple of 12?
False
Let z(n) = -4*n + 28. Let j be z(7). Suppose q - 1450 = -4*i, 3*i - 2*q - 2*q - 1097 = j. Let u = 578 - i. Does 17 divide u?
False
Suppose -432213 - 401632 = -287*s + 190458. Is 11 a factor of s?
False
Suppose -3*c - 3*w + 18 = -5*w, -3*c = -5*w - 27. Let l = -26 - -29. Is 15 a factor of (c/1 - l)*84?
False
Let r(l) = 5*l**3 - l**2 + 4*l - 6. Let y be r(3). Let d be (-3)/((-6)/4 + 5/10). Suppose -2*c + 76 = 2*g, -y + 11 = -d*c + 4*g. Is 13 a factor of c?
True
Let h = 3937 - -8821. Is h a multiple of 50?
False
Let k(q) = -8*q**3 - 2*q**2 + 4*q + 15. Let d(s) = -2*s**3 + s + 4. Let m(x) = -9*d(x) + 2*k(x). Let r be (-27)/(-27) + -6*(-4)/6. Is m(r) a multiple of 18?
False
Let x be (-1*222/18)/((-1)/9). Suppose 0 = 2*v + x + 233. Let t = v + 254. Is t a multiple of 38?
False
Suppose 33640 = 2*n + 8*n - 0*n. Is n a multiple of 58?
True
Let q(s) = -37*s. Let i be q(-1). Suppose -42*y - 750 = -i*y. Let w = y + 303. Does 11 divide w?
False
Let o = -23146 + 41920. Is o a multiple of 37?
False
Suppose 52 = -4*m - 156. Let f = m + 188. Suppose -34 + f = 5*j - i, j - 2*i = 15. Does 14 divide j?
False
Suppose -2*c - 66789 = -4*g + 3567, 3*g + 3*c = 52749. Does 138 divide g?
False
Let d be (-5)/(10/4) + 8. Let b(r) = 108 + 95 + 15*r - 215 + 20*r. Is b(d) a multiple of 18?
True
Let s be 2/36*6*1191. Let g = 557 - s. Does 40 divide g?
True
Suppose -z + 5*a + 12 = 2*a, -3*a = 9. Suppose 3*n = 5*r - 53, -z*r = -r - 3*n - 14. Is r a multiple of 13?
True
Let z = 8996 + -8500. Is z a multiple of 4?
True
Let c be -132*(2 + -6)/(12/8). Suppose -15*m = -2483 - c. Does 29 divide m?
False
Suppose 100197 + 173489 = 66*w + 88094. Does 19 divide w?
True
Suppose 0 = -26*u + 32*u. Suppose 3*y + 190 - 1156 = u. Does 14 divide y?
True
Let z(j