). Let d = 24 + -123/5. Which is smaller: m or d?
m
Let j = 10 + -8. Is j bigger than -2.4?
True
Let f = 34 - 34.1. Which is bigger: f or -64?
f
Let s(w) = w**2 - 7*w + 8. Let g be s(7). Let b(m) = -m**3 + 8*m**2 + 3. Let v be b(g). Which is smaller: 2 or v?
2
Suppose 4*n + 119 = 11. Let l = n - -134/5. Let p = -7.3 - -7.4. Is l < p?
True
Let j be -3 + 10 + (-3 - -6). Suppose 0 = 4*t + 38 + j. Which is greater: -13 or t?
t
Let n(m) = m**2 + 7*m - 18. Let d be n(-9). Is d < 3/34?
True
Let t = 13 - 5. Suppose t*g - 5 = 3*g + 5*p, g - 6 = -4*p. Let s be 2/((-9 + g)/(-1)). Which is smaller: s or -1?
-1
Let c = 16 + -15. Which is smaller: 5/6 or c?
5/6
Let b = 23 + -117/5. Are b and 0 non-equal?
True
Let n = -68 - -66. Is n bigger than -6?
True
Let h be (-3)/4*20/(-6). Let i(l) = 5*l - 18. Let k be i(4). Is h < k?
False
Let r = 18 - 19. Which is smaller: r or -4/5?
r
Let z = -7 + 5. Let v be -3*(38/(-18) - z). Is -0.1 at least as big as v?
False
Let c be 1/(-10) + 1/(-2). Let b = 0 - 1. Is b equal to c?
False
Let q(x) = 2*x + 2. Let c be q(-3). Let o be (3/54)/(1/c). Suppose 3*g - g = -2. Is g less than o?
True
Let w be (3 + -11)*1/(-2). Suppose 2*o = -2*o - w. Let u = o + 0. Does 0 = u?
False
Let z = 9 - 7. Suppose g = -3*q + 7, 5*g - 4*q + 1 = -z. Do g and 3 have the same value?
False
Let t be ((-5)/10)/(-1) + 0. Is 1 less than or equal to t?
False
Let c = -31 + 61/2. Let k = -7/5 - -1. Is c equal to k?
False
Let c = 0.6 + -0.5. Let s = 6 - 6.1. Let f = c + s. Does -3/8 = f?
False
Let k = 218/189 + -8/27. Is k at most 1?
True
Suppose -4*s + 2*b + 49 = -3*b, -3*s - 2*b + 8 = 0. Let y(x) = -2*x - 6. Let r be y(-4). Let z be (-3)/r*(-30)/9. Which is smaller: z or s?
z
Let g be (2 + (-316)/(-70))*-15. Let z = g + 98. Which is smaller: -5 or z?
-5
Let a be 16/130 - (-24)/30. Which is smaller: 2 or a?
a
Let w = 10.9 + -11. Let b = -19/2 + 10. Is b at most as big as w?
False
Let g be (1/(-3))/(2/(-12)). Suppose -3*d - 10 = g*d. Is -2 at least d?
True
Let g(h) = h**3 + 2*h**2 - 3*h - 1. Let b be 7/(-3) - (-12)/(-18). Let z be g(b). Which is smaller: z or 0?
z
Let h be 0 - (0 + (-1)/(-1)). Suppose 20 = 5*t - 30. Suppose -2*x = t, -o = 4*x + 10 + 10. Which is smaller: o or h?
h
Let u(p) = -p**3 - 2*p**2 - p + 1. Let q be (-4)/14 - (-24)/(-14). Let s be u(q). Suppose -2*o + 0*t = -4*t + 32, -s = 3*o + 3*t. Which is smaller: -5 or o?
o
Let i = 38/5 - 256/35. Is i > -1?
True
Suppose -6*z = -5*z. Suppose -6*y + 2*y + 8 = z. Let t = -7 - -10. Which is smaller: y or t?
y
Let f = -7 + 7.3. Let i = 0.4 - 0.2. Let v = i + -0.1. Is v greater than or equal to f?
False
Let w = 81 - 80.66. Is w < -1?
False
Let v(q) = -q - 3*q**2 + 1 + 8*q**2 + 0*q. Let a be v(1). Which is greater: a or 6?
6
Let g be (-49)/222 - 7/(-42). Is g greater than 1?
False
Let j = 7 - 6. Do j and -2/13 have the same value?
False
Let n be 28/(-42)*(-9)/10. Let w = 3 - 2. Which is smaller: w or n?
n
Let d = -0.18 - -7.18. Let m = 111/65 + -17/13. Is m less than d?
True
Let k = 0.7 + 0.3. Let f = 1 - k. Let o = 478 - 476. Which is smaller: f or o?
f
Let p be ((-34)/510)/((-10)/9 + 1). Let b = -1 + 1. Is b at least p?
False
Let a be 0 - 1 - (1 + -2). Let w be a + (-1 - 28/(-20)). Is 4 > w?
True
Let y = -12 - -36. Let f be 4/10*(-345)/y. Let k = -6 - f. Which is bigger: 0 or k?
0
Let l = 367/9 + -41. Is 1 bigger than l?
True
Let d(s) = s. Suppose -36 = -5*m - 1. Let k(z) = z**2 - 6*z - 7. Let p be k(m). Let o be d(p). Do 0.3 and o have different values?
True
Suppose 0 = -5*j + 8*j - 6. Suppose -2*q + 5*m + 9 = -0*m, -5*m - 1 = j*q. Let a be (q - 1) + (-1)/1. Do 1 and a have different values?
True
Suppose -4*l + 3*l = -1. Suppose -7*r + 9 = -3*r - t, 7 = 5*r + 3*t. Suppose 0*j + r*j = 2. Are l and j nonequal?
False
Let t(f) = -2*f**3 + f**2 + 2*f + 1. Let g be t(-1). Is g at most as big as 11/5?
True
Let k be (-20)/(-12) - (-2)/6. Let j = -2 + 2. Suppose -10 = 4*c - k*f, -f + 5 = -j*c + c. Which is greater: -2/5 or c?
c
Let g = 0.3 + -0.3. Let x = 1 + g. Let f = x - -2. Is f smaller than 1?
False
Let b be (-24)/(-60) - 72/230. Which is smaller: b or 0?
0
Let o = -9 - -3. Which is smaller: 0 or o?
o
Let c = 1153/6 - 193. Is -1 less than c?
True
Suppose -4*w - 1 - 15 = -4*t, -12 = -t + 5*w. Let k = 53 + -263/5. Is t greater than or equal to k?
True
Suppose -6 = x - 7. Which is smaller: -1 or x?
-1
Let c be ((-2)/3)/((-5)/3). Let r = 6229/3 + -2058. Let d = r + -18. Which is smaller: d or c?
d
Let b(j) be the third derivative of j**7/2520 + 7*j**6/720 + j**5/24 - j**4/12 - j**2. Let m(l) be the second derivative of b(l). Let i be m(-6). Is i > -2?
True
Let m be (8/(-16))/((-1)/(-4)). Let g be (m + 2)/(2/(-1)). Is g >= -1?
True
Let l(s) = -s**3 - 13*s**2 - 10*s + 7. Let y be l(-12). Is -15 less than y?
False
Let w be (-2 - (-3 + 4))*4. Let q be ((-2)/(-12))/((-6)/w). Is 1 bigger than q?
True
Let c = 11 - 10. Is c less than -2/53?
False
Let u = -5 + 5. Let h = u - -1. Is 4 >= h?
True
Let w be (54/(-15))/((-6)/(-20)). Let m = 8 + -20. Is w bigger than m?
False
Let c = -105 - -101.95. Let o = 3 + c. Let g = -2.05 - o. Is g at most as big as -0.1?
True
Suppose -n - 40 = 4*n. Let t be (-2)/(-30)*(-6)/n. Which is bigger: -1 or t?
t
Let d(w) = -w - 7. Let u be d(-5). Which is bigger: -10/9 or u?
-10/9
Let n = -0.139 - -0.059. Which is smaller: 1/2 or n?
n
Let o = -1.96 - -2. Let r = o + -0.04. Is 1 smaller than r?
False
Suppose 4*t - 5*t = 0. Let x be 8/28 - (-33)/7. Suppose -x*s - 1 = -6. Is s at most as big as t?
False
Let a(o) = -7*o**2 + 13*o + 6. Let z(k) = -3*k**2 + 6*k + 3. Let x(d) = -d + 1. Let r be x(3). Let y(v) = r*a(v) + 5*z(v). Let s be y(4). Is s bigger than 4?
False
Let h = 1/12 - -1/12. Let f = -1 - -2. Suppose 2*o + 1 = -f. Is h >= o?
True
Suppose 3*h - 2*v - 6 = 46, -2*h - 2*v = -18. Suppose 4*g + 7 - 3 = -4*d, -h = -g + 2*d. Let y be ((-6)/15)/(g/(-2)). Which is smaller: y or 1?
y
Let g be 1/((-2)/(-20)*-2). Which is smaller: -4 or g?
g
Let x be (1/(-23))/((-15)/(-30)). Which is smaller: x or 2?
x
Let z(i) = i - 4. Let l be z(-3). Let p = -4 - l. Suppose 2 - 8 = -p*o. Which is smaller: 1 or o?
1
Let n(j) = 2*j - 1. Let r be n(1). Suppose 4*u = -5*m + 2*u + 25, 0 = -2*m - 4*u + 26. Suppose 13 = m*d + r. Is 4 smaller than d?
False
Let w = 1 + 2. Suppose -4*d = -w*d. Which is bigger: d or 1/6?
1/6
Let y(k) = -2*k - 3. Let v be y(-3). Suppose -c - v*x - 15 = -3*c, -x = 4*c + 5. Let m be (-1)/(-4)*2 + -1. Which is greater: m or c?
c
Suppose 68 = -4*z + 8. Let n be (1/z)/(3/(-2)). Is -1 bigger than n?
False
Suppose 2*p + 5 = -u, 28 - 9 = -p + 5*u. Which is smaller: -14/5 or p?
p
Let i = -0.3 + 0.4. Suppose 0 = 3*l - 4*w - 0*w + 13, -2 = -l - 5*w. Let m be (-6)/l*(-2)/4. Which is smaller: i or m?
m
Let i = 1.9 + -1.8. Is i greater than or equal to -15?
True
Let s be -2 - (0 + 0 + -2). Let t = -105 - -1783/17. Which is greater: t or s?
s
Let y be 3/2 - (-71)/(-2). Is -33 greater than y?
True
Let w(j) = j**2 - j. Let h be w(2). Is h equal to 4?
False
Let c be (-4)/(-6)*33/(-1111). Is c != 0?
True
Let r(p) = p + 5. Let j be r(-4). Suppose -5*u + 18 = -y, 2*u - 1 - j = 3*y. Let n = 23/36 - -1/36. Which is bigger: y or n?
y
Let y be 2/(-10) - 196/20. Let p be (8/y)/((-9)/(-90)). Let c(i) = -i**3 - 8*i**2 + i + 8. Let l be c(p). Is 0.1 at most l?
False
Suppose 3*g + 15 = -3*f, 0 = 4*f - 2*f + 3*g + 9. Let i = -91 + 93. Which is greater: f or i?
i
Let u = 12 + -26. Is u > -15?
True
Let o(g) = -g**3 - 3*g**2 + 3*g - 5. Let n be o(-4). Let f be (-3)/1*(-2)/(-3). Let r = f - -2. Is n >= r?
False
Let p(t) = -t**2 - 5*t. Let b be p(-5). Suppose b = -2*u - 2*f, 4*u - 1 + 2 = -5*f. Is 3 at most u?
False
Let a = 0 - 0.1. Let q = -0.2 + a. Let o = q - -0.2. Which is smaller: o or 0.3?
o
Suppose -12*m = -14*m + 48. Do m and 24 have the same value?
True
Let c = -10.03 - -10. Let b = 0.27 - c. Which is bigger: b or -0.3?
b
Let d = -1 + 11. Let x be d/(-12) - (-2)/3. Let j be 2/(-7) - 6/(-21). Which is smaller: j or x?
x
Let r(v) = v**2 + 15*v + 45. Let s be r(-11). Which is greater: s or 5?
5
Let i = 16/5 - 18/5. Suppose 0*j + 14 = 4*j - 5*f, 5*f = -j - 9. Which is smaller: i or j?
i
Let j = -39/2380 + -1/140. Is j greater than -1?
True
Suppose -p = -4*c + 21, 0*c - 3*c - 4*p = -11. Suppose -2*v - 3*w - 3 = v, 0 