Suppose 0 = z + 115 - 115. Which is smaller: 3/55 or z?
z
Let z = -1 + 4. Suppose n - 4 = z*r - 1, -2 = r. Let o = 16 + -17. Which is smaller: o or n?
n
Let p = 22 + -32. Let z be ((-1)/(-4))/(5/p). Is 1 smaller than z?
False
Let x = 50 - 26. Which is greater: x or -1/4?
x
Let q(c) = c**2 - 9*c - 10. Let m be q(10). Is m smaller than -2/3?
False
Let c = 9 + -6. Let r(g) = g - 4. Let l be r(c). Is l less than -3/5?
True
Let l = 0.8 + 0. Let u = 1.8 - l. Let b = -0.95 + u. Is -1 less than b?
True
Let x be (4/6)/((-13)/3). Let s = 4 - -1. Suppose 0 = -10*y + s*y + 4*i - 12, -2*y = 5*i - 15. Is x not equal to y?
True
Let c(r) = r**2 + 14*r + 16. Let u be c(-11). Is u at most -16?
True
Let c(t) be the second derivative of t**3/6 + 13*t**2/2 + 6*t. Let i be c(-7). Are i and 5 nonequal?
True
Let m = -9 - -15. Does 6 = m?
True
Let h = 2186216/277905 - 2/18527. Let i = -36/5 + h. Is 0 at least i?
False
Let o be (-2)/(-5) - (-28)/5. Let a be (-1)/1*-1*o. Let g be (-2)/a + (-32)/12. Is -3 equal to g?
True
Let w(h) = h**3 + 15*h**2 - 16*h + 1. Let f be w(-16). Let m = -93 - -649/7. Which is smaller: m or f?
m
Let d = -9.9 + 7.9. Is d at most as big as -1.1?
True
Let c be -3 + 6/36*94. Is 13 >= c?
True
Let u be 3 - ((-1)/2 - 10/(-4)). Which is bigger: -3/83 or u?
u
Let m = -19 + 19. Which is smaller: -3 or m?
-3
Let z = -511/6 - -82. Let i = 7/2 + z. Is 0 smaller than i?
True
Let q = 0.16 + -0.06. Which is smaller: 7/5 or q?
q
Suppose 4*a - 2*g - 30 = 0, -69 = -5*a - g - 14. Is 11 >= a?
True
Let j be (6/12)/(1/4). Is j smaller than 5?
True
Let f = 3 - 6. Let m = -0.001 + -3.299. Let g = m - f. Which is bigger: g or 0.1?
0.1
Let j be (-4)/18 - (-4564)/(-1575) - -3. Which is smaller: j or -1?
-1
Suppose -3*z + n - 20 = 0, -5*z - 5 - 28 = -2*n. Which is smaller: -62/9 or z?
z
Let x be 8/(-6)*(-11)/((-22)/(-6)). Is x at least as big as 16/3?
False
Let v = 7.8 - 8. Let h be -1 + 1 - (0 - 6). Let q = -4 + h. Which is bigger: q or v?
q
Let x be 10/(-35) - (-1732)/(-14). Let v = x + 1610/13. Is v at most as big as -1?
False
Suppose 4*k - 9 = 3, 2*v = 2*k + 38. Suppose -2*d + 2*s - v = -s, 4*s - 6 = d. Are -13 and d equal?
False
Let j be (18/(-15))/(16/(-20)). Which is greater: 3 or j?
3
Let h be ((-1)/6)/((-6)/(-18)). Is h less than -1?
False
Suppose 3*i = -4 + 1. Let z be -2*(2 - (2 + i)). Let u = -4 - z. Is u less than -2?
False
Let n be (1 - 2)*0/3. Let b(r) = -r**2 + 6*r - 4. Let a be b(6). Let i be (a/6)/((-5)/(-15)). Which is bigger: n or i?
n
Let g(r) = r**2 - 5*r + 4. Let j(i) = i**2 - 4*i + 3. Let s(h) = 4*g(h) - 5*j(h). Let f be s(1). Suppose -3*k - 1 = -4. Which is bigger: f or k?
k
Let n be (36/30)/(2/5). Suppose -4*m = 2*t - 20, n*t = m - 4*m + 21. Which is greater: m or 2?
m
Let m be (-10)/((-8 - -2)/(-3)). Let t be (m/(-5))/((-2)/(-8)). Suppose 0*n + t*n - 4 = 0. Are n and 2 nonequal?
True
Let a = -1 - 0. Let d = -168 + 503/3. Is a greater than d?
False
Suppose -4*t = l - 22, -5*l + t = -10 - 16. Suppose 0 = -q, 5*k - 4*q + l - 1 = 0. Which is bigger: k or 2/17?
2/17
Let f be ((-6)/9 - -1)/((-7)/(-21)). Which is bigger: f or 2/5?
f
Let d = 17 - 29. Let i be ((-2)/(-3))/(d/90). Let l = -4 - i. Is l greater than or equal to 8/5?
False
Let h = -18 + 16. Which is smaller: -1 or h?
h
Let g = 28/15 + -11/5. Let k = -9.5 - -9.2. Which is smaller: g or k?
g
Let r = 31 - 32. Let o be 1/3 - (-23)/3. Let s be ((-2)/(-8))/((-6)/o). Which is greater: r or s?
s
Let a be 2 + 0 + 2 - (6 - 1). Is a smaller than 5/32?
True
Let c(x) = x**2 - 10*x. Let g be c(10). Let a = g - 0. Does 2/3 = a?
False
Let l = -0.03 + -1.97. Suppose 20 = a + 3*a. Suppose 0 = a*j - j. Is j < l?
False
Let o(k) be the third derivative of -k**5/60 + k**4/6 + 7*k**3/6 - 4*k**2. Let f be o(6). Which is smaller: f or -2?
f
Suppose -l - p - 180 = -44, 0 = 2*l + 3*p + 267. Is -141 smaller than l?
False
Let x = 18 - 21. Which is greater: x or 2/3?
2/3
Let c = -63 - -62. Are c and 2 equal?
False
Let o = -8 - 8. Let n be 0 + (-2 - o/7). Let j = 21 + -19. Is j smaller than n?
False
Let b(v) = 4*v + 4. Let c(p) = p**2 - 9*p + 11. Let i be c(8). Let z be b(i). Let l be (z/28)/(2/3). Which is smaller: l or 0?
0
Let l(o) = -o + 14. Let b be l(0). Suppose 4*x - 3*s + 11 = -b, 4*x - 4*s + 28 = 0. Let q be (1 - x/(-3))/(-1). Is -1 at least as big as q?
False
Suppose -j + 3*o - 4*o + 10 = 0, 40 = 2*j - 2*o. Let y = -61/4 + j. Let g = -6 - -5.7. Is y at most as big as g?
False
Let v = -0.6 + 0.59. Let n = -0.99 + v. Is n less than or equal to 1/8?
True
Let k = 0.99 + 8.01. Which is smaller: k or 2?
2
Let d = 0.7 + -6.7. Let a = -5 - d. Is a at most 3?
True
Let y be -2 + (0 - -2) - 0. Suppose v = -1, 2*k + 2*k + 5*v = 15. Suppose 0 = k*x - 12 - 3. Which is smaller: x or y?
y
Suppose a - 2*s - 6 = 1, -4*s - 10 = 2*a. Does a = 13/6?
False
Suppose t + 0*t + 4*b - 14 = 0, -3*t + 2*b + 70 = 0. Let i be 6 + -5 + (-18)/t. Which is smaller: i or -1?
-1
Suppose -r = 3 - 1. Let m be (-1)/((-2)/r) + -1. Let s = -3 - m. Which is smaller: -3/5 or s?
s
Let c(z) = z**3 - 2*z**2 - 4*z - 3. Let r be c(4). Which is smaller: r or 12?
12
Let f(m) = m**2 - m - 1. Let t be f(-2). Suppose 0 = -t*z + 1 - 6. Which is bigger: 0 or z?
0
Let j = -9 - -5.5. Let u = j + 3. Let m = -0.5 + u. Is -0.4 less than or equal to m?
False
Let c(k) = -k**3 - 23*k**2 + 26*k + 45. Let x be c(-24). Suppose 0 = -3*a - 0 - 6. Which is smaller: a or x?
x
Let m be 0 - (4 + 69/(-18)). Which is bigger: m or -1?
m
Suppose 4*p - 1 = 3. Suppose -27 = -3*w - z - 2*z, 4*z = 4*w + 4. Let h = -1 + w. Is h not equal to p?
True
Let v = -1 - -5. Let o = v + -4.2. Let a = 0.16 - 0.36. Are a and o non-equal?
False
Suppose 4*y = 3*v - y - 5, -5 = 5*v + 5*y. Let x be 0/2 - (4/(-21))/(-2). Which is greater: x or v?
v
Let n = -0.13 + 0.13. Let a = n - 0.2. Which is smaller: -2 or a?
-2
Let x = 5 + -5. Suppose x*u + 2*u = 0. Which is smaller: u or 1/7?
u
Suppose -n + 0 = -1. Let l be -3*(n - 4/(-6)). Is -3 greater than l?
True
Let j = 1.22 + -54.22. Which is smaller: -0.2 or j?
j
Suppose 4*o = o + 4*b - 10, -2*o - 22 = 5*b. Let m be ((-3)/o)/(1/(-2)). Which is smaller: -4/5 or m?
m
Let h be ((-6)/(-2))/(2 - 1). Which is smaller: h or 3/2?
3/2
Let i be (0/(0/4 + 1))/(-2). Which is smaller: i or -1/10?
-1/10
Let h = 0.66 - 4.75. Let f = 0.09 + h. Are f and -1 non-equal?
True
Let h = 57.9 + -58. Suppose b = -d + 4*d - 1, 4*b = -5*d + 13. Is h bigger than d?
False
Suppose -h - 2 = -3*o + 2*o, -5 = -2*o + h. Let y be 15/o + 0 + -1. Is y greater than 6?
False
Let y be (-8)/12 - 4/(-6). Is y at least 3/5?
False
Let l be ((-2)/4)/((-18)/(-4)). Suppose 0 = b + 4*b - 5. Suppose 3*u + b = -2*q, -2*u + 2*q - 6 = -2*q. Which is bigger: u or l?
l
Let j = -1.1 - -1.5. Is 2/7 less than j?
True
Let n(w) = -w - 9. Suppose 2*f + 27 = 7. Let x be n(f). Which is bigger: -2/17 or x?
x
Let j = -4 + 132. Let d be (-4)/(-26) + j/(-156). Which is greater: 0.03 or d?
0.03
Let n = -23 - -93/4. Which is greater: 3 or n?
3
Let p = -2/41 + -17/492. Let l = -1/4 - p. Is -2/3 greater than or equal to l?
False
Let t be (-10)/(-4)*(-96)/(-80). Suppose 5 = 8*a - 3*a. Which is greater: a or t?
t
Let w be (-10)/(-8)*(11 - 7). Let q = 3 - w. Which is smaller: -3 or q?
-3
Let j = -18 - -16.9. Let b = 1.4 + -0.4. Let r = b + j. Which is smaller: r or 2?
r
Let g = -12 - -32. Is -1/4 at most as big as g?
True
Let h = 10 - 6. Suppose -h = 5*g - g. Which is smaller: -2/15 or g?
g
Suppose 4*d = -z - 62, -3*d + z - 50 = -0*d. Let i = 18 + d. Let b(q) = -q**2 + 4*q + 1. Let f be b(3). Is f < i?
False
Let w = -2/43 + -21/473. Is w at most as big as -1?
False
Let g = 2 - -2. Let k be ((6/g)/(-3))/(-1). Suppose 3*s + 12 = 7*s + 4*x, 0 = -s - 5*x + 15. Is s at least as big as k?
False
Let i = 3/10 - 13/110. Suppose -2*p = -2*a - 4, 9*a + 2 = 4*a + p. Which is bigger: a or i?
i
Let h = 19 + -33. Let z = -6 - h. Suppose 4*l = 5*l - z. Which is smaller: l or 7?
7
Suppose -4*k + 4 = -16. Let h be 3/((-3)/4) + k. Which is smaller: h or 3?
h
Let d = 56/5 - 239/20. Is d > -2?
True
Let a be 16*((-196)/16 + 1). Let t be (-4)/18 + 68/a. Let p be (1 - -1 - 0)/(-1). Do t and p have the same value?
False
Suppose -s + 3 = -2*s. Let h be 22/(-18) + 1 + (-968)/(-792). Which is smaller: s or h?
s
Let r = 57 + -53. Is -10 not equal to r?
Tru