= g. Which is smaller: b or x?
x
Suppose 5*n - 4*v = -138, 4*n + 10*v - 7*v + 129 = 0. Is -32 equal to n?
False
Let h = 475 - 475. Which is smaller: 3/217 or h?
h
Let w be (-5237)/28 + 0 + 15/5. Let f = -184 - w. Are 1 and f nonequal?
True
Let c(f) be the second derivative of -f**5/20 + f**4/2 - f**3 + f**2/2 - 14*f. Let t = 9 - 4. Let o be c(t). Which is smaller: o or -0.1?
o
Let i(r) = 2*r**3 - 8*r**2 + 2*r + 2. Let n be i(3). Which is greater: n or -5?
-5
Let l(k) = k**3 + 5*k**2 - 2. Let a be l(-3). Suppose 12*v = a*v - 60. Suppose -13*m + v*m = 2. Are m and 1 non-equal?
False
Let u = -5 + 5. Which is bigger: u or 8?
8
Suppose -d = -3*i + 31, -2*i + 5 = -5*d - 7. Suppose 6 = 5*q - 9. Suppose 0 = 4*s - i + q. Which is smaller: 5/4 or s?
5/4
Let n = 360 - 376. Which is greater: 4 or n?
4
Let v = -889 - -891. Which is smaller: v or 305?
v
Let g = -83333/33 + 2525. Which is greater: g or 1?
1
Let c(g) = -g**3 - 3*g**2 + 4*g + 2. Suppose -3*w - 22 = 3*u + 5, -5*w + 25 = -2*u. Let v = u - -6. Let h be c(v). Do h and 0.3 have the same value?
False
Suppose -9*n + 8*n = -106. Suppose 4*h = -4, -4*a + h - n = -h. Let c = a + 39. Which is bigger: 13 or c?
13
Let q = -137/1155 + 1/231. Let v = q - 89/140. Let s be -1 - (6 - 3)/(-3)*0. Is v > s?
True
Suppose -o = -3*a + 185, -6*a = -2*a + o - 235. Which is smaller: 3 or a?
3
Let z(w) = w**2 - 21*w + 40. Let v be z(19). Suppose -4*u - v*d = 56, 2*d - 12 - 16 = 2*u. Which is bigger: -7 or u?
-7
Let a be ((-4320)/(-100))/(-24) - (-3)/(-15). Suppose -k + 18 = 2*k. Suppose 3*i + 0 = k. Do i and a have different values?
True
Suppose -i + 5*v - 4 = 0, -2*i + 3*v + 16 = 3. Suppose -w - 7 = -2*w + s, -3*w + 19 = -4*s. Is w smaller than i?
True
Suppose 36 = 2*g + 4*c, -c + 21 = g + 2*c. Suppose g*i - 17 - 7 = 0. Are i and -15 equal?
False
Let a = -62 - -104. Let d = -39.9 + a. Let f = d + -2. Which is bigger: 1.4 or f?
1.4
Let w = -47.8 + 6.8. Let y = w - -40.9. Let f = 0.2 + y. Which is smaller: f or 6?
f
Let w = 91 + -104.6. Which is bigger: -0.1 or w?
-0.1
Let i(w) = 6 + 11*w**2 - 5*w**2 + 3*w**2 - w**2 + 6*w. Let f be i(-1). Which is smaller: 7 or f?
7
Let d = -1399/5 - -280. Let n = -0.1 + 0.2. Let y = n + 0. Do d and y have the same value?
False
Let v(d) = -d + 7. Let a = 74 - 69. Let n be v(a). Is 4/3 less than or equal to n?
True
Let p be -5 + (36435/56)/(-15). Is p greater than or equal to -47?
False
Let y = 0.03 + 0. Let i = -0.411 - -1.241. Let o = i - y. Which is greater: o or -0.1?
o
Let y = 435 + -197. Which is smaller: 239 or y?
y
Let c(g) = g + 4. Let x be c(-4). Let r be -2 + 8 + 0 - (0 + 0). Suppose 3*y - 2*y - 11 = -4*l, -3*y + l - r = 0. Is x bigger than y?
True
Let c = 19 - 35. Let x be (24/c)/((-66)/8). Let d(k) = k**2 - k - 1. Let z be d(-1). Does z = x?
False
Let s = -2169 - -2022. Is s < 0?
True
Suppose 5*r - 3*q - q + 21 = 0, 10 = -2*r + 2*q. Let p be 1 - (-7)/(1/r). Let v be 204/(-21) - p/(-21). Is v at least -2?
False
Let b(s) = -s**2 - 6*s + 1. Let r be b(-6). Let k be 3 + 4/(-5) - r. Let p be (12/(-9))/2*-3. Is p at least as big as k?
True
Let u = -1.05 - -1.48. Let w = -0.21 + u. Let g = -0.08 - w. Which is smaller: -1 or g?
-1
Let f be (1/(-2))/(12/8). Let t(a) = -12*a**3 - 4*a**2 + 5*a - 6. Let o be t(3). Let k be (-4)/(-6)*o/26. Is k greater than f?
False
Suppose 72 = -0*v + 4*v. Let l be 16/12*3/v. Which is greater: l or -2?
l
Let v = 3192 + -175554/55. Is v bigger than -1?
True
Let o = -19 + 22. Let f be (o/(-6) + 0)*34. Is -16 > f?
True
Let j(l) = l + 4. Let b be j(4). Suppose 0 = h - b + 9. Let w be (-1 + (-1)/(-5)*8)/(-1). Is h greater than or equal to w?
False
Let k be (-2 - (-21)/18)*(-7 + 8). Suppose -u = d + 3 - 6, -d = -5*u + 21. Suppose -u*v = 4*w - 5*v + 6, -2*w + 3*v + 2 = 0. Is k greater than w?
True
Let x = 2.9 + -3. Suppose 0 = 4*y - 3*c + 17, 4*y - 5 + 4 = -3*c. Let t be (-2 - 66/(-17)) + y. Which is smaller: x or t?
t
Suppose -3*a + u = -0*a - 3, -6 = 2*u. Let v be (3 - 0) + -6 - -6. Let r be ((-270)/(-26))/v + -3. Is r > a?
True
Let b(m) = -4*m + 5 + 4*m**2 - 3*m**2 + 0*m - 5*m. Let x be b(8). Let z = -704/1065 - 2/355. Which is bigger: x or z?
z
Let i(p) = -3*p - 2. Suppose l - g - 3*g = -1, 0 = -2*g. Let u be i(l). Is 3/37 smaller than u?
True
Let d = 0.1 - 8.1. Let y = 656.2 + -656. Which is greater: d or y?
y
Let d be ((-1)/3)/((-14)/(-12)). Let x be (-2)/6*(-63)/49. Is x greater than or equal to d?
True
Suppose 24 - 130 = 4*f - 2*n, -f - 22 = n. Let y be (-17*1)/(f/5*-1). Which is bigger: -3 or y?
-3
Let m be (-7)/34 + 130/1105. Is m at least as big as -1?
True
Let y be ((-5)/30)/((-3)/(-12)). Is 2/7 > y?
True
Suppose -201*c = -202*c + 1. Is 3/62 less than or equal to c?
True
Let a be 0 - ((3 - 5) + -10). Suppose -3*i + 7*i + a = 0. Let n = i - -3. Is n != -2/11?
True
Let a(b) = -b**2 + 3*b - 8. Let h be a(6). Suppose 0 = -228*m + 217*m - 11. Is h smaller than m?
True
Suppose 0 = -0*q + 4*q + 8. Suppose -5*x + 3*z = -37, -2*x + 5*z + 6 = -24. Suppose 0 = 2*v + x + 3. Which is bigger: v or q?
q
Let q be ((-3)/(-2))/(15/100). Which is smaller: q or 5?
5
Let m = 245 - 244.86. Which is smaller: 10/9 or m?
m
Let h(f) = -5*f + 25. Let x be h(14). Are -43 and x equal?
False
Let p be (16 + -9 - 7)/2. Which is smaller: 13/35 or p?
p
Let w = 83 + -86.7. Let a = w + 3.8. Is a != 2?
True
Let h be (-6)/4*670/(-15). Which is smaller: h or 57?
57
Let u = 3 - 22. Let h = -17.9 - u. Let i be (-6)/(-8)*40/(-135). Is i less than or equal to h?
True
Suppose v + 8 = 3*v + 2*z, 2*v - 5*z = -20. Let x be ((-36)/(-130))/(14/35). Which is smaller: v or x?
v
Let g = -23 - -21. Let n be (g/3)/((-7)/(-147)). Let b(c) = 6*c + 3. Let h be b(-3). Is n less than h?
False
Let g = 4429/299 + -205/13. Which is smaller: -1 or g?
-1
Let p = -1405 + 1404. Are -8/35 and p nonequal?
True
Let l be ((1 - 1)/5 - 2)*4. Which is smaller: l or -72/11?
l
Let l(u) = -4*u + 6. Let y be l(5). Let z be 2 - 1 - (-30)/y. Suppose 48*h - 14 = 55*h. Is h at least as big as z?
False
Let y = -94 + 112. Let d = y - 18.01. Which is bigger: 2/15 or d?
2/15
Let f(w) = -w**2 + 11*w. Let c be f(11). Let s = 2/923 + 811/51688. Is c less than s?
True
Let k be (-172)/(-230) + (-2)/5. Let u = -22/69 - k. Are 1/4 and u non-equal?
True
Suppose 5*r + 3*q + 600 = 0, 5*r + q = 10*r + 600. Is r != -116?
True
Let j(z) = -3*z**2 - 22*z - 7. Let v be j(-7). Do -2 and v have the same value?
False
Suppose -10*w + 13*w = -15. Which is smaller: 3/4 or w?
w
Let y be (-7)/(-274)*330/231. Is 0 >= y?
False
Let y = -2678/17 - -158. Let i = 0.01 - -0.09. Is i less than or equal to y?
True
Let m be (-1 + -90)*48/140 - -2. Is -30 bigger than m?
False
Let o = 191 - 186. Let z = -0.06 - 0.04. Which is bigger: z or o?
o
Let q be (-27)/29 - (-12)/(-174). Suppose -s = 5*k + 1, 0 = k + 3*k. Do s and q have different values?
False
Let m be (3/(-6))/(2/(-32)). Let z(g) be the third derivative of g**5/20 - 7*g**4/24 + g**3/2 - g**2. Let x be z(3). Which is greater: m or x?
x
Let u = 17 + -21. Let n = 20 - 10. Let y = n + u. Which is bigger: 4 or y?
y
Let w = -110.3 - -110.6. Is -142 not equal to w?
True
Let c(n) be the third derivative of n**5/60 + 3*n**4/4 + 11*n**3/6 - n**2. Let f be c(-17). Which is greater: f or -32/7?
-32/7
Let x = 0.048 + 0.792. Let u = 0.7 - x. Let t = 0.07 + u. Is t at most as big as 1/2?
True
Let n be 2/10 + (-38)/140. Let v = 0.104 - 0.304. Which is greater: v or n?
n
Let i(n) = -1 - n**3 - 4*n + 2*n**2 + 4*n - n. Let r be i(2). Let l be (42/140)/(r/(-4)). Is -22 bigger than l?
False
Let g(d) = -d**2 + 2*d + 6. Let m be g(6). Let p be (-10)/(-75)*15/m. Are p and 1 nonequal?
True
Let g be (1 - (2 - 4)) + (-2)/(-1). Suppose g*q - 72 = 3*q. Is 35 at most as big as q?
True
Let j be (120/25)/((-9)/(-150)). Suppose -j = 5*y - 2*d, 0 = 4*y - 4*d + 3*d + 64. Is -15 bigger than y?
True
Let x = 5.512 - -0.488. Is x at most 22?
True
Let q = -20 + 7. Let z(j) = -j + 10. Let f be z(0). Let w = q + f. Which is greater: w or -4?
w
Let r be (75/5750)/(9/(-24)). Are 0 and r equal?
False
Let b be 2/2706*(-4 + 10)*1. Is 1 not equal to b?
True
Let b = 93 + -88.9. Let c = -11.9 - b. Let w = 16 + c. Is w at least 0.1?
False
Let c = -17/66 + 61/66. Which is greater: c or -0.503?
c
Suppose 16*z - 49 = -65. Which is smaller: -4/495 or z?
z
Let 