
Suppose 0 = 3*c - o + 9061, -10 = 197*o - 195*o. Is c at least as big as -3023?
True
Let x = -21 - -21. Let o = -26 + 35. Suppose -2*l = o*l. Does x = l?
True
Let j = 4.09 + 273.91. Let l = -293 + j. Which is smaller: 11/3 or l?
l
Let i = 16252.2 - 16221. Which is smaller: i or 0.8?
0.8
Let n = 1/44 + -157/132. Let w(p) = p**3 + 7*p**2 - 16*p + 17. Let b be w(-9). Let g(x) = -6*x - 7. Let q be g(b). Which is smaller: q or n?
n
Let w = -17145 - -17165. Which is smaller: w or 347/18?
347/18
Let p = 131 + -109. Let r = p - 23. Let x = -894 - -7141/8. Is r equal to x?
False
Let s(z) = -5*z**2 + z - 1. Let m(t) = -8*t**2 + 16*t - 36. Let r(k) = m(k) - 2*s(k). Let a be r(-8). Let u be 44/6*18/(-8). Which is smaller: u or a?
a
Let t = 20813 + -20808. Let f be 2/(-9) - (-50)/9. Which is greater: t or f?
f
Suppose 3*h + 2046 = -3*p, 1161*h - 1165*h + 1382 = -2*p. Is -685 at most as big as p?
True
Suppose -5 - 35 = -4*y. Let a be (-5)/(y/4) - (79 - 11). Which is greater: a or -69?
-69
Let g be 16/52 + 77360/(-252096). Is g equal to 0?
False
Suppose -1350 = -3*p - 4*n + 762, -4*p + 2816 = 4*n. Which is smaller: p or 707?
p
Let t be (-36498)/(-44)*(-84)/(-49). Is t >= 1421?
True
Let y be (-1120)/(-2) - (-20 + 9 + 17). Suppose 0 = 5*z + 4*l - 2613, 2*z + 4*l + y - 1604 = 0. Which is bigger: 520 or z?
z
Let y = 32 + -85. Let f = 29 + y. Let x(k) = 117*k - 1078. Let v be x(9). Is v at least f?
False
Let a(c) = -2042*c - 15. Let x be a(1). Is x greater than or equal to -2055?
False
Let x be (-2)/9 + 230/63. Suppose 4*m - 8*m - 508 = 4*s, 472 = -4*s + 5*m. Let z = s - -127. Which is greater: z or x?
z
Let h be 2 - (534/16)/(-3). Suppose -4*z = -2*c - 64, 82 = -127*z + 132*z - 3*c. Which is greater: h or z?
z
Let s = 1247 - 1246.65. Is 2/77 < s?
True
Let x = -164 + 176. Suppose 10*t = 8*t + 5*m - 20, 3*m - x = -5*t. Does t = 89?
False
Let c be (42/8 - 3)*16/12. Suppose c*v = 5*v - 4. Suppose 3*j - g - 2*g + 15 = 0, -2*j - g + v = 0. Which is bigger: j or -11/14?
-11/14
Suppose 3*u - 65 = -h, 4*h + 108 = 3*u + u. Suppose 0*x - t = -4*x + 1, 0 = t + 1. Suppose 2*i + 0*i - 3*g - 39 = x, -4*g + 36 = i. Which is greater: u or i?
i
Let o be ((-36)/10 - -2)/((-50)/1625). Let u be 2/8 - 573/(-12). Let i = u - o. Is i at most as big as -3?
True
Let f = 1042/9519 + -30/167. Let n(t) = -t**2 + 5*t - 4. Let p be n(5). Let a(v) = -2*v - 8. Let k be a(p). Which is smaller: f or k?
f
Let z = -0.7899 - 0.2101. Are -1/386 and z unequal?
True
Suppose 42*i - 9*i - 33 = 0. Which is greater: i or 32/257?
i
Let v be ((-174)/396 - (-26)/(-429))*0. Let a be (-2)/2 + (-19 - -1). Let x = a - -13. Which is bigger: v or x?
v
Let k = -342.0343 - -342. Let m = k + 110.0343. Which is greater: m or 1?
m
Let i = -57 + 48. Let o be (1820/3)/7*i/(-6). Suppose 9*j + o = -j. Is -15 > j?
False
Let v = -340.2 + 373. Let a = -31 + v. Let r = 176/7 + -1950/77. Which is greater: a or r?
a
Let c = 600 + -198. Let g = -401.9 + c. Let i be 1 + (0 - 22/14). Which is bigger: i or g?
g
Let p = -465.3 - -486. Let y = 20.7 - p. Let d = 0.19 - -10.81. Is d bigger than y?
True
Suppose 0 = -v - v - w + 7, -3*v - 4*w = -13. Let i be 1005/501 + ((-12)/v - -2). Is i less than or equal to 1?
True
Let i(z) = z**2 - 439*z + 5068. Let g be i(12). Which is smaller: g or -45?
g
Suppose -132 = 4*v + f + 172, v - 4*f + 76 = 0. Which is smaller: v or 6?
v
Let s be ((-2)/51)/(2/42). Let i = -4574 - -4573. Which is greater: s or i?
s
Suppose 28*f - 24*f - 19 = 5*r, 5*f - 4*r - 17 = 0. Which is bigger: f or 103/46?
103/46
Let k be (-6 + 5)*-5 - (-2)/(-2). Suppose -4*q + 7 = -9*q + r, -6 = -k*q - 5*r. Let v = 14 + -16.6. Is q bigger than v?
True
Let b = -15 + 6. Suppose 0 = -5*d - 2*w - 127, -15*d + 17*d = 3*w - 66. Let o be b/d + (-96)/(-9). Is 10 at most as big as o?
True
Let n be (-6)/(-4)*660/(-89496). Which is bigger: 1 or n?
1
Suppose -55420*k = -55418*k - 5982. Do 2993 and k have the same value?
False
Let t be (-444)/(-37) + (-158806)/13234. Which is smaller: t or 0?
0
Let f = -288.9 + 273.7. Are f and -4/3 equal?
False
Let g = -1786/5 - -356. Let y = g - -23/15. Is -0.7 greater than y?
False
Let a(u) = u**3 + 9*u**2 - u - 37. Let g be a(-8). Is 16 < g?
True
Let m = 450 + -661. Let p = -220 - m. Let z = 15 + -13. Is p less than z?
True
Suppose 2*p - 5*m = 83, 0*m - 2*m + 134 = 3*p. Suppose 0 = k - z - 12, 0*k = -2*k - 2*z + p. Which is greater: k or 20?
20
Suppose 3*h + 11 = j, 3*j - 7*j - 31 = 3*h. Let d be 1*(-1)/(h - -6). Do 1/190 and d have the same value?
False
Suppose -a - 5172 = -2*m, 2*a = -6*m + 8427 + 7099. Which is smaller: 0 or m?
0
Let w be -12*32/(-36)*(-2 - -5). Let p = -16 + w. Is p at least as big as 17?
False
Suppose -2561*q + 2555*q - 6960 = 0. Which is smaller: -1158 or q?
q
Suppose c + 3*c - 204 = 0. Suppose 2226 = 5*i - q, 21*q = 3*i + 19*q - 1337. Let d = i + -394. Is d <= c?
True
Let b(p) = -2*p**3 + 4*p + 5. Let z be b(-2). Let c be (-3)/24 + (-1219)/104. Let y = 32/39 - c. Is y at least z?
False
Let a be 0 + 5 + 1*(8 + -1738 - -4). Is a > -3?
False
Suppose 0 = a - 85 + 4. Let l be (a/12)/((-5)/12). Let k(i) = -i + 37. Let p be k(53). Is p less than or equal to l?
False
Let x(u) = 4*u**3 + 9*u**2 - 7*u - 28. Let d be x(4). Which is smaller: 343 or d?
343
Let x = -4724.8 - -4725. Suppose 3*g + 115 = -2*g. Which is smaller: g or x?
g
Suppose -z - 16 = 4*h, -11*h + 8*h - 3 = 3*z. Let k = 4 + h. Which is smaller: k or -1/133?
k
Let w(g) = -2*g**3 - 20*g**2 + 17*g + 11. Let o be w(-11). Suppose 4*n - n = -o. Let c be 2/4 + 43/(-2). Which is smaller: n or c?
n
Let x = 3770754/25 - 150864. Which is greater: x or -35?
x
Let t = 9 + -10. Let l = -2029 + 1804. Is t <= l?
False
Let c(x) = -132*x + 417. Let k be c(3). Let f = -0.3 - -0.6. Let o = 0.2 - f. Is o at least as big as k?
False
Suppose 3*i - 21 = -6. Suppose -3*o - 5 = -5*h, -4*h - 5*o = h - i. Which is smaller: 1/357 or h?
1/357
Suppose -18 - 2 = 2*u. Let n be (-7)/((-49)/(-119))*(688/80 + -8). Is n bigger than u?
False
Let q be (-4)/14 - (-198)/(-42). Let g be ((0/4)/q)/(-1). Is g greater than or equal to 20?
False
Let o(z) = -z + 20. Let w(g) = 20*g - 9. Let p be w(3). Let x = p - 63. Let b be o(x). Are b and 31 unequal?
True
Let k = 11 + -11. Let i = -4004 + 20104/5. Which is bigger: i or k?
i
Let c = 19.2 + -51.2. Let p = c + -25. Which is smaller: p or -2/7?
p
Let a = 14 + -141. Let k = -144 - a. Are -0.07 and k nonequal?
True
Let h be (-43)/(-2 + 1) + 0. Let g = 28 - h. Let q = 248 + -263. Is q less than or equal to g?
True
Let z be 3/(-2) - 52/(-8). Let s be 19 + (z/(10/(-8)))/1. Let o be (-51)/(-105) + (-3)/s. Which is bigger: 0.1 or o?
o
Let f = -317155/777182 + 10/9037. Which is smaller: -1 or f?
-1
Let o = 23862023/138635 - 29/8155. Which is greater: 173 or o?
173
Let v = -21336 + 21336. Which is smaller: -126/85 or v?
-126/85
Let t(o) = -o + 10. Let k be t(5). Suppose 0 = -k*b + 143 + 147. Let d = b - 54. Which is greater: d or 5?
5
Let c be 2*(-145)/20*2. Let t = -25 - c. Suppose 9*o + 55 = 5*z + t*o, 5*z + 3*o - 79 = 0. Is 11 > z?
False
Let s = -0.341 + 0.321. Suppose h + 4 = 0, -5*d + 4*h + 0*h = 14. Which is greater: d or s?
s
Let o be ((-2)/(-1))/2*6. Let t = 12024387/70 + -171772. Let l = 121/10 - t. Which is greater: o or l?
l
Suppose 3*j + 6*o - 6 = 2*o, 5*j - 5*o = 10. Suppose 0 = -j*w - 6*w. Let y(v) = -v**3 + 2*v**2 + 5*v - 4. Let r be y(3). Is w at most r?
True
Let k be (1170/150)/((-6)/(-10)). Is k != -21?
True
Let a = -24.08 - -1.88. Let p = 44 + -66. Let d = a - p. Is d <= 2/7?
True
Let z be 10/15*438/(-4). Suppose -19*y - 2911 = 22*y. Which is smaller: y or z?
z
Suppose -3*t + 8 + 2 = -2*z, 5*z = -2*t + 13. Let m(s) = -3*s**3 - 39*s**2 - 3*s - 27. Let u be m(-13). Which is smaller: u or t?
t
Suppose 123137 = 451*d - 92*d. Does 27 = d?
False
Let y(a) = 2*a + 39. Let c be y(-12). Suppose 0 = c*z - 16*z + 7. Suppose 4*v - 3 + z = 2*m, -4*v = -m - 6. Which is smaller: m or 1?
1
Let g(i) = 59*i**2 - 196*i + 4. Let b be g(3). Which is smaller: b or -35?
b
Let w = -445047 - -445045. Let d = -317 + 1577/5. Does w = d?
False
Let v = 182 + -112. Let l be (540/v)/((-2)/(-42)). Is l greater than or equal to 163?
False
Let p = -32.73 + -20.27. Is 48 equal to p?
False
Let n be ((-27)/198)/(((-117)/6)/(-13)). Is n less than 123?
