et k be 6/f - 22/(-18). Which is smaller: 1/3 or k?
1/3
Let o be (-10)/(-75) - 73/(-15). Suppose 24 = 5*h + 4. Let x(w) = -w**2 + 6*w - 3. Let k be x(h). Is k >= o?
True
Let d = 27 + -32. Is d equal to -1?
False
Let g = -26.088 - -26. Let f = g + -7.112. Let r = -8 - f. Which is smaller: -0.1 or r?
r
Suppose 0 = -3*v + 4*r, -2*v + 11 + 12 = 5*r. Suppose v*o = 2*o + t - 3, 5*o + 5*t = 0. Let n = 1/9 + -13/9. Which is greater: o or n?
o
Suppose -q - 9 = -2*a, -2*q + q - 15 = -5*a. Let d be ((-3)/a)/(21/(-28)). Suppose -2*k + 20 = -5*u + u, -4 = -d*k. Which is smaller: u or 0?
u
Let u = -1.8 + -0.2. Let l = u + 3. Let f = -1.1 + l. Is -0.1 >= f?
True
Suppose -2*d = 4 + 6. Let a = 9 + d. Let q be (1/(-1) - 2) + a. Is 3 at most as big as q?
False
Suppose -a - l = 2, 3*a + 0*l = 5*l + 34. Suppose -2*r = 2*p - 3*p, -2*p = -3*r - 2. Is a equal to p?
False
Let b = -13 - 46. Do b and -60 have the same value?
False
Let j = 2 - 3. Let i = j + 1. Which is smaller: i or 1?
i
Let p = 4/7 + -29/14. Which is smaller: -3 or p?
-3
Let r(g) = g + 12. Let p be r(-9). Let s(i) = -2*i - p*i + i**3 + i**2 + 1 + 3*i**2. Let x be s(-5). Which is smaller: -2 or x?
-2
Let y = 1 - 0.1. Let d = y - -0.1. Which is greater: d or -1?
d
Let w be (-145)/203 + 2/(-7). Are 0.52 and w non-equal?
True
Let c be ((-1)/1)/((-4)/28). Let l = -4 + c. Suppose 5*z - 12 = 2*u, 0 = -2*z - 4*u - u + 28. Which is bigger: z or l?
z
Suppose -4*g - 5*r = 11 + 26, 3*r = -2*g - 21. Let c be (-7)/g + 6/9. Suppose 2*i + 0*i + d = -6, -5*i - c*d = 17. Which is smaller: 0 or i?
i
Let t(s) be the second derivative of s**3/6 - 5*s**2/2 + s. Let o be t(8). Suppose o*h - 11 = 5*w, -23 = 4*w + h - 4. Is w greater than -3?
False
Let q(g) = -g - 4. Let d be q(-9). Let t be (4/(-3))/((-24)/108). Is t at least as big as d?
True
Let h be 21/6 - (2 + 1). Which is smaller: 1 or h?
h
Let m = -5 + 7. Let k = -2 - m. Which is smaller: 2/5 or k?
k
Suppose 3*f - 4*f + 107 = -4*d, 0 = d - 4*f + 23. Let c be -2 + (-3)/d + 2. Is -1 less than or equal to c?
True
Suppose 2*k = -2, 2*f - f - 4*k - 41 = 0. Let g be 149/f - (5 + -1). Which is greater: g or 0?
g
Suppose 3*g = 4*f + 26, 0*g - f - 3 = g. Which is greater: g or 0?
g
Let d(z) = 2 - 1 - z - 2*z + 4*z. Let y be d(-3). Is -1 > y?
True
Let h = -35 + -66. Is h greater than -101?
False
Suppose -2*t = -3*b - 8, 0 = b - 0*b + 3*t - 12. Suppose b = -2*l + 5*l. Suppose -v + 1 = -l. Which is smaller: -1 or v?
-1
Let o(h) = -2*h + 3. Let y be o(6). Are -7 and y nonequal?
True
Let s = -0.01 - 0.69. Let g = s - -2. Which is greater: 0.1 or g?
g
Suppose 0*l + 2*l = 6. Suppose -l*d - 7 = -4. Let x be (-1)/2*(1 + -1). Is d <= x?
True
Let l be 46/(-8) + -6*(-7)/56. Does l = -5?
True
Suppose 5 = -p + 5. Do 1 and p have different values?
True
Let c = 0.4 + -0.5. Let g = c - -0.2. Let h be (-3 - -5) + (-40)/22. Are g and h equal?
False
Suppose 42 = 5*p - 2*g, g = -3*p - 2*g + 21. Let d(v) = -v**2 - 7*v - 1. Let q be d(-5). Are q and p unequal?
True
Let n be -10*(3/(-6) + 0). Let s = -4 + n. Which is smaller: s or -2/5?
-2/5
Suppose 10*q - 5*q + 3*d = -414, 0 = 2*d - 4. Let f be (-4)/14 + (-52)/q. Let n(a) = a + 2. Let u be n(-3). Which is smaller: u or f?
u
Let d = -15 + 15. Suppose -v = -d + 1. Let c be 4/(-6) - (-8)/18. Which is smaller: c or v?
v
Let x(y) = -y**3 - 10*y**2 - 9*y + 1. Let g be x(-9). Suppose 4*p + 4*r = 8, -5*p - 9 + g = -r. Which is smaller: p or -2/9?
p
Let s = 201/4 - 51. Suppose 0*u = -4*u - 8. Which is smaller: s or u?
u
Suppose 0 = 3*w + 34 + 26. Is -20 > w?
False
Let g = 31.3 + -31. Which is smaller: -0.3 or g?
-0.3
Suppose -4*j + 7*j - 9 = 2*i, 5*j = -4*i + 15. Let m(o) = o**3 - o**2 + 1. Let y be m(0). Which is smaller: y or i?
i
Let y = 199 - 3385/17. Let a(z) = -z**3 + z**2. Let c be a(1). Which is greater: y or c?
c
Let h = 30 - 17. Is -2 greater than h?
False
Suppose 2*m - 2*x - 18 = -5*x, 4*x - 45 = -5*m. Let h = m + -6. Suppose 3*k + 1 = -5*j - 1, 3*j + h = 0. Which is smaller: k or 0?
0
Suppose -36 = 8*p - 11*p. Is 12 smaller than p?
False
Let z be -1 + ((-1)/(-1) + -1)/2. Is z != -2/147?
True
Let u = -4 - -6. Let g be 0 - (u - 5/2). Let r = -0.02 - 0.03. Is r > g?
False
Let h = -35/57 + -1/19. Suppose -7*w - 5*v = -3*w - 7, -4*v - 1 = w. Let i be 0 + (w/3)/2. Is h not equal to i?
True
Let u(g) = g**3 + 17*g**2 + 1. Let t be u(-17). Let w be 8/(-74)*1/2. Are t and w nonequal?
True
Let k = 0.2 - 0. Let x be ((-10)/4)/((-7)/182). Let r be (-2)/13 - (-10)/x. Which is smaller: k or r?
r
Suppose -5*z + n + 10 = 0, 0*n + n + 3 = -2*z. Suppose -v + 26 = z. Suppose 2*g = -3*g + 3*y, 0 = 5*y - v. Is 5 greater than or equal to g?
True
Let q = 3769551 + -2959098153/785. Let x = q - 2/157. Do x and 1 have different values?
True
Let u be -4 - -1 - (-42)/10. Let n = -2 + 2. Which is smaller: n or u?
n
Suppose 0 = 5*p + 3*s - 100, -2*s = 4*p - 7*s - 80. Is p <= 21?
True
Let t be -2*(-3)/2 + 1. Let m be t/(-6) + 1/(-3). Which is bigger: m or 2/7?
2/7
Let f = 1.74 - -0.26. Does f = -1/3?
False
Let z = 0.053 - -0.017. Which is bigger: 0 or z?
z
Let u be (-1 - -61)*5/(-10). Let f be 2 + u/9 + 1. Let v = 2 + -1.9. Is v greater than f?
True
Let h = -17 + 43. Suppose h = -5*b + 6. Is b bigger than -4?
False
Suppose 0 = 3*y - 20 + 2. Is y at most as big as 51/8?
True
Suppose 0 = -x - 4*w + 20, w = -0*x + 3*x - 21. Is x bigger than 0.1?
True
Let l = 11 - 9. Let g be (0 - 0) + l/4. Which is smaller: 1 or g?
g
Let d be (0/(-3))/(-1 + -1). Is 1/18 greater than or equal to d?
True
Let l = -3 - -2. Let m = -1.4 + 2.3. Let t = l + m. Is t not equal to -3?
True
Let z = -1/3 + 1. Let p = -6.2 - -3.2. Are p and z unequal?
True
Let o = 481 + -6250/13. Let w be 19/26 + 0/(-2). Let k = w - o. Is 1 < k?
False
Let p(k) = -k**2 + 2*k + 1. Let a be p(2). Let z be (a/2)/((-12)/(-8)). Let r = 1.1 - 0.8. Which is smaller: r or z?
r
Suppose -2*c - 4 - 2 = 0. Let i = 1 + 1. Suppose -3*a = 12, 0 = -0*g - i*g + 2*a. Which is smaller: g or c?
g
Let q = 2/1455 - 272/291. Which is bigger: -2 or q?
q
Suppose -2*w + 10 = -7*w. Let i be w + (25/(-2))/(-5). Which is bigger: 1 or i?
1
Let t = 25 + -25. Let p = -5 + 8. Which is bigger: t or p?
p
Let h be (4/1)/(-4 - 26/(-6)). Which is smaller: 14 or h?
h
Let u(w) = w**3 + 14*w**2 + 12*w - 6. Let y be u(-13). Let q be (-1)/y*(-2)/(-4). Is 0 <= q?
False
Suppose -5*h = -10*h - 10. Suppose -4*i - 16 = 0, 2*d + 8 = -2*i - 6. Which is bigger: h or d?
h
Let h = 520/9 - 58. Which is bigger: 12 or h?
12
Let j(q) = -8*q + 11. Let z be j(7). Is -46 smaller than z?
True
Let q = -21 - -25. Suppose -q*k + 5*g - 2 = 0, -3*k - 4*g = 2 - 16. Which is bigger: k or 5/4?
k
Suppose 4*d + 7 = 4*f - 5, f - 1 = 0. Suppose 2*l + 2*l + 4 = -3*v, l - 2*v + 1 = 0. Let u = d - l. Is u smaller than 1/3?
True
Let l = 5 - 7. Let p = 3 + l. Suppose 4*t - p = 3*t. Is t < 2?
True
Suppose 0*o + 14 = -4*p + 3*o, o - 3 = p. Let q be -1 - (-4)/(-6)*6. Is p bigger than q?
False
Let n = -5 + 7. Suppose 4*q - 5*j - 46 = 0, -q - n*j + j = -7. Let k = 9 - q. Is -1 at least k?
False
Suppose 0 = -5*o - 3*c - 41, o + 3*c = 2*c - 7. Which is smaller: -11 or o?
-11
Let b = -83/455 + 1/35. Which is bigger: b or -1?
b
Let i(b) = -4*b**2 + 6*b**2 + 5*b - 1 - b**2 - 2*b**2. Let t be i(5). Let f = 1/213 + -431/1065. Which is smaller: f or t?
t
Suppose -5*y + 5*v = -10, 4*v + 4 = -2*y + 4*y. Suppose -y*t = -11 + 1. Let u = 12 - 7. Is t at least as big as u?
True
Suppose -5*n = -11 + 1. Suppose -n*s - 2*h - 6 = h, 3*s = -h - 9. Is 0 <= s?
False
Let a be (-2 - -1)*(-4 + 0). Suppose -a = w + w. Let h = -2 - w. Which is smaller: -2/13 or h?
-2/13
Let s = -4 + 5.1. Let m = -1 + s. Let y = -0.2 + m. Are 0.2 and y nonequal?
True
Let r be ((-10)/(-130))/(38/242). Let a = r + -5/13. Which is smaller: a or 1?
a
Let c be 1 + (1 - -4)/(-1). Let n(q) = -q**2 - 3*q + 9. Let y be n(c). Is -2 bigger than y?
False
Let v be 2*-3*(-56)/24. Let p be (-1 - -7)*v/6. Is 14 < p?
False
Let k be 2/(-4)*26/(-1). Let v = k - 8. Suppose -3*r - 6 = -v*g, -g = -r - 0*g - 2. Which is greater: -3 or r?
r
Let m(p) = p**3 + 7*p**2 + 7*p + 6. Let y be m(-4). Let a be 1 + 2 + y/(-10). Let z = 1 - 1. Which is greater: z or a?
a
Let n(g) = g**3 + 12*g**2 + 12*g + 11. Let d be n(-11). Which is smaller: d or 1?
d
Suppose 3*c = -46 + 139. Let b 