 l(-6). Which is smaller: r or n?
r
Let v be 1/(4/(-464)*-4). Let o = 18 - 14. Suppose y = o*y - 81. Is y smaller than v?
True
Let k be (-9)/(-4) + (-1)/4. Let g = 15 - 30. Let o be (k/3)/(1*10/g). Which is smaller: -2/15 or o?
o
Let a = -170 - -175. Suppose -4*l + 23 = -a. Is l smaller than 0?
False
Suppose -u + 24 - 113 = 3*w, 0 = -w - 2*u - 18. Is -58 equal to w?
False
Suppose 2*u - 5*u - 4*t = -559, u - 185 = -t. Let d = u - 180. Is d greater than -1/12?
True
Suppose 0*q - 9 = q + 3*c, -3*c = -4*q + 39. Let g be 2/q*(1 - 10/(-5)). Is 10/21 > g?
False
Let x = 0.6899 - 1.1899. Which is bigger: x or -1/705?
-1/705
Let n = 137815397/5454 - -4046/2727. Let k = n - 25026. Let m = k - 243. Is 1 <= m?
True
Let j be 109 + ((-4)/14 - 345/(-105)). Let f be j/18 + 15/((-90)/(-8)). Which is smaller: f or 7?
7
Let j = 26639 - 29376. Are j and -2737 equal?
True
Let r(p) = -p**2 - 32*p - 112. Let g be r(-4). Let d be 9/(-2)*-2 - -3. Suppose 119*o - 118*o - d = g. Is 14 != o?
True
Suppose -495*h + 504*h + 15084 = 0. Do -1677 and h have the same value?
False
Let m = -6/2177 - -3245/387506. Is 1 at least as big as m?
True
Let d(y) = -y**2 + 10*y - 8. Let c be d(8). Let g be 2259*1/282 - c. Do -2 and g have the same value?
False
Let n = 40 + -36. Suppose -n*g - 23 - 77 = 0. Let l = g + 22. Which is bigger: l or 1?
1
Let j = 688 + -690. Let a = -4.91 - 0.09. Which is smaller: j or a?
a
Let v = -92 + 76. Let m be (-564)/16 - (-12)/v. Let b be (-20)/m + 16/9 + -2. Which is bigger: b or 1/7?
b
Let w = -4811035/649 - -7413. Let a = -124 - -123. Which is smaller: w or a?
a
Suppose 24*i + 18997 = -1019. Which is bigger: i or -836?
i
Let b = -33697 + 33696.94. Let l = 1.1 + 0.8. Is b bigger than l?
False
Let n = -7462.7 - -7461. Suppose 0 = -3*j - 13 - 11. Let y be (9/j)/((-9)/(-12)). Which is greater: n or y?
y
Suppose -5*u + 1720 = k, 4*k + 1732 = 5*k + 2*u. Let o be (13/(-2))/((-30)/k). Is 377 >= o?
True
Let a be (-652388)/220 - ((-8)/(-10))/(-2). Let y = 38612/13 + a. Which is smaller: y or 4?
4
Let s = 10 + -17. Let p be ((-24)/(-84))/((-1)/s*45). Suppose 14 = 2*g + 5*i - 3, 2*g + i - 5 = 0. Which is greater: g or p?
g
Let d be ((-87)/(-12) - 6)*1646/13. Let x = d - 317/2. Which is smaller: -0.3 or x?
-0.3
Let w = -4 - -7. Let o = 132603/505 + -1313/5. Let r = -97/202 + o. Which is greater: w or r?
w
Let u = 7634/49 + -74/49. Which is bigger: u or 3?
u
Let t(r) = -10*r - 67. Let b be t(-7). Let q be b - (-22 + 39 - 1*-3). Is q at least 0.4?
False
Suppose 20*b - 8*b = 396. Suppose -4*q = 16, -k + q - b - 36 = 0. Suppose o - 5*o = -f - 76, 2 = 2*o. Which is bigger: f or k?
f
Suppose -350*t + 371*t + 3024 = 0. Which is smaller: t or -149?
-149
Let g(o) = o**3 + 6*o**2 - 21*o - 35. Let s be g(-8). Suppose 2*z + s = -c - 20, 25 = -5*z. Do -18 and c have the same value?
False
Let z be (-60)/25 + 2 + 2/((-80)/36264). Is z not equal to -899?
True
Let f = 2580 - 3149. Which is smaller: -570 or f?
-570
Suppose 77*d = 83*d. Let q be (3 - 2326/782) + 0. Let j = 2696/13685 - q. Is d at least as big as j?
False
Let z be -17*2/(0 - -2). Let r be (-1 + 1)*10/(-140)*14. Which is smaller: z or r?
z
Let j = -341 - -340.9. Is 3.1 > j?
True
Let q(v) = -v**2 + 13*v - 1. Let w(c) = -2*c**3 + 20*c**2 - 2*c + 17. Let l be w(10). Let s be q(l). Does -49 = s?
True
Let a = -51 - -86. Let p = -145405 - -145396. Is a equal to p?
False
Suppose 20*b - 24398 = -1018. Does b = 1171?
False
Suppose 0 = 7*w - 2*w - 4*g - 15, 3 = w + g. Suppose -27*v + w*l = -31*v - 47, 4*v + 42 = -2*l. Let z = -2 - 4. Which is smaller: z or v?
v
Let z = -11 + 16. Suppose 2*l = -6*t + 5*t + 29, -t = 4*l - 57. Which is smaller: z or l?
z
Suppose 17*g = 7*g + 30. Let f be (7 - 6)*(g + -1). Let y(o) = o - 2. Let x be y(2). Which is bigger: x or f?
f
Let s = -141 + 252. Let p = s - 110. Which is bigger: p or -2/331?
p
Let v = 3500 - 52511/15. Suppose -4*m + r = -1 + 2, -3*r = 9. Which is smaller: m or v?
m
Suppose 66*q = 68*q - 2. Suppose 3 - q = v. Let l be (-7)/(147/560) + v/(-6). Which is smaller: -26 or l?
l
Let p(x) = x**3 - 11*x**2 - 11*x - 14. Let c be p(12). Which is bigger: -8/177 or c?
-8/177
Let o be ((-7)/3 + 3)/((-38)/(-57)). Which is greater: o or -103/6?
o
Let v be (16/5)/((-14)/(-35)). Let c be (-160)/(-9) - v/(-36). Suppose -152*q - 1359 = -4703. Which is smaller: c or q?
c
Let n = 56003284 - 1288293925/23. Let a = -9487 - n. Is 9 smaller than a?
False
Suppose -36*s + 114*s + 48108 = 40*s. Which is greater: s or -1268?
s
Let i = 8088.588 + -8089. Is -0.1 at least as big as i?
True
Let c be (-2)/8 - 405/(-20). Let d(r) = 4*r**3 - 20*r**2 + 6*r**3 - 6 - 9*r**3. Let i be d(c). Do i and -3 have different values?
True
Suppose n + 4*h = -46 - 0, -5*h = -25. Let x be (-1)/((-3 - -2)*(-6)/n). Let s be (2/6)/(2/54). Is s less than x?
True
Let h be (-56)/70 - (-2748)/(-2640). Which is smaller: -2 or h?
-2
Let a(j) = -3*j + 30. Let v be a(6). Let k be (-2 + -4)/6 - v. Is 0.06 at most as big as k?
False
Let l = 42 - 40.18. Let z = l - 1. Let h = z - -0.18. Is h bigger than -0.9?
True
Suppose -308 = -10*m - 298. Let i be (-161)/924 + (-1)/4. Which is greater: m or i?
m
Suppose 552 = -15*k + 18*k. Let i(s) = -3*s**3 - 6*s**2 - 29*s - 28. Let l be i(-4). Is k <= l?
True
Let k(o) = o**2 + 53*o - 55. Let a be k(-60). Is a greater than -1?
True
Let g = 211412 + -211390. Let x = 6 + -3. Is x bigger than g?
False
Let u be -8 + (-6615)/(-98)*(-2)/(-17). Let n(h) = -h**2 + h - 1. Suppose 0 = x - 3*m + 2*m, x + 2*m = 0. Let k be n(x). Which is smaller: u or k?
k
Suppose 8*r + 9*r = 1785. Suppose 0 = 15*m - 165 + r. Is 22 greater than or equal to m?
True
Let d = 5506 - 7740. Is -2234 less than d?
False
Suppose 3*u - 11*u + 112 = 0. Let t be (-5 - (u + 3)) + -3. Is -25 >= t?
True
Suppose 0 = -128*i + 38*i - 146*i - 472. Which is bigger: -52/69 or i?
-52/69
Let j = -86 - -82. Let m(z) = -12*z. Let q be m(j). Which is smaller: 50 or q?
q
Suppose 5*d - 21 = 3*x + 9, -2*d + 26 = -4*x. Let l be (-612)/(-180) - d*1. Are -1/28 and l nonequal?
True
Let g be 191556/2023 - 4/34. Is 94 at least g?
False
Let p = -45097 + 45097.08. Which is bigger: p or 183?
183
Suppose 0 = 46*k - 30*k - 4944. Which is smaller: 294 or k?
294
Let u = -2/63285 + -442987/253140. Suppose t + 2 = -2*g + 6, -2*g - 3*t = 0. Suppose -5 = 4*r + g. Is r at least as big as u?
False
Let m = -2/27655 - -277828/17671545. Which is smaller: m or 0?
0
Let g be (9/774)/((-1)/((-4)/(-2))). Let r be ((-16)/10)/4 - 234/(-10). Let s = r + -24. Is g > s?
True
Let j = 18338 + -18114. Is j at most as big as -2?
False
Let s = -3129 - -9706. Which is smaller: 6576 or s?
6576
Suppose 3*n - 5*n - 25464 = -2*d, 3*n = -3*d + 38202. Let r = -102019/8 + d. Is -18 bigger than r?
True
Suppose -d + 21 = -5*l + 28, 0 = 2*l - 4*d - 10. Let a(t) = 78*t - 29. Let x be a(l). Which is bigger: 48 or x?
x
Let a(q) = -16*q. Let c be a(-4). Let r = c + -257/4. Suppose -6*v - 9 = -3*v. Which is smaller: r or v?
v
Let l = 315 + -321. Suppose -i = -71 + 81. Are l and i non-equal?
True
Suppose 13*l + 5953 + 147 = -1466. Is -581 less than l?
False
Let h = 61 + 336. Let t = 8335/21 - h. Is t bigger than 1?
False
Let d = -125 + 169.2. Let v = -44 + d. Is -19 bigger than v?
False
Let c(y) = -61*y**3 + 15*y**2 + 79*y - 17. Let p be c(-4). Is 3806 at least as big as p?
False
Let y(g) = g**3 - g**2 - 2*g + 38. Let a(h) = h**2 - 6*h + 8. Let r be a(4). Let b be y(r). Which is smaller: 39 or b?
b
Let x = 23 + 141. Suppose -x*i = -182*i + 1962. Is 109 at most as big as i?
True
Suppose 3*c - 5*b = 4, c = 3*b + 1 + 3. Let h be (c/3 - 77/(-21)) + -15. Let w = h + 49/4. Which is smaller: -1 or w?
-1
Suppose 4*m = -2*i + 11144, -4*m + 2*i - 3*i = -11148. Let p = m + -16793/6. Is -10 at most p?
False
Let a = 1.94 - -0.06. Is a <= 518?
True
Suppose -3*s + 2*l = -1203 - 479, 2*s - 1121 = l. Let g be s/(-140) - -1*-1*113. Which is smaller: 2/3 or g?
g
Let x = 2.06 + -2.1. Let b = x + 15.04. Let k = b - -25. Is -1 equal to k?
False
Suppose 466*d - 3*w = 461*d + 42582, 0 = 2*d - 3*w - 17031. Is 8517 smaller than d?
False
Suppose -3*g - 908 + 872 = 0. Let x = 18.8 - 2.8. Let a = x - 15.8. Which is smaller: a or g?
g
Let t be 87/9 + 28/21. Suppose 17*v = t*v + 12. Let f = 5.8 + 1.2. Is f <= v?
False
Let t be 208/8 + (-2)/(-