greater than r?
False
Let c = -134 - -1054. Which is smaller: c or -0.2?
-0.2
Suppose 0 = f + 4*f - 225. Suppose k - f + 3 = 0. Let l = 71 - k. Which is greater: 30 or l?
30
Let b(m) = 21*m + 41. Let p be b(-2). Is -64/395 greater than or equal to p?
True
Let a be 36/(-21) - 2/7. Let v be a*206/44 + 2. Does -7 = v?
False
Let o(p) = -p**2 - 3*p. Let h be o(-6). Let b(u) = -2*u**2 - 5*u**3 + 4*u**3 - 10 - 8*u + 0*u**2 - 8*u**2. Let i be b(-9). Which is smaller: i or h?
i
Let d(f) = -f - 14. Let h be d(-17). Let p be (-5)/((-105)/h) - 26/(-14). Suppose 0 = 4*q + 2*q + p*q. Which is smaller: q or 0.17?
q
Let x = 14 + -20. Let n be -291*(-25)/40 + 4/(-32). Let c = -6719/36 + n. Is c < x?
False
Let p = 0.55645 + 0.01355. Is p at most -60?
False
Let p be (-6335)/(-14)*44/55. Is -0.09 <= p?
True
Let l be (2/(-4))/(85/(-90)). Let r(c) be the second derivative of c**3/6 - 39*c**2/2 - c + 9. Let d be r(41). Which is smaller: l or d?
l
Let m = -25.59 + 25.59. Is m at most 123?
True
Let i = -0.2 - -0.16. Let a be (18/(-136))/(-4 - -3)*(-3364)/(-2523). Which is greater: a or i?
a
Let z = -5.96 + -54.84. Let c = -63 - z. Is c at least as big as 1?
False
Let m = -12752 - -14578. Which is greater: m or 1827?
1827
Let t = 401.121 - 401. Let a = 178.121 - t. Which is bigger: a or 0?
a
Let n be (-5 - (-24)/5)*(-6 + 7). Is 5 at least as big as n?
True
Let y = -69969/4 - -17325. Let m = y + 168. Suppose 39*g + 34 = -5. Is g != m?
True
Suppose 0*a = 4*a + 484. Let z = -1328/11 - a. Let k(h) = h**2 - 5*h + 7. Let i be k(3). Is z smaller than i?
True
Let p be (-8)/194*12/16. Let s(j) = -j**3 - 2*j**2 + 5*j - 3. Let h(l) = l - 1. Let f(b) = -4*h(b) + s(b). Let v be f(1). Is v greater than or equal to p?
False
Let f(g) be the first derivative of g**3/3 + g**2/2 - 29*g - 36. Let b be f(-6). Let u be (-2)/(-13) + 288/3536. Which is smaller: b or u?
u
Let a be (-36)/2 - 3/(-9)*-6. Let p be a/(-8)*(-4)/5. Let u be ((-1)/2)/((-8)/(-48)). Which is bigger: u or p?
p
Let t = 129/17 + -306650/40409. Which is smaller: 1 or t?
t
Let w = -5308 - -5309. Is w <= -21/440?
False
Let d be (3/(-2)*5)/(438/(-1168)). Is d > -50/7?
True
Let t = -13017 + 13029. Are t and 16 nonequal?
True
Let a(y) = -2*y**2 + 16*y. Suppose -16*j = 5*u - 11*j - 40, -3*u - j + 24 = 0. Let d be a(u). Which is bigger: d or 4/15?
4/15
Let x = 8955 - 8880. Which is smaller: 54 or x?
54
Let j(q) = -q**2 + 32*q - 23. Let v be j(31). Suppose -v*t + 36 = 260. Is t greater than -28?
False
Let g(v) = 1719*v + 9127. Let k be g(-12). Which is greater: -11500 or k?
-11500
Let u = 741.643 - -1.357. Let a = 495 - u. Does a = 0?
False
Suppose 0*a = 4*a - 232. Let t = a - 46. Let f be (26/t - 3)*24/90. Which is bigger: -0.05 or f?
-0.05
Let o be (-2828)/42*(-24)/13. Let x = o + -18521/156. Let w = 793/84 - x. Which is bigger: 5 or w?
5
Let y(p) = -p**2 - 3*p - 2. Let c be y(-3). Suppose q + 5*a = -17 + 8, -5*a - 5 = 5*q. Suppose m - 6 + q = 2*n, 0 = 2*n + m + 11. Which is smaller: n or c?
n
Suppose 0*j - 1 = 2*j - 5*a, 0 = 3*j + 3*a - 9. Let t be ((-8)/96)/(j/4). Let s(l) = l**3 - l**2 - l + 1. Let r be s(1). Do t and r have different values?
True
Let s be (215/5)/(2/(-17)). Let z = s + 16829/46. Which is bigger: -1 or z?
z
Suppose -74*o + 13147 - 34346 - 42071 = 0. Are -857 and o nonequal?
True
Let d = 223 + -208. Suppose -i + 23 = -5*r, -r + 2 - d = 4*i. Which is smaller: -13/24 or i?
i
Let t = -62 - -25. Let i = t + 39. Suppose 24 = 2*s - 4*a, -18 = -4*s - 0*s + i*a. Which is smaller: s or 1?
1
Let v(c) = 80*c**3 + 2*c**2 - 12*c + 36. Let h be v(3). Which is bigger: 4353/2 or h?
h
Let u = 3966 - 3755.4. Is u greater than or equal to 1?
True
Suppose j = -3*q - j + 7, 4 = -4*q + 4*j. Let c = -9/188 + 7351/4324. Are c and q nonequal?
True
Let y be (-6)/(-21) - (-33065)/(-184450). Which is greater: y or 1?
1
Let u(x) = 889*x**2 - 2913*x - 12. Let w be u(5). Is w greater than 7645?
True
Let l = 2895 + -2935. Is l greater than or equal to -55?
True
Suppose 295*w - 2871 - 6929 = -55*w. Let d be 0 + (-268)/(-10) - -1. Which is smaller: d or w?
d
Let y = -7107 + 732023/103. Let n(u) = u - 4. Let i be n(6). Suppose -3*b - 3 = g, b = i*g - 6*g - 1. Are g and y non-equal?
True
Let o = 415233/29 + -14317. Which is greater: 2 or o?
2
Let r(o) = 2*o**2 + 131*o + 189. Let x be r(-64). Let g be 1410/(-600) - 1*3/(-12). Which is greater: x or g?
g
Let b(u) be the second derivative of -19*u**3/6 - 3*u**2 + 53*u. Let c be b(0). Is 0.3 greater than c?
True
Let w = -30038 + 480179/16. Which is bigger: -27 or w?
w
Let n = 0.05446 + 0.03554. Which is greater: n or 1.17?
1.17
Let y be (((-171)/234)/19)/((-15)/20). Is y equal to 190?
False
Let p be 5 + -4*(1845/18 + -8). Is p less than -372?
True
Let v(z) = -z - 23. Let j be v(-8). Let t be (-5)/(-2)*3/j. Which is greater: t or 83?
83
Let h(j) = j**3 + 6*j**2 + 4*j - 5. Let g be h(-5). Let i be (-5)/(-30)*6*g. Which is bigger: 2/49 or i?
2/49
Let h be (-10)/(0 + 2)*(17 - 6 - 10). Let q(x) = 5 - 2 - x**2 + 4*x**3 - 2. Let i be q(-1). Which is smaller: h or i?
h
Suppose 121*o = 117*o - 34612. Let i = -51745/6 - o. Which is greater: 29 or i?
29
Let a(l) = -l**3 - 3*l**2 + 4*l - 1. Let r be a(-4). Let z be 6/(-9) + 2 + 40218/(-30177). Let s = z + -6812/177709. Is s <= r?
False
Let t(k) be the third derivative of k**6/120 - 2*k**5/15 - k**4/24 - 17*k**3/6 + 95*k**2. Let y = 12 + -3. Let r be t(y). Which is smaller: r or 54?
54
Let q = 3186 + -3280. Does q = -28?
False
Let c(n) = 16*n - 92. Let q be c(6). Let f be (-306)/51 - -5*9/q. Is 0.2 at most f?
True
Let v(g) = g**2 + 8*g - 9. Let i be v(-7). Let t(n) = n**3 + n. Let c(f) = 2*f**3 + 5*f**2 + f + 8. Let u(b) = -c(b) + 3*t(b). Let k be u(4). Does i = k?
True
Suppose 0 = i - 2*q - 75, 0 = i - 2*i + 3*q + 76. Let o = 3944.8 - 3945. Which is smaller: o or i?
o
Let b(c) = -c**2 - 34*c + 170. Let r be b(-38). Let t be 6/((-60)/r*36/3152). Which is greater: -157 or t?
-157
Suppose 4*o - 21 = 5*k - 6, 2*o - 10 = 0. Which is smaller: k or 1/13835?
1/13835
Let q(p) = -8*p + 76. Let f be q(-35). Which is bigger: f or 357?
357
Let t be (5 - 9424/(-24))/1*1*3. Which is smaller: t or 1192?
1192
Let t = 177797 + -1175415965/6611. Let y = t - -317290/125609. Is y at most as big as 2?
False
Let l = -4144673895/964 - -4299455. Let z = l - 1/482. Is 11/6 greater than z?
True
Suppose 4*u + n + 114 = 0, 0*n = 5*u + 5*n + 150. Let v = u - -10. Is v > -18?
False
Let s = -30657 - -52596. Which is smaller: s or 21938?
21938
Let v(l) = 5*l**2 + 35*l - 7. Let t be v(-7). Let x = -5 + 7. Suppose -w = 5*q - 3*w + 41, 14 = -x*q + 2*w. Is q less than t?
True
Suppose 0 = 2*z - 2033 - 1381. Let s = -18765/11 + z. Which is greater: s or 0.2?
s
Let u be (48/84)/(2/7). Let o be u/(-4)*28/63. Suppose 4*b - b - 7*b = 0. Is o > b?
False
Let u = 2310803/27 + -85569. Which is smaller: u or 15?
15
Let u = 3858 - 2496125/647. Which is smaller: 0 or u?
0
Let h = 3132 - 2908. Is h < 223?
False
Let x = 2183716 + -24003597/11. Let f = x + -1573. Is -3 less than f?
True
Let k be (-5)/(-3 + 4/2). Let v be k/(-25) + 169/20. Let a = 2999/35 - 427/5. Which is smaller: a or v?
a
Let v = 58.37 + -58. Let g = -3.37 + v. Let c = 45 + g. Which is bigger: c or 0?
c
Let a = -331301881/7020 - -47194. Is a greater than 0?
False
Suppose 6*r - 7896 = 53*r. Do r and -10 have the same value?
False
Let v(l) = -l**3 - 9*l**2 + 10*l + 37. Let i be v(-10). Suppose -34*c + i*c - 3 = 0. Which is bigger: -10.9 or c?
c
Let j = 187223/97 - 1930. Is 1 > j?
True
Let g = 24134 - 96533/4. Is 1658 != g?
True
Let h(n) = n**3 + 24*n**2 - 3*n - 7. Let g be h(-24). Suppose -7*a - g = -8*a. Let r = 11 - 12. Is r at most a?
True
Suppose 2*p - 3*q = 25, 2*p = 3*p - 3*q - 20. Suppose p*r + 217 = k + 32, 5*k - 148 = 4*r. Let u = r + 37. Which is greater: u or -3?
u
Let f(r) = 429*r + 1281. Let u be f(-3). Which is greater: u or -763?
u
Let d(f) = 6*f - 5. Suppose 3*n + 4 + 11 = 4*y, -5*y = -2*n - 24. Let h be d(y). Is 33 < h?
False
Let j(g) = -48*g - 959. Let i be j(-20). Is 1/19 bigger than i?
False
Let l(k) = 0*k**2 - 4697*k - 3*k**2 + 4*k**2 - 29 + 4724*k. Let v be l(-28). Is 2/523 equal to v?
False
Let l be (6 + -15)*4/(-9). Let f = -1 + l. Let w be (-32)/(-18) + 0 + -2. Do w and f have the same value?
False
Suppose 2*r - 5*x =