= -2 - 5. Which is bigger: g or b?
b
Let z = 187 + -195. Which is smaller: -0.09 or z?
z
Suppose 2*d = 4*a - 2, 11*d - 2 = 13*d - 3*a. Is -1/364 < d?
False
Let d be 1/1 + (2 - -3). Let u = 7 + -7. Suppose 3*a - 5 = 2*s + 6*a, u = -2*s - a + 5. Which is bigger: d or s?
d
Suppose -4*f = 5*w - 219, -87 = 3*f + w - 243. Is 2 <= f?
True
Suppose -9*y + 6*y = 5*h - 468, -y - 92 = -h. Is 91 less than h?
True
Suppose -x - 15 = 2*x. Let z(k) = k**2 - 12*k - 1. Let o be z(13). Suppose 13*v + o = -14. Is v at most as big as x?
False
Let x be 3/(-90) + 1/3. Suppose 11*z + 3*w + 18 = 16*z, -z + 5*w = -30. Which is smaller: z or x?
z
Suppose 0 = -8*v + 16*v - 16. Let o be ((-3)/6*2)/(v + -6). Which is smaller: -0.4 or o?
-0.4
Suppose 6 = -55*j - 709. Do j and -100/7 have the same value?
False
Let o(a) = 4*a - 7. Let u be o(5). Let w(g) = 2*g**3 + 10*g**2 + 8*g + 7. Let v be w(-2). Which is greater: v or u?
v
Let p = -0.3 - -15.3. Let d = -15.1 + p. Do d and -12 have the same value?
False
Suppose 395 + 45 = -4*u - 2*i, 5*u = -3*i - 552. Which is smaller: u or 2?
u
Let i = -72 + 1. Let x = i + 135. Let y be (-60)/x + 0 + 1. Which is greater: y or -1?
y
Suppose t + b = -1, 4*b = 5*t - 9 - 4. Suppose -4*k - g + t = 5, 0 = 3*k + 2*g + 3. Is 1/8 at most as big as k?
False
Suppose -4*i + y + 12 = -2*y, 0 = -2*i - 2*y + 6. Let g(n) = -4*n - 1. Let b(f) = 7*f + 3. Let z(h) = -6*b(h) - 11*g(h). Let q be z(i). Are 1/5 and q unequal?
True
Let u = -3.1 - -3.12. Let t = -0.1 + 1.6. Let y = -1.3 + t. Is u at most y?
True
Suppose -2*r = -4*r + 32. Suppose 5*d - 16 = 5*z - 6, -4*d = 4*z + r. Are z and -5 unequal?
True
Let f = 1468.17 - 1476. Let v = -0.17 + f. Let c = 29/3 + -9. Which is smaller: v or c?
v
Suppose 23*y + 2*i = 18*y + 392, -i = -3*y + 244. Which is smaller: y or 88?
y
Let s(v) = -2*v**2 - 3*v + 1. Let i be s(2). Let a be ((-10)/4)/(i/26). Let z be (a/2)/((-5)/(-10)). Are 4 and z unequal?
True
Suppose 0 = -3*q - 0 + 15. Suppose -3*z + 0*z + q*z = 0. Let b = -0.1 + 0.05. Which is smaller: b or z?
b
Let s = 259/8 + -32. Let x = s + -5/8. Are x and 1 non-equal?
True
Let s be (-77)/(-11) + (-680)/105. Is 2 at least s?
True
Let p be (17 + -32)*(-1 + 2/6). Is 10 bigger than p?
False
Let m = -23.6 - -12.6. Let v = m - -10.9. Is 16/5 < v?
False
Suppose 0 = -0*p - 2*p - 2*z - 4, -4*p - 40 = -4*z. Let b(k) = -k**3 - 6*k**2 + k + 6. Let u be b(p). Suppose 0 = j - u - 3. Which is bigger: j or 4?
4
Suppose d = w + w - 10, -3*d = 0. Let s be (0 - 1)/(w - 1). Let h be 10/(-25)*10/(-16). Which is smaller: h or s?
s
Let w = -38 + 60. Suppose 5*q + w = 7. Is 2 less than q?
False
Let m = 25.06 + -133.96. Let a = m + 95. Let p = a + 14. Is p < 0.7?
True
Let h = 21 - 18. Suppose -8*j + 5*j - h = 0. Is j less than 1/4?
True
Suppose k - 8*k = 6*k. Suppose -a + 5*f = -k*a - 23, 5*a - 4*f = 157. Is 33 bigger than a?
False
Suppose -u - 5 = -2*c, 0*c - 5*c = -4*u - 29. Let b(x) = -x**3 - 74*x - 3*x**2 + 1 - 75*x - 8*x**2 + 149*x. Let i be b(u). Which is greater: -2 or i?
i
Let k be 7/(-3)*(496/104 - 5). Is 0 smaller than k?
True
Let h = 2 - 2. Let r = -93 + 143. Is h smaller than r?
True
Let k be (6*-1)/((-3)/2). Let q = k - 3. Let o be (1 - (0 - 0))*q. Is -1 > o?
False
Suppose 5*z - 3*z - 20 = -4*i, 3*i + 3*z - 18 = 0. Let d be (i/(-10))/((-168)/240). Which is bigger: d or -1?
d
Let w be (-21)/(-3318)*(-2 + (0 - 2)). Are w and -0.9 equal?
False
Let b(y) = -2*y + 46. Let m be b(22). Let d(v) = 4*v - 5. Let c be d(m). Which is smaller: c or 11?
c
Suppose 0 = -3*x - 4*o + 1, -12 - 6 = -4*x + 3*o. Suppose -2*g = -x*g + 3. Let c be (4 + -1)/(g/3). Are c and -2 unequal?
True
Suppose 4*p + 378 = -3*o, 8*p = 3*p + 15. Is -130 at least o?
True
Let a = 1221 + -6107/5. Which is smaller: 1/710 or a?
a
Let t = 356/99 + -42/11. Let h = 425.108 - 427. Let a = 0.108 - h. Is a >= t?
True
Let d be (-3 + -1 - -6) + -12. Let k be (-105)/d*(-6)/9. Let s = 6 + k. Is 2/17 at least s?
True
Let v(w) = w**3 + 8*w + 66. Let i be v(0). Are i and 67 unequal?
True
Let j be ((-64)/6)/((-8)/(-24)). Let w = 96 + j. Let p = -322/5 + w. Which is smaller: p or 0.1?
p
Suppose f + 3 = -2*k, -2*k - 8 = -0*k + 2*f. Do k and 104/49 have the same value?
False
Suppose y = 2*b + 6, b + 4*y + 10 = -2. Let w be (-460)/16 - (-1)/b. Let i = w + 20. Is i < -1?
True
Let r = -9 - 0. Let q(w) = w - 41. Let b be q(33). Which is greater: b or r?
b
Let s = 709529/273 + -2599. Do 0 and s have the same value?
False
Let t = 162095/2811 - -2/937. Is t > 4/5?
True
Let d(r) = -14*r + 16. Let u be d(-3). Let b = 57 - u. Is b greater than -2/3?
False
Let z = 0.0169 - 0.1169. Which is smaller: -183 or z?
-183
Suppose 6*l + c = 8*l + 10, -5*l - 4*c - 51 = 0. Is l >= 4?
False
Let d be -2 + (-29)/364*(-6622)/264. Is 0 smaller than d?
False
Let w = -99 - -107. Let j(z) = -2*z**2 + 15*z - 19. Let g be j(w). Which is smaller: -26 or g?
g
Suppose 234 - 366 = -3*l. Which is smaller: l or 43?
43
Let a(o) = -o**3 + 3*o**2 - 33*o - 2. Let r be a(4). Do r and -148 have the same value?
False
Suppose -78*n = -89*n + 198. Which is smaller: n or 9?
9
Suppose 0 = -l - 4*o - o + 35, 0 = -4*l + o + 56. Is l equal to 19?
False
Let d be 10 - 5 - (-189)/7. Is d bigger than -0.4?
True
Let r(p) = -p**2 - p. Let c be r(2). Let w = 73 - 75. Let z be 160/(-264) + w/c. Is z at most as big as 1?
True
Let r = -1094/93 + 35/3. Let j = r + -22/93. Let q be ((-56)/(-140))/((-8)/(-5) + 0). Is q >= j?
True
Let r = 18 + -18.01. Let x = -0.07 + r. Let h = -0.12 + x. Which is greater: 0.1 or h?
0.1
Let m(q) = -43*q**3 + 42*q**3 + 42*q - 11*q**2 - 1 + 0. Let o be m(-14). Which is smaller: o or -3/44?
o
Let j = -275 + 274. Which is greater: j or -0.076?
-0.076
Let f be (1 - 3)/((-144)/9 + 9). Is f at least -32/3?
True
Let o = 4 - 4. Let m = -1442/22591 + -4/779. Which is smaller: m or o?
m
Suppose -a + o = 0, 2*o + 9 = 4*a + 5. Suppose -1 = 2*r - 4*y - 11, -25 = -5*r + 2*y. Suppose -d + r = -a. Which is smaller: 0.2 or d?
0.2
Let j(u) = -u**2 + 8*u - 10. Let h be j(6). Suppose 0 = z - h*z - 18. Let g be 39/z - 3/(-18). Does -10/7 = g?
False
Let s be (-18)/(-2 - 1) + 338/(-91). Which is greater: -0.07 or s?
s
Let g be 55/2*(-1)/(-15). Let t(l) = l**2 - 16*l + 40. Let k be t(3). Which is greater: g or k?
g
Let f be ((-1)/(-3))/((-1)/(-12)*4). Is f at most as big as 3/20?
False
Let z(m) = 17*m - 1 + 3*m - 7 + 2*m**2 - 5*m. Let r be z(-8). Is -2/13 != r?
True
Let w be (6 + -8)*(-55)/(-2). Let b(t) = -8*t + 88. Let c be b(18). Is c > w?
False
Let w = -0.3 - -0.1. Let s = 767 - 751. Which is smaller: w or s?
w
Suppose 824 = -13*g - 333. Does g = -89?
True
Let s = 28.9 - 30. Let v = 0.1 + s. Suppose 4*a = -9*x + 4*x - 15, 0 = x - 4*a + 27. Is x less than or equal to v?
True
Suppose 0 = 3*a - 4*n + 38, 0*a + 2 = -a + 4*n. Let i = a + 15. Is 1/3 greater than or equal to i?
True
Let t = 115 + -114.8. Let b = t - 0.1. Which is smaller: b or -11?
-11
Suppose 9 = g - 0*g - 3*x, -x = 3*g + 3. Suppose 5*o + 74 + 46 = -3*a, -4*o - 123 = -3*a. Let m be (-111)/o + 0 + -3. Which is bigger: g or m?
m
Let q(p) = 131*p**2 - p - 1. Let y be q(-1). Suppose -39 = 5*x - 4*m + 122, -4*x - y = -m. Is x bigger than -33?
False
Let s = 61 - 72.2. Let t = -28 - s. Let i = t - -17. Which is bigger: 2/3 or i?
2/3
Suppose -10 = 5*i - 5*n, 4*i - 6*n + 12 = -n. Suppose -i*c - 7 + 11 = 0. Suppose -4*r + 5*j + 10 = 0, -j + c = 4. Is -1 smaller than r?
True
Suppose 17*g = -1205 - 1787. Which is smaller: -177 or g?
-177
Let z be 8/(4*1/2). Suppose 6*j + z = 70. Is j greater than 14?
False
Let x be ((-4)/(-8)*3)/39. Suppose -4*z = 3*n + 17, -18 = 2*n + 3*z + z. Which is smaller: n or x?
x
Let c be ((-3 + -2)/40)/(2/4). Which is smaller: -1/356 or c?
c
Let i(t) = -22*t + 93. Let f be i(-6). Is 226 < f?
False
Suppose 3*k - 5 = -2*l, 4*k + 12*l - 5 = 11*l. Is 9/56 > k?
False
Let j(u) = -13*u**3 + 5*u**2 + 3*u. Let o be j(-3). Suppose 5*s + o - 137 = 0. Let w be 1 - (2 - (-54)/s). Is 1 at least as big as w?
True
Let n = -532 + 533. Is n greater than 18/13?
False
Let w = -2/209 - -40/209. Let q(n) = -2*n - 3*n + n + 3*n - 1. Let y be q(1). Which is bigger: y or w?
w
Let n = 8999/30 - 300. Let i = -337 + 336. Which is greater: i or n?
n
Let f = 48 - 47.8. Let g = -40 - -39.9. Is f at most g?
False
Let s(g) = g**3 + 7*g**2 + 14*g 