le of 43?
True
Suppose -s + 616 = -3*s. Suppose -304*o - 19286 - 25706 = 0. Let j = o - s. Does 20 divide j?
True
Let q be 101*(-6)/(-12)*10. Suppose q + 4258 = 11*l. Does 16 divide l?
False
Suppose 0 = -1601*b + 1579*b + 514140. Is 15 a factor of b?
True
Let r be (24/14 + 0)/(72/252). Suppose 0 = 2*u - r - 2. Suppose -6*g - u*g = -1890. Is 21 a factor of g?
True
Suppose 19*f - 355 = 215. Is (f/20)/((-9)/(-1338)) a multiple of 40?
False
Let h be 1/4 - 238935/(-340). Let g = h + -621. Does 23 divide g?
False
Let y(u) = u**2 + 8*u - 4. Let a be y(-9). Suppose -4*k = -a*k + 253. Is 28 a factor of k?
False
Let q = -3429 - -3507. Does 4 divide q?
False
Let z(s) = -10*s - 18. Let y(i) = 7*i + 12. Let g(h) = -7*y(h) - 5*z(h). Let q be g(-3). Is (-8 - -5)*q/((-9)/190) a multiple of 19?
True
Let t = 16382 - 6812. Is 22 a factor of t?
True
Let w(p) = -p**3 - 51*p**2 + 1072*p + 68. Is 3 a factor of w(-67)?
False
Let z = -8061 - -13986. Does 53 divide z?
False
Suppose 0 = 4*y + 2*l - 24098, 4*y - 24103 = 49*l - 46*l. Does 29 divide y?
False
Let g be 9/3 - (-4 + (3 - 8)). Suppose -2*d - 4*s + 219 = d, g = -4*s. Does 13 divide d?
False
Let u(t) = 8*t + 171. Let d be u(-21). Suppose 0 = 3*x - j - 553, -d*x + 2*j = -2*j - 556. Does 21 divide x?
False
Let g be 0 + -89439 + 4/(-2) + 2. Is 38 a factor of g/(-147) + (-6)/14?
True
Suppose 1351 = -3*u - 5*j, 10*j = -5*u + 8*j - 2258. Let g = u + 722. Is g a multiple of 45?
True
Let c = 51 + -95. Does 11 divide (c/3)/((42/54)/(-7))?
True
Let c(z) = 7*z**3 + 8*z**2 + 16*z + 2. Let j be c(-6). Let y = 2205 + j. Suppose -5*l = 4*h - y, -321 = 3*l + 2*h - 852. Does 35 divide l?
True
Let h = 108515 - 62455. Does 35 divide h?
True
Is 938/134 + 5/((-15)/(-48039)) a multiple of 12?
True
Let f = -8668 + 8649. Let s(j) be the first derivative of -j**3/3 - 11*j**2 - 45*j - 1. Is 8 a factor of s(f)?
False
Let h(d) = 6*d - 60. Let g be h(11). Suppose 2789 + 13 = g*f. Is f a multiple of 16?
False
Suppose -14307 = -5*u + 4*l - 4473, 4*u - 4*l - 7864 = 0. Suppose 133*z + u = 138*z. Is z a multiple of 4?
False
Let m(x) be the first derivative of -19*x**2 - 20*x - 7. Is m(-3) a multiple of 4?
False
Let l = -166 - -148. Is -581*(1 + 2)/(27/l) a multiple of 14?
True
Is 18 a factor of 34254/4 + ((-52)/13)/8?
False
Let a be 4/(-12)*(-13 - 8057). Suppose -2*k + a = 4*s, 7*k + 1335 = 2*s + 10*k. Is 27 a factor of s?
True
Let d = -240 - -245. Suppose -6*j - 3*f = -j - 665, -685 = -d*j + f. Is 20 a factor of j?
False
Let g = 88 - 390. Let y = 328 + g. Is y a multiple of 8?
False
Let f(k) = 4*k**2 - 19*k - 9. Suppose -3*a + 15 = 3*t - 0, 5*t + 2*a = 37. Let q be f(t). Let l = 353 - q. Is l a multiple of 27?
False
Let t(u) = -u**3 - 10*u**2 - 12*u - 21. Let x be t(-9). Let l(z) = -14*z + 17. Let q(w) = 13*w - 18. Let j(y) = x*q(y) + 5*l(y). Is j(4) a multiple of 8?
False
Let g(k) = -39*k - 85. Let p be g(19). Let x = 1408 + p. Is 14 a factor of x?
False
Suppose 2*v + 3*s - 28499 = 97236, -5*v = 5*s - 314360. Does 55 divide v?
False
Let y(i) = -3*i**3 + 8*i**2 + 4*i + 12. Let t be y(-6). Suppose t + 1652 = 7*w. Suppose 4*o = 3*h + w, -2*h - 277 = 6*o - 9*o. Does 7 divide o?
False
Let x(r) = -39*r + 10*r + 12*r + 22 + 6*r. Is x(0) a multiple of 22?
True
Suppose w = -o + 1899, 5*o - 3241 - 8151 = -6*w. Is 9 a factor of w?
False
Let o be 6/(-18)*(-126)/7. Let y(m) = 23*m**2 - 14*m - 42. Is y(o) a multiple of 18?
True
Let x(f) = 424*f**3 + f**2 + 2*f - 2. Let b be x(1). Let y = -263 + b. Is y a multiple of 27?
True
Let y(a) = a**3 - 2*a**2 - 15*a - 15. Let o be y(7). Let c = -105 + o. Suppose 1379 = 5*j - 3*n - n, 5*n - c = 0. Is j a multiple of 31?
True
Suppose -1084*w + 970*w = -4939164. Is 83 a factor of w?
True
Let l(q) = 6*q**2 + 72*q - 654. Is 96 a factor of l(11)?
True
Let q = 6601 - 6195. Is 14 a factor of q?
True
Let w be (1 + 3)/(4/14). Let m be (w/21)/(2*(-1)/(-9)). Suppose 4*o = -8*u + 4*u + 348, 9 = m*o. Does 6 divide u?
True
Let o(p) = 2*p**3 - p**2 + 5*p + 2. Let k be o(5). Suppose -3*s + k = 3*s. Let a = -9 + s. Is 5 a factor of a?
False
Suppose 0 = -q - 5 + 3. Let n(w) = -6 - 45*w**2 + 119*w**2 - 12*w**2 - 10*w**2. Does 38 divide n(q)?
False
Is (16 - 3730/40)/((-3)/752) a multiple of 69?
False
Is ((-19)/(-3) + -3)*1203/2 a multiple of 18?
False
Suppose 4524 = 3*q - 5*u, -2*u = 3*q - 7*q + 6060. Does 11 divide q?
True
Let y(f) = -f + 1. Let k(x) = 12*x + 32. Let i(r) = -k(r) - 6*y(r). Let w be i(-8). Suppose -5*b + 4*o = -w*b + 1248, 750 = 3*b + 2*o. Does 14 divide b?
True
Suppose 3*i + 2*w - 3284 = 0, 5*i + 2*w - w = 5464. Is 156 a factor of i?
True
Let z = -1999 - -3375. Does 8 divide z?
True
Suppose 3*h + f + 2*f = 9, -h + f + 1 = 0. Let w be 12*(16 - -5 - 3). Is (w/16)/(1/h) a multiple of 9?
True
Let k = -2523 - -10320. Is 174 a factor of k?
False
Let o(f) = f. Let t(p) = p**3 + 5*p**2 + 4*p - 4. Let z(k) = 4*o(k) - t(k). Let r be z(-5). Suppose 45 = 7*c - r*c. Is 3 a factor of c?
True
Suppose 0 = 3*l + 1151 - 119. Is ((-24)/(-14) - 2) + l/(-28) a multiple of 3?
True
Let h be 583 - 585 - (7 - (0 - -1)). Let p(a) = -a**3 - 11*a**2 - 6*a + 4. Let g(x) = -x**2 + x. Let o(c) = -2*g(c) + p(c). Is o(h) a multiple of 4?
True
Let m(q) = 1149*q - 2675. Does 37 divide m(9)?
False
Suppose -523*o - 103440 = 520*o - 1055*o. Is 79 a factor of o?
False
Is 13 a factor of (120/8)/(6/9726)?
False
Let c = 4006 - 3475. Does 16 divide c?
False
Let c = -76 - -81. Suppose -c*x - p = -4164, 0 = -x - 3*p + 175 + 669. Is x a multiple of 26?
True
Suppose -28*w + 31146 = -10799 - 254043. Does 31 divide w?
True
Let u be -1 - (-22 + 3 + (3 - 6)). Suppose -7*r = -34 - 8. Is r/(-21) + 3 + 2043/u a multiple of 25?
True
Suppose -4*r + 5*u + 19 = 1, -5*u = 5*r. Suppose 5*t - 3*n - 967 = 0, -968 = -3*t - 2*t + r*n. Does 13 divide t?
False
Suppose -4*s + 366 = -1562. Let l = s + 92. Does 41 divide l?
True
Suppose 0 = d + n - 861, -n - 4*n - 3489 = -4*d. Does 16 divide d?
False
Suppose -2*a - 1 = k, 4*k - 13 = a + 1. Let l be 196 - ((-12)/(-4) + a). Suppose 4*q = s + l + 303, 0 = -4*q - s + 502. Is 49 a factor of q?
False
Suppose -a - 19 = 3*w - 5*w, w + 2*a - 7 = 0. Is 9 a factor of (-6)/(-15)*1575/(-4 + w)?
True
Let r(j) = 2*j**2 + j + 1. Let d(p) = p**3 - 5*p**2 - 4*p - 165. Let a(u) = -d(u) - 3*r(u). Does 9 divide a(0)?
True
Let b = 319 + -308. Let f = -1 - -3. Suppose 5*u - s - b = 28, -f*u = s - 17. Is 4 a factor of u?
True
Let v be (-4*4/(-8))/(9 + -7). Does 25 divide (4 - 3)*(-2 + 70)/v?
False
Does 32 divide 1360*11/66*12?
True
Let a be (6/(-4))/((-31)/(-2418)). Let v = a - -258. Does 13 divide v?
False
Let f = -1088 - -1135. Is f a multiple of 2?
False
Suppose 4*p + 3*t = 1142, -3*p - t = -0*p - 859. Suppose -p = -13*b + 12*b. Is b a multiple of 22?
False
Let g(i) = -29 + 12*i**2 + 7 - 2*i**3 + 10*i + 20. Is g(6) a multiple of 58?
True
Let k(x) = -13*x + 1. Let i be k(6). Let b = 233 + i. Is b a multiple of 32?
False
Is 16 a factor of (27/6 - 3)/(-2 + 17290/8640)?
True
Let p = 292 - 289. Suppose -p*d + 2108 = 4*z - 5*d, -5*d + 1030 = 2*z. Is 15 a factor of z?
True
Let z be (2/4)/(-4 + (-62)/(-16)). Let y = -4 - z. Suppose y = m + 5, -4*q - 3*m + 5*m + 234 = 0. Does 8 divide q?
True
Let j = -100 + 103. Suppose 0 = -2*p - j - 27. Let n(x) = x**2 + 12*x - 25. Does 20 divide n(p)?
True
Suppose 35415 = m + 5*u, -5*m + 15*u - 14*u + 177023 = 0. Suppose 15*s + 10385 - m = 0. Is s a multiple of 37?
False
Suppose 3 = -j - 10. Let w(t) be the first derivative of -t**3/3 - 11*t**2 + 9*t - 49. Is 42 a factor of w(j)?
True
Let q = 131 + 80. Suppose -117 = -d + q. Is 4 a factor of d?
True
Suppose -2*y - 75 = 23*y. Is 5 a factor of -2 + y/(18/(-138))?
False
Let m(j) = 2*j**2 - 4*j + 2. Let f be m(1). Suppose -r + 384 = -y, f = 3*r - 2*r + 4*y - 384. Is 8 a factor of r?
True
Let t(n) = 969*n + 3. Let b be t(1). Suppose 0*q - 3*s + 1428 = 3*q, 2*q - 3*s - b = 0. Is 48 a factor of q?
True
Does 11 divide ((-280)/50 + 6)*-42*-60?
False
Does 33 divide 132*((-2)/(-18)*241)/(326/1467)?
True
Suppose -48*i + 374183 = 239606 - 893295. Does 249 divide i?
True
Suppose 0 = 27*u - 10*u + 51. Suppose 0 = -3*l + 7*l - 16. Is 41 a factor of -1 - u - l - -70?
False
Let v = 2398 - 1864. Is 8 a factor of v?
False
Let s = 57910 + -30900. Is 10 a factor of s?
True
Suppose 9 = -z + 26. Supp