smaller: g or 10?
g
Let x be (3 - 5)/4*0/2. Let a be x/1 + (4 - 366/93). Which is bigger: 0 or a?
a
Suppose 3*p - p - 4*j + 106 = 0, 2*j + 241 = -5*p. Let y = 61 + p. Which is smaller: y or 13?
y
Suppose g + 2*r - 999 = -0*r, -2*r + 1992 = 2*g. Let t = 38729/39 - g. Let f be ((-38)/57)/((-1)/((-3)/2)). Is t <= f?
False
Suppose r + 4*t = 1 + 7, 0 = -3*r - 2*t + 44. Suppose 2*g = -5*d - r, 3*d = 5*g + 3 + 6. Let l be 2/9 - (-11)/(-9). Is l at most d?
False
Let b be -2 + (-2)/((-12)/173). Let y = b + -27. Which is smaller: 0 or y?
y
Suppose 4*c - 8*c = -24. Suppose -3*b + c = 75. Does -24 = b?
False
Suppose 2*o = 4*o + 4*a + 34, -2*o = -3*a + 41. Let n(s) = -s**3 + 4*s**2 + 4*s + 5. Let j be n(5). Suppose j = 5*h + 127 - 27. Which is greater: h or o?
o
Let r = 365/63 + -47/9. Let f = 17 - 16. Do r and f have different values?
True
Let q be (-24)/10*15/(-2). Let c be (-18 - -7)*(-3)/q. Is c at most as big as 2?
True
Let i = 3377 - 57437/17. Which is bigger: -1 or i?
-1
Let k(w) = w**2 - 4*w + 1. Let s be k(7). Let b = 21 - s. Which is bigger: -2/47 or b?
-2/47
Let j be 53820/(-13410) - 2*-2. Which is greater: 0 or j?
0
Let u = 2789 - 571744/205. Is 1/3 < u?
False
Let t(u) = u**3 - 4*u**2 + 4*u - 4. Let r be t(3). Let c(j) = -4*j - 5. Let w be c(-4). Let a = w - 11. Which is bigger: r or a?
a
Let z = 17443/1540 - 9/220. Is z at least 12?
False
Let b be (-33)/(-297) - (-1460)/(-18). Which is smaller: -83 or b?
-83
Let o = -1127 + 1130. Is 42/19 < o?
True
Suppose -2*c + 4*q = -c + 21, -3*c + 4*q - 103 = 0. Which is greater: c or -39?
-39
Let d be ((-3)/9)/(3/(-18)). Suppose -5 = o - 5*v - 35, 3*o - 2*v - 25 = 0. Suppose -3*x - 5 = m, o*m + 5*x = -0*x + 5. Which is bigger: m or d?
m
Let y = 4417/15 - 295. Are -2 and y nonequal?
True
Let t = 204 + -214. Which is greater: t or -35/4?
-35/4
Let l be ((-24)/(-16))/(-1*(-915)/489). Let p = l - -6/61. Is 1 equal to p?
False
Let a be (165 - 6) + 2 + -3. Let x = a + -121. Are 0.1 and x unequal?
True
Let j be (3 + (-4)/2)*-139. Is -140 less than or equal to j?
True
Let u = 2.7 + 2.3. Do u and -2 have the same value?
False
Let g be 1968/8 - 7 - -9. Which is greater: 247 or g?
g
Suppose -3*t = -7*r + 3*r + 34, -3*r = 6. Let w(f) = -f - 14. Let g be w(t). Which is smaller: g or 3/29?
g
Let r be (-126)/(-126) + 1/((-1)/3). Is -11/7 <= r?
False
Let c(r) be the third derivative of -r**4/12 - 5*r**3 + 11*r**2. Let w be c(-14). Is -0.22 smaller than w?
False
Let u be -1 + (32/(-208) - (-12468)/10738). Which is smaller: 0 or u?
0
Let y(r) = -r**3 + 5*r**2 - 6*r + 12. Let w be y(5). Let c = w - -21. Which is smaller: c or 6?
c
Let x(a) = -126*a + 9. Let o(n) = -1. Let l(r) = -12*o(r) - x(r). Let f be l(-1). Is -124 > f?
False
Let r be (-6 - (-238)/28)*4/(-5). Let y = -32/5 + 83/20. Let s = y + 3/4. Is s greater than r?
True
Let w = 398 + -453.6. Let t = w + 56. Which is greater: t or -5?
t
Let l be 42/28 - (-78)/(-68). Is -0.2 at least as big as l?
False
Let m = 9 - 4. Let g = 11 + -11. Let u = m + g. Which is smaller: u or 3?
3
Let l be (10 + -1)*(-10)/(-10). Let k = 35 - 25. Which is smaller: k or l?
l
Let z be (-580)/28 + 2/(-7). Let a = -892 + 871. Are a and z nonequal?
False
Suppose -6*g = -g - 45. Let a = -8543/4 + 2146. Let p = a - g. Which is bigger: p or -0.1?
p
Let c = -1.284 - -0.184. Which is smaller: 1 or c?
c
Let c = -1.35 - -0.25. Let l = 0.94 + c. Let m = 3.16 + l. Is 3 > m?
False
Suppose 0*a - a - 227 = -5*f, 2 = -a. Suppose t - 4*y + f = 6*t, 4*y - 18 = -2*t. Let b = 0.1 - 0.2. Does t = b?
False
Let l = 7.11 + -29.31. Is l less than 0.3?
True
Let l = 18019 + -18039. Let j = 3 + -4. Let d = -2 - j. Which is greater: l or d?
d
Let t be (-3 - 440)*56/34. Let s = -730 - t. Is -1 at least as big as s?
False
Suppose 0*g = 4*g + 3356. Let o = g + 3379/4. Let c be ((-45)/(-45))/(1 - (-5)/(-6)). Is c > o?
True
Suppose 42 = 2*q - 10*h + 6*h, 2*q - 33 = h. Which is bigger: q or 19?
19
Let c(r) = r - 11. Let h be c(7). Which is greater: -3 or h?
-3
Let j = -24.8 + -595.2. Do j and 0.1 have different values?
True
Let i = -42.88 - 0.12. Let n = 45 + i. Are n and 27 nonequal?
True
Let x = -409 - -347. Is x less than or equal to 2/5?
True
Let q = -24 + 24. Let z = q - -3. Suppose z*v - 4 = -v. Is -2/25 > v?
False
Let n = 1/18 - 11/36. Let s be (((-25)/(-50))/(1/(-6)))/(-1). Which is bigger: n or s?
s
Suppose -2*w - 3*w + 10 = 0. Let z = 19 - 18. Is w < z?
False
Let q be -6*(31/(-6) - -5). Is q <= 14/29?
False
Let x(d) = -3*d**2 + 5*d + 11. Let g be x(3). Which is smaller: -391 or g?
-391
Suppose -11*y + 10*y - 210 = 0. Let d be (-1)/(-2) + (y/(-128))/(-3). Which is bigger: 1 or d?
1
Let u = -25 - -15. Let n = u - -12. Which is smaller: n or 1?
1
Let t be ((-16)/(-24))/(2/6). Suppose -5178 = -5*m - o - 3*o, -t*m = -o - 2079. Let s be m/(-54) + (-4)/(-18). Which is bigger: -20 or s?
s
Let u be 9/68 - (-2)/(-8). Let j(z) = 2*z**3 + z**2 + 2*z + 1. Let h be j(-1). Let n be (2 - (-6)/(-3))/h. Which is smaller: u or n?
u
Let t = 181 + -180. Does -6/203 = t?
False
Let s = -12 + 14. Suppose 0 = -3*o + o - 38. Let u = o + s. Which is bigger: u or -16?
-16
Let g = 5/182 - 661/4186. Let u be (-2)/(-64)*4*0. Which is smaller: u or g?
g
Suppose 47*p - 171 = 38*p. Is p bigger than 23?
False
Let n be 1*2*25/(-14400). Which is greater: n or 3?
3
Let d = 6.4 + -44.4. Let u = d - -36. Which is smaller: u or 5?
u
Let t be ((19/(-76))/(2/(-664)))/5. Which is smaller: t or 17?
t
Let b = -2.07 - 0.93. Suppose -3*n - 7*x = -2*x, 2*n - 5*x = 0. Is n < b?
False
Let c = 20.8 + -23. Let g = c + 1.95. Let m = g + 4.25. Are -1/2 and m non-equal?
True
Let o = 7 - 5. Let z be 4*3/(-18) + (-6)/(-9). Suppose 0 = -z*v - o*v. Is v greater than -2/33?
True
Suppose -5 = -r - 3. Suppose c - 2*u = 25, -5*c - 7*u = -r*u - 125. Is 24 greater than c?
False
Suppose 38*c + 394 = -8042. Which is smaller: -218 or c?
c
Let n be (-13)/((-39)/(-2256)) + 3/1. Which is bigger: -2 or n?
-2
Let z(x) = -x**2 + 9*x - 11. Let c be z(8). Let g(f) = 2*f + 4. Let q be g(3). Suppose -3*m = -m - 2*p + q, 5*p + 7 = -3*m. Which is smaller: c or m?
m
Let x = -495.99 + 496. Is x bigger than -0.19?
True
Let l be -9 - -21 - (0 + 13). Which is smaller: l or -52/43?
-52/43
Suppose 2*o - c + 35 = -0*o, o = -3*c. Let g be 1/(-2) - o/6. Which is smaller: 1/2 or g?
1/2
Let y = 230 - 221. Is -5 at least y?
False
Let c(z) = z**3 - 7*z**2 - z + 9. Let q be c(7). Suppose -q*y = -y + 1. Let p be 1/(-3) - (-3)/6. Which is smaller: p or y?
y
Let r(z) = -z**2 + 4*z + 4. Let i be r(4). Let n = 11 - i. Let j be ((-1)/n)/(108/(-42)). Which is smaller: -1 or j?
-1
Let m be -1 + 0/(-2) - -1. Let r = m - -1. Let k be (-1)/(0 - (r + 0)). Is k > 6/13?
True
Suppose -4*x + 0*c = c + 8, -5*x = 5*c + 25. Suppose 16 = -q - 3*s, -s - 69 = 3*q - 21. Let p be ((-3)/(-8))/(132/q). Which is greater: x or p?
p
Suppose -2*v + 3220 = -4*y, -5*y - 238 = -v + 1372. Which is bigger: 1/2 or v?
v
Let v = 0 - 12. Let w = -44438/7 - -6335. Which is bigger: w or v?
v
Let u be ((-9)/18)/((-3)/(-468)). Does -230/3 = u?
False
Let o be (-2022841)/1001 - 8/52. Let m = o - -2021. Let g = -180/1001 + m. Which is bigger: g or -1?
g
Let u(p) = p**3 + 9*p**2 + 15*p + 8. Let b be u(-7). Let h be 24/(-1 + b/(-2)). Which is greater: h or -0.1?
-0.1
Let v = 2539 - 58408/23. Let p = -14/23 - v. Which is greater: -1 or p?
p
Let o be (2 + 0)/2*-5. Let v be 2/o + 24/10. Does 13/6 = v?
False
Let x be (-3 + 2 + 265)*(-122)/183. Is x < -176?
False
Suppose 45*g = 74*g - 58. Suppose -c + 2*c = 0. Suppose 4*q + 5*n - 20 = c, q = 2*q + 4*n - 16. Is g at most as big as q?
False
Let j = 2 - -19. Suppose -5 = 2*i - j. Let b be (-1)/4*i/18. Is b < 0?
True
Suppose 2238 + 91 = -5*h + 4*v, 0 = -h + 5*v - 470. Is h at most -465?
True
Let y(v) = 9*v + 5. Let j be y(1). Let c = -12 + j. Which is greater: 2/35 or c?
c
Let n be (-2)/3 - (-2782)/(-39). Let r be n/(-45)*(-10)/4. Let q be -2 - -2 - 8/2. Are r and q equal?
True
Suppose 7*i = 10 - 17. Let m = 12/49 - 191/980. Is m > i?
True
Let m = 23218723818510846/22771 - 1019662018127. Let u = m - -3/3253. Let j = 164 - u. Which is smaller: 0 or j?
j
Let v = -1 - -1. Let c = 337 - 8761/26. Is c greater than v?
True
Let q = 2.3806 + 0.1194. Which is smaller: -12 or q?
-12
Suppose 0 = 6*j - j - 25. Which is sma