+ 28/(-3)). Which is smaller: h or -0.06?
h
Let z = 13453/5 - 2580. Suppose 0 = -3*j - 4*t - 338, -5*j + 4*t - 367 - 175 = 0. Let s = z + j. Is s less than or equal to 2?
True
Let y = 7689/4 + -1923. Let g be (3/(-24))/(2/12). Is y less than or equal to g?
True
Let h be (-2)/15*(-2691)/78*-5. Is h at least -23?
True
Suppose 111 = -5*q - 3*k, -3*q - 63 = -0*q + 3*k. Let g be (6/(-4))/((-84)/q). Suppose -4*o + i - 2*i = 7, 4*o - 8 = 4*i. Is g less than o?
False
Let o(j) = j + 20. Let a be o(-8). Let f = a - -1. Which is smaller: 27/2 or f?
f
Let s be (-10)/(-124)*5*7/(-7). Is 1 != s?
True
Let t = -0.231 + -0.069. Let h = -14 - -13.2. Is t at least h?
True
Let n be 4 + (-16)/3 + 8/24. Let x(z) be the third derivative of -z**6/15 - z**4/24 - z**3/3 - z**2. Let y be x(n). Which is smaller: 2 or y?
2
Suppose -7*s - 70 = 140. Which is smaller: -24 or s?
s
Let c = 238 - 358. Let f be ((-3)/18)/((0 - 3)/c). Is -8 at most f?
True
Let x be (54/15)/((-1)/(-10)). Let l = 35 - x. Which is smaller: l or -5?
-5
Let k = 368 + -340. Which is greater: 254/9 or k?
254/9
Let z = -83 - -85. Suppose z*x + 45 = 31. Suppose 3*y - u = -18, y + u + 6 = -2*u. Does y = x?
False
Let y = -5 - -6. Suppose -i - 4*i = 5. Let v be 3 - i/((-33)/105). Is v greater than or equal to y?
False
Let d be (4/(-128)*-8)/(142/(-12)). Which is bigger: 0 or d?
0
Let i be (-354)/(((-288)/63)/16). Is i less than 1239?
False
Let a(b) = -19*b**3 - b**2 + 6*b - 25. Let k be a(4). Which is smaller: k or -1234?
-1234
Let j = -34 - 36. Let z = -70.064 - j. Which is greater: -1 or z?
z
Let j = 9 - 23. Let p be (20/(-30))/((-12)/j). Which is greater: p or 0?
0
Suppose 14*j + 17*j + 25*j = 1792. Let a(l) = 2*l**3 - 3*l**2 + 3*l - 4. Let f be a(3). Are j and f equal?
True
Let t be 162 + (-2 - (0 + (-3)/1)). Suppose 3*c - 5*h = -t, -2*c + h = -2*h + 110. Is -62 at most as big as c?
True
Let r(n) = -13*n**2 - 50*n + 6. Let t be r(-11). Is t <= -1017?
True
Let y = 167.06 + -173. Let g = 5.1 - -0.9. Let a = y + g. Is 0 < a?
True
Suppose -4*y - 5*n + 29 = -27, -n - 56 = -4*y. Suppose 0 = w - 2*w - y. Which is smaller: w or -13?
w
Suppose 3*z = 6*z - 3*g + 30, -5 = 2*z + 3*g. Let x be 4/6*(-6)/z. Which is greater: x or 0?
x
Let m = -3 + 5. Suppose 8*v = 19 + 21. Let x be 2 - 0 - (v - m). Which is smaller: x or -1/8?
x
Let z be 5/4 + 10/(6040/(-756)). Which is smaller: 1 or z?
z
Suppose -24 = -2*q - 2*q. Suppose 4*d = -5*k - 19 - q, 5*d + 3*k = -15. Which is greater: 1.3 or d?
1.3
Let d be 2 + (-5 - 2) - -3. Let h = -1107/715 - -12/65. Is h less than d?
False
Let p(o) = 3*o - 36. Let q be p(13). Suppose -2*z = q + 1. Which is smaller: 14 or z?
z
Let r = -1916 + 7673/4. Which is smaller: r or -0.4?
-0.4
Let r be (2/5)/(10/2850*-3). Which is smaller: -22 or r?
r
Let m = -1468 - -1453.78. Is m at most 0.1?
True
Let d(t) = 1 + 87*t - 87*t - 2*t**2 + t**3. Let o be d(-1). Is 4 greater than o?
True
Let n = -0.019 + -1.661. Let k = n - 0.32. Which is greater: k or 5/3?
5/3
Let m be 2/(-8) + 18/8 + -5. Let d(f) = f**3 + 4*f**2 - 1. Let g be d(-4). Is g at most m?
False
Let o(h) = -3*h + 4*h + 16 - 25 - 58. Let j be o(19). Which is greater: -50 or j?
j
Let t be (0 - (-2)/6) + (-2356)/57. Which is smaller: t or -42?
-42
Suppose 2*q - 510640 = 2*d, 7*d + 1021325 = 3*d - 5*q. Let n = 561970059/2201 + d. Let o = n - -4/71. Are o and 1 equal?
False
Suppose -5 = -4*f - 1. Let m = -11 - -12. Let u be m - -1 - 14/10. Which is smaller: u or f?
u
Let c = -0.327 - -0.327. Which is smaller: c or 0.0318?
c
Let o = 189 + -419. Which is smaller: o or -229?
o
Let b = -474691/6276 + -234/523. Suppose 3*o - o = -152. Let d = o - b. Which is greater: d or -1?
d
Suppose 2*s - 10 = 5*v, 2*s - v = -1 + 3. Let j be ((-6)/5)/(24/(-180)). Let u be j + -8 - (-30)/(-26). Do s and u have the same value?
False
Let l = 39 - -41. Let w = l + -80. Is 4/13 < w?
False
Let a = -370 + 369.4. Which is bigger: a or -0.05?
-0.05
Suppose -5*y - 5*k = -40 - 30, 0 = 2*y - 3*k - 3. Suppose y*m = 6*m. Are m and 3/19 non-equal?
True
Let n be ((-2)/(-4))/((-87)/2). Suppose 5*p = -13*f + 14*f - 6, 0 = -4*p - 4*f. Which is smaller: p or n?
p
Suppose 2*s + 8*s = -240. Let q be ((-44)/s - 2)*-2. Which is greater: q or -16?
q
Let q be -2*1 - 5*3/(-5). Which is bigger: q or -2/2421?
q
Let k = 3/305 + 1163/5795. Let n be 2/(-4) - (-60)/40. Which is bigger: n or k?
n
Let w = -25003/71 - -352. Which is smaller: 0 or w?
w
Let h = 2919 + -1454. Which is smaller: -0.1 or h?
-0.1
Let w = 89.043 + -0.043. Let m = w - 84. Which is smaller: m or 0.4?
0.4
Let v(p) = p - 4 + 4 + 0 - 2. Let b be v(3). Is b != -2/131?
True
Let t be ((-3)/5)/(12/15). Let v be 8/(-84)*((-152)/(-12) - 8). Do v and t have different values?
True
Let n = 19.5 - 20. Let f = 0.6 + n. Which is smaller: f or -8?
-8
Let i = 15 + -14. Let s = 281/6 - 47. Is s at least as big as i?
False
Let f be (29/(-9))/((-7)/280). Let o = -129 + f. Which is smaller: -1 or o?
-1
Let j be (3*(-12)/(-1035))/((-6)/5). Let d be (-9)/((-162)/4) + 33/(-27). Which is greater: j or d?
j
Let o = 37 - 37.027. Let s = o - -7.227. Let v = s + -6. Is v >= 1/4?
True
Suppose 2*s - 42 = 3*h - 0*s, 4*h + 42 = -2*s. Let d be 1/1 + 6 + h. Suppose 13 = 4*i + 5*q, -40 = 5*i - 0*q - 5*q. Which is greater: i or d?
i
Let u = -3.3 - -3.2. Is u smaller than 194?
True
Suppose 0*k = 2*k - 80. Let u = 62 - k. Is 21 bigger than u?
False
Suppose 3 + 3 = 3*x. Let a be (10 + (-20)/(-5))/x. Are 10 and a unequal?
True
Let u = -2.97 - -3. Let h = -11.007 + -0.963. Let i = h - u. Which is bigger: -1 or i?
-1
Let r = 188 + -375/2. Let u = 4 - 6. Let p = u - -1.1. Is p > r?
False
Suppose 0*u = -6*u - 72. Do u and 6 have different values?
True
Suppose -56 = 12*a - 80. Is a > -18?
True
Let v be (140/(-1995))/(20/6). Do -1 and v have different values?
True
Let g = 24 + -22. Suppose 0 = g*l - 8*l - 6. Let q = 263/1430 - 8/55. Which is smaller: l or q?
l
Suppose i + 72 = 9*i. Let w(g) = -g - 5. Let z be w(-5). Suppose z = -2*k + 6*k - 32. Is i bigger than k?
True
Let o = 2 + -7. Let h(l) = l**3 + 6*l**2 + 3*l + 2. Let f be h(o). Let v be 4 + -1 - (-20)/f. Is 6 greater than v?
True
Suppose -2*p = 2*p + 28. Let g(m) = m**2 + 10*m + 13. Let q be g(-6). Let c = q - -4. Does c = p?
True
Let u = 91 - 1550/17. Let a = 13 - 13. Is a at most u?
False
Let v = 22 + -18. Let b = v - 4.5. Let j = 15.5 + b. Is j at least as big as -1?
True
Let i = 7 - 17. Is -7 at least i?
True
Let l = -593 - -503. Is -4 greater than l?
True
Suppose -11 = 9*s - 2. Is s < 38/17?
True
Suppose -4*q + 7 = -1. Suppose -4*w - q*n = 22, -3*w - w - 13 = 5*n. Is w < -5?
True
Suppose -3*c = -4*k - 22, -5*k - 17 + 0 = -2*c. Is c at most as big as 7?
True
Let q be 8 + (0 - -1)*-1. Let z be 3 - (147/6)/q. Suppose -5*v + 0*v - 5 = 0. Is z < v?
False
Suppose 2*z + 16 = -o + 2*o, -o - 2*z = 4. Let d be 84/16 + (-3)/12. Suppose d = -2*i + i + s, 2*s - o = 0. Which is greater: i or 3?
3
Suppose 0 = 6*x - 3*x + 3. Let a = 13 + -8. Let u be ((-6)/(-5))/((-7)/a). Which is smaller: u or x?
x
Let l = 0.0509 - 0.0509. Which is smaller: l or -208?
-208
Suppose -3 = -3*u - 4*x, 5*x = u + 4*x - 8. Let l be (2 + -2)/1 - 2. Let c be (-52)/55 - l/u. Which is smaller: 0 or c?
c
Let o be -1*3 - ((-14)/2 + -101). Let z be 259/o + -3 - (-1)/5. Which is bigger: z or -14?
z
Suppose -5*y - 14 = -12*y. Suppose -4*u - 3*z - 37 = -y*u, 5*u = 2*z - 64. Is 2 <= u?
False
Suppose 0 = -3*d + 15, -4*d - 395 = 4*l + d. Let y be l/14*8/(-5). Let o be (-186)/8 + 3/y. Is -22 less than or equal to o?
False
Let j = -2734 + 2733.9. Which is smaller: -445 or j?
-445
Let x(i) = i + 7. Let n = -5 - -1. Let c = n + 4. Let r be x(c). Is r less than 7?
False
Let c = 1.449 - 0.849. Let v = 0 - -1. Is c bigger than v?
False
Let i = -247 + 140. Which is bigger: i or -0.3?
-0.3
Suppose 5*y - 2*w - 538 = 0, -y + 13*w - 15*w + 98 = 0. Which is greater: y or 109?
109
Let r(v) = v**3 + 4*v**2 - v - 3. Let x be r(-4). Let m be (-30)/(-20)*5/(-45). Which is smaller: x or m?
m
Let j = 5.4 + -6. Let h = j + 0.52. Let c be ((-2)/(-3))/(2 - (-3)/(-9)). Which is smaller: h or c?
h
Suppose -2*g + 28 = 3*g + 2*d, 4*d + 16 = 2*g. Let j be 4/(-6) - ((-6)/2 - -3). Which is bigger: j or g?
g
Suppose -62*t + 71*t = -3429. Which is smaller: -382 or t?
-382
Let r be (-360)/(-