the same value?
True
Let i be 6/(-21) - (-113244)/(-154). Let u = i - -734. Is -1 less than u?
False
Let j be ((-2 - -1)/(-1))/(-1). Suppose 5 - 1 = -4*g. Is g greater than j?
False
Suppose 5*x + 1 = 3*r - 1, -5*r = 2*x - 24. Let z be (-3 - -3)/(r - 3). Let l be (z + 1)*(-3)/(-30). Which is greater: l or 1?
1
Let c = -2374 - -1848. Is c smaller than -1577/3?
True
Let o = 594 - 359. Is o >= 235?
True
Let k(f) = 3*f**2 - f + 1. Let w be k(-1). Suppose 0 = 7*y - 2*y + w, -4*q - 3*y = -33. Suppose -h - t + 25 = 3*t, 4 = t. Is h less than q?
False
Suppose m = -z + 26, 0 = 4*z - 14*m + 19*m - 99. Which is bigger: 29 or z?
z
Let r = 0.6 + -3. Let t = r - -2. Let z = -9 - -7. Which is smaller: t or z?
z
Let u = -1 - -3. Suppose 0 = -4*p + 8, 5*q + 5*p = p + 288. Let h be 63/18*(-6)/q. Which is bigger: u or h?
u
Let d be (135 - 1)*(-1)/(-2). Let y = -334/5 + d. Which is greater: y or 0?
y
Suppose -52*g = -55*g + 12. Suppose 48 = -g*k + 3*a - 60, 2*k - 5*a + 54 = 0. Is -27 at most k?
True
Let j = 7557 - 30591/4. Is j <= -91?
False
Let l = -29 + 29. Is l at least as big as -21/16?
True
Let t be (-13)/65 - 28/10. Let c(k) = 2*k**2 + 4*k - 7. Let x be c(t). Let i = -56/9 + 169/27. Which is smaller: i or x?
x
Let t(o) = -2*o + 1. Let i(j) = j - 2. Let d(g) = -4*i(g) - 3*t(g). Let h be d(-4). Let x(l) = -l**3 - 3*l**2 + 2*l + 2. Let w be x(h). Does -3 = w?
False
Let x be (2*-36)/(-1) + -7. Is 72 at least as big as x?
True
Let n be (-2)/(-10*((-2)/4)/1). Which is greater: 0.077 or n?
0.077
Let a = 67 - 107. Let v = -76 - a. Is v greater than -2?
False
Let y = 2037 + -34615/17. Is 0 less than y?
True
Let x = -3 + -6. Let a = 20 - 32. Let p = a - x. Which is bigger: -4 or p?
p
Let y be 4 + (108/(-16) - -3). Is y equal to -72?
False
Let j be (1 - 3) + (-6)/2. Let k(r) = r**2 + 11*r - 5. Let h be k(j). Let a be (-6)/(-2) - (-95)/h. Which is bigger: 1 or a?
1
Suppose -a = -5*q + 33, 7*q - 2*q + 3*a - 21 = 0. Let m be (-2 + 15/q)*(-4 + 4). Is m not equal to 2/27?
True
Let w = 49 + -49. Let f be (-6 + w + 5)*2. Is 0 greater than or equal to f?
True
Let i(d) = -61 - 19 - 21*d + 17. Let n be i(-7). Which is smaller: n or 85?
n
Let z = -1/1988321 + -668075077/1548902059. Let n = z - -22/41. Which is smaller: -1 or n?
-1
Suppose 5*w = u - 0*w - 4, u + 5*w + 16 = 0. Let s be 4/u*27/(-18). Which is smaller: s or 2/75?
2/75
Let k = -202 + 111. Let p = -83 - k. Is p >= 1?
True
Suppose 4*j = 3*b - 4*b + 12, 2*j - 16 = -3*b. Which is smaller: 4 or j?
j
Let f = 1 - 17. Let r be 16/f*(21 - 0). Let i be ((-7)/r)/((-3)/9). Is i >= -3/5?
False
Let f be (-132)/66 - (-654)/(-2). Is f greater than or equal to -330?
True
Suppose 4*d - 70 - 230 = 0. Suppose -193 = 3*s + 3*t - t, -2*t + d = -s. Is s bigger than -68?
True
Suppose 3*o - 8*o - 4*s = 1576, 1256 = -4*o - 2*s. Is o at most -621/2?
True
Let k(b) = -b + 112. Let o be k(0). Suppose 3*s - 37 + o = 0. Let f = s - -25. Which is bigger: -10/7 or f?
f
Suppose -2*w = 2, -5*t - 2 = -2*w - 4. Let f = 89 + -92. Is t equal to f?
False
Let x = 143 - 143. Which is greater: x or 2/103?
2/103
Let z(l) = -3*l**2 + 59*l + 44. Let d(x) = x**2 - 20*x - 15. Let v(p) = 17*d(p) + 6*z(p). Let a be v(14). Let i(f) = -2*f + 1. Let k be i(-3). Is a >= k?
True
Suppose 126 = -205*a + 196*a. Is a greater than -14?
False
Let h be (-6)/27 + (-114)/(-27). Suppose -t - h*t + 5 = 0. Are 1 and t nonequal?
False
Let p be (-1)/((-8)/12) + (-2)/2. Suppose z - 2*s = -20, 5*s - 59 = 5*z + 36. Which is smaller: p or z?
z
Suppose 2*k + 23 = 4*n + n, -4*n = -4*k - 40. Let p = 9 - k. Let w be 1/3 - 78/p. Is -3 at least as big as w?
True
Let n = -6 + 63. Let b = n + -59.8. Is b less than or equal to 1?
True
Let o(l) = l**2 + 10*l - 40. Let h be o(-13). Suppose 5*p - 4*f - 14 = 0, -4*p + 6 + 5 = -3*f. Suppose -3*a + 9 = -p*z, -4*z - 4*a + 15 = a. Is h equal to z?
False
Suppose 0*p = p - 3. Let n be 5 - 3/(4 - 1). Suppose 3*a - 23 = -2*y - 2*a, -n*y - 4*a + 28 = 0. Is p equal to y?
False
Let q be (9/(-2) - -1)/(-48 + 11). Let n = q + 223/1554. Which is smaller: n or 0?
0
Let i = -3167165/284 + 11152. Are 0 and i equal?
False
Let k = 1292 - 1293. Is 45/8 equal to k?
False
Suppose -z + 184 = -5*z. Let k = 30.1 - 30. Which is greater: k or z?
k
Let q(l) = -4*l**3 - 5*l**2 - l - 6. Let d(w) = -11*w**3 - 14*w**2 - 2*w - 17. Let n(v) = -3*d(v) + 8*q(v). Let j be n(-3). Is j < -6/11?
False
Let g = 18 + -20.4. Let z = -2.4 - g. Which is smaller: -3 or z?
-3
Let i be (5/(-35))/((-1)/(-23)). Let m = i - -131/42. Let l = -0.27 - 0.73. Which is greater: l or m?
m
Suppose 0 = 2*z - z - 34. Let a = -28 + z. Suppose -k = -a - 2. Is k != 9?
True
Let p be ((-429)/42 - (-2)/(-7))*12. Let m = p - -95. Which is smaller: m or -61/2?
m
Suppose 177 - 177 = 7*q. Are q and -2/425 non-equal?
True
Let f = -1108 - -2023. Is 914 smaller than f?
True
Let f = -42 + 41. Let l be 1/(f + -1) + 200/16. Does l = 13?
False
Let b = -12 + -14. Let x be ((-4)/(-14))/((-74)/(-259)). Which is greater: x or b?
x
Let a = 31 + -27.8. Let s = a + -3.1. Is s at most -1?
False
Let k = -130 - -129.8. Let y = -1.6 - -0.6. Let z = 9 + y. Which is smaller: k or z?
k
Let p = -1482163/139 + 10663. Is p greater than 0?
False
Suppose 3*c + 2290 = -1655. Let r be -3*(4 - c/(-330)). Which is smaller: r or 0?
r
Suppose 4*l + 5 = 3*l, 4*g - 165 = -3*l. Is g at least as big as -3?
True
Let j(z) be the third derivative of -5*z**4/8 + z**3/2 + 12*z**2. Let y be j(-2). Which is smaller: y or 34?
y
Let s(r) = -r**2 + 7*r + 14. Let l be s(9). Suppose 5*q - 7*q = 6. Does q = l?
False
Let m = 62 - 63. Is -81 >= m?
False
Let q be (2696/(-180))/(66/10). Let m = q - -76/27. Which is bigger: 1 or m?
1
Let k(u) = 5*u**2 - 4*u - 2. Let x be k(-4). Which is smaller: 97 or x?
x
Let y = 2448 + -2192. Which is greater: 1279/5 or y?
y
Let z(x) = -2*x + 1. Let n be z(-1). Let j be 4/n - 1 - (-1333)/(-2604). Is j > -1?
True
Suppose 290*v + 142 = 291*v. Which is smaller: 143 or v?
v
Let u = -19309/6 - -3222. Suppose 9 = 5*f - 6. Is f != u?
True
Let i(f) = -1 + 10*f - 6*f**2 - 3 + 8. Let q(h) = -5*h**2 + 9*h + 3. Let b(c) = -4*i(c) + 5*q(c). Let l be b(5). Is l smaller than 0?
True
Suppose 4*x = -v, 7*v - 18 = 2*x + 3*v. Let u be 1*x*1/1. Let c = 301/1160 + -9/40. Which is greater: c or u?
c
Let d(w) = 3*w**2 + 6*w - 1. Let j(z) = -2*z**2 - 5*z + 1. Let m(x) = -5*d(x) - 6*j(x). Let r be m(3). Which is bigger: r or -29?
r
Let q = 437.5 - 390.88. Let v = q - 47. Which is bigger: v or 0?
0
Let m = -1 + -2. Suppose 12 = -5*i - 38. Let k = i + 8. Which is smaller: m or k?
m
Suppose 4*p - 140 = -4*q, 4*q - q - 73 = 5*p. Let j be (-6)/(-126)*q/(-2). Let u = 1/14 + j. Is -6 smaller than u?
True
Let b be (-1)/((-1)/(4/(-22))). Let d = 25.1 - -1.9. Let m = 31 - d. Are m and b unequal?
True
Let r = 320 - 315. Let f = 1.8 + -2. Is r >= f?
True
Let t = -2 - 0. Let j = 1.9 + t. Let i = 3775/796 + 3/398. Is i > j?
True
Suppose -9*d - 388 - 215 = 0. Which is bigger: -71 or d?
d
Let r = -73 + 143/2. Let d be (-68)/(-21)*((-45)/40)/(-3). Let l = d + r. Which is bigger: l or -0.3?
l
Let s = -185 + 9. Let y be 12/s + 2/8. Let t = -0.1 - -0.4. Which is bigger: t or y?
t
Suppose 2*v + w - 40 = 0, w = 4*w - 6. Suppose -v = 3*j + 11. Is -9 less than or equal to j?
False
Let r be ((-2)/5)/((-568)/10). Which is smaller: r or 0?
0
Let y = 137 + -47. Let b be (-15)/40*(-4)/y. Which is smaller: 1 or b?
b
Let r(v) = -91*v + 5. Let m be r(-3). Is 272 < m?
True
Suppose 613*i = 621*i. Let m be -2*(-1 - 1)/(-158). Does i = m?
False
Let g(y) = 3*y + 36. Let s be g(-12). Let j(b) = b**2 - 4*b - 2. Let l be j(4). Let n = s + l. Is n equal to -2/3?
False
Let t = 0.052 - 26.052. Let i = t + 35.6. Let z = 10 - i. Is 0 at least as big as z?
False
Let h be 1*(4 + -1 + -5 - -4). Is h less than or equal to 18/17?
False
Let r = 4963044/28567 + 220/2597. Let f = r + -174. Let j be ((-3)/14)/(27/(-36)). Which is bigger: f or j?
j
Let t = 132 - 111.3. Let x = 19 - t. Which is smaller: x or 2/5?
x
Let m = 0.143 + -0.043. Suppose 3*g - 110 = -2*h, -4*h + 212 = 2*g + 2*g. Is m at least as big as h?
False
Suppose 8 = 4*z - i - i, -2*z + 2*i = -6. Let b be 9*1/3*z. Let m be (-35)/(-15) + (-1)/b. Are 11/4 and m nonequal?
True
Let n = -12 - -17. Let m be (-2 - n/(-2)) + 0. Suppose 0 = -4*l + p - 5*p + 20