is smaller: 1 or u?
1
Let b = -297/7 - -12785/301. Is 1 > b?
True
Let b(n) = n**3 + n**2 + 2*n - 85. Let d be b(0). Let g = 84 + d. Which is smaller: 2/11 or g?
g
Suppose -6*f = -25 + 7. Is 8/9 at most as big as f?
True
Suppose 2*c - 8 = -2*c - o, 3*c = -5*o + 6. Suppose -5*j - 5 = 0, -4*j + 1 = -c*r - 7*j. Is -1.6 bigger than r?
False
Let v be (-19)/30 - 2/(-6). Let z = -27.096 - -27.096. Do z and v have the same value?
False
Let z be (-4)/6 + (-908)/6. Let f be 10/6*z/(-30). Let p = f + -131/18. Which is greater: p or 2?
2
Let s = -19.8 - -20. Let h = -14.907 + -0.193. Let l = -15 - h. Which is smaller: l or s?
l
Let z = 1123 + -1168.36. Let h = z - -45. Which is bigger: 0 or h?
0
Let b(c) = -7*c - 13. Let i be b(-5). Let l = i - -6. Let d = -27 + l. Is d less than or equal to -2/5?
False
Let b be -206*1/(-100) + -2. Let r = b - 127/450. Is 1 at least as big as r?
True
Let u = 5056/375399 - 4/787. Which is smaller: u or 0?
0
Let w = -46081 - -783627/17. Is 16 less than or equal to w?
False
Suppose -2*v - k + 0 + 9 = 0, -2*v + 2*k + 6 = 0. Which is smaller: v or 90/31?
90/31
Let q be (-20)/2 + (13 - 9). Let n be 0/3 + (q - -2). Let l(g) = -g**3 - 4*g**2 - 3*g + 2. Let y be l(n). Is 15 smaller than y?
False
Suppose m = -4*c - 1 + 28, 5*c - 53 = -4*m. Is 18 at least m?
True
Suppose -43*a + 38*a = -30, -g = -4*a + 28. Let t = 21 + -15. Which is bigger: t or g?
t
Let m = 14.58 + -14.18. Let t(s) = s**2 + 6*s. Let y be t(-6). Is y equal to m?
False
Let g = -33.98 + 34. Suppose 2*z - 5 = -3*t + 14, -11 = -3*z - t. Let r be (4/3)/z + -1. Which is greater: g or r?
g
Let o(r) = r**3 + r**2 + 2*r - 2. Let u be o(1). Suppose -3*y + 4 = u*q, -21 = 4*y - 4*q + 7. Let l = -0.01 + 9.01. Is l at most y?
False
Let o(g) = -2*g. Let r be o(-5). Let p be r/35 - 416/(-14). Let t be 4/(-10) - p/50. Which is smaller: t or 1/11?
t
Let g = -11.8 - -12. Let o(m) = -m**2 - 3*m - 1. Let n be ((-2)/4)/((-9)/(-18)). Let b be o(n). Do b and g have the same value?
False
Let l = -1/4 - -7/12. Let n be 3 + (3 + -105)/3. Let b be 2/8 - n/(-28). Which is bigger: b or l?
l
Let n = -29 - -31.8. Let x = -1.6 + n. Let o = -2.2 + x. Is -2 at least as big as o?
False
Let n be (1 - -143)*99/(-252)*-7. Which is smaller: n or 397?
n
Let r(t) = 9*t**3 + t**2 + 2*t + 2. Let s be r(-1). Let g(v) = -11*v**3 + v**2 + v - 1. Let a be g(1). Let f = s - a. Is f less than or equal to 1?
False
Let j be ((-12)/(-4))/(-3) - 38. Let w = -16 - j. Do w and 24 have the same value?
False
Let j = -45.9 - -46. Let t = -3.4 - 0.6. Which is smaller: j or t?
t
Let d be -6 + -128*(-4)/92. Is -1 less than d?
True
Let x(m) = -7*m + 5. Let a(o) = 2*o - 2. Let d(l) = 8*a(l) + 3*x(l). Let k be d(-5). Let g be k/272*2/(-3). Is 0 smaller than g?
False
Let q = -0.04 + 14.04. Let m = q - 10. Let u = 6 - 5.7. Does m = u?
False
Let s = -0.12 + -10.88. Let g = -12.3 + 2. Let d = g - s. Do 0 and d have the same value?
False
Suppose 2*w + 0 = -2. Suppose 2*y + 2 = 2*a - 38, a + 4*y = 0. Let f = -16 + a. Are f and w non-equal?
True
Suppose p + 5*f - 30 = 0, 2*f = -p + 7 + 8. Let j = -7 + 12. Let k = j - p. Which is smaller: 1/11 or k?
k
Let q = -33 + 33. Let i be 3 + -8 + (q - -2). Let v be -2 - i - 105/111. Which is smaller: 1 or v?
v
Let u = 0.04 + -1.04. Let k = 981/4 - 256. Let r = 207/20 + k. Which is smaller: r or u?
u
Suppose 7 + 23 = 5*j. Let y = -6 + j. Let v = 1 - y. Which is greater: -3/13 or v?
v
Let o = 1071 - 17147/16. Which is bigger: o or -2?
o
Let y(q) = -q**3 - 5*q**2 + 16*q + 59. Let g be y(-6). Let l = 209/1334 + 1/58. Which is smaller: l or g?
g
Let r = 0.2 - 0.2. Let l = 1 - r. Let j = -9702 - -9702.09. Which is greater: l or j?
l
Let j = 2.25 + -9.25. Which is greater: 12 or j?
12
Let g = -133 - -134. Let r = 18.98 + -17. Let o = -2 + r. Is o greater than g?
False
Suppose -y = 2*w - 71, 2*w - 3*y = 7*w - 180. Is w <= 34?
True
Suppose 3*l - 3*s - 15 = 0, -3*s + 0 - 7 = l. Let j be (25/50)/((-1)/(-8)). Let r be 2*j + 2/l. Is r smaller than 9?
False
Suppose -3*j - 4*k + 4 = 8, 3*j + 1 = -k. Is j != -1?
True
Let r = 2820388/13545 - 1874/9. Which is smaller: r or 0?
0
Suppose -3*z - 10 = -4*p - 0*p, z + 18 = 5*p. Suppose 28 - 24 = z*m. Let n be 16/10 - (0 - -1). Is n bigger than m?
False
Suppose -w + 4*p + 120 = 3*w, -46 = -2*w - 5*p. Is 29 at least as big as w?
True
Let q be 338/(10/(-5))*-2. Is q > 337?
True
Let o = -1/2 + 17/14. Let f = 81 - 241/3. Which is smaller: o or f?
f
Let t = -429/2 + 215. Which is bigger: t or 34?
34
Suppose v = -0*v. Let i = -85 + 87. Suppose v = i*k - 6*k. Does k = -2?
False
Let w be (7/(-2))/((-13)/(-26)). Let q(j) = j**2 + 8*j + 9. Let n be q(w). Let l be (-3)/n + -3 + 4. Which is smaller: l or -0.1?
l
Let q = 27 - 18. Suppose -3*v + 70 = 5*s, 52 = 3*s - v + 24. Which is smaller: s or q?
q
Let a = 296 + -276. Is a at most 20?
True
Suppose 3*k = k + 18. Let b(t) = -t**3 - t**2 - 2*t - 2. Let r be b(0). Is r bigger than k?
False
Let u be ((-291)/194)/(-1*2/(-16)). Which is bigger: u or -8?
-8
Let k(c) = 0*c - 2 - 5*c + 5 + 7. Let x be k(2). Which is smaller: x or -1.1?
-1.1
Let n(y) = -40*y + 11. Let o be n(-1). Is o at most 51?
True
Suppose 0 = -5*k - 5*y + 171 - 561, 0 = -k - 3*y - 86. Let t = k + 6217/84. Let s = 73/84 - t. Is s smaller than 1?
True
Let u = -166.2 - -167. Which is bigger: -0.5 or u?
u
Let z = -1988 - -1811. Which is smaller: -2 or z?
z
Let n(o) = -3*o + 39. Let z be n(8). Suppose -z*q = -2*q - 260. Let d be (16 - 2)/(6/9). Which is smaller: d or q?
q
Let x = -418 - -422. Are x and 26/5 non-equal?
True
Let x(v) = -10*v + 232. Let c be x(25). Is c at least as big as -16?
False
Let j = 1917/190 - 18/95. Let q = -2683/270 + j. Which is smaller: q or -1?
-1
Suppose -106 - 4518 = 17*y. Which is smaller: y or -545/2?
-545/2
Let p be ((-24)/9)/(2/(-12)). Let s(t) = 3*t - 4. Let r be s(p). Let a be 99/r - (-2)/(-1). Is a less than -16?
False
Let b = -1129 - -1128. Suppose 0 = -o + 5*o + 8. Is o at most b?
True
Suppose 39*s - 4 = 40*s. Let c be (-36)/14*s/(-3). Which is bigger: -2 or c?
-2
Let t(w) = 0*w**2 - 10 + 15*w - 13 + 3*w**2 + 20*w. Let d be t(-15). Does d = 128?
False
Let k be 1/(1*-2)*0. Let t = 16/69 - -31/759. Is t bigger than k?
True
Suppose 4*h = 3*q - 1, -2*h - 5 = q - 4*q. Suppose 4*c - 14 + 1 = -o, -4*o + q*c = -14. Which is greater: 6 or o?
6
Let o(w) = 3*w - 8. Let k be o(11). Suppose -k = 5*u + 165. Is u < -38?
False
Let m = 2/3079 + 184726/21553. Are m and 9 nonequal?
True
Let m be (-4)/22 - (4 - 738/66). Which is smaller: -3 or m?
-3
Let w = 42 - 40. Suppose -2*x = o - 8, -3*x - w*o = -x - 10. Which is smaller: 1 or x?
1
Let o = -160/9 + 1346/99. Let v be -3 + (-11742)/(-1782) + (-4)/(-6). Let b = o + v. Is b not equal to 1?
True
Let t = -9 - -4. Let n be ((-590)/(-150) - (-2)/(-6))*t. Is -19 < n?
True
Let n be (20/12)/(25/30). Which is smaller: 3/4 or n?
3/4
Let x = 2.81 + -2.41. Is x >= -0.24?
True
Let k be -5*3*1/(-3). Suppose 0 = k*u + 22 + 78. Is -20 >= u?
True
Let c = -4341 - -99951/23. Which is greater: c or 5?
5
Let r = 7 + 3. Suppose -4*u - 18 = -r*u. Let m(g) = -g**2 + 6*g - 1. Let q be m(5). Are q and u equal?
False
Let g be 0 + 0 - (-44)/(-143). Let t be (-270)/52 + 1 - -4. Let w = t + g. Which is smaller: 3 or w?
w
Let z = 42 - 12. Let v be (1 + 5)*25/z. Let l be v/(-12) - 3/(-4). Is l at least as big as 0.2?
True
Let z be -5 + 1 + -2 + -1 + 5. Let b be (-3)/(-15)*5/z. Let n = 0 + 0. Which is smaller: n or b?
b
Suppose -5*a + 99 = w, 5*a = 8*a + w - 59. Suppose -3*h + 4*h - a = 5*b, 3*h = -4*b + 3. Which is bigger: h or 9?
9
Let h be ((-94)/6)/(3615/(-180) - -20). Which is smaller: 187 or h?
187
Let n = -64 - 9. Let i = 73 + n. Is -21 <= i?
True
Let b = 60.5 + -8.5. Which is smaller: b or -1/3?
-1/3
Suppose -4*l - 720 = 4*l. Is -271/3 greater than or equal to l?
False
Let p = -0.398 - -0.498. Which is bigger: p or -90?
p
Suppose 3*d + d - 12 = 0. Suppose 35 + 41 = 5*h - 2*j, d*h = 4*j + 40. Let i = h + -29/2. Is 2 equal to i?
False
Let l be -4 + 2/35 + 4. Let v = 1/7 + l. Let s = 223/9 + -25. Which is smaller: v or s?
s
Let t be (-8)/(-2) + (0 - 7). Let s be t/(-3 + 0)*-7. Do -9 and s have the same value?
False
Suppose -68*z = -74*z. Are 11/87 and z nonequal?
True
Let g(l) = 8*l + 51. Let p be g(-6). Let a = -161 + 801/5. Whic