Let i = -11 + 11. Is i bigger than 14?
False
Let z(r) = -6*r**2 + 2*r - 3*r + 3 - 2. Let u be z(1). Let c = -8 - u. Is -2 less than or equal to c?
True
Let n = -0.044 - 0.056. Is 0.6 greater than n?
True
Let k(a) = a**3 + 4*a**2 - 7*a - 12. Suppose 21 = -4*w + 1. Let u be k(w). Is u > -1?
False
Let g = -15/2 + 47/6. Is g greater than 19?
False
Suppose -n = -6*n. Let x = 51 + -49. Suppose 0 = -t + x*p + 1 + 8, 5*t - 5*p - 20 = n. Are t and -1/7 unequal?
True
Suppose 2*j = 3*z - 49, -2*j = -5*z + 2*j + 85. Suppose 0 = -5*d + 7 + z. Is d equal to 4?
True
Suppose 2*x - 5*o + 9 = 0, -2*x - 2*o = 2*o. Let n be (x - (-36)/21)*-7. Suppose -7 = 2*f - 3*a - 22, -n*f - a - 5 = 0. Which is smaller: -1 or f?
-1
Let h(d) = d**2 + 8*d + 2. Let g be h(-7). Which is bigger: -6 or g?
g
Let q = -2.3 - -3.3. Which is greater: -1.2 or q?
q
Let t be ((-16)/(-18))/4 - (-2)/(-9). Which is bigger: t or 4/37?
4/37
Let x = -0.3 - 15.7. Let t = x - -15.82. Let y = 0.02 - t. Which is greater: y or 0.1?
y
Let l = -0.17 - 5.83. Let i = 5.03 + -0.03. Let v = l + i. Is v less than -2?
False
Let v = -1 + 1. Let o = 2/27 - -16/27. Which is smaller: o or v?
v
Suppose 2*c - 10 = -0*c. Suppose 0*z = c*u - 2*z + 8, 2*u = 4*z. Is -3/4 < u?
False
Let s = 323/7 + -46. Which is smaller: s or 3?
s
Let i = 0 + -2. Let l = -2 - i. Suppose c + 0*c + 1 = l. Is 0 at most c?
False
Let z be 1*(-2 + 1/1). Let x = 1 - -5. Let u = -5.9 + x. Which is greater: z or u?
u
Suppose 0*o = o + 4. Let m be (o/27)/(2/3). Let r be 7 + (-6 - (0 - -1)). Which is smaller: m or r?
m
Let g(l) = 3*l - 10. Let y be g(5). Let s = y - 8. Which is bigger: -9/4 or s?
-9/4
Let b(v) = -51*v - 2. Let c(a) = -26*a - 1. Let o(t) = 3*b(t) - 5*c(t). Let d be o(-1). Suppose 3*x - d = x. Which is smaller: -0.1 or x?
-0.1
Suppose 0 = x + 6 - 3. Let o be 2 + x + (-76)/(-12). Which is greater: 6 or o?
6
Let n = 986 + -18738/19. Which is bigger: 1 or n?
1
Let y be (-3 - -12) + -4 + 5 + 2. Which is smaller: -1 or y?
-1
Let r(o) = 7*o + 21. Let u be r(-7). Which is bigger: -27 or u?
-27
Let v(p) = -2*p. Let c(u) = 5*u - 1. Let t(i) = -3*c(i) - 7*v(i). Let s be t(3). Let j be ((-6)/(-20))/((-9)/(-5)). Is s <= j?
True
Let w(b) = -2*b**2 - 24*b - 4. Let c be w(-12). Is -27/5 less than or equal to c?
True
Let a = 0.19 - 0.39. Is a smaller than 1?
True
Suppose 0*k - 3*k = -3. Let s = 6 - 5. Suppose -k = -2*f + s. Which is smaller: 3/2 or f?
f
Suppose -4 = 3*x + v - 10, 10 = -5*x + 5*v. Let m(w) = 3*w + 1. Let u be m(x). Suppose -u*f = -0*f. Which is greater: -2/11 or f?
f
Let i = 0.53 + -0.6. Let d = -0.07 - i. Is 0 smaller than d?
False
Let i = -14 + 16. Let x(d) = -d**3 + 3*d**2 + 2*d - 3. Let c be x(2). Suppose i*a = c*a. Are -2/17 and a nonequal?
True
Let q(b) = -4*b**2 + 50*b**2 - 2*b - 1 - 4*b + 4*b. Let c be q(2). Let y = c + -1255/7. Is 0 equal to y?
False
Suppose -7*o + 2*o = -100. Let w be (-6)/o*(-4)/6. Let d = 5 + -6. Which is bigger: w or d?
w
Let v = 26 + -26.9. Which is bigger: v or 0?
0
Let c = -12 - -10. Let n = c + -3. Let q = -2 - -3. Is n not equal to q?
True
Let k(a) = 7*a - 8. Let s be k(-15). Let v = s - -793/7. Is v < 1?
True
Suppose 0 = -5*o + 2*q - 102, 4*o - q = -0*q - 84. Which is greater: o or -23?
o
Let l = -27 - -25. Is -16/7 less than l?
True
Let y(o) = -o + 4. Let f be y(8). Let d be 4*(-6)/(-8) + -7. Is d bigger than f?
False
Let v be (-1)/5 + 30/25. Suppose -2*o - 3*f - 3 = 0, -3 + 1 = 5*o + 2*f. Does o = v?
False
Let v be 0 + 0 + (-76)/(-10). Let c = 124/15 - v. Suppose 2*l - 1 = 1. Is c greater than l?
False
Let f(k) = k + 1. Let p be f(1). Suppose -p*h = h + 3. Is h at most 1/4?
True
Suppose -3*r + 45 + 3 = 0. Is r greater than or equal to 17?
False
Let k = 2 + -1. Let r(y) = 4*y**3 + y**2 - 2*y + 1. Let w be r(k). Is w not equal to 4?
False
Let g = 66 - 44. Suppose -3*w = 2*a + w - 28, g = 3*a + w. Let s = a - 3. Which is bigger: s or 1?
s
Let b = -21 + 30. Suppose r = 2*r + b. Which is greater: r or -8?
-8
Let t = 5 - 5. Let c = t - -8.2. Let s = 8 - c. Which is greater: s or 2?
2
Let t(r) = r**3 - 7*r**2 + 6*r. Let h be t(6). Let n(k) = -5*k**2 + 1 + k**2 + 3*k**2 - k. Let p be n(h). Is p greater than -2/5?
True
Let p be 820/(-24) - (-1)/6. Let o = p - -205/6. Are 0 and o non-equal?
True
Let z = 3.8 - 0.8. Let s(x) = -x**3 + 10*x**2 + 12*x - 14. Let y be s(11). Let j = 3 + y. Is j at least as big as z?
False
Suppose 0 = 3*n + 1 + 5. Let c be (-2 + 4)/(n/3). Let r = 2 + c. Is -2/7 < r?
False
Let x(s) = s - 4. Let a be x(7). Let d be (-4)/(-2) + (2 - a). Which is smaller: 0 or d?
0
Let m = 7 + -6. Let b = m + 0. Let n = 1 - 2. Is b equal to n?
False
Let t = 61 - 303/5. Let n = -0.7 - -0.75. Let z = 1.05 - n. Is z at most as big as t?
False
Let d = 0 - -2. Let u be 6/(-4) - 42/(-12). Is u > d?
False
Let p = -0.12 + 4.82. Let t = -5 + p. Which is bigger: t or 0.2?
0.2
Let o = 10 - 15. Let b be o/10 + (-2)/(-16). Which is greater: b or 0?
0
Let i = -1195/19 - -63. Is i bigger than 1?
False
Suppose -2*q + c - 79 = -0*c, 0 = -q - 2*c - 47. Do q and -40 have different values?
True
Let c = 11.3 + -10. Let t = -2.3 + c. Which is smaller: t or -2/21?
t
Let p = -46 - -45.77. Let k = -0.73 - p. Is 0 at most as big as k?
False
Suppose 0 = -t - t + 4. Let x = 6 - -1. Let n(i) = i**2 - 6*i - 4. Let d be n(x). Which is smaller: d or t?
t
Let y = -4 + 0. Let c = -4 - y. Which is smaller: c or -1?
-1
Let n(g) = -g**2 - g - 2. Let w be n(0). Is w at most as big as 0?
True
Let r be (-51)/(-18) + (-1)/(-6). Let x = r - 4. Which is smaller: x or 1/13?
x
Let z(j) = -j + 1. Let g be z(1). Let o = 1 - g. Let f be 20/9 + (o - 3). Is f at least as big as 1?
False
Suppose -3*n + 2 = 11. Is n > -3?
False
Suppose 1 + 2 = 3*d + 3*y, -5*d = y - 17. Is d > -0.2?
True
Let s(y) = -y. Let q be s(2). Let i = q + 12. Suppose -5*r + i = 5*t, -2*r + 4*t - t - 6 = 0. Which is bigger: -2/3 or r?
r
Let y(h) = h - 7. Let n be y(6). Let l be (3/4 + n)*2. Let b = 8 - 9. Is b < l?
True
Let f(a) = a**2 + 10*a + 12. Let x be f(-9). Let w = 5 - x. Suppose 0 = 3*h - w - 1. Is -1/5 greater than or equal to h?
False
Let m be 0 + -1 + 8/6. Let t = -210 + 2728/13. Which is greater: t or m?
m
Let f = 131.34 - 131. Is f less than -1?
False
Let p = -5/8 - -9/8. Let z = 159/4 - 40. Is z bigger than p?
False
Let s(w) be the third derivative of -w**4/24 + 2*w**3/3 - 4*w**2. Let i be s(6). Is -3 < i?
True
Suppose -h - 9 = 2*h + 3*x, -2*h = x + 1. Which is smaller: h or 4/3?
4/3
Let j be 4 + (0/3 - -4). Do 8 and j have different values?
False
Let i = 16.4 - 12.4. Which is greater: -13 or i?
i
Let k = 92 - 87. Let u be (-1)/3 - (-57)/9. Is k < u?
True
Suppose -2*z + 9 - 1 = 3*l, -2*z - 28 = -3*l. Let b be l/(-35)*(-3 - -8). Do b and -2 have the same value?
False
Let t = 15 - 7. Suppose -3*l + 1 = -t. Let n be -5 - (1 - (1 + l)). Is -3 greater than n?
False
Let q = 14 + -27/2. Which is smaller: q or -3?
-3
Let b = -99/7 + 97/7. Let p be -2 + 2/(-52)*4. Let d = p + 88/65. Which is smaller: b or d?
d
Let w be (-18)/(-14) - (-30)/(-105). Which is greater: w or -2/9?
w
Let k = -4 - -3. Let s = k + 0. Which is smaller: 2 or s?
s
Let k be (4 - 7) + 102/33. Is k smaller than -1?
False
Let u be (-96)/(-40) + 6/10. Which is smaller: 5 or u?
u
Let y be 2*(15/(-2))/(-3). Suppose 0 = -j - 4*v + 2*v - 6, 5*j + v = -3. Suppose -2*z - z + 18 = j. Which is smaller: y or z?
y
Suppose 3*d + 8 = -d. Let y = d + 2. Let t be 2/(-7) - (-9)/7. Which is smaller: y or t?
y
Let i = -5.15 - 0.1. Let v = -0.25 - i. Which is smaller: v or -1/4?
-1/4
Let u = -6 - -8. Let t be 1*(0 + (-1 - -3)). Let k = u - t. Which is smaller: 1 or k?
k
Suppose 4*q = -45 - 223. Which is smaller: q or -68?
-68
Let s(b) = 9*b**3 + b - 1. Let k be s(1). Let o = k - 8. Suppose 2*n - 3 = 4*y - o, -3*y = n - 1. Is 1 at most n?
True
Let h(r) = r**2 + 8*r + 8. Let i be h(-6). Is i >= -0.1?
False
Let b = 1 - 0. Suppose 0 = -4*c - 20, -4*c - 30 = -5*j - 0*c. Which is smaller: j or b?
b
Let r = 41 - 41. Which is smaller: -2/17 or r?
-2/17
Let r be (-82)/(-56) + (-10)/(-35). Is 0 less than r?
True
Let z be (-2)/89 + 4/(-10). Let x = -2/89 - z. Let v(c) = -c**3 - 5*c**2 - 5*c - 3. Let a be v(-4). Which is smaller: a or x?
x
Suppose -4*r - 4*x = r - 6, 3*r - 5*x = 11. Suppose r*d + 0*f = 2*f + 10, -d - f = 5. Which i