uppose -4*h + 368 = -4*v, 2*h + 3*h - v - 444 = p. Is h a multiple of 22?
True
Let f = 164 - 158. Suppose -f*u = -0*u - 1356. Is 28 a factor of u?
False
Suppose 0 = 5*b + 27*y - 29*y + 2101, 0 = -3*b - 2*y - 1267. Let t = 673 + b. Is t a multiple of 27?
False
Let n = -3110 + 9695. Does 153 divide n?
False
Let h(j) = 11*j. Let v be h(0). Suppose -3*n - 6*n + 846 = v. Is n a multiple of 23?
False
Let u(x) = 3*x + 10. Let q be u(1). Let n(s) = 2*s + 22. Let j be n(q). Is 11 a factor of 30*6/(j/44)?
True
Let o(t) be the second derivative of -7*t**3/3 - 16*t**2 + 27*t. Let v = 23 + -31. Is 8 a factor of o(v)?
True
Suppose -2*z - 5 = -9. Let a(h) = 29 + h**2 - z*h - 12*h + 3*h. Does 11 divide a(9)?
True
Let g be (-18)/(-5)*5/3. Let n be -5 + g + 0 + -5. Let y(f) = -f**3 + 5*f**2 + 15*f + 8. Does 14 divide y(n)?
False
Suppose 4*u - 7*k = -5*k, k - 12 = -4*u. Suppose 3*p = -5*b + 11, -3*p - 3*b + 7 = -p. Suppose -385 = -p*i - 3*i + u*r, -230 = -3*i + r. Is i a multiple of 15?
True
Suppose 31 = g + 5*x, 27 + 32 = 5*g + x. Let z(c) = -7*c**2 - 5*c**2 - g*c - 1 + 5*c + 13*c**2. Is z(10) a multiple of 11?
False
Let d = 1413 + -580. Suppose -33 + d = 5*n. Is n a multiple of 10?
True
Let y = 1078 + -1832. Let l = y - -1006. Does 7 divide l?
True
Suppose 4*q = -4*k + 1532, -28*q - 3*k + 1534 = -24*q. Does 166 divide q?
False
Let m(q) = 137*q + 200. Let d be m(10). Suppose -d = -f - 2*f - 2*h, f = -h + 525. Does 10 divide f?
True
Suppose 3*j = -3*q - q - 24, 4*q = 3*j. Does 4 divide 0 - (-15 + 16)*36*j?
True
Suppose 5*l - 758 = 3*h + 614, -l + 256 = 4*h. Let j = l + -200. Does 18 divide j?
True
Let n(g) = 5*g**2 - 36*g + 3. Let o(x) = x**3 - 10*x**2 - 10*x - 2. Let p be o(11). Does 6 divide n(p)?
True
Suppose -3*k = 15, -3*v + 4*k - 2*k = 188. Let m = v - -71. Suppose 26 = m*c - 3*f - 42, -3*f = 2*c - 23. Is 3 a factor of c?
False
Suppose -181*g = 1099205 - 2683137 - 3078628. Is 92 a factor of g?
True
Let d(i) = -i**2 + 14*i - 27. Let v(k) = k - 6. Let z be v(0). Let r be (-42)/2*z/18. Does 22 divide d(r)?
True
Let f(j) = 97*j**2 + 1. Let p(n) = 3*n + 37. Let q be p(-12). Does 7 divide f(q)?
True
Suppose 5*s = 0, -5*a - s - s = 10. Let i(x) = -3 - 7 + 629*x - 694*x. Does 15 divide i(a)?
True
Suppose 355*i - 354*i = -436. Let s = i - -976. Does 54 divide s?
True
Suppose -14*c + 28*c + 16*c - 75270 = 0. Is c a multiple of 6?
False
Suppose -171*o = -2*s - 176*o + 4625, 0 = 4*s + 3*o - 9271. Is 20 a factor of s?
True
Is (3 - 34151/(-26))*4 a multiple of 20?
False
Suppose 77587 = 3*l - 4*z, -74272 - 55029 = -5*l - 4*z. Does 21 divide l?
False
Let u(w) = w**3 - 54*w**2 - 98*w + 131. Is 10 a factor of u(57)?
False
Let s be 2 - ((-1 - 0) + 1). Suppose -2*r - 5*j - 13 = 0, s*j + 18 = -5*r + 4*j. Let d(n) = -n**3 + n**2 + 8. Does 20 divide d(r)?
False
Suppose z - 55 = -2*d, 0*z = z - d - 40. Suppose -5*p = -z + 30. Does 35 divide (-1)/p + ((-2275)/(-21) - 3)?
True
Let j(f) = 6*f - 56. Let i be j(7). Does 3 divide 28/12*(-42)/i?
False
Let w(h) = -198*h - 5. Let o(f) = -f**3 + 11*f**2 - f + 10. Let t be o(11). Let s be w(t). Let i = s + -68. Is 19 a factor of i?
False
Does 71 divide (-15)/9 - (-641212)/177?
True
Let p = 140 + -138. Suppose 2*h = b + 17, p*b - 13 = -2*h + 7*b. Is 9 a factor of h?
True
Suppose -4*h - 158 = 3*b, 5*h + 4*b = -189 - 9. Let n = h - -10. Let d = n - -39. Is d a multiple of 11?
True
Let o = -19 + -142. Let l = 326 + o. Is 33 a factor of l?
True
Let v be 2 - 80/44 - (-106)/22. Suppose g = v*g + 16, 264 = 3*k + 3*g. Suppose 3*i - 48 = -d + k, 0 = 5*i + 3*d - 236. Is i a multiple of 15?
False
Suppose 4*z = 7*z + 3, -2*a + 5*z = -7. Suppose -2*g = -a - 5. Suppose -14*m + g*m + 1540 = 0. Is 14 a factor of m?
True
Suppose -263*z = -258*z - 3*m - 52879, 4*m + 52872 = 5*z. Is 13 a factor of z?
False
Suppose 0 = 4*a - 5*k - 23 - 193, 5*k = 3*a - 157. Is a even?
False
Suppose -h - 4*c - 16 = 0, -3*h + 2*c + 8 = h. Suppose 2*y + 8 = h, 6*t - t - 66 = -y. Suppose t*o = 9*o + 60. Is 6 a factor of o?
True
Suppose -5*r + x = 3*x - 67112, 3*r + 2*x - 40264 = 0. Suppose -r - 18472 = -36*f. Does 60 divide f?
False
Let b = 244 + -180. Suppose -10*i + 76 = -b. Is 2 a factor of i?
True
Suppose 4*q + u + 4 = -0*u, -5*q - 5 = u. Let c(i) = -98*i - 4. Let l be c(q). Is 6 a factor of (125/20)/(3 - l/32)?
False
Let p(x) = 45*x - 46. Let j be p(-2). Let y(v) = 2*v**3 + 10*v**2 + 9*v + 2. Let z be y(-6). Let l = z - j. Is l even?
True
Suppose 5*t + 10 = 0, 2*j + 0*j + t = 2. Let f be 10/j*1131/65. Suppose f = 6*r - 5*r. Is r a multiple of 29?
True
Let i = -1128 + 2590. Suppose 4*o = i + 282. Suppose g + 2*x - 106 = 0, 4*g - x = 3*x + o. Is g a multiple of 12?
True
Suppose -9*v + 13*v = 4104. Suppose 0 = -7*r + 290 + v. Does 19 divide r?
False
Let t = -10883 + 6125. Is 3 a factor of (t/104)/(-2 - (-26)/16)?
False
Suppose -56*y = -68*y + 36. Suppose -68 = -y*f + 673. Is f a multiple of 11?
False
Suppose y = 5*y - 8. Let q(b) = 81*b**3 + 31*b**2 - 5*b - 1. Let l(s) = -19*s**3 - 7*s**2 + s. Let m(g) = -9*l(g) - 2*q(g). Does 16 divide m(y)?
True
Let v = 53037 - 35948. Is v a multiple of 23?
True
Suppose 0 = 112*r - 117*r + 35. Suppose -r*k + 94 = -158. Is 12 a factor of k?
True
Let h be (3 - 1)*(-2)/(-4)*-1. Let a(o) = -34*o - 4. Let i be a(h). Is (-1)/5 + (3096/i - 4) a multiple of 13?
False
Let o(y) = 2*y**3 - 10*y**2 + 3. Let i be o(6). Suppose -a - 1 - 64 = -2*k, -3*k - 3*a = -i. Suppose 0 = -c - 0*c + k. Is 6 a factor of c?
True
Let b = 223 - 218. Suppose 0 = -o - b*u + 429, -5*u = 3*o - 1373 + 56. Does 13 divide o?
False
Suppose 33*t - 75580 + 18754 = 0. Is 18 a factor of t?
False
Suppose d - 11 = 40. Suppose -4*w + d = 271. Is (-10373)/w - (-2)/5 a multiple of 36?
False
Let f(a) = -2*a. Let n(d) = -3*d + 15. Let o(i) = -4*f(i) - n(i). Is 3 a factor of o(2)?
False
Suppose -9 = 3*x - 0*x. Let h be 36/16*(-272)/x. Let t = -126 + h. Does 19 divide t?
False
Let t = -380 - -768. Suppose 291 = t*a - 385*a. Is a a multiple of 11?
False
Let h(v) = 3*v + 66. Let x be h(-22). Let n(f) = f**2 - 4*f + 72. Is n(x) a multiple of 8?
True
Let v = -914 + 1913. Is v a multiple of 16?
False
Suppose -5*n = 2*b - 200489, -15*n + 4*b + 120309 = -12*n. Does 10 divide n?
False
Let f(x) = 97*x - 9332. Is 11 a factor of f(97)?
True
Let g(w) = w**2 + 46*w + 15. Let r be g(-22). Let k = -268 - r. Is k a multiple of 49?
True
Is 62 a factor of (1272/(-32) - 2/4)*64*-1?
False
Suppose 9*p - 6*p - 270 = 3*d, -3*d - 442 = -5*p. Suppose -20*t + p = 2*u - 18*t, -89 = -2*u - t. Is 12 a factor of u?
False
Let x(m) be the first derivative of -m**4/4 + 2*m**3/3 - m + 3. Let l be x(-1). Suppose 36 = -l*y + 8*y. Is 3 a factor of y?
True
Suppose -2*u = 5*a - 125, -5*u + 4*a + a + 225 = 0. Suppose 3*m + 5 = u. Suppose -528 = -m*k + 11*k. Is k a multiple of 11?
True
Suppose 2*b - 466 = -3*z + 2086, 0 = 5*z + b - 4265. Suppose 0 = 5*x - z - 1821. Is x a multiple of 11?
False
Suppose 5656 - 574 = 7*o. Let q = o - 597. Does 3 divide q?
True
Is ((-2 - 0) + 808)/(-10*5/(-75)) a multiple of 31?
True
Let o(j) = -27*j**3 + 4*j**2 + 56*j + 318. Is o(-6) a multiple of 27?
False
Let v(j) = j**3 + 25*j**2 - 27*j - 24. Let d be v(-26). Suppose -5*c + 17 - d = 0. Suppose o - c*p - 102 = -38, o - 78 = -4*p. Is o a multiple of 10?
True
Let s = -451 - 6962. Let t be s/14*((-4)/3)/2. Suppose 2*b - t = 309. Does 24 divide b?
False
Let g(c) = 22 + 4*c + 6*c - 45. Let k be g(4). Suppose 9*y = k*y - 616. Is 35 a factor of y?
False
Let i = -830 + 2566. Does 8 divide i?
True
Suppose 8*u - 1588 = -1500. Suppose u*s = -829 + 6142. Is 12 a factor of s?
False
Does 153 divide -1 + -2 - (-649 + -9)*30?
True
Let p(d) = 110 - 4*d - 65 - d. Let j be p(9). Suppose -3*v + 29 = 5*b, j = 2*v - 4*b - 33 - 23. Is v a multiple of 5?
False
Let t(q) = 3*q**2 + 6*q + 2455. Is 64 a factor of t(-55)?
True
Let m(r) be the first derivative of 5*r**4/4 - 5*r**3/3 - 7*r**2/2 - 26*r + 164. Does 9 divide m(5)?
False
Let c be 1058/6 + (110/30)/(-11). Let f = c - 67. Does 3 divide f?
False
Let q be (-15)/(-15)*((-1)/(-1) - -28). Let s(d) = -5*d**2 - 2*d**2 + 33*d - q*d + d**3. Is 16 a factor of s(8)?
True
Let a = 7611 - -5048. Does 22 divide a?
False
Let j = 85 - 82. Suppose 4*z - j*z - 9 = v, 48 = 4*z - v. Does 3 divide z?
False
Let z = -197 + 203. Does 39 divid