Let j = d + 131. Suppose 2*z = -5*t + j + 120, -4*z + 380 = 4*t. Is z a multiple of 16?
True
Suppose -38*y - 88*y + 2483130 = 4*y. Does 12 divide y?
False
Suppose -2*v - 2 = -0. Let m be (5/v)/(75/(-90)). Is 7 a factor of ((-168)/(-18))/(m/9)?
True
Suppose -5*s + 51 = -69. Let t = 19 + s. Does 9 divide t?
False
Let c(o) = -5*o**2 - 3*o + 11. Let m(z) = -z**2 + 2*z - 1. Let p(g) = -c(g) + 4*m(g). Is p(-22) a multiple of 74?
False
Suppose -5*c = 21*x - 24*x + 123774, -x = -5*c - 41228. Is 277 a factor of x?
True
Let u = -1 + 1. Let j(s) = 11*s + 2. Let m(q) = -79*q - 51. Let f(k) = -8*j(k) - m(k). Is 7 a factor of f(u)?
True
Let p(m) = -2*m**2 - 94*m + 2389. Is 92 a factor of p(-48)?
False
Let x(n) = -5*n + 13. Let u be x(-9). Let l = u + 21. Suppose -3*y - y = 3*g - 167, -3*g - l = -2*y. Does 5 divide y?
False
Let k(c) = 27*c**3 - 2*c**2 - 7*c + 3. Suppose -t - 16 = -5*t. Let x be k(t). Suppose 271 - x = -14*a. Does 15 divide a?
False
Let u be 5*(84/(-35) + 0). Let f(m) = -39 - 5*m - 9*m + 10*m. Is f(u) a multiple of 5?
False
Suppose -3*o - 15*g + 30341 = -17*g, 30353 = 3*o + 4*g. Does 72 divide o?
False
Let q(f) = -222*f + 6082. Is q(16) a multiple of 24?
False
Suppose -4*l + 6448 = 5*m + 3*m, l = -3*m + 1618. Is 80 a factor of l?
True
Let k(d) = -11*d**3 - d**2 + 2*d - 3. Let x be k(2). Let m = -369 - -152. Let i = x - m. Does 18 divide i?
True
Let l(v) = 3*v + 1. Let i be l(7). Let z(a) = -14*a - 26. Let w be z(-2). Suppose 110 = 3*r + w*q, 0 = -0*r - r + 3*q + i. Is 4 a factor of r?
False
Let x(w) = 6*w**2 - 4*w**3 + 9 + 2*w**3 + 2*w**3 - 4*w - w**3. Let u = 82 - 77. Is x(u) a multiple of 7?
True
Suppose 5*d = -3*u - 1087, -u = -5*u + 2*d - 1458. Let m = u - -658. Is m a multiple of 21?
True
Suppose 2*i - 2*i = 3*i. Suppose -55 = -5*w - 4*y - y, i = 4*w - y - 69. Suppose f - 388 = -3*z, f - w = -3*f. Is 32 a factor of z?
True
Let h(r) = 9*r**2 + 24 + 7*r**2 - 7 - r**3 - 12*r. Let j = 24 - 9. Does 6 divide h(j)?
False
Suppose -3*a = -45 - 42. Suppose -6*l = -l - 35. Suppose a + l = 4*r. Does 4 divide r?
False
Let v be 20*(-3)/(-6) + -3. Suppose 6*d - v*d + 3*a = -1980, 3*d - a = 5908. Does 48 divide d?
True
Does 151 divide (-1 - -511)/((-102)/(-544)) - (2 + 0)?
True
Let h be -8 - (-12 + -1) - (6 - 1). Suppose h = -28*y + 8*y + 1800. Does 9 divide y?
True
Suppose 0 = 2*k + 2*i - 1258, -3*k + 171*i + 1847 = 166*i. Is k a multiple of 15?
False
Let j = 7415 - 2855. Is j a multiple of 20?
True
Suppose 131 = 12*b - 1. Suppose b*n - 548 - 1872 = 0. Is n a multiple of 44?
True
Let v(j) be the third derivative of -j**6/40 + 3*j**5/20 - 5*j**4/12 - 11*j**3/2 - 84*j**2 - j. Is v(-3) a multiple of 5?
False
Suppose 34 + 22 = 4*x. Suppose 5*a = p + x, -3*a - 4*p + 3*p = -10. Suppose -3*m + 66 = -a*q, 126 = 5*m + 2*q + q. Is m a multiple of 4?
True
Suppose -3*s - 46690 = -37*s + 5*s. Is s a multiple of 70?
True
Suppose -5818 = 75*p - 79*p - 3*l, -3*l - 5830 = -4*p. Does 56 divide p?
True
Let n be (1/(-4))/((-32)/128). Is 26 a factor of n*4 + -1*(-906)/1?
True
Let j = -98 - -100. Let h be 3/j*(-4)/6. Is 20 a factor of (3 + 389 - h)/3?
False
Suppose 0 = -12*g + 7*g - k - 146, 0 = -g + k - 34. Does 31 divide 163*((-2)/5)/(g/75)?
False
Suppose 7*v - 208 = -6*v + 9*v. Does 26 divide v?
True
Suppose 4192 = 6*m + 4*r, -1491 = -2*m + 2*r - 107. Is m a multiple of 19?
False
Let b = -64 - -61. Let k be ((-22)/(-5))/((-2022)/675 - b). Suppose -216 = -6*y + k. Is 33 a factor of y?
False
Suppose 104*f - 114*f = -154660. Does 4 divide f?
False
Let r be (-12)/18*1214*6/(-8). Let i = 1289 - r. Is i a multiple of 26?
False
Suppose -4*c = 3*h - 78, -2*c + 60 = 3*h - 4*c. Let l(k) = -k**3 + 22*k**2 + 16*k - 22. Is l(h) a multiple of 33?
True
Let r(w) = -2*w - 2. Let g be ((-1)/2)/(-3 + (-95)/(-30)). Let t be r(g). Suppose -105 = t*s - 5*s. Does 35 divide s?
True
Let z(q) = -9*q**3 + 5*q**2 + 13*q - 63. Let n(u) = -4*u**3 + 3*u**2 + 7*u - 31. Let g(l) = 5*n(l) - 3*z(l). Does 19 divide g(3)?
False
Let i(r) = 2*r - 19. Let k be i(5). Let u(w) = 6*w**2 + 7*w - 23. Is u(k) a multiple of 40?
True
Suppose 0*j + 2*l = 3*j - 4, 16 = 5*j - l. Suppose -5*c + 3 = j*x - 7, -3*c = -x - 6. Suppose -c*o + 228 = 2*u, 5*o + 3*u = o + 460. Is 15 a factor of o?
False
Is 13 a factor of 37/(6*8/12576)?
False
Let v(x) = x - 3. Let j be v(6). Suppose 2*m = 3 + j. Suppose -m*d = 0, 0 = 3*a - 2*d - 3*d - 324. Is 36 a factor of a?
True
Let q(p) = 276*p - 707. Is 24 a factor of q(25)?
False
Let g(p) = -4*p - 15. Let k(f) = f + 1. Let y(u) = 2*g(u) + 10*k(u). Let o be y(14). Does 13 divide (-32)/(-3)*(1 + o)?
False
Let x(z) = 2*z**2 + 28*z - 246. Does 6 divide x(57)?
True
Suppose -7*r = -2*o - 10*r - 62, 0 = -5*r. Does 3 divide (59 + -55)*o/(-4)?
False
Is 3 a factor of 172099/1017 - (-2)/(-9)?
False
Let n = 8412 + -6675. Is 9 a factor of n?
True
Suppose -4*i + 20 = i. Suppose -y - 3 = i*f - 2*y, 5*f + 4*y - 12 = 0. Let v = f - -44. Does 22 divide v?
True
Suppose -3*h - 18 = 4*m, -5*m + 37 - 7 = -5*h. Let c(k) = 2*k**2 - 4*k - 13. Is 8 a factor of c(h)?
False
Let v = 28 - 25. Suppose -n + g + 12 = 3, 13 = n - v*g. Let x = n + 14. Is 7 a factor of x?
True
Does 23 divide (-30)/(-2) + (-167 - -1881)?
False
Suppose -z + 0 - 9 = -2*g, 3*z + 27 = -g. Let w(i) = i**2 - 9*i - 89. Is 3 a factor of w(z)?
False
Let n(w) = w**3 + 2*w**2 + 4*w + 9. Let j be n(0). Does 8 divide (-9)/2*(-354)/j?
False
Let b(t) = t**2 - 99*t + 1296. Is 3 a factor of b(126)?
True
Let c(d) = -421*d - 83 + 3 - 53 + 307*d. Is c(-6) a multiple of 38?
False
Suppose 0*u + 5*u = 115. Let c = u - 115. Let a = 79 - c. Does 20 divide a?
False
Let a be (-9 - 36/(-6)) + 5 - -4. Does 13 divide (a/4)/((-46)/(-26404))?
False
Let a(i) = -52*i - 1. Let h = -28 + 24. Let g be a(h). Let l = g + -117. Is 10 a factor of l?
True
Let l(w) = 7*w**3 - 3*w**2 + 4*w - 4. Let v = 45 - 41. Suppose 5*s = -r + 9, -r + v*r = -s - 1. Does 8 divide l(s)?
True
Let d = 17 - 229. Let q = d + 539. Does 12 divide q?
False
Let t be (-6*4)/((-10)/50). Suppose -91 = -3*v + q, -3*v - v = -2*q - t. Is v a multiple of 3?
False
Let c(w) = -w. Let j(h) = 49*h**3 + 3*h**2 - 11*h + 12. Let p(z) = -3*c(z) + j(z). Does 40 divide p(2)?
True
Suppose 5*x + 4*w + w - 27850 = 0, -3*w = x - 5574. Is x a multiple of 43?
False
Suppose -3*u = 138 - 7476. Let k = -1245 + u. Is 63 a factor of k?
False
Suppose -5694 = 7*f - 14969. Is f a multiple of 53?
True
Let w(o) = 4*o**2 - 64*o + 1076. Does 36 divide w(12)?
False
Suppose 0*k - 3*k = -369. Let d(s) = 58*s**3 + 94 - k*s**3 + 64*s**3. Does 47 divide d(0)?
True
Let m(v) = 0*v - 543 + 534 + v. Let l be m(3). Does 14 divide (-4)/12*l + 96?
True
Let x(b) = 5*b - 5. Let o be x(2). Suppose -4*y = -5*c - 76, -22 = 4*c - o*y + 46. Let a = c - -39. Is a a multiple of 4?
False
Let m(x) = 4*x**2 - 26*x + 2568. Does 149 divide m(61)?
False
Suppose 0 = 16*z + 312 - 36872. Is 17 a factor of z?
False
Suppose 3*n = -5*w + 72, -w + 0*w - 16 = -n. Suppose 3*q - 126 = -5*d, 136 = 3*q + 2*d + n. Let a = -1 + q. Is 18 a factor of a?
True
Suppose 0 = o + 4*q + 575 - 1842, 2*q = 4*o - 5104. Does 29 divide o?
False
Suppose 5*u + z - 14131 = 0, u + 55*z = 50*z + 2831. Is 314 a factor of u?
True
Let u be ((-12)/2)/((-3)/2). Suppose 3*d - 5*v = 86, 0*d + 72 = 2*d + u*v. Suppose d*z - 285 = 27*z. Is z a multiple of 25?
False
Suppose -5*b - 4*q + 52 = 7, -b - 12 = 5*q. Suppose b = i - 1. Does 7 divide (-3*i)/(-3 + 2/1)?
True
Let m be (-1 + -1)*-1 + 196/28. Suppose -108 - 9 = -m*o. Is 12 a factor of (-26 + -1)*(o - 17)?
True
Let r = -2231 + 971. Let u = -708 - r. Suppose 7*k - 4*k - 419 = d, 2*d = -4*k + u. Is 24 a factor of k?
False
Let j(m) = 19*m - 2. Suppose 5*a = -15, 2*a = 2*b - 0*b - 10. Suppose 11 - 17 = -b*n. Is j(n) a multiple of 11?
True
Let s(y) = 9*y**2 + 8*y + 2. Let h(o) = 2*o**2 + 6*o + 1. Let m(n) = -2*h(n) + s(n). Suppose 0 = r + 2*z - 2, -r - 3*r - 7 = 3*z. Does 32 divide m(r)?
True
Suppose -2*t + 4878 = 3*l - 32351, -t + 18612 = 2*l. Is 11 a factor of t?
False
Let g(o) = -40*o**3 + 4*o**2 - 7*o - 43. Does 6 divide g(-5)?
False
Suppose 4*s + 2920 = -228. Let z be 2/4 - s/2. Suppose -5*r = -3*u + z, -3*r - 608 + 90 = -4*u. Is 29 a factor of u?
False
Suppose 3*m = -47 + 53. Suppose b + g - 314 = -b, 308 = 2*b - m*g. Does 52 divide b?
True
Suppose 636 = 4*