5 - (6 - -4) - 7 - -6. Let a(v) = -8*v - 45. Let x be a(t). Which is smaller: x or q?
q
Let a = 1014.1 + -568.3. Which is smaller: 0 or a?
0
Let q be 632100654/786422 - -5*12/390. Let w = 497/17284 - q. Let d = w + 804. Do -1 and d have the same value?
False
Let d be (40/260 + 14/78)*-3. Let g be -3 + (d/(-2))/(1/2). Suppose 6 + 10 = -4*h. Which is smaller: g or h?
h
Let s be 2223/26 - 3/2. Let h = s + -40. Do h and 45 have the same value?
False
Let t = 8390/3 - 2732. Suppose c + 5*l - 50 = 0, 232 - 28 = 3*c - 3*l. Is c greater than t?
True
Let w be (-20)/90 + (-14)/18 - (-3633)/3663. Is -1 <= w?
True
Let g be (-3615)/385 - (-2)/(-11). Let x be 2 + (-27)/12 - 429/44. Is g less than x?
False
Let g be (-42)/189 + 4/18. Suppose g = -32*s - 11*s + 43. Which is greater: 1/5 or s?
s
Let a be (83/(-3))/((-17)/(-51)). Let v = -82 - a. Suppose -v = 6*l + 53. Is -7 greater than l?
True
Let v = 139 - 552. Let j be 6*(v/(-105) - 4). Which is greater: -0.6 or j?
j
Let s(o) = -15*o**2 - 1. Let f be s(2). Let k be 7506/(-8757)*217/3. Which is bigger: k or f?
f
Let g = 4/3399 - 72532/16995. Let z = -14/3 - g. Which is bigger: 11/3 or z?
11/3
Let z = -20118 + 17738. Which is greater: -2377 or z?
-2377
Suppose 2*w - 2*j - 5816 = 0, -1102*w + 1103*w + 3*j - 2908 = 0. Is 2909 less than or equal to w?
False
Let u(g) = g**2 + 18*g - 30. Let d be u(-20). Suppose -s - 14 = -5*z, s + d = -z - 2*s. Suppose 3*c + 64 = 4*q, 5*q = z*c - 4 + 35. Which is greater: -29 or c?
c
Let s(z) = z**3 - 5*z**2 - 9*z + 9. Let k be s(6). Let v(a) = -a**3 - 8*a**2 + 10*a + 11. Let p be v(k). Suppose 5*w = p*w. Is -3/49 >= w?
False
Let v be (-41 - -5)*(-4)/3. Suppose 0 = 3*u - 5*u - 1312. Let j be 2/14 + u/(-14). Is v smaller than j?
False
Let m = 38740 - 38735.61. Is 0.2 > m?
False
Let h = 41353 + -61740019/1493. Is 0 smaller than h?
True
Let z(u) = 16*u**2 - 907*u - 80. Let a be z(57). Is 204 less than or equal to a?
True
Let h = 47.8 + -11.8. Let w = h + -35.9. Is w less than 115?
True
Let q(p) = -p**3 - 9*p**2 - 15*p - 11. Let g be q(-5). Let u be ((-12)/(-2))/3 + 3. Suppose -7 = b - 5*j + 18, 2*j = -u*b - 179. Is b less than g?
False
Let p = -2607 - -2524. Is -58 bigger than p?
True
Let z = 112.87 + -1020.87. Which is bigger: -1/2 or z?
-1/2
Let a = -1.153 + 0.113. Let p = a + -31.96. Let y = -36 - p. Which is smaller: y or 1/6?
y
Suppose 0 = -0*w + 4*w - 64. Let n = 69 - 65. Suppose -i + n*u - w = -5*i, -3*u + 8 = -i. Which is bigger: -3/16 or i?
i
Let o be ((-9)/(-6))/(-3 + (-481)/(-160)). Let i = o - 241. Which is smaller: 6/145 or i?
i
Let w be (8/6)/((-2)/(-132)). Let x = w - 110. Let b = -25 - x. Which is smaller: -48/11 or b?
-48/11
Let j = -7 - -10. Suppose -6*h + j*h = -36. Suppose 4 = -8*i - h. Which is greater: i or -1/3?
-1/3
Let j(w) = 11*w**2 - 593*w - 26. Let s be j(54). Is 28 bigger than s?
False
Let g(j) = -247*j**2 - 20*j - 21. Let h be g(9). Let y be (-6)/(-21) - h/(-168). Which is bigger: -121 or y?
y
Suppose -43*t - 1467 = -4018 - 1233. Do 782/9 and t have the same value?
False
Let h(k) = -k**3 + 12*k**2 - 23*k - 47. Let s be h(11). Are -118 and s nonequal?
True
Let k = -2789/2 + 1299. Let h = 765/8 + k. Are 1 and h non-equal?
True
Let r be 1*52072/72 + 2/(-9). Let u = r + -1353/2. Is u at least as big as 48?
False
Let q be ((-1)/((-12)/45) + -1)*-64. Let o be -6*2/(-16) - 1500/q. Which is greater: o or 10?
10
Let v = 1743/8 - 144633/664. Which is bigger: v or 0?
v
Let a = -447409/4 - -418328007/3740. Let z be (21/(-595))/((-6)/(-4)). Let p = z - a. Are p and 1/8 equal?
False
Suppose -3*r + 25 = -6*f + 2*f, -2*r - f = -13. Let t = -5.7 - 6.8. Let o = 12.8 + t. Is o <= r?
True
Let o(h) = 12 + 0 + h**2 - 2*h**2 - 6*h. Let t be o(-7). Suppose -t*d = -3*d. Are 2/63 and d unequal?
True
Let b = -10/213 + -3764/1491. Let y = 58 - 54. Suppose 4*r + y*s + 28 = 0, 5*s + 25 = -0. Which is greater: r or b?
r
Suppose 33 - 5 = 74*t - 46. Which is smaller: t or -1/144?
-1/144
Let o be -2 + (7276/10 - 2) - (-70)/175. Which is smaller: 727 or o?
o
Let u = 1.031 + -402.031. Which is smaller: 0 or u?
u
Let z be (-139604)/51 + 28/12. Is -2734 greater than or equal to z?
True
Let j = -468 + 306. Let q(b) = 5*b**3 - 98*b**2 + 59*b - 199. Let x be q(19). Is j > x?
False
Let h be 6 + (-11 - -2) + 6. Suppose 3*a = -s + 290, 1145 = -s + 5*s - h*a. Which is smaller: 289 or s?
s
Let s be 16/(-7) - 188352/(-3024). Is 2/27 not equal to s?
True
Suppose 68005 = -73*y - 2805. Is -970 greater than or equal to y?
True
Let h be 14/(-21) - (-1)/(9/(-30)). Let s be 18 + 12 + (h - 3). Which is bigger: s or 15?
s
Let f = -21 - -78. Suppose -n - 92 = -4*w, -35 = -4*w + 4*n + f. Is w at least 24?
False
Let n = -4368207665/83 - -52628309. Let j = -699 - n. Do j and 0 have the same value?
False
Let f = -38 - -40. Suppose i + 4912 = 5*s + 1044, 0 = f*s - 2*i - 1544. Let m = s + -27086/35. Is -1 at most m?
True
Let i(v) = 4*v**3 - 8*v**2 + 4*v + 6. Let z be i(1). Which is smaller: z or 0.696?
0.696
Suppose -2*z + 2*b = -24, 0*b + 16 = 3*z + b. Suppose -9*h = z*h - 3936. Do h and 247 have the same value?
False
Suppose 0 = -97*a + 103*a. Suppose a = -2*s + 19 - 1. Is s at least as big as 9?
True
Let p(h) = 178*h**2 - 57*h - 422. Let z be p(-7). Which is smaller: 17397/2 or z?
17397/2
Suppose -5*u = -4*d - d + 75, 3*d + u = 29. Let s(v) = v**2 - 13*v - 40. Let x be s(17). Suppose 0 = x*h - 151 - 101. Which is smaller: h or d?
h
Let g be ((-4)/68)/(11/(-88)). Let f = g + -134/357. Which is bigger: f or -0.4?
f
Let j = 105.9 - 119. Let n = j + 6.6. Let z = 10.5 + n. Which is smaller: z or -7?
-7
Let v(i) = 2*i**3 - 8*i**2 + 8*i - 39. Let z be v(7). Which is smaller: z or 323?
z
Suppose -11 + 31 = -4*h, 0 = 4*k - 3*h - 15. Let t = -62 + 118. Let f = -451/8 + t. Is k smaller than f?
False
Let p(x) = 145*x + 61. Let l be p(-1). Which is smaller: -341/4 or l?
-341/4
Let l = 109 + -100. Suppose 2*w + l = 11. Which is greater: w or 8/41?
w
Let p(v) = 2*v + 1. Let w(x) = -2*x + 121. Let r(b) = 3*p(b) + w(b). Let j be r(-32). Are j and -6 non-equal?
True
Suppose 3*u = -3*b, 136 = 4*u + 124. Suppose -4*t + 5*g + 31 = -t, 2*g = -5*t. Let o(j) = 2*j - 3. Let w be o(t). Which is smaller: b or w?
b
Let c be ((-4)/(-102))/((-310178)/759). Is c smaller than 1?
True
Suppose 17*w - 12*w + 195 = 0. Let a = -12 - w. Let g be (-6)/(-4) + a/(-6) + 4. Which is greater: g or 1/3?
g
Let p be (-10)/(-25) + (1 - (-356)/10). Let g be (3 - p/7)/((-4)/(-114)). Let o = g + 65. Which is bigger: o or 1?
1
Let i = -14.761 + 15. Let a = i - 0.28. Let j = 33 + -32. Is j smaller than a?
False
Let g = -190.0172 + 1.0172. Which is greater: g or 3/2?
3/2
Let g(n) = -16*n - 1. Let m be g(-2). Let c(v) = -v**3 + 279*v**2 - 521*v - 9131. Let h be c(277). Which is bigger: m or h?
m
Let k(a) = -a**2 - 6*a + 44. Let b be k(-10). Suppose -b*l = -249 + 129. Let g be (3/(-36)*3)/((-1)/l). Which is smaller: g or -1/3?
-1/3
Let c = 5 + -12. Let z(q) = q**2 + 3*q + 2. Let p be z(c). Let w(i) = -i**3 - 17*i**2 - 294*i - 5585. Let h be w(-18). Which is smaller: p or h?
p
Suppose 356 - 353 = 3*j - 2*o, j - 1 = o. Which is smaller: 15/439 or j?
15/439
Suppose 9*p - 45 + 18 = 0. Suppose -p*m + 2*l - 26 = 0, 4*l + 0 = 2*m + 4. Suppose -5*k = -2*k + 33. Is k < m?
False
Suppose -39*x - 28 = -53*x. Suppose u - 13 = s - x*u, -s - 5 = -u. Which is bigger: -1/764 or s?
-1/764
Let t = -5643091/40 + 1147145/8. Let z = t + -2315. Let h = -5/4 + z. Which is smaller: 51 or h?
h
Let t be 1/6*((-295284)/24 + 2). Is t greater than -2050?
False
Let h = -1/40067 - 8373982/841407. Let t = 29/3 + h. Which is bigger: -1/4 or t?
-1/4
Let a(j) = -3*j**2 + 142*j - 1612. Let s be a(16). Which is bigger: s or -56?
-56
Let s = 81686/5 + -16320. Let b be 16/(-3)*12/(-4). Which is bigger: s or b?
s
Let b = 2.4 + -2.4. Let y = b + 3. Let x = -26 + y. Which is greater: -0.1 or x?
-0.1
Suppose 46 = 17*u - 20*u - 389. Which is smaller: u or -144?
u
Let a be (-13 - -2)/(-11) - -8 - -1871. Is a >= 1881?
False
Suppose -6*z - 559 - 71 = 0. Let i be (5*14/z)/((-2)/6). Suppose 2*k = 4*k - i. Is k greater than 1/27?
True
Let p = -2329385/51 - -136627/3. Which is smaller: p or -133?
-133
Let d = -13 + 13.5. Let p = d + -0.6. Let o = 5/19 + -17/209. Is p > o?
False
Let t = -7/3687 - -27400/16373967. Wh