s - 165. Suppose -2*m + 5*k = 39, 4*k - s = k. Which is smaller: -22/3 or m?
-22/3
Let b = -663 + 1766. Which is smaller: b or 1102?
1102
Let b = 2602/9 - 12343/36. Let f = b + 53. Suppose -919*c = -925*c + 24. Is c at most f?
False
Let o = 1.6358 + -2.4358. Does -3/22 = o?
False
Let z = -45 + 46. Let j = -972 + 61232/63. Are j and z non-equal?
True
Suppose 12*x = 7*x - 2*r + 597, 3*x - 355 = -2*r. Let q be (-11)/x - 938/(-9834). Which is smaller: q or 0?
0
Let t = -19/22 + 533/44. Let d = 60 + -50. Which is smaller: d or t?
d
Let i = -205 + 103. Let p = 101 + i. Which is smaller: p or -9/31?
p
Let x(l) = -l**3 - 6*l**2 + 6*l - 7. Let r be x(-7). Suppose -9*y + 10*y - 12 = r. Suppose 3*a + y = -3*k - 21, 0 = -4*a + 4*k - 76. Are -15 and a nonequal?
False
Let a be -1 - (-1)/(17/20). Suppose -2*q + 215 = -5*f, 385 = 4*q + 5*f - 0*f. Let x = q + -100. Is a smaller than x?
False
Let l(f) = 11*f. Let x(g) = -13*g. Let t(p) = -7*l(p) - 6*x(p). Let u be t(1). Is 2/353 not equal to u?
True
Suppose 284 + 1764 = -4*v. Let c = 528 + v. Let q(n) = -n**2 + 4*n - 4. Let y be q(3). Which is smaller: y or c?
y
Let m be (24 - 26) + 320/(-18). Which is smaller: -1 or m?
m
Let c = 11702 + -17106. Which is bigger: c or 2/7?
2/7
Let v = -4486 + 4968. Which is smaller: v or 478?
478
Let q = 19697.4 + -19698. Are q and 262/7 unequal?
True
Let g = 434/1237071 + -74194635839/1237071. Let i = g - -59876. Let j = i + 100. Is 1 != j?
True
Let k(z) = -5*z + 111. Let r be k(9). Let b be -1*2/(-11) - (-54)/r. Is b >= -1/56?
True
Let o be (10/90 + 52/(-36))/((-2)/(-3348)). Which is smaller: o or -2230?
o
Let h = -57.089 + 3.089. Is 7/31 smaller than h?
False
Let i(g) = g**2 + g + 1. Let p(j) = 11*j**2 - 68*j - 6. Let x(t) = -2*i(t) + p(t). Let a be x(8). Is a at least 12?
False
Suppose 4*g + 9 = 2*r + 3, 5*r - 15 = 3*g. Suppose -2*b - 211*k - 68 = -207*k, -60 = b + 4*k. Is b less than or equal to g?
True
Let d(q) = 126*q - 28980. Let m be d(230). Let z = 48268/365 + -661/5. Is m greater than z?
False
Let m = 28.96 + -28.32. Let n = -239/340 + -4/85. Which is bigger: m or n?
m
Let q = -1021 + 969. Is q < -48?
True
Let q = -59 + 59. Suppose -b - b + d - 2 = q, d + 4 = 0. Let z(l) = -6*l - 19. Let k be z(b). Is k equal to 0.63?
False
Let h be ((-8)/(-9))/(-6 - (-65)/10). Let m = -41/18 + h. Let y = -56 + 221/4. Which is greater: m or y?
m
Let l be (-2)/(-115)*1/4. Suppose 29 = -57*i + 52*i + 6*b, i = b - 5. Which is smaller: l or i?
i
Let n = 2200 - 2431. Is -22 bigger than n?
True
Suppose -2502 = 12*x + 1614. Which is smaller: -302 or x?
x
Let f = 15943 + -16054. Does 2/25 = f?
False
Let h = -12715 - -15092703/1187. Which is greater: 1 or h?
1
Let y be 45 + (4 - (1 + 3)). Let u be 33/(-18)*(-5)/(50/y). Which is smaller: u or -0.3?
-0.3
Let a be -3 + (-7)/(8673/(-3787)). Are 1 and a unequal?
True
Suppose -10 + 54 = -11*g. Let p be ((-2)/g)/(5 - (-138)/(-24)). Which is greater: p or 18?
18
Let b = -409142/51 + 8022. Let p be (-10)/(-10)*1/(-17). Let t = b - p. Which is smaller: t or 1?
t
Let v(r) = -13*r + 54. Let l be v(4). Let m = -58616480639/2680 + 21871822. Let x = m + 3/335. Is l at least x?
True
Let t(g) = -5*g - 7. Let z(v) = 2*v + 3. Let q(r) = 3*t(r) + 7*z(r). Let x be q(-3). Let i be (608/3)/(-8) + (-2)/x. Is -27 smaller than i?
True
Let l be -1 - (1/(-2))/(13/4108). Let r = l - 153. Is r >= -2?
True
Let r = 1113.54 - 1113.64. Let l = -1 - 23. Which is smaller: r or l?
l
Let z = 8239 + -238866/29. Is z at most -0.1?
False
Let b be 56304/680*10/78. Which is bigger: -0.16 or b?
b
Let q = -40043 + 2122364/53. Which is smaller: q or 0?
0
Suppose -90 = w + 4*w. Let k be 6/(3/w*-6). Let s = 20 - 14. Is s greater than k?
False
Let k be 7/(63/2) + (-11345095)/(-2493). Let u = k + -4551. Let c = u + 7475/1662. Which is smaller: c or 6?
c
Let b(t) = -140 + 56 - 27*t + 10*t - 38*t. Let c be b(6). Which is smaller: c or -413?
c
Let r = -1.739 - -2.139. Let b = 1/447 + 2224/4917. Which is bigger: b or r?
b
Suppose 46*r - 45*r + q - 4284 = 0, 0 = 4*r + 5*q - 17134. Which is smaller: -1 or r?
-1
Let k(g) = 60*g**2 - 42*g + 44. Let i be k(1). Is i greater than or equal to 755/12?
False
Let j be (52/260)/((-26)/10) - 7089/(-52). Which is greater: j or 137?
137
Suppose 0 = -87098*u + 87116*u + 342504. Is u not equal to -19027?
True
Suppose j + q = -7, 8*q - 4 = 4*q. Let i(f) = f + 18. Let y be i(j). Let k be y/15*9/6. Which is bigger: k or -2/271?
k
Let j = 192 + -27. Let q = j - 165.2. Let a = -1171 - -12893/11. Is q bigger than a?
False
Suppose j = o - 320, -1905 = -4*o - j - 650. Suppose 14*d = 5*d + o. Is d less than 35?
False
Let m = 17034 + -17035. Is 3/11150 at least as big as m?
True
Let r = 139066/5 + -27806. Are 1/345 and r equal?
False
Suppose -2*g = -7*g + 275. Let o be 3*(85/g - (-2 + 3)). Which is smaller: o or 1?
1
Let r = -824 + 812. Let n(j) = 2*j**2 + 3*j + 121. Let w be n(r). Which is greater: 1/2 or w?
w
Let l = -370 - -155. Let a = 185 + l. Let q = 0.3 + -1.3. Is q at most as big as a?
False
Let x(f) = 147*f**3 - 45*f**2 - 10*f. Let a be x(-3). Are a and -4345 equal?
False
Suppose -3 = -4*j + 3*j. Suppose 129*p = -264 + 1425. Suppose -f = j*o + p, 0 = -3*f + o + 4*o - 97. Which is bigger: f or -25?
f
Let o(p) = -23*p - 297. Let c be o(-13). Suppose -c*u - 303 = -297. Suppose 4*j - 5*r = -r, 2*r = -4*j - 24. Are u and j non-equal?
True
Let h = -1278 - -1349. Let y = -42 - -42. Which is smaller: y or h?
y
Let f = -234120 + 2492207402/10645. Which is smaller: f or 0?
0
Let a = 2789 - 7582. Is -4794 greater than a?
False
Let z = 1134 + -1106. Suppose 5*i + i - 6 = 0. Is i >= z?
False
Let o(l) = -8*l + 830. Let f be o(-9). Is f < 904?
True
Let o = 89589/22 - 4070. Is 2 greater than or equal to o?
False
Let k(b) = -2*b**3 + 11*b**2 - 20*b + 24. Let q be k(3). Let x = 36 + -20. Is x smaller than q?
False
Suppose -h = -2*a - 7 - 2, -19 = -3*h + 2*a. Suppose -44 = -2*b + 4*r, -h*r = -b - 0*r + 37. Which is greater: b or 22?
22
Let g = -643 + 642.3. Let m = -55 - -60. Is m at least as big as g?
True
Let z be (-6 - (3 + 3))/(1/(-4)). Let p = z + -142/3. Let f = -97 - -68. Which is greater: f or p?
p
Let w be (-3)/(-27)*(-2)/6. Let s = -32490 + 32489. Do s and w have different values?
True
Let j be (1 - 2) + ((-16929)/(-11088) - (-2)/(-14)). Which is bigger: j or 1?
1
Let u(i) = i**3 - 38*i**2 + 2*i - 598. Let v be u(33). Which is smaller: v or -5979?
-5979
Let k = 4448 - 4448.1. Let u be ((-40)/(-75))/((-54)/10). Is k at most u?
True
Let p = 1.339 - -0.661. Which is greater: -7167 or p?
p
Suppose 0*q + 7*q - 175 = 0. Let s be q/42 - (2 - (-9)/(-6)). Let i = 0.7 + -0.7. Which is greater: i or s?
s
Let k = 4080 + -746. Is 2 less than k?
True
Let l = 709 + -709.7. Is l not equal to -36?
True
Suppose -93 = -35*p + 47. Suppose -2*y = -p*g - 330, -y = -5*g - 2*y - 402. Which is bigger: -79 or g?
-79
Let a be ((-697)/82)/((-2)/(-20)). Let v = -75 - a. Which is smaller: v or 15?
v
Let o be (-2450)/(-18) + 5/180*-4. Suppose 2*c + o = 5*v, -3*v - 14*c + 86 = -13*c. Which is greater: v or 30?
30
Let j = -28 + 32. Let i be j*(-1)/6*-33. Let g = i - 24. Is -2 less than g?
False
Suppose 244*o = 256*o - 93108. Is 7759 >= o?
True
Let s be (-405)/110 + 0*(0 + -1). Let g be ((-1)/(-3))/(-3 - 799/(-270)). Let k = s - g. Is 5 at most k?
False
Suppose 320*c = 329*c - 180. Suppose c*j - 2444 = -6*j. Are j and 92 non-equal?
True
Let h = 66 + -62. Suppose 0 = -2*d + 2*c - 14, -11*c + 7*c + h = 4*d. Which is bigger: -5 or d?
d
Let j = 1601/31 - 266065/5177. Which is smaller: j or -1?
-1
Let d be (-2 - -6)*(-6)/8. Let z(q) = q**2 + q - 7. Let g be z(d). Let l = g + -9. Is -11 at most l?
True
Let f = 44 + 4. Let c be 5 - (2/6)/((-6)/(-990)). Let m = c + f. Which is smaller: m or -8/7?
m
Let s = 7851 + -7850.8. Does 713 = s?
False
Let w = -16101 - -16100. Which is bigger: -34/65 or w?
-34/65
Let n = 5 - 0. Let i(o) = -5*o + 62. Let s be i(12). Suppose n - 9 = -s*f. Which is bigger: f or 3/2?
f
Let h be -5 - 98/(-21) - (-53)/(-3). Let n be 9/3*2/h. Let p = -4 - -4. Which is smaller: n or p?
n
Let m = -2/20291 + -20147/1460952. Suppose -3*p = -3 - 3. Suppose -4*y = 12, 0 = g + p*g - 2*y - 3. Is m < g?
False
Suppose -4*n + 402 = 138. Let m = -54 + n. Suppose -v + 0 = -14. Is v at most as big as m?
Fal