 -0.04. Let u = x - 4. Let o = -1 - u. Is -3 > o?
False
Let t be 4*(-2)/54*114/(-304). Let s = 1 + -1. Is t >= s?
True
Let h(o) = o**2 + 5*o - 13. Let m be h(-7). Is m greater than or equal to 3/44?
True
Let f(o) = o + 5. Let y(u) = -u - 2. Let m be y(-5). Suppose -m*d = -2*d - 2*h + 15, -5*h + 25 = 0. Let x be f(d). Which is smaller: -1/6 or x?
-1/6
Let d = 12/43 + 1997/86. Let n = -24 + d. Which is greater: -0.1 or n?
-0.1
Let s(o) = -o**3 + 7*o**2 - o + 9. Let z be s(7). Suppose 0 = 4*c - z*p - 16, -c + 4*c = -3*p + 30. Let j be c/(-2)*(0 + 1). Is -4 less than j?
True
Suppose 4*m = w - 149, -5*m + 2*m + 653 = 5*w. Which is smaller: w or 134?
w
Let o(m) = -m. Let h(a) = 1. Let f(k) = 6*h(k) + o(k). Let u be f(5). Which is smaller: 1/6 or u?
1/6
Let t(x) = 2*x**2 + 18*x + 1. Let i be t(-9). Does i = -2/9?
False
Let h = 12 - 11.3. Let m = 1.7 - h. Which is smaller: 2/11 or m?
2/11
Let l be 4/1 - (-3)/(-3). Suppose 0 = l*h - 5*h. Suppose s - 6*s + 20 = h. Is s at most as big as 4?
True
Let d be (12/(-2))/(6/(-21)). Let b be (1 - -2) + (-69)/d. Which is greater: 0.2 or b?
0.2
Let w(h) = -h**3 - 7*h**2 + 8*h - 1. Suppose 0 = -5*d + 4*d - 8. Let t be w(d). Which is bigger: -1/3 or t?
-1/3
Let i = 22604/17 + -1330. Do i and 1 have the same value?
False
Let b be ((-17)/(-8))/(2/(-4)). Let n = -21 + 16. Let m = b - n. Is m at least as big as 0?
True
Suppose 3*q - i - 24 + 7 = 0, -4*q + i + 24 = 0. Let n = -11 + q. Are n and -4 unequal?
False
Let z = 835/7 - 119. Which is bigger: 1 or z?
1
Let y = 0 - 0. Suppose y = -3*q + 7 + 17. Suppose -3*i + 7 = 4*a - q*i, i = -5*a + 16. Is 3 greater than a?
False
Suppose -6*c + 9*c + 3 = 0. Which is bigger: 3 or c?
3
Let a = -5/111 - -495/37. Which is smaller: 12 or a?
12
Let l(s) = 4*s + 1. Let w be l(4). Let k be w/(-55) + (-6)/(-15). Is 0 bigger than k?
False
Suppose 0*x + x + 3*o + 6 = 0, -5*x + 5*o = -10. Which is smaller: -3/19 or x?
-3/19
Let f = -21615/56 - -386. Let r = f - -11/168. Is r greater than or equal to 1?
False
Let k(v) = -v - 11. Suppose 5*r + 5*q = -0*q - 65, 4*q = 3*r + 46. Let w be k(r). Let j be 6/14*2/w. Which is greater: j or -1?
j
Let p = 194 + 34. Let d be (-4)/22 - p/(-44). Is d != 3?
True
Let n = 7 + -8. Let t = -0.13 + 0.07. Are t and n nonequal?
True
Let u = 3 + -6. Is u < -3?
False
Suppose -g = -5*f - 15 - 4, -5*g + 5*f + 15 = 0. Let q(r) = r**3 + 1. Let a be q(g). Does 1/2 = a?
False
Let k = -343/264 - 3/88. Is 0 != k?
True
Let q(y) = 3*y + 6. Let h(d) be the first derivative of -7*d**2/2 - 12*d - 1. Let b(x) = -4*h(x) - 9*q(x). Let r be b(5). Is 1/5 greater than or equal to r?
True
Let m be (-19)/((28/82)/(-2)). Let c = 111 - m. Is c less than 0.4?
True
Let c be (28/(-8)*2)/(-1). Is 9 > c?
True
Suppose 4*p + 0*p = 24. Let f = p + -5. Which is smaller: f or 0.3?
0.3
Let p = 18.2 - 18. Which is smaller: -4 or p?
-4
Suppose 2 + 6 = 8*d. Let i be ((-1)/7)/((-6)/(-7)). Which is bigger: d or i?
d
Let n be 9 + 0 + 0 + -3. Suppose -2*w - 3 = 9. Let v = n + w. Which is smaller: -1 or v?
-1
Let k(y) = 8*y. Let j be k(1). Are j and 7 non-equal?
True
Suppose 5*f = -37 + 107. Does f = 15?
False
Let s(k) = k**2 - 1. Let j be s(0). Let m = 333/2 + -831/5. Is j at most as big as m?
True
Let a be -17 + -1 - 0 - 2. Let t be (-6)/a*2*-1. Let n be (0/(-1) + -1)*(-2 - -3). Are t and n nonequal?
True
Let b be 3/3 + 22/(-12). Let n = b - -1/3. Is -1 smaller than n?
True
Suppose 0 = n + 22 - 1. Let b be (-1)/3*7/n. Which is greater: -1 or b?
b
Suppose 3*c + 4*m - 41 = 4*c, 3*c + 4*m + 203 = 0. Let u be c/65 + 2/6. Let w = 1/195 + u. Which is smaller: -1 or w?
-1
Let h be (3/(-8)*-4)/(1/(-40)). Is h >= -60?
True
Let c = 20913 - 627263/30. Let z be 2/(12/26) - 0. Let x = z - c. Which is smaller: x or 0?
0
Let b = 18 - 17.3. Which is bigger: b or -1?
b
Suppose 0 = -3*z + 6 - 0. Suppose -3*g = -z*g. Do -1 and g have the same value?
False
Let y = 0.148 - 1.048. Which is bigger: y or 1?
1
Suppose 6*b + 21 = 3*b. Is b at least -6?
False
Let w = 6407 + -531775/83. Let t = 523754680/747 + -701144. Let z = w + t. Is z smaller than 1?
True
Let k = 5/54858907486 - 1064290237658793/32659153393640380. Let w = 1/6436 + k. Let l = 256/3515 - w. Is l >= 1?
False
Let p(b) = -2*b**3 - 2. Let q be p(-2). Suppose -g = 2*c + 2*g - q, -20 = -4*c - 4*g. Suppose 2*f = -a - c, -4*f - 3*a = -4*a + 5. Which is smaller: f or -2/13?
f
Let m(d) = d**3 - 7*d**2 + 3*d - 10. Let g be m(7). Let o be 1*(3*4 - 1). Is o greater than or equal to g?
True
Suppose 4*m = d - 17, 0*m + 4*m = -d - 23. Let o = d + 2. Let p be 15/10*o/(-6). Is p equal to -2?
False
Let p = -8 + 13. Which is smaller: p or 3?
3
Let y be (2 + 0 + -1)*4. Suppose 2*m + 8 = 2*w, y*m = w - 15 - 1. Is -1/10 != w?
True
Let a = -1 + 4. Suppose -a*d = 13 - 4, -34 = -5*h + 3*d. Suppose 0 = -c + h*c + 4. Is -4 at least c?
False
Let m be (60/(-16) + 4)*2. Which is smaller: -7/6 or m?
-7/6
Let y = 0 - -2. Suppose -l = -y*l + 63. Let v be (-48)/l + (-2)/(-6). Which is smaller: v or 0?
v
Let r = -1829/665 + 17/95. Is -4 less than or equal to r?
True
Suppose -2*z + 5*u = 18, 0*z - 2*z + 3*u = 18. Let q(j) = -j**3 - 10*j**2 - 11*j - 11. Let h be q(z). Is h <= 6?
False
Let n = -10 - -25. Let r be (-6)/(-7)*(-5)/n. Let x = -3 + 4. Which is greater: x or r?
x
Let i = -14/67 + 764/3015. Which is smaller: -1 or i?
-1
Suppose 2*b - 4 = 2*i, 7*b - 3*i - 6 = 6*b. Is -17 smaller than b?
True
Let x be ((-4)/(-16)*-2)/((-3)/(-54)). Which is smaller: -5 or x?
x
Let x = 3.91 + 0.09. Suppose -3*k + 4*j - 14 = 0, 5*j = 3*j + 10. Let w be (-3)/k*8/(-42). Which is bigger: w or x?
x
Let o be 2/(-4)*3 + (-16)/(-11). Which is greater: 1/4 or o?
1/4
Let q be (-6)/(-30) + 31/(-5). Are -7 and q equal?
False
Let r = 6 - 3. Suppose -3*u + 3 = -0*u. Which is greater: u or r?
r
Let b = 0.05 + -0.25. Is b <= 8?
True
Let r = 41071252/98571 - 2/98571. Let n = 400 - r. Let j = n + 16. Is -2/3 greater than or equal to j?
True
Let x = -25 + 26. Is x >= 1/16?
True
Let i = -5 + 6. Let v = 0.8 - -0.2. Let d = v + 0. Is i less than or equal to d?
True
Suppose 84 = -2*n - 4*c, -2*n + c - 36 - 28 = 0. Is -34 at least n?
True
Let q = 7 + 2. Let d = 8.772 - -0.128. Let p = q - d. Is 0.03 greater than or equal to p?
False
Let y be ((-1)/(-2)*2)/1. Is -1/11 equal to y?
False
Let h = 6.86 + 0.14. Let m = -7 + h. Suppose 2*d = 4*d + 2. Which is smaller: d or m?
d
Let m be (84/15)/(8/20) - 0. Which is greater: 15 or m?
15
Let z(d) = 3*d**2 - d + 1. Let q(g) = 4*g**2 + 1. Suppose 5*c + 4*l + 8 - 20 = 0, -5*c + 16 = 2*l. Let x(v) = c*q(v) - 5*z(v). Let s be x(-5). Does s = -1/4?
False
Let l = -41/2 - -21. Are l and 2 equal?
False
Suppose 5*i - 2*r - 15 = 0, r - 2*r = -5*i + 10. Is 53 not equal to i?
True
Suppose 3 = 2*j + 1. Let z be (0/(-1))/(j + -3). Let d be (-2)/(-4) + (-2)/(-4). Is z > d?
False
Let r(n) = -n - 10. Let l be r(11). Let k be (12/l)/2 + -1. Which is bigger: -2 or k?
k
Let s = -9 + 17. Let y = s + -8.8. Let b = 0.2 - y. Is b >= -1/2?
True
Let c = 92 - 88. Are c and -1 equal?
False
Let p = -72.2 + 73. Which is bigger: p or -0.3?
p
Let i(t) = t**2 - 1. Let w be i(2). Let h(o) = -1 - o**2 + 0 - o**w - o + 2*o**2. Let x be h(0). Which is bigger: 1 or x?
1
Let l(r) = r**2 - 9*r - 6. Let m be l(8). Let o be ((-1)/(-6))/(m/(-21)). Which is bigger: -1 or o?
o
Let n(p) = -7*p + 7 + 2*p + 4*p. Let k be n(9). Let l be (k + 2)/((-2)/(-1)). Is -2 bigger than l?
False
Suppose -3*q = -16 + 1. Suppose -1 = 2*f + 7, 14 = -3*m - q*f. Let t be (-8)/28 + m/7. Which is bigger: -1 or t?
t
Suppose 0 = 4*d + 31 - 151. Suppose -4*g + v + 10 = 0, -5*g - 5*v + d - 5 = 0. Suppose g*x + x = 4. Which is bigger: x or -2/15?
x
Let r = 0.09 - 4.09. Let u = -0.13 - -4.33. Let w = r + u. Which is bigger: -0.1 or w?
w
Suppose -3*c - 2*g = c - 10, 5*c = -5*g + 10. Suppose 5*l + 6 = x, -l - 3*l - c = x. Is l > 1/4?
False
Let c = -26 - -24. Is c at most -3?
False
Let x = -49 + 346/7. Which is smaller: 0 or x?
0
Let q = 0.068 + 0.632. Which is greater: q or 2?
2
Let w = 22 - 9. Is 1 <= w?
True
Let w = 6 - 1. Let f be 23/6 - 2/(-12). Which is smaller: w or f?
f
Let g(y) = -y**3 + 6*y**2 + 2. Let j be g(6). Let q be 8/j*(-2 + 1). Let h(o) = o**2 + 2*o - 15. Let v be h(-5). Is q smaller than v?
True
Let r be (-50)/20*(-8)/10. Let i be (2/(-2) - -2)*r. 