/10). Let w be ((-6)/4)/((-3)/(-6)). Let j = 5 + w. Which is smaller: a or j?
a
Let h = -0.5 - -1. Let m = -18 + 17.6. Let i = m + h. Which is bigger: i or -1?
i
Let v be 3/(-9) + 16/3. Let b = 4 - v. Which is bigger: b or 1?
1
Let l = -72.9 - -73. Let d = 51/77 - 1/11. Is d bigger than l?
True
Let q be (-2)/(-3) + 4/(-3). Let l = 11 + -10.9. Is q > l?
False
Let a = -6 - -3. Let m = -5 + -1. Let i = a - m. Which is smaller: i or -1?
-1
Let c be -3*(4 + (-22)/6). Let o(k) = -k - 7. Let p(d) = d**3 - 4*d**2 - 6*d. Let x be p(5). Let b be o(x). Which is smaller: c or b?
b
Let x = -403/3591 - -10/133. Suppose 0 = 5*a - 5. Is a greater than or equal to x?
True
Suppose 0 = -2*x + 4*x - 8. Is x equal to 1?
False
Let j = -1 - -6. Which is smaller: j or 8?
j
Let o = 50 + -17. Let x = o - 65/2. Is x greater than 5?
False
Let p be (-6 - -5)*2/5. Suppose -5*n = -2*j - 3, 3 = -3*n - 2*j + 8. Is n greater than or equal to p?
True
Let o = -229/95 + 1/95. Let j(b) = b**3 - 4*b**2 + 4*b - 19. Let g be j(4). Which is bigger: g or o?
o
Suppose -29 - 35 = 4*w. Which is smaller: -17 or w?
-17
Let x(u) = u**3 - 3*u**2 - 3*u + 1. Let p be x(4). Suppose 2*h + 2*w + 15 = -3*w, 5*h - w = 30. Do h and p have the same value?
True
Suppose -z - 4*p - 5 = 0, 5*p + 22 = -0*z - 3*z. Let r be z/(15/(-6) + 1). Let w be 4/r - (-4)/(-6). Which is bigger: w or -3/7?
w
Let c be (-3912)/180*9/(-6). Suppose -2*t = -6*t + 132. Let l = t - c. Do l and 0 have the same value?
False
Suppose 0 = -4*r + 4 - 0. Let d = 2/291 - 889/2328. Is r >= d?
True
Suppose x - 2 = -0*x. Is x at most as big as 3/5?
False
Let a be 6/(-39) + (-54)/(-13). Suppose -a*i - 4 + 5 = -f, f + 3*i - 13 = 0. Is 7 smaller than f?
False
Suppose 7*r - 5*p + 25 = 2*r, 5*r - 2*p = -10. Suppose 3*z - z = r. Are 2 and z non-equal?
True
Let d = 0.2 + -0.18. Let f = 3 - 2.9. Which is smaller: f or d?
d
Suppose -z + 3 = 2*q - q, q - 13 = -3*z. Let n be 5/20*0 - -2. Let g = n + q. Is g <= 0?
True
Let x = -1.15 - -2.15. Let b = -2910/13 - -224. Is b greater than or equal to x?
False
Let w = 4 - 6. Let j = 1 - 1. Let h = j + w. Is h less than -2?
False
Let u = -11 - 0. Let o = u - -8. Let g(c) = c**2 + c - 4. Let a be g(o). Which is greater: a or 2/3?
a
Let g(b) = b + 4. Let k be g(0). Let v be 12/8 - (-6)/k. Suppose -v*x = 2*t + 9, -2*x = 2*x - 3*t - 5. Is x < -1?
False
Let m be -3 - (-5 - 1) - -2. Suppose 3*f - 20 = -m. Suppose -f*j + 17 = -5*y + 6*y, j - y - 1 = 0. Is j at least 3?
True
Let g = -146/99 + 10/9. Is g greater than 1?
False
Let n = 83/36 + -11/4. Which is greater: 0 or n?
0
Suppose -2*q - m + 11 = 0, -2*q + 1 = -3*m + 10. Suppose -2*l + q*r = 16 - 39, -2*r = 2. Which is smaller: l or 9?
9
Let g = -4.1 - -0.1. Let r = -0.174 + 0.074. Which is smaller: r or g?
g
Let r = -2 + 2.11. Let g = r + 0.19. Is g at least as big as -0.1?
True
Suppose -4*g + 12 = -v, -g = -5*v + 3*g - 28. Let o be 10/8 - 1/4. Let f = o - v. Is f > 1?
True
Let z = 68 - 166. Is z greater than or equal to -98?
True
Let j = 83 - 175/2. Suppose -3*a + 5*a = 6. Let z = j + a. Are -2 and z nonequal?
True
Suppose -g - 2 + 1 = 0. Let u be (-27)/(-6) + g/2. Suppose -3 = d - u. Which is bigger: 1/4 or d?
d
Suppose 5*z = 4*s + 2*z + 33, -2*z = -6. Let k = 4 - 9. Which is bigger: s or k?
k
Suppose 3*l + 4 = 13. Is l bigger than 2?
True
Let c(p) = -p**2 - p - 2. Let s = -3 - -1. Let r be c(s). Let q = r - -3. Is q greater than -1?
False
Let r = 52 - 51.9. Are r and 79 equal?
False
Suppose -95 + 18 = k. Let v = 108 + k. Let b = v + -123/4. Is -1 smaller than b?
True
Let g = -9 + 12. Which is bigger: g or 4?
4
Let f(i) = i**3 - 2*i**2 + 2. Let s be f(2). Is s less than or equal to 18/13?
False
Let r = -31 - -24. Is -0.1 less than or equal to r?
False
Let i be 3 - 276/40 - -4. Does 0 = i?
False
Suppose -4*k - 1 + 9 = 0. Let t(l) = 3*l**2 - 2*l + 2. Let w be t(2). Suppose 3*c = 8*c - w. Is k not equal to c?
False
Let s = -0.147 + -0.053. Is s equal to -16?
False
Let s = 15 - 11. Let t be (-5)/(-8) + s/(-8). Is t greater than 1?
False
Let o = 11 - 11.1. Which is smaller: o or -0.12?
-0.12
Let y(z) = z + 1. Let m be y(-2). Suppose -5*f = -4*p + 76, -2*p + p - 5*f = -44. Let v be p/135 - 4/10. Which is smaller: v or m?
m
Let n = 2 - 1.9. Let z = -96 + 109.1. Let a = z + -13. Is n less than a?
False
Let q = 45 - 32. Let o = q + -17. Is -0.1 at least o?
True
Suppose 2*t - 15 - 9 = 0. Let n be 40/t*3/2. Let h be (n - 3)/(1/2). Which is smaller: h or 3?
3
Suppose -2*z = -2*v - z - 31, z - 47 = 3*v. Is -15 > v?
True
Let f = -207 + 626/3. Let x(n) = 10*n + 1. Let q be x(1). Let g be (-18)/(-22) + 2/q. Which is greater: f or g?
f
Suppose 4*f - 4*n = 8, 3*n + n = -5*f + 1. Is f >= 1?
True
Let y = -0.1 - 0.9. Let i = 0 + 0. Let d = i + y. Is -1 equal to d?
True
Let x = 1 + -3/2. Let k = -11.4 + 2.3. Let r = 9 + k. Which is greater: r or x?
r
Suppose 0*y + 3*b + 12 = -3*y, 0 = 3*y + 4*b + 17. Let h be (12/8)/((-30)/8). Is h at most as big as y?
True
Let p = -17 - -17.7. Let q = p - 3.7. Which is bigger: q or 2/7?
2/7
Let c = -22.46 + 39.47. Let v = -17 + c. Is 0.1 < v?
False
Let y(t) = -3*t**2 - 2. Let w be y(-2). Let r be 12/7 + (-4)/w. Which is smaller: 1 or r?
1
Let b = -1/366 - -2749/1464. Which is smaller: b or 2?
b
Suppose 0 = -3*n - 2*p + 8, 0*p - 4 = -n - 2*p. Which is greater: n or 1?
n
Let y = -257 + 369. Which is greater: y or -1?
y
Let u = 2 - 0. Let k(h) = h**2 - 10*h + 8. Let d be k(9). Which is smaller: u or d?
d
Suppose 4 = 5*n - 21. Suppose n*t - 3*g = g + 32, -5*t - 5*g + 5 = 0. Is 3 > t?
False
Let p = 736117/11 - 66674. Let x = 246 - p. Is 1 <= x?
False
Suppose 7 - 19 = -4*j, 5*j = 4*c + 15. Let t = c - -3. Suppose n = 4*n - t. Which is bigger: n or 4/5?
n
Let u be (-17)/((-357)/98)*6/8. Is u < 5?
True
Let u = -7 - -8. Let g = 3 - 6. Let j = g - -2. Which is greater: j or u?
u
Let y(h) be the first derivative of -h**4/4 + 2*h**3/3 - h - 1. Suppose -4*f = -3 - 1. Let m be y(f). Is m less than 2?
True
Suppose 1 = 2*w - 3. Let o be 3/(1*(w + -3)). Suppose 0 = g - 0 + 3. Is o less than g?
False
Suppose 2*y = 3*y - 2. Let b = y + -1. Let o = -2 + 2. Does o = b?
False
Let t = -3 - -4. Let m be (-9)/(-15)*4/6. Is m bigger than t?
False
Let n be (16/340)/(2/(-5)). Let c be (-7)/7 - (-1)/(-2)*-2. Which is bigger: n or c?
c
Let u = -18 + 20. Which is bigger: u or 1?
u
Suppose 2*a - 2*y + 4*y + 4 = 0, -5*a - 8 = 4*y. Suppose -1 = -o - a. Suppose 4*x - 3*b = -6*b + 7, 12 = -x + 2*b. Which is greater: o or x?
o
Let j = -6 + 11/2. Which is smaller: 0 or j?
j
Suppose 11 = 4*l - 1. Let u = l - 4. Which is smaller: -2 or u?
-2
Let c(s) = -6*s**2 - 6*s - 7. Let f(h) = -7*h**2 - 6*h - 8. Let x(z) = -6*c(z) + 5*f(z). Let o be x(-5). Which is greater: -2/3 or o?
-2/3
Let k = -91/3 - -31. Let q = -2 + 2. Which is smaller: k or q?
q
Let a be (8/2 - 1)*5. Suppose -a = -3*n - 3. Is n at least 5?
False
Let d be 1 + (-59)/44 + 6/24. Which is smaller: 0 or d?
d
Let i = 457/105 - 30/7. Which is smaller: i or 0?
0
Let u = 20 - 20.2. Is u smaller than 0.09?
True
Suppose 3*v - 8 = 1. Let c be (7 - 1)/v - 0. Is 2 at least c?
True
Suppose -2*v + 0*v - 14 = 0. Let x(b) = -2*b - 10. Let h be x(v). Let c = 5 - h. Which is smaller: -1/3 or c?
-1/3
Suppose -1 = -4*v - 13. Let f be (-4)/v - (-2)/(-6). Let h be 21/(-12)*10/(-35). Which is bigger: h or f?
f
Let m = 75.93 + -76. Are 0.1 and m nonequal?
True
Let h be (-6)/(-39) - (-2)/(-13). Which is bigger: 1/49 or h?
1/49
Suppose 0 = -3*w - 4*b + 1, 3*b - 5 = 2*w. Which is bigger: -3/19 or w?
-3/19
Let r be 6 + -2 - 294/(-414)*-6. Is 2 >= r?
True
Let v = -0.17 - 6.83. Is -1 less than v?
False
Let v = -269/12 + 89/4. Is 2/3 at least as big as v?
True
Let q be ((-50)/(-56) - 1)/(24/16). Is q <= 1?
True
Suppose 2*f - 54 = -3*c + 2*c, -27 = -f + 5*c. Which is greater: f or -1/4?
f
Let n = 16 - 8. Which is bigger: n or 9?
9
Suppose -9 = 4*q + 111. Let t be -3*(-28)/q*5. Which is bigger: -13 or t?
-13
Let c = 6/52699847 + 669920429558/224027049597. Let h = 22/327 - c. Let m = h + 316/117. Which is greater: m or -1?
m
Let g(j) = j**3 - 2*j + 2. Let s be g(2). Suppose -s = -2*w + w. Let o = -11/2 + w. Is o equal to 0.1?
False
Let b = 1.9 - 2. Let t = -0.81 - -1. Let g = -0.39 + t. Is g < b?
True
Let x = 861/130 + -90/13. Do 0 and x have the same val