 Suppose -q - 58 = 5*k, -k = -4*q + 2*k - 140. Let y be 5/q*(-16)/c. Is y bigger than 1?
False
Let l(y) = y - 2. Let r be l(1). Which is smaller: 1/19 or r?
r
Let o = -0.8 - -0.4. Let d = o + 3.4. Let t = -1 - -2. Is t > d?
False
Let d = 8.1 - 8.2. Do -74 and d have different values?
True
Let c = -79 + 550/7. Is 1 > c?
True
Let d = -0.14 - -0.24. Which is bigger: 1/16 or d?
d
Suppose -b = 5*t - 28, 0*b + 37 = 4*b - 5*t. Suppose 2*d - 5*w + 12 = -7, -5 = -w. Suppose -4*o - b = -3*h, -d*o - 14 = -4*h + 1. Is -1 at most as big as o?
True
Let j = 0.1 - -2.9. Let b = j - 2.9. Let t be ((-12)/(1 + 2))/(-2). Is t equal to b?
False
Let i be 3 - (-57)/2*2. Let c be 36/15*i/9. Suppose 2*m - 3*s = -13, 3*s - c = -0*m - m. Is 2/21 at most m?
True
Let r = 89773672/35 + -2564727. Let p = r - 235. Which is greater: -1 or p?
p
Let l(b) = -b**2 - 23*b - 45. Let v be l(-21). Is -35/8 less than v?
True
Let c = -913510/6699 + 76/957. Let w = 136 + c. Is 1/5 at least w?
True
Let x be ((-4)/8)/((1 + -2)/(-6)). Let p(n) = 4*n**2 - n - 1. Let t be p(-1). Let a be (-51)/12 + 1/t. Are x and a non-equal?
True
Let h = -1079/76 + 57/4. Which is smaller: 1 or h?
h
Let r = 6.2 + -6. Are -2/29 and r equal?
False
Let r = -0.97 - 0.13. Let l = r + 0.7. Let k = 0.1 - l. Which is smaller: 1 or k?
k
Let d be 1 - 26/(-22)*17/(-17). Is d at most as big as 0?
True
Let m(q) = -q + 3. Let f be m(3). Let y = 69/190 - 5/19. Are f and y nonequal?
True
Suppose -3 + 4 = -x. Which is smaller: -1/91 or x?
x
Let m = 1.12 - 0.12. Are m and -3 unequal?
True
Suppose -5*m + 73 = 4*j, 0*m + 85 = 5*j + 5*m. Suppose 2*f = 2*u + 5*f - 11, 3*f - j = -3*u. Let a = u + -11. Is -9 < a?
False
Let j = -1 + 0. Let y = 4 - 5. Let b = y - j. Do 0 and b have different values?
False
Let v be 286/(-112) + (-13)/(-104). Which is bigger: -3 or v?
v
Let a = 0 + 0. Suppose a*l = 4*l. Which is bigger: -2 or l?
l
Let y = -65 + 64. Is y <= -10/21?
True
Let n be (-46)/(-20) - -4*(-10)/80. Are 2 and n nonequal?
True
Let p be (0 - (1 - -1))*(-2)/36. Which is bigger: 0 or p?
p
Suppose -5*l = -6*d + d - 15, d + 3 = 0. Which is smaller: 18/31 or l?
l
Let y be (32/12)/((-2)/(-12)). Let k = 18 - y. Is 2 equal to k?
True
Let b = -1.26 - -0.26. Which is smaller: 4/9 or b?
b
Let r = 0 - -5. Let v be (-18)/(-10) - (-1)/r. Is 3 > v?
True
Suppose 0 = l - 3*y - y - 16, 4*l = -y + 13. Suppose 4*s - 4 - l = 0. Let c be (-1 + s)*(2 + -2). Which is smaller: c or -1/9?
-1/9
Suppose 2*x - 236 = 3*f - 0*x, -5*x = f + 90. Is -1/3 at most as big as f?
False
Let g = -4.8 + 4.6. Let u = -3 - -2. Which is smaller: u or g?
u
Let r = -137 - -144. Which is greater: r or -0.08?
r
Let p(c) = -5*c**3 - 3*c**2 - 4*c - 1. Let i be p(-2). Which is smaller: i or 34?
34
Let p(g) = -g. Let x be p(-3). Let n be (-9)/(-4) - x/12. Let y be 2/(-7) - n/(-7). Are 2/5 and y non-equal?
True
Let i(l) = l**2 + 2*l - 8. Let r be i(-6). Let u be 58/(-33) + r/24. Is 0 bigger than u?
True
Let w = -186 + 176. Is -20 < w?
True
Let z = 9 + -8.96. Let o = z - 0.04. Which is smaller: 6 or o?
o
Let l = 0.09 + 0.31. Let i = l - 0.5. Is i <= -0.2?
False
Suppose -4*d - 8 = -4. Is 16 greater than d?
True
Let z = -3743/10 - -374. Is -1 equal to z?
False
Let l be ((-1)/2)/(3/6). Let c be (1 - 1) + 12/(-69). Which is smaller: c or l?
l
Let v = -0.039 + -0.661. Which is smaller: -0.4 or v?
v
Suppose 6*u - u = 0. Suppose -4*j = -2*p + 17 + 1, u = -2*j - 8. Is p > 2/7?
True
Suppose 7 - 1 = -2*v. Suppose 2*b - 41 = 4*k - 9, -4*k = 2*b + 32. Let q = k + 15/2. Which is bigger: q or v?
q
Let u be (-6)/10 + (-4)/10. Let p(f) = 4*f + 1. Let x be p(u). Let w be (-1)/x - (-14)/30. Which is bigger: 1 or w?
1
Let v(g) = -2*g + 47. Let q be v(24). Which is smaller: q or -4/23?
q
Let f = -0.78 + 0.08. Let g = 0.7 + f. Let p = 0.1 + -2.1. Is g >= p?
True
Suppose 0 = -5*i - 5*v + 20, -4*v = i - 3*i + 14. Suppose 1 = 2*s - 9. Is i at least s?
True
Let h = 80/13 + -6. Suppose 0 = -3*d + 12, s - 2*d + 7*d = 19. Is s equal to h?
False
Let i be 1/(-4) + (-17)/(-4). Suppose -9*a + i = -5*a. Is a at most as big as 2?
True
Suppose y + 18 = -7. Which is smaller: y or -23?
y
Let t = 15.6 - 14.5. Which is bigger: t or 6/7?
t
Let j = 25 + -15. Let m be (j/(-45))/((-1)/1). Which is smaller: m or -1?
-1
Let g = 54 - 194. Let p be (1/3)/(g/42). Is p at most 0.1?
True
Let i = 196/5 - 40. Let g = i + 9/10. Is g >= 0?
True
Let r = -8 - -9. Let l = -1.2 + r. Which is greater: -1 or l?
l
Let h = -14 + 13. Is h greater than or equal to -7/8?
False
Let b be (-1)/(-4) + (-15)/(-4). Let n = b + -6. Is n != -6/7?
True
Suppose c = o, 0*c - 3*c + 4 = -5*o. Let u be -1 + 40/14 + o. Which is bigger: u or 0?
0
Let g(s) = s + 10. Let j be g(-7). Suppose -r = t, -t - 4*r + j = -0*t. Let x be 6/(-10) + 0 + 1. Is x smaller than t?
False
Let j = 12/23 + -13/69. Let z = -0.05 - -3.05. Which is greater: z or j?
z
Let y be (-18)/(-30) + 4/(-10). Let i be -1 - -2 - 2*1. Which is greater: i or y?
y
Let d = -74 + 101. Is d less than 30?
True
Let r = -9/14 + 22/7. Which is bigger: r or 2?
r
Let b be (-7 + 2)*(-8)/(-60). Let g(c) = c + 7. Let u be g(-5). Suppose 0 = -2*i - 3*i - y - 10, -5*i + 5 = -u*y. Which is greater: i or b?
b
Let h = 10 - 0. Let p(g) = g**3 + 7*g**2 - 8*g + 11. Let z be p(-8). Which is smaller: h or z?
h
Let l = 28 - 27. Let y = -1 + 5. Is l at most as big as y?
True
Let y be 2 - (3 + -1 + -1). Let v be (-4)/(-6)*(-3)/(-19). Which is smaller: y or v?
v
Let t = 71/6 + -709/66. Which is smaller: t or 2?
t
Let w be (0 + 12/(-9))*3. Let z = -51 + 40.2. Let d = z - -11. Are w and d nonequal?
True
Let i be (4/(-6))/(14/6). Let f be -7*((-6)/(-21))/(-2). Is i greater than f?
False
Let p(o) be the first derivative of 2*o**2 - o + 5. Let v be p(1). Which is smaller: -1 or v?
-1
Let o be 1*2/(-13) + (-44)/52. Let j(p) = -p - 2. Let h be j(-4). Which is smaller: h or o?
o
Let w = -10 - -10. Let j = 0.1 - 0.2. Which is bigger: w or j?
w
Let h = 12 - -4. Let z = 15 - h. Is z < 0.4?
True
Suppose 2*i + 12 = 18. Is 5/2 less than i?
True
Suppose 3*l - 43 = l + h, -2*l - 3*h + 23 = 0. Suppose 5 = -f, 3*f = -r - f - l. Are -6 and r nonequal?
True
Suppose -4*a + 9*a = -5. Let b = a - -3. Which is smaller: 1 or b?
1
Let l be (-34)/(-6)*(-1 + -2). Suppose 0 = t - 5*t - 4*i - 32, 4*i = t + 18. Let z = l - t. Which is greater: z or -6?
-6
Suppose -5*b = -5*p - 30, 3*p - p - 3 = -b. Let j = 0.2 - 0.2. Which is smaller: p or j?
p
Let v = 121/1127 + -1/49. Let r = 29/69 - v. Is -1 < r?
True
Let i be (-2 + -1)/(-6)*2. Let l be 0 + 0 + 65*1. Let q = 326/5 - l. Which is smaller: q or i?
q
Let p be (24/4)/(-3) + -2. Let x be p/(-6) + 2/6. Which is greater: 2/13 or x?
x
Let a = 14 + -10. Let j be (1/2*-2)/a. Are j and -2/15 unequal?
True
Suppose 5*z - 71 + 11 = 0. Let c be (-7)/(-14)*z/(-14). Let d = 0 - -1. Is c less than d?
True
Let s = -4 - -2. Suppose 20 = 4*a + 7*j - 3*j, 5*a - 7 = 4*j. Suppose 5*c + a = 2*c. Which is bigger: s or c?
c
Let z = -16 - -14. Which is greater: 8 or z?
8
Let f(k) = 2*k - 10. Let x be f(6). Which is bigger: 0 or x?
x
Suppose -12 = 3*q + 5*m + 1, -4*m - 4 = -4*q. Let c = -249 + 397. Let y = 1630/11 - c. Are y and q equal?
False
Let n = -0.8 - -0.77. Let b = n - 0.17. Is -1 greater than b?
False
Let n = -54 - -48. Which is smaller: 1/5 or n?
n
Let d(p) = -p**2 - p + 1. Let a be d(2). Let v be ((-2)/(-16))/(a/15). Which is bigger: 1 or v?
1
Let x = -2 + 2. Let z = 17/9 + -20/9. Is x <= z?
False
Let q(h) = -h**3 - 14*h**2 - h - 13. Let v be q(-14). Is v greater than 2/25?
True
Let w(v) = v + 1. Suppose 0*p = -p. Let l be w(p). Which is smaller: l or -2/11?
-2/11
Suppose 0*f = l + 2*f, 2*f = 4*l - 30. Let c be 8/l*(-3)/(-2). Suppose 3*g = c*g + 3. Is g >= 3?
True
Let a = 9/4 - 5/2. Is -6 < a?
True
Suppose 0*d - 4*k - 10 = -3*d, -5*d = 3*k + 22. Which is smaller: d or -4?
-4
Let a = 2.9 + -0.9. Let i = -1 - -1. Let w = a + i. Which is bigger: w or -1/2?
w
Let w(f) = f**2 - f - 2. Let a be w(2). Do a and -3 have different values?
True
Let y be 2/(-6) + 2/3. Is -0.3 <= y?
True
Let w(i) = 2*i**2 - 2*i - 1. Let s be w(-1). Suppose -s*p = -0*p. Let f = p + -3. Are -2 and f equal?
False
Let j = -10 + 18. Let w be j/10*(-15)/(-6). Which is smaller: 1/2 or w?
1/2
Let v = 1 - 0.5. Let k = -12 + 11.9. Which is greater: k or v?
v
Le