= 6 - 1. Suppose -55*g + 97*g = -163*g + 1435. Is g at most l?
False
Let f = 1815/8 - 227. Let t = 14 - 13. Which is greater: f or t?
t
Suppose -100*p - 15410 = 15290. Which is greater: -308 or p?
p
Let a = 22 - 33. Let s = a - 3. Let n be (-5)/18 + 18/(-81). Is n less than or equal to s?
False
Let f be (-22 - -28) + (-2)/(-1). Suppose -q + f - 5 = 0. Let c be (-20)/48*q/10. Is c greater than or equal to 0?
False
Let x = 35 + -57. Let f = 78 + -56.1. Let s = f + x. Which is greater: s or 0.4?
0.4
Let m be (-20)/8 - (-810)/(-12). Which is greater: -71 or m?
m
Let n = 0.28 + -0.02. Let x = 0.01 + n. Let j = 0.17 - x. Are 5/4 and j equal?
False
Let u be (-8)/44 - 654/(-2871). Let w = 463/609 - u. Let t be ((-3)/(-2))/(3/4). Is t >= w?
True
Let o = 19 + -837/44. Let j = 317/396 + o. Is 2 at least j?
True
Suppose o - 3*i = 6, i - 4 - 14 = -o. Let r be (-25)/(-10) - o/10. Is r equal to 0.12?
False
Let a = 0.062 + -28.062. Let h = -0.032 + 24.032. Let g = a + h. Which is smaller: g or 2?
g
Let j = -329 - -241. Which is smaller: j or 0.1?
j
Let a = 942.96 + -943. Which is smaller: a or -0.054?
-0.054
Let v = -856090/24739 - 20/1903. Is -34 > v?
True
Let y = 44 - 45. Let k be 5 - y - 2 - 2. Suppose -5*b = 4*o + 11, -o - o = -3*b - 11. Which is bigger: o or k?
k
Suppose -4*w - 29 = -4*c + w, w + 10 = 5*c. Let s = 596/25641 + -3/407. Let p = 65/126 - s. Which is smaller: c or p?
p
Let b be 2 - (-200)/(-25)*(-8)/(-1). Is -62 equal to b?
True
Let p(s) = -s**2 + 25*s + 85. Let d be p(28). Let c = -2 + -31. Is c bigger than d?
False
Let t = 5213/54910 - 32/289. Which is smaller: t or 0?
t
Let d be -9 - (-5 - 0) - (-50)/10. Which is bigger: 34/135 or d?
d
Let f be (2 - 2)/(-3 + 1). Suppose -3*i - 78 = -f*i. Which is smaller: -27 or i?
-27
Let z = -317 + 316.1. Let t = -24 + 25.9. Let m = z + t. Which is smaller: 2 or m?
m
Let q = -4863.94 + 4812. Let i = 52 + q. Is i smaller than -0.3?
False
Suppose -22*z + 23*z - 2 = 0. Suppose -10 + z = 4*f. Which is smaller: -12/19 or f?
f
Suppose -10*r = -7*r - 14*r. Which is smaller: 1/25 or r?
r
Let i = -0.25 + 0.233. Let j = -0.083 + i. Let n = 809/3 - 267. Does n = j?
False
Let t(q) = q + 4. Let y be t(0). Suppose y*g + 19 = -13. Let b be 7/4 - (-6)/g. Which is smaller: 0 or b?
0
Let y = -743 + 643. Is y equal to -101?
False
Let o = 25 + -24.81. Let g = 0.01 + o. Does 1 = g?
False
Let h = -107 + 317. Is h greater than 210?
False
Let w be (-15)/((-2)/(-12)*(-6)/4). Suppose -59*f = -w*f - 1. Is f at least 13?
False
Let c(y) = -2*y**2 + 2*y - 3. Let u be c(-4). Let r be (1/u)/((-19)/38). Is r > -1?
True
Let x be (1 + 2)*(-32)/(-24). Suppose -3*i = -x*i - 10. Suppose -6*h - 18 = -4*h. Is i greater than or equal to h?
False
Let u = -180 - -324. Let t = u + -141. Does t = -6?
False
Let q = -221/573 - -10/191. Which is bigger: -48 or q?
q
Let y = -10 - -12. Suppose y*x + 2*x = 24. Let t = x - 8. Which is smaller: -3 or t?
-3
Suppose 17*m + 18 = 35*m. Which is bigger: -0.021 or m?
m
Let a be (40 - 61)*(-3)/14. Let v be (-2)/(-2*3/18). Which is smaller: a or v?
a
Let m(j) = 10*j**2 - 65*j + 19. Let s be m(7). Are 49 and s equal?
False
Suppose 0*m + 4 = -2*m. Let x = 14 + m. Let l = x - 9. Is 3 < l?
False
Let l be (1/(-2))/((-2)/4). Let h(y) be the second derivative of 13*y**3/6 + 37*y**2/2 + 44*y. Let z be h(-3). Which is bigger: l or z?
l
Let g(n) = n**3 - 14*n**2 + n - 13. Let k = -18 + 32. Let j be g(k). Let y be (-10 - (-1 - 1))/j. Do y and -8 have the same value?
True
Suppose -2*g - r = -8 - 60, 3*r - 24 = -g. Let y be (-4)/g*-29 + -3. Let z be 2/(-3)*2/2. Do y and z have different values?
True
Let t = -1 - -2. Let s be -1 - (-4)/(2/2). Let w be (5 - s)/8*4. Is t greater than w?
False
Suppose 3*a = 4*m + 19, -10 = 2*m + 3*m - a. Let d = 10 + -10. Let n be d/((2 + 2)/4). Is n greater than m?
True
Let q be (8 + -7)/(1/6). Let l be (8 - 11)*(-4)/q. Suppose 2*z = 3*p - 6, -l*p + 1 = 5*z - 3. Is -3 bigger than z?
False
Let f = -9 + -14. Let m = f - -11. Which is bigger: m or -1?
-1
Let k be (-8)/40 - 52/(-10). Which is smaller: 19/4 or k?
19/4
Let x(w) = w**3 - 4*w**2 - 2*w - 8. Let o be x(6). Let h = o - 54. Which is smaller: 3 or h?
h
Let k = -773 + 754. Which is bigger: -252/13 or k?
k
Suppose 0 = -2*v + 3*v - 2. Let p = 801 - 816. Is p greater than v?
False
Let g(u) = -u - 1. Let a(l) = l**2 + l + 9. Let z(i) = -a(i) - 6*g(i). Let v be z(5). Let n be (-6)/27 + (-86)/18. Which is greater: n or v?
v
Let b(w) = -20*w - 387. Let a be b(-23). Is 70 smaller than a?
True
Suppose -12*c = 3*c + 34*c. Which is smaller: c or -2/2151?
-2/2151
Let b(s) = -s**2 + 7*s - 3. Let w be b(5). Suppose 4*m = -8, 6*f - 10*f = -4*m - 36. Does f = w?
True
Let h = -1256 + 84158/67. Is 0 less than h?
True
Let p be (-6)/(-5)*(-35)/(-2). Let f = p - 0. Let g be (-9)/f*2/(-3). Which is smaller: g or 1?
g
Let k = -104067/1694 - -430/7. Do k and 0 have the same value?
False
Suppose 0 = 4*i - 13 + 17. Let r be (5/(-15))/(i/18)*-1. Let g = 5 - 3. Which is greater: r or g?
g
Let u = 28 + -17. Let m = u - 12. Are 3/19 and m unequal?
True
Let u(b) = b**3 + 27*b**2 - 31*b - 45. Let w be u(-28). Which is smaller: 40 or w?
w
Let q = -0.83 + -76.17. Let y = -76.9 - q. Which is bigger: -131 or y?
y
Let m(v) = 3*v - 111. Let f be m(37). Is f not equal to 5/289?
True
Let i = -34.934 - 0.066. Let s be ((-3)/12)/(4/8). Which is bigger: s or i?
s
Let t(y) = y**3 - 7*y**2 - 8*y + 2. Let g be t(8). Suppose g*k = k - 5. Let u be (-358)/72 - 6/(-27). Which is greater: k or u?
u
Let l = 11.12 + -0.12. Let b = -48.63 - -48.73. Which is greater: b or l?
l
Let z(s) = -s**2 + 17*s - 58. Let w be z(15). Is w <= -48?
False
Let l = -0.037 - -7.737. Let j = 8 - l. Let k = -5.8 - -5.9. Is j less than k?
False
Let q = 13 - 12. Let h = -37/3 + 13. Is h less than or equal to q?
True
Let n(a) = -4*a + 5*a - a - a + 1. Let l be n(1). Let m = -17/11 + 437/297. Which is greater: m or l?
l
Let k = -3325/2 + 1654. Is -6 less than k?
False
Let j(g) = 27*g - 55. Let a be j(2). Is a < -1/350?
True
Suppose 54 = 3*k - 4*r, -90 = -6*k + k + 2*r. Let b be 1/(-3) - 66/k. Is b > -1?
False
Suppose -11 = -5*o + 4, -4*p - o + 323 = 0. Let w = 238/3 - p. Suppose -4*u + 16 = -4*k, -14*u = 4*k - 16*u + 6. Which is greater: k or w?
k
Let c be -7*1*(2 + -1). Let x(w) = -2*w**3 + 17*w**2 + 9*w - 8. Let z be x(9). Which is greater: c or z?
c
Let p = 138 - 692/5. Let g = -49 - -50. Is g less than or equal to p?
False
Let g = 25 + -22. Let u be 57/18*3 - g. Which is smaller: 8 or u?
u
Let s be ((-6)/(-10))/((-54)/15 + 4). Let a = 12 + -8. Suppose a = d + 3. Which is smaller: s or d?
d
Let h be (-125 + 122)*(-1)/(-3). Is -2/3051 bigger than h?
True
Let g = -553/333 + 8/37. Which is smaller: g or 0?
g
Suppose 5*t = 5*g - 4 - 1, -4*t - 3*g = -31. Let l be -4*(-2 + 5/t) + -1. Is -3 greater than or equal to l?
False
Let f = 1.35 - 2.04. Let p = f + 0.59. Is p greater than or equal to 8?
False
Let j be 1158/300 - 1*4. Let g = j + -47/200. Which is bigger: g or 4?
4
Suppose 0 = -6*b - 7 + 1. Let p = 6.1 - 3.4. Which is smaller: b or p?
b
Let p be 48/(-6 + 2) + 4. Let b = p - 0. Is b at most -8?
True
Let n(w) = w**2 - 37*w - 157. Let p be n(41). Is p equal to 23?
False
Suppose 0 = -2*d - 2*r + 83 - 31, 0 = 4*d + r - 104. Which is smaller: d or 29?
d
Let j be ((-8)/(-6))/((-16)/(-12)). Is -2/423 smaller than j?
True
Let a = 22 + -20. Suppose 12 = -a*u - 4*n - 74, -5*u + 4*n - 145 = 0. Let k = u + 167/5. Is k greater than or equal to -13?
True
Let d = 155 - 2637/17. Suppose 12*n = 7 - 19. Is n at most d?
True
Let a be 195/25 - 8/10. Let s(w) = w**2 - 6*w - 10. Let b be s(a). Are -19/6 and b non-equal?
True
Suppose o + 46*o + 893 = 0. Let z be (3/2)/(12/32). Suppose 76 = -4*x - 5*n + n, -z*x - 73 = n. Which is smaller: x or o?
o
Let j = -3798 - -72136/19. Are j and -2 equal?
False
Let v = -41 + 12. Let m = v - -29.2. Is -0.7 greater than m?
False
Suppose 33 = 4*a - 4*p - 183, -a + 38 = 3*p. Let j be (-5)/(-19)*20/a. Which is bigger: -1 or j?
j
Suppose -3*d = 5*p - 17, -d - 3 = -4*p + 14. Let h(z) = z**3 + 11*z**2 + 11*z + 12. Let u be h(-10). Suppose -3*a + 10 = u*a. Which is bigger: a or d?
a
Suppose -d + 14 = 3*q - 39, -4*q - 4 = 0. Which is smaller: 335/6 or d?
335/6
Let i be 60/62 + (0 - -4 - 4). Do -0.1 and i hav