) - 4*z(t). Let c be a(2). Let v = c + 1. Is 1/36 at most v?
False
Let j = 33 + -55. Let r = 26 + j. Suppose v = 5*u - 75, -3*v - 404 = 2*v + r*u. Which is greater: -79 or v?
-79
Let a = 0.3942 - -0.1058. Which is greater: a or 0.031?
a
Let a = -195824874099/260956040 - -18913/164330. Let f = 626/397 - a. Let n = -750 + f. Which is smaller: n or 3?
n
Let r = 6860.01 - 6862. Which is smaller: -1/2 or r?
r
Let c be 9583/52096 - (-5)/((-275)/10). Which is smaller: c or -1?
-1
Suppose m = 157 + 234. Let o = -546 + m. Is o > -154?
False
Let b(l) = -110*l - 2530. Let t be b(-23). Let r = 31/34 + -807/1258. Which is bigger: r or t?
r
Let c = -2041/33 + 185/3. Let v = -17 + 24. Suppose 0*z = v*z - z. Is c bigger than z?
False
Let z = 345.6 - 325.6. Are -29 and z unequal?
True
Suppose 8*v - 336 = v. Let o = v - 34. Let z be 21/o*4/22. Is z greater than or equal to 1/6?
True
Let u be 1*(1 - 3)*18/12 + 4. Which is bigger: u or -9/2650?
u
Let u = 2 - -39. Let d(m) = m**3 + 24*m**2 + 43*m - 22. Let g be d(-22). Suppose -3*l + 151 - 28 = g. Is u at least as big as l?
True
Let a(z) = -z**3 + 26*z**2 - 26*z + 26. Let m be a(25). Let f be (m/(6/28))/((-14)/63). Is f > -19?
False
Suppose -2*z + 5*b + 49 = 0, 0 = z - b - 2*b - 23. Let a be ((-184)/z + 6)*-12. Which is smaller: a or -72/17?
-72/17
Let t = -145 - -153. Suppose 0 = 4*f + t, -5*m = 2*f - 4*f + 51. Is -12 less than or equal to m?
True
Let v = -9365 - -9363. Is -85/124 greater than v?
True
Suppose -8*n = -0*n + 40. Let f be 8/(1*(-2)/4). Is f at most as big as n?
True
Let b = 486 + -525. Let k be (8/10)/(32/(-1520)). Do k and b have the same value?
False
Let z = -62 - -12. Let d be (-5)/z*(-429 + 1). Which is smaller: d or -42?
d
Suppose -33*w = -40*w + 189. Let i be 3 - -37*(-4 - w/(-6)). Let h = 22 - i. Is h equal to -27?
False
Let h(f) = -2*f**2 - 2*f + 16. Let v be h(-4). Let z = -209 - -200. Which is greater: v or z?
v
Let g(f) = 96*f + 677. Let c be g(-6). Let l be 48/(-84) + 1408/14. Which is smaller: l or c?
l
Let m = 344.7 - 64.7. Let s = 281 - m. Which is greater: -207 or s?
s
Let u be ((-2)/(-32) + 252504/(-384))*(-4)/(-1). Which is smaller: u or -2632?
-2632
Suppose 2200 = -9*a + 4. Let u = 739/3 + a. Suppose -9 + 3 = -3*r. Which is greater: r or u?
u
Let p be (-1525)/610*(-9482)/(-5). Is p at most -4742?
False
Let v(m) = -64*m - 185. Let i be v(-3). Let b be -2 + -1 + ((-18648)/(-892))/i. Is b less than -1?
False
Let c be -1 + (105/(-245))/((-27)/84). Is c < -2556/7?
False
Let k = -697.737 - -699. Is k != -1/3?
True
Let q be -2228 - 2 - 4 - 1/(-1). Let t = q + 1447. Let p be t/(-39) - (-4)/(-26). Are 19 and p nonequal?
True
Let m = 139 + -138.938. Let y = m + -0.162. Which is smaller: 4 or y?
y
Suppose 3*u - 5 = -f - u, -5 = -5*u. Let q be 3 + -2 + -4 + f. Let y = -13447 - -53785/4. Is q equal to y?
False
Suppose -1 = -3*p + 2*p, 3*p - 165 = 3*w. Is w < -31?
True
Suppose 26*h = 612*h. Let q be (-9)/(-87)*1/(-6). Which is smaller: h or q?
q
Let z be (10 + -1)*(4 + -6 - -5). Let x be (-40)/(-153) + (-6)/z*1. Which is greater: x or -0.4?
x
Suppose 5*w + 7 = -3*b, 6*w - 4*w = -b - 2. Let n be ((b - -1)*-1)/34. Let u(s) = -2*s**2 + 33*s + 993. Let m be u(32). Are n and m nonequal?
True
Let f be ((-1)/(-1) - 7)/(6/(-4)). Suppose -9*r + 5 = -f. Is r less than 2/325?
False
Let y = 18.17 - -2.23. Let a = y + -24.02. Which is smaller: a or -0.1?
a
Let i be ((-2)/2*71)/(-1). Let b = i - 215/3. Which is bigger: 137 or b?
137
Let f = -12350761/86706 - 3/9634. Which is greater: -143 or f?
f
Suppose 28029 = -11*x + 11012. Which is smaller: 1 or x?
x
Let t be (24/36)/(-2 - 1960/(-975)). Is 55 bigger than t?
False
Let p(u) = -u**3 - 3*u**2 + 4*u - 4. Let l be p(-5). Suppose 0 = -0*m - 4*m + 792. Let g be (-22)/(m/135)*18/(-10). Which is smaller: g or l?
l
Let c(s) = -4*s**3 - 6*s**2 + 176*s + 25. Let u be c(6). Is 2/18925 at least as big as u?
False
Let g(i) = 7*i**3 + 31*i**2 - 9*i - 10. Let x(o) = 3*o**3 + 15*o**2 - 5*o - 5. Let n(d) = -4*g(d) + 9*x(d). Let q be n(10). Which is bigger: q or 40/11?
q
Let w = -1/293 + -2921/2637. Let c = 5.5 + -6. Which is smaller: c or w?
w
Let g = -3198 - -3198. Which is smaller: g or -4?
-4
Let l be ((-21)/9)/(1/(-1)). Let y = 14 - 6. Suppose 0 = -y*r + 3*r + 15. Which is smaller: l or r?
l
Let x = 12.4 + 1. Let p = x + -5.3. Let s = p - 8. Which is smaller: s or 5?
s
Let v = -153.18 + 119.78. Which is bigger: v or -1.2?
-1.2
Let l(w) = -3*w**3 + w**2 - 2*w - 35. Let b be l(0). Let x be 30/16 + 6/48. Suppose x*y - y + 35 = 0. Is b < y?
False
Let i = -978 + 2313. Which is smaller: i or 0.1?
0.1
Let s = -1985 - -2069. Is s at most as big as 82?
False
Let z = -14/5 - -87/40. Let r(p) = -p**3 - 4*p**2 - 18*p - 25. Let q be r(10). Let l = q + 1603. Is l less than or equal to z?
True
Let u(g) = -11*g + 4. Let j(t) = -13*t + 5. Let b(q) = 6*j(q) - 7*u(q). Let v be b(-14). Which is smaller: v or 17?
v
Let i = 59 + -59.7. Let z = -0.42 - i. Let w = z - 0.18. Which is bigger: -23/4 or w?
w
Suppose -12 = -4*v, -3*n - 64 = 4*v - 22. Let d = 53/3 + n. Do d and 6/13 have the same value?
False
Suppose -2*x + 3*x - 4 = 0. Let g be x/(0 + (16/(-4))/4). Let w be g + 4 + 24/39. Which is smaller: w or 1?
w
Let a be (-40 - (-8976)/224)*(0 - -3242). Is 232 at most a?
False
Let l = 1015 - 1739. Let h = 321 + l. Which is smaller: h or -0.2?
h
Let i = 2.5595 + 26.4405. Is -153 less than or equal to i?
True
Let u = 114.0286 + -0.0286. Let o = -9.8 - 115.2. Let w = u + o. Which is bigger: w or -0.7?
-0.7
Let z = -5/9 + -17/18. Suppose 0 = -4*g - 4*n + 32, -2*n = -4*g + 2 - 0. Suppose 5*y = 2*v - 32, -4*y + v - 25 = g. Which is smaller: z or y?
y
Let n be ((-8)/(-12))/(4/6). Let j be -2389*(-1 + 0) - (15 - 16). Let v = -222268/93 + j. Is n > v?
True
Let a = 17107/106488 - -1/3672. Let z = a - -5/29. Which is smaller: 1 or z?
z
Let u be (-1 - 8) + -10 + 53414/2652. Is 1 > u?
False
Let a = -18734 - -23519. Is a > 4785?
False
Let u be (-4)/((-40)/34) + -3. Let i be (-4 + -1)/(-5) + 2/1. Suppose 0 = -5*p + 15, i*p - 16 = -2*y - 7. Which is smaller: y or u?
y
Let t = -50471/1116415417 + -3/55441. Are t and -1 equal?
False
Let a be (-2888)/190 - (-17 + 2). Let t be -2 - (-1 - (-6)/(-4)). Are t and a unequal?
True
Let m be -6 - (-3 + 19/6 + (-72748)/24). Are m and 3026 unequal?
True
Let c(m) = 2*m**2 + 14*m + 5. Let t be c(-6). Let f be -6*(t/84)/(3/6). Is f greater than 41?
False
Let m(t) = -258*t - 739. Let o be m(-3). Is o >= 444/13?
True
Let v be (-8)/(2 + -3 - (-2826)/2828). Suppose -24*x - v = -16*x. Let b be 8/x*42/(-12). Is -1 greater than b?
False
Let u = 10264064714/33225309 + -2/2555793. Is u > 308?
True
Let g = 134 + -613. Let b = -480 - g. Let q = -0.2 - -1.2. Which is bigger: q or b?
q
Let c = -1 - -1. Suppose 80*y - 280 = 10*y. Suppose 88 = -2*t - y*j + 92, 3 = -3*j. Which is smaller: t or c?
c
Let q = 219.798 + -220. Let p = -1.202 - q. Which is bigger: -57 or p?
p
Suppose 207 = 5*s - 193. Suppose -5*f = y - 14, -5*y - 42 = -9*f + 6*f. Suppose -f*l = l - s. Do l and 16 have different values?
False
Let z be (12 - -209)*2/(1 + -3). Which is smaller: z or -223?
-223
Suppose 0 = -r - u + 187, -179 = -r - 2*u + 5*u. Let p = r - 75. Is 109 equal to p?
False
Suppose -222*p + 24 = -210*p. Suppose 5*d - 677 = 4*v, v + 4*v + p*d = -805. Is v greater than -162?
False
Let b = -5.47 + 5.5. Let d = b - 0.13. Let r = -2.12 + 2. Which is bigger: d or r?
d
Let o = -6263 + 6247. Are -51 and o unequal?
True
Suppose 13*c + 3*c - 320 = 0. Suppose 0 = 4*l - b + 18, -3*l = 3*b - c + 26. Which is bigger: 0.013 or l?
0.013
Suppose 192 = -5*u + 4*n, -3*u = -u + 5*n + 90. Let j = 43 + u. Suppose -j*z = -a - 61, -11 = z + 4*a - 53. Is z greater than 22?
False
Let x be (15862/((-140)/(-10)))/((-2)/(-2)). Is x less than 1136?
True
Let y be 4/8*(-3 + -1). Let j be -1 - (-1322)/16*y. Let b = 169 + j. Which is bigger: b or 1?
b
Let c be 102*(-5 - (-1023)/220). Is -37 at most c?
True
Let t = -5305 - -4423. Is -882 > t?
False
Suppose 42*q + 5*o + 182 = 39*q, -5*q + 2*o = 355. Is -66 bigger than q?
True
Let b(j) = -j**2 - 14*j - 13*j + 38 + 10*j. Suppose -14*h - 89 = 177. Let a be b(h). Is 1/5 bigger than a?
True
Let b = 27 - 10. Let z = b + -16. Let u be (1 - z) + (0 - 1). Which is smaller: u or -2/21?
u
Let r be (-2