7.57 + 421. Let m = -77.57 - b. Which is smaller: m or -1?
m
Let t = 959 - 130. Suppose 4*u + 109 = t. Suppose -u = -0*c - 9*c. Are c and 17 nonequal?
True
Suppose -61 = -7*b - 12. Suppose 202 = -b*h + 13. Let i be (-54)/2 + -4 + 3. Which is bigger: i or h?
h
Let w = 9512 - 7806. Is 3409/2 bigger than w?
False
Let h be (-3)/12*(101 - 3). Let x be -4*7 + 9/3. Are x and h equal?
False
Suppose -25 = 24*z - 25*z. Let t = 17 - z. Are 1 and t non-equal?
True
Suppose 0 = 555*p - 558*p + 5856. Let t be (-58)/p - (-38)/608. Suppose 3*d - 4 - 6 = y, 2*d = 4*y. Is y >= t?
True
Suppose -5*i - 8*x + 5 = -6*x, 4*i - 6 = -2*x. Let n be (i + 1)/(5 + 4 + -8). Which is greater: n or -5/196?
n
Suppose 4*g - 20 = -g - 3*x, -21 = 4*g - 5*x. Let t be (132/(-2145))/(278/5). Which is bigger: t or g?
g
Let g = -359 - -364. Suppose 39*x - g = 36*x + 5*u, 0 = -4*x + u - 16. Is x smaller than -37/10?
True
Let x = 0.0044 - 23.1044. Let g = -23 - x. Let d = 6 - 18. Which is greater: d or g?
g
Suppose -38*c - 68*c - 15*c = -1879856. Which is smaller: 2/5 or c?
2/5
Suppose -5*u = 2*g + 4097, 309*u - 304*u - g = -4079. Is u at most as big as -817?
True
Suppose y + 5*j + 22 = 0, -63*y - 2*j = -58*y - 5. Suppose 0 = 460*f - 459*f - y. Which is smaller: 0.79 or f?
0.79
Suppose 0 = 5094*u - 5098*u - 24, -u + 2000 = l. Which is smaller: -1 or l?
-1
Let i = -2820.5 - -2821. Is i less than -1.78?
False
Let n = -3600 + 337. Is -3261 less than n?
False
Let w be (-10)/35 - 4/(-7). Let c = 211.52 + -212. Let t = -35.52 + c. Which is bigger: w or t?
w
Suppose 5*t = 2*a + 234, -a + 178 = 4*t + 2*a. Let f be (-50)/4 + 12 - t/(-32). Is 1 greater than f?
True
Let z be ((-12)/8)/(2 - (-10)/(-4)). Let v(c) = 2*c**2 - 6*c + 8. Let q be v(z). Let x(k) = -k**3 + 8*k**2 + 11. Let f be x(q). Is 12 less than or equal to f?
False
Let y be ((-56)/34594*7/2)/(-7). Which is smaller: 1 or y?
y
Let x = 16826/999 - -260/111. Let j = 13981/702 - x. Is 0 not equal to j?
True
Let r be 2/13 - ((-7820)/(-299) - 22). Is -4 bigger than r?
False
Let b be (12/28)/(87/21 + -4). Suppose -27 = f - b*t, 2*f - 9 + 43 = t. Which is smaller: f or -16?
-16
Let o = -3889.45 + 3889. Is 15 at most o?
False
Let y = 34 + -48. Suppose -176 + 8 = g. Let j = g - -311/2. Which is bigger: y or j?
j
Let z be (2 - -2) + -12 + -181 - -5. Let u = 2385953/13 + -183719. Let k = u - z. Which is smaller: k or 0?
k
Suppose -12*b - 156 = -14*b. Let o = b - 69. Let i be (2692/(-1352) + 2)/(o/(-12)). Is i < 1?
True
Let g = -2.7 + -0.3. Let w = 1.936 + 0.064. Let h = g + w. Is h greater than -0.3?
False
Let d(z) = z**3 + 19*z**2 - 9*z + 220. Let f be d(-20). Is 3/844 at least as big as f?
True
Let x(l) = 2*l**3 - 35*l**2 - 20*l + 40. Let c be x(18). Let s be 4304/(-1530) + 3 + c/(-18). Which is smaller: s or 1?
s
Let w(l) = -4*l**3 + 2*l**2 + 2*l - 1. Let p be w(-3). Let m = 4495 - 4621. Let k = m + p. Is 0.09 <= k?
False
Let s(w) = -266*w**2 - 178*w + 68. Let d be s(-7). Is -11720 equal to d?
True
Let x be (45 - 15)/(6/(-4)). Let n be 1/(-3) + x/(-15) - 13. Let z be (-14)/n + (-1)/6 + -1. Are z and 2 nonequal?
True
Let n = -0.39 - 4.61. Let y = n + 35. Let i = y - 31. Is 20/7 less than i?
False
Suppose 5*t + 13215 = -5*s, -5237 = 2148*t - 2146*t - 5*s. Which is bigger: -5271/2 or t?
-5271/2
Let b be 0/((-18)/3 + 4). Suppose -14*s + 279 - 97 = b. Is 9 less than s?
True
Let p be (-3 - (-28)/12)/(2/(-33)). Let a = p - 11. Let g be a/(-15) + (-174)/172 + 1. Is g at least 1?
False
Suppose 4*p = -5*r + 547, 0 = 23*p - 19*p - 4*r - 592. Which is greater: 573/4 or p?
573/4
Let d = 84/19 + -382/95. Is 0.257 equal to d?
False
Let v = 53190401/998 + -53297. Which is smaller: -1 or v?
-1
Let z = -47 - -54. Let i(l) = 5*l**2 - l + 19. Let b(v) = -2*v**2 - 10. Let s(h) = 7*b(h) + 3*i(h). Let m be s(z). Are m and 13 unequal?
True
Let q = -8939 - -8907. Is -31 at most q?
False
Let w be -402 - 0 - ((-21)/28 + 6/8). Is 1 at most as big as w?
False
Let g(c) = -2*c**2 - 11*c + 12. Let m be g(-7). Let q = m - -12. Suppose -l - l - 35 = q*o, -2 = -2*o. Which is smaller: l or -21?
-21
Suppose 0 = 9*j + 10*j - 2754 - 26012. Are j and 1513 equal?
False
Let w be -1*(-3 + 6 + 0) - -4. Let m be -3 - (w - 0) - (7 - 11). Which is greater: m or 260?
260
Let b = -271 - -469. Let d = 146 - b. Let r = -23 - d. Which is smaller: r or 0?
0
Let p(y) = -y**2 - 25*y - 113. Let j be p(-19). Let q be 1938/(-252) + j/(-14)*2. Is 1 at most as big as q?
False
Let g(s) = -82*s + 328. Let z be g(4). Is z smaller than 2/2987?
True
Let c(f) = -2*f**2 - 203*f + 832. Let d be c(4). Which is smaller: d or 5?
d
Let u be 8 + (-6)/(-18)*-33. Let k be (11 - -40)*(-3)/u. Which is smaller: 262/5 or k?
k
Let l = -0.021 - -0.157. Let p = 0.256 - l. Which is bigger: -1/3 or p?
p
Let h = 5272 - 10529/2. Let q = -1 + -1. Are h and q equal?
False
Let o = 10498 + -10524. Is o less than 0.445?
True
Let f(d) = -d**2 + 35*d - 32. Let a be f(34). Suppose 5*w - 5 = a*n, 13*n + 5*w + 30 = 8*n. Which is smaller: -6 or n?
-6
Let x = -178184 - -177850.143. Let i = -339.8 - x. Let w = -0.057 + i. Which is bigger: 0.2 or w?
0.2
Let v be 8/(-16)*34488/12. Which is smaller: v or -1438?
-1438
Suppose -46*p = -47*p + 31*p + 4530. Are -156 and p nonequal?
True
Suppose -4*t = s + 562, 3*t + 431 = 2*s + 2*s. Let p = t + 141. Is p smaller than -5/16?
False
Let i = 53 - 213/4. Let f = -17.8 - -17. Which is smaller: f or i?
f
Let s(g) = 31*g + 186. Suppose 3*t + 7*f = 2*f - 3, 36 = -5*t + 2*f. Let b be s(t). Which is bigger: b or 9?
9
Let o = -302 - -401.6. Let t = 102 - o. Is t greater than or equal to -0.2?
True
Let u = -1749.141 + 1748. Let t = u + 0.121. Let a = t + 1.22. Which is greater: 42 or a?
42
Suppose 171 + 61 = -2*i - 106. Let w = -381 + 211. Is i equal to w?
False
Suppose -4*x + 6*x = -2. Let y be 265/342 + -3 + 20/6. Let f = 20/19 - y. Which is greater: f or x?
f
Let t = 126 + -124.94. Let f = t - 0.6. Let x = f + -0.56. Is 18 less than x?
False
Let m be (24/(-30))/((-6)/(-25)). Let b = m - -8/3. Let g = -0.00697 - -0.10697. Is b at most as big as g?
True
Suppose 32 = -196*r + 212*r. Suppose 0 = 5*o - 6*o + r, 0 = q - 5*o + 40. Which is greater: -26 or q?
-26
Let y = 5896 + -4912. Which is bigger: 0 or y?
y
Let m = -231533/980 - -945/4. Is 6 > m?
True
Let l = 12 + -47. Let h = l - -35. Suppose -w = -s - 24, w = -h*w + 5*s + 44. Which is greater: w or 17?
w
Let g = 117052169/161585 + 1/32317. Let p = -722 + g. Which is greater: p or -2?
p
Let o(x) = -14*x**2 - 1743*x + 373. Let b be o(-124). Which is bigger: 1242 or b?
1242
Suppose -2*m + 4*t = 6, 0 = -4*m - 0*t + t - 26. Let l = -8673324 + 9939621533/1146. Let x = -10/191 + l. Which is smaller: m or x?
m
Let w = -14148 - -14149. Is -300/77 bigger than w?
False
Suppose -639 = 2*s - y, 2*s + 1602 = -3*s - 2*y. Let t be (6/s)/(1 + 45/(-18)). Do t and -1 have different values?
True
Let n = -22 - 21. Let p = 29345 + -29390. Which is smaller: n or p?
p
Let f(y) = -y**3 - 18*y**2 + 74*y + 680. Let p be f(-20). Which is greater: -5052 or p?
p
Let x = 921 + -919. Suppose -z + 32*k = 34*k - 2, 0 = -x*k + 2. Is 2/1509 not equal to z?
True
Let s(l) = -3*l**2 - 10*l - 8. Let g be s(-3). Let z be 12/g*45/207. Is z <= -2?
False
Let w be 1*-4*5*9/450. Suppose -72 = 4*p - 7*p. Let s = 9 - p. Is s equal to w?
False
Let o be (-4)/(-42) + (-124)/(-21). Suppose -7 = -o*k - 205. Which is smaller: k or -32?
k
Let f = 146221/48 - 39409/12. Which is bigger: f or -238?
f
Let z(i) = 2*i**2 + 24*i - 165. Let m be z(5). Is 322/67 not equal to m?
True
Let h be 0*4*(-5)/(13 + 7). Is -4/3519 bigger than h?
False
Let j(s) = -s**3 + 6*s**2 - 7*s + 6. Let p be j(5). Let u be ((-570)/5425)/((-3)/(-180)). Let d = u + 36/31. Do d and p have the same value?
False
Suppose 3*x = -2*w + 5, -4*x - 15 = 2*w - 25. Let l be 2/w - (-3604)/8585. Is l bigger than 1?
False
Let g = 12740 - 13439. Is g at least 6?
False
Let s(c) = c - 7. Let o be s(0). Let p(v) = -12*v + 4*v + 84 + 2*v + 3*v. Let j be p(30). Is j > o?
True
Suppose -7*w + 64766 = -113*w. Is -611 >= w?
True
Let p(d) = 24*d**3 + 10*d**2 + 51*d + 17. Let z be p(-5). Is z >= -2988?
True
Let u be (18/(-1419))/((-15)/(-10)). Let y = -11801/2838 + u. Do -5 and y have different values?
True
Let u = -218 + 219. Let w = 81435/4033 - 741/37. Which is sma