or k?
h
Let r be ((-2)/5)/((-4 - -3)/10). Suppose -x = 2*p + 38, 3*p + p + 136 = -r*x. Let s = -26 - x. Is 5 smaller than s?
False
Let o = -7860 + 7456. Is o less than 1?
True
Let m be ((-6)/(-2))/(-3)*-2. Suppose -m*j = -b + 35, 2*b - 104 = -2*b - j. Let q be (-36)/(-33)*(-9)/b. Is 1 != q?
True
Let o = 135436/2433 - -1/2433. Is o != 55?
True
Let o = -0.2 + 0.3. Suppose 4*u = -3*n + 2415, 241*n - 4059 = 236*n - u. Which is smaller: o or n?
o
Let a be 1785425/(-28524650) + (-1)/(-7). Let w = -1/2629 - a. Which is smaller: w or 1?
w
Let z = 33255/34 - 978. Suppose -6872*x = -6892*x. Is z at least as big as x?
True
Let j = -277.9424 - 0.0576. Let n = j + 281. Is n != -1/2?
True
Let a(n) = -2*n**3 + 27*n**2 - 153*n - 32. Let u be a(10). Are u and -864 equal?
False
Suppose 7*o + o - 903 - 2673 = 0. Is o greater than 448?
False
Let b = -112124/41 + 2735. Which is smaller: b or 0?
0
Let j = 2663/6 - 441. Suppose 3*b + 67 = 4*w, w + 0*w - 31 = -4*b. Let x = w + -15. Is x greater than j?
True
Let y be ((-1)/4)/(36 + 5253860/(-145940)). Which is smaller: 1825 or y?
y
Let v be 21/(-18) + (-68574)/(-396). Do v and 101 have the same value?
False
Let c = 2276 - 2274. Suppose 0 = 3*z - j - 18, -3*z + 11 = -3*j - 1. Suppose -6*i - 2 = -z*i. Is c < i?
False
Let o = 58 + -168. Let b = -439/4 - o. Which is greater: 40 or b?
40
Let k = 25876 + -25888. Let h(t) = -t**2 - 3*t - 1. Let i be h(-5). Is k at least as big as i?
False
Suppose -9*m - 1 = -1. Let t be -7 - m - -3 - 3. Are t and 0 equal?
False
Let p(m) = -6*m**2 + 10*m - 181. Let i be p(7). Let n = -661087/1599 - -1000/123. Let q = i - n. Which is greater: q or 1?
1
Suppose 0 = 10*v - 1070 + 1060. Let g(m) = 5*m**2 + m. Let q be g(1). Let d be q/10 + 8/20. Is v >= d?
True
Let j(o) = o + 33. Let h be j(-11). Suppose 0 = -2*s + 3*y - h + 11, 7 = 2*s + 3*y. Are 100 and s non-equal?
True
Let y = -88.713 + -0.287. Let t = y + 88.91. Let m = -0.9 - -1.2. Which is bigger: m or t?
m
Let u = -0.22 - 11.78. Suppose 5*f - 62 = 2*n, -3*f - 5*n - 27 = -89. Suppose 8 + 6 = f*c. Which is greater: u or c?
c
Suppose -916*m + 911*m + 2004 = 3*r, 3*r - m - 2022 = 0. Are r and 674 unequal?
True
Suppose -37*a - 92*a + 232370 = 2750. Which is greater: 5338/3 or a?
a
Let v = 4436 + -115337/26. Let b = 5 - 5.9. Let m = -1 - b. Which is smaller: m or v?
m
Suppose 4*c = -3*t - 17, -t + 0*c - c - 5 = 0. Let r be 0/((-4)/(-4)*t). Suppose r = -3*i - i + 120. Which is greater: i or 31?
31
Let j = -426 - -427. Let w be (49 + -47)*(j - 5). Which is smaller: w or -6?
w
Let h be 7808/(-488) - 102030/(-6377). Do h and -1 have different values?
True
Let n = 664 + -623.7. Let w = -57 - -92. Let u = w - n. Is u smaller than -2/7?
True
Let u = -1677 + 1760. Is -124 <= u?
True
Let u = 104.624 + -105. Let g = 18.376 + u. Let o be -1 - 2/10*-3. Do g and o have the same value?
False
Let z be (-85)/(-77) + -1 - 4/(-22). Suppose -21 = 10*l - 7*l. Let y be ((-15)/l - 3)/(2/84). Is z != y?
True
Suppose 7*o = -21*o + 22428. Let s be (-3)/(10 + 2) + o/(-60). Is s at most as big as 1?
True
Let l(r) = -3*r**2 - 7*r + 51. Let o be l(5). Let k(t) = 55*t - 1. Let w be k(1). Let b = -5 - w. Does o = b?
True
Let y = 376 + -375.9854. Let q = y + -0.0786. Which is bigger: -0.2 or q?
q
Suppose 0 = -3*b - 12 + 264. Suppose -24*k - b = -17*k. Let m be ((-1)/6)/(4/k)*2. Is 7/5 bigger than m?
True
Let u be 14/6*-3 + -1. Let x(c) = -c**2 - 60*c - 9. Let g be x(-60). Which is bigger: g or u?
u
Let j = -21815 + 22600. Which is smaller: j or -13?
-13
Let j = 1 + 5. Suppose 3*o = 2*c - 10, 0 = -57*o + 59*o - 3*c. Is j > o?
True
Suppose 5*b = 2*b + 66. Let d = -31 + b. Is d at most as big as -9?
True
Let x(k) = 2*k**3 - 5*k**2 - 2*k. Let l be x(4). Let m be 2/11 + (-2556)/22. Let a = m + 156. Is l <= a?
True
Let x = -5543 + 5543. Which is smaller: x or 1/1138?
x
Suppose -5*o = -r - 17 - 13, 2*o = r + 15. Let b(y) = -7*y**3 + 2*y**2 - 2*y**2 + 9*y + 8*y**3 + 9*y**2. Let p be b(-8). Is p at most r?
True
Let a(g) = -2*g**2 + 17. Let z be a(-3). Which is greater: -2/2497 or z?
-2/2497
Let x(l) = -l**3 - 4*l**2 - 1. Let a be x(-4). Do 3/452 and a have the same value?
False
Let v = -30 - -23. Let n = 18 - v. Let m = -51 + 52. Is m at least as big as n?
False
Let m be (2 + -1)*(-12 - (-752)/104). Which is smaller: 2 or m?
m
Suppose -4945 = 5*d + 4*k + 8353, 4*d - 4*k = -10624. Is d smaller than -2659?
False
Let w be 39 + -4 + 20/5. Let a = -300/7 + w. Suppose 2*j - 4*i + 21 = j, 0 = -j + 2*i - 13. Are a and j equal?
False
Let q be -1*((-1945)/30)/((-2)/4). Let o = q + 253/2. Is -3 less than o?
False
Let h(m) = -m**3 - 7*m**2 + 4*m. Let p be (-8)/16 - (-27)/(-6). Let j be h(p). Which is greater: -1/3 or j?
-1/3
Let k = 336 - 708. Let z = k + 316. Which is greater: z or -54?
-54
Let p = -14708/7 - -2096. Let k = -73 + 69.9. Let t = 4.1 + k. Are t and p nonequal?
True
Let u = -208 - -62. Let a be (-4)/u*(8/48 + 0). Is 0 at least as big as a?
False
Let o = 67.8 + 1.2. Let i = o + -158. Which is bigger: i or 1?
1
Let v(r) = 2*r**2 + 15*r - 20. Let q be v(-9). Suppose -4*b + 18 = -3*d, 6*d - 1 = q*d - 3*b. Are -5 and d equal?
False
Let y = 121 + -56. Let j = y - 65.1. Do j and 85 have the same value?
False
Suppose 2 - 140 = 2*q. Suppose 0 = -3*c - 5*l - 199, -4*c + 2*l = 5*l + 280. Let k = c - q. Is -5 bigger than k?
False
Suppose 4*l + 6 = -2. Let t be 6/12*(0 + l). Let b be -1*(2 - t)/3. Is -8/15 at least as big as b?
True
Suppose -150*w - 22*w = 19*w - 11460. Let t be 2 - (3 + -2 - 63). Which is smaller: t or w?
w
Let u be 1/2 - (933624/1488 + (-8)/(-124)). Do u and -626 have the same value?
False
Let h = -72713582 + 17160435949/236. Let c = h - 519/4. Which is smaller: 1 or c?
c
Let r be 4/22 - (-434)/154. Suppose -3*q + 6 = r*q. Let j = q + 0. Is j greater than -2/15?
True
Let x be (3320/315*-3 - 0)/(1/(-18)). Which is greater: x or 570?
570
Let c(h) = -10*h - 31. Let f be c(-6). Let a(n) = -n + 33. Let g be a(f). Which is smaller: g or -0.8?
-0.8
Let d = 246.0071 + -0.0071. Let r = d - 240.5. Which is bigger: -0.1 or r?
r
Let d be ((-9)/4)/(3/(-12)). Let x(u) = -u**2 + 11*u - 17. Let k be x(d). Which is smaller: k or -2/77?
-2/77
Let b be 3/(-3 + (-10)/6 - -1). Let m = b - -47/44. Let q be -1*0/((1 + -2)*2). Is m at most as big as q?
False
Let r(u) = 5*u. Let p be r(2). Let w be (0 - -6 - 4)*(3 + 6). Suppose -24*t = -6*t + w. Is t > p?
False
Let l(d) = -d - 43. Let p be l(-27). Let y(z) = -z**2 - 12*z + 27. Let x be y(p). Is -35 less than x?
False
Suppose -5*w = -2*a - 1429 - 9, -3*a = 4*w - 1155. Is 273 smaller than w?
True
Suppose 9*z = -3*z - 36. Let g be (0 - -3) + -2 + 300/(-30). Which is greater: g or z?
z
Let x = -0.37375 - 364.62625. Is -15 > x?
True
Suppose 0 = -33*v + 35*v - 6. Suppose v = -w + 14. Which is bigger: w or 82/7?
82/7
Let y = 0.133 - 46.133. Let g = y - -9. Let c = -0.78 + 1.78. Which is smaller: c or g?
g
Let h be 9/(-24) + 662898/1769872. Is h > -1?
True
Let m(n) = -20*n**3 - 6*n**2 - 11*n + 2. Let d be m(-4). Which is smaller: d or 1228?
1228
Let k = -451/63 + 76/9. Let c = 151/112 - k. Let h be (-1)/1*1/(-1). Which is bigger: c or h?
h
Let r be (48/(-20))/((-12)/(-1160)). Let p = r + 179. Is p less than -54?
False
Let m(k) = -k**3 - 29*k**2 - 28*k - 7. Let b be m(-28). Let y be -4*(-72)/(-126)*b/(-39). Which is smaller: y or -1?
-1
Let b = -315.94 + 300.94. Are -0.0006 and b non-equal?
True
Let u(q) = 2*q**2 - 6*q + 20. Let j be u(5). Let f = 16 + -8. Suppose -13*v + f*v = -j. Is -2/5 equal to v?
False
Let d = -4361/6 - -1455/2. Suppose -3*n = -6*n + 12. Which is smaller: n or d?
d
Let d = 4473513247 + -76026124200/17. Let h = d - 1388675. Let j = 382 + h. Is 0 at most as big as j?
True
Let f = 58285429/15 - 3893699. Let g = f + 8000. Which is greater: -3 or g?
-3
Let z(g) = -g**2 - 8*g - 29. Let p be z(-5). Let l(v) = -4*v - 56. Let c be l(p). Which is smaller: -1/289 or c?
-1/289
Suppose -34*y + o = -31*y + 6, -2*y + 3*o - 11 = 0. Which is smaller: 6/65 or y?
y
Let y(p) = p**3 + 9*p**2 - 12*p - 11. Let l be y(-10). Let i be ((-8)/5)/((-4)/30). Let d = -11 + i. Which is bigger: l or d?
l
Let q = -0.03 - 1.97. Let m = 483430/3791 + -2168/17. Which is bigger: q or m?
m
Let b = 160.21 + -3.21. Let o = -199 + b. Is -2/7 at most as big as o?
False
Let u 