 + h*g. Is g greater than 14?
False
Let t = -442 - -442. Is t less than -1/12?
False
Suppose -6*i = 5*i - 4*i. Which is smaller: i or -36/7?
-36/7
Let o be (-3)/(2/((-2)/(-1))). Let i be ((-2)/(-3))/(80/(-312)). Which is smaller: i or o?
o
Let s be (-19)/(-5) - (-3)/15. Let y be s - (0 + (4 - 5)). Suppose -2*d + 4*a = -1 + 3, 3*a = 5*d + y. Is -3 at least as big as d?
False
Let m = 0.0029 + 22.0971. Let f = 31.2 - m. Let a = 9 - f. Is 4 bigger than a?
True
Let z be -4 + (3 - 0) + 3. Suppose z*a = 5*a + 45. Let h = 32 + a. Is 18 <= h?
False
Let r = -47647419/25 - -1906520. Let f = r + -623. Which is smaller: f or -1?
-1
Let x = -7/18 - -1/3. Suppose -7*m = 13 - 6. Which is smaller: m or x?
m
Let l(f) = 3*f**2 - 10*f + 6. Let r be l(6). Let v be -1 + (0 - r/(-46)). Suppose 0 = -3*k - x, -8 = 5*k + 5*x - 6*x. Which is bigger: v or k?
v
Suppose 0*r + 7 = r. Let k = -7 + r. Suppose 5*u + 5*m = -k - 35, -m + 5 = -5*u. Is u bigger than -2?
False
Let v = -1346 - -3991/3. Is -1/2 less than or equal to v?
False
Let p be (-7)/(-2) + (-37)/26. Do p and 2 have the same value?
False
Let p be (-29*(-2 - -3))/(-1). Suppose -p*h - 58 = -27*h. Which is smaller: h or -30?
-30
Suppose 8 = 15*o - 13*o. Let y(f) = -4*f + 4. Let x be y(o). Which is smaller: x or -11?
x
Suppose 149 = -4*g + 245. Is g not equal to 23?
True
Let r = 0.031 + -34.031. Let v = -29 - r. Is v smaller than 0.2?
False
Let t = -4981.071 + 4979. Let v = t - -0.071. Which is smaller: v or 9?
v
Let l = 2.1 - 2.2. Let m = -14 - -13.68. Let a = m + 0.02. Which is greater: l or a?
l
Let j = 118 - 99. Suppose 0 = 4*s + 2*y + 12, -5*y - j = -4*s - 3. Which is bigger: -1/8 or s?
-1/8
Let p = 13 + -10. Let j be (-72)/(-4) + (0 - p). Suppose -38*y = -34*y - 60. Are j and y equal?
True
Let o = 223 + -3789/17. Let m(z) = 326*z - 16 - 329*z + 0. Let t be m(-5). Which is smaller: o or t?
t
Let w = -17/4 + 127/28. Suppose 2*c + 27 = 11*c. Which is smaller: c or w?
w
Let q be 4/(-2)*((-121)/11)/(-77). Which is smaller: q or -0.101?
q
Let j = 63 - 40. Let w = -26 + j. Is w greater than or equal to -4?
True
Suppose 5*m - 18*u = -16*u + 2, -4*m = -3*u - 3. Which is smaller: -4/987 or m?
-4/987
Suppose -8*n = -12*n - 60. Let w be (((-26)/(-5))/(-2))/(4/n). Which is smaller: 9 or w?
9
Let m = 9707/49 - 1609619/8820. Let n = m + -140/9. Suppose 0 = -11*f + 17*f + 35*f. Which is bigger: n or f?
n
Let d be 1080/288*20/(-3). Are d and -330/13 nonequal?
True
Suppose -f + 4*s + 1 = 21, -4*s + 20 = 4*f. Let b = -4 - -8. Suppose 3*h - 5*h - b = 0. Which is smaller: h or f?
h
Let i(z) = -z**2 + 5*z - 1. Let a be i(2). Suppose 9*u = a*u. Is u > 6/11?
False
Suppose -3*t + 2*t = -2. Let k = -46 - -29. Let h be (k + 13)/(6/(1/(-1))). Do t and h have different values?
True
Suppose 6*j = 4*j. Is j at least as big as 2/31?
False
Suppose 2*n = m + m, -5*n + 4*m = 0. Suppose n*x - 4 = -x. Let l be ((-1)/x + 2)*4. Which is greater: l or 6?
l
Let n = 2463 - 2463. Which is smaller: n or -33/128?
-33/128
Let w be 4 + 1 - 4/1. Are w and -163 non-equal?
True
Let r be 117/(-78)*4/250. Which is greater: 0.2 or r?
0.2
Suppose -5*u + 4*l - 257 + 730 = 0, -u = 5*l - 83. Let s = u + -53. Do 39 and s have the same value?
False
Let x be (72/28)/((-12)/(-112)). Is x bigger than 70/3?
True
Let a be (3/(-60))/((-4)/(-10)). Which is greater: -9 or a?
a
Let b(x) = 4*x - 1 + 5 - 5*x. Let s be b(10). Let t(z) = -z**2 - 6*z - 3. Let k be t(s). Which is greater: -4 or k?
k
Let g = -517 - -313. Let i be 1*-2 - 2431/g. Let w = i + -55/6. Which is bigger: 0 or w?
w
Let o = -143 + 143. Which is greater: o or 2/231?
2/231
Suppose -5*n + 45 = 3*g, -n - 5*g - 14 + 1 = 0. Let d = 22 + 19. Let i = n - d. Is -30 != i?
True
Suppose 1 + 43 = -4*l - 5*c, -2*l - 2*c = 20. Let v = -1 - -1. Suppose b + 1 - 3 = v, 2*o = -b - 12. Which is bigger: l or o?
l
Let n = -0.273 + 0.323. Let d = -51 + 18. Let w = 133/4 + d. Is w not equal to n?
True
Suppose -3*h + o + 0 = -118, 128 = 3*h + 4*o. Is h < 39?
False
Let o = -42 + 44. Let t = -1.7 + 1. Let i = t - 4.3. Does o = i?
False
Let q = -1 + 0. Suppose -4 = 3*d + 2*u, 15*d + 3 = 11*d - 5*u. Let r = q - d. Is 7/6 at least r?
True
Let n = 35/9 + -1715/36. Is n smaller than -45?
False
Suppose 967 = 24*z - 1649. Which is smaller: -2 or z?
-2
Suppose -5*d + 126 = 2*d. Suppose -5*m - 3 + d = 0. Suppose -40 = -5*w - 5*o + 50, m*w = -5*o + 60. Which is bigger: w or 16?
16
Let j = -0.05 + 0.08. Let n = 173 - 173.97. Let f = j - n. Which is greater: 0.03 or f?
f
Suppose -6*d - 3212 = -2*d - 4*v, -4*d - 3*v = 3177. Is d greater than -799?
True
Let z = -241 - -242. Which is smaller: 2/73 or z?
2/73
Let c(x) = x - 1. Let u be c(5). Suppose -20 = u*w, 7*w + 15 = 5*p + 2*w. Let b be 3/(p/(-2)) - 3. Is b less than or equal to 3/25?
True
Let q = 39.1 + 51.2. Let r = q - 94. Is -1/5 less than r?
False
Let q = -23.6633 - -2.5613. Let d = 0.102 + q. Which is smaller: d or 1/2?
d
Let q be ((-42)/(-8))/(48/(-128)). Is q bigger than -15?
True
Let i be 3/((3/1)/(-51)). Let w = -75 - i. Is w >= -23?
False
Suppose o = -9*m + 4*m + 160, -3*m = -12. Suppose 3*x = 35 - o. Let b be (-4)/14 + (-24)/x. Which is greater: 11 or b?
11
Let i(b) = b**3 - 3*b**2 - 4*b - 4. Let z be i(4). Let r = 36 - 22. Suppose -v - r = 2*q, 4*q + 32 = -v + 8. Which is smaller: q or z?
q
Let m(f) = -6 + 4 - 3*f + f - 6. Let h(s) = -s - 4. Let v(y) = 11*h(y) - 6*m(y). Let a be v(-3). Is 1 greater than or equal to a?
True
Let h = -0.17 + 1.17. Let t = 0.5 - h. Let a = 24 + -22. Is t > a?
False
Suppose 4*h = -5*o - 14, -5*h = -o - 2*o - 1. Let m = h - -3. Let f be -1 - (16/(-6) + m). Is -1 at most as big as f?
True
Let x = 13 + -9. Let p be x*(3/102 - 0). Which is greater: 0 or p?
p
Let p = 9123/7 - 1303. Which is smaller: -84.3 or p?
-84.3
Suppose -3*l = 18*v - 14*v + 28, 9 = -l - v. Which is smaller: -1 or l?
l
Let l = -1578/95 + 82/5. Let y = 20 - 15. Suppose 6*b - y*b = 0. Which is smaller: l or b?
l
Suppose 5*q - 5 = 10. Suppose -5*s + 3*i - 4 = -40, 0 = -2*s + q*i + 18. Suppose 30 = -s*y + 4*y. Are -15 and y unequal?
False
Suppose -2*a - 5 = s, 14*s - 3 = 17*s + 2*a. Do -4/11 and s have the same value?
False
Let m = 7598/35 - 1064/5. Is m smaller than 5?
True
Let a(d) = 2*d**3 - 2*d**2 - d. Let n be a(2). Is -0.13 < n?
True
Let a be (-36)/(-15)*80/24. Suppose c + c - a = 3*p, 16 = 4*c - p. Suppose v = -5*s - 2, -c*v + s + 55 = -0*v. Is v less than 13?
False
Let y = 298 + -151. Suppose -y = 3*j - 6*j. Is 48 less than j?
True
Let l be ((-5)/(-6))/((-17)/(-102)). Suppose 0 = -a - w + 4 + 2, -5*w = -l*a - 10. Let p be 3 + (a + -5 - -4). Which is smaller: p or 3?
3
Let o = -56 + 47. Let y = -8.9 - o. Is -1 less than y?
True
Let d(g) = -g - 4 + 9 + 3. Let u be d(8). Which is bigger: u or 8/9?
8/9
Suppose 5 = -5*q + 10. Let d be 2*(-4)/16*6 + q. Let b(p) = -p + 5. Let s be b(6). Is s less than d?
False
Let i(l) = l**2 - 12*l - 19. Let y be i(15). Suppose 2*h = 4*c + y, 6*c - 11 = 5*c - 3*h. Do -5/2 and c have the same value?
False
Let x be (292/268129)/(-1 + -1). Is 1 greater than x?
True
Suppose -3*c = 28 + 35. Let u = -17 - c. Suppose m = u*r - 19 - 0, -m + 23 = 3*r. Is 2 < r?
True
Let v = -34.2 - 10.8. Let u = 3 + v. Which is bigger: u or 0?
0
Let t be 74/9 + (-2)/9. Suppose 3*z - z = t, -5*z + 32 = -4*j. Let l = -2 + j. Which is bigger: l or -1?
-1
Let f(h) = h**3 - 16*h**2 - 76*h - 80. Let s be f(20). Let i be ((-5)/3)/((-2)/6). Is s less than i?
True
Let o = 108 - 56. Suppose -p - 4*c = o, 0*c - 2*c - 46 = p. Is -39 bigger than p?
True
Let s = 30 + -24. Suppose 2 = -h - l + 6*l, -3*h - 5*l = s. Let v be h/(-2 + (-27)/(-12)). Is 1 less than v?
False
Let f = -0.88 + 0.35. Let o be 2/(-12)*(-8)/(-6). Which is bigger: o or f?
o
Suppose 32*f - 25*f = -707. Is -102 at least f?
False
Let f = 8 + -4. Let q be f/(-330)*-5*-51. Let s = q - -216/77. Is s equal to 2/13?
False
Let u be 1/(-5)*-17 + (-10)/25. Suppose -c - u = 3*h + 4, -5*c = 3*h + 11. Which is bigger: -10/19 or c?
-10/19
Let t = 50 + -51. Let g be -1 + (150/(-24))/(-5 + t). Is g > 1?
False
Suppose 2*p - 26 = 46. Let l be (-6)/27 - 28/p. Is l less than -1?
False
Suppose 14 = -5*n + 29. Let k be -10*(n - (-2 + 92/20)). Which is smaller: -12 or k?
-12
Suppose 3*q = 2*q, 3*u - 3*q = 6. Suppose 3*d - u*d + 1 = i, 5*i + d - 17 =