Which is greater: -650 or a?
-650
Suppose 34*b - 5348 = -36*b + 15162. Which is smaller: 297 or b?
b
Let f = 591 - 5324/9. Let q = 29.23 + -26.23. Which is greater: q or f?
q
Let g = 172.228 + -0.228. Let u = g - 172.013. Does u = 0.3?
False
Let k be (-19)/(228/(-4992))*5. Is k less than or equal to 2078?
False
Let n = -15 + 449/30. Let s = -0.2289 - 1.7711. Which is smaller: n or s?
s
Let z = 140 + -137. Let s be -3*(-3)/27*z. Which is bigger: -3/749 or s?
s
Let h = -9104 + 6772. Which is bigger: h or -2331?
-2331
Let w be 1 - (-67)/(-95) - 168/(-1596). Is -867/11 >= w?
False
Let j = 78.6978 - -3.3022. Let w = -0.2 + 0.4. Is j <= w?
False
Suppose -4*r + 2041 = -4*v - 5*r, 5*r = 5*v + 2520. Let z = v + 13741/27. Let g(m) = -m**2 + 12*m + 14. Let o be g(-1). Which is greater: o or z?
o
Suppose 0 = -25*c + 77 + 723. Is c at most as big as 560/17?
True
Let d be ((-18)/(-2472)*250/(-15))/(-1). Is 1 > d?
True
Suppose 0 = -3*j + 3*l + 66, -j + 3*l = 3*j - 84. Let c = j + -14. Suppose 6*i - c = 2. Is 1/4 at least i?
False
Suppose 3*l + 840 = -351. Let n = -398 - l. Which is smaller: -2/357 or n?
n
Suppose 0 = -227*b + 254*b. Are b and 24/179 equal?
False
Let w = -10933 - -10934. Is w != -76?
True
Let q(h) = 2*h**2 - 21*h - 11. Let x be q(10). Let n be (0 - (1 + -3)) + x. Let k be (-4)/(-10) + (-102)/5. Which is smaller: k or n?
k
Let o be (((-762)/(-8))/3)/((-1)/(-40)). Let c = -1806 + o. Is -537 less than or equal to c?
True
Suppose -129 + 0 = 3*b. Let u(q) = -40*q - 4281. Let h be u(-106). Which is bigger: h or b?
h
Suppose 2*q = -0*q + 22. Suppose -2*r + q = -4*s - 1, 4*s + 12 = 3*r. Let b = 939 + -925. Is b less than or equal to r?
False
Let l be (-4 - (-1344)/328)*156/(-600). Which is smaller: l or 0?
l
Let k be (-128)/(-21) + 164/(-1722). Let q(d) = 2*d + 6*d - d**3 + 2*d**3 - 8*d**2 + 4. Let i be q(k). Which is greater: -21 or i?
i
Let g be (4/2 - -2)/2. Let m(r) = -r**3 + 12*r**2 + 24*r - 40. Let w be m(14). Let d be w/68 + 0 + 2. Is g smaller than d?
False
Let i = -10473 - -10469.8. Is -0.7 at least as big as i?
True
Let u be 18/(-13 + (-26304)/(-2022)). Which is smaller: 2021 or u?
2021
Let r(a) = a**2 + 3*a - 32. Let q be r(-8). Suppose 6*b - 3*b = 4*u - 18, -2*b + 4*u - q = 0. Let v be 25/b*204/(-165). Is 4 smaller than v?
False
Let x(l) = 35*l + 345. Let p be x(-10). Is 130 smaller than p?
False
Let l = -105 - -104. Let s = 1.187 + -0.017. Let u = s - 36.17. Which is smaller: u or l?
u
Let v(q) = -2*q**2 + 45*q - 109. Let d be v(11). Which is smaller: 143 or d?
143
Let l be -4 + -36 + (-3)/(-6)*-4. Let u be 408/l - (-4)/(-14). Suppose -a - 2*g = -3*g + 4, 4*g = -2*a - 26. Which is greater: u or a?
a
Let u be ((-27)/12)/(-9)*364. Suppose -u*m + 201 = -24*m. Is 6 bigger than m?
True
Let n be (-6)/39 + (-6 - (-81112)/(-52)). Let u = 1569 + n. Let s = -0.1 - 0. Which is greater: u or s?
u
Let r be 6/(-2)*1 + 6395/2135 - 0. Are 1 and r equal?
False
Let b be 2 + -16 + 35672/(-119). Which is bigger: b or -314?
b
Let j(c) = -6*c - 43. Let l be j(-6). Suppose -3*m = -13 - 17. Let s be 6/(-7) + m/l + 2. Which is smaller: s or -0.2?
s
Let l be (-28)/21 + (-5)/3. Which is bigger: -69/28 or l?
-69/28
Let x be 21 - 20/(95840/100488). Is x < 0?
False
Let v = -705 - -43006/61. Let z = -5133 - -5133. Does z = v?
False
Let r be 13 + 9744/70 + (-1)/5. Let l = -404 + 558. Which is smaller: l or r?
r
Let z be (176/33 - 5)*(-15)/(-20). Which is smaller: z or -645?
-645
Let x = 294 - 284. Let k be ((-12)/45)/(34/(-85)). Which is greater: x or k?
x
Suppose 0 = 2*w - 6 - 0. Let p be w/(-6)*125*10. Let j = 49377/79 + p. Which is smaller: j or 0?
0
Let s = 8432 + -8431. Suppose 4*c + 5*t = -12, -3*c + 5*t = 11 - 2. Let f be c*(s - (-40)/(-65)). Is f at least -1?
False
Let y = -4845 + 4814. Which is smaller: y or -94?
-94
Let w = 22 + -20. Let k be ((-3)/w)/((-5)/10). Suppose -59 = -0*h - 5*h - 3*i, -i = -k. Which is smaller: h or 11?
h
Let d = -3 - -15. Let t = -542 - -531. Let w = d + t. Which is smaller: w or 2?
w
Let t be (0 - (-132)/4) + 2. Suppose 5*f - 30 = -t. Is f less than -44/21?
False
Let x = 391 - 425. Suppose -26 = 3*f + 79. Let w = f - x. Is 0.2 <= w?
False
Suppose 4*f - g - 216 = 0, 2*g - 194 + 32 = -3*f. Suppose f - 182 = -4*j. Suppose -10634 + 31000 = 599*c. Which is smaller: j or c?
j
Suppose 0 = -6*r + 5*r. Suppose 0 = -r*x + 5*x. Suppose x = -4*b + 3*b + 9. Which is bigger: 8 or b?
b
Let m = 18 - 17.949. Let r = 0.003 + m. Let q = r + -0.024. Is q bigger than -0.2?
True
Let d be -122*(582/(-252) - 48/(-18)). Which is greater: -45 or d?
d
Let l be (-1)/7 - (-800)/(-280). Let s be (11/l - -4)/(5/(-3)). Suppose 5 = u + 4*u. Which is smaller: u or s?
s
Suppose -608*u - 120060 = -700*u. Which is smaller: u or 1308?
u
Let k(p) = p**2 + 5*p - 6. Let j be k(11). Let g = 164 - j. Let r = -1 + -2. Which is smaller: r or g?
g
Let i(t) = -t**3 - 6*t**2 - 3*t + 14. Let c be i(-5). Let k(r) = 24 + r + 2 + 9 - c. Let b be k(-6). Is 24 >= b?
False
Let c be (-7)/37*(40 + -45) - (6 - 5). Which is bigger: 0.0048 or c?
0.0048
Suppose -o - 22 = -3*o + 3*j, 722*o + 10*j + 84 = 718*o. Let x = -69280541/372546 + 29/13798. Let p = x + 186. Is o <= p?
True
Let r be (-13)/42 + 25/175. Let y = 71.75 - 72. Which is bigger: r or y?
r
Let x be ((-1953)/(-6))/((-2)/(-4)). Let c = x + -1907/3. Let o(f) = -2*f + 1. Let l be o(-7). Is l equal to c?
False
Let i = 2.1 - 22.74. Let z = i - -1.64. Are z and 2 equal?
False
Suppose 0 = 3*y + 276602 + 249391. Let d = -7889261/45 - y. Let j = 122/9 - d. Which is smaller: -1 or j?
-1
Suppose 4*h - m = 17, 2*m - 4*m - 16 = -2*h. Let n be 2/(-10) - ((-414)/780)/h. Which is bigger: n or -1?
n
Suppose 0 = 3*z - b - 2*b + 51, 2*b - 76 = 4*z. Let v be 192/18928*(z/6)/1. Is v > 0.1?
False
Let m = 4/9 - 2/45. Let z = -151 + 166. Are m and z equal?
False
Let h(v) = -3*v**3 - 121*v**2 + 56*v + 32. Let n be h(-41). Is 1098 at least as big as n?
True
Let f(b) = -875*b - 7271. Let i be f(-8). Which is bigger: i or -263?
-263
Suppose 23 + 37 = 5*q. Suppose 3*f = 2*f - 4*t - 12, t = 2*f - q. Let d be ((-2)/4)/(1/f). Is -5/4 bigger than d?
True
Let m = 618/7 + -88. Let q = -67.32 - -0.32. Let f = -60 - q. Which is greater: f or m?
f
Let s = -2805901/36 - -307749/4. Suppose 0 = 4*q - 5*k - 4049, -19*q + 986 = -18*q + 4*k. Let t = q + s. Which is smaller: 1 or t?
1
Let k(h) = -3*h - 15. Let u be k(-10). Let g(m) = -m**3 - 6*m**2 + 142*m - 56. Let s be g(9). Is s less than or equal to u?
True
Let a = 456 - 452. Suppose y + 3*j + 164 = 0, 664 = -a*y - 4*j - 0*j. Is -167 greater than y?
False
Let i(z) = z**2 + 9*z + 8. Let g be i(-20). Suppose 2*c - g = 118. Do c and 173 have the same value?
True
Let u be 6/(568*(-58)/(-48)). Is -1 less than u?
True
Let p = -121 - -124. Suppose p*x = 85 + 131. Is x not equal to 74?
True
Let z = -98 + 977/10. Let f = -19/55 - z. Which is smaller: 1 or f?
f
Suppose -255*i = -256*i + 1928. Is 1928 greater than or equal to i?
True
Suppose -3 = -792*l + 789*l. Let p be (4/90)/((-1)/(-2270)). Let k = -101 + p. Are k and l unequal?
True
Suppose 11*a + 1982 = -2792. Let m = a - -436. Let j be (-2)/(-4) - (-2)/4. Is j less than m?
True
Let f = -13862.0235 - -13863. Which is smaller: f or 2?
f
Let t = -42 + 187. Suppose u + v = 46, 0 = -8*u + 11*u - 4*v - t. Which is bigger: 48 or u?
48
Suppose 751 - 743 = -4*g + 2*t, 18 = 3*t. Is g equal to -2/21467?
False
Let f be ((-1449)/(-3108))/(66/48). Which is smaller: 1 or f?
f
Let n = -0.03973 + 502.03973. Which is bigger: n or -2/7?
n
Let b = -145.876 + 146. Let c = b - 1.424. Which is smaller: -1/6 or c?
c
Let d = 4918 + -4797. Let f = 0.047 - -0.953. Is f >= d?
False
Let i = 2 + 3.7. Let v = i + -5.3. Suppose -16*s - 180 = -s. Are s and v equal?
False
Let s be 30/(-1)*(-11 + (-171)/(-18)). Let y be (-6)/s - (-6413)/(-165). Let q be -16*-10*1/(-4). Which is bigger: q or y?
y
Suppose 4*i + 8358 = -3*d, -2*i - 1125 = d + 1663. Let u be (d/143)/(1/(-11)). Which is greater: 213 or u?
u
Let t = -1397 - -1895. Which is greater: t or -1/2?
t
Let z = 3044/60879 - -2/1561. Let l(f) = -8*f + 23. Let r be l(6). Let m = -26 - r. Which is bigger: z or m?
z
Let s = -145 + 331. Let r = s - 182.12. Let a = r + 0.12. Which is smaller: a or 0?
0
Let s be (-1)/(1/(-168)*(-138)/(-230)). Which is greater: