se f*h - 35*h = -12150. Is 30 a factor of h?
True
Let p(r) = r**3 - 6*r**2 + r + 4. Let k be (-3 - -6)*(-14)/(-6). Let z be p(k). Suppose o - 7*o + z = 0. Does 4 divide o?
False
Is 9/(27/112890) + (-56)/(-14) - 1 a multiple of 332?
False
Let l be (42/(-24) + -5)/(2/8). Let x be 258/9*3*l/(-6). Suppose 0 = 10*a + 147 - x. Does 24 divide a?
True
Suppose -181*q - 3735 = -190*q. Is q a multiple of 9?
False
Is 13 a factor of (-2921)/(-5) - ((-28)/10 + 2/1)?
True
Suppose 8*c = 13*c - 175. Let x = c + -23. Suppose -5*j - 13 = x, 18 = i + 2*j. Does 27 divide i?
False
Suppose 191 = -2*k - 13. Does 38 divide k/(-6 + 3) - -4?
True
Let y = -649 - -1360. Let t = -313 + y. Is 16 a factor of t?
False
Let j be (-1)/((-3)/(-1) + -2) - -3. Let m be 1/(-2)*j - -145. Let f = m - 45. Is f a multiple of 11?
True
Let t(u) = 132*u + 1. Suppose -1 = -5*b - 6. Let a be t(b). Let g = a - -257. Is g a multiple of 18?
True
Let o(r) = -20*r - 91. Let x be o(-20). Suppose 3 = c, 2*c - x = -3*q + 348. Does 31 divide q?
True
Is 20851 - ((-88)/20 + ((-108)/30 - -3)) a multiple of 132?
True
Suppose -3*h + 3645 = -5*w - 6526, -3*w = -3*h + 10179. Is h a multiple of 10?
False
Let l(v) = 102 + 78 + 2*v + 2*v - v. Is l(20) a multiple of 16?
True
Suppose -31941 = 9*x + 30*x. Let k = x - -1677. Is k a multiple of 13?
True
Suppose -5*v + 3*o + 24 = -2*v, 2*o = -v + 14. Does 11 divide (v + -1)/(33/363)?
True
Suppose 18 = -7*d - 136. Let a = d + 24. Suppose 69 + 13 = a*q. Is 17 a factor of q?
False
Let o be (12/9)/(10/(-15)). Let g be (o/(-12))/((-15)/(-45))*4. Suppose 5*t - z - 40 = -4*z, -g*z - 32 = -4*t. Is 8 a factor of t?
True
Let t(o) = 82*o**2 + 4*o + 1. Let v be t(-1). Let h = v - 67. Does 9 divide h?
False
Let v(r) = -11*r + 38. Let f be v(32). Let c = -307 - f. Is 3 a factor of c?
False
Let w(o) = 60*o - 28*o**2 + o**3 + 2 - 12 + 0 + 0 - 13. Is 6 a factor of w(26)?
False
Let i = -219 + 6664. Does 27 divide i?
False
Suppose -11123 = -u + 4*j, -3*u + 5*u = -j + 22237. Does 4 divide u?
False
Let g = 146 - 101. Let r = 69 - g. Is r a multiple of 24?
True
Let f(o) = 3*o**3 - o**2 - 12*o - 6. Let l be f(6). Let k = l + -102. Is 36 a factor of k?
True
Let f be ((-104)/65)/((-6)/8985). Suppose 34*w + 424 = f. Does 29 divide w?
True
Let q(m) = 3*m**2 - 16*m + 4. Let l be q(5). Let n be -1 - (0 - (l - -2)). Suppose -u + 14 = -n*u. Is 7 a factor of u?
True
Let j = -121 + 240. Let c(b) = 6*b**3 + 104*b**2 - 4*b**3 - b + 15*b + 6 - j*b**2. Is c(8) a multiple of 14?
True
Let v be 84/8*(-8)/(-6). Suppose -3*t - v + 0 = 2*k, k + 5*t + 21 = 0. Does 10 divide 40/10 - 66*k?
True
Let a = -25 + 906. Is a even?
False
Let d = -3214 - -5678. Is 56 a factor of d?
True
Suppose 0 = -8*r + 1238 - 174. Let v(p) = -p**2 - 5*p + 28. Let f be v(8). Let x = r + f. Is x a multiple of 16?
False
Suppose -2*s + 1305 = -0*q + 5*q, 4*q + 3180 = 5*s. Let a = 191 - 191. Suppose a = -3*v - 2*v + s. Is v a multiple of 16?
True
Suppose -5*r - k = 242, r - k = -2*k - 50. Is (-1)/(3/162)*r/18 a multiple of 16?
True
Let t(d) = -12*d**2 - 3*d + 5. Let z be -1*((-4)/6)/(5/30). Let m(x) = 12*x**2 + 3*x - 5. Let g(u) = z*t(u) + 5*m(u). Does 25 divide g(3)?
False
Let d(b) = 4*b**3 + 22*b**2 + 12*b + 41. Is 125 a factor of d(11)?
False
Is 176 a factor of 69147 + (-23 + (-799)/(-34))/(1/(-12))?
False
Let m(f) = -f + 15. Let u be m(0). Suppose 21*p = u*p - 1152. Is 49 a factor of (-7)/(28/p) + 1?
True
Let f(h) = -h + 13. Suppose -7 - 17 = -4*k - 5*v, 0 = -v - 4. Let y be f(k). Suppose 3*q + 33 = 2*m - y*q, 2*m + 4*q - 42 = 0. Is 19 a factor of m?
True
Suppose t = 3*n - 2*t - 27, 12 = 3*t. Suppose -2*q + 5*s = -0 - 12, q + s - n = 0. Is q*(-4)/((-12)/9) a multiple of 5?
False
Suppose 0 = -a + 5*o - 18, -5*a + o + 2*o = 2. Let b be 4/a - 0 - (2 + 101). Let k = b - -224. Is k a multiple of 11?
False
Suppose -484*w = -480*w + 4, 4*t - 34282 = -2*w. Is 42 a factor of t?
False
Let t(v) = 584*v - 20651. Is 41 a factor of t(52)?
True
Is (0 - (-1)/(-4)) + (-954746)/(-104) a multiple of 7?
False
Let v be (-7952)/(-72) + 8/(-18). Let r be -1*(-2)/(-4)*-136. Let n = v - r. Is 14 a factor of n?
True
Suppose 2*l - 14 = 0, 26*c - 2*l = 29*c - 4466. Is c even?
True
Suppose -144 = -8*f - 32. Let h(i) = -28 - 4*i**3 + 6*i**2 - 7*i + 9*i**2 + 3*i**3. Is h(f) a multiple of 10?
True
Suppose -17*v + 1084 = -13*v. Let w = v - 154. Does 22 divide w?
False
Let i be (3/(-4))/((-78)/32656). Suppose 15*o - i = 14*o + 2*z, -2*o = 3*z - 621. Is o a multiple of 6?
True
Suppose 2*l - 12 = -3*j - 3, -j - l + 2 = 0. Let x(g) = -3*g**2 - 3*g + 3. Let u be x(-3). Is 6 a factor of 16/(-1*j/u)?
True
Suppose 42 = 5*q - 38. Suppose 26*p - q*p = 20. Suppose 4*f = p*f + 2*c + 70, -f = 3*c - 23. Does 7 divide f?
False
Let o = -29 + 21. Let x(b) be the first derivative of -b**4/4 - 2*b**3 + 13*b**2/2 - 15*b - 4878. Does 3 divide x(o)?
True
Let m(q) = 151*q - 111. Let i be m(10). Let n = -928 + i. Is n a multiple of 30?
False
Let m = -275 - -316. Let w = 184 - m. Does 11 divide w?
True
Is (-27)/(-12) - (-314801)/92 a multiple of 107?
True
Suppose 6*c - 199 - 197 = 0. Suppose -6*r - 5*r + c = 0. Suppose -4*k + 174 = d, -k = k + r. Is d a multiple of 28?
False
Suppose 2*p = -4*d + 962, 9*d + 3*p = 4*d + 1203. Suppose -846 = -6*u - d. Is 20 a factor of u?
False
Suppose 67*j = -87*j + 37268. Is j a multiple of 242?
True
Suppose -2*p + 18 = 4*p. Let c be (-10530)/(-50) - p/5. Suppose 0*n = 7*n - c. Is n a multiple of 10?
True
Suppose 0 = -4*a - 4*m + 6408, 2*a = -540*m + 544*m + 3174. Is a a multiple of 3?
False
Does 2 divide (0 + 1)*182 - (-180)/30?
True
Suppose 152 = -4*q - 5*c, -4*c - c = 3*q + 114. Let j = 50 + q. Suppose 5*g - 50 = -5*d, -4*d - 3*g + j = -31. Is 13 a factor of d?
True
Let n = 14 - 7. Let d(q) = -n + 5 - 2 - 10 + 20*q. Is 38 a factor of d(4)?
False
Let y be (36/27)/(-2 + (-192)/(-99)). Let u = y + 31. Suppose u*o - 7*o = -4*b + 136, 12 = 3*b. Is 30 a factor of o?
True
Suppose 1 = 5*o + 21, 2*f + o - 6 = 0. Suppose -611 = -5*b - 3*i, -f*b + 183 = -5*i - 412. Does 13 divide b?
False
Let p(m) = 3653*m - 571. Does 110 divide p(5)?
False
Suppose -35*k + 290 + 130 = 0. Is 9 a factor of (-12)/32*k*-22?
True
Let m(c) = 514*c**2 + 37*c - 25. Does 32 divide m(-5)?
True
Let b = 18 + -16. Suppose 0 = -5*h + 15*x - 10*x + 1010, 2*x + b = 0. Does 67 divide h?
True
Let y(w) = 130*w + 108. Let n(v) = 65*v + 55. Let r(l) = -7*n(l) + 3*y(l). Is r(-7) a multiple of 20?
False
Let o(u) = -18*u - 262. Suppose -58*h - 1001 = 1261. Does 11 divide o(h)?
True
Let s = 120 - 120. Is 5 a factor of (s/(-3) + -4)/((-24)/300)?
True
Let s(c) = 17*c**2 - 16*c + 32. Let v be ((-246)/(-30) + (-3)/15)/2. Is s(v) a multiple of 16?
True
Does 8 divide (-2*893/4)/(54/(-108))?
False
Let w = 178 + -176. Suppose 4*y + 0*y + c - 96 = 0, w*c = 4*y - 84. Is 2 a factor of y?
False
Suppose 0 = h - 24*h + 161. Suppose 4*y + h*o - 590 = 10*o, -y + 147 = -o. Is 29 a factor of y?
False
Suppose 0 = -99*f + 562669 - 177757. Does 54 divide f?
True
Suppose 151*k - 143458 = -33561 + 324983. Does 3 divide k?
True
Let a = -11778 - -17277. Does 13 divide a?
True
Suppose 10 = 5*v, -2*q - 14 = -0*v + v. Let u(j) = 8*j + 11. Let y(a) = 16*a + 20. Let p(z) = -5*u(z) + 2*y(z). Is p(q) a multiple of 35?
False
Let g be 537/(-15) + (3/(-15))/1. Let z = -48 - g. Let r = z + 44. Is r a multiple of 4?
True
Suppose 965*v + b + 80557 = 967*v, 3*b - 201431 = -5*v. Is 11 a factor of v?
True
Suppose v = -3*y + 3*v + 32, 2*v - 8 = -y. Let l(s) = s**2 + 4*s - 17. Is 20 a factor of l(y)?
False
Suppose 0 = -15*h - 3587 + 19067. Does 24 divide h?
True
Suppose 278*s = 277*s + 176. Let o = 243 - s. Does 4 divide o?
False
Let x(u) = 3*u**2 + 45*u - 4. Let c be x(-19). Let g = -96 + c. Let s = -69 + g. Is 23 a factor of s?
False
Suppose -503292 = -20*q + 2*q + 345858. Is q a multiple of 75?
True
Let d = -174 + 178. Suppose r = d*o + 46, -5*r + o + 0*o = -249. Does 8 divide r?
False
Let m = 468 - -42. Suppose -m = -a + 2*n, -145 = a + 5*n - 690. Suppose 1172 = 4*h + 4*s, -1690 = -4*h - 3*s - a. Is h a multiple of 42?
False
Let x be 13/((-78)/(-24)) - -8. Is (-12)/9*(x/(-4) + -411) a multiple of 69?
True
Suppose -19*x + 5889 + 49938 = 7415. Is x a multiple of 28?
True
Suppose 133*c + 232617 = 154*c. Does 6 divide c?
False
Let g be (-1)/((-7