 divide g(-32)?
True
Suppose 5*z + 272 = -3*z. Let u = 30 + z. Is 7 a factor of (-7 + 243)*(-1)/u?
False
Suppose -2*n = 2, -3*v - 17*n = -14*n - 3. Suppose -k = 5*c - 32, -3*k - v*c + c = -26. Does 7 divide k?
True
Suppose 78 + 175 = 23*r. Suppose -4*l = -4*a - 1524, 15*a - 1941 = -5*l + r*a. Does 35 divide l?
True
Let d = -1283 - -2346. Suppose 0 = -9*h + 1286 + d. Does 87 divide h?
True
Let a(r) = 2*r**2 + 23*r + 216. Is 30 a factor of a(-78)?
True
Let z(n) = n**2 + 10*n - 19. Let v be z(-12). Suppose 0 = v*p + 4*b - 1015 - 141, 696 = 3*p + 3*b. Is 4 a factor of p?
True
Suppose -3*l = -2*x + 787, -7*l + 3*x = -10*l - 777. Let q be ((-18)/(-21))/((-5)/(-2135)). Let m = q + l. Is 7 a factor of m?
True
Does 33 divide 85146/30 - ((-6)/(-40))/((-144)/(-192))?
True
Let n(k) = -k**2 - 6*k - 2. Let l be n(-6). Let r be ((-20)/(-30))/(l/(-6)). Does 7 divide -14*(20/(-8) + r)?
True
Suppose -w - 16616 = -5*d - 4*w, -4*d - 2*w + 13294 = 0. Is 7 a factor of d?
True
Let o = 33 + -33. Suppose 2*r + 1 + 9 = o. Let u = r + 17. Does 6 divide u?
True
Let l(a) = a**3 + 32*a**2 - 72*a - 5. Does 9 divide l(-23)?
False
Let y(j) = 17*j**2 - 7*j - 23. Let r(q) = 26*q**2 - 10*q - 34. Let f(p) = 5*r(p) - 7*y(p). Is f(-4) a multiple of 3?
True
Suppose 0 = -2*n - 2*s + 33124, 36809 = 3*n + 2*s - 12875. Is n a multiple of 30?
True
Let g(s) = -7*s**3 + 2*s**2 + 27. Let i = 28 + -33. Is g(i) a multiple of 17?
True
Suppose 4*h - 7409 - 9617 = 2*t, 2*h - 8485 = 5*t. Is h a multiple of 71?
True
Suppose 0 = 23*g + 114 + 24. Does 27 divide ((-810)/(-25))/(g/(-220))?
True
Let j(y) be the third derivative of 73*y**6/120 + y**3/6 - 210*y**2. Is j(1) a multiple of 3?
False
Suppose 35*j - 34*j + 2 = q, 3*j = -3*q - 6. Suppose 15*w = 4*a + 19*w - 588, q = 2*w. Does 2 divide a?
False
Let l = -481 + 481. Let j = 8 - 4. Suppose l = -0*r - j*r + 596. Is r a multiple of 34?
False
Let x = -10559 + 12732. Does 7 divide x?
False
Suppose 15729 = -13*v + 2196. Let p = -726 - v. Is 45 a factor of p?
True
Let m(c) be the second derivative of 5/6*c**3 + 0 - 1/20*c**5 + 1/4*c**4 + c**2 + 22*c. Does 15 divide m(-4)?
False
Suppose -h + 7 = 2*t + 3, 2*h + 3*t - 8 = 0. Is 13 a factor of 1 - (-1168)/(8/h)?
True
Let r(l) = -4*l**2 - 68*l + 5. Let c be r(-17). Suppose 49*s = 2*o + 53*s - 822, 4*o - 1605 = c*s. Is 27 a factor of o?
True
Let g be 1 - -2 - -3*(-2 + 1). Suppose 3*p - 4*c + 6 = 0, p + 5*c - 4*c + 2 = g. Let a = 28 - p. Is 15 a factor of a?
True
Is (8316/539)/((-4)/(-4206)*3/7) a multiple of 9?
True
Let p be (-1 + 4)*4/(36/(-2433)). Is 90 a factor of 10 + -9 - (2 + p)?
True
Suppose 7*q + 374 = -1026. Let a = 422 + q. Does 18 divide a?
False
Let c be (-5)/(-2)*(5 + -3). Suppose -20 = c*x, k = -0*k + 3*x + 380. Does 46 divide k?
True
Let t = -113 - -106. Let a = 114 + t. Is 10 a factor of a?
False
Suppose 5*b - 3*w = 2893, 5*b - 3313 + 419 = 4*w. Let n = -230 + b. Is 10 a factor of n?
False
Let g(o) = -o**2 + 1. Let s be g(2). Let d be -7 - s - -3*3. Suppose a - 2*j + 748 = d*a, 0 = -4*a - 5*j + 754. Does 15 divide a?
False
Suppose 11*z - 21 = 18*z. Is 6/4*(8 + (-1036)/z) a multiple of 8?
False
Let q = 2586 - -5422. Does 77 divide q?
True
Let d be 2*(77/2)/(-1). Let a = -50 - d. Is a a multiple of 2?
False
Suppose 34*g + 2*b = 35*g - 5667, 0 = -2*g + 5*b + 11337. Does 39 divide g?
False
Suppose -4*j + 1526 = x - 1724, 4*j - 20 = 0. Let r = -1910 + x. Is 66 a factor of r?
True
Is 67 a factor of (-7)/(-3) + 80/(-60) + (-1 - -3701)?
False
Let u be 457/((2/4)/(1/2)). Let v = 816 - u. Suppose 0 = -3*k - 3*n + 276, -v = -k - 3*k + 5*n. Is k a multiple of 7?
True
Let k be (-52)/(-8)*(-4)/(-13). Suppose -k*z = 3*a + a - 72, 2*a = 0. Does 12 divide z?
True
Suppose -8*l - 558 - 370 = 0. Let c = l - -196. Does 8 divide c?
True
Let t(g) = 567*g**2 + 3*g - 36 - 5*g**3 - 576*g**2 + 6*g**3 + 23*g. Is t(11) a multiple of 13?
False
Let u = -3 - -20. Suppose -u*f + 306 = -0*f. Suppose -2*q + 66 + f = 0. Is q a multiple of 14?
True
Let b(z) = z**2 + 2*z + 660. Suppose -2*n - 22 = -22. Is b(n) a multiple of 15?
True
Let r = 32 + -76. Let f = -203 - -132. Let t = r - f. Is 3 a factor of t?
True
Let g = -138 - -80. Let j(d) = 20*d**2 - 2. Let s be j(2). Let x = s + g. Does 4 divide x?
True
Let d(b) be the first derivative of 111 - 4*b**2 - 68 + 8*b + 8*b. Does 12 divide d(-4)?
True
Let q = 35 - 35. Suppose -4*i - 2*n - 52 = q, 4*i - 3*n + 8*n = -52. Is 17 a factor of 1/(-1)*(i - 4)?
True
Let o be ((-23)/1*-89)/1. Suppose -3651 - o = -14*w. Let t = w - 290. Does 9 divide t?
True
Suppose -4*i + 4000 = 2*t, 0 = -680*t + 682*t + 5*i - 3999. Does 11 divide t?
True
Let w(x) = 0 - 14 - 13*x**2 - 1 + 14*x - 5*x. Let f be w(3). Let n = 195 + f. Does 9 divide n?
True
Suppose 13 = 5*d + 4*f, 3*f = -2*d - d + 9. Let i = -3 - d. Is i*(-9)/((-36)/(-16)) a multiple of 4?
True
Let d(h) = -148*h**3 - 9*h**2 + 6*h + 5. Let w(b) = -37*b**3 - 2*b**2 + b + 1. Let o(i) = -2*d(i) + 9*w(i). Does 14 divide o(-1)?
False
Suppose 0 = 4*t + 4*f - 37044, 55*t = 50*t - 4*f + 46306. Is t a multiple of 11?
True
Suppose 0 - 16 = 4*d, -1664 = -2*w - 2*d. Is 24 a factor of 2/(-1) - -5 - (-1 - w)?
True
Let t = 37793 + -32794. Is t a multiple of 77?
False
Suppose 0 = -q - 33 + 175. Suppose -8*l + 4*l = 2*n - q, 4*n = 4*l - 148. Is l a multiple of 6?
True
Let t(f) = -f**3 - 13*f**2 + 24*f - 23. Let z be t(-15). Let h = z - 38. Is h a multiple of 4?
False
Suppose q + 3*x = 143, 0*q + q - 131 = 3*x. Suppose 5*t = -5*b + 660, -2*b = -5*t - b + 666. Suppose t = 5*w - q. Does 19 divide w?
False
Suppose 10*p = 27*p - 68. Is 6 a factor of 97/p + (-4)/16?
True
Suppose 0 = -5*j + 5, -3*j = 4*t - 7*j + 132. Let v = -32 - t. Suppose v = -w + 44 - 1. Does 18 divide w?
False
Suppose 3*w + 2*g - 14 = 0, -5*g + 2 = -5*w + 17. Suppose w = 5*r - 6. Suppose -r*j - 518 = -5*l, 103 + 395 = 5*l + 3*j. Does 34 divide l?
True
Suppose -3*a - 338 = -5*g, 3*g - 139 = -5*a + 91. Is (4 - -4) + -4 - -2*g a multiple of 16?
True
Let k(q) = 3*q**2 - q - 2*q**2 + 4 + 4*q. Let w(m) = 2*m**3 - 12*m**2 - 13*m - 10. Let n be w(7). Is k(n) a multiple of 4?
True
Let c(d) = -d**3 + 6*d**2 - 2*d + 12. Let j be c(6). Suppose j = 11*i - 44. Suppose a - 3*n - 15 = -2*a, 5*n + 23 = i*a. Does 2 divide a?
True
Let r be (-718)/(2*(1 + (-63)/60)). Suppose -5*f + 5*c + r = 0, -2*f - 3*f = -3*c - 7188. Does 60 divide f?
True
Let z(d) = 50*d**2 + 20*d + 2. Suppose 2*v - 24 + 18 = 0. Is 7 a factor of z(v)?
False
Let r(s) = -3*s**2 + 29*s - 19. Let u be r(8). Is (u/27 - 1) + (-6608)/(-252) a multiple of 13?
True
Let c(m) = -3*m**2 - 27*m + 1. Suppose 9*u + 65 = -4*u. Does 61 divide c(u)?
True
Let t(w) = 2*w**2 - 7*w - 6. Let o be t(4). Let r be (90/4 + 5)*o. Let b = -50 - r. Does 3 divide b?
False
Let m be 5/((-135)/(-6)) - (-175)/63. Suppose -6*y - m*y + 63 = 0. Suppose y*z - 506 = -4*z. Is z a multiple of 5?
False
Suppose -45*b = -23*b - 21*b - 6677. Is b a multiple of 40?
False
Let b(o) = 4*o - 31. Suppose -3*g = -16*g + 39. Let d be 26/(g*(-4)/(-6)). Does 3 divide b(d)?
True
Does 52 divide (-26778)/(-5) - (187/170 + (-6)/4)?
True
Let o = -9 + -39. Let q = o + 53. Suppose -4*g + 338 = g - x, -3*x - 334 = -q*g. Is g a multiple of 34?
True
Let k be (-1700)/30*(-6)/4. Let w be -7 - (-6 + 4) - 7. Let j = w + k. Is j a multiple of 47?
False
Let p(m) = 6*m**2 - m - 4. Let x be -9 - (-610)/40 - (-1)/(-4). Does 27 divide p(x)?
False
Suppose -2*t + 3*t + 8 = 2*r, -5*r + t = -20. Let m be (-10)/((4 - (-10450)/(-2620))*20/(-15)). Suppose 5*n = 5*y + 775, -r*n + 3*y + m = 6*y. Does 16 divide n?
True
Let j(d) = 535*d + 106. Is 34 a factor of j(8)?
True
Let v = 226 - 333. Let x = v - -138. Does 31 divide x?
True
Let a(p) = 253*p**2 + 8*p - 2. Let f be a(-2). Suppose -630 - f = -4*i. Is i a multiple of 12?
False
Let k(i) = i - 2. Let b(j) = j**2 - 24*j - 13. Let c(w) = b(w) + 4*k(w). Let r = -36 + 59. Is 11 a factor of c(r)?
False
Let x = -699 - -690. Is 51*1/x*-78 a multiple of 35?
False
Let k(g) = 68*g**2 + 115*g - 4. Is k(8) a multiple of 12?
True
Let i(a) = -120*a - 151. Let d(g) = 24*g + 30. Let n(x) = 11*d(x) + 2*i(x). Let o be n(19). Let s = o + -284. Is 40 a factor of s?
True
Let z(g) = -91*g + 222. Let b be z(-8). Let a = b - 547. Is a a multiple of 23?
False
Suppose -6*x + 4*x - 180 = 0. Does 15 divide (-