3*w - 2*y, 4*w - 27 = 5*y. Is w at least as big as 3?
True
Let p be 4/30*(-6)/(-4). Let z(h) = 14*h - 1. Let b be z(1). Suppose 0*u = -4*d + 3*u + b, 11 = -4*d - 5*u. Which is smaller: d or p?
p
Let f = 1.1 - 6.1. Let n = f + 3. Let o = 0.3 + -0.1. Which is smaller: n or o?
n
Let x(b) = b**2 - 4*b + 0*b**2 + 0*b**2 + 1 - b. Let d be x(5). Which is greater: d or 6/7?
d
Suppose k + 1 = b + 6, 13 = k - 5*b. Let u(x) = x**3 - 3*x**2 + x - 1. Let v be u(k). Which is greater: 6/11 or v?
v
Let m = 2.2 + -4. Let n = 0.2 - m. Let v = n + -1. Which is bigger: -1/4 or v?
v
Let c = -8 + -2. Let q = -31 + 21. Is c != q?
False
Let b = 1 - 1. Suppose -152 = 5*m + 8. Let w be 2/1 + m/17. Is w bigger than b?
True
Let f be 8/(-90)*((-66)/(-12) - 3). Is -34 greater than f?
False
Let q = -19 + 14. Which is smaller: 0.2 or q?
q
Let q = 6 - 2. Suppose -r - q*z - 5 = 0, 0 = -5*r - 4*z - 0*z - 25. Are -5 and r unequal?
False
Let u(d) = -d**3 + 5*d**2 - 3*d - 4. Let w be u(4). Is w at least -4?
True
Let j(c) = c**3 + 10*c**2 + c + 11. Let v be j(-10). Let a = -6 + v. Is -4 < a?
False
Let p(u) = u**2 - 4*u + 6. Suppose -k = 3*m - m - 2, -2*k + 5 = 3*m. Let o be p(k). Let s(c) = -c + 4. Let x be s(o). Which is smaller: x or -1?
x
Suppose 0*q + 4*q = 0. Let s = 7 - 8. Is q greater than s?
True
Suppose -k + 1 = 6, 2*j + 3*k + 23 = 0. Which is bigger: j or -6?
j
Let p = 2 - -1. Let o be 2*p/9*6. Is 4 != o?
False
Let g = -1/27 - -79/675. Is 0 <= g?
True
Suppose 0 = f + 15 - 0. Let m be (-93)/f*-22 - 2. Let p = 139 + m. Which is greater: p or 2?
2
Suppose -2*f + 2 = 6. Are f and -1 unequal?
True
Suppose 0 = 6*t - 28 + 4. Are 4 and t equal?
True
Let n = 0 - -2. Suppose 2*u = 4*g, -3*g - u + 9 = n*u. Which is bigger: -1 or g?
g
Let n be 2/42*(20/(-4) - -1). Is n >= 0?
False
Let b(w) = 2*w**2 + 27*w - 14. Let j be b(-14). Is j less than 72?
True
Let x be -2 + 5 + (-12)/2. Let z = 4 + x. Which is smaller: 3/2 or z?
z
Let l = 181 - 9229/51. Let q = -96688 - -24655348/255. Let t = q - l. Which is greater: t or 0?
0
Suppose -i - 3 = -0*i, -3*i - 7 = -w. Let o be 3 - (66/9)/2. Is o bigger than w?
True
Suppose -40 = -5*x - 3*v, -2*x + 0*x - 2*v + 16 = 0. Suppose 0 = t + d + 2 + 8, 4*d + x = 0. Are -7 and t unequal?
True
Let w = -0.1 + 0. Let f = w + -0.9. Let r be 3/(-9) - 13/(-3). Which is smaller: f or r?
f
Let t be 3/15 - (-44)/5. Let h = t + -8. Let d be 2/(-8) + 10/8. Is d != h?
False
Let x = 19 + -40. Let s be (-2)/(-7) - 372/x. Suppose -n + 12 = -5*w, 2*n - 7*n - s = w. Is -2 equal to n?
False
Let u = 15 - 9. Suppose -3*r + 2*f - 4*f - 3 = 0, 2*r = -4*f + u. Let y = 5 + r. Is 3 less than y?
False
Let x(y) = y - 3. Let m be x(3). Suppose 3*o - 8 = -2. Let j be (1/o)/(9/(-6)). Is j at most m?
True
Let a be (0 - -1)*2 + 1. Suppose 0 = 2*h + 3*h. Which is smaller: a or h?
h
Let w(q) be the third derivative of q**5/60 - q**4/24 + q**3/3 + 2*q**2. Let x be w(0). Let z = -40/91 + 2/13. Which is greater: x or z?
x
Let y = 213 - 1061/5. Is 0 less than y?
True
Let z = -21/310 + -1/31. Is 0 equal to z?
False
Let w = -8 - -8.08. Let t = 7.52 + -8. Let q = w + t. Is q > 2/9?
False
Let v be ((-2)/4)/(1/4). Let s(l) = -l**2 - 1. Let x(r) = r**2 + r + 1. Let i(j) = s(j) + 2*x(j). Let g be i(v). Which is greater: g or 2/7?
g
Let r = 122.7 - 123. Which is smaller: 1 or r?
r
Let c be (-28)/12*(-4)/(-14). Which is greater: c or -32/5?
c
Let h be 0/(-4) + 1*6. Suppose h*z - z - 12 = c, -6 = 3*c. Is z > 5?
False
Let b be (-754)/(-22)*2/16. Let l = b + -35/8. Let n be -3 + 2 + 2/2. Which is smaller: l or n?
l
Let w = 4.13 + -0.13. Let a = w + -3.8. Which is smaller: -0.2 or a?
-0.2
Let m be ((-28)/(-6) - 3)*-1. Let q be (0 + 0)*(-1)/2. Let y = q + -2. Which is smaller: y or m?
y
Let n be (-5 - (0 - 2)) + 35. Suppose -4*y + 48 = y + 3*v, 3*y = -5*v + n. Which is bigger: 8 or y?
y
Let z be 1/(-4) + 42/616. Is z less than 0?
True
Suppose -3*f = -0*f. Suppose f = -2*g - g. Do 4/5 and g have different values?
True
Let m be 3/2*2/(-4). Suppose 7 - 6 = j. Which is greater: j or m?
j
Suppose 3*g + g = 5*x - 95, 97 = 4*x + g. Are 0 and x non-equal?
True
Let s = 2 + -1.8. Let d be 3/(-3) + 10 + -1. Let y be 9/(-6) + 14/d. Is s <= y?
True
Suppose 3*z - 6 = -3*m, -4*m + 16 = -5*z - 10. Let l = m + -5. Let w = 1/6 + -2/21. Which is greater: w or l?
w
Let o = 2.8 + -23.8. Which is bigger: o or -2/3?
-2/3
Let s = 10 + -9. Which is greater: s or 5/8?
s
Let i = 23 + -24. Which is smaller: 2/49 or i?
i
Let g = 1.51 - 0.51. Is g greater than or equal to -0.22?
True
Let l = 7 + -30. Is l equal to -22?
False
Let c(h) = -4*h - 56. Let z be c(-14). Which is greater: z or -4/23?
z
Suppose 3*r = 6*r + 24. Let g = 13 + r. Which is greater: 6 or g?
6
Let o = -11 + 13. Suppose 5*v = o + 3. Is 2/9 < v?
True
Let t be (-3)/((5 + 0)*1). Let q(b) = -b**3 - 11*b**2 - 10*b - 1. Let u be q(-10). Which is smaller: u or t?
u
Let c = -4.8 + 0.8. Let r = -5 - c. Which is smaller: -10 or r?
-10
Let z be -2 + 6 - 2 - -1. Suppose z*h - 28 = -5*j, 0*j - 13 = 2*h - 3*j. Let g(v) = 2*v. Let k be g(h). Which is smaller: 4/7 or k?
4/7
Let n = 15/874 - -1/38. Suppose -3*i = -5*u + 3, -4*i - 4 + 0 = 3*u. Which is greater: i or n?
n
Suppose 3*c = c + 6. Suppose c*a = -h - 3*h + 13, -3*h = -a - 13. Which is bigger: -2 or a?
a
Let x = -0.1 - -0.7. Let g = 0.05 - -0.35. Let y = x + g. Which is bigger: -2/9 or y?
y
Let q = -529/6 - -88. Let l(y) = y**3 - 2*y**2 - y - 1. Let o be l(3). Suppose -4*t = 4*c + 4, t = -t + o*c - 2. Is t at least as big as q?
False
Let h be (-57)/(-105) + (-2)/5. Let c be 6/5 + 6/(-30). Which is bigger: c or h?
c
Let f be 18/208*(-2)/(-4). Let i = -3/16 - f. Is i bigger than -1?
True
Let o = -0.41 + 0.2. Let d = 10 + -10.11. Let u = o - d. Are u and -0.07 non-equal?
True
Let y be ((-2)/(-6))/((-1)/(-15)). Let w = -3 + y. Let v = w + -3. Which is bigger: -3/5 or v?
-3/5
Suppose -4*x = -3*x. Suppose -4*u = -x*u - 12. Suppose 4*g - r - u = -27, 5*g + 13 = -3*r. Is g < 0?
True
Let c(w) = -19*w**2 + 4*w - 12. Let z be c(5). Let o = 3277/7 + z. Let i(x) = x**3 + 5*x**2 + 1. Let p be i(-5). Is p >= o?
False
Suppose -10*g = -7*g. Is g > -2/27?
True
Let k be (-44)/42 - (-10)/30. Is k bigger than -2?
True
Let s be 4 + -1 - (14/(-1183) + 3). Does -1 = s?
False
Let b(l) = -l - 2. Let i be b(-4). Let r = 16 + -22. Let q be (-3)/r*i*1. Which is smaller: q or 2/5?
2/5
Let v be 2 + 2/(-4) + 1. Let s = 33 + -28. Let y be (s + -8)/((-6)/8). Is v > y?
False
Let n = 94 + -94.21. Is n > -2?
True
Suppose 0 = -5*t - o - 5, -5*t = 2*o + 2 + 8. Which is bigger: -2/39 or t?
t
Suppose 0 = 3*k - 6, 3*k = -2*a + 10 - 2. Let h be 24/(-45) + a/3. Which is smaller: h or -1?
-1
Suppose -q + 2 = -2. Let a = -9 - -13. Is q at most as big as a?
True
Let k = 1/4 + 1/12. Let m be -3 - -2 - (-2 - 0). Suppose -f + m + 0 = 0. Is f bigger than k?
True
Let l = -3/8 + 1/8. Is 2 at least l?
True
Let f(w) = w**3 + 9*w**2 + 4*w. Let z be f(-8). Suppose 0*o = -4*o + z. Let y = o - 6. Is y less than 2?
False
Let t be 72/23 + 33/(-11). Is t less than 1?
True
Let n be (-52)/230*22/(-6). Let g = 16/23 - n. Let k = g + 1/3. Is k at most as big as 1?
True
Let l = -736581 + 299788651/407. Let s = l + -10/37. Which is smaller: 0 or s?
0
Let v = 23 + 0. Let f = v - 16. Is f < 6?
False
Suppose -5*i - 14 + 4 = 0. Suppose -y - 6 = 2. Let r be (4/y)/(-1 + 2). Which is smaller: i or r?
i
Let n(a) = -a**2 - 7*a - 6. Let b be n(-6). Which is bigger: b or -2/13?
b
Suppose 1 = 3*m - 5. Let y be (-28)/(-6) - 2/3. Suppose d - 12 = -4*v - 3*d, -12 = 3*v - y*d. Which is greater: m or v?
m
Let f be (20/3)/(6286/(-543)). Let c = f - -2/449. Let v be (1/(-2))/(3/12). Is c <= v?
False
Let y be (-6)/21 + 16/7. Suppose 5*w + 9 = 2*w. Let c = w + 4. Is y less than or equal to c?
False
Let x(d) = d**3 + 6*d**2 - 7*d + 4. Let o be x(-7). Let r be 2/(-3) - o/3. Let s be ((-5)/10)/(r/(-4)). Which is smaller: s or -3?
-3
Let s be ((-74)/(-20) - 2)*26. Let n = -1999/45 + s. Which is greater: n or -1?
n
Suppose -m - w + 5 + 6 = 0, -3*m = 4*w - 35. Let i be (6/(-2))/m - -1. Does 1 = i?
False
Let q = 0.26 + 0.04. Let w = q + -1.3. Let g = w - -3. Is -2/3 <= g?
True
Suppose 3*s - 56 = 5*f + 2*s, -5*f - 51 = 4*s. Is f < -49/5?
True
Suppose 38 + 214 = 4*v. Let r be ((-14)/v)/((-4)/(-6)). Which is bigger: r or