et h = 1 - 1. Let f = h + 0. Let b = 110 - 551/5. Is b equal to f?
False
Let m be 1 - (998/14)/(-1). Let h = -61 - -133. Let k = m - h. Is 0 at least k?
False
Let k be -2 - 3/((-3)/(-19)). Let f be -1 + 0 + 2994/k. Let l = f + 143. Which is smaller: -1 or l?
-1
Suppose -28 = 8*i - 12*i. Which is bigger: 8 or i?
8
Let k = 0.11 - 0.21. Is -1/6 greater than or equal to k?
False
Let v be 1/(2/6) + -3. Is v > -2/113?
True
Let n = -5 + 4. Let o = -3/80 + 113/880. Is o equal to n?
False
Let f = -1.06 - -0.97. Which is bigger: f or 8?
8
Let a = -423 - -423. Let s = -0.7 - 0.3. Which is greater: a or s?
a
Let v = -19 + 18. Let r = 37/93 - 2/31. Is v greater than r?
False
Let r be ((-75)/4)/(2/(-8)). Let i be (1/(-3))/((-5)/r). Suppose -4*w = -16, -7*x + 4*x + 2*w = i. Do x and 1 have the same value?
True
Suppose 0 = 5*d + 4*b - 46, d + 4 = 5*b - 10. Suppose -d*a + 4*a = 4. Which is smaller: 0 or a?
a
Suppose -5*l - 15 = -3*r, 0 = -3*l + r - 5. Suppose l = 2*h - 2*q + 16, -5*h - 2*q = q + 8. Let d be (-1)/(1*1/3). Which is smaller: d or h?
h
Let c = 0.11 - -0.09. Let v = 0.1 + -0.1. Let x = v + c. Is -2 < x?
True
Suppose 7*l + 38 = 10. Which is greater: -5 or l?
l
Let a = 17 + -16.8. Which is smaller: 24 or a?
a
Let u = -26 - -26. Is 0.23 <= u?
False
Let f(q) = q**2 - q - 2. Let h = -2 - -4. Let k be f(h). Suppose -2 = -n - k*n. Is 5 != n?
True
Let m be (-6)/(-27) - 164/9. Is m bigger than -17?
False
Let v = -258/335 + -2/67. Is v greater than or equal to -1?
True
Let u be (-2)/(-8)*2*6. Let v = -0.31 - 14.69. Let o = -14.9 - v. Which is greater: u or o?
u
Let x = -729/13 - -56. Is 0 less than x?
False
Let c be (2/(-6))/((-9)/(-27)). Let u = -1 - c. Is 0.2 bigger than u?
True
Let r = -277/60 + 14/3. Suppose -2*v - 3*v - 5*u = 0, 5*v = 4*u. Which is smaller: v or r?
v
Let f = -520/497 - -4880/6603. Let o = f - -2/93. Let a = 2 + -2. Which is greater: a or o?
a
Let a = -0.127 + 0.027. Is a less than 22?
True
Let n be 6/30*(-5)/8. Suppose -5*g - 5 = -0*g. Is g bigger than n?
False
Let u = 21 - 144/7. Is -1 greater than or equal to u?
False
Let i be (-474)/(-55) + 46/253. Are i and 9 equal?
False
Let x = -6 + 7. Do -1/27 and x have the same value?
False
Let g = -18.7 + -5.2. Let r = g - -24. Which is smaller: r or -7?
-7
Suppose 0 = -3*j + 9, 3*x - 3*j = 2*j - 9. Let v be x/(-7)*(-3)/(-2). Is 1 < v?
False
Let l be ((-2)/4)/(11/(-3212)). Let r = 20411/12 - 288095/156. Let f = l + r. Is -1 >= f?
False
Let u = -409/6 + 69. Which is greater: u or 0?
u
Let u be (27/180)/(2/(-16)). Let h(j) = -j**3 - 7*j**2 - 5*j + 5. Let z be h(-6). Which is greater: u or z?
z
Let w(g) = g**3 - 5*g**2 - 6*g + 5. Let x be w(6). Let p be (-3)/x*(0 - 1). Is p smaller than 2?
True
Suppose 5*j = -15, -5*j = 4*g + 5 + 26. Is g greater than or equal to 2/9?
False
Let f(r) = -5*r - 6. Let j(n) = 11*n + 13. Let b(c) = 13*f(c) + 6*j(c). Let g be b(1). Do 0.5 and g have different values?
True
Let y = 7 + -7.5. Which is smaller: y or 0.1?
y
Suppose 11*i - 28 = 4*i. Let k(z) = z**2 + 4*z. Let b be k(-6). Suppose 5 = -f + 2*h - 0, 3*h = b. Is i > f?
True
Let m be (1/2)/(2/(-4)). Which is greater: m or 1/6?
1/6
Let l = 16.31 + -0.31. Let v = l + -15.9. Let z = 0.23 + -0.03. Is z > v?
True
Let x be (-3 - 11/(-2))*2. Let z = -7 + x. Let t(f) = f**2 - 2*f - 3. Let j be t(3). Is z equal to j?
False
Let b = 4 - 3.3. Let f = 0.3 + b. Which is smaller: f or 0?
0
Suppose 4 = n + n. Suppose 2*q - 20 + 8 = 0. Suppose 0 = 4*v - 3*c - q, 3*v - 11 = -5*c + 4*c. Is v at most as big as n?
False
Let j = -0.9 + -0.1. Let d be 0/4 + 2/6. Which is smaller: j or d?
j
Let j be 0/((-4)/(-2))*1. Suppose -3 = -3*a + 4*f - 6, j = 5*f. Which is smaller: a or 2/9?
a
Suppose 2*l = 27 + 25. Is l >= 1?
True
Let c = 11 + -9. Suppose -q - c*q = 2*l - 32, -80 = -5*l - q. Which is greater: l or 17?
17
Let x = -17 - -19. Let a = 3 - x. Does 0 = a?
False
Let g be 3/(-4) + 1/(-4). Let m be ((-6)/(-267))/1*g. Let v = -93/178 - m. Is 0 less than v?
False
Let k(c) = c + 12. Let p be k(-9). Let q be 49/(-17) - p/(-1). Which is greater: -0.2 or q?
q
Let j be 27/(-6)*(-760)/42. Let f = j - 582/7. Is -1 greater than f?
True
Suppose x = -2*v - 5, 0*v + 2*v = -5*x - 1. Let f = 3 + -1. Which is bigger: v or f?
f
Let o be (-44)/(-48) - 1/4. Suppose 0 = -j - j - 50. Let g = j + 73/3. Do g and o have different values?
True
Let z be ((-1)/(-2))/((-65)/10). Do z and -1 have different values?
True
Let s be 2/4*((-246)/9 - 4). Is -17 != s?
True
Suppose -w + 6*w + 5 = 0. Let x = -3 - -1. Is x equal to w?
False
Let k be -2*(1/(-2))/((-6)/186). Is k <= -31?
True
Let c = 2194/9 + -244. Let j = 2 - 0. Suppose -p + j*p = 0. Is p greater than c?
True
Suppose -s - 4*s - 5 = 0. Let t be (-4)/(-11)*s/(-2). Suppose 0 = -2*h - 0*h - 2. Is t less than or equal to h?
False
Suppose -5*r + 141 = 1. Suppose 5*g - 3*g - 4 = 0, -r = 3*c - 2*g. Are c and -8 unequal?
False
Let h = -0.5 + 1. Let l = h - 0.4. Which is smaller: 1 or l?
l
Let a = -0.3 - 0.2. Let f = -21 + 21.5. Let g = a + f. Do 0.3 and g have the same value?
False
Let j(r) = -2*r - 9. Let w be j(-7). Let m be 2/((5/2)/w). Suppose 2*a + 2*a - m = 0. Is a equal to 2?
False
Let x be (-42)/52 + 6/12. Let o = x - -29/52. Which is bigger: -1 or o?
o
Let p = -7 - -3. Let g be 2/(-8) + (-1)/p. Suppose -5*z + 5 = -0*z. Which is greater: z or g?
z
Let r = -11 + 10. Let x = -3 + 5. Which is smaller: x or r?
r
Let p = 1.8 - 9.8. Is p less than or equal to -2?
True
Let a = -3 + -6. Let n = a + 15. Let b be (-6)/28 - n/21. Which is smaller: 0 or b?
b
Let h be ((-9)/18)/(1/(-6)). Suppose 5*i + h = -2. Is i at least as big as 0?
False
Let j be (-8)/(-6)*-1*-15. Suppose -m - 4*m = j. Suppose 7 = -20*y + 13*y. Which is smaller: m or y?
m
Let s be 3489/35 + (-2)/5. Let k = 99 - s. Let r = 9 - 10. Is k at least as big as r?
True
Suppose 5*r = -5 + 20. Suppose -3*x + 2*u + 11 = 0, -4*x - 3*u = -2*u - 11. Is x bigger than r?
False
Let s be ((-1)/(-3))/((-5)/(-15)). Let y(b) = -b. Let v be y(0). Which is smaller: v or s?
v
Let c = -3 - 9. Let b be c/(-10) - (-12)/(-60). Is 4/11 at least b?
False
Let v = 41 + -34.8. Let q = -6 + v. Which is bigger: q or -0.1?
q
Let y = 0.005 + 26.995. Let c = 27.1 - y. Let u be 1/(((-6)/4)/(-3)). Which is smaller: u or c?
c
Let a(i) = -3*i - 1. Let m be a(-1). Let k = m - 2. Let x = k - -1. Which is greater: x or 1/4?
x
Suppose -3*i - 1 = -0*x - 5*x, 0 = -3*i + 4*x + 1. Which is greater: 9/5 or i?
i
Suppose -2*z - 2*j + 26 = 0, 4*j - 24 = -4*z + 7*j. Let l be 4/(-6) - (-33)/z. Is l less than or equal to 3?
True
Let j(n) = 4*n - 15. Let y be j(9). Which is greater: y or 20?
y
Let i = -6 - -6. Let k(u) = -u**2 + 4*u. Let v be k(3). Are v and i equal?
False
Suppose 2*n + 0*h + h - 12 = 0, -3*n + 4*h + 29 = 0. Suppose 2*b + 15 = n*b. Suppose -b = 4*j - 7*j. Which is bigger: 3/2 or j?
3/2
Let x = -11 - -13. Suppose -4 = -d - 5*t, 0*d - 2*d - x*t = 0. Which is bigger: -2/39 or d?
-2/39
Let t = -0.3 + 0.5. Let a = -1 - -3. Suppose 0 = -2*f - 3*x + 5*x + 8, a*f + 16 = -4*x. Is f bigger than t?
False
Let u be 1 - 0 - (21 + -21). Which is smaller: -2/25 or u?
-2/25
Let d(a) = a - 2. Let o be d(-3). Are o and -4 non-equal?
True
Let z be -8*(1 + 9/(-6)). Let l be 1*z - 3/3. Suppose 0 = l*x + 4 + 5. Which is greater: x or -2?
-2
Let o = 4 - 3.6. Let x = o - 1.4. Let q = 0.7 + 2.3. Are x and q non-equal?
True
Suppose -3*k + 0*k - 15 = 0. Let c be (0/2)/(3 + k). Are 3/2 and c equal?
False
Let h = -87 - -81. Which is bigger: h or -34/5?
h
Suppose 0*u - 3*u - 276 = 0. Let q = -642/7 - u. Are -1/3 and q equal?
False
Let c(k) = k**2 - 5*k - 1. Let n be c(5). Let s be (n/3)/(5/255). Which is greater: -16 or s?
-16
Let a(v) = -v**3 + 6*v**2 - 3*v - 3. Let t be a(3). Suppose -2*i - 3*y - t = 0, -3*y - 7 = -3*i + 8. Let j = -2/3 + 4/3. Is i less than j?
True
Suppose 0*s = -4*s + 8. Suppose -s*d = d + 18. Do -7 and d have the same value?
False
Let h be 1/(12/16 - 1). Let w(i) = -5 + 3*i - 3*i**2 + 6 + 2*i**2. Let d be w(4). Is h at least d?
False
Let j be ((2 - 0) + -3)/(-1). Suppose v = -3*v + 12. Let t be (3 - 8/3)*v. Is t < j?
False
Suppose -5*w + 6 + 14 = 0. Suppose -3*t = 5*g + 10, 5*g = -3*t + t - 15. Which is smaller: t or w?
w
Let z(j) = j**3 - 9*j**2 - j + 9. Let l be z(9). Suppose m = -1 - l. Are m and