ch is greater: r or 101?
101
Let v be (1204/1290)/((4/(-70))/(-1)). Do -0.1 and v have the same value?
False
Suppose -s + 2 = -0. Let u = 2.6 + -2.98. Let t = u - -0.18. Are s and t equal?
False
Let c = 9713 + -9715. Suppose -u - 32 = -113. Let k = -245/3 + u. Which is smaller: c or k?
c
Let y = -57 - -24. Let o be -2 - (-2 - (-6)/y). Is o <= -1/13?
False
Suppose 4*i + i - 7 = -4*v, 0 = 4*v + 8. Let o = -431/3 - -147. Do o and i have different values?
True
Let n(h) = -h + 8. Let j be n(4). Let o be (-3471)/1742 - (0 - j/2). Is 1/3 <= o?
False
Let y be 0/(-1) - 7/(14/(-80)). Let o = y + -37. Let w = 21/2 - 10. Which is smaller: o or w?
w
Suppose -3*i = 184 - 181. Is i equal to 1/115?
False
Let c = -68 + 97. Suppose -3*g - 18 = -y - 5, -5*g - c = -2*y. Which is smaller: y or 21?
21
Let l = -129 + 44. Do l and -251/3 have the same value?
False
Let l be (2*-1)/2 + 0. Let z = 1/13651 - 27431/1760979. Is l less than or equal to z?
True
Let i = 323/3 - 107. Which is greater: 3 or i?
3
Let z(u) = 37*u**2 + 30*u + 35. Let p be z(-6). Which is greater: p or 1186?
p
Suppose 4*u = u - 351. Let z = -123 - u. Are z and -8 nonequal?
True
Let p be 6/(-33) - 84/22. Let v(j) = j + 6. Let m be v(p). Let x be 1/(-2) - (-33)/30. Is x < m?
True
Let p = 1496 - 16424/11. Let m be 590/(-354)*12/(-5). Is m less than p?
False
Let v be (1/(20/16))/(4/(-170)). Is v > -34?
False
Let k = -3 - -6. Let r be ((-5)/((-10)/k))/(-6). Let u = 4 - 2. Which is bigger: r or u?
u
Suppose 2*a - 5*b = 36, 0 = 4*a + 3*b - 0*b - 124. Suppose 0 = -4*r + 3*d + 39, 2*d = 2*r + r - a. Is r >= 6?
True
Suppose 12*g + 4 = 16*g. Let h be 57 - g*(-3 + 5). Let r be -4 + h/14 + 0. Which is smaller: r or 0?
r
Let r(a) = 7*a + 16. Let j be r(-2). Let v be ((-9)/10)/((-9)/12). Is v greater than j?
False
Let u(p) be the first derivative of -p**2/2 - 6*p + 80. Let h(x) = -5*x**2 + x - 1. Let c be h(1). Let f be u(c). Which is greater: f or -1/8?
-1/8
Let q(j) = j**2 + 28*j - 203. Let h be q(6). Which is greater: h or 2/2869?
h
Suppose x + 4 = 3*x, -4*x - 88 = 2*p. Let r = p + 49. Is 2/63 less than or equal to r?
True
Let a(r) = r**3 + 21*r**2 - 47*r + 14. Let g be a(-23). Which is greater: g or 43?
43
Let s = 91 - 92. Which is greater: -1/29 or s?
-1/29
Suppose 0 = -2*w + y + 9, -10 = -5*w + 3*y + 12. Is 5 greater than or equal to w?
True
Let j(v) = -v**3 - 3*v**2 + v + 2. Let y be j(-3). Which is smaller: -2/83 or y?
y
Let y be 20/6 + (-3)/9. Suppose 4*h + 8 = 4*a, y*h - 5*a + 16 = -0*a. Let u be -2 + h - 0/4. Is u equal to -3?
False
Let r = 798.68 - 798. Which is greater: -1/6 or r?
r
Let j = -1798 - -26968/15. Let g = -5 - -4.6. Which is smaller: j or g?
g
Let u be 2/(-5)*(2 + 248). Does u = -100?
True
Let u(k) = -2*k - 1. Let v be u(-2). Let p(d) = d**3 - 60*d**2 + 58*d + 60. Let r be p(59). Which is smaller: r or v?
r
Let o = -362 - -380. Which is smaller: -6 or o?
-6
Let b be (36/144)/(1/2). Which is smaller: -120 or b?
-120
Suppose -3*l + 154 = 11*l. Suppose 7*b - l*b - 9*b = 0. Which is smaller: b or 1/78?
b
Let g be 322/(-10) + (-1)/(-5). Let a = g - -22. Let u(d) = -d**3 - 5*d**2 - d + 3. Let k be u(-4). Which is smaller: k or a?
a
Let v(g) = 6*g**2 + 8*g - 5. Let x(n) = 5*n**2 + 7*n - 5. Let p(u) = 4*v(u) - 5*x(u). Suppose 2*f - 104 = 28*f. Let s be p(f). Which is smaller: -6 or s?
-6
Suppose 2*p = -0*p + 4. Let q = -49 + 51. Suppose -p*b = q*b. Which is greater: 1/11 or b?
1/11
Let i be (-5)/(-5) + (-74)/50. Which is bigger: i or 0?
0
Let u be -33*(14/(-3))/7. Let y = -20 + u. Is -1/8 at most as big as y?
True
Let v be (-5)/26*(-24)/(-190). Let t = 2253/1235 + v. Is 1 less than t?
True
Let g = 475 + -467. Which is bigger: g or -12?
g
Let b = 279.671 - 276.6. Let m = b + 0.029. Let p = m - 3. Which is smaller: p or 9?
p
Let z be (-26)/2 + 8/4. Let v = 71 - 78. Let f = v - z. Is 4 bigger than f?
False
Let m be 2*3/((-54)/(-183)). Let n = -20 + m. Suppose -11*i - 49 = -5. Which is smaller: n or i?
i
Let n(u) = u + 7. Let p be n(-6). Let s = 1600316/15 + -106852. Let c = s - -164. Which is greater: c or p?
p
Let k(v) = -v - 9. Let f be k(-6). Let c be 1/1 - (4 + f). Let z = -459 - -458.5. Which is smaller: z or c?
z
Let w = 27 - 15. Suppose 4*s + a - 3*a = 54, 4*s + 3*a = 29. Is s bigger than w?
False
Let r = 28/61 - 3983/305. Let n = r - -13. Suppose 0*s = 5*z - 2*s - 8, 2*z - 12 = 3*s. Which is greater: n or z?
n
Suppose 3 = x - 5*n, 2*n - 30 = -x + 4*x. Which is smaller: -10 or x?
x
Let l(b) = -4*b**3 - 1. Let t be l(-1). Let h be (2 - 3/t) + -4. Let v be (2/6)/(6/(-54)). Does v = h?
True
Let a(y) = -y - 5. Suppose -8 = -b - 3*b, b + 12 = -l. Let q be a(l). Let m be (4/(-36))/((-3)/q). Does -1 = m?
False
Let s(d) = d**2 - 4. Let u be s(3). Suppose -3*a = -11 - 1, 4*o = 4*a - 4. Suppose o*m = -u*f - 66, 6*f + 96 = -4*m + 2*f. Is m > -27?
False
Let k = 37/11 + -303/77. Are k and -1 non-equal?
True
Suppose 7 = 26*v - 33*v. Do -11 and v have the same value?
False
Let o be (72/180)/(68/(-25)). Is 1 greater than or equal to o?
True
Let i be (-43)/(-3)*(12 + -9). Suppose -4*x = -i + 23. Suppose -16*r = -15*r - x. Which is greater: r or -1/3?
r
Let w(m) = m + 9. Suppose 0 = -15*x + 17*x + 16. Let y be w(x). Which is smaller: -3/32 or y?
-3/32
Let p(l) = l**3 - 6*l**2 - 10*l + 21. Let b be p(7). Let m be (2*2/8)/1. Are m and b non-equal?
True
Let t = 43/3 + -41/3. Let k = 45 + -31. Let d = 14.1 - k. Which is smaller: t or d?
d
Suppose -19*x + 58 - 20 = 0. Let f = -35 - -49. Suppose -2*i + 4*t = f, -5*t + 15 = -4*i - i. Is x < i?
False
Suppose 3*s = -2*f + 1, 2*f + s - 2 = 5. Suppose -3*t - 2*d - 4 = 0, -f*t + 2*t + 1 = d. Let i be t/6 + (-72)/(-27). Which is smaller: i or -2/5?
-2/5
Let y = 898.1 + -898. Let c = 3/19 - 5/19. Which is smaller: c or y?
c
Let u = -16031/35 - -458. Which is greater: -2 or u?
u
Let p = -4.36 + -0.64. Let g = -4 - p. Which is greater: g or -0.1?
g
Let h(z) be the first derivative of z**2 + 10*z - 7. Let y be h(3). Let u = 17 + 0. Which is bigger: y or u?
u
Let w = -900 + 899. Which is smaller: w or 1/382?
w
Let y = 9 + -10. Let f be y - 1 - 27/(-9). Let t be f/(-4)*(-16)/20. Which is bigger: 0 or t?
t
Let r = 1134 + -1134. Let k = -363 - -7621/21. Is k at most as big as r?
True
Let f = -0.044 - -0.004. Let z = 0.1 + 0. Is z < f?
False
Suppose -x + 15 = 4*b, 5*x = b - 2 - 7. Do x and -125 have the same value?
False
Let p(k) = 2*k**2 + 5*k - 1. Let m be p(-4). Let n be m/66 - (-61)/30. Is 3 > n?
True
Let c = -75.788 + -0.212. Which is smaller: -2 or c?
c
Let k = -66 + 65.34. Which is greater: 2/3 or k?
2/3
Suppose 2*t = 5*t - 24. Let o be (-6)/10*5/t. Let r = 145 + -144. Is o not equal to r?
True
Suppose 25 = -5*m - 0*m, -5*m - 27 = -v. Suppose -t - 3*b + 12 = 0, 3*t = 3*b - v*b + 76. Let l be (-5 - 0)*4/t. Are l and -2 nonequal?
True
Let l = -191.8 + 192. Does l = 15/8?
False
Let s be (46/6)/(38/(-1254)). Is -253 less than or equal to s?
True
Let n = 0.33 + -0.33. Is -2/3 != n?
True
Let s be (1/1 - -27) + -2. Let p be (-4)/(-16) + s/(-8). Let a(m) = -m**2 + 7. Let o be a(p). Is o not equal to -7/5?
True
Let r = -1513 - -122557/81. Which is smaller: 1 or r?
r
Suppose -349 = 5*n + 426. Let m = n + 1087/7. Let w = -11 - -5. Which is smaller: w or m?
w
Let w be 6 + 0 + (-624)/117. Is w at least 2/161?
True
Suppose 6*k = k + 20. Suppose 3*u + k*q = 46, -2*q = 3*u - 3*q - 41. Which is bigger: u or 46/3?
46/3
Let i = 0.64 - 0.6. Let x = -0.12 + i. Let t = -1.92 + x. Which is smaller: -2/7 or t?
t
Let s = -59 - -58. Which is smaller: s or -18/35?
s
Suppose -4*i + 12 = 4*b, 2 = 5*i + 2*b - 4. Let r = 67/2 - 34. Is r bigger than i?
False
Let f = 1615 - 1720.3. Which is bigger: 0.1 or f?
0.1
Let w = -41 - -40. Let g = 816 + -7360/9. Which is greater: w or g?
w
Let x(j) = -j**2 + 57*j - 154. Let g be x(54). Suppose 2*f = f + 5. Which is smaller: f or g?
f
Suppose 0 = 32*p - 24*p + 1704. Which is smaller: -214 or p?
-214
Let f = -30/19 + 1331/855. Which is smaller: f or -1/3?
-1/3
Suppose -3*o - 8*q = -12*q + 2309, 2*o - 2*q = -1538. Is o <= -766?
True
Suppose 4*f + 3*n + 75 = 0, 3*f + 53 = -0*n + n. Is -18 <= f?
True
Let p(q) = 7*q - 42. Let o be p(6). Let a = -23361/61 - -383. Which is greater: a or o?
a
Let p(r) = r**2 + 26*r + 111. Let u be p(-6). Which is smaller: u or -68?
-68
