+ 0. Let u be (-4)/10 + (-4)/(-10). Is i at least u?
False
Let v = 108656013 - 68127337571/627. Let r = 306/11 + v. Is 0 less than r?
True
Suppose 2*h + 106 - 42 = 0. Let b be h/308 + 4/(-22). Suppose -2*z = 3*z - 10. Is b > z?
False
Suppose -2*a = a - 15. Does 3 = a?
False
Let p = -4 + -8. Let f = p + 11. Is f <= -2?
False
Let j be 22/(-4) - (-2)/4. Let n = -4 - 2. Is n at most j?
True
Let r(o) = -5*o**2. Let b be r(-1). Let t = 5 + b. Which is smaller: -1/3 or t?
-1/3
Let a = -157 + 269. Is 111 >= a?
False
Suppose -7*r + 6*r = -23. Let x = -57 + 81. Is r at least as big as x?
False
Let k = -1 - -1. Is k <= -0.12?
False
Let k be 2 + (24/(-9))/1. Let r be 6/(-9) - 8/(-3). Suppose -r*v = -1 + 3. Is v <= k?
True
Let y = -2/5 + 0. Suppose 3*k = 8*k - 2*i - 3, -2*k = -5*i - 18. Which is smaller: y or k?
k
Let n be (-1 + 1)*(-1 - 0). Let w be 35/(-11) + 2/11. Let x be 15/24 - w/(-4). Which is smaller: n or x?
x
Let w = 1495 + -34395/23. Which is smaller: -2 or w?
-2
Let a be (-6 - 75/(-10))*(1 - 5). Is a equal to -0.1?
False
Suppose 0 = 18*b - 19*b - 13. Is -14 != b?
True
Let q = 0.4 - 8.4. Let t be 1 + 1/(-3) - 0. Which is bigger: q or t?
t
Let u = 1/13 + -15/26. Let q = 3 + 0. Let i = q - 4. Which is smaller: i or u?
i
Let y(p) = -p**3 + p. Let k be y(0). Do -10/7 and k have different values?
True
Let f(i) = 13*i + 90. Let c be f(-7). Let u = 911/330 + -27/10. Is c <= u?
True
Let n(w) = 897*w**2 + 5*w + 3. Let b be n(5). Let x = b - 3367963/150. Let i = x + -2/25. Which is smaller: 0 or i?
i
Let b(z) = 3*z**2 - 6*z + 9. Let w(u) = -6*u**2 - u. Let l be w(-1). Let v(k) = 7*k**2 - 11*k + 18. Let r(x) = l*b(x) + 2*v(x). Let y be r(7). Is -3 equal to y?
False
Suppose -2*l - 4 - 2 = 0. Let o = l - -3. Suppose -2*x = 3*x - 10. Is o <= x?
True
Let k = 27 - 16. Let l = 11.1 - k. Which is smaller: l or -2?
-2
Let r be (-3)/5 + 48/5. Suppose -3 = -l - r. Let x be 2/(-10)*(-5)/l. Is -1 greater than or equal to x?
False
Let y = 1/154 - -305/462. Let g = 28 - 28. Which is smaller: g or y?
g
Let o = -9 + 4. Let f(w) = w + 12. Let x be f(-11). Which is bigger: x or o?
x
Let g = -528 - -8980/17. Which is greater: -1/2 or g?
g
Let v be (-1)/2*4/(-7). Let o be (-7 - (-2 - -2)) + 1. Let b be ((-3)/o)/((-2)/4). Is v bigger than b?
True
Suppose 0 = -9*t + 7*t + 4. Is 9/4 at most as big as t?
False
Let v = 190 + -1708/9. Let w = 7.2 - 8. Let j = w + 0.9. Which is smaller: j or v?
j
Let o = -317/378 - 1/54. Which is greater: -3 or o?
o
Let x be (-1)/2*1 - 0. Let w = -2 - -1. Which is bigger: x or w?
x
Let b(v) = -v**3 - v**2 + v - 3. Let w be b(0). Let t be (w/(-36))/(1/3). Which is smaller: -1 or t?
-1
Let z = -13/29 - -317/319. Is z greater than 0?
True
Suppose -j + 0 = 3*y + 3, 3*y - 4*j = 12. Let q(o) = -o**3 - o**2 - 1. Let u be q(y). Are u and -2 unequal?
True
Let a = 7.12 + -7. Let x = 611/7 + -87. Which is smaller: a or x?
a
Suppose 0 = 10*n - 11*n - 1. Which is bigger: -2/53 or n?
-2/53
Let s be 4/(-2)*-2 - 2. Let m = -1 + 3. Is s greater than m?
False
Suppose 47 + 38 = 5*a. Suppose -2*i + 4 - a = -3*l, -5*l + 25 = 0. Let m be 10/(-58)*(-2)/5. Which is greater: m or i?
i
Suppose -2*x - 4*a + 5 = 25, 0 = x + 5*a + 25. Suppose -5*j = -0*j + 30. Let d be (-16)/j*2/(-12). Is d greater than x?
False
Let a = -3 - -6. Suppose 10 = a*x - m, -m = -2*x + 6*x - 4. Let g be (-1)/6*8/x. Is -1 < g?
True
Let s be 0 + 0 + 4/(-6). Let p = 53/220 + 1/110. Which is greater: s or p?
p
Let q = 0 + -1. Let h = 3 + -2.9. Let k = 0.1 - h. Is q greater than k?
False
Suppose 5*q - 16 = 24. Is 19 not equal to q?
True
Let a = 479/9 + -53. Suppose 9 = -2*u + 3*j, 3*j - 7 = 4*u + 2. Which is smaller: a or u?
u
Let j be 2/6 + (-4)/6. Let i = -15.3 + -3.7. Let l = -18.9 - i. Which is smaller: l or j?
j
Suppose 3*i + i + 4 = 0. Let z = -696/5 + 139. Which is smaller: i or z?
i
Let a be 3/3*-5*1. Which is greater: a or -1?
-1
Let q = -0.7 + 0.4. Let h = -0.7 + q. Let g = h + 2. Which is smaller: g or 2?
g
Let f(l) = -l**2 + 5*l - 2. Let a be f(4). Let x(t) = t**3 + 3*t**2 - t + 2. Let u be x(-3). Is a < u?
True
Let l = 0.15 + 7.85. Let u = l - 7.7. Let b = -0.6 + u. Is 0 > b?
True
Let a = 16.32 - 0.32. Let w = a + -16. Which is greater: -1 or w?
w
Let f(s) = s**3 + 3*s**2 - s - 3. Let h be f(-3). Suppose 0 = -h*i - 3*i - 18. Which is bigger: i or -5?
-5
Let u = 47/30 + -7/5. Suppose -3*x - 5 = -8*x. Is x <= u?
False
Let y be (-30)/100 - (-2)/(-10). Which is smaller: y or 0?
y
Let j be 2 + -1 + -11 - -2. Let l be ((-3)/2)/(6/j). Let t be 2 + (1 - l)/(-1). Is 4 less than t?
False
Suppose 2*c + 15 = 3*o + 5*c, c = 3. Let g(y) = -2*y**3 + 1 + 4*y**2 - 2*y**2 + y**3. Let j be g(o). Is j <= 3?
True
Let p = -1 - -1. Let u = -3 + 2. Let z = u - p. Are -1 and z unequal?
False
Let y be 0 + -2 + -1 + 9. Suppose -2*x + y = -4. Suppose -i + 2*i = 2*g + 3, -3*i - x*g - 13 = 0. Which is greater: -2/15 or i?
-2/15
Suppose 3*l - 4*l + 17 = 0. Which is greater: l or 18?
18
Suppose -m = -2*u, 8 = 5*m - 12. Let j(b) = 5*b - 7. Let g(z) = -1. Let p(a) = -6*g(a) + j(a). Let i be p(u). Is 9 less than or equal to i?
True
Suppose 2*p + t = 0, -2*p + 4*t = -3*p. Let i(w) = -w**3 - 16*w**2 - 16*w - 14. Let g be i(-15). Which is bigger: p or g?
g
Let q be 15/(-12) + (-3)/(-12). Let k be q/(-2)*(1 + -3). Which is greater: 2 or k?
2
Let l = 360 - 386.7. Let q = -28 - l. Let w = -0.3 - q. Which is smaller: w or 1/3?
1/3
Let t = -7.9 + 8. Is 0.24 > t?
True
Let n be (4 - -2)*3*(-6)/(-27). Suppose -30 = -3*f + y, 2*y - 4 = -2*f + 16. Let p = -6 + f. Is p at most as big as n?
True
Let f(h) = 2*h + 5. Let b be f(-2). Which is smaller: -1/26 or b?
-1/26
Let z = -6 + 6.06. Is 0.2 at most z?
False
Let k = -13 + 6. Let r = 23 + k. Do 17 and r have the same value?
False
Let m(k) = -k**2 + 6*k - 9. Let b be m(6). Which is smaller: -47/5 or b?
-47/5
Let b = -8 - -8.3. Let u = 1.3 - b. Is 1 at least as big as u?
True
Let p = -254 - -1021/4. Is -1 equal to p?
False
Let b = -1813293326/1517037 + 132676/111. Let k = b + -1/173. Let f = 83/316 + k. Which is smaller: 1 or f?
f
Let w(h) = h**3 + 10*h**2 - h - 4. Let d be w(-10). Which is greater: 7 or d?
7
Let a be 1 - (-2 - -2 - 4). Which is bigger: 3 or a?
a
Let l be (3 + -1)*(-3 - -4). Suppose -2*t = l*x - 5*x - 13, 4*x - 3*t + 18 = 0. Is x <= -3?
True
Suppose 2*y = -0*y - 6. Let t = y - -3. Which is smaller: -1 or t?
-1
Let c(g) be the first derivative of g**5/120 - g**4/12 - 2*g**3/3 - 2. Let v(j) be the third derivative of c(j). Let a be v(4). Is 2 < a?
False
Let x = -6.5 - -7.48. Let v = -0.08 + x. Let c = v + -1. Which is smaller: 1 or c?
c
Let m be (-11 + 12)*0/1. Is m > -1/37?
True
Let w(r) = -2*r + 1. Let t be w(-1). Let n be (2 - (-2 + t))/2. Which is greater: 2 or n?
2
Let k = -1139/5 + 224. Is k less than or equal to -1/2?
True
Let v be ((-4)/77)/((-12)/14). Suppose -k = f + 4, 2*f - 5*k + 1 - 14 = 0. Which is smaller: v or f?
f
Let v = 99 + -98. Which is bigger: -59 or v?
v
Let l = -89661/5 + 18249. Let f = l - 318. Suppose -3 + 4 = -r. Are f and r nonequal?
True
Let q be 38/(-10) + 2/(-10). Let g = q - -1. Are -3 and g non-equal?
False
Let x be (-106)/5 - 32/40. Which is smaller: x or -23?
-23
Suppose -6*v = -4 + 4. Does -2/9 = v?
False
Let l(h) = h - 1. Let t = -12 + 9. Let m be l(t). Do m and -3 have the same value?
False
Let o = 2.92 + 0.08. Let n = -2.9 + o. Does -2/3 = n?
False
Let f = 1 + -3. Let t(p) = p**3 + 9*p**2 - p - 13. Let k be t(-9). Let v be f/2*(k - -3). Is -1 <= v?
True
Let f(g) = g**3 + 4*g**2 - 4*g + 6. Let c be f(-5). Which is smaller: 1/2 or c?
1/2
Let f(n) = n + 4. Let a be f(-8). Let t = a - -11. Is t <= 6?
False
Suppose x - 3 = -2*x. Which is smaller: x or 1/6?
1/6
Let r be 46/8 + 1/4. Suppose -2*q - 15 = -3*l - 4*q, 5*l - 3*q = r. Suppose i - l*i = 0. Is i less than or equal to 4/7?
True
Let t = -1.7 + 3.9. Let q = -2 + t. Is 2 greater than or equal to q?
True
Let k = 232 + -186. Is k equal to 46?
True
Let r(z) = -z**3 + z**2 - z + 4. Let s be r(0). Suppose s*w + 22 = 122. Let x be (-10)/w*15/(-4). Is 2 greater than or equal to x?
True
Let i(m) = -m**3 - 6*m**2 - 6*m - 4. Let c be i(-5). Let l(a) = 3*a - 1. Let q be l(c). Which is bigger: 4 or q?
4
Let k = -0.31 + 3.31. Is 1/8 at most k?
True
Suppose -2*q - 2 - 2 = 0, 63 = -p - 5*q. Is p > -53?
F