ller: 36 or m?
m
Let k = -610 + 491. Which is smaller: 1 or k?
k
Let u = -24 + 20. Let o = u - 9. Which is smaller: o or -14?
-14
Suppose 13 = -5*o + 4*o - 4*v, 4*o + v + 7 = 0. Which is smaller: o or -9/121?
o
Let t = 3 - 29/11. Let a = 2 - 4. Let i be 1*(3 + 1*a). Which is smaller: t or i?
t
Let u = -59/2 - -29. Let z = 63 - 134. Let d = z - -69. Which is bigger: u or d?
u
Let v = -20 + 68. Let w be (14/35)/(v/10). Which is smaller: w or 0?
0
Let c be (-120)/(-50) - (-4)/(-10). Let f be ((-10)/(-30))/(c/(-66)). Let u = f + 20. Which is smaller: u or 10?
u
Let i = -0.431 - -0.001. Let d = -0.23 - i. Is d >= -1.7?
True
Let z be 2/(-36)*112/140. Is -1 != z?
True
Suppose 7*y - 5*y - 6 = 0. Let b be ((-3360)/(-108))/(y/65). Let k = b - 674. Is 0 smaller than k?
True
Suppose f - 9 + 5 = -l, 2*f = 4*l + 8. Which is smaller: 3/29 or l?
l
Let v be 2*(5/(-2))/5. Let i = v - 1. Let f = 5/12 - 15/4. Do f and i have the same value?
False
Suppose 12*p = 8*p - 4. Which is greater: p or -3?
p
Let k = -19/6 - -3. Is -9 >= k?
False
Let g = -124 + 121. Which is smaller: g or -9?
-9
Suppose -4*h + 174 = -38. Suppose 0*f - 5*f - m = 47, m - h = 5*f. Which is greater: f or -12?
f
Let a = -4 - -4.08. Let i = a + 0.92. Let g = -0.6 - -0.64. Are g and i nonequal?
True
Let k = 1 - 0.1. Let x = k + -1.07. Let r = x + -5.83. Is 0.1 <= r?
False
Let s be (57/76)/((-9)/6). Let r = 2 + 2. Is s bigger than r?
False
Suppose -23 = -5*o - 3. Suppose -5*a = -g + 518, 2*a + 4*g + 0*g = -216. Let h = a - -109. Is h > o?
True
Suppose 0 = 5*s - 2*q - 30, -3*q + 8*q = -s + 33. Suppose f = -s + 20. Suppose 0 = -3*k - 0*k - f. Which is smaller: -3 or k?
k
Let s = 13.401 - -0.599. Is s at most 27?
True
Let y(c) = c**2 + 13*c + 59. Let z be y(-6). Is z <= 2?
False
Let u = -1513.9 - -1514. Is 384 at most u?
False
Let y = 241/25 - 100929/10475. Which is smaller: 1 or y?
y
Let x be 4/2 - ((-150)/(-24))/5. Let q = 5 + -5. Let o be (q - 0)/(1 + -2). Which is greater: o or x?
x
Let t = 8 - 6. Suppose -11 = -2*g + x, 0 = -g - 3*x + 4 - t. Suppose 0 = -n + 2, 3*n - g = 3*b - 2*b. Which is bigger: 7/6 or b?
7/6
Let q = -214 + -232. Let o be q/26 + (-20)/(-130). Is -18 > o?
False
Let k = 208 + -112. Suppose 0 = -2*p - 2*s - 30, -4*p + 3*s - k = -2*s. Is p greater than or equal to -19?
True
Let a = 3.87 - -0.13. Let f = 0.09 - 0.01. Let m = f - 1.08. Does m = a?
False
Let b = -30 - -30. Suppose 2*a = 3*p + 1, b = 2*p - 3*a - a + 6. Is 2.8 greater than p?
True
Suppose 0 = q + 2, -3*f + 3*q = -f - 5738. Let c be f/40 - 15/(-20). Let r = 72 - c. Which is bigger: r or 4/5?
4/5
Suppose 3*n + 1 = -m, 5*m = 4*n - 0*n + 33. Let z = -5 - n. Let g be 2/z - 20/(-45). Is g bigger than 1?
False
Let a = 9/134 + 435/5494. Suppose -3*n - k = 2, 4*n = 3*k - 7*k. Is n <= a?
True
Let o = -56.049 - -56. Let j = o - -0.036. Which is smaller: j or 2/7?
j
Let n = -29/12 + 169/60. Which is smaller: n or 0.3?
0.3
Let x = -62.99 - -61.99. Let f be -20*((-28)/2655)/2. Let n = -1/177 - f. Which is greater: n or x?
n
Let j(d) = d**3 - 7*d**2 + 5. Let f be j(7). Suppose -5 = u, 0*u - f*u - 23 = 2*g. Let y be (-5)/(-20) + 55/70*(-1)/2. Is g less than or equal to y?
False
Let t = 42/253 - 8/23. Let o = 95 + -96. Which is smaller: t or o?
o
Let o(g) = -2*g**2 + 8*g - 7. Let a(j) = -j**2 + 8*j - 7. Let h(y) = -3*a(y) + 2*o(y). Let p be h(-9). Let v be (-184)/410 - p/5. Which is smaller: 0 or v?
v
Let c = -608 + 621. Is c greater than or equal to 49/4?
True
Let r = -280 - -292.1. Let f = r - 4.1. Let d = -0.2 - -1.2. Which is smaller: f or d?
d
Let o = -3 - -2. Let t(m) = -m**3 + m. Let r be t(o). Let n = -717/33374 - 5/902. Which is bigger: r or n?
r
Let l = 0 + -1. Suppose 0*m - 2*a = -5*m - 776, 5*a = -2*m - 322. Let t = -1717/11 - m. Which is smaller: t or l?
l
Let k(j) = -j**3 + 5*j**2 - 4*j + 4. Let y be k(4). Suppose -h + p = y + 2, 2*p = 5*h + 24. Let t be -3 + (0 - h) - -1. Do t and 0 have the same value?
False
Let l be -8 - (2 + 490/4). Which is greater: l or -133?
l
Let h = 799 + -3991/5. Let m be -1 + (-1)/((-2)/4). Are h and m unequal?
True
Let b = -112.1 - -112. Let f = 97 - 101.9. Let u = b + f. Is u bigger than 0.1?
False
Let c = -2385 - -145477/61. Which is smaller: 1 or c?
c
Suppose -9 = -m - 7. Suppose 6*y - 2*y = -m*b - 8, 0 = 3*b + 3*y. Suppose 0 = -v - 3*g - 4 - 7, -b*v - 4*g = 36. Is -7 not equal to v?
True
Let v = 42 - 30. Suppose -5*d = -3*m + 30, -2*m - v = 2*d - 4*m. Let t be 3 + -2 + (-9 - -2). Is d smaller than t?
False
Let j be 22/121 + (-73102)/22968 + 3. Is 1 <= j?
False
Let c be ((-93)/(-18) - 6)*(-3)/(-10). Is c >= 6/31?
False
Let j = 0.36 + 0.04. Let i be -2*3*(-16)/120. Which is greater: i or j?
i
Let n be (-1 + (-39)/(-36))/(7/(-14)). Is n >= 1?
False
Let p be ((-3)/4)/((-1)/((-2)/3)). Let g = -0.03 + -0.06. Let n = g + -0.01. Which is greater: p or n?
n
Let q(l) = -6*l**3 - 17*l**2 + 4*l + 1. Let v be q(-6). Which is greater: 2 or v?
v
Let b = -37.021 - -37. Let h = 0.179 - b. Which is bigger: h or -29?
h
Let s be 5 - (70594/423)/(1702/51). Which is bigger: 0 or s?
0
Suppose 96*k + 135 = 105*k. Let j(g) = g**2 + g - 4. Let i be j(4). Is i less than k?
False
Suppose 4*c = 19*c - 150. Is c > 9?
True
Let u(x) = -2*x**3 - 18*x**2 + 20*x - 1. Let q be u(-10). Let k be 2/(10/6 - 1). Let l be (k + 3 - 3) + q. Is l at most as big as 0?
False
Let t(k) = k**3 - 8*k**2 - 8*k - 10. Let h be t(9). Let c be (-21)/(-175) - h/(-5). Are c and -1 nonequal?
True
Let k = 0.23 + -5.23. Let m = k - 4. Let g = -7 - m. Is g at least as big as -2/13?
True
Let k be (-10)/4 - 21/42. Let l(s) = -2*s**2 + 11*s - 4. Let b be l(k). Is b < -56?
False
Let h = -8 + 2. Let o be (-4)/(-2) + 3/h. Let i(k) = 2*k**2 + 54*k - 559. Let r be i(-35). Is o < r?
False
Suppose -5*l + 2*j = 5*j - 7, 5*l - j + 9 = 0. Does -3/161 = l?
False
Let m = -6740 - -195398/29. Let w = 1093/145 + m. Which is smaller: 5 or w?
5
Let r be 0 + (2/(-3) - (-48)/(-36)). Let f be (6 + (-88)/12)/(r/(-15)). Is f bigger than -14?
True
Let c be (-3)/18 + (-1860)/72. Do -25 and c have the same value?
False
Let q = 1716 - 1928. Is q smaller than -212?
False
Let d(i) = -i**3 + 4*i**2 - 5. Let l be d(4). Let x be (-13)/l + 6/15. Let j be 3 - (2 + -1 + x). Is -2 > j?
False
Let w(p) = p - 2. Let b be w(6). Suppose b*x - 30 = x. Suppose x - 22 = 4*a. Which is smaller: -2 or a?
a
Let y(k) = 60*k + 3 - 66*k - 14. Let t be y(3). Is t greater than -30?
True
Let c(j) = j**3 + j**2 - 2*j + 3. Let x(n) = -n**2 - 1. Let w(v) = c(v) + 3*x(v). Let i be w(-1). Which is smaller: i or -2/19?
i
Let l(o) = -o + 9. Let a be l(6). Suppose 2*d + 2*i - 1 = 21, i + 37 = 3*d. Suppose a*w = 6*w - d. Is w smaller than 0?
False
Let m be (-6 + 2)*(-17749)/244. Let t = 291 - m. Do 0 and t have different values?
True
Let t be (5/(-435))/(3/(-6)). Let s = 55 - 54. Are t and s equal?
False
Let q(r) = r. Let t be q(0). Let a = -7017 - -6989. Is t at most a?
False
Let v be 3 - -66 - (1 - -2). Let j = -66 + v. Is -1/86 equal to j?
False
Suppose 5*l = -5*o + 95, 39*l + 34 = 2*o + 42*l. Suppose -3*x = 3*s - 69, -2*s = -0*x - 2*x + 46. Is o at least as big as x?
True
Let o be 1 + -1 - (5 - 4). Is -1/2307 <= o?
False
Let p = -0.04 + -1.96. Suppose -x - 13 + 23 = 0. Let z be (-1)/1*(4 - x/4). Which is smaller: p or z?
p
Suppose 3*g - 16 = 2*m + 37, 0 = 2*g - 3*m - 37. Is 6 < g?
True
Let t be (-60)/(-180) + 4/(-3). Is t greater than -3/1292?
False
Let d(z) = z**3 + 4*z**2 - 8*z - 5. Let w be d(-5). Let g be (-345)/w - (-2 + 2). Let y = g + 36. Which is bigger: y or 3?
3
Suppose -r - 3850 = -8*r. Let b = 8803/16 - r. Which is smaller: b or -1?
-1
Let k = -11.7 - -12. Let v = k - -0.7. Let g = 0.5 - v. Which is bigger: g or -0.1?
-0.1
Let t be (-2732)/(-38) - (-4)/38 - 0. Let b be -1 + 51*3/t. Which is greater: b or 1?
b
Suppose -4*l - 16 + 4 = -4*h, 23 = 3*h + 4*l. Let p = 7 - h. Suppose -5*b - 3*o = -0*o - p, 3*b + 10 = o. Is b equal to -5/4?
False
Suppose -23*b + 27 = -20*b. Let n = 1 - -22. Suppose -3*v + 1 = -n. Is v > b?
False
Let x(k) = -k**2 + 12. Let l be x(-3). Is 2 equal to l?
False
Let b = -43/7 + 573/91. Let m be 3 + -1 - (-1 - (-15)/(-5)). Let y be (21/m)/((-7)/14). Is y > b?
False
Suppose -3 = -605*d + 608*d. Which is bigger: d or -2/177?
-2/177
Suppose 3*n + 8 = -n. Let t be ((-21105)/28)/