 1222 - 692. Does 5 divide z?
True
Let p be ((-78)/(-4))/(30/40). Let u = -2 - 16. Let b = p - u. Is 11 a factor of b?
True
Suppose -y - 142 - 2 = 5*s, 3*s = 5*y - 92. Let u = s - -78. Is u a multiple of 21?
False
Let g = 4 + -7. Does 7 divide (196/16)/(g/(-12))?
True
Let u(x) = 16*x - 74. Let l(h) = -16*h + 73. Let k(w) = -5*l(w) - 4*u(w). Is k(8) a multiple of 24?
False
Let t be (-2 + 3)/((-2)/(-94)). Let a = 4 + t. Let p = a - -37. Is 22 a factor of p?
True
Suppose -3*d = 30*b - 25*b - 9363, 4*d + 1891 = b. Is 75 a factor of b?
True
Suppose -5*b - 10 = -6*b. Let z = 62 + b. Is z a multiple of 12?
True
Suppose 10*r + 1107 = 2847. Is r a multiple of 29?
True
Suppose -12*r - 2*p = -13*r + 70, 5*r + 5*p = 305. Is 17 a factor of r?
False
Let t be 12/12 + (1 - -1). Suppose 0 = t*l + 5*b - 367, -b + 116 = l - 7. Is 14 a factor of l?
False
Let x(l) = 307 - 307 + 4*l. Is 21 a factor of x(21)?
True
Is 97 a factor of (-6 + 103)/((-12)/(-300))?
True
Let t(z) = 84*z**3 + 2*z**2 - 2. Let h be t(2). Suppose 5*p - h = -118. Is 14 a factor of p?
True
Let g(s) = -4*s + 18. Let f be g(4). Suppose 0 = 3*b - f*b - 57. Is b a multiple of 19?
True
Suppose o + x + 2 = 0, 2 = 3*o - 2*x + x. Suppose o = 4*g - 164 + 64. Does 5 divide 10*(-4)/((-40)/g)?
True
Let w(c) = -2*c**3 - 6*c**2 + 5*c - 12. Suppose 23 = -6*r - 7. Is w(r) a multiple of 7?
True
Let d be (-2)/7 - 1502/(-14). Suppose 0 = j - 12*j + 286. Suppose -j = i - d. Is 27 a factor of i?
True
Let c(m) = -m. Let y be c(6). Let j be 314/y + 4/(-6). Let n = j - -96. Is n a multiple of 25?
False
Suppose 4*u - 66*m - 3748 = -65*m, -4*m = -2*u + 1860. Does 14 divide u?
True
Let m(h) = h**3 + 31*h**2 + 14*h + 44. Does 15 divide m(-29)?
True
Let m(s) = s - 5 - 12 + s + 3. Let b be m(-11). Is (b/(-27))/((-2)/(-9)) a multiple of 6?
True
Let j = 133 - 76. Suppose 0 = -j*g + 53*g + 416. Does 13 divide g?
True
Let q be (-3 + 9)*1/(-2). Is 9 a factor of (q - -2) + -1 + 128?
True
Suppose -a = 4*u - 557, 5*u - 418 - 281 = -4*a. Is u a multiple of 7?
False
Let t = 11 + -7. Suppose 121 = -t*g + 589. Suppose g - 1 = 4*z. Is z a multiple of 25?
False
Let s = 660 - 313. Let x be (-3)/6 - 1785/(-14). Suppose s = 5*w + x. Is 22 a factor of w?
True
Suppose 4*q - 468 = -104. Is q a multiple of 55?
False
Suppose -264*k - 185 = -265*k. Does 5 divide k?
True
Let r be ((-6)/3)/(-2*5/15). Suppose -r*l + 86 = -166. Is l a multiple of 14?
True
Let v = 75 + -75. Suppose -7*q + 513 + 236 = v. Is 14 a factor of q?
False
Suppose 2*s = -4*l + 152, 4*s + 8 = 2*s. Let x = l - 28. Does 12 divide x?
True
Suppose 3*l = 4*l - 2, -3*x + 5*l + 32 = 0. Suppose 2*a - x = -5*a. Is a even?
True
Let n(f) = -4*f + 2*f + 3*f. Let k be n(5). Let h = 8 - k. Does 3 divide h?
True
Let u = 38 + -36. Suppose 0*m + 22 = u*m. Is m a multiple of 2?
False
Let b(c) = -c**3 - 6*c**2 - 20*c - 30. Is b(-6) a multiple of 5?
True
Let x(h) = -h**2 + 0*h**2 + 10*h**2 - 1. Let m be (-2 + 4)/(-5 + 3). Is 4 a factor of x(m)?
True
Let c be (-4 + 19)/(-5) - 4. Let l = 38 - c. Does 15 divide l?
True
Suppose s + s - 24 = 0. Let v = s + 18. Does 7 divide v?
False
Let h = -481 - -248. Let v = 389 + h. Is v a multiple of 52?
True
Let f(b) be the second derivative of 16*b**3/3 + 3*b**2 - 21*b. Is f(2) a multiple of 12?
False
Let p = 233 + -65. Is 12 a factor of p?
True
Let w = -586 + 901. Is w a multiple of 63?
True
Suppose -9*w = 2*j - 12*w - 2735, 5*j + 3*w = 6806. Is j a multiple of 22?
False
Is -2*(7 - 6)*(0 + -140) a multiple of 28?
True
Let p(u) = -u**2 - 11*u + 16. Suppose 4*m - 35 = 9*m. Does 11 divide p(m)?
True
Let i(u) = u**3 - 12*u**2 - 17*u - 33. Does 11 divide i(14)?
True
Let y = 135 - 87. Suppose 16 + y = q. Does 16 divide q?
True
Suppose 321 = 4*r + 3*t + 29, 5*r - 3*t = 392. Is r a multiple of 5?
False
Let b = -2320 - -3436. Is b a multiple of 36?
True
Let j = -24 + 4. Suppose -2*g + 42 = -8*g. Let u = g - j. Is u even?
False
Let m(o) = -8*o + 8. Let p be m(10). Let z = -23 - p. Does 23 divide z?
False
Let b = -138 + 140. Does 9 divide (24 - b)*(1 - (-3 + -5))?
True
Let u = -259 - -560. Is u a multiple of 43?
True
Let d(x) = -x**2 - 8*x + 9. Let p be d(-9). Let m = 14 + 52. Suppose m + p = v. Is 22 a factor of v?
True
Let w(b) = 4*b**2 + 3*b - 10. Let a(t) = t**2 - 1. Let c(n) = 5*a(n) - w(n). Let d(m) = -7*m + 130. Let o be d(18). Is c(o) a multiple of 4?
False
Let d(v) = 4*v**3 - 3*v**2 + v - 2. Suppose 2*b + 14 = -4*r, b - 31 = -b + 5*r. Suppose -t - 1 = -b*o, -21 = 2*o - 0*t - 5*t. Does 5 divide d(o)?
True
Let w(f) = 252*f - 484. Is 80 a factor of w(7)?
True
Suppose -16 - 40 = -x. Let v be 114/22 - (-2)/(-11). Suppose 0*y = 2*o + v*y - x, -2*y - 112 = -4*o. Is 14 a factor of o?
True
Suppose -5*z = 5*c - 5, 4*z - 2*c - 3 = 13. Suppose -z*v + v + 124 = 0. Let g = -37 + v. Is g a multiple of 7?
False
Let r be (-4)/2*(2 + -4). Suppose r*i = 9*i - 155. Does 24 divide i?
False
Suppose -4*l = 4 + 8, 2*g = -5*l - 11. Suppose 213 = 3*v + g*x, v - 3*x = -3*v + 267. Is v a multiple of 23?
True
Let g be 0/(-3 + 1 - -4). Suppose 5*v - 25 = -j, 5*j + g*v - 5*v = 5. Suppose -11 - 60 = -4*t - 5*m, -j*m - 27 = -3*t. Is 7 a factor of t?
True
Suppose 0 = -2*n + 3*g + 2255, -5*g = -4*n + 3*n + 1145. Does 40 divide n?
True
Let u = -817 - -1476. Is 19 a factor of u?
False
Let i(h) be the third derivative of h**6/120 - h**5/15 - 5*h**4/12 + 23*h**3/6 - 24*h**2. Does 3 divide i(6)?
False
Suppose -5*b + 4*h - 32 + 247 = 0, 0 = 5*b - 2*h - 205. Let a = b + 0. Is a a multiple of 3?
True
Let h(s) = s**2 + 7*s - 6. Suppose 25 = -3*w + 2*f, w + 2*f + 5 = -6. Is h(w) a multiple of 11?
False
Suppose -1 = -3*m - 109. Is 2/9 + (-748)/m a multiple of 21?
True
Suppose 403 = 4*a - 425. Does 9 divide a?
True
Let p be -3*(11 + 1 - 2/(-3)). Suppose 0 = -3*c - 15, -260 = -b + 6*b - 4*c. Let v = p - b. Does 4 divide v?
False
Let y(i) = -i**3 - 5*i**2 + 6*i - 4. Let m = -11 + 5. Let t be y(m). Let n = t + 11. Does 4 divide n?
False
Suppose 0*p - 28 = -p. Suppose 0 = 5*k - 5*d - p + 3, -4*k = -5*d - 25. Suppose k = -5*q + 47 + 93. Is 11 a factor of q?
False
Does 12 divide (11/132*-6)/((-2)/1636)?
False
Let c(d) = 10*d - 56. Suppose 3*u - 38 = -11. Does 2 divide c(u)?
True
Let z(h) be the first derivative of h**5/20 + 5*h**4/6 + h**3/2 - 2*h**2 + 7*h - 8. Let o(t) be the first derivative of z(t). Is o(-9) a multiple of 10?
True
Suppose -14*k + 8 = -10*k. Suppose 0 = -k*b + 46 - 10. Is b a multiple of 2?
True
Suppose 4*o = -a - 74, -274 = 2*a + 3*a - 4*o. Is (-121)/(-3) + a/(-87) a multiple of 7?
False
Let w(c) be the third derivative of -c**5/60 + c**4/3 - c**3 - 2*c**2. Let j be w(6). Suppose -j*h + 168 = -2*h. Is h a multiple of 17?
False
Suppose 3*z + 4*j = 3700, 223*z - 2*j - 3730 = 220*z. Is z a multiple of 20?
True
Suppose u + 88 = 2*u. Suppose -2*l - 2*l = u. Does 14 divide (-312)/(-22) + 4/l?
True
Let a = -749 - -1365. Does 11 divide a?
True
Let i(z) = 3*z**3 - 4*z**2 + z + 2. Let h be i(2). Suppose -2*l - h = -5*l. Let f(t) = 4*t**2 + t + 1. Does 23 divide f(l)?
True
Let p be 464/3 + 2 + (-8)/12. Let d(i) = 5*i - 2. Let x be d(2). Suppose 0 = -5*t + x*t - p. Does 26 divide t?
True
Suppose -27*p = 8*p - 39935. Does 64 divide p?
False
Suppose -2*r + 4*x + 2342 = 0, 79*x = -5*r + 81*x + 5855. Is r a multiple of 7?
False
Let g(f) = -4*f**3 + 43*f**2 - 2*f + 72. Is 4 a factor of g(10)?
True
Suppose -2*r + 6*n + 1322 = 4*n, r - 685 = -5*n. Is 35 a factor of r?
True
Let f = 2401 + -1806. Is f a multiple of 5?
True
Let a = -62 - 56. Let m = a + 123. Is 3 a factor of m?
False
Let t(x) be the second derivative of x**7/840 - x**6/30 + x**5/24 + x**4/6 - x**3/6 + 5*x. Let z(p) be the second derivative of t(p). Does 16 divide z(12)?
True
Suppose 7*q - 1220 = -254. Does 4 divide q?
False
Suppose -t - 43 = -78. Suppose 4*u - 82 = -d, -d - u + t = -35. Is d a multiple of 10?
False
Let n be (-9)/12 + (-4 - 76/(-16)). Suppose -m + 103 + 34 = n. Is m a multiple of 15?
False
Suppose -2788 = 30*z - 34*z - 4*d, 3*d = 4*z - 2802. Does 25 divide z?
False
Let v(o) = o**3 - 6*o**2 + o - 2. Let a be v(6). Does 2 divide 0 - -14 - (a - 7)?
False
Suppose 0 = 31*f + 25*f - 7280. Is f a multiple of 2?
True
Let u(n) = -n**2 + 5*n - 2. Let j be u(4). Suppose l + j*l = -57. Let d = l - -27. Is d a multiple of 3?
False
Let l(y) be th