lse
Let f = -103 - -234. Suppose -2*l + 44 = 2*i, 0*l + 2*i + f = 5*l. Does 10 divide l?
False
Suppose -3*q = 2*q. Suppose q = -3*r + h + 131, h = 4*r - 4*h - 171. Does 31 divide 538/8 + (-11)/r?
False
Suppose 0 = -4*i - s, s - 3*s = 5*i - 3. Is 23 a factor of 48 - (3 + i)/1?
True
Let r be 4/(((-2)/4)/((-8)/(-16))). Let f = 49 - r. Is f a multiple of 6?
False
Let v = 3517 - 1593. Is v a multiple of 13?
True
Suppose -3*j + 3*b - 2*b + 231 = 0, 2*b = 0. Is j a multiple of 13?
False
Is 18 a factor of (-18 + 34)*3/((-9)/(-96))?
False
Let d = 81 - 79. Suppose 106 + 134 = d*g. Is 8 a factor of g?
True
Let q = 36 - -17. Suppose -5*g + 8 = q. Is 3 a factor of 3/g + 75/9?
False
Suppose -5*g = 3*a - 40, -2*a = 2*g - a - 15. Let v(t) = -13*t - 10. Let x(s) = s. Let l(b) = -v(b) - 6*x(b). Is l(g) a multiple of 15?
True
Suppose -c + r + 23 = 3*c, 2*c - r = 13. Is 3 a factor of c/((-5)/3) - -10?
False
Let h = 811 - 480. Is h a multiple of 6?
False
Let y(q) = q**3 + 2*q**2 - 2*q + 6. Let z be y(-3). Suppose -2*w - z*h = 18, -4*w - 25 - 29 = -3*h. Does 10 divide -2*-46*w/(-16)?
False
Suppose -3*w - 24 = -0*l - 5*l, -5*l + 5*w = -30. Suppose -2*x = -l*x, 0 = -h + x - 28. Is 17 a factor of 2 - 1 - (-5 + h)?
True
Let g(y) = 27*y**3 - y**2 + y + 4. Suppose -2*a + 15*a - 26 = 0. Does 21 divide g(a)?
False
Let o(r) = -6*r + 45. Let a be o(7). Does 33 divide 94/(((-3)/(-1))/a)?
False
Suppose -3*t = 2*a - 295, -5*t = -7*t + 2*a + 190. Does 4 divide t?
False
Suppose -4*a = -2*r + 6, 2*a - 3 = -7*r + 2*r. Is 26 a factor of (1/r)/(5/165)?
False
Let h = 1993 - 1408. Is 13 a factor of h?
True
Suppose -49445 = 49*u - 104*u. Does 15 divide u?
False
Suppose -i = -4*i + 6. Suppose -2*z - 86 = -i*b + z, -69 = -b - 5*z. Does 6 divide b?
False
Suppose 2*n = -11*n + 52. Suppose -n*m + 1333 = 5*t, -3*t + 538 = -t + 4*m. Does 33 divide t?
False
Let h(g) = -9*g**3 - 4 - g**3 + 7*g**3 - 11*g**2 + 3*g. Let a(z) = 4*z**3 + 16*z**2 - 5*z + 6. Let x(s) = -5*a(s) - 7*h(s). Is x(3) a multiple of 5?
True
Let m = -30 + 34. Let c(h) = 3*h**2 - 9*h + 9. Is c(m) a multiple of 21?
True
Let q = 455 + -167. Let t = -176 + q. Does 7 divide t?
True
Let j(p) = -2*p**3 - 12*p**2 + 2*p + 23. Is 73 a factor of j(-10)?
True
Let l(i) = -15*i**3 + 5*i**2 + 9*i + 19. Does 34 divide l(-3)?
True
Is (-4 + (-1208)/(-14))/(6/140) a multiple of 12?
True
Let p = 1 + 2. Let l = 15 - p. Does 15 divide ((-16)/6)/((-2)/l)?
False
Suppose 2*h - 5298 = -4*y, 0 = -15*y + 18*y - 4*h - 3979. Is y a multiple of 40?
False
Let l(q) = -12*q + 88. Is 18 a factor of l(-6)?
False
Let h(x) = -22*x + 422. Does 14 divide h(-14)?
False
Let p(s) = 4*s**2 - 3*s + 8. Does 67 divide p(6)?
True
Is 12*2/(-28)*-7 a multiple of 5?
False
Suppose 0 = -4*l + 2*i + 1892, 465 + 17 = l - 5*i. Is l a multiple of 20?
False
Let y = 528 + -303. Is y a multiple of 5?
True
Suppose 0 = 5*k + 4*p - 2030, -5*p - 1624 = 8*k - 12*k. Is k a multiple of 67?
False
Suppose 2*n - 6 = 4*o + 2, 16 = 4*n + 3*o. Let s be -1 + 3/3 + n. Is 34/4 - (-2)/s a multiple of 3?
True
Let t(m) = -m**3 - 15*m**2 + m + 1. Let b be t(-15). Let w = b - -18. Suppose -a - 187 = -w*h, h = 4*a - 24 + 67. Is 12 a factor of h?
False
Suppose 4*m - g + 38 = 0, 3*m - 5*g - 30 = 5*m. Is 2 a factor of (10/(-25))/(((-1)/m)/(-1))?
True
Let w(q) = -6*q + 41. Let g be w(6). Suppose -2*z = -v - 260, -2*v + 263 + 378 = g*z. Does 18 divide z?
False
Let n(b) be the first derivative of b**4/4 + 7*b**3/3 - 3*b**2/2 + 4*b + 4. Let v = -4 - 2. Is n(v) a multiple of 10?
False
Suppose -13*n = -725 - 1641. Does 7 divide n?
True
Let r(q) = q - 2. Let t be r(-12). Let z = -6 - t. Is z a multiple of 3?
False
Let d = 32 - 31. Is 15 a factor of 59 + 1 + 1 - d?
True
Suppose -91*l - 1434 = -108541. Is 11 a factor of l?
True
Suppose -141*z + 131*z + 3980 = 0. Is 5 a factor of z?
False
Suppose 0 = -8*a - 65 + 385. Is 13 a factor of a?
False
Let x(d) = -d**2 + 3*d + 3. Let r be x(4). Let s be (-1)/r + (-1 - -5). Let a = s + -2. Is a a multiple of 2?
False
Suppose -3274 = -6*n - 892. Suppose 7*u - 3*u = 3*j + n, -4*u + j = -391. Is u a multiple of 19?
False
Let k = -306 + 592. Let z = -177 + k. Is z a multiple of 31?
False
Let p(u) be the second derivative of -9*u**3/2 - 5*u**2 - u. Is p(-4) a multiple of 14?
True
Suppose 2*j = 2*w + 914 + 82, 5*j - 4*w = 2492. Suppose -5*z - 4*o + j = 0, -3*o - 76 = -z + 5. Is 16 a factor of z?
True
Suppose -3*v + 348 = 5*d, -4*v = 3*d - 2*v - 208. Is d a multiple of 18?
True
Let o = 69 + -69. Suppose o = 5*c + p - 711, -2*p = -5*c + p + 727. Is c a multiple of 11?
True
Let k(v) = v**2 - 7*v - 14. Let i be k(11). Is (i/(-25))/((-3)/220) a multiple of 12?
False
Suppose -4*p - 2 = 4*z + 6, 0 = 2*z - 4*p - 20. Suppose 111 = -z*r + 3*r. Suppose r + 157 = 4*i. Is 17 a factor of i?
False
Suppose y - 27 + 12 = -5*z, 0 = -4*z - 3*y + 1. Suppose z*q + 118 = o, o - 4*o + 3*q = -381. Suppose 4*b - o = 10. Is b a multiple of 8?
False
Suppose 3*v = 26 - 11. Suppose x - 72 = -a + 2*a, -5 = v*a. Suppose -5*i - x = -2*h, -i + 3*i = 3*h - 90. Does 9 divide h?
False
Let t(y) = -3*y - 8. Suppose 0 = 2*p + 2*p + 64. Let d = 6 + p. Is 6 a factor of t(d)?
False
Suppose -14 = 7*n - 8*n. Suppose -2*z + n + 186 = 0. Suppose 3*i + q = 2*i + 26, 4*i = -3*q + z. Is 11 a factor of i?
True
Suppose -441*k = -442*k + 206. Does 34 divide k?
False
Let i(w) = -w**3 - 5*w**2 + 5*w. Let n be i(-6). Suppose -3*a - 39 = -n*a. Is a a multiple of 8?
False
Let l = -1623 + 4176. Does 37 divide l?
True
Let l(g) = -g**2 + 6*g + 9. Let n be l(6). Suppose -4*d + d = n. Is 12 a factor of d + 150/(2/1)?
True
Suppose 28*y - 2327 = 14697. Is 15 a factor of y?
False
Suppose 10 = 4*l - 94. Suppose 3*i - l = -137. Let o = -13 - i. Is o a multiple of 22?
False
Let t = 18 - 4. Suppose -y - y = -t. Let r(z) = z + 6. Is 13 a factor of r(y)?
True
Suppose 3*o + 37*s - 10 = 35*s, 5*o = 4*s + 2. Let m(n) be the third derivative of n**5/12 + n**4/8 - n**3/6 + n**2. Is m(o) a multiple of 5?
True
Let v(i) = i**3 - 4*i**2 + 2*i - 1. Let o be 4/10 - (-92)/20. Suppose 0*q + o = q. Is v(q) a multiple of 17?
True
Let s = 31 - -49. Is 20 a factor of s?
True
Suppose y - 2 = 0, -5*y + 8*y = -b + 721. Is b a multiple of 16?
False
Let q = 608 + -228. Is q a multiple of 10?
True
Let d = 1247 - 396. Is d a multiple of 10?
False
Suppose 2*v + 6 = 12. Suppose 0 = k - v*k. Let o = 32 + k. Is o a multiple of 7?
False
Suppose 2*a = 4*l + 4, 5*l - a + 15 = 4*a. Let c(b) = 2*b**2 + b - 1. Let t(k) = -5*k**2 + 3*k - 4. Let g(x) = 3*c(x) - t(x). Is g(l) a multiple of 3?
True
Let p(t) = 317*t + 87. Is 16 a factor of p(7)?
False
Let a = -22 + 76. Is 9 a factor of a?
True
Suppose -f + 83 = 4*w + 31, 5*f = 4*w + 212. Suppose f = 7*c + 9. Is c a multiple of 5?
True
Let o be ((-8)/8)/(0 - 1/58). Is 0 + o - (-9)/(-9) a multiple of 31?
False
Let t(y) = -15*y + 107. Does 3 divide t(5)?
False
Let b(f) = -64*f - 387. Is 11 a factor of b(-34)?
False
Let z(c) = c**2 - 11*c + 2. Let g be 3/(-12) + 122/8. Does 11 divide z(g)?
False
Suppose 5*q - 9 - 36 = 0. Suppose 3*i = q - 0. Let c(k) = k**2 + k. Is 6 a factor of c(i)?
True
Suppose 4*w + b = 235 + 1635, -2*w + b + 938 = 0. Suppose -2*z + w = 4*q + 2*z, 3*z = q - 129. Suppose -5*j = -2*j - q. Is 10 a factor of j?
True
Is 3/5 + 203337/255 a multiple of 11?
False
Suppose 12*b - 132 = 8*b. Let m be (44/b)/(8/18). Suppose i + 63 = -k + 2*k, -m*i = 2*k - 111. Is 15 a factor of k?
True
Let z(o) = -o**3 - 10*o**2 - 7*o + 6. Let r be z(-9). Let v be -5*(-3)/(r/(-8)). Suppose 4*t - v = 26. Does 2 divide t?
False
Suppose 7*s + 8052 = 3*s. Is 33 a factor of 1/(-5) + -2 + s/(-15)?
True
Suppose -q = -4*q - 5*r + 142, -98 = -2*q - 4*r. Suppose q + 30 = 3*l. Is 20 a factor of l?
False
Suppose 0*h = -h - 794. Let u be (-12)/18 - h/3. Suppose -c + u = 3*c. Is c a multiple of 11?
True
Let q(k) = -k**3 + k**2 - k + 15. Let a be q(0). Let x be ((-4)/6)/((-26)/(-273)). Let s = a + x. Does 3 divide s?
False
Suppose -20586 = -3*t + 4*j - 78602, t = 3*j - 19332. Let f be 4/(-14) - t/84. Suppose s - f = -4*s. Is s a multiple of 23?
True
Let o(b) be the third derivative of b**4/6 + b**3 + b**2 - 3. Does 5 divide o(3)?
False
Let c(x) = -2*x**3 - x**2 + 3. Let w be (-3 + 1)*39/(-26). Let y be c(w). Let u = -35 - y. Does 16 divide u?
False
Let g(z) = 2*z. L