*l = -5*l + 82. Let q = l + -17. Is 23 greater than or equal to q?
False
Suppose -k = -6*k + 15. Let x(b) = -b**2 - 2*b - 2. Let a(z) = -3*z**2 - 5*z - 6. Let j(y) = -6*a(y) + 17*x(y). Let v be j(k). Is v <= -2/9?
True
Let f = 0.47 - 0.5. Let l = 5.1 - 2.7. Let t = -2.3 + l. Which is bigger: t or f?
t
Suppose 5*w - 17 = -3*z, -2*z + 8 - 2 = -2*w. Let i be (-22)/3*6/z. Which is smaller: i or -9?
i
Suppose 4*d + 75 = -5*t, 3*t - t = 5*d - 63. Let g = 27 + t. Let y be g/24 + (-19)/(-15). Is y < 1?
False
Let d = 418 + -2917/7. Let p be ((-8)/(-3))/((-2)/(-33)). Let v be 2/8 - 11/p. Which is bigger: d or v?
d
Let q(o) = 3*o**2 + 6*o + 9. Let c(x) = 8*x**2 + 19*x + 26. Let j(t) = 4*c(t) - 11*q(t). Let s = -391 - -402. Let w be j(s). Are 2 and w non-equal?
True
Let k be 10/40 + 65/(-20). Which is smaller: k or -10?
-10
Let w(c) = -c**2 + 14*c + 26. Let t be w(16). Let g be (-1)/(20/(-38)) - t/(-3). Suppose -2*v = 2*v - 4. Is v >= g?
True
Let l(h) = -h**3 + 6*h**2 + 10*h + 49. Let f be l(8). Let k be (-9)/(-19)*2/(-6). Which is smaller: k or f?
k
Let w(a) = -a - 8. Let k be w(-10). Suppose k*b + 23 = -5. Let p = -14 - b. Do 3/22 and p have the same value?
False
Let n be (-7)/(7/(-6)) + -2. Suppose n*f + 3*y + 143 = 0, 2*f = -f - 4*y - 109. Let v be f/(-45) + 6/27. Are -2/39 and v unequal?
True
Let r = -58.3 - -56.3. Is r < 224/3?
True
Let v = -59 + 23. Let n = v - -36.1. Let l = 6 + -9. Which is smaller: l or n?
l
Let v be 1/(195/(-732) - 2/(-8)). Does -66 = v?
False
Let g(y) = -2*y**2 + 22*y - 15. Let n be g(10). Let s be (-10)/25 + 202/n. Does s = 38?
False
Let x = -1807/18 + 59/36. Is x not equal to -99?
True
Let n = 1 + -2.7. Let o = n - -2.7. Let b = 23 - 35. Which is smaller: o or b?
b
Let j(k) = -k**2 + 9*k - 1. Let l(p) = 3*p - 4. Let q be l(5). Let t be j(q). Is 2/7 greater than t?
True
Let k = -0.0743 + -0.0257. Which is smaller: 0.3 or k?
k
Let f = 15 + -9. Suppose 4*s - f*s - 2 = 0. Let n = 6.53 - -0.47. Is n greater than s?
True
Suppose 2*i - 39 = m + 7, -5*i - m + 101 = 0. Is 0.01 >= i?
False
Let r(c) = -c**3 - c**2 + 4*c + 53. Let f be r(0). Is f at most as big as 54?
True
Let f be -3 + 6*1560/3056. Which is bigger: f or -1?
f
Suppose 2*r + r = 0. Suppose -2019 + 2024 = 5*z + 5*h, 3*z + 5*h = 11. Which is bigger: z or r?
r
Let a = -989 + 1034. Is a at most as big as 7?
False
Let a(y) = y**2 - y - 6. Let g be a(4). Suppose -36 = -13*u + 29. Is g at most u?
False
Suppose 66*h + 139 = 73. Let m(z) = z. Let p be m(3). Suppose -p*v = v. Do v and h have different values?
True
Let j = 27/7 + -316/91. Suppose a - 6*a + o = -1, -a + 4*o = 15. Do a and j have the same value?
False
Let t = 18 + -15. Suppose -t*p + 2*p + 4 = 0. Suppose 0 = -4*a + 5*c + 15, 3*a + p*c = -7 + 57. Is a equal to 10?
True
Let x = -203 + 206. Which is smaller: x or -84?
-84
Let d = -3 + 3. Let y = 14.33 + -33.33. Which is smaller: d or y?
y
Let b = -12 + 12.06. Let r = 0.01 + b. Let j = r - -0.03. Are j and 0 nonequal?
True
Let u be 12/10 - (-1)/(-1). Let a = -194 - -196. Suppose x = 2*s + 11, 2*x - 7 = 5*x + a*s. Which is greater: x or u?
x
Let b = 340 - 314. Is b greater than 29?
False
Suppose -14*t + 12 = -2*t. Which is smaller: t or 5/14?
5/14
Let w = 617 + -54912/89. Which is bigger: -1 or w?
w
Let y be 3*((-6)/90 + 2/5). Let d = 1156 - 61270/53. Which is bigger: y or d?
y
Let j = 2651 - 2703. Let f be 101/(-2) - 1/2. Which is bigger: j or f?
f
Let z = -29 - -491/17. Which is smaller: z or 1?
z
Let c = -31 + 37. Let d be c/(-8)*3/(-27). Let a(m) = -m**3 + 12*m**2 - 10*m - 12. Let q be a(11). Are q and d non-equal?
True
Let f = -53 + -11. Let w = f - -59. Which is bigger: w or 6?
6
Let v = 3181/8 - 400. Which is smaller: v or -3?
-3
Let j = -870 - -819. Let c(h) = 7*h**3 + 2*h**2 + 2*h + 2. Let z be c(-2). Is j not equal to z?
True
Let y(g) = 2*g**3 - 17*g**2 + 4*g + 32. Let h be y(8). Is 0.36 less than h?
False
Let p = -187 + 366. Which is smaller: 180 or p?
p
Let h = 94.2 - 94.184. Which is smaller: -8 or h?
-8
Let t(j) = j**3 - 6*j**2 + 12. Let h be t(5). Suppose 3*g + 0 + 72 = -3*n, -6 = -g + 5*n. Let i = g - h. Is -6 greater than i?
False
Let p = 100 - 144. Let y = 43 + p. Is y smaller than 1/38?
True
Let x be 2/3 + (-62216)/66. Let v be 184/(-2 - 1238/(-686)). Let z = x - v. Is z at least as big as 0?
False
Suppose -4*a + 5*n = -1, -2*a + 0*n + 14 = 2*n. Suppose -a*j + 122 = -70. Which is smaller: 49 or j?
j
Suppose -430 = -3*b + 5*i, 5*i - 166 = -3*b + 214. Let l = 1479/11 - b. Suppose a = -2, 4*r - 4*a = -r + 3. Is l less than or equal to r?
False
Let s = 62 - 60. Suppose 0 = -7*y - 12 - s. Do y and -15/8 have the same value?
False
Let t = 17.167 + -17.3. Let f = 0.533 + t. Is f <= -18?
False
Let z = 293 + -254. Which is smaller: z or 41?
z
Let r(j) = j**2 - j. Let n be r(1). Suppose z - 2*t + 1 - 129 = 0, 3*t = 2*z - 260. Let a be 0 - (z/(-46) + 3). Which is smaller: a or n?
a
Let u = -27 + 136/5. Let j = u - -1/5. Which is smaller: 2/13 or j?
2/13
Let i = -136 - -136. Do -3/679 and i have different values?
True
Let n be (-12)/12 + (-1 - -5). Suppose -71 = -4*k + 3*u, n*k + 0*u = 5*u + 56. Let s = k - 18. Is -1 greater than or equal to s?
True
Let x = -87 + 91. Suppose -3*b - 2*b + 6 = -3*d, -4*b = -x*d. Let u(k) = k**3 + 4*k**2 - 2*k - 1. Let q be u(-4). Do q and b have different values?
True
Let p = -51 - -109. Suppose 0 = 2*g - 5*m + p, -2*g - 5*m - 38 = -0*m. Let k be ((-4)/g)/((-1)/(-8)). Which is bigger: k or 2?
2
Let k = 1237/8 + -155. Let s(y) = -2*y**3 - 6*y**2 - 5*y - 6. Let u be s(-4). Let q = -46 + u. Which is smaller: q or k?
k
Let x be 2 + -3 + 2 - 0 - -11. Let d = -10 + x. Is 9/5 less than d?
True
Let j = 19/2 + -9. Let x = 5.26 + -4.3. Let s = x - -0.04. Is s smaller than j?
False
Let u = 15 + -80. Let l = -64 - u. Are -39 and l non-equal?
True
Let w = -539/50 + 400897/37400. Let m = -3675 - -323395/88. Let b = w + m. Which is smaller: b or -1?
-1
Suppose 4*j = 5*j - f + 4, -5*f = -j - 20. Let k = 3 - j. Suppose -3*t + 0 = k. Which is bigger: t or 1/15?
1/15
Let l be 2/9 - (-4)/(-18). Suppose 2*b - u = -0*u - 3, 3*u = 2*b + 13. Let i be b + 2*(21/18 - 2). Which is smaller: l or i?
i
Let s be ((-48)/(-18))/(-8) - -2. Let n be 3 + 0*2/(-6). Which is smaller: n or s?
s
Suppose -4*a = -y - 11, -4*a - 8 = -3*y - 25. Let v = -5 - y. Let d be v - (0 - -3 - -3). Is d greater than or equal to -5?
False
Suppose o = 2*o. Let t = o + -3. Let i = 108 - 332/3. Is t >= i?
False
Let q = -599 - -597. Let z = 4.1 - 0.1. Is q > z?
False
Let k = 3 + -5. Suppose 4 = 5*p - 9*p. Let z be -4 - (p/(-6)*-26)/1. Are k and z non-equal?
True
Let j(w) = 13*w - 45. Let n be j(4). Let i = 44987/69384 - -5/11564. Let a = i - -1/56. Is a >= n?
False
Let c be 98/147 + (-140)/3. Which is bigger: c or -47?
c
Suppose 5*k + 6 - 21 = 0. Let r be 0 + (1 - (-3 + k)). Which is smaller: 8/9 or r?
8/9
Let j be (10/(-30))/(1/6). Let a be (j/10)/(33/(-15)). Which is smaller: -1 or a?
-1
Let u be (1*6 + -18 + 10)*(8 - 7). Let t be ((-5)/(-2))/((-1)/2). Is u bigger than t?
True
Suppose -12*r - 18 - 18 = 0. Let j(o) = -o**2 - 4*o - 6. Let p be j(6). Let t be (p/9)/2 + 1. Which is smaller: t or r?
r
Let o = -265 - -283. Which is smaller: o or -1?
-1
Let i = 93/39875 + 1/10875. Is 1 >= i?
True
Let a(x) = 27*x - 5. Let n be a(-1). Which is bigger: -158/5 or n?
-158/5
Let z be (-263)/315 - 108/(-126). Which is bigger: 0 or z?
z
Let s be 2 + 2 - 351/12. Let n = 25 + s. Which is smaller: n or 3?
n
Let g = -2142 + 3657. Is 1515 at least g?
True
Let u be ((-160)/128)/(((-21)/2076)/(-7)). Is u >= -864?
False
Let m = -4/117 - -1129/2223. Which is smaller: 0 or m?
0
Suppose 2*h - 11 = 13. Let n be (72/(-14))/((-63)/147). Is h != n?
False
Suppose -35 = 5*t - 10. Let g = -4/23 - 509/115. Is t equal to g?
False
Let m(n) = n**2 - 31*n + 36. Let z be m(30). Let r be 3 + 108/(-32) - z/(-16). Which is bigger: -5/18 or r?
r
Let v(t) = 22*t + 71. Let m be v(-12). Do -192 and m have the same value?
False
Let d be (-147)/(-12)*(-128)/2. Let z = -65070/83 - d. Which is greater: z or -1?
z
Let u = -756 + 759. Which is bigger: 45/11 or u?
45/11
Let g = -28 + 253/9. Suppose -4 = -s + 2. Let z be s/(-2) - (-4 - -1). Which is greater: g or z?
g
Let a = -134/5 - -136/5. Suppose -2*d + 6 = -2. Suppose -d*v + 0*v = -2