1 - -53. Suppose 4*c + 2*t - 370 = 0, t = -d*c + 9*c + 280. Is 19 a factor of c?
True
Let r(g) = g - 26. Let d be r(15). Let w = 13 + 11. Let p = w + d. Is 6 a factor of p?
False
Suppose -2*f + 44*o = 42*o - 64952, 2*o = 5*f - 162356. Is 171 a factor of f?
False
Let b(a) = 612*a - 2190. Does 6 divide b(10)?
True
Let j(v) = 147*v**2 - 7*v - 7. Let l be j(-1). Suppose -158*u + 15807 = -l*u. Does 86 divide u?
False
Suppose -o = -2*o + 6. Let i be (-10)/6 + -3 - (-4)/o. Let y = i - -9. Is y even?
False
Let g = -377 - -372. Let h(u) = -u**3 + 5*u**2 - 1. Let o be h(3). Let y = g + o. Is y a multiple of 12?
True
Let j be 2/(100/15 + -6). Suppose -4*t - 4*o = -44, -3*t - 2*o = j*o - 37. Does 9 divide t?
True
Let p be (8 + 1)*13/(-39) - -3917. Suppose 8*k - p = 7054. Is 54 a factor of k?
False
Is 10 a factor of 122/((1 - (-70)/(-72))/(282/1269))?
False
Suppose -466690 = -83*g - 30*g. Does 38 divide g?
False
Let a = -168 + 171. Suppose y + 5*r - 265 = 0, -r - 1195 = -a*y - 2*y. Is y a multiple of 24?
True
Suppose 5*k = -3*z + 11821, -2*k = 42*z - 37*z - 19689. Is z a multiple of 20?
False
Let n(g) = 14*g**2 - 15*g + 238. Is n(16) a multiple of 26?
False
Suppose 0 = -3*w + 2*n + 22, -2*w - 2 - 5 = 3*n. Suppose -w*m + 3*m - p = 0, 5 = -4*m - 5*p. Suppose m*a + b - 63 = 0, a - 41 = -2*a + b. Is a a multiple of 4?
False
Suppose -3*o - 183 - 410 = -2*f, 0 = -3*o + 9. Is f a multiple of 43?
True
Suppose h = 10*h + 18. Let i be 3 - (-1)/((-6)/4 - h). Suppose 0 = -5*p + i*v + 655, -5*v + 364 = 3*p - 21. Is 26 a factor of p?
True
Let y be (4 - 0) + (-2 - 0). Suppose -s + 26 = 5*k, y*s = -2*k + 4*s + 8. Suppose -l + 51 + 70 = -k*g, -5*g = -4*l + 499. Is l a multiple of 18?
True
Is 42 a factor of 2033424/108 + (0 - -14)?
False
Let g be 24/(-5) - (252/60 + -4). Does 42 divide (3 + 99/g)*(-18 + 3)?
True
Let x be (-2)/9 + 10/45. Suppose 3*c - 2*c - 40 = x. Does 4 divide c?
True
Let c(p) be the third derivative of -3*p**5/20 + 11*p**4/24 - 9*p**3/2 + 23*p**2. Let w(x) be the first derivative of c(x). Does 11 divide w(-6)?
False
Let b(s) = s**3 + 9*s**2 + 13*s - 5. Let k be b(-7). Suppose k*n = z - 379, 4*z + 13*n = 8*n + 1555. Is 6 a factor of z?
False
Let q(u) = 6*u - 20*u**2 + 22 + 124*u**3 - 57*u - 255*u**3 + 130*u**3. Does 27 divide q(-18)?
False
Let n = 6 - -6. Suppose -4*f - 4*j - n = -6*f, -f - j = 0. Suppose -6*h - f*z = -2*h - 318, -5*z = 5. Is h a multiple of 20?
True
Suppose -3*c = 6*c + 2*c - 1672. Is c a multiple of 4?
True
Let p(u) = -442*u**3 - 2*u**2 - 2*u - 1. Let q = -320 + 319. Is 13 a factor of p(q)?
False
Suppose -2*g = -5*x - 3731, -2*x = -2*g + 4081 - 353. Is g a multiple of 9?
True
Let u(w) = 470*w**2 + 5*w + 5. Let t be u(-4). Suppose -145*j + 150*j = t. Is j a multiple of 79?
True
Suppose 77*c - 21 = 70*c. Suppose 2*h + 442 = t, -16*t - c*h - 1783 = -20*t. Is t a multiple of 16?
True
Suppose -3*w + 3*j = 2*w - 143, 0 = -5*j - 5. Suppose 0 = -2*o + h + 22, -o - w = -3*o - 2*h. Is 6 a factor of o?
True
Suppose -554*f + 617*f = 136395. Does 21 divide f?
False
Let b = 81 - -29. Suppose b + 84 = j. Does 7 divide j?
False
Let i(f) = 4*f**2 - 24*f - 107. Let j be i(-20). Suppose 13*d - j = 250. Does 9 divide d?
True
Does 56 divide (14 - (-3 - -8)) + 88 + 55399?
True
Suppose -42254 - 38662 + 13716 = -12*n. Is 10 a factor of n?
True
Suppose 9*q = 21*q + 768. Is (-336)/q*(104/(-3))/(-1) a multiple of 14?
True
Suppose 0 = -7*k - 229 + 264. Suppose 0 = 4*l - 10*j + 11*j - 4275, k*j + 4281 = 4*l. Is l a multiple of 15?
False
Suppose 14*t - 6 = 11*t. Let p be -3 - (-3 + t - 397). Suppose 3*u - 399 = -3*h, 3*u - 3*h + 8*h - p = 0. Is 15 a factor of u?
True
Let b(g) = 405*g**2 - g + 45. Is b(-4) a multiple of 12?
False
Let j be 1 + -4 - (5 + 2). Is 96/j*150/(-9) a multiple of 8?
True
Suppose -4*n - 415 = 5*l - 6*n, 4*n = 3*l + 235. Let u = 146 + l. Is u even?
False
Let o be 2/(-1) + 336/3. Does 23 divide -1 + ((-9)/6)/((-1)/o)?
False
Let t = 63 + -63. Suppose 9 = 3*k, 5*m + 5*k + t*k = 215. Suppose 4*p - 64 = -4*f, 0 = 5*f - 4*f - 5*p - m. Is f a multiple of 2?
True
Let b(s) = s**3 + 55*s**2 - 22*s + 42. Is b(-50) a multiple of 6?
False
Let p(k) = -444*k + 19. Let o be p(1). Let a = o - -526. Is a a multiple of 3?
False
Does 379 divide 3 + ((-540945)/(-11) - (4 + (-276)/66))?
False
Let o(k) = -21*k - 267. Let s(q) = -q**3 - 26*q**2 + 57*q - 18. Let t be s(-28). Is 25 a factor of o(t)?
False
Suppose 55*c - 54*c = -4*a + 1680, -4*a + 1680 = 3*c. Is 4 a factor of a?
True
Let t = 18560 + -13016. Is 88 a factor of t?
True
Let b = 34 - 34. Suppose b = -3*x - 4*a + 1114, 2*x - 10*a = -12*a + 746. Is x a multiple of 17?
False
Suppose -8*o + 7 + 81 = 0. Let w = 275 - o. Is 24 a factor of w?
True
Suppose 89*y = 44*y - 315. Let c(n) be the second derivative of n**4/12 + 7*n**2/2 - n. Is 11 a factor of c(y)?
False
Let d = -5089 + 13239. Is 94 a factor of d?
False
Suppose -373*x = -438*x + 160615. Is x a multiple of 12?
False
Let d = -10 + 17. Let i(z) = -z + 28. Let x be i(d). Let l(w) = 8*w + 40. Is l(x) a multiple of 52?
True
Suppose -36*t = -29*t - 504. Does 8 divide t - (-7)/(-14)*(1 - 1)?
True
Is 16/(-20)*10 - 328/(-2) a multiple of 6?
True
Let c = -400 + 408. Suppose -5*o + c*r - 9*r + 1421 = 0, 0 = -5*o + 4*r + 1441. Does 15 divide o?
True
Let f = 513 - 361. Let q = f + 40. Is (17/(340/q))/(3/40) a multiple of 23?
False
Let l(u) = -u**3 + 36*u**2 - 8*u - 90. Is l(14) a multiple of 137?
True
Suppose 258*r - 253*r = -o + 10995, o - r = 10977. Is o a multiple of 60?
True
Let n be 1 + 10/(60/(-18)). Is (n + 7)*(-2037)/(-35) a multiple of 6?
False
Let g(u) = -131*u + 2639. Is 18 a factor of g(-23)?
True
Let x = 23 + 24. Let r = -63 + x. Let o = r - -47. Is 10 a factor of o?
False
Let h = -42 - -13. Let u = 25 + h. Is -1 + 51 - (-4)/u a multiple of 8?
False
Suppose -4*a = -8 + 32. Let x(k) = -104*k - 7. Let m be x(a). Suppose -6*j + m = -1207. Is j a multiple of 52?
False
Suppose 147 = -28*m - 21. Is (-76 + -2 + -4)*m/4 a multiple of 41?
True
Let j be ((-28)/(-10))/(145/(-25) - -6). Suppose -2*r + j = 2*a, -24*a + 20*a + 10 = 2*r. Is r even?
False
Does 3 divide 2015/2 - 0 - (-17 + 1209/62)?
True
Suppose 14*y - 349681 - 324811 = 0. Is 26 a factor of y?
True
Suppose -5*s = 2*h - 31, 2*s + 2*h - 18 = -2. Suppose 0 = -s*a + 2283 - 323. Is 14 a factor of a?
True
Suppose 4*u - 123 = -115. Suppose 0 = 5*p + 5*q - 385, -11 + u = 3*q. Does 40 divide p?
True
Let v(g) = -5*g - 27. Let a be v(-6). Suppose -a - 2 = p. Is 4 a factor of (-1804)/(-24) - p/(-30)?
False
Let c(o) = 315*o + 621. Is 35 a factor of c(10)?
False
Let o be -42 - -5 - (-1 - 3). Let f = o - -43. Let l = 27 - f. Is l a multiple of 17?
True
Let z = 1082 + -764. Let c = z - -192. Is c a multiple of 15?
True
Suppose -m - 211 = 3*t, 135 = -2*t + 5*m - 0*m. Is -3 - (t/6 - (-48)/(-36)) a multiple of 2?
True
Let i = 2839 - 1416. Let p = i + -749. Is 56 a factor of p?
False
Suppose -162131 = -25*d - 147508 + 411577. Is 6 a factor of d?
False
Let d be (-2)/((-6)/(-21))*-1. Suppose 0 = 5*s - 3*f - 5, -2*f = -2*s + f - d. Suppose -5*w = 10, -4*i = s*w - 914 + 314. Does 39 divide i?
False
Suppose 0 = -z - 3*v + 3111, 0 = z + 9*v - 12*v - 3099. Is z a multiple of 15?
True
Let l be (-26)/((-2)/(-1)) - (8 - 8). Let q = 26 + l. Suppose q*c - 450 = 8*c. Is c a multiple of 9?
True
Let m(l) = -15504*l**2 + 15540*l**2 + 5*l + 1 + 7. Is 12 a factor of m(-4)?
True
Suppose 379172 = 59*f - 92781 - 1676237. Is f a multiple of 110?
True
Let o = -113006 - -163221. Is 35 a factor of o?
False
Let a(h) = -51*h - 3. Let i be a(-3). Suppose 2 = 72*t - 71*t. Suppose -t*m = 5*v - i, -2*v + 60 = -0*v - 4*m. Is v a multiple of 5?
True
Let j = 5203 - -4640. Does 10 divide j?
False
Let n be 4*(-2)/20 - 54/(-10). Suppose k - 5*y + y = 253, 2*k = 3*y + 496. Suppose 5*c - 249 = -4*i + 7*i, -5*c = -n*i - k. Is c a multiple of 17?
True
Suppose 98*v - 102*v = -1840. Suppose -w = 44 - v. Is w a multiple of 13?
True
Suppose -12*c + 30*c - 17*c - 5028 = 0. Does 2 divide c?
True
Let k = 1170 - 883. Does 41 divide k?
True
Let d(q) be the second derivative of 71*q**3/3 + 19*q**2/2 + 67*q. Does 25 divide d(6)?
False
Suppose -26128 = -4*o - 2*g, -4*o + 19*g + 26128 = 20*g. Is 98 a factor of o?
False
Suppose -11*w + 14550 = -3116. Suppose 39*p = 38890 - w. Is