smaller: q or -3?
-3
Suppose 31 = 5*r - 19. Suppose 3*b = -2*l - 3, 2*l - 2 = -4*b - r. Let q be (-2)/13*l/4. Are -1/2 and q nonequal?
True
Suppose 7*o + 205 = -110. Let a = -31 - o. Let c = a + -3. Are c and 9 nonequal?
True
Let v = 35/2 + -111/4. Which is smaller: v or -2/7?
v
Let g = -802 - -777. Let o = -3 - -2.95. Let v = -0.05 - o. Is g less than v?
True
Suppose 2*x + 6 - 2 = 0. Let i = 154 - 105. Let l = i + -149/3. Which is smaller: x or l?
x
Let d = 687 - 6181/9. Is -117 != d?
True
Let o be (-7)/126*1*6/(-8). Which is smaller: o or -1?
-1
Let n = -38 - -34. Let g = 78 - 22. Let h be n/7 + (-24)/g. Which is smaller: h or -2/17?
h
Let i be 455/13*(1 - 2). Does i = 1?
False
Let l be 848/(-159) - 2/(-6). Which is bigger: -36/7 or l?
l
Let p be 2*(4 + -5) + -1. Let g be (4 + -1)*15/9. Let q = g + p. Is 1 less than q?
True
Suppose 6 = -z + 4*z. Let r(k) = -k**3 + 11*k**2 - 10*k + 2. Let c be r(10). Is c at least as big as z?
True
Suppose -57*a + 992 = -65*a. Is -128 != a?
True
Let x = 517 + -516.95. Let w = -1 + 1.1. Let i = 1.1 - w. Which is smaller: x or i?
x
Suppose -3*l + 3 = 12. Let d = 4188/7 - 600. Is l at most as big as d?
True
Suppose 5*k - z = 270, 2*k - 5*z = 31 + 100. Suppose 0 = 3*d + m + k, 0*m + 12 = 3*m. Is -19 <= d?
True
Suppose -2 = 2*v - v. Let z = 937/20 + -201/4. Is z greater than v?
False
Let g = -2885/6216 + 27/56. Let s be ((-35)/(-140))/((-3)/4). Which is smaller: g or s?
s
Suppose 4*k = -1 - 3. Let l be 3 + k + (1 - 0). Suppose -14 - 24 = 4*n - 5*q, -l*n - q - 38 = 0. Which is smaller: -11 or n?
n
Suppose 4*i = 4*d + 3*i - 21, 0 = 2*i - 6. Suppose c = d*c + 25. Let b = 16 + c. Is b greater than or equal to 12?
False
Suppose 4*g + 4*k + 43 = -25, k + 69 = -5*g. Let j = g - -16. Suppose -2*b + 4 - 23 = -j*h, 4*b + 27 = -5*h. Is b at least -8?
True
Let a = 10305/812 - -12/203. Let y = a + -13. Let u = 298 + -306. Are u and y non-equal?
True
Let v be 30/40 - (2 + (-27)/28). Is -2 at most v?
True
Suppose -4*b - 10*a + 5*a = 126, 2*b - 4*a + 50 = 0. Let d = -0.2 - -0.3. Which is smaller: b or d?
b
Let v = 4.8 + -4.775. Let y = 0.225 - v. Is -2/49 bigger than y?
False
Let x be 3/1 - 2072/448. Are 1 and x equal?
False
Suppose -5*i = -q + 3*q + 14, 2*q + 3*i + 18 = 0. Is q not equal to -19?
True
Let x(r) = 3*r + 3. Let a be x(-2). Let l be -108*(2 - (-3)/a). Is -108 less than or equal to l?
True
Let u = 1 + -1.2. Let v = -0.2614 - 3.7386. Which is greater: v or u?
u
Let y = -2394 - -2703. Which is smaller: y or 0?
0
Let g be -3*(-6)/9 - 4. Suppose -214*l = -223*l - 63. Which is bigger: g or l?
g
Suppose -2*k = -5*w + 323, 0*w + 5*k = 3*w - 190. Is 66 at most as big as w?
False
Suppose 2*y + 13 = 17. Let a(t) = t**3 + 3*t**2 - 2*t. Let v be a(1). Is v != y?
False
Suppose 0 = -2*n - 2*f + 2, -f + 6 - 2 = 2*n. Suppose n*l - 12 - 15 = 4*i, 0 = -3*i - 3*l - 36. Let d be 9/6*(-6)/i. Does d = 0?
False
Let u(v) = -189*v**3 + 2*v**2 - 13*v + 10. Let k be u(1). Which is bigger: 2/3 or k?
2/3
Suppose 5*f = f. Let c be ((-18)/1)/(-3) + f. Let v = -8 + c. Is -3/4 at most as big as v?
False
Let h = 18.5 + -20.5. Let n = -6.3 - -6. Which is greater: n or h?
n
Let w = 168 + -109. Let h be 16/20 - w/80. Which is bigger: -1 or h?
h
Suppose -9*a - 16*a = -650. Which is bigger: 27 or a?
27
Let s be ((4 - 4) + 11)/1. Suppose -l + 6*l = 3*r + s, -5*r - l - 37 = 0. Let v be (-1)/(-2) + (-34)/4. Is r < v?
False
Let x = 0 + 2. Let j = -44.57 - 2.43. Let g = -47 - j. Is x bigger than g?
True
Let c be 2*(0 + 4)/(-2). Suppose -6 = 2*y + y. Which is greater: y or c?
y
Let r = 5 + -9. Let h = 529 - 536. Let s be (r - 29/h)*2. Which is greater: -2 or s?
s
Let c be ((-75)/(-6) - 0)*(-48)/12. Which is greater: -53 or c?
c
Let y = -1/77 - 3/11. Let g = 25 - 0. Let q = 12 - g. Which is smaller: y or q?
q
Let b = 0.157 + 4.843. Are b and -1/4 unequal?
True
Let x = -22703 - -340831/15. Which is bigger: 20 or x?
20
Let c = 3316/7 - 476. Let x = 2592 + -2595. Which is smaller: x or c?
x
Suppose 6*m = -4*m + 10. Do m and 28/25 have different values?
True
Let i = 335/4 - 84. Let k be ((-2)/(-1) + -3)/1. Which is bigger: k or i?
i
Let o(h) = 19*h**3 - 6*h**2 + 3*h - 5. Let f be o(5). Let q be 14/66*(f - 3). Let u = -474 + q. Is -1 >= u?
False
Suppose w + 4*p - 3 = 0, -w - 2*p = -6*p - 3. Is 40 bigger than w?
True
Let z = 204 - 205. Is z < -3?
False
Let c(m) = -4*m + 1. Let x be c(3). Suppose -2*i + 8*i + 42 = 0. Let a = i + -3. Which is smaller: a or x?
x
Let h = 2.96 - -18.95. Let f = h - 22. Let z = 1.09 + f. Which is smaller: -0.1 or z?
-0.1
Let i = 655 - 14413/22. Let j(d) = 197*d - 1772. Let p be j(9). Which is greater: p or i?
p
Suppose -4*p - 2*a = 550, -4*p - 515 = -0*p - 5*a. Is -134 at most p?
False
Let d = 102.3 - 100. Which is smaller: -1/3 or d?
-1/3
Let x = -292/21 + 43/3. Let d be (20/85)/(-4 + 2). Are x and d nonequal?
True
Let b = 169.3 + -15.3. Let n = b + -146. Let g(y) = -y**3 + 5*y**2 + 6*y - 1. Let v be g(6). Which is greater: v or n?
n
Let j = 2 + -1. Let v = -202.7 + 39.5. Let x = v - -163. Which is greater: j or x?
j
Let m be (0 - -2 - (-12 + 12))*-1. Which is bigger: -26/15 or m?
-26/15
Let n = 0.7 + -3.7. Let q = -64 - -61. Let w = n - q. Which is smaller: 8 or w?
w
Let g be 21/210*(-1 + (-3)/2). Suppose -5*m - 3 = 3*x - 11, 4*x = 5*m - 1. Is g <= m?
True
Let a = 136 - -16. Let f = a + -87. Let o be f/(-30) + (-2)/(-4). Which is greater: -3 or o?
o
Let m be 1/(545/(-135) - -4). Let g be (-708)/m - (-8)/(-36). Let d be (-1 + -1)/(g/13). Is 2/39 less than or equal to d?
False
Let o = -7383/3556070 + 1/6865. Is 1 at most as big as o?
False
Let v be (-5 - -9) + (1 - -45). Let b be 5*5/v*-18. Which is smaller: -0.2 or b?
b
Let h be -3 - (-4 + 3 + -8). Suppose -h*n = -0*n + 72. Let w be (n/(-15))/(4/(-20)). Which is bigger: -5 or w?
w
Suppose 0 = 2*l + 1 - 11. Suppose -3*f = -s - 2, -4*f = -2*f + 5*s - 7. Are f and l nonequal?
True
Let c = -213 + 123. Let z = c - 74. Let y = z + 1637/10. Which is bigger: -1 or y?
y
Let o = -2 + 3. Let z = 4.8 - 1.8. Is o at least as big as z?
False
Suppose 254 = -3*l - 4*t, -4*t + 2*t = -3*l - 260. Let n be (-1287)/15 + 160/200. Which is bigger: n or l?
n
Suppose 109 = -4*o + 3*r, -3*o - 4*r = -2*r + 86. Let d(k) = -k**3 + 3*k**2 - k - 1. Let v be d(3). Let a be v/(-14) + 22/o. Is -2 at most as big as a?
True
Suppose 7 - 23 = -4*p. Suppose -17 = p*c + g, 3*c - 4*g - 6 = -g. Let f be (-4)/c + (3 - 7). Is f at most as big as -2?
True
Suppose s - 9 = -6. Let p(h) = -s + h**2 + 6*h - 4*h**2 - 3 + 4*h**2. Let z be p(-7). Are 1 and z equal?
True
Suppose -2 = 2662*b - 2664*b. Which is smaller: -10/53 or b?
-10/53
Let m(t) = 4*t**2 - 24*t + 3. Let j be m(6). Let o be (0 - 85/(-44)) + (-7)/(-28). Is j at least as big as o?
True
Let w(n) = 4*n**3 + 1. Let o = -40 - -27. Let h(l) = -l**2 - 14*l - 14. Let t be h(o). Let r be w(t). Which is smaller: -2 or r?
r
Let j(a) = -a**3 - 2*a**2 + 4*a + 3. Let w be j(-3). Let x = 135.22 - 135. Let l = x - 0.15. Is w bigger than l?
False
Let h = 72 - 69. Suppose -h*k + 9 + 18 = 0. Which is smaller: k or 0.1?
0.1
Let i be 24*(52/12 - 4). Suppose -i + 4 = 4*b. Which is smaller: b or 1/5?
b
Let i = 12 - -4. Suppose 3*y - 5*s - 71 = 5, 0 = -4*y + 5*s + 93. Which is greater: i or y?
y
Let i = 632 - 620. Which is greater: i or 8?
i
Let n = -332.6 - -220. Let b = -117 - n. Is b >= -1?
False
Suppose 0 = -t + 5*t. Let f = 3866 + -3856. Which is smaller: f or t?
t
Let w = 3820 + -11804/3. Are 1 and w nonequal?
True
Let i = 554.01 + -553. Is 0 greater than or equal to i?
False
Let g = -28.65 + -0.35. Let c = -31.6 - g. Let i = -0.4 + c. Is i at most -2/5?
True
Let z = -57 + 57.27. Let b = 0.3 - z. Is 2 >= b?
True
Let a = -27 + -261. Let d be a/2576 - (-4)/14. Let f be 18/27 + 1/3. Do d and f have the same value?
False
Suppose 210 = 31*i - 36*i. Let v be 42/(-4)*24/i. Suppose -v*b + 1 = -7*b. Which is smaller: b or -2/21?
b
Let q(l) = l. Let z(n) = -2*n - 6. Let f(c) = 3*q(c) + z(c). Let u be f(8). Suppose 0 = -m - u*m - 3. Which is greater: -2/13 or m?
-2/13
Let u = -33 + 1. Let a = 45 + u. Let d = -13 + a. Is d >= 2/47?
False
Let k = -56971 + 23244241/408. Let p = 5/24 - k. Which is greater: p or 3/5?
3/5
Let r = -23.83 + 24. Let g = -181 - -179.83. Let p = g + r. Is p < 3/2?
True
Let j(p)