is greater: u or r?
u
Let g be (-85)/(-6) + (-4)/6. Suppose -608 = -30*n + 352. Suppose 0 = -2*i - i + 9, 0 = -2*l - 2*i + n. Which is smaller: g or l?
l
Let h(g) = 143*g - 3479. Let o be h(23). Which is bigger: -946/5 or o?
-946/5
Suppose 5*q + 2*h - 72 = 0, 5*h = -5*q + 2*h + 68. Let t = -9 + q. Suppose -t*u + 0*u - 287 = 0. Which is bigger: -40 or u?
-40
Let r(w) = 5*w - 159. Let o be r(31). Let x be (-12)/(-32)*o + 23/(-14). Is -2 not equal to x?
True
Let c be 12/((-6)/1) + -37*2. Let r = c - -100. Is 2/13 smaller than r?
True
Suppose -5*v + 4*v + 8 = -5*t, -2*t = -4*v - 4. Let p be t*4/36 + (-16)/(-72). Which is greater: p or 2/115?
2/115
Let f be (-8*(-10)/(-10)*-1 - 7)*-1. Let v = 5.1 + -0.6. Which is smaller: f or v?
f
Let s be (171/6)/(-1 - 6/(-12)). Let j = s + 49. Which is greater: j or 3?
3
Let u = 1795 + -1793.9765. Let n = u + -0.0235. Is n equal to 147?
False
Let c = 642 + -618. Suppose 2312 = -c*q + 10448. Is 339 <= q?
True
Let v = 123 + -120. Let z be 3/(-7) + v/21. Do z and 3/2 have different values?
True
Let s(l) = 2*l**2 + 11*l + 11. Let f be s(-6). Let z be (f/5 - 4)*-5. Suppose -6*p = z*t - 2*p - 7, -7 = -2*t - 5*p. Which is smaller: t or 6/13?
6/13
Let k = -185 + 226. Let z = k + -53. Which is smaller: z or -2/31?
z
Let c(b) be the third derivative of -b**6/120 - 11*b**5/30 - 5*b**4/6 + 11*b**3/3 - 141*b**2. Let m be c(-21). Which is greater: m or 3/4?
m
Let y be 11*12/9 + (199 - 206). Is y smaller than 121?
True
Suppose 16 - 4 = 3*w, 4*z + 144 = -4*w. Suppose p + 41 = -2*v, p = -3*v - 133 + 89. Which is bigger: z or p?
p
Let c(g) = -g**3 - 31*g**2 - 61*g - 63. Let q be c(-29). Let h be 56/(-10)*6/(q/10). Which is greater: h or -138/11?
-138/11
Let z = -82 - -72. Let p = 10.1 + z. Let m = 145/72 - 17/8. Which is smaller: p or m?
m
Let n(f) be the second derivative of f**5/20 + 5*f**4/4 + 2*f**2 - 15*f. Let w be n(-15). Suppose 5*h = -0*q + q - 52, 0 = -q - w*h + 79. Is q < 66?
False
Let p(o) = 2*o**2 + 34*o - 67. Let l be p(2). Suppose 0 = h - l*h. Is h equal to 21?
False
Let y = 16695/2 - 4824875/578. Let z = y - -2502/5491. Suppose -6 = -7*k + 1. Is k greater than or equal to z?
True
Let g = -168 - -177. Let d be ((-11)/(-4))/(g/(-72)). Which is smaller: 1/4 or d?
d
Let z = 685 + -669. Suppose 21*r = -5 - z. Which is bigger: r or -3/10?
-3/10
Suppose 2365 - 29 = 16*m. Let z = -123 + m. Is 8 greater than or equal to z?
False
Let x(j) = j**2 + 5*j + 1. Let r be x(-5). Let w = 54/107 - 11724/24503. Does w = r?
False
Suppose 337*s - 52*s + 1082 = -123*s - 1366. Let p(t) = t**2 - 2*t + 4. Let v be p(4). Suppose -q + v = -2*f - 3*q, 4*f = 5*q - 6. Does s = f?
False
Suppose 0 = 2*s - 2*k + 3568 + 20294, -4*k + 59663 = -5*s. Is -11939 less than or equal to s?
True
Let m = -93148 + 93148.2. Suppose p + 4*p - 25 = 0. Suppose 0 = 3*s - p*s - 2. Is s >= m?
False
Let g = 732 - 731.5. Let n = -12 - -6. Let r = n - -5.8. Which is greater: r or g?
g
Let a = -5.436 + 0.196. Let b = 1.76 - a. Is -2 smaller than b?
True
Let p = 352 + -343. Suppose 0 = -p*c - 53 - 145. Is c != -14?
True
Let n(w) = w**2 - 36. Let y be n(-6). Suppose y = -87*q + 88*q - 2. Suppose -q*k = 2, -2*m + 60 + 74 = 2*k. Which is smaller: 67 or m?
67
Let v be (-29)/9 - 2/(-9) - -4. Let r be v/(-33)*(-30)/20. Is r smaller than -1?
False
Suppose 11*p - 1313 - 1657 = 0. Suppose i = 6*i + p. Let s be 9/i + (-1)/(-6) + -1. Is s greater than -5?
True
Let w be (75/(-970))/(-5)*14*530/105. Is 1 <= w?
True
Let j be ((-3)/(9/87))/1. Suppose -3*v + 14 = -2*w - 9*v, 2*w + 80 = 5*v. Are j and w equal?
False
Let u(z) = 350*z - 2795. Let b be u(8). Is -117 greater than or equal to b?
False
Let s be (-6)/(-11) - (-114)/3069*4446/(-312). Which is smaller: s or 15?
s
Let t = -1 + 6. Let y(a) be the first derivative of a**3 - 11*a**2/2 + 6*a - 146. Let c be y(t). Which is greater: 0.1 or c?
c
Let w = -99 - -21. Let o = -78 - w. Let l = 1 + 0. Which is bigger: l or o?
l
Let r be (-14)/70 - 24/5. Let s(o) = 3*o**2 + 17*o + 54. Let q be s(r). Is 46 greater than q?
True
Let p be ((-3)/(6/4))/(44 - 30). Let i be (-12)/(-16) - 1/(-4). Suppose 2*g = g - i. Is g less than or equal to p?
True
Let x = -1681 - -1678. Which is smaller: x or 19/183?
x
Suppose 0 = -h + 17 - 3. Let f be -1 - ((-60)/h - -3). Which is greater: f or 3.2?
3.2
Suppose 2*f = u - 3, 0 = -f + 6*f - 2*u + 8. Let l be (-2*2/4)/(f/(-14)). Suppose -5*w - 2*x - 40 = 0, -3*x - 2 = -2*w + 1. Is l > w?
False
Let l be (11/(-77))/((-8)/14) - 5/20. Which is greater: l or 5/38?
5/38
Let s be 24891/((-513)/(-78) - -3) + -4. Let p = -2595 + s. Which is greater: -0.1 or p?
p
Let d = 16171 - 16194.929. Let r = -0.071 + d. Which is smaller: r or -9?
r
Let w be ((-13793)/13)/((12*3)/1). Let g = 121/4 + w. Suppose x + 8 = 5*c, 5*c - 1 - 1 = -x. Is g greater than c?
False
Suppose -3*a + 5*k + 41 = 0, 2*a - 4*a - 4*k = 2. Let q be 166/12 + (a - 9). Let n = 37/3 - q. Is n != -32?
True
Let c = -7676 + 7676. Is -2/10677 greater than or equal to c?
False
Let n = -19595 - -19596. Do n and 1/18704 have different values?
True
Let s(r) = 17*r - 6600. Let d be s(-83). Is d bigger than -8010?
False
Let g = -432 + 547. Let l = -127 + 244. Which is smaller: l or g?
g
Let q = -8145142/35 + 232756. Let d = -188/5 + q. Let v be (-2 + -1)/((-105)/10). Which is bigger: d or v?
v
Suppose 0 = -7*h + 17 + 18. Suppose -4*m + 214 = 5*v - 169, -h*m = 15. Which is smaller: v or 80?
v
Suppose 2*l = -0*l - 580. Let k = l - -290. Which is smaller: 3/47 or k?
k
Let t be ((-3)/2)/(4959/(-988) - (1 - 6)). Which is smaller: 74 or t?
74
Let f be 84/16 + 3*(-4)/48. Suppose 284 + 241 = f*r. Is 105 less than r?
False
Let z = 205.684 - 205.74. Which is bigger: z or -19?
z
Let y be (-13 + 7)/((-24)/12 - 13/(-5)). Let w = 8 + -16. Does y = w?
False
Let l be (-7)/((-2926)/(-120)) - (-122)/671. Let g be (1/(-15))/((-8)/20). Do g and l have the same value?
False
Let y(j) = -j - 6. Let r be y(-4). Let s = 0.0058 - -0.6042. Let v = 19.39 + s. Is v > r?
True
Let s be -3 + 9 - 10 - (825 + (-7 - 3)). Which is greater: s or -817?
-817
Suppose -67*t + 1320 = 382. Is 214/17 bigger than t?
False
Let l(b) = -3*b**2 + 21*b + 8. Suppose -7*y + 49 = -0*y. Let c be l(y). Let q = c - 50. Which is greater: -43 or q?
q
Let m = 608 - 608.2. Is 21 greater than or equal to m?
True
Suppose 2*g = 4*j - 1042, 3807*g - 2*j = 3809*g + 1024. Which is smaller: -514 or g?
g
Let x(a) = -a**3 + 43*a**2 - 31*a - 56. Let w be x(9). Is 2417 bigger than w?
False
Let a = -3 - -2. Let k be -6*((-3)/a)/99. Is k at least as big as -1?
True
Let p(d) = -442*d - 10198. Let q be p(-23). Which is bigger: -381 or q?
q
Let q = 1444637/14268 - 1/7134. Let w = 2883/28 - q. Let s = 6 - 5. Are s and w equal?
False
Suppose 12*b = 17*b - 3*f + 3736, 1483 = -2*b + 5*f. Which is greater: b or -751?
b
Let p = -55485 + 55399. Let c = -273 - -188. Which is bigger: p or c?
c
Suppose -5*a - 27 = 3. Let z = 352 + -347. Which is greater: a or z?
z
Let u be (1/31)/1*-3. Let s = 137/1736 + u. Let l = 8 + -9. Is s >= l?
True
Let m(f) = -2*f - 1. Let r be m(-5). Let b(k) = 0*k**3 + 8*k**2 + 2*k**2 - 4 - k**3 + 30 - 12*k. Let a be b(r). Is a smaller than -1/8?
True
Let c be (-682)/(-4785) - 2/(-30)*-3. Let h(l) = 2*l**3 + 3*l**2 - 1. Let x be h(-1). Do c and x have the same value?
False
Let r be 1/(-5) - (-340)/(-15300). Let t = -4.9 + -4.9. Let x = 1.2 - t. Which is smaller: r or x?
r
Let g = -764 + 2287. Which is bigger: 1522 or g?
g
Suppose 0 = -2*x + 140*i - 135*i + 20, 2*x + 3*i + 12 = 0. Is x smaller than -3/1375?
False
Suppose 2*s = -30*g + 25*g - 199, -s + 154 = -4*g. Which is greater: g or -63?
g
Let o be (16 - 9) + (-23 - -2). Let l be (-620)/28 + (-2)/o. Which is bigger: -27 or l?
l
Let p = -52641/3230 + -21/170. Is p less than -15?
True
Let c = 70 + -72. Let q(d) = -2*d**3 + d**2 + 2. Let l be q(c). Suppose -7*f + 92 = l. Is 0 greater than or equal to f?
False
Let m(r) = r**3 + 6*r**2 + 4*r - 1. Let i be m(-6). Let l = i + -33. Suppose 14*q + 54 = -k + 13*q, 0 = -2*k + 2*q - 120. Is k smaller than l?
False
Let z = 162 + -1. Suppose 4*l - c - 143 = 482, -5*c = -l + z. Which is bigger: l or 155?
l
Suppose 0*q + 3*k = -3*q + 42, 0 = 3*q - 3*k - 12. Let y(t) = -44 - 9*t**2 + 65 - 5*t + 5*t + t**3 - 6*t. Let d be y(q). Is d at least as b