greater than s?
False
Let q be -2*((-3766)/942 - (-2 - 2)). Which is smaller: 1 or q?
q
Suppose 4*m - m - 72 = 0. Let v = -8020 + 8045. Is v less than m?
False
Let z = 53 - 57.8. Let q = z + 0.9. Let l = q + -0.1. Is l less than 1/4?
True
Let i = 31/292 + -7103/20148. Let c = 2/23 - i. Which is smaller: c or 1?
c
Let l(a) = 2*a**2 - 3*a + 4. Let i be l(3). Suppose 0 = 7*r + 6*r - i. Which is smaller: 1/188 or r?
1/188
Let r(l) = -l**2 + 4*l + 4. Let z(y) = 2*y**2 - 9*y - 8. Let g(x) = -5*r(x) - 2*z(x). Let q be g(-2). Which is greater: 0 or q?
q
Let g be (2034/(-24))/((27/(-24))/(-3)). Is g <= -227?
False
Let z(d) = d**3 - 3*d**2 + d - 1. Suppose -10 = -2*w, -4*a - 2*w - 2*w = -28. Let k be z(a). Let j be 4/14 - (-9)/(-7). Which is smaller: k or j?
k
Let l = 30 + -22. Suppose 8*g - 3*g = 5*n + 50, g - 2*n - l = 0. Are 15 and g nonequal?
True
Let j = -10 - -4. Let i = -4 - j. Let l = -1.2 - -1.1. Which is greater: l or i?
i
Let a = 775 - 724. Which is greater: a or -3?
a
Let s = 11 - 11. Suppose s*l = -5*l. Suppose l = 4*y + 4 - 0. Is -2/11 > y?
True
Let a = -322903029/74 - -13090768/3. Let l = a - 209/6. Does 0 = l?
False
Let z = 1.825 + -1.71. Let f = z + 0.885. Is f > 21?
False
Let h = 1.73 - -1.87. Which is bigger: h or -1/4?
h
Let k = -70.5 + 71. Is 13 at least as big as k?
True
Let g(y) = y**2 - 15*y + 46. Let x be g(11). Let p be 2/(-5)*(27/(-21) + x). Let t = -3 - -2. Do t and p have the same value?
False
Let a = -1700011/209 - -8134. Which is bigger: 0 or a?
0
Let o = -6 - -15. Suppose 0 = 11*g - o*g - 70. Let v = g + -23. Is 11 greater than v?
False
Let c be 4/10 + (-2932)/(-120). Do 25 and c have the same value?
False
Suppose 0 = -4*s - 2*z + 102, -z + 4 = s - 21. Let x be (0 - -1) + (-14)/s. Which is smaller: 0 or x?
0
Let q = -235.9 + 236. Which is smaller: 435 or q?
q
Let g = -90 + 33. Let i = g + 62. Is i greater than -8?
True
Let n = 7 + -62. Let t = 55.2 + n. Which is smaller: t or -11?
-11
Let r = -414 + 411.79. Is r != -1?
True
Let n = -7.8 + -0.2. Let s = n - -4. Let w(d) = -d**3 + 3*d**2 + d - 1. Let i be w(3). Is s < i?
True
Let h(a) = -a**2 + 5*a. Let y be h(4). Let k(j) = -19*j**2 - j + 1. Let b be k(1). Let q be b/21 + y + -3. Is q > 1?
False
Suppose 0 = 8*y + 41 - 33. Is -3/683 bigger than y?
True
Let v be ((-6)/8)/(150055/40 - 4). Let x = v + -419680/129909. Is x greater than -2?
False
Let i(s) = 17*s**2 - 8 - 31*s**2 + 13*s**2 + 9*s. Let p be i(8). Let q be (2/(-3))/((-37)/(-3)). Is p less than q?
False
Let p = 5 + -3. Suppose -p*h - 3 = h. Let g be (-1*18/42)/((-50)/(-35)). Which is bigger: g or h?
g
Suppose -5*d + 3*s + 7 = 1, -5*s = 2*d - 21. Suppose -5*h = -y - 26, -6*y + 17 = -d*y + 4*h. Which is smaller: -0.69 or y?
y
Let o = -50.9 + 53. Let b = o + -2.5. Let q = -1.3 - -0.3. Which is greater: q or b?
b
Suppose -2*o - 14 - 64 = 0. Let v = -28 - o. Let m = 1 + v. Is 13 at least as big as m?
True
Let p = 37 - 34. Suppose -p*a - g - 13 = -5*g, -4*a = -g. Which is bigger: 6/47 or a?
a
Suppose 0 = 37*t - 7*t + 30. Which is bigger: -32/25 or t?
t
Let b = 685 - 684. Let v = 8.1 - 8. Is v at most as big as b?
True
Let g = -0.13 + -3.17. Let y = 2.3 + g. Let s be (-21)/(-15) + 1 - 2. Is s less than or equal to y?
False
Let o be (6/8)/(-2 + (-195)/(-100)). Let z = o + 14. Which is bigger: z or 1/10?
1/10
Let u = -83.9 - -77. Let a = u - -2.1. Which is greater: -1 or a?
-1
Let p = -39 + 44. Suppose 0*y + p*y - l + 16 = 0, 7 = -2*y + l. Is -3 bigger than y?
False
Let a be -12*1*(-2)/(-4). Let l be 4/(-1 + (-2)/(-4)). Let f be (-78)/9 - l/12. Which is greater: f or a?
a
Let j be (-2)/8*0 + -73. Let h = j + 77. Which is smaller: 6 or h?
h
Let f = -0.2 + 0. Let j be 9/90*20/8. Is f less than or equal to j?
True
Suppose 5*i + 3*f + 6 = 0, 0 = -4*i - 4*f - 4 - 4. Is 15/23 not equal to i?
True
Let s = -22.49 - -22. Let f = 0.29 + s. Is f >= -9?
True
Let x = 9/248 - -433/1736. Let b = 0.02 - 0.1. Let n = 6.92 - b. Which is smaller: x or n?
x
Let b = -54.7 + 54.6. Which is bigger: b or -5/8?
b
Let d = 0.388 + 31.312. Let o = 37 - d. Which is smaller: o or 1/4?
1/4
Let h = -2.012 + 0.68. Which is smaller: h or -2/5?
h
Let o = 12/31 - 314/651. Does 2/15 = o?
False
Let f be 2 - 17/((-1496)/(-192)). Is 1/13 at most f?
False
Let l = 260 + -254. Is 0.2 at least as big as l?
False
Let p be (4 - 172/60)/(5/126). Is p at most 29?
True
Let b = -0.17 - -0.37. Let t = b - 2.2. Let j = -2.1 - t. Which is greater: j or 2/13?
2/13
Let v be (-1)/(0 + 1 - -4). Let d = -283 + 283. Is v < d?
True
Let w be (-3)/(9/12) - (-131 + 8). Let h = w + -105. Let z be ((-2)/(-4))/((-1)/(-28)). Is h equal to z?
True
Let b be (-3)/(4 + -3) + 2. Let a be (b - -2) + 0 + -21. Let y be (a/(-6))/(8/12). Which is smaller: y or 6?
y
Let p = 0.38 - 0.35. Let u = -0.16 - -0.02. Let v = u + p. Is v <= 1?
True
Let b = 40 + -12. Suppose -l - 2*a = 2 - b, 0 = l - a - 14. Is 19 > l?
True
Let r be (120/96)/((-3)/8)*-12. Which is smaller: 33 or r?
33
Let n(b) = -b**3 + b**2 + 8*b - 12. Let c be n(3). Let h be 2/(-6) - 1/(-3). Does h = c?
False
Let a = 0.94 + -0.92. Which is smaller: a or 2/9?
a
Let p = -1069/10 - -1616/15. Let l = 0.1 - -0.2. Let x = l - 0.2. Is x less than or equal to p?
True
Let c(v) = v + 2. Let g(z) = -2 - 6*z**3 + 0*z**2 + 7*z**3 + 9*z**2 + 8*z. Let m be g(-8). Let l be c(m). Is l < 2/29?
True
Let h(b) = -b**2 + 15*b + 25. Let o be h(16). Suppose -4*a + 20 = 4*c, o + 1 = 2*a. Is c > -3/25?
True
Suppose 4*x - 110 = -42. Suppose -5*k + 2*b + x = -b, -5*k + 1 = b. Which is smaller: k or 2/105?
2/105
Suppose -4*f = 2*y + 8, -3*y - 2*f - 2*f - 4 = 0. Let g = y - 13. Which is smaller: g or -12?
-12
Suppose 0 = -0*t + 3*t + 66. Suppose 4*p - 6920 = -7008. Is t at most as big as p?
True
Let c = -2224.726 - -3.726. Do 0 and c have the same value?
False
Let d = -0.9 + 0.77. Let k = 12 - 24. Let s = 13 + k. Which is bigger: s or d?
s
Let a = -13 + 14. Suppose 5*p - 6 = 9. Which is greater: p or a?
p
Let q(b) = b**3 + b**2 + b + 10. Suppose -h = 5*h. Let s be q(h). Let m be s/(-2)*(-12)/(-30). Which is smaller: 1/3 or m?
m
Suppose 4*v = 3*v + 11328. Let m = v - 78419/7. Let y = m + -125. Which is bigger: -1/3 or y?
y
Let h = -1.28 - -561.28. Is 1 at most as big as h?
True
Let o = -1/3138 - -229079/15690. Does o = 14?
False
Suppose -4*d + 0 = -72. Let z be (-18)/(-702)*705 - ((-54)/(-26) - 2). Is z less than d?
False
Let z(o) = 2*o**2 - 8*o + 7. Let j be (1/(-4) - -4) + (-6)/8. Let l be z(j). Is l at most -4/37?
False
Let a be (111/(-74))/((-6)/(-68)). Which is smaller: a or -117/7?
a
Suppose 0 = 2*k + 10, -5*k + 0*k - 19 = 2*u. Suppose d + 0*d - 1 = 2*l, 2*d - 2*l - 8 = 0. Is u at most as big as d?
True
Let t(k) = 3*k - 206. Let q be t(-12). Which is greater: q or -244?
q
Let g = 0.1403 - 0.1103. Which is greater: 2/25 or g?
2/25
Let r be ((-224)/301)/(-4)*1/(-4). Is 8 bigger than r?
True
Suppose 3*o - 6 = -3*f, -2*o + 4 = 16*f - 17*f. Let j be -4*(-1 + 18/8). Is f greater than j?
True
Suppose 5*a + 33 = -22. Let x = a + -7. Let c = x - -18. Which is bigger: c or -3/5?
c
Let x = 105115240 + -347405872156/3305. Let d = 362/1867325 - -8/2825. Let o = x - d. Is -1 less than or equal to o?
False
Let r(z) = 34*z + 40. Let l be r(-2). Which is bigger: -29 or l?
l
Suppose 2*z - z - 2 = 0. Let w = 2/1147 + 9154/12617. Is w at least z?
False
Suppose 0 = -p - 0*p - 4. Let f be (-1556)/28 + 3/(-7) - p. Do -52 and f have different values?
False
Let m = 4/749 - -2784/39697. Which is smaller: -1 or m?
-1
Let a(l) = l**3 + l**2 + 3. Let h be a(-2). Let z be -2*(1 + -1 - h). Are z and 1 non-equal?
True
Suppose -2*f = -3*f. Suppose -8 = 2*p - f*p. Suppose 2*s - 12 = -5*q + 9*q, 4*q = 3*s - 16. Is p smaller than q?
True
Let c be (2 + -1)/(10/1990). Is 198 at least c?
False
Suppose 3*y + 2*l - 397 = -36, 4*y - 488 = -4*l. Suppose y*w + 4 = 121*w. Let j = 0 + 1. Does j = w?
True
Let a be 44/189 - (2 - (-64)/(-36)). Are a and -1 nonequal?
True
Let v = -645/19 - -6130/133. Let w = v - 1261/105. Is 1 smaller than w?
False
Let j = 122448959/285 + -429645. Let d be ((16/6)/2)/19. Let b = j - d. Which is bigger: b or -1?
b
Let c = -56 - -62. Let h be 2 - 0/c - 3*2. Is -48/11 equal to h?
False
Suppose -4*b = -4, 5*x + 249 - 67 = 2*b. Let t = x + 6. Let v = 123 - 123. Is v at least t?
True
