f b(-7)?
True
Let x be (577/3 - 1)/((-50)/(-525)). Suppose -6*p - 1049 = -x. Is 10 a factor of p?
True
Suppose -4*k = 2*s - 100, -2*k + 5*k - 5*s - 75 = 0. Let z(t) = t + 29. Let d be z(0). Let f = d - k. Does 4 divide f?
True
Let m = -605 - -277. Let c be -3 + (2 + m - 2) - 1. Is 14 a factor of c/(-6) - (-8)/12?
True
Let i be (-5*(-1)/(-10))/((-1)/20). Suppose 2*y - i = 130. Is 14 a factor of y?
True
Let b = 271 - 264. Suppose -g + b*v + 305 = 9*v, -919 = -3*g - 4*v. Is g a multiple of 26?
False
Let t = -14 - -18. Suppose 3*l + 2 = t*l - k, -5*l + 14 = -k. Suppose -l*q = -150 - 120. Is q a multiple of 20?
False
Let r be -2 - 13/((-78)/144). Let w(k) = -k**2 + 25*k + 78. Is w(r) a multiple of 6?
True
Let c(j) = -14*j + 22. Let b(g) = g**2 + 5*g - 2. Let m(d) = -4*d + 12. Let z be m(4). Let n be b(z). Is c(n) a multiple of 18?
False
Suppose 0 = -3*i + 7*q - 9*q - 2918, 4*q + 4860 = -5*i. Let n = i - -2030. Does 34 divide n?
True
Let t(y) = 3*y**2 - 183*y + 1666. Does 5 divide t(61)?
False
Suppose 0 = -16*v - 208 + 36992. Is 11 a factor of v?
True
Let d(o) = -o**3 - 23*o**2 + 14*o + 160. Is d(-24) a multiple of 20?
True
Let v be (612/45)/(8/20). Let s = 16 + v. Does 10 divide s?
True
Let a = 1195 - 831. Is 4 a factor of a?
True
Suppose 68*y - 177784 = 299916. Is y a multiple of 15?
False
Suppose -184*c + 958857 = 71*c - 985773. Is 6 a factor of c?
True
Suppose 121*t - 1970824 = 389160. Is 16 a factor of t?
True
Suppose 0 = -v - v - d + 32359, 3*v - 48538 = -2*d. Is 11 a factor of ((-20)/(-14))/(-5) - v/(-35)?
True
Let x be (-1 - -10) + -31 + 27. Suppose -3*l - x*m + 54 = -8, -m = -3*l + 56. Does 6 divide l?
False
Let t = 17 - -18. Is 14 a factor of (-8)/(-42)*921 - 15/t?
False
Suppose 13108 = 6*s - 8737 - 86119. Does 8 divide s?
False
Suppose 21*s + 40 = 29*s. Suppose 3*d = d + 5*u + 32, -4*d = -2*u - 32. Suppose -s*r = -d*r + 8. Does 3 divide r?
False
Let u = 25475 + -12644. Is u a multiple of 13?
True
Suppose 1470 = 2*u + 4*n, -5*u + 3715 = -8*n + 10*n. Does 3 divide u?
False
Suppose -u + 4 = 3*w, -3*w = -5*w + 2*u + 8. Suppose -3*d + 2*c + c + 93 = 0, -w*c = 6. Does 4 divide 28 - 25 - d/(-2)?
False
Suppose -6720 = -46*s + 40*s. Suppose -4*n + s = 4*w - 0*w, 0 = -n - 2. Is 33 a factor of w?
False
Suppose 0 = -69658*o + 69660*o - 30310. Is o a multiple of 12?
False
Let y = 9955 + -8326. Does 2 divide y?
False
Let i = 3613 - -9347. Does 40 divide i?
True
Let o = -4 + 7. Is 318*(1 - 0)/o + -4 a multiple of 35?
False
Let q(x) = 2*x**3 + 17*x**2 + 5*x + 8. Let w be q(-8). Let p = 68 + w. Is p a multiple of 20?
True
Let w(j) = -2*j**2 + 84*j + 50. Let m be w(42). Let n(b) = -3*b - 6. Let q be n(7). Let t = q + m. Is 7 a factor of t?
False
Suppose -2*s + 1046 + 732 = u, 4*s = 4*u - 7160. Suppose 6*x + 136 = u. Is x a multiple of 12?
False
Suppose 2*l - 26 = -26. Is 16 a factor of l - (2/(12/(-1698)) - 5)?
True
Let j(r) be the second derivative of r**7/840 - r**6/72 - r**5/20 + 5*r**4/8 + r**3/6 - 17*r. Let l(a) be the second derivative of j(a). Does 5 divide l(6)?
True
Let c = 409 + -301. Suppose 1364 + c = 2*x. Is x a multiple of 24?
False
Let p(w) = -w**3 + 87*w**2 + 463*w + 140. Is p(92) a multiple of 26?
True
Let t(f) = 4*f + 31. Let l(h) = 5*h + 31. Let m(i) = -5*l(i) + 6*t(i). Let q = 513 + -501. Does 5 divide m(q)?
False
Suppose -27*n + 26*n = 5. Let l(a) = -156*a - 32. Is 17 a factor of l(n)?
True
Let y be (-7)/(-42) + (-11)/(-6). Suppose 3 = -3*a - i + 4*i, y*a + 4*i - 22 = 0. Suppose -3*z = -0 + 9, 240 = a*p - 2*z. Does 8 divide p?
False
Suppose -2*c + 5*c - 1171 = 5*b, 0 = b + 3*c + 245. Let s = b - -691. Is s a multiple of 13?
True
Suppose 4*r - 19*n + 14*n - 36020 = 0, -9018 = -r - 2*n. Does 30 divide r?
False
Let f(b) = 10*b + 21. Let d be f(-3). Let q be (-2)/3 + (-51)/d. Suppose 0 = -5*v + j + 30, 4 = -0*v - 3*v + q*j. Is 2 a factor of v?
False
Let f(g) = 2 - 40*g - 13 + 46 + 107. Is 26 a factor of f(-14)?
True
Let g = 1796 + 4134. Is g a multiple of 14?
False
Let c(d) = -8*d - 6. Suppose -2*u + 2*j + 2 = 0, u - 5*j = -2*u - 7. Let k be c(u). Let r = 92 + k. Does 19 divide r?
True
Suppose 90 = -20*h - 10. Does 10 divide 5 + (116 - h) - 0/(-1)?
False
Let t(k) = k**2 + 11*k + 6. Let y be t(-14). Let q = y - 46. Is (284/5)/(q*(-6)/(-30)) a multiple of 9?
False
Suppose -13*z = -182379 + 39106. Does 132 divide z?
False
Suppose 110*t - 81*t = 435. Let k(o) = 7*o**2 - 10*o - 22. Is k(t) a multiple of 23?
True
Let d be 3*12/54*(-2 + 8). Suppose 4*u - 2*b = -b + 2552, d*u - 3*b - 2560 = 0. Is 13 a factor of u?
True
Let r = 138 - 90. Suppose -r*g + 62 = -47*g. Is g a multiple of 4?
False
Suppose -2*u - f - 45 = 0, -25*f + 40 = -3*u - 21*f. Does 6 divide 297/(-22)*u/15?
True
Is 7 a factor of (2/7)/(647569/53963 - 12) + 7?
False
Let z = -11367 + 23827. Does 26 divide z?
False
Suppose -214*f - 68458 = -219*f + 4*t, 0 = f + 5*t - 13680. Is f a multiple of 56?
False
Let w = 49832 - 23530. Does 5 divide w?
False
Let q(p) = 479*p - 2312. Is q(8) a multiple of 8?
True
Suppose 6*m + m = 784. Let n = -72 + m. Does 5 divide n?
True
Let k = -25 - -54. Let h be (k + -89)*(1 - (-11)/(-2)). Suppose a - h = -2*a. Does 18 divide a?
True
Let c(o) = 2*o**2 - 4*o + 118. Let s be c(-11). Suppose 202 = 2*t + 5*l, 4*t + 2*l + l - s = 0. Does 57 divide t?
False
Let s(j) = -3*j**2 + 4*j + 27. Let f(b) = 2*b**2 - 3*b - 18. Let z(x) = -7*f(x) - 5*s(x). Let p be z(5). Is 810/p + 20/(-35) a multiple of 19?
True
Suppose g - 63*g = 5*g + 737. Let i(r) = 6*r**2 + 35*r + 56. Let v(x) = -2*x**2 - 12*x - 19. Let c(b) = 6*i(b) + 17*v(b). Does 27 divide c(g)?
True
Suppose -13*q + 14*q = -4*w + 26674, 0 = 7*w + 2*q - 46679. Is 57 a factor of w?
True
Suppose 5*u + 3*n = -65, -4*u - 33 = -4*n + 19. Let z(x) = -37*x**2 - 42*x**2 + 5*x - 1 + 80*x**2. Is z(u) a multiple of 23?
False
Let z(d) = -4*d. Let b be z(1). Let q be (-5 - b) + (-110)/(-5). Is 6/q - (-38)/14 a multiple of 3?
True
Let j = 51 + -92. Let m = 84 - j. Does 9 divide m?
False
Let h = 4842 + 1013. Is 47 a factor of h?
False
Suppose 3*k - 1 = -5*g, -3*g + 0*k + k = 5. Is 6/(1 + -3) - (g - 139) a multiple of 6?
False
Suppose -5*w = 5*c - 155, -3*w + 2*c = -w - 46. Let x(k) = 9*k + 237. Is x(w) a multiple of 16?
True
Suppose -287*m + 1281050 = -270379 + 152304. Is m a multiple of 25?
True
Suppose 16 = 4*q - 4. Suppose f + q*p + 2 - 143 = 0, -1 = p. Does 15 divide f?
False
Let a(c) = -2*c**2 + 23. Let s be a(7). Let i = 87 + s. Is 3 a factor of i?
True
Let g(k) = 368*k + 33. Let j be g(2). Suppose 617 + j = 3*n. Is n a multiple of 11?
True
Let c(j) = -73*j + 1625. Is 65 a factor of c(0)?
True
Suppose -4*y + 4*v = -82432, 71*v - 61822 = -3*y + 76*v. Is 124 a factor of y?
False
Let f = -413 - -423. Is 1*f/45 + 7190/45 a multiple of 16?
True
Suppose 4*t + 20 = 4*j, -t + 3*j = -5*t + 15. Suppose 3*b = -22 + 85. Suppose -2*o + b + 19 = t. Is o a multiple of 10?
True
Let u = 30 - 27. Suppose u*b + 1320 = 9*b. Is b/14*14/2 a multiple of 19?
False
Let d(g) = -582*g**3 + 4*g**2 + 60*g + 42. Is 154 a factor of d(-4)?
True
Suppose -35 = -4*i + 73. Suppose q = -2*q + i. Suppose 0 = -q*j + 2*j + 693. Does 7 divide j?
False
Suppose -3 = -i - 0. Suppose 5*r + 0 = -2*h + 5, 2 = -i*h + 2*r. Suppose 6*q + q - 805 = h. Does 10 divide q?
False
Let u = -193 - -193. Suppose 2*o - 4*h - 160 = u, 3*o - h = 2*h + 246. Is 3 a factor of o?
True
Let m(a) = -142*a - 672. Does 8 divide m(-8)?
True
Let s(z) = 25*z. Let c be s(9). Let y be 52/936 + 7289/18. Let q = y - c. Does 14 divide q?
False
Let u(q) = 4*q - 10. Let h be (-13)/3 + (2 - (-15)/(-9)). Let n be h/(0 + (-2 - (-8)/5)). Is 6 a factor of u(n)?
True
Suppose h + 17*t - 8278 = 13*t, 8282 = h + 5*t. Does 9 divide h?
True
Suppose 3*d + 2*a = 13, -15 = -4*d - 3*a + 3. Suppose 21 = 4*p - d*l, -p + 0*l = -2*l + 1. Is 21 a factor of (164 - -4)*p/12?
True
Let v = -3384 - 2464. Is 17 a factor of (v/215)/((-1)/10)?
True
Is 58 a factor of (-926919)/(-84) - 15/(-12)?
False
Let l = -249 - -477. Suppose -8*q = -5*j + 476, -12*j + 14*j - 191 = 3*q. Let c = l - j. Is c a multiple of 16?
True
Let f(m) = -2*m - 6. Let d be f(17). Let j = d + 43. Is j a multiple of 3?
True
Let r(o) = 3*o + 33. Let p be r(-8). Let q(d) = -d**3 + 11*d**2 - 9*d + 19. Is q(p) a multiple of 23?
False
Suppose -2*z + 2*b = 16, 5*z = 