y + 3*u + 14, -3*u = -3*y - 2*y - 16. Is 12 a factor of 4 - (-10)/y - (-164)/2?
True
Let c be (-16)/(-10) + 10/25. Suppose 6 = 4*y - c. Suppose 114 = 3*i + 3*z, 4*i - 8*i + y*z = -140. Is i a multiple of 36?
True
Suppose 0 = u + 26 - 1148. Is u a multiple of 22?
True
Suppose -43 = -2*x - 3*v, -11 - 51 = -4*x + 2*v. Let a be (x/(-51))/(2/12). Does 18 divide (360/(-70))/(a/21)?
True
Suppose -3*c + 1344 = -3*d - 480, d - 1228 = -2*c. Is c a multiple of 51?
True
Is 28/(-3)*((-372)/8 + 3) a multiple of 14?
True
Let p = -47 + 26. Is (-97)/(-5) - -1*p/(-35) a multiple of 10?
True
Suppose 0 = 4*c - 9*c - 6735. Let w be (-32)/(-6)*c/(-2). Does 30 divide 8/60 - w/(-60)?
True
Let u(b) be the second derivative of -5*b**4/6 + b**3/3 + b**2 + 5*b. Let p be u(-2). Let h = p - -73. Does 19 divide h?
False
Let i(b) be the third derivative of b**6/240 + 7*b**5/60 + 3*b**4/8 + 9*b**2. Let o(d) be the second derivative of i(d). Does 16 divide o(6)?
True
Suppose -131*n + 167*n - 23760 = 0. Is n a multiple of 20?
True
Let c be 27 + 4 + 2 + -9. Let a = 26 - c. Is 2 a factor of a?
True
Let y = 64 + -13. Let a = y + 66. Does 39 divide a?
True
Let a(i) = 52*i**3 + 3 - 2*i**2 - 3*i**2 + 2*i + 3*i**2 - 4. Is a(1) a multiple of 21?
False
Suppose 72 = -q + 1399. Is q a multiple of 47?
False
Let w be ((-10)/1)/(0 + 4/6). Is 5/w*-9 + 15/1 a multiple of 9?
True
Suppose 0 = 5*s - 3*l + 596, -3*s + 0*l + 5*l - 348 = 0. Let q be (-448785)/50 - (-18)/(-60). Is (-2)/11 + q/s a multiple of 20?
False
Let p = 598 - 378. Does 8 divide p?
False
Suppose -2*a + 5*h - 9*h + 1568 = 0, 5*h - 769 = -a. Is a a multiple of 19?
False
Suppose -2*m = -3 - 3. Is 3 a factor of m/(-3)*-1 - -21?
False
Suppose -4*p + 42 = 6. Let m be (8/(-20))/((-5)/25). Let c = p + m. Does 8 divide c?
False
Let a = -98 - -193. Is a a multiple of 32?
False
Suppose l + 5*s - 830 = 0, l - 4*s - 1730 = -l. Is 56 a factor of l?
False
Let z(a) be the third derivative of 7*a**5/12 - a**4/4 + 5*a**3/6 - 15*a**2. Does 17 divide z(2)?
False
Suppose -c + 5920 = 9*c. Suppose 5*q - c = -172. Is q a multiple of 14?
True
Let p(w) = 259*w**2 + w. Let o(x) = -1294*x**2 - 5*x. Let h(a) = 2*o(a) + 11*p(a). Let g be h(1). Does 12 divide (-10)/25 + g/5?
False
Let h = 65 - 81. Let k(v) = -5*v - 4. Is 23 a factor of k(h)?
False
Let v be ((-2)/6)/(1/(-12)). Let y be (6/v)/((-6)/(-40)). Let z = y - 5. Is z a multiple of 3?
False
Let h(s) = -s**3 + s**2 + 9*s - 7. Let g be h(3). Is 3*-1 + (g - -168 - 2) a multiple of 30?
False
Let c be 3/12 + (-63)/12. Let z be (1 - c) + 8/(-8). Let w = z - -3. Is w a multiple of 6?
False
Suppose u - 2*u - 10 = 0. Let l = u + 8. Is 54 + 6/(6/l) a multiple of 20?
False
Suppose -c + 4*h - 36 = -0*h, 0 = -2*c - 4*h - 36. Let a be (42 - 0)*c/(-14). Suppose 0 = 3*s + s - a. Is 6 a factor of s?
True
Suppose v = -2*v. Let w = v + 3. Suppose -w*a + 25 = 5*d, 2*a + 3*d - 8 = 4*d. Is a even?
False
Let o = 20 + -10. Let x(c) = -c**3 + 11*c**2 - 10*c + 5. Let f be x(o). Suppose 0 = f*v - 6*v + 24. Is 17 a factor of v?
False
Let l(z) = z**2 + 9*z + 6. Let f be l(-9). Let p(r) = r**2 + 2*r - 9. Let d be p(f). Suppose 2*i - i = d. Is 13 a factor of i?
True
Let g(d) be the second derivative of -25*d**3/6 - d**2 - 4*d - 2. Let q(s) = -s**3 + 2*s**2 - s + 1. Let v be q(2). Does 9 divide g(v)?
False
Suppose -h + 3*h = 3*z - 3056, h = 2. Is z a multiple of 17?
True
Suppose -2*l + 200 + 556 = 0. Is 63 a factor of l?
True
Suppose j - 68 = -3. Is 148/52 - 3 - (-16130)/j a multiple of 19?
False
Let a = 5 + 0. Suppose a*n = -2*y + 685, -5*n = -5*y + 20 - 670. Suppose -n = -3*x - 3*l, -3*l + 0*l = -3*x + 105. Is 14 a factor of x?
False
Let y(j) = -j**3 - 5*j**2 + 5. Let k be y(-5). Suppose -1295 = -k*p - 0*p. Is 29 a factor of p?
False
Let p(h) = 2*h + 3*h + h**3 + 6*h**2 + 0 - 4 + 6. Let s be p(-5). Is 28 + 0/((-8)/s) a multiple of 14?
True
Suppose 4*o + 4*x - 860 = 0, x = -4*o - 2*x + 855. Does 46 divide o?
False
Let a be 213 + -7 + 2/1. Let w = a - 106. Does 34 divide w?
True
Suppose 0 = -16*c + 1056 + 96. Does 9 divide c?
True
Let t(p) = -11*p + 4. Let j be t(3). Let n(i) = -3*i**3 - 3*i**2 + i + 5. Let s be n(-3). Let o = s + j. Is 27 a factor of o?
True
Let q be 65/(-3) - (-10)/15. Let d be -1 - (q/3 - -2). Suppose 0 = 2*c + 2*m - 6, d*c - 3*m - 33 = -0*m. Is 6 a factor of c?
True
Let a(k) = 107*k + 21. Let t be a(5). Suppose -2*v - t = -4*v + 4*d, 3*d = 3*v - 834. Is v a multiple of 48?
False
Let o(z) = 4*z**2 + 11*z + 21. Does 2 divide o(-4)?
False
Let n(v) = 9*v + 47. Let s be n(-5). Suppose -5*f + 4*m = -110, f + s*f = -4*m + 66. Is 22 a factor of f?
True
Does 9 divide (3/6*-548)/((-13)/65)?
False
Is 7 - -53*(-1 + 8) a multiple of 54?
True
Let p be (1 + 4)*(-6)/2. Let o = -6 - p. Does 6 divide o?
False
Suppose -177 - 27 = -4*d. Suppose -2*s + d + 47 = 0. Does 7 divide s?
True
Let n(g) = -2*g**3 + 3*g**2 + 2*g + 1. Let o be n(-4). Suppose o = 2*u - 115. Suppose u - 8 = 2*z. Is 21 a factor of z?
False
Suppose 106 = 3*s - g - 3*g, -2*g - 36 = -s. Let l = -20 + s. Is l a multiple of 5?
False
Suppose -13*i + 597 = -274. Let l = 133 + i. Is 20 a factor of l?
True
Let k(v) be the second derivative of 7*v**4/4 - v**3/2 - 3*v**2/2 - 6*v. Is 15 a factor of k(-2)?
False
Suppose 48*y + 2664 = 60*y. Is y a multiple of 6?
True
Let n = -555 + 561. Does 6 divide n?
True
Does 7 divide (-11752)/(-13) + 2 + -10?
True
Suppose -182*s = -179*s - 63. Is 3 a factor of s?
True
Let k(x) be the second derivative of -61*x**3/6 + 13*x**2/2 - 3*x. Let a be k(-7). Let b = a - 298. Is b a multiple of 37?
False
Let b = -171 + -13. Does 4 divide b/(-20) + 2/(-10)?
False
Let a(d) = d**3 - 10*d**2 + 6. Let l be a(10). Suppose 2*b = -c + 240, -3*c = -18 + l. Does 28 divide b?
False
Let n = 10 - 5. Suppose 4*j + a - 24 = 3, -2*j = -5*a - 41. Let k = j - n. Is 3 a factor of k?
True
Suppose -14 = 3*x - 20. Is 2 a factor of -1 - 9/(-6)*x?
True
Let n(r) = 5*r - 34. Let m be n(13). Suppose s - m - 11 = 0. Is s a multiple of 14?
True
Let y = 1416 - 1016. Is y a multiple of 80?
True
Let g = 29 - 49. Let x = g + 14. Let y = x - -22. Is y a multiple of 16?
True
Suppose -f = 3*d - 53, -2*d + 56 - 17 = -3*f. Suppose 17*n - d*n = -91. Does 13 divide n?
True
Let z(v) = 6*v**2 + 3*v - 117. Is z(-11) a multiple of 16?
True
Let h = 341 + -63. Let z be (2*64)/(4/6). Let s = h - z. Is 19 a factor of s?
False
Suppose -5*w - x = -5187, -5*w - 54*x = -58*x - 5202. Does 19 divide w?
False
Let r(p) = -p**2 + 36*p - 65. Does 10 divide r(21)?
True
Let o(d) = 5*d**2 - 72*d + 15. Is 18 a factor of o(19)?
False
Suppose 596 = -n + 1568. Suppose 0 = -14*y + 8*y + n. Does 9 divide y?
True
Let z be 1/(-5) - (-891)/55. Suppose 15*m + 22 = z*m. Is 19 a factor of m?
False
Let m(f) be the first derivative of f**3/3 - 2*f**2 + 6*f - 11. Let n be m(3). Let u = n - -5. Is u a multiple of 3?
False
Let i(m) = 18*m + 2. Let x(h) = 17*h + 2. Let f(j) = 3*i(j) - 4*x(j). Is f(-1) a multiple of 4?
True
Let k = 325 + -1. Is k a multiple of 32?
False
Let g be 1 + (0 - 0) - 13. Let s be (-5 - 43 - 6)/(-2). Let p = g + s. Is p a multiple of 4?
False
Suppose 29 - 329 = -12*g. Suppose -b + g = -23. Is b a multiple of 8?
True
Let y(l) = -19*l + 1. Let a = 9 + -11. Does 10 divide y(a)?
False
Let q(j) = -394*j - 113. Is q(-3) a multiple of 55?
False
Let z = -25 - -37. Suppose 3*s + z = 0, -s - 2*s - 184 = -4*q. Suppose 3*c + 2*n - 160 = 0, 5*n - q = 3*c - 231. Is 14 a factor of c?
True
Suppose -2*u + u - 6 = 0. Is 31 a factor of 5376/35 - u/15?
False
Let r(v) = v + 1. Let h(s) = -4*s - 1. Let l(y) = h(y) - r(y). Does 2 divide l(-1)?
False
Let b(p) = 5*p - 1. Let y = -14 + 15. Let w be b(y). Suppose -5*z + 341 = w*i - i, -z + 73 = -i. Is 14 a factor of z?
True
Is 5 a factor of (12/8)/((-60)/(-8920))?
False
Let r be (-1 - -3) + 316*1. Suppose -28*z + r = -25*z. Does 17 divide z?
False
Let t be (4 - (0 - -5))*-2. Suppose -t*r + 2*b + 11 = -155, -r + 88 = 4*b. Is r a multiple of 7?
True
Let a(q) = -q**3 - 6*q**2 + q + 4. Let g be a(-5). Let n = g - -62. Does 18 divide n?
True
Let v(t) = 7*t**2 + 6*t + 225. Does 25 divide v(17)?
True
Is 11 a factor of 5 - (36/8)/((-6)/1356)?
False
Let a be (-203 + 1 + -7)/(1 - 2). Let g = a - 83. Does 9 divide g?
True
Suppose -t - 45 = 4*t. Let v = 101 + t. Is 32 a factor of v?
Fals