 i = -0.05525 + 755.05525. Is 0.1 smaller than i?
True
Let r = -86 - -315. Suppose -15 = 3*p, 4*v - 2*v = 5*p + r. Is v bigger than 101?
True
Suppose 0 = 282*j - 1189847 + 2590947 + 2370086. Is -13373 at least as big as j?
True
Let f be -3*7994/(-6) - (-15 - -4). Which is smaller: f or 4009?
f
Suppose 2*j + 22 = 3*x - 4, -2*x - 4*j = -12. Let b = -70907/141802 + 3/70901. Which is greater: b or x?
x
Let p(q) = -12*q + 1. Let n be p(1). Let c(r) = -r - 6. Let z be c(n). Suppose 5*b = 10*b + z. Is -1/46 less than or equal to b?
False
Suppose 6*x = -0*x - 84. Let l = -13 - x. Let g be -17*(l + 5 + -2). Which is greater: -69 or g?
g
Let s = -11 - -42. Let a = 27 - s. Let z = 240 - 248. Is z less than a?
True
Let x(t) = -229*t + 103. Let b be x(4). Which is greater: b or -811?
-811
Let l = 51335/67 + -766. Is l not equal to 0?
True
Let p be (-5)/(-1*3/6*5). Let y be 14/4*(-24)/(-14). Suppose p = -l, -q + y*q + l = -7. Is 1/36 < q?
False
Suppose 4*k + 3*u = 2*u + 1507, 5*u + 759 = 2*k. Suppose -2*b + k = -3*i, -241 = -b + i - 53. Do 187 and b have the same value?
True
Let r = 4 - 2. Let a be 34/(-12) - (-924)/252. Which is smaller: r or a?
a
Let i(f) = 16*f**2 - 10*f - 11. Let l be i(-4). Let h = 297 - l. Which is smaller: h or 138/13?
138/13
Let m = -4723/10224 + -65/568. Let h = 1/48 + m. Let s(n) = -n**2 - 2*n + 3. Let j be s(-3). Which is smaller: j or h?
h
Let q(j) = -j**3 + 7*j**2 - 4*j + 4. Let t be q(3). Let o be (t/12)/((-6)/(-9) + -1). Let l be ((-112)/10)/o + 2/5. Which is greater: l or 2/11?
l
Let h = -60 - -65. Suppose -l - 4*l + 30 = 5*r, 0 = -2*r + h*l + 12. Is r equal to 9?
False
Let t = 175/12 - 55/3. Suppose 22 = 3*j - 2*j + h, -5*h - 60 = -5*j. Suppose -5*g - 4*u = j, 0 = -u - u + 4. Which is bigger: t or g?
t
Let i(w) = 15*w - 131. Let a be i(11). Let f = a - 36. Which is smaller: f or -4?
-4
Let f = -15668988/761 + 20590. Let o(g) = g**2 - 72*g + 1293. Let z be o(38). Which is smaller: z or f?
f
Let z = -1 - 323. Let j = 323.35 + z. Which is greater: j or 1/4?
1/4
Let a(i) = -i**3 - 15*i**2 + 150*i - 95. Let l be a(-22). Suppose -n + 1 = -0*n. Let h be (2 - n - 0) + -6. Is l >= h?
False
Let h = 6863/171 + 540/19. Is h smaller than 70?
True
Let l = -252 - -248. Let p be ((-1)/(-6))/(l/6). Which is smaller: -94 or p?
-94
Let v = -11.81 - -9.81. Is v <= 77/10?
True
Let q(l) = l**3 + 13*l**2 - l - 32. Let y be q(-13). Which is smaller: 7.7 or y?
y
Let g(l) = -l. Let v be g(-13). Let k(y) = 12*y**3 - y**2 + y. Let f be k(1). Is f > v?
False
Let h be (10/(-15) + 38752/(-48))/2. Which is greater: h or -7?
-7
Let g = -14730 + 73922/5. Suppose -41234 = -802*j + 24*j. Which is smaller: g or j?
j
Let c = -5 + 5.02. Let u = 275 + -161. Let x = u - 117. Is x at least c?
False
Suppose -17 = c - 3*x, 0 = -507*c + 508*c - 9*x + 65. Let n = 4466/669 + -2/223. Which is bigger: n or c?
c
Suppose -1427*v + 1425*v + 42 = 0. Which is smaller: 34 or v?
v
Let h(a) = -79*a - 674. Let y be h(-8). Which is smaller: y or -34?
y
Let i(l) = 3*l**3 - l + 8. Let a be (-10)/4 - (-3)/(-2). Let j be i(a). Let h be 4/(-18) - (-80)/j. Which is smaller: h or -13/4?
-13/4
Let c = -0.2 + 0.11. Let p be -45 - -45 - (-2)/(-13). Does p = c?
False
Let x be 49/(2*(-2)/4). Let a(l) = 211*l**2 + 6539*l - 64. Let v be a(-31). Is v at least as big as x?
True
Let p be 1*-1 + (-6)/(-21). Let x = 122 - 119. Suppose -7 = -4*l - x*b, 0*l - 5*b + 33 = -4*l. Is p at most as big as l?
False
Let k = 44 - 75. Let t = -13057 - -13057. Is k at most as big as t?
True
Let r(g) = g**3 - 5*g**2 + 6*g - 2. Let n be r(4). Suppose 3*f - p + n = -4*p, f - 2*p + 5 = 0. Let d = -173/24 + 83/24. Is d greater than f?
False
Suppose -251*k + 249*k = 294. Let q(t) = 46*t + 186. Let n be q(-4). Is k <= n?
True
Let s = -399.13 + 4.13. Let r = 339 + s. Let d = 3.1 - 3. Which is greater: d or r?
d
Suppose 15356 = 15*s - 409. Which is greater: s or 0?
s
Let q be (346707/398)/(-1)*56/(-21). Let p = 2323 - q. Let o = p + -509/22089. Is o greater than 1?
False
Let j = -170 - -95. Let x = j + 54. Let f be 2/11 - 666/33. Which is smaller: x or f?
x
Let d be -36*(0 + (-826)/(-21)). Let z = -1323 - d. Suppose -2*a = 3*x - 5*a - 285, 371 = 4*x + 5*a. Is x at least z?
True
Let w be (197 - 20) + 1 + -3 + 7. Let s = w - 179. Which is greater: 9 or s?
9
Let w = 162.64 - 163.14. Which is smaller: 77 or w?
w
Suppose -4*s + 2*s + 5*g + 17 = 0, 0 = -2*s - 3*g - 23. Let h(q) = q**2 + q - 1. Let z be h(s). Is 19 > z?
True
Suppose 19*k + 6 = 101. Is k != 293/61?
True
Let y be 23 + 4 + -7 + -1. Let z = 65 - -7. Suppose 2*n = -2*n + z. Which is smaller: n or y?
n
Suppose 5*t + 9 = -6. Let s(x) = x**3 + 9*x**2 + 2*x + 3. Let i be s(-8). Let k be ((-4)/(-6))/((-17)/i). Is k at least as big as t?
True
Let c = 54 - 58. Let f be 1/(-2)*c + 13. Let w be 5*(2 - ((-9)/f)/3). Is 11 > w?
False
Let j = -1282 + 1281.539. Which is greater: j or 1?
1
Let n(y) = -726*y - 1463. Let d be n(-2). Is -28 less than d?
True
Let m = 0.07726 - 579.17726. Let q = -542 - m. Let g = 37 - q. Which is bigger: -9 or g?
g
Let t(k) = 63*k - 2828. Let q be t(88). Is q at least 2715?
True
Let c(t) = -33*t + 3. Let u be c(-5). Let s = -61 + u. Let m = -0.0685857 + -0.0314143. Is s greater than m?
True
Let q be (-12)/(-18) - ((-44)/6 - -2). Let d(l) = -l**3 + 4*l**2 + 12*l + 1. Let f be d(q). Let m be (5 - (f + 4))/(1*-3). Is m at most as big as -5/7?
False
Let d be -1 + (-4 - -2 - -16). Let o = d + 23. Suppose -4*h = -0*h + o. Which is smaller: h or 1/2?
h
Suppose 5*h - 4*m = 7 + 15, 0 = -h - m + 8. Let c be h/4*240/(-630). Which is smaller: c or 9/8?
c
Let k(g) = 3*g + 3 + 7*g - 9 - 9*g. Let a be k(15). Suppose -13*t = -a*t - 12. Is -8 <= t?
True
Let l(p) = 982*p - 1969*p + 984*p + 0 - p**2 - 1. Let d be l(-4). Let k be (-8)/2*(-2)/12. Is k greater than d?
True
Let y = 27182744/5499 - 44488/9. Is 0 at most as big as y?
True
Let y be ((-2 - 0)*-12)/2. Suppose 5*b - 11*p + 13*p + 136 = 0, -y = 4*p. Is b equal to -4?
False
Suppose 14 = 3*z + l, 4*l - 16 - 4 = 0. Suppose 0 = -o + z*n + 1, -4*o - n = -0*n - 4. Is o less than 1/51?
False
Let m(o) = -o**2 - 3*o + 3 - 1 - 5. Let s be m(-4). Let b be (-1 - 0)/((-95)/57). Is b greater than or equal to s?
True
Let k = -137 + 226. Suppose -5*j = -k + 84. Is j greater than -1/18?
True
Let m(v) = v**3 - 7*v**2 + 6*v + 1. Let q(z) = 2*z - 2. Let x be q(4). Let n be m(x). Let a = -267.6 + 269. Which is bigger: a or n?
a
Suppose -2*v - 3*z - 2545 = 0, -214*z = -5*v - 209*z - 6375. Which is smaller: v or -1273?
v
Suppose -w - 126 = w. Let y be 42/15*(-2295)/102. Is w at most as big as y?
True
Let m be 69/1 + -14 + 7. Let v = -59 + m. Is 0 less than v?
True
Let d = -2804 + 2804. Suppose -3*g = 2*p - 2479, 0 = -4*g + p - 2*p + 3307. Let b = g - 43833/53. Do d and b have the same value?
False
Let x = 230 + -227. Suppose -5*z = -9 - 6. Suppose -z*v = v - 4. Is x less than or equal to v?
False
Suppose 4*f = 5*j + 20, 2*f - 40 = -j - 4*j. Suppose -9*b - 6 = -f*b. Let r be 18/(b/(-1)) - 3*-1. Is 2/151 greater than r?
True
Let m(t) = -1054*t + 1111. Let g be m(-1). Is 2168 at least as big as g?
True
Let r = 275.2 - 275.277. Which is greater: r or 0.01?
0.01
Let w = -12/17 - -235/357. Let z(l) = l**3 - 9*l**2 - l + 22. Let t be z(9). Suppose t*g + 12 = g. Which is greater: w or g?
w
Suppose 2*d - 118 = 2*r, 88*r = 3*d + 86*r - 172. Let n = -148/3 + d. Is n bigger than -6?
True
Let m = -27/46 - -2/23. Let n be (-48)/(-40) + 30/(-25). Suppose j = -3*d + 6*j, -3*j + n*j = 0. Which is smaller: d or m?
m
Let d(c) = c**3 - 13*c**2 + 9*c + 30. Let a be d(12). Let b be (-477)/99 + a/33. Which is bigger: b or -31/7?
-31/7
Let o be 54/(-48) - -1*1. Let z = -62 + 65. Let y be (-2 - 5/((-5)/z))/1. Which is greater: y or o?
y
Let i = 140.81 - 140.7993. Which is smaller: -2 or i?
-2
Suppose -o - 2*g - 2*g = -28, -3*g = 3*o - 84. Suppose -5*z + o = h, h = -2*h - 2*z + 19. Which is greater: 43/12 or h?
43/12
Let h be (-2148)/(-272)*9/((-324)/24). Which is smaller: h or -6?
-6
Suppose -315 = -5*z - i, -4*i - 315 = -5*z - 9*i. Let s be 30/99 + 21/z. Which is smaller: 0 or s?
0
Let n be -18 + 20 - (-32 + (0 - 0)). Let t = -34 + n. Let r be 2 - (2 + -8) - t. Which is smaller: r or 6?
6
Let k(h) be the first derivative of h**3/2 + 3*h**2 + 14*h + 18. Let 