t = l + 3431/2. Is o < t?
True
Let p = -79993/14 + 5717. Which is smaller: 3 or p?
3
Let d be (1 - 1) + (-7 - -3). Let u be (163/4)/(15/(-60)) - -4. Let h = u + 156. Is d > h?
False
Let u = 1.4544 - -513.5456. Which is greater: u or 4/7?
u
Let k(o) = -43*o - 160. Let p be k(2). Is -245 < p?
False
Let k = -8/385 + 23/385. Let v be 15 + 0 + (-2 - -5)/(-3). Let o = v - 15. Which is greater: o or k?
k
Let h be (-10)/((-300)/(-18))*(-7756)/(-4). Let m = -1165 - h. Let g = -1 - 2. Which is greater: m or g?
m
Suppose 7 - 37 = s + 5*r, 5*r = 4*s + 195. Let h = 43 + s. Let y be (4/(-5))/4 + 783/(-585). Is y smaller than h?
False
Suppose -115 = -0*n + 4*n - 3*p, -78 = 3*n - 5*p. Let f = 23 + n. Let s be 308/(-33) + 2/(-3). Which is smaller: s or f?
s
Suppose 11*w = 328*w. Is w greater than or equal to -1/23061?
True
Let u = -19992 + 19992.06431. Which is smaller: 2 or u?
u
Let u = 0.014 + 0.016. Is 200 smaller than u?
False
Let h = 66 + -72. Let l be (10/(-7))/((-6)/168). Let y be ((-96)/l)/(3/6 - 0). Which is smaller: y or h?
h
Suppose 57*p + 3358 = -3083. Is p less than or equal to -1006/9?
True
Let z be ((-2)/6)/(6873650/(-1050)). Which is smaller: -1 or z?
-1
Suppose -2*v - 3*y = 173, -5*v + 4*y - 137 = 238. Let b = 85 + v. Suppose -l + 8 = -b. Does l = 13?
False
Let n = 141986/7 + -20378. Let s(w) = 11*w**3 + w**2 + 2. Let j be s(2). Let z = j + n. Is z less than or equal to 0.4?
True
Let m(y) = 170*y**3 + 4*y**2 + 3*y. Let w be m(-1). Let v = w - -172. Is v at least 10?
False
Suppose -24*r = x - 25*r, 4*r + 8 = 5*x. Which is greater: 1191 or x?
1191
Let a = 9189 - 6524187/710. Is a bigger than 3?
False
Suppose 0 = -38*i + 31 - 259. Let u = -523 + i. Which is greater: -528 or u?
-528
Let w(t) = 4*t**3 - 34*t**2 + 99*t - 8. Let c be w(3). Which is greater: c or 63?
c
Suppose 964 - 8579 - 6919 = 169*m. Which is greater: m or -7/4?
-7/4
Suppose -65 = -33*g + 331. Suppose -260*u + 256*u + g = 0. Is 84/25 equal to u?
False
Let f(y) = 3*y**2 + 72*y - 15. Let w be f(-17). Let v = 2233/6 + w. Which is greater: v or -12/7?
v
Suppose 0 = 11*y - 9*y. Suppose y = w + 8*w - 36. Let n be (1 - 2) + 3/(w/4). Are n and -1 unequal?
True
Let y = 2.25 + -2.23. Is y < -20.8?
False
Let m = -0.0803 - -0.0303. Let n = 60 - 50. Is n != m?
True
Let g be -5 + (-585)/(-63) + -4. Is g < 2/23?
False
Suppose 17*r - 20*r = -18. Let y be ((40/r)/2)/((-174)/18). Which is smaller: y or 0?
y
Suppose -i - 5*i - 1734 = 0. Suppose -2*c + 6 = 0, -5*u - 16*c - 1428 = -12*c. Is u less than i?
False
Let a be (-1*7)/(((-72)/25608)/(8/(-44))). Is -454 > a?
False
Let y be (17/(1645192/24))/(6/4). Is y at least 1?
False
Let m(z) = 2*z**2 - 26*z - 13. Let q be m(17). Let x be (1/2)/(6 - (-21765)/(-3630)). Which is bigger: x or q?
q
Let t be (-7)/91*-75*-3*(-2)/9. Suppose 0*v - 5*v + 20 = 0. Which is smaller: v or t?
t
Suppose -51*p = -47*p + 4*a, 1 = 2*p + 3*a. Are p and 6/137 non-equal?
True
Let s(f) = 9709*f - 48542. Let v be s(5). Let l be 1 - 1*(1 - -5). Which is bigger: l or v?
v
Let l = -3268 - -3271. Is l at most -27/283?
False
Let l = -96 - -88. Let r be (-104)/18 - l/(-36). Is -11 smaller than r?
True
Let s be ((-3780)/((-100)/10))/2. Which is greater: s or 185?
s
Suppose 25 = -r + 2*r - t, 0 = 2*r - t - 52. Let q = 63 - r. Let z = q - 34. Is z bigger than 4?
False
Let j(y) = 198*y**2 - 67*y - 67. Let i be j(-1). Which is smaller: 225 or i?
i
Let p(r) = r**2 + 7*r - 1. Let c be p(-5). Let z be -2 - 22/((-6)/(-5)*85/51). Which is greater: c or z?
c
Let j be 16/72 + 205/9. Let x be (-3 + 2 + 16)/(84/112). Which is smaller: x or j?
x
Let q = -115 + -407. Let u be 3 + (-13)/5 + 208/q. Is 1 at most u?
False
Let a = 570/37 + -15316/999. Let b(w) = w**2 + 12*w + 10. Let q be b(-11). Let u(t) = t**3 + 2*t**2 - t - 1. Let k be u(q). Which is smaller: a or k?
a
Let b(z) = 254*z - 3577. Let q be b(11). Is -782 bigger than q?
True
Let u = -24 - -81. Let w be ((-2)/(-6))/(1/u). Is 14 greater than w?
False
Let x(w) = -4*w**3 - 27*w**2 - 31*w - 28. Let g(b) = -b**3 - 7*b**2 - 8*b - 7. Let y(k) = 9*g(k) - 2*x(k). Let l be y(-3). Which is greater: -30 or l?
-30
Let y = 3.855 - -1.145. Is y less than 237?
True
Let m = 24 - 13. Suppose -m*r - 71 = 94. Let a be (40/r)/(-8)*(-4)/(-158). Is 0 < a?
True
Suppose 8*x - 4*x + 184 = -g, 0 = 3*g. Let l be x/36 - 2/9. Which is smaller: l or 0?
l
Suppose 3*b + 82 = 5*t + 17, 0 = b - 5*t + 35. Suppose 4*q + 8 = 0, -4*z - 3*q + 16 - 66 = 0. Let u be -60*((-2)/b + z/(-30)). Is u smaller than -30?
False
Suppose 0 = a - 5*x + 3142, -5*x - 3150 = a - 2*x. Is -3148 bigger than a?
False
Let k be 393230/4*(-1623)/(-6645) + 3. Let u = k - 24014. Let r = -19471/6202 + u. Is r greater than or equal to -0.1?
False
Suppose 5*f - 5*r + 80 = 0, 3*r - 14 = -f - 10. Let t(a) = a**3 + 12*a**2 + 11*a - 4. Let o be t(f). Is -13/3 greater than o?
False
Let t = 0.28 - 0.09. Let a = -0.12 + t. Let f = -0.222 - -0.022. Which is smaller: a or f?
f
Suppose 16*m - 8092 = -1884. Suppose m = 4*f + l, 0 = -3*f - 2*f + l + 485. Is 98 smaller than f?
False
Let j = 0.11 - -0.4. Let p = -0.81 + j. Is p equal to 28?
False
Let r(l) = l**2 + 22*l + 106. Let t be r(-7). Let o(v) = v**3 + 2*v**2 - 2. Let g be o(t). Is 1/38 less than g?
True
Let p(i) = -2*i. Let z be p(-5). Suppose 0 = 2*t + t + 5*q + z, 4*t + 3*q - 5 = 0. Suppose 6*l = l - u, 2*u = t*l. Is l greater than -2/17?
True
Let x = 9842 + -4045. Is 5799 < x?
False
Let c(f) = -f**3 + 25*f**2 - 129*f + 1. Let u be c(6). Which is smaller: -44 or u?
u
Let z = -21112 + 42097329/1994. Do z and 0 have different values?
True
Suppose -2*v - 2*v - 2*n - 1162 = 0, v - 3*n = -308. Let a = 304 + v. Let y = 23 - 15. Is y smaller than a?
True
Suppose 5*d - 5*s + 8261 = -7329, d + 3122 = 2*s. Let o be (-3)/468*d/834. Let g = o - 6/139. Which is smaller: 0 or g?
g
Let v(w) = 34*w + 209. Let a be v(-6). Let q be a - (-1 - (-24)/8). Does -5 = q?
False
Let z(u) = -3*u**3 - 4*u - 2. Let x(s) = 13*s**3 - s**2 + 17*s + 8. Let f(a) = -2*x(a) - 9*z(a). Let c be f(-3). Let d be (2/(-4))/(1/28). Is d equal to c?
False
Let j = 4483/45 + -497/5. Is j at least 9/7?
False
Suppose 8*h - 20488 = -0*h. Let y = h + -1590383/621. Which is greater: 1 or y?
1
Let h = -11531 + 11209. Are h and 0.4 unequal?
True
Suppose 6 - 6 + 52 = -52*u. Is u != -1/14232?
True
Let h = -8379 + 124739/15. Let g = 188/3 + h. Does -1/2 = g?
False
Suppose -19*g + 30*g = 30*g - 836. Is 45 > g?
True
Let c(l) = l**3 + 4*l**2 - 14*l - 8. Let d be c(-6). Suppose 5 = -18*f + 23*f - n, -3*f - d*n + 3 = 0. Which is bigger: f or 5/351?
f
Let o be 4 - (65/55 - -3). Let i(w) = -3*w**3 + 83*w - 31. Let g be i(0). Which is greater: o or g?
o
Suppose -2*i + 79 = 5*m, -2*m - 43 = -4*m + 3*i. Let p be ((-44)/m - 45/(-18))*-56. Which is greater: p or 4?
p
Let j = -13219 - -13204. Let h(i) = -30*i - 1. Let o be h(-1). Suppose -p = -2*z - 2*p - o, -62 = 5*z - p. Are z and j equal?
False
Let a be 720/42*(-4)/24*4 + -1. Let t be (-1)/10*4 - 0. Which is greater: a or t?
t
Let f be (464/(-87580))/(16/(-40)). Suppose -6*o = -3*o. Is o > f?
False
Let i be 8/3 - 6/21. Let c = -7158463/4328709 + 5/131173. Let k = i + c. Is 2 at least as big as k?
True
Let p(h) = -5*h**2 - 7*h - 27. Let k be p(-3). Let t = k - -49. Which is greater: t or -4/3?
-4/3
Let i be ((-1)/(-1 - -2))/(12 + 21 - 32). Which is bigger: i or 8/215?
8/215
Let q = 31779 + -31778.98. Is 14.2 < q?
False
Let d = -24233 + 702427/29. Which is smaller: d or -11?
d
Let b = 0.335 - 0.49. Let n = -30.725 - -31. Let m = n + b. Is m at least as big as -2/11?
True
Let g(t) = 108*t**2 + 212*t + 850. Let n be g(-4). Is 1729 at most as big as n?
True
Let z(t) = -259*t - 77. Let n(a) = -86*a - 26. Let u(l) = -7*n(l) + 2*z(l). Let q be u(-12). Let k be (q/225 - -5) + (-1)/5. Which is bigger: -0.2 or k?
k
Let k = 34692 - 34737. Are k and -275 equal?
False
Let j = 3540 - 3440. Is j at most 77?
False
Let m = 56 + -506/9. Let q = 2.4 + -2.57. Let l = 0.07 + q. Is m smaller than l?
True
Suppose 18*s + 78 - 494 = 610. Is 41 at least s?
False
Let n be 3*(-20)/45*-213. Let f = 257 - n. Which is smaller: -294/11 or f?
f
Let j = 60.9 - -458.1. Let u = j - 736. Is 0 at least as big as u?
True
Let f = 0.159 + 0.051. Let z = 25430 + -25429. Does z = f?
False
Let v(h) be the third derivativ