8/j). Is 1 > p?
True
Let z = -6 - -9. Let g = z + -8. Is g bigger than -4?
False
Let w be -1 + -1 + (0 - 1). Let h be (-2)/(-8) + 72/(-32) - 1. Is w greater than or equal to h?
True
Suppose 6*t = t - 45. Which is smaller: -11 or t?
-11
Let m = 5.6 + -3.6. Is m at most 1/12?
False
Suppose 2*x + 5 = -1. Let n(g) = g**3 + 3*g**2 + 2*g + 3. Let v be n(-3). Is v >= x?
True
Suppose 3*c = 2*g + 5*c, -10 = -2*c. Suppose 3*o + 3*a + 3 = 0, -3*a = -5*a + 6. Which is smaller: o or g?
g
Let z(v) = v**2 - 5*v - 2. Let p be z(5). Is -4/7 equal to p?
False
Let b be (-16)/(-12)*(-45)/80. Let x = -2 + 0. Is x greater than b?
False
Let o(x) = -2*x**2 - 9*x - 1. Let v be o(-6). Which is smaller: -20 or v?
-20
Suppose 0*a - 20 = -2*a. Is a at most 10?
True
Let j = -12 + 84. Let d be ((-1)/(-3))/(66/j). Which is smaller: d or 0?
0
Let k = -1276 - -313897/246. Let v = -57/574 + k. Let g(c) = c + 8. Let b be g(-8). Which is smaller: v or b?
v
Let z = -0.4 - 0.6. Let v = -0.5 + 0.44. Does v = z?
False
Let r = 3/4 + -61/4. Is r >= -15?
True
Let b = 60 - 58.6. Which is smaller: b or -2?
-2
Suppose -3*l + o + 16 = 1, 0 = 4*l + 3*o - 33. Suppose 0 = 3*z - l. Let i be (-2 + 1 + 1)/2. Is z greater than or equal to i?
True
Suppose 144 = -4*a + 32. Let s = 30 + a. Is s less than 1?
False
Let n(i) = -i - 6. Suppose 4 = l + 9. Let j be n(l). Let o = 964/3 - 322. Are j and o non-equal?
True
Let z(i) = 2*i**2 + 3*i + 1. Let a be z(-2). Let v = 12 - 10. Which is bigger: a or v?
a
Let r = 0.2 - 0.1. Let z = -31.1 - -32. Let q = z + r. Which is smaller: q or 0.4?
0.4
Let h = -1.4 + 1.7. Which is smaller: h or -2/5?
-2/5
Let h be (-10)/(-4) - 2/4. Let z be h/1*9/(-2). Let y be 4/99 + 2/z. Which is smaller: 1 or y?
y
Suppose -5*l = 5*y - y + 19, 5*y + 5*l + 20 = 0. Which is smaller: y or 6/59?
y
Let h = 0.1 + 3.8. Let t = 1.1 + h. Which is bigger: 0.2 or t?
t
Let g be -1 + 1 + 0/3. Suppose -15 = -9*v + 4*v. Suppose 5*f - 3 = r, -v*f + 4*r - r + 9 = g. Are -3 and f equal?
False
Let k(o) = -o + 5. Let b be k(4). Let w = 0.19 - -0.11. Which is smaller: w or b?
w
Let w be (-10989)/121 - (-2)/(-11). Are -91 and w unequal?
False
Let t(b) = b - 8. Let i(q) be the first derivative of q - 2. Let s(g) = -2*i(g) - t(g). Let f be s(4). Which is smaller: f or 8/7?
8/7
Let j be (2/(-3))/(3/(-1)). Let r = 1.25 - 0.15. Let u = r - 1. Is j < u?
False
Let b = -89 - -88. Which is smaller: 50 or b?
b
Let g(a) = a**2 + 3*a - 4. Let y be g(-6). Let x be 0/6 + 2/y. Let k be (2/4)/((-1)/2). Is x at least as big as k?
True
Let a = 43 - 60. Let j = a + 17. Is j less than or equal to -2/7?
False
Let y be (-19)/44 - (-4)/22. Let n = y - -3/4. Which is bigger: n or -0.2?
n
Let g be 2/9 - 4/18. Suppose 3*j = -2*w + 78, 0*w = 4*w - 4*j - 196. Let c be (w/12)/(-5) + 1. Which is greater: g or c?
c
Let u be 2/15 - (-5093)/165. Is u at least 32?
False
Let b = -0.4 + 6.4. Let t = b - 6.2. Is t < 1?
True
Let s = 180 - 180. Let z = -0.3 - -0.31. Is z at most s?
False
Suppose -m + 2*y + 8 = -3*m, -y - 4 = 3*m. Let j(z) = z**3 - 3*z**2 + 2*z + 2. Let d be j(2). Suppose -d = 5*a - 3*a. Is a >= m?
False
Suppose 3*p = -y + 2, -5*p - 2*y - 3*y + 10 = 0. Suppose 2*d = s + 4*d - 3, d = -5*s + 6. Suppose p*c = -c - s. Is c at least as big as 0?
False
Let v be (-3)/(4 - (1200/(-76))/(-4)). Which is smaller: v or -58?
-58
Let y(q) = -q**3 - 7*q**2 + 5. Let c be y(-7). Which is greater: 16/3 or c?
16/3
Suppose 0*p + 8 = 4*p. Suppose -5*a + 29 = 3*m, 0*a - 2*a = -4*m + 4. Suppose -r = -a*r + 3. Is p > r?
True
Let x = -0.06 - 0.04. Which is greater: x or 1?
1
Let i = -1.8 - 3.2. Is -2 smaller than i?
False
Let z = -0.2 + 0.2. Let h = -0.2 - 0.8. Let y = z + h. Which is smaller: 0.1 or y?
y
Let s = 27.06 - 24. Let d = -0.06 + s. Which is smaller: d or -2?
-2
Let y = -403/158 - -4/79. Which is smaller: 0 or y?
y
Let r = 34 + -34.4. Is -1 < r?
True
Suppose -4*v = n - 40, 0 = -v + 3*n - 2*n + 15. Let m = -6 + v. Are 5 and m unequal?
False
Let z = -37.8 - -38. Let i = -0.9 + 0.4. Which is greater: i or z?
z
Let u = -32 + 38. Are u and 6 equal?
True
Let r = -88/135 - 2/135. Let s = 0.28 + 3.42. Let j = s + -4. Is j bigger than r?
True
Let p(f) = -f - 17. Let t be p(-17). Which is smaller: 1/2 or t?
t
Suppose -4*y = -4*r - r - 20, -y = -4*r - 5. Suppose r = 2*l - 2*h + 26, -3*h = -3*l - 5*h - 64. Is l >= -19?
True
Let h be 16/56 - (-550)/(-14). Which is greater: h or -40?
h
Suppose 5*y - 2 - 28 = 0. Let f be (8 - 10)/(2/(-7)). Is f >= y?
True
Let q(m) = 5*m. Let t be (1 + 5)*(-5)/(-10). Let f be q(t). Let s = 73/5 - f. Which is greater: s or -4?
s
Let k = -1 + 1. Suppose -3*i - 5 - 4 = k. Is -3 >= i?
True
Suppose 2*c + 7 = -b, -3*b + b = -4*c - 18. Suppose -2 = 5*o + z - 10, 2*z - 2 = 4*o. Is b > o?
False
Suppose j - 8 = -3*j. Let w = -10 - -6. Let y = -2 - w. Is j >= y?
True
Let i be ((-12)/(-9))/(2/60). Is 40 less than i?
False
Let k = 1476 - 17699/12. Let c = -3/4 + k. Is 7 bigger than c?
True
Let b = 4.3 - 6. Let m = 0.6 + b. Which is bigger: m or -1/3?
-1/3
Suppose -5*a + 2*a - 3 = 0. Let y be 3*4/6 + 5. Let l = y + -7. Is l < a?
False
Let v = 0.28 - 0.48. Is v > 8?
False
Let i = 38 - 112/3. Is 1 != i?
True
Let w be -2 + 27/36 + (-18)/(-8). Is 2/233 at most w?
True
Suppose 0 = 6*v - 5*v - 11. Is 11 <= v?
True
Suppose r - 4*t = 7, 3*r + 5*t = 1 + 3. Which is smaller: 7/2 or r?
r
Let s(r) = -r**3 + 5*r**2 - 6*r + 5. Let o be s(4). Let v be ((-12)/45)/(o/(-1017)). Let u = v + 90. Which is smaller: u or -0.3?
u
Let y be 74/54*-3 + (4 - 0). Which is greater: 0.1 or y?
0.1
Let k(t) = -t**3 + 2*t**2 + 3*t - 5. Let b be k(2). Is b != 4/17?
True
Let o = 36 + 13. Let v be (-4)/(-6) + o/3. Suppose 0 = 4*d + 2*n - 4, 0 = 4*d - 5*n - 7 + v. Is 1 at least d?
True
Let o be -3*(-10)/12*2. Suppose -o*c = -2*c - 3. Which is smaller: c or -2/5?
-2/5
Let v be 6*-10*6/(-36). Which is smaller: v or -5?
-5
Suppose 5*o + 4 = -151. Which is smaller: o or -32?
-32
Let t be (-534)/(-8)*(-104)/39. Is t > -179?
True
Let z be 28/6 + 2/(-3). Suppose z*m + 3 = -17. Is -5 greater than m?
False
Let b = -14 - -8. Let f be ((-2)/b + 0)*-3. Is f less than or equal to -3?
False
Let b be 2/(-3) + (-7)/(-7). Do b and 0 have different values?
True
Let i(o) = 2*o**2 - 6*o - 1. Let g be i(3). Let v be (0 - g)*114/(-6). Which is smaller: v or -20?
-20
Suppose -q = 8 - 18. Let m = q + -11. Suppose 4*f + 0*f - r + 1 = 0, -4*f - 5*r = -5. Which is bigger: m or f?
f
Let x = 165 + -294. Which is smaller: -128 or x?
x
Suppose 0*o - 10 = 5*o. Let c be o + (-4)/(56/(-30)). Is c equal to 0?
False
Let m = 16 + -9. Let l(x) = -3*x**2 + 3*x**3 + 6 - x**3 - x**3 + 8*x**2 - 6*x. Let v be l(-6). Is m bigger than v?
True
Let z(l) = l - 14. Let w be z(8). Let b be w/8*(-12)/(-18). Which is bigger: 10 or b?
10
Suppose 2*o - 5*w = -3, 24 = 2*o + 4*w - 0*w. Is o at least 6?
True
Suppose -1 = -m + 1. Let a = -4 + m. Let v = -8 + 6. Is v greater than or equal to a?
True
Let k be ((-1 - -4) + 9)*-1. Which is greater: -11 or k?
-11
Let j be -2*3/(6/7). Let p = j - -16. Is p >= 9?
True
Let v be 2/6 - 152/6. Suppose 5*a = -72 - 48. Which is greater: a or v?
a
Let j = 2 + 28. Let o be (-1)/5 + (-14)/j. Which is smaller: -3/2 or o?
-3/2
Suppose 14 - 44 = 5*n. Let g be n/(1*-2) - 0. Suppose -2*y + 6 = g*u, u + 2*y = -y + 2. Do u and 2 have the same value?
True
Suppose -11 - 9 = -3*x + 5*c, -2*x = -5*c - 20. Is 3/16 smaller than x?
False
Let v(b) = b - 4. Let r(i) = -2*i**3 - i**2 + 1. Let h be r(-2). Let n be v(h). Is n not equal to 8?
True
Let c be (-63)/(-728) + (-9)/(-24). Is c smaller than 1?
True
Let f = -6 - -4. Let p = 3 + f. Let w be (-11)/(-154)*(-8)/2. Which is bigger: w or p?
p
Suppose 7 - 29 = 2*d. Is -10 >= d?
True
Let m = -18 - 8. Let r = -128/5 - m. Which is smaller: r or 0?
0
Suppose 0*v + 30 = 5*v. Suppose 2*o = -o - 9, 3*h - o = v. Which is greater: h or 5/4?
5/4
Suppose -2*d + 23 = b, 3*d - 47 = -2*b - 2*b. Which is smaller: 8 or d?
8
Let h = 1/13 + -16/39. Which is bigger: h or -1?
h
Let d(t) = 2*t**2 - 5*t + 7. Let r be d(2). Which is bigger: r or 6?
6
Let z = -16 - -15.83. Does 0 = z?
False
Let s = 133/60 - 13/6. Which is smaller: 0.2 or s?
s
Let k be (-875)/(-440) - (0 + 2). Is k <= -1?
False
Let k = 287 - 290. Let h be 18/(-8) + 1/4. Is k <= h?
True
Let h be 30/(-75)*10/16. Let j