 a factor of l?
True
Suppose 84*k - 85*k = -6694. Is 42 a factor of k?
False
Suppose 52*z + 362941 - 349109 = 1775436. Is z a multiple of 15?
False
Does 20 divide 16*(11/6)/(((-152)/(-180))/19)?
True
Suppose 2087*j - q = 2092*j - 132386, 5*q + 132380 = 5*j. Is 18 a factor of j?
False
Is (3455 - 4) + (-147)/(-49) a multiple of 11?
True
Suppose 0 = -2*j + 69765 - 58539. Is j a multiple of 27?
False
Suppose 0 = -5*a + i + 25, 3*a + 3*i + 16 = 49. Suppose 0 = -4*x + 12, 0*h + a = -3*h - 5*x. Is 11 a factor of (-502)/h + 2/7?
False
Suppose -7*a - 4*q = -25216, 11593 = 4*a + 4*q - 2823. Is 24 a factor of a?
True
Suppose -2*h = -4*h. Suppose h = -5*k - w + 41, 2*k + 2*w = -2*w + 2. Is 18 a factor of (-7 - -1)*(-20 + k)?
False
Let a = -12843 - -23714. Is a a multiple of 11?
False
Let v(i) = -35 - 40*i - 10 - 128. Is 21 a factor of v(-8)?
True
Suppose 2*b = 5*g - 680, 0*b = b - 2*g + 338. Let j = b + 491. Does 7 divide j?
True
Suppose -5*g - 4 = 3*n - 5026, 3*g = 18. Is 2 a factor of n?
True
Let j(c) = 5*c - 1. Let b be j(1). Suppose 0 = -b*k + l - 0*l - 7, 1 = -l. Is 9/27*(119 + k) a multiple of 7?
False
Let z be ((-20)/(-6))/((-4)/(-6)). Let g(s) = 34*s + 22. Let v(f) = -68*f - 50. Let r(l) = 9*g(l) + 4*v(l). Is r(z) a multiple of 14?
True
Suppose 12*g - 116 = 10*g. Suppose -3*c - 2 = -s - 0*s, 5*s + g = -2*c. Is 23 a factor of (5/s)/((-1)/138)?
True
Let f = 1970 - 917. Let t = f - 404. Does 59 divide t?
True
Let l be 255/15 + -1 + 1*-4. Suppose 2*y + l*o = 9*o + 907, 5*y = -2*o + 2262. Does 83 divide y?
False
Let g(w) = -w**2 + 24*w + 5. Suppose -x - 126 = -8*x. Let n be g(x). Suppose -u - o + n = -4*o, 5*u + 4*o - 489 = 0. Does 9 divide u?
False
Let z be ((-60620)/(-63))/10 - 4/18. Suppose z*q - 97*q + 632 = 0. Is 8 a factor of q?
True
Suppose -126*k + 422431 = 50479. Is k a multiple of 53?
False
Does 11 divide -7*(-33276)/756 - (-2)/(-18)?
True
Does 66 divide 1114 - (60/35)/((-12)/56)?
True
Let f(s) = 181*s + 18. Let w be f(2). Let t(b) = -3*b**2 + b - 13. Let a be t(-7). Let i = w + a. Is i a multiple of 22?
False
Suppose -6*v - 223 = 179. Let r = -59 - v. Suppose -80 = -r*h + 4*h. Is 7 a factor of h?
False
Let p(c) = 3*c**2 + 93*c - 5. Let q be p(-31). Let y(j) = 3*j**2 - 19*j + 6. Is y(q) a multiple of 11?
True
Suppose -4*q + 4 = t, 4*t - 5*q - 29 - 8 = 0. Is 8 a factor of t?
True
Let j(p) = p - 16. Let y be j(22). Suppose i - c = y, i = 2*c + 6 + 2. Suppose -i*u - 47 = -167. Is 5 a factor of u?
True
Let o = -6803 + 11427. Does 3 divide o?
False
Let o = 12231 + -9525. Is 52 a factor of o?
False
Suppose -142*a = -149*a - 28. Let c(r) = -142*r - 150. Is 11 a factor of c(a)?
True
Suppose -3*a + 2292 = p, 3*p - 10*a - 6856 = -15*a. Does 69 divide p?
True
Let x = -10 - -11. Let f(q) = 756*q**3 + q**2 - 6*q + 5. Does 9 divide f(x)?
True
Let w = -485 - -500. Suppose w = 3*a + 3, -3*h = -3*a - 354. Is 5 a factor of h?
False
Let t(j) = j**2 + 4*j - 17. Let p be t(-7). Suppose -x + p = -61. Suppose -2*f + x = 15. Is 5 a factor of f?
True
Suppose -l + 5130 = 5*a, -4*l - 366*a = -367*a - 20520. Is 15 a factor of l?
True
Suppose -5*t + 2*q + 289 = 261, -3*t - 5*q = 8. Let d = 10 + -2. Suppose -r + 284 = p, -24 = t*r - d. Does 32 divide p?
True
Let y(c) = -9*c - 76. Let n be y(-9). Suppose -3*x + n*g = -2100, -4*x - 707 = 2*g - 3507. Is 14 a factor of x?
True
Let z be 4/(-14) - (-6974)/154. Suppose z*l - 3419 = 32*l. Is l a multiple of 30?
False
Is -2*(-12)/(-16)*333888/(-72) a multiple of 43?
False
Let k(t) be the second derivative of t**4/4 - 17*t**3/6 + 25*t**2 + 24*t + 1. Is 5 a factor of k(10)?
True
Let j(x) = -3*x + 3. Let i be j(2). Let u(y) = y + 7. Let a be u(i). Suppose -c + 79 = 4*p, -a*p - 3*c = -60 - 9. Is 12 a factor of p?
False
Let i = -1311 + 1877. Let k = i + -495. Is 2 a factor of k?
False
Let b = -1238 - -3008. Is b a multiple of 15?
True
Let d = 1 + 36. Let q = d + -4. Suppose 64 + q = w. Is w a multiple of 17?
False
Let z = 2982 - 2011. Suppose 2*p + 107 = z. Does 6 divide p?
True
Does 12 divide 21922740/1050 + (-8 - 4)*(-2)/20?
True
Suppose 18*f - 11760 = -10*f. Suppose 223*v - 228*v = -f. Is 11 a factor of v?
False
Suppose 2*y = 4*y - 2*s + 20, 2*y + 2*s = 0. Let i be (y - -11)*(-125)/3. Let q = -147 - i. Is q a multiple of 13?
False
Let q = -793 + 1782. Is q a multiple of 19?
False
Is (-142)/1*(12 + 9/(72/(-508))) a multiple of 7?
False
Let s(v) = 392*v - 3026. Is s(64) a multiple of 119?
False
Suppose -4*x + 76 = -5*v, 32 + 34 = 5*x + v. Suppose -1474 = x*k - 7312. Is k a multiple of 18?
False
Suppose -10*r = -13 - 17. Let i(d) = 159*d**2 + 9. Let k be i(r). Suppose -5*p = 3*t - 0*t - k, 5*p + 4*t - 1445 = 0. Is 13 a factor of p?
False
Suppose -24 = -4*x - 4*v, 2*v - 3 + 1 = 0. Let q(h) = h**3 - 5*h**2 - 12. Let y be q(x). Let z = 66 + y. Is 6 a factor of z?
True
Let o(f) = f**2 - 16*f - 23*f + 83 + 56*f. Does 11 divide o(-30)?
True
Let x(k) = 10*k - 1. Let i(n) = -9*n + 2. Let r(b) = -5*i(b) - 6*x(b). Let l be r(3). Let m = -37 - l. Is m a multiple of 10?
False
Let z(b) = -5*b + 2. Let j be z(13). Let a = 46 + j. Is 13 a factor of (-260)/3*(a - -14)?
True
Let o(x) = x**2 - 8*x - 15. Let w be o(10). Suppose 5*a + 5 = 0, w*p - 154 - 224 = 3*a. Suppose -2*t + 18 + p = 5*y, -146 = -3*t - y. Is t a multiple of 10?
False
Let i = 2815 + 3548. Is 18 a factor of i?
False
Let k be (-1)/(-3)*15/(-5)*20. Let x be ((-1)/1)/((-1)/k). Is 11 a factor of (7 + -1)*(x/(-6) + 4)?
True
Suppose -4*x - 153 = 623. Let v = x + 94. Let g = v + 145. Is g a multiple of 15?
True
Let j(k) = 14*k**3 + 4*k**2 - 2*k + 1. Let d be -8*(35/10 + -4). Let a be j(d). Suppose 11*b - 510 - a = 0. Does 15 divide b?
False
Suppose 2*c - 477 = -5*u, 1 = -4*u - 11. Suppose -84*y + 164 + 172 = 0. Suppose c = -3*k + y*k. Is 41 a factor of k?
True
Let a be 19/76 + 2558/8. Suppose -3*o = o - a. Does 49 divide (-296)/5*o/(-32)?
False
Is 68 a factor of 20626 - (52/(-468) - 37/(-9))?
False
Let u(h) = 158*h**2 + 46*h + 52*h + 45*h + 1 - 151*h. Is 25 a factor of u(-2)?
False
Let m(d) = 2*d**2 - 2*d - 6. Suppose -c - 2*c - 3*z = -12, 0 = -3*c + z + 8. Suppose 2*v = c*r + 7, -r + v - 8 = 2*r. Is 6 a factor of m(r)?
True
Let m(q) = 2*q + 21. Let r be m(-7). Let c(v) be the second derivative of -v**5/20 + 5*v**4/6 - 17*v**3/6 + 9*v**2/2 + 9*v. Does 12 divide c(r)?
False
Suppose -2*v = -79*v + 11*v + 67122. Does 27 divide v?
False
Suppose -3*o + 6*o + 42968 = 5*b, 3*b - 5*o = 25768. Is 31 a factor of b?
False
Is 24 a factor of -120 - -164 - (-1 - -2)?
False
Let t = 4 + -25. Is 164 + 13 + t + (-1 - -1) a multiple of 4?
True
Let v(n) be the second derivative of 67/2*n**2 - 2/3*n**3 + 0 + 28*n. Is 6 a factor of v(0)?
False
Let y(r) be the first derivative of 17*r**3/3 + 3*r**2/2 + r - 28. Let k be y(-2). Suppose -149 = -b - k. Is b a multiple of 30?
False
Suppose -31*p + 995 = -28*p + 4*n, 1630 = 5*p + n. Is p a multiple of 142?
False
Suppose 2*m - 4*p - 18 = 0, 0 = -2*p - 2*p + 4. Let t = m + -7. Suppose -4*i + 19 = -3*v, 2*i + t*v = -3 + 7. Is i a multiple of 2?
True
Suppose -7*s + 48781 + 642 = -32897. Does 24 divide s?
True
Let g be (-20)/5 - (-8)/1. Suppose r + 17 = -g*f, 4*r + 12 = 2*f + 34. Is 17 a factor of 52/3 - 1/r?
True
Suppose 4*t + a - 10 = 0, 2*t - 4*a = 26 - 12. Let b(h) = 13*h**2 - 4*h + 3. Let f(c) = c**2 - c + 1. Let q(l) = b(l) - 4*f(l). Is 24 a factor of q(t)?
False
Is 43 a factor of 6886 - (8 + 10 - 8)?
False
Suppose 0 = -2*v + 4*n + 370, 764 = 5*v - v - 4*n. Is v a multiple of 5?
False
Let f = -2753 - -36634. Is f a multiple of 116?
False
Let f be (480/75)/((-4)/10). Does 25 divide f/12*(-5 - 598) - 4?
True
Suppose q = 2*n - 772, -9*n + 2*q = -11*n + 772. Let u = n - 120. Is u a multiple of 16?
False
Suppose 1483*g - 1567*g + 1270752 = 0. Does 31 divide g?
True
Suppose 1 = -3*s + i, s + 3*i = 2 + 1. Suppose 0 = 5*j - 7*d + 2*d + 10, 4*d - 16 = s. Suppose -j*y + 709 = 4*n - y, 2*n - y - 359 = 0. Does 20 divide n?
False
Suppose 21*i - 24*i + 3607 = 2*o, -i - 3*o + 1214 = 0. Does 62 divide i?
False
Let p(t) = 804*t**2 - 9*t - 35. Let h be p(-3). Suppose 40*r - 21052 - h = 0. Is 38 a factor of r?
False
Suppose -21*w + 2*k = -23*w + 2346, 4*w - 4664 = 3*k. Does 7 divide w?
True
Let j = -253 - -204. Let k(b) = -b**3 + 4*b**2 - 4*b. Let r be k(3). Is 1/(-1) + (j + 1)/r a mu