r < 1223/5?
False
Let l = 11248 + -8140. Is l >= -0.2?
True
Suppose -225*i - 760 = -227*i. Suppose 5*a - 5*d + 365 = 0, -5*a + 0*a - i = -2*d. Is -76 <= a?
False
Let j(p) = -4*p**2 + 2*p + 3. Let g be j(-3). Let v be (-28)/(-56)*-766*1. Let t = v - -344. Is t smaller than g?
False
Let g = 58 + -57. Let q be 36/(-90)*(9 + g). Let j be -4 + q/((-48)/(-45)). Is j greater than -9?
True
Let i(f) = -f**3 - 28*f**2 - 5*f - 231. Let n be i(-28). Is n > -93?
True
Let i = 1207/4151 - 3/593. Let l be -2 - (-3)/(-72) - -2. Which is bigger: i or l?
i
Let a(o) = -12*o + 2. Let h be a(0). Suppose 0 = h*q - 4*t, -q - 3*t = -4*t. Which is smaller: 7 or q?
q
Let j = 297.85 - -753.15. Is 0.2 > j?
False
Let n be (-4)/(-10) + 165/25. Let v(k) be the second derivative of -k**5/20 - k**3/2 + 7*k**2/2 + 44*k. Let t be v(0). Is n <= t?
True
Let b = -13043/26 - -1003/2. Is b at least -1?
True
Let o = -1.24 - 52.06. Let z = o + 53. Is z <= -0.07?
True
Let c be (-13086)/(-12)*((-8)/(-12))/(-1). Is c equal to -728?
False
Let a = 990 - 21775/22. Let d = -20011 + 1540813/77. Let p = d + a. Is p less than 0?
True
Let n be 5 - 19 - (-6431)/463. Which is smaller: n or -1?
-1
Let n(a) = 7*a**2 + a - 51. Let g(s) = -4*s**2 + 26. Let l(t) = 5*g(t) + 3*n(t). Let y be l(-7). Suppose -3*f - y = -8. Does f = 5/4?
False
Let z(a) be the second derivative of -a**5/20 - 5*a**4/6 + 5*a**2 - 11*a. Let j be z(-10). Suppose -j + 12 = -2*n. Is n < 27?
True
Let j(b) = -b**2 - 4*b + 81. Let i be j(-11). Let y(g) = -5*g**3 + g + 1. Let u be y(-1). Suppose -u*x + x = -i. Is x equal to -1/10?
False
Suppose 3140 - 18900 = -197*g. Which is greater: g or 0.27?
g
Suppose 2895 = -11*m + 6*m. Let o = 581 + m. Which is greater: 19/9 or o?
19/9
Let f = 0.04 + -0.226. Let a = -104.814 + f. Let t = a - -106.5. Which is bigger: 0.2 or t?
t
Let a be 243/1 + (12 - 14). Let i = 2705/11 - a. Do i and 4 have the same value?
False
Suppose -l + 2*f = -120, -4*f + 6 = -f. Suppose -l*p + 121*p = 1152. Which is greater: -1 or p?
-1
Let o be (-11)/(-1804)*152 + 2/(-1). Is 0 greater than o?
True
Let n be (-216)/60 + 4/10*-1. Let j(h) = -h**3 - 3*h**2 + 6*h + 8. Let y be j(n). Suppose y = -5*c + 2*o - 7*o + 90, c - 2*o = 15. Which is bigger: c or 18?
18
Let p(w) = 9*w + 2. Let u be 1*1*(-2 + 0). Let t be p(u). Let o = 39 + -56. Is t smaller than o?
False
Let m be (24/((-1872)/(-130)))/(5/(-6)). Which is smaller: m or -96/157?
m
Let j be (160/(-45))/8 - 1426/(-1953). Let w = 109 + -114.9. Which is bigger: j or w?
j
Suppose -479 = -15*p + 121. Suppose -36 = -4*u - p. Which is bigger: u or 26/55?
26/55
Suppose 5*g - 24*w + 185 = -28*w, -103 = 3*g + 4*w. Let a be (-30)/(7/(56/6)). Is a >= g?
True
Let v be (102/(-9))/((-25)/6 + 4). Suppose 0 = 4*r - 51 + 131. Let l be ((-68)/r - 3) + v/5. Which is greater: 16 or l?
16
Suppose n = 2*t - 0*t + 11, 0 = 4*n + 4*t + 16. Let g be (-134)/8 + n*2/(-8). Let k = g + -1. Is k at most as big as -18?
True
Let m be ((-282)/(-60) + -4)*(-16)/(-1540). Is 1 at least as big as m?
True
Let d(j) = 2*j**2 + 21*j + 13. Let v be d(-8). Let r be 108/16*(3 + v). Let s = r + 126. Is s greater than or equal to -34?
False
Let k = -1505968/103653 - -40/3839. Is -15 at most k?
True
Let a = -3.389 - -21.119. Let h = a - -0.27. Let o = h + -49. Is -1 != o?
True
Let b = -306 + 614. Suppose 31*k = 45*k - b. Suppose -2 + 0 = -2*t, 0 = -2*f + 3*t + 39. Is f at most as big as k?
True
Let f be (-34)/(-4) - (-2 + (-3)/(-2)). Let v be (0 - 6/f) + 0. Let x(t) = t**3 - 11*t**2 - 14*t + 24. Let p be x(12). Which is bigger: p or v?
p
Let k(y) = -y**3 + 11*y**2 - 24*y + 8. Let o be k(6). Let u be o/55 + 5/25. Let p = 443 - 17276/39. Is p greater than u?
False
Let w = 1.47 + 0.23. Let l = w + -1.9. Let m = -37 + 30. Is l at least m?
True
Let p = 1.22431 - -4.77569. Let q = 19 + -10. Is p <= q?
True
Suppose 3*a = 2*o + 46, 3*a + 5 = 5*o + 39. Is -38 < a?
True
Suppose 3*g + 14*g = -209130 + 209113. Does g = 2398/5?
False
Let a be 3493 - (-2 - (-9 + 0 + -1)). Is a less than 3485?
False
Suppose g + 3*v - 38 = 0, 4*v - 82 = -3*g + 3*v. Suppose 2*m - g = f - 2*f, -m = -f + 17. Let s be -2 + 33/15 + (-7)/f. Are -1 and s non-equal?
True
Let z = -154558/15 - -10314. Is 9 smaller than z?
True
Let s = -9042 + 9042. Which is smaller: 1/651 or s?
s
Let n(x) = -x**2 - 15*x + 50. Let i be n(-13). Let t = -76 + i. Which is smaller: t or -24/23?
-24/23
Suppose -3*i - 3 = -5*q + 13, 4*q + 4 = i. Let g be ((i/(-10))/(-1))/(4/(-10)). Suppose -26 = -4*y + g*t, -3*y = 4*t - 0 - 7. Which is bigger: 6 or y?
6
Let b(a) = a**3 - 7*a**2 + 8*a - 7. Let m be b(6). Let c(t) = 14*t**2 + 21*t - 103. Let d be c(m). Is 352 smaller than d?
False
Suppose 2803*j - 2827*j + 50146 = -51830. Is j greater than or equal to 4250?
False
Let m = -240022459/1339 - -179255. Is 1 at most as big as m?
False
Let u be 17 + (17 - 24 - -10). Is u bigger than 15?
True
Let t = -37 + 65. Let u be 3/(1 + t/(-32)). Which is smaller: u or 23?
23
Let v = 627916 - 12032754311/19163. Is v < -1?
False
Let z = 1219/3 - 2435/6. Which is smaller: 185.7 or z?
z
Let n = -0.1565 + 926.1565. Let j = 917 - n. Is j <= -18/13?
True
Let f be ((-4)/(-10))/(6/15). Let c be ((-10)/5 - -10)*2/4. Suppose c*r - 6*y + 16 = -2*y, y = -4*r - 21. Which is smaller: r or f?
r
Let u(l) = 23*l + 1770. Let q be u(-77). Are 6/127 and q nonequal?
True
Let a = 4397 + -4395.231. Let k = -0.051 - a. Which is greater: 0.2 or k?
0.2
Let m = -842.344 - -837. Let w = m + -0.056. Let f = w + 5.3. Which is bigger: f or 33?
33
Let z = 3410 - 3412. Which is greater: z or -799?
z
Let g = -37 - -39. Suppose 28 - 30 = -g*y. Which is smaller: y or 1/10?
1/10
Let k = 10306/7 - 1475. Let u(o) = -44*o + 65. Let l(w) = -136*w + 196. Let q(p) = -3*l(p) + 10*u(p). Let c be q(2). Which is greater: c or k?
c
Let q = 15979.96 - 16350. Let z = 370 + q. Which is bigger: z or 11?
11
Let n be (-192)/(-240) - (-5)/(-100). Which is smaller: 0.5 or n?
0.5
Let p(x) = 12*x + 4. Let s be p(-1). Let r(c) = c**3 + 8*c**2 - c - 21. Let u be r(s). Which is greater: u or -15?
u
Let d = 4002.9 - 2781.2. Which is greater: d or 0?
d
Suppose 0 = -q - 3*q - 32. Suppose -90 = 4*i - 70. Let p be (-4)/2 - (-3 + i/(-4)). Which is smaller: p or q?
q
Let k(q) = -43*q + 2. Let b be k(-6). Let t = 31081 + -30822. Does t = b?
False
Suppose -30964 = 42*b - 7906. Is -548 equal to b?
False
Suppose -50 = -2*t + 3*g, 2*t + 8*g = 4*g + 22. Suppose -67 = 3*z + 4*q, 20 + t = -3*z + 3*q. Is -18 != z?
True
Let l be -2*2 + 30294/8514. Which is bigger: -1/3 or l?
-1/3
Let q(r) = 2*r**3 - 14*r**2 + 8*r + 11. Let t be q(7). Let h be (65/t - 0) + -37 + 36. Which is smaller: h or 0?
h
Suppose 2*p = -2*i + 4, -4*i - 3*p - 138 + 143 = 0. Is i bigger than -2/43161?
False
Let o be ((-1)/(-5))/(1/1). Let z = 87 - 181. Let r = z + 93.82. Which is smaller: o or r?
r
Let j = 1123571/1265 + -4441/5. Let y = 5608/1265 - j. Is 3 less than y?
True
Let n(u) be the third derivative of -31*u**4/24 + 31*u**3 - 236*u**2. Let w be n(6). Does w = 12/83?
False
Let x(r) = -r - 5. Let z be x(-4). Let g = -4052 - -4054. Let q be ((-5)/8)/(g/(-4) - z). Is -2 greater than q?
False
Let k = 3471 - 2105. Is k > 1367?
False
Suppose -120 = w + w. Let s be (-2)/(-10) + 27/w. Let n = -53997 - -53997. Is s greater than or equal to n?
False
Let q(t) = -t**3 - 28*t - 9. Let l be q(0). Which is greater: -87/10 or l?
-87/10
Let o be (-62)/217 - (-359043)/21. Is 17097 less than o?
False
Let d be 6 - 2 - 982268/245560. Is d less than or equal to -1?
False
Let k = 576/5 - 12092/105. Let y(w) = -w**2 - 17*w - 67. Let m be y(-11). Which is greater: k or m?
k
Let m = -4 + 4.65. Let g = m - 10.25. Let q = 10 + g. Which is smaller: 3 or q?
q
Let p(s) = s**2 - 161*s - 987. Let n be p(-6). Which is greater: -9 or n?
n
Suppose -2*b + l = 9489, 18993 = -4*b - 2*l + 7*l. Is b at least as big as -4742?
True
Suppose 16*g = 4*g. Suppose -20*d + 27*d - 84 = g. Which is bigger: -2 or d?
d
Let c(t) = -t**3 + 4*t**2 - 4*t + 2. Let k be c(3). Let s be 4 + -1 - (-962)/(-266). Let u = -1/38 + s. Which is greater: k or u?
u
Suppose -3*c - 5*x = -353, -20 = -2*x - 3*x. Suppose -29 = -5*p + c. Let j = 27 - p. Which is smaller: j or -4?
-4
Suppose 0 = -2*l, k - l + 25 = 6*k. Suppose -r = 3*d - 2 - 4, 5*d - 10 = k*r. Is d less than or e