an y?
True
Let k = 205/6 + -34. Which is bigger: k or 0?
k
Let o = -0.11 + 0.29. Let w = o - 0.15. Which is greater: w or -2?
w
Suppose 4*r - 32 = -4*q, -q = 4*q - 20. Suppose 4*g + 13 + 1 = -3*i, 5*g = -r*i - 17. Suppose 0 = -0*b - 4*b. Which is bigger: b or i?
i
Let r = -7.1 - -7. Let q = 0.1 - r. Is q smaller than -1?
False
Suppose 2*h - h = 15. Which is greater: 14 or h?
h
Let k(n) = -n**2 + 11*n - 8. Let t be k(10). Suppose w + t - 8 = 0. Suppose -x - 4 = -2*f, 5*f + 2*x = w*f - 2. Which is bigger: f or 1/2?
f
Suppose 0 = -5*g - 0*g + 10. Suppose -2*u = g*u - 16. Suppose -3*d = -4*r + 21, 5*r + u*d - 2*d - 9 = 0. Which is smaller: r or -0.1?
-0.1
Suppose 0 = 4*a - 31 - 9. Let s = 6 - 12. Let u be a/s*1/2. Is u > -2?
True
Suppose -a = 4*x - 1, 2*x = -5*a + 3*x + 26. Suppose -q + 0*y = -y - 2, -q + a*y = -14. Which is smaller: q or -2/15?
q
Let i = 0 + -3. Which is smaller: i or -18/11?
i
Let o = 0.16 - 1.36. Let x = o + 1.1. Is x greater than or equal to 7?
False
Let a = 454859/39564 + -27/1099. Let g = a - 45/4. Are 0 and g equal?
False
Suppose 2*k = 3*z + 5*k - 27, z + 1 = k. Let f be (-2 + 1)/((-2)/z). Let a be (1/(3 - f))/1. Which is smaller: 1/5 or a?
1/5
Let f = -9 - -6. Which is smaller: -0.1 or f?
f
Suppose 0*i - 2*i = 42. Let s = i - 3. Let l be 4/s*(2 - 1). Is l >= 0?
False
Suppose -3*h + 2*a + 13 = 0, h + 4*a - 8*a - 21 = 0. Let r be ((-4)/(-40))/(2/45). Which is smaller: h or r?
h
Let i be 1/((-2)/14)*-1. Suppose 5*o - 13 = i. Let h = -3 + 5. Which is greater: h or o?
o
Suppose 2*l - 5*y - 2 = -2*l, 3*l - 1 = 4*y. Is 22 >= l?
True
Let x = -3 - -14. Suppose 5 = -4*y - x, -d - 2*y = 5. Suppose 2 = -d*q - 1. Which is smaller: q or 0?
q
Let d be (-308)/72 - (-2)/(-9). Which is greater: d or -5?
d
Let u = 3 + -4. Let f be u - ((0 - 1) + 2). Which is smaller: f or 0?
f
Let z = 0.2 + -1.2. Let v = -133/9 - -15. Which is greater: v or z?
v
Let f = -1658 - -38144/23. Which is smaller: f or 0?
0
Let k = -12 + 9. Let d(u) = -u**2 - 2 - u + 4 - 1. Let s be d(2). Is k > s?
True
Let b = 0.24 - -13.76. Let x = b - 13. Is -7 bigger than x?
False
Let o be 16/(-56)*28/12. Is 35 equal to o?
False
Let s = -3/7 + 9/28. Let l = s + 17/28. Do -3 and l have the same value?
False
Suppose 0 = -3*u - 0*u + 15, 3*u = -3*l + 99. Suppose -2*x + 13 = s - 0, 4*s - l = -2*x. Are 5 and s unequal?
False
Let j be 13/(-11) - (-6)/33. Is 2 smaller than j?
False
Let w = -3 - -4. Let v = 57 - 58. Which is smaller: w or v?
v
Let i(h) = -5*h - 1. Let o be i(-1). Suppose 5*r = r - o. Are r and -1/3 nonequal?
True
Let x be 0*3/(-3) + -9. Is -5 > x?
True
Let h = 149.1 + -149. Which is smaller: 5/6 or h?
h
Let k be (1606/(-21))/(2/3). Let n = 115 + k. Which is bigger: -1 or n?
n
Suppose 3*h + 0*y - y = 8, 4 = -2*h + 3*y. Let k be ((-1)/3)/(h + -3). Which is bigger: k or -1/4?
-1/4
Suppose -2*n + 109 = -5*n + 5*s, 3*s = 6. Is n less than -34?
False
Let a be 1*((0 - -2) + 1). Suppose 0 = l + a*l - 32. Let r be ((-2)/l)/((-1)/4). Are -1/4 and r unequal?
True
Let b be 92/(-24) - -4 - (-103)/(-6). Which is smaller: b or -47/3?
b
Suppose -4*m + 6 = -5*u - 54, 5*u + 70 = 5*m. Let s be ((-1)/22)/(m/(-20)). Which is smaller: 1 or s?
s
Let j be (5 - 0) + 0/(-4). Let g be (-1)/j - (-87)/(-15). Let o be ((-15)/g)/5*0. Is o > 2/3?
False
Suppose 3*d = 4*u - 17, 4*d - 2*u - 9 = -3*u. Suppose -3*k = -d - 5. Let l be (-6)/10 + (2 - 1). Does k = l?
False
Let j be 2/1 + (-1 - 1). Let u be j + (3 - 2)*1. Let l = 12/35 - 1/7. Which is greater: u or l?
u
Let y(d) = 2*d**2 + d - 2. Let x be y(-2). Suppose -x*s - 13 = 3. Suppose -2*m - 15 = 3*m. Are m and s equal?
False
Let d = -1.4 + 4.4. Let w = -66/35 + 16/7. Which is bigger: w or d?
d
Let h = -7.9 + 9.3. Which is bigger: 0.2 or h?
h
Let y(l) = -l - 1. Let a be y(-2). Suppose -5*w - a + 6 = 0. Is w greater than or equal to 3?
False
Let b = 985 + -12799/13. Which is smaller: b or -1?
-1
Let d = 85 - 86. Is d equal to -32?
False
Suppose 13 = -4*c - 3. Suppose -1 + 11 = -5*g. Let u = -6 - g. Is u greater than or equal to c?
True
Let r(v) = v**2 + 8*v + 6. Let u be r(-9). Let m be (-5)/u + 4/3. Which is greater: 0 or m?
m
Let p(i) = -5*i - 5. Let a be p(-2). Let m be (9/2)/(9/(-12)). Let w be ((m - -3) + a)/(-2). Is w > -2/11?
False
Suppose 0 + 5 = -5*y. Which is smaller: y or -9?
-9
Let q be 3*-3*2/(-81). Let z = -29 + 260/9. Which is greater: q or z?
q
Suppose 4*f = 2*f + 2. Do 2 and f have different values?
True
Let l = -3.9 - -4. Let n = -35 + 34.8. Which is smaller: l or n?
n
Suppose -4*i = -z + 23, -3*z - i = -2*z + 2. Let v = z + 0. Is v smaller than 4?
True
Let j(o) = 2*o**2 - o + 1. Let p be j(3). Suppose -3*h - 9 = 0, 4*h = -0*y + 4*y - p. Let l be (-1 - (1 - 2)) + 0. Which is greater: y or l?
y
Let j = 41 + -125/3. Is 0 less than j?
False
Suppose 199 + 11 = -4*r - 5*z, 0 = -2*r + 2*z - 96. Which is smaller: r or -49?
r
Let y(a) = -a**2 - a + 4. Let f be y(-3). Suppose 1 = 4*v + 9, 2 = 3*g - 4*v. Let o(l) = -l - 4. Let j be o(g). Is j < f?
False
Let f = 1 + 0. Let l = 41 + -36. Are f and l equal?
False
Let c(b) = b**2 - 11*b + 32. Let o be c(6). Suppose -5*y + 20 = -5. Let q = 8 - y. Which is bigger: o or q?
q
Let f be (-18)/4*8/(-12). Let g be (29/(-2))/(f - 2). Let x = g + 489/34. Which is smaller: x or 0?
x
Let p = -22 - -26. Let i be (-1 - -1) + p/(-2). Is -1 >= i?
True
Let j be (-26)/8 + (-3)/(-12). Let x(o) = o**2 - 7*o + 4. Let k be x(6). Which is smaller: j or k?
j
Let v be ((-20)/(-6) - 1) + -2. Let r = -2.72 - -2.86. Is v at most r?
False
Let o be ((-1)/(-2) + 0)*(28 - 22). Is o bigger than -0.1?
True
Let t = -2.3 + 6.3. Which is greater: t or 0.2?
t
Let t(s) = -3*s + 3*s + 2*s + 6. Suppose 2*i + 20 = -3*i. Let f be t(i). Which is bigger: -3 or f?
f
Suppose 0*s + 6 = -3*s. Let a be 2/s*0/(-3). Is 0 not equal to a?
False
Suppose 0 = -5*g + 4*s + 20, -2*g + 4 = -g + 5*s. Let a = 0.1 + 0.1. Let d = a - 0.3. Is d equal to g?
False
Let w be (-18)/20 - (6 - 7). Is w <= 0?
False
Let i be (32/6)/((-10)/(-15)). Suppose -z + i = 3. Is z >= 7/2?
True
Suppose -10*v = -20*v + 15*v. Which is bigger: v or -3/4?
v
Let c = -0.3 + 6.3. Let o be (0 - 3)*((-418)/(-33) + -12). Which is bigger: o or c?
c
Let g = 93/10 + -11/2. Let n = 47/15 - g. Which is smaller: -1 or n?
-1
Let i = -66 - -22. Let c be -1 + 1 - i/(-20). Which is smaller: -3 or c?
-3
Let n = 0 - -1. Let m be (-3)/(-6) + 3/(-6). Is m less than or equal to n?
True
Suppose -2*s + 5 = -g, 3*s - 5*g = 1 + 10. Suppose 3*l = -m + 29, 0*l = 2*l + 4*m - 26. Suppose 3*x + 18 = l*x. Is x greater than or equal to s?
True
Let t(w) = 5*w**2 - 6*w + 2. Let r be t(4). Is r smaller than 58?
False
Let g(u) = -2*u. Let o be g(3). Let p be (-110)/o - (-2 + 1). Let x = p + -19. Is x > 1?
False
Let i(o) = o**3 + 7*o**2 + 5*o - 2. Let l be i(-6). Let h = -137/2 - -71. Which is bigger: l or h?
l
Let f = -1.1 - -1.2. Let s = 0 - f. Which is bigger: -2/17 or s?
s
Suppose 0 = 4*v + 15 + 9. Let s be 4/v*(-3)/(-7). Let j = -0.9 + 1. Which is smaller: s or j?
s
Let v(i) = i**2 + 3*i - 2. Suppose -2*w + 16 = -6*w. Let t be v(w). Let z be ((-8)/6)/(t/6). Is -4 less than z?
False
Suppose 0 = 2*i - 87 - 139. Let p = 1214083/11 - 110258. Let u = i - p. Which is bigger: u or 0?
0
Let f = 121 - 1090/9. Let h = -4 - -3. Which is smaller: h or f?
h
Suppose 4*h - 2*h = 0. Which is bigger: 1/13 or h?
1/13
Let i = -5 + 3. Suppose 5*z + 13 = d, -5*z - 22 = 3*d - 7*d. Let n = -3 - z. Are i and n unequal?
True
Let c(w) be the second derivative of -w**4/12 + 7*w**3/6 - 3*w**2/2 + 3*w. Let v be c(6). Suppose 5*i + 17 = s, 3*s + v = 3*i + 6. Is -5 at most as big as i?
True
Let u(r) = 2*r - 1. Let o be u(-2). Let m(k) = 5*k**3 + k**2 + k + 1. Let s be m(-1). Which is smaller: o or s?
o
Suppose 1 = -i + 2*j, j = i - 2*j + 3. Let c be (i/(-74))/(15/(-10)). Which is smaller: -1 or c?
-1
Let l = -1 + 1. Let r = 0.03 + -0.03. Let w = r + 0.1. Which is bigger: w or l?
w
Let b be 15/27*(2 - (-1 - 0)). Which is bigger: b or 3/5?
b
Let x = -28 + 31.5. Which is smaller: x or -1/2?
-1/2
Suppose 5 = b + 4*b. Let t = 937/20 + -189/4. Which is bigger: b or t?
b
Let m(s) be the second derivative of -2/3*s**3 + 3*s - s**2 + 0. Let z be m(-2). Is 6 at least z?
True
Let b be 1 - (-1 - 9/(-2)). Which is smaller: -2 or b?
b
Let t be (1/(-3))/((-3