lse
Suppose -21 + 22 = -r. Let u = 3 - r. Does 2 divide u?
True
Let u be 141*5/(-75)*-5. Suppose -22*o - 5600 = -u*o. Is o a multiple of 13?
False
Is 7 - (1/2 + (-513)/(-114)) - -39081 a multiple of 11?
True
Let n be ((-4)/5)/(130/975). Let a(c) = -81*c + 20. Does 22 divide a(n)?
True
Let u = -277 - -703. Suppose -2*d - 502 = -2*c, -5*c + d = -u - 849. Is 32 a factor of c?
True
Suppose -18 = -4*i - 0*i + 3*z, -z - 11 = -3*i. Suppose -i*m = -2*j - 0*j - 159, -4*m + 77 = -j. Let c = -63 - j. Is c even?
True
Suppose -r - 3*p = 51, -156 = 3*r + r - 4*p. Let c = r + 82. Is (c + 3 - 2) + -1 a multiple of 5?
True
Suppose -o + 5*w + 8738 = 0, -o = 5*w - 7517 - 1241. Is o a multiple of 36?
True
Let j(u) = 2*u - 21. Let f be j(14). Suppose 2*x - 4*g - f = -g, -4*x + 5*g + 13 = 0. Suppose -3*n + 5*t = -121, 5*n + x*t - 187 = 3*t. Is 6 a factor of n?
False
Let y = -8 + -12. Let a = y + 24. Is a/22 + 0 - 394/(-11) a multiple of 9?
True
Let s(a) = -8*a**2 + 9*a. Let h(o) = -17*o**2 + 18*o - 1. Let j(w) = 6*h(w) - 13*s(w). Let v be j(8). Let d = v + -19. Is d a multiple of 27?
False
Let t(k) = 1770*k**3 - k + 1. Let f be t(1). Suppose -10*v = 3*l - 15*v - f, 610 = l + 5*v. Is 33 a factor of l?
False
Suppose 4*w - 10*d + 6*d = 70992, 4*w - 3*d = 70994. Does 71 divide w?
True
Let k be -2 - (-10 + 12 - (10 + -1)). Let t(g) = 80*g + 32. Is t(k) a multiple of 16?
True
Suppose 714 + 815 = -11*m. Let q = 181 + m. Is q a multiple of 16?
False
Let f(p) = 2*p**3 - 15*p**2 - 9*p - 4. Let j be f(8). Let t(c) = 2*c**2 - 5*c - 33. Is 5 a factor of t(j)?
True
Let u be (-343)/((39/(-6))/13). Let p = u + -102. Does 16 divide p?
False
Let p(d) = -6*d**3 - 37*d**2 - 28*d - 119. Is p(-15) a multiple of 34?
False
Suppose w = 5*w + 4. Let j = 80 + w. Let z = 275 - j. Is 12 a factor of z?
False
Is ((-46)/(-46))/(4 - 53964/13492) a multiple of 215?
False
Is 50 a factor of -10365*(36/324)/((-1)/30)?
True
Let a = -17612 - -22857. Does 3 divide a?
False
Let k = -32 + 41. Suppose 0 = -k*x + 11*x - 58. Does 3 divide x?
False
Suppose -3*p + 15 = 6. Suppose 6*k + 1218 - 4914 = 0. Suppose -i + 136 = p*w, 5*w = -5*i + 84 + k. Is i a multiple of 27?
False
Let n(z) = -2*z**3 - z**2 - 49*z. Let a be -9 + -2*(3 + -4). Is n(a) a multiple of 16?
False
Let u = 345 + -170. Suppose -5*z = -3*l - 940, -z - 17*l + u = -15*l. Does 51 divide z?
False
Suppose j - 335 - 657 = 0. Is j/8*(-38)/(-8) a multiple of 58?
False
Let n(x) = 63*x + 24. Let v(i) = -61*i - 23. Let c(j) = 5*n(j) + 4*v(j). Does 4 divide c(3)?
False
Let j(u) = -19 - 2*u + 24 - 8 + 5*u - 2*u**3 + 3*u**2 + u**2. Does 5 divide j(-6)?
True
Suppose u = 2*n + 716 - 2282, 5*u - 3146 = -4*n. Suppose n - 109 = 5*a. Suppose 0 = 7*t - 2*t - a. Is t even?
False
Let u(s) = -s**3 - 3*s**2 + 3*s + 4. Let b be (4 + 3 + -6)*(-5 + 1). Let i be u(b). Let p = 19 + i. Is 2 a factor of p?
False
Suppose k + 45 = -2*h, 5*h - 115 = 4*k - 0*h. Let u = -32 - k. Does 11 divide (u*1)/(17/374)?
True
Suppose 8*y - 25 = 3*y. Suppose z - 200 = q, -13 = 4*z - q - 822. Suppose i = 2*i - y*c - 23, 5*i - 3*c = z. Is i a multiple of 26?
False
Suppose 447*h - 444*h = 2*t + 1158, -h + 2*t = -382. Is 194 a factor of h?
True
Suppose -15 = -5*n, -5*g = 2*n - 3 - 13. Does 20 divide (12 - 32)/(g/(-48))?
True
Suppose -2*d + 8 + 2 = 0. Suppose -11 = -d*j + 9. Suppose -5*k = 6*x - j*x - 581, -458 = -4*k - 5*x. Is k a multiple of 13?
True
Let q(f) = f**2 + 5*f - 45. Let g be q(-10). Suppose t = -4, 0 = 5*k - 4*t + g*t - 671. Does 17 divide k?
False
Let n(g) = 266*g**2 + 2*g + 5. Let t(f) = -f**2 - f - 1. Let s(p) = n(p) + 3*t(p). Let m = -39 + 40. Does 12 divide s(m)?
True
Let w(d) = -d**3 - 5*d**2 - 16*d - 12. Let i be -10 - (16/(-24))/(2/6). Is w(i) a multiple of 28?
True
Let h(b) = 1375*b - 143. Let y(k) = 47*k - 5. Let f(t) = 3*h(t) - 88*y(t). Suppose 2*x + 2 + 8 = 0. Does 22 divide f(x)?
True
Suppose -83*d + 88*d = 2*j - 3585, -1792 = -j + 3*d. Does 28 divide j?
False
Let n(m) = 2*m**2 - 12*m + 18. Let l(j) = j**3 + 7*j**2 - 9*j - 2. Let c be l(-8). Let w be n(c). Suppose -5126 = -w*t - 1382. Does 13 divide t?
True
Let f = -1337 - -4761. Is 32 a factor of f?
True
Let h(c) = 2*c + 1127. Does 21 divide h(77)?
True
Let p(q) = 2*q**2 + 2*q + 2. Let d be p(-1). Suppose -2*s = 5*u - 1050, 20 = -u + d*s + 230. Does 68 divide u?
False
Let o(v) = 83*v + 6. Let q be o(-5). Let s = 500 + q. Is s a multiple of 5?
False
Suppose -30 = -40*v + 170. Suppose -3835 = -3*m + v*j, 7*m + 2*j - 3821 = 4*m. Is 25 a factor of m?
True
Let b(g) = 9*g**2 - 6*g. Let d(h) = -8*h**2 + 7*h. Let y(t) = 3*b(t) + 2*d(t). Is y(3) a multiple of 13?
False
Let p(u) = 42*u + 1085. Is 7 a factor of p(35)?
True
Let u = -305 - -243. Does 8 divide u*(0 - 3) + -2?
True
Let k(i) = i**3 + 2*i**2 - i + 2. Let z(a) = 111*a**3 + 7*a**2 + a + 10. Let d(s) = 3*k(s) - z(s). Is d(-2) a multiple of 36?
True
Let k be 506 - 0*(-7)/(-28). Suppose -2*w + k = 5*p, 103 = p - 24*w + 25*w. Is p a multiple of 25?
True
Suppose r = -3*r - 12. Let m be (29 - r) + 4 - 4. Let f = m + 103. Does 20 divide f?
False
Let t(c) = c - 2. Let j be t(10). Suppose l - 2 - 2 = 2*w, -4*l = -2*w + j. Is (-882)/(-24) + 0 - 1/w a multiple of 37?
True
Let q(d) = -d**2 - 31*d - 85. Let y be q(-20). Suppose 6*f = y + 147. Is f a multiple of 3?
False
Let c = 6900 - 4311. Does 7 divide c?
False
Let k(z) = -23*z + 74. Let h be k(3). Is 11 a factor of (-8)/10*(44275/(-14))/h?
True
Let g(u) = 1. Let i(t) = -2*t - 6. Let j(b) = -5*g(b) - i(b). Let c be j(0). Is 14 a factor of ((-70)/(-15))/(c/21)?
True
Let c(r) be the first derivative of 1/3*r**3 + 0*r**2 + 15 + 0*r - 3/4*r**4. Is 7 a factor of c(-2)?
True
Suppose -50*a = -45*a + 45. Let v be 2/(-2) + (32 - 1 - a). Let w = v - -227. Does 38 divide w?
True
Suppose 63*m - 16*m = 60160. Does 128 divide m?
True
Let t be (-1)/(273/(-69) + 4)*-4. Let l = t + 132. Is 14 a factor of l?
True
Let o be (-60830)/(-198) + ((-2)/9 - 0). Let v = o - 142. Suppose -v = 5*q - 260. Is 3 a factor of q?
False
Let t(o) = -26*o**3 - 2*o**2 - 4*o - 5. Let w be t(-2). Let u = w + -178. Is u a multiple of 4?
False
Suppose -6*l = -8*l + 112. Suppose -16 = -4*p, -5*p - 252 = -3*w - l. Is 12 a factor of w?
True
Let z(d) = 5701*d**2 - 14*d + 13. Is 26 a factor of z(1)?
False
Let q = 3765 - 2988. Does 158 divide q?
False
Suppose -18 = -3*d - 6*d. Suppose d*q - 2*m = -64, 5*q + 5*m + 132 = 3*m. Is 9 a factor of (-634)/(-14) + 8/q?
True
Let k = -25 - -36. Let i = -5 - k. Let u = 8 - i. Is 24 a factor of u?
True
Suppose -75*b + 367855 + 259409 = 202239. Is 31 a factor of b?
False
Suppose 24 = 2*y + 3*v + v, 5*y = 3*v - 5. Suppose d + 0*g = -y*g - 59, 2*d - 3*g = -146. Let k = -28 - d. Is 16 a factor of k?
False
Let m(c) = 16*c**2 + 1327*c - 26. Is m(-108) a multiple of 7?
False
Suppose -w + 12 + 21 = -4*q, -4*w = 4*q - 172. Suppose 4*x - 5*z - w = 0, -2*x + 5*z + 4 + 29 = 0. Suppose -6*s = -3*s, 4*j - 192 = x*s. Is j a multiple of 48?
True
Is 12 a factor of -5 + 6280 + -27 + 39?
False
Let i = -263 + 218. Is (-2 - 9/(i/10)) + 196 a multiple of 9?
False
Suppose 3*h = 4*g + 16, 3*g = -4*h + 2*h + 5. Is 2 a factor of (-20)/h*(-612)/90?
True
Let t = 564 + -556. Let z(a) = a**3 - 2*a**2 + 13. Is z(t) a multiple of 11?
False
Suppose 2*j + 1 = 3*j - u, 5*u = 2*j + 13. Suppose 2*z - 3*t = j*z - 13, -2*z = 5*t - 17. Is (104/(-40))/(z/(-65)) a multiple of 13?
True
Let r(x) = -93*x**3 - 3*x**2 - x. Let l be r(-2). Is -4 - l/((-8)/4) a multiple of 33?
True
Suppose 0 = -19*i + 21*i - 10. Suppose i*n + 229 = 2344. Is 47 a factor of n?
True
Let g = 155 - 153. Suppose 2*p + 5*w = 231, -p - 5*w = g*p - 354. Is p a multiple of 64?
False
Suppose 61*w - 634476 = 975924. Is 13 a factor of w?
False
Suppose x - 5 = -3*d, -d - 2*x + 1 = -4*d. Let s be (4 - (3 + -2))*d. Suppose s*b - 4*u - 288 = -2*u, 4*u = 0. Is b a multiple of 24?
True
Let c(d) = 3*d - 21. Let j(p) = 29*p - 137. Let k(y) = 19*y - 91. Let b(q) = 5*j(q) - 8*k(q). Let w(o) = -3*b(o) - 5*c(o). Is w(5) a multiple of 3?
True
Suppose -h - 4*h = 10, 3*h + 3410 = 4*w. Let b = w - 608. Is 27 a factor of b?
True
Let m = -234 - 190. Does 69 divide -4 - 3 - (m + 3)?
True
Suppose 3*c - 62 = 5*t + 63, -c + 93 = -4*t. Does 20 divide (32/(-12))/(t/2475)?
True
Let u(r) = 89*r**3 - 2*r**2 - 2*r + 1. Let x be u(5). Let t be (-