 Which is smaller: h or t?
h
Suppose 0 = a - 1, w - 2*w = 3*a + 1380. Let u = w + 4033/3. Which is smaller: -40 or u?
-40
Suppose -13957 = -4*n - 5*v, 185*v - 13937 = -4*n + 184*v. Do 3481 and n have the same value?
False
Let z = -5578 - -5540. Is -1 at least as big as z?
True
Let h = 9/998 - 1021/57884. Let d be (-2)/(-2) - 44/58. Let y = h - d. Are y and -0.11 non-equal?
True
Suppose 3*r - 9961 = 2*m, m = -0*m - 3*r - 5003. Let k be m/(-831) - (13 + -7). Are k and -0.1 equal?
False
Suppose 32*t + 97 = 257. Suppose -820 = -5*w - t*b, -18*b + 13*b - 860 = -5*w. Which is smaller: w or 167?
167
Let n = 1235 + -1999. Let a = 764.04 + n. Let y = -3 + 1. Does y = a?
False
Let f = 148.164 - 148.13. Is -80 greater than f?
False
Let s = -2367.5946 - 0.4054. Is -2/3 not equal to s?
True
Let f be ((-3)/6 + 0)*(-24)/3. Let w(u) = 2*u**2 - 8*u + 15. Let n be w(f). Are 16 and n non-equal?
True
Let u = -0.23 + 19.23. Let v(g) = 1323*g - 41 - 663*g - 657*g. Let n be v(13). Are u and n non-equal?
True
Let b = -39.11 - -39.01. Which is smaller: b or 2783?
b
Suppose -5*r - 14*q = -19*q + 345, q + 246 = -4*r. Suppose 5*p + 310 = 5*s, 4*p + s - 126 + 369 = 0. Which is smaller: p or r?
r
Let o(k) = -k**2 + 7*k - 12. Let f be o(3). Suppose f = 38*z - 21*z + 799. Which is greater: -231/5 or z?
-231/5
Suppose 16 = 5*q - 4, t + 6 = -q. Suppose 0 = o - 35. Let l be (-18)/(-27) + o/(-3). Is l >= t?
False
Let g(b) = 2*b + 136. Let v be g(-41). Let u(z) = -z**3 - 5*z**2 + 5*z - 10. Let r be u(-7). Which is greater: v or r?
v
Let w be -2 + 3 + (12 - (-36)/(-3)). Which is greater: w or -3232?
w
Let x = -0.73 - -1.55. Let r = x - 0.42. Let z = r + -0.36. Which is bigger: z or 0.02?
z
Let o be 380/570 + (-2)/((-83928)/(-27982)). Which is smaller: -1 or o?
-1
Let z = 2.7 + -1.82. Let c = 0.12 + z. Are c and 6 non-equal?
True
Let u = -18.8713 - -18.9. Let g = u - 0.0287. Is g <= 95?
True
Let u = -26 + -261. Suppose -4*v + 1160 = -4*g, 5*g - 2*v = -50 - 1394. Is g < u?
True
Suppose -t + 18 = 5*t. Suppose 2*u = -3*s - 0*u - 2, -3*u - 18 = -t*s. Let n be (-3 + s)*(-4)/(-40). Which is smaller: 0 or n?
n
Let u = -287 - -74. Let f = u + 215. Do f and -67 have different values?
True
Suppose 0 = -5*n + 3*g - 86, -2*g + 5*g = 4*n + 70. Let m(t) = 4*t**2 - 405*t + 4881. Let o be m(14). Which is greater: o or n?
o
Let s = -0.63 + 0.595. Let t = s + -0.25. Let o = 0.045 + t. Is 1 less than o?
False
Let i(u) = -112*u + 1469. Let w be i(13). Is w >= 121?
False
Let i(t) = -5*t**2 - 175*t - 871. Let r be i(-6). Which is smaller: r or 76/235?
r
Let j = 2744 - 2742. Is 0.0017 smaller than j?
True
Let r(c) = -176*c - 8812. Let g be r(-50). Is 33 at most as big as g?
False
Suppose 3*m + 5*j - 855 = 432, 12 = -4*j. Suppose 873*w + 9959 = 896*w. Which is bigger: w or m?
m
Let s = 450 + -916. Let t = s + 466. Which is bigger: 2/1321 or t?
2/1321
Let d(t) = -20*t - 154. Let l be d(-8). Let c be (l - (20/5 - -1))*5. Let v(n) = n + 3. Let o be v(4). Which is bigger: c or o?
o
Suppose -18299 - 160592 = -91*l + 276200. Is 5000 smaller than l?
True
Let f = 10172 - 844274/83. Suppose -3*t - 4 = t. Which is smaller: t or f?
t
Let w = -4036 - -4036. Which is smaller: w or -6/553?
-6/553
Let l = -1242 + 269. Let a = l + 45729/47. Let o = 1/211 + -214/633. Is o at least a?
False
Let z = 8.38 + -2.78. Let b = -7.3 + 1.1. Let q = b + z. Which is greater: q or 0.1?
0.1
Let m = -1.33 - -1.4. Let l(t) = -4*t**3 - 4*t**2 + 3*t + 1. Let g(y) = -y**3 - y**2 + y + 1. Let k(z) = 5*g(z) - l(z). Let f be k(0). Which is smaller: f or m?
m
Suppose 13*a = 96 + 86. Suppose 6 = 4*d - a. Suppose d*x - 35 = -t, 3*t + 0 = 3*x - 3. Is 9 <= x?
False
Let g be 368/(-230)*4170/(-24). Which is greater: g or 310?
310
Let q = -748 + 10467/14. Let h(b) = -b**3 + 4*b**2 - 1. Let g be h(4). Is g smaller than q?
True
Suppose -3*p - 97 + 370 = 0. Suppose -5*v + 1233 = 2*m + 1012, -v + 286 = 3*m. Is m <= p?
False
Let j = -5508 + 4626. Is -887 < j?
True
Let y = -2611 - -2610. Which is greater: -36/91 or y?
-36/91
Let g = -359 + 510. Let d = g + -169. Do 3 and d have the same value?
False
Let x(d) = -12*d**2 - 53*d - 13. Let f be x(-4). Suppose -800 = f*g + 26. Is -118 less than or equal to g?
True
Let s(o) = 18*o - 18. Suppose -4*f + 6*j - 44 = 7*j, 2*j + 38 = -3*f. Let i be s(f). Are -198 and i unequal?
False
Let i = -2/10611 + 180395/42444. Is i > -12/49?
True
Let u = -50 - -72. Suppose 216 + u = 7*n. Which is bigger: 35 or n?
35
Let n = 0.1316 - -23.8684. Let o = -3.9 + 4. Is o bigger than n?
False
Let d be 0/(2/(-1)) + 11. Suppose 9*r = -2*r - d. Is -5/134 equal to r?
False
Let m(v) = 3*v. Let g(n) = -38*n + 63. Let d(l) = -g(l) + 3*m(l). Let x be d(3). Do x and 75 have different values?
True
Let l = -113/3 + 782/21. Which is smaller: l or -1/354?
l
Let v be ((-3)/2)/((-3)/(-4)) + 14. Suppose -7*x = -v - 51. Are x and 12 unequal?
True
Suppose 2*n + 215 = -55. Let b = 129 + n. Let s be 1 + (-4)/3*(-9)/b. Which is smaller: s or 2/31?
s
Suppose 0 = -14*u - 28. Let p be 26/(-80)*u - (-35)/(-140). Which is smaller: p or -60?
-60
Let h be (2/(-3 - (-9 + 0)))/(480/(-80)). Let r = -5 + 5.2. Which is greater: r or h?
r
Let s = 16 - 11. Let p be 6848/1680 - (s + -1). Let c = p + -1364/1365. Is c smaller than -2?
False
Suppose 9*t - 2*a + 19 = 6*t, -t - 4*a - 39 = 0. Which is greater: t or 576?
576
Let h be 52/338 + 37/13. Let m be 10*1/12*h. Which is smaller: m or -0.028?
-0.028
Suppose 0 = v - 3, -2*n - 18 = 2*v - 6*v. Let g be n - 7/((-42)/(-114)). Which is smaller: g or -106/5?
g
Let o be (-774)/772 - (-4 - 24/(-8)). Let q be (-4 + 2)/(2 - 0). Which is bigger: q or o?
o
Let t be 2/(-6) - 41/((-136653)/1114). Is t <= 0?
False
Let v = 2910.93 + -2910. Let w = -0.05 + -0.02. Let k = v - w. Which is greater: k or 0.62?
k
Suppose -z - 2*a + 10 + 3 = 0, 18 = z + 3*a. Let r be (-6)/(7/((-28)/z)). Suppose g - 3*g + 18 = 0. Is g >= r?
True
Let i(m) = 107*m - 52*m + 53 - 52*m. Let h be i(-16). Let z be ((-20)/(-200))/(1/h). Is 2 > z?
True
Let d = 17283668/3701 + -4670. Which is smaller: d or 1?
d
Let r(x) = -x**3 + 6*x**2 + 72*x + 243. Let k be r(13). Is 339 less than k?
False
Let s(x) = -x**3 + 9*x**2 - 2. Let i be s(5). Let b = -3805 + 3903. Is b <= i?
True
Let y(o) = 47 + 78 - 47 + 56 - 13*o. Let w be y(21). Which is bigger: w or -138?
-138
Let z(j) = -j**2 + 80*j - 2840. Let g be z(0). Is g at most as big as -2841?
False
Suppose -88 = -3*s + 5*h - 3*h, -4*s + 119 = -h. Let i(w) = -15 - 3*w + 21 - s + w. Let c be i(-11). Which is smaller: -44 or c?
-44
Let u(s) = -s**2 - 26*s + 944. Let g be u(-45). Which is greater: 81 or g?
g
Suppose 0 = w - 1 - 2. Let z be -2 - -2 - w/24. Let i = -8936 + 8936. Is z at most as big as i?
True
Suppose -116 = 10*k - 48*k - 78*k. Let a = 39410/87 - 453. Which is bigger: a or k?
k
Let p be 273/(-1118)*(-10)/15. Is -1 less than p?
True
Suppose 0 = 57*v - 94*v + 53*v + 112. Which is smaller: 2/667 or v?
v
Let b = -236.28 - -234.28. Which is smaller: -9758 or b?
-9758
Let h(i) = 1464*i**2 - 3*i. Let p be h(2). Suppose 13*g - p = 39*g. Do g and -0.1 have the same value?
False
Suppose 0 = -7*r - 9*r - 704. Let v be 55/r - (-236)/496. Which is greater: v or -2?
v
Let j(s) = 220*s - 219*s + 63 - 18. Let n be j(-19). Which is bigger: n or 21?
n
Let d be ((-51)/17 + 3)/8. Which is greater: d or 6/169?
6/169
Let n = 1.6734 - 1.4734. Let k = 6 - -5. Let m = -7 + k. Is m less than n?
False
Let s be -9921*(-36)/(-189) - (-8)/(-28). Is -1890 bigger than s?
False
Suppose 5*m = j + 925, 814 = 5*m + j - 121. Suppose 0 = f + 107 - m. Is f at most 81?
True
Let q = -243 + 419. Let p = q - 185. Which is bigger: p or -70/9?
-70/9
Suppose -4*p = p + 2*z + 30156, -3*z + 6 = 0. Which is bigger: p or -6033?
p
Let t(p) = -7*p**3 - 4*p**2 + 8*p - 21. Let u(s) = 15*s**3 + 10*s**2 - 14*s + 43. Let v(j) = 13*t(j) + 6*u(j). Let f be v(10). Are -10 and f unequal?
True
Suppose 169*x - 38557 = -4081. Do x and 205 have the same value?
False
Let p(j) = 4 + 0 + 0*j - 20 + 6*j. Let l be p(3). Suppose n + 3 = 5*d, 43 = 3*n + l*d - 4*d. Which is bigger: 18 or n?
18
Let j(n) = -n - 4. Let y be j(6). Suppose -26 = 2*k + g + 6, -5*k = 2*g + 76. Is y at most as big as k?
False
Let m(i) = -48*i**2 - 4*i. Let u be m(-3). Let n be 4/6 - (-256)/u. Let o(l) = 2*l**3 - 