ose a*x = -w*x. Is 2 smaller than x?
False
Let g(j) = -3*j + 15. Let w be g(7). Which is greater: -4 or w?
-4
Let y(n) = 2*n**3 - 2*n**2 - n - 2. Let t be y(2). Let h be 9 - (5 + 0)/1. Is h <= t?
True
Let y(o) = 3*o + 3 + 9 + 2. Let v be y(-7). Is -7 bigger than v?
False
Suppose -5*y + 0 = -5. Let d = -5.2 + 0.2. Let a = d + 4. Which is smaller: a or y?
a
Let u be (3*(-1)/(-6))/((-2)/(-32)). Is u at most 1/2?
False
Suppose -2*a = 2*a. Let y = -47 + 46. Is a < y?
False
Let h be (-3)/((-6)/4) - -1. Suppose f - h*f = 0. Which is greater: f or 1?
1
Let k = 1182 - 1172.99. Let n = k - 9. Does 1/2 = n?
False
Let f(h) = h**2 - 13*h + 9. Let x be f(7). Which is smaller: -34 or x?
-34
Let g = -7.018 + 0.018. Is -0.3 >= g?
True
Let a = 1 + -5. Let s = 0.5 + 0.5. Which is greater: a or s?
s
Let m = -8 + 7.8. Let u = -35/22 + 12/11. Which is bigger: m or u?
m
Suppose -5*y = -0*y - 25. Suppose -4*g - 3*p = 6, -y*g + 0*p - 10 = 5*p. Is 1/7 not equal to g?
True
Suppose 28 = 4*g - 16. Is g < 11?
False
Let s = 5.6 - 5.5. Let x = 0.9 - 1. Which is smaller: s or x?
x
Suppose -2*u = -2 - 0, 5*z + 3*u + 2 = 0. Let k = 335/7 + -48. Are z and k unequal?
True
Let u(x) = -x**3 + 9*x**2 - 13*x - 8. Let i be u(6). Which is bigger: 18 or i?
i
Suppose -2*t - 2 + 8 = 0. Suppose -f - 4 = t*f. Let l be (1 + f)/((-6)/3). Is l <= 3/4?
True
Let u = -37 - -35.92. Let i = -0.08 - u. Is i at most as big as 1?
True
Let n be (-5)/2*720/(-150). Does n = 13?
False
Let y be 3 + (1 - (2 + -3)). Let c be y*(1 + (-3)/5). Suppose -c*i = -5*a + 1, 0*i - 2*i + 2 = -2*a. Is a < 2?
True
Let y = -7 + 3. Let t = y + 2. Let r = 5 + t. Which is greater: 2 or r?
r
Suppose 0*b + 3*b - 3*s + 9 = 0, 1 = -3*b + s. Let w be -2 - ((-23)/8 + b). Let m = -1 - 0. Is w greater than m?
True
Let h = 8 + 0. Let u = h + -5. Which is greater: -2/5 or u?
u
Let x(w) = -w - 4. Let a be x(-3). Let s be 326/260 - (-3)/6. Let p = 8/5 - s. Is p != a?
True
Let h = 5 + -1. Let n be 21/(-12) - (-1)/h. Is -2 <= n?
True
Let i = 28 - 17. Which is smaller: i or 9?
9
Let k be 0*((-2)/28 - 6/14). Which is bigger: 1/64 or k?
1/64
Let o = 0.13 + -0.48. Let u = -0.05 + o. Let h be (4/(-2))/((-28)/(-4)). Which is bigger: u or h?
h
Let s(w) = 2*w + 18. Let m be s(-10). Suppose -l - 5*y = 3*l - 75, 60 = 5*l - 5*y. Let b be (-6)/(-30) - m/l. Is -1 at most as big as b?
True
Suppose -h = -3*h + 2. Which is smaller: -3/14 or h?
-3/14
Let v be (0 - 2)*(0 + 2). Let w(t) = 1 - t**2 - 3*t + 1 + 5 - 4. Let y be w(v). Which is smaller: y or 3/7?
y
Let z be (-4)/(-14)*(-119)/2193. Is z greater than -0.1?
True
Let q = -89 + 90. Let j(f) = -f + 6. Let y be j(7). Are q and y non-equal?
True
Let x = 2.9 + -1.2. Let f = 2 - x. Let k = f + -0.1. Which is smaller: k or 0?
0
Let b = -4 - -7. Which is smaller: b or 5?
b
Suppose 0*u = u - 23. Is u smaller than 23?
False
Let u(k) = k + 3. Let r be u(-3). Let b be (r - -1)/(-4 - -3). Suppose 4*p = s - 14, -p = -0*p + s + 6. Do b and p have the same value?
False
Let h be 0 + 4/27*3. Are 3/7 and h equal?
False
Let h = -0.011 - -0.111. Which is smaller: h or -55?
-55
Let n(h) = -h**3 - h**2 - 3*h - 1. Let o be n(0). Is o less than or equal to 2/9?
True
Let y = 35 - 71. Do -35 and y have the same value?
False
Let i be 4/(-22) - 424/88. Let c(m) = -m**2 + 2*m + 5. Let q be c(4). Is i at most q?
True
Let r(u) = 4*u + 2. Let w be r(-1). Do w and -1 have different values?
True
Suppose -p - p - 14 = -4*h, h - 6 = p. Let g = -2 + h. Let x be (-60)/140 - 3/(-7). Is x < g?
False
Let m be (6 - 3)*(-3)/12. Let o(v) = v**2 + 4*v - 6. Let n be o(-5). Which is smaller: n or m?
n
Let n = 2 + -3. Suppose 0 = -5*a + 20 - 5. Let b be (1 - 17/18)*a. Which is smaller: n or b?
n
Let x(h) = h**3 + h**2 - h + 2. Let u be x(0). Suppose -u*v + 6*v = 4. Let d be 1/(-8) + 2/(-8). Which is smaller: v or d?
d
Suppose 3*k = -5*o + 1, o - 1 = -2*k - 5. Suppose 18 = 5*b + v - 5*v, 3*b + 2*v = 2. Suppose 0 = -b*f - 0*f. Which is smaller: f or k?
k
Let k be (-6)/(-4)*28/6. Let q be 2/2 - (k + -6). Is q at most as big as 1?
True
Let d(c) = -c**2 - 8*c - 7. Let w be d(-7). Let h be 30/(-44) + (-2)/(-4). Which is smaller: h or w?
h
Let q(s) = 3*s. Let i be q(15). Which is bigger: 2 or i?
i
Let y = -0.1 + -0.1. Let b = -3 - -7. Suppose 0 = -2*w + b*w. Is y at most w?
True
Let j = -159 + -4. Let v = j + 1471/9. Are v and 0 equal?
False
Let z = -88 + 88.38. Do z and -0.1 have the same value?
False
Let i be 5*((-32)/(-30))/(-8). Which is smaller: i or -5?
-5
Suppose f - 2*f = -0*f. Suppose 2*s + 2*y = 3*y + 5, 4*s + 5*y = -11. Let g be 2/(-9)*(2 + s). Which is greater: g or f?
f
Let q = -42 - -12. Let h be 1/2 - (-19)/q. Suppose -6 = -f + v + v, -4*v - 12 = 5*f. Is h greater than f?
False
Let h be (10/(-4) + 3)*-12. Let g be ((-4)/(-8))/((-15)/h). Is 1/5 < g?
False
Suppose -4*l + 0*l = -5*m - 89, 3*m = -5*l + 102. Is l greater than 21?
False
Let r be 0 - ((-20)/5 - -1). Is r less than or equal to 7?
True
Let a = 32 - 20. Suppose -x - 12 = -4*f, -4*f - 2*x - 3*x - a = 0. Is f greater than or equal to 0.1?
True
Let r(t) = 21*t**3 - t**2 + 2*t - 3. Let n be r(2). Let v = n - 2146/13. Which is bigger: v or 0?
0
Let m = 0.051 - -0.049. Which is bigger: -13/5 or m?
m
Let x = -1/165 + -488/1155. Let p = 1 + -2. Is p smaller than x?
True
Let h be ((-5)/(-2))/(8/16). Suppose -20 = 3*b - 2*d, b - h*d + 6 = -5. Is -1 at least as big as b?
True
Let q = 0.4 + -0.3. Let w = 3 + -1. Suppose l + l - 5 = -n, -w*n + 10 = 0. Which is smaller: q or l?
l
Let l(n) = n**3 + 7*n**2 + 7*n - 1. Let y be l(-5). Suppose y - 2 = -3*t. Let k be t/3*(-9)/(-6). Is -3/2 greater than or equal to k?
True
Let c = 17 - 19. Is c bigger than 1?
False
Suppose 0 = 5*v + b - 0*b - 211, 39 = v - 3*b. Let z be 35/30*8/v. Is z at most as big as 0?
False
Suppose 0*f = -2*f + 10. Let l = 2 - f. Which is smaller: l or -2?
l
Let j = 206 - 193.3. Let h = 13 - j. Let y = 17/18 + -4/9. Which is smaller: h or y?
h
Suppose 2 - 4 = -2*i. Let m = 1849/11 - 168. Is m <= i?
True
Let k = -10 + 16. Let q be k/4 - (-7)/14. Is -9 at least q?
False
Let c(g) = g - 7. Let a be c(3). Is a less than or equal to -3?
True
Let t be (-2)/(-9) - 7/(-9). Let d be (-2)/11 + (-112)/(-88). Which is smaller: t or d?
t
Suppose 2*f - 12 = -3*g + 2*g, 22 = 2*g + 3*f. Let c be (1/11)/((-4)/g). Suppose -15 = 4*a + 4*l - 9*l, -3*a = -5*l + 15. Which is bigger: c or a?
a
Let z be 2/7 - (-24)/14. Let w = 3.93 + 0.07. Let n = w - 4.2. Is z at least n?
True
Let l = 894.04 + -914. Let y = 0.04 - l. Is y less than 0.1?
False
Suppose -24 = -3*s + 3*n, s + 2*s + 1 = -2*n. Is s < 0?
False
Let n = 0.64 - 1.18. Let x = 0.22 - 0.18. Let l = x + n. Which is smaller: 0.2 or l?
l
Let p = 18 + -47. Let j = p + 28.66. Let s = j + 0.04. Is s at least 1?
False
Let k = 17 + -13. Is k >= 3?
True
Let k be (48/14)/((-1)/7). Let f be k/(-4) - (-2 + 1). Suppose -4*u + p = -f, -5*u = p - 2 - 9. Which is smaller: -2 or u?
-2
Suppose -4*a + 2*l = 18, 0 = -2*a + 3*l - 7 - 8. Let z(o) = -o - 2. Let t be z(a). Let h be 2*t/(-1) - -2. Is 0 greater than or equal to h?
True
Suppose 4*g + 10 = 2. Let q = g - -2. Suppose -d - d = q. Is d at least as big as 1?
False
Suppose 2*v + 2*a = 22, v - 11 = 5*a - 0*a. Is 12 > v?
True
Suppose 2*l - 11 = -9. Let u be 2/(-8) - 1/(-4). Is l not equal to u?
True
Let y = -26 + 40. Let j(x) = 10*x + 2. Let t be j(4). Suppose 2*k - t = -4*d - y, 20 = 4*d. Which is greater: k or 2?
k
Suppose 4*c - 13906 = 3*n, 8*c = -2*n + 4*c - 9244. Let y be 2/(-6) - n/345. Let l = y - 13. Which is smaller: l or 1?
l
Suppose 0*r + r = m + 1, -29 = -5*r - 3*m. Let f = 2 - r. Is -2 greater than f?
False
Let y = -15 - -15. Is -6/13 smaller than y?
True
Suppose -36*s + 41*s + 5 = 0. Let g(b) = -b**2 - 2*b + 1. Let h be g(-3). Let u be h/6*12/9. Is u greater than s?
True
Let s = 0.5 - 0.48. Let p = s + -0.32. Let n = -0.2 - p. Is n at most as big as 2?
True
Let g = -18 + 13.2. Let b = 5 + g. Does b = -2/5?
False
Let d = -27 + 0. Let m = 27 + d. Are -8 and m equal?
False
Let n(f) = -f. Let p(m) = m**2 - 6*m - 8. Let t be p(7). Let d(z) = -z**2 + 2*z - 4. Let j(w) = t*d(w) + 5*n(w). Let v be j(6). Are -2 and v non-equal?
False
Suppose 7 = 4*x + x + d, 3*x + 5*d = -9. Suppose 0 - 10 = x*k. Which is smaller: k or -4?
k
Let k = -47 - -47.1. Is -1/7 > k?
F