?
o
Suppose -3 = -g, -6*g + g + 13 = -2*i. Let t be (-13)/(-13) + (-156)/158. Which is bigger: t or i?
i
Let v = -402 + 442. Which is greater: v or 41?
41
Let c(k) = -3*k - 21. Let j be c(-17). Let u be ((-4)/j)/(8/(-24)). Which is bigger: 19 or u?
19
Let r = -3.0863 + 0.0743. Let t = r + 0.012. Is -3 less than t?
False
Let m(w) = -w**2 + 34*w - 242. Let d be m(27). Which is greater: -55 or d?
d
Suppose -2*h - w = 0, -4*w - 10 = w. Let a be ((-1)/69)/((-8)/192). Let z = -1/69 + a. Is z less than or equal to h?
True
Let p = -9 + -6. Let u = -16.6 - p. Which is greater: 2/7 or u?
2/7
Let x = 57 + -100. Is x bigger than -43?
False
Suppose -9 = 4*r - 3*n + 2*n, 4*r = -n + 1. Suppose 3*i = 15, i = -2*u + 4 + 1. Is r <= u?
True
Let m = -389 + 550. Suppose 0 = -3*p + m + 103. Let l = p + -614/7. Which is smaller: 9 or l?
l
Let t be 5*4/10 - 0. Suppose -t*n - 3*a = -a + 4, -4*n + 8 = -4*a. Let u be (2 + -4)*(-1)/(-28). Do n and u have different values?
True
Let g = 23 + 71. Is 94 equal to g?
True
Let p(n) = -4*n - 33. Let z be p(-11). Suppose -2*u - 3*u - 3*k + 51 = 0, -2*u + 4*k = -10. Is z less than or equal to u?
False
Let c = 15 + -51. Let o be -7 + (44/c - 4/(-18)). Which is smaller: -7 or o?
o
Suppose -5*r + 22 - 77 = 0. Let s = -13 - -8. Which is greater: s or r?
s
Let y(o) = -o**2 - o. Let x = 68 + -69. Let k be y(x). Is -6/23 equal to k?
False
Let z = -27 - -26. Let b = 8.29 - 8.3. Which is smaller: b or z?
z
Let z = -43 + 83. Let m be 2/78*z/(-5). Is m > -1?
True
Suppose -3*p + 5*y = -10 - 7, -3*y = -p + 3. Let b = p - -2. Let u be (-2)/b*(3 + -2). Is u equal to 1?
False
Suppose -2*t + 0 = -4*l - 2, 4 = -5*l + t. Is l equal to -7/26?
False
Suppose -3*d = -634 + 295. Which is smaller: d or 112?
112
Let f be -6 + (-2 - -5)/3. Let d be (-5)/15 - (0 - f/3). Which is bigger: d or 1?
1
Let v = 42 - 46. Let s be (-71)/(-120) + v/6. Which is smaller: 0 or s?
s
Let i(l) = -12*l + 16. Let g be i(8). Let x(f) = -f**2 - 6*f - 7. Let h be x(-5). Let q be (4/g)/(-3 - h). Is q bigger than -1?
True
Let z = 0.158 - 0.158. Is z at least as big as -20?
True
Let u be (-3186)/99 + -7 + 6/33. Are u and -39 nonequal?
False
Suppose 3*h - 27 = 3*q - 12, 5*q - 20 = -4*h. Let j be (-5)/(35/3) - q. Is 1 at most as big as j?
False
Let i be (-1)/(-3) + (-34)/(-6). Suppose -i = j - 4. Let z be j - (2 - 232/60). Does -1 = z?
False
Let q = 21695/888 - 25/444. Is 24 equal to q?
False
Let v = 162 + -68. Let h = 159 - v. Suppose -84 = -4*r + p - 2, -p + h = 3*r. Which is bigger: r or 22?
22
Let i(x) = -11*x**3 - 8*x + 20. Let o be i(2). Which is smaller: o or 2/7?
o
Let v = -332 + 544. Which is smaller: 211 or v?
211
Let s(o) = -o + 3. Let f be s(4). Let l(p) = 20*p + 1. Let a be l(f). Let w = -11 - a. Is w less than or equal to 7?
False
Let b(q) = q**2 + 3. Let g be b(0). Suppose 103 = x + 3*i, -24*i + 19*i = 4*x - 440. Suppose k + n = -4*k - x, g*n = 3*k + 69. Is k at most as big as -24?
False
Let a = 193.516 - -0.484. Is a > 0?
True
Let q = -17 - -16. Let w = q - 0. Let v = -10 + 14. Which is greater: v or w?
v
Let z = -0.9 - -2.2. Let c = z - 3.3. Which is bigger: 4/9 or c?
4/9
Let c be (285/1204 + 7/(-28))/(-2). Let b = c - -512/13545. Is 0 bigger than b?
False
Suppose 47*i - 21 = 48*i. Let l = 0 - 2. Let u be ((-50)/(-4) + -2)*l. Does u = i?
True
Suppose v - 913 = -3*r, -48*v + 50*v - 4*r - 1776 = 0. Is 898 greater than or equal to v?
True
Suppose -104*a - 59956 = -130*a. Is a less than 2305?
False
Let g be 30/(-90) + (-16)/6 - -3. Is g > -731?
True
Let u = 95.3 - 101. Let c = -4.7 - u. Does 6 = c?
False
Let c be (-582)/2037 + (-57)/(-8)*8/28. Let t = -0.3 + 0.2. Which is bigger: t or c?
c
Suppose 45 = -4*d + 89. Is 74/7 >= d?
False
Let z(n) = n**3 + n**2 + n + 2. Let d be z(-3). Is -21 at most as big as d?
True
Let s(b) = -b**2 - 7*b + 6. Let l = -7 + 0. Let d be s(l). Let k be 5 + -3 + -10 + 16. Is d equal to k?
False
Let p = 0 + -2. Let a = 33 - 35.1. Let w = p - a. Which is bigger: w or -1/4?
w
Suppose -20 = -h - 3*h, -2*x + 3*h = 29. Let q(s) = -s**3 + 2. Let n be q(0). Suppose n*p - 7 = -2*o + 5, -5*p = o - 22. Are o and x equal?
False
Let l(v) = 2*v**3 - 15*v**2 + 29*v - 7. Let m be l(3). Which is smaller: m or 4/5?
m
Let f = -203843/2365 + 431/5. Is f at most as big as -1?
False
Let l = -7.95 + -0.05. Let j = l - -3. Are -1 and j nonequal?
True
Suppose 0 = -3*a + 2*q - 20, 4*a + 21 + 11 = 4*q. Let l be 8 - (6 - 4 - 1). Suppose j - 3*i + 2*i + 1 = 0, -l = -j + 5*i. Do a and j have the same value?
False
Let t = 147 - 146. Let g = -0.1 - -1.1. Do t and g have different values?
False
Let y = 3.49 + -1.89. Is -10 equal to y?
False
Let z = 41 + -24. Let j(n) = n**2 + 20*n + 18. Let b be j(-20). Which is smaller: z or b?
z
Let l = 31 - 32. Which is smaller: l or -2/833?
l
Let v be (-2151)/9 - (-1 + 2). Let d = v - -3596/15. Is 0 equal to d?
False
Let d(p) = -p + 8. Let w be d(8). Suppose 200 = -0*g + g. Let h be (-105)/g + 4/10. Is h bigger than w?
False
Let j(t) = 9*t**3 - 10*t**3 - 8*t - 12*t**2 - 3*t. Let c be j(-11). Suppose c = p + p + w + 3, 0 = -p - 4*w + 2. Is p at most 3?
True
Suppose 13*h = -h - 392. Let v = h + 82/3. Which is bigger: 136 or v?
136
Let r = -613161578642/219 + 2799818556. Let y = -6004 - r. Are -1 and y unequal?
True
Let v(i) = i**3 - 11*i**2 + 11*i - 5. Let a be v(10). Let o be (18/(-10))/((-1)/a). Which is smaller: o or 7?
7
Let h = -538/55 - -48/5. Let o = 2 + -2.2. Which is smaller: o or h?
o
Suppose 22 = 3*c + 5*k, -3*c - 5*k + 23 = -c. Let o be (-5 + 10)/(c/1). Suppose 6*f - 5*r + 8 = 2*f, 3*f - r + 17 = 0. Is o greater than or equal to f?
True
Let k be ((86 + -2)/2)/1. Suppose -31*h + 29*h + k = 0. Let x be (h/6)/(0 - -2). Which is smaller: 0.1 or x?
0.1
Suppose 0 = -3*m + 10 - 7. Let l = 944/23 + -41. Is l != m?
True
Let w = -1227218/99 - -12396. Which is smaller: -1 or w?
-1
Let g be (-1)/(-4) - (-5)/(-14). Let z be -1*((-1 - 3) + 4). Is g >= z?
False
Let p be (-120)/(-28) - (-2)/(-7). Suppose 5*k - 38 + 1 = -4*b, 5*k = -b + 28. Which is smaller: p or b?
b
Let q be 12*(-40)/(-35)*3/2. Let b = 955/42 - q. Is b at least 2?
True
Suppose -8 = 4*t - 3*y, t - 9 - 4 = -3*y. Is t smaller than 11/9?
True
Let p = 25 - 18. Suppose 3 = i - 5*z, -p = 3*i + 2*z - z. Is -2 < i?
False
Let j = -1847 - -83098/45. Is 1 at most as big as j?
False
Suppose -2*s + 14 - 11 = -5*q, 0 = -4*q - 4*s + 20. Which is smaller: q or 4?
q
Let q be 4/6*(-300)/(-20). Let x be (1 - -6)*2*(-5)/q. Which is greater: x or -9?
x
Suppose 4*j = l - 10 + 140, 3*l - 72 = -2*j. Which is greater: j or 5?
j
Let w(z) = -5*z + 19. Let c be w(-11). Let f = c + -147/2. Which is bigger: -66 or f?
f
Let f = 0.28 + 81.72. Let z = f - 84. Is -2/7 bigger than z?
True
Suppose -4*i = 3*r + 3, -4*r + 2*i - i - 4 = 0. Let m = -10 - -15. Let c = m - 7. Which is smaller: r or c?
c
Let l be 5/(-10)*(-1 + -1). Suppose t + l + 1 = 0. Which is greater: 0 or t?
0
Suppose 2*l - 20 = -5*p, -4*l - 24 + 82 = p. Is 6 smaller than l?
True
Let u = 6 - 9. Suppose 10*s - 19 = 161. Suppose -5*b - 3*z - 30 = 2*z, -s = 2*b + 5*z. Which is bigger: u or b?
u
Let b = 2.98 + -2.88. Which is greater: b or -35?
b
Let x(o) = -o**3 + 10*o**2 - 8*o + 4. Let z be (-82)/(-14) + 11/77. Let m be x(z). Suppose 0 = 6*f - 28 + m. Which is smaller: -21/2 or f?
f
Let s = -4.52 + 4.48. Which is greater: s or -0.21?
s
Let x(i) = 2*i**3 - 45*i**2 - 23*i - 30. Let k be x(23). Which is bigger: k or -213/7?
k
Let u(n) = -n**3 + 41*n**2 - 309*n - 11. Let k be u(10). Let s be (-460)/153 + 2 + 1. Are k and s equal?
False
Suppose 4*u = 4, 3*y - 3*u + 2 = -4. Is y bigger than -20/67?
False
Let d = -896502/124879 - -334588604882/47252090657. Let o = d + -2/6203. Which is smaller: o or -1?
-1
Let l be (-12350)/(-111872) - (-4)/(-46). Which is smaller: l or -0.1?
-0.1
Let s = -2615/221 - -175/17. Is s at least -3?
True
Let i = 74.4 + -59. Let q = 16.4 - i. Is 1/2 >= q?
False
Suppose -103 = -4*j - g - 4*g, 0 = j + 2*g - 22. Let f = j - 29. Suppose 2*r - f - 3 = 0. Is -3 bigger than r?
False
Let s = -62.7 - -62.8. Let k = 27 + -41. Let w = -5 - k. Which is bigger: w or s?
w
Let a = -1952/1773 - 2/197. Which is greater: a or -1?
-1
Suppose 0 = -2*g - 50 + 90. Let s(u) = -7*u**3 + u**2. Let z be s(1). Let i be (6/(-5))/(z/g). Which is smaller: i