x**2 - 4*x + 2. Let b be g(-4). Let c be b - (16 + -1)/3. Let a be ((-4)/c)/(2/(-3)). Do -1 and a have the same value?
False
Let k(s) = -s**2 + 8*s - 15. Let f be k(6). Which is smaller: f or -7?
-7
Suppose -12*g = -7*g + 20. Which is smaller: g or -3?
g
Let q(c) = c**2 - c - 2. Let i be q(-1). Is 1 bigger than i?
True
Suppose -4*q + 2*b = 5*b + 4, -5*b - 2 = 2*q. Let a = 303838315/2352520989 + 1/2234113. Let p = 2/81 + a. Which is bigger: q or p?
p
Let a be 0/((2 + -3)*-3). Which is smaller: a or -4?
-4
Let p(q) = q - 2. Let k be p(0). Suppose -2*y = 2*f, -5*f + 6*f + 15 = 4*y. Which is smaller: f or k?
f
Let d = -4 - -4. Suppose -10 = 12*p + 14. Is d at most as big as p?
False
Let l be (4/(-10))/(4/(-10)). Suppose 5*y - 4*p = 1, -y + 3*p - l = y. Let t be (-2 - -2)/3 + 2. Which is greater: y or t?
t
Let d = 0.32 - 0.3. Let k = d + -0.22. Are k and 0.2 non-equal?
True
Let k = -0.22 - -0.02. Let r = 4.02 + -0.02. Let g = r + -4.1. Is g at least k?
True
Let c = 19 + -18.7. Is c equal to 0?
False
Let c = 189 - 1326/7. Which is bigger: -1 or c?
c
Let w = 2/433 + 1255/9526. Which is greater: 0 or w?
w
Let z(q) = q. Let u(f) = -5*f. Let g(k) = u(k) + 4*z(k). Let w be g(0). Suppose 3*r + w*o = -o, 4*r - 2*o + 10 = 0. Is r bigger than -1/4?
False
Let s be (-32)/(-210) - (-6)/45. Is 2 at most s?
False
Let b(i) = i + 10. Let u be b(-7). Let w be u*(3/9 - 0). Which is smaller: w or 1/10?
1/10
Suppose 30*i - 154 = 32*i. Is i less than or equal to -77?
True
Let z(h) = h + 1. Let c be z(-2). Let q be 0/(c + -3) + 2. Let l be (-2 + 1)*(-4)/10. Which is smaller: q or l?
l
Let n be (-8)/3 + 1/(-3). Let d(h) = 3*h - 2 - 3*h - h**2 + 6*h. Let g be d(6). Is n at most g?
True
Let c be -45*((-768)/(-260) + -3). Which is smaller: 1 or c?
1
Let p(u) = u - 12. Let f be p(9). Let b = -2 + f. Are b and -5 nonequal?
False
Suppose -3*x = -3*m - 9, -x - 5*m - 38 = -11. Let i = x + 3. Let g = 317/7 - 45. Which is greater: i or g?
i
Let r = -2 + -1. Let o = 2 + r. Which is greater: o or -2/17?
-2/17
Let f be 5/((-15)/(-6)) + -6. Let w = 8 + f. Suppose 2*x = 4*m - 8, -4*m + x + w = m. Which is smaller: m or 2/17?
m
Let s = 26.96 - -0.04. Which is greater: -0.1 or s?
s
Let a = 153 + -153.62. Which is smaller: 2 or a?
a
Let r be 1/(-3) + 2/(-21). Let p be 27/12 - 3/12. Suppose 1 + 1 = p*v. Which is smaller: r or v?
r
Let r be 32/(-8)*10/(-8). Suppose 2*n - 18 = -5*s, -n - 22 = n - r*s. Is 1 greater than n?
True
Let t(o) = 2*o + 3. Let m be t(0). Which is bigger: m or 2?
m
Suppose -j - 2 = -4*j - g, 18 = 5*j - 2*g. Let v be j/(-3) - 2/6. Which is bigger: v or -1/3?
-1/3
Let l be 2/(-11) - (-120)/55. Let w(q) = -2*q**l + 3*q**2 + 0*q**2 + 6*q + 5. Let a be w(-5). Is -2/3 less than a?
True
Let c = 3/166 - -741/332. Suppose 30 = 7*f + 9. Is f greater than or equal to c?
True
Suppose -2*i = 1 + 9. Suppose -3*n = 28 - 13. Is i not equal to n?
False
Suppose 1 = -3*d + p - 3, -p = -4. Let c = 17 + -15. Let h be -1*(2 + c - 3). Which is smaller: h or d?
h
Let l = 38481/1897 + 1/1897. Let t(k) = -k**2 + 9*k - 10. Let c be t(10). Let r = l + c. Is 0 less than r?
True
Let r be (-3)/(-2)*(-4)/6. Let o be 3 - (1 + 2) - 3. Which is greater: o or r?
r
Let i(b) = -b**3 + 3*b**2 - 7*b - 7. Let t(y) = y**3 - 4*y**2 + 6*y + 7. Let p(g) = 3*i(g) + 4*t(g). Let k be p(6). Which is smaller: -10 or k?
k
Suppose -4*w = 5*y, -2*w = -3*y - 3*w + 7. Suppose -16 = -5*g - y*q, -4*q = 3*g + g - 16. Is -2/5 != g?
True
Suppose 19 = -j + 2*l, -2*j + 0*l - 34 = -3*l. Suppose 0 = 10*w + 31 + 79. Is w greater than j?
False
Let a = -237/3250 + -1/250. Suppose -3*c + 22 = 5*v, -2*c - 4 = 2*v - 12. Is a > c?
True
Let o(b) = 2*b - 10. Let q be o(9). Let s(u) = u + 9. Let z be s(-4). Which is greater: z or q?
q
Let g = -23.05 - -20. Let j = g - -0.05. Is j at least as big as -0.2?
False
Let l be (2 + 11/(-5))*1. Is l at least 0?
False
Suppose 4*i - 4*p = 12, -2*i + 0*i - 6 = 2*p. Let m = i + 1. Let h = -21 - -22. Is h != m?
False
Suppose 4*y = 20, r = -3*y - 2*y + 18. Is -11 at most r?
True
Let h = -3 - 11. Is -13 at most h?
False
Let v(r) = 3*r**3 + r**2 - r + 1. Let z be v(1). Suppose 2*m = -6, h - z*m = m + 17. Suppose 20 = h*b + 5*l, 2*b - l = -b - 4. Which is bigger: b or -0.2?
b
Suppose -i + 2*i + b - 3 = 0, 0 = -5*i + 2*b + 8. Suppose -3 = -i*x - x. Let c be (2 - x)*(1 + -1). Is 1/7 at least as big as c?
True
Suppose 34*y - 10 = 3*z + 39*y, 3*z - 3*y = 6. Suppose 4*q - 16 = -4*s + 8*s, 2*q - 3*s - 12 = 0. Are q and z equal?
True
Suppose -t + 3*t - 4 = 0. Let c = t + 2. Suppose 28 = -4*z - c*o, -4*z + o - 6*o - 31 = 0. Are z and -4 equal?
True
Let q(l) = 2*l - 9. Let c be q(5). Which is bigger: c or -1/18?
c
Let l = -22 + 65/3. Suppose 2*s = 5*y - 13, -5*s + 11 + 44 = 5*y. Suppose 9 = -3*m + s. Is l bigger than m?
True
Suppose 0 = 4*x + 5*p + 1214, 3*p + 450 = -2*x - 156. Let a = 12544/41 + x. Which is bigger: a or 0?
0
Suppose -2*v = -7*v + 215. Let u = -25 + v. Which is bigger: u or 17?
u
Let n = -20/1917 - 143329/1917. Suppose -61 - 314 = -5*g. Let z = n + g. Is 0 not equal to z?
True
Let t = 7 - 7. Let o = -2 + 1. Is t bigger than o?
True
Let n be 1/(-3)*0/1. Suppose n = -0*g - g. Suppose 0 = -3*i - r + 4 - g, -4*i - 4*r = 8. Is i >= -2/3?
True
Let v = -8.1 + 8.17. Is 2 != v?
True
Let j be (-15)/160*2/6. Is 1 greater than j?
True
Let k = -76/3 + 137/6. Suppose -4*q + 16 = -8. Let y be (6/(-4))/(q/8). Which is bigger: y or k?
y
Let p be (-1)/3 - (-38)/78. Let t be (-1)/(-4) + 3/(-12). Is t less than p?
True
Let n be (-6)/28 + 4/(-14). Let a = -13.97 - -14. Are n and a equal?
False
Let g = -0.95 - -0.9. Let x = -0.05 + g. Which is smaller: x or -5/6?
-5/6
Let a be 2/(-28)*-2*(15 + -13). Is 0.01 at most a?
True
Let a be (-5)/((-20)/(-64)) - 6/3. Which is bigger: -50/3 or a?
-50/3
Let y = 3 + -3. Let t be (y/(-3))/(2*-1). Let p = t - 0. Which is smaller: 3/4 or p?
p
Let d = 15 + -25. Which is bigger: d or -11?
d
Let t = 78.92 - 75. Let q = t - -0.08. Is -0.3 > q?
False
Suppose 49 = 6*a - 71. Is a at most 21?
True
Let y = 1 + -11. Let o = -5 - y. Suppose 0 = -2*b - 1 + o. Is b < 4/3?
False
Let p = 44 - 42. Which is smaller: p or 3/8?
3/8
Suppose -b - 5*v + v = -32, 0 = -v + 4. Is b bigger than -1?
True
Suppose 2*t + 3*t = 5. Let b be t + (-2 - 1 - -6). Suppose -3*q = -5*q + b. Do q and 3 have the same value?
False
Let w be 24/15 - (-4)/10. Let m = w + 1. Let l be ((-1)/(-5))/(m/9). Which is smaller: 2 or l?
l
Let h be (7 - 3 - 1)*-1. Which is bigger: -4 or h?
h
Let r be -8 + (0 - 1 - -3). Let x = 3 - 2. Let a be x/12 + 2/r. Is a > 1/3?
False
Let l be -1*(-7 - -8)*0/2. Which is greater: l or -7/9?
l
Let u(d) = 13 - 3 + 7*d - 2*d**2 + d**2 - 6. Let j be u(8). Do j and -4 have the same value?
True
Suppose o = -0 + 4. Which is bigger: o or 2?
o
Let r be -10 + 7 + 10/4. Which is greater: 2/5 or r?
2/5
Let y(d) = d**2 - 10*d - 1. Let i be 3/3 + 372/3. Let n be ((-2)/(-5))/(5/i). Let x be y(n). Which is smaller: -2 or x?
-2
Let x = 0.13 + 61.87. Which is smaller: 1 or x?
1
Suppose 2*j + 3*j + 5 = 0. Let u be 2 + j - (-2)/(-2). Let g = u - 0. Which is smaller: g or 1?
g
Let f = -0.07 + -0.53. Let p = -0.4 + f. Which is greater: -0.3 or p?
-0.3
Suppose 2 = 4*w + r, w + 2 - 11 = 4*r. Let t be 10/12 + 8/(-12). Is w less than or equal to t?
False
Suppose -1 = 2*w - 5. Let b = w - 1. Is b greater than 1/7?
True
Let h be 6/10 - 290/25. Let x(a) = -a**3 + a**2 - 7*a + 2. Let l be x(6). Let w be (-2)/h - (-172)/l. Is -2 less than w?
True
Suppose -3*u - 3*w - 3 = 3, 5*w + 12 = -4*u. Suppose 1 = 3*k - 2*k - h, u*h = k - 3. Let i(m) = -m**2. Let f be i(1). Is k greater than or equal to f?
True
Let i = -0.1 - -1.1. Is i greater than 7?
False
Let m(i) = i**3 + 4*i**2 + 4*i + 3. Let d be m(-3). Let x be ((-1)/3)/((-4)/12). Is x less than or equal to d?
False
Suppose 4*r - 11 = -2*g - r, -r = -4*g - 11. Let d = -247/2 + 123. Which is smaller: g or d?
g
Let t = 0.6 + -1.2. Let n = t - 0.4. Which is smaller: -2 or n?
-2
Let z be (-9)/(-297) + 2/6. Which is greater: z or 1?
1
Let z be (-6)/3*(0 - 2). Suppose -4*d - z = -2*d. Let q be ((-5)/(-10))/(1/d). Which is smaller: -2/15 or q?
q
Let a(h) = -h**2 - 7*h - 4. Let l = 10 - 16. Let k be a(l). Suppose 19 = 5*g - 2*r, 3 = 4*g - 4*r - 17. Does g = k?
False
Let z = 37/5 - 7. Does z = -14