r: w or -5/2?
-5/2
Let s be ((-3)/(-15))/(8/(-70)). Let o = 2 + s. Which is smaller: o or -21?
-21
Let u(t) = 2*t**3 - 7*t**2 - 13*t + 48. Let n be u(3). Is -3/10 greater than n?
False
Let i = -4981/6 + 832. Let r(s) = -12*s**3 + s**2 - s - 1. Let d be r(-1). Let j(q) = q**2 - 12*q - 12. Let a be j(d). Which is bigger: i or a?
i
Suppose 0 = q - 4, 2*l - q = 4*q + 182. Is 100 less than l?
True
Let q be 8/(-36) + 34/(-9). Let r(c) = c + 9. Let z be r(q). Suppose -z*b + 40 = -o, -o + 5 = b - 3. Which is greater: 6 or b?
b
Let u be 26/5 - (-9)/6*-2. Which is greater: 2 or u?
u
Let d = -123078579583/40155270 - -1/2677018. Let w = d + 3064. Is 0 at most as big as w?
False
Let l be -26*(199/60 + (-10)/15). Let t = l + 69. Is -2 at most as big as t?
True
Let t = 624 + -972. Let k be ((-23)/(-7))/((-192)/t). Let y = -43/7 + k. Which is smaller: -1 or y?
-1
Let r(n) = 4*n**2 - 4*n**2 + 4 + 7 - n**2. Let x be r(-3). Let m(g) = g**2 + 2*g - 2. Let a be m(-3). Which is smaller: a or x?
a
Let y(o) = 4*o - 2. Let j(m) = m - 2. Let f be j(-3). Let n be y(f). Let p be (16/18)/4 - 6494/306. Which is bigger: p or n?
p
Suppose 9*u + 2*h - 2 = 8*u, -4*u - 5*h + 14 = 0. Let f be 42/(-12)*u*2/(-21). Is 24/7 greater than or equal to f?
True
Suppose 192*o + 3549 - 1571 + 6854 = 0. Let m be 96/(-2) + 1 + 1. Is o at least as big as m?
True
Let s = -25 + 30. Suppose -4*l + s*y = 15, 2*l + 0*y = -4*y - 40. Let k = 1 - l. Is 10 at most as big as k?
True
Let a(x) = -x - 38. Let p be a(10). Let v be (-22)/(-4)*(-24)/p. Which is smaller: v or 3?
v
Let p = 4 + -3.99. Let h(a) = a - 8. Suppose -6 = -2*z + 8. Let o be h(z). Which is greater: o or p?
p
Let b be (141/(-2538))/((-17)/(-4)). Are b and 0 non-equal?
True
Suppose -3*a - 64 = 5. Let b = -151 - -129. Which is smaller: a or b?
a
Let n = -174.1 - -174. Which is smaller: 196 or n?
n
Let h be (6 + (-665)/110)*(-12)/6. Which is smaller: h or 4/23?
h
Let w be (-2 - (8 + -1)) + -2. Suppose 0 = -2*c + 3*y - 18, c - 3*c - 3*y - 18 = 0. Let f = c - w. Are 0 and f equal?
False
Suppose -4*l - 4*v + 150 = 30, 4*v = 4*l - 96. Let s be 2/(-6)*(-80 - 1). Let i be (s/2)/(6/12). Is l smaller than i?
False
Let h = 60 - 60. Let m be 81/(36/(-4)) - (1 + h). Which is bigger: -0.1 or m?
-0.1
Let v = 27.9 - 38. Let g = -10 - v. Let x = 3802/9 + -422. Which is greater: g or x?
x
Suppose -5*r - 483 = -493. Suppose d = 5*b + 5*d - 3438, 5*d = 3*b - 2048. Let a = b + -3419/5. Do r and a have the same value?
False
Suppose 2*f - 68 = -2*j, 115 - 43 = 2*f + 4*j. Suppose -f = 5*b + 3. Which is smaller: -2/11 or b?
b
Suppose 5*c - 3*r = -4*r + 24, -3*c - 2*r + 20 = 0. Let u be ((-27)/3)/(6/(-4)). Suppose n - 10 = -5*m, -34 = -m + 5*n - u. Is c less than or equal to m?
False
Suppose 7 = -3*a - 4*k, 2*k = 1 - 3. Which is greater: a or -2/49?
-2/49
Suppose -3*n - 31 = h - 0*h, -5*h = 4*n + 100. Let b(y) = 2*y**3 - y**2 - y - 17. Let a be b(0). Which is smaller: h or a?
a
Let i = 6620 + -6620. Let s = 5.9 + 0.1. Is i at least as big as s?
False
Let q(z) = 2*z**2 + 56*z + 17. Let u be q(-28). Is 14 greater than u?
False
Let k = 115 + -117. Which is greater: k or 3?
3
Let o be (4/6)/((-2)/3). Let s = 74 - 64. Let b be -13 + s + 47/16. Are b and o non-equal?
True
Suppose 0 = -5*d - 29 - 1. Let w be 2/3*d/(-4). Suppose -3 = 2*h - w. Is -1/6 less than h?
False
Suppose -627 = 24*q - 5091. Is 186 bigger than q?
False
Let v = -680 - -728. Which is bigger: v or 54?
54
Let i(s) be the second derivative of -4*s**3/3 - 13*s**2/2 - 3*s. Let l be i(-4). Let y be -3 - -1*(-23)/(-1). Are y and l non-equal?
True
Suppose -b = 4*j + 2 - 11, 3*j - 15 = 2*b. Which is smaller: j or 72/29?
72/29
Let d be (100/(-15))/4 - 322/(-96). Is d at most 2?
True
Let q = -93 - -98. Suppose 0 = 2*k - q + 1. Which is smaller: 0 or k?
0
Let o = 919/36 - 103/4. Let g = -0.26 + 1.36. Let p = -3.1 + g. Is o bigger than p?
True
Let g = 561.972 - 577. Let y = g + 0.028. Which is bigger: y or -2/3?
-2/3
Let l(g) = -6*g - 6. Let b be l(-2). Suppose -5*q = -3*o - 0*q + b, 0 = -o + q + 2. Which is smaller: o or 9/7?
9/7
Let f = 1.025 - -0.065. Let s = 3.09 - f. Which is greater: s or -1.1?
s
Let w = -284.9 + 285. Let c be (-2)/3 - 16/(-18). Is w at least as big as c?
False
Let a = 306 - 292. Are a and 105/8 equal?
False
Let z(y) = -y**2 + 10*y + 10. Let h be z(11). Let t = 870 - 43497/50. Is t <= h?
False
Suppose f - 2 = -3*a + 5*f, 3*a = -5*f + 11. Let l = -207 + 115. Let i = 464/5 + l. Which is bigger: i or a?
a
Let m be (2 + 0 + -2)/(-1). Let b(z) = -z**2 + z + 31. Let t be b(m). Suppose 26*c = t*c - 15. Is 4 at least c?
True
Let h = 3 - 3. Let r(q) = 2*q**2 + 3*q + 2. Let o be r(0). Let s = o + h. Is 1 equal to s?
False
Let o = 15 - 10. Suppose 0 = u + 4*h - 6, -h + o = u + u. Suppose -6*q - 2*m = -q + 5, -4*q = -u*m + 4. Is -4/5 bigger than q?
True
Let z be (4/(-9)*-21)/(-6). Suppose 370 - 371 = b. Which is greater: z or b?
b
Suppose -2356 = -5*r - u - 589, 3*r - 1047 = -5*u. Which is greater: r or 353?
r
Let j be (-4)/(-6)*(9/2)/3. Let o be 53*(j + 1) + 1. Which is smaller: 108 or o?
o
Let n be 9*(-4)/(-6)*2. Suppose 0 = z - 4*b - 1, 4*b = -2*z + 2 - n. Which is smaller: -2 or z?
z
Let i = -1.8 - -0.8. Let g = -1.07 + -15.93. Let r = g - i. Is 1 smaller than r?
False
Let i be ((-24)/(-15))/((-834)/(-210) - 4). Is -60 >= i?
False
Let g = -77 - -77.3. Let j = -0.1 - 0.3. Let c = g + j. Is c > 1?
False
Suppose 2*i - 4*k = 18, 0*k = -3*i + 5*k + 30. Suppose 4*d - 5*r = 25, -2*d = -d - 3*r - i. Which is smaller: 1/3 or d?
d
Let b = 37/36 + -5/4. Which is smaller: -2/11 or b?
b
Suppose -3*w - 3*y = -87, -14 = -2*w - y + 48. Let x = w - 81/2. Does x = -8?
False
Let o be 2 - (0 - 0/(-2)). Let r be o/1 - 12/5. Let d be 24/24 + (18/(-8) - -1). Which is smaller: d or r?
r
Let o = 40 + -79/2. Let m(w) = 4*w**2 - w**2 - w**2. Let k be m(1). Is k at least o?
True
Let c be ((-16)/72 - (-100)/(-36))*4. Let w be (-4)/3*(0 + 9). Is w != c?
False
Let u = -1.6 - -0.1. Let y = -0.7 - u. Let i = 0.5 - y. Which is bigger: i or 0.3?
0.3
Let k be 244/12 - (2 + (-52)/24). Is 20 greater than k?
False
Let o = -82503/387985 + -1/8255. Which is smaller: 0 or o?
o
Suppose 3168 = 6*t - 10*t. Let c be (-8)/(-52) + t/78. Which is greater: c or -11?
c
Let u(y) = -y**2 - 10*y. Let t be u(-9). Suppose l - 19 - 17 = 4*d, 3*l = -d - t. Which is smaller: d or -10?
-10
Let z = 29 - 25. Let p be z*4/20*10. Let a be (14/(-5))/(18/(-45)). Which is greater: a or p?
p
Let x(r) = r + 2. Let m be x(6). Suppose -3*p - p = -m. Let v be 0/((0 - 0) + p). Which is smaller: v or 1?
v
Let z = 2 - -6. Let x = -0.02 - z. Let i = -8 - x. Is i at least as big as 1?
False
Let n be ((-12 - -2) + 4)*(-16)/3. Let w be 3/(-20) + (n/(-10))/(-8). Is w bigger than 1/5?
True
Suppose 0 = -5*d + 10*d. Suppose 0*l + l = d. Do l and 2/73 have different values?
True
Suppose 0 = 5*k - 25, 5*o = -2*k - 2*k + 35. Suppose -o*n + 6 = -n. Let z be (-1)/10 - n/(-15). Is 0 bigger than z?
False
Suppose -5*v = 4*h, -2*h - v = -3*h. Which is smaller: -3/271 or h?
-3/271
Suppose -172*q + 8 = -180*q. Which is smaller: q or -3?
-3
Let q = -11 + 11.21. Is 1 >= q?
True
Let m = 26/773 + 180752/3865. Which is smaller: m or 48?
m
Let d = -1.072 + 300.072. Is d less than or equal to 0?
False
Let v be -1 + 11 - 0/(-4). Suppose -5*l + 6*z = -59, -l - 75 = 4*z - 66. Which is greater: v or l?
v
Let a = -31 + 14. Let p = 24 + a. Suppose -8 = 5*s + p. Which is smaller: s or -4?
-4
Let r = -15 + -7. Let n = r + 22. Let j be 2/(-1 - 0) - 0. Which is smaller: j or n?
j
Let h(b) = 142*b - 3. Let w be h(-1). Let x be 29/w + (-13)/(-5) + -1. Which is smaller: x or 1?
1
Let d = -352/57 - -130/19. Which is greater: -540 or d?
d
Let z = 0.16 + -0.01. Let x = -1.45 - z. Let f = -1.5 - x. Which is greater: -5 or f?
f
Let w be 2/4 - (-195)/10. Let b be (-5 - 0)*1 - (-54173)/2289. Is w at least b?
True
Let v be (-6)/15*15/12*0. Suppose v = 5*w - 138 - 107. Which is greater: 51 or w?
51
Let c = 56661/604 - 9/151. Is c <= 93?
False
Suppose 17 = 4*n - 3. Let x = n + -2. Let f be (-54)/(-4)*2/x. Which is bigger: f or 10?
10
Let a(m) = -m**3 + 8*m**2 - 4*m - 5. Let q be a(7). Let g be 1/((-60)/65 - -1) + 4. Do q and g have different values?
True
Let h = 1 + 5. Suppose h = -u - 0*u. Is -5 at least as big as 