 = 0.1 - 1.1. Let x be (-1)/3 - 4/(-3). Let u be 2/(-8*(x - 2)). Which is smaller: u or m?
m
Let x = -25 + 18. Let a = x - -8. Is a > 1/8?
True
Let a(m) = -3*m - 11. Let r(w) = -2*w - 6. Let n(k) = 3*a(k) - 5*r(k). Let i be n(6). Suppose i*x + x = 0. Which is smaller: 4/5 or x?
x
Let l(d) = d - 5. Let s be l(4). Which is smaller: 1/12 or s?
s
Let r = 4 - 6. Let z be 1 + r - 4/(-6). Are 0 and z non-equal?
True
Let x(k) = -2*k**3 - 3*k**2 + 6*k + 5. Let r(i) = -i**3 + i + 1. Let b(u) = r(u) - x(u). Let t be b(-4). Is -2/15 at most as big as t?
True
Let y = -44/9 + 203/36. Which is bigger: -1/6 or y?
y
Let j(n) = n - 6. Let h be j(0). Let z be (-3)/h*(-8)/12. Let p = 18/5 + -244/65. Is z < p?
True
Let j = -15 - -14. Let b be (j - -3) + (-24)/15. Suppose 0*p + p = 0. Which is smaller: p or b?
p
Let t = 19 + -30. Let d = -13 - t. Which is bigger: d or 3?
3
Let o be 20/(-6) + (-6)/(-2). Is -6 at least as big as o?
False
Let u be ((-14)/(-16))/(0 - 6/72). Are u and -10 unequal?
True
Let w = 365/2 - 177. Which is greater: 2/5 or w?
w
Suppose 5 = n - 2. Suppose 2*k = n*k + 2*w, 3*k = -3*w. Is -2/21 less than k?
True
Suppose 4 + 2 = -2*n. Let f be n*2/3 + 3. Suppose 2*a - 2*y + y = -f, -4*a = -4*y - 4. Is a greater than or equal to -3?
True
Let d(k) = 2*k + 6. Let r be d(-6). Let o be 1/3*r/2. Which is smaller: 2/5 or o?
o
Suppose 2*b - 6 = 2*h + 2*h, 0 = -h - 2*b - 4. Let k = -4 - h. Is k < -2?
False
Let b = 6 - 10. Let i(x) = -2*x**2 - 6*x - 1. Let r be i(b). Is -10 not equal to r?
True
Suppose 12*l + 7 = 31. Which is bigger: 4 or l?
4
Let m = 5 + -2. Suppose m*u + 8 = -u. Let f = 2 + u. Is f smaller than 1?
True
Suppose 5 = -7*x + 187. Is 25 at least x?
False
Let x(l) = 3*l**3 + l**2 - l. Let d be x(1). Suppose 4*b + b - 2*q = 72, d*b - 2*q - 44 = 0. Let o = b + -100/7. Is -0.1 >= o?
True
Let m = -23 + 22. Is m at least as big as -1/7?
False
Let b(x) = 6*x. Let h(l) = 5*l. Let o(m) = -4*b(m) + 5*h(m). Let u be o(4). Suppose 0*i = -2*i + 5*j - 15, 2*j + 10 = 4*i. Which is greater: i or u?
i
Let r = 16 - 27. Is -1 > r?
True
Let v be (-18)/(-4)*(-20)/(-45). Let w be 7/(-7) + v/(-5). Is 2 bigger than w?
True
Let x = -9 - -6. Let o be (-1)/3 - 19/x. Let l be (-2)/(-1)*o/8. Does 1 = l?
False
Suppose -2*a - a + 2*s + 27 = 0, -5*s - 1 = 2*a. Suppose -4 = 4*c, 0 = 4*h - a*h + 2*c - 1. Let d = 61/276 - -2/69. Is d != h?
True
Let t = 3 + -4. Which is bigger: -0.3 or t?
-0.3
Let z be 2 - (11/7 + 0). Let j be (-6)/21 - ((-16)/7 - -2). Is j bigger than z?
False
Let i = 20 - 20. Suppose i = 4*f - 5*f. Let d = 495 - 5441/11. Is f at most as big as d?
True
Let l be (8/230)/(8/(-20)). Is l less than or equal to -1?
False
Let j(h) = h**2 + 5*h + 7. Let n be j(-4). Which is bigger: n or 4?
4
Let z = 27 + -23. Is 0 at least as big as z?
False
Suppose 4*p + 12 = 4*n - p, -3*n + 9 = -2*p. Suppose v + n*s - 6 = 4, -8 = -2*s. Let u be 6*((-15)/6 - v). Which is smaller: -4 or u?
-4
Let q(h) = -6*h + 1. Let c be q(-2). Let i = c + -5. Let m = -14 + i. Is m greater than -6?
False
Let w = -1 + -1. Which is bigger: -7/13 or w?
-7/13
Let v be ((-64)/(-12))/((-2)/(-6)). Let i be ((-6)/4)/((-8)/v). Let p(h) = -h + 3. Let g be p(i). Which is greater: -1/3 or g?
g
Let b be ((-2)/(-3))/2 + 4/(-3). Which is greater: b or -36?
b
Let y be -2 + 9 - (-1)/1. Suppose y + 0 = -2*a. Is a greater than or equal to -19/4?
True
Suppose -5*i - 4 = -4. Let z = 31/234 + -15/26. Is i at least z?
True
Let y = -0.04 + -0.06. Let o = 0.1 + -0.1. Let c = o - -0.1. Which is smaller: c or y?
y
Let d be 2 + (-1 - 0) + 4. Let o = d - 5. Let i = 12 + -40/3. Which is smaller: i or o?
i
Suppose -12 = -4*r, 0 = u - 4*u - 3*r + 18. Suppose -4*t + u*c = -0*t - 19, -5*t - 10 = 3*c. Which is smaller: t or -4/11?
-4/11
Let k(i) = -i**2 + 6*i + 2. Let t be k(6). Let m be t/(-8) + (-34)/(-8). Is m at least 4?
True
Let w(z) = -z**2 - 2*z - 5. Let g be w(-2). Let x be ((-3)/9)/((-6)/(-6)). Does x = g?
False
Let q(c) = -c**3 - c**2 - c. Let x be q(0). Suppose -2*f - d - 3 = -8, -4*d = 5*f - 14. Suppose -3*o - 12 = -4*y, y - f = 4*o + 1. Is o at most as big as x?
True
Let n(h) be the first derivative of h**2/2 + 5*h - 2. Let l = -7 - 0. Let z be n(l). Is z smaller than -2?
False
Suppose r = 4*r - 21. Let a be (-1 + -2)*(-9)/3. Is r != a?
True
Let y = -22 - -23.9. Let z = y + -0.9. Let o(j) = j**2 + 5*j + 4. Let x be o(-4). Which is greater: z or x?
z
Let y(j) = -j - 5. Let b be y(-8). Let x = b + -3. Is 1 > x?
True
Let g be 18/14 - (-4 - -5). Let u(q) = -q**2 + 3*q - 3. Let l be u(2). Are l and g equal?
False
Let r = 98/11 - 9. Which is bigger: r or -1?
r
Let k = -1 - -0.3. Let i = 0.6 + k. Is 0 >= i?
True
Let z = -0.21 + 0.71. Which is greater: 1 or z?
1
Let f = 2 - 2. Let a be 1*(5 + f) - 1. Let q = 0 - a. Which is smaller: q or -3?
q
Let g(u) be the first derivative of u**4/4 + 2*u**3/3 - u**2 - u + 1. Let q be g(-2). Suppose x = -4*x + 10. Which is smaller: x or q?
x
Let b = -61 - -185/3. Let h be (0 + 3/(-3))/(-1). Which is bigger: b or h?
h
Let a = 186 - 69. Is a less than 116?
False
Let a be (-1)/(-2) + (-22)/4. Let c(f) = -f**3 - 5*f**2 + f - 1. Let x = -6 - -1. Let i be c(x). Is a not equal to i?
True
Let s be (-21)/(-35) + (18/10)/(-3). Is 0.17 > s?
True
Suppose 4 = 2*l + 2. Are 6/11 and l non-equal?
True
Let u = -3 - -2. Let g be (0 - -1)/(2/4). Suppose -g = -2*r - 0*r. Which is smaller: r or u?
u
Let v be (-22)/5 - -4 - 43/5. Which is smaller: -12 or v?
-12
Let g be (54/(-5))/(-3)*-45. Let r = -2108/13 - g. Which is greater: 0 or r?
0
Let h be (-2)/(-40) - (-3)/(-12). Suppose 3*d - 5*z + 10 = 0, 0 = -d - 4*d + 3*z + 10. Suppose -2*r - r + 14 = 5*j, -d*j - 4*r + 17 = 0. Is j < h?
False
Suppose -s + 10 = 2*c, 0 = -2*c + 5*s - 2. Suppose -2 + 4 = x. Let q be 0 + 0 + (x - c). Do q and -2 have the same value?
True
Let n(k) = k**2 + k - 2. Suppose 5*m + 6*v + 30 = 3*v, 5*v + 37 = -4*m. Let d be n(m). Let q be (-2)/6*(1 - d). Are q and -1 unequal?
True
Let l = 32.9 - 33. Is 3 less than l?
False
Let h(x) = x**2 - x - 29. Let s be h(0). Let w = 13 + s. Let j be -2*(34/w + 2). Is j at most -3?
False
Let a = -1.1 - -1. Let k = -0.3 - a. Let x = -0.2 - k. Do x and -1 have the same value?
False
Let o = -0.33 - -0.63. Is 1/19 >= o?
False
Suppose 3*y = 0, 5*y + 7 = -2*o - 3. Which is smaller: o or -7?
-7
Let d = 1.4 + 0.6. Let x be 1/(-4)*10 - -2. Is d less than x?
False
Let f = -1 - -2. Let u(k) = -2*k + 8. Let d be u(3). Let w = d - f. Is w at least 0?
True
Let g(a) = -a**2 - 7*a - 6. Let d be g(-4). Let j = -12 + d. Let q be (-2)/j - (-1)/3. Is q bigger than 2?
False
Suppose 2*i + 36 = -5*n, n + 3*i + 2 = -0*i. Let p be 1/(6/n)*6. Let w(z) = z + 6. Let d be w(p). Which is bigger: d or -2/3?
-2/3
Let u = -6.94 - -7. Let h = 0.04 + u. Which is smaller: h or 0.2?
h
Let p = 7 - 4. Suppose p*f - 7 = -4. Which is bigger: f or 2?
2
Let q = 1793 + -5425/3. Are -16 and q non-equal?
True
Let y = 9145/19 + -481. Suppose 5*f + 5*x + 4 = 4*x, -f + x + 4 = 0. Which is smaller: y or f?
f
Let c = -0.09 + 0.1. Does c = 2/7?
False
Suppose 1 = -b, 3*w + 2*w - 4*b - 9 = 0. Is w equal to 1/42?
False
Let a = 6 - 7. Let l be (-2 - -1)*1*a. Let v = 6 - l. Is 6 less than or equal to v?
False
Let f = -4.84 - -5. Let x = f + 0.04. Is x greater than or equal to 0.1?
True
Let p = -5 + 2. Are p and -2 equal?
False
Let u = 452 + -455.01. Let d = -0.01 - u. Which is greater: -2 or d?
d
Suppose -o - 25 = -5*q, -5*o + 3*q - 15 = -0*q. Let s = 229/5 + -2976/65. Let c = s - 68/195. Is o >= c?
True
Let d(x) = x**2 + 6*x - 4. Let f be d(-6). Let v = 10 + -15. Is f less than v?
False
Let q = -13 + 29. Suppose 0*c + 22 = d - 5*c, 2*d - 3*c - q = 0. Let t(v) = v. Let k be t(d). Which is smaller: k or 3/5?
3/5
Let n = -13.8 + 14. Let r = -233/3 + 77. Which is greater: r or n?
n
Let v = 30 + -33.2. Let l = v + 3. Let w be ((-6)/(-4))/(5/10). Which is greater: w or l?
w
Let j(k) = k + 2. Let f be j(-4). Let y = -3 - f. Let s(q) = -q**2 + 5*q + 7. Let h be s(6). Which is bigger: y or h?
h
Let u be -60*4/119 + 2. Which is smaller: 2/7 or u?
u
Let u(d) = -d**2 - 12*d - 11. Let o be u(-11). Is -3/26 bigger than o?
False
Suppose -3*f + 4 = -2. Let h be (11 + -7)*f/8. Let c = 7 - 7.1. Which is smaller: c or h?
c
Let f = -2 + 2. Let n = -1 - f. Which is greater: n or -2