
Let o(t) = 5*t**2 + 3. Suppose -4*a + 3 = -1, 0 = w + 5*a - 7. Let b be o(w). Let v = 25 - b. Is v bigger than -0.02?
True
Let a be ((-1656)/(-6210))/(-1 + 37/33). Is -114/5 bigger than a?
False
Suppose 2*w = -2*v - 10 + 62, -v = -5*w - 26. Let z be 85/3 - 1/3. Let i = z - v. Is -1/5 smaller than i?
True
Let m(t) = -t**3 - 36*t**2 + 10*t + 90. Let z be m(-36). Let q be (120/z)/((-28)/18). Which is bigger: q or -132?
q
Let u = -762827/53 + 14393. Which is greater: u or 5/17?
5/17
Let v = -68.5 + 5.5. Let d = 43 + v. Let u = d - -21. Is 12/5 less than or equal to u?
False
Let h(x) = 4*x**2 - 63*x - 767. Let s be h(-12). Is s less than 565?
False
Let r(s) = -3*s**3 + 57 - 41*s - 48 + 4*s**3. Let n be r(6). Suppose -35 + 12 = u. Is u less than n?
True
Let y be -2 + 14 - 6/(-1). Suppose -y*d + 25*d = -7. Which is smaller: -13/19 or d?
d
Let l(x) = -6523*x + 97920. Let j be l(15). Let a = 0 - -3. Suppose a*s = 4*o - 0*s - 304, o = s + 76. Is o smaller than j?
False
Let g be ((-49)/(-70))/(-7)*(-32)/232. Which is smaller: g or -5?
-5
Let x be 110*((-377)/130 + 3). Suppose 3*i + 0*i + 18 = 5*h, -5*i - 2*h = -1. Let p be i + 3 - -1*11. Which is smaller: x or p?
x
Suppose b - 3*s = 9, 5*b + 1 = -5*s + 6. Let l be (7/(-21))/(b/9). Let g = 611/23835 + 2/681. Is l greater than g?
False
Let l = -560/19209 + -2/337. Suppose -4*d + 2 = 2*j, 0 = -3*j - 0*j + d - 4. Is l at most as big as j?
False
Let h = 1 + -1. Let p = 40987 + -3811793/93. Are h and p equal?
False
Let v = -246 - -129. Let l = v - -122. Which is bigger: l or -0.03?
l
Let h = -255 + 36. Let z = -204 - h. Does -1/2 = z?
False
Let o be 0 + 6/(-4) + (-14)/(-4). Let j be (-6 - o)/(10/7) + 5. Is 0 at least as big as j?
True
Let p be 170/6 + (-3)/((-9)/2). Let r be 1*p + 6 + -1 + -2. Let k = r - 223/7. Is k at most 1?
True
Let g(t) = 28*t**2 - 671*t - 47. Let r be g(23). Is r < -672?
False
Let f(y) = 21*y - 3. Let h be f(2). Suppose w = h - 38. Let m = 13025/10208 + -3/928. Which is smaller: m or w?
w
Let o(d) = 140*d - 253. Let i be o(11). Let p be (-4)/((-36)/i) + 1. Is p at most 143?
False
Let m be 18/(-8) - 136570/(-57960). Which is greater: m or -1?
m
Let a(w) = w**3 - 34*w**2 - 74*w + 73. Let s be a(36). Is s smaller than -11146?
False
Let z(q) = -4*q + 11. Let l = -100 + 102. Let j be z(l). Is j at most as big as 0?
False
Suppose -36*i - 13*i = -22*i - 1296. Which is smaller: i or 613/13?
613/13
Let s = 16853 - 16861. Is -8 at least s?
True
Let a = 0.18 + -0.2. Let m = -34.1 - 51.9. Let x = -85 - m. Which is smaller: a or x?
a
Suppose 0 = 2*p + 3*n - 13271, -5*p + 33220 = 311*n - 312*n. Is p > 6644?
False
Let l be (-6 - -16)/(0 - 1). Let s be ((-4)/l*1)/(14/40). Suppose -1 - 4 = -5*r. Is s >= r?
True
Let y(a) = -a**3 - 25*a**2 - 26*a - 49. Let g = 127 - 151. Let h be y(g). Which is smaller: h or 6?
h
Let n(b) = b**2 - 4*b - 24. Let m be n(8). Let g(h) = -14*h + 16. Let v be g(m). Which is greater: -95 or v?
-95
Let a = -5/8 - -3/8. Let r = 721 - 7951/11. Is r smaller than a?
True
Let b(u) = -u**3 - 16*u**2 - 16*u - 10. Let g be b(-15). Suppose r = 2*i - 2 - 6, g*i = 2*r + 18. Let j be (-2 - r)*6/27. Which is bigger: -1 or j?
j
Let y = 5901 - 5719. Let n be (3/12)/(2/(-12)). Which is smaller: y or n?
n
Suppose -3*v + 2*n = -321 - 4067, -5*v + 7312 = -2*n. Do 1462 and v have the same value?
True
Let a be (-1 - (2 + -1)) + 2. Suppose a = 2*t - w + 4, 0 = -2*t - 2*w - 0*w + 2. Let n = 2299/15 + -153. Are t and n equal?
False
Let u be (-46)/7521*3/(-2). Suppose -5*f + 20 = -f. Suppose -3*q = 7*x - 2*x + 22, 25 = -f*x. Is u greater than q?
False
Suppose 0 = -21*c - 8*c + 1490 - 98. Which is smaller: 41 or c?
41
Let a = 6.15 - 5.767. Let h = -0.383 + a. Which is bigger: 0.157 or h?
0.157
Let c(q) = 6*q**2 - 100*q - 149. Let g be c(18). Let k = 6 - 6. Which is smaller: g or k?
g
Suppose -3 = -3*b, -2*t + 3*b - 7 = -4. Suppose -390 = -t*a - 13*a. Is 29 < a?
True
Let l(b) = b**2 - b - 2. Let a be l(2). Suppose 5*s + 0*s - 15 = -j, -5*s - 2*j = -15. Suppose a = w + s*w - 12. Is w equal to 6?
False
Suppose 3*z + 3*p + 5 = 20, -3*p + 7 = -5*z. Let n be (-55 + (-619323)/(-11269))/(-2 - 0). Which is bigger: z or n?
z
Let j = -97 + 121. Let h be (-12)/8*8/6. Let m be (-4 - -5)/(h/4). Are j and m equal?
False
Suppose 119*x + 300 = 121*x - 4*n, 2*x - 260 = -n. Which is smaller: x or 143?
x
Let x be (-132)/682*162/8. Let t = x + 174019/44392. Which is smaller: t or 1?
t
Let c(q) = -154*q - 1736. Let f be c(-13). Which is bigger: f or -4?
f
Let t = -35478 - -35476. Is t at least as big as -270?
True
Let k = 136/3 - 45. Let n = -207 - -128. Let m = -79.03 - n. Is k equal to m?
False
Let f = 4090279/20900 - 19591/100. Let q = 304 + -28882/95. Let n = f - q. Which is smaller: n or -2?
-2
Let w be 34/119 - 7040/(-7). Let u = -1001 + w. Which is greater: 35/6 or u?
35/6
Let n be ((-7)/21)/((-2)/18). Suppose n*z + 6 - 12 = 0. Suppose 3*s - 8*s = d - 52, 5*d + 10 = z*s. Which is smaller: s or 28/3?
28/3
Let k(s) = 106*s**3 - 2*s**2 + 2. Let u be k(-1). Let b = 134 + u. Is 28 smaller than b?
False
Suppose -2*u = -5 - 1. Suppose u*a - 18 = a. Let x(h) = h**2 + 46*h - 88. Let c be x(-48). Which is bigger: c or a?
a
Suppose k - 27 = -3*n + 92, -n + 4*k + 44 = 0. Suppose -g - 38 + n = 0. Which is smaller: 5/6 or g?
5/6
Let d be -7 - (2 + -9 + -1). Which is smaller: d or -1/2736?
-1/2736
Suppose 0 = -2*f + 2*i - 2, 3*f + 121 - 124 = -3*i. Let q = 0.11 - -13.89. Let u = q - 8. Which is greater: u or f?
u
Let m(f) = 14*f - 41. Let v(d) = 15*d - 43. Let p(t) = -5*m(t) + 4*v(t). Let w be p(5). Which is greater: w or -19?
w
Let v = -37 - -50. Let o = -11 + v. Suppose -5*c = 4*w + 11, -w + 4 + 3 = -o*c. Which is smaller: -1 or w?
-1
Suppose 5*z = 4*j - 140 - 224, -10*z = 0. Are j and 903/10 equal?
False
Let a = -341385595/4617 - -73941. Are -1 and a equal?
False
Suppose -2*p = -0*p + 4. Let t = 71 - 85. Let b be t/(-84) + (-17)/6. Which is smaller: p or b?
b
Let q be (-20)/1500*-15 - (3698/(-60) + -3). Is q < 64?
False
Suppose 0 = -3*d + 16*d. Suppose 4*q - 4*c + 8 = d, -q - 4*c + 7 = -6*q. Is q at most 2?
True
Let j(i) = -8*i + 4. Let v be j(6). Let h = 658 + -430. Let s = h + -227. Is v at least s?
False
Suppose 5*z = -6 + 26. Let v be z/(-5)*5/(-1). Let q be 4*(-1)/(-16)*8/6. Which is smaller: q or v?
q
Let y(r) = -r**3 - 26*r**2 - 65*r - 68. Let f be y(-23). Which is smaller: f or -0.2?
f
Let j be (202046/2863)/(2/3*(-3)/(-14)). Which is greater: 2959/6 or j?
j
Let t(y) = y + 5. Let v be t(4). Let n(r) = r**3 - 8*r**2 - 4*r + 75. Let o be n(7). Which is smaller: v or o?
o
Suppose 355 + 3 = 2*n. Let h(c) = -20083*c - 19904. Let a be h(-1). Is a at most n?
True
Suppose -j - 3*j = 0. Let q be (0 - (-4592)/184) + 4/(-2). Let p = 23 - q. Is p bigger than j?
True
Suppose 5*o - 1304 = 1866. Let b = -529 + o. Is b bigger than 532/5?
False
Let f be (-13 + 1)/((-918)/2781). Which is smaller: f or 36?
36
Let u be ((-65)/(251875/(-124)))/(0 - 15). Is u at least as big as -1?
True
Let n(i) = -i**3 - 23*i**2 - 30*i - 6. Suppose 132*s = 142*s + 220. Let c be n(s). Is 169 less than c?
True
Let f(p) = -p**2 - 23*p - 44. Let b be f(-7). Suppose -5*c + w - 79 = 0, -2*w + b = -4*c - 0*w. Is c smaller than -10?
True
Let u = 11429 + -11444. Let x = -13/12 - -7/4. Is x at most u?
False
Let r = -62 + 60. Let u be (-8)/204*(-5673)/(-70). Let x = 3/85 + u. Is x bigger than r?
False
Suppose p - 108 = 4*m + 4*p, -4*m + p - 108 = 0. Let c be ((-36)/m)/(4/54). Let s be (c/(-15))/((-244)/10). Which is bigger: -1 or s?
s
Let o(z) = -z + 23. Let l be o(9). Suppose -13*f + 14*f = l. Let r = -14 + f. Which is smaller: r or -3?
-3
Let p(v) = -v**2 + 8*v + 4. Let i be p(11). Suppose 0 = -137*g - 4010 + 37. Is g at least i?
True
Let m be -3*(-32)/12 + -2. Let k be 4*3 - (-46 + 15). Which is smaller: m or k?
m
Let v(w) = -3*w**3 + 120*w**2 + 6*w - 239. Let u be v(40). Does u = 17/189?
False
Let j(h) = 2*h**2 + 6*h - 8. Let q be j(-4). Let s be (-10*(1 + q))/34. Suppose 7*o = 3*o. Which is smaller: s or o?
s
Let j be ((-3394)/(-84))/1 + 158/237 - 5. Is 37 greater than or equal to j?
True
Suppose -2*p - 1274 = 5*p. Let k = -182 - p. Is k >= 4?
False
Let t(o) = o**3 - 52*o**2 - 107*o - 62. Let s be t(54). Which is bigger: s or -360/49?
-360/49
Let a = 0.10381 + -