76/5. Let w = -24 - -24. Which is smaller: w or v?
w
Suppose 3*z - 24 = -39. Which is smaller: z or -2?
z
Let k = -6/32351 - -2977522/6631955. Let u = 2/41 - k. Is 1/3 >= u?
True
Let n = -217/2 - -110. Suppose l - 4 = -1. Let y = l + -1. Which is greater: n or y?
y
Let u be 24/18*(-6)/(-4). Suppose u*p + 4*w = -20, p = -3*p - 4*w - 20. Which is bigger: p or 3/11?
3/11
Let y be (120/(-640))/(6/(-20)). Do y and 1 have the same value?
False
Let s(f) = 2*f - 38. Let k be s(21). Is k bigger than -20?
True
Let n(j) = -j**3 - 3*j + 3. Let l be n(-2). Which is bigger: 3 or l?
l
Let t be (22921/(-1017))/(42/(-9)). Let i = 3/791 + t. Let c = i - 10/3. Which is smaller: c or 1?
1
Let h(i) = 2*i. Let k be (-3 - -2)*(4 - 2). Let v(l) = l**2 + 2*l + 3. Let n be v(k). Let o be h(n). Which is bigger: o or 5?
o
Let z = 1.06 - 2.1. Let p = -0.04 - z. Let j = 1 - p. Is 0.4 <= j?
False
Let g = -1263/5 + 251. Let j(c) = -5 + 10 - 7*c**2 + c - 13 + c**3. Let z be j(7). Which is bigger: z or g?
z
Let w = 65 + -263/4. Is -1 at most as big as w?
True
Let g be -8*(4 - (7 - 2)). Let x = g - 3. Is x greater than or equal to 6?
False
Let r = -5/7 - -3/7. Let b = 11.2 - 9.28. Let p = b - -0.08. Is r at most as big as p?
True
Let w(y) = 12*y**3 + y + 1. Let l be w(-1). Is -12 at most as big as l?
True
Let j be 0 - 15/(-126)*2. Is j at least as big as 0?
True
Let k be 1017/(-204)*(-4)/(-5). Let m = -78/17 - k. Suppose 0*h = -2*h + 2*j + 6, 5*h + 12 = -4*j. Which is greater: h or m?
h
Let m be (-9 - -9)*(1 + -2). Suppose -f - 2 - 1 = m. Which is greater: -7/3 or f?
-7/3
Suppose -z - 4 = -6. Let w be 4/(-1) + 4/(-12). Let k = w - -5. Is z greater than k?
True
Let m = 1/13 - 31/65. Which is bigger: m or 0?
0
Let v be -1 - (0 - 3) - -38. Suppose -n - v = -6*n. Which is bigger: 6 or n?
n
Let y be 6/((-12)/14)*1. Is -9 < y?
True
Let c(j) be the second derivative of -j**3/3 + 3*j**2 + 2*j. Let a be c(4). Which is greater: a or -3?
a
Let a(x) = x + 1. Let d be a(0). Which is greater: d or -3/25?
d
Suppose 0 = -t - 2*t. Suppose -5*r - 2 = -3*d + 3, 3*d - 4*r - 4 = t. Let h = 0 - d. Are h and 1 unequal?
True
Let g = -29 - -27. Let a = 166/9 + -938/45. Is g <= a?
False
Let t be (7/14)/((-2)/4). Do -14 and t have the same value?
False
Let l(k) = -k**3 - 8*k**2 - 6*k + 9. Let y be l(-7). Suppose 0*j = -y*j. Suppose j*n - 13 = f - 4*n, -4*f + n = 7. Which is greater: f or 0?
0
Let n be 1/(-1) + (-16)/(-4). Let b = 1 - n. Let r be (6/8)/(b/(-8)). Is r <= 2?
False
Let w = -134137 - -9658223/72. Let g = -38368/9 + 4258. Let r = w + g. Which is smaller: -1 or r?
-1
Let n be (-6)/(-7) + (1 - 1). Do n and 0 have the same value?
False
Let h = -8 - -7.4. Let v = h - -0.6. Let p = v - 1. Which is greater: -2/7 or p?
-2/7
Let r = 0.4 - 7.4. Let o = r + 6.99. Let k = -1.1 - -1. Which is greater: k or o?
o
Suppose t = 1 - 3, -136 = -h - 2*t. Let c be h/(-30) - (-8)/2. Are 10 and c non-equal?
True
Let o(z) = -z**2 + 4*z + 5. Let s be 8/3*3/2. Let t be o(s). Is t < 6?
True
Let l = -134 + 134.2. Suppose 5*z - 2 = -2*m - 12, -m - 5 = -3*z. Suppose c + 2 = -z. Is c smaller than l?
True
Let g = -6 + 2. Which is smaller: -0.1 or g?
g
Suppose y - 3*f - 23 = 0, -4*y - 5*f + 3 = -21. Which is smaller: y or -3?
-3
Let t be -5 + 7 + -3 + 17. Is t greater than 18?
False
Let c be 3*78/45 + -4. Let s = 14 - 9. Suppose 0*t + 8 = t - 4*z, 4 = -s*t - 2*z. Which is smaller: c or t?
t
Let d = 55/52 - 4/13. Let v(y) = -y**3 - 5*y**2 - 4*y + 2. Let u be v(-4). Let p be 5/(-10) - u/12. Which is smaller: d or p?
p
Let w = 19 + -18. Suppose -2*h + 2 = -x - w, 0 = -h + 2*x + 3. Which is smaller: h or 13?
h
Suppose -22 = 3*s - 5*s - 4*k, 3*s - 13 = -2*k. Which is greater: s or -2/33?
s
Let h(v) = -v**2 + 5*v - 6. Let r be h(4). Suppose 8*j - 35 = 3*j. Suppose -j*u + 3*u = 4. Which is greater: u or r?
u
Let h be (-5 - -6)*(22 + -2). Are h and 18 unequal?
True
Let v(z) = z**3 + 9*z**2 - z - 13. Let s be v(-9). Let q be (-44)/16 - (s - -1). Which is greater: q or -1?
q
Let d = -10 - -12. Let w be 2/6 - 38/6. Let o = -4 - w. Is o less than d?
False
Let q = -0.2 + 2.2. Let p = 0.05 + 1.65. Let g = p - -0.3. Are q and g non-equal?
False
Let w = -5 + 2. Let s be (7/(-2) - 0) + 2. Is w greater than s?
False
Let b = 131/30 + -21/5. Suppose -3*k - 1 - 11 = 0. Let z be 4/10 - k/(-10). Is z < b?
True
Let c = 53 - 53.1. Which is bigger: 4 or c?
4
Let k(z) = 13*z**2 - z - 2. Let d be k(-1). Is d > 12?
False
Let v = 115 - 103. Which is smaller: v or 13?
v
Suppose -51 = -5*k - 16. Let r = -6 + k. Let a be 1/2*(r + -1). Is a smaller than -2/5?
False
Let r = 5 + 0. Let w = r + 31. Let m = w + -431/12. Which is greater: m or -1?
m
Suppose 5*p = -z - 63, 0*z + 56 = -4*p + 2*z. Are p and -5 unequal?
True
Let o = 6879/23 - 299. Let c = -32/161 - o. Which is bigger: -1 or c?
c
Let a = 2 - 6. Let q = a - -4. Which is smaller: q or -2?
-2
Let v be 2/(-8) - 106/(-408). Let d = 67/102 + v. Which is smaller: d or 2?
d
Suppose s - 30 = -4*s. Let n = 8 - s. Let p = 1154/5 - 230. Which is bigger: p or n?
n
Suppose 38 - 8 = 5*s + w, -4*s = -4*w - 24. Do s and 6 have the same value?
True
Suppose -5*v = -4*i - 17, -2*i = -0*v + 4*v + 28. Are -11 and i equal?
False
Let y be (-4)/(-6)*852/8. Which is greater: y or 72?
72
Let z = -533/189 + -1/27. Let u = z + 23/7. Which is smaller: 1 or u?
u
Let s = -7 + 11. Suppose 18 = 3*l + 5*o - 7, -5*l - 20 = -s*o. Which is greater: l or -3?
l
Suppose 0*a - 2*a = 8. Let t be 136/(-32) + (-1)/a. Which is greater: -2 or t?
-2
Let m(v) = v - 1. Let o be m(3). Suppose -i = o*i. Is -8/9 <= i?
True
Suppose 4*n = 10 + 2. Let w = n - 0. Which is greater: 1 or w?
w
Let z be 1/(-4)*(-1)/(-2). Let d be 0/(-3) - -5 - -2. Let j = d - 6. Are j and z unequal?
True
Suppose 4*u = o + 1 - 11, -4*o = u + 11. Let m = -2/185 + 384/1295. Is m at most o?
False
Let f(k) = -2*k - 3. Let t(i) = 2*i + 4. Let p(b) = -3*f(b) - 2*t(b). Let q be p(-6). Which is smaller: -10 or q?
q
Suppose -415 = 2*p - 7*p. Let g = p - 413/5. Which is bigger: -0.1 or g?
g
Let v(s) = -2*s**2 - 12*s + 21. Let u be v(-10). Do -58 and u have the same value?
False
Suppose 0 = 6*z - 4*z. Are z and 4/7 nonequal?
True
Let w = 3.3 + -3.7. Suppose 0 = -4*v - 2*t, 13 = -4*v + 3*t + 3. Which is greater: w or v?
w
Let n = 2/9 + 4/9. Which is greater: n or -1/10?
n
Let u = -8 + 7. Which is smaller: u or -2/27?
u
Let h be (-205)/(-4) - 9/(-12). Let m be h/(-10)*(12 + -2). Let w be (-4)/(-10) + m/(-70). Which is bigger: 1 or w?
w
Let b = 0.02 - -0.08. Suppose 0 = -3*p + 2*p. Let l be (-1)/3*(1 - p). Are b and l equal?
False
Let t = -5 + 4.9. Let l = -0.4 - t. Which is smaller: -1 or l?
-1
Suppose -15 = 3*u, -3*h = -0*h + u + 5. Suppose -q - 2*t = -h - 1, -1 = 3*q + 5*t. Is -7 <= q?
True
Suppose 5*k = -2*t + 29, 2*k + k - 23 = -4*t. Suppose 0 = 6*b - k*b - 10. Let v be (16/140)/((-4)/b). Which is bigger: 1 or v?
1
Suppose 0 = 12*u - 16*u - 16. Is u bigger than -5?
True
Let l be 1/2 - (-2 + 3). Suppose 5*j - j = 0. Let i be ((-1)/(-5))/(j - 1). Which is smaller: l or i?
l
Let c = 1 - -2. Suppose c*i = -i + 4. Let j be 3/4 - i/1. Are j and 0 non-equal?
True
Let a be -3 - 5 - (-2 - -2). Let j = a - 2. Which is bigger: -9 or j?
-9
Let b = 30 + -23. Are 1/5 and b non-equal?
True
Let o = -138.2 + 140. Which is bigger: o or -2/5?
o
Suppose 2*f = 2*r - 2, r - 4 - 5 = 5*f. Let x be (-3)/(-3)*(0 - r). Let u = -33/85 + 10/17. Is x at least as big as u?
True
Let o = -2.2 + 2. Suppose -24 = -4*i + 3*n, -5*n = -2*i + 4*i + 14. Suppose -i*y - 1 + 4 = 0. Which is smaller: y or o?
o
Suppose 2*q + 5 = 1, 2*b + 2 = -4*q. Suppose 4*n + 12 = 0, b*x = -2*n - 4 + 1. Is -2/5 >= x?
False
Let o = 80/9 + -1822/207. Is o less than 2?
True
Let u = -6 - -5.8. Let k = u - 1.2. Are -1/4 and k equal?
False
Let u = -49.23 + 58. Let c = u + 0.23. Let k = -7 + c. Which is smaller: k or -1/3?
-1/3
Let f = 3.89 - -0.11. Let o = -4.003 + -0.097. Let g = o + f. Is g at least as big as 2?
False
Let q be (4/6)/((-219)/9). Which is greater: -1 or q?
q
Suppose l + 18 = 5*y, -2*y + 2 = l - 8. Is 5 smaller than y?
False
Suppose 655 = -19*n - 618. Which is smaller: n or -65?
n
Let f = -97755743503/219 + 446374698. Let c = 1440 - f. Let h = c - 149/657. Which is smaller: 2 or h?
h
Let t be (-2)/(-7) - 3/35. Let b = -7.06 - -7. Le