- t. Which is greater: x or o?
o
Suppose 1 = 4*n - 3. Let r = 68 - 1565/23. Which is smaller: n or r?
r
Suppose -3*u - 3*s = -s + 1, 4*u = 2*s + 8. Let q = 60729/22 - 2753. Let t = 15/2 - q. Which is bigger: u or t?
u
Let s = 241 - 240.1. Which is smaller: 0.1 or s?
0.1
Let y = -867 + 867.1. Which is smaller: -1131 or y?
-1131
Let j be 4/2*(-1)/(-2). Let q = -140 + 140. Suppose q = -13*z + 23*z - 20. Are j and z non-equal?
True
Suppose -6*y + 42 = -120. Let k = -26 + y. Let f = -6.91 - -7. Which is smaller: k or f?
f
Let c = -3 - -3. Let l = -1772 + 252. Let m = l - -135282/89. Which is bigger: c or m?
m
Suppose -d + 1 = -0*d, -5*g = -3*d + 3. Suppose g = -2*u - 2*u - 4. Let n = u - -2. Are 3/17 and n equal?
False
Let z = 106/135 + 2/135. Let r = -64/55 + z. Which is greater: 1 or r?
1
Suppose -2*i - 92 = -108. Is 14 bigger than i?
True
Suppose x - 27*j + 28*j - 1 = 0, -5*x + 5*j - 15 = 0. Which is bigger: x or -93?
x
Suppose 23 = -24*p - 97. Is p at most as big as -31/5?
False
Let k = -58 + 61. Suppose -3*m + 45 = k*z, -2*m + 6*m - 4*z - 36 = 0. Which is smaller: m or 14?
m
Let r = -44 - -41.5. Let z = 12.5 - 19. Let y = z - r. Is 4 >= y?
True
Suppose -i + g = -13, 0 = -3*i - 2*g - 0*g + 34. Let j be 1/((-1)/(-40)*-2). Let x = j + i. Which is smaller: x or 0?
x
Suppose 0 = -2*x - 46 - 6. Let c = x - -26. Let w = 431 + -3883/9. Which is bigger: w or c?
c
Let q = 48 + -13. Let b be (q/30)/(-7) + (-142)/12. Which is smaller: -13 or b?
-13
Let b = -12 + 27. Suppose -m + 3*a = b, 28 - 8 = 3*m + 4*a. Is -3/4 at most as big as m?
True
Let k = 11.5 - 11.7. Which is bigger: k or 68?
68
Let o = -68/611 + -2/47. Is o < 1?
True
Let k be (-1 + 2)*0 - (-1 - -2). Let d be (-5*2)/(2 - -7). Which is smaller: d or k?
d
Suppose -4*f + 4 = -6*f. Let p(t) = -t**3 + t**2 - t + 1. Let g be p(f). Suppose 0 - g = 3*w. Which is smaller: w or -4?
w
Let j(t) = -t**2 - 7*t - 10. Let v be j(-5). Suppose 2*a - l - 167 = -0*a, -4*l + 340 = 4*a. Suppose 3*c + a = -v*c. Which is smaller: -27 or c?
c
Let v = 1089 - 1081. Let r = -3 + 2. Which is smaller: v or r?
r
Let w = -974 - -1171. Which is greater: 196 or w?
w
Let w(n) = -2*n**3 + 22*n**2 - 13*n - 7. Let x be w(9). Which is greater: x or 596/3?
x
Suppose -16 = -3*r + 8. Suppose r*q = 3*q - 110. Let h be (30/(-12))/(q/8). Which is bigger: h or 1?
1
Suppose 3*p = 3*l + 13 - 7, 0 = 4*p - l - 5. Which is bigger: 3/719 or p?
p
Let i = -38.8 - -37.3. Is i smaller than 3/11?
True
Let w = 786 - 1134. Let v be 8207/w + 1/4. Which is greater: v or -22?
-22
Let z be (4/(-198))/(54/(-486)). Let r = -7 - -4. Let x = r + 4. Which is smaller: x or z?
z
Let g(p) = -8*p - 27. Let l(x) = -7*x - 26. Let d(r) = -5*g(r) + 6*l(r). Let m be d(-12). Are m and 3 equal?
True
Suppose -2*o = 2*o + o. Which is greater: 4/23 or o?
4/23
Suppose 0 = -5*f + 2*p + 30, f - 6*f = -p - 35. Let a = f - 24. Let o = a + 24. Is o <= 5?
False
Let a(o) = 4*o + 29. Let y be a(-6). Suppose -2*s + 24 = -y*s. Which is greater: s or -6?
-6
Let l = -53/6 - -383/42. Is l bigger than -93?
True
Let p be 8/7254*(-228)/(-152). Is p < 1?
True
Let v = -90 + 82. Let y be v/66 + 40/60. Which is bigger: 1 or y?
1
Suppose -4*r - 13 = 3. Let x be (5/(-2) - 0)/r. Do x and 0 have different values?
True
Let h(k) = k**2 - 7*k - 4. Let q be h(8). Suppose q*b = b. Suppose 4*d + 4*j - 52 = b, d + 2*j - 13 = 5. Which is greater: d or 6?
d
Let v be 0*4/8 + -21*2. Let h = -45 - v. Is h >= -21/5?
True
Let v = -3/4538 + 290459/40842. Let l = 338/45 - v. Let h = -2.84 + 3. Which is greater: l or h?
l
Let z be (-16)/(-6) + 1/3. Let d be (-8)/(-12) - 2/z. Suppose 122*x + 52 = -70. Is d >= x?
True
Suppose -4*j - 5*h + 29 = 0, -7*j = -11*j + 4*h + 56. Do 9 and j have different values?
True
Let b = 15539/11 + -1411. Which is greater: b or -13?
b
Let q = 1062.71 + -1060. Which is smaller: q or -1/2?
-1/2
Suppose 0*l = 5*l - 5. Let t be 48/(-18) + 1870/697. Is l >= t?
True
Let k = -19 - -35. Let u = -10 - -28. Let g = k - u. Do g and -0.5 have different values?
True
Let l be 4/7 + 7348/77. Suppose -d - l = -5*d. Suppose 5*v = -4*a - d, -4*a = -3*v + 1 - 9. Which is smaller: v or -2?
v
Let r = 4/35 + -47/105. Let h = 21 - 20. Suppose -5 = -4*k - h. Which is smaller: k or r?
r
Let p(d) = -2*d**3 - 13*d**2 - 6*d + 4. Let j be p(-6). Is j < 3?
False
Let m be 4610/8296 + 5/(-4). Let w = 28/61 + m. Do 0 and w have the same value?
False
Let k be ((-262)/(-8253))/((-1)/(-7)). Let j = 341/4 + -86. Which is smaller: j or k?
j
Let k = -165 + 166. Which is greater: k or 2/191?
k
Suppose -2*n = -1 - 7. Let z be ((-4)/(-5))/(n/40). Suppose -3*v + 16 = -z. Is 9 less than or equal to v?
False
Let g be (-34)/(-5) - (-5)/25. Suppose 3*i + g + 1 = -v, 5*i = -20. Suppose c + v = 0, 0*m = 4*m - c. Which is smaller: -2/3 or m?
m
Let o = 2 - 3. Let q be o*2 + 4/2. Let i be (6 + 4 - 8)*(-1)/6. Which is bigger: i or q?
q
Let v = -5.06 + 5. Let b = v + 0.06. Let d(x) = -x**2 - 2*x - 2. Let w be d(-1). Is w greater than b?
False
Let j be (-9)/45 - 82/(-10). Which is bigger: j or -3?
j
Suppose 5*z + 10 = -5*d, -3*d + z = -3*z - 22. Let j = 92 - 190. Let m = j + 395/4. Which is smaller: d or m?
m
Let z = 13 + -19. Let y(l) = -2*l - 10. Let v be y(z). Let w be 3/87*v*-1. Which is smaller: w or 1?
w
Let u be 6*4/8388*6/2. Which is smaller: -1 or u?
-1
Suppose 2*b + b = -3. Suppose 4*q - 36 = q - 3*a, -4 = 3*q - 5*a. Let w be ((-14)/q + 4)/((-50)/2). Is w less than b?
False
Let y be (-39)/(-9) + -6 + 15/9. Is y smaller than 2/717?
True
Let s be 1/3 - (-32)/12. Suppose 0 = -5*n - s - 17. Let t be (17 + -19)*2/n. Is t < -2/15?
False
Suppose k + 9 = -0*k. Let w = -5 - k. Suppose w*v = -v + 5. Which is bigger: v or 4/3?
4/3
Let u be (2/(-16))/((-3)/(-4)). Let t be ((-1)/2)/((-40)/(-16)). Which is smaller: u or t?
t
Suppose 3*o + 5*n - 2 = 0, 5*o - 7*o - 5*n + 3 = 0. Let d be (7/35)/(19/2 + -2). Which is greater: d or o?
d
Let x = 68 + -14. Let k = x + -52. Is 0.3 >= k?
False
Suppose -96 + 258 = 9*c. Suppose g = -g - c. Which is greater: -11 or g?
g
Let m(p) = p - 4. Let a be m(9). Suppose -2*o = x + 10, a = 3*x - o - 0*o. Suppose x*l - i = l - 3, -2*i = l - 6. Is -0.3 equal to l?
False
Let b be (20 - 476/24)/(10/(-18)). Let a(l) = l. Let d be a(3). Suppose d*m = -2*m. Is m at most as big as b?
False
Let x = -37 - -38. Is x < 114?
True
Suppose -73 = -7*r - 3. Let v be 28/21*3/r. Is v <= -1/4?
False
Suppose 0 = 4*k + 2*b, 19*k - 17*k - 3*b - 8 = 0. Let c = -745 + 45444/61. Which is smaller: k or c?
c
Let j = 424/3 - 80563/570. Let k be 3/(-1)*(-66)/76. Let v = k + j. Which is smaller: 3 or v?
v
Suppose -2*y = 0, 2*y + 0*y - 3 = f. Suppose -32 = 5*t + 148. Let r be t/3*1/3. Which is smaller: f or r?
r
Let f be 0/(-3)*(-6)/(-24). Does f = 2/335?
False
Let b be (-6)/(-8) + (-376)/544. Suppose -8*l - 4 = -12*l. Which is smaller: l or b?
b
Let n(m) = 2*m - 5. Let r be n(4). Let x(u) = u**3 + 2*u**2 - 3*u + 3. Suppose 4*a + 25 = -5*h + 3, 0 = 5*a + 5*h + 25. Let f be x(a). Is f > r?
False
Let n(m) = m**3 - 24*m**2 + 55*m + 29. Let c be n(24). Let w = -203700/151 + c. Which is bigger: 1 or w?
1
Suppose -38 = 7*o + 4. Let c be 17*1/7*-2. Which is greater: o or c?
c
Let z(p) = p**3 + 9*p**2 - 22*p + 5. Let h be z(-11). Let s = -1346/15 - -286/3. Is h less than s?
True
Let m(u) = -u + 1. Let z(d) = -4*d. Let o be z(-4). Let b be (o/(-32))/((-2)/4). Let f be m(b). Are f and 6/5 non-equal?
True
Let b = 0.0432 - -32.8568. Let f = b - 33. Is f equal to -4?
False
Let q be ((-68)/(-136))/(598/16). Which is smaller: q or -1?
-1
Let r(w) = -w**3 + 5*w**2 - 4*w + 1. Let m be r(4). Suppose 0 = -5*v + 3 + 17. Suppose 0 = q - v + 3. Is q equal to m?
True
Suppose 12*d = 16*d. Let u be (d + -3)/(0 + -1). Suppose 3*a - a + g - 5 = 0, -u*g - 7 = -5*a. Which is smaller: 1 or a?
1
Let y(p) = 2*p**2 - 16*p + 4. Let o be y(7). Suppose -4*k + 8 = 60. Is k less than or equal to o?
True
Let w be (-5 + 3)*-1 + 3. Suppose -w = -4*r + 7. Let b = 26 + -21. Which is greater: b or r?
b
Let g be 14/35 + (-13787)/80. Let a = 172 + g. Which is smaller: 1 or a?
a
Let k(d) = -19*d - 20. Let x be k(7). Let p be (-1*3)/(x/(-30)). Do 0 and p have the same value?
False
Let z = -187 - -191. Suppose -7*u + 2*u = -20. Do z and u have different values?
False
Let s be (-120)/(-756) + (