t t = 47/156 + x. Which is bigger: -1 or t?
t
Let v = -202/5 + 40. Let z = -1 - -2. Let c = 2 - z. Which is smaller: c or v?
v
Suppose 0*r - 2*r + 6 = 0. Let p be r*-1 - (0 + 0). Let w(x) = x**3 - 7*x**2 - 18*x - 4. Let t be w(9). Which is greater: p or t?
p
Let c(q) = -q**2 - q + 2. Let x be c(-2). Suppose 5*n - n = 5*d + 2, -7 = -3*n + d. Let y = n - 2. Is y <= x?
False
Let m = -0.14 + 9.14. Let k = m - 6. Let w = 2 - k. Which is bigger: w or 1?
1
Let q(z) = 2*z + 2. Let c be q(-2). Is c < 1?
True
Let w = 5 - 4. Let k = w + 0. Let v be ((-5)/(-6))/((-6)/(-9)). Which is smaller: v or k?
k
Let z(a) = 5*a + 2. Let g be z(-1). Are g and -4 equal?
False
Let m be (-12 - 0)*4/(-8). Let j = m + -5. Is j equal to 1/7?
False
Let c(l) = -l**2 - 6*l - 4. Suppose 0 = -u + 2 + 2, 5*x - 4*u = 24. Let z = -13 + x. Let i be c(z). Which is greater: -2/9 or i?
i
Let x = -0.2 - -0.1. Let m = 1.92 - 2. Let n = 4.92 - m. Is x at most n?
True
Let d = 82 + -82. Is -73 at most d?
True
Suppose 27*z - 20 = 17*z. Let y = 4 + -3. Which is smaller: z or y?
y
Suppose p = -3*p + 4. Is p not equal to -1/16?
True
Let a = 0 - 0. Let v be 3/3 + -1 - a. Let p = v + 2. Is p greater than 1?
True
Suppose 0 = -5*g - 2*p + 247, p + 151 = 3*g + 5*p. Is g at least as big as 50?
False
Let o = -10 - -15. Suppose 0*w - r + 1 = -5*w, -5 = o*w - 5*r. Let f = 625/8 - 78. Is f < w?
False
Suppose -d = 5*y - 24, 0 = -4*d - 3*y - 0*y + 11. Which is bigger: -7 or d?
d
Suppose -2*x = 4*k + 10, -5*k - 5*x = -8 + 33. Let w be (4/(-16)*k)/(-1). Is 4/3 < w?
False
Suppose 5*u + 4 = 14. Suppose 3*j = -5*v - 2, 3*v + 6 = j - u*v. Which is bigger: j or 2/15?
j
Let z be (2 + -3)*-1*-5. Let c = z + 3. Does c = -3?
False
Let p = -0.3 - -0.4. Is 6/5 >= p?
True
Let u = 4 + -2. Let s = 6 + u. Which is smaller: s or 7?
7
Let g = 8 + -7. Is g > 2/9?
True
Let d(c) = 27*c + 5. Let v be d(5). Suppose 0 = -5*h - n + 6*n + v, 0 = -5*n - 20. Let i be (-6)/h + (-13)/(-84). Do -1 and i have the same value?
False
Let u = 4 + -11. Let h = u + 5. Let z = 0.5 - 0.3. Which is smaller: h or z?
h
Let s = -96 - -74. Which is bigger: s or -21?
-21
Suppose 0 = 4*b + 4*h - 28, -h - 3*h = -20. Which is smaller: b or 3?
b
Let v be (-7)/4 + (-1)/4. Let u(k) = -9 - 3 + 2 - 4 + k. Let w be u(11). Does v = w?
False
Let b be (-1)/2 - (-3)/6. Let s be ((-33)/(-9))/((-1)/(-3)). Suppose -5*u = c + 23, -3*c + b*u + s = -u. Which is smaller: 3 or c?
c
Suppose -5*x = 4*v - 22, v + 2*x - 3*x - 1 = 0. Suppose 2*l + 0 = -v*y - 16, -3*l - y = 10. Let p = -3 - 0. Which is smaller: p or l?
p
Suppose -o = 2 + 3, -4*f + 9 = -o. Let h be (f/2)/((-3)/(-6)). Let d = -7013/19 - -369. Is h bigger than d?
True
Let n = 220/9 - 2878/117. Let s = -0.1 + 0.2. Let m = -0.1 + s. Is n at most m?
True
Let y = 5 + -2.1. Let h = y + 0.1. Is h bigger than 0?
True
Let k(r) = -r - 11. Let j(t) = -t - 12. Let a(d) = -5*j(d) + 6*k(d). Let g be a(-13). Is g bigger than 7?
False
Suppose -2*m - 2 + 10 = -2*i, 4*m - 12 = 3*i. Let d be (-1)/3 + (-740)/(-150). Let y = d + -64/15. Which is greater: m or y?
y
Let t be (1/3)/(21/18). Let w = -0.5 + 1.7. Let k = w - 2. Is t smaller than k?
False
Let r(o) = -3*o - 3. Let a be r(7). Which is bigger: a or -25?
a
Let u be (-70)/(-63)*-2 + (-2)/(-9). Let m = 5088/5 - 1021. Which is smaller: u or m?
m
Let j = 1.8 + -2. Let i(o) = o**2 - 5*o - 4. Let q be i(5). Let l be 2/q + (1 - 1). Which is smaller: l or j?
l
Let b(t) = -2*t**2 - 9*t + 11. Let h(z) = z**2 + 1. Let l(k) = -b(k) - h(k). Let y be l(-10). Which is smaller: -4 or y?
-4
Suppose v - 2*v + 13 = 0. Let k be (-2)/v + 105/91. Let w be (0 + k)/((-155)/(-10)). Is w at least as big as -1?
True
Suppose 0 = -3*c + c + 24. Let a be (c/32)/((-3)/(-36)). Which is greater: 5 or a?
5
Let i be 6/(-8) - (-37)/(-4). Which is smaller: 2/3 or i?
i
Suppose 0 = -8*u - 2 + 10. Which is smaller: u or 4?
u
Let g = -0.08 - -2.08. Is -2 at least g?
False
Let k(t) = t**3 + 13*t**2 + 2*t - 8. Let r be k(-13). Which is smaller: -33 or r?
r
Let g be (-2)/(-3)*(11 + -14). Which is greater: 1 or g?
1
Let m = -539/1073 + 13/29. Is -1 smaller than m?
True
Let z(u) be the second derivative of -u**4/12 + 5*u**3/6 - 3*u**2/2 + u. Let k be z(2). Suppose k*r - 5*r = 0. Which is greater: 2/7 or r?
2/7
Let b = -425/2736 - -5/304. Let o = -29/180 + b. Is 1 < o?
False
Let g = -4 + 8. Suppose -21 = g*s - 3*h, -5*h = -5*s - 23 + 3. Which is smaller: s or 2/5?
s
Let n(i) = i - 2. Let x be n(6). Suppose 4 = -u - x. Is u bigger than -8?
False
Let s = -0.654 + 0.054. Is s smaller than -3/5?
False
Let b(g) = 4*g + 8. Let r(l) = l + 2. Let x(f) = -6*b(f) + 22*r(f). Let a be x(-3). Is a equal to 5/4?
False
Let f = 24 + 19. Let b = -128/3 + f. Let n = 0 + -1. Which is greater: b or n?
b
Let s(k) = -k**3 + k**2 - k. Let b be s(-2). Let t = -15 + b. Is t > 1/3?
False
Suppose -6*d = -2*d. Let b be (-5 - -4)*(2 - d). Let h be b/10 - 6/70. Is 0 bigger than h?
True
Suppose 2*c + 5*f = 2*f - 4, -f + 2 = 4*c. Let i = 7383 - 265811/36. Let t = -8/9 - i. Is c at least as big as t?
True
Let s(g) = g + 7. Let r be s(-3). Let d(v) = v**2 + 11*v + 1. Let y be d(-11). Is y smaller than r?
True
Let t be (-2)/(-91) - 6/(-21). Suppose -3*v + 11 = 2*f, 2*v - v = 2*f - 7. Which is bigger: t or v?
v
Let q = -1/12 - 29/84. Let y be 20/(-14) + (-12)/(-28). Is q bigger than y?
True
Let o be ((-7)/3 + 2)*-1. Suppose -3*h + 2 = -y, -2*y + 3*h + 1 = 2*y. Is o smaller than y?
True
Let a(q) = -q - 5. Let x be a(6). Let p(u) = -u - 10. Let z be p(x). Are 0 and z unequal?
True
Let z = -81 + 84.04. Let m = z + -3. Let a = -0.04 + m. Is a >= -1/5?
True
Let o = 14 + -10. Is 33/7 smaller than o?
False
Let w be (-1)/5 + 192/(-40). Let i be (6 - 7)*(w - 1). Which is greater: i or 7?
7
Let m = 21 + -21. Is 1/15 bigger than m?
True
Let m = -8 - -11. Suppose -9*f = -5*f - 8. Suppose -h + 12 = f*h. Which is smaller: m or h?
m
Let h = -3 + 5. Suppose 5*w - h*w - 30 = 0. Suppose 3*t - l = 2*l - 15, -2*l + w = 2*t. Which is bigger: -1/7 or t?
t
Let g be -4 + (1 - (4 - 1)). Let q = g + 5. Let n = 28/5 - 6. Which is smaller: n or q?
q
Let g(y) be the second derivative of -2*y**2 + y - y**3 - 1/12*y**4 + 0. Let o be g(-6). Is -3 less than or equal to o?
False
Suppose w = -0*w - 15. Let t be 14/24 - (-10)/w. Which is bigger: t or 1?
1
Let l = -0.8 - -1. Let o = 0 + l. Let r = 1.2 - o. Which is smaller: 2 or r?
r
Suppose -41 = 2*a + 3*y, 0*a + 3*a + 104 = 4*y. Let i be (-20)/a - (1 - 0). Which is smaller: -2/3 or i?
-2/3
Let q be 18/16*(-6)/9. Let p = q - -1/4. Are -5/2 and p nonequal?
True
Let q = 136 - 135.98. Are 9 and q non-equal?
True
Suppose 6 = -7*j + 4*j. Let m = -93 - -653/7. Do j and m have the same value?
False
Suppose 5*c - 189 = a - 41, -4*c + 5*a + 131 = 0. Are c and 29 non-equal?
False
Suppose z = 6*z - 475. Suppose -5*v + v + 56 = n, 5*n = 5*v - z. Suppose 2*s = 7*s - v. Is s at least 1?
True
Let r = 2.03 + -0.03. Let o = r - -1. Let v = -24/35 - -2/105. Which is greater: v or o?
o
Let c(g) = -g**2 + 10*g + 19. Let p be c(8). Are p and 35 nonequal?
False
Let s be (-3)/(-12)*0/(-7). Is 7 >= s?
True
Let n = -2 - -2.1. Let q = -1.28 + -0.42. Let p = q + 1.5. Is p not equal to n?
True
Let g = -1 - -3. Suppose g*m + 3 = 5*d - 0*m, -m = -5*d + 4. Suppose 5*p = d - 11. Is p >= -2?
True
Suppose 20 = -3*l + 5, -4*v - l + 67 = 0. Is v less than or equal to 18?
True
Let o = -48 - -49. Let h = 29491801/97604 + -29/7508. Let j = h - 302. Are o and j equal?
False
Let f(a) = -7*a**2 + 6*a - 13. Let s(t) = -10*t**2 + 9*t - 19. Let u(k) = -7*f(k) + 5*s(k). Let z be u(3). Which is smaller: z or -2?
z
Suppose 3*a - 7 = -d, -3*d + 5*a - 7 = -0*d. Let c be (4 - 2)/2 + 0. Is c > d?
False
Let a = -6 + 5.9. Which is smaller: -3 or a?
-3
Let p be -3 - (7 - (1 + 3)). Which is smaller: -5 or p?
p
Let i(v) = v**2 - 5*v - 5. Let l be i(6). Which is smaller: 3/4 or l?
3/4
Suppose 3*x + j = -4, -3*j = 5*x + 2*j. Let q = x + 6. Suppose 0 = 4*v - 20, 2*v = 4*y - 2. Which is smaller: q or y?
y
Suppose -29*q = -25*q + 4. Is q greater than 10?
False
Suppose -3*f - 3*a + 30 = 0, -f - 8 = -4*a + 2. Let x = f + -5. Which is smaller: x or -0.1?
-0.1
Let z be (1/12)/(14/28). Which is greater: -0.1 or z?
z
Suppose -3*z = 3*n + 24, -n - n + 14 = -4*z. Suppose 15 = 3*x - 3*j, -5*x = j - 21 + 2. Let