+ 5541. Let b be z(-17). Let o be 145/657 - 4/18. Which is greater: o or b?
o
Suppose 3*l - 887 - 685 = 0. Suppose -3564 = 5*x - l. Let z = -15202/25 - x. Is z >= 1?
False
Let m(b) = 58*b - 1102. Let n be m(19). Is n >= 1/228?
False
Let u = 15.84471 - 15.90471. Let j(g) = -2*g - 1. Let a be j(5). Which is smaller: a or u?
a
Suppose 8*u = -495 + 2615. Let v be (-19)/2*(-4 - -5)*-28. Which is greater: v or u?
v
Suppose -65 = 3*r + 9*k - 203, -4*k = r - 57. Let c(v) = -v**2 + 4*v - 1. Let f be c(5). Let a = f + 15. Are r and a equal?
False
Suppose 3*v - 2*k = -42, -2*v = 5*k + 5 + 23. Let x = -122 + 105. Is v smaller than x?
False
Let d(u) = -u + 13. Let m be d(-5). Let x(b) = -3*b + 3. Let k be x(m). Let c be -3 + (-1)/((-3)/21) + -56. Which is greater: k or c?
k
Let b = -2.35 + 3.11. Let p = b + -0.77. Which is greater: -2 or p?
p
Let c = -74.78 + 74.7. Let u = 5.1 + -0.1. Which is greater: c or u?
u
Let m be ((-6)/(-110))/((-3)/(-150)). Is m at most 2/21?
False
Let l = 157 + -26. Let m = 126 - l. Is m greater than or equal to 4?
False
Let p = -6020 + 5498. Is -512 at least p?
True
Let v = -571.06 + 571. Let n = v - 19.94. Which is greater: n or -1.5?
-1.5
Let t be 6/(-93) + 140784/63147. Which is bigger: t or 3?
3
Let o(u) = -60*u + 16901. Let z be o(105). Which is bigger: z or 10600?
z
Let b be 5 - (-1 + 0) - (9671 + 555). Which is smaller: -10219 or b?
b
Let o = 17 - 1. Let c = o - 13. Suppose -c*b - 20 = 2*w, -5*w + 19 = -5*b + b. Is -6 greater than or equal to b?
True
Suppose -22 = 2*c - 52. Let y be (5/c)/((-4)/6). Let m = y - -1/6. Is m <= 22?
True
Let b = -0.0743 + -6.4157. Let k = b + -0.91. Let m = k + 7. Is -3/5 at least as big as m?
False
Suppose 22*b = -20*b + 651 + 903. Is 714/19 less than b?
False
Let m = -2781 + 2788. Which is smaller: m or 55?
m
Let m = 131 + -136. Let p be (14 + -19)*2/m. Which is smaller: p or 13/6?
p
Let m = -5505 + 5638. Is 146 at most as big as m?
False
Suppose 980 - 52 = q. Suppose 5*m = x, -6*x + 9*x - 3*m = -36. Let p be (-24)/x*(-8)/q. Is p less than 0?
True
Suppose 32*y - 752 = 2*c + 34*y, -5*y + 1088 = -3*c. Do -365 and c have the same value?
False
Let s(h) = -h**3 - 6*h**2 - 10*h - 3. Let d be s(-8). Suppose -15*b + 150 = -3*g - 18*b, d = -4*g + b. Which is smaller: -45 or g?
g
Let d be 4*(3 + -1) - -1. Let g be 60/(-50)*(-1)/(2/(-60)). Let t be 81/(-6)*24/g. Is t less than d?
False
Let c = -0.1217 - -0.3417. Which is smaller: c or 9/11?
c
Suppose -3 = -s, -3*u + 3*s + 9 = 2*s. Suppose 3*g - u*j = -13, -g + 3*j - 7*j = -1. Is g != 15?
True
Let c = -18383 - -18783. Which is greater: -36 or c?
c
Suppose -2340 + 20213 + 26365 = -6*l. Are -7372 and l equal?
False
Let p be 888/(8 + -16) + -1*4. Let r = -127 - p. Which is greater: -23/2 or r?
-23/2
Let g = -14 - -1. Let q(k) = 9*k + 17. Let f be q(-4). Let r = g - f. Which is bigger: 8 or r?
8
Let w = -134934/5 + 25151. Is w greater than or equal to -1836?
True
Let s = -3.5539 - -3.6539. Which is smaller: -7276 or s?
-7276
Let s = -6.6 - -68.6. Let x = s + -60. Are x and -0.41 unequal?
True
Let s(v) = -9*v + 33. Let u be s(8). Let c be 0 + (u/(-52))/(2/8). Let k be c*((-1)/9)/(16/48). Which is bigger: -4/15 or k?
-4/15
Let d = -0.41063 - 30.38937. Which is smaller: d or 32?
d
Let s be 162 - 3*(-2 + 1). Suppose s*n + 16 = 157*n. Is 5 >= n?
True
Let i = 449 - 417. Suppose -7*v - 250 = -i*v. Let w be 0*(0/(-3) - 1). Which is smaller: w or v?
w
Let a be ((-12)/9)/(-4) + (-86)/6. Let r be (3/2)/(a/812). Is -88 equal to r?
False
Suppose 0 = -100*p + 7*p - 186. Let b = -2209/957 - -11/87. Is p equal to b?
False
Let s(v) = v**2 - 24*v + 43. Let d be s(22). Let b be (-1310)/(-20) - 2/3. Let i = -65 + b. Is i greater than or equal to d?
True
Let l be (9295/1850 - 5)*(-2)/(-60). Let k = 318179/25900 + l. Is 13 < k?
False
Let l(x) = -x**2 - 95*x + 592. Let v be l(-79). Is 1851 at most as big as v?
True
Suppose 28*b - 25*b = 9. Suppose -4 = 2*z - 3*u, -2*z = -b*u + u + 2. Which is bigger: z or 4/71?
z
Let f = 1960/3 - 653. Which is smaller: -55 or f?
-55
Suppose 0 = -328*j + 311*j + 28152. Which is bigger: 1653 or j?
j
Let b = -0.725 - 253.275. Let g = 254.14 + b. Which is bigger: g or 3/8?
3/8
Let w = -476 - -677. Let b = w - 167. Are 37 and b non-equal?
True
Let l be ((-108)/(-10) + -2)/((-28)/490). Let j be (3*l/(-952))/((-3)/(-8)). Which is greater: -1/2 or j?
j
Let q = 1.2 + -0.3. Let z = q - -4.1. Let g = 340 + -338. Which is bigger: z or g?
z
Suppose -16*i - 5 = -19*i + 2*m, 5 = m. Suppose 2*x - i*c = -126, 2*x + c + 186 = 36. Which is greater: x or -358/5?
-358/5
Let p be (2/4)/(8/(-32)). Let j = 15 - 25. Let t be ((-288)/(-420))/(3/j). Does p = t?
False
Let i(m) = 132*m - 1137. Let o be i(-12). Is -2722 != o?
True
Let h be -3 - 3 - 2698/(-475). Let v = -1503/4775 - h. Is 0 at most as big as v?
True
Let m be 35/15*(-24)/(-14). Let b(f) = -2*f**3 + 4*f**2 + 5*f - 28. Let c be b(m). Is -214/3 >= c?
True
Let m be 64/(-16) + 132/2. Let x = m - 51. Let d(p) = -13*p + 33. Let b be d(x). Which is greater: -109 or b?
-109
Let k be (16/6 - 2)*-519. Let x = -202 - k. Suppose -3*s - 144 = -4*h + h, 4*h - x = 3*s. Which is bigger: s or -47?
-47
Suppose 174*x = -4*l + 171*x + 16, -2*l + x = 2. Let w = -4 - -6. Let y be (w - (-105)/(-33)) + 1. Which is bigger: y or l?
l
Suppose -10978 = -26*r - 1930. Let c = r - 348. Let z be (-1 - 1)*(-1)/3. Which is greater: z or c?
z
Let s be 6/(6 - (-8)/(24/(-9))). Let t be 20/(-45)*-6*(22 + s). Is 65 bigger than t?
True
Let q(a) = 7*a**2 - 34*a - 5. Let b be q(6). Let k be 4*b*(-13)/(-52). Which is smaller: k or 42?
42
Let w = -24 + 163. Suppose -4*f + 2*v + 186 = 0, f - 2*v = -2*f + w. Let h = f + -51. Is h at most as big as -3?
True
Let w = -14689 - -14693.2. Which is smaller: w or -41?
-41
Let d be 1*(-6890)/663 + 15. Does 6 = d?
False
Suppose -2*s - 22 = -3*g, -3*s + g - 7 = -2*s. Is 28/137 bigger than s?
False
Let z be (2 - -1)/((-6)/8). Let r be 5/2*z/(-45). Let s = -2/2591 + -5144/49229. Is s bigger than r?
False
Let w = 14289.4653 - -3.5347. Are w and 0 equal?
False
Let o be (-2)/(-3)*(14 + 0 - 5). Suppose -8*l + o*l - 8*l = 0. Are -2/661 and l nonequal?
True
Let q = 4.006 + -4. Let m = 714.994 + -714. Let b = q + m. Is b at least as big as 1/10?
True
Suppose m - 7 = 3*h, -9*m - h = -8*m - 7. Suppose 8*u - m*u = 0. Is 1 less than u?
False
Suppose -k - 18 = -3*k - h, 0 = 3*k - 3*h - 27. Suppose v - 1 = -z, 30*v - 22*v = -z + 1. Suppose v*o = 3*o + k. Is -15/7 <= o?
False
Let c = -1668 - -25031/15. Suppose -84587*u = -84631*u. Is u less than or equal to c?
True
Suppose -4*t = -4*l - 7500, t = -4*t + 20. Is l less than -1873?
False
Let x be 138/(-9)*(-45)/(-1740). Which is greater: 1 or x?
1
Let c be (1 - (-22116)/16)/(-5). Let b = 553/2 + c. Let p = 48 - 48. Which is smaller: b or p?
b
Suppose -120 + 444 = -c. Let k be 0 + ((-4)/6)/(72/c). Which is smaller: 4 or k?
k
Let f(o) = o**3 - 9*o**2 - o + 15. Let x be f(9). Suppose 3*z + 2*l = 25, -x*z - 5*l + 50 = -z. Suppose 16 = 5*t - 9, k - 3*t = -12. Which is bigger: z or k?
z
Let d = -53207791/66802 + 1593/2. Is d not equal to -1?
True
Let n(v) = -v**3 - 7*v**2 + 2*v + 4. Let d be n(-7). Let q be -5*((-42)/d)/(-7). Suppose 3*i - 6 = m, -q*i - 4 = 4*m + 5. Which is smaller: -2/21 or i?
-2/21
Let s be (33/187)/(50/(-425)). Which is smaller: s or 10.3?
s
Let l be (10120/858)/23 - 2/(-13). Which is smaller: 825/2 or l?
l
Let u = 533813987795/16483 + -32385730. Let y = -2/311 - u. Let d(w) = w**3 + 2*w**2 + 2*w + 1. Let k be d(-1). Which is bigger: k or y?
k
Suppose 151526 = -59*q - 346670. Are q and -8444 equal?
True
Let x = 6.541 + -0.541. Which is smaller: 1/79 or x?
1/79
Suppose -91 = -2*l + 147*r - 150*r, l = 4*r + 73. Which is smaller: l or 107/2?
l
Let j(u) = 3*u + 1. Suppose -5*d + 2*d = -9, -3*d = -4*n + 23. Suppose 0 = 3*x - 2*x + n. Let q be j(x). Is -24 at least as big as q?
False
Let o(h) = 2*h**2 + 4*h - 22. Let w be (-2)/(-14) + 36/(-7) + -2. Let t be o(w). Suppose -4*y + t = 3*m - y, 4*y = 2*m - 62. Which is bigger: m or 19?
m
Suppose -145 = -2*x - 4*c + 285, 2*c = 2. Suppose 5*y - f - 1067 = 0, -2*f - 2*f = -3*y + 630. Is y > x?
True
Suppose 3*o - 15 = -3*g, -6*g = -g - 5*o + 15. Is 1/7428 < g?
True
Let f be (-42)/(-12) + -3 + 2/4. Let q be f/4 + (-495)/12. Suppose