or a?
5
Let o be (18/(-56))/(-1) - 20/80. Suppose 4*w = 3*h - 2 + 18, -5*w = -4*h - 20. Which is smaller: h or o?
h
Let z = -3 - -3. Let x = -14 - z. Let l = x + 10. Which is bigger: l or -1?
-1
Let m = 3437/4 + -6057/7. Let l = 30/7 + m. Do l and -2 have the same value?
False
Let i = 0 - -1. Let v = 0 - i. Let m = 1 - 1.2. Which is smaller: v or m?
v
Let n = -744 + 27526/37. Which is smaller: n or 0.2?
n
Let q = 19 + -29. Let n be ((-15)/q)/((-27)/4). Is n less than or equal to -4/7?
False
Let n = -10 - -11. Which is smaller: n or 6?
n
Let r be (-2 - 2) + 2 + 1. Is r bigger than 2/11?
False
Let p be 2/(-126)*(-3269)/(-660). Let l = p + 1/220. Let z = 6 + -6. Which is smaller: z or l?
l
Let o(q) = q - 6. Suppose -4*n + 3*l + 15 = 2*l, -5*l = -5*n. Let g be o(n). Let u = 100 - 697/7. Is g at least u?
False
Let n be (-2 - 1 - -4)*0. Let w = 0.1 - 1.1. Let d = w - -1. Is n > d?
False
Let d = 12 + -13. Is -6/5 >= d?
False
Let n be (-6)/15 + 6/15. Which is bigger: n or 3/17?
3/17
Suppose -p - 1 = -4*s, 0 = -3*s + 6*p - p + 5. Suppose 13 = -4*j - 195. Let g be (-8)/j - (-50)/(-156). Is s not equal to g?
True
Let r(b) = 7*b**2 - 12*b - 2. Let d(g) = 13*g**2 - 23*g - 3. Let v(p) = -6*d(p) + 11*r(p). Let q be v(6). Do -4 and q have the same value?
True
Let a(d) = d**3 + d**2 - 2*d - 1. Let l = -18 + 46. Suppose q + 2 = -3*u, 5*q - l = 2*u + 2*u. Let p be a(u). Which is bigger: p or -2/7?
-2/7
Let a(l) = -l**3 - 2*l**2 - l + 2. Let y be a(-2). Let t be ((-9)/12)/((-6)/y). Which is smaller: 1 or t?
t
Suppose 12 = -3*y - 3*y. Which is bigger: -2/5 or y?
-2/5
Let p = -104 - -118.8. Let v = -15 + p. Which is smaller: 0.02 or v?
v
Let u(s) = -s + 7. Let t be u(5). Let l be 2/4*(t - -2). Let j be -1 - (3 - l) - -1. Is j bigger than 1/4?
False
Let h be (-22)/121 + (-284)/11. Let q = 36 + h. Which is greater: q or 11?
11
Let l = 25 + -25. Does 1 = l?
False
Let a be ((-3)/(-2))/(9/(-4)). Let h = -137/4 - -34. Which is smaller: h or a?
a
Let b be -6*1 - (-1 + -3 + 2). Is b not equal to -7/2?
True
Suppose 0 = -5*b + 2*b - 3. Is b greater than 1/45?
False
Let o = 130 + -132. Which is smaller: o or 4.1?
o
Suppose 0 = 3*h - 6 - 6. Let q be ((-2)/h)/((-6)/(-12)). Is 1/8 greater than or equal to q?
True
Let u(f) = 4*f + 22. Let r be u(-4). Is r > 7?
False
Suppose v - 2*r - 113 = 0, 4*r = v + r - 117. Let s = -1361/13 + v. Is 0 at most as big as s?
True
Let f(s) = -s**3 + 9*s**2 - 11. Let l be f(9). Which is bigger: l or -13?
l
Let m = 54 - 272/5. Is m at most as big as -34?
False
Let s = 18 - 16. Let k = s - 1.94. Is -0.1 != k?
True
Let g = 0.5 - 0.5. Let n = -0.2 + g. Let h = -0.1 - -0.3. Which is smaller: n or h?
n
Let u = -299/30 - -49/6. Which is smaller: u or -3?
-3
Let h be (2 - 6) + (-6015)/24. Let y = h - -255. Let c = 1 - 1. Which is greater: c or y?
y
Let w(y) = -y - 8. Let z be w(-9). Let l be z*(-2 + (3 - 2)). Is l greater than or equal to 0?
False
Let w = 16 + -21. Let j be 10/3*(11 + w). Which is smaller: j or 21?
j
Suppose 25 = 3*r + 2*r. Suppose 0 = -p - 3*w + 11, 3*p + 0*w - r = -2*w. Is p greater than -3/4?
False
Let m(q) = q + 7. Let g be m(-7). Suppose 8 = -g*k + 2*k. Suppose k*s - 1 + 17 = 5*n, 12 = -3*s. Is n >= -1?
True
Let p be (2 - (-2)/(-1))/1. Let a = 1 - p. Is 2 >= a?
True
Let s(x) = -x**3 - 9*x**2 - 7*x + 5. Let o be s(-6). Let f = -547/9 - o. Is f <= 1?
True
Suppose 3*a = -0 + 9. Let q = 2 - a. Which is greater: q or -2/11?
-2/11
Let a(f) = 3*f**2 - 2*f - 1. Let m be a(-2). Let k = -13 + m. Which is bigger: k or 1?
k
Let j = -308/9 - -34. Let p be 4/(-6) + (-51)/(-9). Suppose -p*k = -k. Is k not equal to j?
True
Let f be (2/(-15))/((-8)/5). Let s be -4 + 3/(-3) + 30/5. Do s and f have different values?
True
Let b = 1.3 + -1. Let m = -0.3 + b. Is m less than or equal to -0.1?
False
Let h = 2.13 - 0.13. Which is bigger: -2/7 or h?
h
Suppose 0 = u - 1 - 6. Let r be 31/(-5) - u/(-35). Is r < -6?
False
Suppose -3*h + 4*g + 9 = 48, -5*h + 5*g = 65. Let n(r) = 12*r**3 - 2*r**2 - 2*r - 1. Let t be n(-1). Is h <= t?
True
Suppose -5*g + 77 = 27. Suppose -3*k + 8 = -g. Is 4 at most k?
True
Suppose -p + 23 = 2*v, -15 + 0 = -v - 4*p. Let s = v - 57/5. Which is smaller: -3 or s?
-3
Suppose 0 = 2*n - 2*a - 3*a + 10, 3*a = -n + 17. Is 11/3 at least as big as n?
False
Suppose 2*j + 0 = 4. Is j at most as big as 5/7?
False
Let v(i) = -2*i - 8. Let f be v(-6). Let x be (30/25)/(f/10). Which is smaller: 4 or x?
x
Let u = 4/79 + -186/553. Which is bigger: u or -26?
u
Let l = 153 + -152.98. Is l less than or equal to 2?
True
Let k = 10.09 + 0.11. Let u = k + -10. Is u not equal to 1/3?
True
Suppose j - 5 = 2*k, -2*j = j - 2*k + 5. Suppose -5*w + 3*w = -6. Suppose 3*d + 12 = w. Are j and d nonequal?
True
Let c be 3 + ((-352)/60 - -3). Is 1 greater than or equal to c?
True
Suppose -2*o + 2 = -0*o - 2*r, o + 3 = -3*r. Suppose -18 = -5*y + z - o, y - 2*z - 9 = 0. Are 3 and y unequal?
False
Let u be ((-2)/(-20))/(4/(-5)). Is 0 >= u?
True
Let t(p) = 4*p**3 + p**2 - 1. Let x be -2 + 3 - (1 - 1). Let q be t(x). Which is bigger: 1 or q?
q
Suppose -2 = -2*f - 0*j + 4*j, 3*f = 4*j + 1. Let o = -10 - -8. Which is smaller: f or o?
o
Let m = 11 - 7. Suppose m*i = 5*a - 33, -4*i + a - 11 = -i. Let y be i/(-8) - (-1 - 0). Which is smaller: 2 or y?
y
Let u = -14639/10116 - -3/1124. Is u greater than 0?
False
Let b = 36 - 88. Is -53 less than or equal to b?
True
Let r = 5.12 + -0.12. Is r greater than 0?
True
Let a be (-1 - (-25)/40)/(9/(-12)). Is -84 at most as big as a?
True
Let d be (4/(-6))/((-2)/30). Let c be -2 - (1 - d/2). Suppose -w + 5 = 5*p, 4*p - 5*w = -p - 25. Which is smaller: c or p?
p
Let p(t) = -t**2 + 3*t - 2. Let s be p(2). Which is bigger: s or 1/19?
1/19
Let k(l) = -3*l + 8. Let x(s) = -7*s + 15. Let t(u) = -5*k(u) + 2*x(u). Let r be t(7). Let c = r + -1. Is c at most -3?
True
Suppose 1 = 2*a - 3. Let q be (1 + 5)*a/4. Let w(i) = i**2 - 5*i + 4. Let s be w(q). Are s and -3 nonequal?
True
Let s be (4/30)/(1/(-3)). Is 4 smaller than s?
False
Suppose 0*u - v = 3*u - 26, 0 = 4*u - 3*v - 39. Let h = u - 4. Let w = 17/3 - h. Is 1 at most as big as w?
False
Suppose -g + 4*g - 18 = 0. Suppose 2*d + 4*p - 30 = 0, -p + g = 2*d - 3*p. Suppose -4*i + 6 = -d*i. Is -2/3 > i?
True
Suppose -5*d - 4*f = -d - 12, 0 = 2*d - f. Is -3/56 less than d?
True
Suppose 10 = -5*r, -4*g + 5*r + 10 = -g. Let w be (2/(-10))/((-30)/50). Is g != w?
True
Suppose m - 11 - 26 = 2*v, 0 = -5*v. Let c = -19 + m. Let g be -10*5/c + 3. Which is smaller: g or 0?
0
Suppose -5*t + 6*b = b, -4*t = -3*b + 5. Which is smaller: t or -4?
t
Let y = -276 + 264.9. Let r = -11 - y. Which is smaller: 0.08 or r?
0.08
Let o(c) = -2*c**3 + 4*c**2 - 4*c + 3. Let q(b) = b**2. Let k(l) = -o(l) + q(l). Let u be k(2). Let h = u - 4. Are h and 5 equal?
True
Let d = -0.4 - -0.3. Let o = 0.1 - d. Let a = o - 0.2. Is -4 > a?
False
Let n be ((-7)/4)/((-454)/152 - -3). Is n not equal to -133?
False
Let b = 122 + -123. Let r(q) = -q - 2. Let l be r(-7). Is b greater than l?
False
Let u = -119/4 - -30. Which is greater: u or 0?
u
Let a be 16/(-5) + (-24)/(-8). Let s be 1/3 - 6/9. Which is greater: a or s?
a
Suppose -o + 2 = -4*s + 16, 5*o - 22 = -3*s. Suppose x - 1 + 2 = 5*k, 2*k + 2*x + o = 0. Let b be k*-3*3/(-9). Which is greater: -2/11 or b?
b
Let l = 4 - 4.6. Let m = -663/5 + 133. Which is smaller: m or l?
l
Let c = -46 - -45. Is -3/5 > c?
True
Let f be (5/(-2))/((-4)/8). Let r be f/(-10)*4/(-7). Let z(n) = -n - 3. Let m be z(-4). Is r < m?
True
Suppose 4*j = 5*j + 2*p + 16, -5*j - 3*p - 45 = 0. Let g be 28/(-2)*3/j. Let v be (-42)/(-5) - 2/5. Is g greater than v?
False
Suppose 6*j - 6 = 3*j. Let x = 144 + -141. Is x greater than j?
True
Let k be (0/(-1))/((-12)/(-6)). Suppose -4*r = -4*i - 12, -4*r + 0*r + i + 18 = k. Suppose 0 = n - r*n. Is 0.1 smaller than n?
False
Suppose -23 = 5*r - 8. Which is smaller: r or -2?
r
Let l be (20/(-25))/((-2)/15). Let w be l/6*(-2)/2. Let p = -1.8 - -2. Do w and p have different values?
True
Let n = -43.1 + 45. Let v = -2 + n. Let d = 1.99 - 2. Is d <= v?
False
Let t = 3 + -10. Let g = 7.1 + t. Are -1/2 and g non-equal?
True
Let a = 87 + -199. Which is bigger: a or -111?
-111
Let o(h) = 2*h**2 + 2*h + 1. Let g be o(-2). Let k be g/10 - 10/(-4). Let v = k + -3. Do 1 and v have the sa