t t = -0.04 - 0.36. Let j = t + -0.6. Is q < j?
False
Suppose 13 = -l - 0*m + 3*m, -2*l + m - 6 = 0. Let o = 3806 - 1488. Let u be o/(-3135) + (-4)/(-5). Which is smaller: u or l?
l
Let j = -14253 + 14253. Is j > 4.824?
False
Let r(n) = 9*n + 69. Let q be r(-7). Let m be (15/q)/(-5)*1*26. Is -16 equal to m?
False
Let c = -5116.4 + 5116. Which is smaller: -20.2 or c?
-20.2
Let g be (9/6)/((-15)/(-140)). Let f(m) = -m**2 + 16*m - 25. Let n be f(g). Let y be -2 + n/(-4 + 1). Which is greater: y or -10/3?
y
Let v be ((-216)/(-180))/((-4654)/(-5)). Is v less than or equal to -1?
False
Let c = 126 + -136. Let u be 298/c + 17/(-85). Which is bigger: u or -29?
-29
Let v be (-1435)/15 - 7/21*24. Are v and -104 equal?
False
Let u(i) = -6*i - 36. Suppose -31*j = -27*j + 24. Let t be u(j). Let m be t/2 - (6 - (-128)/(-20)). Is m at least as big as -53?
True
Let i(g) = -5*g + 1. Let n be i(7). Let u(l) = -l**3 - 2*l**2 + 68*l + 59. Let t be u(8). Are t and n non-equal?
True
Let j = -4499/8025 + 1/1605. Let m = j - 8/75. Let n be (0 - 0) + 51/(-6). Which is bigger: m or n?
m
Let f(b) = -b**2 + 6*b - 3. Let l be f(5). Suppose -l*c = -2 + 4. Let t = 689 - 4820/7. Which is smaller: t or c?
c
Let t be 80*-4*(-1)/5. Suppose -3*r + g = -t, r - 6*g = -4*g + 28. Let x = r + -20. Which is smaller: 6 or x?
x
Let p(i) = i - 4. Let x = -68 + 68. Let j(o) = -2*o + 3. Let h be j(x). Let q be p(h). Is q greater than or equal to -1?
True
Suppose -5*q + 3*l - 2 = -0, -3*q - 6 = -3*l. Suppose 0 = -3*z - 2*b + 2, -4*z - q*b + 2 = -0*b. Which is greater: 14 or z?
14
Suppose 2*x = 4*x + 2, 3*o = -x - 22. Suppose 2*j - 11 - 1 = 0. Let n be (j/5)/((-2)/10). Which is smaller: n or o?
o
Let l = 1668.1 + -1740. Let y = 73 + l. Which is greater: y or -7?
y
Let w = 10 + -9. Let y = -167 + 169.58. Let f = 0.88 - y. Which is smaller: w or f?
f
Let x = 284466322/6049 - 47027. Which is bigger: x or 1?
1
Let z = 0.36 - 1.037. Let f = 0.077 + z. Let s = -76.4 + f. Is s at most as big as 1?
True
Let s = -9/592 - -173761/592. Which is greater: 294 or s?
294
Let r be (-218)/(-164)*(-996)/9. Let j = -3722516/27183 - r. Let o = 126/13 - j. Which is greater: 0 or o?
0
Let d(c) = -10*c - 13. Let o be d(-8). Let b(q) = 44*q - 64. Let u be b(3). Which is smaller: u or o?
o
Let a = -0.0255 - 12.7745. Let d be 22/264 - 1/(-6). Is a less than d?
True
Let h be (-1)/((-2)/(-14))*1577/(-83). Suppose -h*w + 137*w = 0. Which is bigger: 2/235 or w?
2/235
Let p = -44013 + 44705.914. Let o = -693 + p. Does -1 = o?
False
Suppose 0*x - 99 = 3*x. Let m(s) = 24*s - 8. Suppose -6*q - 86 = -80. Let l be m(q). Which is greater: x or l?
l
Let m be 9/(-3) - (-170)/(-6). Let k = 32 + m. Let z = 5.65 - -4.35. Is z at most k?
False
Let x = -3 - -3. Let v(k) = 294 + 2*k - 250 - 5*k + 2*k. Let m be v(x). Which is bigger: -2/7 or m?
m
Let b = 470 - 262. Let n = b - 205. Which is bigger: -6 or n?
n
Let z = -3565 - -3236. Is z greater than -333?
True
Let y = 332 + -582. Let t = y - -250. Is t equal to -0.01?
False
Let a = -2177 - -2176. Is 2/523 > a?
True
Let s = 7116 + -7186. Is s at most -84?
False
Suppose 2*v + 10*v = -9*v. Suppose 0 = 2*g - 5*f - 47, 3*g + 4*f = f + 18. Suppose v = -13*k + 12*k - g. Do -11 and k have the same value?
True
Let k(d) be the second derivative of 3*d**5/20 - d**4/3 - 3*d**3/2 + 3*d**2/2 - 15*d + 2. Let f be k(3). Is f bigger than 26?
False
Suppose g = 5 + 2. Let p be (-3044)/(-30) - 10/105*g. Let v = p + -100. Is v at most as big as 0.1?
False
Suppose t = -4*x + 21, -4*x = t - 4*t - 1. Suppose x*f + 2*f = 7*f. Which is smaller: -2/21 or f?
-2/21
Let a(z) = -2*z**2 - 21*z - 18. Suppose -4*c + c = -4*x - 30, -2*c + 5 = -x. Let v be a(x). Suppose w = -v*w + 550. Is w at least 56?
False
Let o(d) = -d**2. Let m be o(2). Let c = -10.68 - -0.08. Let w = c + -0.4. Which is smaller: m or w?
w
Suppose -83*u = -93*u + 390. Which is bigger: 47 or u?
47
Let v = -1.29 + -0.41. Let z = 128.3 + -128. Let s = 0.4 - z. Are v and s equal?
False
Suppose 21*a = -4*a - 19*a. Suppose -3*g - 6 + 9 = 0. Let s be g/(-4) + a/(-20). Which is smaller: s or -0.17?
s
Let l be 10/35*(43/(-2) - -1). Suppose 0*o = -o - 5. Which is smaller: o or l?
l
Let c = -8146.07 - -8146. Let x = -3 - -1. Let o(h) = -h - 3. Let s be o(x). Is c bigger than s?
True
Let p be (-3)/12 - 101031/(-924). Let x = 204 + -95. Let w = p - x. Which is smaller: 0 or w?
0
Let f = -117.258 + 0.258. Let q = f - -117.67. Let a = q + -0.59. Which is smaller: -0.1 or a?
-0.1
Suppose -14*g - 42*g - 36298 = 606. Which is smaller: g or -657?
g
Let q = -8.907 - -0.207. Let j = -11.1 - q. Let c = -51 - -256/5. Which is greater: j or c?
c
Suppose -18*d + 61 = 61. Let r be 8/(-142)*5286/174. Let f = r + 48/29. Is d at most f?
False
Let t be -11*((-200)/22 - (-2 - 7)). Which is smaller: t or 1/4076?
1/4076
Let q(p) = 2*p**2 + 12*p + 13. Let y be q(-5). Let j be (8 + -6)/((-281)/y). Which is smaller: 0 or j?
j
Let a be (27346/(-726))/(1/(-4) + 10/24). Which is greater: -220 or a?
-220
Let q = -22657/288 - 135/32. Which is greater: -84 or q?
q
Let b = -1.3 - -0.3. Let j be ((-1092)/195)/(1/5). Let r be (-64)/80*10/j. Which is smaller: b or r?
b
Let l(c) = -c**3 - 9*c**2 - 3*c + 25. Let h(u) = -6*u - 55. Let o be h(-8). Let g be l(o). Is -52 >= g?
True
Suppose 0 = -4*u - v - v - 42654957368, -3*v - 53318696712 = 5*u. Let z = 439591326773546/41223 + u. Let n = -2/5889 - z. Is 2 greater than n?
True
Let p = -1.62 + -894.38. Let i = 894 + p. Is -0.142 greater than i?
True
Let p = 10/6267 - 61397/34549971. Which is smaller: 0 or p?
p
Suppose 0 = -8*v + 17*v + 693. Let l = v + 129. Is l greater than 51?
True
Suppose 172*v = 165*v + 35. Suppose t + 210 = -v*l, -l = -4*t + 40 + 2. Which is greater: l or -1?
-1
Let y = 44.13 - 66.69. Which is greater: y or -4?
-4
Let w(m) = 2*m**3 - 10*m**2 + 55*m + 150. Let z be w(22). Is z at least 17816?
True
Suppose -39*l - 198 = 153. Let k be -7 + 2 + 0 - l. Is 9/2 not equal to k?
True
Let p(f) = 7*f + 5. Let u = -4 + 1. Let j be p(u). Let q be 339/(-420) + (-12)/j. Is q > 0?
False
Let q = -113 - -107. Let o be -4 + (-2)/q + (-40)/(-15). Which is smaller: -1/6 or o?
o
Let q be 18/(((-9)/(-6))/((220275/44)/15)). Which is smaller: q or 4007?
q
Suppose -z = 4*z. Suppose -2*a - 1 = -2*n + 51, -5*a + 78 = 3*n. Let y be n/(-8) + (-10)/(-40). Which is smaller: y or z?
y
Suppose 0 = 4*r, 4*a - 30*r + 34*r = -272. Is a >= -25?
False
Suppose h + 10 = -3*u - 9, 0 = h - 4*u - 16. Let v be 5 + h/(2 - 0) + -8. Suppose 5*r + 8 = -2. Which is greater: r or v?
r
Let j be (-2367)/(-36) - 2/(-8). Let a = -78 + j. Suppose -4*z = 7*w - 2*w + 50, w - 5*z = -10. Which is greater: w or a?
w
Suppose 5*j + 14 = 64. Let p = 2797 - 2986. Let s be j/(-45) - 87/p. Which is smaller: s or 1?
s
Suppose -141*i + 30 = -136*i, -7*v = i + 463. Which is smaller: -36 or v?
v
Suppose 210*g + 621 = 219*g. Let n be (-4)/6*(-9)/2. Which is smaller: n or g?
n
Suppose -13*u - 42 = -15*u. Suppose 136 = -23*b + u*b. Let i be (-32)/b*(-2)/8. Which is smaller: i or 1?
i
Suppose 6913 = -82*f - 8220 + 619. Which is smaller: -176 or f?
f
Suppose 17*n - 34*n - 75*n = -276. Does n = 164/93?
False
Let z be 88/66*6/(-22). Let q = -6 - -3. Is q <= z?
True
Suppose 277*m - 4*m = 63*m - 136080. Is -648 > m?
False
Let w be (-87745)/(-164565) - (-4)/(-54). Which is smaller: -1 or w?
-1
Suppose -76*u + 65*u - 1221 = 0. Let r be u/(-37) + (-2 - (-391)/(-393)). Are r and 0 unequal?
True
Let g(x) = -x - 13. Let a be g(-13). Suppose -s - s = a. Let t = -107/6 - -19. Is s at most t?
True
Suppose -5*k + 2*x = -0*k + 365, 0 = 3*x - 15. Is -1188/17 >= k?
True
Suppose 58*q + 2280 + 4473 = 1069. Is -3 equal to q?
False
Suppose -3*n = -9*n - 8*n - 18*n. Which is bigger: 28/347 or n?
28/347
Let s = -541 + 539.548. Let k = -0.548 + s. Which is smaller: k or 8/7?
k
Let d = 4105.99 + -4106. Is 271 smaller than d?
False
Let l be (-8 - 4) + (-96 - 53). Is -2/95 greater than l?
True
Let i(t) = -512*t - 3584. Let r be i(-7). Which is bigger: -681 or r?
r
Let o(l) = 3*l - 96. Let s be o(33). Suppose 5*p = 4*p - s. Let g = p - -13/4. Which is greater: 5/16 or g?
5/16
Suppose -326*f + 599*f = 309*f - 1008. Which is greater: f or 639/23?
f
Suppose -22900 = 38*l + 50098. Is -1923 at most as big as l?
True
Let f = -3975.8 -