). Which is smaller: g or s?
g
Suppose -2*g = 4, v + 5*g = -0*v - 8. Let n be 1 + 2 - v/(-4). Suppose 0 = -4*r + 7 + 5. Is r less than n?
True
Let m = -727.83 - -721. Let h = m - 0.17. Let f = h - -2. Which is greater: f or 0?
0
Let j = -1224/11 + 111. Let a(q) = -2 + q - 2*q + 0 + 1. Let k be a(-2). Is k at least j?
True
Let t = -7.07 - -0.07. Let f be 2 + -2 - (0 - 1)*-2. Let h(z) = -z**3 - z**2 + 5*z + 5. Let m be h(f). Which is smaller: m or t?
t
Suppose -4*h = -0*h - 4. Suppose 5*n + 36 - h = 0. Is n >= 2/5?
False
Suppose t - 2*b = 3*b - 10, t - 3*b + 6 = 0. Suppose -5*f + 3*l + 103 = t, 2*f = 3*l + 30 + 4. Is 25 greater than f?
True
Let q = 775.969 - 777. Let m = q - -0.031. Which is bigger: m or -1/6?
-1/6
Suppose 3*a = 2*a. Let m = 6337 - 6362.93. Let n = 26 + m. Which is greater: a or n?
n
Let n = -0.1 - -0.02. Let i = 0.26 + 0.82. Let w = n + i. Which is smaller: -13 or w?
-13
Let t = -1152 - -1151. Is t at most -1.28?
False
Let z be (4/(-5))/(4/(-50)). Suppose 3*o = -2*o + z. Suppose 0 = j - 5*a + 21, -2*a - o*a = -5*j. Is -1 greater than or equal to j?
False
Let b(u) = -64*u**2 - 6*u + 7. Let r be b(2). Let a = 1299/5 + r. Suppose 7*p = 5*p - 4. Which is greater: p or a?
a
Let w = 43 + -28. Suppose 0 = -3*o + 42 + w. Which is smaller: 16 or o?
16
Let k = 19 + -20.2. Let g = 1 - 0.2. Let j = k - g. Is 3 < j?
False
Let i = -15.4 + 16.5. Which is smaller: i or 2/5?
2/5
Let r be (-10)/(-4)*(-9 + 65)/(-4). Which is greater: -32 or r?
-32
Let z be (18/(-75))/((-960)/(-150)). Which is smaller: z or 0?
z
Let p be (-2)/(-12) + (-15855)/96210. Which is bigger: -1 or p?
p
Let v(d) = -d + 4. Let b be v(4). Let u = b + 3. Suppose t + z + 2 = 0, -u = -2*t + 4*z + z. Is t < 4/3?
True
Let i(j) = j**3 + 2*j**2 - 5*j - 2. Let v be i(-4). Let m be 890/(-1890) + (-4)/v. Which is bigger: -1 or m?
m
Suppose -35 = -3*u + 1. Let f(z) be the third derivative of z**4/24 - 7*z**3/3 + 26*z**2. Let n be f(u). Which is smaller: 0.3 or n?
n
Let n = -35 + 40. Suppose p + 3 = -5*q + 3*q, n = -p - 4*q. Let d = 318 + -2541/8. Is p < d?
True
Let f(d) = -d**3 + 4*d**2 + 5*d + 2. Let p be f(5). Suppose 4*u = 4*m - 2*m + p, 2*m + 2 = 5*u. Let q = 8 - u. Which is greater: q or 7?
q
Let j(n) = 0 + 4*n**3 - 2 - n - n**2 + 3. Let c be j(1). Let m = 5.854 - -0.146. Which is greater: m or c?
m
Let d = -5988/19 + 315. Is d <= -4/3?
False
Let g be (-12 - -4 - -3) + 1. Is -53/11 less than or equal to g?
True
Let i = -187 + 190. Let x = 0.2 - -0.4. Let z = x + -0.6. Which is bigger: i or z?
i
Suppose -2*u = -4*v - 58, 5*u + 108 = 2*v + 277. Let d = -35 + u. Which is smaller: d or 1/8?
d
Let c(g) be the first derivative of -g**2/2 + 8*g + 1. Let l be c(7). Let m be l*1/(-3 + 2). Is -2/37 >= m?
True
Let k = 20567/20 - 1028. Which is bigger: k or 1?
1
Let b = -5.898 + 5.9. Let n = b + 0.098. Is 47 at least as big as n?
True
Suppose -3*x - 10 = -f, -3*f + 2*x = -5*f - 4. Which is smaller: -1/464 or f?
-1/464
Let z(w) = w**3 + 3*w**2 + w + 2. Let o be z(-3). Suppose -4*k - 2*p - 41 + 17 = 0, -p + 16 = -5*k. Does o = k?
False
Let s be -1 - 2 - (2 - 1). Let i = -11548 + 11547.8. Which is greater: s or i?
i
Suppose -6*f + 15 = -f. Suppose f*h - 36 = h. Let p = -11 + h. Which is smaller: 5 or p?
5
Let z = 7.6 + -4. Let i = -3.68 + z. Which is bigger: i or -1?
i
Let w be ((-138)/(-24))/(-3 - 579/(-192)). Is w smaller than 368?
False
Let k be ((-6)/(-250))/(-8 + -5 - -12). Which is smaller: k or 1?
k
Let f = -463 - -1313. Which is greater: f or 1?
f
Suppose 3*o + o = -16. Let t = o - -11. Suppose 5*g - 7 = -n + 21, -g = n - 4. Is g < t?
True
Let r = 452918/169 + -2680. Which is smaller: 1 or r?
r
Let q = -0.0294 - -0.0874. Is -0.1 at most as big as q?
True
Let m be ((-2)/2)/(86/4). Let l be 9 + (-1)/(1/9). Which is smaller: m or l?
m
Let z(t) = -16*t**2 + 26*t - 15. Let o be z(4). Which is smaller: o or -172?
-172
Let x(q) = 7*q**2 + q. Let v be x(-3). Let i be (-1)/(-5) - 52/v. Is 0 greater than i?
True
Let s(m) = -m**2 + 22*m - 63. Let t be s(7). Which is smaller: 47 or t?
t
Let s(f) = f**3 + 6*f**2 - 23*f + 6. Let b be s(-8). Does 62 = b?
True
Suppose -28 = -2*i + 4*j - 34, 5*j = -4*i + 14. Is i less than or equal to 2/1305?
False
Let d be ((-352)/55 + 7)*(848/420 - 2). Let c(u) = u**2 + u - 2. Let t be c(-2). Which is greater: d or t?
d
Let u(a) = 29*a - 163. Let q be u(9). Is q greater than 1?
True
Let s be ((-1)/(-2))/(210/76188). Which is bigger: 180 or s?
s
Let b be 3/(-51) + 3410/170. Are 20 and b equal?
True
Let h be (40632/(-5628) - -7) + (-6)/(-14). Is 1 < h?
False
Let r = -0.5869 - -0.0869. Are -82 and r unequal?
True
Let m = 3/11152 + -691595/635664. Let d be -3 + 2 - (294/114 - 4). Let j = d + m. Which is bigger: j or -2?
j
Let a(h) = 3*h + 57. Let f be a(6). Which is bigger: f or 72?
f
Let v = -8 + 5. Suppose 4*w = 5*g - 13, 0 = -2*g + 2*w + 4 - 0. Suppose 4*c = -2*r + 7*r + 21, -3*r + g*c = 23. Is r < v?
False
Suppose 0 = u + y + 1, -y - 11 = -4*u - 0*y. Let j be u/(-2)*1/(-2). Let n = 6.4 - 0.4. Is j at least as big as n?
False
Let j be 1 - -3 - -4*(-178)/(-44). Let w = -2363/110 + j. Which is greater: -2 or w?
w
Suppose -5*j - 19 = 2*o, -o - 4 - 18 = 5*j. Let s be (-12)/12*(o - 1). Let h = -13/6 + -1/2. Which is smaller: h or s?
h
Let k(z) = z**2 + 8*z - 16. Let u be k(-12). Suppose 4*y + 32 = -u. Let c = -873 - -873.1. Is c >= y?
True
Let w = -36.679 - -0.179. Let u = -0.5 + w. Let p = -58 - u. Is -0.1 > p?
True
Suppose 4*d = -2*c - 3 + 17, -4*c + 10 = -d. Suppose -d + 0 = 2*t. Is -4/9 at least as big as t?
True
Let d be 2/(-2575)*5*(2016 - 0). Let n = d + 3/103. Which is bigger: -8 or n?
n
Let z be (((-84)/8)/(-7))/(6/608). Which is smaller: 153 or z?
z
Suppose 3*n - 2*m + 2646 - 32732 = 0, -3*n = -3*m - 30081. Let k be 16/56 + n/13202. Let d = 50/41 - k. Are d and -1 non-equal?
True
Let s(c) = 20*c + 3. Let a be s(7). Is a at most 143?
True
Let y be 47/4 + 8/32. Suppose -5*j - 3*d + 0 = y, 5*j + 20 = -5*d. Let n = 67/20 + -15/4. Which is bigger: n or j?
j
Let d be (-12)/(-20) + 2754/10. Let b be d/66 + (-4)/22. Suppose -2*g + 4 = -4*z, -g = b*z - 5*g - 4. Which is smaller: z or -4?
-4
Suppose 2*s + 2 - 5 = -3*f, 0 = 2*s + 4*f - 2. Suppose -5*n - 10 = 3*q, -2 = -s*n - 8. Which is smaller: q or 2/7?
q
Let v be 3/(-12) + (0 - 2). Suppose -4*q - 2*g = -20, -5 = -3*q - 4*g - 0*g. Suppose -12*n + 19*n + q = 0. Which is greater: n or v?
n
Let s be (9 - 500/55)/((-2)/(-8)). Which is bigger: 13 or s?
13
Let l = -10.9 + 59.9. Let a = -29 + l. Are -1/4 and a equal?
False
Suppose -5*f + 111*y = 113*y - 1, -y = -4*f + 6. Is f greater than 1/215?
True
Let z(j) = 3 + 2*j**2 - 5*j**2 + 2*j**2 - 7*j - 2. Let q be z(-7). Which is smaller: q or -45?
-45
Let s(v) be the first derivative of v**3/3 - 3*v**2 - 8*v - 10. Let b be s(7). Which is smaller: 0 or b?
b
Suppose -5*p + q = -125, -q - 73 = -4*p + 27. Which is smaller: p or 6?
6
Suppose -5*y + 23 = 3*r, -4*r = -4*y - 4 - 16. Suppose -2*i - 13 = 2*x - 61, -3*i + r = 0. Which is bigger: 45/2 or x?
45/2
Let y = -12817909/1295 + 9898. Is 0 >= y?
False
Let v be (-2 - 459/(-154)) + (14 - 15). Is 1 != v?
True
Let w be 50/84 - 2/12. Let z = 1073494/203 + -5288. Let b = z + 4/29. Which is bigger: b or w?
w
Let s = -0.1 + 0. Let d = -51.01 + 0.01. Let v = d + 62. Is v < s?
False
Suppose 0*v = 5*m + v - 541, -2*m + v + 215 = 0. Let u be 2*3/m*4. Let b be 4/14 - (-10)/(-35). Is b bigger than u?
False
Suppose -8 = 31*j - 12*j + 11. Let a = -41 - -23. Is a != j?
True
Let h be (3584/511 - 7)/10*-3. Are h and 0 non-equal?
True
Let c = 1/4 - 11/28. Let n = 23/63 + c. Let l = 14/5 - 3. Which is smaller: l or n?
l
Suppose -3*f = -0*f - 12. Suppose -4*q - 8 = f. Which is smaller: 3 or q?
q
Let a = -116141/73 + 1591. Let i be ((-5)/(-10))/((-2)/4). Which is smaller: a or i?
i
Let c = 45 - 23. Let p = c - 24. Does p = -2?
True
Let n(r) = 4*r**2 + 2*r + 22. Let a(t) = -7*t**2 - 5*t - 45. Let z(j) = 3*a(j) + 5*n(j). Let h be z(0). Is -0.1 equal to h?
False
Let n(l) = -l**3 - 5*l**2 + 48*l + 251. Let d be n(-6). Is -3/1181 bigger than d?
True
Let s be (-2239)/33 + 33/(-99). Which is smaller: -0.1 or s?
s
Let c be 10/(-15)*27/(-69). Let a = c - 76/115. Suppose p - 3 = 4*p. Which is smaller: p or a?
p
Let n = -0.13 - 4.87. Let m = 10 - n. Let y = -18 + m. W