**3 - c + 37. Let z be h(0). Suppose -53 = 3*q + z. Let n be 65/q - 1/(-2). Which is smaller: n or -1?
n
Let m(c) = -c**3 + 9*c**2 - 7*c - 4. Let u be m(8). Which is smaller: u or 0?
0
Let v be 2/((-4)/(-36)*-2)*1. Are v and -10 equal?
False
Let m be (-2 + (-10)/(-4))*0. Let s = m + 1. Let k be (0 - -1) + (-4)/6. Do k and s have the same value?
False
Let x = 17570/14859 - 253/762. Let z = x - 2/117. Which is greater: z or 2?
2
Suppose -70 = -5*h + 4*s, -7*s + 56 = 4*h - 3*s. Is h < 15?
True
Let f be 16/48*(-3)/(-1). Let y be -1 + -2 + 195/63. Which is smaller: f or y?
y
Let b be 30*(-1)/((-5)/2). Let h be (723/b)/(6/8). Let u = h - 81. Which is greater: -2 or u?
u
Let p be 1 - ((-12)/2)/(-2). Let s be p/(-3) + (-2)/(-6). Let x be 0/(-2) + (-2)/9. Which is smaller: s or x?
x
Let m = -0.1 + 0.05. Let p = -11 + 10. Is m != p?
True
Let c be (-6)/26*(6 - 7). Which is smaller: c or -1?
-1
Suppose 0 = -7*f + 2*f. Suppose -w + 2*h - 3*h + 4 = 0, 9 = w + 2*h. Is f at most as big as w?
False
Let v be (13/(-22))/((-27)/(-168)). Let o = v + 38/9. Let q = 0 - -1. Which is smaller: q or o?
o
Let l = 1 - 0. Let r = -3 - -2. Which is bigger: r or l?
l
Let h = 53318/5 + -572903/55. Let o = 247 - h. Let i(b) = b**2 - b - 1. Let c be i(0). Which is greater: c or o?
o
Let o = -9 + 9.09. Let c = 17 + -18. Are o and c equal?
False
Suppose n = 4*n, -2*q + 10 = 5*n. Let u be 1 + (1 - 3/(-1)). Is q at least u?
True
Let g = 52 - 50. Let d = 5 + -2. Let l be 4/d - g/(-3). Is 5/3 bigger than l?
False
Let z be 3/(3 - (0 + -7)). Which is smaller: z or -1?
-1
Let c(t) = -t**3 - t + 2*t**2 + 4*t - 1 + 0*t. Let q be c(3). Let w be q + (-2)/(-1) + -1. Which is smaller: -1/2 or w?
-1/2
Let v be -29 - (3 - 2/1). Let h be (-12)/v*10/6. Is 2 bigger than h?
True
Let h = 3 - 3.1. Let w = 12.1 - 18. Let t = -6 - w. Is t equal to h?
True
Let m = -2913/2717 - 1/209. Let j be (((-1100)/(-6))/5)/(-26). Let k = m - j. Is k at most -1?
False
Let t = 22 + -15. Let j = 7 - t. Is 1/3 >= j?
True
Let q be ((-2)/(-28))/(2/4). Let s = -0.028 + 0.128. Is s bigger than q?
False
Let i be (-1)/(-4) + 126/8. Let l be (i/(-20))/((-6)/(-10)). Which is smaller: 0 or l?
l
Let r = 1.6 - 0.6. Let d(k) = -k**3. Let s be d(0). Suppose s = -3*i - 2*i. Is r bigger than i?
True
Let t = -9 - -9. Which is smaller: t or 3/10?
t
Let d(c) = -c**3 + 4*c**2 + 4*c + 5. Let v be (2/(-4))/((-8)/80). Let g be d(v). Is g not equal to -3/5?
True
Let b(c) = -2*c + 3. Let v be b(-5). Which is bigger: 14 or v?
14
Suppose 3 = 2*b - 3. Let t = 1 - -1. Suppose 3*z - t*z = 3. Is b >= z?
True
Let g = -1 + 2. Suppose 2*j = -3*j + 4*y - 62, -5*y = 10. Let m be j/(-24) + (-2)/6. Is m bigger than g?
False
Let y = -4 + 8. Suppose w = 5 - y. Do w and 1 have different values?
False
Let g = 7 - 5. Suppose 2*a = -0*a - g. Let s = -0.4 + 0.2. Is s at least as big as a?
True
Suppose 2*u - 14 = 4*u. Let m = u + 7. Let i be (-6)/(-9)*(-6)/7. Is m <= i?
False
Suppose -2*x = 2*y, -3 + 15 = -4*y. Which is bigger: x or 18?
18
Suppose 4*q + 0*q = -5*o - 8, -2*q = 3*o + 4. Let k be -1 + 3 - (-16)/4. Suppose -d + 3 = 0, 0*v - k = -3*v - d. Does o = v?
False
Let a = 1/3 + 1/15. Let u = -108 + 113.1. Let p = -5 + u. Are a and p equal?
False
Suppose 0 = -0*c - 3*c - 12. Let o be 2/18*8/c. Which is smaller: o or -0.1?
o
Let n be 6/24 + 5/(-4). Is n greater than or equal to 1/4?
False
Suppose -q + 2*l + 12 = -0*l, 2*q - 2*l - 14 = 0. Suppose d = 4*d - j - 51, -4*j = 3*d - 36. Suppose -4*y - d = 0, 3*h + 22 = 5*h - 5*y. Is h bigger than q?
False
Let t(q) = -q**3 - 3*q**2 - 2*q + 2. Let d be t(-3). Let w(p) = p**3 - 8*p**2 + 1. Let h be w(d). Let r = 2 + -1. Does h = r?
True
Suppose -b - 3 = 2*c - c, 0 = -b + c + 5. Let i = 16 - 15.3. Let l = -2.3 - i. Is b less than l?
False
Suppose 8 = 3*b + 2. Let f = 7 + -9. Let z be f/6*(0 + -3). Is b greater than or equal to z?
True
Let g = 67 - 1205/18. Which is greater: g or 1?
1
Let l = -77/200 + 1/100. Suppose 0 = -y - 3*y - 8, 3*y = -5*z - 1. Which is smaller: l or z?
l
Let l be (-6)/21 - 47/7. Let p(x) = x + 6. Let s be p(l). Are 0 and s equal?
False
Let x = -3 + 2. Let i = -30/13 + 77/39. Which is smaller: x or i?
x
Let k = 815/4 - 205. Does -0.1 = k?
False
Suppose 5*y - 7 = i, 0 = 3*i - 5*i - 5*y + 16. Suppose 0 = -7*x + i*x + 40. Let t be 78/120 - 4/x. Is 1/4 at most t?
True
Suppose 0 = 5*i - 4*i. Suppose -4*w = -o + 4, i*w = -3*o - w - 1. Which is greater: o or 3/5?
3/5
Let k(v) = v. Let t be k(0). Let u be (10/(-2))/((-1)/1). Let c = 4 - u. Which is smaller: c or t?
c
Let k = -0.15 - -0.05. Let g = 1 - 0. Let f be 2 - g/(0 + 1). Is k > f?
False
Let m be (-357)/(-85) - (1 - (-9)/(-5)). Is m > 17/4?
True
Suppose -4*a - 13 - 23 = 0. Let j be a/7 + 4/14. Let t(v) = v**3 - 3*v**2 + 3*v. Let u be t(2). Do u and j have different values?
True
Suppose 5*z - 3*f - f - 30 = 0, 5 = -f. Suppose -4*s + 8*s + 120 = 0. Let l be (z - 0)*3/s. Is l <= 0?
True
Suppose 214 = i + i + 2*p, 3*p = 0. Is 107 at least i?
True
Let d be ((-57)/27 - -1) + 1. Which is smaller: d or 0?
d
Suppose 20 = -5*z - 4*h, 4*h + 13 + 7 = 4*z. Which is greater: -3 or z?
z
Let g = -21 - -23. Is g at least as big as 0?
True
Let l be -4*(1 + (-6)/4). Let h(v) = -2*v - 1 - 1 + 0 + v**2 + 1. Let d be h(l). Is d less than or equal to -2?
False
Suppose -2*b + 5*y + 75 = 0, 5*b - 4*y + 0*y - 230 = 0. Which is bigger: b or 49?
b
Let n(a) = -2*a - 27. Let z be n(-14). Which is bigger: z or 7/6?
7/6
Let c = -0.14 + -5.86. Let n = 5 + c. Let j = 378/5 + -76. Is n less than j?
True
Let t = 0.72 - 0.8. Let s = t + 3.08. Let w = 1.06 + -0.06. Which is greater: w or s?
s
Let f = 23599619/257139 - -3/28571. Let k = f + -92. Is -1 equal to k?
False
Suppose 4*u = 3*n + 117, 2*u - 53 = 5*n + 16. Let z be ((-2)/3)/(24/u). Is z greater than or equal to -1?
True
Let w = -40 + 3. Is 1 greater than or equal to w?
True
Let d = -53 + 103. Let c = -248/5 + d. Which is smaller: 2/7 or c?
2/7
Let x = 93 + -104. Which is greater: x or 1/2?
1/2
Let r(n) = -2*n**2 - 27*n - 30. Let f be r(-14). Which is smaller: f or -46?
-46
Let u = 70 - 23. Which is smaller: u or 2?
2
Let c be -3 - (-3 - (-8)/180). Which is bigger: c or 0?
0
Let j = 9 + -9.2. Let s = 0 + j. Let u = 0.1 + s. Is u greater than -4?
True
Let g be (-1)/(-1) + -1 + 1. Let j = 0 - g. Let h = -1 - j. Is h not equal to 1/4?
True
Suppose 12*l + 4 = 11*l. Is l smaller than -4?
False
Let f = -1218 - -71860/59. Which is smaller: 1 or f?
f
Let x = 16 + -19. Is x <= -11/4?
True
Let b = -46127/56 + 5499/7. Let h = b + 38. Is h <= 1?
True
Let n(b) = -b + 1. Let f be n(5). Which is bigger: f or -0.3?
-0.3
Let y = -54 + 53. Is -0.03 < y?
False
Suppose 0 = -h + 5*q - 15, 0*h + 4*q = 5*h + 33. Let z = h + 7. Let x = 29/3 + -9. Is z >= x?
True
Let l(b) = -b**3 + 3*b**2 + 3. Let n(w) = -w**3 + 4*w**2 + 2*w - 5. Let d be n(4). Let t be l(d). Suppose 0 = -4*k + 2*k + 8. Which is greater: t or k?
k
Let f be (-962)/(-880) + 10/(-25). Let m = f + -9/11. Are 2/7 and m equal?
False
Let l = 4 - 1. Let t(n) = -n**3 - 6*n**2 + 10*n + 1. Let d be t(-7). Let b be (-50)/d - (-1)/(-2). Which is bigger: l or b?
l
Let w = 12 + -8. Suppose -w = -4*a, -6*a + 3*a - 32 = 5*c. Which is smaller: -5 or c?
c
Let x = -77340 - -13147873/170. Let p = x - 1/34. Which is smaller: -1 or p?
-1
Let t = 0.3 - -0.1. Let o = t + -0.6. Let k = o + 0.1. Is k <= -3?
False
Let l be 8/12 + (-1)/3. Suppose 0 = -3*s + 8 + 1. Suppose -s*o = -4*o. Which is greater: l or o?
l
Let w be 9*(2/(-3))/(-1). Let z(p) = -p**2 + 7*p - 7. Let o be z(w). Is o != 0?
True
Let u = -26 + 53/2. Suppose 0 = -3*o - o + 8. Which is smaller: u or o?
u
Let k = 21 + -9. Let r = -14 + k. Is -1 greater than r?
True
Let b be (-2)/(-2)*(0 - 0). Let z be (2/22)/((-17)/34). Is b less than z?
False
Suppose 0*t = 3*t - 12. Let u = t - 4. Are -2/7 and u nonequal?
True
Suppose 0 = 3*t + t - 56. Suppose -2*j = n + 6, 5*n - 2*j = -j + t. Is 5 greater than or equal to n?
True
Suppose 2*u + 3*u = 2*u. Is u not equal to -2/11?
True
Let f = 8/5 + -37/20. Which is smaller: -2.3 or f?
-2.3
Let g(v) = -7*v**2 - v + 4. Let c(n) = -n**2 - n + 1. Let p(q) = -6*c(q) + g(q). Let r be p(4). Let a be r/(-4) - (-9)/6. Which is greater: -2/9 or a?
a
Let s = -3/1462 + 23467/36550. Let r = 77/75 + s. Which is bigger: r or 1?
r
Su