
Let v(i) = -i**3 + 10*i**2 - 2. Let m be v(10). Let r be 5 + 1 + m + -3 - 1. Suppose -2*s = -6 + 2. Is r less than s?
True
Suppose -3*o - 173 = 2*o - m, 2*m = -5*o - 179. Let a = o + 37. Is a less than or equal to -3/5?
False
Let i(y) = -y**2 + 4*y - 6. Let a be i(4). Let d be (2/a)/((-5)/120). Let m be 4/d - (-3)/(-6). Which is greater: 3 or m?
3
Let s = 318 + -318.093. Which is bigger: s or 0.1?
0.1
Let w(h) = -h**3 + 2*h**2 + h. Let d be w(3). Let m be (-12)/(-18)*(-27)/d. Suppose 6*v = m*v. Is v greater than or equal to -2?
True
Let b be (37 + -1)*(-4)/(5 - 9). Which is smaller: 35 or b?
35
Let x(m) = -15*m + 364. Let b be x(27). Is b less than -23?
True
Let z be ((-152)/32 - -4)/(-27). Is 25 at most as big as z?
False
Let p = 1493 + -1492. Which is smaller: p or -5/261?
-5/261
Let u = -8923 - -8923. Let z = -5 - -8. Let i = z - 2. Which is greater: i or u?
i
Let s = 8.94 + -9. Let m = -58.06 + 57. Let y = s - m. Are -1 and y nonequal?
True
Let o(k) = -2*k**2 + 2*k. Let x(i) = -i**2 + i. Suppose -2 + 3 = -y. Let a(g) = y*x(g) + o(g). Let f be a(1). Which is smaller: 0.11 or f?
f
Let p be ((-50)/145)/(0 + -1 - 0). Which is greater: 0 or p?
p
Suppose 16 = 8*h - 4*h. Suppose h*n = 19 + 1. Suppose 0 = -d - 8 + n. Which is smaller: -4 or d?
-4
Suppose 3 = -4*b - 9, -5*r - 5*b = 105. Let s be (r/(-54))/(-1 - (-1 - 1)). Let l = 0.2 + -1.2. Is s != l?
True
Let q = -5 - -13. Suppose -m + 0*y = 4*y - q, 18 = 4*m + 2*y. Is -5/4 at most as big as m?
True
Suppose -6*g = -5*g - 465. Let h = g - 12559/27. Which is smaller: h or -1?
-1
Let a be 1 + -4 - (-42)/6. Suppose m - 3*m + 40 = -2*s, 0 = -4*m - a*s + 48. Which is greater: m or 4?
m
Let r(z) = z + 35. Let c be r(0). Let k be (350/14)/((-4 - -3)*1). Let j = k + c. Does 10 = j?
True
Let x be 6/(-39) - 63/13. Let m(o) = -4*o**3 + o**2 - 1. Let b be m(-1). Suppose 0 = -2*f - 0*f - b. Is f bigger than x?
True
Let n = 258 + -267. Are -48/5 and n nonequal?
True
Let c = 13 + -61. Let l = c - -44. Is l < -0.7?
True
Suppose -77*y = -86*y - 7524. Which is greater: y or -837?
y
Let i = 10 + -41/4. Suppose -6*v + 311 = 305. Which is smaller: v or i?
i
Let f(u) = -23*u**3 - 2*u**2 + 1. Let h be f(1). Suppose -4*m = 2*i + 82, -5*i + 94 = -107*m + 104*m. Let p = m - h. Which is smaller: 2/49 or p?
2/49
Let t = -133 - -304. Which is bigger: 170 or t?
t
Suppose -4*l + 13*l = -729. Let n = 82 + l. Which is bigger: n or 4?
4
Let v = -49948488680/9 + 1869521980638311/336861. Let j = v + -2/5347. Are -6 and j unequal?
True
Let g(n) = -5*n**3 + n**2 + 3*n + 1. Let y be g(-1). Let r be (-51)/(-66) - y/8. Let x = -11 + 10.9. Which is smaller: r or x?
x
Suppose 0 = 5*a + 4*x + 127 - 41, -4*a + 2*x - 48 = 0. Which is smaller: a or 4?
a
Suppose o + 12 = -m, -7 = -4*o + 5*o - 4*m. Let a = 214 - 226. Is a less than or equal to o?
True
Let x = -11 + 6. Let r be (-3 + (-14)/x)/((-2)/(-5)). Which is greater: 34 or r?
34
Let t = -978 + 977. Which is bigger: t or -3/95?
-3/95
Suppose -2*m = -m. Let c = 422 - 297. Let x be 2/(-3) + c/120. Which is smaller: x or m?
m
Let r = -36 - -116. Let d = r + -1362/17. Which is bigger: d or 0?
0
Let c be 0*3/(9 + -3). Let n be 1 + c + (-119)/105. Are n and 0 unequal?
True
Let y(c) = -c**2 - 13*c - 9. Let g be y(-12). Suppose 0*r - g*r - 6 = 3*q, q - 5*r - 10 = 0. Is q smaller than 2/9?
True
Let j be 2 + 2 - (-3 - (-101 - 0)). Do -96 and j have different values?
True
Let n be ((-1)/(-12))/((-12)/(-3186)). Let d = n + -1899/88. Let t(c) = c**2 - 6*c - 7. Let j be t(7). Which is smaller: j or d?
j
Let a = 4.8 + -3.1. Let z = -20.7 + a. Let f = z - -26. Which is smaller: -1 or f?
-1
Let v be -1*(-2)/(-4)*0. Suppose v = -5*f - 14 - 6. Let c be ((-9)/45)/(f/10). Which is greater: 0 or c?
c
Let y(w) = w**2 + 24*w + 46. Let p be y(-20). Which is smaller: p or -32?
p
Let m(d) = -66*d + 110. Let o be m(4). Which is smaller: -155 or o?
-155
Let d(f) be the first derivative of f**4/4 + 14*f**3/3 + f**2 + 7*f - 3. Let b be d(-14). Let l be (b/(-12) - 1)/3. Which is smaller: l or 1?
l
Suppose 37 = -6*h + 3*h - 4*o, 3*o + 19 = -h. Let c = h - -8. Let n = 42 - 127/3. Which is smaller: n or c?
n
Let z be (-2)/1 + 0/(-2). Let s = -2 + 4. Suppose -3 = -s*w - 7. Is w < z?
False
Suppose 3*u + 12 = -u. Let w(t) = t**3 + 15*t**2 + 52*t + 25. Let s be w(-4). Is u bigger than s?
True
Let l be 666*1*(-32)/(-72). Is l > 294?
True
Suppose 42 = 2*x - h, -26 = -4*x + 2*x + 5*h. Let t(k) = -2*k + 53. Let p be t(x). Which is smaller: 8 or p?
p
Suppose 0 = 5*a - 7*a + 4. Suppose -a*p + 20 = -12. Is p smaller than 16?
False
Let s(o) = 16*o**2 - 50*o - 29. Let l be s(11). Are 1357 and l nonequal?
False
Let o = -6.31 - -6.3. Is -7 greater than or equal to o?
False
Let z(b) = -10*b**2 + 66*b + 11. Let a be z(7). Let j be (1/(-1) - 0)*17. Is a greater than or equal to j?
True
Let g be -2 - 6/1*-1. Suppose x + g = 5*x - 3*m, m = -4*x - 12. Let w = -9 - -15. Which is smaller: w or x?
x
Let i be -2*(4/(-8) + (-34)/(-4)). Suppose 10*g - 24 = 6*g. Let t be ((-45)/(-6))/((-3)/g). Which is smaller: t or i?
i
Let h(r) = -r - 9. Let o be h(8). Let w = 19 + o. Suppose -14 = -c - w*v - 3, -4*v + 20 = 0. Is c at most as big as 11/5?
True
Let z = -7020 - -27785/4. Is z smaller than -73?
True
Let t be (323/27)/(30/414). Let s = 806/5 - t. Do s and -5 have different values?
True
Let f be 7/9 + 12/54. Let h be (-1*(-75)/(-9))/f. Is -9 > h?
False
Suppose 327 - 1647 = 22*y. Which is bigger: y or -59?
-59
Let x = -5.6 - 66.4. Let y = 67 + x. Which is bigger: -6 or y?
y
Let i = 1795/57129 + -7/411. Is i less than 0?
False
Let l(w) = -4*w + 2. Let q be l(-1). Let c = q + -17. Is -31/3 at least c?
True
Let k(m) = -3*m**2 - 46*m - 15. Let r be k(-15). Which is smaller: 8/19 or r?
r
Let y = -237.06 + 73.82. Let h = y + 160. Let k = 0.24 + h. Is k at least 3?
False
Let g = -1118 - -994. Which is smaller: 1/5 or g?
g
Let h(n) = n**3 - n + 3. Let l be h(-2). Let i be (-34)/l + (-3)/9. Suppose -4*j = 5*k - i, 0 = 4*k + 3*j - 0 - 8. Is k smaller than 0?
True
Let x = 98 - 89. Is x < 9?
False
Let i(g) = g**3 - 19*g**2 - g + 20. Let u be i(19). Suppose 6*k - 25 + 13 = 0. Is u equal to k?
False
Let s be ((-21)/28)/(18/(-1072)). Which is greater: 45 or s?
45
Let c = -1.1 + 1.19. Let z = c + -0.09. Which is bigger: z or -0.042?
z
Let u be -1*(125/5)/5. Let j = 46 + u. Which is smaller: 40 or j?
40
Let q = -94 + 149. Let x be ((-95)/q + 1)/(4/6). Is 1 not equal to x?
True
Let z be (-5)/((-140)/436) - (-16)/(-28). Let w be (6 - 1)*(-18)/z. Is w at least -9?
True
Suppose 0 = -11*s + 3809 + 1108. Which is smaller: s or 449?
s
Suppose 1282 = 6*c + 394. Which is bigger: c or 149?
149
Let x = -40325/2 - -19191. Let t = 5633/6 + x. Which is smaller: -32 or t?
t
Let b be -5 + -3 - 9329/(-1140). Which is smaller: b or 0?
0
Suppose i - 7 = 3*g, -5*i - 4*g + 4 + 12 = 0. Suppose 0 = -4*n - 0*n + i. Suppose -3*o + 2*p = -6, -2*o - o = -4*p - 6. Is n > o?
False
Let z(d) = -13*d - 247. Let j be z(-19). Does j = -2/555?
False
Let c be ((-198526)/(-145))/((-180)/75). Let w = -1141/2 - c. Do w and -1 have different values?
True
Let h be (1150/(-69) - -14)*(-45)/(-68). Which is smaller: h or -0.3?
h
Let x = 45.39 - 0.39. Let t = -514 - -556.9. Let h = x - t. Which is smaller: 1 or h?
1
Let p be (3 - (16 - 0))*20/(-10). Are 76/3 and p equal?
False
Let i(w) = -w**2 + 4*w. Let k = -3 - -8. Let p be i(k). Let o be 4/(-8)*2*p. Is 4 at most as big as o?
True
Let n be 1531*1/(-3) + (-76)/114. Is -511 at most as big as n?
True
Let h = 102 - 103.85. Let p = h + 0.85. Which is smaller: p or -0.15?
p
Let j be (-7546)/17 - (-8)/(-68). Let t = -3123/7 - j. Are t and -2/7 nonequal?
True
Let s = -83 + 59. Let w = s - -43. Is w > 20?
False
Let h = -0.071 + -0.109. Which is greater: h or -2?
h
Suppose -4*j - 3*b + 0*b - 12 = 0, -16 = -2*j + 4*b. Let l be (4 + 120/(-21))*-107. Let h = -184 + l. Is h <= j?
True
Let s be 246/((-13)/((-260)/56)). Which is greater: s or 87?
s
Suppose -6*i + 3*i = -5*a - 45, 3*a - 2*i + 28 = 0. Let r(f) = -45*f - 908. Let l be r(-20). Is l bigger than a?
False
Let n = 10 - 20. Let w = 12 + n. Is w less than or equal to 6?
True
Let y be (-1)/(4 - 66/18). Let c = -1732 + 19026/11. Which is smaller: c or y?
y
Let k(p) = -p - 5. Let g = -34 - -36. Let m be g/5 - 64/10. Let o