. Which is smaller: -2/25 or r?
-2/25
Let n be (-74)/(-14) - 10/35. Suppose -n*o - 4 = -2*v + 6, -v = 4*o + 8. Is -2/5 <= v?
True
Let a = -35004/37 + 946. Which is bigger: 1 or a?
1
Let u be (-2)/(-4)*0/2. Suppose 3*z - 18 = -u*z. Let p = -10 + z. Is -2/3 at least p?
True
Let i(l) = -l**2 - 9*l + 1. Let u be i(-8). Let k = -4 + u. Which is smaller: k or 3?
3
Let i = 15 - 16. Which is bigger: 2/15 or i?
2/15
Let m = -0.05 + -3.95. Suppose z + 2*w = -11, 0 = 6*z - z - w. Which is greater: z or m?
z
Let x = -12/37 - 383/74. Which is greater: -7 or x?
x
Let g = 6 + -3. Let m(d) = 2*d + 27. Let i be m(-14). Let z = i + g. Is z < 2?
False
Let g(f) = f**2 - 4*f + 3. Let s be g(7). Let r be (-4)/s*(0 + 1). Which is bigger: -1 or r?
r
Let j = -2 + 1. Which is smaller: 3.6 or j?
j
Suppose 2*j = j - 3. Let z = -2.4 - -3.5. Let v = -1 + z. Which is greater: v or j?
v
Let p = 6/199 - 2044/1791. Let u = -148/117 - p. Suppose 5*v - 2*v = 0. Is u >= v?
False
Suppose 4*a = 3*v + 4, -2*a - 19 = 2*v - 7. Is a at least as big as -2?
True
Suppose -2*i + 8 = -v - i, 0 = 3*i - 15. Let o = -5 - -40. Suppose 5*j - 15 = -o. Which is smaller: j or v?
j
Let o be (-6)/(-21) - 38/(-14). Suppose 2*r - 5*y = -y + 2, 5*r - 3*y = 5. Is o >= r?
True
Let z(c) = -13*c**2 - c + 18. Let g(s) = -7*s**2 - s + 9. Let b(u) = -11*g(u) + 6*z(u). Let y be b(8). Is y < -16?
False
Let q = 513520/141 + -3642. Let n = q - 415/564. Which is bigger: n or 0.1?
0.1
Suppose -15 = t - 9. Let x be ((-1)/t)/((-3)/(-27)). Is 2 less than or equal to x?
False
Suppose 3*p = -3*y, 0 = y - 5*p - 0 - 18. Is y greater than 5?
False
Let p(u) = u**2 + 4*u + 1. Let m be p(-3). Let r = 0.07 - -0.13. Do m and r have the same value?
False
Let l(p) = -p. Let z be l(-11). Does 11 = z?
True
Let t(k) = k**3 + 6*k**2 + 4*k. Let n be t(-5). Let c = n - 3. Suppose 3*y - 2*m = 14, -c = -5*y - 4*m - 8. Is 2 greater than or equal to y?
True
Let c = 1031 + -64955/63. Let n = -116/315 + c. Are n and 0.07 unequal?
True
Let l be (-4)/2*3*(-57)/(-18). Suppose 3*x - 87 = 5*r, 1 = -2*x - 1. Is r <= l?
False
Let c = -19 + 31. Let g be (-30)/c*(-4)/(-5). Does -4 = g?
False
Let p be ((-8)/6)/2*(4 + 11). Is p smaller than -7?
True
Suppose -16 = -2*y - 2*y. Let v be 1*((-12)/y + 10). Is 7 greater than or equal to v?
True
Let i be (-11)/(-165)*(-6)/(-4). Let p = i - 7/20. Is p less than or equal to 3/7?
True
Let x = -12.1 - -12. Let u = -5 - -13/2. Which is smaller: u or x?
x
Let l = -0.17 - 0.09. Let k = -0.06 - l. Is 1/4 less than k?
False
Let a(u) = -u + 3. Let k be a(3). Let j(h) = h - 7. Let g be j(-5). Let b be (9/g)/(-3) + -1. Which is smaller: b or k?
b
Let o = -2 - 3. Let z be 1/(-4) - (-15)/(-4). Which is smaller: o or z?
o
Suppose 0 = k - y + 11, 4*k + 2*y - 7*y = -48. Is -70/9 <= k?
True
Suppose 17 = -3*j + 4*l, 4*l - 17 = 3. Which is greater: j or 2.5?
2.5
Let g = -15 - -9. Let m = g + 5.5. Let k = 0.6 + m. Does k = -1/6?
False
Let d be (-2*2)/(1 - 2). Suppose -r + 8 = d. Which is bigger: 3 or r?
r
Let u(r) = -r - 1. Let g(v) = v**2 + 2*v + 1. Let x be g(-1). Let n be u(x). Is n != -1?
False
Let y be (6 + -2)/(-5 - -9). Which is greater: y or 3/8?
y
Let i(g) = 17*g + 1. Let d be i(-1). Let v be d/(-10) + 6/15. Let w = v + -1. Are w and 2/7 unequal?
True
Suppose -3*d - 3*r - 36 = 0, 6*d + 2*r = 3*d - 41. Let t(z) = -z**3 - 16*z**2 + 17*z + 10. Let f be t(d). Is f not equal to 9?
True
Suppose -5*g + 35 - 4 = 2*j, 4*j + g - 17 = 0. Let a be (-3)/2*(-4)/3. Suppose 5*h = 13 + a. Is j at most h?
True
Suppose 0 = -8*j + 5*j - 96. Is j > -32?
False
Let k be (-552)/(-2)*(-7)/(-21). Are k and 92 non-equal?
False
Let z be 6*(-2 + (-18)/4). Let y be 26/z - (-2)/3. Which is smaller: y or 3/14?
y
Let t(z) = z**3 + 8*z**2 + 7*z + 2. Suppose 96 = 3*w - 4*r, -2*w + 5*r = 2*r - 65. Suppose 7*y + w = 3*y. Let d be t(y). Which is smaller: d or 0?
0
Suppose q - 3 = 5*g - 28, -7 = 3*q + 2*g. Let s(p) = -p**3 - 4*p**2 + 7*p + 7. Let d be s(q). Let y be d/(-5)*2/(-3). Is 2/9 not equal to y?
True
Let g be (-12)/(-24) - (1 + (-21)/6). Let t(z) = -z**2 + 2*z + 1. Let b be t(2). Let n be (2 + b)*(-8)/(-6). Is g equal to n?
False
Suppose -6*p - 2*p = 2*p. Is p greater than 1/79?
False
Suppose 0*n = -4*n - 20. Let g = 27/5 + n. Let s = -1.3 + 0.3. Is s not equal to g?
True
Let u(y) = -y**3 + 2*y**2. Let c be u(2). Suppose -4*q + 3*q + 20 = c. Suppose -3*v + 3 - 15 = -5*n, -4*n - 5*v = q. Which is smaller: -3/4 or n?
-3/4
Let g = 12 - 12. Which is greater: g or -1?
g
Let m = -0.14 - -0.24. Which is bigger: m or 17?
17
Let l be 44 + -1 - (1 + 1). Let w = -68 + l. Let x be w/(-21) - (2 - 1). Which is greater: x or -1?
x
Let l be 1*2 - (-4 - -6). Let v be l/(4/((-8)/6)). Let o be 1 - 0 - (-170)/(-190). Which is greater: v or o?
o
Suppose 6 = -2*z + 4*b, 4*z - 5*b = -1 + 4. Let x(j) = -j**2 + 8*j - 8. Let s be x(z). Is s >= -1/4?
False
Let n(x) = -7*x - 8. Let c be n(-1). Which is smaller: c or -2/561?
c
Let u = 43 + -45. Which is smaller: 0 or u?
u
Let a be ((-1)/(-9))/((-6)/(-522)). Which is smaller: 9 or a?
9
Let r = 8 + -6. Let n(a) = a**3 - 2*a**2 + 1. Let v be n(r). Let h = -1/9 + 14/45. Which is bigger: v or h?
v
Let i = -72 - -72. Is i > -4/5?
True
Let k = -12 + 11.89. Is k less than -2/7?
False
Let w(g) = g - 4. Let y be w(5). Which is smaller: y or 15/7?
y
Let k = -0.1 + 8.1. Let j = 6 - k. Let n = -3 - j. Is n less than or equal to -1/3?
True
Let h = -23/36 + 8/9. Let z be (-2)/8 + (-26)/(-40). Are h and z nonequal?
True
Suppose -4*m - 9 - 63 = 0. Let q = 73/4 + m. Suppose 0 = 2*c - 2. Is c bigger than q?
True
Let l = -70 + 50. Let p = 169 + -109. Let d be (-22)/p - 4/l. Which is smaller: 1/2 or d?
d
Let t(g) = g**3 - 3*g**2 - g - 9. Let x be t(4). Which is smaller: 8/3 or x?
8/3
Let k = -1 - -2. Let m be (-2)/3 + 16/30. Is m at least k?
False
Let o be (0 - -6)*(-5)/10. Suppose -5*n = -2*c - 2*c + 16, -2*n - 4*c = -16. Suppose -4*z + 2*g - 16 = n, 5*g + 2 = 2*z + 26. Which is bigger: o or z?
z
Suppose 0 = -4*c + 2*c - 2*b - 36, 4*c + 76 = -5*b. Is c > -13?
False
Suppose l + 10 = 3*l. Suppose -3*j - r = 112, j = -j + l*r - 52. Let w = 106/3 + j. Which is smaller: w or -1/2?
w
Let i = -2/4603 - 9036/391255. Let o = i + 601/255. Is 1 != o?
True
Let r be (-3)/(-10) - 30/50. Which is smaller: r or 1/2?
r
Suppose 15*w - 161 = 8*w. Which is smaller: 24 or w?
w
Let n be 9/(3*(-3)/(-6)). Let h be (-2)/(-6) - 13/3. Let y be (h/(24/(-9)))/n. Is -1 greater than y?
False
Let o = 2 - -7. Is o bigger than 10?
False
Let d = -18 - -31. Suppose 15*i = d*i + 2. Which is smaller: i or -1/3?
-1/3
Let z be 148/80 - (-1)/(-4). Is 3 greater than z?
True
Suppose -m + 1 = -s + 2*s, 2*m + 4 = -5*s. Let y = -5 + 7. Is y < m?
True
Let k(a) = -a**3 + a**2 + 3*a - 1. Let u be k(4). Is -37 <= u?
True
Suppose 0 = -2*k + k. Suppose -l + 2*l = 2. Let n be 1*1/13*l. Which is greater: n or k?
n
Let o(i) = i**3 - 8*i**2 - i + 16. Let h be o(8). Which is bigger: h or 6?
h
Let c be 2 - 3 - (18/(-2))/(-3). Is c at most as big as -1?
True
Let y = -5 - -3. Let n = y - -2. Is 0.1 bigger than n?
True
Let d = -4 + 10. Let x be -3 + (6 - (-3 + d)). Suppose x = -2*q + 5*p - 20, 5*p - 8 = 4*q + 3*p. Which is smaller: -1/4 or q?
-1/4
Let u = -13706/5 + 2720. Which is smaller: -21 or u?
u
Let p = 0.04 - -0.02. Let q = 0.04 + p. Is 0.1 > q?
False
Let c = -6 + 4. Which is smaller: c or -1/3?
c
Suppose -4*r + r = 3. Let o be 1/r + (3 - 1). Which is bigger: o or 3?
3
Suppose -4 + 14 = 5*f. Suppose -u + j + 1 = 0, -3*u + 2*j + 4 = -f*j. Are -2/27 and u nonequal?
True
Let h = -2 - -3. Let m = h - 1. Let n = 326 - 2930/9. Which is bigger: m or n?
n
Let p = 1 - 2. Let d be p*(-15)/1*-1. Let y be d/9 - -1*1. Is y greater than -2/7?
False
Let x be (-1)/(-1) + (-2)/(-2). Suppose -4*q + j + 11 = 2*j, 4*q = -5*j - 9. Does x = q?
False
Let l be 3/45 + 1/3. Let v = 137/1057 - -2/151. Does v = l?
False
Let h(z) = -62*z + 5. Let l be h(-3). Let x = l + -5923/31. Is x at most as big as -1?
False
Let k(g) = g - 5. Suppose -3*b + 1 = -y - 3, -2*y = 2*b - 16. Let s be k(y). Is s <= -1?
False
Let d = -0.4 + 0.2. Let p = d + 0.6. Let y = -1 - -2. Which is greater: y or p?
y
Suppose 0 = 3*t - 3*u - 3, -4*t - 4*u + 4 = -0*u. Let d be (t/14)/((-9)/36). Which is greater: d or 1?
1
Let u = 3 - 1. Suppose -v - 4*p - 1 = 