or equal to q?
True
Let w = 90 - 140. Is 0.1 >= w?
True
Let m = -6.3 + 6.49. Are 0 and m unequal?
True
Let s(p) = p**2 + 5*p + 4. Let m be s(-5). Suppose f - m*t + 10 = 0, t = -0*t. Let b be (-19)/(-35) + 4/f. Is 0 at most as big as b?
True
Let a = 0 - 0. Let l = -1 - a. Is l equal to -1/2?
False
Suppose -p + 2*h + 8 = 0, -4*p - 5*h + 14 = 47. Is -3 > p?
False
Let v be (-6)/10 + 13/5. Let b be (v/(-3))/(-1 - -3). Is b at least -2?
True
Suppose -c - 1 = -2*w, 0 = -4*c - 5*w + 12 + 10. Let y be (-20)/(-39) - 2/c. Do 0 and y have the same value?
False
Let b(r) = -11*r - 10. Let a(p) = 4*p + 3. Let c(x) = -17*a(x) - 6*b(x). Let k be c(6). Let l(s) = -s + 1. Let j be l(6). Do k and j have the same value?
False
Let g(o) = -o**2 - 4*o + 7. Let x be g(-5). Suppose -20 = -5*y - x*m, y - m + 2 = -1. Is y less than 1?
False
Let p = 7 + -4. Suppose 13 = -g - 4*n + n, 0 = p*g - n - 11. Let u be 9/12*(-8)/(-12). Is u smaller than g?
True
Let m = -42.1 + 44. Let t = m + -2. Let l be (-4)/(-14)*8/((-112)/(-21)). Which is smaller: l or t?
t
Let c be 9*(1 + 1 + (-49)/21). Is c bigger than -4?
True
Let s(n) = 3*n**2 - 31*n + 5. Let m be s(10). Is -5 less than or equal to m?
True
Let f = 13 + -9. Let k = f - 5. Which is greater: -1/3 or k?
-1/3
Let q = 0.3 - 0.3. Let k = 17 - 18.5. Let a = k - -1.4. Is a equal to q?
False
Suppose -y = -0 + 4. Is y greater than -4?
False
Let p = 0.7 - 0. Let q = -4.7 + p. Is -1 at most q?
False
Let o = -9.02 - -0.02. Let z = 9 + o. Is z < -1?
False
Let y = 0 + 4. Let o be ((-84)/8)/((-2)/y). Let p be 1 + (-60)/o - -1. Which is smaller: p or 0?
p
Suppose -3*d = 2*d - 90. Is d equal to 19?
False
Let b(d) = -d + 1. Let f be b(1). Let g be 1 + (-6)/(-9) + f. Which is smaller: 3 or g?
g
Let p = -8 + 0. Let f = p - -4. Which is smaller: f or 2?
f
Suppose 0 = 2*g + 5*b - 5, 1 = -5*g + 4*b - 3. Let n = g + -1. Suppose 0 = 5*d + 1 + 9. Is n <= d?
False
Suppose 4*v - s + 1 = 5*v, 5 = 3*v + 4*s. Let z = -57038/11 + 488372/99. Let y = z - -252. Is v >= y?
False
Let f = -1333/7 - -190. Which is smaller: -0.4 or f?
f
Suppose 5*r - 4*r - 2 = 0. Which is bigger: r or 1?
r
Suppose -r = -1 - 1. Suppose r*d - 2 = d. Let b be d*(14/6 - 2). Which is bigger: b or 0?
b
Let y = -80 + 92. Which is greater: 14 or y?
14
Let d = -57 + 54. Is d at least as big as -0.4?
False
Let c = 81.41 - 82. Let m = c + 0.09. Which is greater: m or 0.2?
0.2
Let i = -4.1 - 12.9. Are i and 1 equal?
False
Let d = -4 - -4. Suppose b - 3 = -d. Suppose 16 = 4*i, -2*f + 2*i = -3*f + 12. Which is smaller: f or b?
b
Let t = 0 - 0. Suppose 3*h = 13 + 35. Let j be h/(-40) - (-24)/10. Which is smaller: t or j?
t
Suppose -13 = 2*u + 5*z, 2*u + z + 11 = 3*u. Let d = -5 + u. Which is bigger: d or 2/19?
d
Let b be (-1 - 3)/(-1 - -2). Let c = -5 - b. Let m be 10/12 + c/3. Are m and 0 unequal?
True
Let o be (-1 + 0)*-3*1. Suppose o*t - 4*x + 2 = -0, 2*x - 8 = 5*t. Let n be (3/2)/(4/(28/(-21))). Which is greater: n or t?
n
Let d = 0.22 + -0.28. Is -2/5 equal to d?
False
Suppose -15*f = -9*f - 42. Do 0 and f have the same value?
False
Let d = -23/30 - 1/30. Suppose 5*n = 3*w - 31, n + 21 = 3*w - 2*n. Let o be (-3 + w)*(1 - 0). Which is bigger: d or o?
d
Suppose -5*t + 3*t = -5*z + 9, z - 7 = 3*t. Let o be z*-16*(-1)/2. Are o and 8 unequal?
False
Let i = 17 + 9. Is 25 smaller than i?
True
Let a = -68 - 4. Is -72 <= a?
True
Suppose -5*y + 31 = -14. Let k be (12/y)/(-4)*0. Let c = -5/9 - -1/18. Is c at most as big as k?
True
Let x be 2/5 - 0 - 2/5. Which is bigger: x or 2/101?
2/101
Let z = -1.5 - 5.5. Let j = 6.7 + z. Let l = -0.3 - j. Is l at most as big as 0?
True
Suppose 0*f + 2*f + 6 = -3*u, f - u = -3. Suppose 8 = -5*h - 2. Let z = h - f. Is z > 2/9?
True
Suppose -5*l + 2*l + 3 = 0. Is l greater than 1/4?
True
Let g = -23/35 + 71/140. Which is smaller: g or 1?
g
Suppose -3*k + 5 = 2*k. Suppose 4*l + g = -2 - k, l + g = 0. Let v be 1 - (1 - 0/(-2)). Which is smaller: l or v?
l
Let f = 23.73 - 24. Let w = 0.07 + f. Which is smaller: w or 1?
w
Let j be (-27)/(-5) - 24/60. Let x = -6 + j. Is x greater than or equal to 0?
False
Let w be 36/15 + 6/10. Suppose -2*h = m + 4, 5*m + 3*h + w - 4 = 0. Suppose -3*y + 5*y = m. Is y equal to 0?
False
Let p = 0.6 - 0.57. Let y = p + 0.07. Let s = y - -0.1. Which is bigger: -2/9 or s?
s
Let u = 64.64 + 0.36. Are 0 and u unequal?
True
Let l = 0.102 - 0.202. Is l at least -31?
True
Let b = -31.962 - 0.038. Let r = b - -29.1. Let i = 0.9 + r. Does i = 4?
False
Let o = -1.996 + -0.004. Which is smaller: o or -17?
-17
Let z(g) = -g**3 + 6*g**2 - 4*g - 3. Let d be z(5). Suppose 2*q - 6 = 5*s, -2*s - 6 = -d*q - 6*s. Let c be -1*(0/q + 1). Is -1 at least as big as c?
True
Let o(s) be the second derivative of -s**5/20 - 5*s**4/12 - 2*s**3/3 + 2*s. Let b be o(-4). Let g = 120 - 475/4. Is g greater than b?
True
Let s be 310/(-2) - (3 - 1). Let w = 1095/7 + s. Is w greater than or equal to -1?
True
Suppose 4*h - 2 = 3*r, 5*r = r + 4*h. Suppose 0 = -3*u + 6, t - u - 62 = -r*u. Let k be ((-4)/(-10))/(t/25). Does k = 2/5?
False
Let w = -0.4 - -0.3. Let h be (-1090)/(-220) - 15/3. Which is smaller: h or w?
w
Let c = 10 + -8. Is 7/9 at least as big as c?
False
Let u = -0.1 + -0.1. Let x be (20/(-100))/(1/5). Which is smaller: u or x?
x
Let s = 115 - 107.8. Which is greater: s or 2/7?
s
Suppose -8 = j - 5*j. Let y(z) = -2*z - 2. Let w be y(-11). Suppose -5*d - x = -9, 3*d - w = -d - 4*x. Which is greater: j or d?
j
Let r be (-2)/(-12)*72/40. Which is greater: 0 or r?
r
Let d = 114 + -115. Is 29 smaller than d?
False
Let u = -5.9 + 6. Which is smaller: u or -5?
-5
Let r = -0.2 + 0.2. Let h = 2.01 - 0.01. Let i = r - h. Are 0 and i non-equal?
True
Let s = 0 - -1/3. Which is smaller: -3.8 or s?
-3.8
Let w be (-3)/(-3)*(-12)/(-1). Let c be (-26)/(-28) - 6/w. Do c and 0 have the same value?
False
Let s = -96 + 1249/13. Let b = -1/13 - s. Is 1 > b?
True
Let i = 76/5 + -15. Let j(a) = 2*a + 4. Let s(c) = 3*c + 6. Let o(l) = 8*j(l) - 5*s(l). Let v be o(-1). Which is bigger: v or i?
v
Let b = -27 - -44. Suppose -3*f - 2 = 3*y - 5, -3*y - b = -f. Is -2 at most as big as f?
True
Let b = -28 - -30. Does b = -0.3?
False
Suppose 5*q + d - 2*d - 15 = 0, 2*q + 2*d - 6 = 0. Suppose 2*o + 19 = 3*c, 2*c - 11 = c + q*o. Which is bigger: 6 or c?
6
Suppose -8 = -4*w + 8. Let k = 17 - 11. Which is greater: w or k?
k
Suppose 3*i = 4 + 8. Is 5 less than i?
False
Let j = -24.02 - -1.72. Let m = 21 + j. Is -2/9 at most m?
False
Let a = 13066789/145649 + 1/20807. Let w be (-90)/(-1) - (5 - 5). Let n = a - w. Which is smaller: -1 or n?
-1
Suppose -5*b - 477 = 83. Let m = b - -782/7. Suppose 4*p = 3*p + 4, -4*d - 3*p = -12. Is m less than d?
True
Let q = -4 - -11. Suppose 35 = -q*d + 2*d. Which is greater: d or -5?
-5
Suppose -2*a - 2*a - 28 = 0. Let m be 90/(-105) + (-4)/a. Which is smaller: 0.4 or m?
m
Let m = -7.7 + 64.7. Is -1/4 greater than or equal to m?
False
Let c be (-15)/(-2) + 24/(-16). Let u be c/(-3) - (-68)/32. Which is bigger: u or 0?
u
Let n(l) = -l**3 + 4*l**2 - l + 5. Let p = -2 - -6. Let f be n(p). Is 2 at least f?
True
Suppose -3*c - 5 = 7. Suppose 8 = -4*u - 0. Is c <= u?
True
Let o be 2/6 + (17/(-7) - -2). Which is smaller: o or 0?
o
Suppose 2*i - 30 = -i. Suppose -f - 5*y + 6 = 0, 3*f + 0 + i = -y. Let v be (-7 - f)*1/2. Which is greater: v or -3?
v
Let q = 0.081 + 0.739. Is 0 != q?
True
Let q = -1 + 0. Let y = q - -1. Let f be (-2)/8*-2*-1. Which is smaller: f or y?
f
Let x be -5*(36/(-15) - -1). Let w be 1*(-1)/1 + x. Suppose 3*g - g + w = 0. Which is smaller: g or -1?
g
Let c = -3.5 + 1.8. Let z = 1.9 + c. Which is bigger: -1 or z?
z
Let p = 2 - 2.1. Let v = -1454/13 + -1552/117. Let h = v - -125. Which is smaller: h or p?
h
Suppose 4*x - 6*x - 12 = 0. Is -6 greater than x?
False
Let k = -5 - -10. Let y(x) = -5*x + 21. Let o be y(3). Is k bigger than o?
False
Let w = -11 - -8. Let d = 1 - w. Which is greater: d or 3?
d
Suppose 0*t + 5*t = 5. Which is bigger: t or 1/34?
t
Let v be 2 + (-1 - 2/(-2)). Let s be 4/(-3) - -1*(-406)/(-273). Which is greater: v or s?
v
Let l be 2*(7/2 + -1). Suppose -3*b + 24 = -l*w - 120, -b = 4*w + 105. Let s be 3/4*6/w. Is -1 less than s?
True
Suppose -2*q + 1 + 5 = 0. Let a be (-1006)/(-7) + q/3. Let t = a + -145. Which is smaller: 0 or t?
t
L