0. Let c be s(-6). Let w be (-14)/7 + c + 3. Is w less than or equal to 1/9?
True
Let t(v) = -9*v**3 + 3*v + 3. Let q be t(-1). Which is smaller: 7 or q?
7
Suppose 0 = -9*c - 0*c + 756. Are 167/2 and c non-equal?
True
Let m = 277 - 409. Let y be (1 + 0)*-1 + 149. Let h be y/m - (-2)/3. Is 0 at most as big as h?
False
Let m be 4 - 24/3 - 1. Let l be ((-2)/(-6))/((-2)/6). Let d be (l + 0)*-1 - 6. Is d <= m?
True
Let m = -1840 + 3793/2. Is m less than 57?
True
Suppose 147 + 17 = 3*c + 2*w, -5*c + 4*w = -288. Let g = -3 + 59. Do c and g have the same value?
True
Let x = 718 + -718.2. Is x equal to 764?
False
Let r(g) = g**2 - 16*g - 22. Let d be r(15). Which is smaller: -1 or d?
d
Let l be (-695)/(-25) - 2/(-10). Suppose 5*a - l + 3 = 0. Suppose s = -4*s - 3*q + 52, s - 6 = -a*q. Which is greater: 12 or s?
12
Let r = -1475 - -1516. Which is greater: r or -1?
r
Let b(v) = 9*v + 15. Let w be b(-5). Let x be ((-8)/w)/(1/20). Which is greater: x or 5?
x
Suppose 0*g + 3 = m - 2*g, 2*m + 3*g - 6 = 0. Let p(h) = h**3 - 2*h**2 + 2*h - 16. Let w be p(m). Which is smaller: w or 2/389?
w
Let o be 12/(-20) + -5 - 2/(-10). Is -5 at least as big as o?
True
Let g = -401 + 393. Which is smaller: g or 0?
g
Let b be 4/10*(286/44 + -9). Which is smaller: b or 129.8?
b
Let d = -41 + 41.2. Let o = d - 3.2. Which is bigger: o or -0.2?
-0.2
Suppose 2*t - 5*t - 54 = 0. Suppose -5*k - 106 - 29 = 0. Let b = t - k. Which is greater: b or 8?
b
Let b = -196 + 135. Is b < -247/4?
False
Let t(j) = 94*j**2 + 30*j - 65. Let w be t(2). Is 2/5 > w?
False
Suppose 2*b = -3*b + 4*k + 420, 5*b = -5*k + 465. Suppose -13*o + 260 = -923 + 39. Is o less than or equal to b?
True
Suppose 3*z = 5*z - 6. Suppose -t + 4*u + 13 + 4 = 0, -14 = z*t + u. Is 0.2 >= t?
True
Let w = -2 + 3. Let g = 0.9 - w. Let s(m) = -2*m**2 + 29*m + 25. Let f be s(15). Is g at most f?
True
Suppose f - 5*f = -16. Suppose 4*g = w + 120, -6*g + 120 = -2*g + 2*w. Suppose 6*s - g = -4*s. Which is smaller: f or s?
s
Let m = -18 + 12. Suppose t + 7 = -0*t. Let u = t - m. Which is smaller: 15 or u?
u
Let i(g) = g**2 + 2*g + 1. Let q(c) = -c**3 + 4*c**2 + 5*c + 7. Let u be q(5). Let b = u + -9. Let w be i(b). Which is greater: w or 0.2?
w
Let a = 2008 - 3607. Let t = -1628.96 - a. Let h = 30 + t. Which is bigger: 2 or h?
2
Let w(o) = -46*o + 274. Let f be w(6). Is -11 greater than f?
False
Let o(x) = 11 - 10*x - 4*x**3 + 0*x**3 + 3*x**3 + 10*x**2. Let t be o(9). Let v be ((-42)/9)/(t/(-3)). Is v < 7?
False
Let s(g) = -g**3 - 3*g**2 - g - 2. Let j be s(-3). Let u be ((1 - 8)/(15/(-3)))/1. Are u and j equal?
False
Suppose -14*n = 7*n - 840. Which is smaller: n or 8?
8
Let t = 18472 + -10104180/547. Which is smaller: -0.1 or t?
-0.1
Let o = -2.6 + 1.2. Let w = o - -0.4. Let f = -23 - -18. Which is greater: f or w?
w
Suppose 5*s - 25 = -0*s. Let p = s + -2. Suppose u + 0*x = -4*x - p, -3 = u + 2*x. Which is greater: -5 or u?
u
Suppose -y = -6*y - 105. Let u = 14 - 34. Which is smaller: y or u?
y
Let r(q) = q**3 - 4*q**2 - q + 4. Let y be r(3). Let t = -39 - -47. Suppose -t*b - 70 = 2*b. Do y and b have the same value?
False
Suppose x + 3*u = 2*u + 3, -12 = -3*u. Let a(j) = 14*j**2 - j - 1. Let h be a(x). Which is bigger: 12 or h?
h
Let i = 21 + -34. Which is smaller: -57/4 or i?
-57/4
Suppose 0 = -5*b + 2*j + 719, 4*b - 111 - 457 = -2*j. Which is bigger: 144 or b?
144
Let z be 4/(2 - 3/3). Let w be -4 - (-2)/((-12)/(-51)). Which is bigger: z or w?
w
Let f = -1573 - -1562. Suppose -26 = 3*j + 2*x, 2*x - 4 + 10 = -j. Which is smaller: f or j?
f
Let p = 67.9 + -68. Suppose -2*d = h + 12, 2*d - 3*d = -h. Which is smaller: d or p?
d
Suppose -16 = -0*l - 4*l. Suppose -r - 3*g - 4 = l, 2*r = 2*g. Let s = -4 + 2. Is s equal to r?
True
Let u be ((-42)/(-10))/((-2)/36*3). Is u greater than or equal to -25?
False
Let q = -234.8 + 236. Is q greater than or equal to 0?
True
Let b = -39 + 48. Let w = b - 2. Which is greater: 9 or w?
9
Let n be 22/((-22)/3)*3/9. Which is smaller: n or -6/781?
n
Let f(x) = -x**3 + 5*x**2 + 4*x + 11. Let k be f(6). Are -1/394 and k nonequal?
True
Let z be (-2384)/(-64) + (-1)/4. Suppose 0 = 2*b - 5*d + z, 2*b - 3*b + 4*d - 14 = 0. Which is smaller: b or -25?
b
Suppose -2*z + 10 + 52 = 0. Let p = z - 52. Is -21 bigger than p?
False
Suppose 50*x - 67*x + 11458 = 0. Is x at least 676?
False
Let j = 765 - 16105/21. Which is greater: j or -1?
-1
Let t = -677/48 + -25/16. Which is smaller: -2/3 or t?
t
Let x(g) = 2*g**2 - 7*g + 6. Let d be x(3). Let u be d*((-2)/1 - 5). Is u >= -21?
True
Let j(k) = -2*k - 17. Let r be j(-6). Let g be ((-6)/r)/(27/180). Which is smaller: g or 17/2?
g
Let k be 3/12*-2 - 132/(-8). Suppose 24 = 5*h - 36. Suppose -3*r = 4*t + k, r - 3*t - h = -4*r. Is r greater than or equal to 0?
True
Let i = 28.514 - -1.526. Let q = -30 + i. Do q and -0.1 have the same value?
False
Let y be (-1)/(-17) + (-3965)/(-221). Let l = -1.2 + 0.2. Let m = 0 + l. Is m >= y?
False
Let d(n) = 15*n - 146. Let r be d(-11). Which is greater: -312 or r?
r
Let c = -7.9 + 8. Let l = -44 - -47. Let u be (12/(-8) - 0) + l. Which is smaller: u or c?
c
Let r = 2.89 + -0.89. Is r at least -1/31?
True
Let h = 9.84 + -10. Let j = 2.36 + h. Let r = -2.13 + j. Is r at most 2/7?
True
Let p be (-10)/3*(-6)/5. Suppose p*y + 4*m + 372 = 0, 3*y - 3*m - 27 + 276 = 0. Let h = y + 443/5. Is 0 bigger than h?
False
Let x = -18 + 17.9. Let n = -26.1 - -25. Let a = n - -1.2. Which is smaller: a or x?
x
Let z be 1/(3/(-18))*(-5 - -1). Suppose z = -4*y + 10*y. Suppose 0 = 5*m - 2 - 8. Which is smaller: y or m?
m
Let k be (-1442)/(-1236) + ((-1)/6)/(-1). Is k equal to -0.6?
False
Let k = 3.52 - -91.48. Which is smaller: k or -0.2?
-0.2
Let m be (39/1300)/((-16)/5 + 2). Let y(l) = -l**3 + 3*l**2 + 3*l + 3. Let j be y(4). Is j equal to m?
False
Let s be (5*(-2)/14)/1. Let j = -29 + 30.8. Let u = j + -0.8. Which is smaller: u or s?
s
Let q = 1.8 - 2. Let i = 35.52 + -35. Let o = -0.48 - i. Is o < q?
True
Let k = -34136/5 - -6793. Let l = -34 - k. Let s = -23 - -24. Which is greater: s or l?
s
Suppose 8 = -0*p - 8*p. Let m be (p + -3 + -1)*(-1)/(-7). Which is smaller: -2 or m?
-2
Let u = -2.31 - -4.31. Which is smaller: u or -27?
-27
Suppose -6*z + 2*z - 121 = -5*w, 0 = 2*w + 4*z - 54. Suppose 0 = -5*r + w, -3*i = -5*r - 0*r - 125. Are 52 and i unequal?
True
Let v = 0.2 + -0.3. Let t(g) = -g - 24. Let u be t(-8). Let j be (2/(u/15))/((-9)/4). Which is smaller: j or v?
v
Suppose -4*z + z = 2*w - 85, 5*w - 170 = z. Which is smaller: w or 36?
w
Suppose 0 = 2*b, z - 40 + 41 = 3*b. Does z = 2/1289?
False
Let t(q) = -2*q**2 - 5*q - 6. Let x(s) = s**2 + 1. Let b(z) = t(z) + 6*x(z). Let r be b(-2). Is -2/7 less than r?
True
Let w = 149 + -180. Which is smaller: w or 0?
w
Let o(t) = 10*t - 71. Let g be o(7). Does g = 6/71?
False
Let u = 2.07 - 2.2. Let h = 0.27 - u. Is h equal to -1/5?
False
Let h = -54 - -110. Let j(u) = -u**3 + 48*u**2 + 209*u + 5. Let l be j(52). Which is smaller: l or h?
h
Let f(y) = -y**2 - 6*y - 3. Let u be f(-5). Suppose -4*t = -j - 205, 2*t - 3*j = -t + 156. Suppose -46*p - 5 = -t*p. Which is smaller: p or u?
p
Let g be (10/15)/((-1)/(-24)). Let d be 2 + -2 - 6/g. Let n = -19 + 20. Is n bigger than d?
True
Let d be 52/12 + (-5)/15. Do 5 and d have the same value?
False
Suppose -10*i + 5*i - 60 = 0. Let r = -8 - -15. Suppose 0 = 3*l - v + 34, l + 0 = -4*v - r. Is i smaller than l?
True
Suppose 0 = -m - 2*i - 0*i - 30, 3*i = 4*m + 87. Let r be (5/4)/((-3)/m). Suppose v + 2*d = 3*v - r, -d = 4*v + 5. Are v and -0.3 nonequal?
True
Suppose 3*j = -2*j + 20, -35 = 3*o - 5*j. Which is smaller: 0 or o?
o
Let f = 236 - 5430/23. Which is smaller: 1 or f?
f
Suppose -4*p - 28 = -r, -p + 5*r + 0*r = 26. Let v be (p/(-15))/(2 - 3 - -2). Let o be 39/5 - (-1)/5. Which is greater: o or v?
o
Let p(o) = 2*o + 22. Let m be p(-12). Let h = m + 10. Does h = 7?
False
Suppose 4*v + 160 = 2*y, -5*y + 4*v + 138 + 238 = 0. Is y != 73?
True
Suppose 2*m - 13 = m. Is 0.4 != m?
True
Let y = 254 - 251. Is y > -1.7?
True
Suppose 3*h + 16 = h. Let z(d) = -d**2 - 4*d + 4. Let g be z(-4). Let p be (-42)/g*6/9. Is p at most h?
False
Let y = 6 + -6. Suppose y*v + 2 = -2*v. Let s = -35 - -37. Is s < v?
False
Let l = 0.28 - 11.18. Let r = l + 14.2. Which is greater: 1/