lse
Suppose -12*v = -14*v + 120. Is v a multiple of 12?
True
Let p = -123 - -172. Does 7 divide p?
True
Suppose 3*g + 33 = x + 2*x, -28 = 2*g + x. Suppose 2*m + 21 = m. Let b = g - m. Does 4 divide b?
True
Let j(r) = 0 - 6 + 5*r**2 + 7 + 2*r - 4*r**2 - 11*r**3. Suppose -3*w + 2 = 5. Does 6 divide j(w)?
False
Suppose -6*j + 69 = -63. Suppose s - 1 = -2*z - 2*z, 0 = -z + 5*s - 5. Suppose 0*k + 2*k - j = z. Does 11 divide k?
True
Suppose 14*s - 228 = 10*s. Is 19 a factor of s?
True
Suppose -4*h + 222 = 4*c - 122, 0 = 4*c - 5*h - 353. Let f be ((-6)/8)/(1/(-4)). Suppose -f + c = 3*v. Does 20 divide v?
False
Let d = 1 - -2. Suppose -d*p + 27 = 2*p + 3*z, 4*p - 32 = -5*z. Suppose 2*r - s - 66 = 2*s, p*r = 4*s + 100. Is r a multiple of 18?
True
Suppose 3*k + 2*k - 183 = -3*a, -4*a - 32 = -k. Does 18 divide k?
True
Suppose -3*j + 7*j - 8 = 0. Suppose j*s - 9 = -s. Suppose 0*p + 5*p - 74 = -4*z, s*p + 74 = 5*z. Is z a multiple of 6?
False
Suppose 13 = 3*a - 8. Let t = a - 5. Is 10 a factor of 19*(-2)/(-4)*t?
False
Let z(m) = -2*m + 4. Let p(j) = -4 - 7 - 1 + 6*j. Let c(o) = 5*p(o) + 14*z(o). Does 8 divide c(6)?
True
Is (-291*(-4)/(-6))/(-1) a multiple of 41?
False
Suppose -g - 6 = -38. Is 8 a factor of g?
True
Let z(y) = y**3 + 13*y**2 - 6*y - 26. Is z(-13) a multiple of 13?
True
Is (6/(-4))/((-8)/352) a multiple of 11?
True
Suppose m = -2 - 2. Let l(v) = -v**3 - 3*v**2 + 3*v + 5. Is l(m) a multiple of 9?
True
Let b(u) = -u**2 + 3*u + 9. Let n be b(9). Let t = 69 + n. Is 8 a factor of t?
True
Is ((-6)/(-5))/(6/80) a multiple of 8?
True
Let c(x) = -2 - 2*x**3 + 5*x**2 + 2*x + x**3 + 5 - x. Let w be 4/10 - 23/(-5). Is c(w) a multiple of 7?
False
Suppose 0 = h - 5*x - 32, -5*h + 0*x - 3*x = -216. Is 10 a factor of h?
False
Let n(f) = f - 10. Let w be n(6). Let k be (9/(-12))/((-2)/(-984)). Does 12 divide k/(-12) - 1/w?
False
Let w(n) = -n**3 + 7*n**2 + 8*n + 2. Let k be w(8). Let i be 2 + -3 - (-10)/k. Suppose -i*z = 5 - 29. Does 6 divide z?
True
Let p be (-15)/6 - (-1)/(-2). Let w = p + 3. Suppose -v - 5*r - 14 = -w*v, 0 = 5*v - r - 34. Is v a multiple of 6?
True
Let f be (-112)/6 - 4/12. Let w = f - -49. Is 15 a factor of w?
True
Suppose -2*w = 5*z - 31, 5*w = 7 - 17. Let v = z + -5. Suppose t = -v*t + 12. Does 2 divide t?
True
Is 3 a factor of (-2)/4*(-21 + -1)?
False
Suppose 7*o = 2*o + 440. Is o a multiple of 10?
False
Let k(g) = 2*g**2 - 6*g + 14. Is k(6) a multiple of 29?
False
Let x(b) = -b**3 - 8*b**2 - 8*b - 4. Let j be x(-7). Suppose 3*l + 30 = j. Let k = l + 16. Does 7 divide k?
True
Let c = 87 + -14. Suppose 5 = u, 4*u - 28 = 5*q - c. Does 8 divide q?
False
Suppose -4*d + 9*d - 20 = 0. Let v = -1 + 2. Is 3 a factor of d + -6 - (v + -6)?
True
Let m(a) = -a**2 + 8*a + 3. Let w be m(8). Let b be -3*(w + 0)/(-3). Suppose b*c + 36 = 162. Does 14 divide c?
True
Let h(b) = 4*b**3. Let c be h(1). Suppose 0 = 2*z - c - 2. Is 6 a factor of z/(-9) + (-52)/(-3)?
False
Let x(h) = -h**2 + 4*h + 3. Let b be x(4). Suppose -3*m - b = -9. Is m even?
True
Let r(x) be the third derivative of x**5/60 - x**4/4 + 7*x**3/6 - x**2. Does 7 divide r(6)?
True
Let m(b) = -b**2 - 10*b. Let u = -23 + 13. Let t be m(u). Suppose 4*x - 36 - 28 = t. Is x a multiple of 8?
True
Let o(m) = 20*m**3 + 10*m**2 - 20*m + 44. Let w(s) = 7*s**3 + 3*s**2 - 7*s + 15. Let k(y) = 6*o(y) - 17*w(y). Does 27 divide k(-8)?
True
Suppose 0 = -5*g + 9 + 51. Does 5 divide g?
False
Suppose 3*k - 1 + 37 = 4*t, k + 28 = 4*t. Suppose 6*j - 5*j = t. Let d = 8 + j. Is d a multiple of 7?
True
Let d(b) = -b + 10. Suppose u = -3*u + 24. Is d(u) a multiple of 3?
False
Suppose -938 = -3*i - 245. Does 17 divide i?
False
Suppose 2*g = -2*g. Suppose -5*d + 4*b = -20, 5*d + g*d - 15 = 5*b. Does 8 divide d?
True
Suppose 14*s - 9*s - 285 = 0. Is s a multiple of 19?
True
Let o = 119 - 89. Does 10 divide o?
True
Let b = 216 + -120. Is 32 a factor of b?
True
Let h(o) be the second derivative of o**4/4 - 4*o**3/3 + 3*o**2 + 2*o. Let w be h(5). Suppose 0 = -3*c + 5*c + 3*a - 25, 4*c - 3*a = w. Is c a multiple of 7?
False
Suppose 673 + 1097 = 10*q. Is q a multiple of 45?
False
Let p(o) = -o - 3. Does 6 divide p(-11)?
False
Let p = 21 + 1. Is 2 a factor of p?
True
Suppose 0 = -0*v - 3*v + 111. Let p = v + -16. Is 7 a factor of p?
True
Suppose 10*g = 14*g - 224. Is 28 a factor of g?
True
Is (15/(-6))/(((-6)/2)/18) a multiple of 3?
True
Suppose 0*j + 2*j - 42 = 0. Let i = 67 - j. Is 19 a factor of i?
False
Suppose -4*l - 261 = -3*d, -3*d = l - 0*l - 246. Is 20 a factor of d?
False
Does 17 divide (442/4)/(7/14)?
True
Is 8 a factor of 3*(2 + (-104)/(-12))?
True
Let o(w) = -w - 5. Let v be o(-7). Suppose 3*f = v*z + 95, 5*z = -0*z - 20. Does 9 divide f?
False
Suppose -2*i + 4 - 26 = 0. Let z = -19 - i. Let j(g) = -g + 2. Is 10 a factor of j(z)?
True
Suppose 2*s - 2 = 2. Let k be 4*(-1*s + 6). Suppose -4*c = -16 - k. Is c a multiple of 6?
False
Let a(p) = -p**3 + 15*p**2 - 24*p + 16. Is a(12) a multiple of 20?
True
Is 8 a factor of 7/(-1)*168/(-49)?
True
Suppose -12*a + a = -264. Is a a multiple of 8?
True
Let c(a) = 4*a**2 + 2*a + 4. Is c(-3) a multiple of 17?
True
Let u(g) = -8*g + 4 + 0*g**2 - g**2 - 3 + 1. Let n be u(-6). Suppose 0 = 5*t - 3*w - 71, t + 2*w - n = 8. Does 8 divide t?
True
Suppose -l + 63 = -0*l - 2*h, 0 = -l - 2*h + 71. Is l a multiple of 16?
False
Let m be 16/(-40) + 44/10. Suppose -5*y + 49 = m*u - u, 0 = 2*y + 4*u - 28. Is y a multiple of 8?
True
Let z(b) = 99*b - 1. Let n be z(-1). Let p = 62 + n. Let y = p - -61. Does 10 divide y?
False
Let q(f) = f + 1. Suppose r = 2*r + 6. Let y be q(r). Let n(i) = -i**3 - 4*i**2 - 1. Is 12 a factor of n(y)?
True
Is 5 a factor of (5 - 2)/(1/(65/3))?
True
Let s = -10 - -62. Let u = s + -31. Is 7 a factor of u?
True
Let q = 214 + -47. Is q a multiple of 19?
False
Let j be 0/2*(-3)/(-6). Suppose j = 4*t - 5*s - 289, -4*s = 7*t - 3*t - 280. Suppose 7*r + 115 = 5*b + 2*r, -r - t = -3*b. Is b a multiple of 12?
True
Let i = -9 - -17. Suppose -3*g - 465 = -i*g. Does 33 divide g?
False
Let b(j) be the second derivative of 3*j**4/8 - 4*j**3/3 + 3*j**2/2 + 3*j. Let f(k) be the first derivative of b(k). Does 21 divide f(7)?
False
Suppose q = 3*f - 4, 2*q + 2 = 3*f - 0*q. Suppose -f*g + 48 = g. Does 8 divide g?
True
Suppose 0*f + 45 = -5*f. Let t = f + 3. Let r(i) = i**2 - 3*i - 8. Does 23 divide r(t)?
True
Is (-230)/(-4)*72/45 a multiple of 6?
False
Let r(d) = -5*d**3 - 3*d**2 - d - 1. Does 9 divide r(-2)?
False
Suppose 5*n + 192 = 4*h, 0*n = -n. Is 24 a factor of h?
True
Suppose -4*v + 2*f = -16, -6 = -2*v + 7*v + 4*f. Let k(t) = 9*t + 1. Is 19 a factor of k(v)?
True
Let l = 9 - 5. Suppose 5*d + l - 14 = 0. Suppose -w = -5*t + 77, -d*w + 55 = 5*t - 16. Is t a multiple of 15?
True
Let a be 2/8 + 57/12. Suppose 8*h - a*h = 6. Is 3/5*5*h a multiple of 6?
True
Let l be ((-2)/(-2))/(2/(-12)). Is 17 a factor of l/(-4) + 637/14?
False
Suppose a = 5, 2*i - 18 = -3*a + 5. Suppose -b - 7 = -3*v, 6*v + 3*b = i*v + 23. Suppose -3*p + 4*r = -2 - 15, v*r = 16. Is p a multiple of 9?
False
Let x(j) = 3*j. Let y be x(1). Suppose -143 = -3*q - 4*o, -4*q + 2*o + y + 173 = 0. Is 15 a factor of q?
True
Suppose -5*p = -7*w + 2*w - 5, 3*p - 7 = 4*w. Let q be (p/(-9))/((-1)/(-12)). Let j(y) = -y**2 + 4*y + 2. Is j(q) a multiple of 2?
True
Let f(g) = -4*g + 4. Let l be f(3). Let t = l + 17. Is t a multiple of 9?
True
Let c = 13 - -28. Suppose -4 = -k + c. Is 12 a factor of k?
False
Let t(a) be the second derivative of -a**7/2520 - 13*a**6/720 - a**5/10 + a**4/6 - 4*a. Let k(o) be the third derivative of t(o). Is k(-10) a multiple of 9?
True
Suppose 1 = -3*p + 7. Suppose 0 = -4*f + p*f + 2. Suppose -4*j + 39 + f = 0. Does 9 divide j?
False
Let k(a) = 10*a**2 + 2*a + 3. Suppose v + 0*v - 3*r = -17, 5*r = 5*v + 45. Let h be (-2)/v*(-9 - -4). Is k(h) a multiple of 19?
False
Let i(u) = -u**2 - 16*u - 13. Let j be i(-15). Let b(o) = -5*o**3 + 1. Let v be b(-1). Suppose -j*p + v = -22. Does 7 divide p?
True
Suppose s + 3 = 68. Suppose -2*o + s = 3*o. Is 13 a factor of o?
True
Suppose 0*t - t + 22 = 0. Let p = t - 13. Does 7 divide p?
False
Let q(x) = -8*x - 1. Let c be q(-5). Suppose c = -y + 4*y. Does 13 divide y?
True
Let x(s) = s + 10. Let q be x(-6). Suppose -q*l = -n - 85, -l - 78 = -4*l - 4*n. Does 