1 divide o?
True
Let l = -155 + 26. Let r be l + (-6)/(-2 + -1). Let i = -61 - r. Is i a multiple of 11?
True
Suppose 87*h = 2706 + 40794. Does 20 divide h?
True
Let f be 5 - 4 - -130 - -5. Suppose 137*q - f*q - 4 = 0. Suppose 4*b - 370 - 78 = -q*i, i - 112 = -3*b. Is 8 a factor of i?
True
Let q(z) = -158*z**3 + 4*z**2 + 16*z - 11. Is q(-3) a multiple of 19?
False
Suppose 65*j = 71881 - 24496. Is 27 a factor of j?
True
Suppose -44*q + 43*q + 50 = 0. Suppose 4*b - 20 = 4*j, 2*b - q = -5*j - 5. Is b a multiple of 5?
True
Let c(v) = -3*v**2 - 21*v + 19. Let m be c(-10). Let y = m - -109. Does 3 divide y?
False
Suppose 103 + 692 = 3*k + 5*j, 3*j + 1089 = 4*k. Is k a multiple of 2?
True
Let q(p) = -p**2 + 6*p - 3. Let f be q(5). Suppose f = 5*j + 22. Is 17 a factor of (6/j - -2)*42?
False
Let r = -129 - -132. Suppose -r*b + n = -361 - 282, -2*n - 1070 = -5*b. Is 13 a factor of b?
False
Let r be (-5)/(348/(-117) - -3). Let h = -105 - r. Is 15 a factor of h?
True
Let j = 329 + 45. Suppose 2*d - h + j = 5*d, -4*h = 16. Does 9 divide d?
True
Let q = 3090 + -3013. Suppose 0 = -4*z - 0*z - 88. Let u = z + q. Is u a multiple of 11?
True
Let x(l) = 2*l**3 - 6*l**2 + 12*l - 3. Let q = 181 - 175. Is x(q) a multiple of 15?
True
Let o = -171 - -338. Suppose -3*p + 543 = -3*g, 2*p = -4*g + 523 - o. Does 27 divide p?
False
Let q(u) = 48*u**3 - 9*u**2 + 4*u + 28. Is q(8) a multiple of 8?
False
Let u(x) = 327*x + 121. Let t be u(2). Let q = t - 595. Is 2 a factor of q?
True
Suppose 94 = b - 22. Let f = -37 - b. Is 35 a factor of (f/18)/((-3)/(48*1))?
False
Let u(z) = -8318*z - 6025. Does 2 divide u(-3)?
False
Let o be (2 - 3) + 0 + -1 - 1. Is 13 a factor of (85 - (1 + o)) + 16/4?
True
Suppose 2*l - 10566 + 30350 = 4*f, -2*f + 9892 = -5*l. Is f a multiple of 27?
False
Let i be (8/20)/(4/60). Let s = 67 + -59. Suppose i*q + 102 = s*q. Is q a multiple of 17?
True
Let b(r) = 36*r**2 - 50*r + 1204. Does 25 divide b(17)?
False
Let o(l) = -8*l**3 + 4*l**2 + 30*l + 23. Is 88 a factor of o(-8)?
False
Suppose 0 = 29*l + 11*l + 440. Let i = 245 - l. Does 32 divide i?
True
Suppose 6*n - n = 2*c - 18, 3*c + n = 10. Let i be 4/c + (-36 - 1). Is ((-24)/i)/((-4)/(-606)) a multiple of 15?
False
Let o = -42 + 45. Let r be (-4 - -2)/(2/o). Is 2 - (r + 3 - 1) even?
False
Suppose -10 = -4*h - 2, 0 = -2*d - 5*h + 700. Is d a multiple of 115?
True
Suppose -116*o = -107*o - 225504. Is o a multiple of 18?
True
Let n(o) = 52*o**3 + 5*o**2 - 3*o - 2. Let p be n(3). Suppose -13*a + p = 73. Is a a multiple of 21?
True
Suppose 2448*p - 2427*p = 391482. Is p a multiple of 26?
True
Suppose 4*w - 6159 + 771 = 2*m, 5374 = 4*w + 5*m. Suppose 5*n - 307 = p - 964, -2*n = -2*p + w. Is 45 a factor of p?
False
Let v(s) = 36 - 39 - 10*s + 14. Let g be v(-6). Let o = g - 17. Is o a multiple of 32?
False
Let g be -12 + 8 - (-4 + -34). Suppose g*x - 8008 = 7224. Is x a multiple of 7?
True
Let m be (2/(-6))/(((-125)/60)/(-25)). Does 5 divide ((-2)/(-5) + 292/(-5))*m?
False
Let l(v) = 2*v**2 - 2*v - 15. Let w be l(5). Is 3 a factor of 71 - w/(-10)*18/15?
False
Suppose 0 = -1677*h + 1606*h + 516525. Is h a multiple of 25?
True
Let u(a) = 7*a**2 - 17*a + 0*a**2 + 26 - 6*a**2. Let f be u(15). Let k(j) = -18*j. Is k(f) a multiple of 36?
True
Let u(g) = -g**3 + 4*g**2 + 2*g - 5. Let c be u(4). Suppose -3*f + c = 0, -f = 3*m + 53 + 282. Let v = m - -178. Is 11 a factor of v?
True
Let x be (-7 + 6 + 1)/(4/(-1)). Suppose x = -7*d + 5*d + 150. Is 10 a factor of d?
False
Let i(j) = -9*j**3 - 20*j**2 + 38*j + 1495. Is i(-14) a multiple of 42?
False
Suppose -70 = 26*v - 798. Suppose 39*m = v*m + 4158. Does 54 divide m?
True
Let v(f) = f**2 + 19*f - 216. Let m be v(0). Let c = 36 - m. Is 36 a factor of c?
True
Let f be (-104)/(-130) - 3952/(-10). Suppose -6*b = -12*b + f. Is b a multiple of 33?
True
Let u = -10 - -12. Let k(i) = 33*i**2 + i + 42*i**u - 4 - i**3 - 70*i**2. Is k(3) a multiple of 2?
False
Suppose -86639 + 4443 - 70204 = -15*f. Is 10 a factor of f?
True
Let x(p) = p - 9. Let s be x(12). Suppose -c - s*k + 273 = -364, 3*c = -4*k + 1916. Suppose 4*r - c = -4*r. Is 35 a factor of r?
False
Suppose 3*u - 12 = 0, 369 = b + 4*u - 95. Let h = 592 + b. Does 65 divide h?
True
Let z(v) = v**3 + v**2 - v - 9. Let f(k) = k**2. Let a(q) = 5*f(q) + z(q). Let i be a(-6). Is 127 + 3 - (i + 4) a multiple of 43?
True
Let g(u) = -1878*u - 133. Does 54 divide g(-13)?
False
Let v(m) = -m**3 + 17*m**2 - 19*m + 50. Let k = 252 + -241. Is v(k) a multiple of 21?
True
Let u(n) = 25*n + 201. Suppose 4*i - 26 = -54. Does 10 divide u(i)?
False
Suppose 2*g - 15 = -g. Suppose 123 = 2*k + 3*q, -g*k + 224 = -3*q - 94. Does 19 divide k?
False
Suppose -3*y - 272 = 5*t, y - 163 + 63 = 2*t. Let o = 121 + t. Suppose 6*f - 3*f = o. Is 3 a factor of f?
False
Suppose 31*h - 174968 = 1449811 + 643739. Does 12 divide h?
False
Let g(b) = 16*b**2 - 50*b - 1358. Is g(-27) a multiple of 94?
True
Let w = 33644 - 2446. Does 19 divide w?
True
Suppose -3569 = -19*v + 1428. Let r = v + 1689. Is 55 a factor of r?
False
Let h = 464 - -33. Let l = h + -427. Does 11 divide l?
False
Let s = -3 - -34. Suppose -66 = -6333*t + 6344*t. Let n = t + s. Is n a multiple of 5?
True
Let f(b) = 10*b**2 - 10*b + 4. Let a be f(-6). Suppose -110*r - a = -114*r. Is r a multiple of 3?
False
Does 8 divide (-1330)/266 - (0 - 8429)?
True
Let q(f) = -8*f**2 + f**3 - 23 - 27*f**2 + 14*f + 49*f**2. Is 7 a factor of q(-11)?
False
Let q = 4378 - 3286. Is q a multiple of 39?
True
Suppose 149689 + 415 = 59*r - 63358. Does 134 divide r?
True
Suppose -2*u = 3*k - 4, 3 = 2*k + u - 0. Suppose k*h + n = 147, 3*h + 0*n = n + 223. Suppose 0 = 3*a + 4*j + j - 100, -2*a + 4*j + h = 0. Does 19 divide a?
False
Is 150 a factor of (-15)/4*408/(-20)*200/6?
True
Let a(r) = 1 + 4*r - 4*r**3 + 3*r**3 - 5*r + 5. Let j be a(4). Let q = j + 106. Is q a multiple of 11?
True
Let f(p) = 326*p + 1035. Does 66 divide f(57)?
False
Suppose -183 = -2*d + x, 2*x - 7 = -d + 97. Suppose y + y = d. Is 8 a factor of y?
False
Suppose 5*c = 8*c + 2*k - 96706, k + 32227 = c. Is c a multiple of 7?
False
Let v(d) = 12*d**3 - d**2 - 23*d + 124. Does 36 divide v(6)?
False
Let s(r) = r**3 - 22*r**2 + 22*r - 10. Suppose -d + 16 = -4*i, 3*d - 4*i = -9 + 41. Let l be d*7/140 - 206/(-10). Is s(l) a multiple of 11?
True
Let c = 86 + -159. Let l = c + 105. Suppose 3*b = l + 7. Is 13 a factor of b?
True
Suppose 22*d = 20*d + 5*m - 216, 0 = -5*d + 3*m - 502. Is (-90958)/d + (-8)/7 a multiple of 66?
False
Suppose -4*a = -5*s + 4*s - 47994, 2*s + 59994 = 5*a. Suppose 15*j - a = -3673. Suppose 3*l - 5*f = j, l - 255 = f - 70. Is 27 a factor of l?
False
Does 22 divide 88*13/((-260)/(-5975))?
True
Suppose 0 = 2*b - 4, -4*b = -3*o + b - 82. Let h be (-16)/o - (-7)/3. Suppose -j + 0*j = 5*a - 30, 4*j - 143 = h*a. Does 35 divide j?
True
Suppose 0 = 3*u + 5*s - 136166, -4173*u + 45398 = -4172*u - 3*s. Is 104 a factor of u?
False
Let g be (-75)/(-25)*(-4)/(-6). Suppose -g*v - 5*p + 704 = -7*p, 0 = 2*v - 3*p - 699. Does 7 divide v?
True
Let v = 3636 + -2721. Is 15 a factor of v?
True
Let i = 463 + -458. Suppose -i = 5*u, 2*d - u - 303 = -6*u. Is 7 a factor of d?
True
Let n(v) = v**2 - 6*v. Let a be n(5). Let p(i) = 15*i**2 - 3*i - 12. Does 42 divide p(a)?
True
Let c(a) = -55*a - 140. Let k be c(-14). Suppose 30*l - 9*l = k. Does 3 divide l?
True
Suppose 2*p + o + 7 = 0, -5 = p + 3*o - 9. Let z(u) = -2*u**3 - 3*u**2 + 6*u + 15. Does 9 divide z(p)?
False
Let k = 706 + -701. Suppose 0 = t + k*a - 181, -5*a = -t + 145 - 14. Is t a multiple of 18?
False
Suppose -65*z - 6*z + 122191 = 0. Is z a multiple of 16?
False
Let p = -52 + 56. Suppose p*t - 161 = -3*h + 32, 3*h = 2*t - 119. Is (t/((-4)/(-2)))/(0 + 1) a multiple of 12?
False
Suppose -h = 2*f + 3*f + 36, 4*h + 114 = -5*f. Let x = h - -30. Suppose 4*t = -2*q + 154, -42 = -t + x*q + 19. Is t a multiple of 13?
False
Does 48 divide (-1796)/(-108)*222 + (-6)/(-27)?
False
Let p = 310 - 376. Let b be 1 + (22 + 0)/(-1). Let u = b - p. Is 15 a factor of u?
True
Let o = -2 + 6. Suppose 36 - 188 = -o*s. Suppose -11*i = -12*i + s. Is i a multiple of 19?
True
Is -6 + ((-4)/(-18) + 1971580/468 - -5) a multiple of 13?
True
Let b(y) = 2*y + 74. Let z be b(-31). Let v(h) = -h**3 + 16*h**2 - 29*h + 10. Does 17 div