1). Which is smaller: 5/2 or f?
5/2
Suppose -q - 6 = -3*q. Which is bigger: 2 or q?
q
Let j = -0.03 - 0.97. Let x = j - -0.5. Is x greater than -0.1?
False
Let v be (-4)/(8/(-6)) + -3. Suppose v = -4*a - 5*w + 4, -3 = -a + 4*w + 19. Is 0 less than a?
True
Let z be -3 - 108/((-4)/1). Suppose 2*p - 2*f - z = 0, 13 - 65 = -5*p + f. Is 8 at least as big as p?
False
Let j(b) = 2*b**2 + 31*b - 10. Let n be j(-16). Let s be 1/(-4) + 21/4. Is s smaller than n?
True
Suppose 3*x + 3*v + 191 = -v, 0 = -4*v + 16. Is -68 less than or equal to x?
False
Suppose 6 - 13 = -b. Let l be 6 + (-2)/(-2) + -1. Is b > l?
True
Let z be ((-6)/9)/(2/6). Suppose 3*y + 4*g = 6, -5*y = -0*g + 3*g + 1. Do y and z have the same value?
True
Let i(g) = -g + 1. Let m be i(-8). Suppose -5*y + 4*x + 17 = 2, m = 3*y + 2*x. Which is smaller: 2 or y?
2
Let s be (-5)/3 - (-2 + 2). Let i(a) = a + 1. Let o be i(-3). Is s smaller than o?
False
Let i = -59/5 + 12. Let s = 2 + -3. Is i equal to s?
False
Let u(a) = -3*a**3 - a**2 - a. Let c = -1 - 0. Let z be u(c). Suppose -2 = -4*i + 6. Which is bigger: i or z?
z
Let w be 1*(-2)/8*4. Let k(v) = v**2 - 5*v + 4. Let t be k(4). Suppose t*g = -2*g. Is g at most w?
False
Let w be 10/(-3)*36/(-32). Which is bigger: 4 or w?
4
Let d = 149174/5 + -30020. Let j = -190 - d. Let f = j + 207/40. Which is smaller: f or 1?
f
Let d(h) = 2*h**2 - 12*h - 42. Let y be d(11). Is 68 > y?
False
Let t be (-6)/(-6)*10*1/16. Which is smaller: t or 2?
t
Let t = 40 - 40. Are 1/8 and t nonequal?
True
Let g be (13/6 + -2)*2. Suppose -3*x + 0*a + 2*a = 4, 3*x - 3*a = -6. Is g < x?
False
Let m = -3 + 4. Let o be -3 + m + (-13)/(-4). Let b = 1 - o. Is -1 at most as big as b?
True
Let i = -3/25 - -181/50. Is 5 greater than i?
True
Let u be (-15)/6*(-2)/(-4). Let t = -131 + 129. Which is smaller: t or u?
t
Let b = 4 + -4.3. Which is greater: -0.05 or b?
-0.05
Let n = 7 + -14. Which is smaller: n or -1?
n
Let g = 35 - 7. Is 29 greater than g?
True
Let k = 3294 - 1875. Let n = k + -4384/3. Let i = n + 42. Which is greater: i or 1/5?
1/5
Let j = 4 + -3. Let z = -316/7 - -18658/413. Let n = 173/118 + z. Is j equal to n?
False
Let l = -7197/12464 + -1/656. Which is smaller: -1 or l?
-1
Let r be (-2 - 0) + 3*1. Let i be 6/(3 - r) + -2. Which is greater: -3/13 or i?
i
Suppose -5*r - 5*c = -10*c + 15, -5*r - 4*c = -21. Suppose 0 = m + 4*z, -9 = -z - 2*z. Let h be ((-1)/10)/(2/m). Which is bigger: r or h?
r
Let z = -22 - -80. Are z and 59 equal?
False
Let y = -1.5 - -8.5. Is y >= 1/4?
True
Let p = -0.14 - -0.24. Is -0.6 > p?
False
Let l = 173 + -137. Which is smaller: l or 35?
35
Let b be 14/(((-10)/(-4))/(-5)). Let t = b + 27. Suppose 5*l = -0 - 10. Which is smaller: l or t?
l
Let h(g) = g + 5. Let l be h(-5). Let z = -2 - 0. Let d be 1 + z - (-76)/68. Which is bigger: d or l?
d
Let d be ((-4)/(-18))/(-5 + 10 + 0). Is d < 0?
False
Let m = 5.24 - 0.24. Let a = -1 + -2. Let v = m + a. Does 0.1 = v?
False
Let m be 0 + 50 + 3 + -2. Let j be m/(-198) - 4/(-24). Do 1 and j have the same value?
False
Suppose -3*k + 3*f + 12 = 0, 3*k - f + 28 = -6*f. Suppose -5*n + 2*a = -3*a - 5, -2*a = -10. Suppose 0 = 2*l + p - 3*p + n, 3*p = 4*l + 12. Is l at most k?
True
Let w be 39/(-9) - 3/(-9). Let d be 3/(-21)*14/w. Are 0 and d nonequal?
True
Suppose 2*z + 13 = -3*k, 0 = z - k + 3 - 9. Is z equal to -2/39?
False
Let b = -0.1 + 0. Let v = -25/27 - 68/189. Is b bigger than v?
True
Let f = 357/2 - 182. Which is greater: f or -5?
f
Let s = -6/11 + 35/44. Which is smaller: 1 or s?
s
Let b = -1.9 - -3.9. Is 1 at most as big as b?
True
Let l = 17 + -5. Are l and 0 unequal?
True
Let m be 2/(-5) - (-32)/180. Is -3/20 at most m?
False
Let o(t) be the third derivative of t**4/24 - t**3/2 + t**2. Let l be o(3). Which is bigger: -1 or l?
l
Let m(l) = l + 9. Let c be m(-7). Suppose -2*w - w + 17 = h, w = c*h - 6. Let b be w/(-25)*(-10)/4. Which is smaller: b or -1?
-1
Let v = -109 - -113.9. Let h = v + -5. Let s = 0 + -1. Are s and h equal?
False
Let c(a) = -a**2 + 11*a + 1. Let f be c(11). Let r = 4 - 0. Let s = -3 + r. Does s = f?
True
Suppose -12 = 11*n - 12*n. Which is greater: n or 61/5?
61/5
Let m = -49 - -32. Is -16 equal to m?
False
Let i be 6/15 - 9/(-15). Let p be (1006/21 + 0)*3. Let g = 144 - p. Which is bigger: g or i?
i
Let o be -2*(10/(-4))/(-5). Let r = o - 0. Let v be r/(-3) - (-1)/3. Which is bigger: v or -2?
v
Suppose 0 = 5*r - 10. Let g be (-10)/8 - (3 - 5). Is g smaller than r?
True
Suppose 3*z - 7*z + 4 = 0. Let o = 13 - 62/5. Is z greater than o?
True
Let g = 1 + -1. Let h be 1/(-5) + (-749)/3. Let d = h + 250. Is g smaller than d?
True
Let k = -811/10 - -82. Is 0 greater than k?
False
Let u(n) = n**3 + 5*n**2 - 5*n + 5. Let f be u(-6). Let h be 18/(-14) + (-4)/(-14). Let w be (35/(-6))/5 - h. Is w > f?
True
Let j(c) = c**2 + 8*c + 9. Let g be j(-7). Let u be -4*(g - (-5)/(-2)). Let f(b) = -b**2. Let t be f(u). Is -5 >= t?
False
Let v(t) = t**3 - 8*t**2 - 2*t + 12. Let n be v(8). Let m be (0 + -4)/n*-2. Which is smaller: -7/5 or m?
m
Let p(t) = t - 5. Let z = 6 - 2. Suppose 2*u + z*v = -6 + 30, -2*v = -6. Let w be p(u). Which is smaller: 3/4 or w?
3/4
Let d(t) = -2 + t - t**3 - 2*t**2 - 4 + 6*t**2 + 3. Let z be d(4). Is 2 > z?
True
Let b = 169/3 + -57. Let l = -4 + 3.8. Let v = -0.1 - l. Which is smaller: v or b?
b
Let g = -6 - -5. Let f be (g + 64/68)/1. Which is greater: f or 0?
0
Let u(c) = c**3 + 2*c**2 - c + 1. Let k be u(-2). Which is bigger: 7 or k?
7
Let r be (4/6)/((-6)/(-9)). Let h be (10 + -7)/((-3)/(-2)). Let j be h/42*(-27)/(-3). Is j less than or equal to r?
True
Let d = 17 - 29. Let t = -13 - d. Which is smaller: 1/11 or t?
t
Let z(c) = -2*c - 12. Let s be z(1). Which is smaller: s or -66/5?
s
Suppose -4*q = 12 - 4. Let j(r) = r**3 + 2*r**2 + 3*r + 2. Let m be j(q). Which is smaller: m or -3?
m
Let c = -2923 + 11757/4. Let t = 16 - c. Is -3/8 smaller than t?
True
Suppose 5*f = 2*p - 1, -3*p + 8*p = 15. Let m be 1*-2*f*-1. Suppose 0 = -m*v + v - 1. Is v greater than or equal to -1?
True
Let j(z) be the first derivative of -z**4/4 - z**3/3 + z**2 - z - 2. Let h be j(1). Is -1 equal to h?
True
Let b = 2 + 12. Suppose 5*g = 5*z + b + 1, 5*g = -z + 15. Which is greater: z or -3?
z
Let v(s) = s**3 - 2*s + 1. Let f be v(1). Let m = 26 - 22. Suppose f*z = -z - m. Is -4 greater than z?
False
Suppose 5*q = -5 + 40. Let l = q - 10. Let a be (1/7)/((-2)/(-4)). Which is smaller: l or a?
l
Let k be ((-10)/(-6))/((-2)/(-6)). Suppose -7*b - 28 = 3*q - 2*b, -k*q = 3*b + 52. Let m = 5 + q. Is -7 > m?
False
Let o(r) = r**2 - 7*r + 2. Let t be o(7). Let m be 1/(10/(-4))*-5. Is t bigger than m?
False
Let d be 2/6*-3*-1. Which is smaller: 3/19 or d?
3/19
Suppose 15 = 5*c, -4*c + 0 = 3*h + 3. Which is smaller: h or -2?
h
Suppose 6*y + 6 + 42 = 0. Is -7 at most as big as y?
False
Let i be (-1)/3 - 484/60. Let c = i - -279/35. Is -1 at least as big as c?
False
Let z(s) be the first derivative of -3*s**2 + 5*s - 2 - 1/4*s**4 + 5/3*s**3. Let l be z(4). Which is smaller: -8/5 or l?
l
Let i(k) = -2*k - 8. Let w be i(-6). Suppose w*j + j = 15. Which is bigger: j or 4?
4
Let w(g) = 287*g. Let u be w(5). Suppose 5*h = 280 - u. Let s = -3005/13 - h. Is 0 < s?
False
Suppose -2 = -g - 0*g + 3*v, -9 = -g - 4*v. Let u = 33 + -36. Let d be 4/((2 + u)*-1). Which is bigger: g or d?
g
Let a be 3*3/((-9)/5). Which is bigger: -4 or a?
-4
Let l be 14/(-18) + 6/(-27). Let w be (3/(-2))/(3/(-618)). Let m = w - 4019/13. Is m greater than l?
True
Let x = -1/2 + 3/4. Is x less than 0?
False
Let z = 8.5 - 1.5. Let q = 5 + -12. Let x = q + z. Which is bigger: -1/3 or x?
x
Suppose -23*d + 13*d - 60 = 0. Which is greater: -7 or d?
d
Let q be (2/(-8))/(2 + -1). Let v = -0.12 - -0.62. Which is smaller: v or q?
q
Suppose 2*v + 3 = 7*v - f, 3*f = 2*v - 9. Let d = 858/5 - 171. Is d < v?
False
Let i = -1315 - -117036/89. Is i greater than 0?
True
Suppose -13 = -2*f - 0*k - 3*k, 3*k + 35 = 4*f. Let c = f - 8. Is c less than or equal to 1/18?
True
Let y be 0*(6/3)/(-4). Suppose -b = b - 3*h - 18, 3*b - 5*h = 28. Let z be (b/4)/((-15)/(-6)). Is z less than or equal to y?
False
Let r be (4 + 2)/(6/(-9)). Is r > -8?
False
Suppose -v = -6*g + 2*g + 12, 23 = v + 3*g. Let x be ((-3)/(-2))/(6/v). Let b(l) = 3*l - 3. Let j be b(2). Wh