18/175. Let h be (-28)/(-98) + 11/(-14). Which is smaller: h or n?
h
Let g(c) = -c**2 + 9*c - 7. Let a = 16 + -8. Let v be g(a). Which is smaller: 3/4 or v?
3/4
Let z be -1 + 2*(-267)/(-558). Which is smaller: 1 or z?
z
Let c be 12/(-3) + (-735)/(-208). Let n = -5/16 - c. Is -1 <= n?
True
Suppose 2*k - 20 = 3*k. Is -18 greater than or equal to k?
True
Let f = 1 + -3. Let l be (f/(-2))/(3/(-6)). Let w = -2 - l. Which is greater: w or 3/4?
3/4
Let c = 65.25 + -65. Which is bigger: 0.1 or c?
c
Let k be (3 - 1)/(-2)*-27. Which is bigger: 26 or k?
k
Let t(m) = -m + 1. Let f be (4/2)/(8/20). Suppose f*r + 3*n + 4 = -3, 5*n = -20. Let s be t(r). Is s at most as big as -2?
False
Suppose 0 = 2*g - 4*g + 8. Suppose -g*s - 2 = -82. Let w be (12/s)/(0 - -3). Which is bigger: w or -0.1?
w
Let z(j) = -11*j + 14. Let r(b) = -5*b + 7. Let g(n) = 13*r(n) - 6*z(n). Let t be g(-5). Is t smaller than 0.2?
False
Let v = -0.32 - -0.02. Let d = 0.1 + -0.2. Which is smaller: d or v?
v
Let a = -57 + 58. Let o = -1/29 - -63/145. Which is smaller: a or o?
o
Let q(n) be the third derivative of -n**5/60 + n**4/8 - n**3/6 + 3*n**2. Let l be q(4). Let i = l - -2. Which is smaller: -2 or i?
i
Suppose 94 = 5*s - 106. Let o be (-530)/s + 1/4. Is o greater than or equal to -14?
True
Let z = 0.133 + -0.122. Which is smaller: z or 0.2?
z
Let u = -5 + 6. Is -1 at least as big as u?
False
Let b = 21 + -47. Let t be 6/(-15) - b/40. Let j = -1892/9 - -210. Is j greater than t?
False
Suppose 3*z + 0*z - 3*h = -1197, z + 415 = -3*h. Let v = z - -12495/31. Is v less than or equal to -0.1?
False
Let t be (-6)/(((-532)/16)/(-7)). Is t at most -1?
True
Let q = -78 - -82. Is q > 5?
False
Suppose 155 = 29*x - 34*x. Are x and -33 nonequal?
True
Suppose -1 = -3*y - s + 10, 2*s - 4 = 0. Let k be (-18)/(-15) + y/(-15). Which is smaller: -7/4 or k?
-7/4
Let t(r) = -r**3 - 3*r**2 - 2*r. Let h = 6 - 8. Let i be t(h). Suppose i*m = -m. Does m = 3/4?
False
Let n be (5/80)/((-1)/18). Is 0 >= n?
True
Let u = -0.3 + 3.8. Let j = -0.5 + u. Is j at least -2?
True
Suppose -4*r - 4*x = -8, -r - 13 = -3*r - 5*x. Is 2/31 at least r?
True
Suppose x - 210 = -5*w, -7*x = -4*w - 9*x + 168. Is w equal to 43?
False
Suppose 0*v = 3*v - 3. Let y be 2/(-6) + (-6)/(-99). Is v <= y?
False
Suppose u = 2*u + 4*b - 7, -u + b = 8. Which is smaller: -3 or u?
u
Let o = 54 + -54.1. Which is bigger: o or -6/11?
o
Suppose -5*i + p = -69, -2*p = 5*i - 5 - 67. Let z be (-30)/i + 6/3. Which is greater: 1 or z?
1
Suppose -g = -1 - 3. Suppose r = 5*r + g. Let m = 3 + r. Are 2 and m nonequal?
False
Let w = 2 - 5. Let m(s) = s - 4. Let t be m(7). Suppose -3*y = -k - 15, -2*k - t*k - y = 11. Are k and w equal?
True
Suppose 0*a + 2*a + 2*q = -12, -3*a + 17 = -4*q. Is a greater than -3?
True
Let m(f) = 3*f - 3. Let y = 1 - 1. Let g be y + 0 + -1 + 3. Let h be m(g). Which is greater: 1 or h?
h
Suppose -d - a + 24 = 2*d, 5*d = -2*a + 41. Suppose 2*p - d*p = -25. Suppose -p*j + 0 = 15. Is j smaller than -4?
False
Let h = 843/8 - 105. Which is greater: 0 or h?
h
Let m be (2/(-4))/(2/(-4)). Let b = -251/4 + 63. Which is smaller: m or b?
b
Let m be ((-4)/(-8))/(2/12). Suppose 2*i - 1 - 4 = -d, -m*i - d = -5. Which is smaller: i or 0.2?
i
Suppose 0 = -5*x + 5*f, -x + 1 = -4*f + 13. Let p = x + -4. Let y be 2/4 - (p - 1). Which is bigger: y or 2?
2
Suppose 0 = -4*b - 5*z + 16, -3*b + 0*b - 2*z + 12 = 0. Suppose 0*h = -h + b. Do h and 2 have different values?
True
Suppose -3*a = 2*k, 2*k + 1 = 5*k + 4*a. Suppose 5*b - 3*v - 27 = 0, 4*v + 19 = 5*b - 12. Is k greater than or equal to b?
True
Suppose 0 = 2*i - o - 42, 4*i + 2*o = 90 + 2. Which is smaller: 24 or i?
i
Let t be 54/(-52) + 1 + 0. Let m be (2 - (-1695)/(-741))/(-2). Let l = m + t. Which is greater: l or 0?
l
Let o = 3.1 - 3. Let c be (-11)/22*(14 - 0). Is o greater than c?
True
Suppose 5*f = 10 + 25. Suppose 13 = -3*y + f. Suppose 0 = 4*u + 2*l - 8, 5*u - 4*l - 10 = -l. Is u at most as big as y?
False
Suppose -17 + 4 = 3*h - 5*q, -4*h - 8 = -2*q. Which is smaller: -12/13 or h?
h
Let x = -11 - -10. Which is greater: -17 or x?
x
Let r = -69 + 62. Which is greater: r or 2?
2
Suppose 51*l - 54 = 48*l. Which is smaller: l or 20?
l
Let b = 0 - -1. Let f = 0.3 + -0.7. Let i = 0.6 + f. Is i less than or equal to b?
True
Let r = -231 - -153. Which is greater: -2/3 or r?
-2/3
Let p(l) be the second derivative of 0 - 1/20*l**5 + 3*l + 9/2*l**2 + 7/12*l**4 - 4/3*l**3. Let d be p(6). Is -3 at most d?
True
Let p be (-11)/((-1100)/192) - 2. Which is smaller: p or 1?
p
Suppose 2*o - 14 = -2*l + 4*o, 4*o + 16 = 0. Which is greater: l or 5?
5
Let i = -24634/9 + 367409/99. Let b = i - 975. Which is greater: b or 0?
0
Let l(j) = -5*j - 1. Let t be l(2). Which is smaller: t or -9?
t
Let o = -0.087 - -0.387. Is -1/8 >= o?
False
Let n be 2/4 + 15/2. Which is greater: n or 7?
n
Let n be ((-10)/(-8) - 2)/((-4)/48). Let h = -10 + 18. Is h smaller than n?
True
Let a(c) = -16*c**3 + c + 1. Let k be a(-1). Is k < 14?
False
Let x = 3517/10 + -352. Is x greater than or equal to -0.3?
True
Suppose 5*h - 3*t + 2 = 0, h - t + 2 = -0*h. Let i = 2 + h. Let f be i/(-3)*(3 - 0). Is f bigger than -5?
True
Let k be 2 + -3 + 2 + 0. Let r be 12/(-6) - (0 + k). Let l be 2/2*(-2)/r. Do l and 1 have different values?
True
Let l be (-204)/10*(-256)/(-6). Let u = 913 + l. Let m = 43 - u. Which is smaller: m or -1?
-1
Let v = 2 - 4. Let y = 3 + v. Let k(o) = -4*o + 2. Let t be k(1). Is y not equal to t?
True
Suppose 0 = 2*y + 4*m + 178, 3*y + 368 = -y - 2*m. Which is smaller: -94 or y?
-94
Let d(k) = k**3 - 3*k**2 - 5*k + 5. Let x be d(4). Suppose 2*p - 4 = -3*i - 17, i + 26 = -5*p. Let n = i - -3. Which is smaller: x or n?
x
Let k(g) be the second derivative of g**3/3 - 4*g**2 + 4*g. Let b be k(6). Suppose -5*h = -3*z - 7*h + 6, b = 2*z - h. Which is bigger: 1 or z?
z
Suppose 0*k = -2*k + 4. Let v = 2 - k. Are v and -1/4 equal?
False
Let x = -189 - -2645/14. Let n = x - -11/7. Which is greater: 1 or n?
n
Let a be -2*1 + (3 - -3). Suppose 4*i - 12 = 8. Is a smaller than i?
True
Let w = 39 + -116/3. Suppose 2*r + 2*n = 7*n - 8, -3*n = -3*r - 3. Which is smaller: r or w?
w
Let a = 0 - 3. Let i = 4 + a. Is -2 at least as big as i?
False
Let n = 341/402 - 1/67. Is n >= 2?
False
Let s(j) = -j**2 - 4*j - 3. Let o be s(-4). Let n be o*(2 - (-10)/(-6)). Let q = 1/15 + -2/5. Is n less than or equal to q?
True
Let a be ((-18)/64)/((35/(-28))/(-5)). Which is bigger: a or -1?
-1
Suppose -3*z - 4*a = -a - 15, 2*z - 13 = -3*a. Let y be ((-8)/(-12))/(z/3). Let p be (-2*y/3)/2. Which is smaller: p or 3?
p
Let q be (2 - 4)/((-14)/(-133)). Which is bigger: -18 or q?
-18
Suppose -3*h + 1 = -2*q + 69, 3*h - q = -64. Let k = 13 + h. Is 2/3 greater than or equal to k?
True
Let f = 15 - 10. Suppose -4*l + 4 = -s + f*s, -l + 11 = -4*s. Let g(u) = -u**3 - 5*u**2 + u + 2. Let n be g(-5). Do s and n have the same value?
False
Let x = -17 + 155/9. Let h = 2 - 1. Suppose -2*m + 1 = -h. Which is bigger: x or m?
m
Let d(z) = z**3 - 4*z**2 + 3*z + 1. Let s be d(4). Let g = -19 + s. Is g at least -6?
True
Let p(x) be the third derivative of x**4/24 + 5*x**3/6 - 3*x**2. Let f be p(-3). Suppose 3*d = 5*s - 1, -4*s + 4*d - 2*d + f = 0. Is s at most 4/7?
False
Suppose -6*g + g + 10 = 0. Let a be g/(-6) + 7/(-105). Which is smaller: a or 1?
a
Let c = 259 + -212. Is 46 bigger than c?
False
Suppose 4*f - 6 = -2. Let v(a) = -a - 8. Suppose -2*y = -3*p + 2*p + 18, 3*y - 4*p + 32 = 0. Let m be v(y). Which is greater: m or f?
f
Let r = -103 + 308/3. Which is greater: r or -0.11?
-0.11
Let c be (0 - 2/4)*0. Suppose i + 6 - 1 = c. Are i and -4 nonequal?
True
Suppose -5*u = -14 + 19. Is u smaller than -1/5?
True
Let f = 3 - -1. Suppose 3*b - 6 = 9. Which is bigger: b or f?
b
Suppose 8 = 2*y - 0. Let n be 27/(-28) - y/(-16). Is n < -1?
False
Let s = -14 + 14. Which is smaller: s or -5/8?
-5/8
Let b be (-2)/8 + (-14)/(-8). Let i = 12 - 11. Let o = 4 - i. Is b at most as big as o?
True
Let i = 1.9 - 1.6. Let v be (1 - 1) + (0 - 78). Let c be (-2)/(-13) + 12/v. Which is smaller: i or c?
c
Let w(h) = 2*h**3 - 3*h**2 - 8*h + 2. Let k be w(3). Let z(d) = -d**3 - d**2 + 3*d - 3. Let t be z(-3). Suppose -15 = -3*o - t. Which is bigger: k or o?
k
Let l be (3/(-660)*-5)/(1/(-6)). Which i