: x or -1/3?
x
Let o = 104 - 522/5. Let v be 51/(-3)*(2 - 3). Suppose -2*t - 5*a + 13 = 0, 5*t - 5*a + a + v = 0. Which is smaller: t or o?
t
Suppose 2*x - 112 = -0*x. Let l be (-2)/7 + 2/x. Let b be (-56)/(-40) + 3/(-3 - 0). Which is greater: l or b?
b
Let i be 10/(-6)*(-16)/40. Suppose 10 = -4*l - l + 5*b, -l - 18 = -5*b. Suppose 0 = -2*u - 0*u - l. Which is bigger: u or i?
i
Let p be (1/(-2))/(4/(-24)). Let i be (-3)/9 - 4/p. Which is bigger: i or -3?
i
Let h(x) be the third derivative of -x**6/120 + x**5/60 + x**4/12 + x**2. Suppose 5*u - 7 = 3. Let c be h(u). Do 2 and c have different values?
True
Let s = -2 + 1. Suppose -5*f = -3*a - 2*a - 20, -3*a - 18 = 3*f. Is s not equal to f?
False
Let w = -0.81 - -1. Which is smaller: -1 or w?
-1
Suppose 4*t - 6 = 4*c + 6*t, 3*c - 4*t + 32 = 0. Let j be (c/(-10))/((-1)/5). Let g be ((-1)/2)/(16/32). Is j at most g?
True
Let a = 1/18 - 7/18. Let j = -0.51 - -0.3. Let n = -0.11 - j. Is n greater than or equal to a?
True
Let h(s) = -s - 3. Let j(r) = r - 5. Let l be j(5). Let i be h(l). Which is smaller: -4 or i?
-4
Let r = -11 - -14. Are r and -0.1 unequal?
True
Let j be (-2)/(-4) - (-9)/(-42). Let i = -1 - -1. Let f = i - -1. Are f and j unequal?
True
Let o = -10 - -16. Let b(c) = -c**2 + 6*c - 1. Let k be b(o). Which is smaller: k or -1/6?
k
Suppose -18*i = i - 19. Let q = 6 - 12. Which is bigger: i or q?
i
Let r = 255/26 - 19/2. Which is smaller: r or 0?
0
Let t be -4 + 6 - 5*1. Suppose 3*y + 12 = -0. Which is smaller: t or y?
y
Suppose 2*b = 4*b. Suppose -y - 2*y = b. Let n = -12/5 + 3. Is y at most as big as n?
True
Let w be ((-10)/(-3)*3)/(-2). Let n = -7 - w. Which is greater: -11/4 or n?
n
Suppose 2*v + 5*v - 245 = 0. Is v smaller than 34?
False
Let u(m) = -m**2 - 5*m - 4. Let q be u(-5). Suppose 0 = 4*v - w - 4, 0 = 3*v + v + 2*w - 4. Let s(p) = -2*p**2 - p. Let g be s(v). Is q < g?
True
Let y be ((-9)/36)/((-1)/8). Is 5/4 < y?
True
Suppose 3*l = -2*m + 2*l + 3, 0 = -5*m + 3*l - 9. Which is bigger: m or -6/5?
m
Let c = 0.9 - 0.87. Let u = c - 0. Do 0 and u have different values?
True
Let h be -5 + 1 + 7/1. Let d be 7/(-14)*(-4)/h. Which is bigger: -0.6 or d?
d
Let w = -4 - -5. Let x = w - -4. Let s be 0 - x/(105/6). Is s at most as big as 0.4?
True
Suppose 16 = -5*d - 9. Which is greater: d or -18/5?
-18/5
Let h = 8 - 15. Let o(k) = -k**2 + 14*k + 19. Let q be o(15). Suppose -20 = -0*j + q*j - 4*m, 3*m - 3 = j. Is h >= j?
False
Let n be ((-8)/(-30))/((-30)/(-25)). Let u be -2 - (16/1)/(-2). Suppose 20 = 2*t - 4*f + u, 4*t - 7 = f. Are t and n nonequal?
True
Suppose 2*l + 0 = 2. Let m be (7 + 1)*(-5)/(-10). Suppose 0 = m*j + 5*p - 9, -4*j + 9 - 1 = 4*p. Does j = l?
True
Let q(m) = -m + 10. Let v be q(5). Suppose 0 = v*u - 8*u + 3*l - 3, 2*l = -5*u + 16. Is u bigger than 4/7?
True
Let v = 40.9 + -41. Is 37 at least as big as v?
True
Suppose 12 - 87 = 5*f. Let r = 43/3 + f. Which is greater: 0.1 or r?
0.1
Suppose 4*b - 8 + 44 = 0. Which is greater: b or -0.1?
-0.1
Suppose 5*u + 4*j = -7, 3*u + 5*j + 15 = 3. Let z(c) = c + 5. Let h be z(-5). Which is greater: u or h?
u
Let j(t) = -4*t - 23. Let q be j(-6). Is -2/39 at least as big as q?
False
Let t(d) = d**2 - 8*d - 7. Let y(k) = k**2. Let i be y(3). Let r be t(i). Is r >= 0?
True
Let a be (0 + (2 - 3))*-1. Let w = 22/3 + -305/42. Which is smaller: a or w?
w
Suppose 2*a + 0*a - 4*y = -6, 29 = 5*a + y. Suppose 3*w - 35 + a = 0. Let v = 6 - w. Which is smaller: v or -3?
v
Let d be (0 + 3 - 0) + 0. Let u = 10 - 14. Let t = d + u. Is -2 > t?
False
Let s = -2 - -4. Let f = s - 1.5. Is f not equal to 0?
True
Let b = 0 - -3. Suppose d + b = 4. Is d less than or equal to 2/13?
False
Let m = 1.6 - -3.4. Which is smaller: 2 or m?
2
Let c = -0.033 + 0.033. Does -12 = c?
False
Let b = -12 + 5. Suppose -3*z + 5*o - 4 - 37 = 0, 5*z + 3*o = -23. Is z <= b?
True
Let m = -20 - -32. Let w = m + -7. Let f = w - 5.04. Which is smaller: 2/5 or f?
f
Let t = 33 + -33. Let p = -7.7 - -8. Which is greater: p or t?
p
Let v = 15/7 - 89/35. Is v > -4?
True
Let o be (-1)/((-4)/(-8)*-2). Suppose 0*p = p - 4*w - o, 5*p = 5*w - 25. Is p smaller than -7?
False
Let f be 5/(-30) + (-25)/(-15). Are -3 and f nonequal?
True
Let f be (-3)/(-2) - (-665)/(-70). Let m = 0.2 + 0. Which is greater: m or f?
m
Let h(r) = r - 2. Let g(i) = -1. Let d(f) = 3*g(f) - h(f). Let m be (2 - (-7)/(-2))*(-4)/3. Let o be d(m). Are -4 and o nonequal?
True
Let n(q) = q + 10. Let y be n(-7). Let t(l) = -4*l - y*l + 5*l - 3. Let h be t(-3). Are 2 and h unequal?
True
Let b(z) be the second derivative of z**4/12 + 5*z**3/6 - 5*z**2 - z. Let g be b(-7). Do 3 and g have the same value?
False
Let b = 80 - 79.8. Let g = -12 - -11.1. Which is smaller: g or b?
g
Let p = -144 - -153.7. Let j = -10 + p. Let k = 4 + -5. Is j at most k?
False
Let g = 0.1 + -0.1. Suppose k = -5*m - 28, 0 = 2*k - 3*m - m. Let v be ((-2)/k)/((-35)/56). Which is smaller: v or g?
v
Let y = -0.0009 - -21.1009. Let d = y + -22. Let t = d + 1. Which is greater: -2 or t?
t
Suppose -2*r = -5*f - r + 4, r = 4*f - 4. Suppose f*n = -4*n. Is n >= 4/9?
False
Suppose 2*t - 5*t = 2*u + 2, 5*u = 4*t - 28. Let l be (0 + -1)/(-1 + 2). Let a be l/(-4) - 22/(-40). Do a and t have different values?
True
Suppose 4*v - 2 + 2 = 0. Let y be (-20)/8*(-2)/(-10). Are v and y equal?
False
Let b(g) = g**2 + 4*g + 3. Let w be b(-3). Let d = 0 + w. Is 2/7 greater than or equal to d?
True
Let w(n) be the third derivative of n**4/24 - 5*n**3/6 + 3*n**2. Let q be w(8). Which is bigger: 4 or q?
4
Let q be (-6)/(-20)*-2*1. Let k(c) = -2*c + 1. Let b be k(1). Is q at most as big as b?
False
Let z = 4.4 - 4. Let f = 0.1 + -0.6. Let x = z + f. Which is smaller: 2/17 or x?
x
Let s = 11.7 + -12. Which is bigger: s or 1?
1
Let l be 3*((-15)/9 - -3). Let s be 1/l - (-13)/(-20). Which is smaller: s or -1?
-1
Let t be 1 + 0 - 10/(-5). Suppose -b + t = 4. Which is smaller: b or 0?
b
Let v = 2.9 - 3. Let w = 13.5 + -12. Let l = w + -1.3. Which is smaller: v or l?
v
Let z = -26 + 28. Is 3/5 > z?
False
Suppose 8 = -3*d + 14. Which is smaller: 13/4 or d?
d
Let q = -0.6 + 2.6. Let u = 3.2 + -5. Let r = u + q. Which is smaller: r or -2/7?
-2/7
Let c = 5.9 + -6. Let i = 1957/60 - 131/4. Is i less than c?
True
Suppose 0 = k - 0 + 2. Let z be k/(-2)*12/6. Let f be (0 + -2 - -4)/1. Is z > f?
False
Let y = 15 - 12. Suppose 0*f - 17 = -y*i + 2*f, -5*i = 4*f + 1. Is i smaller than 8/3?
False
Let i = 18 - 25. Let t = i + 8. Are t and 0.3 equal?
False
Let s be (-2 - -6) + -5 - 3/15. Which is bigger: s or 0?
0
Suppose 27*j - 59 = -194. Let q = 4 + -2. Suppose -q*h + 24 = -5*c + c, -c - 2*h - 6 = 0. Which is greater: j or c?
j
Let n be -1 - 2 - 0/(-3). Is -3 at most n?
True
Let q = 12 + -12. Let c be (-37)/52 + 1/4. Let a = c + 29/91. Which is greater: q or a?
q
Let v(g) = -1 - 4*g + 7*g - 2*g. Let l be v(7). Let q be 4/l + (-13)/15. Which is bigger: q or -1?
q
Let v be -27*((-10)/3 + 3). Suppose -4*i + 5 = -v*i. Which is smaller: -1/13 or i?
i
Let a(d) = d**3 + 8*d**2 + 8*d + 6. Let b be a(-7). Is -2/31 >= b?
True
Let a be (22/8)/((-3)/180*-3). Is 55 equal to a?
True
Let a = 15 - 9. Do a and 7 have the same value?
False
Let u be 4 - 7 - (-6)/2. Is u smaller than 1/16?
True
Let b(a) = -a**2 + 10*a + 25. Let f be b(11). Is 15 <= f?
False
Let h(c) = c**3 - 8*c**2 - 10*c + 12. Let j be h(9). Let v be j - 0*2/4. Suppose 0 = f - v*f + 2. Which is bigger: f or 2/11?
f
Suppose m = -0*m - 21. Let d be (1 - 2)/(1/(-2)). Let a be d/(-8)*(-28)/m. Are a and 1 unequal?
True
Let d = 9 + -9. Let b be 0 + 1 + d + -3. Is 0 <= b?
False
Let z(g) = g**2 + 1. Let d be z(0). Let k be -3 - (1 + d + -3). Let t(s) = 2*s + 4. Let q be t(-4). Is k greater than q?
True
Let u be ((25/10)/1)/1. Let c = 2 - 3. Let r = c + 1.1. Are r and u non-equal?
True
Let m = -24 + 38. Let v = 15 - m. Which is smaller: -2 or v?
-2
Let c be 10 + (0/3 - 1). Suppose -3*g - 3*f - 3 = c, -8 = 5*g + f. Let l = -35/87 - -2/29. Do l and g have different values?
True
Let g(m) = m + 10. Let h = 5 - 13. Let l be g(h). Suppose -l + 3 = w. Are 3 and w equal?
False
Suppose -5*b + 20 = -20. Let d(o) = -o**2 + 9*o - 9. Let t be d(b). Which is bigger: t or -2/67?
-2/67
Let s be (-166)/462 - 2 - -2. Let x = -2/77 - s. Let d = 0.6 + -0.5. Which is smaller: 