lse
Suppose -196*x + q - 46894 = -199*x, 2*x - 31246 = -4*q. Is 81 a factor of x?
True
Suppose 2*u - 1 = 5*n - 6*n, 0 = -5*u. Let a(f) = 46*f**2 - 2. Is 2 a factor of a(n)?
True
Let w(g) = -g**2 + 2*g + 23. Let q be w(-7). Let v = q - -38. Does 3 divide 0 + (14/2 - v)?
True
Let q be (5 - 20)*(1 - 8). Let y = q - -248. Does 34 divide y?
False
Let z(g) = -3. Let w(j) = -j**2 - 8*j + 58. Let y(b) = -w(b) - 2*z(b). Is y(8) a multiple of 38?
True
Let t be (93/(-6))/(7/14). Let v(o) = o**3 + 32*o**2 + 31*o + 42. Does 21 divide v(t)?
True
Let s = 3023 + -1753. Is s a multiple of 5?
True
Let o = -6063 + 12015. Is 63 a factor of o?
False
Suppose 3*j - 529 = -k, -j + 6*k = 7*k - 173. Suppose -2*g = 3*i - j, -5*i = -3*g - 21 - 282. Is 20 a factor of i?
True
Does 7 divide (-13)/(-26)*(-5)/(10/(-8644))?
False
Suppose 3*z - 5 = m, -m = -3*m + 2*z - 30. Suppose 0 = 328*q - 239*q - 2314. Let u = m + q. Is u a multiple of 3?
True
Let h(w) = w - 9. Let t = 34 + -21. Let v be h(t). Suppose -8 = -2*y, -5*y - 17 = -v*m + 11. Is m a multiple of 6?
True
Let i = -18 + 15. Let q be (i - 243)/(-3) - 1. Suppose 2*h = 27 + q. Is 13 a factor of h?
False
Let f = 765 + 1002. Does 93 divide f?
True
Let c be (-1 - -2) + 58 + 2. Suppose -413 - 300 = -31*q. Let y = c + q. Is 12 a factor of y?
True
Suppose 5*p = 5*b + 45, 2*b + 28 = 2*p - 2*b. Suppose 5*s - 9 = 4*j + 7, 0 = -p*j + 4. Suppose -s*m + 113 = 3*z, -8*m - 2*z = -5*m - 84. Does 4 divide m?
False
Let k(i) = -7 - 8 + 15 + i**2 + 15*i. Let r be k(-14). Let b(y) = 3*y**2 + 35*y + 7. Is b(r) a multiple of 38?
False
Let l(a) = -30*a**3 + 4*a**2 - 9*a - 41. Is 21 a factor of l(-5)?
False
Suppose -492127 = 65*x - 1680002. Is x a multiple of 17?
True
Let a be (4 - 4) + 1 - -2. Suppose 2*s = 3*o - 8124, 6*s + 12220 = a*s - 4*o. Is 1/(14/(-4)) - s/28 a multiple of 16?
False
Let s = -3091 - -5311. Does 3 divide s?
True
Suppose 67*u + 3*u - 165194 - 39976 = 0. Is 226 a factor of u?
False
Let b(n) = n**2 - 60*n + 150. Is 25 a factor of b(75)?
True
Suppose -8*v + 6*v = -8. Suppose -o + 15 = v*o. Suppose -246 = -o*q - 4*w, 3*q = -0*q + 3*w + 246. Is 18 a factor of q?
False
Let d(o) = 134 - 21*o - 20*o + 36*o. Is 20 a factor of d(-22)?
False
Suppose 0 = -6*t + 184 - 16. Let z(g) = -4*g**2 + 8*g**2 + 2 + t*g - 29*g + 4*g**2. Is z(-2) a multiple of 6?
True
Suppose 8*n - 14*n - 36 = 0. Let i be n/4*(-1 - 5 - -2). Suppose -5*s + i*s = 156. Is s a multiple of 12?
True
Let i be (-12)/54 + (-25)/9. Let r be 50 + 3 + i + 3. Let j = r + -31. Does 11 divide j?
True
Suppose 3*a - 13 = -25. Is 43 a factor of a*(1000/(-32) - 1)?
True
Let o be ((-2)/(-1) + 0)*1. Suppose -94*l + 86*l + 1880 = 0. Suppose -3*x = o*x - l. Is x a multiple of 8?
False
Let y(u) = u**2 + 7*u - 4. Let t be y(-8). Let v = -146 - -154. Suppose -64 - v = -t*d. Is d a multiple of 2?
True
Let s be 4/(20/15) - -39029. Is (-4)/6 - s/(-84) a multiple of 58?
True
Let j(p) = -111*p + 1523. Does 26 divide j(-87)?
True
Suppose -j = -3967 - 3583. Let x be (j/(-5))/(-5) - (1 - 0). Suppose 0 = -o - 4*k + 71, 0 = -4*o - 0*o + k + x. Is 8 a factor of o?
False
Let v = 1988 + -3765. Is 21 a factor of (-2)/(-3) + 2/(-6)*v?
False
Let a be ((-12)/18)/(4/(-6)). Let u be 18190/45 - (a - 14/18). Suppose 2*l - 2*d = -2*l + u, 4*l = -5*d + 390. Does 11 divide l?
False
Let f be (-4 + 1*-24)/(-1). Suppose 27*h - f*h = -318. Is h a multiple of 70?
False
Suppose 0 = -4*l + o + 63627 - 13871, l = 5*o + 12439. Is 37 a factor of l?
False
Let t = -103 + 90. Is 8 a factor of t/(-39) - 1816/(-6)?
False
Suppose 472 = -4*h + 4*j, 2*h + 235 = 14*j - 11*j. Let d = 180 + h. Is 6 a factor of d?
False
Let s(o) = -2*o**3 - 2*o**2 - 10*o**2 - 9*o - 2*o**2 + 6*o**2 - 2. Is s(-4) a multiple of 5?
False
Let m(b) = b**2 + 35*b + 68. Let a be m(-33). Suppose y - 624 = -a*q - 3*q, 630 = y + 3*q. Does 76 divide y?
False
Let o be ((-72)/(-60))/((-15)/1000). Let r = o - -584. Is 18 a factor of r?
True
Let n(v) = 8*v**2 + 35*v - 18. Does 3 divide n(3)?
True
Suppose o = -2*q + 16, 2*o + 10 = 5*q - 21. Suppose q + 215 = -2*l. Is (4 - l/(-9))*-3 a multiple of 5?
True
Suppose -2*o - 960 = -7*o. Let v = 227 + -224. Suppose -2*k = -4*w + 256, 0*w + o = v*w + 2*k. Does 8 divide w?
True
Let g = 19068 + -9933. Is g a multiple of 63?
True
Suppose 463 = 2*v - 247. Let h be (-2 - -1) + 23 + -178 + -4. Let y = v + h. Does 23 divide y?
False
Let n be (-16)/(-5) - 13/65. Suppose -5*h + 2*g + 1654 = 5*g, -n*h = -g - 998. Is 4 a factor of h?
True
Let x = 656 + -654. Let i(h) = -46*h - 2. Let m be i(-2). Suppose 0 = -5*p, -x*l - 4*p + 114 + m = 0. Is 13 a factor of l?
False
Let z = -251 + -29. Is 23 a factor of 8/z*-10 + (-962)/(-14)?
True
Let m = -102 - -102. Suppose -3*k + m*d = 3*d, 2*d = -5*k + 9. Suppose 3 = -3*n, -k*n - 169 = -2*o + 160. Is 35 a factor of o?
False
Does 8 divide ((-19)/5)/((-158)/64780)?
False
Suppose 290 = 4*n - 10. Suppose n = c - 5. Is 8 a factor of c?
True
Suppose -34*r + 103*r - 752652 = 0. Does 9 divide r?
True
Let a(t) be the first derivative of -28*t**2 + 18*t + 33. Does 29 divide a(-9)?
True
Suppose -3*j + 15 = -0*j. Suppose -j*z + 205 = -f + 5*f, 3*f - 52 = -z. Does 14 divide (2 + -1)*((-30)/(-6) + z)?
True
Let a(z) = -z + 74. Let d be (-5)/((-10)/(-4)) - (45 + -17). Is a(d) a multiple of 13?
True
Suppose -143*g - 11208 = -158784. Is g a multiple of 24?
True
Let p(r) = -18*r + 201. Let i be p(11). Suppose 3*g = 7*l - 2*l - 675, 0 = -l + i*g + 147. Is 29 a factor of l?
False
Let f(h) be the third derivative of -h**8/20160 - h**7/504 - 19*h**5/60 + 23*h**2. Let x(n) be the third derivative of f(n). Is x(-4) a multiple of 12?
True
Let d(q) be the second derivative of 3*q**4/2 - 7*q**3/3 - 41*q**2 + 6*q - 1. Is 27 a factor of d(-6)?
False
Let z(g) = 93*g + 4165. Is 2 a factor of z(-16)?
False
Let i(y) = 687*y**3 + y**2 - y + 1. Let u be i(1). Let w = u + -58. Is 11 a factor of (6/4)/(9/w)?
False
Suppose 5*p = 192*d - 194*d + 258, -3*p + 3*d + 180 = 0. Suppose t + 18 = 2*t - 3*w, -22 = -5*t - 2*w. Suppose 0 = t*z - p - 18. Is z a multiple of 6?
True
Let f = 2280 + -1213. Suppose 4*w - k = f, -k + 650 = 4*w - 427. Is w a multiple of 67?
True
Let m(s) = 11*s**2 + 8*s + 8. Suppose -i - 30 = -24. Let k be m(i). Suppose -w - 3*w = -3*x + k, -604 = -5*x - 4*w. Is x a multiple of 24?
True
Let x(z) = -822*z + 0 + 10 + 813*z. Is x(0) a multiple of 5?
True
Let x(m) = -18*m + 17. Let l(g) = 17*g - 18. Let b(v) = 6*l(v) + 5*x(v). Let i be b(4). Let a = i + 158. Is 33 a factor of a?
False
Suppose -y - 2*g = -723, 3*y - 5*y + 3*g = -1481. Suppose 10*n = -y + 3173. Is n a multiple of 8?
False
Let f(g) = -2222*g + 16227. Does 103 divide f(-20)?
True
Suppose -5*c - 4*s - 60 = 0, 3*c - 7*s = -12*s - 36. Let v = 129 + c. Does 13 divide v?
True
Let o = 5137 + -3913. Does 7 divide o?
False
Suppose 0 = 4*k + 5*s - 24639, -96*s + 93*s - 18540 = -3*k. Is k a multiple of 34?
False
Let i(w) be the third derivative of w**7/336 - 7*w**6/240 + 4*w**5/15 - 9*w**2. Let l(r) be the third derivative of i(r). Does 28 divide l(7)?
True
Let q(y) = -y**3 + 32*y**2 + 30*y - 273. Does 6 divide q(31)?
False
Suppose -o - 159952 = -27*o. Suppose 1712 = -37*c + o. Is c a multiple of 3?
True
Let z = -10352 - -16499. Is 30 a factor of z?
False
Let a(s) = s**3 - s**2 - 2*s - 113. Let q be a(0). Let f = q + 117. Suppose f*k - 196 = 32. Does 4 divide k?
False
Suppose -5*f + 3*w = -33225, -6*w + 13281 = 2*f - 9*w. Is 6 a factor of f?
True
Suppose -8 = -2*t - 4*y, 5*t = -0*t + 5*y - 10. Suppose t = 4*a - s - 713, a - 203 + 46 = -4*s. Does 59 divide a?
True
Let h(s) be the second derivative of s**5/20 - s**4/3 - s**3/6 - 2*s**2 - 4*s. Let z be 9/(-108)*3 - (-25)/4. Is h(z) a multiple of 31?
True
Let i = 11 - -4. Let a be (-26)/(-10) - (-6)/i. Suppose -a*g - 32 = -4*s, -2*s - 3*g = g + 6. Does 2 divide s?
False
Suppose 0 = 6*k - 607 - 1427. Let y = k - 93. Is y a multiple of 16?
False
Let k(t) = 170*t - 223. Is k(5) a multiple of 5?
False
Suppose 217*b = 175*b + 399168. Is 44 a factor of b?
True
Let s = 3539 - 2019. Is 80 a factor of s?
True
Let y = 20367 + -10206. Does 9 divide y?
True
Let z(u) = -u**3 - 64*u**2 + 73*u + 745. Does 68 divide z(-66)?
False
Suppose -4*l - 5*s + 32 = -21, 2*l - 22 = 2*s. Suppose 43 = g + l. Let f = g - -9. Is 4 a factor of f?
True
Does 