s b at least as big as 0.04?
False
Let f = -259/136 + 26/17. Suppose 4*r - 4*s - 12 = 0, 3*s + 9 = 2*r - 1. Let n = r + 2. Do f and n have the same value?
False
Let i = 11 + -16. Which is greater: -31/7 or i?
-31/7
Let u = 93 + -191/2. Let r be (-2)/(-8) + 68/(-16). Which is bigger: u or r?
u
Suppose 0 = g + 5*h + 7, g - 2*h - 25 = h. Is g <= 14?
True
Suppose w - 5*o = -13, 5*w + 5*o - 91 = -36. Suppose 16 = 4*t + k, 2*t - 4*k + w = -t. Is t greater than or equal to -2?
True
Suppose -2*k + 221 = 4*s - k, s - 53 = -k. Let m be (-5)/s - (-2)/(-7). Is -1 != m?
True
Suppose -45 = -5*r + 35. Let v = -78/5 + r. Are v and 1 unequal?
True
Let c = 0.028 + -0.028. Is 10 greater than c?
True
Let z = -3 + 4. Which is smaller: z or 1/10?
1/10
Let h = -0.15 + 0.45. Are h and 0.4 equal?
False
Suppose 5*q - 3 = -2*c + 2, 0 = -5*q + 4*c + 35. Let d = 7.1 + -7. Is d equal to q?
False
Let f(t) = 7*t**3 + t**2 + t - 2. Let j be f(2). Let r = j - 422/7. Which is greater: 1 or r?
1
Let z be (-5)/(-5)*1/15. Which is bigger: -1 or z?
z
Let x = 0.62 - -0.08. Let z = x - 0.6. Are 0.2 and z equal?
False
Let p = -42 - -49. Is p <= -4?
False
Let r(d) = d + 3. Let x be r(-4). Suppose 5*b = -1 - 9. Is b greater than or equal to x?
False
Let a(i) = 2*i - 3. Let r(l) = -3*l + 6. Let v(t) = -9*a(t) - 5*r(t). Let g be v(-2). Suppose 2*m + 17 = -5*z, z = -4*m + g - 10. Is m less than -2/3?
True
Let b(o) = 14*o**3 - o**2 + 1. Let k be b(1). Suppose -13*p = -11*p - 26. Are k and p non-equal?
True
Suppose 3*l - g + 219 = 0, 5*g - 151 - 80 = 3*l. Let x be (-6)/(-4) - (-100)/l. Suppose 2*n - n = -5*o + 7, o = 4*n - 7. Which is greater: x or o?
o
Let s = 30 + -13. Suppose -2 = t + p, -2*t - 5*p = s - 4. Let v be t*-2*8/(-16). Which is greater: 2 or v?
2
Suppose 7*s + 20 = 5*s. Let x = 11 + s. Which is bigger: x or 2/35?
x
Let q be 3 + -2 + 1 + -1. Suppose 0 = -4*j + 2*i - 2, 2*i = -2*j + i + 5. Let v be (1 + 1)/(1 + j). Is q >= v?
True
Let t be (580/6)/(-3 - -5). Let l = t - 48. Suppose 8*f - 3*f + 9 = -3*m, 5*m + 15 = 3*f. Is l < f?
False
Let b = -2.86 + -0.14. Let m = -3 - 0. Let h = b - m. Which is smaller: h or 2?
h
Let c = 153.3 + -148.718. Let n = c + 0.118. Let r = n - -0.3. Is -0.1 < r?
True
Let g be (5/(60/8))/(-5). Which is smaller: g or 1?
g
Let o(a) = a**3 + 6*a**2 + 6*a + 6. Let y be o(-5). Let l = -17 + 11. Let k be 1/3*(0 - l). Is k >= y?
True
Let t = -28 - -63. Let d be t/(-7)*1/(-1). Does 7 = d?
False
Let g = -0.3 - -0.2. Let f = 0.5 - 0.56. Let d = f + 2.06. Are g and d unequal?
True
Suppose -3*v - 6*v = 189. Is v >= -22?
True
Let i(q) = -q - 5. Let z be i(-6). Let l be -1*34*z/4. Let u = 7 + l. Is -1 <= u?
False
Let m = 3/5 - 7/20. Let a(p) = p**2 + 3*p - 3. Let z be a(-4). Which is bigger: z or m?
z
Suppose 8*b - 9 = 5*b. Let h be (-6)/b - -2 - 0. Which is smaller: -1/6 or h?
-1/6
Let c be 0/2*(-2)/4. Let o be 6/9 + (-44)/30. Which is smaller: c or o?
o
Let x be (-88)/(1 + 3) - -3. Which is greater: x or -20?
x
Let m(z) = 4*z**2 - 4*z - 3. Let k be m(-2). Let r = k - 20. Is r smaller than -3?
False
Suppose z - 5*p = -14 - 1, -5*p = 5*z - 15. Does 7/15 = z?
False
Let u = 0.4 + 1.6. Let o = u - 1. Let r be 4/(112/(-76)) - -3. Is o bigger than r?
True
Let d = -1.4 + 1.3. Is 6 > d?
True
Let d be (60/(-45))/((-20)/(-42)). Are -4 and d non-equal?
True
Let w be (2 + 8)*1/2. Suppose -r + w - 3 = 0. Let l = -31/21 - -15/7. Does r = l?
False
Let n = -1275/152 + 67/8. Which is smaller: 0 or n?
n
Let t(w) = w**2 + 2*w - 23. Let q be t(-6). Is q greater than or equal to 1?
True
Let x be 0*(-1)/(-3) - 4. Let v(l) = -l**2 - 2*l + 5. Let w be v(x). Let k(d) = -d**3 - 3*d**2 + 5*d + 4. Let c be k(-4). Which is smaller: c or w?
w
Let x = -83/129 + -1/43. Let k be (6/(-15))/(2/(-10)). Let l be 4*(10/(-4) + k). Which is greater: l or x?
x
Suppose -2*i + 2*w + 16 = -0*i, -4*w - 5 = 5*i. Let k be 1 + i + -1*2. Is k < 1?
False
Suppose 0 = f + 5*y - 5, -5*f - 4*y + 3 = -y. Are f and -7/8 unequal?
True
Let m = -20 + 19. Which is smaller: -1/7 or m?
m
Let s be 1 - 2/(-4)*-2. Suppose -3*o + s*o = -3. Let w be 2/(-10)*o/1. Is 1 >= w?
True
Let k = -5 + 5.3. Let x = k + -0.3. Let n = -0.1 - x. Is 1 not equal to n?
True
Suppose 3*g + 32 = -3*x - 2*x, -2*g - 5*x - 28 = 0. Is g at least as big as -4?
True
Let b = -3 - 3. Let f = 19 + -18.2. Let j = 0.7 - f. Which is smaller: b or j?
b
Let f = 21287/33 - 645. Which is smaller: f or 1?
f
Let c = 0.05 - -5.95. Let z = c - 5. Is z at most 1?
True
Let q = 0.7 + -1.7. Which is greater: q or 2/29?
2/29
Suppose 4*m = w + 41, 2*w + 4*m = -74 - 20. Let d be w/162*1*-2. Which is smaller: 0 or d?
0
Let i be (-35)/93 - (-3)/9. Let z = -20537744/84604611 - -6/129961. Let b = i + z. Which is smaller: b or 0?
b
Let p = 3 + -40. Let w = -22 - p. Suppose -4*m + 3 = w. Which is smaller: -1 or m?
m
Let y be (-8)/(-12) - 13/(-12). Suppose -1 + 6 = 5*b. Is b at least y?
False
Suppose 0 = 5*l, 4*j + 0*j = 4*l - 20. Does j = -7?
False
Let f = -0.01 + 0.41. Let q = 0.03 + 0.17. Let a = -0.1 + q. Which is smaller: a or f?
a
Suppose -3*t = -z + 14, 3*t = 2*z - 26 + 7. Let n = 5 - z. Which is bigger: -1/5 or n?
n
Let d be 35/(-10)*(-1 - -3). Which is smaller: d or -6?
d
Let m = -2.028 - -0.028. Is 3 greater than m?
True
Let d(x) = x**2 + 6*x - 7. Let u be d(-7). Are u and -2/15 equal?
False
Let n be (-2)/(-4) + 12/(-8). Let f be (-3 - n)*1/4. Let z be ((-1)/(-2))/((-6)/4). Which is greater: z or f?
z
Let j = -34 - -51. Let g be (-6)/(-2) + (-53)/j. Which is bigger: -1 or g?
g
Suppose 15*m = 17*m + 2. Which is greater: -1/139 or m?
-1/139
Suppose -4*z - 4 = -o + 4, -3*z = 4*o + 6. Which is greater: z or -1?
-1
Let v be (20/12)/((-1)/(-3)). Let t(i) = -i**2 + 5*i + 4. Let z be t(v). Is z less than 5?
True
Let s = -6 - -5. Let a be (-3)/s*(-33)/9. Let n be (-2)/a + (-78)/66. Are n and -1/6 unequal?
True
Let p(d) = -d + 1. Let r(a) = -6*a. Let q be r(1). Let k(v) = -5*v + 11. Let o(w) = q*p(w) + k(w). Let j be o(-7). Is j at least as big as -6/11?
False
Let j be 520/234 + 2 + -1 - 3. Let l = -6.8 - -0.8. Is j at most as big as l?
False
Let v(x) = -1. Let w(r) = -r**2 - 7*r. Let f(z) = -2*v(z) - w(z). Let i be f(-7). Is i at most as big as 1?
False
Suppose -6 + 3 = -l. Let y be l + 1 + 1 + 0. Suppose 2 = -y*j - 3. Which is bigger: j or 0?
0
Let f = 0.6 - 5.6. Let b = 6.1 - 4.1. Let u = b + f. Is u smaller than 1?
True
Let k = -9816 + 441751/45. Let r = -1/45 + k. Let o = 0.3 + -0.4. Is r <= o?
False
Let t = 3 - 3. Let z(j) = j**3 - 4*j**2 - 3*j + 4. Let r be z(4). Let l be r/(-4) - 8/6. Which is bigger: t or l?
l
Let t = -2/65 + -116/455. Which is smaller: -44 or t?
-44
Let o = 29 - 26. Is 26 less than o?
False
Let k be -6 - (4 - (2 + -1)). Let q(o) = o**3 + 10*o**2 + 8*o - 12. Let r be q(k). Is -2 at most r?
False
Suppose f = 2*f + 3*h - 7, 0 = -h. Let v = -3 + f. Suppose -5*t + 3*t - 10 = v*w, 4*t = 2*w + 10. Is 3 less than or equal to t?
False
Let o be (18/12)/((-3)/8). Let t = o - -4. Suppose -v + 2 - 1 = t. Is 2 greater than v?
True
Let a(i) = i**2 + 7*i - 8. Let v be a(-7). Let t = v + 4. Are -5 and t equal?
False
Suppose 3*x + x = 0. Suppose 4*n + 5*f = -4, 0*n = 4*n + 2*f - 8. Suppose -n*b + 6 = b + z, 2*b = 2*z. Is b < x?
False
Suppose 2*k - 5*p = -3*k + 80, -k + 3*p = -18. Suppose -5*j = -k - 10. Suppose j*f + 4*w = 14, 5*w - w - 6 = -f. Do 2 and f have the same value?
True
Let w be (4/(-15))/(42/35). Let p(r) = -r**2 + r. Let t be p(0). Is t at least w?
True
Suppose 5*v + 5*i = 5, 3*v - 5*i = -23 + 2. Let x = v - -8. Is x < 5?
False
Suppose 0 = -5*i - 13 + 38. Suppose i*n - 24 = -u, 0*n = -n + 4. Which is smaller: 11/4 or u?
11/4
Let x(l) = l + 8. Let v be x(-5). Let d be -11 - (v/3)/(-1). Let t be 14/d + 1 + 0. Do t and 1 have the same value?
False
Let n be (0 - 1) + (-6)/(-8). Let b(u) = -u**2 - 6*u + 7. Let h be b(-7). Suppose 0 = 3*l - 0*l - y, 4*y = h. Which is bigger: l or n?
l
Let l be 11/(-33)*(-6)/2. Which is smaller: -3/8 or l?
-3/8
Let s be 15*(48/(-20) - -3). Let i = 9 - s. Which is bigger: i or 1/4?
1/4
Let u be 1/(-286)*2*-82. Let y be (2 - -2)*(-6)/(-33). Let p = u - y. Which is greater: p or 1?
1
Let m be 0/(-2) + -1 - 2. Let c(l) = -3*l**3 + 3*l**2 - 3*l + 1. Let a be c(1). Which is smaller: a or m?
m
Let n = 2 - 2. Suppose -2*a = -3*a. Suppose n 