
Let b(g) = g**2 - 5*g + 2. Let n be b(3). Let h(r) = r**2 + 6*r + 3. Let o be h(-4). Which is smaller: o or n?
o
Let g(l) = l**3 + 4*l**2 - 4*l + 7. Let q be g(-5). Let i be q/13 + 290/(-26). Is -9 greater than i?
True
Let z = -2613/2282 - -12/163. Is 0 at most as big as z?
False
Let q be ((-2)/20)/(21/(-12)). Which is smaller: q or 1?
q
Suppose 2*g - 4*m - m - 26 = 0, 4*g - m - 16 = 0. Are g and 7 equal?
False
Let n = 1744/185 + -47/5. Which is bigger: -1 or n?
n
Let v = 256/9 + -15122/531. Suppose -3*h - 14*r = -17*r - 12, 3*r = 2*h - 13. Is v <= h?
False
Let p = 97/546 - 1/42. Let u be (1/(-3))/((-2)/12). Suppose 3*t - 3 = -u*c + 3, 5*t = 4*c - 12. Is t greater than p?
False
Let c(y) = 4*y - 13. Let m be c(1). Is -44/5 greater than or equal to m?
True
Let q(w) = -w + 4. Let y(o) = 3*o**2. Let s be y(1). Let t be q(s). Suppose -7*j + 28 - 7 = 0. Do j and t have the same value?
False
Suppose 7*j = 6*j - 21. Let i = -5470 - -27453/5. Let f = i + j. Which is bigger: f or 0.2?
0.2
Let j = 2 + -3. Let g = 0 + -0.6. Let c = 0.4 + g. Which is greater: j or c?
c
Let b = 1898/3 + -627. Which is greater: 7 or b?
7
Let c(s) = s**3 - 2*s**2 - s. Suppose 1 = -2*b + 5. Let h be c(b). Let u = h - 0. Is u equal to -1?
False
Let j = 62.2 - 62. Let g = 0.4 + -0.3. Which is smaller: g or j?
g
Let k = -0.38 + 0.08. Is k equal to 1/5?
False
Let i = -7 + 24. Is i > 18?
False
Let g = -385 - -16545/43. Which is smaller: g or 1?
g
Let o = -1 - 0. Let x(u) = 2*u**2 - 6*u - 8. Let n be x(6). Suppose 0 = 4*m + 5*p + n, -m = -p - 0 - 2. Which is smaller: m or o?
m
Let c = -55 + 53. Which is bigger: -11 or c?
c
Let b = 0.25 - 0.33. Which is smaller: -1/3 or b?
-1/3
Let d = 0 + 0. Let w = -77 - -77.8. Which is greater: d or w?
w
Let m = 5 + -3. Let t(v) = v**3 + 15*v**2 + 13*v - 9. Let x be t(-14). Suppose x*p = 5 - 0. Which is smaller: p or m?
p
Let r(t) = t + 2. Suppose 17 = -4*o + 1. Let y be r(o). Are y and -2 unequal?
False
Suppose -52 = -5*o + 6*m - 4*m, -5*m = 4*o - 35. Let k be ((-4)/o)/((-9)/5). Which is greater: k or 0?
k
Let c = -0.62 - -0.7. Let t = c + 0.02. Is t equal to 0.05?
False
Let a = -1 - 1. Let b = -44 + 44. Is a < b?
True
Suppose 2*l - q - 8 = 0, -22 = -3*l + 4*q - 0*q. Which is bigger: l or 0.3?
l
Let w = -19 + 17.9. Let t = 2.1 + w. Which is bigger: 0 or t?
t
Let z(r) = -4*r**2 - r. Let t be z(-1). Let w(p) = -p - 4. Let f be w(t). Let i be 0/(-2 + 5) + f. Which is greater: i or 0.2?
0.2
Let s = 1.5 + 6.5. Which is smaller: -0.6 or s?
-0.6
Let f = 0.39 + -0.39. Which is smaller: f or -2/3?
-2/3
Let d be (-442)/(-24) - 10/6. Which is bigger: 16 or d?
d
Let g = 108/7 - 1418/91. Suppose 4 = -2*q, 2*r - 10 = -0*r + 4*q. Is r greater than or equal to g?
True
Let s(m) = m**3 + 2*m**2 + 2. Let v be s(-2). Is v greater than -1?
True
Let s = -1.5 + 2. Let r = -0.4 + s. Is r greater than -2?
True
Let i be -93*1/(-18)*4. Which is smaller: i or 22?
i
Suppose 5*o - 6 - 34 = 0. Let l = 9 - 12. Let a be 0/(-2 - l)*-1. Is a < o?
True
Let j(m) = m**2 - 6*m - 4. Let g be j(8). Let c be 1/(-3) - (-40)/g. Which is smaller: c or 1?
1
Let x = 14 - 13. Suppose 3 = 2*w + x. Which is smaller: w or 1/3?
1/3
Let j(y) = y**2 + y. Let b(i) = -5*i**2 - 5*i + 1. Let n(q) = b(q) + 6*j(q). Let g be n(0). Which is bigger: -2/7 or g?
g
Let s = -22 + 55. Let w be (4/12)/(s/54). Which is greater: w or -1?
w
Let l(q) = 8*q**3 - 2*q**2 - 14*q + 8. Let i(x) = 3*x**3 - x**2 - 5*x + 3. Let k(u) = -11*i(u) + 4*l(u). Let n be k(2). Is 1 greater than n?
False
Let m be (0 - -2)/((-4)/(-8)). Which is bigger: m or 2?
m
Let b(a) = 7*a + 7 + 6 + a**2 - 3 - 5. Let j be b(-6). Is -1/4 <= j?
False
Suppose -4*b + 3*m + 6 = -25, m = 5*b - 25. Let k be ((3 - -2) + 0)/1. Which is smaller: k or b?
b
Let j be 3*(-3)/18 + (-3)/(-14). Which is bigger: -8 or j?
j
Suppose -y - 4*s = -3*s - 9, 5*y - 25 = -s. Let m be (3 - y)*(2 - 1). Which is smaller: -3/4 or m?
m
Let n = -2 - -1. Let r = 0 - n. Let w = r + -2. Is 0.1 not equal to w?
True
Let m = -1.2 + 0.8. Which is bigger: 2/9 or m?
2/9
Suppose 3*a - 4 = 8. Is 7/2 less than or equal to a?
True
Let h = 1451/9 - 161. Let c = -21 - -20. Which is smaller: c or h?
c
Let x(m) = -3*m - 16. Let l be x(-4). Which is smaller: l or -7?
-7
Let h be 1/(-4) + 253/(-44). Is h smaller than -1?
True
Let g = -4/19 - -6/19. Is g bigger than 1?
False
Suppose -25 = 4*g + 3*a, 4 = -4*g - 0*g + 4*a. Let z = 1 + -3. Is z not equal to g?
True
Let g be (7/3 - 3)/((-2)/(-3)). Let z = -1.7 - -1.34. Let o = z - -0.06. Is g > o?
False
Let h be 1/(-3) - (-30)/9. Suppose -7 = -h*d - 1. Suppose 0 = -d*j + 3*j - 1. Is 1 > j?
False
Let b = 1 - 0. Suppose -4*p + 3 = -b. Let f = -0.09 + 1.09. Do f and p have the same value?
True
Let o = 3 - 4. Let b be o/(-4) - (-3)/(-12). Suppose b = -j - 4 - 0. Which is smaller: j or -5?
-5
Let l be 1/4 - 28/48. Is -1.6 equal to l?
False
Suppose -92*i + 20 = -88*i. Is i at most 7?
True
Suppose 3*m - 25 = -5*j, 0*m + 4*j - 20 = 5*m. Suppose -3*w + 7 + 5 = m. Suppose -3*h - 6*i + 2*i + 7 = 0, -i + 1 = 0. Which is greater: h or w?
w
Let q = 288/77 - 38/11. Is q smaller than -3?
False
Let y = 68.2 + -68. Is y not equal to -3/2?
True
Suppose 0 = -r - 2. Let o be (-3 - r)*(-4)/(-4). Which is bigger: 1/4 or o?
1/4
Let k be (-6)/(-10)*(-14)/63. Which is smaller: 1 or k?
k
Let q = 0.03 + 0.97. Let t = q + -1.4. Which is smaller: -0.1 or t?
t
Let v(s) = -s + 15. Let z be v(10). Suppose -2*h = 10, -2*i + i - 25 = z*h. Which is greater: i or -1?
i
Let f(h) be the second derivative of h**5/20 - 5*h**4/12 + 2*h**3/3 - 2*h**2 - 3*h. Let k be f(4). Which is bigger: k or -3?
-3
Let j be 8*1/36 - 1/(-36). Is j <= -38?
False
Suppose -4*v = -4*w - 2 - 2, -1 = -3*v + w. Suppose 5*q = -19 - 6, 4*x - 2*q - 18 = 0. Let h be x/(-3) - (-7)/6. Which is smaller: h or v?
v
Let m = -3 + 6. Suppose -3*b - s + 1 = 4*s, -b + 7 = -5*s. Suppose b = m*t - t. Is t smaller than 2/3?
False
Let c be ((-2)/3*-6)/(-2). Let m be c - (-1 + -8)/3. Which is greater: 2/11 or m?
m
Let r(p) = p**3 - 11*p**2 - p + 13. Let h = 0 + 11. Let c be r(h). Is 3 > c?
True
Let l = 660 - 4635/7. Is -3 at least l?
False
Let o = -47893/12 + 836755/228. Let c = -321 - o. Is -1 equal to c?
False
Let i be (-1*(2 - 2))/(-2). Let l = 1/3 - -1/6. Is l < i?
False
Let p = -19253 - -1636544/85. Let y = 65/7 - 1112/119. Let w = y + p. Is -2 <= w?
True
Suppose 0 = -4*o - 17 - 15. Let x be o/(-2) + (-12)/4. Which is bigger: x or -1/12?
x
Let c(b) = 36*b**2 + b. Let x be c(-1). Let t be (-14)/x*3/(-2). Is 2 != t?
True
Let r(z) = -z**3 + 6*z**2 + z + 8. Let m be r(7). Does -34 = m?
True
Suppose 3*x = -3*u - 9, -3*u + 7*u + 6 = 2*x. Which is smaller: 1/9 or x?
x
Let i = -0.028 - -2.028. Which is bigger: i or -45?
i
Let j be 2*2/(-44)*-2. Which is greater: -1 or j?
j
Let y(i) = -i**3 + 14*i**2 - 14*i + 7. Let z be y(13). Let g(d) = -d. Suppose 2*a - 1 = -11, -5*r = -5*a - 55. Let l be g(r). Is l less than z?
False
Let l = 2/271 + -584/5691. Which is bigger: 0 or l?
0
Let i be (1 + -5 + 5)*0. Which is greater: 2/15 or i?
2/15
Suppose -y - 3*n = -22, -n + 34 = 2*y - 0*n. Suppose -12*i - 8 = -y*i. Is i equal to 5?
False
Suppose 212 = 15*a + 302. Let t(c) = -4*c - 1 + 4*c - c**2. Let i be t(-2). Which is smaller: i or a?
a
Let g = -2.8 - 0.2. Which is bigger: 0.01 or g?
0.01
Let l = 1 - 1. Suppose 0 = -2*i + 4, 3*t - i = 26 - 1. Let n = -12 + t. Which is smaller: n or l?
n
Suppose -5*f + 0*q + 2*q = -8, 2*f = -2*q + 6. Is f > 0?
True
Let k be 0 + 0 + -2*1. Let y be (3/(-12))/(1/k). Which is greater: 2/3 or y?
2/3
Let h = -35.95 - -35. Let w = h - -1. Let u = w - 0. Which is smaller: -2/7 or u?
-2/7
Let r(i) = i**2 + 6*i + 1. Let b be r(-6). Is b less than -3/10?
False
Let f be 792/21 + 4/14. Let r = f + -191/5. Is r <= 1?
True
Let i be 120/(-27)*10/(-8). Which is bigger: i or 7?
7
Let l(g) = -g + 7. Let k = -19 - -31. Let p be l(k). Is p at least as big as -6?
True
Suppose 0 = 2*i - 4. Suppose -i = -5*a + 3. Suppose -m - a + 2 = 0. Is m <= -1/6?
False
Let m = 12 + -26. Is -10 at most as big as m?
False
Let a = 1305 - 90047/69. Let t = a - 61/276. Let y be -1*1/1 - 0. Is t greater than or equal to y?
True
Let j be (3/5)/((-7)/(-35)). Let y be j - (-3)/6*34. Does 19 = y?
False
Let x = -5.037 + -0.063. Let k = -5 - x. Is -6 equal to k?
F