. Let w = -3.1 - 8.9. Is a at least as big as w?
True
Let n = 342 - 341.9. Let i = -0.05 - 1.25. Let s = i - -2.2. Which is greater: n or s?
s
Let r be 3 - (1/(-4) - 2472/96). Are 146/5 and r nonequal?
True
Let s = -623/26 + 292/13. Which is smaller: s or 1/68?
s
Let g(f) = f**3 + 18*f**2 - 2*f - 37. Let h be g(-18). Let d = 161/3953 + -5/67. Are d and h nonequal?
True
Suppose 2*f - 4*f + w = 52, -133 = 5*f - 4*w. Let c be (f/(-275))/((-1)/(-2)). Which is smaller: -1 or c?
-1
Let l = -1230 + 1230.18. Are l and 6 nonequal?
True
Suppose 12 = 2*s + 3*w, s + 3 = w - 1. Is 22/19 at least s?
True
Suppose f + 9*i + 68 = 4*i, -3*f - 260 = i. Let t = f + 62. Let u be (-6)/(-39) - (-342)/t. Which is bigger: u or 1?
1
Let s(r) = -r + 4. Let x be s(-2). Let p be -4 - 16 - x/(2 + -5). Which is bigger: p or -3?
-3
Suppose -7 = -2*i + 3*i + 3*j, -5*j = -5*i + 25. Let u(h) = 2*h**2 - 4*h - 1. Let g be u(i). Which is greater: 5/12 or g?
5/12
Let i(x) = -x**3 - 13*x**2 + 14*x + 12. Let d be i(-14). Let b be 11/((-22)/d)*1. Let y be (5/40)/(1/b). Which is smaller: 0 or y?
y
Let y = -4505/1652 + 19/7. Which is greater: 1 or y?
1
Let l(c) = -c**3 - 36*c**2 + 37*c - 72. Let b be l(-37). Is b at least -1/18?
False
Let s = 1.07 - 2.48. Let h = 1.5 + s. Let r = 0.49 - h. Is -0.1 greater than r?
False
Let o = -2118/5 + 188512/445. Is o >= 1/5?
False
Suppose -3*d + 15 = 5*g, -43*g + 3 = 2*d - 42*g. Is 4/283 at most as big as d?
False
Suppose 29*r - 19*r + 1470 = 0. Are -142 and r nonequal?
True
Suppose 16 = -4*w + 3*z - 33, 2*w + 4*z = -30. Suppose 2*d - 5 = -1. Let f be d/3 + 88/(-6). Which is smaller: w or f?
f
Let z = -357408/515 + 694. Which is greater: 0 or z?
z
Let k = -197 + 197.03. Is -20 at least as big as k?
False
Let g be (22 - 24)/((-2)/5). Which is smaller: g or -3.7?
-3.7
Let f = 24 - 19. Let d be (25/(-8))/(f/(-20)). Which is smaller: 13 or d?
d
Let g(x) = x**3 + 4*x**2 + 1. Let r be g(-4). Let d = -951/28 + 137/4. Is r >= d?
True
Let d be (-5)/3 - 46/(-24). Which is bigger: 78 or d?
78
Let y = -0.1 - 2.9. Let t be (-3)/(-1) - 6/(-2). Suppose 0 = 5*d - t - 9. Do y and d have the same value?
False
Let p(x) = -9*x**3 - 2*x**2 - 4*x - 1. Let t = 65 - 66. Let s be p(t). Is 0 >= s?
False
Let r = -106 - -110. Let x be 101/r - (-4)/(-16). Which is smaller: 0.1 or x?
0.1
Let n be 9/6*2/3. Let h(g) = 10*g + 6. Let l be h(3). Let x be n + ((-140)/l)/5. Which is greater: 0 or x?
x
Let c = 14 - -2. Let a be (c/(-24))/((-10)/(-12)). Which is smaller: 0 or a?
a
Suppose -3*r = -3*v, -3*r + 5*v - 10 = -0. Suppose -r*k + 36 - 201 = 0. Is k smaller than -32?
True
Suppose -4*m + 28 = -0. Let c(w) = w - 10. Let b be c(m). Let t be 3/(-3) - 0/(-4 - -2). Which is bigger: b or t?
t
Let d(m) = -2*m - 11 - 90*m**2 + 0*m + 91*m**2 + 2. Let p be d(-3). Is 8 at least as big as p?
True
Let v = 1.81 + 0.39. Let q = v - 1.9. Do q and 0 have different values?
True
Let n = -4.06 - -0.06. Let s = 29.921 + 0.079. Let w = s - 30.4. Is w smaller than n?
False
Suppose -11*i + 40 = -3*i. Let b be (-2)/(-4) + 2/(-4). Let n(w) = -w + 4. Let z be n(b). Which is bigger: i or z?
i
Let t = -509/6 - -84. Suppose v + 11 - 27 = 4*q, 3*v + 20 = -5*q. Suppose -2*g + 12 = -5*h, 3*h + 2*g = -v*h - 4. Which is greater: h or t?
t
Let f = 15.1 + -143.1. Is -2/5 != f?
True
Let v be -74 + 74 + (-1 - (-490)/423). Let m = 3/47 + v. Let n = 3 + -2. Is m at most n?
True
Let q = 37 - 36. Let n be q - (3 + -3 - 23). Suppose -2*m + 5*m + 17 = -5*r, 5*r = 4*m - n. Is m at most as big as 1/10?
False
Let i(d) = 2*d - 4 + d - 2*d + 0*d. Let g be i(4). Is g >= 2/9?
False
Let m(x) = x**2 + 10*x - 6. Let w be m(-11). Suppose 0 = c - p, -5*p = w*c - p. Suppose -3*j - 2 = 1. Do c and j have different values?
True
Let k(g) = -2*g + 9. Let h be k(6). Suppose 7*d = 30 - 23. Is h equal to d?
False
Let k be (5/(-10))/((6/(-36))/1). Is k <= -0.26?
False
Suppose 56 = 5*g - 4*b, 2*g + 5*b = 5*g - 44. Let m be (-3 + 36/g)/(-12). Is -0.1 less than m?
False
Let w(u) be the first derivative of u**6/180 - u**4/8 - 2*u**3 - 2. Let f(q) be the third derivative of w(q). Let m be f(-2). Which is smaller: m or 4?
4
Let y be (-32)/(-10) - 2/(-7 - -17). Suppose -9 = -4*b + y. Which is greater: 24/11 or b?
b
Let h be (240/864)/((-10)/(-42)). Let w be (-6)/15*10/(-24). Which is smaller: w or h?
w
Suppose -4*a + 4*n + 12 = -a, -4*a = -3*n - 9. Which is smaller: a or 14/173?
a
Let r be -2 - (-190)/112 - (-24)/56. Are 8 and r unequal?
True
Suppose 0*a = a + 8. Let q be (a/(-12))/(6/9). Suppose q = -2*t + 3. Which is smaller: t or 2/39?
2/39
Let w = -13/3 + 4. Is w smaller than 112?
True
Suppose -3*i + h = -3*h - 48, -30 = -3*i - 2*h. Suppose -4*x = -4*t + i, 0 = -3*t - 7 - 8. Let s be (7 + -2)*x/100. Which is greater: s or -1?
s
Suppose 225 + 285 = 6*r. Let m = 76 - r. Do m and -9 have different values?
False
Suppose -5*t + 0*t = -40. Let s = t - 6. Let y be 2/24*s*8. Which is bigger: y or 0?
y
Suppose 72 = 11*s - 8*s. Suppose -s*m + 4 = -22*m. Let u be (-4)/(-10) + 12/10. Is u < m?
True
Suppose 2*t + 14 = -6. Suppose 10*h - 8*h = 4. Which is bigger: t or h?
h
Let w = -17319/5 - -3477. Which is smaller: w or 12?
12
Let o = 22 - 22.9. Let a = o + -0.15. Let n = a - -0.05. Do -1/3 and n have different values?
True
Let n(t) = 22*t + 36. Let p be n(-5). Let j be 3/(-12) + (-2679)/36. Let d = j - p. Which is smaller: 0.9 or d?
d
Let h = 1594/8093 - -432445657/347999. Let n = h - 1243. Which is greater: n or 1?
1
Suppose 2*a + 29 = 3*m, 3*a + 2*m = -43 + 6. Let w = a + 13. Do w and 1/13 have different values?
True
Let y be (-3)/3 + (1 - 0). Let x be (-10)/(-6)*10*18/(-15). Let b be 6/(-21)*7/x. Which is greater: y or b?
b
Let q be ((-66)/12)/(18/8). Suppose -3*a + 1 = 5*h, 3*h = -a - h + 5. Which is bigger: q or a?
q
Let h be (-2)/3 + 201*3/891. Which is smaller: h or -1?
-1
Let u be 1 + 0 + (-70)/(8/(-4)). Suppose -u + 6 = -5*n. Which is smaller: -1 or n?
-1
Suppose 2*t = 3*g - 12, 0 = -4*t - 0*t - 5*g - 2. Suppose 4*a + 5*c = 13, 0 = 3*c - 0 + 9. Let r = a + -9. Which is smaller: r or t?
t
Let c = -14.01 + 0.01. Let o = -14.4 - c. Let z = 1.95 + 0.05. Is z at least o?
True
Let x(r) = -r**3 - 7*r**2 - 6*r + 7. Let n be x(-5). Suppose 3*b + 5*s = -20, 7*b - 2*b = 5*s - 100. Which is bigger: b or n?
n
Suppose -5*n + 10*s - 14*s + 764 = 0, 3*n - 455 = s. Does -1 = n?
False
Let q = 51.14 - 51. Let m = -8 + 8.1. Is m bigger than q?
False
Let n(z) = 12*z**2 + 6*z - 7. Let i be n(-4). Let y = 1613/10 - i. Do 1/3 and y have different values?
True
Let z = -17 + 16.9. Let y = 0.3 + z. Let c = -7 - -10. Is c smaller than y?
False
Let p = -174.81 + 175. Is -1.4 less than or equal to p?
True
Let s be ((-2)/(-6))/(1/75). Let x = 200 + -176. Is s not equal to x?
True
Suppose 69*u - 110 = 28. Which is bigger: 1/165 or u?
u
Let x be (-6 - 64) + (-1 - -5)*1. Which is smaller: -65 or x?
x
Let h = -147/130 + 3/13. Let k(n) = -n**2 - 11*n - 12. Let p be k(-10). Are h and p non-equal?
True
Let v = -12 + 13. Let y be (-3 + -1)/48*32/(-268). Which is greater: v or y?
v
Let t = 5 + 3. Let q be (-3)/t*(-18)/(-27). Let l = 0.9 - -0.1. Which is bigger: l or q?
l
Let t(l) = -8*l - 58. Let c be t(-2). Is -41 equal to c?
False
Let o = 2003 + -2053. Suppose -3*m - 5*y + 132 = -6*m, 5*y = -5*m - 260. Does m = o?
False
Let v be (2 + -1 - 2)*2. Suppose 2*z - 20 = -3*z. Suppose -2 = -j - z. Is j at least v?
True
Let b be (-6)/(-16) + 0/(0 + -4). Are b and 1 unequal?
True
Suppose -2*l + 7*l - 350 = 0. Which is smaller: 71 or l?
l
Let n = 4.2 - 9.32. Let t = 0.12 + n. Let s = 1 - 1.1. Are t and s equal?
False
Let c(p) = 35*p + 9 - 69*p + 35*p. Suppose -o = q + q + 11, 2*o - 2 = -q. Let r be c(q). Is r != -2/15?
True
Let o = 99/1159 + -1/19. Which is smaller: -2 or o?
-2
Let h = 177.4 + -174.4. Which is greater: h or -301?
h
Let o = 198 - -79. Which is smaller: 2 or o?
2
Let o = -167 + 248. Let l be ((-18)/o)/((-8)/30). Is 2 less than or equal to l?
False
Suppose 33*b + 2*b = 35. Which is bigger: b or 32/25?
32/25
Let p = 423 - 215. Is 208 greater than p?
False
Suppose -p = -5*n + 77, -88 = 5*p - 5*n + 277. Are p and -4 equal?
False
Let d be ((-5)/2)/(8/(-16)). Suppose 0 = -d*q + 15 + 65. Suppose a = -a + q. Is a less than 8?
False
Let p(b) = -3*b + 2. Let y(d) = -2*d + 3. Let z(w) = 4*p(w