. Which is smaller: -3 or x?
-3
Let a = -23 - -73. Which is greater: a or 49?
a
Let o be 4/10 - (-48)/(-60). Let n = 2 + 7. Which is smaller: o or n?
o
Let h be 523/2*(-8)/18. Let d = h - -116. Let s be (-1)/(-4) + (-35)/28. Is s at most d?
True
Let y(q) = q**2 - 3*q - 2 - q**2 - q**2. Let z be (3/(-3) + -1)*1. Let x be y(z). Are x and 0 non-equal?
False
Let y = 10 + -8. Are -6 and y unequal?
True
Let u be 0 + 1 - (-87)/(-81). Which is greater: u or -0.1?
u
Let s = 8 - 4. Suppose 5*n - 4 = 9*n - 2*a, -5*n - 8 = -s*a. Which is greater: 1/8 or n?
1/8
Let u be (-4)/(-12) - 1/3. Is u > 5/9?
False
Let q = 30 + -25. Suppose -q = 7*m - 12*m. Let w = 0 + 0. Is w smaller than m?
True
Let o = -45 + 40.6. Let m = -4 - o. Let u = 0.5 - m. Is u at least as big as 2?
False
Let m = -16 - -17. Is -3/16 not equal to m?
True
Let m(t) = t**3 + 4*t**2 - t - 7. Let h(n) = 1. Let g(s) = 5*h(s) + m(s). Suppose -5*f + 4*j - 22 = 2*j, -4 = -4*j. Let o be g(f). Which is smaller: o or -1/3?
-1/3
Let h be -10 - -7 - 0/1. Let g be (3 + 2)*h/(-6). Is g <= 2?
False
Let x(a) = -a + 8. Let l be x(17). Which is greater: l or -11?
l
Let n(t) = t + 1. Let v be n(-1). Let s = -1 + v. Which is greater: -2 or s?
s
Let n be (8 + -4 - 9) + 10. Which is bigger: 12 or n?
12
Let y(k) = k - 3 + 4*k**2 + 1 + 2. Let a be y(1). Let i be 18/8 - a/10. Is i at most as big as 2?
True
Let g(o) = -2*o**2 + 5*o**2 - 3*o + 2 - 2*o**2. Let c be g(3). Which is smaller: c or 4?
c
Let z(s) = s**2 - 10*s + 5. Let u(l) = -l + 4. Let k be u(-5). Let i be z(k). Which is smaller: -3 or i?
i
Let n = -67.8 - -68. Do 2 and n have the same value?
False
Let f = 21 - 11. Let v be (2/12)/((-1)/f). Let g = 4/3 + v. Which is smaller: g or 6?
g
Let t be ((-12)/(-120))/((-1)/2). Which is bigger: t or 0?
0
Let k = 9.7 - -33.3. Is -0.1 less than or equal to k?
True
Let r be 0 - ((-8)/(-18))/1. Suppose 0 = c - 2 - 1. Suppose 5*q = -5*a - 0*q, 0 = -3*q + c. Which is smaller: r or a?
a
Let u be (-35622)/68 - (-42)/28. Let l = u + 522. Which is smaller: 1 or l?
l
Let x = -8 - -13. Suppose -x*b + b - 4 = 0. Is b != -1?
False
Suppose -4*l = -0*s - 3*s + 10, s = -4*l - 2. Let h be l + (-4 - (-732)/148). Which is bigger: 0 or h?
0
Suppose 0 = -2*l - 2*l - 4. Let c(n) = -10*n**2 + n. Let k be c(1). Let a be (-9)/(-6)*1/k. Which is greater: a or l?
a
Suppose -n - 3*n = -4. Suppose n = -i + 3. Is -1 smaller than i?
True
Let o = 34 + -31. Which is smaller: -3 or o?
-3
Let c be -3 + (-2 + -1 - -8). Let i = 2 + c. Suppose -i = -2*q, -8 = -5*g + 2*q - 2. Which is bigger: 0.1 or g?
g
Let h be (-2)/(-48)*22 - 3/(-9). Does 0 = h?
False
Let h(x) = -x**2 + 7*x - 6. Let i be h(4). Let n be 1/i - (-38)/(-12). Is 0 equal to n?
False
Let u = -135 - -138.03. Let k = u - 0.03. Let y be (-18)/20 + 26/65. Is y less than or equal to k?
True
Let y = 0.2 + -0.4. Let i = 25.13 - 25. Which is bigger: y or i?
i
Let z be ((-8)/10)/(1/(-5)). Suppose 0 = 5*a - 5*b - 7 - 13, -5*a + z*b = -15. Let h = -46 + 45. Is h less than or equal to a?
True
Let h(r) = r**3 - 4*r**2 + 2*r - 6. Let a be h(4). Is 2 greater than or equal to a?
True
Suppose 0 = -p - n - 41, -116 = 3*p - n + 11. Is p > -42?
False
Let z be ((-45)/(-30))/(39/2). Suppose -s = 2*s - 2*r + 11, -3*s - 5*r + 17 = 0. Is s at most as big as z?
True
Let c be 8/(-70) + 28/70. Which is smaller: c or -1?
-1
Let z = -64 - -66. Are 15/7 and z unequal?
True
Suppose 0 = x - 3*x. Suppose x*m + 7 = -m + 2*h, -2*h + 12 = 4*m. Suppose 0 = -a + 6*a - 5*o - 10, 0 = 4*a + 5*o - 8. Which is bigger: a or m?
a
Suppose 0*x = -4*x + 528. Let j be 29*2/x*-1. Let b = j + -2/33. Which is smaller: -1 or b?
-1
Let h(q) be the first derivative of q**3/3 - 5*q**2/2 + 4*q + 1. Let f be h(-6). Let r be (8/f)/((-4)/(-10)). Does 1 = r?
False
Suppose 7 = 2*d + 9. Is d greater than 1/88?
False
Let t = 31.87 - 32. Let g = -0.03 - t. Which is bigger: g or -2?
g
Let m be 24/(-6)*(-3)/(-8). Let a be (-1)/((-2)/(-6) + 0). Which is bigger: m or a?
m
Let d = 104 - 98. Which is smaller: 3 or d?
3
Suppose 0*p = 4*p + 80. Let x be (-26)/40 + (-8)/p. Is x at least as big as -0.3?
True
Let w be 1/2*(-3)/(-7). Which is greater: 1 or w?
1
Suppose -16 = -4*x + j, -5*x - j + 32 = 3. Is 7 less than or equal to x?
False
Let b(r) = -r**3 - 4*r**2 - r - 29. Let l be b(-5). Is -2/291 greater than or equal to l?
False
Let p = 25 - 37. Let q be (-10)/6 - 8/p. Let d be (-2)/(-4) + 7/(-2). Is q not equal to d?
True
Let f = 2 - 3. Suppose 0*k - 3 = 3*k. Let a(w) = w**3 + 2*w**2 - 1. Let y be a(k). Are f and y equal?
False
Let w(d) = -d**3 - d - 1. Let j be w(-1). Suppose -4 - j = -5*x. Let s be (x/(-8))/(4/8). Is 3 >= s?
True
Let z = -19.11 + 19. Is z < 0?
True
Suppose -2*j + 5*q = -0*j - 721, -5*q - 25 = 0. Let u be j/(-195) - 4/(-10). Let z = -152/91 - u. Is 0.3 smaller than z?
False
Suppose 0 = 2*x + 2*j - 6, j = x - 0*j - 13. Suppose -2*r + x = 4*l, -2*l + 4 = 3*l + r. Which is greater: l or 9/8?
9/8
Let j(l) = -1 + 1 + 2 + 26*l. Let z be j(2). Let p be ((-3)/z)/((-1)/4). Are p and 1 nonequal?
True
Let s = 1.02 + -0.02. Let t = -3 - -8. Let b = t - 5.1. Which is greater: s or b?
s
Suppose 0 = 4*d + d - 20. Suppose p = -d*p. Let a be (1/(-4))/((-3)/(-2)). Which is greater: a or p?
p
Let h(u) be the second derivative of -u**4/12 + u**3 + u. Let g be h(6). Suppose g = -v + 6*v + 10. Is v <= -2?
True
Let r be 0 + -2 + 33/15. Suppose -1 = -i - 2. Let c be 2/(-2)*i/(-1). Is c less than r?
True
Let f = 20 + -20. Is f >= 10/27?
False
Let l = 1 + -1. Let r be 26/16*8/20. Let n = r - 2/5. Which is smaller: n or l?
l
Suppose -y + 7*f - 10 = 4*f, 2*f = 4. Let o be (-11)/y + -1 - 2. Let b = 3/98 - 211/490. Is o at most as big as b?
False
Let k = -503/5 - -101. Let d = -0.11 + -1.89. Which is smaller: k or d?
d
Let s(i) = -i**2 - 2*i + 3. Let t be s(-3). Let g be t*(3/6 + -1). Is -1/2 greater than or equal to g?
False
Let z be (84/8)/(16/(-74)). Let v = -145331/2992 - z. Let a = v - 368/561. Is -1 at most as big as a?
True
Let a be 9/1*1/(-8). Which is smaller: a or 0?
a
Let n = 25/28 + -8/7. Let c be (-4)/10 + (-408)/(-20). Let r be (-1)/c - 1/(-4). Which is smaller: n or r?
n
Let n be (1 + 0)*16/16. Let h = 10/17 - 93/187. Is n > h?
True
Let o = -25 + 26. Which is smaller: o or 8/13?
8/13
Let y(k) = -k**3 + 2*k**2 + 11*k - 6. Let q(h) = 2*h**3 - 5*h**2 - 21*h + 13. Let c(r) = 3*q(r) + 5*y(r). Let x be c(6). Which is bigger: -1 or x?
-1
Let a = 50 - 50. Is 1.2 greater than a?
True
Let n = -9 + 8. Let j = 1 + n. Let y = 1 + -1. Is j < y?
False
Let b(t) = t**3 - 6*t**2 + 6*t - 5. Suppose -15 = -5*y + 2*y. Let o be b(y). Let p be o*2/4*1. Is 0 at most p?
True
Let u be (-40)/(-54) - (-24)/(-36). Does u = -1?
False
Suppose 4*z = -2*w - 14, 5*z + w = -20 - 2. Is -5 > z?
False
Let g be (2*(1 + 0))/(-2). Suppose -2*c + 8 = -3*t, 4*t - 5*c = 1 - 7. Is t > g?
False
Let t = -3.1 + 1.8. Let g = t - -0.3. Is -0.02 equal to g?
False
Suppose -4*l + 2 = -3*l. Suppose -l*g = -g. Let o(x) = x**3 - 13*x**2 + 11*x + 13. Let n be o(12). Which is bigger: n or g?
n
Let c = -67/6 - -21/2. Suppose -3*p + 2*j - 6 = 4, -p = -j + 4. Which is bigger: c or p?
c
Let i be (-16)/(-28)*(-1)/(-6). Let l = -18 + 28. Let r = -9 + l. Which is smaller: i or r?
i
Suppose x + 2*k = -4, -5*k - 1 = 2*x + 8. Let l = -5 + x. Is l greater than or equal to -7?
True
Suppose 5*q + 128 = -g + 4*g, -3*g + 112 = -q. Suppose -r = -5*r - g. Which is smaller: -8 or r?
r
Let x be -5 - (-6 + 4/2). Which is smaller: x or -0.11?
x
Let y = 19.318 + -0.418. Let h = -19 + y. Which is bigger: h or -1/2?
h
Let t = -15 - -15.21. Let k = t - 0.21. Suppose p - r - 2 = -4, 4*r = 4. Is k less than or equal to p?
False
Suppose 4*v + 10 = -3*o - v, o = -v - 2. Suppose 33*n = 31*n. Is o equal to n?
True
Suppose -2*y - 2 = -38. Suppose -y = -2*t + 3*s, s = 2*t + 4*s + 6. Is t < 2?
False
Let g(u) = -u**2 - u - 11. Let f be g(0). Is -12 >= f?
False
Let s = -3 + 3. Suppose -3*d + d = s. Which is greater: d or 6/17?
6/17
Let z = -5.4 - -3.4. Is 0 at most as big as z?
False
Suppose -5*n + 6 = -19. Suppose 4*o - 11 = -2*b + 13, -n*b = -o + 6. Suppose o*a = 3*a + 9. Which is bigger: 2 or a?
a
Let a(n) = -n - 10. Let k be a(-5). Which is greater: -4 or k?
-4
Let n(x) = -2*x + 4. Let v be n(-5). Suppose -3*l - v = 5*j - 1, -2 = 3*j - 4*l. Whic