*2 - 4*o. Let n be g(-4). Which is smaller: 4/15 or n?
n
Let h(f) = -f**2 - f. Let m be h(6). Let w = 24 + m. Is -17 < w?
False
Let y be 2/(12/(6/3)). Let g be (0 + -1 - 0) + 4. Which is smaller: g or y?
y
Let t = 22 + -21.85. Let h = 2.15 - t. Which is bigger: -2/3 or h?
h
Let d = -15 + 17. Suppose -3*r + 2*r + d*u - 7 = 0, -3*r + 5*u - 19 = 0. Let l = 2 - 4. Which is bigger: l or r?
l
Let a = -1 + 4. Suppose -a*c = d + 14, d + 0*d - 2*c - 11 = 0. Are d and 2/3 equal?
False
Let u = 0.7 + 0.3. Which is bigger: u or -1?
u
Let z be ((-1)/2)/((-5627)/(-68)). Which is smaller: 1 or z?
z
Suppose 0*u + 92 = 4*u. Suppose 4*t + u + 1 = 0. Let v be (-10)/14*t/15. Is 0.1 <= v?
True
Let j be 2 + -2 + 2 - 1. Suppose k - a = 0, 2 + j = 2*k + a. Let i = k + -2. Is 3 at most as big as i?
False
Suppose 4*u = 13 + 35. Which is bigger: u or 13?
13
Let g = -10903/3 + 3685. Let t = 1052/21 - g. Which is bigger: t or -2?
t
Let n be (-2)/(1 + 147/(-141)). Let s = n - 143/3. Which is greater: s or -1?
s
Let c = 0.05 + -0.02. Let n = -2.03 + c. Which is bigger: -1/4 or n?
-1/4
Let a be (4 + -3)*6*(-10)/4. Is -15 at least as big as a?
True
Let q be 1/(-4) + 2/(-24). Let x be (1/(-2))/(2/(-28)). Let i = x + -8. Are i and q non-equal?
True
Let u(l) = -l - 3. Let w be u(-6). Suppose -w*m - o + 19 = 0, m = 6*o - 3*o + 23. Is 6 less than or equal to m?
True
Let v = 11 + -7. Let i = v + -5. Which is smaller: -0.2 or i?
i
Suppose 11*b - 14*b = -3. Let w = -0.01 + -1.99. Which is bigger: b or w?
b
Let y(f) = -84*f - 3. Let h be y(2). Let j = 3250/19 + h. Which is smaller: j or -1?
-1
Let f be 998/(-2772) + (-10)/(-70). Let d = 3/11 + f. Which is bigger: 0 or d?
d
Let q = -71 + 71.1. Do q and 0.03 have the same value?
False
Let m = -1.44 - 0.06. Let q = 0.5 + m. Let b = 1.1 - 1.5. Does b = q?
False
Let m = 41 - 34. Which is bigger: 4 or m?
m
Suppose 0 = -3*p - 0 - 21. Does -7 = p?
True
Let i(x) = -x**3 + 9*x**2 - 8*x + 9. Let z be i(8). Which is smaller: z or 11?
z
Let p = 0 + -2. Let m = p + 8. Let x be (2/m)/(20/15). Which is smaller: x or -1/4?
-1/4
Let l(u) = u + 3. Let k be l(-3). Let i be 25/(-9) + -8 + 11. Which is bigger: i or k?
i
Let u = -169.1078 - 1.8722. Let j = 168 + u. Let q = j + -0.02. Which is greater: 1 or q?
1
Let d be 5 + -7 - -1*2. Suppose d = 3*k - 18. Let y = -16/3 + k. Is y > -2?
True
Let r = -0.05 + 0.02. Let x = 21 - 43/2. Which is smaller: r or x?
x
Let r be (21/(-32))/(-7)*-2. Is 1 less than or equal to r?
False
Let s be 54/10 - 6/15. Let h(d) = 2*d - 10. Let k be h(7). Let t = s - k. Which is smaller: t or -5?
-5
Let h = 3 + -4. Let g = 6 + -4. Let m = h + g. Which is bigger: 0.1 or m?
m
Let p = 1.3 + -1. Let n be 10 + -1 + 1/1. Let k be (8/140)/(2/n). Which is greater: p or k?
p
Suppose -2*j + 2 = 3*r + 8, -10 = 5*r - 4*j. Let u = -5 + 3. Is r > u?
False
Suppose -2*m = 3*m + 45. Is m >= -9?
True
Let o(j) = -j**3 - 4*j**2 - 2*j + 1. Let f be o(-3). Suppose -1 = 5*d - 6. Let v be f/(-4) + d/2. Which is greater: v or 1/2?
v
Let o = 2 - 1. Which is smaller: o or 2/5?
2/5
Let r(w) = -w**2 - 14*w - 1. Let t be r(-13). Let i be (-2 - 1)*4/t. Is -1/2 smaller than i?
False
Let y be (5 + -4)*2/(-2). Is y bigger than -2/19?
False
Let m = 4 - 6. Let x(p) = p**3 + 2*p**2 - p - 2. Let a be x(m). Let s = a + 0. Which is bigger: s or 2?
2
Let t = -915 - -911.13. Let k = -0.13 + t. Is -2/7 equal to k?
False
Let o be (-12)/(-1) - (2 + -4). Suppose 4*v + o = 2. Let m = v - -3. Is m at most as big as 0?
True
Let r = 5/3 - 7/3. Suppose -2*i + 25 = 5*w, 0 = -3*w + 9 + 6. Is i less than or equal to r?
False
Let s = -3 - -13. Let h be s/25 - 8/(-30). Is h greater than 2?
False
Suppose 0 = -b + 7 - 3. Let g(h) = h**3 + h**2 - h - 1. Let t(p) = -7*p**3 - 12*p**2 + 1. Let j(n) = 6*g(n) + t(n). Let m be j(-5). Which is smaller: b or m?
m
Let d = 19 - 20.16. Let b = d - 0.04. Let j = b + 1. Is 2 at least j?
True
Let o = 0 - 1. Let v = -11.6 + 13. Let a = v + o. Is a less than 0?
False
Let h = -1/83 - 76/581. Let r = -7 + 8. Which is bigger: h or r?
r
Let z be -1*(-4)/54 - 0. Let k(a) = -3*a + 15. Let b be k(5). Which is greater: z or b?
z
Let k = -11480855/196 + 58576. Let i = k + 2/49. Is -3 greater than or equal to i?
False
Let d = 6 + -2. Suppose -3 - d = -z. Suppose z*h - 4*h = 2*q + 13, -12 = -2*q - 2*h. Which is smaller: q or 1/4?
1/4
Suppose -4*i + 2 = -3*i. Let h = i - 1. Let g be -3*1/(-3) - h. Are 0 and g nonequal?
False
Let v(b) be the third derivative of b**4/24 - b**3/2 - 3*b**2. Let l be v(3). Suppose 3*n + l + 3 = 0. Which is smaller: n or -2?
-2
Suppose -3*v + 2 = -2*v. Suppose 0 = -g - v*i, 2*g = 2*i - 22 + 4. Let s be (-2)/(-6) - g/9. Is s less than or equal to -3?
False
Suppose 37 = 4*c - 5*l, -2*c - 17 = -c + 4*l. Suppose -i + 2*g = -3, -c*i + 4*g + 1 = -4. Let r = 0.2 - 1.2. Is r less than or equal to i?
True
Let v(r) = -r**3 - 6*r**2 + 6*r. Let h be v(-7). Let x = h + -1. Is x less than 1?
False
Let t = -47 - -44.9. Let s = 0.9 + t. Let m = s + 0.2. Which is greater: m or 0.2?
0.2
Suppose 2*z - 3*z + 3 = 0. Suppose 0 = w + z*l, 0 = 3*w + w - 5*l + 17. Suppose -4*d - 20 = d. Which is greater: d or w?
w
Let j = -9 + 8. Let q be (-3)/9 - j/12. Is q at most as big as -1?
False
Suppose 0 = 3*f + 3 - 6. Which is smaller: f or 5/4?
f
Suppose -4*r + 8 + 4 = 0. Let j(c) = -c**3 + 2*c**2 + 4*c - 4. Let w be j(r). Are w and 1 non-equal?
True
Let r = 5 + -5. Let p be (1 - 1)/(-1) + 4. Let s be 2/(-5) - p/(-5). Does r = s?
False
Let n = 0.07 - -9.93. Let z = -8 + n. Is 1 less than z?
True
Let x be (-3)/3 + 7 + 0. Let m = -8 - -12. Suppose m*h - x = -2. Is h != -1?
True
Let m be 9/980 - 1/4. Let d = m - -2/49. Does -0.1 = d?
False
Let n = 990.1 + -990. Let x = 0.16 + -0.05. Which is bigger: x or n?
x
Let u be 10/6 - 6/9. Suppose -r + 3 = u. Is 2 less than or equal to r?
True
Suppose 0 = -2*q + 2 + 4. Which is smaller: 23/6 or q?
q
Let j = -17 + 28. Let q = j - 7. Suppose 0 = -22*a + 20*a + 6. Which is bigger: q or a?
q
Let i = -59 + 237/4. Let n = 1 + 1. Suppose 2*p + n*u = -2*p, -3*p + 5*u + 13 = 0. Is p at most as big as i?
False
Let p = -41 + 41. Is p at most 3?
True
Let g = -3 + 4. Let b = -24 + 243/10. Which is greater: g or b?
g
Suppose b + 5 = -0. Suppose 4*l - 2*t = 3*t + 9, 12 = 4*t. Let m = l + b. Is -0.1 at most as big as m?
True
Let d be (-4)/10 - 392/(-805). Is d > 0?
True
Suppose -5*g = -20, 0*a - 3*g + 15 = a. Let i = a + -3. Let d = 2 + -1. Is i greater than d?
False
Let b = 73 + -3649/50. Which is smaller: 0.2 or b?
b
Let c = -3.2 + -0.8. Is c <= 0.2?
True
Let z = 1 - 0.92. Let o = z - 1.08. Let v be 3/5*2/(-3). Are v and o nonequal?
True
Let t = 101 + -31. Are 70 and t unequal?
False
Let u be 24/10 - (-6)/(-15). Suppose -2*g = u*s - 8, -2*s + 3*g - 12 = s. Let n be 44/66*3/5. Is s at most as big as n?
True
Let p = 3 - 2. Let h = -14 - -10. Let a = -4 - h. Which is greater: a or p?
p
Suppose 0 = -o + 2*o + 1. Let c be o/1*(4 + -4). Let k be 60/52 + (-1 - c). Is k greater than -1?
True
Let q = -0.4 + 0.2. Let v = -0.3 + -1.7. Let c = v + 2.2. Which is smaller: q or c?
q
Let b = -1.7 - -1.5. Do b and -0.1 have the same value?
False
Let t be 1/2*(-8)/14. Let u = 170/3 + -56. Does u = t?
False
Let w = -3 + 5. Let h = w + 0. Which is smaller: 1/5 or h?
1/5
Suppose -h = -0*h. Suppose 0 = -2*b, 5*b = -2*m - h*b. Is m at least as big as 2/15?
False
Let h = -3 - -6. Let z be -2 + h + 2/2. Suppose u + 2*u - 8 = l, 5*l - 12 = 2*u. Which is smaller: u or z?
z
Let i(f) = 2*f**2 - 6*f + 5. Let z be i(3). Suppose 0 = 4*t - z*u + 23, 2*t = -2*t - 3*u + 1. Which is smaller: -8/9 or t?
t
Let x be 2/(-13) - ((-133)/39)/7. Let l = 2 - 3. Which is smaller: l or x?
l
Suppose 5*y - 9 = -4*w, -4*y - 4*w + 16 = -3*w. Suppose 10*z - 5*z = -y. Is -5 at least z?
False
Let q(c) = c**2 - 4*c - 1. Let t be q(4). Let n be (9/(-10) - 1) + 1. Let w = 2/5 + n. Is w less than or equal to t?
False
Suppose -t = 0, -3*l + 15 = -4*t - 3. Suppose l*v = v. Which is smaller: v or 1?
v
Suppose 2*z = 4*z. Suppose -10 = 4*a - 2*k - 4, -3*a + 5*k - 1 = 0. Let f be 2/(-6)*a/(-2). Which is smaller: z or f?
f
Suppose 15 = 4*a + a. Let i = -6 + a. Let b = i + 0. Which is greater: 0 or b?
0
Let m(i) = 5*i**2 - 10*i - 3. Let s(o) = -o**2 + o. Let j(k) = -m(k) - 6*s(k). Let h be j(-4). Which is sma