lse
Suppose 43*p - 111872 + 24367 = 0. Is p a multiple of 55?
True
Suppose 2 = 3*a - 5*a. Let o be 72/18 + 1*a. Suppose -w + 5*d = -28 - 12, 5*w + o*d - 312 = 0. Does 20 divide w?
True
Suppose 0 = -2*n - 0*n + 10. Suppose 4*d - 46 = -5*h, -2 = -3*h - d + n*d. Suppose 0 = 3*y - k + 3*k - h, -k = -4*y + 19. Is 4 a factor of y?
True
Let u(p) = 355*p**2 + 36*p + 87. Is 14 a factor of u(-3)?
False
Let x = -2 + 3. Let t(u) = 5*u - 12. Let q be t(3). Suppose w + 2 = h + x, q*h + w = 23. Does 2 divide h?
True
Suppose 0 = -l - x - 7, 5*x = 4*l + x - 4. Let k be (-27)/12*(-40)/l. Let a = -10 - k. Is 6 a factor of a?
False
Let h(w) = -15*w + 30. Let m(x) = -x**2 - 7*x + 10. Let l be m(-9). Does 15 divide h(l)?
True
Suppose -8 = -5*y - 58. Is (-11 + -10 + 6)*4/y a multiple of 6?
True
Let n be (-830)/20 + (-2)/(-4). Let w = -23 - n. Does 3 divide w?
True
Let r be -2*3/6 - -16. Let t(w) = w - 5. Let j be t(r). Suppose -4*p = 4*v - 16, 3*p + 3*v + 2*v - j = 0. Is 5 a factor of p?
True
Suppose 3*d = 15, 3*n + 2*d = -2*n + 2625. Suppose n = 4*z - 301. Does 14 divide z?
False
Suppose 6*q - 172 = 2*q. Suppose -3*r + 4*l = -q, -13 - 4 = -r + 2*l. Does 4 divide r?
False
Let j be 21/14*318/(-9). Suppose 3*o + 2 = 14, -3*c - 3*o = 216. Let v = j - c. Does 18 divide v?
False
Let t = 275 - 104. Suppose 4*w - c = 162, 3*w - 3*c = t - 45. Suppose -l + w = -7. Is l a multiple of 13?
False
Let m be 36/27 - 18217/3. Is (-2)/5 - m/65 a multiple of 15?
False
Suppose -2*o - 2*o = 0. Suppose -b = r - o*r - 152, 3*r = b - 152. Is b a multiple of 19?
True
Let u be (24/16)/(1/12). Suppose 5*f - u - 2 = 5*r, -4*f = 2*r - 10. Let q(y) = -30*y - 1. Does 17 divide q(r)?
False
Let u be (-3)/((-51)/27 + 2). Let h(p) = 4*p + 1. Let i be h(-4). Let k = i - u. Is k a multiple of 6?
True
Let i be 229/5 + 2/10. Is (10/2 + (-24)/8)*i a multiple of 23?
True
Let l = -16 - -16. Suppose -2*q - 6 = l, 2*f - 12 - 262 = 4*q. Does 18 divide f?
False
Suppose 12*u - 792 = -12*u. Does 11 divide u?
True
Let j = 2638 - 2181. Is j a multiple of 4?
False
Suppose 4*k + 0 - 20 = 0. Suppose k*g - 6 = -3*x + 54, 47 = 3*g + 4*x. Does 3 divide g?
True
Suppose 67*b = 73*b - 72. Let d = -6 + 3. Does 5 divide (-4 + (-52)/b)*d?
True
Suppose -24 = 8*y + 56. Is 34 a factor of (0 - y/(-4))/((-5)/320)?
False
Let p = -34 - -28. Let z(t) = 5*t - 11. Let q be z(p). Let s = q + 71. Does 9 divide s?
False
Does 17 divide ((-23)/((-1265)/(-66)))/((-6)/680)?
True
Suppose -30*t = -16122 - 45468. Is 33 a factor of t?
False
Let r(y) = -y**3 - 9*y**2 - y + 6. Suppose 0 = -2*a + 2 + 6. Suppose -7*g - 27 = -a*g. Does 15 divide r(g)?
True
Suppose 9*l - 6*l - 660 = 0. Is l a multiple of 8?
False
Is 67 a factor of 135/30 + (-5610)/(-4)?
True
Let y(n) = -n**3 - 4*n**2 - n + 3. Let d be (4/(-10))/(2/20). Is y(d) even?
False
Is 19 a factor of (-2 + (-3)/(-2))*(69 - 2003)?
False
Suppose 39*d - 40*d = 8. Is (-582)/(-8) - 2/d a multiple of 27?
False
Let i(u) = 6 - 22*u**2 + 35 + u**3 - u + 32*u**2 - 11. Is i(-10) a multiple of 8?
True
Suppose -2*h - 18 = -5*a, a = h + 6 - 0. Is 36 a factor of (3 + 60/h)*-9?
True
Suppose -45*m + 23596 = -11*m. Is m a multiple of 95?
False
Let y be 5/(-2*(-2)/4). Suppose -2*w + 2*d = -w - 264, -y*d = -4*w + 1059. Is w a multiple of 38?
True
Let u(i) = i - 1. Suppose 0 = -5*v + 7 - 2. Let a be u(v). Suppose -r = -a*r - 13. Does 13 divide r?
True
Let c be (-17)/(-4) - (-11)/(-44). Is 5 a factor of 30/c*2*10/6?
True
Suppose 43*d - 44*d = -4*t + 109, 0 = -3*t + 5*d + 86. Is t even?
False
Let h = 1021 - 593. Suppose 7*l = -2*x + 3*l + h, 4*l + 904 = 4*x. Is 29 a factor of x?
False
Let j(v) be the second derivative of v**3/3 + 8*v**2 - 7*v. Does 3 divide j(7)?
True
Let j be (-2)/(-5) - 452/(-20). Suppose -560 = -j*v + 18*v. Is v a multiple of 14?
True
Let n be -13*1*(-2 - -1). Suppose 3*f + n = 109. Does 16 divide f?
True
Does 59 divide 9 - (-32241)/22 - 2/(-4)?
True
Suppose -3*h = u - 2069, u + 2754 = -5*h + 9*h. Does 13 divide h?
True
Suppose -n + 8*n - 994 = 0. Is n a multiple of 27?
False
Let z be (50/40)/((-1)/(-20)). Let t = z + -33. Is ((-90)/12)/(3/t) a multiple of 10?
True
Suppose b + 4*b = 25. Suppose 2*s = -s - 2*n + 18, -b*s - 4*n = -30. Suppose 0 = s*m - 5*m - 79. Is m a multiple of 21?
False
Suppose 2*f - 348 = 2*n - 6*n, 2*f - 345 = -3*n. Is 7 a factor of f?
True
Let s(w) = -264*w + 6. Is 10 a factor of s(-1)?
True
Let t = 3 + -1. Suppose 4*m + 4*s = t*m + 76, -2*m - 5*s + 80 = 0. Is 5 a factor of m?
True
Suppose 2*k - 575 + 135 = 0. Suppose -z + 5*z = -k. Let h = z - -109. Is 18 a factor of h?
True
Let g = 11 + -8. Suppose o + g*f + 5 = 7*f, 10 = 5*f. Suppose -o*r + 68 = -85. Does 16 divide r?
False
Suppose -6*n = -143 + 35. Suppose -n*u = -13*u - 160. Is u a multiple of 4?
True
Let o(c) be the second derivative of -11*c**3/2 + 7*c**2/2 + 3*c. Let m be o(-5). Is (m/28 + -3)*7 a multiple of 19?
False
Suppose -7*h = -193 - 1641. Let s = h - 161. Is 46 a factor of s?
False
Suppose 10*h - 906 - 104 = 0. Suppose -89 - 22 = -3*i. Suppose -31 = -v - 4*l, 5*v - h - i = -3*l. Does 9 divide v?
True
Suppose 20*p - 15*p = 145. Is p even?
False
Let l = 25 - 20. Suppose -2*q + z = -11, 13 - 3 = 3*q + l*z. Is 25 a factor of (113/(-5))/((-1)/q)?
False
Suppose -1728 = -4*f + 372. Does 21 divide f?
True
Let r(d) = 11*d**3 - d**2 - 12*d + 21. Let k(o) = -5*o**3 + 6*o - 10. Let f(u) = -9*k(u) - 4*r(u). Let p be f(-6). Let l = p - -45. Is 15 a factor of l?
True
Let o = 4 - 1. Suppose 0 = o*u - 10 - 5. Suppose -u*i = 69 - 559. Does 14 divide i?
True
Let h be ((-2)/(-2))/((-6)/(-3216)). Suppose g = -g + h. Does 29 divide g?
False
Suppose -j + 3 = -3*m, -5*j - 2*m - 9 = -58. Let w(t) = t + j + t - t. Does 6 divide w(13)?
False
Let s(p) be the first derivative of 9*p**2/2 - 12. Is 4 a factor of s(2)?
False
Let n(w) = -w**3 + 11*w**2 + 113*w + 6. Is n(16) a multiple of 3?
True
Let k = 815 - 410. Is 27 a factor of k?
True
Let w(q) = 100*q + 183. Is 69 a factor of w(3)?
True
Let i(x) = x**2 + 2*x - 15. Let v be i(5). Suppose -v*b = -15*b - 540. Does 6 divide b?
True
Suppose 410 = -5*r - 5*k, -k = 3 - 0. Let s = -73 - r. Does 6 divide s?
True
Is 23 a factor of 3 + (9/18)/((-2)/(-172))?
True
Suppose 28*i - 23*i - 19250 = 0. Suppose -i = -16*s - 842. Is 44 a factor of s?
False
Suppose -2*n + 14 = 4*w, -w = n - 5*n - 8. Suppose 0 = -0*t + w*t - 108. Suppose -2*i = -27 - t. Is i a multiple of 22?
False
Let v be (6/9)/((-2)/(-282)). Let b = v + -32. Is 11 a factor of b?
False
Suppose -4*w - 9 = -1. Let v be (-6)/(-33) - w/(-11). Suppose q - 10 + 0 = v. Is q a multiple of 5?
True
Let c be ((-1)/(-1))/(8/168). Let d = -16 + c. Suppose -2*i - p + 18 = 0, -d - 8 = -3*i + 2*p. Does 2 divide i?
False
Suppose 55*n - 56*n = -2731. Is 63 a factor of n?
False
Let r = -20 - -22. Let o be (4 - 29/r)*-2. Let h = o + 0. Is 10 a factor of h?
False
Suppose 5*v - 10*v - 3*q = -798, 2*v - 320 = -q. Is v a multiple of 54?
True
Let w be (2 - 0) + -1 - 9. Let g(j) be the first derivative of j**4/4 + 8*j**3/3 - 2*j**2 - 11*j + 13. Does 11 divide g(w)?
False
Let x = -1003 + 1283. Is x a multiple of 20?
True
Let w(d) = -17*d - 438. Let r be w(-26). Let h be ((-1)/(-2))/((-2)/(-8)). Suppose 116 = r*a - h*a. Is 14 a factor of a?
False
Is 4 a factor of (-2746)/(-14) - (-52)/(-364)?
True
Suppose -5*y + 0*f = 2*f + 12, 4*y - f = -20. Let j be (((-48)/(-3))/y)/(-1). Suppose -5*c - 5 = 0, j*l - 138 = c - 3*c. Is 11 a factor of l?
False
Suppose -6*i - 83 = -821. Is 18 a factor of i?
False
Let j = -12 + 13. Let g be (-19)/(-1) + (j - -2). Suppose 2*o = 3*o - 4*p - g, -39 = -2*o + 3*p. Is 18 a factor of o?
True
Let u(y) = -8*y + 6. Let j be u(-7). Let z = j + -20. Is 21 a factor of z?
True
Let p be 0/(-1*4/(-4)). Suppose 4*k = -4*h + 980, 4*h - 3*k + 5*k - 980 = p. Suppose 3*b = 25 + h. Is 15 a factor of b?
True
Let h = 83 + -67. Suppose h*c - 728 = 2*c. Is c a multiple of 13?
True
Let k = 24 + -24. Suppose k = -14*f + 11*f - 12. Is 16 a factor of 15/(-4*f/48)?
False
Suppose -6 = r + 21. Is 20 a factor of (r + -1)*(6*-2)/4?
False
Let n = 234 - 146. Does 30 divide n?
False
Let u be (6 + 135/(-25))/(1/155). Suppose u*z = 88*z + 1100. Is 16 a factor of z?
False
Suppose 26 = 3*s + 2*k, s - 3*s + 5*k = -11. Let f = s - 6. Let h(a) = 4*a**3 - a**2 - a - 3. Is h(f) a mu