reater than y?
False
Let c = -4.028 + 0.028. Which is smaller: c or 3?
c
Let n = 11 + -12. Let z = 1.2 - 1.4. Which is smaller: z or n?
n
Let i be (-3)/(-6) + -1*(-6)/(-4). Which is bigger: i or 4/9?
4/9
Let w be 32*8/420*6. Let g = -20/7 + w. Which is smaller: 0 or g?
0
Let h = 0.06 + 0.44. Let n = -0.4 + h. Let z = -3 - -4. Which is bigger: z or n?
z
Let z = -3068 - -22010/7. Let f = z + -76. Let l = -1 - -2. Which is smaller: f or l?
f
Let j(r) = 2*r**2 + r. Let q be j(1). Suppose 4*h = q*x + x - 32, -5*x + 2*h = -25. Let s = -1 + x. Which is greater: s or 1?
s
Suppose -j - 1 = -2*d - d, 4*j - 6 = 2*d. Suppose 2*p = -4*l - 4, l + 9 - d = 3*p. Let z be -2 - 1*(3 + -4). Is l greater than z?
False
Let n be (7 - 60/10)*1*-1. Is -6 less than or equal to n?
True
Let t(h) = -h**3 - 8*h**2 - 2*h - 7. Let i be t(-8). Suppose 0 = 2*k + 3 - i. Suppose 2 = -s + 4. Is s at least as big as k?
False
Let m be (-2)/(-3) + 10/(-24). Let y = 1/12 - -1/4. Which is greater: m or y?
y
Let a be 4/(-6) + 20/27. Let i be ((-4)/(-14) + 10/(-35))/1. Is a at least as big as i?
True
Let g be (22 - 15)*(-4)/(-14). Which is bigger: 18/13 or g?
g
Suppose -14 = b + 2*i, 3*b + 5*i + 36 = 2*i. Let a = -69/7 - b. Which is smaller: 0 or a?
0
Let i = 0.04 - -3.96. Let u = i - 2. Is u > 3?
False
Suppose -8*z + 11 = 35. Suppose 4*f = -5 - 7. Is f bigger than z?
False
Let d = 611/8 - 77. Let l = d + -1/24. Suppose 2*c = -c - 6. Which is smaller: l or c?
c
Let d(p) = p**3 + 4*p**2 - 5*p + 6. Let m be d(-5). Suppose 6 = 2*v - 3*s, 0*v = -5*v + 4*s + 15. Let g be (1/v)/(2/m). Which is smaller: -2/7 or g?
-2/7
Let k = 34 + -32.7. Are 0 and k equal?
False
Let w = -7 - -7. Let v be ((-3)/(-1))/(39/(-12)). Which is smaller: v or w?
v
Suppose 0 = k + 2 - 3. Which is smaller: k or -2/5?
-2/5
Suppose -11 = 9*j - 29. Which is smaller: j or 19/7?
j
Let t be (-1)/((-3)/(30/2)). Let r = 5 + 1. Suppose t*f = -1 + r. Is -2/7 > f?
False
Suppose -3*f + p = -4, 0*p - 3*p = -3*f + 6. Suppose -d + 12 = 5*j, 5*j - 4 = -d + 4*d. Let o = j + 0. Is f not equal to o?
True
Let o be (3/(-9))/(1/3). Let r = -895/18 - -99/2. Does o = r?
False
Let o be -9 - (-2 + 0 - 0). Let k = o - -12. Let v = 56 - 49. Which is greater: v or k?
v
Let p be 224/1155 + (-6)/45. Which is smaller: -1/2 or p?
-1/2
Let h = -773/7 - -110. Let l = -16/21 - h. Is -1 equal to l?
False
Let d = 0.41 + 5.59. Are -2 and d non-equal?
True
Let a(w) = w**3 - 3*w**2 + 3*w - 2. Let t be a(3). Let v(q) = -q**3 + 5*q**2 - 5*q + 3. Let k be v(4). Let p be 5/t + k + 0. Which is smaller: -2 or p?
-2
Let b(u) = 2*u**3 - 2*u**2 - u. Let h be b(-1). Let z(q) = q**2 - 5*q - 7. Let r be z(6). Which is smaller: h or r?
h
Let l be (1 + -2)/(3/12). Suppose 4*s - 5 + 1 = 0. Let n be s/1*(l - 1). Is -4 bigger than n?
True
Let n be 21/(-9) - 4/6. Let r(t) = t**2 + t - 3. Let k be r(n). Suppose z + 0 = -2*a - k, 0 = -a. Which is smaller: z or -3/2?
z
Let k = -19/92 + -1/23. Is -0.5 greater than k?
False
Let g be (6/(-4)*-4)/1. Let w = -5 + g. Let a be w/3 - 4/(-6). Which is smaller: 1/4 or a?
1/4
Let t be 6/12*(-6)/(-5). Which is bigger: t or 0?
t
Suppose 2*w - 20 = -3*w. Suppose -5*v = -w - 1. Which is smaller: 2 or v?
v
Let k be (-3)/(22/(-8) - -2). Let m(u) = -u + 3. Let h be m(k). Which is smaller: 0 or h?
h
Suppose 2*p = 2*r - 2 + 6, -5*r = -4*p + 10. Suppose 4 = -p*u + 4*u. Which is bigger: 2 or u?
2
Let j be 130/(-216) + 1 + 20/(-80). Is 1 at most j?
False
Let p = 0.1 - 0.1. Suppose y = -y. Let b be 3/(y - 2/(-1)). Is p smaller than b?
True
Let o = -19985/29 - -689. Are -0.1 and o equal?
False
Let r be 1*(-2 + (-22)/(-10)). Is r not equal to -1?
True
Let w(h) = h**3 + 5*h**2 - 6*h + 5. Let q be w(-6). Let j be (q/(-10))/((-1)/(-2)). Let d = -13 + 10. Does j = d?
False
Let m = 0.8 + -0.7. Do m and -2/13 have the same value?
False
Suppose 13*o - 10*o = -12. Let q be (-2)/(-4)*(-2)/o. Which is smaller: q or -1?
-1
Let p = -0.46 + 0.5. Let w = -1.04 + p. Is w >= 1/6?
False
Let i be ((-1)/(-5))/(6/15). Which is smaller: 2 or i?
i
Let g be 1 + 2*(1 - -1). Suppose 11 - 41 = -g*h. Let z = -5 + h. Are -0.1 and z equal?
False
Suppose -3*l - 3 = -0*l. Suppose 14 = 3*a + 5, -2*a = -3*u + 3. Suppose 4*c + u*m - m = -12, -c - m = 5. Is l less than or equal to c?
True
Suppose -42 = 5*v - 187. Suppose 5*a = w - 3 + 7, 4*w - 5*a - v = 0. Which is smaller: 12 or w?
w
Let z = -9.7 + 0.7. Suppose -1 + 3 = -2*f, -4*b = -f - 1. Are z and b equal?
False
Let x(v) = v**3 + 16*v**2 + v + 20. Let p be x(-16). Is p bigger than 2?
True
Let l = 14 - 9. Suppose -5*a = l*t - 12 - 3, 4*t + 2*a = 10. Is t equal to 3?
False
Let r be 248/(-10) + (-11)/55. Let k = -32 - r. Which is greater: k or -8?
k
Suppose 4*n - 2*f + 2 = 2*n, -3*f = -5*n - 3. Which is greater: 2/11 or n?
2/11
Let k be 2304/(-84) + 8/(-14). Which is greater: -27 or k?
-27
Let g = 6 + -4. Let q = -2 + g. Let u = -29 - -32. Which is smaller: u or q?
q
Suppose 18 = -x + 34. Let o be (-1 + 2 - -4) + -1. Suppose -5*f + 2 = o*n, -f + 4*n = 3*f - x. Is 1/2 != f?
True
Let s = -20 + 31. Suppose s + 19 = -3*a. Which is smaller: 0.1 or a?
a
Let s(g) be the second derivative of g**4/12 + 2*g**3/3 - g**2/2 - 3*g. Let c be s(-4). Which is bigger: c or -2?
c
Let g be 34/6 - 2/3. Suppose 0 = 3*z + t - g, -2*t = -z - 0 + 4. Suppose -3*u - 8 + 5 = -z*y, 2*u - 6 = 4*y. Which is smaller: -1 or y?
y
Let v = 3 - 2. Let l = v - 7/5. Which is smaller: -5 or l?
-5
Suppose 2*h + 15 = 3*m, -5*m + 10 = h - 3*m. Let f(o) = o**3 - 4*o**2 + 2*o + 3. Let i be f(3). Is i at most h?
True
Let t(s) = -s**2 - 1. Let w(x) = 3*x**2 - 2*x + 4. Let a(p) = 2*t(p) + w(p). Let r be a(2). Is 5/3 >= r?
False
Let a(z) = z - 10. Let g be a(7). Which is greater: g or -7?
g
Let s be (-3)/(3/(-12)*6). Suppose 0 = 5*o + 14 - 4, -5*v - s*o - 14 = 0. Which is greater: -3 or v?
v
Let p = 39 - 21. Is p smaller than 16?
False
Let g = -0.06 - 0.1. Let r = -0.06 - g. Which is greater: r or -4/7?
r
Let s be 2/2*(-4)/(-8). Let a be 5 + (-1 - (-1 - -4)). Is a smaller than s?
False
Let v be 87/(-58)*112/(-6). Which is smaller: 25 or v?
25
Let n(o) = -2*o + 0*o**2 + 0*o**3 + 4 + 3*o**2 - o**3. Let g be n(3). Let k = g - -4. Is 0.1 less than k?
True
Let x(h) = h**3 - 17*h**2 + 16*h + 1. Let i be x(16). Suppose -5*v + 5 = -15. Suppose -v*a + 12 = 4*k, -40 = 5*k - 5*a - 15. Which is smaller: k or i?
k
Let s(x) be the first derivative of -2 - 5/2*x**2 - 2*x - 1/3*x**3. Let a be s(-5). Is -1 >= a?
True
Let d(s) = s**3 + 4*s**2 - 8*s - 7. Let q be d(-6). Which is smaller: -30 or q?
q
Suppose 20 = z + 3*z - 4*m, 20 = -2*z - 4*m. Let c = 1 + -2. Let h be (-2)/((c - z)*-3). Which is bigger: 0.1 or h?
0.1
Let h = 30 + -15. Suppose 4*f = -4*w - 12, 3*f - 3*w = 2*w - 33. Let x be 0 + 0 + f/h. Which is greater: -2 or x?
x
Suppose -2*j + 102 = -38. Is j < 70?
False
Suppose 4*i - 2*l = 5*i - 9, l = -5*i + 27. Suppose 4 + 1 = i*r. Is 1 at least r?
True
Let u(v) = -v**2 - 1. Let k be u(-1). Which is bigger: -9/10 or k?
-9/10
Let g = 12 - 8. Which is smaller: g or -1?
-1
Let m be 0 + -1 + 1 + -1. Let s be 1 - (-5)/2 - m. Which is bigger: s or 5?
5
Suppose 0 = -7*i + 2*i + 5. Let h be ((-7)/98)/((-2)/(-4)). Are i and h equal?
False
Suppose -4*f = -6*f. Let s be (((-4)/(-4))/8)/(1/2). Is f at most s?
True
Let v(l) = l + 8. Let r be v(-8). Suppose 2 = -r*s + s. Suppose -3*n + 12 - 3 = 0. Which is bigger: s or n?
n
Let d(v) = v. Let l be d(-2). Let u = -110 + 112. Which is greater: l or u?
u
Let r = 0.8 + 1.9. Let a = 2.8 - r. Let d = 38/63 - 8/9. Are d and a non-equal?
True
Suppose 4*k - f - 4*f = 89, -4*f - 67 = -3*k. Suppose -k = 4*v + 5*x, 0 = -2*v - 5*x - 23 - 0. Is -3 not equal to v?
True
Suppose 5*q + 30 = 5*b, -b + 18 = 2*b - 2*q. Let v = -8 + b. Which is greater: 1 or v?
1
Let x(h) = h**2 - 3*h + 3. Let q be x(3). Let s = q - 8. Let m be (8/6)/((-10)/s). Is 2/9 != m?
True
Suppose x - 9 = -4*p, -2*x + 3*x + 26 = 3*p. Is 3 at most as big as x?
False
Let b = 85/6 - 413/30. Suppose -3*u = -5*w - 19, 4*u + 3*w - 2 = 4. Suppose 0 = 4*y + l + l + 2, 5*y - u*l = 14. Do y and b have different values?
True
Suppose 3*s - 5*s - 14 = 0. Is -7 <= s?
True
Let y = 83 - 499/6. Which is smaller: 1/6 or y?
y
Let c = -0.12 - -0.32. Let r = -0.4 + 0.1. Let p = c + r. Which is greater: -0.5 or p?
p
Let g be (-6)/(