= -177, -2*u - 91 = 5*a. Which is greater: l or u?
l
Let j = -2/983 + -184794/4915. Which is smaller: j or 15?
j
Let r = -97 + -368. Let d = r + 618. Which is bigger: d or 151?
d
Let m = -137.2 - -131.2. Is m greater than or equal to 5/74?
False
Suppose 57*h - 53*h - 5336 = -2*i, 5*h - 5*i = 6625. Do 1330 and h have the same value?
False
Let t = 1330/93 + -43/3. Suppose 2*q + 0*q - 4*v - 30 = 0, -35 = -3*q + 4*v. Suppose q*p = 5*u + p, 3*u = -p. Is t less than or equal to u?
True
Suppose -1113*g = -1121*g + 224. Which is smaller: g or -12/37?
-12/37
Let c be ((-234)/(-752))/((-3)/(-2)). Let i = -2/47 - c. Let a = 8564 + -8574. Which is greater: i or a?
i
Let o be 2/(-21) + (-28)/5880*-20. Which is bigger: o or 1/1550?
1/1550
Let t = -256 + 263. Suppose 2*b + t = -69. Is -4 smaller than b?
False
Suppose -13793 = 867*g - 1655. Let m = 54/71 - 5382/355. Which is greater: g or m?
g
Let m = 3 + 3. Suppose -10*j = -m*j - 40. Let u be ((-105)/12)/(-7)*(5 + 3). Is j at least as big as u?
True
Let y be 447/1043 + 35683/7*1. Are y and 5097 nonequal?
True
Let c(u) = u - 4. Let n be c(8). Suppose -k - 2 = n*h, -6 = -2*h + 6*h - k. Let x be (16/(-6))/(h - (-3)/18). Which is smaller: x or 2?
2
Let d = 6637/981 + -35/109. Is d greater than -0.19?
True
Let t = 556 - 506.4. Let d = t - 49.5. Which is bigger: -336 or d?
d
Let y be 25 + -18 + (-7 - (-5 + 4)). Let v = 12/763 - -4897/28231. Which is smaller: v or y?
v
Let u = 266 - 277. Let d be -6 - (-11)/(u/120). Which is greater: d or -124?
-124
Let l(q) = -21*q + 71. Let n be l(3). Suppose 0 = d - 5*m - 213, -1037 = -13*d + n*d - 3*m. Which is smaller: d or 209?
d
Let p = 947731/45 - 21061. Is p at most -1?
False
Suppose 185 = 5*y + 340. Is -3/43 at most as big as y?
False
Suppose 2*j + 216 = -2*j. Let y = 26 + j. Let w be (-8)/(-2) - y/(-8). Which is greater: w or 14/9?
14/9
Let w = 2838 + -1737. Do 1102 and w have the same value?
False
Let s(g) = 3*g**2 - 23*g + 19. Let d be s(7). Suppose 5*h - 70 = d*l, l + 8 = -4*h + 49. Which is smaller: h or 9?
9
Let x be 3/(-9) + 44/6. Suppose 13*c + s - 12 = 10*c, 0 = -5*c - 2*s + 21. Suppose m + 1 = 0, -v = -0*v + c*m - x. Which is greater: 19/2 or v?
v
Let h = -476 + 912. Let z = h - 455. Is z at most -11?
True
Let n(b) = -b**3 + 6*b**2 - 8*b + 8. Let k be n(4). Let o be -2*(-35)/k + (-45)/60. Which is smaller: 69/8 or o?
o
Let p be (36/63)/(72/(-55188)). Is p less than -425?
True
Suppose 3*v - 2*z = -1332, -5*v = 3*z + 2821 - 582. Let r = -440 - v. Which is greater: r or 16/3?
r
Let k be (14*40/165270)/((-4)/(-12)). Which is bigger: k or 1/6?
1/6
Let y(c) = 2*c**3 - 6*c**2 + 7*c - 1. Let j be y(5). Is j less than or equal to 102?
False
Let o = 5886 - 5884. Is 2971 equal to o?
False
Suppose 64 - 16 = -5*g - 4*p, -g = 4*p. Let f = 50 + g. Is f greater than 37?
True
Let p = -178 - -92. Let f = 86 + p. Are -0.44 and f non-equal?
True
Let g(y) = 2*y**2 - 9*y + 4. Let u be g(6). Suppose 0 = 2*t - u - 100. Is t smaller than 60?
False
Let q = 230 + -156. Let p be (q - 3)/(72/16). Is 16 at most p?
False
Let s = -1104/25 - -4534/25. Which is smaller: 138 or s?
s
Let h be ((-3)/5)/(9/8). Suppose -9*a + 403 = -2. Let z be 1/3*0/a. Is h at most as big as z?
True
Let a = -0.2064 - 1.7436. Which is bigger: a or -0.02?
-0.02
Let m = -128 - -156.5. Let f = m - 72.5. Which is bigger: f or -2/3?
-2/3
Let i = 7875 + -31587/4. Let h(f) = f**3 - f**2 + f - 23. Let p be h(0). Which is smaller: i or p?
p
Suppose 0 = -5*v + 3 - 8. Let k be (-6 - -3 - -6) + -243. Let a be (-3)/5 + (-164)/k. Which is smaller: a or v?
v
Let m = -38 + 42. Suppose -3*q = -m*q + 12. Let o be (-4)/24 - (-50)/q. Which is bigger: o or 3?
o
Let p be 1*((-104)/(-16)*(-572)/464 - -8). Is p >= -2?
True
Suppose -61*t = 13*t - 893402. Is t smaller than -1?
False
Suppose 3*v + 21 = 117. Suppose -3*c = -2*c + v. Let t(p) = 46*p - 539. Let i be t(11). Is i != c?
True
Let z be 3/(-9)*17/(51/(-3546)). Let k = 1.92 - 2.02. Are z and k nonequal?
True
Let p = -1918 + 3303. Suppose -p*m - 136 = -1393*m. Which is smaller: m or 8?
8
Let c be (-2)/(-7) - (-7)/98*-4. Suppose c = -k + 10*k. Let u = 115/56 - 21/8. Which is bigger: u or k?
k
Let q = 959 - 3130. Is q less than -2171?
False
Let v = 11.3 - -34.7. Let g = v - 25. Let s = -1922.9 + 1922.9. Which is smaller: g or s?
s
Let g(z) = -105*z - 272. Let f be g(-7). Let p = 1388/3 - f. Which is greater: p or 21/5?
21/5
Suppose 3*t - 18 = -3*s - 51, -5*s + 5*t = 5. Suppose 0*x = -3*x + 3. Let v be s/3*(266/268 - x). Which is smaller: -1 or v?
-1
Suppose g + 489 = -353. Which is smaller: -843 or g?
-843
Let j(p) = -57*p + 171. Let y be j(3). Let x = 318538 + -2862475/9. Let l = x - 484. Which is bigger: l or y?
l
Let k(f) = -310*f + 1. Let d be k(0). Which is smaller: -9/650 or d?
-9/650
Let p = 1203335/19 - 63365. Which is smaller: -32 or p?
-32
Let m = -24.297 - -0.097. Let r = m - -23.2. Which is greater: -100 or r?
r
Let y = 41 - 34. Let q(x) = -x + 12. Let j be q(y). Suppose -3*m + 4*d - 3 = -10, -5*m - j*d - 35 = 0. Which is greater: m or 19/4?
19/4
Let a = 43 - 32.1. Let f = -3.9 + a. Which is greater: f or -26?
f
Let p(a) = a**2 - 8*a + 12. Let m be p(16). Suppose -m + 136 = 2*d. Is d at least -48?
True
Suppose 11*x + 164 = 2*v + 7*x, 4*v + 5*x = 276. Let t = -91 + v. Which is greater: t or -118/7?
-118/7
Let x = 0.757 + -0.037. Let d = x + -0.82. Let l = -31.934 + 32. Which is smaller: l or d?
d
Let v = -116591/8 + 14574. Suppose -2*a - 2 = -4*a. Which is greater: v or a?
a
Let u be (-2)/(1/(-7) + (-311604)/(-42)). Let s = 607/806198 - u. Is 1 > s?
True
Let a = -1825/9 - -203. Suppose -16980*y + 16928*y + 52 = 0. Is a >= y?
False
Suppose -h = -3 + 4. Let o be (-14 - h - -1)*39/(-273). Suppose c + 2*l - 6 = 2*c, -3*c + 2 = -l. Is c less than or equal to o?
False
Let u = -388/65 + 3677/65. Let q = u - 50. Let g = -17/20 + q. Which is bigger: -34 or g?
g
Let b be (5 + -3 - 3)*-2. Suppose 2*c = -6*v + 4*v + 12, -b = 3*v - c. Suppose -4*f = -61 - 179. Is v >= f?
False
Let t(g) = 95*g + 181. Let q be t(2). Which is bigger: -5 or q?
q
Suppose -2*p + 2*x = -26, -5*p + 53 + 16 = -3*x. Let f = p + -6. Let c be -3*3/f*-3. Is c less than -1?
False
Let v be (2 - (-30)/(-12))/(30/60). Which is bigger: -10/19 or v?
-10/19
Let k = 344 - 525. Let v = k + 171. Is v > -39/4?
False
Let z be (5 + 7)*(-11)/3. Suppose -4*o - 60 = 2*h, -3*o - 26 = 3*h + 82. Is z greater than or equal to h?
False
Let n = 278 - 144. Let m = 192 - n. Is -1 <= m?
True
Let h be (8 - (-1212)/(-174))/1. Suppose 2*i + 12 = 2*z, 3*i = 5*z + 6*i + 10. Which is smaller: h or z?
z
Let r = -34428799609/7125192120 + -3/64190920. Let d = 97/20 + r. Are 0 and d unequal?
True
Let m(r) = -r**3 - 11*r**2 + 164*r + 40. Let n be m(-24). Is 3594 smaller than n?
False
Let c = -49 + 46. Let u be 4 + 5468/(-1266) + (-1)/c. Is 1 equal to u?
False
Let m = -61 + 84. Suppose 25*f = m*f + 6. Suppose -194 = 5*c + 3*l, -34 = 2*c - c + f*l. Which is bigger: c or 0?
0
Let t = 5.5 - 6. Let d = 32 + -32.65. Let a = d - t. Which is smaller: 1 or a?
a
Let x = 137.5 + -173. Let i = 1.5 - x. Let j = 37.3 - i. Which is bigger: j or 0.1?
j
Let p = -121 + 121.02. Let d = -5 - -4.88. Let t = d + p. Does 18/11 = t?
False
Let b be ((-26)/169)/(2/13). Which is smaller: b or 93.9?
b
Let s be (3 + 6/(-2))/(-3). Let u = -13 + 15. Let z be 1/(u/8) - 36/10. Is z not equal to s?
True
Let d = -623 - -674. Suppose 173 = -8*x - d. Which is bigger: x or -30?
x
Let b(u) = 4*u**3 - 45*u**2 + 76*u + 124. Let n(f) = -f**3 + f**2 + 2*f - 1. Let a(q) = b(q) + 5*n(q). Let l be a(-42). Is 30 < l?
True
Let y be -59 - -1*18/6. Let j be ((-130)/y + -2)/(35/(-28)). Which is smaller: 1 or j?
j
Let p = -5609 + 5610. Do 2758 and p have the same value?
False
Suppose 4*w = 3*w + 4*k + 18, -4*k = 4. Let a = -323/30 - 56/15. Let z = w + a. Is z equal to -3?
False
Suppose -3*d + 5*c = 4*c + 1789, -2*d = 5*c + 1170. Let w = 857 + d. Which is greater: w or 261?
w
Let n = -26 - 17. Let i = -2884 - -2842. Are i and n non-equal?
True
Suppose 7*d - 2642 = -2145. Which is greater: 72 or d?
72
Suppose 3*b - 2*b - 5 = 0, g = -3*b + 45. Let a be -1 + ((-5192)/66)/((-4)/(-258)). Let h be ((-3)/(-21))/((-25)/a). Which is smaller: h or g?
h
Let a = 17285/3 - 4545959/789. Is 1 >= a?
True
Suppose 5*y = 