= -1/69018 + -4486111/4072062. Do -2 and z have the same value?
False
Let o be 16/(-30) + (3 - 517/165). Let g(f) = -6*f + 13. Let r(x) = 7*x - 13. Let l(h) = 5*g(h) + 4*r(h). Let c be l(6). Which is bigger: o or c?
c
Suppose 2*z + 17 = 5*r, -4*z + 3*z = -2*r + 7. Let j be (-1)/r - 0 - (-175)/399. Is -1 <= j?
True
Suppose -5*h - 124 = -4*u - 6*h, -2*u = -4*h - 80. Let w be -2 + 88/u + 411/(-4). Is -0.1 at most as big as w?
False
Let u = -2006 + 2054. Which is greater: u or 0?
u
Let z = -3.56 + 2.15. Let f = 49.59 - z. Does f = -1/4?
False
Let d = 13243/3 - 4414. Which is bigger: d or -0.2521?
d
Suppose 54 = -18*r + 24*r. Let x be (2 - r*(-1)/(-3)) + -8. Let q be (-1795)/375 - -4 - 6/x. Which is smaller: q or 0?
q
Let f = -72 + 81. Let s be (6/f)/(8/(-18))*-2. Which is smaller: s or 45/14?
s
Let a be 1 - (1 + -3)*5. Suppose 2 = -a*o + 12*o. Suppose -4*d + 124 = -3*r, -o*d + 81 = -2*r + d. Which is bigger: -47 or r?
-47
Suppose 12 = -3*y, 4*f + 4*y + 312 = 3*y. Let z = 153 + f. Which is greater: z or 77?
77
Suppose 197*k - 170*k = 4779. Do 173 and k have the same value?
False
Let g = -9599 - -47996/5. Is g < 238?
True
Let w = 85 - 134. Let t = 62 + w. Let r(k) = -2*k + 18. Let b be r(t). Which is greater: -7 or b?
-7
Suppose -4*v = -2*q - 16, -v + 0*v + 2*q = -4. Suppose 2*r + y - 88 = 0, 32*y = -v*r + 33*y + 188. Is r > 46?
False
Let g(h) = h**3 + h**2 - 2*h + 6. Let f be g(-3). Let m be f/10 - (-15)/(-725)*-39. Let s = 77/4 - 19. Which is smaller: m or s?
m
Let m be (-5 - 1064/(-190)) + (-176266)/293810. Which is smaller: m or -1?
-1
Let b be (12/(-8))/((-30)/580). Suppose l + 2*j = -b + 11, -2*j + 6 = 0. Are -24 and l unequal?
False
Let g(u) = -4*u + 38. Let w be g(9). Suppose -101 = w*z - j, -2*z - 3*j - 104 = -j. Which is greater: 4/7 or z?
4/7
Let q = -1/5366 - -2839/837096. Is q > 0?
True
Let b(w) = 16*w - 85. Let y(h) = 18*h - 86. Let g(d) = 5*b(d) - 4*y(d). Let l be g(10). Is -2/109 equal to l?
False
Let n = 77 - 123. Suppose -9*v - 27839 = 32*v. Let k = -726 - v. Which is smaller: k or n?
k
Let u = -42247/35 - -1207. Suppose -3*w + 4 = 1. Is w < u?
False
Suppose -8*k - 60 = -12*k. Suppose 111 - k = -2*h. Which is greater: h or -50?
h
Suppose -3*w = -3*j - 30, -2*w + 3*j - 5*j = 0. Let f be w + ((-5)/1 - 28/(-108)). Which is smaller: 0 or f?
0
Let w = 2545443/23 + -110615. Is 55 equal to w?
False
Let o be (-3 - -927)*(12 - (-559)/(-39)). Are o and -2156 non-equal?
False
Let y(t) be the first derivative of -t**4/4 - 8*t**3 - 21*t**2/2 + 55*t + 36. Let a be y(-23). Suppose -a*f + 867 = -26*f. Which is smaller: -50 or f?
f
Let z = -1.3 - -0.3. Let f(w) = -w**3 - 36*w**2 + 113*w - 12. Let x be f(3). Is x bigger than z?
False
Suppose -4*n + 5*d = -28, -2*n + 4*d + 10 = -5*n. Suppose -3*o = -4*z - 9, 0*o - z = -n*o + 6. Suppose -3*t + o = -27. Which is smaller: 3/8 or t?
3/8
Let p(j) = j**2 + 7*j - 2. Let f be p(-7). Let k be f*(3 + 4/(-8)). Let a(r) = -r**3 - 4*r**2 + 7*r + 8. Let t be a(k). Is -2 < t?
False
Let p = 3.24 - 2.957. Let l = 0.017 + p. Is l bigger than -16?
True
Let b be (-2)/16 + (-18064575)/(-12600). Which is smaller: b or 1433?
1433
Suppose 3*y = -3*l - 81, -2*l - 111 = 2*l + 5*y. Suppose -7*m + 4 = -5*m, 5*s + 136 = 3*m. Is l > s?
True
Let q be (18 - 16 - -2) + -3928. Is q less than -3922?
True
Let v = -161 - -162. Let a = 8131602/725 + -11216. Which is greater: v or a?
v
Let j = -72 + 99. Let c be -3*-3*(-1)/j. Let w be 0/(0 + 2)*1. Which is smaller: c or w?
c
Let y be (123/102 - 45/18) + (-2)/(-17). Is y equal to -6/31?
False
Let m be 4/(-32)*12/93. Let t be (-11)/(-18) + 285/(-342). Which is smaller: m or t?
t
Suppose y + 504 = -10*y - 10*y. Which is bigger: y or -9?
-9
Let w = 24481 - 123122/5. Which is smaller: -142 or w?
w
Suppose 13*u - 19*u = -18. Suppose -2*h + u*c = -191, -5*h + 5*c = -9*h + 349. Let f(t) = -t**3 + 10*t**2 - 6*t + 10. Let q be f(8). Is q bigger than h?
False
Let f = -715 - -716. Which is smaller: f or -11/357?
-11/357
Suppose 27 = 3*k - 15. Suppose -4*m - 1 = 3*s, -s - 16 = 3*m - k. Is m at least -91?
True
Let m = 17267207/6100 - -92/1525. Let l = m - 2811. Let b = -877/44 + l. Which is bigger: 21 or b?
21
Suppose -5*p + 4*i + 121 = 0, -126 = -5*p - 0*p - i. Suppose -p*t - 598 + 223 = 0. Is t greater than -14?
False
Let h be (-15)/(-30)*((-24)/(-4) + -6). Which is greater: h or -23/202?
h
Let f = -515 + 262. Let q = -38486 + 38484. Is q not equal to f?
True
Let f = -21122.942 + 21097. Let d = 73 - 72.942. Let m = f - d. Which is smaller: -2 or m?
m
Let s be 4148/(-60) + (-10)/(-75). Let d = 619/9 + s. Which is smaller: d or 3?
d
Suppose 0 = -t - 4*q + 3*q + 61, -q = -t + 59. Let o = 63 - t. Let p be 0 + 2/o + (-552)/(-63). Which is greater: p or 9?
p
Suppose -126*v - 22 = -128*v. Let x be v + -6 + -6*1. Is -1/321 != x?
True
Suppose -7*b + 177416 = -74*b. Which is greater: b or -2645?
-2645
Let z(q) = q**3 + 28*q**2 - 52*q + 241. Let i be z(-30). Let w be (2/(-15))/(39/(-30)). Which is bigger: i or w?
i
Let z = 104435 - 309031/3. Let c = 1401 - z. Which is bigger: -24 or c?
c
Suppose 2*s - 1244 = j, 1869 = s + 2*s - 3*j. Which is smaller: s or 620?
620
Suppose -2266 = 3*d - f, 0 = -4*d - 2*f - 1979 - 1059. Do -751 and d have the same value?
False
Suppose -4*s - 18 - 14 = 0. Let h = 45 - s. Let y = -53 + h. Is 2/143 equal to y?
False
Let p be ((-185)/15)/(4/12). Let r be 5/(-28)*p/(-185). Let t(x) = -x**2 - 2*x + 2. Let u be t(-3). Are u and r equal?
False
Suppose 0 = 13*v - 268 - 2332. Let g be v/420 - 2/1. Is g at least as big as -3?
True
Let d be 82/697 + (-15)/(-17). Let b = 1004/65 - 73/5. Let j = b + -345/377. Is j at least d?
False
Let v = 131 - -159. Let j = -190 + v. Which is smaller: j or 99?
99
Let a = -0.5006 - 1.4994. Which is bigger: a or -1465?
a
Let q(c) = -c**3 + 19*c**2 - c + 44. Let p be q(19). Suppose p*w - 49*w = -3456. Is 0.2 equal to w?
False
Let u = -1 + -2.6. Let d = -6.4 + u. Let w = -10.2 - d. Is 7 at most as big as w?
False
Suppose -38*u + 50828 = -50708. Which is smaller: 2 or u?
2
Suppose -a - 10 = -14. Suppose -13 = 2*z - 5*d + 2*d, 5*d = -a*z + 29. Let c be (0 - z)/(105/(3/3)). Which is smaller: c or 1?
c
Let s be 100/(-6) + 3*5/(-45). Let u be (s + 0)/((-6)/8 + 1). Which is greater: u or -69?
u
Let r = -1994963/836 + 10951/76. Let f = 2241 + r. Is f less than or equal to 0?
True
Let r = -251626/31 + 8117. Let d(j) = j**3 + j**2 - j. Suppose -5*t + 0*t + 5 = 0. Let i be d(t). Which is bigger: i or r?
i
Let s = 1539 + -47. Let f be s/(-40) + 60/(-40). Which is greater: f or -38?
-38
Let d = -166.1 - -166. Let z = 2 - 5. Let x = z + 2.9. Is x > d?
False
Let a = 1555.2 - 1564.86. Which is bigger: 1/2 or a?
1/2
Suppose 0 = -54*s + 51*s - 378. Let y = 117 + s. Let b be -4 + (y/(-2))/1. Which is smaller: -0.11 or b?
-0.11
Let a = 0.69 + -32.69. Let c = 473.14 + -4.14. Let j = -468.9 + c. Do j and a have different values?
True
Let l(b) = -b**3 - 20*b**2 - 38*b - 39. Let q be l(-18). Let c be 25/q - 2/(-30)*-5. Is -10 > c?
False
Let c be 0 + -8 - 18880/(-2372). Are -1 and c unequal?
True
Let p = 115.8 + -128.8. Suppose -2 = t, 2*j + t + 3*t - 2 = 0. Suppose -4 = j*i + 1. Do i and p have the same value?
False
Let p = -0.278 - 0.337. Let z = 0.56 + p. Let i = -0.85 - -2.85. Which is bigger: i or z?
i
Suppose -109 = -7*z - 697. Suppose -5*j - 268 = 152. Is j less than z?
False
Let y(k) = -5*k**2 - 50*k + 8. Let l be y(-13). Let t = l + 187. Which is greater: 1/25 or t?
1/25
Suppose -6*w + 4*v + 1600 = 0, -2*v - 28 + 32 = 0. Which is bigger: 272 or w?
272
Let c = 167 - 329. Let u = c - -164. Is 3/10 less than or equal to u?
True
Suppose 2*o + 0*o = 2, -3*o = -5*l + 487. Let k = 101 - l. Suppose 3*f - 6*f + k*q = -21, 0 = 3*f + 5*q - 21. Which is smaller: 9 or f?
f
Suppose 4*k + 116 = -3*a - 111, -3*k = a + 169. Let x be -1002*(8 - 3 - k/(-12)). Which is greater: -335 or x?
x
Let j = -50 - 21. Let o = -167522 + 167451. Is o greater than j?
False
Let b = -56357 - -433779832/7697. Are b and -1 non-equal?
True
Let c = 2806.8 + -2807. Let g = 15 - 8. Let z = g - 14. Is z > c?
False
Let q be 1*(50/5 - 9). Let p = 76256/101 - 755. Which is smaller: q or p?
p
Let w = -11533.44 - 212.56. Which is smaller: 0.1 or w?
w
Let i be ((-5)/(-460))/(4/((-8)/(-3))). Let c = 281/690 - i. Which i