735 + 6/7. Let a = z + -7/23. Is a >= -13?
False
Let d = 54 + -13. Suppose -j + 4*y + 663 = 0, 0 = -5*j + 5*y - 197 + 3572. Let t = j - 639. Which is bigger: d or t?
d
Let d(g) be the second derivative of 0 - 1/12*g**4 + 3*g + g**2 - 1/3*g**3 + 1/10*g**5. Let b be d(1). Is b less than or equal to 1?
True
Let p be (1 - 3)/8*-12 - 0. Let l be (-1 - p/(-48))*48/(-72). Which is greater: 1 or l?
1
Let h(s) = s**2 - 2*s + 299. Let a be h(0). Let d = -300 + a. Let t = 0.052 - 31.052. Is t at least d?
False
Let g = 33191 + -67759. Let o be g/(-174) - 2/3. Which is bigger: o or 199?
199
Let d = 13.4 - 67.4. Let h = 5838 - 5836. Which is smaller: d or h?
d
Suppose 52 = g + 11. Suppose 15*j - g = 4. Let b be (-3)/3 + (-3 + j - -107). Is b greater than or equal to -2/7?
True
Let b(x) = x**3 - 12*x**2 - 146*x + 161. Let w be b(18). Does w = 6?
False
Let v be 2 + -2 + 19/(1976/(-74340)). Let o = -715 - v. Which is bigger: o or 1?
1
Let a = 7052 - 7052.1. Is a less than 2.728?
True
Let b = 3.2 - 100.2. Let a = b - -96.8. Which is greater: 0.04 or a?
0.04
Suppose 14*r = r - 3549. Suppose -k + 0 = 4. Let z be 6/k + r/130. Which is smaller: z or -5?
-5
Let m = 19.188 + 4.812. Which is greater: m or 8?
m
Let c = -461.75 + 490. Let m = c + -28. Which is smaller: m or -2?
-2
Suppose 5*b - o = 14, b + 2*o - 7 = -2*o. Let w = 3928 + -54965/14. Which is bigger: b or w?
b
Let p = -184.4 + 184.39. Which is bigger: 0.01 or p?
0.01
Let d(q) = -5*q + 4. Let u be d(-6). Let x = 31/1173 - -1456954/41055. Let j = 179/5 - x. Is u less than j?
False
Suppose -3*d + 12 = 0, -3 - 16 = -h - 5*d. Let t = 97.13 - 96. Does h = t?
False
Suppose -35*b - 55*b = 720. Which is smaller: b or -122?
-122
Let d(n) = 1663*n + 9. Let x be d(-2). Let k = x + 348289/105. Let z = -472/1365 + k. Which is greater: 1 or z?
1
Let u = -597 - -595. Let f be 20*u/(-8) + 4. Which is greater: f or 1/5?
f
Let n = -6037 - -5153. Does n = 0.4?
False
Let m = 237 - 233. Suppose 4*n + 4*v - 5*v = 3, -4 = -m*v. Let y = 209/12 + -35/2. Which is greater: y or n?
n
Let f(s) = -7*s**2 - s - 2. Let k be f(-4). Let i(c) = 8837*c - 79641. Let p be i(9). Is p at most as big as k?
False
Let t = -60 + 20. Suppose 2 = 2*y, -3*l + 5*l + 3*y = 31. Let a = 13 - l. Which is smaller: t or a?
t
Let d = -51 + 100. Let i be (-2 - 36/(-21)) + 63/d. Suppose 3*c - i = -5*f - 5, -2 = -2*c - f. Is c less than or equal to 5?
True
Let m = -0.97 - -1.12. Let x = m + -77.15. Let v = 15 - 16. Does x = v?
False
Let r be 7/(-791)*(0 + 1). Which is bigger: r or -29?
r
Let c be -4 - (-4029)/1259 - (108/15 + -8). Which is greater: c or -1?
c
Let i = 747 + -744.406. Let y = i + -0.538. Let x = -0.056 + y. Which is greater: -3/10 or x?
x
Let q = -13.9639 - 0.0361. Which is greater: q or -417?
q
Let c be (82 + -12)/(-7) + -9379. Which is smaller: -9388 or c?
c
Let l be (1 + 5)*-1*(3 - 4). Suppose 0 = -3*s - 3*m - m - 5, -3*m = 3*s + l. Is s >= -9?
True
Let r be 0 + (-28)/(-8) + 3/(-6). Suppose 2*o + 0*h + h = 220, o - 117 = r*h. Suppose m - 3*m + 10 = 0, 0 = -2*d + 5*m - o. Which is smaller: d or -44?
-44
Let s = -2 - -2.1. Let n be 7 + -12 + (-30)/(-3). Suppose -3*i - 23 = q + 2*i, -n*q = -i + 11. Which is bigger: q or s?
s
Suppose -2*q = -f + 16, -1092*f + 1089*f + 8 = -q. Which is smaller: 9178 or f?
f
Let g = 8865.7 + -8866. Let x = -2 + 1.9. Which is smaller: g or x?
g
Let f be 22 + 8 + 30/(-3). Which is smaller: 135/7 or f?
135/7
Let k = 890 + -24032/27. Which is greater: k or 206?
206
Let q be (3 - 732/252) + (-88394)/(-168). Is 525 < q?
True
Suppose -5*g - 20 = 0, u + 7*g - 963 = 4*g. Is u != 1951/2?
True
Let w = -25829609135176885 + 293476018798711989369/11362. Let t = 17177238 + w. Let k = -2/247 - t. Is k at most as big as 0?
True
Let j be 1*(-1 + 5) - 53. Let x = j - -66. Suppose r + 11 = x. Is r greater than 5?
True
Let s = 26 - -112. Let u = -151.6 + s. Let x = -12.6 - u. Which is bigger: x or -22?
x
Let j = 0.041 - 0.104. Let l = 1611 + -1611.137. Let x = l + j. Is 31 < x?
False
Let g be 1/3 + ((-760)/120 - -34). Which is bigger: g or 114?
114
Let d be (4 + -7 - -55) + 4. Let c = d - 56. Let m = 42 - c. Which is greater: 40 or m?
m
Suppose 261 = 5*q - 94. Let t = 50 - q. Let j be 12/5 - 2 - 28/(980/763). Which is bigger: t or j?
t
Let c = 2 + 53. Let g = 174 - 225. Let s = c + g. Is s > 0?
True
Suppose -5*q + 1435 = -5*n, 0 = 4*q - 21*n + 18*n - 1142. Is q bigger than 281?
False
Let z = -104056/69 - -1508. Let k = -104/207 - z. Suppose -3*t + 2*p + 2*p - 12 = 0, 0 = 3*t + 4*p - 12. Do t and k have the same value?
False
Let w(r) be the third derivative of -r**6/120 - r**5/60 - r**4/24 + 2*r**3 + 10*r**2. Let t be w(0). Let j be 6*((-81)/t)/(-9). Which is smaller: j or 4?
4
Let y = -16181 + 11835. Are 2 and y nonequal?
True
Let u = -9801 + 127405/13. Let y = -0.4 + 0.3. Let j = -1.1 - y. Which is bigger: u or j?
u
Suppose -3 = -7*j + 11. Suppose -j = -a, 3*m - a + 0*a = 7. Suppose f + f - g = m, f + 11 = -2*g. Is f at least -2/191?
False
Suppose -2*s = 5*r - 10 - 1, -25 = -5*r + 5*s. Suppose -6*u - r*u - 36 = 0. Let d(a) = a**2 + 9*a + 9. Let n be d(-7). Which is bigger: n or u?
u
Suppose 3*t - 155 = 2*y, -3*y + 0*t = 2*t + 200. Let x = -26 + y. Is -96 at least as big as x?
True
Let c be 3 + -2 + 385201096 + -3. Let v = 68180838604/177 - c. Let k = -1384 + v. Which is bigger: k or -1?
k
Let h = -284 + 116. Let n = 83 + h. Let j = 87 + n. Is -2/17 > j?
False
Suppose -z - 672 = -3*u, 8*z - 1112 = -5*u + 7*z. Suppose u*k + 276 = 217*k. Which is greater: k or -44?
-44
Let q be 18/(-24) - 1/4. Let l = 8726 + -2582893/296. Which is smaller: l or q?
q
Let z be ((-1)/(-2))/(8/(-464)). Let g = 375/13 + z. Is 1/9 smaller than g?
False
Let t = 549/5 - 3289/30. Let j(w) = -5*w - 14. Let p be j(-7). Are p and t nonequal?
True
Let n = 19263 - 20746249/1077. Suppose 4*z + 11 = -0*a - 7*a, -4*a - 7 = 3*z. Is n at most as big as a?
False
Let k(v) = -v**3 + 7*v**2 - 2*v - 18. Let y be k(6). Suppose 90 = 4*b + y*b. Let h be 3 - b*((-9)/7)/3. Do h and 6 have different values?
True
Let k = -3207 + 3222. Let i = -6.7 + 7. Let h = 0.2 - i. Which is smaller: k or h?
h
Let b = 0 + 5. Suppose 58 + 117 = -5*y + b*a, 0 = -5*y - 5*a - 155. Let u = -30 - y. Which is smaller: 8 or u?
u
Let y be ((-12)/21)/((-3)/2*112/1176). Is y >= 198/53?
True
Let l(g) = 2*g**3 + 10*g**2 - 69*g - 24. Let z be l(5). Are 3/5 and z non-equal?
True
Let y(i) = 4*i - 6. Suppose 0 = -3*j + 5*w - 16 - 0, w = -j + 8. Let a be y(j). Let p(h) = h**2 - 10*h + 13. Let v be p(a). Which is smaller: v or -10?
v
Let x be (2/(-5))/(2/(-20)). Let a = 4 - x. Is 12/29 > a?
True
Suppose -2*l + 7*l = 435. Suppose -28*s = -31*s + l. Let q = s + -30. Which is smaller: q or -2/111?
q
Let x(h) be the second derivative of -23*h**3/6 - 5*h**2 + 40*h. Let a be x(-3). Which is greater: a or 61?
61
Let t = 131674/33 - 17253/11. Which is smaller: 2423 or t?
t
Let d = -1.881 + 1.881. Is -10203 > d?
False
Let p = 3.766 - 3.811. Which is smaller: -6 or p?
-6
Let x(r) = r - 5. Let l be x(3). Suppose b = v + 5, -97*b + 4*v + 16 = -95*b. Let y be l/(-4)*-11*b. Is -8 at least as big as y?
True
Suppose 2*p - 2*p - 3*p = 0. Suppose 0 = 2*f - l - p*l - 57, 4*l - 84 = -4*f. Which is bigger: f or 20?
f
Let q = 593575/4 + -147413. Which is greater: q or 982?
982
Let m(s) = -31*s + 42. Let q(b) = -5*b + 1. Let g(c) = m(c) - 4*q(c). Let w be g(-6). Is 104 bigger than w?
False
Let c = -0.23 + 1.23. Let l = 32.91 + -33. Let x = l + -1.81. Is c less than x?
False
Suppose -5*j = x - 11027, -13*x = -16*x - 3*j + 33033. Which is bigger: 11006 or x?
x
Let u = 11788/11 + -954824/891. Is u greater than 0?
True
Let s be 28/2 - (-3 + -1 + 5). Suppose -h = 2*m - 20, -h - 5*m + s = -10. Let u be 16/(-6)*(6 - h/(-12)). Do -20 and u have the same value?
True
Let b = 556.098 + -0.098. Let r = b + -607.2. Let n = 10.2 + r. Which is greater: 0.1 or n?
0.1
Let n = 0.22 + -0.2. Let m = -23.19 - -23.51. Let x = m - n. Which is smaller: x or -3/7?
-3/7
Let p be 5 + 1878/(-93) + (-670 - -685). Let b(n) = -n + 2*n - 1 - 1. Let h be b(1). Is h greater than or equal to p?
False
Let k(y) = 266*y + 790. Let p be k(-9). Which is smaller: -1603 or p?
p
Let j(a) = a**3 - 6*a**2 - 35*a - 10. Let r be (4 - (-82)/(-20)) + (-156)/40. Let d be j(r). Which is g