lse
Let j(c) = 3*c**2 - 5*c + 4. Let b be (12 + -4)/4 + 2. Does 8 divide j(b)?
True
Does 17 divide 4710/195 - 2/13?
False
Suppose -5*j + r = 11, 0 = 3*j + 3*r + 21 - 0. Let s be 1/(j + 13/4). Suppose s*k + 2*o = 7*o + 45, -26 = -3*k - 4*o. Is k a multiple of 5?
True
Does 8 divide (-5 - -3 - -6) + 16*6?
False
Let i(p) = p**3 - 7*p**2 - 5*p - 7. Let t be i(6). Let o = t + 145. Is o a multiple of 7?
False
Let o = 105 + -101. Suppose o*p - 114 - 122 = 0. Is p a multiple of 5?
False
Suppose 0*z - 450 = -4*z + u, 5*z - 550 = -5*u. Suppose 4*b - z = 328. Does 11 divide b?
True
Suppose 2*m - 5*h - 9 = -2, -h + 9 = -3*m. Is (-60)/40*m/3 even?
True
Let d = 3552 + -2175. Is 10 a factor of d?
False
Let k = 162 - 77. Suppose -k = -5*q + 2*i, -5 = -5*q + 4*i + 90. Does 5 divide q?
True
Let t(y) = y**3 + y**2 + 64. Let f be 0 - (3 + -1 + -2). Is t(f) a multiple of 32?
True
Let v(w) = 2*w + 36. Is v(-6) even?
True
Let i = 1540 + -962. Does 22 divide i?
False
Suppose -1154*f = -1158*f + 3328. Does 26 divide f?
True
Is (4 - (-51 - 0))*(-16)/(-10) a multiple of 42?
False
Let s(z) = 4*z**3 + 8*z**2 + 6*z + 3. Let y(i) = -7*i**3 - 15*i**2 - 12*i - 7. Let b(r) = -5*s(r) - 3*y(r). Let g be b(-4). Does 18 divide (-5 - g) + 1 - -38?
True
Suppose -6*k + 37 = -7*k. Let o = -9 - k. Is o a multiple of 4?
True
Let c(x) = 2*x - 3. Let n(y) = -7*y + 10. Let q(m) = -17*c(m) - 6*n(m). Let s be q(6). Suppose -2*r = -5*i - s - 34, 0 = 4*r + 4*i - 188. Does 22 divide r?
True
Suppose d = -3*d + 8. Is (-2)/(0 - -1) + (d - -103) a multiple of 37?
False
Is 58 a factor of (165 - 49)/(1/22)?
True
Let m(a) = 154*a**2 - 3*a - 1. Is 3 a factor of m(-1)?
True
Let q be ((-9)/(-6))/((-18)/(-84)). Let m(h) = q - 6 - 7*h + 0*h. Is 11 a factor of m(-3)?
True
Let z(r) = -r**3 + 8*r**2 - 7*r - 3. Let v be z(6). Let l be 22/6 + (-18)/v. Suppose 51 - l = 4*s. Is 10 a factor of s?
False
Let s = 4216 - 2513. Does 73 divide s?
False
Let b be 2/1*(-3)/(0 - 3). Let k(v) = v**2 + 5*v - 3. Let x(s) = 4*s**2 + 14*s - 9. Let d(h) = -8*k(h) + 3*x(h). Does 17 divide d(b)?
True
Suppose -17*p = -10156 - 9020. Is p a multiple of 24?
True
Let p(x) = 5*x + 7. Let i(z) = 11*z + 15. Suppose 21*b = 23*b + 8. Let d(g) = b*i(g) + 10*p(g). Is d(6) a multiple of 23?
True
Let y(d) = -4*d + 12. Suppose -5 = -j, j = 3*g - j + 43. Let r = -16 - g. Is y(r) a multiple of 16?
True
Let n be 28/8 + 1/(-2). Suppose -k + 47 - n = 0. Is 22 a factor of k?
True
Suppose -8*k - 3 = -1083. Is 27 a factor of k?
True
Suppose 3*y - 15 + 6 = 0. Suppose 4 = y*r - 5. Suppose -r*n + 2*n = -28. Is n a multiple of 28?
True
Suppose 0*o = 4*q + 4*o + 24, 0 = -2*q + 5*o - 26. Let w = q + 66. Suppose -4*y = 5*s - 99 - 106, -y + s = -w. Does 12 divide y?
False
Let d be (5*-6)/((-15)/(-10)). Let f be 2/(-5)*1*130. Let y = d - f. Is 16 a factor of y?
True
Let w = 1276 - 2006. Suppose 0 = 24*q - 29*q - 65. Is w/q - 4/26 a multiple of 14?
True
Suppose 0 = 4*n - 3*y + 1, 5*n + 3*y - 24 = -5. Let b(i) = 9*i**3 + 4*i - 9. Let x(w) = 4*w**3 + 2*w - 4. Let o(g) = -3*b(g) + 7*x(g). Is o(n) a multiple of 4?
False
Let l = -21 + 40. Suppose 16*j + 360 = l*j. Is j a multiple of 15?
True
Is (-523)/((18/9)/(-2)) a multiple of 8?
False
Let l be (42/4)/7*-6. Let p = 28 + l. Let i = p + -7. Is 7 a factor of i?
False
Let v = 190 - 78. Let d = 388 + -352. Suppose -g + 3*j = -d + 8, -v = -4*g + 4*j. Does 7 divide g?
True
Let f(z) = 17*z**2 + 2*z - 9. Let u be f(-5). Does 18 divide 48/(-84)*u/(-4)?
False
Suppose 8*r = 18704 - 7184. Is 20 a factor of r?
True
Let w(x) = 1 + 5*x + 0 - 6*x. Let g be w(-3). Suppose 2*c = 4*a + 54, g*c - 2*a = -5*a + 163. Is 17 a factor of c?
False
Let i be (-77)/(-14) + 3 + 1/(-2). Let l(o) = o**2 - 8*o + 3. Is 2 a factor of l(i)?
False
Suppose 26*h - 31*h = 2*v - 93, 0 = 2*v - 5*h - 123. Does 9 divide v?
True
Let q(y) = -y**3 + 6 + 0*y**2 - y**2 + 7*y + 7*y**2. Let o be q(6). Suppose 3*a = 90 + o. Is 18 a factor of a?
False
Let h(s) = -7 + 3*s + 4*s - s. Suppose -2*g - 5 = -0*g + 3*z, -20 = g + 5*z. Is 12 a factor of h(g)?
False
Let k = 256 - 166. Does 6 divide k?
True
Is 9 a factor of (18/(-4))/(17/(-238))?
True
Let j(s) = -9*s**2 + 4*s - 3*s**3 - 2*s + 3*s - 5 - 3*s. Is j(-4) a multiple of 7?
True
Let g = 64 - 58. Does 22 divide 0/g + (0 - 0) + 22?
True
Suppose 0 = 3*u - 104 - 397. Is 18 a factor of u?
False
Suppose -3*m + 569 = b, 5*m = -b + 43 + 532. Is b a multiple of 31?
False
Let s(z) = 58*z**2 - 7*z - 3. Is s(-3) a multiple of 31?
False
Suppose -2*n + n = -92. Let l = 0 + n. Is l a multiple of 23?
True
Let r be 21 + -5 + 0/(-1). Let b = 22 - r. Is 3 a factor of b?
True
Let m = 6267 - 2703. Does 12 divide m?
True
Let h be 9/(2 + 0 + -3). Let g = h - -13. Does 4 divide 14/21*42/g?
False
Suppose -49*v + 44*v = -2300. Is v a multiple of 10?
True
Suppose 5*z = 3*z + 8. Suppose t + t - 33 = r, -76 = -z*t + 4*r. Is t a multiple of 14?
True
Suppose 747 = -14*x + 2707. Is x a multiple of 70?
True
Let a(n) = -9 + 4*n**3 + 0*n**2 - 3*n**3 - 6*n**2 - n**2 + 8*n. Let f be a(6). Let j = f - -11. Is 14 a factor of j?
True
Let u(v) = -v**2 - 19*v + 135. Is u(-19) a multiple of 8?
False
Suppose 3*x = n - 462, 5*x + n = 4*n - 770. Suppose 4*s + 9*y - 4*y = -393, -389 = 4*s + y. Let o = s - x. Is 11 a factor of o?
False
Does 46 divide (-368)/28*2842/(-28)?
True
Suppose 8 = 4*r - 3*c, 4*r - 7 = -c + 17. Suppose -5*p = 2*i - 1718, 5*i + 2193 - 503 = r*p. Suppose 2*l + 70 = p. Does 34 divide l?
True
Let n(y) = -2*y**2 + 9*y - 8. Let b be n(8). Suppose -57*o + 48*o = 1170. Let u = b - o. Is u a multiple of 23?
False
Let w = 0 + 49. Does 6 divide w?
False
Is 13 a factor of (-16)/48 + 3472/3?
True
Suppose 5*p = 3*a + 242, -5*p + 2*a - a + 234 = 0. Is p a multiple of 36?
False
Let u(n) = -n**2 - 2*n - 2. Let j(g) = -3*g + 11. Let d(b) = -b + 4. Let a(f) = -8*d(f) + 3*j(f). Let c(y) = 2*a(y) - u(y). Does 2 divide c(0)?
True
Let i(t) = -7*t - 2. Let x be i(-1). Suppose -222 = -x*c - j, 3*j + 82 = -c + 3*c. Is c a multiple of 23?
False
Suppose -9*s = 356 - 1031. Suppose -f + s + 55 = 0. Is 26 a factor of f?
True
Let c = -59 - -381. Does 62 divide c?
False
Let d be (-264)/(-18)*(11 - 2). Suppose d - 36 = 3*p. Is p a multiple of 8?
True
Let m = 66 - 31. Let t be m/2*20/7. Is (t/(-6))/((-1)/9) a multiple of 19?
False
Let t(o) = -o**2 + 18*o - 8. Let j be t(14). Let s = j - -48. Is 3 a factor of ((-3)/2)/((-36)/s)?
False
Suppose 0 = 6*g - 11*g - 2*a + 310, -2*g - 4*a = -108. Is 6 a factor of g?
False
Let j = 73 + 347. Is 14 a factor of j?
True
Let t = 16 + -12. Does 27 divide (t/(-8))/(1/(-110))?
False
Suppose -40 = -7*q + 3*q. Suppose q*y - 9*y - 38 = 0. Is y a multiple of 19?
True
Suppose 2*r + g = -2*g + 2409, -r - 2*g + 1204 = 0. Is r a multiple of 67?
True
Let m(a) = -2*a**3 - a**2 - 3*a + 928. Is m(0) a multiple of 13?
False
Let w be -1 + -1 - (11 + -4). Let v(n) = n**2 + 10*n + 13. Is 2 a factor of v(w)?
True
Suppose 1626 = 27*h - 399. Is 64 a factor of h?
False
Let o = -32 - -35. Let u(l) = 2*l**3 - 3*l**2 - 5*l + 2. Is u(o) a multiple of 7?
True
Suppose -625 = -2*w + 1423. Does 16 divide w?
True
Let j = 3 + -7. Let k be 844/10 - j/(-10). Suppose -5*g + k = 9. Is 5 a factor of g?
True
Let k(i) be the third derivative of i**8/20160 + i**7/5040 + 17*i**6/720 - i**5/60 - 4*i**2. Let z(v) be the third derivative of k(v). Is z(0) a multiple of 17?
True
Suppose m + 230 = -3*p, -2*m + 2 + 0 = 0. Let r = 101 + p. Does 4 divide r?
True
Suppose 14*i - 35 = 7*i. Suppose -i*q = -47 - 353. Does 40 divide q?
True
Let t(j) = -j**3 - 10*j**2 - 12*j - 22. Let b be t(-9). Suppose -g + b*x - 32 = -4*g, 0 = 4*g - 4*x. Suppose -g*c + 61 + 19 = 0. Is 11 a factor of c?
False
Suppose c + j - 219 = 0, 0 = 6*c - 2*c + 2*j - 876. Does 12 divide c?
False
Suppose 3*y - 7*y = 4*r + 12, -15 = 5*r. Suppose 3*o - x - 352 = y, 5*o - x = 4*o + 116. Does 10 divide o?
False
Suppose -88 = 3*b + 5*b. Is 10 a factor of 30/(-5 + 2)*b?
True
Let c(x) = 185*x**2 - x - 2. Let h be c(2). Let z = h + -448. Is z a multiple of 19?
False
Let m(l) be the second derivative of -25*l**3/6 + 4*l**2 + 6*l. Is 16 a factor of m(-10)?
False
Let v(n) = -2*n + 7. Suppose 5 = 4*l - 7. Suppose -25 = 8*u - l*u. Is v(u) a multiple of 5?
False
Suppose -9*d + d = -9792. Is 10 a factor of d?
False
Let h = 1026 - 665. Does 