se -w + 6*w = 3*l + 77, -2*w - g*l + 34 = 0. Is w less than or equal to 16?
True
Let c = -12529/7 - -1794. Let h = 410 - 407. Are h and c equal?
False
Let f be -29 + (-15)/(-4 - -7). Let h = 163 + f. Is 129 > h?
False
Let v = 5/3 - 11/6. Let z = -252 - -1011/4. Is z at most as big as v?
False
Let o be 2/(-24) - 10/(-40). Suppose -8 = -4*c - 4. Which is bigger: c or o?
c
Let u = 445 + -584. Do u and -138 have the same value?
False
Let b be 144/(-10)*(25 + -15). Is -144 <= b?
True
Suppose -3*m = 3*i - 39, 0 = -5*m + i - 2*i + 57. Let b(v) = -v**2 + 10*v + 8. Let y be b(m). Let l be (20/(-6))/(-2)*y. Is -3 at least as big as l?
True
Suppose 5*z + 274 = -3*w + 7*z, -4*w - 380 = z. Is w < -93?
True
Let v = 9 - 10. Let b = 3/2522 - -1684681/12610. Let k = -133 + b. Which is greater: v or k?
k
Let v = -7 - -11. Let l = 33 + -30. Suppose -10 = l*f - 22. Is f equal to v?
True
Let b = -433 + 432. Which is bigger: -2 or b?
b
Let w(d) = -d**2 - 1. Let j(l) = -l**3 - 20*l**2 - l - 13. Let b(k) = -j(k) + 6*w(k). Let m = -40 + 26. Let i be b(m). Are -8 and i nonequal?
True
Suppose -2*h + 0*h = 0. Suppose 5*o - 2 + 7 = 0. Let l be (-5)/(-55)*(o - -7). Is l at most h?
False
Let x = 16.03 + -28.85. Let v = x + 13. Let a = v + 0.22. Do a and -0.1 have the same value?
False
Let w(b) = b**3 - 8*b**2 - 9*b + 5. Let l be w(9). Suppose 2*x = -l*x - 189. Which is smaller: -28 or x?
-28
Suppose -4*d = -4*h + 9*h - 16, 0 = 5*h - 4*d - 24. Suppose 0 = 2*x - 0*x - 8, -56 = 5*a - h*x. Which is greater: a or 2?
2
Suppose 30*i = -142 + 52. Is -201 smaller than i?
True
Let c = 0.716 + -0.416. Is -0.188 smaller than c?
True
Let p = 6783 - 20641/3. Let g = p + 96. Which is smaller: g or 0?
g
Let w = 116 + -18. Suppose 2*b - 5*v + w = 0, -8*b + 4*b = -3*v + 182. Is b >= -44?
True
Suppose -2*u + 6 = y, -11 + 5 = -2*y - 2*u. Is 8/45 > y?
True
Let w = 747.068 + -747. Is 4 > w?
True
Let d(a) = -a**2 + 14*a + 162. Let b be d(23). Is b >= -52?
True
Let a = 1321.13 - 1313. Let i = 0.13 - a. Let m = 7.9 + i. Which is bigger: 11 or m?
11
Let g be ((-9)/(189/14))/(16/6 - 2). Let z = 2 + -70. Let q be (-2)/3 + z/(-108). Which is smaller: q or g?
g
Suppose 7*y + 2 = -5. Let o be 8/36 + 92/(-738). Is y at most o?
True
Let o(s) = -s**2 - 4*s - 3. Let d be o(-8). Let u = -33 - d. Let i be (48/9)/(u/3). Is 2 at most i?
True
Let o = 6 - 4. Suppose -o*i = f - 4, -2*f + 0*f - 4 = -2*i. Let u = -537 - -3751/7. Is u >= f?
False
Let f(x) = 4*x - 27. Let v be f(15). Is v smaller than 32?
False
Let q = 0.9316 - -0.0684. Is q less than -31.9?
False
Let q(w) = w**3 - w**2 + 3*w + 18. Let v be q(0). Which is smaller: v or 1?
1
Suppose 5*d - 2*j - 48 = 0, 0 = -0*d + 2*d + 4*j. Let n(m) = m**2 - 8*m - 3. Let x be n(d). Let k be 3 - ((-39)/5)/x. Is k > 0?
True
Let j = 0.222 - -0.778. Which is smaller: 3 or j?
j
Let x(h) = h**3 + 8*h**2 + 6*h - 7. Let l be x(-7). Suppose l*f = 5*f. Suppose 2*u = -f*u. Which is smaller: -2/21 or u?
-2/21
Let w be (-3 - 20/(-8))*36. Let i be w/6 + 6 + -2. Which is smaller: i or -5?
-5
Let b = -1.77 + 1.71. Is -1/12 > b?
False
Suppose 0 = 3*s - 19*v + 15*v - 95, 4 = -2*v. Which is smaller: s or 30?
s
Let c be 4/(-6) + 4/6. Suppose -5*p - k - 2 = c, 2 = 2*p + 2*p + 2*k. Let v = -7599/2 - -3798. Is p greater than v?
True
Let w = 19/28 + -5/4. Let o = -4 + 5. Is w not equal to o?
True
Suppose -3*n + 27 = -2*o, 4*n = -0*n + 4*o + 32. Let l = 13 - n. Let q = l + 5. Which is smaller: -2/7 or q?
-2/7
Suppose -6*z - x - 122 = -9*z, -5*z + 190 = -5*x. Is 173/4 <= z?
False
Let q be 5 - (-2)/((-10)/25). Let h be 8 + q + (-6 - 4 - -9). Which is bigger: -5 or h?
h
Let z be (-8)/28*(-37842)/85. Is 127 >= z?
False
Let p = -2535 - -4151. Let a be -1 - (1 + p/(-364)). Let f = 28/13 - a. Which is greater: 2 or f?
2
Let p(l) = -13*l**2 + 3*l + 3. Let j(v) = -3*v - 1. Let z be j(0). Let b be p(z). Are b and -10 non-equal?
True
Suppose 2*x + 7*r - 9*r + 1180 = 0, -x - 580 = -3*r. Is -593 less than x?
False
Let q(t) = -t**3 - t**2 - 10*t - 21. Let z(n) = -n**3 - 2*n**2 - 10*n - 20. Let u(l) = 5*q(l) - 6*z(l). Let g be u(-6). Which is smaller: g or -7?
g
Let n be (-2)/12 + (-104)/(-48). Is -325 at least as big as n?
False
Let d = 13 + -17. Let i be d/8 - (-10)/4. Suppose -1 = -c + i*c. Is 2/23 at most as big as c?
False
Let n be (0 - -3) + -2 + -8. Let m(v) = 2*v - 13. Let w be m(3). Is w bigger than n?
False
Suppose 4 = -2*v - 4*p, -4*v - v - 3*p = -4. Let q be (3/(-258) - 0)*v. Let i = -121/344 + q. Which is bigger: i or 0?
0
Suppose 5*a = -3*h + 2*h + 14, 3*a + 4*h = 22. Suppose -5*r - 10 = -2*t + 1, -3*r - 9 = -a*t. Let l be ((-3)/r)/6*0. Is 1/3 > l?
True
Let o be (1/3)/((-7)/(-3)). Let t = 5827 + -5824. Which is smaller: t or o?
o
Let t(k) = 7*k**2 - 9*k - 3 - 411*k**3 + 412*k**3 - 5. Let z be t(-8). Is z at least -2?
True
Let d be 150/154 + 5/(-5). Let l = 639 + -639. Which is bigger: l or d?
l
Let t = -0.86 + 0.623. Are -3 and t equal?
False
Let j(h) = -h**3 - 6*h**2 - h - 8. Let s be j(-6). Let o be 0/s + (-2)/5. Let b be 2*99/(-22) - -8. Do o and b have the same value?
False
Suppose -37 = -3*k + 5*b, -2*k + b - 3*b = 2. Let s be -8 - ((-1)/1 + -2). Let x = k + s. Which is smaller: -3/14 or x?
x
Let d be (8 - 7)*(-2 + 3)*-1. Do d and 64 have the same value?
False
Suppose 0 = -5*q + 2*q + 3*f + 12, -3*f = 3*q - 18. Suppose 84 = q*i + 2*i. Is -2 greater than or equal to i?
False
Let c(n) = 3*n + 18. Let i be c(-14). Let w be (-8)/18*45/i. Is 1 >= w?
True
Let z = 574809 - 5182024/9. Let h = z + 970. Which is smaller: h or -1?
h
Let r(g) = g**3 + 20*g**2 + 9*g - 18. Let a(x) = 2*x**3 + 41*x**2 + 17*x - 35. Let k(v) = -4*a(v) + 9*r(v). Let z be k(-15). Is z bigger than 8?
False
Let d be -11 - (156/(-36) - 7). Is d smaller than 0.51?
True
Let l be (-3)/(-2)*22/33. Suppose 4*z = -d - 0*z + 2, 4*d - 2*z = 44. Let p be (-4)/d*(-95)/589. Which is smaller: p or l?
p
Suppose 59 - 3 = 7*t. Which is bigger: 1.5 or t?
t
Let d(t) = t**2 - 6. Let o be d(4). Let l be (7 - o)*2/6. Which is smaller: -2/39 or l?
l
Let y = 6.4 + 1.6. Let n = y + -12. Which is smaller: 2/5 or n?
n
Let p be ((-234)/(-65))/((-4)/10). Let j be 4/(-24)*p*-2. Is j at least as big as -4?
True
Let q(m) = 10*m + 97. Let j be q(-9). Which is smaller: j or 13?
j
Let s = 505 + -536. Is s < -28?
True
Suppose -3*i + 3*f = -5*i - 47, -97 = 4*i + 3*f. Let b = -16 - i. Which is smaller: b or -1?
-1
Let j be (-1)/2*2 + 48/3. Suppose 0*f = -3*f - 81. Let r = f + j. Are r and -12 non-equal?
False
Let c = 38 + -30.2. Let j = c + -6.8. Which is smaller: -41 or j?
-41
Let c be 147/35*(-15)/57*3. Is -3 at most c?
False
Let b = 69 + -52. Which is smaller: b or 52/3?
b
Let i = -7 + -4. Let o = -15 + i. Let r = o + 28. Is r not equal to 2/9?
True
Let x = -50 + 44. Let v be (-10)/55*(3/x - 1). Which is smaller: -0.4 or v?
-0.4
Suppose 2*l = 7*l + 700. Let z = l + 219. Let a be 3 + (z/(-11) - -4). Is 0 != a?
True
Let f be (6859060/(-649467))/37 - (-2)/7. Which is smaller: f or 0?
0
Let k(b) = -b**3 - 10*b**2 + 9*b - 7. Let i be k(-11). Suppose -5*h = 5*j - 77 + 27, 4*j - 4*h - 80 = 0. Is j equal to i?
True
Let a(v) = 4*v - 48. Let i be a(14). Let r = -3 + i. Is 8 at most as big as r?
False
Suppose 2*n + 5 = -1. Let c = n + 0. Let q be 69/72 + c/9. Which is smaller: q or 2?
q
Suppose -s + 0*s - 6 = -p, -2*s + 5*p - 12 = 0. Let f be (s/(-2))/(-1) + 2. Let o be f/(((-20)/(-12))/5). Is o at least as big as -4?
True
Let a(f) = -f**3 - f**2 + 4*f - 3. Let v be a(1). Let p = -51/13 - -1607/403. Is v > p?
False
Let s be (-5 - -1)*1/6. Let u = 180 + -178. Suppose 6 = -3*a + 6*b - 3*b, 0 = -5*a - u*b - 10. Which is greater: a or s?
s
Let g(r) = -r**2 - 2*r + 9. Let a be (4/(-7))/((-4)/14). Let x be g(a). Which is smaller: x or -1/37?
-1/37
Let v be 110/220*(-22)/(-3) - (7 - 1). Let o(x) = x - 2. Let p be o(1). Which is bigger: p or v?
p
Let i(u) = u**3 - 6*u**2 + 6*u - 4. Let v be i(5). Let n be ((-8)/72)/(4/(-20)). Which is greater: v or n?
v
Let x be 6/(-51) + (-576)/306. Let j = -468 - -4207/9. Is x greater than or equal to j?
False
Suppose 6 = -2*d - 0*d. Let a be 11/((-198)/(-27))*(-6)/9. Are d and a non-equal?
True
Suppose 0 = -2*q - 5*m + 6, 27*q - 23*q + 32 = m. Let t = -16 + 28. Let g be q + t - (1 + -3). Is g less than 6?
False
Suppose 3*l + 183 = -0*l. L