 0 = -4*y + 3 + 5. Is y at least -2/9?
True
Let t = 1.8 + -5.8. Are 2 and t non-equal?
True
Let f(b) = b - 7. Let u be f(9). Let i be (-1 + 2 - 4)*u. Let z be (i/9)/((-2)/(-6)). Is z bigger than -3?
True
Let f be 2/6 + (-320)/(-48). Which is smaller: -0.1 or f?
-0.1
Let a = -0.94 - 0.06. Are 1.3 and a nonequal?
True
Let t(d) = 5*d**2 - 2*d + 1. Let s be t(1). Let i(c) = -c**2 - 14*c - 8. Let m be i(-13). Is m smaller than s?
False
Let d be -1*2 + (-5)/(-10). Let c(n) = n**2 - 5*n + 1. Let b be c(5). Suppose -m - b = 1. Is m at most d?
True
Suppose -4*s - 25 = -5*o, -4*s = -o - o + 22. Which is smaller: 8/13 or o?
8/13
Let t be 1*3/(-9)*0. Let x = t + 1. Is x > -2/15?
True
Let x = -3 - -4. Let y = -1 - x. Suppose -15 = -5*b - 5*s, -3*b = s + 2 - 3. Which is greater: b or y?
b
Let c be -1 + (-3 - 0) - -8. Is 2 not equal to c?
True
Suppose 0 = 6*c - 3*c - 3. Let m = 1 - 1. Is m smaller than c?
True
Suppose 0 = -3*b + 2*b + 3*t - 7, 2 = 4*b - 2*t. Suppose 1 = 3*f + b*d - 1, f + 4 = 4*d. Is -2 greater than f?
False
Let g = 16 - 15. Which is smaller: 7 or g?
g
Let c = -1415/116776 + 1/1327. Is c at least 0?
False
Let b = -4 + 8. Suppose -3*f + 4 = -11. Suppose f*n + 3*k + 20 = 0, 20 + 5 = -5*n - b*k. Is n < -2/7?
True
Let n = 0 + 0.1. Let l = n + 0.9. Let y = 0.9 - 1.9. Which is smaller: l or y?
y
Let o be (-15)/(-5) - 16/2. Let b be (-4)/(-10) - (-12)/o. Suppose 2*q = 2*p + 12, 3*q + 2 = 17. Which is bigger: p or b?
p
Let q(w) = 11*w + 32. Let d be q(-3). Which is smaller: d or 5/18?
d
Let g be -6 + (-2 - (2 - 4)). Let t = g + 4. Is t >= -3?
True
Let d = 1.52 - 0.02. Let f = d + -0.5. Is f less than -0.1?
False
Let r = 34/31 + -1466/93. Let l = r + 14. Is l smaller than -2?
False
Suppose 0*i - 3*k - 39 = 3*i, 4*i = 5*k - 25. Is -10 less than or equal to i?
True
Let q be (-12)/(-9)*-3 + (-189)/(-9). Is q greater than -0.3?
True
Let x = -24 - -23. Let n(c) = c - 4. Let l be n(2). Is l less than x?
True
Let f(p) = p**3 - p**2 - 2*p - 3. Let a be f(3). Suppose 0 = -g - 2*g - v - 29, -4*g = 3*v + 32. Let j = a + g. Which is greater: j or -0.1?
-0.1
Suppose 0 = -10*w - 10. Are -1/34 and w nonequal?
True
Let v = 63 + -316/5. Is 0 not equal to v?
True
Suppose -i + 0 = 1. Suppose 0*t = -4*t - 4. Is i equal to t?
True
Let t(w) = -w**2 - 2*w - 1. Let o(x) = x**2 - x + 1. Let l be o(1). Suppose -2*g + 0*g - 4*b = 0, l = b. Let r be t(g). Which is smaller: r or -4/5?
r
Suppose -1 = -w - 6. Which is greater: w or -4?
-4
Let v = 117 + -166. Which is greater: -47 or v?
-47
Let s = 43927/4 + -11053. Let n = s + 72. Let d = 29 + -27. Which is smaller: d or n?
n
Let g(k) = -2*k + 5. Let q be g(0). Suppose 3*n - 2 = n - c, 0 = -5*n + q*c + 20. Do n and 3 have different values?
True
Suppose 4*f + 0 - 4 = 0. Let p(g) = 9*g - 2. Let a be p(f). Which is smaller: 8 or a?
a
Let v = 5 + 15. Are 20 and v equal?
True
Let n = -7 + -6. Let a = 14.98 + n. Let i = 0.02 + a. Which is bigger: i or -0.2?
i
Let g = -95 - -94.11. Let i = 0.19 + g. Which is smaller: i or -1?
-1
Let k = 8 - 12. Let d = 1 - k. Do d and 5 have different values?
False
Let u = 0.2 - 4.2. Which is bigger: u or -0.1?
-0.1
Let o(a) = -4*a - 12. Let c be o(-7). Are c and 52/3 nonequal?
True
Let b(f) = f + 9. Let n be b(-11). Let v be n/(26/6 + -3). Which is greater: v or 0.2?
0.2
Let b = -35 + 35.01. Is -2/9 <= b?
True
Let n(f) = f**3 + 5*f**2 - 2*f - 3. Suppose -1 = -2*g - 0*d - 5*d, 3*d + 3 = 0. Suppose -3*a + 1 = 5*h + 11, -g*h = -4*a - 23. Let x be n(a). Is 8 < x?
False
Let l = 2 + -0.1. Let u = 4.9 + -2.9. Let m = u - l. Is m >= 0?
True
Let i be (-1)/((-1)/2)*5/(-10). Which is greater: -10 or i?
i
Let f = -9 + 10. Which is bigger: 1/6 or f?
f
Let c = 47 + -49. Let x = 1 + -17/6. Which is bigger: c or x?
x
Let m(a) = -a**3 + 10*a**2 + 11*a + 8. Let l be m(11). Is 10 smaller than l?
False
Suppose 4*u + 2 = 6*u. Is -1 != u?
True
Suppose -2*c = 67 + 13. Let m be (6/c)/(6/4). Which is greater: -1 or m?
m
Suppose 3*l = -2*x - 17, 3*x = -x + 5*l + 21. Suppose -f - 5*n = 5, 0 = 3*f - 0*f + 2*n + 15. Let i be x*(f/7 - -1). Which is smaller: i or 1?
i
Let r = 4 + -4. Is r smaller than 0.1?
True
Let h be (0 - 1)*(2 - 1). Suppose -4*t + 10 = -9*t. Are t and h equal?
False
Let n = -0.08 - -0.08. Is n >= -2/13?
True
Let h be (1 - 2) + (5 - 4) + -3. Is -3 != h?
False
Let z be ((-2)/20)/(2/(-45)). Let w = 19/12 - z. Does w = -2?
False
Let p = -2138/17 - -126. Is p at least as big as 1?
False
Let i = -19 + 14. Which is greater: -7 or i?
i
Let v = -5 + 3. Let x(s) = -s - 1. Let i be x(v). Let n be (1 - 2)/i + 1. Are 1/11 and n non-equal?
True
Let b = -0.09 - -0.11. Is -2/3 > b?
False
Let n(i) = -i**2 + 4*i - 1. Let s be n(4). Let k be (2 + (-4 - -1))*3. Let c be (1 + -2)/(2 - k). Which is smaller: c or s?
s
Let c be -5 + 2 + 42/6. Suppose -7 + c = -u. Do u and 2 have the same value?
False
Let k(g) = 35*g**2 + 1. Let j be k(1). Suppose -4*p - h + 2*h = -29, 0 = -3*p - 4*h + j. Suppose 8*c - n - p = 3*c, -3*c + 3*n = 0. Which is smaller: c or 1?
1
Let x = 16.1 + -20.1. Is -0.8 bigger than x?
True
Let c = 15 + -16. Is 2 at least as big as c?
True
Suppose -3*u + 4*b + 12 = 29, 3*b - 15 = 0. Is 0 smaller than u?
True
Let g = 510 + -9692/19. Which is bigger: g or 0?
0
Let k = -4 + 4. Which is smaller: 1/10 or k?
k
Let o = 288 - 429. Is -142 bigger than o?
False
Suppose 0 = 2*y - 0*y + 18. Let k be y/(-6)*(-2)/9. Which is smaller: -0.2 or k?
k
Suppose 5*q - 16 = -6. Suppose -10 + 4 = q*p. Which is smaller: p or -2?
p
Let t = -16 + 14. Which is smaller: t or -7/6?
t
Suppose -5*d = -24 - 26. Let q be -6*d/(-4)*1. Let t be 2*(-3 - (-48)/q). Is t smaller than -1?
False
Suppose g = 5*g. Let v = -13 - -5. Let n = v - -3. Which is smaller: n or g?
n
Let j be -4 + 31/(-28) + 5. Is 1 not equal to j?
True
Let q be (2/(-4))/(18/(-144)). Let h be ((-30)/q)/((-3)/(-4)). Are -10 and h unequal?
False
Let x = 86 + -92. Is x less than 0?
True
Let d(i) = i**3 + 17*i**2 - 16*i + 34. Let q be d(-18). Which is smaller: q or -2/3?
q
Suppose 0 = 4*a - 2*a. Is -1/20 < a?
True
Suppose 4*d = -d - 5*r, -3*d - 5*r = 6. Is d greater than or equal to 8/5?
True
Let r(t) = 38*t + 5. Let n be r(4). Let d be (631/(-2))/(0 - 2). Let y = n - d. Which is smaller: 0 or y?
y
Let p = 14 - 4. Let z be (1/(-3))/(p/(-270)). Which is smaller: 8 or z?
8
Suppose -2 = -2*a + 2. Suppose 5*y + 8 = -2*f - 14, 4*f + 12 = -a*y. Let m = 36/175 - -2/25. Is f smaller than m?
True
Suppose -t + 3*s - s = 0, 0 = -5*t + 5*s. Suppose -b - 2 = -2*b. Suppose b*l - 4*v - 18 = t, -4*l - 9 = 3*v - 1. Which is bigger: 2/11 or l?
l
Let c = 1 + -0.8. Let j = -8 + 14. Let l be 0 + ((-2)/j)/1. Is c smaller than l?
False
Let b be (1 - 0)/((-1)/3). Let q be 22/(-6) - (-6)/9. Let c = b - q. Are c and -4/5 equal?
False
Suppose 0 = 5*c + 7 + 23. Do c and -8 have the same value?
False
Let b = 0.1 + 0.4. Let l = -0.1 - b. Let r = -1 - l. Are -1/4 and r unequal?
True
Let d(o) = 6*o + 2 - 1 - 5*o. Let g be d(-4). Do g and -15/8 have the same value?
False
Let b(t) = t + 8. Let j be b(-5). Let w(p) = p + 8. Let v be w(-6). Let z be ((-1 + -1)*v)/(-1). Which is smaller: z or j?
j
Let d(i) = 8*i**2 - i - 1. Let c be d(-1). Let t be (-3)/((18/c)/3). Let h = -10 + 6. Is h >= t?
True
Let t = -7/6 + 11/6. Let q(c) = 3*c + 13. Let v be q(-4). Which is bigger: v or t?
v
Let c be (8/7 + -1)*-3391. Let j = 483 + c. Is j at most as big as 0?
True
Let u = 67 + -67.1. Which is smaller: 0.3 or u?
u
Let d be (-33)/27 - 4/(-18). Let g be (0 - 6/2)/d. Let u(o) = o - 1. Let k be u(g). Which is smaller: 1 or k?
1
Suppose -2*p - 6 = -46. Let r = 64 - p. Let h be 2/8 + (-3)/r. Is h at least as big as -1?
True
Let p(l) = 7*l**2 - 3*l + 1. Let i be p(1). Is i >= 6?
False
Let o(r) = 2*r - 7. Let l be o(4). Is l less than or equal to 6/23?
False
Let j(g) = 2*g**2 - 4*g. Let d be j(5). Let s be ((-1)/d)/((-6)/(-856)). Let p = -32/9 - s. Which is smaller: p or 1?
1
Let n = 9 - 15. Let f = -12 - n. Do f and -1 have the same value?
False
Let w(b) = -2*b - 6. Suppose -g = -6 + 12. Let o be w(g). Let d be 45/(-2)*4/(-20). Is o at least as big as d?
True
Let n = -1.1 + 1. Let o = 1 + -3. Is n equal to o?
False
Let d = 0.5 - 0.4. Let u(f) = f**3 + 5*f**2 + 2*f - 5. Let q be u(-4). Let y = q - 5/2. Which is greater: d or y?
y
Let l be (1 +