 is smaller: l or 0?
0
Let a = -1692 + 347. Is -1344 greater than or equal to a?
True
Let q = 83/4 + -897/44. Which is smaller: q or 0.09?
0.09
Let l be 38/4*(-10)/5. Let c be 1/((-6 + 5)*(-1)/(-11)). Is l equal to c?
False
Suppose -3*s - 6 = 3*z - 0*z, 5*s = 4*z + 8. Let b = 54 - 65.3. Let r = -2.3 - b. Which is smaller: r or z?
z
Let w(h) = -2*h**2 - 5*h + 108. Let i be w(16). Let u = i - -486. Is 5/3 greater than or equal to u?
False
Let q = 40.17 - 40. Let t = q - -0.13. Let l = 0.2 - t. Which is smaller: l or -36?
-36
Let a = -653 - -360. Is 0.9 equal to a?
False
Let x = -13256 + 11104. Does x = -2152?
True
Let x = -13.78 + -2.42. Let f = x - -15.2. Which is smaller: f or 5/11?
f
Suppose 8*l - 108 = 7*l. Let j be -25196*(-3)/l*(-3 - -1). Let r = -1398 - j. Is 1 at most r?
True
Suppose 0 = 8*v - 4*v + 296. Let q be 4/v*(-2)/4. Suppose 9*s - 2 = 8*s - 3*k, -5*s - 4*k = 1. Which is bigger: s or q?
q
Let r(t) = -2*t**2 + 144*t + 449. Let k be r(-3). Which is smaller: k or -19/13?
-19/13
Suppose 25*a + 0*a - 4100 = 0. Let m = 50 - a. Is m <= -114?
True
Let z = -37 - -43. Let k be ((-2)/3)/(1/z). Let m be 5/(5/(-3)) - k. Is m not equal to -1/3?
True
Let m(g) be the third derivative of 2*g**5/15 - g**4/24 - 106*g**2. Let t be m(-1). Do t and 100/11 have different values?
True
Suppose 0 = -8*l - 2*i + 526, 4*i - 8*i = 3*l - 220. Is l at most 709/11?
True
Let z(l) = -l**3 - 11*l**2 + 28*l + 32. Let q be z(-13). Suppose 12*j - 4*j + 192 = 0. Let b be (j/30)/(8/(-20)). Is q != b?
True
Let d = -1124 + 1181. Suppose 19*l - 16*l - 171 = 0. Is l less than d?
False
Let d = -2609 + 2601. Is d less than -134/19?
True
Let i = -112 - -114. Let f be (-1)/i - 267/(-582). Which is smaller: f or -1?
-1
Let g = -106574900 + 18309994120079/171804. Let j = g - -1/1236. Do 0 and j have the same value?
False
Let p be (20 - (-2255)/(-82))/((-12)/16). Let s be (240/63)/((-2)/(-6)). Which is bigger: p or s?
s
Let o = 108 - 8. Let a be ((-36)/(-45))/((-3)/(-375)). Is a not equal to o?
False
Let i(q) = -q**3 + 14*q**2 - 39*q - 68. Let r be i(7). Suppose 0 = x + 2*x + 6. Let l be ((112/9)/(-4))/x. Which is bigger: r or l?
r
Let k = -0.8656 - 10.1344. Is 294 bigger than k?
True
Let k be ((-13)/(-2))/(21/(-210)). Let s be 798/10 + (-13)/k. Are s and 80 equal?
True
Let k(i) = -i**3 - 35*i**2 + 21*i - 228. Let n be k(-35). Which is smaller: n or -0.1?
n
Suppose -1525*r + 1521*r = 24. Let v(y) = -y + 2. Let w be v(-3). Let b be (r + w)*(0 + 1). Which is smaller: b or 5/27?
b
Let c = 12898 - 6384. Which is greater: 6513 or c?
c
Let t = -196 + 231. Let k be ((-285)/t - -8)*(-1 + -133). Which is greater: 20 or k?
20
Suppose 18524*m - 18534*m - 10 = 0. Is m at least as big as -1/68?
False
Let g = -67 + 66.69. Let r = g + 0.21. Let c = 0.008 + 0.012. Which is smaller: c or r?
r
Let a(n) = 149*n - 22. Suppose 7 = -5*x - 3*f, 5*f + 12 = -8. Let m be a(x). Which is greater: 128 or m?
128
Let g(k) = 232*k - 1577. Let x be g(21). Are x and 3296 non-equal?
True
Suppose -4408 = 28*c + 17936. Let l = 807 + c. Which is greater: l or 6/11?
l
Suppose 6*a + 3*w = 2*a + 9, 3*a + 3*w - 6 = 0. Let m = -528 - -538. Let s be ((-10)/(-4))/(7/m). Is a at least as big as s?
False
Let d = 38 + -20. Let b = 25 - d. Suppose 6*m = b*m. Is m at least as big as 3/22?
False
Let d = -6586 - -8362. Which is smaller: 1778 or d?
d
Let r = -5749 + 92059/16. Which is bigger: 6 or r?
6
Let o be 111 + 2 - (-112 - -120). Is o less than 1164/11?
True
Suppose -4*x = 2*j + 176, 6*x - 4*x - 176 = 2*j. Let n be 3*-1 + (-256)/j. Is -0.3 smaller than n?
True
Let q = 38 - 78. Let m = q + 20. Let g = 551.55 + -551.45. Is g greater than or equal to m?
True
Let u = 18/145 - 556/6815. Let l(f) = 405 + 0*f**2 + f**2 - 405 - 10*f. Let t be l(10). Are u and t unequal?
True
Let k(z) = 778*z + 98. Let n be k(15). Let q = n + -2306523/196. Is 1 less than q?
False
Suppose -7 - 176 = 5*c - 2*k, 0 = 2*c + 3*k + 96. Which is smaller: -2 or c?
c
Let i(b) = -5*b**3 + 2*b**2 + 7*b + 2. Let v be i(-2). Suppose -5*m + 2*m = -5*q + v, 0 = 3*q - 9. Which is greater: -98/13 or m?
m
Let n(c) = -81*c + 7266. Let s be n(-62). Is -2/5 < s?
True
Let i = 30 - 35. Let j(g) = -g**3 - 4*g**2 - 5*g + 2. Let z be j(-3). Suppose 12*f = z*f - 24. Which is smaller: i or f?
f
Suppose 0 = 33*h + 27*h - 45*h + 46500. Is h equal to -3099?
False
Suppose 0 = -104*x - 59*x + 26080. Is x less than 160?
False
Suppose 0 = -3*b + 3*n - 18, 14*n - 10*n = -b - 1. Let q be (b + 5 - 4) + (-1 - -85). Let k = q - 115. Which is smaller: k or -33?
k
Let a(j) = j**3 + 48*j**2 + 504*j - 145. Let q be a(-33). Which is greater: -440 or q?
-440
Let r be (-2)/9 + 7232/144. Let x = -6 + 6. Let j = x - 1. Which is bigger: r or j?
r
Suppose -k = -3*k + 2. Let r = -8.223 - 0.057. Let s = 7.68 + r. Which is smaller: k or s?
s
Let r be -34 + 71 + -37 - (-429)/4. Which is smaller: 106 or r?
106
Let m be (-30)/(-80) - 70/(-112). Which is bigger: m or 5583?
5583
Let n(z) = -9*z**2 + 48*z. Let s be n(8). Is s equal to -189?
False
Let h = -9010.5 - -9007. Are 0.09 and h unequal?
True
Let f be 120/36*12/10 - -3086. Let r = f + -40142/13. Which is bigger: r or 1?
r
Let r = -5 - 0. Let t be 27/(-6)*(-2)/(-3). Let x = -4 + t. Which is smaller: r or x?
x
Let j = 1.45 + -1.9. Let x = -1629 + 1632.75. Let h = j + x. Which is smaller: 0.1 or h?
0.1
Let d be 16/3*45/10*-2. Suppose -q + 28 = -7. Let j = q + d. Is j smaller than -13?
False
Let f be 456/7011*6/(-8). Let x = 15 + -8. Which is smaller: x or f?
f
Let i be ((-7)/((-784)/3040))/(-1). Is i less than -27?
True
Let w be 1 + 3 - (-6 + 4 + 1). Suppose i = -2*h - 14, -w*h = 11 + 9. Let o be -1 - 35/i - 18/(-108). Are 9 and o non-equal?
True
Let d be (636/352)/((-246)/(-451)). Are d and 2 equal?
False
Suppose -6*k + 210 = -k. Let t = -208/5 + k. Let s = 3 - 3. Which is smaller: t or s?
s
Let m = -3 + 1. Let q = 60 + -53. Let p(f) = -f**3 + 6*f**2 + 4*f + 18. Let w be p(q). Which is greater: m or w?
m
Let t be 74/(-3) - (-2)/(-6). Let i = -21 - t. Suppose u + i - 5 = 0. Which is bigger: 17 or u?
17
Suppose -138647 - 30238 = -84*p + 6927. Is p at most as big as 2094?
True
Let t be (9/(-6))/((-40752)/(-57716)). Let v = t - 1/1698. Which is smaller: v or -1?
v
Let q(o) = -2*o + 5. Suppose 0 = -i - 4*i. Let v be q(i). Let g = 18 + -14. Which is smaller: v or g?
g
Let k be (2 - 1)*((-23)/19382)/23. Is -1 bigger than k?
False
Suppose -195 = -7*v - 6*v. Let i(d) = -d**3 + 13*d**2 + 30*d + 1. Let y be i(v). Which is smaller: y or -1/76?
-1/76
Let t = -223/15 + -4/5. Suppose 32*u = 36*u + 64. Is u at most t?
True
Let i = -4946 + 4946. Which is greater: 2/40047 or i?
2/40047
Let z = 116/777 - 2/37. Let d(o) = -3*o**2 + 6*o + 2. Let h be d(2). Suppose -2*m = h*l + 2, 4*l - l - 4*m = 11. Which is bigger: z or l?
l
Let q(n) = -3*n**3 - 2*n**2 - 2*n + 3. Let u = -47 - -45. Let t be q(u). Suppose -2605*a = -2594*a - 253. Is t at most as big as a?
True
Suppose -5*l - 4*a = -45, -5*a + 23 = -3*l + 87. Let i be l/((-1)/2 - 2/(-12)). Which is greater: i or -153/4?
-153/4
Let j = -32 - -27.8. Let z = j - -0.2. Let l be ((-9)/(9 + -6) + (3 - -1))*0. Which is bigger: z or l?
l
Suppose -w + 6*w = 115. Let o = -18 - -22. Suppose 2 = 3*g + 5, -3*p + o*g = -70. Which is smaller: p or w?
p
Let q = 4.9 - 5. Let h = -26.25 + 25.01. Which is greater: h or q?
q
Let v(a) = -a**2 + 9*a + 3. Let o be v(4). Suppose -o = -14*r - 9. Is r equal to 6?
False
Let o be 11/104 + 23/(-138)*12/(-16). Is o at least as big as 2/13?
True
Suppose -c + 2*c + s + 1 = 0, 5*c + 4*s = -4. Which is greater: c or -1/1052?
c
Suppose -5*o - 21 = 3*t, -4*t = -t + 6. Let v be 1*3 + (-5 - o). Let d be (-82)/287 + 6*(-2)/350. Is v at most d?
False
Let t(n) = n - 7. Let l be t(-10). Suppose -m + g = -g + 2, 8 = 4*g. Suppose 5*z = -m*a - 98, -74 = 5*z + 2*a - 6*a. Which is bigger: z or l?
l
Suppose -123*d - 363 = -240. Is -13/1173 > d?
True
Suppose -9*g = -29 - 16. Suppose -g*i + 4*d = -7*i - 58, 3*d = 0. Is -0.5 less than or equal to i?
False
Let c = 195415 + -776487/4. Suppose 2*p + 2592 = -4*v - 0*v, -3*p - 3873 = 3*v. Let r = p + c. Is 8 less than r?
False
Let p be 124/1798 + 460910614/(-46864). Let t = p - -9835. Which is smaller: t or 1?
t
Let a = 13 + -64. Let o = 1.082798 - 0.082798. Is o less than a?
Fa