= f + 2*v. Is -0.1 < f?
False
Suppose 5*u - 5 = -2*i, 4*u - 6*u + 2*i = -2. Let l = u + 0. Let m = 301 - 2099/7. Is l less than m?
True
Suppose 0 = 5*k - 27 + 7. Suppose 17 = b + k*s, -4*b = -4*s - 1 - 7. Let y be ((-6)/(-12))/((-2)/(-8)). Which is smaller: y or b?
y
Let y = -596 + 555. Which is smaller: y or -37?
y
Suppose -11*i - 267 - 833 = 0. Let f = -104 - -5. Which is smaller: f or i?
i
Let u = -301 - -312. Which is greater: u or -3?
u
Let m be -1 - -1 - 4 - (-39 + 279). Is -244 >= m?
True
Let b(w) be the first derivative of -w**4/4 - w**3 - 3*w + 13. Let y be b(-3). Which is greater: y or -1?
-1
Let p(l) = 33*l + 263. Let y be p(-8). Which is greater: 1/117 or y?
1/117
Let m = 8.44 + -8.28. Which is greater: 4 or m?
4
Suppose 0 = l - 35 + 31. Is l >= 44?
False
Suppose -11*r + k = -6*r - 47, -4*k = 8. Is 26/3 at least r?
False
Let h(d) = d. Let m(x) be the third derivative of x**4/24 + 2*x**2. Let t(n) = -5*h(n) + 4*m(n). Let r be t(1). Which is smaller: 0 or r?
r
Let w(l) = -l**2 - 7*l + 49. Let i be w(-11). Which is smaller: i or 0.1?
0.1
Let d be ((-1)/(-3))/((-5)/(-120)). Let o be (2/d)/(2 - (-1359)/(-684)). Which is greater: o or 16?
o
Let l be ((-2)/(-6))/((-1)/(-3)). Suppose 2*k = 4*t + 5*k - 31, 4*t + k - 29 = 0. Is t at most as big as l?
False
Let k = -442 - -2208/5. Let x = -5/12 - -1/12. Is x greater than k?
True
Let z = -81 + 11. Let f = z - -913/13. Is f < 1?
True
Let r = 11 - -18. Let s = -26 + r. Is s at least 4?
False
Let v be (-4)/394*86/(-172). Are v and 0 unequal?
True
Let l = 3.66 - 7.4. Let i = -0.26 + l. Let a = 5 + i. Which is bigger: 0 or a?
a
Let v(i) be the first derivative of -i**3/3 - 11*i**2/2 + 15*i + 20. Let o be v(-10). Which is smaller: o or 1?
1
Let x = -1 - -2. Suppose -32 = -5*o - 112. Let n be x/((-4)/o*1). Which is smaller: n or 1/2?
1/2
Suppose 4*i = 4*g + 28, -4*g - 5*i - 1 = -0*i. Let o = 63 + g. Does o = 58?
False
Let y = 0.0534 + -0.3534. Let z = 12.17 - 12. Which is smaller: y or z?
y
Suppose 0*k = -6*k - 240. Is k >= -40?
True
Let x = -0.021 + -13.979. Let f(j) = -j**3 + 9*j**2 + 2*j - 8. Let o be f(9). Let v be (-10)/4*(-4)/o. Which is smaller: x or v?
x
Let y be ((-5522)/340)/(-11)*1. Let o = -2/85 - y. Is -1/2 less than o?
False
Let l be (4 - -1)/5 + 1. Suppose -w - c + 5 = -14, -l*c - 7 = -w. Is w at most as big as 1/2?
False
Let t = -814 + 797. Which is bigger: t or -1?
-1
Let b(q) = -q**2 + 6*q - 5. Let w be b(4). Let r(l) = -7 + 4*l**2 + 6 - l**w + 0*l**3. Let p be r(4). Is 1 less than p?
False
Suppose 3*p + 2*l = -2*l + 67, p = l + 13. Let w = 8 - p. Suppose -41 = 3*r - 2*o - 5, 3*o - 49 = 4*r. Is r < w?
True
Let i = 1531/2666 - 24/43. Let y(m) = -m**2 + 4*m - 1. Let j be y(4). Which is greater: j or i?
i
Let x be 1*((-222)/(-9) - -1). Let q = -26 + x. Which is smaller: -1 or q?
-1
Suppose -2*u + 9 + 7 = 0. Suppose 2*o + 8 = -u. Is o greater than or equal to -8?
True
Let v = -3827/51 - -75. Let w be 6/2 + 1 + -5. Is v != w?
True
Let o = -1/170 + 687/1190. Let w = -70.81 + 73.81. Which is smaller: w or o?
o
Let x be (-56)/70*5/(-2). Suppose -4*z + 12 = x*s, 20 = -3*z - 2*z. Let m be -2 - (-15)/s*2. Are m and 0 equal?
False
Let r = 20/7 - 2020/21. Let z = 92 + r. Let j be -4 - 4/6*-3. Which is smaller: z or j?
j
Let i = -51.9617 - 0.0383. Which is bigger: i or -1?
-1
Let q be (-21 - (-5 + 1))*-5. Suppose -12*t = -7*t + q. Are t and -17 non-equal?
False
Let d(l) = -3*l**3 - l**2 - 2*l - 5. Let s be d(-2). Is s less than or equal to 17?
False
Let h(v) = v - 16. Let i be h(5). Let w be ((-104)/(-12))/((-2)/3). Which is bigger: w or i?
i
Suppose -a + 58916 = -l + 379, -a + 58539 = l. Let n = 291259/5 - a. Let i = 285 + n. Which is greater: 0 or i?
0
Let h = 0 + 2. Suppose -w - h*w = -9. Suppose w*i - 9 = -0*i. Which is smaller: 4 or i?
i
Let u = -0.2 + -1.8. Let a = 634.75 - 635. Which is smaller: a or u?
u
Suppose 0 = -2*r + 7*a - 2*a - 28, 2*a - 15 = r. Is -24 equal to r?
False
Let y be (-63)/(-147) + 9882/21. Do 472 and y have the same value?
False
Let b = 387 + -552. Is b at most -165?
True
Let r be 4/6*(4 - 13). Let v = -3 - r. Suppose v*u + 32 = -19. Are 0 and u equal?
False
Suppose -5*f - 3*h = 2538, -3*f - 2132 = -5*h - 582. Is -510 at least f?
True
Let t be 1/(-2) + 231/726. Which is greater: t or 0?
0
Let a = -74 + 59. Is -17 at most as big as a?
True
Let h be ((-52)/10)/(16/80). Let s = h + 28. Suppose -3 = -f - 0. Which is smaller: f or s?
s
Suppose 286*u - 289*u = -1167. Do 389 and u have the same value?
True
Let j = 1 + 1. Let g(l) = -3*l + 5. Let q(x) = -5*x + 6. Let f(a) = -4*g(a) + 3*q(a). Let t be f(j). Is t not equal to -7?
True
Let s = -0.427 - -196.427. Is s > -1/3?
True
Let z = 0.0524 - -0.7476. Let s(o) = o**3 + 5*o**2 + 4*o. Let m be s(-4). Let i = m - -1. Which is smaller: z or i?
z
Let f = 0.326 - 0.249. Are f and 0.1 non-equal?
True
Let b be -2 + 2 + 2/7. Let h = 54 - 51. Suppose 0 = d - 5*q - 17, -4*d = -3*d - h*q - 11. Is d < b?
False
Let o = 3.864 - 0.864. Which is smaller: o or -10?
-10
Suppose -4*f + 652 = 556. Which is smaller: f or 97/4?
f
Let r = 13 + -8. Suppose -34 = -3*y - r*n, 56 = y + y - 5*n. Suppose y = 2*h - 0. Which is greater: h or 2/3?
h
Let z = -102 + 42. Which is smaller: z or -59?
z
Let d = -0.1 + -0.1. Let f = 3.6 + -3.15. Let l = -0.35 + f. Are l and d non-equal?
True
Let a = 15 + -14. Let h be (-3160)/(-36) - 2/(-9). Let v be -2 + a - h/(-28). Which is smaller: 1 or v?
1
Let m = -18 + 15. Which is greater: m or -17?
m
Let n be (-4)/((-192)/(-18))*-24. Which is smaller: n or 74/9?
74/9
Suppose 4543*t + 1786 = 4545*t. Which is bigger: t or 894?
894
Let n(v) = -2*v**3 - 21*v**2 - 14*v - 41. Let j be n(-10). Is j at most as big as -1/579?
True
Suppose 4*y - 627 = 393. Which is greater: -0.1 or y?
y
Let s = 16 + -10. Let h be (-3)/s + (-1)/4. Let c = -1.68 + 1.68. Which is bigger: c or h?
c
Suppose 15*s - 5*s + 539 = 87*s. Let t be (-80)/(-14) - 2/(-7). Is t less than or equal to s?
True
Let s = -378 + 5672/15. Let p(b) = -b**3 + b + 1. Let x be p(-2). Suppose 4*t - a - 2*a = -x, 0 = -3*t + a - 4. Which is smaller: s or t?
t
Let n(w) = -3*w**3 + w - 2. Let s be n(2). Suppose -f = 4*q + 40, -4*q = 15 + 1. Does s = f?
True
Let r(f) = -13*f**2 + 6. Let z(v) = 39*v**2 - v - 17. Let p(a) = -8*r(a) - 3*z(a). Let n be p(-1). Is n at least -13?
True
Let v(c) be the second derivative of c**5/20 + c**4/4 - 5*c**3/6 - 3*c**2/2 - c. Let d be v(-4). Suppose -15*z = -12*z. Is z < d?
True
Let o = -310 + 635/2. Suppose -2*t + 24 = 2*p, -5*t + 3*p + 2*p + 30 = 0. Is t at most o?
False
Suppose 7 = -2*w + u, -5 = -3*w - 3*u + 7. Is -1/44 at most as big as w?
False
Let b = 1218 - 1220. Let w(h) = -h. Let t be w(5). Which is smaller: b or t?
t
Let b(h) = 8*h - 80. Let j be b(11). Which is bigger: 1.3 or j?
j
Let t be (-9)/3 + -4 + 1. Let m = t - -8. Let v be m/(-24) + (-2)/(-8). Is 1 smaller than v?
False
Let w(b) = -b - 4. Let l be w(-5). Suppose 0 = 4*i + 29 + 43. Let h = -18 - i. Is h smaller than l?
True
Let m = 1/149 - 367/10281. Is m at least 0?
False
Suppose 2*l - 3*i - 6 = 3*l, 0 = -5*l + i - 46. Let y(n) = -n**3 + 4*n**2 + 2*n + 3. Let c be y(4). Let s = c + l. Is 0.9 at most s?
True
Let l = -5.33 - -5.23. Do l and 11/45 have different values?
True
Suppose v + 7 = 4*f + f, -2*f - 2 = -2*v. Suppose -w = -4*l + 20, 5*w = -f*l - 3*l + 25. Let j be 1*(22/(-20) + 1). Which is bigger: w or j?
w
Suppose -4*r = -v - 298, -5*r + 2*v = -518 + 144. Let z = 77 - r. Is 5 smaller than z?
False
Let q = 0.564 - -10.436. Which is smaller: 24 or q?
q
Let b(t) = 7*t**3 - 10*t**2 - 6*t + 12. Let p(k) = -k**3 + k**2 - 1. Let s(i) = -b(i) - 6*p(i). Let d be s(5). Which is greater: d or 2/213?
2/213
Let f = -109.1 - -102.1. Is f not equal to -13?
True
Let t = 6 - 11. Let p be (-1 - (t - -3)) + 2. Suppose p = 3*b + 21. Which is greater: b or -5?
-5
Let z = -3/1222 - -1717/201630. Which is smaller: -1 or z?
-1
Suppose 0 = 2*r - 836 + 1042. Which is smaller: -100 or r?
r
Let h = 34 - 55. Which is smaller: h or -179/9?
h
Let i = -127/4 - -1123/36. Is i at least as big as -0.2?
False
Let a = -8 + 11. Suppose a*s - 2 = 4*s. Which is smaller: 2 or s?
s
Let z = 538.183 + -538. Is z equal to -2/5?
False
Let m be ((-20)/48)/((-10)/6). Which is smaller: m or -76?
-76
Suppose 0 = -16*z 