13
Let y = -8 + 9. Let s = 0.8 - y. Is 0.2 >= s?
True
Let p = -4889/6 - -819. Is p >= -0.2?
True
Suppose f - 6*f - 5 = 0. Let i = 6 - 8. Are f and i unequal?
True
Let c = -24 + 24. Let o = 9 - 13. Which is smaller: c or o?
o
Let g = 0.77 - -1.23. Let m = 1.94 + 0.06. Is m at most as big as g?
True
Suppose -3*o + 19 = -4*o + 4*v, v = -2*o - 2. Which is smaller: o or 0?
o
Let r = 24.65 + -24. Let l = -0.05 + r. Let b = -0.5 + l. Which is greater: -0.1 or b?
b
Let v be (-3 + (-524)/(-21))/((-3)/(-9)). Let c = -100 - -34. Let m = v + c. Is m at most as big as -1?
False
Let t = -45 + 41. Let n(q) = -4 - 5*q + 3*q**2 + 1 - 4*q**2. Let k be n(t). Is 1/3 >= k?
False
Let q = -10 + -5. Let a be (-4)/14 + q/(-28). Suppose -f = -13*f. Which is smaller: f or a?
f
Suppose -5*z + 0*x - x + 33 = 0, 4*x = -2*z + 24. Are z and 5 nonequal?
True
Let b = 85 - 84.8. Which is smaller: b or 14/9?
b
Let y = 0.11 - -0.89. Which is bigger: y or -15?
y
Let y be ((-1)/((-20)/(-6)))/3. Suppose -2*a = -4*a + 4. Suppose -4*m - 8 = 0, 4*m + 11 = -a*i - i. Which is smaller: i or y?
i
Let g(p) = -p**2 - 2*p + 1. Let u be g(-2). Let q = -1 - u. Let n be ((-3)/12*q)/2. Is n < 4?
True
Let f = -0.4 + 0.3. Let k = -0.7 - -0.8. Let s = -0.2 - k. Does s = f?
False
Let n = -11389/90 + 253/2. Which is bigger: n or 1?
1
Let v(l) = l**3 + 3*l**2 - 4*l + 6. Let y be v(-5). Let q = y - -45. Let i be 1 - q/(-27) - 2. Is -1 at least as big as i?
False
Let i(r) = r - 4. Let q be i(4). Suppose -4*v = 3*o - q*v - 18, 2*v = -2*o + 10. Is 2 > o?
False
Suppose 0*j + 124 = 4*j. Suppose 0 = -3*u + 15, -2*u + j + 5 = v. Suppose -2*p - d - v = 3*d, -4*p - 3*d = 27. Which is smaller: p or -2/7?
p
Let z = -1.1 - -1. Let o = 2 + -2.2. Let b = 0.3 - o. Do z and b have the same value?
False
Let s = -1130 + 220349/195. Which is smaller: s or 0?
s
Let z = -0.236 - 0.064. Are z and -2/13 unequal?
True
Let o = 18 - 17. Which is bigger: -7 or o?
o
Suppose -p + 3 = -5*f, -p + 4*f + 1 + 1 = 0. Suppose 2*h + 15 = 13. Let c = p + h. Which is smaller: c or -4?
-4
Suppose -3*s + 5*l = -9, -8*s + 15 = -3*s - l. Suppose 0 = s*u - 12 + 39. Is 1 less than u?
False
Let y(n) = -3*n - 2. Let k be y(-2). Suppose -k*u = -u + 24. Let h be (-6)/u*4/42. Are h and -1 equal?
False
Let a be 3/(-9) - (-21)/9. Let f = a - 1. Is 1/6 greater than or equal to f?
False
Let d(n) = n - 9. Let j be d(9). Let v(k) be the first derivative of k**4/4 - k**3/3 - 1. Let w be v(j). Are -1/5 and w unequal?
True
Let z(h) = 9 + 3 + 0*h + 3*h - 4*h. Let a be z(11). Is 4/7 less than or equal to a?
True
Let w(i) = i**3 - 8*i**2 + i - 2. Let f be w(8). Which is bigger: f or 8?
8
Let a = 37 - 149/4. Let h = 0 - -2. Suppose -3*w + 0*i - 2*i = -13, 3*w = i - h. Is w greater than a?
True
Suppose 4*i + v = -5, -5*i + 4*v - 13 + 33 = 0. Let u = -1/15 - 11/60. Is i smaller than u?
False
Let q = -0.22 - -0.28. Which is smaller: -1/3 or q?
-1/3
Let v be 5 + 2 + 3*-1. Suppose 2*t - v*t = 4. Which is greater: t or -1?
-1
Let n be (3/1)/((-30)/(-310)). Suppose -4*t = -n - 9. Which is greater: t or 12?
12
Let f be (-1 - -3) + (-13)/8. Let l = -0.035 + 0.035. Which is bigger: l or f?
f
Suppose -2*d - d - 27 = 0. Let i be -9*(30/d)/5. Let u be 4/16 - (-23)/4. Is i != u?
False
Let x be (7 + 1)*(-2)/8. Which is smaller: x or 1/6?
x
Suppose -9*q + 25 = 187. Which is smaller: -16 or q?
q
Let s = -11.8 + 12. Which is smaller: 11 or s?
s
Let c(s) = -s**3 + 6*s**2 + 1. Let j be c(6). Is j > -4?
True
Let s be (-1)/1 - (8 + -11). Suppose -o - s*o + 4*m - 26 = 0, 12 = 4*o + 4*m. Which is smaller: -1 or o?
o
Let h be -1 - (-2)/3 - (-6)/8. Which is smaller: 0 or h?
0
Suppose -3*p - 190 = -5*g, g - 2*p - 8 - 37 = 0. Which is greater: 33 or g?
g
Let r be 508/(-11) + 24/132. Let x = 142/3 + r. Which is smaller: 1 or x?
1
Let b(v) = -v**3 + 3*v**2 + 2*v - 1. Let g be b(3). Let x = 10 - g. Is x at most 4?
False
Let z = -41/80 - -5/16. Is 0 != z?
True
Let a be (4/(-6))/(2/(-3)). Suppose -19 = -p - 5*b, -3*p + a = 2*b - 4. Let q = -189 - -1703/9. Which is bigger: q or p?
q
Suppose -5*o = -13 + 3. Let g(w) = -9 + 5 - 3*w + w**3 - 3*w**o - w. Let i be g(4). Which is smaller: -5 or i?
-5
Let a = -95 + 126. Which is smaller: -1 or a?
-1
Let z = -49/68 + 8/17. Is -5 != z?
True
Suppose -9*d = -7*d + 78. Let h = d + 57. Which is bigger: 17 or h?
h
Let q(d) = -d + 11. Let m be q(7). Let z be m/(-14) + (-976)/112. Which is smaller: z or -8?
z
Let s = 0.6 + -2.6. Let w = s + 5. Let j = -4 + w. Which is bigger: j or -1/2?
-1/2
Suppose -5*g = -0*g. Which is smaller: -0.3 or g?
-0.3
Let p be 3 - (-12)/15 - -2. Let w = p + -97/15. Which is smaller: -1 or w?
-1
Let a be ((-4)/16)/((-14)/(-8) - 2). Let l = 3/2 - 13/8. Do l and a have the same value?
False
Let l = 13 - 11. Suppose -l*k - 7 = 9. Which is smaller: -3 or k?
k
Let n(w) = -3*w**2 + 4*w - 12. Let m(s) = s**2 - s + 4. Let f(u) = 8*m(u) + 3*n(u). Let x be f(3). Is -5 less than x?
True
Let w = 0.26 + -0.2. Let r = w + -1.06. Let h = -0.8 - 0.2. Is h equal to r?
True
Suppose 0 = g - 3*d + 6*d + 4, 0 = -g - 5*d - 4. Let r = g - -6. Suppose -q = -r - 0. Which is greater: q or 1?
q
Let l = -0.2 - 0. Let j = 0 + 0. Is l < j?
True
Let c(z) = -6 + z**2 + 2 + 4*z - 1. Let f(l) = 6*l + 1. Let v be f(-1). Let d be c(v). Which is greater: d or 1?
1
Let t = 3.5 - 2.5. Are -10 and t non-equal?
True
Suppose 3*k - 5 = 4. Let d = k + -3. Let x = -0.6 + 0.5. Is d less than or equal to x?
False
Let j = -0.07 + 0.07. Is -9 < j?
True
Let u = 176 - 178. Are u and 3 nonequal?
True
Let x = -6.1 - -6. Let z = 1.1 + x. Are z and -0.1 unequal?
True
Let h be (0 - 0)/(3 + -5). Suppose 3*y + 5*t = 26, 0 = -h*y + y + t - 6. Suppose -9*n + 4*n + w + 12 = 0, -4*n - 5*w = y. Is n < 3?
True
Let a(f) = 2*f**2 - 13*f - 9. Let o be a(7). Which is smaller: -4/5 or o?
o
Let d = 94 + -93. Is d greater than 4?
False
Suppose 4*x = 6*x + 408. Let t = x + 598/3. Are -6 and t equal?
False
Let o = 152/5 - 31. Which is bigger: o or -2?
o
Suppose -20 = 2*c + 5*g, 0*c + 4*c + 3*g + 12 = 0. Which is greater: 72 or c?
72
Let k = -7 + 0. Let p = k - -3. Let w = -3.9 - p. Is w less than or equal to -2/3?
False
Let j(c) = 2*c**2 - 12*c - 13. Let w be j(7). Let o be (-4)/(-8) - w/2. Let l = -1/6 - 1/12. Is o at least l?
True
Let r be 9/(-12) - (-57)/12. Suppose -r*q - 2*i + 19 - 1 = 0, -9 = -3*i. Let j = q - 3. Do j and -2/7 have the same value?
False
Let n(y) = -y**2 - 10*y + 13. Let d be (-1)/(4/(-44)*-1). Let w be n(d). Is 2 < w?
False
Let v = 697/12 - 193/3. Which is smaller: v or -6?
v
Let u be 217/20 - (-6)/15. Let s = 11 - u. Let q = 3 + -2. Is q equal to s?
False
Let p = -134 + 54. Which is smaller: -81 or p?
-81
Suppose -4*c + 28 = -2*b - 2*b, 4 = 2*c. Let w = -11 - -7. Is b bigger than w?
False
Suppose 0*l = 3*s - l + 7, 2*s = -3*l - 12. Let i be (-3)/12 - (-42)/8. Suppose -i*u = 6 + 14. Which is smaller: s or u?
u
Let z(p) = 14*p + 1. Let i be z(-4). Let x = i - -113/2. Which is greater: 2/11 or x?
x
Suppose c = -3*c - 32. Is c less than -9?
False
Suppose 2*v + 6*t = 2*t - 14, 3*t = v - 13. Let a = 3 + -3. Suppose u - 6*u = a. Do v and u have different values?
True
Let x be 2*(-2)/(12/(-3)). Which is smaller: -1/3 or x?
-1/3
Let j be (55/20 - 3) + (-18)/(-8). Do j and 1/2 have different values?
True
Let j(i) = -7*i + 0 + 4*i + 4. Let b be j(-4). Let t be b/36*(-3)/8. Is -3 at most t?
True
Let t = 920/7 - 131. Suppose -2*q + 0 = l + 5, 4 = 4*l - 4*q. Let s be 1 - ((-3 - l) + 2). Which is greater: s or t?
s
Let g = 0.13 - -6.87. Let l = g - 7.1. Which is greater: 1/10 or l?
1/10
Let w = 19 - 12. Suppose -2*r - w = 5*b + 1, -4*r + 3*b + 36 = 0. Suppose q + 5*c = -8, -5*q + c = -2*c - 44. Which is greater: r or q?
q
Let v(x) = -x**3 + 12*x**2 - 11*x - 1. Let g(p) = 2*p - 1. Let l be g(6). Let r be v(l). Which is smaller: r or -2/15?
r
Let r = 22/9 + -16/9. Let i = -8/3 + 13/6. Which is smaller: i or r?
i
Let q(o) = -4*o. Let i be q(-5). Let r be (-8)/10*i/(-8). Let l be 4/(-12)*8/r. Is l equal to 0?
False
Suppose -3 = 5*y + 7. Is y at most -2?
True
Let c be 1*3/6 - 15/4. Is c less than -2?
True
Let d(j) be the third derivative of -j**6/120 - j**5/10 + 7*j**4/24 + 7*j**3/6 + 11*j**2. Let f be d(-7). Are f and -1 non-equal?
True
Let u = -5.5 - -32. Let w = 17 - u. Let k = w - -9. Is k less t