+ 6 = -0*j, 0 = 3*j + 5*h - 49. Suppose 12*k - j*k - 16 = 0. Let y be (-1)/2 - (-3)/k. Which is smaller: y or 1/5?
1/5
Let i = 30 + -15. Let x = i - 65. Let a = 54 + x. Which is smaller: a or 5?
a
Suppose 0 = -3*t - 2*t + 10. Suppose -x + 4*m = t*m + 43, -m = 0. Let h = x + 56. Is 14 at least as big as h?
True
Suppose r = -3*r - t - 25, -5*r = -4*t + 26. Let k be 3 + 6 + -3 + r. Is k < -1/8?
False
Let b = -5 + 4. Let x = -79895 + 9507521/119. Is b smaller than x?
True
Let m(o) = -13478*o + 94340. Let t be m(7). Let r be (29/(-4) - -2) + -2. Is t greater than r?
True
Let q = -590 - -589. Let t be (1 - -4) + -1 - (-3396)/(-850). Which is smaller: t or q?
q
Let c = 241.9876 - -0.0124. Let a = c - 240. Is a at least 0.37?
True
Suppose 19*p = -12*p - 15686. Let m = 3031/6 + p. Is m less than -1?
False
Let l be ((7077/(-1))/7)/((-18)/24). Which is greater: 0 or l?
l
Let l be (-20)/(-10)*1/(-74). Let c = l - -79/185. Do c and -7/3 have the same value?
False
Let s be (-95)/(-7) + (-20)/35. Let m(b) = 5*b + 35. Let r be m(-7). Suppose -14*g + 19*g - 55 = r. Are g and s equal?
False
Let m be (2/(-5))/(13/(-130)). Let q(c) = -1 + 2*c**2 + 0*c**2 + 4*c - m*c + 4*c. Let n be q(-3). Which is smaller: 24/5 or n?
24/5
Let d(v) = -v**2 + 16*v + 88. Let k be (9 + -10)/((-3)/(-18)) - 0. Let b be d(k). Are -43 and b equal?
False
Suppose 5*c + 5 = 9*v, 5*c = 12*v - 17*v - 5. Let o = 37/3 - 25/2. Is c less than or equal to o?
True
Let t = 5336/3 - 27241/6. Which is smaller: -2762 or t?
-2762
Let d = -381 + 403. Let u = d - 21. Is 18.3 >= u?
True
Suppose 0 = p - 7 + 28. Let j be (-1 - -1) + 7/p. Let w = 1669 - 1668. Which is greater: j or w?
w
Let g(z) = 10*z**2 - 3*z - 6. Let o be g(-3). Suppose -d + o = 2*c, 2*d + 0*d - 3*c - 172 = 0. Let b = d - 90. Is 9 less than b?
False
Let t = -4 + 11. Let r be 0/(12 + -4) + 76 + 1. Let u be (3 + -2)*t/r. Do u and 1 have the same value?
False
Let s = -25 - -15. Let f(m) = 10*m**3 - 14*m**2 + 25*m - 41. Let l(q) = 3*q**3 - 5*q**2 + 8*q - 13. Let d(n) = -2*f(n) + 7*l(n). Let z be d(6). Does z = s?
False
Let l = 0.4 + -0.3296. Let u = l - -0.9296. Which is greater: u or -18/11?
u
Let x = -79 - -76. Let c be (-2 + (-5)/x)/((-32)/96). Are c and -2/105 equal?
False
Let t = 97253/3171 - 3/1057. Which is bigger: 32 or t?
32
Let w(b) = -75*b - 5. Let f be w(-1). Let j = f + -70. Let i be (-9*(-1)/264)/(-3). Is i greater than or equal to j?
False
Let q = 22920 + -43593841/1902. Is q >= 0?
False
Let j be 8/(-320)*(-10220)/(-48) + 44/66. Is j greater than -4?
False
Let i = 4017 - 4008. Let x = -8 + 11. Let r be 3/(x/2) - 3. Is r greater than or equal to i?
False
Let k be ((-2)/12)/((-26)/312). Is k greater than or equal to 168/221?
True
Suppose -479*n - 1980 = -659*n. Do 72/7 and n have the same value?
False
Let t(l) = 2*l**2 + 5*l - 4. Let p be t(3). Suppose 36*y = p*y - 700. Which is greater: -99 or y?
-99
Let y(g) = -31*g + 254. Suppose 10*f - 319 = -239. Let o be y(f). Is -4.4 smaller than o?
True
Suppose 1143*z - 3*q = 1140*z - 7662, 2*z + 5153 = -3*q. Are z and -2567 unequal?
True
Suppose 4*z = 17 - 41. Let l be 6 - 4/z*-3. Let b be 14 - (21 + -1 + -9). Which is smaller: l or b?
b
Let y = -12 + 11. Let h = 7390541161/1150 - 6426558. Let l = 23/50 + h. Is l less than or equal to y?
False
Let c = -98 - -98.055. Let k = -30.945 - c. Does 2 = k?
False
Let a = -1 + 2. Let g = 0.074 - 0.045. Let j = g + -0.061. Is a != j?
True
Let v = -96.8 - -89. Let p = -223 + 225.2. Let h = p - v. Is h <= -1?
False
Let d = -1.69 + 2.09. Let o = 1102.2 + -1101. Is o less than d?
False
Let w = 1027 - 1030. Which is smaller: -115/31 or w?
-115/31
Suppose -2*u + 5*p = -20, 2*p + 30 = 22. Let x = -140 + 139.946. Which is bigger: x or u?
u
Let g be (-2 - (-63)/28) + (-31)/(-4). Suppose 11 = g*u + 19. Which is smaller: u or -12/11?
-12/11
Suppose i - 2*i + 2*w + 37 = 0, -107 = -3*i + 5*w. Suppose -1695 - 6512 = -i*x. Is x >= 283?
True
Let k be (-3)/((-15)/2) + 68/(-170). Let d be 2*(-9)/(-282)*1. Which is smaller: k or d?
k
Let i = 12548 - 13006. Is -463 at most i?
True
Let q be (1*(-6)/(-3))/((-825)/5). Let s = q - -499/330. Which is smaller: s or 1?
1
Let t be ((-2)/40*-10876)/(1/(-15)*-12). Which is smaller: 681 or t?
t
Suppose 3*l - 71 = 106. Suppose 0 = 2*r - 5*r + 5*j + l, 2*j = 4*r - 60. Are r and 15 equal?
False
Suppose q - 4*h = -0*h - 72, 10 = -2*h. Let f be (-4)/(-17)*46/q. Are -18 and f equal?
False
Suppose -13*z + 13*z - 16*z = 0. Which is smaller: z or -17/439?
-17/439
Let c = 1105/399 + -166/57. Are c and -4/13 equal?
False
Let v be 0 - 344/9 - (-54)/243. Let u = 61 + -12. Suppose -6*z - 271 = -u. Are z and v unequal?
True
Let c be (25/8)/(1547/16966). Let w = 137/4 - c. Suppose l + 2*r = -2*r - 16, -l = -4*r - 16. Is w greater than l?
False
Suppose -3 = 11*d - 3 - 11. Which is smaller: d or -1/2377?
-1/2377
Suppose -2989 = -967*b - 912*b - 38690. Suppose -5*z - 345 = -z + i, 3*z = 2*i - 256. Let f be 1/2 + z/4. Is f at least as big as b?
False
Suppose 0 = 3*q - 3*f - f - 25, 4*f = -2*q - 10. Suppose q*j = 8*j + 30. Let k = -19/14 - 1/7. Which is bigger: j or k?
k
Let l = 106567/131445 - -107/1143. Let d = -27058/345 - l. Is -78 >= d?
True
Let w be (5/(-10)*0)/3 + 0. Let l be 2 - (50 - (w + -2) - -3). Is -53 < l?
False
Let o = -5664 - -5673. Which is smaller: 435 or o?
o
Let w be (72/(-30))/((-2)/(-5)). Let h be 2*(w/(-12) - -1). Let q = 10/9 + -13/9. Which is greater: q or h?
h
Let g = 268 + -207. Let l = 60 - g. Let h be 9/(-20) + (-6)/(-12). Which is smaller: h or l?
l
Let s be 0 - (24/(-502))/2. Let f = -627958 - -627958. Which is greater: s or f?
s
Let o(n) = 88*n - 9. Let l be o(-4). Let s = 42599/118 + l. Let c = 125/826 - s. Which is smaller: -5 or c?
-5
Let x(c) = -c**2 - 12*c - 26. Let s be x(-3). Suppose 4*k = 3*r + 34, -s - 2 = -k - 2*r. Which is greater: 2/7 or k?
k
Let l = 16.546 - -4493.454. Is l greater than or equal to -1?
True
Let l = -692 + 695. Let n be (0 + l)*37/(-111). Is -4/57 less than n?
False
Suppose 161*m - 3*h - 1 = 166*m, -2*m = -3*h - 8. Let f be (-30)/(-8)*1/(-5). Let s = -27/20 - f. Is m at most s?
False
Let a be -1 - (-2 - -5 - 2). Let h be (-8)/(-40)*5*(-1 + 5). Suppose -h*v = -g - 24, v = -33*g + 28*g + 6. Which is greater: a or v?
v
Suppose 0*g = -3*g + 6. Suppose 3*i - 38 = -4*u, 0*u + u - g = 0. Which is bigger: 52/5 or i?
52/5
Suppose 97051 = -7*x - 39169. Let r = x - -59015/3. Are 212 and r nonequal?
True
Let l = 566 + -566. Suppose l = -10*y + 40*y + 30. Which is smaller: -25/23 or y?
-25/23
Let g = 4492 + -4444. Is g bigger than 75?
False
Suppose 0 = -88*h + 118*h + 210. Is h less than -2/75?
True
Let v = -1045189/39 - -26803. Are 4 and v unequal?
True
Suppose 0 = 2*w - 0*f - 3*f - 41, -2*w = -4*f - 46. Let n(b) = -b**2 - 19*b - 86. Let s be n(-11). Let u be (s/6)/(w/468) - -4. Is 15 smaller than u?
True
Suppose -t + 0*t + 4*z = 17, 10 = -5*t + 5*z. Suppose h = -3*g - t*h - 20, 3*h = -5*g - 26. Suppose 0*d - 6 = -3*d. Is g smaller than d?
True
Suppose 0 = -36*z - 6414 - 1614. Is -228 > z?
False
Let h = 3407 - 3407. Is h less than -84/155?
False
Let z = -12180.9 + 12181. Is -4565 greater than z?
False
Let k = -5119.87 - -5120. Is -267 less than k?
True
Let i = 39924188/2009839 - 24698/1501. Let a = -66/103 + i. Let r be (16/22)/4 + (-42)/(-11). Do r and a have different values?
True
Let b = -3463/32 + -863823/224. Is -3965 at least b?
False
Let l be -11 + 6 - 876/7. Let i = l - -130. Let h be 2/1 - (0 - -2). Which is greater: h or i?
h
Let w = -1580.5 - 7440.5. Is w greater than or equal to -2/9?
False
Suppose -2*p = -0*p + 4*c - 16, 5*p - 14 = 3*c. Suppose 2*s + b - 12 = -3, -s = b - p. Let a be s - -6*2/(-4). Which is smaller: a or 4?
a
Let y = -873.7 - 2854.3. Which is greater: 1 or y?
1
Suppose -5*t + 13*u + 22 = 4*u, 14 = 2*t - u. Which is smaller: 283 or t?
t
Suppose 0 = 16*i - 9*i - 35. Suppose 2*r + 49 = 5*c, i*c - 38 = -5*r - 3. Let s be 3/(2*1/8). Which is smaller: s or c?
c
Let y = 42.8 - 40.72. Let s = y + -1.97. Are s and 1/5 non-equal?
True
Suppose 0 = 3*s - 2*t + 702, 0 = s + 10*t - 11*t + 233. Is -237 smaller than s?
True
Let s = 26589 - 25304. Is 6426/5 bigger than s?
True
Let z(m) = -14*m**2 + 4*m - 15. Let h be z(-4). Let k = 191 + h. Which is greater: k or -68?
k
Let m be ((-7)