104 = q - 2*v, -2*v + 6 = s. Is q a multiple of 14?
False
Suppose 26*a - 66458 = -68*a. Is a a multiple of 7?
True
Let l(u) = -7*u + 2. Let i be (-51)/(-2)*16/(-12). Let c = 26 + i. Does 29 divide l(c)?
True
Let i = -13934 - -27447. Does 20 divide i?
False
Suppose 44*j - 7630 = -16*j + 34550. Does 9 divide j?
False
Let t be -193*(-50)/15 - (-4)/6. Suppose u + 5*m = -2*u + 941, 2*u - 5*m = t. Is u a multiple of 21?
False
Suppose 113*c + 295670 = 123*c. Does 109 divide c?
False
Does 9 divide 54/(-4)*(-1480)/222?
True
Let l be ((-1)/3)/((-7)/21) + -26. Let q = 82 - l. Is 9 a factor of q?
False
Is 50 a factor of (-49)/((-5292)/(-24)) - (-131789)/9?
False
Let t = -41 - -48. Let u(a) = -a**2 + 4*a + 23. Let c be u(t). Suppose 3*s - 157 = -c*l, 4*l + 2*s - 324 = 6*s. Does 17 divide l?
False
Let d = 602 + 30. Suppose 0 = -2*o + 5*i + d, 0 = o - 8*i + 13*i - 316. Does 4 divide o?
True
Suppose 105 = 10*o - 5*o. Suppose -3*m + o*m - 13410 = 0. Is 32 a factor of m?
False
Let q(r) = 5*r + 84. Let m(n) = 9*n + 169. Let o(a) = 4*m(a) - 7*q(a). Is 12 a factor of o(-28)?
True
Suppose 4*f + 24 = 4*c, 3*c + 2*f - 12 = 3*f. Suppose 9468 = 8*d - 4*r - 4656, 5*d - c*r - 8826 = 0. Is 19 a factor of d?
True
Suppose -6 = -v - 4. Let t(o) = -2*o**2 + 12*o**v - 4 - 1 + 14*o. Is t(-4) a multiple of 12?
False
Let b(h) = -14*h + 23. Let j(n) = 12*n - 23. Let k(a) = -5*b(a) - 6*j(a). Is 33 a factor of k(-11)?
False
Let o(w) = -w**2 + 6*w - 5. Suppose -29 = -5*m - 9. Let n be o(m). Suppose 5*x - 68 - 137 = 5*h, -h = -n*x + 113. Is 9 a factor of x?
True
Let b be (-2 - 6/(-4))*(-12)/2. Let u = -10 - -16. Suppose -b*l = -21 + u, -2*l = -5*t + 415. Does 17 divide t?
True
Suppose -340*v = -349*v + 16182. Does 55 divide v?
False
Suppose -32*u + 9108 = -31*u - 5*z, -5*z = 5*u - 45390. Is u a multiple of 67?
False
Suppose -83*t = -66*t. Suppose t = -7*l + 724 + 340. Is 3 a factor of l?
False
Let b(v) = v**2 - 2. Let c be b(2). Let s(f) = -2*f - 19. Let n be s(-12). Suppose 84 = n*r + c*r. Is 6 a factor of r?
True
Let m(f) = -2*f + 23. Let b be m(-8). Suppose 0 = 3*y + 30 - b. Suppose 0*l - 4*l = -5*u - 47, 5*u = y*l - 39. Does 6 divide l?
False
Let v(z) = 72*z**2 + 9*z + 4. Let u = -21 - -19. Is v(u) a multiple of 7?
False
Suppose -71*n + 129636 = -71*n + 26*n. Does 2 divide n?
True
Suppose 3*n - 9018 = -5*c, -174*c + 3*n = -176*c + 3618. Is c a multiple of 36?
True
Suppose 2*b + 4*z = 91 + 147, z + 551 = 5*b. Suppose -4*n - 4*o = -1300, 5*n + 2*o - 1529 = b. Is 55 a factor of n?
True
Let k(t) = 2*t**3 + 5*t**2 + 0*t - 4*t - 6 + 3 - t**3 - 1. Let y = 4 + -9. Is 16 a factor of k(y)?
True
Suppose 0 = -2829*y + 2700*y + 1269876. Is y a multiple of 98?
False
Let b(k) = k**2 - k + 1. Let h be b(2). Suppose 7*i - 4*i = -2*t + 63, -h*t = 2*i - 37. Suppose 0 = -3*z + 22 + i. Is 11 a factor of z?
False
Let h be 153 + (2 + -6)/(-2). Let b = h - 217. Is b/(-12) - (-2)/(-12) a multiple of 3?
False
Suppose -3*q - 2138 = -2*t, -1066 = -t - 36*q + 37*q. Is t a multiple of 25?
False
Let h(w) = 3*w**2 + 2*w - 21. Let z be h(3). Is (z/(-18))/(2/(-1068)*4) a multiple of 4?
False
Let l(m) = -m**3 - 13*m**2 - 36*m + 2. Let q be l(-5). Let c = q + 157. Does 23 divide c?
False
Let j(q) = 50*q - 222. Suppose 1 + 3 = t - 3*b, 3*t - 40 = -5*b. Does 50 divide j(t)?
False
Let q = -473 + 475. Does 90 divide ((-2)/(-1) - q) + (91 - -216)?
False
Is 2 a factor of 936 + 3 + (0 - (12 - 14))?
False
Let p = -80 + 81. Suppose 120 = r + p. Is r a multiple of 8?
False
Suppose 0 = -m + 53 - 44. Suppose y + 4 = i, -4*i - 2*y - 2*y = 0. Let r = m - i. Is r a multiple of 5?
False
Let w(c) = c**3 - 10*c**2 + 13*c - 45. Let k(d) = 2*d**3 - 19*d**2 + 24*d - 91. Let z(f) = -6*k(f) + 13*w(f). Is z(17) a multiple of 22?
False
Let f be 2/(-3) + (-1568)/(-48). Suppose 0 = -f*b + 3811 + 3229. Does 20 divide b?
True
Suppose 3 = 6*g - 15. Let i(m) = 101 - 19 - 29 - 30 + g*m. Is 4 a factor of i(15)?
True
Suppose -4*i = -6*i. Let b be 155/1 + i/(-6). Suppose -4*w - b = -3*c, 47 = 2*c - 2*w - 59. Is 19 a factor of c?
True
Suppose 0 = -4283*o + 4288*o - 2770. Suppose q = 4*f - 17, -2*f + 2*q - 4*q = -16. Suppose 5*n - 36 = z + o, 259 = 2*n - f*z. Is n a multiple of 39?
True
Suppose -5*w = -9*w + 256. Let g = -64 + w. Does 9 divide (-3 + g)/(3/(-144))?
True
Suppose -5*p + 3 = -6*p. Let h be ((p - 2)/(-10))/((-1)/(-1788)). Suppose 10*v = 2644 - h. Is v a multiple of 25?
True
Let y(j) = -5*j**2 - 309*j + 142. Is y(-59) a multiple of 47?
False
Let l(f) = f**2 - 7*f - 46. Suppose -31*i + 340 = -48*i. Does 19 divide l(i)?
True
Suppose 248*f - 3 = 247*f. Suppose -417 = -f*l + 3*n, -3*l + 0*l + 418 = -2*n. Is l a multiple of 14?
True
Suppose 2*y + v = -1670 + 10317, 0 = -2*v - 10. Suppose -13*m = 8*m - y. Is 29 a factor of m?
False
Let u be (434/1)/((-15)/(-45)). Suppose -2*w + 580 = 5*a - 1590, -3*a + u = -3*w. Is 5 a factor of a?
False
Let q(h) be the third derivative of -h**5/30 + 7*h**4/12 - h**3/3 - 24*h**2. Let m be q(6). Does 8 divide (m/8)/((-15)/(-360))?
False
Suppose 2*i + 59528 = 16*f - 12*f, -2*f = 4*i - 29734. Is f a multiple of 14?
False
Let a(j) = 37*j - 7. Let z be a(3). Let c = 73 - z. Does 6 divide (c/2)/((4/2)/(-4))?
False
Let k(b) = -7*b - 48. Let c(w) = 22*w + 143. Let m(a) = 3*c(a) + 8*k(a). Suppose 38 = 5*g - 2*o, -2*g + 12*o - 14*o + 18 = 0. Is 20 a factor of m(g)?
False
Let c(m) = 5*m - 9. Let x(b) = 24*b - 44. Let a(q) = 14*c(q) - 3*x(q). Let v be a(6). Does 15 divide (-36)/(-8 - v)*(-30)/(-4)?
True
Suppose -120 = -4*n + 19*n. Does 6 divide (-1 - n/(-6))/(2/(-234))?
False
Let d be (18340/175)/(4/10). Suppose 73 + d = p. Does 18 divide p?
False
Let u(b) = -337*b + 168. Does 73 divide u(-6)?
True
Let i(h) = -85*h + 11. Let j be i(-9). Let n = j - 242. Is n a multiple of 13?
False
Suppose -v + 61 = 1. Suppose v = -9*g + 8*g. Is ((-38)/57)/(2/g) a multiple of 4?
True
Suppose 4*y + 756 = -5*l, 5*l + 4*y + 300 = 3*l. Let m = l + 215. Is m a multiple of 17?
False
Let v(q) = 2*q + 11. Let n be v(-3). Suppose 5*i - 54 = -5*j - 324, n*j + 212 = -4*i. Let u = i - -103. Is u a multiple of 15?
True
Suppose 8*o - 100 = 5*j + 4*o, -2*j = 4*o + 40. Let i = -1 - j. Suppose 24*c = i*c + 160. Is 8 a factor of c?
True
Let h(g) = g**3 + 32*g**2 + 15*g + 338. Is h(-25) a multiple of 18?
True
Suppose 6*q + 9 = 3*q. Let r(f) = -68*f + 4. Let b(w) = 16*w + 1. Let u(d) = 2*b(d) + r(d). Is u(q) a multiple of 38?
True
Let i be -1 + (3 - 2)/((-3)/(-9)). Suppose -i*c - 2*u = -12, -3*c - 5*u = -4*u - 12. Suppose -c*f - 75 = -5*b + 63, b + 3*f - 42 = 0. Is 6 a factor of b?
True
Let g be ((-56)/(-24) + -3)*-90. Let n(b) = 2*b**2 + 6*b - 13. Let a be n(6). Let w = a - g. Does 7 divide w?
True
Suppose 0 = -2*i - 2*u + 10148, i - 40596 = -7*i - 4*u. Is 29 a factor of i?
True
Let i = -32325 + 52699. Does 122 divide i?
True
Suppose -32*y + 33000 = 52*y + 41*y. Is 4 a factor of y?
True
Let g(v) = -137*v**3 + 2*v**2 + 4*v + 30. Is 45 a factor of g(-3)?
True
Let p be 3 - -865 - -5 - 4/(-1). Let f = 1348 - p. Suppose -f = -8*r + 569. Does 13 divide r?
True
Let z(t) = -2*t**3 - 12*t**2 + 14*t - 21. Let u be z(-7). Let w(v) = v**2 - 7*v - 102. Is 54 a factor of w(u)?
True
Let c(t) = -t**2 - 9*t - 8. Let x be c(-4). Suppose x = -4*q, -3*v = -0*v + 2*q + 6. Suppose 4*i - i - 2*m - 407 = v, -2*i + 250 = 4*m. Is i a multiple of 31?
False
Let q = 4 + 0. Suppose -j - 32 = j + q*u, -j + 2*u = 8. Is -30*3*j/10 a multiple of 12?
True
Suppose 35 = -2*h + 5*j - 386, -4*h - 2*j = 830. Let g = -93 - h. Does 26 divide g?
False
Let i be ((-2)/1 - 4) + 6. Suppose i = 24*y - 81 + 9. Does 3 divide y?
True
Let u = 15930 - 5065. Is u a multiple of 5?
True
Let n = 540 - -363. Suppose n = u - a, -5*a - 2630 = -3*u + 81. Is 25 a factor of u?
False
Suppose -4*d = -5*j - 285, -4*d = 3*j + 201 - 62. Let k = j - -311. Let a = k - 132. Is 9 a factor of a?
True
Let f be (-2)/6 + (-45425)/345. Is 13 a factor of (f/28)/(-11) + 2626/14?
False
Let j = 46968 - 19245. Is 10 a factor of j?
False
Suppose -5*j = -0 - 30. Suppose j*h - 4 = -22. Is 8 a factor of 1/(-6) - (h - (-1036)/(-24))?
False
Does 6 divide -10*(22729/(-35) - -22)?
False
Suppose -8*v - 274 = 150. Let x = 10 - v. Does 9 divide x?
True
Let z(a) = -3*a**3 + 8*a**2 - 5*a + 2. Let h(f) = 7*f**3 - 15*f**2 + 9*f - 2. Let s(t) = -3*h(t)