 5*h - 17 = 0. Let p be 6/(-4) + z/2. Which is smaller: -2 or p?
p
Suppose -50 = -5*s + 65. Which is greater: 22 or s?
s
Let o be (-220)/(-6) + (-34)/51. Let a be -4 - (-2)/(o/75). Which is smaller: -1 or a?
-1
Let h be 346/336 - 1/3. Let j = -18/7 + h. Let g = 17/8 + j. Is g smaller than 1?
True
Suppose 0*g + 2*g + 68 = 0. Let u = g - -103/3. Is u > -0.14?
True
Suppose -2*a - 4*r + 18 = 3*a, -5*a + 2*r + 6 = 0. Let s = -3 + a. Suppose -3*y = 2*y + 15. Is y > s?
False
Let v = -10 - -15. Suppose -f = f, -3*f = -5*t - v. Which is smaller: 3/11 or t?
t
Let r = -4 + 7. Let h(f) = 2*f**2 - 10*f + 5. Let p be h(5). Which is smaller: r or p?
r
Let s = -3 + 2. Suppose -2*w + 7*w - i = 6, 0 = 4*w + 3*i - 20. Suppose w = -4*f - 2. Is f >= s?
True
Let u(z) = -z**2 + 8*z + 9. Let i be u(8). Let y = -26/3 + i. Is -3 at most y?
True
Suppose 31*p - 29*p - 2 = 0. Is p > -3?
True
Let b be ((-25)/40)/((-2)/(-8)). Suppose 5*s = -22 + 7. Which is greater: b or s?
b
Suppose -y + 6 = 3*q - 7, -3*q + 12 = 0. Let f = -3 - -3. Let m be (-3)/(-3) + (0 - f). Are m and y non-equal?
False
Let f = 136 + -140. Suppose 2*l - 5*b = 20, -l - 4*b - 12 = 4. Are f and l equal?
False
Let p(y) be the third derivative of -y**6/120 + y**5/5 - y**4/24 + 2*y**3 + 2*y**2. Let n be p(12). Is n at most -2/3?
False
Suppose 0*p + r - 9 = 5*p, -3*r = -5*p - 17. Let d be 1 - (33/(-48))/p. Let t = 11/16 - d. Which is smaller: 0.1 or t?
0.1
Suppose -3*r + 2*t - 8 = 0, 2*t - 16 = -5*r - 56. Are 2 and r equal?
False
Suppose 4*i + 1 + 12 = -p, -2*p - 3*i = 11. Which is smaller: 2/23 or p?
p
Let s = 10 + -190/13. Which is bigger: -6 or s?
s
Let m be (-3 + -17)*(-2)/(-4). Let y be 24/15*m/(-4). Suppose -y*i + 2 = -2*i. Is i at least 1/8?
True
Let s be (-2)/(-8)*2*2. Let w be 2/(-4) - s/2. Let z be ((-8)/(-9))/((-4)/6). Is w less than or equal to z?
False
Let u be (26/4)/((-10)/4 + 2). Is -12 greater than or equal to u?
True
Let y = 0.3 - 0.3. Let l = -1 + y. Which is smaller: 1 or l?
l
Let a be 10/(-35) - 195/(-21). Suppose -a = 3*u - 0. Let v(d) = d**3 + 4*d**2 - 5*d - 5. Let w be v(-5). Which is greater: w or u?
u
Suppose -8*i + 3*i = 0. Which is greater: i or 2/95?
2/95
Suppose 0 = -7*z + z. Do z and 0 have the same value?
True
Suppose -5*p = -p + 4. Let l = 5 - 11/2. Let y = l + 1/10. Is y at least as big as p?
True
Let l(i) = i + 17. Let j be l(-16). Let t = 0.3 - 0.4. Let y = t - 0. Which is smaller: y or j?
y
Let f(z) = z**2 - 4*z - 12. Let x be f(7). Which is greater: x or 44/5?
x
Let f be (-1 - (-2 + 3))/(-1). Let l be (f/6)/(65/45). Which is bigger: l or -1?
l
Let f = -0.3 - 0.2. Let q = 0.47 + -0.07. Let b = f + q. Is -0.5 at most as big as b?
True
Let l be -1 - 0 - ((-17)/10 + 1). Let z = 13 + -9. Suppose -1 + 5 = z*t. Which is greater: l or t?
t
Suppose 0 = 3*p - 4*v - 13, 4*v = -2*p + 22. Which is smaller: 22/3 or p?
p
Let r = 3 + -4. Let m = 127 - 184. Let i = 227/4 + m. Which is bigger: r or i?
i
Suppose 232 = 3*h + h. Let s be 6*(h/(-30) - -2). Which is bigger: s or -2?
s
Let a(l) = l**2 + 5*l + 4. Suppose -3 = -3*x, 2*i = x - 5*x - 22. Let z = 9 + i. Let y be a(z). Which is bigger: -1/7 or y?
y
Suppose 2*r - 3*r - 3*p - 23 = 0, 5*r + 3*p = -115. Is r < -22?
True
Suppose -3*j - 3 = 6. Let m be 3 + 88/(-14) - j. Is m < -0.3?
False
Let m = 131.87 + -132. Is -2 smaller than m?
True
Let p = -95/3 - -31. Let c be (0 - 1)*(0 + 1). Is p less than c?
False
Let m be -10*(-1*3 - (-85)/30). Is 0 at most m?
True
Let i = 36/7 + -403/77. Which is greater: -1 or i?
i
Let u(z) = -z + 1. Let o be u(-1). Let x be (0 + -4 - 0) + o. Let m = -93 - -92. Which is smaller: x or m?
x
Let l = -1 - -6. Suppose -5*k = -2*x - 6, -x + 0*x - l*k = -12. Is x < 0?
False
Let a = 11 + -7. Let w be (12/(-232))/(3/a). Which is greater: 0 or w?
0
Let b be 21*(8/7 - 10/35). Are 18 and b equal?
True
Let w = 3.5 - 3.5. Is -19 smaller than w?
True
Let m = -5.174 - -0.074. Let j = 0.1 + m. Let t = 6 + j. Which is smaller: 6 or t?
t
Let u be 8/26 - (13 + -7 + -4). Do u and -3 have different values?
True
Suppose 427 = 5*m - 58. Suppose -5*u = -4*a - 340, u + m = 2*u + 5*a. Let b be u/(-20) + (-6)/15. Do b and 1 have different values?
True
Let v = 321 + -301.3. Let h = -20 + v. Which is smaller: h or 3?
h
Let i be (-1 - 0)*0/(-6). Let y be 4/10*(-4)/8. Is y greater than or equal to i?
False
Let y be (5/3)/(9/(-27)). Suppose 3*z - 7*z = 3*q - 14, 0 = 2*q - z + 9. Which is smaller: y or q?
y
Suppose 3*l + 4*p = 14, -16 - 4 = -4*p. Let m(a) = 2*a. Let k be m(2). Suppose -9*g = -k*g + 15. Is l >= g?
True
Let o = 3/16 - 1/176. Let g = -5 + 4. Which is smaller: o or g?
g
Suppose 11*d = -8*d - 1007. Is -54 <= d?
True
Let g = -22 + 199/9. Is g at most -1?
False
Let d(m) = 2*m + 22. Let v be d(-10). Which is bigger: 3 or v?
3
Let o = -0.78 - 0.02. Which is smaller: o or 2/3?
o
Suppose 3*l + 3*o + o + 13 = 0, 5*l + o = 1. Which is smaller: -1 or l?
-1
Let h be (-224)/990*15/(-20). Let u = h + 1/33. Which is smaller: 0 or u?
0
Suppose 4*o - 7 - 5 = 0. Suppose o = -5*i - 7, -3*r + 4*i + 5 = 0. Let q be (-1 - (r - -1))/1. Are q and -2 equal?
False
Let p be 10/25 + 14/(-10). Which is smaller: 1/27 or p?
p
Suppose 5*g - 2*f = 0, -2*g + 3*g + 4*f - 22 = 0. Suppose g*k - 6 = -0*k - 5*i, -4*i = 0. Suppose -k*y = 8 + 1. Is -4 < y?
True
Let r be 3*(-2 + (-20)/(-12)). Which is greater: r or 2/23?
2/23
Let n(l) = -l - 2. Let x be n(6). Suppose 0 = -4*y - 0*y - 36. Which is bigger: y or x?
x
Let d be 0 + -2 - (-26 + 12). Which is greater: 15 or d?
15
Let s = 58 - 67. Which is smaller: -7 or s?
s
Let f = -1 - -0.2. Let p = f + 0.9. Are p and 0.4 equal?
False
Let r = 186 + -927/5. Which is smaller: r or 0?
0
Let x(o) = -o**3 + o**2 + 3*o - 2. Let m be x(2). Suppose m = n + h + 2*h + 12, 2*h = -2*n - 4. Is -0.1 smaller than n?
True
Let l = -1 - 1. Let v be 1/l + 9/30. Let g = 0 + 0. Is g less than or equal to v?
False
Let x = 325 + -5523/17. Which is greater: 12 or x?
12
Let h(g) = 31*g + 3. Let f be h(-1). Which is bigger: f or 1/2?
1/2
Let m = -0.4 + 2.3. Let r = m - 2. Which is greater: r or -0.2?
r
Let o = 64 + -61. Suppose 26 = 4*c + 5*t, -3*c = 2*c + 3*t - 26. Which is bigger: c or o?
c
Let z(k) = k**2 + k + 3. Let q be z(0). Let g(r) = -4*r - 6. Let f be g(-4). Suppose d - 6*d = -f. Which is greater: d or q?
q
Let d(x) = 3*x - 32. Let k be d(10). Is k greater than or equal to -8/11?
False
Suppose 3*s = -5*d + 16, -3*d - d - 2*s + 14 = 0. Let v be (4/5)/(6/d). Which is greater: v or 2?
2
Let x = -19 - -20. Suppose 0 = -2*u + 1 + 3. Let n = u + -1. Are n and x non-equal?
False
Suppose 3*d - 19 + 1 = 0. Let q = d + -5. Suppose -k - k - q = a, -k = a + 1. Are -2/3 and a non-equal?
True
Let u(w) = w + 6. Let g = 0 - 6. Let t be u(g). Let v = -9 + 8. Are v and t equal?
False
Let j be 2/(-16) + (-4)/(128/(-68)). Which is smaller: j or 9/16?
9/16
Let t be ((-18)/(-12))/((-3)/140). Let r be ((-348)/(-50))/(7/(-70)). Let k = t - r. Which is smaller: 0 or k?
k
Let o(a) be the second derivative of -a**4/12 - 7*a**3/6 + a**2/2 + 2*a. Let u be o(-7). Let z = 31/20 - 1/20. Which is greater: z or u?
z
Let d = 2 - 6. Let q = -2 + 1. Let a = -4 - q. Is a bigger than d?
True
Let y be 1 + (1 - 0/1). Suppose 18 = 2*o + 4*x, -o + y*x - 11 = -x. Suppose 4*w - o - 5 = 3*c, -3*w + 17 = 4*c. Do 4 and c have the same value?
False
Let o be (3/(-132))/(18/(-24)). Which is smaller: 0 or o?
0
Let u be (-8)/(-11)*1/4. Let i(k) = 2*k**2 - 15*k + 25. Let s(t) = -3*t**2 + 22*t - 38. Let c(o) = 8*i(o) + 5*s(o). Let l be c(9). Is u equal to l?
False
Suppose -3*w - 4*f = -15, -6*w + w + 4*f = 7. Let o be ((-4)/(-24))/(1/6)*2. Which is smaller: w or o?
w
Let r = 0.1 - 0.3. Let y = 13 - 13.2. Is r at least as big as y?
True
Let v = 5 - 9. Let x = -2 - v. Let z be -2 + x - (-1)/(-1). Are z and 2/9 nonequal?
True
Suppose 0 = -2*k - 0*m + 5*m + 8, 3*m = k - 5. Which is smaller: -4/73 or k?
k
Let x = -197 - -199. Let q be 0/(0 + 2) + 3. Which is smaller: q or x?
x
Let c = 1.389 - -0.011. Which is smaller: 1 or c?
1
Suppose -5*f + 41 + 14 = 0. Is f less than 10?
False
Let u = 0.2 - 5.2. Let i = -3 + u. Let w = 5 + i. Is 0 less than w?
False
Let s = -1 + 4. Suppose 0 = -4*t + s + 1. Which is smaller: 1/4 or t?
1/4
Let a = -6.6 - -7. Let p = 2.4 - a. Let n = 3 - p. Is n >= 1?
True
Let u 