*m. Which is smaller: m or -2/45?
-2/45
Let d be -1*((-27)/(-15) - 2). Is d > -1?
True
Suppose 7 = -4*g - 1. Let a be ((-1)/(-2))/((-1)/g). Let h = 2 + -2. Do h and a have different values?
True
Let h = -119 - -198. Is h bigger than 79?
False
Suppose h + 3*h + 196 = 0. Let b = h + 149/3. Let m be (-2)/6 + (-2)/(-6). Is m greater than or equal to b?
False
Let u(g) = 4*g - 4. Let v(q) be the second derivative of -q**3/2 + 2*q**2 - q. Let m(p) = -4*u(p) - 5*v(p). Let t be m(-3). Is 2/5 less than or equal to t?
False
Let p(z) = z**3 + 6*z**2 + 4*z - 4. Let q be 2 + (-2)/((-4)/(-14)). Let w be p(q). Let g = -5 + 5.04. Which is smaller: g or w?
g
Suppose 0*m + 24 = -2*i - 3*m, 4*i + 5*m + 50 = 0. Do i and -14 have the same value?
False
Let b = -16 + 4. Let p be (b/10)/((-63)/30). Is p < 2?
True
Let s = -17/13 + 161/143. Suppose -3 - 2 = -g, 0 = q - g + 6. Let z = q - -1. Is s smaller than z?
True
Let k = -16 + 17. Let o = -0.5 - -1. Let d = o - k. Is -1 bigger than d?
False
Let d be 6/(0 - 6/(-63)). Let w be 49/d*4/14. Which is greater: 1 or w?
1
Suppose 3*d - 6 - 3 = 0. Suppose d*y = 2*y + 1. Suppose 2*k + 7 = y. Which is smaller: k or -1?
k
Let j(o) = -o - 7. Let b be j(-5). Let h be (205/(-30))/(b/6). Let n = -21 + h. Which is smaller: n or 0?
n
Let i be ((-1)/6)/(9/(-36)). Let s = -0.01 + -0.39. Let p = -0.6 + s. Is p at most i?
True
Let x be (-2)/3*(-2 + -1). Is 0 less than x?
True
Suppose 0 = -4*p + 8, 0 = t + 5*p - 0*p - 15. Is t at most as big as 5?
True
Let s be (-1 - -1)/(4 + -2). Suppose s = -3*u + 12 - 0. Suppose -u + 1 = -h. Is h != -1?
True
Let t(r) = -r**2 - r. Let y(b) = -4*b**3 + 6*b**2 + 6*b - 1. Let m(c) = 5*t(c) + y(c). Let u be m(1). Which is smaller: -4 or u?
-4
Suppose 5*s = -l + 15, 15 = 3*l + 2*s - 4. Let b(k) = -k**3 + 5*k**2 - 3. Let f be b(l). Let z = 49 + -52. Does z = f?
True
Suppose 3*q = 7*q - 2*y - 6, -3*q + 4*y = -7. Let u = -199/90 + 21/10. Is q less than or equal to u?
False
Let m be 3*(2/3 + 0). Let o = 2 + m. Let s = o + -5. Is 0 >= s?
True
Let k = 3271/15 - 218. Which is greater: -1 or k?
k
Let t be 21/238*(0 - (-2)/(-12)). Which is smaller: -1 or t?
-1
Suppose 0 = 2*u + 4, 0 = 3*o + 2*u - 20. Let t be (-2 + o)*2/4. Is t at least 4?
False
Let n = 0.28 + 0.02. Let k = -0.58 + -0.02. Let d = n + k. Which is bigger: d or -0.1?
-0.1
Let d = -0.07 + 0.07. Is d > 0.6?
False
Let c be ((-2)/4)/(153/272). Is -1 less than or equal to c?
True
Let t be 0/(-2)*(9 - 10). Let y = 183029775806/33915 - 26983602/5. Let p = 2/323 - y. Which is bigger: t or p?
t
Suppose 0 = -10*c + 5*c + 25. Suppose 0 = -d - 4 + c. Are 6/5 and d non-equal?
True
Let p(t) = 9*t**3 + 1. Let w be p(1). Suppose 0 = 6*o - w*o - 40. Do -9 and o have the same value?
False
Let u(o) = -2*o - 12. Let v be u(5). Let a be (-2)/(-5) - v/(-5). Is a bigger than -6?
True
Let b be 12/(-7) - 4/(-2). Let c = 6.94 + 0.06. Which is smaller: c or b?
b
Let k = -12221/4 - -2993. Let y = -62 - k. Which is bigger: 0 or y?
y
Suppose 25 = a + 4*a. Suppose -12 = -2*u - a*s, -2*u + 10 - 4 = 2*s. Which is smaller: u or 2?
u
Let n = -3.8 + 2.8. Are n and 65 nonequal?
True
Let u = 0.7 - 1. Let h = 0.32 + u. Let p = h + -0.02. Are -3 and p unequal?
True
Let f(c) = c**2 - 7*c - 3. Let s be f(7). Let i = 0.7 + -0.1. Let u = 0.5 - i. Are s and u unequal?
True
Suppose 0 = 4*b + 53 - 229. Let u be (-8)/b + (-20)/11. Which is smaller: -1 or u?
u
Let k(g) = -g + 13. Let f be k(12). Suppose 4 = -2*u + 2. Is u equal to f?
False
Let c(x) = -2*x + 6. Let l be c(-5). Suppose -4 = 5*h + l. Which is smaller: 1 or h?
h
Let m be ((-1)/(-4))/(3 - 4). Which is smaller: 26 or m?
m
Let u = 95 + -68. Which is smaller: u or 28?
u
Suppose -3*l + 2 = -r, 2*r - 6 = 4*l + 5*r. Suppose l = -2*t - 3*a + 5, -3*t + a + 6 = 5*a. Let u be (-133)/49 - (-4)/(-14). Does t = u?
False
Let x(v) = -9*v - 1. Let a be x(0). Which is bigger: -12/13 or a?
-12/13
Let f be 3/(-6 - -3)*-1. Is f bigger than 1?
False
Let r = -62 + 60. Is r at least 1?
False
Let g be 2/4 + (-51)/36. Let o = g + 2/3. Let k be (-2)/(-4)*0/1. Which is greater: k or o?
k
Let x be (-5 - -14 - 4) + -6. Suppose -2*f + z = 1, -6*z - 29 = 3*f - 2*z. Which is smaller: x or f?
f
Suppose 2*b + 4 = 4*v, -3*v = 2*v - 5. Let i be 3/10*12/(-9). Are b and i non-equal?
True
Let y(j) = -j + 4. Let z be y(-6). Let a be (-16)/z + 5 + -3. Let o be 4/8 - (-2)/(-4). Is o smaller than a?
True
Let m(w) = w**3 - w**2 - w. Let s be m(4). Is 43 at least s?
False
Let i be (48/20)/((-2)/(-10)). Is 12 bigger than i?
False
Let v be (-1 - -1) + (-2)/(-7). Let u(d) = d**3 + 8*d**2 - 12*d - 6. Let t be u(-9). Let z be (-9)/t*(-4)/6. Is v greater than or equal to z?
True
Let w be ((-3)/(-6))/(3/6). Is w != 6/31?
True
Let v be (-8)/56 + 15/7. Which is greater: 3 or v?
3
Let h(f) = f - 4. Let t be h(3). Let z = -2 - -3. Let p = t + z. Is p < 3/5?
True
Let p = 5 - 2. Suppose p*m - 4 = 5. Is 3 greater than m?
False
Let v(z) = 2*z + 19 - 3*z**2 + 2*z - 5*z - 18 - z**3. Let s be (-4 - -1)/(3/2). Let j be v(s). Which is bigger: 0 or j?
0
Let c(b) be the second derivative of b**3/6 - b**2 + b. Let v be c(-2). Let q be 9/2*9/(27/(-2)). Which is smaller: q or v?
v
Suppose 0 = -2*i + 5*i + 12. Let z = -1 - i. Let q be (6/(-5))/((-1030)/100 + 10). Do z and q have different values?
True
Let d = 3 + -4. Suppose -j - 435 = -4*u, -7*u - j = -2*u - 555. Let x = u + -552/5. Is x >= d?
True
Suppose -4*x = -38 + 154. Which is greater: x or -32?
x
Let g = 14.7 + -14. Let p = -89 + 89.1. Is p not equal to g?
True
Let i be 60 + (-1)/(1/2). Let m = -289/5 + i. Which is bigger: m or -1?
m
Let y = -2/5 + 13/20. Suppose 6*l + 17*l = -23. Is y smaller than l?
False
Suppose -b - 13 = 3. Is -17 at most as big as b?
True
Let h(q) = q**2 + 11*q + 6. Let i be h(-5). Do -24 and i have the same value?
True
Let x be (-18)/99 - 112/(-11). Is 9 > x?
False
Let h(p) = 2*p**3 + 2*p**2 + p. Let k be h(-1). Which is greater: k or -0.26?
-0.26
Let u = -45 + 44. Is u bigger than 2?
False
Let c be 3/(3 - 6) - 1. Suppose 0 = g - 0*g. Suppose g*x - 4*x = 0. Which is smaller: c or x?
c
Let h = -39 - -34. Which is smaller: -3 or h?
h
Let w = -56 + 4. Is -52 < w?
False
Let q = 78 - 69. Which is bigger: 8 or q?
q
Let j be (1/1 + -25)/(-2). Suppose 0 = 2*z - 16 + j. Is z at most as big as 2/3?
False
Let q(b) = 3*b**3 + 7*b**2 + 4*b + 8. Let t(u) = -4*u**3 - 6*u**2 - 5*u - 8. Let c(i) = -3*q(i) - 2*t(i). Let o be c(-9). Is 9 greater than o?
False
Let s = -24 + 28. Which is smaller: 3 or s?
3
Let d(j) = -j**2 + 4*j + 1. Let t be d(4). Let k = 3 - t. Let m be 22/24 - (-2)/(-8). Is k greater than m?
True
Let x = 7015851/92141 + 4/13163. Let a = x + -76. Which is smaller: a or 1?
a
Let u = 3 + -3. Let t = 0.16 + 0.04. Let y = t + 1.8. Is u < y?
True
Let w(k) = k**3 + 4*k**2 - 2. Let n be w(-4). Let j = 0 + n. Let z be (-2)/(1/(-1 - j)). Is -2 at most as big as z?
True
Suppose -3*v + 5*b + 52 = 0, 3*v - b - 2*b - 48 = 0. Does 9 = v?
False
Let u = -0.7 + -2.3. Is u >= 0.1?
False
Let d = -32.8 + 33. Is d less than -6?
False
Suppose 7 = 3*d - 3*k - 2, -3*k - 9 = -d. Is 4/17 bigger than d?
True
Suppose -4*u - 5*r = -u - 5, 0 = 5*r - 5. Is u > 1/79?
False
Suppose -2*k - 2*k = 0. Let n = 108/7 + -11786/763. Let f = -101/436 + n. Which is bigger: k or f?
k
Let u = -143 - -713/5. Let p = u + 46/65. Is 1 at most as big as p?
False
Let i be (5 - (-740)/(-152))*4/35. Which is smaller: i or 1?
i
Let b = 9.057 - 0.057. Is -2 at most as big as b?
True
Let x be 6/21 - (-4 - 128/(-7)). Which is smaller: x or -43/3?
-43/3
Let j = 21 - 17. Let u = 0.8 + 3.1. Let v = j - u. Is -0.2 < v?
True
Let a = -9 - -11. Let u = -6 + a. Is u equal to 0?
False
Suppose 3*g + 4*z = 20, -4*z + 20 = g - 3*g. Suppose g*i + 1 = -i. Let o(d) = d. Let l be o(i). Which is greater: l or -2/11?
-2/11
Suppose 0 = 3*a + 5 - 14. Suppose 9 = a*s + 12. Which is bigger: s or -1/2?
-1/2
Suppose -5*s + 1 = 36. Let i = s - -11. Are 3 and i non-equal?
True
Suppose 5*q = b + 6 + 4, -3 = -3*q. Is b at least as big as -16/3?
True
Let n = -4 - -4. Is 0.1 not equal to n?
True
Let m = 22 + -20. Let a = -10 - m. Which is smaller: -0.1 or a?
a
Let b be (309/9)/((-70)/(-5)). Let a = 16/7 - b. Is a greater than -1?
True
Let b(a) = 2*a + 4. Let x be b(-4). Let n = -5 - x. Do 2/19 and n have the sam