-6)/657. Which is smaller: 1 or v?
v
Let x(c) = -c**3 + 8*c**2 + 7*c - 4. Let w be x(6). Suppose -3*r = -6*r - 9, 0 = 3*k - 2*r - 6. Is w at least as big as k?
True
Let r be (-71)/316 + 6/24. Let h = r - 263/1027. Let s = -13 + 12. Which is bigger: s or h?
h
Let f(m) = 4 - m + 7 + 21. Let t be f(-6). Which is smaller: -2 or t?
-2
Let x(s) = -s**2 + 13*s + 34. Let f be x(15). Suppose 5*h = -c - 70, h - 2*c - 1 = -f. Is -23/2 equal to h?
False
Suppose 398 = -3*t + 20. Which is smaller: t or -125?
t
Let j be -3*-6*(-8)/6. Let s be (52/(-6))/(j/(-36)). Which is greater: -1/2 or s?
-1/2
Let d be (1 - 164/(-266))/((-528)/(-56)). Let y = -2/57 + d. Let r be ((-2)/4)/((-3)/(-6)). Is r at most y?
True
Let a = -10 + 5. Suppose -444 = 3*f - 417. Is f at most as big as a?
True
Let m = 87 - 122. Let b = m - -34.87. Is b less than 4?
True
Suppose 4*l = -2*k - 8, 4*k + 40 = -4*l + 2*l. Let r(w) = w**3 + 8*w**2 - 9*w - 10. Let q(d) = d - 18. Let t be q(9). Let c be r(t). Which is smaller: c or k?
k
Suppose 2*z = 4*y - 44, -y + z + 13 = -0*z. Let u = -894 - -894. Suppose y*f - 5*f + 20 = u. Which is greater: f or -2?
-2
Let p = 0.4 - -238.6. Which is bigger: 1/4 or p?
p
Suppose y + 4*y - 159 = -2*w, 5*y + 5*w = 150. Suppose -31*m + 4 = -y*m. Which is smaller: m or 3?
m
Let r(b) = -b**2 - 5*b + 6. Let d(n) = -n**3 + 9*n**2 - 9*n + 1. Let o be d(8). Let g be r(o). Let q = -180 - -174. Is g >= q?
False
Let l = -1.15 + 0.15. Let u = 0.9 - 1.1. Which is greater: l or u?
u
Let m(v) = 2*v - 30. Let a be m(17). Let g be a*(-5)/(-40)*0. Is -1/11 at most as big as g?
True
Let m be ((-46)/(-4) + -12)*(2 - 0). Which is greater: -2/1975 or m?
-2/1975
Suppose 2*y - 2*s + 4 = 0, -y = 5*s - 5 - 5. Suppose m - 10*m - 252 = y. Which is greater: m or -26?
-26
Let y(n) = 2*n**2 - 64*n - 118. Let f be y(35). Which is smaller: f or 91?
91
Let o = -8679/437 + 398/19. Which is smaller: 2 or o?
o
Let n = 1027 - 995. Let l = 1.3 + -0.3. Which is bigger: l or n?
n
Let u = -60 - -62. Suppose -3*o + 18 = -m, -u*m + 4*o = -4*m + 4. Which is greater: 1/5 or m?
1/5
Suppose 40 = -2*o - 5*j, 3*o = j + 17 - 77. Let f = 14 + -8. Suppose 0 = -5*v + f*w - 2*w - 88, -2*w = 2*v + 46. Is v greater than o?
False
Let b be 24/32 - 441/12. Let s be (b/126)/(0 - -2). Let q = 0 - 1. Which is greater: q or s?
s
Let j be (0 - (-2)/(-4))/((-18)/(-36)). Is 3/217 at most as big as j?
False
Let g = -6548/7 - -59632/63. Let a = -34/3 + g. Is 2 > a?
True
Let c = -1 - 0. Let x be 7554/(-90) - (-2)/(-5). Let f = -84 - x. Which is greater: f or c?
f
Let m(s) be the first derivative of s**2/2 - 19*s - 3. Let p be m(17). Which is bigger: -5/3 or p?
-5/3
Let l(p) = 7*p**3 - p**2 + 1. Let v be l(1). Suppose -4*t + v = -9. Let x = 3 - t. Which is smaller: 0 or x?
x
Let h be 1772/(-1104) - 4/(-16). Let s = -12/23 - h. Is 2 at least as big as s?
True
Suppose -4*l = 2*k - 3*k - 5, l + 4*k = 14. Suppose 0 = 6*f - 12*f + 12. Do f and l have the same value?
True
Let x = 174761/17 + -10283. Is -4 != x?
True
Let q = -5 - -8.6. Let j = -2.3 + q. Let c = j + -0.9. Which is greater: -2/15 or c?
c
Let j = 1957 + -1956.2. Which is greater: 22 or j?
22
Suppose -3*s = 15, 2*u + 4*s - 2*s + 12 = 0. Let h be ((-6)/4)/(43/(-8) + 5). Let v be h*(-4)/(-15) - 1. Which is greater: u or v?
v
Suppose 0 = 4*k - 3*r + 41 + 1, 0 = -5*k + 5*r - 55. Let x be ((-3)/6)/(k/(-3306)). Let h = x + 182. Is -2/7 < h?
False
Suppose 2*i + 15 = -i. Suppose -5*n + 59 = 3*j - 6*n, -4*j + 84 = -4*n. Suppose -y = -4*y - k - j, -7 = 3*y - 2*k. Is y less than i?
False
Let b = 1260 - 1263. Let y be ((-46)/18)/1 + 1. Which is smaller: y or b?
b
Let r = -60 - -103. Let h = r + -30. Let g(m) = m - 12. Let c be g(h). Which is smaller: c or -3/2?
-3/2
Let x be ((-1)/(-9))/(23/(-322)). Which is bigger: x or -3?
x
Let k = 1060 + -1059. Which is greater: -3/79 or k?
k
Suppose -6 = 4*q + 2*k - 20, 17 = 2*q + 3*k. Let s be 0 + 3 - (-1712)/(-570). Let l = 2569/1140 + s. Which is smaller: q or l?
q
Let a = -1261 + 16391/13. Is a smaller than 29?
True
Let j(g) = -g**3 - 20*g**2 - 3*g - 66. Let k be j(-20). Which is smaller: k or -11?
-11
Let n = -16.84 - -23.84. Does n = -23/2?
False
Let v be -8*(4/6 + 290/(-444)). Let p(b) = b**2 + 3*b - 3. Let f be p(-4). Is f at most as big as v?
False
Let k(l) = -l**3 - 11*l**2 + 20*l + 123. Let s be k(-12). Is s != -3?
True
Suppose 0 = -2*t - 2*t - 12. Let r be (-4 + -4)*(2 + t). Suppose -r*a = -6*a. Which is smaller: 1 or a?
a
Suppose -162 = 2*x + 5*y, 3*y - y - 99 = x. Let f be (-4)/14 - 40/x. Suppose -8 = 5*g + 2*w - 2, 5*g + 9 = -3*w. Are f and g equal?
False
Let i be (4 + 6/(-9))*(-18)/(-172). Which is bigger: 0 or i?
i
Let x = 40.5 - 2.5. Let i = 43 - x. Is -5 less than or equal to i?
True
Suppose -3*o - 106 - 218 = 0. Is o >= -108?
True
Let y = 0.229 + -0.294. Is y less than -1?
False
Let d be (-10 - (-2 - -3))*10/(-25). Which is smaller: 5 or d?
d
Let u = 571/63 + -309415/34083. Let x = u + 54124/1623. Let i = x + -33. Which is smaller: 2/5 or i?
i
Let o be -12*(-2)/(-12)*2*-3. Suppose 14*w = o*w. Which is smaller: 1/58 or w?
w
Let x(m) = -m**2 + 2*m + 1. Let a(c) = -c**2 - 7*c - 7. Let y be a(-6). Let w be y/2*2/1. Let f be x(w). Are f and -3 non-equal?
True
Let d(t) be the third derivative of -t**5/12 - 5*t**2. Let a be d(-1). Let r = a - -5. Which is greater: r or -3/5?
r
Let l = -22.07 + 22. Let h = 0.17 + l. Is h <= 3/7?
True
Let z be 1/(1/(-10)) - -1. Let q = z + 3. Let n be -3 + (-4 - -2*1). Which is smaller: q or n?
q
Suppose -2*j + 0*j = 0. Let g = -9 - -11. Let y be 52/(-18) - (-6)/g. Is y greater than or equal to j?
True
Let m be (8/(-4) - -2) + (25 - 2). Let p = m + 19. Is 42 less than p?
False
Let l(x) = 4*x**2 - 1. Let n be l(1). Suppose -8 = 4*z, -5 = n*w + 2*z - 4. Is 2/87 < w?
True
Let t = -63 - -44. Let u = 19 + t. Let r = -49/180 + 1/20. Is u at most as big as r?
False
Let x be -9*730/(-105)*(-3)/6. Which is bigger: -32 or x?
x
Let m(x) = -11*x**3 + 39*x**2 + 34*x - 15. Let p(l) = 4*l**3 - 13*l**2 - 11*l + 5. Let r(v) = -3*m(v) - 8*p(v). Let f be r(14). Is 8 less than f?
False
Suppose -4*c - 864 = 5*c. Let u = -84 - c. Which is greater: u or -1?
u
Let o = 28 + -178. Are 2 and o unequal?
True
Let y(p) = 2*p**2 - 12*p - 28. Let a be y(8). Is a bigger than 3?
True
Let h = 86 - 76. Let b = 14 - 11. Suppose b*w = 2*x + 20, w = 3*x + x + h. Is 6 <= w?
True
Suppose -3*z - 5*i = -4*i + 2, z = 3*i - 4. Let c = 111 - 112.28. Let l = c - -16.28. Which is smaller: l or z?
z
Suppose -187*j = -190*j + 24. Let d = 31/4 - j. Which is smaller: 1 or d?
d
Let c = 65 - 64. Which is greater: 1/489 or c?
c
Let q = -4 + 7. Let x be 5*6/(-315)*q. Let z = -817 - -816.87. Is x at most as big as z?
True
Let g = -491 + 492. Does -101.9 = g?
False
Let w be (-2 - 2) + 2 - -2. Suppose w = 4*b - 2*b + 18. Let d = b - -11. Is 3 smaller than d?
False
Let f(u) = -134*u - 117. Let n be f(-4). Do 419 and n have different values?
False
Let d = 4 + -1. Let h = 6 - d. Let b be (-9)/((-9)/(-3))*20/(-12). Which is smaller: h or b?
h
Suppose -1251*j + 1224*j + 54 = 0. Let n be 1 + (18/8)/3. Are n and j nonequal?
True
Let u = -13 - -11. Let j be ((-4)/2)/(7/(29 - -6)). Let q = 9 + j. Is q < u?
False
Suppose 3*u + 742 = -2*u + 4*h, -2*h = -4*u - 590. Let c = u + 143. Which is greater: c or -13?
c
Let t be 33/(-38) + (-8 - 102/(-12)). Which is smaller: t or 0?
t
Let z = -0.00855 - -30.00855. Let x(t) = -t**3 - 2*t**2 + 4*t + 3. Let r be x(-3). Is r < z?
True
Let i be 999/2442*(0 - 1 - 7). Let m(y) = y. Let q be m(-3). Is i greater than q?
False
Let o(u) = -8 + 1 + 3*u - 1 + 0. Let x be o(4). Is 1 >= x?
False
Let r be (-6)/27 - (-59)/(-18). Suppose -6 - 36 = -3*g. Let q(y) = -y**3 + 14*y**2 - y + 9. Let x be q(g). Which is smaller: r or x?
x
Suppose -3*i + 5*t + 25 = 0, -26 = -3*i + 3*t + t. Suppose 0*h + i = 2*h. Suppose -l + h = -5. Does 10 = l?
True
Suppose 8 = y - 11*j + 9*j, -40 = -5*y - j. Which is smaller: 13 or y?
y
Let v be (-18)/(-10) + (-75)/(-375). Is 11/10 bigger than v?
False
Let s be ((-4)/8)/(4677/12). Let c = s + 3716/466141. Let u = 1483/1794 + c. Is -0.1 > u?
False
Let m be (0 - (-89 + 1))*2/4. Which is smaller: m or 46?
m
Let w = -3 + -3. Let v be 28/(-119)*1/w. Is v > 1?
False
Let j(k) = -4*k**2 + 43*k - 2. Let u be j(11). Is u smaller 