tor of b?
True
Let q be 756/(-8) + (-1 - (-5)/2). Let p = q + 85. Let m(w) = w**3 + 9*w**2 + 8*w + 2. Is m(p) even?
True
Let y = 2615 + -2430. Is 2 a factor of y?
False
Let h = 22 - 20. Suppose -4*f + 4*k = -0*f - 720, -h*f + 360 = 2*k. Is f a multiple of 10?
True
Let f be 6*((-9)/(-54) - 1). Does 6 divide 81/(-135) - 2833/f?
False
Suppose -7*a = -3*a - 2*d, -a - 2*d = 0. Suppose a = -3*l - 7*l + 1640. Suppose 8 = -2*o + l. Is 16 a factor of o?
False
Does 47 divide 2204/32 + (2 - 195/104)?
False
Suppose 4*l - 7576 = -5*n + 6766, -n + 2878 = -4*l. Is 14 a factor of n?
True
Suppose -8 = 56*h + 48. Suppose 3*f - 4*f = -804. Is 14 a factor of f/(-10)*h + (-8)/20?
False
Let y be -8 - 25/(-3) - (-2171)/3. Let g = y - 353. Does 6 divide g?
False
Let d = -2195 + 6080. Is d a multiple of 37?
True
Let i = -3452 - -4266. Is i a multiple of 5?
False
Let k = -38 + 51. Is -7 + k - (-698 - (-3)/(-3)) a multiple of 24?
False
Suppose -p - 16 = 5. Let g be p/28*(-4)/6*86. Suppose -g - 29 = -3*x. Does 12 divide x?
True
Suppose -2*s + i + 28 = 0, -s + 2*s + 2*i = 24. Let y be (-13 + s)/((-3)/(-35)). Is 9 a factor of 42/y*1*20?
False
Let c(v) = 30 - 3*v**2 - 16 + 2 + v + 5*v**2. Suppose 3*d = -32 + 8. Does 14 divide c(d)?
False
Suppose 2*y + 5*r = 3*r - 2102, 3*y + 3174 = 4*r. Let u = y + 1636. Is 15 a factor of u?
False
Suppose w = 7*b - 2*b - 155392, 5*b + 9*w - 155472 = 0. Is b a multiple of 8?
True
Suppose 0 = -17*c + 13*c + 8. Suppose 2*p + 18 = 4*s, c*s - 5*p + 2*p = 3. Suppose 0*r - 684 = -s*r. Is r a multiple of 19?
True
Suppose 18*w - 2*w = -64. Let h be (27/(-6))/(w/(1 - 545)). Is (h/(-14))/(-1*2/(-14)) a multiple of 22?
False
Let g(r) = 20*r**3 - 38*r**2 - 4*r - 52. Let t(z) = 7*z**3 - 13*z**2 - z - 18. Let m(k) = 3*g(k) - 8*t(k). Does 29 divide m(6)?
False
Let x(m) = -2*m + 2. Let d be x(-8). Suppose d = -7*c + 10*c. Is (19/(-3))/(c/(-36)) a multiple of 7?
False
Is 15 a factor of (-7)/(-2)*(1841 - (-22 + 33))?
True
Suppose 156*v - 1237770 = -14*v. Does 163 divide v?
False
Suppose 25*u + 1104 = 2*u. Is 10 a factor of 15*(u/(-456) - (-748)/114)?
True
Let o = -3001 - -5752. Is o a multiple of 7?
True
Let o = -988 - -1480. Suppose -26*q + 29*q - o = 0. Is q a multiple of 11?
False
Let b be 550/250 + (2/(-2))/5. Suppose -b*y + 131 = -5*x - 113, -2*x - 344 = -3*y. Does 5 divide y?
False
Suppose 15888 = 6*g - u - 24751, 3*g - 20323 = 4*u. Is 26 a factor of g?
False
Let x(a) = 2*a**3 + 33*a**2 + 19*a + 38. Let q be x(-16). Suppose 4*d = 4624 + 4980. Is 22 a factor of d/35 + (-4)/q?
False
Let o(f) = 10 + 6*f + 0*f + 31*f**2 + 3 - 2. Let b be o(-2). Let c = -63 + b. Does 10 divide c?
True
Let y(h) = -11*h + 23*h + 15 - 13*h. Let p be y(15). Suppose p = -9*m + m + 608. Is 16 a factor of m?
False
Does 2 divide 7/((-5)/(-7 - -2)) + 866?
False
Suppose 0*d - 118 = -3*d + 2*q, 0 = 3*d - 3*q - 123. Suppose -5*f + 17 = l - 22, 2*l = -f + 78. Suppose d*s = l*s - 54. Is 3 a factor of s?
True
Suppose -i + 125931 = 15*i - 262453. Is i a multiple of 106?
True
Let b(r) = -11558*r + 393. Is b(-1) a multiple of 154?
False
Suppose 5*n - 548 = 427. Let t be n/21 + (-8)/28. Suppose -a = -t*a + 1120. Does 36 divide a?
False
Let x = -1568 - -2139. Does 7 divide x?
False
Suppose 4*g + j = 160, g = 4*j - 25 + 65. Suppose 45*v - 925 = g*v. Is v even?
False
Let w(a) = -a**3 + 10*a**2 - 21*a + 5. Let n be w(7). Suppose 0 = n*k - p - 1195, 2*k + 0*p - 4*p = 460. Is k a multiple of 12?
True
Let y = -90 + 90. Suppose y = -23*t + 19*t + 12. Suppose -o - 8*v + 60 = -t*v, -3*v - 107 = -2*o. Is o a multiple of 8?
False
Does 31 divide (27/81)/((-2)/42) + 3417*1?
True
Suppose -4 = -4*b - c - 3, b - c + 6 = 0. Let x = b - -9. Suppose 0 = x*d - 637 + 157. Is 25 a factor of d?
False
Let s(j) = 17*j**2 - 13*j + 998. Is s(18) a multiple of 14?
True
Let s be (42678/(-12))/((-3)/2). Suppose -3*g + 2444 = -a, 2*a + 731 - s = -2*g. Does 34 divide g?
True
Suppose -9*h = 12725 + 2305. Does 9 divide 8/(-28) - h/14?
False
Let o(c) = -352*c - 10. Let m be o(2). Let v = m + 1654. Suppose 0 = -3*p + 4*g + 448 + 257, 2*g = -4*p + v. Is p a multiple of 36?
False
Let t(k) be the third derivative of k**5/30 - 5*k**4/3 + 5*k**3/2 - 22*k**2 + 4. Is t(33) a multiple of 36?
False
Suppose 143 = 2*g - 3*s, g + 4*s = 53 + 35. Let z = g - 71. Suppose -z*j + 6*j - 34 = 0. Is 17 a factor of j?
True
Let n = 3785 - 2551. Is n a multiple of 26?
False
Let x be (-11)/(495/424585) + (-4)/(-18). Is x/(-20) + 3/(-4) a multiple of 25?
False
Let m(v) = -10*v**3 + 26*v**2 + 16*v + 1534. Let b(c) = 2*c**3 - 5*c**2 - 3*c - 307. Let t(h) = -11*b(h) - 2*m(h). Is 4 a factor of t(0)?
False
Let t(z) = 9*z**2 + 7*z - 10*z**2 - 85 + 50*z. Is t(40) a multiple of 85?
True
Suppose 149*v + 424278 = 167*v. Is 9 a factor of v?
True
Let j(s) = -5*s + s**3 + 3*s**2 + 2 + 4*s**2 + 0*s**3. Let x = 602 + -606. Is 16 a factor of j(x)?
False
Let t = 7633 - -11184. Is t a multiple of 23?
False
Let p(a) = a**3 - 2*a**2 - 14*a + 23. Let o be p(5). Suppose -o*k = 3*k - 14415. Does 31 divide k?
True
Suppose -3453 - 4079 - 528 = -10*x. Does 211 divide x?
False
Suppose -3*n - n + j = -10, 10 = -5*j. Suppose n*l + 9*l = 6*l. Suppose l = -13*u - 6*u + 5054. Does 14 divide u?
True
Let o(p) = p**2 - 6*p + 26. Suppose 4*v = -3*v + 14. Suppose -5*a = -2*b - 2, b + v = 4*a - 2. Is 9 a factor of o(b)?
True
Suppose -2*h = -l + h + 39, l - 4*h = 44. Let m = -21 + l. Is (-8)/(-6) + m/((-18)/(-1006)) a multiple of 37?
False
Let d = 113 + 156. Let s = d + -126. Is 13 a factor of s?
True
Let o = 14447 + -5232. Is 19 a factor of o?
True
Suppose -4*g + 266 = -5*f, g + 0*f - 68 = 2*f. Suppose 3*u - 188 = g. Is u + -3*2/3 a multiple of 41?
True
Let a(x) = 117*x + 1147. Is a(-5) a multiple of 34?
False
Is 106 a factor of (-1596570)/760*(-4)/(-6)*4/(-2)?
False
Suppose -q - 5*p = -24, 19*q - 14*q = -3*p + 120. Suppose 2*s = -q*s + 17732. Is 31 a factor of s?
True
Let t = -536 + 1367. Suppose -3*w = -x + t, 3*x = 6*x + 3*w - 2433. Is x a multiple of 17?
True
Let a = 7070 + -6306. Is a even?
True
Let j(y) = -y**2 + y + 1. Let x be j(1). Suppose -x = -c - 0*c. Is 19 a factor of (1*2)/(c - -1)*79?
False
Is 18 a factor of 883 - 63 - (-5)/(5/8)?
True
Let q(l) = -l**3 - 10*l**2 + 73*l - 73. Is 5 a factor of q(-16)?
True
Let y(n) = 28*n**2 - 9*n - 9. Suppose 11*f + 11 = 66. Is y(f) a multiple of 26?
False
Is 21 a factor of (-1029)/1*810/(-1215)?
False
Is (-4115)/(-4) - 1064/608 even?
False
Suppose -2*y + 5*y = 18. Let r = -37 - -42. Suppose -y*x + r*x = -20. Is 12 a factor of x?
False
Let k(r) = -1. Let y(m) = -3*m + 15. Let g(i) = -2*k(i) - y(i). Let j be g(6). Suppose j*f + 38 = 2*h - 47, -5*h - 3*f = -228. Is 6 a factor of h?
False
Let g(m) = -3089*m**2 + 3088*m**2 - 20 + 8 - 13*m - 2*m. Suppose -4*a = -o - 2, -5*o - 20 = -o - 4*a. Is g(o) a multiple of 6?
True
Suppose 2933*v + 38766 = 2935*v. Does 213 divide v?
True
Suppose 3*w - 13941 = -2*s, -3*s + 20859 = 8*w - 11*w. Is s a multiple of 8?
True
Let q be (2720/(-12))/4*69. Does 12 divide q/(-65) - 6/39?
True
Let o(i) = 519*i - 597. Does 78 divide o(27)?
True
Suppose 2*d - 4*g = 5362, 759*g = 2*d + 754*g - 5366. Is 12 a factor of d?
False
Let o(b) = 156*b - 4. Let h be o(4). Suppose -5*t + 2781 = -2*g, -t + 3*g - 56 = -h. Suppose -5*f = -t + 95. Is f a multiple of 35?
False
Let f be (14420/(-18))/(-5) + 2/(-9). Let p be (-420)/8 + 27/18. Is 10 a factor of f/24*(p/(-6) - -2)?
True
Let n be 6 + 3 + -9 - -111. Is 0 + 8 + -4 + n - -2 a multiple of 13?
True
Let a(v) = 7*v + 1310. Let w be a(0). Does 9 divide 4/6 - (w/(-15) + 7)?
True
Let l = 3 + 20. Suppose 0 = -4*v + 3*d - 0*d - 7, v - 5*d + l = 0. Suppose 4 = b - p - v*p, 3*b - p = 20. Is 7 a factor of b?
True
Let l(v) = 65*v - 44. Let m = 31 + -27. Is l(m) a multiple of 12?
True
Suppose -38*s + 21851 + 26789 = 0. Is s a multiple of 20?
True
Suppose 3097*v - 15302 = -h + 3101*v, -4*h + 61263 = -5*v. Is h a multiple of 163?
True
Let p = 1649 + 340. Is 13 a factor of p?
True
Is 81 a factor of ((-805)/(-315) - (-12)/27) + 2751?
True
Suppose 0 = -8*h + 12781 + 3587. Is 31 a factor of h?
True
Let o(n) = -n**3 - 88*n**2 - 143*n + 88. Does 16 divide o(-88)?
True
Let z(o) = -157*o + 3464. Does 68 divide z(16)?
True
Let a(f) = -f**2 - 21*f + 118. Let s be a(-35). Let l = 450 + s. Is l a multiple 