er than q?
False
Suppose -11*b = -13*b + 1120. Suppose -d + 8*d = -b. Let i = d + 95. Which is smaller: i or 14?
14
Let h = -1953432/35294861035 + -6/2382695. Let u = h + 33699971/6843606. Let j = -35/6 + u. Is -2 less than or equal to j?
True
Let l(b) = -b**2 + 15*b + 21. Let r be l(16). Suppose 0 = 4*g + r*t + 67, -5*g - 74 = 2*t + t. Is g less than or equal to -14?
False
Let l be (3/(-4))/(105/(-40)). Suppose -5*g = 36 - 16. Let x be 0/g*6/12. Is l less than or equal to x?
False
Suppose 2180 - 295 = -29*b - 435. Which is bigger: -396/5 or b?
-396/5
Let w(s) = -3*s - 4. Let k be w(4). Let q be (k/(-3896))/(1/(-4)*-4). Which is smaller: q or 1?
q
Suppose r - 3 = -4. Let l(a) = -12*a - 90. Let b be l(-17). Suppose 7*s = -b - 117. Is r < s?
False
Let y = -0.15 - -0.2. Let u = -707.84 + 708.24. Which is bigger: y or u?
u
Let j(z) = 1160*z - 84. Let p be j(1). Is 1083 <= p?
False
Suppose -18*x = 39 + 393. Let a be (-34)/x - 27/36. Which is smaller: -29 or a?
-29
Let a = -114.9 + 108. Let c = a + 1.3. Is c equal to 1?
False
Let i be 4 + (-2 - 908/452). Let d = i - 559/678. Which is bigger: 7 or d?
7
Let c = 0.6 + -0.72. Let n = c + -0.88. Let l(z) = z**2 - 14*z + 68. Let f be l(8). Which is bigger: n or f?
f
Let w be (-3 + (-40)/(-12))*0 - -2. Let q(r) = -2 - r**w + 2*r**2 - 11*r + 5 + 5*r. Let p be q(4). Do p and -4 have different values?
True
Let y(u) = u**2 + 14*u + 39. Let s be y(-3). Suppose 0 = s*j - 46 + 154. Let d be (-3)/(2 - 11/6). Is d at most as big as j?
True
Let m be (-13)/(5265/54)*15. Let v be (-4)/(-6)*-3 - -8. Let h be 2 - v*1/2. Which is smaller: m or h?
m
Suppose -559*s - 12244 - 8541 - 33438 = 0. Let u = 50/3 - 148/9. Is u <= s?
False
Let t = -18819 - -18822. Let d be 12/20 - (-103)/70. Is t >= d?
True
Suppose c = -3*n + 727, -3*n = 3*c - 8*c + 3689. Let i = c - 1413/2. Is -1 bigger than i?
False
Let h = -8.8 + 6.8. Let g = 14 - h. Which is smaller: g or -3/7?
-3/7
Let z = 1297 - 1951. Which is greater: z or 1?
1
Let a(l) = l**3 + 19*l**2 + 20*l - 9. Let k be a(-18). Let o be (882/(-28))/(3/4). Which is smaller: o or k?
k
Let k(p) = p**2 - 4*p + 4. Let y be k(3). Let o be (2 - 1) + 0/y. Let g be -1 + 1/(-46)*-38. Which is smaller: o or g?
g
Let o = -1965 + 1964.64. Is o > 0.1?
False
Let r = 3 + -3.1. Let w = 120 + -121.21. Let i = 1.01 + w. Which is bigger: i or r?
r
Let z be (-408)/72 - ((-8)/(-6))/4. Suppose 2*r = 4*t - 2, -4*t + 0*r - 3 = -r. Let b be (-196)/24 + 4 - t/(-4). Is b < z?
False
Let l = -27701 - -84284/3. Which is smaller: 393 or l?
393
Let x = 121 - 244. Let n = -96 - x. Let w be (-2)/(-15)*10 + (-39)/n. Which is bigger: w or 2?
2
Let x = -29335.7 - -29336. Which is smaller: 5.334 or x?
x
Let k be (4424/3792)/((-28)/(-2694)). Do k and 112 have the same value?
False
Let h = 206 - 204. Let t be (0 + -3)/(5/202). Let s = 122 + t. Do h and s have different values?
True
Suppose 0 = 5*d - 2*d - 279. Let g be (-217)/d - 2/(-6). Let x = -4 - -1. Is g less than or equal to x?
False
Let p(d) = d**3 - 6*d**2 - d + 13. Let w = -54 - -60. Let l be p(w). Suppose r + 2*s - 26 = 0, r + 3*s - l*s = 50. Is 34 at most as big as r?
True
Let v be ((-1463)/(-2932))/((-36)/(-72)) - (2 - 1). Is v < 1?
True
Let k = -243.95 + 245.21. Which is greater: k or 28?
28
Let u = 2281925/609 - 3747. Let t = -879/203 - u. Which is greater: -4 or t?
-4
Let t be (-15 + 42 - 7) + 43. Is t at most 623/10?
False
Let c = 408.435 + 0.565. Let q = -292 + c. Let t = 116.99 - q. Are t and -0.1 nonequal?
True
Let f = -3926 - -3943. Which is bigger: f or -55?
f
Let f be (-43)/((-1290)/(-840)) - -15. Suppose 3*t = 4 - 52. Which is greater: f or t?
f
Let j(p) = 272*p + 20006. Let x be j(-74). Is x > -61?
False
Let v = -4873 - -6099. Do v and 1227 have different values?
True
Let k(i) = -i**2 + 15*i + 14. Let x be k(-12). Let z = -222 - x. Is z greater than or equal to 89?
False
Let f = -68.4 - -64. Let h = f - -4.77. Let r = h + -1.37. Are r and -2/7 equal?
False
Let a = -24/7 + 106/35. Let p = -384 - -413. Is p at least as big as a?
True
Let z = 25629239/991 + -25862. Which is smaller: z or 0?
z
Let i = -2/3871 + -1104/3871. Let o = -373/176 - -24/11. Which is greater: i or o?
o
Let c(m) = 56*m + 45. Let v(s) = 112*s + 85. Let y(z) = -5*c(z) + 3*v(z). Let k be y(6). Which is smaller: 365 or k?
365
Let y(x) = x**2 + 15*x + 40. Let i be y(-11). Let o(c) = c**3 + 2*c**2 - 9*c. Let h be o(i). Suppose 0 = -h*a - 48 + 52. Which is greater: -4/45 or a?
a
Suppose 35*m = 27*m - 8. Let s(b) = -2*b**3 - 33*b**2 - 20*b - 65. Let l be s(-16). Is l less than or equal to m?
True
Let l(q) = -13*q**3 - 59*q**2 + 22*q + 117. Let h be l(-9). Which is bigger: h or 4618?
4618
Let g = 9563/4092 + -5/1364. Which is bigger: g or 103?
103
Let n(k) = -7*k**2 - 284*k - 183. Let x be n(-39). Which is bigger: x or 40?
x
Let b = -44 - -19. Let i = 195 - 219. Which is greater: i or b?
i
Let z be 256/(-6)*((-90)/(-12) + -6). Let b be (-3)/((-9)/(-194)) + 1. Let q = z - b. Is q smaller than 0.22?
True
Let f = 9621 - 9780. Which is greater: -175 or f?
f
Let v be (-4)/(-5)*((-132090)/12)/(-7). Let p be (-1)/(-2) - 1445/v. Which is greater: 0 or p?
0
Let o = 20985 - 12549. Suppose -o = -30*w + 11*w. Which is bigger: w or 445?
445
Let y = -26.03 - -26. Let q = 24.03 + y. Let u = q - 24.05. Which is bigger: u or 2/11?
2/11
Suppose 1469 = -2*x + 4*o - 205, 5*o = 3*x + 2509. Which is bigger: -2 or x?
-2
Let w be ((-6)/4)/(14/(-266*4)). Suppose 694*l - 697*l + w = 0. Which is smaller: 77/2 or l?
l
Suppose m = -2*n + 87, 0 = 4*m - 4*n - 423 + 51. Suppose 0 = -g + 207 - m. Which is smaller: g or 117?
g
Let z be ((-23)/2)/(4 - 1/(12/50)). Is -0.3 smaller than z?
True
Let p = 5068379/150 + -33789. Which is bigger: p or 1?
1
Suppose 0 = -2174*z + 2191*z - 18377. Which is smaller: 8655/8 or z?
z
Let k = 23479/75294 - 82/423. Is k less than 1?
True
Let f be 7*6/7 + ((-519)/180 - 3). Which is bigger: f or 1?
1
Let l = -174 + 148. Let r = -68 + l. Which is greater: -95 or r?
r
Suppose -286*c + 5978 = 22100 + 10476. Suppose 3*n = -5*b + n - 456, 5*n - 255 = 3*b. Does b = c?
False
Suppose 28*y - 26*y - 562 = 0. Let l = y - 313. Which is bigger: l or -26?
-26
Let g = 7 - 5. Let i = 164 + -170. Let x be 45/189 - i/63. Is x != g?
True
Let f = 110 - -76. Let t = f + -186.2. Is 5/3 less than or equal to t?
False
Let m = 223 + 337. Suppose 0 = 5*i - 5*t - m, 310 + 246 = 5*i - 4*t. Let j = 148 - i. Is 41 <= j?
False
Let b(v) = 3*v**2 - 5*v - 1. Let j be b(3). Suppose -l - 24 = -3. Let s be 42/l + 34/2. Which is smaller: s or j?
j
Let i be 171/23370*1821/54 - 2/8. Which is smaller: -1/3 or i?
-1/3
Suppose 0 = j - 4*q - 40, -3*j + 4*j = 2*q + 44. Let n = 116 + -68. Does j = n?
True
Suppose 3*g - 2391 = 16668. Let b = g - 44549/7. Let m = -80/7 - b. Is -5 at least as big as m?
False
Let g = -12 + 15. Suppose 5*r = -g*o - 24, -o - 2*r + 3 = 11. Let l be (o/6 + 1)/(8/(-168)). Which is smaller: l or 11?
l
Let u(i) = 2*i**3 + 41*i**2 - 21*i + 84. Let a(d) = -d**2 + 11*d - 9. Let m be a(12). Let g be u(m). Which is smaller: 3 or g?
3
Let u = -188 - -115. Let t = -1337 - -1337. Is t greater than or equal to u?
True
Let r be ((119 - -4)/(-3) - -3) + 2. Let t be (r/(-10) - (-13 - -16))*1. Is 0.6 greater than t?
False
Let c = 583 - 583.84. Let r = c + 0.14. Let z = -2/9 + 19/45. Is r >= z?
False
Let g be (-3 + 1)*(-71)/426. Which is greater: g or 148.7?
148.7
Let a be 32/(-4) + (-8)/((-64)/72). Is a at least as big as 18/101?
True
Suppose -4*i - i + 1745 = -3*o, 9*i = -3*o + 3141. Which is greater: i or 1738/5?
i
Let n be (-7 - -11) + (4/(-6))/((-10)/(-60)). Is 2/1733 equal to n?
False
Suppose 4*x - 52 - 2 = 2*p, -2*x = p - 17. Suppose 244 = -6*b + 5*b. Let l = b + 253. Which is smaller: l or x?
l
Let l = -1/3665 + 43993/47645. Is l != -41?
True
Let y = -77 - -156. Let u be (23258/87)/(4/(-6)). Let k = u - -481. Which is greater: y or k?
k
Suppose -19*o = 13*o + 96. Let v be (o*2)/(-1)*(-9)/(-18). Which is smaller: v or 57/16?
v
Suppose 2*u = m - 70, u + 4*u + 4*m + 149 = 0. Let a = -27 - u. Let d be 5/(-8)*(112/(-20) + a). Is 2/5 equal to d?
False
Let d = 8 - 10. Let k be (-1)/((2/4)/(7 - 8)). Suppose 3*n - k*n = -2*n. Is d >= n?
False
Suppose -159*i - 2493 + 20 = 866. Which is greater: i or 0?
0
Let k(j) = j**2 - 12*j + 8*