+ 42, 4*m = 2*x - 40. Let v be m/(76/(-8) + 2). Is v at least w?
False
Let n be (-1)/(-2 + 5/3). Let g be 75/35 + (-2)/14. Suppose -n*h - 2*w + 6 = 0, -g*h = -5*w + 2*w + 9. Is h <= -1?
False
Let o(q) = 3*q - 54. Let z be o(18). Which is smaller: z or -13/10?
-13/10
Let v be ((-6)/(-9))/(20/(-12)). Is v equal to 0.052?
False
Let g = 890 + -611. Is 280 bigger than g?
True
Suppose 2 = -0*j - 3*j - 5*o, -4*o - 6 = -2*j. Let k be (207/(-684) - 1/(-4))/(-1). Which is bigger: j or k?
j
Let v be 10 + -4 - 2 - 3. Suppose 3*l - 19 = 5. Let r be (-2)/(-8) - (-2)/l. Which is smaller: v or r?
r
Let o be ((-78)/(-27))/(14/(-21)). Let v(z) = z**3 - 3*z - 2. Let y be v(-2). Which is greater: y or o?
y
Suppose -5*f + 2 = -k - 2, k = f. Let g = -53.45 - -53. Let y = g - -0.57. Which is greater: f or y?
f
Let a = 5395 - 1575343/292. Let g = 2180168/21 - 7002718705/67452. Let j = a - g. Which is smaller: j or 0?
0
Let h(t) = t**2 - t - 1. Let l be h(-1). Let i = 1 - l. Let x = -0.05 + 0.05. Is x greater than i?
False
Let p be (-11 - -12)/((-1)/(-2)). Suppose 0 = -0*g + p*g. Which is smaller: g or 1/4?
g
Suppose 6*h - 5*h = 2. Suppose -2*q = 2 + h. Let m be (36/40)/(6/(-4)). Are m and q equal?
False
Let r(m) = -m**3 + m - 1. Let s(g) = 70*g**3 + 2*g + 5. Let d(q) = 2*r(q) + s(q). Let j be d(-1). Does -68 = j?
False
Let r = -2/55041 + 2697019/275205. Let n = -4 - -13. Do r and n have the same value?
False
Let i(j) = -j**3 - j**2 + 2*j - 2. Let u be i(-3). Suppose 82*n = 83*n - 5. Suppose -n*a = 0, k + a + 1 = u. Are 9 and k non-equal?
False
Let z(j) = 2*j**3 - j + 1. Let l be z(1). Let u(x) = x**2 - 13*x + 10. Let b be u(12). Let v = b + l. Is v equal to -5/6?
False
Let w be -7 - (6069/(-45))/17. Which is smaller: 2 or w?
w
Let j = 97/3 - 32. Let u = 75.88 + -76. Which is smaller: j or u?
u
Let m = -54 + 186. Let r = m + -136. Is 0.2 greater than r?
True
Let g(j) = -5*j + 4. Let x be g(-2). Suppose 3*v + 3*r = 46 + 5, -3*v - 5*r + 53 = 0. Let c = -3 + v. Is c smaller than x?
True
Let y be ((-6)/4 + 1)*2. Let f be 1/144*42 + (-2)/6. Is y greater than f?
False
Let w(p) = p - 1. Let r be w(4). Suppose 7*f = r*f. Is -1/90 less than or equal to f?
True
Suppose 62 - 317 = -5*g. Let f = -51 + g. Which is bigger: 73 or f?
73
Let v = -13 + 16. Suppose -v = -2*k + 1. Suppose -3*s = h, 2*h = -k*s - s + 3. Which is smaller: s or 0?
s
Let p = 23 + -55. Let n be (-4)/32 + (-836)/p. Which is bigger: n or 0.1?
n
Suppose -2*n + 3*r + 57 - 5 = 0, -4*r - 77 = -3*n. Let o be (n/(-2))/(2/(-4)). Let z be 4/(-14) - o/(-105). Which is smaller: 1 or z?
z
Let u = 12409.37 + -12500. Let z = u - -91. Which is bigger: z or 0?
z
Suppose -14*n + 45 = -67. Is n bigger than 14?
False
Suppose 4*s + 3*p - 129 + 5 = 0, 2*s - 62 = 4*p. Let o = -43 - -73. Which is smaller: s or o?
o
Let y(f) = -24*f - 80. Let p be y(-4). Which is greater: 8 or p?
p
Suppose -4*j = j. Let p(c) = c - 2. Let t be p(5). Let g be (0*t/6)/1. Is g at least as big as j?
True
Let w = -1547 + 1546.99. Is w > 0.8?
False
Let y = 0.8 - 0.9. Let n = -4.25 + 0.25. Let p = n + -8. Which is greater: p or y?
y
Let n be (206448/(-1870))/(1 + 8/(-10)). Does n = 2?
False
Let t = -5980 + 5951. Let u = 0.2 + -0.1. Is t less than or equal to u?
True
Let u = -0.8 + 0.8. Suppose -197 = g + 9. Let v = -1852/9 - g. Is v less than u?
False
Let k(q) = -47*q + 470. Let a be k(10). Which is smaller: 3/161 or a?
a
Let s be (-65 - -67)/((-4)/22). Which is smaller: -49/5 or s?
s
Let f = 34 - -5. Let r = f - 37.05. Let q = 0.05 + r. Which is smaller: q or -4?
-4
Let p(a) = -a**3 - 7*a**2 + 7*a + 10. Let n be p(-7). Let u be 3*(n/(-36) + -1). Let y be ((-2)/(-4))/((-50)/(-340)). Which is smaller: u or y?
u
Let g = 16 - 11. Suppose -2*i - i - 3*x = -3, -x - 11 = -g*i. Suppose -4*k - 39 - 17 = i*d, -5*k - 88 = -2*d. Is -15 greater than or equal to k?
True
Let t(h) = h**3 - h**2 - h - 1. Let u be t(2). Suppose -5*x + 2*x - 3*x = 0. Which is smaller: u or x?
x
Let d be (-140)/165 + ((-6)/(-33) - 0). Let u = d - -7/15. Is 0 smaller than u?
False
Suppose r + 2*r - 24 = 0. Let f be 2/r + (-15)/24. Let y = -208 + 209. Which is greater: y or f?
y
Let v = -12.4 - 4.6. Let u = -17 - v. Is u not equal to -0.47?
True
Suppose 5*i - 2*o = 3*o + 15, 2*o - 15 = -5*i. Let y be i + (-29)/5 + 3. Which is smaller: -1 or y?
-1
Let a(v) = v**3 + 13*v**2 - 12*v - 7. Let g be a(-14). Let w = -32 - g. Suppose 3*j - 2*y - 2 = 0, 0*j + 3*j - 4*y + 8 = 0. Are j and w non-equal?
True
Let z(t) = t + 1. Let i be z(2). Suppose -2*k + 4*s - i*s = 19, 0 = 5*k - 3*s + 46. Let q = 3 + k. Is -9 >= q?
False
Suppose -2*j - 4*i = 28, j + 0*i + i + 9 = 0. Let z = 232/55 - 42/11. Is j > z?
False
Suppose 2*p - 25 = -v, -125 = -v - 2*v + 4*p. Let i be 7*((-130)/v - -4). Let m = 55/7 - 481/63. Which is greater: i or m?
i
Suppose 61*b + 340 = 57*b. Which is bigger: b or -86?
b
Suppose 549*s + 11 = 560*s. Are 1/780 and s nonequal?
True
Let r = -2 + -9. Let w(b) = 3*b**2 - 36*b + 30. Let a(u) = -u**2 + 12*u - 10. Let j(o) = r*a(o) - 4*w(o). Let f be j(11). Does -2/5 = f?
False
Let s be -1 + (-5)/(-4) - 25/20. Let a = 15 - 1. Let t = a - 11. Which is smaller: s or t?
s
Let d be (-21)/9 - (0 - 2). Let z = -1 - -1.3. Which is smaller: d or z?
d
Suppose 0 = -6*h + 5*h + 9. Let l(j) = j - 8. Let x be l(h). Which is smaller: x or -2/17?
-2/17
Let b(p) = p**2 - 16*p**2 + 2*p**2 + 4*p**2. Suppose -4*v = -4*y + 8, -2*y + 7 = 3*v - 2*v. Let a be b(v). Does -8 = a?
False
Let t = 1744 + -1668. Which is smaller: 82 or t?
t
Let q = -2858 + 2858.1163. Is q != 0.1?
True
Suppose -h + 53 = t - 0, 5*h = -4*t + 217. Does 47 = t?
False
Let z(m) = -m + 7. Let n be z(-4). Suppose -y - 4 + 15 = 0. Do n and y have the same value?
True
Let f(q) = -q + 7. Let y be f(-13). Suppose 3*n + 92 - y = 0. Which is smaller: n or -23?
n
Let w be 1 + -6 + 3288/648. Which is greater: 13 or w?
13
Let u be 2 + (-11)/(-4)*(-52)/(-377). Which is smaller: 1 or u?
1
Let b be 5 + ((-15)/5 - 0). Suppose 3*h = -b*h + 5. Which is greater: h or 26?
26
Let w = 3.786 + -3.44. Let x = 0.046 - w. Which is smaller: 4 or x?
x
Suppose -4*b = -8*b - 20, 0 = 4*z + 2*b - 442. Let o = z + -227/2. Which is greater: o or -2/21?
-2/21
Let d = 64.33 + -64. Let r = 0.23 - d. Let q = 0.04 + -3.04. Is q bigger than r?
False
Let d be (-5 + 240/50)/((-99)/(-705)). Is d less than or equal to -2?
False
Let s(q) = -q**3 - 2*q**2 + 1. Let c be s(-2). Let o be (2 + 0 - (-1)/1) + 0. Let z be o/2*(160/(-45) - -4). Is c < z?
False
Suppose -230*u + 233*u + 1815 = 0. Which is greater: u or -604?
-604
Let c = -2201 + 2188. Which is greater: -11 or c?
-11
Let r = -2 - -2. Let j(p) = p**2 + 5*p + 3. Let g be j(-5). Let i be 49/42*2/g. Which is smaller: r or i?
r
Let f(d) = -d**3 + 4*d**2 - 4*d + 4. Suppose -9 = -3*p - 3*r, -p - 3 = -2*p + 2*r. Let x be f(p). Let z = x - 2. Is z <= 1/4?
True
Let s = -130 + 295. Let u = s - 165.91. Let v = u + -0.09. Is v greater than or equal to -1?
True
Suppose -11*k = -16*k - 15. Let u be 28/(-70) - k/(-5). Is u < 6/29?
True
Let l(v) = -55*v + 234. Let k be l(4). Which is smaller: 12 or k?
12
Let d = -8 - -8. Let o = -0.02 + d. Which is smaller: o or 0.1?
o
Let r(m) = m + 3 - 2*m**2 + 3*m**2 + 5*m. Let u be r(-6). Is u bigger than 3?
False
Suppose -g + 38 = 5*j, -4*g - 3*j + 79 = -5. Let p = g + -5. Which is bigger: 15 or p?
15
Suppose -20*w = -23*w. Let z be (w/(1 + 2))/2. Suppose 3*b + 4*b = z. Is -2/3 greater than b?
False
Let o(j) = -j + 14. Let q be o(9). Suppose -q*i + 4*k + 17 = 0, -2*k + k + 7 = i. Is i at most 6?
True
Let m(p) = -p**2 - 9*p + 2. Let d = -23 + 14. Let r be m(d). Which is greater: 6/11 or r?
r
Let p be 2 + (4/(-14))/(75/490). Let s = -13 - -19. Let b = 5 - s. Which is smaller: p or b?
b
Let u(y) = 8*y - 14. Let o be u(-4). Which is greater: o or -2/3?
-2/3
Let a = -0.2 - 1.8. Let h = 57 - 50. Suppose 2*q - h*q = 2*m + 13, -m - q - 2 = 0. Is m smaller than a?
False
Let y = -590 - -682.3. Which is greater: y or -1?
y
Let j = -75 + 81. Suppose i = 2*k + 9 + j, -27 = -2*i + k. Is i at least as big as 40/3?
False
Let n = 1 - 0.96. Let o = 21856.6 - 21856. Is o at least as big as n?
True
Suppose -5*g = -x - 1 - 7, 0 = -5*g + 20. Let j be (-21)/x + (1/(-4))/1. Which is smaller: 0 or j?
j
Suppose -21*x = -22*x + 110. Suppose x = 