s bigger: b or -2/3?
-2/3
Let a = 0.126 - 74.126. Let v = -161 - a. Is 1 at least as big as v?
True
Let g be (2/(-8))/(2052/48). Let x be (-352)/(-1710) - (2 + -1). Let s = x + g. Do 0 and s have the same value?
False
Let h = 249 - 232. Which is smaller: h or 15?
15
Let i = 2 + -2. Let u = i + 0.1. Let k = -69.4 - -55.4. Is k greater than u?
False
Suppose -4*a + 11 = 7. Let j be (-120)/1100*(2 - 1)*1. Is a greater than j?
True
Suppose 157*v - 162 = 166*v. Suppose -9*n + 6*n - 48 = 0. Is v greater than or equal to n?
False
Let w = 691952/175 + -3954. Let z = -0.471 + 0.571. Is w at most z?
True
Suppose -22*g - 4650 = 9*g. Is g at least as big as -150?
True
Suppose -2*g - 14 = -0*g. Let w = -12 - g. Is -5 at least as big as w?
True
Let a be 3/42 + (0 - 114/1624). Does 1 = a?
False
Suppose 0 = -n + 5*y + 32, n - 3*y - 32 = -4. Suppose -n = -2*h - 84. Is -31 at least as big as h?
True
Suppose 16 = y + 3*y. Suppose 2*b + y = -0*b. Which is bigger: b or -3?
b
Let f = 39991/1395 - 1/1395. Let v = 887/30 - f. Which is greater: v or 0?
v
Let i = -185/528 - -3/176. Is 121 equal to i?
False
Let p(s) = -s**2 + 31*s - 18. Let l be -3 - ((-1176)/35 + 2/(-5)). Let z be p(l). Which is greater: z or -15?
-15
Let c be (-5)/5 + 2 + -27. Let x = c + 31. Let s be -3 - (25/(-2))/x. Is -2 at least s?
False
Let m be 12820/26*(5/10 - 0). Let g = -246 + m. Which is greater: g or 1?
1
Let c be (-1703)/(-104) - 16 - (-4202)/16. Is 263 greater than c?
False
Let y = -19.978 - 0.022. Which is smaller: y or 2/7?
y
Suppose -304*x + 291*x + 338 = 0. Which is smaller: -2 or x?
-2
Let k = 12 + -12. Is k < -30/43?
False
Let b be (1 - 9)*3/(-4). Suppose 7*l - b*l = 1. Do l and 3/2 have the same value?
False
Suppose 10*n + 978 = -482. Is -146 greater than or equal to n?
True
Let y(c) = -c**2 - 16*c - 15. Let q be y(-12). Let g = q + -23. Let s = -17 + g. Is s bigger than -7?
False
Let v = 3.97 + -4.97. Which is smaller: -1.36 or v?
-1.36
Suppose 19 + 6 = c. Let u = c - 38. Let v = u + 6. Is v <= -6?
True
Let u(b) = -b**3 - 31*b**2 + 147*b + 246. Let w be u(-35). Let k = -54491/53040 - -139/510. Let j = k - -9/13. Is w > j?
True
Let j = -2 + 4. Suppose 3*o + 0*f = 4*f - j, 5*f = 3*o - 2. Let v = 5 + o. Do v and 1/4 have different values?
True
Let k be (1 - 1)/(48/(-80)*-5). Which is greater: 7/236 or k?
7/236
Suppose 0 = -2*f - 5*g + 17, -f = -5*g + 6 + 23. Which is smaller: f or 8?
f
Let w be (-2)/4*0/(-3). Suppose w = -4*n + 9 + 7. Let k be (n/(-6))/((-14)/(-21)). Which is bigger: -12 or k?
k
Let l be (-4)/(4 - -12) + (-14)/(-32). Which is greater: 0.18 or l?
l
Let w be 34/(-17) + (-185)/(-92). Which is smaller: 1 or w?
w
Suppose 11 - 9 = -2*p. Do 10/39 and p have the same value?
False
Suppose 4*c + 0*c - 32 = 0. Suppose 4*q = -2*y + c, 2*y - 6 = -5*q + 6. Let i be (-2)/20 - 2/5. Which is smaller: i or y?
y
Let n = -11.3 - -16. Let j = 10.7 - n. Which is smaller: j or 11?
j
Let z be (16/1176)/(-2 + 28/12). Which is smaller: -9 or z?
-9
Let f = 33 + -26. Let k = f + -28. Let v be ((-9)/12)/(k/(-7)). Which is bigger: v or -6?
v
Let v = 121 - 132. Which is smaller: -20 or v?
-20
Suppose 4*w - 12 = 2*m, 0 = w - m - 4 + 3. Suppose -5*c - 52 = 4*t, t - 3*t + 64 = -w*c. Let z = c + 12. Is 1 < z?
False
Let o = 4/313 + 526/7825. Let k(h) = -45*h + h**3 + 17*h**2 - 3*h**2 + 30*h. Let a be k(-15). Is a smaller than o?
True
Suppose 95*d - 97*d = 0. Is 2/119 smaller than d?
False
Suppose -27*c + 11590 = 3058. Is 317 less than c?
False
Suppose 0 = -20*i - 5*i - 2175. Do -612/7 and i have the same value?
False
Let a(l) be the third derivative of 2/15*l**5 + 5/24*l**4 + 5/3*l**3 + l**2 + 0*l + 1/120*l**6 + 0. Let s be a(-8). Is s less than or equal to -30?
True
Let u(s) = s. Let t be -10 + 13 + 1*-6. Let m be u(t). Suppose i + 2 + 3 = 0. Which is smaller: m or i?
i
Suppose 0 = 5*f - 2*x - 32, -4*x + 27 = 5*f - x. Which is bigger: 2 or f?
f
Let i be (-3)/(-6)*-7*14. Let g = i + 33. Let w = g - -16. Is -2/7 at most as big as w?
True
Let f = -492 + 490. Are f and 3/46 unequal?
True
Let n = -97/16 - -3/16. Which is smaller: n or -7?
-7
Suppose -22 + 4 = -2*m. Let y be -1 - ((-12)/m + 1). Is y at least as big as -1?
True
Let f(w) = 3*w**2 - 35*w + 10. Let b(a) = 2*a**2 - 17*a + 5. Let j(h) = 5*b(h) - 3*f(h). Let z be j(-11). Let g be z/273 - (-4)/(-14). Is g > -0.3?
False
Let h(t) = 5 - 1 - 1 + 0*t + t. Let n be h(-4). Which is smaller: 2/37 or n?
n
Suppose -3*o = -114 - 66. Let w be ((-1)/(-4))/(o/32). Let i = -1 + 0. Which is bigger: i or w?
w
Let a = -5 + -17. Let d = -21.54 + 0.54. Let u = d - a. Are u and -26 equal?
False
Let r = 1268 + -1259. Is r bigger than 19/2?
False
Let s be 4 - (7 - 19/3). Is -2/7 not equal to s?
True
Let z = 0.715 + -0.915. Are z and 234 nonequal?
True
Let n = -72 - -53. Suppose 4*r + 9*h = 4*h - 100, -r - 3*h - 32 = 0. Is n less than or equal to r?
False
Suppose -4*f - 16 = -3*g, 6*f - 7*f = -g + 4. Which is bigger: 2 or f?
2
Let k = -0.74 - -0.747. Which is smaller: k or -5?
-5
Let y be 2/2 + (-15)/(9/3). Which is bigger: y or 29?
29
Let n be ((-118)/77349)/((-4)/(-6)). Which is greater: 0 or n?
0
Let l(d) = d**3 + 5*d**2 + 5*d - 6. Let t = -40 + 37. Let f be l(t). Is f less than 3?
True
Let p(a) = a**2 + a - 10. Let y be p(0). Let z = -8 - y. Suppose 0 = -z*x + 3 + 3. Which is smaller: 1 or x?
1
Let z(p) = -p**3 + 4*p**2 + 8*p + 4. Let h be z(-2). Let n be (-330)/24 + (-3)/h. Which is smaller: n or 0?
n
Suppose -5*f - 5 = -25. Suppose -v - 3*n = 4*v + 315, 4*v - n + 235 = 0. Let p be 11/f - (-45)/v. Which is bigger: p or -2/17?
p
Suppose 24 = -5*y - 3*o, 3*y + 31 = 2*o + 9. Let z be (-6 - y)*1/(-2). Which is smaller: -1/6 or z?
-1/6
Let q be 11/((-88)/320) + 0/(-2). Let r be 378/q + (-26)/(-104). Do -8 and r have the same value?
False
Suppose 0 = 2*o + 72 + 276. Let c = o + 70. Let x be c/10 - 4/(-10). Do x and -9 have different values?
True
Let g = 62/19 + -829/190. Is g smaller than 0?
True
Let z = -8 - -6. Let q be (-4 + 3)/(z/(-38)). Which is smaller: -18 or q?
q
Let x(l) = -l**3 - 9*l**2 + 9*l - 7. Suppose 0 = -6*v + 7*v + 10. Let o be x(v). Let u be (1/9)/(o/(-6)). Which is smaller: u or -1?
-1
Let r = -902/167835 - -1/2505. Are 0 and r non-equal?
True
Let l(v) = -55*v - 59. Let z be l(-1). Is z greater than -66/17?
False
Let j = -38 + 59. Let b be 2/6 + 329/j. Let m = 16 - b. Is -1/4 != m?
True
Let j be (-268)/(-3618) + (187/27 - 0). Is j < 1/6?
False
Let w = -6451/450 + 1/450. Suppose 15 = 5*d - 3*i + 99, 3*d + 54 = 3*i. Which is bigger: w or d?
w
Let p = 20 - 16. Let g(t) = -2*t**2 + 2*t + 1. Let d be g(-1). Let v(n) = n**2 + 3*n + 4. Let u be v(d). Is u <= p?
True
Let h = 0.392 + -0.292. Is -6.6 greater than or equal to h?
False
Suppose 87 - 43 = -22*q. Let g be (-2)/1 + 4 + -3. Is q at least as big as g?
False
Let a be (6/(-4))/((-6)/40). Suppose -2*m - a = 3*m. Let u be (-33)/60 + m/10. Which is greater: -2 or u?
u
Suppose 2*b = 5*f - 20, b - 8 + 31 = -4*f. Let w(k) = -k - 13. Let u be w(b). Let n = -7.92 - -8. Which is smaller: u or n?
n
Suppose -r + 2*q - 22 = -93, -4*r = -q - 270. Which is greater: r or 63?
r
Let z be 1 - -2 - (-60755)/(-21025). Is z >= -1?
True
Suppose -16 = -4*q, 0 = 4*k - 4*q + 23 - 39. Suppose 0 = 2*x + 5 + 1. Is x bigger than k?
False
Suppose -18*m + 14*m = -8. Suppose -2*f - 2*c = 24, -3*f + c - 26 = m*c. Does f = -8?
False
Suppose -d = -w + 4, -d - 4*w + 0*w - 19 = 0. Let b = 169 + -176. Is b at least d?
True
Suppose 4*r = -3*d + 51, -3*r - 6 = 2*d - 44. Suppose 0 = -2*v + 3*v + 6. Let h = r + v. Is h <= 6?
True
Let c be (-376)/32 + 1/(-4). Let l be (c/(-2))/(-30) + (-32)/(-10). Which is bigger: l or 6?
6
Suppose -11*p - 45 = -8*p + 4*j, 0 = 5*p - 4*j + 11. Let r be (-3)/6 - 154/20. Is r > p?
False
Suppose -4*r = 3*o + 9, 2*r = 3*o + 3*r. Let c = -157 + 3610/23. Which is bigger: o or c?
o
Let o(w) be the third derivative of -w**4/8 + w**3/6 + 2*w**2. Let d be o(-2). Let p = d + -9. Which is bigger: 0 or p?
0
Let o(z) = -z**3 + 4*z**2 - 2*z - 4. Let b be o(4). Let r(q) be the third derivative of 5*q**4/24 + 7*q**3/3 + q**2 + 16. Let j be r(-3). Is j < b?
False
Let p = 7 + -3. Let t be ((-9)/(-6))/((-10)/p). Suppose -127*j + 133*j = -12. Which is smaller: t or j?
j
Let a be (-26)/65 - (-428)/170. Which is smaller: a or 3?
a
Let