 smaller: h or x?
x
Let p = -427 - -376. Is -2/5 bigger than p?
True
Let a be -26*(-1)/2*2. Let v = 29 - a. Which is greater: v or 8/3?
v
Suppose -2*w - 4*w - 24 = 0. Let y be 3 - ((-2 - w) + 1). Suppose 3*s - g - 24 = y, -3*g + 5 = 2*s - 0. Which is greater: 4 or s?
s
Suppose -5*z = -4*w + 99, -2*w - z = z - 54. Which is greater: 9 or w?
w
Suppose 0 = -s + 13*s - 456. Let d = s + 30. Is 68 at most d?
True
Let q = -18 - -23. Suppose -q*o - 2*o = -49. Let l = -82 - -412/5. Is l not equal to o?
True
Let w = 128 + -341. Let b = 2771/13 + w. Is b < 0?
False
Let f(v) = -v - 2. Let w(b) = b + 3. Let a(h) = 6*f(h) + 5*w(h). Let u be a(4). Let x be (-28)/(-99) + 2/(-9). Is u at most as big as x?
True
Suppose 3*q - 7 - 11 = 0. Let f = -10 + q. Suppose 0 = -58*o + 3*o. Which is smaller: o or f?
f
Let h = -1042/9 - -48875/423. Which is smaller: h or 1?
h
Suppose -55*c - 420 = -48*c. Which is greater: c or -63?
c
Suppose 4*b = -4 - 0. Let u be (7/38)/((-6)/12). Let a = -25/171 - u. Is b at least a?
False
Let g = 113 + -112.9. Let z(q) = -q**3 - 4*q**2 + 8*q + 2. Let b be z(-6). Suppose -4*r - b = -2*r. Is g smaller than r?
False
Let k(n) = -n**2 + 12*n + 32. Let x be k(14). Suppose 3*t - 32 = 2*p + 9, -5*t - x*p + 61 = 0. Which is greater: t or 15?
15
Let r = -19.5 - -17.93. Is r greater than or equal to -1/4?
False
Let b be (-1)/6 + (-1237254)/(-36). Let i = 169829/5 - b. Let c = i + 401. Which is smaller: c or -2?
-2
Let f(v) = v**3 + v - 1. Let q be f(0). Let u be (5/q)/(-2 - -1). Let x be (-1)/((-4)/4)*u. Is x greater than or equal to 4?
True
Let a = 4 - 2. Let g be ((-4)/10)/(16/400). Is a > g?
True
Let l = -35 + 174/5. Suppose -3*p = 3*w, 4*w = -p - 4*p. Which is smaller: w or l?
l
Suppose -5*x = -3*g + 123, -x = -2*x + 5*g - 29. Let a be x/(-64) - (2/8 + 0). Which is smaller: 2 or a?
a
Suppose -20*z + 21*z = 6. Suppose -5*w - y = -z, -4*w = -0*y + 4*y + 8. Is 2 greater than w?
False
Suppose 4*k - 6 - 22 = 0. Let u = 93 + -93. Suppose u = 9*o - k*o. Is -2/41 >= o?
False
Suppose 35 = -8*y + 27. Suppose 3*s + 0*w - 23 = 5*w, 2*w + 8 = 0. Let p be (-8)/10*s/6. Are y and p non-equal?
True
Let m = -36 + 27. Let k = -35 - m. Let h = 25 + k. Which is smaller: h or -3/28?
h
Let l = -0.736 + 0.767. Which is bigger: l or -0.4?
l
Let d = -780 + 780. Do 465 and d have the same value?
False
Let p = 42 - 20. Let n = 306 + -284. Is p <= n?
True
Let i = 37.74 + 0.26. Let j = -37 + i. Let c be ((-2)/8)/(9/(-120)). Is j greater than c?
False
Let k(d) = -d**3 + 8*d**2 - d + 5. Let z be k(8). Let g = -10 + 22. Suppose 0 = -5*m - g - 8. Which is smaller: z or m?
m
Suppose 4*o + 3*c = 18, -4*c - 8 + 1 = -5*o. Let q(x) = -x**2 - 5*x + 7. Let m be q(-6). Suppose 0 = -b - a + 6*a + m, -a - 1 = -b. Is o > b?
True
Let o be (0*(-3)/6)/2. Let m(c) = -c**3 - 16*c**2 + 17*c + 1. Let d be m(-17). Is o at most as big as d?
True
Let q = -0.176 + -44.824. Are q and 2/7 unequal?
True
Suppose -g + 8 = -5*g. Suppose 4*b + 3 = b. Let n be (g - b)*(6 - 5). Does -1 = n?
True
Suppose -u - 3 = 3*w, -3*w + 8*w + 38 = 2*u. Suppose -3*m + 60 - u = 0. Do m and 17 have different values?
False
Let v = 1269407/90 - 127958/9. Let x = v - -113. Which is greater: x or 0?
0
Let y be (8/(-3))/((-28)/1806). Let p = 1206/7 - y. Are 27 and p equal?
False
Let b = -113 + 10. Let r = -36/23 - -206/161. Are r and b unequal?
True
Suppose -t - 4 = -f, -6*f + 3*t = -7*f - 16. Which is greater: 5/11 or f?
5/11
Let k be (-1)/(-4) + (-252)/48. Let z be (0 - 0)/(k - -3). Suppose 0 = -2*n + 3*n - 2. Which is smaller: n or z?
z
Let x be ((-574)/1435)/(0 + (-2708)/(-5)). Which is bigger: x or 1?
1
Let j = -182 + 182.02. Which is smaller: -8 or j?
-8
Let f(i) = 2*i**3 - 13*i**2 - 4*i. Let t be f(6). Let b = t + 64. Is 5 at most as big as b?
False
Let n be (70/55)/(1/(-4)). Let q = 204 + -208. Which is smaller: n or q?
n
Let d = 1/71 - 78/497. Let m = 108 - 109. Which is smaller: m or d?
m
Let d = -1996/27 + 74. Suppose -4 = -2*b - 0. Suppose -2*r - b = -0. Which is smaller: r or d?
r
Suppose -4*i = -12*i + 208. Let a be 2 - (-4)/((-8)/(-42)). Let y = a - i. Do y and -5 have different values?
True
Let l = 6003/5 + -1201. Which is smaller: l or -0.0585?
l
Suppose -15*f = -18*f + 6, 0 = -l - 5*f + 8. Let q = 0 - -1. Let y be (-6)/10*(2 - q). Which is smaller: l or y?
l
Suppose 10 - 50 = 40*o. Does o = -11/53?
False
Let u = -32344/33 - -980. Suppose -3*y + 0*y = -3. Which is greater: y or u?
y
Let c be ((-5)/10)/(1/14). Let j be 2*(-490)/100*(21/(-18) - -2). Is j smaller than c?
True
Let t = -1471 + 13225/9. Let a = 3806 - 3807. Which is smaller: a or t?
t
Let j be ((-1)/9)/((-1820)/(-228) + -8). Which is smaller: j or 14?
j
Let j = 496 - 475. Is j at least 21?
True
Suppose -w + 0*w + 1 = 0. Let s = w - -12. Which is greater: s or 11?
s
Let d(w) = -w**3 + 4*w**2 + w + 12. Let k be d(5). Let t be (-9)/36 - (-66)/k. Is t >= -9?
True
Let l = 82 + -110. Are l and -82/3 equal?
False
Let a = -0.032 + 0.018. Let l = 1.314 + a. Which is greater: l or -0.1?
l
Let k(h) = -h**2 - 2*h + 2. Let o be 2/(2 + -2 - 1). Let n be k(o). Let c be 2/5*(-3)/n. Which is smaller: c or 0?
c
Let v(r) = -3*r**2 - 67*r - 189. Let s be v(-19). Which is smaller: s or 6/713?
6/713
Let q be 4/18 + -5 + (-2886)/(-378). Is 4 at most as big as q?
False
Suppose 9*f - 230 = -806. Does -66 = f?
False
Let c = -6 + 5. Let q = 137/3 - 1123/24. Are c and q equal?
False
Let w be (-4)/6*(-4418)/94. Which is smaller: w or 30?
30
Let m be 0/12 - (-3 + -1). Suppose -2*j + 2 = -m. Suppose -j*k - 30 = 2*k. Which is smaller: k or -2?
k
Let y = -3539 - -2515. Let x be y/(-72) - 4/18. Let j = x + -14. Is 1/11 > j?
True
Let a be 1/4 - (-186)/(-8). Let x = -48 - -26. Which is greater: x or a?
x
Let q be 64/48*348/(-160). Is q at least as big as -0.2?
False
Let j = 23/142 - -715/6106. Is 1 < j?
False
Suppose -4*w = -w - 6, 16 = o - 5*w. Suppose -o = -4*a + 6. Is a at least 3?
True
Suppose -4*r + 28 = 444. Let c = -55 - -56. Is c at least r?
True
Let t = 20 + -16. Suppose 5*z + 28 = 2*u, -4*z + 3*u - 25 = t*u. Let k = 13/4 + z. Which is smaller: -3 or k?
-3
Let v(b) = -9*b - 403. Let z be v(-42). Which is smaller: -170/7 or z?
z
Let b be 1 + (-1)/(6/5). Let h be 1 + 0/2 - (-104)/(-130). Is b at most h?
True
Let m(u) = -u**3 - 5*u**2 + 5*u + 15. Let q be m(-6). Are q and 19 unequal?
True
Let b = -5 - -5.6. Suppose 3*p - 3 - 3 = 0. Suppose p*t = -2*t. Are b and t equal?
False
Let p be (-9 - (-5 - 5))*-152. Which is greater: -150 or p?
-150
Let i = -7 - -3. Let l be 5/20 - 35/(-4). Suppose -z + l = -2*p, 5*p - z + 22 = z. Is p != i?
False
Let u = 23 + -16. Suppose -u*j + 2*j + 5 = 0. Suppose -f = -0*f - j. Which is bigger: 2 or f?
2
Let h(u) be the second derivative of u**4/12 + 4*u**3/3 + 7*u**2/2 - 28*u. Let d be h(-5). Which is greater: -27/4 or d?
-27/4
Let p be 28/63 - (-4)/(-30)*3. Is 0.1 < p?
False
Let q(n) = -n**2 - 30*n - 177. Let a be q(-16). Are a and 47 unequal?
False
Let k = -82 + 82. Suppose 3*u - 3*b - 10 = 2*u, 2*u = -5*b - 24. Let p be -2*2*u/(-4). Which is greater: k or p?
k
Suppose -8*a = -6*a + 2*r + 2, 5*a + r + 5 = 0. Which is smaller: -2/723 or a?
a
Suppose -240 = -6*a + 3*a. Suppose 0 = -5*l - 2*g + 18 + a, -5*g - 25 = -l. Suppose -4*b + 4*w + 0*w = -l, -b + 2*w + 7 = 0. Which is greater: 2 or b?
b
Let a be (1/(-2))/((-6)/12). Suppose -h + 1 = -a. Suppose -d + 2 = 0, 5*o - h + 4 = d. Which is smaller: 4 or o?
o
Let a = 22.6 + -22.6. Suppose 1 = 2*z - 15. Is z equal to a?
False
Let s be ((-10)/5)/(-1 + -1). Suppose 3*c + s - 10 = g, 0 = c + 4*g + 10. Suppose c*t = -2*w - 38, 1 - 4 = t. Which is smaller: w or -17?
-17
Let w = 0.08 + -9.08. Let t = 28 + w. Is -2 less than t?
True
Suppose 2*l + 20 = v, v + 4*l - 32 = 9*l. Is v > -1?
True
Let f be 4/(-2) + 0/(-28) + 3. Is 14/33 greater than f?
False
Let v = 546 - 547. Which is bigger: -167/2 or v?
v
Let t = -80 + 109. Let q be 26 + ((-20)/4 - -9). Is q > t?
True
Suppose 3*d + 3*t - 63 = -0, 2*d - 5*t = 70. Suppose -12 = -4*g, -3*c - 2*g = -10 + d. Let o(h) = -h + 1. Let n be o(6). Is c < n?
True
Suppose 9*m + 20 = -70. Do -10 and m have the same value?
True
Let h = 149.9 + -151.74. Which is greater: h or -0.2?
-0.2
Let y = -380 - -601. Is y greater than 222?
False
Let o(j) = -31*j + 14. Let b be o(4). Let n be