actor of (-6)/30*(-25)/15 - 29516/(-3)?
False
Suppose -4*j - 16 = -4. Let u be (-173)/(-2 - j/2). Suppose 326 = 5*y + q, -4*q - u = -8*y + 3*y. Does 12 divide y?
False
Suppose -5*g + 22055 = -h, 3*g - 166*h + 162*h = 13250. Is 27 a factor of g?
False
Suppose 0 = 4*r + 4*w - 296, -2*r - 2*w + 141 = -7*w. Let t = 89 - r. Is 27*t/(-36)*9/(-6) a multiple of 18?
True
Suppose -478 - 146 = -16*f. Let b = f + 49. Does 44 divide b?
True
Let v(x) = -20*x - 139. Let l be v(-11). Suppose -2*q - 15 = 27. Let w = q + l. Does 18 divide w?
False
Let d = -313 + 316. Suppose -d*h - 3*n - 410 = -5*h, -820 = -4*h - 4*n. Does 41 divide h?
True
Let p = 1391 - 2039. Is 7 + -2 + (1 - p/2) a multiple of 7?
False
Suppose 5*i = -4*g + 41, -4*g - g = -5*i + 5. Suppose i*j = 36 + 19. Does 7 divide 3240/88 + 2/j?
False
Let t be 144 + 2 + -8 + 1. Suppose j - t = 161. Does 15 divide j?
True
Suppose -701829 = -8*m - 20*m + 614395. Is 29 a factor of m?
False
Let m(z) = -z**3 - 9*z**2 + 20*z. Suppose 7*r - 44 = 11*r. Let y be m(r). Suppose -3*c + 5*t + 1 + y = 0, 2*c - 4*t = 14. Is c a multiple of 11?
True
Suppose -13*k = 16*k + 5278. Is (455/k)/((-5)/852) a multiple of 71?
True
Suppose -v - 4*r + 1507 + 385 = 0, -r + 7598 = 4*v. Does 20 divide v?
True
Let v = -3405 - -4234. Is 9 a factor of v?
False
Let w = 479 + -476. Suppose -3*f + 532 = 6*y - 10*y, w*f = -2*y + 562. Does 39 divide f?
False
Suppose 0*h = -h - 9. Is 7 a factor of (-19 - h)*4*-2?
False
Does 78 divide 1/((-11)/(-24475))*1?
False
Let r(k) = 22*k + 38. Let s(t) = -12*t - 19. Let b(i) = 3*r(i) + 5*s(i). Is b(4) a multiple of 5?
False
Let u be 4/(-22) - (952/(-22))/(-4). Let k = 16 + u. Suppose 1216 = k*g - 2*l + 3*l, -g + l + 242 = 0. Does 22 divide g?
False
Let g(m) = -m**3 - 20*m**2 - 19*m + 9. Let v be g(-19). Let x = 36 - v. Does 30 divide 1516/18 + (-6)/x?
False
Suppose 4*a - 76 = 3*k, 5*k - 3*k + 56 = 3*a. Suppose -4*o - a = -0*o, -5*i = -o + 121. Let f = i - -103. Is 12 a factor of f?
False
Suppose 5*m = z - 3*z + 2135, -3*z + 5*m = -3240. Suppose 5*a - 1040 - z = 0. Suppose 0 = -3*r - 3*x + 291, -a - 67 = -5*r - 4*x. Does 17 divide r?
True
Let x = 17009 - 8248. Does 110 divide x?
False
Suppose -1266 = -k + o, k + o = 376 + 878. Does 105 divide k?
True
Suppose 4*s + 4 = 4*x - 4, 2*x = 3*s + 2. Suppose -1881 = 4*t + x*d - 6661, 2*t - 2*d - 2398 = 0. Is 18 a factor of t?
False
Let c = -151 - -144. Is 4 + 7/(c/(-338)) + -2 a multiple of 19?
False
Let n(q) be the second derivative of q**4/4 + 3*q**3 + 14*q. Let m be n(-6). Suppose 3*o + 2*b = -b + 129, -3*o - 5*b + 129 = m. Is o a multiple of 12?
False
Let s be (-1)/(6/18) + 131. Let p = 216 - s. Is 13 a factor of p?
False
Let c(m) = -m**2 - 4*m + 6. Let o be c(3). Let z be 24/(-30)*15/(-6). Is 2 - 159/o - z/(-5) a multiple of 6?
False
Let r(f) = f**3 - 47*f**2 + 91*f - 29. Is r(47) a multiple of 8?
True
Suppose -5*q - 32 = -2*w, -3*w - 9 + 36 = -4*q. Let f be q + 9 - (0 + -14). Suppose -4550 = 4*g - f*g. Is 35 a factor of g?
True
Let n be 1 - (-4)/((-4)/(-3)). Suppose -5*a + 2*g + 1597 = 455, -2*a + n*g = -444. Suppose 4*u = a + 18. Is u a multiple of 18?
False
Suppose 0 = -26*v + 19*v + 14. Suppose -5*o = 4*q - 4002 + 226, 0 = -4*o - v*q + 3022. Is o a multiple of 28?
True
Let s be 71/(-71) + 0/2 + 3. Let w(p) = 19*p + 7. Does 6 divide w(s)?
False
Is 8 a factor of (-814033)/(-110) + (-36)/(-30) + 3/(-2)?
True
Suppose -3*w - 702 = -21*w. Suppose -3*a + w = 27. Suppose 756 = 3*t - 3*g, -216 = -a*t + 2*g + 784. Is t a multiple of 25?
False
Suppose 3*d - 23 + 131 = 0. Let x be (-63)/d*(35 - -1). Does 13 divide (x/(-12))/(5/(-60))?
False
Suppose -84729 = -6*d - 3909. Does 30 divide d?
True
Let q(u) = 8*u**2 + 29*u - 8. Let h = -212 - -204. Is 34 a factor of q(h)?
True
Suppose -13*x + 122*x - 8*x = 85244. Does 4 divide x?
True
Let q(b) = -2*b**2 + 3*b**2 - 4*b + 3 - 8 - b. Is q(10) a multiple of 15?
True
Let v(c) = c**2 - 25*c + 50. Let o be v(23). Suppose -o*x - 2795 = 1029. Is 2 + x/(-20) + (-2)/(-10) a multiple of 3?
False
Suppose -344*g + 8646 = -333*g. Is g a multiple of 6?
True
Suppose 4*l = -2*o + 7*o - 1938, 0 = 2*l - o + 966. Is -15 + 14 - (l - -1) a multiple of 48?
True
Let p be 10/((-80)/(-12))*(-4)/(-3). Let j(v) be the first derivative of 64*v**3/3 - 5*v**2/2 + 3*v - 25. Is 28 a factor of j(p)?
False
Suppose 0 = -4*b + 4*s + 8832, 90 = -3*s + 96. Is b a multiple of 13?
True
Is (-135)/(-60) - 11662*45/(-40) a multiple of 43?
False
Suppose 246 + 162 = -3*j. Let d = 342 + j. Does 12 divide d?
False
Suppose 17*b + 5*b = -25*b + 321245. Is b a multiple of 35?
False
Suppose 4*j - 390 = -j. Suppose -4*t - 166 = 2*v, -8*v + 15 = -5*v. Let i = j + t. Is i a multiple of 19?
False
Suppose 2803 = 5*o - 2*x, -3*x + 8*x = -5*o + 2775. Suppose 5*l = -n + o, -2*n + 1582 = n - 4*l. Does 15 divide n?
False
Suppose 0 = 14*k - 4 - 24. Suppose k*s = 436 + 376. Is 29 a factor of s?
True
Is (-80)/(-12)*(-10 + 17110)/12 a multiple of 19?
True
Suppose 0 = -12*j + 9*j - 5*z + 8, -6 = -5*j - z. Suppose -9 = -3*g + 3*i, g + j = -g - 5*i. Suppose 2*d + 271 = g*x - 121, 2*d = 4. Does 20 divide x?
False
Does 20 divide 17/(-51)*(-74 + 2)*970?
True
Let f = -35 + 66. Let m = 72 + -40. Suppose -m*t + 60 = -f*t. Does 9 divide t?
False
Does 6 divide 3*496/(-72)*3/4*-134?
False
Let x be (1/(-3))/(((-10)/(-2))/(-4785)). Suppose -2*d - x + 1775 = 0. Suppose -4*c - u + d = 0, -c = 2*c + u - 545. Does 10 divide c?
False
Let k be 1/(418/(-308) - 3/(-2)). Suppose -k*l = -6*l - 96. Is 4 a factor of l?
True
Let x(b) = -118*b**2 + 16*b + 27. Let f be x(-2). Is (-5)/(10/96)*f/27 a multiple of 28?
False
Let p(s) = 5*s + 43. Let c be p(-5). Does 24 divide 1*c*(-400)/(-15)?
True
Suppose 19*l + 5*r = 14*l + 3630, 3618 = 5*l + 2*r. Is 19 a factor of l?
True
Is 17 a factor of 127411/6 + 2/((-27)/9 + -9)?
False
Let d(j) = -j**3 - j**2 + 2*j + 5. Suppose 3*z + 10 = -2*t, -3*t + 12 = -2*z + t. Is 45 a factor of d(z)?
True
Suppose 0 = 2*k - 5*k + 63. Let g be 7/k - (-28)/6. Suppose -2*z + 74 = 3*w, -226 = -g*z - 4*w - 55. Is 13 a factor of z?
False
Let b be -105 - -101 - (291 + 2/(-2)). Let x = b + 546. Does 12 divide x?
True
Let q(b) = b**3 - 4*b**2 - 5*b - 2. Let c be q(5). Let h be 1/c*-2 + 2. Suppose 0 = 2*t + 2*k - 0*k - 300, 3*k = h*t - 450. Is t a multiple of 15?
True
Let p = 487 + -348. Suppose -2*v = -197 - p. Is v a multiple of 7?
True
Let n = -11140 + 23041. Does 4 divide n?
False
Suppose 29933*f = 29961*f - 60956. Is 13 a factor of f?
False
Let f(g) = -370*g - 766. Is f(-12) a multiple of 24?
False
Let b(c) = -436*c + 3974. Does 16 divide b(8)?
False
Suppose 3*x + 15 = 0, p + 21445 = 6*p - 5*x. Suppose 3*w + 9*a - 4*a = 3213, 0 = 4*w - a - p. Suppose -263 = 8*y - w. Is 12 a factor of y?
False
Let f = -10 - -13. Suppose 0 = 4*i + 2*v - 858, i + 5*v - 106 = 122. Suppose 375 = 5*w + 5*t, 0*w + f*w = t + i. Is w a multiple of 4?
True
Let d = 92 - 58. Suppose 18 = -2*m + 4*r, -m + 5*r = d - 10. Does 5 divide 35 - (3/m + -4 + 1)?
True
Let f(x) = -x**2 + 14*x - 41. Let y be f(5). Suppose -4*t = -4*w + 1352, -y*t + 653 = 4*w - 683. Is 8 a factor of w?
True
Let r = 38 + -415. Does 19 divide (3 - r)*(-4)/(-4)?
True
Suppose 0*a + 3*a - 76080 = 5*p, 4*a + p = 101394. Is 150 a factor of a?
True
Is 14 a factor of 7/(-28) + -332*4333/(-112)?
False
Suppose -5711 + 24107 = 9*m. Is m a multiple of 11?
False
Let h = 33 + -30. Suppose 4*g - 5*c - 16 = 0, 2*g = -h*c - 0*c + 8. Suppose -2*q + 0*q - 74 = -g*d, 4*q + 20 = 0. Is 3 a factor of d?
False
Suppose 5*f + 835 = 655. Let y(x) = -x**3 - 37*x**2 - 58*x - 72. Does 18 divide y(f)?
True
Let y(p) = p**2 - 14*p - 53. Suppose 0 = -0*j + j - 24. Is y(j) a multiple of 31?
False
Suppose 9*b = 8*b - 2. Let h = b + 1. Is (-8)/(-2) + 27 + h a multiple of 6?
True
Let a(b) = -1601*b + 3206. Does 33 divide a(-12)?
False
Let n be (-11 - -10)/(1 - 2)*1197. Suppose -5*s - 1229 = -3*v, -2*v - 3*s = v - n. Is 13 a factor of v?
True
Suppose -27063 = 4*g - 97*g. Is g a multiple of 2?
False
Let u = 93818 + -62889. Is 43 a factor of u?
False
Let l = -6008 + 9626. Does 6 divide l?
True
Suppose -4*r + p = r - 15, 2*r - 3*p - 19 = 0. Let f be 308/8*(-306)/(-63)*2 - -4. Suppose 5*n - 199 = -3*i + f, i + 233 = r*n. Is 28 a factor of n?
False
Let z(r) = 139*r + 6012. Is z(-19) even?
False
