s - -34. Let r be 126*(738/(-54))/(-41). Are u and r nonequal?
False
Let g be (-50118)/44 + (-744)/(-33) + -22. Is g < -1139?
False
Let j be 4/(-6) - 448/(-6). Let z = 23959 + -23884. Is z > j?
True
Let g = 16 - 16. Let x = -8 + 17. Let a be (-4)/(-18) + (-173)/x. Is g <= a?
False
Let n = -103/261 + 5/29. Suppose -3*d - 9 = y - 6*d, -d + 29 = 4*y. Let a = -3 + y. Which is greater: a or n?
a
Let s be ((-48)/26 - (-2)/(-13)) + 133. Suppose 5*c = 126 - s. Which is smaller: -9/23 or c?
c
Let i = 38214 + -38216. Is -1.0163 != i?
True
Let s = 304/9165 - 9/235. Let d(b) = -2*b - 31. Let z be d(-15). Which is smaller: z or s?
z
Let j(s) = -s**2 - 19*s + 24. Let f be j(-17). Let d = 61 - f. Let m be 0 + d + (-164)/36 + 0. Which is bigger: -1 or m?
-1
Let m = -649 + 682. Let v = m - 4. Is v > 2?
True
Suppose 144*m = 80*m + 30*m + 9520. Which is smaller: m or 836/3?
836/3
Suppose 3*i - 13*c = -17*c - 725, i - 2*c = -235. Is -242 less than i?
True
Let g = 32 - 27. Let n(j) = 71*j + 11. Let l be n(0). Which is bigger: l or g?
l
Suppose 0 = -4*b - 4*l + 36, 84*l - 24 = 2*b + 80*l. Is b not equal to 99/125?
True
Let j = 21106 - 20824. Which is smaller: j or 285?
j
Let n = -401 - -423. Suppose -5*u - x = -24 + n, -6 = 2*x. Is u less than or equal to 387?
True
Let z = -18 - -20. Let a(r) = -8*r - 2 - 4*r**2 + 6*r**2 - 5*r**z + 2*r**2. Let l be a(-7). Is 5 at most l?
True
Suppose -3*b - 2*g = -7, -27*b + 25*b = 3*g - 13. Which is greater: -2/2785 or b?
-2/2785
Let r = -427 + -563. Is r greater than or equal to -992?
True
Let f be ((-6)/(-4))/(3/4). Let a(h) = -h**3 - 3*h**2 + 3. Let u be a(1). Let m be (u + 2)*-1*(-1 + -6). Is f smaller than m?
True
Let j(c) = 9*c**2 - 49*c + 19. Let o be j(5). Which is greater: -4/5039 or o?
-4/5039
Suppose 0 = -7*n + 15*n - 16. Let v be n/((-16)/40*10/4). Is 1/96 at most as big as v?
False
Let a(x) = 7*x + 64. Let i be a(-9). Let h = 80 - 40. Let m be ((-3)/25)/((-16)/h). Is i smaller than m?
False
Let x be ((-770)/88)/(442/8 + (-5 - -3)). Which is greater: x or 1?
1
Let w = 245 - 161. Is w less than 594/7?
True
Let k = 117539 - 159500433/1357. Which is greater: 0 or k?
0
Let s = 145 + -336. Let v = -190.99 - s. Which is smaller: 1/9 or v?
v
Let u(p) = 0*p**2 + 2 - 7*p**2 + p**3 + 8*p**2 - p. Let d be u(-2). Let r = 0.109 + -0.009. Is r >= d?
True
Let n(k) = k**3 - 24*k**2 + 20*k + 71. Let c be n(23). Suppose d - 10 = -d. Suppose f - c*g + 72 = 5*f, -4*g = -d*f + 77. Which is greater: f or 0?
f
Suppose -15*g + 13*g = -3*s - 6, 3*s = 3*g - 6. Is g at most 2/12375?
True
Let l be (-2 - -6 - 3)/(-4690). Which is smaller: l or 0?
l
Let r be 613 + -15 + (3 - -5). Let t = 606 - r. Is -137 < t?
True
Let h(g) = -20*g. Let d be h(-3). Let v be (1150 - -18)/16 + -13. Is d greater than v?
False
Suppose 0 = -5*s - 15, -2*p + 8*s + 1819 = 13*s. Which is smaller: 4587/5 or p?
p
Let i(s) = 2*s**3 - 7*s**2 - 2007*s + 68. Let f be i(-30). Let l(t) = -t**3 + 2*t**2 + 3*t - 3. Let p be l(4). Is p <= f?
True
Suppose 0 = 24*u + 36 + 60. Let y be ((-22)/u - 2)*(-18 - -22). Let j = -7 - -8. Is y < j?
False
Let q = 231.702 - -0.298. Let h = q - 229. Which is smaller: -0.1 or h?
-0.1
Suppose 0 = 7*b + 8*b + 53*b. Are -16/93 and b unequal?
True
Suppose -7111 = 263*r + 65214. Which is smaller: -1095/4 or r?
r
Let n(y) = -17*y**3 - 2*y**2 - 2*y - 3. Let u be n(-2). Let m = 104625855/811324 - 65/18868. Let o = m - u. Does o = -1?
False
Let k be (-10)/2*(-24)/60. Let y be 2 - k - (49 - 5). Let m = y + 7. Is -36 greater than or equal to m?
True
Let o = -2763 - -2741. Let y(k) = 38*k + 2. Let j be y(1). Suppose -78 = 4*h - 4*l - 6, 0 = 2*h - l + j. Is o at least h?
True
Suppose -836 - 269 = -17*t. Let s = 39 - t. Is -25 at most as big as s?
False
Let w = 2.07304 + -0.07304. Which is smaller: w or -2.83?
-2.83
Let c = 426 - 439. Let r be c/(117/(-54)) - (-1 + 3). Which is smaller: r or 8?
r
Let d = -777 + 743.8. Let k = -33.19 - -0.19. Let c = k - d. Is -2/17 < c?
True
Suppose 14 = -4*t - 5*f, -3*t + 7 = -10*f + 5*f. Is -20/637 at least as big as t?
True
Let y be ((5 - -1)/(-2) + 7)*8. Let j = 23312 + -186247/8. Is y > j?
True
Let j = 461 + -456. Let u(a) = -2*a**2 + 2*a. Let v be u(-2). Let s = v + 18. Which is bigger: s or j?
s
Let t = 4327.99 - 4328. Which is smaller: t or -138?
-138
Let j = 0 - 0. Suppose 0*u + 28 = -4*u. Let m be -4 + (-56)/u + 378/(-93). Which is smaller: m or j?
m
Let y = 3899 - 769. Is 3132 <= y?
False
Let a(f) = -21*f + 1171. Let r be a(48). Does r = 164?
False
Let h(i) = i**2 - 3*i + 3. Let r be h(4). Let f be (2*(-5)/(-6))/(r/84). Do 15 and f have different values?
True
Let d be 16/(-20)*5160/(-48). Is d < 101?
True
Let d(z) = 2*z**2 + 134*z + 660. Let r be d(-5). Is r >= 40?
True
Let c be (-12)/(-18)*(-18)/(-1) - -2. Which is smaller: c or -65?
-65
Let k = -2589.5 + 2276.5. Which is smaller: k or 2/9?
k
Suppose -34 = -5*a - 2*s, a - 3*s - 1 = 2*a. Suppose 2*n = -5*p - 330 - 448, 2*n = -a. Let u be 8/14 - (-760)/p. Which is smaller: -4 or u?
u
Let y be (974690/(-580))/(7/(-2)). Is y at most as big as 481?
True
Suppose -17*l = -753 - 3582. Is 1783/7 greater than l?
False
Let a = -22.379 - -17.379. Let k = -0.8 - 0. Is a > k?
False
Let l be (27/(-4))/(-3*4/48). Suppose 5*v - 36 = 2*d - 6*d, 3*d - l = -3*v. Let p = 15 - 7. Which is greater: d or p?
d
Let v = -2551 - -28067/11. Is v <= 0.8?
True
Let r be (-2 - -11)*16/24. Suppose -r*a = -7*a + 49. Let i = -90 + a. Is i at most -41?
True
Let c(v) = -v**3 + v + 1. Suppose 0 = 5*k - 1 - 4. Let x(m) = -m**3 + 17*m**2 - 18*m - 32. Let t(h) = k*x(h) - 2*c(h). Let o be t(-18). Is 11/5 >= o?
True
Let q be 2 + -3 + -3 - (-52 + 170). Are q and -122 non-equal?
False
Suppose 0 = -8*c - 28*c - 10152. Let u be 47/282 - (-50)/c. Are 0 and u unequal?
True
Suppose -16 = -4*c - 2*u, 5*c - u = -0 + 6. Suppose 0 = -3*w + c*w. Let z = -1888 - -50968/27. Which is smaller: w or z?
z
Let w be ((-116)/435)/(6/35). Let k(m) = -3*m + 104. Let c be k(35). Which is bigger: w or c?
c
Let x = -12 + -67. Let y = x + 80. Let r = 59/16 - 3/16. Do y and r have different values?
True
Let m = -0.3 + 0.2. Let r = 10674 - 10673.986. Which is smaller: r or m?
m
Suppose -5*t = 5*j - 275, 0*j - t - 119 = -2*j. Let u = j + -60. Let x be -7 - (-6)/(-2)*u/(-6). Which is smaller: -31/4 or x?
x
Let o = 1080 - 766. Let c = 314.07 - o. Which is smaller: 0 or c?
0
Suppose 0 = -28*a + 9*a - 62054. Let k = 1022260/313 + a. Is k bigger than 0?
True
Let z = -32/1467 - -1232824/24939. Which is bigger: 48 or z?
z
Let a be (77/3 + -1)*50/900. Which is greater: 1 or a?
a
Suppose 2*b - 5*f = -0*b - 244, -4*b - 478 = -5*f. Let s = -141 - b. Is s greater than -24?
False
Let w be 0 - -10*(-3 + 317179164/72460). Let q = w + -43743. Let f = q - 21897/192019. Which is smaller: 1 or f?
f
Let l = -4.82 - -4.72. Let m(v) = -3*v**3 + 5*v**2 + v + 1. Let g be m(-5). Which is bigger: g or l?
g
Let y be 9 - (1/4 - (-18)/24). Suppose -y*n + 6*n + 44 = 0. Are n and 22 unequal?
False
Suppose 0 = -5*g - 75, 5*h + 4*g + 2569 = 2564. Let m = -3/125 + 15539/1625. Does h = m?
False
Suppose -52*q = -4967 - 2306 - 6975. Is q at least as big as 272?
True
Let x be 10/4*(-7548)/170. Let a be (-2 + 6)*(1105/(-26) + 15). Does x = a?
False
Let q = 2939821 - 2860446097/973. Let y = 2/7 + q. Is 1 less than y?
False
Let f be (-32)/(-14) + 128/(-16). Let t be (-6)/15 - 306/(-15). Suppose -4*i - 48 = -t. Is f < i?
False
Let j be ((-2)/6)/(4/24) + 25. Let x(r) = 11*r + j*r + r**2 + 7 - 42*r. Let q be x(8). Which is smaller: 4 or q?
4
Let x(j) = -2*j + 14. Let d be x(5). Suppose 0 = -c + h - d*h, -h = -c. Let a be 0 - ((c - 1) + -2). Which is smaller: 16 or a?
a
Let a = 21/2 + -11. Suppose 5*v - 7 + 22 = 5*g, 0 = 2*g - 5*v - 9. Let f be g*6/(-28) - (-33)/(-21). Which is bigger: f or a?
a
Suppose -2*f + g = -g - 38, 4*f + 2*g = 70. Let b be -3*(-3)/(-72) - f/(-16). Let i be 1/b - (8 - -1). Is i less than or equal to 1?
True
Let r be 7/(23 + -16) + 139/(-141). Which is bigger: r or -1?
r
Suppose x - 19 - 1 = 0. Let w be -1 - 10*x/56. Which is smaller: 2 or w?
w
Let i be 5166/(-27)*(-10)/12. Let a = i - 159. Is a at least 21?
False
Let s(v) = -v**3 + 21*v**2 - 2*v - 63. Let j be s(21). Let q = 5/9 - 8/9. Is j greater than q?
False
Let k = 72.95 + -73. Let r = 0.15 + k. Let z =