is bigger: g or p?
p
Suppose 0 = -2*m - 2*m + 4. Which is smaller: m or -2/9?
-2/9
Let b = 19 + -18.1. Let f = 3.6 + -2. Let n = b - f. Is n less than -1/3?
True
Let p be (4 - (-708)/39) + (-6)/39. Which is greater: 23 or p?
23
Let a = -35 - -23. Let r be -1*6/(-1) + -4. Let z be (r/(-16))/(9/a). Is 1 smaller than z?
False
Let h(a) = 21*a**2 + a. Let s(u) = -u**2 + u - 1. Let m(x) = -h(x) + 3*s(x). Let g be m(2). Let p be (-1)/(-6) + g/210. Is 1 <= p?
False
Let t(d) = -d**3 + 8*d**2 + 9*d + 3. Let w be t(9). Suppose -14 = -w*i - 2. Is i bigger than 4?
False
Let y = 12 - 11. Let x = -2.05 - -0.05. Do y and x have different values?
True
Let h be -1 + -7*(-3)/(-5). Is h equal to -6?
False
Let t be ((-6)/(-8))/(7 + -4). Which is greater: 0 or t?
t
Let u be 1 - (7 + -10 - (-50)/9). Is 1 greater than or equal to u?
True
Let a = -2 + -1. Let o = -12 + 7. Let u = o - a. Is u smaller than 1/3?
True
Let f be ((-4)/(-19))/(0 + -2). Let y = 3 + -4. Is f greater than y?
True
Let j(u) = -u**3 - u**2 + u. Let w = 0 - 0. Let m be j(w). Let z = -97/4 - -24. Is m equal to z?
False
Suppose 0*v = 2*v. Which is smaller: 2/7 or v?
v
Let u = 0.06 + 0.04. Which is smaller: u or 8/7?
u
Let x = 1 - 2. Let f = -51 + 55. Is f at most x?
False
Suppose -6 = -2*y + y. Which is greater: y or 9/2?
y
Let u(d) = -d**3 - 8*d**2 + 3. Let m be u(-8). Suppose m*i - 24 = 3*j, 4*i - 39 = -0*j - 3*j. Let b be (42/i)/(-2) + 2. Which is smaller: b or -1?
-1
Let k = 67 + -202/3. Is k greater than 1.04?
False
Let m be (-1)/6*18/8. Let a = -5 - 0. Let p be 2/8 + a/20. Which is bigger: m or p?
p
Let v = -0.26 - -0.12. Let t = v + 0.44. Which is smaller: t or 0.2?
0.2
Suppose 2 + 10 = 3*f. Let h = f + -2. Suppose 7 = 2*x - b, 5*x - 3 = -h*b + 1. Do -2/5 and x have different values?
True
Let x = -8 - -10. Suppose -x*n - 8 = 2*j, 0*n - n - 9 = 2*j. Is 3/2 smaller than n?
False
Suppose 480 = -2*t + 84. Let j be (-64)/t + (-8)/(-36). Let g be (-4)/6 + 16/6. Which is smaller: g or j?
j
Suppose 3*s + 0*s - 6 = 0. Suppose -s*b + 3 = -9. Let a = -8 - -13. Which is bigger: b or a?
b
Let d = 0.081 + -0.041. Is d smaller than 2?
True
Let t = -15 - -7. Suppose 23 = -3*u - 2*z, 2*u + u + 19 = 2*z. Which is smaller: t or u?
t
Let i be (-118)/(-14) + 6/(-14). Do i and 8 have the same value?
True
Let u = 26 - 157/6. Let j be 3/(-2) + 39/(-6). Let q = 8 + j. Which is smaller: u or q?
u
Let g = 188019/119 + -1580. Which is smaller: g or -1?
-1
Let w = 213 + -158. Is 56 < w?
False
Let y = -78 - -47. Is -30 less than or equal to y?
False
Suppose g + 140 = -g. Let v be 6/(-10) - 22/g. Which is smaller: 0 or v?
v
Let t be (-237)/(-2)*2/12. Let c = t - 20. Suppose 0*v - 9 = 3*v, 3*r - 3*v = 6. Is c > r?
True
Let t be (-42)/(2 + 1) - 1. Let p be 10/8*(-2)/t. Let a = 2/251 - 516/1757. Which is bigger: p or a?
p
Suppose -5*q - 14 = 6. Let d be 8/(-9) - q/18. Which is smaller: d or 0?
d
Let h = -9 - -8. Let f be 2/(-6)*(-6)/(-10). Is f less than or equal to h?
False
Let c be 0/(-2 - (-3)/3). Let w be (c - -4)*7/(-4). Which is smaller: -6 or w?
w
Let x be 4/5 + 332/10. Is x at least as big as 36?
False
Suppose 367 = 3*h + 49. Do h and 106 have different values?
False
Let k be 1 - (-1 + 36/21). Which is bigger: -1 or k?
k
Let d = -80 + 79. Is 3/10 at most d?
False
Let c = -0.14 + 0.03. Let i = c + -0.09. Do i and 0.4 have different values?
True
Let m = -0.6 + -3.4. Let d = -6 - -4. Let f = d - m. Which is bigger: -1 or f?
f
Suppose 2*v + 2*l = -6, 5*l = v - 2*v - 19. Suppose 0 = p + v + 1, -5*p + 2 = -4*z. Which is bigger: z or -5?
z
Suppose -3*r = k - 7*r - 3, -r = -4*k + 27. Suppose -4*v + 16 = 3*t - k*t, -3*v + 12 = -4*t. Let d be 0 - (0 + t)/(-2). Which is bigger: d or 2/7?
2/7
Let b = 0.363 - 0.063. Which is greater: 9 or b?
9
Let g be ((-21)/(-9) + -1)/((-18)/(-27)). Is 0.08 less than g?
True
Let n = -1037/5 - -208. Which is greater: n or -4?
n
Let h be -2*(-1 + (-12)/8). Suppose -h*u - 3*z - 7 = 0, -4*u + 2*u + 3*z - 7 = 0. Let k = 43/2 + -22. Is u greater than or equal to k?
False
Let m be (-1)/(1 - 6/5). Suppose -5*o - 20 = m*d, 2*o - d - 3*d = 16. Is o equal to 0?
True
Let q be 1 - (4 + (-1 - 1)). Suppose 0 = 5*w + b + 4, -w - 2*w + 8 = -2*b. Suppose w = 4*g + 8, 0*f + 5*g + 10 = 3*f. Is f at most q?
False
Let z = 1034/7 + -148. Let o = -7 + 5. Let n be (-2 - -1)/(2/o). Which is bigger: z or n?
n
Suppose -11*i - 10 = 1. Which is smaller: 5/47 or i?
i
Suppose -2*x - 3*x = 2*t + 37, 4*x = t - 27. Let b = -2 + -6. Which is greater: x or b?
x
Suppose -5*j = -21 + 16. Which is greater: j or -1/10?
j
Suppose 2*w - 2*m = -2*w - 4, -3*w - 4*m = -8. Suppose w*u = -5*u + 5. Is 1/7 greater than u?
False
Let p(s) = 4*s + 28. Let x be p(-6). Which is smaller: 21/8 or x?
21/8
Let o(m) = m**2 - 1. Let c be o(1). Suppose 6*x + 2 = 7*x. Which is smaller: x or c?
c
Let z be (2 + 1)*(2 - 1). Suppose z*y - g - 20 = 0, -g + 8 = -5*g. Is 6 at most as big as y?
True
Let u = 1 + -1. Suppose 3*w = -u*w. Is w > -5/6?
True
Let f(l) be the second derivative of 0*l**2 + 0 - 3*l - 1/2*l**3. Let u be f(-1). Is 2 < u?
True
Let j = -8 - 10. Let a = 20 + j. Is -8 <= a?
True
Let y = -12 - -12.7. Let u = -1.7 + y. Which is smaller: u or 0.5?
u
Let w(v) = 3*v + 40. Let z be w(-13). Suppose 4*i + 309 + 219 = 0. Let t be -2 + (i/(-34) - 2). Is z smaller than t?
False
Let q = -9925/6831 + -1/621. Is 0 != q?
True
Suppose k = -5*h + 2, -5*h = 2*k + k - 6. Let m be (-8)/(-36)*9/12. Which is smaller: h or m?
h
Let w be (-1)/(1/(-2) - 4/8). Is w < -1/122?
False
Let o = -92937242/635589 - -2/211863. Let a = 146 + o. Is a >= 0?
False
Let z be -1 - 1 - -2 - 0. Let i be (0 + 2)*(-3289)/22. Let c = i - -3884/13. Is z at least as big as c?
True
Suppose 0*u = -5*u. Let t(g) = -g + 8. Let o be t(7). Do o and u have the same value?
False
Suppose -4*z + z = 5*x + 47, 0 = -5*z - 2*x - 72. Suppose 170*n - 224 = 186*n. Do n and z have the same value?
True
Let l(y) = 0*y**2 + y**2 + 3*y + 7 - 2*y**2. Let q be l(5). Let a = 2 - 4. Which is bigger: q or a?
a
Let b = 58 + -57.7. Let n(g) = -g + 7. Let s be n(5). Is s bigger than b?
True
Let h = -7 - -12. Suppose 0 = x + 5*f + 15, -2*f + h*f = 2*x - 9. Suppose x = -0*n + 3*n. Is n > -1/3?
True
Let j be 0 + (-1 - (-3 - -3)). Suppose 0 = -4*q + 2*q + 44. Let y be 2 - 2/(16/q). Which is greater: y or j?
y
Let t(y) = y**3 + 2*y**2 - 3*y + 4. Let n be t(-3). Let q(i) = i**3 - 4*i**2 + 3*i - 3. Let g be q(n). Let h be ((-2)/6)/(6/g). Which is greater: 4 or h?
4
Suppose -12 = -3*x + 2*w - 1, -w = 5*x - 14. Let l(o) = -o - 1. Let s be l(-8). Let m = s - 3. Is m at least as big as x?
True
Suppose 3 + 0 = j. Let a be 5/(-10) + 2/j. Which is smaller: 0.2 or a?
a
Let o = -16 - -28. Let a = 0.1 + -0.1. Which is smaller: a or o?
a
Let o be (-6)/9 - (-80)/156. Let g = 0.11 + -0.11. Is o > g?
False
Suppose -5*a + 75 = 5. Is a at most as big as 11?
False
Let v be -1 + (-26)/(-2*1). Let o = v + -6. Let a = -4 + o. Is 3/2 smaller than a?
True
Suppose 5*u + 5 = 5*r - 10, -3*r + 9 = 3*u. Suppose 4*d = -0 - 4. Which is bigger: u or d?
u
Let g = 13 + -6. Let p = -6 - g. Let r be (-11)/p - (3 - 2). Which is greater: 0 or r?
0
Let b = -4 - -5. Is -2/17 less than b?
True
Let t = -21/11 - -201/88. Which is bigger: 1 or t?
1
Let b = 39 - 38.97. Are 0.2 and b equal?
False
Let y be (-1)/2*(-112)/7. Let q be y + (3 - (-3 + 5)). Is q at least as big as 0?
True
Let u = -7/22 - 2/11. Is u not equal to 12?
True
Let w = 3 + -4. Let k = w - 1. Suppose 0 = -4*c - 0*c - 4. Which is greater: c or k?
c
Suppose -2*f + 2*n = -0*n + 6, -3*n = -2*f - 11. Let k(c) = c - 7. Let r be k(7). Is f less than or equal to r?
False
Let a be 360/(-44) + 4/22. Suppose 2*b - 24 = 4*i, -5*i - 35 = -7*b + 2*b. Let k be b/(-7) - a/126. Which is bigger: 1 or k?
1
Let d be 3 + 4/2*10/5. Is d smaller than 37/5?
True
Suppose 3*q + 16 = 4*l, -3*q - 2*q = l - 4. Let x be (l/(-20))/(8/5). Which is smaller: 1 or x?
x
Let r(f) = f**2 - 2*f - 1. Let u be r(2). Let l = -170/3 - -56. Does u = l?
False
Let t = -0.4 + 0.2. Suppose 4*a + 6 + 6 = 0. Which is bigger: a or t?
t
Suppose -5*g + 0 = -u - 25, -3*g + 5*u = 7. Let q(y) = -4*y**2 + y + 3*y**3 + 4 - g*y - 2*y**3. Let t be q(5). Which is smaller: t or 0?
0
Let p be 21/3*36/(-21). Let d(l) = -l**3 - 12*l**2 + l + 11. Let k be d(p). Which