
Let w = -1 + 6. Suppose -9 = 3*u - 3*x + x, u - 14 = -w*x. Suppose -5*r = 3 - 8. Which is greater: r or u?
r
Let q = 23 + -24. Which is smaller: q or -2/85?
q
Suppose -19*o = -14*o - 5. Which is bigger: o or -2?
o
Let n be (-3 - (-585)/200)/(18/(-8)). Which is smaller: n or 1?
n
Let m = -0.1 - 0. Which is smaller: m or 15?
m
Suppose 3*n - 2*n = 14. Do 14 and n have different values?
False
Let u = -11.8 - -1.8. Is 2/5 >= u?
True
Suppose -54 = 3*q - 2*c, -5*c = -7*c + 6. Is -4 <= q?
False
Let b be (136/(-12)*-3)/(-2). Let l = -17 - b. Let v be 3/((-23)/2 - -1). Is l < v?
False
Let m(s) = -s + 5. Let y be m(5). Does 2/3 = y?
False
Suppose 0 = -3*f - f. Let c be 4/(-18) - (-124)/126. Let u = c - 10/7. Is f at least u?
True
Let l = 0 - -0.2. Which is smaller: 0.3 or l?
l
Let f(w) = 2*w + 9. Let m be f(-6). Let r be -1 - m - 0/1. Which is smaller: 1 or r?
1
Let q = -40/3 + 10. Which is smaller: q or -2?
q
Let f be (-14)/(-5) + (-4)/(-20). Suppose 2*o = -1 + f. Suppose 0 = 3*a - a - 4. Do a and o have different values?
True
Let u be (-8)/6*6/4. Is u less than 1?
True
Let x = 11 - 18. Let j = x - -8. Which is smaller: -2/7 or j?
-2/7
Let l = 0 - 0. Let n = 0.1 + l. Let u(z) = z**3 - 47*z**2 + 130*z + 87. Let a be u(44). Which is greater: a or n?
n
Let h = -6 - -5. Is -1 at most as big as h?
True
Let w = -2.5 + 4.5. Is w >= 2?
True
Let t be 60/(-25)*10/(-4). Let o be 0/(-6 + (t - 3)). Do o and 5 have the same value?
False
Let q(p) = p + 5. Let x be q(0). Let y = x + 3. Let r = -9 + y. Are r and 0 non-equal?
True
Suppose 0 = -43*m + 47*m - 96. Do m and 22 have the same value?
False
Let w = 1/130 + -21/26. Which is bigger: 0 or w?
0
Let i(t) = -t**3 + 13*t**2 - 1. Let x be i(13). Is x equal to 6/13?
False
Suppose 14 = l + 15. Let w be (0 + 1)/((-19)/1). Is l bigger than w?
False
Let p be 16/((-8)/(-2))*-2 + 0. Which is smaller: -15/2 or p?
p
Let b(v) = -4*v**3 + v**2 - v. Let y be b(1). Let n = y + 6. Which is bigger: 3 or n?
3
Let n(m) = m**3 + 3*m**2 + m - 1. Suppose 7*w - 2*w = -10. Let j be n(w). Is j != 1?
False
Let c = 1.3 - 9.3. Are 2 and c equal?
False
Let p be 12/(-10)*(-10)/3. Suppose p*y - 14 - 14 = 0. Let u(b) = b - 7. Let a be u(y). Which is bigger: a or 0.1?
0.1
Let p = -11.8 + -0.2. Let o = 10 + p. Which is smaller: -1/4 or o?
o
Let o be ((-2)/(-10))/(-6 - -7). Let a be (2 - (2 + 0))/1. Suppose 2*f + 0 + 2 = a. Is o < f?
False
Suppose -3*n - 9 = -21. Suppose 3 = -n*h + 7. Let w = 61/5 + -59/5. Is w >= h?
False
Let m = 12 + -9. Suppose -m*g = g - 36. Does g = 9?
True
Let m = -11 - -18. Suppose 0 = -2*k - m + 1. Which is smaller: -5 or k?
-5
Suppose -m + 5*v - 6 = -1, 4*m + 3 = 3*v. Suppose m = -3*c + 10 - 4. Suppose -3 = -c*p + 5*p. Is p greater than or equal to -2/5?
False
Let f(r) = 9*r**2 + 5*r - 3. Let m(d) = -5*d**2 - 3*d + 2. Let g(k) = -6*f(k) - 11*m(k). Let y be g(3). Is 14 not equal to y?
False
Let s be 1/2 + 22/4. Let j(a) = a**3 - a**2 + 2*a - 3. Let q be j(2). Which is greater: q or s?
s
Suppose v - 3 = -0*v. Suppose -s - 3*s = -8. Which is greater: s or v?
v
Let n be 4/(-8) - 1 - -2. Is n less than -0.2?
False
Let c be (-2 - 42/(-15))*5. Suppose -2*u - 15 = 3*b - 2, c*u + 3*b + 23 = 0. Suppose 0*s = -s - 4. Is s greater than or equal to u?
True
Let c = 33/5 + -117/20. Let t = 0.3 + -0.2. Let w = t + -0.1. Is c != w?
True
Let p be (-299)/(-30) - (-3 - 38/(-12)). Which is smaller: 10 or p?
p
Let i be (8/(-24))/(1*1/(-33)). Which is smaller: 0.2 or i?
0.2
Let x = -269 + 3499/13. Let v be (-2)/(-4) - 3/(-2). Suppose -3*p + 2*i = -7, -4*p + v*i - 4 = -12. Is p at least as big as x?
True
Let j = 6.5 + -7. Let m = -0.4 - j. Is -0.5 < m?
True
Let i = -40 + 159/4. Which is bigger: -1 or i?
i
Let p = -13 - -13. Is p != 5/2?
True
Let g = 3.89 + 0.11. Suppose -6*f = -2*f - 4. Which is greater: g or f?
g
Suppose -w + 15 = -3*z + 1, z = -5. Does w = 87?
False
Let t(o) = -2 + 6*o**2 - 7*o**2 + 3 - 2*o. Let v be t(-3). Let d = v - -4. Is d at least as big as 1?
True
Let r be ((-4)/10)/((-3)/45). Let v be (r/(-3))/(10/6). Which is smaller: -1 or v?
v
Let a = 0.1 + -1.1. Let s = a - -0.9. Let w = -3 - -3. Do s and w have different values?
True
Let m = -18 + 21. Let s = -1 + 2. Are s and m nonequal?
True
Let f = -13 - -20. Let q be (6/f)/(1/(-7)). Which is smaller: q or -4?
q
Let w(z) = -z**3 + 3*z**2 + 5*z - 4. Let s = 9 + -5. Let g be w(s). Which is smaller: g or 1/12?
g
Suppose 3*h - 4*l + 5 = -5, 5*l - 12 = 4*h. Suppose -h = 2*a, -2*a - 137 = 2*k + 3*k. Let q be k/35 - (-5)/25. Is -1 >= q?
False
Let d(l) = -l. Let n be d(3). Let g = -23 + 26. Suppose -4*p + o - 1 = 0, g*p + 13 = 5*p - 5*o. Are n and p non-equal?
True
Let i(v) = -12*v + 12. Let n be i(8). Let h be ((-344)/n - 4)*6. Is h bigger than 2?
False
Let k(r) = r**3 + 8*r**2 + 8*r + 7. Let q be k(-7). Let x be -2*(q + (0 - 2)). Let w be ((-6)/(-2))/78*x. Which is greater: w or -2?
w
Let u = -90 - -79.7. Let d = -10 - u. Is d less than 2?
True
Let r = -0.004 + -0.496. Do 7 and r have the same value?
False
Let w = -195/4 + 1389/28. Let o = 5/14 - w. Is o > 4/7?
False
Let u = 5 - 7. Let k be -2*3/(6/(-7)). Suppose -k = 3*r + 2. Which is bigger: u or r?
u
Let h be ((-74)/(-28))/(1/(-6)). Let p = 16 + h. Is p at least -2/3?
True
Let g be (-1 + 4/6)*-36. Which is greater: g or 11?
g
Let o = 13 + -17. Let j = -0.2 + 0.3. Does o = j?
False
Suppose 5*t + v = -367, t = 3*t + 3*v + 152. Let k = 32 - t. Let y be (-5)/k - 2/(-6). Do -1 and y have different values?
True
Let i = -3 - -6. Suppose -i = -2*z - z. Let s be 12/(-15) + (z - 0). Which is bigger: -1 or s?
s
Let w = 4.9 + -5. Let h = 4.9 - w. Let g = h + -5.1. Which is smaller: 0 or g?
g
Let p(b) = 6*b**2 + b**3 + 0*b**3 - 7 + 8*b - 14*b**2. Suppose 14 = -2*a + 4*a. Let n be p(a). Which is bigger: -3/8 or n?
n
Let b = -121 - -68. Is b at most -53?
True
Let y(c) = -c**3 + 6*c**2 + 7*c - 13. Let t be y(7). Which is smaller: t or -17?
-17
Suppose -4*p - 8 = 0, 2*r - 6 = -5*p - 4. Suppose 6*l = 3*l. Suppose l = -2*x + 8, -3*k - 8 = -k - 5*x. Are r and k nonequal?
False
Let t be (-88)/(-170) + 14/(-35). Which is greater: t or -1?
t
Let r = 231 + -4387/19. Let v(h) = 3 + 3*h**3 - 3*h**2 - 3*h - 2*h**3 + 6*h**2. Let m be v(-4). Which is greater: r or m?
r
Suppose -9*f - 11 = 25. Is f >= 7?
False
Let x = -1 + 0. Let p = -9 + 8.93. Let k = p - 0.43. Is k != x?
True
Let u(v) = v + 1. Let f be u(-2). Let o = -2 + f. Is -2/3 at most as big as o?
False
Let h(v) = -2*v**3 + v**2 + v. Let c be h(-1). Suppose c*i = -3*i - 60. Let s be (-4 - -2) + (-32)/i. Does s = 0?
False
Let w = 5 - 0. Suppose z + g - w = 0, 0 = 6*z - z + 4*g - 26. Suppose 12 = 3*i - 6. Is z > i?
False
Let b = -114 - -350/3. Are b and 3 nonequal?
True
Suppose -2*p - 15 = d, 0 = -d - 3. Let x be (2 - (1 - 2)) + -7. Which is smaller: p or x?
p
Suppose 6 = -2*b + 4*b. Let i be (-1)/((-1)/((-6)/(-2))). Is i > b?
False
Suppose -2*w - w = w. Suppose -f + 2 = 3. Which is smaller: w or f?
f
Let c = 26 + -18. Is 1 bigger than c?
False
Let a(i) = -i**2 + 8*i - 8. Let d be a(7). Which is smaller: 0 or d?
d
Let z be (-2)/(-4) - (-3 + 175/(-10)). Which is bigger: z or 19?
z
Let w = 37 - 35. Is 10/13 >= w?
False
Let w be (-1)/(-2)*(-4)/9. Let l = 12 + -13. Which is smaller: l or w?
l
Let t = -109 + 8283/76. Which is greater: 0 or t?
0
Suppose -4*m + 99 = -29. Let v = 31 - m. Let h = 1156/7 + -166. Do v and h have different values?
True
Let g be 3/(-2)*(-9 - -3). Let d = g - 5. Suppose -d = 2*r - 2. Which is greater: 0 or r?
0
Let s be -1 - (-3 - 2)*-2. Let p be 3/(-5) + s/(-35). Let t = 0 - p. Which is bigger: t or 1?
1
Let n = -0.086 + 26.086. Which is smaller: 1 or n?
1
Suppose 3*l + 2 = 2*l. Let u be (-2)/(l + 1 - -3). Let w = -865/9 - -96. Which is smaller: w or u?
u
Let t = -31 + 46. Do 14 and t have the same value?
False
Let o be 0/(((-1)/(-2))/((-4)/(-8))). Let s be (1 + 41)*1/2. Let h = -83/4 + s. Which is greater: o or h?
h
Let b = 15 - 12. Which is bigger: 0 or b?
b
Let s(m) = -1 - 3*m + 3 + 4*m + 0. Let t be s(-9). Which is smaller: -6 or t?
t
Suppose 0 = -0*r - 5*r + 4*c - 24, -5*r - 3*c - 17 = 0. Suppose 0 = -9*f - 35 - 10. Which is smaller: f or r?
f
Let g(u) = u**3 + 2*u**2 - u - 1. Let i be g(-2). Suppose 2 + 2 = -4*m. Let r be 2/(-9) + m/36. Which is smaller: r or i?
r
Suppose 3*y 