) = 7*g**2 + 7*g - g + g**3 - g. Let i be m(-4). Suppose -6*w + 2*w = i. Which is bigger: w or -8?
w
Suppose 5*y + 20 = 3*x, -3*y + 5*x - 39 = -11. Let f be 2/20*(-16 - -18). Do y and f have different values?
True
Let p = 21 - 64. Which is bigger: -44 or p?
p
Let r be 6/(-10) - 2/5. Let y = -1 - -1. Let b = y + r. Is -2/21 >= b?
True
Let b = 926/7 - 132. Suppose 0 = -2*p + 3 + 3. Suppose -4*i + p - 7 = 0. Is i less than b?
True
Let l be (-40)/(-6)*2/4*-3. Which is greater: l or -35/4?
-35/4
Let x = 6814 + -20249/3. Suppose -5*l + 3*t = -l + 260, -5*t + 325 = -5*l. Let s = l + x. Is 0 at most s?
False
Let l = 5/2 - 3. Let q(v) = -v - 7. Let x = -5 + -2. Let f be q(x). Which is smaller: f or l?
l
Let f = 11 + -26. Is f less than -14?
True
Let y be 2 + -3 + 3 + 1. Suppose -2*k = y - 9. Suppose -7*x = -42 + 21. Is k bigger than x?
False
Let c be 6/4 - 86/60. Is c <= -1/4?
False
Let k = 0.12 - 0.09. Let h = -1.03 + k. Is 13 smaller than h?
False
Let i = 0.15 + -0.65. Which is smaller: 0.1 or i?
i
Let n = -25.32 - -0.32. Which is bigger: n or 1?
1
Let g = 0.1 + 0.1. Let d(v) = -v**2 + 2*v + 1. Let x be d(2). Is g < x?
True
Let r(x) = -x**2 - 12*x - 4. Let d be r(-5). Does 31 = d?
True
Let i = -51318/11 - -4661. Let y = -262/33 - i. Is -4 equal to y?
False
Suppose n = -1 + 4. Suppose 0 = 4*x - 3*z + 10, x - 3*z + 2*z = -n. Let t be 1*-1*(1 + x). Which is bigger: t or 1?
1
Suppose s + 1 + 0 = b, 0 = -s + 4*b - 4. Suppose 5*o - 3*q - 19 = s, 3*o + 4*q = -0*q - 6. Suppose -3 = -o*a - 1. Which is smaller: 2 or a?
a
Let q be 9/30 + (-6)/4. Suppose 3*d + 4 = 1. Which is greater: d or q?
d
Suppose -3*o + 32 + 7 = 0. Which is bigger: o or 15?
15
Suppose 0 = 4*j - 134 - 62. Let f be (14/j)/((-3)/7). Which is greater: f or 0?
0
Let p = 1.9 - -16.1. Let g = p - 11. Let v = -4 + g. Is v greater than or equal to 0?
True
Let s = -4 - 13. Which is smaller: s or -16?
s
Suppose 3*t = -4*a - 16, 0*t + 5*a = -5*t - 20. Suppose -2*j + 3*j - 5 = t. Is 4 smaller than j?
True
Let s(w) = w**3 + w - 2. Let z be (1 + (-3)/3)/(-2). Let k be s(z). Suppose -2*u + 12 = -2*n, -5*n + 18 = -3*n + 4*u. Is n less than k?
False
Let n = 19 - 56/3. Which is smaller: -4/9 or n?
-4/9
Let r = -112 - -112. Let g = 0.09 - -6.91. Do r and g have different values?
True
Let k be 143/(-374) + (-6)/51. Is -90 equal to k?
False
Let w(v) = -v**3 - 15*v**2 - 13*v + 19. Let r be w(-14). Are r and 7 equal?
False
Let g = -4 - -6. Let j = g - 1. Let m be 8/(-77) - (-4)/14. Is j at most m?
False
Suppose -2*n = -6 - 2. Suppose 0*q - 20 = n*q. Let t = 5 + q. Is 2/11 bigger than t?
True
Let h be (3/(-3))/(-1) - -2. Suppose 0 = -2*l + h*l - 12. Suppose 0*r - 3*r + 5*c + l = 0, -13 = r + 4*c. Are r and -0.1 nonequal?
True
Suppose h - 11 = -0*h. Let u be (-20)/(-2) + (h - 9). Let k be u/6*1/2. Is k less than 1?
False
Let u be (3/(-2))/(105/(-40)). Is u smaller than 0?
False
Let o(k) = 3*k**2 - 6*k - 1. Let j be o(5). Let u be j/42 - (-1)/(-3). Which is bigger: 0 or u?
u
Let b(v) = -v**3 + 2*v**2 + 3*v - 5. Let i be b(2). Which is bigger: i or 9/19?
i
Let r = 4.9 - 5. Is 20 at least as big as r?
True
Let b = -6 - -6.3. Let i = 0.4 - b. Is 0.1 less than or equal to i?
True
Let z be (-4)/(-8) + (-1)/(-2). Let h = z - -1. Let l = 0.1 - -0.9. Is l not equal to h?
True
Let d = -6 - -43. Let v = -37.93 + d. Let y = v + -0.07. Which is smaller: y or 1/2?
y
Suppose -8 = -5*q + 2. Suppose l = q*l. Which is greater: 2 or l?
2
Let s be -2 - 6/(6/(-2)). Suppose 0*o + o = s. Suppose -3*v = 1 + 2. Which is smaller: v or o?
v
Suppose 25 = -5*q - 5*k, q - 10 = 5*k - k. Let x be ((-6)/2 - q) + -2. Is x >= -2?
False
Suppose 4*b = -3*a + b, 0 = -5*a + b - 6. Is a bigger than -1?
False
Let g be 10/45 - (0 - 0). Suppose 0 = 4*a - 0*a + 24. Let s(v) = v**2 + 6*v - 1. Let y be s(a). Is y smaller than g?
True
Let k = -0.07 - -0.07. Which is bigger: k or 0.07?
0.07
Suppose 90 - 210 = 4*p. Let d be p/(-4) + (-3)/(-6). Let q be ((-1)/3)/(4/d). Is -1 < q?
True
Let f(z) = z. Let o(w) = -w. Let y(i) = -4*f(i) - 3*o(i). Let d be y(-2). Let g(n) = 28*n - 475. Let j be g(17). Is d >= j?
True
Let r(h) = 6*h**2 - 2*h - 1. Let u be r(-1). Let v be (u - 2)/(24/82). Let z = 63/4 - v. Is z equal to -1?
False
Suppose -3*n = -2*y - 11, 0 = y + 4*y + 5. Let b be ((-4)/(-6))/((-7)/n). Which is greater: -1 or b?
b
Let g = -67 + 47. Is 0 at least as big as g?
True
Let u = 4 + -1. Suppose 19 = -5*k + 2*z, u*k - 4*z = 8*k + 7. Which is smaller: k or 2/5?
k
Let v = -228 + 447/2. Are v and -6 nonequal?
True
Let a(c) = 2*c**2 + 4*c + 3. Let y be a(-3). Let n(p) = -p**2 + 9*p - 6. Let f be n(y). Let l(v) = -v - 12. Let d be l(f). Which is greater: d or -5?
-5
Suppose w - 4*z - 12 = 7, -3*z = -3*w + 21. Suppose 0 = -5*g + 3*r - 15, -5*g = -3*g - w*r + 15. Are g and 5/4 nonequal?
True
Suppose -21*n = -14*n + 182. Which is greater: -29 or n?
n
Let u(p) = p - 9. Let r be u(8). Let k = 24 + -119/5. Is k greater than or equal to r?
True
Suppose -q = -4*y - 14, 5*q + y - 8 - 20 = 0. Let b = 4 - q. Let u = -358/5 + 71. Is b less than or equal to u?
True
Let t be ((-60)/(-14))/(24/112). Are 20 and t equal?
True
Let w be 16/4*(3 + (-34)/12). Which is smaller: w or 3/13?
3/13
Let y = -0.06 + -0.01. Let i = 0.2 + -0.4. Which is smaller: y or i?
i
Let p be ((-6)/8)/((-1)/4). Let r(x) = -x + 3. Let w be r(-1). Is w not equal to p?
True
Let c(s) = -s**3 + 7*s**2 + 9*s - 8. Let b be c(8). Let x = b - 2. Which is smaller: -2/3 or x?
x
Let r = 9 - 15. Let h(n) = 5*n + 1. Let u be h(1). Let v = u + -11. Which is smaller: r or v?
r
Let c = 19.7 - 20. Let g = 0.3 + -0.1. Let v = g - 0.2. Which is bigger: v or c?
v
Let j = 0.133 + -1.133. Which is bigger: -0.024 or j?
-0.024
Suppose 4 = c - 2*c, -3*c - 6 = -3*q. Let l be (3/(-6))/(1/6). Let o(f) = -f**3 - 4*f**2 - 2*f + 3. Let m be o(l). Which is bigger: q or m?
m
Let y be (-2 + 1)/(76/6*3). Is 0 less than or equal to y?
False
Let b = -0.3 - -0.3. Which is smaller: b or -0.3?
-0.3
Let y(u) = u + 12. Let b be y(-5). Suppose -3*h = -3*v, 3*h + 5*v = h + b. Which is bigger: 3 or h?
3
Let u = 51 - 61. Is u smaller than 1?
True
Let w(x) = x**3 - 2*x**2 + 1. Let n be w(-1). Is n != -18/11?
True
Let l = -0.36 - -0.42. Which is greater: 0.3 or l?
0.3
Let f be ((-2)/(-20))/((-4)/10). Suppose -y + 5*y = 0. Let n be y*((-9)/3)/3. Is n equal to f?
False
Let m = -3 + 4. Let g be m + 0 - (1 + -1). Let i = 1 - g. Which is bigger: -1 or i?
i
Let s be 10/(-25) - 8/(-70). Is s bigger than 1?
False
Let q(c) = -c**3 + 5*c**2 - 4*c + 4. Let x be q(4). Suppose -5*f = x*d + 11, 3*d - d = -f - 7. Is f at least as big as -2/9?
True
Suppose 45 = -2*i + i. Let s be (-3)/i + 0/3. Let g = -11/60 - s. Is -1 bigger than g?
False
Let m = -12 + 31. Let z = -22 + m. Which is smaller: -2 or z?
z
Let t(x) = 6*x + 3. Let z be t(-3). Let s be (-429)/141 - z/5. Which is smaller: 1 or s?
s
Suppose -5*o - 5*u = 65, 0*o - 5*o = 3*u + 69. Let z = 14 + o. Does -2/15 = z?
False
Let x = -43.1 - -43. Is 20 less than or equal to x?
False
Let f = -1 - -1. Let j = 8 - 7. Is f at least as big as j?
False
Let x = -745/7 - -106. Let z(b) = -b - 1. Let n(a) = -a**3 - 5*a**2 - 3*a + 3. Let p be n(-4). Let f be z(p). Is x greater than or equal to f?
False
Let o = -6 + 9. Suppose -w + 13 = -5*t, o*t = 3*w + t. Is w at most as big as -2?
True
Let r = 1.17 - 0.17. Which is greater: r or -0.3?
r
Let o = -8.2 + 8. Let h = 3/56 + 13/56. Which is bigger: h or o?
h
Suppose -2*l - 2*l = -5*a + 33, 5*a - 19 = -3*l. Let f(s) = s**2 - 3*s - 8. Let k be f(5). Which is smaller: l or k?
l
Let p(z) = -2*z**3 + 35*z**2 - 15*z - 36. Let l be p(17). Let a = 3066/11 + -279. Is a smaller than l?
False
Let x = 0.03 - 6.03. Let g = x - -5.8. Which is greater: g or -2/5?
g
Let u be (-4)/18 - (-200)/(-72). Which is greater: -11/3 or u?
u
Let y = -3 + 5. Is y equal to 1/4?
False
Suppose 31 = 3*j - 11. Which is bigger: 15 or j?
15
Let h be -1 + (0 - 50/6). Which is greater: -9 or h?
-9
Let j = 58 + 52. Let u = j + -772/7. Let z = -8 - -122/15. Which is bigger: u or z?
z
Suppose 4*z - 3*q = 23, 0 = 2*z - 3*q - 5 - 8. Let d = -19 - -19. Suppose d*a + 8 = 2*a. Which is smaller: z or a?
a
Let a be 0 - (2 + (-1 - 0)). Are -1 and a equal?
True
Suppose -5*p = -6*p. Let k = 0 + 0. Let v = k + 0.2. Which is bigger: p o