ue
Suppose 0 = -4*i - i + 155. Suppose 0 = 4*g - 3*v - i, v - 5 = -5*g - 2*v. Which is smaller: g or 6?
g
Let c = 993 + -993. Which is smaller: 27/19 or c?
c
Let q = 2182 + -19682/9. Which is smaller: -4 or q?
q
Suppose 4*b = -6*h - 25 - 45, 4*b = -2*h - 10. Let u(m) = m**3 + 8*m**2 + 10*m + 7. Let r be u(-7). Is h greater than r?
False
Let q be 6*12/(-612) - 3347/17. Which is greater: -590/3 or q?
-590/3
Let j = 2 - 3. Let a = j - 2/3. Let m = 701.7 - 701.8. Is a not equal to m?
True
Let b(q) = -q**2 + 5*q - 4. Let m be b(4). Suppose 3*x - 2*c = -m*x + 23, -2*x + 27 = c. Is 11 smaller than x?
False
Suppose -5 = 2*z - 7*z. Suppose 5*t - 2*t = 3*b + 9, 0 = -b - z. Suppose -2*d + 3*p = -15, 2*d + 5*p + 21 = -4. Is d >= t?
False
Suppose -n = -3*n - 4*l + 102, 5*l - 5 = 0. Which is greater: 45 or n?
n
Let o = -93 + 62. Let a = 52 + o. Let s = a - 20.88. Which is smaller: s or 0?
0
Suppose 158 - 83 = -5*a. Which is greater: -11 or a?
-11
Suppose 2*h - o - 3 = 0, -o + 2 = 1. Let y(k) = 3 + 2*k - k**2 - 3 + h. Let r be y(0). Is 1 at least as big as r?
False
Let i = 23 - 18. Suppose 4*f + 58 = 5*l, 22 + 6 = 2*l - 4*f. Suppose 0*m = 5*m - l. Which is greater: i or m?
i
Suppose 0 = -6*u + 2*u + 12. Suppose 141 = 5*t + u*n, 0*t - 93 = -3*t + n. Is t not equal to 29?
True
Let v be (-15)/(-6)*2*-2. Which is smaller: -87/8 or v?
-87/8
Let h(n) = -2*n**3 + 10*n**2 + 2*n - 6. Let g be h(5). Suppose -g*o = 12, -4*o = -j - 2*o - 79. Which is smaller: j or -84?
j
Let z = -1/136 - -277/680. Is 145 bigger than z?
True
Let v = 2.477 - 2.397. Which is greater: 1/6 or v?
1/6
Let j(g) = 39*g + 706. Let u be j(-18). Which is smaller: u or 1?
1
Suppose 33*w - 62 - 169 = 0. Which is smaller: 29/4 or w?
w
Let y = -318 + 319. Is 0.1 smaller than y?
True
Suppose 35 = -17*d + 18. Is -3 equal to d?
False
Let p = -100/62403 + -4/183. Do p and 1/4 have different values?
True
Let j = -19950/29 - -688. Which is smaller: j or -1/4?
-1/4
Let w(t) = -t**3 - t - 1. Suppose 5*c = 0, 0*c = -3*h + 4*c - 3. Let z be w(h). Is z >= 2/9?
True
Let n(h) be the first derivative of -2*h**3/3 + 2*h**2 - 5*h + 10. Let c = 3 + -1. Let b be n(c). Which is smaller: b or -26/5?
-26/5
Let c = 142 - 137. Is c < -4/9?
False
Suppose -287 = 10*c - 937. Let h = 66 - c. Which is bigger: -6 or h?
h
Let c(y) = -y**2 - 3*y + 6. Let z be c(4). Let w be (-48)/(-12) - z/(-4). Which is smaller: w or -3?
-3
Let f = 42 - -106. Suppose 21*y - f = 25*y. Let x = y + 30. Which is greater: -3 or x?
-3
Let w = -697 - -1395/2. Is w >= -0.686?
True
Let b be 1 - (10/(-25))/((-6)/(-15)). Which is bigger: b or -23?
b
Suppose -11 = -2*w + 5. Let n = -10 + w. Let j = -1595/708 + 1/354. Which is smaller: n or j?
j
Let n = 24 - 19. Let q be n/(35/2) + (-180)/(-7). Is q less than or equal to -0.1?
False
Suppose 44 = 13*c + 5. Suppose a - c = -17. Which is smaller: a or -15?
-15
Suppose -d - 24 = -33. Let o be (d + -16)*(1 - -1). Which is smaller: -57/4 or o?
-57/4
Let k = 102 + -171. Which is smaller: -1 or k?
k
Let a = 11 - -7. Let d be (-16 + a)*11/(-6). Is -5 at least d?
False
Suppose 4*q = 10*q - 390. Let v = 121/2 - q. Do v and -4 have the same value?
False
Let u(n) = -n**2 + 1. Let v(k) = 7*k**3 + 4*k**2 - k - 6. Let t = -12 + 18. Let l(i) = t*u(i) + v(i). Let f be l(-1). Which is smaller: f or -9?
-9
Suppose 2*j = -2*t - 10, 0 = -2*j + 2*t + 2*t + 14. Which is smaller: 103 or j?
j
Suppose 0 = -j + 6 - 2. Suppose 0*g + 2*g + 5*l - 11 = 0, -4*g + j*l = -8. Suppose 5*t - 2*n - 8 = 0, -g*t - n + 20 = -6*n. Is t bigger than 2?
False
Let f = -0.02 + -0.98. Let y = 0.828 + -0.728. Which is smaller: y or f?
f
Let y = -1.55 - -1.72. Let h = -0.27 + y. Is h <= 12/23?
True
Let x(n) = n**2 + 2*n + 2. Let s be x(-2). Let k(p) = -14 - 6*p**s - p**3 + 7 + 3 + 6*p. Let y be k(-7). Is y != -5?
True
Let k(f) be the second derivative of -f**3/6 - 14*f**2 + 8*f. Let p be k(-16). Is p at most -13?
False
Let l be (-20)/(-45) + 2/(-2). Let y be ((-2 + 2)*1)/(9 + -11). Is l < y?
True
Let k = 2 - 1.9. Let l = -1.2 - -1.12. Which is greater: k or l?
k
Let c = -1172 + 1160. Suppose -2*y + 0*y - 14 = 0. Which is smaller: c or y?
c
Let h = -395 + 312. Is h at least as big as -84?
True
Let t = 1.4 - -0.4. Let q = t + -1. Let j = -1.2 + q. Which is greater: 1 or j?
1
Let q = 104 - 308/3. Is q at most as big as -2?
False
Let u(c) = c**2 + 10*c + 20. Let x be u(-8). Let n be (-42)/(-60) + x/(-10). Let t = -6/5 - n. Are t and -2 nonequal?
True
Let z be 40/380 + 10026/57. Is 175 bigger than z?
False
Let p be 4/10 - (-918)/30. Let l = p - 13. Is 17 < l?
True
Let j(b) = b**3 + 22*b**2 - 24*b - 28. Let i be (-1 - 23) + 12 + -11. Let w be j(i). Is w at least -3?
False
Let k = -1238 + 1238.7. Let c = 0.4 - 0. Which is smaller: k or c?
c
Let x = -2/6753 - 162022/168825. Is x not equal to -2?
True
Suppose 13*i + 706 + 74 = 0. Is i at least -60?
True
Let t = 0.09 + 11.91. Let u = 1247 - 1248. Which is smaller: u or t?
u
Let u = -2862 - -123054/43. Do u and -1 have the same value?
False
Suppose -9*q - 16 = -5*q. Let f(p) = p + 5. Let a be f(q). Let w be 489/(-165)*a + 3. Do w and 1 have the same value?
False
Let t = 23 - 19. Suppose 5*z + 4 = t*l, -5*l + 3 + 2 = -3*z. Let m be 0 - z - (-6)/(-9). Which is greater: -1 or m?
m
Let z(m) = 2*m**2 - 15*m + 2. Let h be z(7). Do -40/9 and h have the same value?
False
Let m = -1.11 - 0.89. Is m less than or equal to 2/187?
True
Suppose -649 = -2*h + 1791. Which is greater: h or 1219?
h
Let h be ((-378)/(-7))/9 + -8. Which is smaller: -11/10 or h?
h
Let y(d) = -d**2 + 27*d + 90. Let f be y(30). Is f less than 2/167?
True
Let z be (-5 - -5)*(-2)/8 + -5. Which is smaller: -7 or z?
-7
Let n be (4/(-6))/(27 + 33). Which is greater: 6/7 or n?
6/7
Let l = -3.35 - -1.35. Let b = 0.2 - 35.2. Is l less than or equal to b?
False
Let b = -10.15 - 126.85. Which is bigger: b or -0.3?
-0.3
Let r(s) be the third derivative of -s**4/24 + s**3/2 + 2*s**2. Let a be r(6). Let i = -718 + 715. Is i != a?
False
Let q(d) = -d**3 + 2*d**2 + 8*d + 3. Let l be q(4). Suppose l*s = s - 8. Do s and -0.1 have the same value?
False
Let h be 6/(-36) - (-1)/6. Suppose 4*s = -4*r + r + 352, 3*r - 5*s - 343 = h. Let t = r - 1042/9. Which is smaller: t or -1?
-1
Let c(n) = 4*n + 13*n**2 + 18*n**2 + 11*n**2 + 10 - 40*n**2. Let t be c(-4). Do 26 and t have different values?
False
Let n = 227 - 121. Which is smaller: n or 104?
104
Let w = 123 + -192. Which is greater: w or -71?
w
Let i = 2105/3 + -687. Which is greater: 15 or i?
15
Let y = 15 + -14.88. Let h = y + -1.12. Let u = -18.3 + -0.7. Is u equal to h?
False
Let h = 23 + -24. Let l be h + 5 + -4 + (5 - 0). Which is smaller: l or 6?
l
Let i be (10/14)/((-144)/336). Is i greater than -3?
True
Let t(i) = i**2 + 11*i - 25. Let u be t(-13). Let x(y) = -10*y + 8*y - 5*y + y**2 + 9. Let o be x(6). Which is greater: o or u?
o
Suppose -3*o + 40 = 2*o. Suppose o*l = 3*l. Let t be 9/(-72) - 13/24. Is l at least as big as t?
True
Suppose 0*r + 4*r - 68 = -4*s, -4*s = -2*r + 52. Suppose -5*w + 3*n = -15, r = -4*n - 0*n. Do w and 18/13 have different values?
True
Let l be (-7)/((-28)/48) - -3. Let r = l + -13. Suppose -4*u = 0, 0 = -n - u + 3*u + r. Is 4/7 > n?
False
Let m = 374 - 633. Is m at least as big as -0.2?
False
Let p = -42 + 68. Suppose 3*x + x = 4*b + 48, 2*b = -3*x + p. Do 1/3 and x have different values?
True
Let l = 1 + -1. Let j be (-2)/(-860)*((-22)/(-5) - (-66)/(-165)). Is l > j?
False
Let r = -15 + 16. Let c = -7 + 50/7. Which is smaller: c or r?
c
Let p(j) = j + 7. Let z be p(-8). Let v be (z - 2)*1/(-9). Let t be (-19 - -22)*(-2)/(-6). Which is smaller: v or t?
v
Let o be (-8)/(-136) + 3205/425. Is o >= 8?
False
Let b be (321/297 - -1) + -2. Let q = b + 496/3663. Let j = q + -46/555. Which is smaller: j or -1?
-1
Let h = -49 - -64. Suppose -2*g - 2*g - 3 = -u, g - 5*u + h = 0. Do 4/7 and g have different values?
True
Let n be -2 - ((-9)/(-12) + -2). Let d(t) = 20*t - 2. Let v be d(0). Which is smaller: v or n?
v
Let l = 281/9 - 31. Are -2/5 and l non-equal?
True
Let o(r) = 5*r + 10. Let h be o(-6). Let l be (-8)/h*60/(-44). Is l at most as big as -2?
False
Let r = -8 + 11. Suppose 0 = -2*n - 6*d + d - 23, -d - 1 = 4*n. Let w = -3 + n. Which is smaller: w or r?
w
Let u(i) = -i**3 + 3*i**2 - i. Let a