lse
Let c be -3*3/(18/8). Does 22 divide 466/7 + c/7?
True
Let i = -12 + 20. Let z = i - 4. Suppose -f + 4*x + z = -14, -f - 2*x = -12. Is f a multiple of 13?
False
Let y(l) = 3*l**2 + 11*l + 8. Let w be y(-8). Let i = w - 77. Suppose -b + i = -0*b. Is 26 a factor of b?
False
Suppose -d + 5*d = -16, -4*s + 1532 = 4*d. Is 43 a factor of s?
True
Let v be (2/(-3))/((-8)/36). Suppose -b + v*b - 8 = 0. Suppose -5*c + b*c + 71 = 0. Does 31 divide c?
False
Let a be 7 + -8 + 4 - -36. Suppose -2*p + a - 9 = 0. Does 5 divide p?
True
Suppose 0 = -4*o - 5*u + 71, -o + 0*o + 18 = u. Let t be 0/(-2) - -5*o. Let x = t + -53. Is x a multiple of 14?
True
Let i(b) be the second derivative of b**4 - 5*b**3/6 + b**2/2 + 11*b. Is 4 a factor of i(2)?
False
Let p = -54 - -135. Is 73 a factor of p?
False
Suppose 2*y + 17 = -2*p + 7*y, 4*p + 5*y + 109 = 0. Let k = -46 - p. Let z = k + 43. Is z a multiple of 9?
True
Let i(f) = -f**3 + f**2 + 2*f. Let o be i(2). Suppose o*r - 52 = -h + 4*r, -3*h - 3*r + 81 = 0. Is h a multiple of 8?
True
Suppose 0 = 4*t - 7*t + 21. Is t a multiple of 6?
False
Let z(u) = 17*u**2. Let q be (1 - -3)/((-16)/(-12)). Suppose 0 = -5*c + 2*c - q. Does 12 divide z(c)?
False
Let t(o) = o**2 + o - 22. Let z(w) = w**2 - 22. Let x(m) = 3*t(m) - 2*z(m). Suppose 5*f - 3*v + 51 = 0, v + 25 = 27*f - 30*f. Is 8 a factor of x(f)?
True
Let y(j) = -j + 39. Let n be y(0). Let l(a) = 21*a - 1. Let b be l(-1). Let m = n + b. Is m a multiple of 16?
False
Let y(z) be the second derivative of 0 - 4/3*z**3 + 9/2*z**2 + 7*z. Is y(-9) a multiple of 27?
True
Suppose 2*b - 96 = -2*b. Let m(l) = 3*l - 46. Is m(b) a multiple of 9?
False
Let t = 22 - 16. Let w be (t/10)/(4/100). Suppose 4*q + w = 5*q. Is 8 a factor of q?
False
Suppose -4*x - 2*s + 40 = -14, -2*s = -5*x + 81. Let o be (-9)/x - 1266/(-10). Suppose 0 = -0*f - 3*f + o. Does 21 divide f?
True
Let u(r) be the third derivative of r**5/60 - r**4/12 - r**3/2 - 2*r**2. Let a be u(3). Suppose 3*n - 77 = m, -n - 2*m + 35 = -a*m. Does 7 divide n?
False
Let u = 50 - 26. Suppose -4*y - u = -136. Does 5 divide y?
False
Let v(z) = 384*z**2 + 3*z + 5. Let k(j) = 4*j**2 + 30*j + 13. Let s be k(-7). Does 61 divide v(s)?
False
Let d(p) be the first derivative of 17*p**2/2 + 3*p + 4. Let y be d(5). Suppose 4*k + 2*b - 262 = 0, -4*k = -3*k - 4*b - y. Is k a multiple of 19?
False
Suppose 17*y - 13*y - 2764 = -5*m, -5*m + 4*y + 2756 = 0. Is 12 a factor of m?
True
Suppose 0 = -0*p - 5*p + 5. Let n(x) = 3*x - 15. Let t be n(6). Is t/(p - (-31)/(-34)) a multiple of 17?
True
Suppose 2*z - 601 = -173. Is z a multiple of 20?
False
Let j(n) = n**3 - 9*n**2 + 11*n - 11. Let p be j(8). Let k = 15 - p. Is k a multiple of 2?
True
Suppose -4326*f + 4315*f = -24156. Does 12 divide f?
True
Let a be -6*(-4)/(-9)*3. Let c = 15 + a. Let m(q) = q**2 - 6*q. Is 7 a factor of m(c)?
True
Let t be 0 + -34*22/(-4). Suppose 4*n - f = 2*n + 80, 4*f = -5*n + t. Suppose 0 = -2*x + 2*b + b + n, 0 = -4*x - 2*b + 54. Is x a multiple of 3?
True
Let f(b) = -b - 4. Let o be f(-9). Suppose -4*x + 49 = -d + 4*d, 0 = o*x - d - 47. Let a = 14 - x. Is 2 a factor of a?
True
Suppose 3*v - 1421 = -2*i, 3*i - 2160 = 2*v + 3*v. Does 55 divide i?
True
Let f be -4 - (-4 + 0) - -4. Suppose w = -3*t + 2*w - 10, 0 = -f*t + w - 12. Is 5592/156 + t/(-13) a multiple of 7?
False
Let n = 68 + -65. Suppose 4*k + k - 1892 = -4*q, 0 = k - n*q - 386. Does 21 divide k?
False
Is ((-20)/70*24)/((-3)/147) a multiple of 38?
False
Let r(s) = 15*s**3 - 16*s**3 + 0*s - 10 - s - 20*s**2. Let m be r(-20). Is 25 a factor of (-5)/(m/(-108)) + -2?
False
Let l(g) = -157*g - 99. Is 14 a factor of l(-9)?
False
Let b = 103 - 99. Is 7 a factor of (-38)/b*(-112)/8?
True
Let u be ((316/(-16))/(-1))/((-1)/4). Let b = u + 154. Does 10 divide b?
False
Suppose 3*p + 2*i + 2296 = 7*p, 5*p + 4*i - 2870 = 0. Does 40 divide p?
False
Let v(i) = -i**2 + 8*i - 2. Let g(q) = -q + 1. Let a(w) = 4*g(w) + v(w). Let d be a(5). Does 12 divide d*16/4*-1?
True
Let h = -52 - -86. Is 17/h - (-39)/2 a multiple of 7?
False
Suppose -4*a = -4*k - k + 8244, 4*k - 4*a - 6592 = 0. Is k a multiple of 7?
True
Let c = 2752 - 1747. Suppose -c = -8*o + 307. Is 9 a factor of o?
False
Let g(w) = 2*w**2 - 72*w + 16. Is 56 a factor of g(38)?
True
Suppose -2*d = 2*f - 32, -2*d - 11 = -5*f + 90. Suppose 0 = 4*i - 16, 4*i + f = 3*a - 217. Is 20 a factor of a?
False
Let v be (-36)/(-8)*(-7)/((-84)/(-8)). Does 11 divide v + 0 + 0 - -3 - -11?
True
Let g = 5 - 14. Let d = 17 + g. Suppose 0 = 4*s - 8 - d. Does 2 divide s?
True
Let o(n) = 5*n**3 + 4*n**2 + 4*n + 2. Let y(i) = -14*i**3 - 12*i**2 - 12*i - 8. Let s(d) = 11*o(d) + 4*y(d). Is 5 a factor of s(-5)?
True
Let m(g) = 5*g**2 - 8*g - 59. Is m(-7) a multiple of 19?
False
Let s = 31 + 18. Suppose 3*m - 2*k + 96 = m, m - 2*k = -s. Let w = m - -73. Is 12 a factor of w?
False
Let c(b) = -2*b - 5. Let f be c(7). Let r = f + 22. Is r a multiple of 3?
True
Let c = -81 - -45. Is (-2908)/c + (-4)/(-18) a multiple of 27?
True
Let l = 18 + -15. Suppose l*y - y = -2. Is 6 a factor of ((-231)/(-22))/(y/(-2))?
False
Suppose 2*y - 6 = -g, 0 = -3*g + 2*y + 2*y - 2. Suppose -5*i - g*i = -385. Is 4 a factor of i?
False
Let i(a) be the first derivative of -5*a**2 + 2*a + 3 + 1/3*a**3. Is i(11) a multiple of 13?
True
Suppose -3*f + 5*f + 108 = -2*y, 3*y - 2*f + 142 = 0. Let w = y - -25. Let j = w - -60. Is 11 a factor of j?
False
Suppose 15*h - 4047 - 2583 = 0. Suppose 884 = 4*s - y, 5*y - h = 3*s - 5*s. Is s a multiple of 13?
True
Let i(q) = -6*q**3. Let z(x) = x**3 + 3*x**2 + 1. Let m be z(-3). Let y be i(m). Let o = y + 19. Is 11 a factor of o?
False
Is 47 a factor of 3/(-3) + -4 - -522?
True
Let g(f) = -21*f + 20*f + 2 + 2 + 4. Let w be g(5). Does 3 divide (-4 + w)/((-1)/13)?
False
Suppose 3*t = 7*t - 12. Suppose t*z = 152 - 47. Does 5 divide z?
True
Suppose -32 = -4*y - 20. Suppose -y*g + 42 = -24. Is g a multiple of 6?
False
Let f be 196/21*(-6)/(-7). Let i be 22/((-3)/6*2). Let b = f - i. Is b a multiple of 14?
False
Let h = 10 - 1. Let u = -4 + h. Suppose -u*o = q - 24, 2*q - 4*o + 26 = 3*q. Is q a multiple of 17?
True
Suppose -18*x + 14*x + 1404 = 0. Does 9 divide x?
True
Suppose 2*j = -v + 21, 3*v - 8*v = -j - 50. Is v a multiple of 11?
True
Let v = -663 + 931. Is 67 a factor of v?
True
Let c = -306 - -1173. Is c a multiple of 60?
False
Suppose -5*b - 274 = 26. Let o be (-3 + b/(-16))*-4. Is 36 + (-1 + 2 - o) a multiple of 10?
True
Let z(t) = t**2 - 2*t - 5. Suppose -i + 132 = 4*o, 0 = -5*o + i + 90 + 66. Let g = -24 + o. Is z(g) a multiple of 16?
False
Suppose 0 = -29*k + 11564 + 14246. Is 10 a factor of k?
True
Let i(m) = -m**2 + 2*m + 4. Let t be i(-2). Is 8 a factor of 45 + t*3/(-12)?
False
Let w(r) = r**3 - 5*r**2 - 5*r - 3. Let o be w(6). Suppose 7*b - o*b = -2*a + 22, 4 = b + a. Suppose 3*k - b = 32. Is 4 a factor of k?
False
Let w(f) = 2*f**3 - 19*f**2 + 11*f - 60. Is w(10) a multiple of 5?
True
Let p = -1246 - -2595. Does 14 divide p?
False
Let s(q) = q**2 - q - 1. Let y be s(-2). Suppose 100 - 10 = -y*d. Is (-4)/(d/4 - -4) a multiple of 3?
False
Suppose -4*s + 144 - 352 = 0. Suppose 101 = h + 2. Let a = h + s. Is 15 a factor of a?
False
Let a = -49 - -35. Let j be a/(-8) - 3/(-12). Suppose 8 = -0*k - j*k, 0 = -4*v - 3*k + 120. Is v a multiple of 11?
True
Let z(w) = 5*w**2 + 5*w - 4. Let r(m) = 2*m**2 - 11*m + 2. Let d be r(5). Is z(d) a multiple of 13?
True
Let j = 11 + -15. Let i(w) = -5*w + w - 9 + 0*w - 8*w. Is 13 a factor of i(j)?
True
Let v(h) be the third derivative of -1/12*h**4 + 0*h + 1/15*h**5 + 3*h**2 + 0 - 1/2*h**3. Is 12 a factor of v(-3)?
False
Suppose 0 = -j + 4*c + 11 - 3, -3*j = -4*c - 8. Suppose j = -3*f - 2*f + 20. Is 8 a factor of ((-5)/f)/((-4)/48)?
False
Suppose 1033 = 3*x - 287. Does 44 divide x?
True
Let f be 0/(4/(-6)*-3). Suppose 3*m + 42 + 0 = f. Let d = 19 + m. Does 3 divide d?
False
Does 13 divide (3*6/(-18))/(3/(-1131))?
True
Let h(s) = 102*s**2 - s + 2. Is h(-2) a multiple of 6?
False
Let z be 15/(-10)*(-34)/(-3). Let y(s) = s + 19. Let m be y(z). Suppose 0 = 2*v + m, 14 = 2*b + 4*v - 24. Is b a multiple of 9?
False
Does 12 divide ((-14040)/(-100))/(3/100)?
True
Let u(x) = -x**2 - 8*x + 2. Let g = 15 + -23. Let b be u(g). Suppose b*v + 53 - 257 = 0. Is 34 a fac