- 2*v + 2667 = 0. Is 50 a factor of m?
False
Let g(l) = 3*l**2 + 6*l + 3. Let c be 10/6 + (-4)/(36/(-3)). Suppose -t = -0*y - 4*y, 0 = -5*t - c*y - 22. Is 27 a factor of g(t)?
True
Let y = -28 + 33. Suppose 0 = -y*f - 2*x + 231 + 718, 5*f - 2*x = 941. Let j = f + -102. Does 42 divide j?
False
Let s = 18985 + -16631. Does 22 divide s?
True
Let q = -279 + 279. Suppose 0 = 3*h + 15, -t - 5*h + 164 = -q*t. Does 21 divide t?
True
Let b(i) = 6*i**2 + 25*i - 126. Does 16 divide b(22)?
True
Let a = 344 - 146. Suppose -5*w - 5*h + 1152 + a = 0, w - 5*h - 300 = 0. Is 25 a factor of w?
True
Suppose 23*k + 58 = 2243. Suppose -5*t + k = r, -205 = -2*r - 3*t - 2*t. Is r a multiple of 2?
True
Suppose 2*c - 431 = 3*f, -2*f = -f + 5*c + 155. Let b = f + 352. Is b a multiple of 7?
False
Let q(y) be the first derivative of 7*y**3/3 + y**2 + 10. Is q(-6) a multiple of 48?
True
Let x be ((-336)/15)/(2/(-10)). Suppose 2*r = -2*r - 4*g - x, 3*r + 96 = 3*g. Does 38 divide (-4)/r + 5696/30?
True
Suppose -v - d = d + 3, -4*v = 3*d - 3. Suppose 4*a - 4*c = 824, 2*c = -v*c + 15. Is 19 a factor of a?
True
Let h = -277 - -1112. Let j = h - 478. Does 7 divide j?
True
Suppose 9*h = 45688 + 31712. Suppose 4*k = h - 2672. Is k a multiple of 69?
False
Suppose 0 = -5*s - 2*u + 27205, -127*s + 131*s - 4*u - 21736 = 0. Is 16 a factor of s?
False
Is 34 a factor of 28016/(-40)*1/(1/(-5))?
True
Suppose 5*f + 4*k - 4 + 2 = 0, 6 = 3*f + 4*k. Let l be (-11 + 11)*(-1)/f. Suppose l = 6*v - 365 - 145. Does 13 divide v?
False
Suppose 25*j - 210 = 90. Is 6 a factor of 90 + -4 + (-24)/j?
True
Suppose 3*y + 0*y = v + 7, -y - 5 = -4*v. Suppose 1806 = 5*i + v*f, i - 369 = -3*f - 0*f. Is i a multiple of 18?
True
Suppose -271 = -36*x + 2069. Suppose z - 34 = 51. Let s = z - x. Does 3 divide s?
False
Does 143 divide (-40829856)/(-1111) - 15/(-33)?
True
Let w(r) be the second derivative of -11*r**3/6 - 2*r**2 + 7*r. Let n = 141 + -146. Is w(n) a multiple of 39?
False
Does 59 divide (-2)/4*-2 - 18/(-45)*5090?
False
Let q = 38 - 17. Let k be -2*148/(-8) + 5. Suppose q*x - k = 20*x. Is x a multiple of 21?
True
Let o(j) = j**2 + 65*j - 2234. Is o(-103) a multiple of 3?
True
Suppose 5*y = -5*r + 157045, -49*y = r - 53*y - 31429. Does 278 divide r?
False
Let i(x) = -3*x - 137. Let w be i(-26). Let t = 45 - 25. Let h = t - w. Does 33 divide h?
False
Let s be 1*(-94)/5*(-25)/10. Let l = s - 47. Suppose 3*a + j - 135 = l, 5*a - 115 - 110 = 3*j. Is 11 a factor of a?
False
Let q(k) = -k**3 + 42*k**2 + 16*k + 171. Is 183 a factor of q(18)?
True
Let u = 64 - 19. Let s = 75 - -309. Suppose -s = -49*m + u*m. Does 16 divide m?
True
Suppose 4*u + 292 = -5*y + 6*y, 0 = 4*u + 12. Let k = y + -198. Is k a multiple of 11?
False
Suppose 5*m = -x - 10, -13*x + 15*x = 4*m + 22. Is ((-8448)/36 + -8)/(1/m) a multiple of 28?
True
Suppose -3*u - 16 = -5*k - 44, k + 9 = 4*u. Let g be u/(1/(-3))*1 - -74. Let d = g - 15. Is 8 a factor of d?
True
Let f be (674 + 7)/((-3)/(-38)). Suppose -11*o + f - 3104 = 0. Suppose 0 = 2*h - 2*y - 204, 3*y - 6*y = 5*h - o. Is 8 a factor of h?
False
Suppose 0 = -k + 7 - 16. Let r be (56/8 + k)/(2/(-89)). Let h = 68 + r. Is 10 a factor of h?
False
Let j be 6*(-4)/36*-3. Suppose 11 - 7 = -j*x, 0 = 4*g + 5*x - 2710. Is g a multiple of 34?
True
Let r(s) = -3*s**2 + 45*s + 18. Let g be r(14). Suppose 0 = -g*y + 22038 - 1758. Is y a multiple of 87?
False
Let d(h) = h**2 - 10*h - 31. Let k be d(14). Suppose k*o = -0*o + 875. Is o a multiple of 35?
True
Let a be (87/(-12)*-1)/((-5)/(-20)). Is (a - 3)/((-6)/(-57)) a multiple of 13?
True
Suppose 7*p = -34*p + 41. Let w(u) = -2*u + 3*u - 3*u**2 + 141*u**3 + u**2. Does 17 divide w(p)?
False
Let a(k) = -59*k**3 - 4*k + 3. Let n(x) = 117*x**3 + 10*x - 7. Let y(u) = -5*a(u) - 2*n(u). Suppose -4*q + q = -3. Is y(q) a multiple of 30?
True
Let y(c) = 3*c**2 + 16*c + 14. Let s be y(-18). Suppose -5*a - 3*x + 329 = -4*a, -s = -2*a + 4*x. Is 10 a factor of a?
False
Let b(m) = 29*m**3 + 5*m**2 + 105. Let p(t) = -7*t**3 - t**2 - 26. Let g(n) = -2*b(n) - 9*p(n). Let y(f) be the first derivative of g(f). Does 10 divide y(-3)?
False
Suppose -9 = -3*q + 3*d, 4*d - 7 = 2*q - 19. Suppose q*f + 41 = f - z, -4*f + z + 155 = 0. Suppose -3*r + 2*a = -137, -3*a - f = -r - 4. Is 7 a factor of r?
True
Suppose -5*z + 0*z + 235 = 0. Suppose -3*b + d - z = 377, -5*d = 3*b + 400. Is ((-114)/(-133))/((-2)/b) a multiple of 12?
True
Suppose 5*v + 230 + 605 = 0. Let n = v - -274. Let t = -37 + n. Does 10 divide t?
True
Suppose -2*h = i - 20, -4*h + 16 = -15*i + 11*i. Let b(x) = -2*x - 132. Let g(m) = -m - 88. Let y(f) = 5*b(f) - 8*g(f). Does 14 divide y(h)?
True
Suppose -23*i = -26*i + 42. Let x(b) = 6*b - 40. Let y(s) = -8*s + 41. Let l(z) = -2*x(z) - 3*y(z). Is l(i) a multiple of 16?
False
Does 25 divide (-2 + 3 + 1)/(-17) - 3005616/(-136)?
True
Suppose -4*p + 40*s = 36*s - 7184, -13*p - s = -23278. Is 16 a factor of p?
False
Let b = 31326 - 15835. Does 7 divide b?
True
Let q = -10 + 13. Suppose -q*h + 5 = -1. Is ((-21)/35)/(h/(-250)) a multiple of 21?
False
Suppose -5*c = 5*o - 25, -2*c - 2*o - 5 = -5*c. Suppose -i = -3*l - 76, 0 = l - c - 0. Suppose 2*q + 3*d + 315 = 5*q, -i = -q + 5*d. Does 22 divide q?
True
Let p = 140 - -49. Suppose 198*b = p*b + 630. Is b a multiple of 5?
True
Let k(o) = 260*o**2 - 51*o + 31. Is 79 a factor of k(6)?
True
Let d be 3/((-36)/32)*-57. Let w = d - 22. Is 13 a factor of w?
True
Let v = -290 - -293. Suppose -v*k = 5*l - 2746, 30 + 3662 = 4*k - l. Is k a multiple of 81?
False
Is 2 a factor of (-20)/(-24) - ((-6)/(-12))/((-6)/64454)?
True
Let m(i) = -7*i - 27. Let j = 147 - 153. Is 3 a factor of m(j)?
True
Is 4 + ((-52476)/(-10) - (14 + (-936)/65)) a multiple of 6?
False
Let a = -29044 + 51589. Is a a multiple of 66?
False
Let h be ((0 - -25) + 2)*(5 - 6). Let x = 31 + h. Suppose -3*b = -4*z + 121, z + x*z = b + 165. Does 17 divide z?
True
Let v(z) = z**2 + 216*z + 20400. Does 15 divide v(0)?
True
Let g(a) = a**3 + 4*a**2 - 3*a + 11. Let z be g(-5). Let o be z/((-1 + 3 - 3)/15). Let b = o + 27. Is 3 a factor of b?
True
Let u(m) = 25*m**2 - 6*m + 7. Let i be u(3). Suppose -b = 10 - i. Suppose -b - 41 = -7*a. Does 28 divide a?
False
Let u(z) = 2*z**3 - 12*z**2 - 111*z - 32. Is u(13) a multiple of 33?
True
Suppose 20*y + 108 + 52 = 0. Let k(b) = 9*b + 1. Let s be k(-1). Is y/s + 1 + 4*40 a multiple of 27?
True
Let s(p) = 32*p - 13*p - 12*p - p**2 - 2*p + 4. Suppose 20 = 5*u + 2*f, -4 = -u + 3*f - 5*f. Is 8 a factor of s(u)?
True
Suppose 110*m - 6*m + 31*m = 92205. Is 44 a factor of m?
False
Suppose 5*p - 60 = 5*a, 2*p - 5*p = -5*a - 60. Is 10 a factor of (-1141)/(-28) + (-3)/a?
False
Let k = 56706 + -41667. Is 27 a factor of k?
True
Suppose -5*k + 5*d + 1170 = 0, -12*k + 13*k = 3*d + 226. Let b = 105 + k. Does 49 divide b?
True
Let w be (3 - (-21)/(-6))*(-4 - 4). Suppose w*y - 5*j + 0*j - 1476 = 0, 0 = -4*y - 2*j + 1504. Does 11 divide y?
True
Suppose -5*v - 3*s - 12 = 0, -3*s - 12 = 2*v - 4*v. Let u(i) = 18 + i + 7 + 21 + v. Is 23 a factor of u(0)?
True
Suppose -43*q = -53*q + 230. Suppose -q*r + 29525 = -6907. Is r a multiple of 99?
True
Suppose -1289400 = 64*t - 169*t. Does 20 divide t?
True
Let j be (3 + ((-9)/4 - 2))*4. Let o be -1 + (-6)/3 + 12 + j. Suppose 3*d + 5*w = 209, 2*d - o*w + 0*w = 132. Is d a multiple of 17?
True
Let n(z) = -3*z**2 + 44*z + 13. Let x be n(15). Let b be (-4)/2*7/(7/x). Suppose -b*v - 3*g + 140 = 0, 2*v + 6*g - 3*g - 76 = 0. Does 8 divide v?
True
Let h = 1770 + 3564. Is 7 a factor of h?
True
Let q = 197 - 218. Suppose -2 = -b - 0. Let m = b - q. Is 23 a factor of m?
True
Let l = -5 + 35. Suppose -u = n, 2*u + 4*n + l = 4*u. Suppose -u*b = 0, -4*x - b + 140 = -6*b. Does 8 divide x?
False
Suppose -9*w = 5*w - 3514. Let k = w - 104. Is 7 a factor of k?
True
Suppose 216205 + 307045 = 161*o. Is 25 a factor of o?
True
Let d be -5 - ((-5)/(-15))/((-5)/25005). Suppose 2*o = 4*i + d, i = -4*o - 876 + 4173. Does 16 divide o?
False
Suppose -2146*i + 2145*i + 2300 = 4*c, i - 2288 = 2*c. Does 7 divide i?
False
Suppose -5*a + 55144 = -4*m, 2*m + 6458 = a - 4578. Does 208 divide a?
True
Suppose -50758 = -3*b + 35690. Is b/80 - 1/5 a multiple of 60?
True
Suppose -3*c + 180737 = -2*j - 67106, -3*j = -4*c + 330456. Does 48 divide c?
False
Sup