06. Which is greater: -1/4 or q?
q
Suppose -88308 = -2*o + 46*o. Is o bigger than -2007?
False
Let v = -0.25 + 0.45. Let r = 0.21 - v. Let q(k) = -2*k**2 - 2*k - 2. Let n be q(-1). Which is smaller: r or n?
n
Let a be -6*3/(30/(-5)). Let h be ((-168)/32)/(-2 + a). Let y = -46 + 41. Which is greater: y or h?
y
Let x = -646 + 647. Is 1/3946 at most as big as x?
True
Let v = -128 + 200. Suppose -f - v = 8*f. Let z = -464 - -1366/3. Is f < z?
False
Suppose 3*r + 5*q - 46 = 0, -26 = -4*r + 2*r - q. Suppose -145 = 2*w - 3*y, 0*w = -w - 2*y - 76. Let n be (100/(-125))/(1 + w/70). Is r greater than n?
False
Let z = 0.018482 - 0.011482. Let m = 0 - 0.2. Let r = 0.3 + m. Which is bigger: r or z?
r
Let d = -0.38 - -0.48. Let b be (-11)/((-385)/(-21)) - (-2)/(-10). Is b < d?
True
Suppose 35*i - 38779 - 9801 = 0. Is 1387 at most as big as i?
True
Suppose 0 = -31*r + 2307 + 917. Suppose r = -4*o + 56. Are -11 and o non-equal?
True
Let l = -1254 + 1253.8. Is l greater than or equal to -5/72?
False
Let f = 39 + -39.2. Let n(p) = -5*p - 14. Let r be n(8). Let a be (-168)/r - 8/2. Which is greater: f or a?
f
Let j(o) = 2*o**3 - 18*o**2 - 3*o - 2036. Let a be j(0). Which is smaller: a or -2038?
-2038
Let j be -1*(-8)/(-3 + 2). Let k(l) be the first derivative of l**2/2 + 2*l - 42. Let f be k(j). Which is smaller: f or -5?
f
Let x = 53 - 136. Let b = x - -125. Let m = b + -43. Is m != 0?
True
Let k(a) = -3*a**2 + 431*a + 566. Let j be k(143). Which is smaller: 5963/7 or j?
5963/7
Let f = 161 + -113. Suppose -27*i + 129 = 16*i. Suppose -i*q = 9*q + f. Which is greater: -18/5 or q?
-18/5
Let m(w) = -19*w + 58. Let k be m(3). Suppose -7*o = -22 + k. Which is smaller: 16 or o?
o
Let y be 5 - (6 - 13) - 54. Let x = 11 - 52. Which is smaller: y or x?
y
Let s(h) = 2*h - 21. Let i be 27*(-9)/(-27) - 3*1. Let o be s(i). Which is smaller: o or -2?
o
Let o = 0.4104 - -27.5896. Which is bigger: -5.2 or o?
o
Let r = 5783/342 - 151/9. Let x(p) = -3*p**3 - 12*p**2 - 11*p - 6. Let v be x(-3). Are r and v nonequal?
True
Let s = 6744 + -10380. Is -3636 > s?
False
Let a be 3872/3984 - (-4 + (-96)/(-18)). Is a bigger than -1?
True
Let p = 0.002 + 12.298. Let q = p + -15.3. Do q and -1/6 have different values?
True
Suppose -28 - 8 = -9*u. Suppose 2*j + 737 = -y, -3697 = y + u*y + 4*j. Let q be (92/20 - 4) + y/(-15). Do q and 51 have the same value?
False
Let o = 67157/4 - 31695/2. Is 942 greater than o?
True
Let y = -2338 - -2372. Let f be -2*2/(12/369). Let s = y + f. Is -90 at least as big as s?
False
Let r be 2/8 + 0/(-2). Let q = 660367 + -660366.949. Is q bigger than r?
False
Suppose 4*o - 5152 = -2*l, -12*l - 3*o = -17*l + 12958. Is l <= 2589?
True
Suppose -26618 - 2635 = -7*u. Is u > 4179?
False
Let f be (((-5368)/(-198))/61)/(22/(-3)). Is -0.17 >= f?
False
Let w = 8 + -9. Let n = 2/19543 + 97527/1837042. Let c = n + -253/1222. Is c > w?
True
Let q(a) = 3*a - 8*a**2 + 738 - 2*a**3 + 3*a**3 - 756. Let z be q(8). Which is bigger: z or 10?
10
Let d = -1159 - -1356. Which is greater: d or 194?
d
Let t(k) = -k**2 - 31*k - 71. Let l be t(-29). Let f be (-270)/14 + (-8 - l). Is f greater than -15?
True
Suppose -338 = -11*m + 531. Suppose -6*u - 19 = -m. Which is smaller: -13 or u?
-13
Let k be 12*(((-3784)/(-108) - 3) + -4). Which is greater: 337 or k?
337
Let f = -2541 + 2540. Which is smaller: f or 2/31?
f
Suppose 265*m = 266*m + 192. Let f = 189 + m. Which is smaller: 7 or f?
f
Let b = 1028.8271 - -1.1729. Which is smaller: -7 or b?
-7
Let r = -243 + 654. Let z = -90 + r. Is 320 not equal to z?
True
Let h be -4 + -45 - -4 - 0. Let x = h + 46. Suppose c - x = -0. Is 4/17 at most as big as c?
True
Let z = -155 - -154. Let o be (-35)/(-10) - (5 - (z - -3)). Is 1/10 != o?
True
Let o be (-569)/(-1716) - (-5)/(-15). Let p be -10 + -19 - (58 + -87). Which is greater: o or p?
p
Let y be -6 + ((-1080385)/(-176392) - (-18)/(-144)). Are y and -0.1 non-equal?
True
Suppose 10 = -5*x - 3*y, 78*y = -x + 77*y. Which is smaller: -324/61 or x?
-324/61
Let y be -2 + 4 - (-13 + 8 - 0). Suppose -2*u = -5*g - 382, 2*g + 796 = -3*u + y*u. Is 201 equal to u?
True
Let s = 4585 + -4646. Is -68 at least as big as s?
False
Let h(v) = 3*v**2 + 3*v - 5. Let o(t) = 2*t**2 + 4*t - 6. Let g(b) = 3*h(b) - 4*o(b). Let w be g(4). Let f(n) = 4*n + 3. Let a be f(w). Is -1 < a?
False
Let a(p) = p + 23. Let s be a(12). Let b = s - 30. Let u be -1*0*b/5. Which is smaller: u or -2/23?
-2/23
Let g = 8269 - 8260.513. Let h = 8.6 - g. Is -2/5 at least as big as h?
False
Let v be (-1 - 0)/(35/20 + -2). Let j be (9 + -6)*v/(-12). Which is greater: -1/183 or j?
-1/183
Suppose -3*l + 26 - 2 = 0. Let g = 420 + -415. Suppose -g*h + 2 = -l. Is -0.08 > h?
False
Let u(y) = -82 + 116 - 107 + 11*y. Let q be u(8). Is 156/11 at most q?
True
Let k be 3*2/81 + (-5616375)/(-40500). Do 138 and k have the same value?
False
Suppose 0 = -5*d - 9*c + 5*c + 325, 2*c - 10 = 0. Let w = -73 + d. Which is bigger: w or -32/3?
-32/3
Suppose 0 = -4*j - 20, 4*j - 65 = -2*z + 81. Let t = 80 - z. Which is greater: t or 144?
144
Suppose -631*x = -636*x - 80. Let j = -54 + 35. Which is smaller: j or x?
j
Suppose 2 = 5*w - 3. Let i = 3/5716 + 6605/9197044. Which is greater: w or i?
w
Let v be (-82)/(-26) - (-1)/((-16 - -7)/27). Is -2/2301 at least as big as v?
False
Suppose -5*f = -4*f - 48. Let o = f + -48. Let j be 2 - ((-18)/(-8) - (0 + o)). Which is greater: j or 1?
1
Let g = 105 - 99. Suppose g*q + 9 = 15. Is 4/25 less than or equal to q?
True
Let c = -9 - -16. Let s(i) = i**2 + 5*i - 9. Let y be s(2). Suppose y*f - 4*f - 2 = -u, -5*f + 60 = -5*u. Is c at least as big as f?
True
Let p = -31764 + 31763. Is 406/5 < p?
False
Let q be 2 + (-33565)/(-560) + 3/48. Is q < 929/15?
False
Let n be 135810/7650 - 6/15. Are 16 and n nonequal?
True
Let b = 0.06406 - 1.06406. Let m = 4 + -2.8. Are b and m nonequal?
True
Let n = 3 - 5. Let m be 5 - n/(10/(-17)). Suppose 4*v = -0*v + 8. Which is smaller: v or m?
m
Suppose 3*j - 30 = -90. Let i be 324/9 + 7630/(-140). Which is smaller: i or j?
j
Suppose 0 = 5*v + 2882 + 93. Let b be (6 - (-3598)/v)*10. Let j = -2 - -2. Which is greater: b or j?
j
Let y be (-3)/(((-75)/280)/(-5)). Let t be ((-36)/(-42))/(276/y - -5). Are t and -10 nonequal?
True
Let d = -7.3 + 7. Let b be -4 - ((-14)/21 - 7/(-6)). Let w = b - -5. Is w <= d?
False
Let h(o) = 16*o**2 + 9*o - 4. Let k(v) = -3*v**2 - 2*v + 1. Let a(p) = -2*h(p) - 11*k(p). Let w be a(-3). Let d be 1*1/w + (-1120)/(-60). Is d greater than 18?
True
Suppose 13 = 5*x + 4*l - 21, 48 = 4*x - 2*l. Suppose x*p + 70 = -0. Which is smaller: p or -29/5?
p
Suppose 0 = 2*t - 10, t - 25 = q - t. Is q >= 44?
False
Let c = 22762 + -22750. Is c at least as big as 423?
False
Let o(j) = -2*j**2 + 175*j - 2981. Let q be o(17). Is q at most 1/5?
True
Let v = -59 + 8. Let z = v - -33. Is 5 smaller than z?
False
Suppose 0 = -79*o - 20117 - 10693. Are o and -390 equal?
True
Let b = -324/161 + -595855/483. Does -1237 = b?
False
Let y(m) = m**3 + 30*m**2 - 30*m + 36. Let a be y(-31). Suppose -1461 = -3*d - 5*c, 2*d - a*c - 1913 = -2*d. Is 481 >= d?
False
Let h = -30810/61 + 505. Let n = h - 31/366. Which is bigger: 1/9 or n?
1/9
Suppose -343*r + 345 = 2*r. Which is smaller: -618 or r?
-618
Suppose -2*n + 54 = 2*b, -15*b + 13*b = 0. Let w be (2/(-8))/(n/(-36)). Are 132 and w non-equal?
True
Let a = 3600 - 3504. Which is smaller: a or 63?
63
Suppose 0 = -5*l - 5*n - 5365, 3*l = -0*l - 4*n - 3220. Let g = l + 873. Which is bigger: g or -197?
-197
Let q = -3603.1441 - -3603. Let k = q + 0.0441. Let s be ((-213)/(-15))/1 - 1. Do k and s have the same value?
False
Let s be 18/42 + (-33)/63*-24. Is s <= 14?
True
Let o(i) = -32*i**2 + 4*i - 3. Let t be (-5)/(-5 + 0/1). Let v be o(t). Is v equal to -31?
True
Suppose 19269 - 8191 = 24*c + 34*c. Are 171 and c nonequal?
True
Let u = -2 - -2. Let c = 719 - 674. Let d = c - 677/15. Is u smaller than d?
False
Let v(c) = 2*c**2 + 33*c - 43. Let w be v(-24). Let n = -275 + w. Which is bigger: n or -0.4?
n
Let i = -69/70 + 7/10. Let h be 4/8*44/(-4 - -2). Let j be (-4)/7 - h/56. Which is greater: j or i?
i
Let h = -3084 - -3085. Let p = -356/25 + 14. Is h != p?
True
Let l = -57 + 58. Let y(f) = -38*f - 178. Let o be y(-11). Does o = l?
False
Let q(p) = p**2 - 11*p. 