10 = -f. Is 109/5 equal to f?
False
Let a = 2.03 - -192.97. Let d = a - 192.9. Is 5 at least as big as d?
True
Suppose -23*j + 15*j = -120. Let n be (j/2)/(56/672). Which is smaller: n or 91?
n
Let a = 9398 + -7995. Is a at most 1403?
True
Let m be (-114)/(-9) + 3/9. Let a(b) = -b**3 + 13*b**2 - 8*b + 4. Let k be a(m). Which is bigger: k or -99?
-99
Let o(d) be the third derivative of 1/30*d**5 - 2/3*d**3 - 1/6*d**4 + 1/120*d**6 + 0*d - 17*d**2 + 0. Let x be o(-3). Which is smaller: x or -22/9?
-22/9
Let h be 591390/46629*-2 + -3. Let t = 312/11 + h. Which is smaller: t or -1?
-1
Let w = -100.41 - -98.2. Is w smaller than 5?
True
Suppose -21*w - 25462 + 2629 = 22*w. Is -2654/5 smaller than w?
False
Let s(n) = -121*n - 18. Let v be s(-10). Let m = -443 + v. Let g = m + -3023/4. Which is greater: g or -8?
g
Let c = -401.339 + -0.661. Let q = 401.4 + c. Is q at least 1?
False
Let f = -0.2 + 1.56. Let h = -1.46 + f. Which is smaller: h or -225?
-225
Suppose 0 = -4*w - 7 + 27, 2*a - w = -1. Let i be a*3/30*2*1. Which is smaller: 10 or i?
i
Let b = -114.51 - 4.49. Let p = b + 119. Is 4/7 greater than or equal to p?
True
Let o be (-290)/14 - 4/14. Let i(u) = u**2 + 10*u + 25. Let y be i(0). Suppose -13*d - 274 - y = 0. Is o at most d?
False
Suppose -2*j = -3*z + 25, 3*z = 3*j - 2*j + 23. Suppose 3*i + 2*f - 480 = z*i, -2*i = 3*f + 232. Let t = i + 115. Is -5 at least as big as t?
False
Let s be (-9)/(297/(-22)) + (-30)/18. Which is bigger: s or -20/27?
-20/27
Let w = 0 - -0.2. Let l = 280 + 115. Let c = -396 + l. Which is smaller: w or c?
c
Let i = 15559/9 - 1727. Let c(m) = m**2 + 9*m + 3. Let k be c(-9). Which is smaller: i or k?
i
Suppose 2*f - 31 = 39. Suppose -3*i - 55 = f. Let s = i + 27. Which is smaller: s or -5?
-5
Suppose -3*p - 70 = 2*p. Let g = -51 + 69. Let c = -18.1 + g. Is p less than c?
True
Let v(g) = 11*g**2 - 28*g + 83. Let k be v(8). Let w = -556 + k. Suppose -2*b - a = -14, -2*b - 4*a = -2*a - 14. Do w and b have different values?
False
Let v be (20 - 12) + (-280850)/37086 - (-6)/(-14). Is 0 smaller than v?
False
Let u = 26335 + -26361.9. Is -0.3 >= u?
True
Let k = 95 - 146. Let n = -48 - k. Suppose -4*b + b - 2 = 2*o, 0 = n*b + o + 4. Do -1/2 and b have the same value?
False
Let p(r) = -16*r**2 + 4*r + 2. Let u be p(-1). Let l be 45/u*16/(-60). Let a = -285 - -3137/11. Is a less than or equal to l?
True
Let l be (7 + 13)*(3/(-5) - -1). Suppose 0 = l*t - 5*t + t. Which is smaller: t or -5/18?
-5/18
Suppose -17 + 1 = 4*d + p, 3*p + 20 = -5*d. Let x(w) = w**3 - 8*w**2 - 8*w - 6. Let n be x(9). Let h be (-4 + n)*0 - 2. Is h at most as big as d?
False
Let v be (-17)/5 + 4/10. Let p be 0 - -3*(-2)/v. Let i(b) = -19*b**2 - 304*b - 915. Let n be i(-12). Are p and n equal?
False
Let a be 39/(-6) + (-2214)/164. Let n(d) = -6*d**2 + 2*d - 4. Let u be n(-6). Let p be (-3)/(-9) + u/12. Which is smaller: a or p?
a
Let d = 793 + -779. Which is greater: d or 292/19?
292/19
Let j = 175 - 124. Let c = -2198 - -2248. Is c at most j?
True
Suppose 2116 = -90*d + 91*d. Let n be d/(-69) - 4/(-6). Are -28 and n unequal?
True
Let z(o) = 17*o - 125. Let d be z(17). Suppose n + 4*q + d = -3*n, 2*n + q = -79. Suppose -5*u - 17 = i, 0*u = -i + 2*u - 45. Which is bigger: n or i?
i
Let x = 189 - -141. Let q = -330 + x. Which is bigger: q or -11/14?
q
Let q(d) = -d**3 + 6*d**2 + 8*d - 5. Let f be q(7). Let c = f - 1. Let x = 13540/9 - 1502. Is x equal to c?
False
Let v(k) = k**3 - 7*k**2 + 6*k + 1. Let x be v(6). Let u be (2/(-42) + (-4355)/(-2814))*16/(-1254). Which is bigger: u or x?
x
Suppose v = -0*v - 4*o + 28, -3*o + 27 = v. Suppose 7 - 31 = v*q. Is -1.6 != q?
True
Suppose 39686 = -126*x + 211928. Is 1366 > x?
False
Let n be (-25 + 11)*(-1)/(-2) - -13. Is 318/61 greater than or equal to n?
False
Suppose -8*v + 28 = -20. Suppose v*y + 20 = 11*y. Let x be (-3)/(-9)*10 - y. Which is greater: x or 1/3?
1/3
Let u = 3.677 + -209.677. Is u equal to 0.6?
False
Let d be (-23)/874*-19*(1 + (35 - 0)). Which is greater: -96 or d?
d
Let z be ((-2)/487)/(7*(-26)/312039) + -7. Is -1 <= z?
True
Let g = 447/4 - 112. Let b = 2184 - 1788. Which is smaller: b or g?
g
Let t be 291/(-2)*(-1 + 3). Suppose 308 = 4*r - 5*r + 3*c, 0 = -4*r + 3*c - 1178. Is r equal to t?
False
Let o = -908 - -1261. Do -2 and o have different values?
True
Let q = -269.36 + 270. Let h = q - 0.9. Is h > -0.2?
False
Let j be 230/(-308) + 2 - ((-13053)/627 + 21). Suppose 0*c + 5*c = 10. Do c and j have the same value?
False
Let g = -212.798 + 213. Let u = 0.102 - g. Is 16/3 >= u?
True
Let a be (5 - (-65)/(-15))/((-3)/(-360)). Suppose 0 = a*c - 76*c. Is c >= -2/823?
True
Let c(o) = 2*o. Let n(i) = -28*i - 105. Let f(m) = 5*c(m) + n(m). Let p be f(-6). Which is greater: -3 or p?
p
Let v be (-496)/4 + (195 - 206). Let d(r) = r**3 - 10*r**2 - 2*r + 10. Let i be d(8). Do v and i have the same value?
False
Let n = 0.11176 - 4450.11176. Which is bigger: n or 0.1?
0.1
Suppose -2*h = -91 + 11. Let x be 378/h - 2/8. Suppose 0 = -301*o + 82 - 82. Which is smaller: o or x?
o
Suppose 0 = 3*m - 4*g - 1 + 18, -3*m = -3*g + 12. Let k be 1/(-1)*m/(-3). Let c be ((-4)/5)/(54/45). Is c > k?
False
Let r = -65 + 37. Suppose 5*o + 210 = -10*v, 2*o - 86*v = -88*v - 68. Is r bigger than o?
False
Let h = -10794 - -9356. Is -1440 greater than h?
False
Let h = -2/42499 - 509794/4122403. Let s = 6848/2037 + h. Which is greater: 4 or s?
4
Suppose -173 = n - 3*u + u, u = n + 174. Let l be (-5)/(-19)*(-140)/n. Which is bigger: l or -1?
l
Suppose -559 + 115 = 4*l. Let p = l + 113. Is 24/13 less than or equal to p?
True
Let p = 3 + -1. Let z be (-9 - (-40)/5)/((-2)/4). Suppose -5 - z = 3*y - 5*b, 5*y = 2*b + 20. Is p at most as big as y?
True
Suppose -78*h - 5528 = -70*h. Let o = h + 692. Which is smaller: o or -1/20?
-1/20
Let v = -238/445 - -59378/109025. Which is bigger: -1 or v?
v
Let s = 19303 + -7092. Which is greater: s or 12210?
s
Let z = -9/335 + 959/60635. Suppose 16*j + 685 = 13. Let q be 4/(-6) - 70/j. Is q greater than z?
True
Suppose 89*k - 93*k - 19816 = 5*m, 4*k + 11888 = -3*m. Which is smaller: m or -15859/4?
-15859/4
Let r(j) = 64*j - 4820. Let y be r(57). Is y < -1165?
True
Suppose u - 4 = 0, 2*w - 3*u + 67 = 7*w. Suppose 0 = -z + 76 - w. Suppose 2*t - t = -z. Which is smaller: -64 or t?
t
Suppose 4*q - q = -5*x + 86, 3*q = -4*x + 88. Let z = 1035 + -919. Suppose -a = 5*p - z - 47, p + 4*a = 44. Are p and q unequal?
False
Suppose 72 = 80*w - 83*w. Let x be (w/(-20))/(2/(-35)). Let j be 99/x - (-6 - -1). Which is bigger: j or 1?
1
Let b be -2*((-22059)/90 + (-46)/(-10) + -5). Are 491 and b unequal?
False
Let q be -1 - ((-7)/42 - (-17)/(-6)). Let r(j) = -j**2 + 2*j. Let v be r(q). Suppose s = 2*h + 3, 5*s - 2*h + h + 3 = v. Which is greater: s or -7/16?
-7/16
Let m = 279.62 - 275.62. Is m less than -1/1092?
False
Let n be (-3)/75 - -5 - 5. Let f(y) = -y**3 - 2*y**2 - 2*y - 1. Let h be f(-1). Suppose 3 + h = -3*u. Which is bigger: u or n?
n
Let q be 8/(-20)*-5 + (-1016)/308 + 2. Which is bigger: -2/7 or q?
q
Let i be 53/(-2)*(3 - -1). Let f = 73 + i. Let q = -4 - f. Are q and 30 nonequal?
True
Let l(u) = -4*u**2 - 3*u - 4. Let z be l(-4). Let x be 8*(37895/104)/(-53). Which is bigger: z or x?
x
Let y be (-259)/(-74)*4/(-14). Which is smaller: 15/1991 or y?
y
Let o be (3/(12/88))/(63/27). Suppose s = -s + 18. Which is smaller: o or s?
s
Let u(w) = -35*w**2 - 10*w + 25. Let s be u(7). Let r be 16/s*12/33. Which is smaller: r or 0?
r
Let a be 5075/(-145)*(0 - -1). Which is greater: a or -69?
a
Suppose x = 10*x - 666. Suppose 0 = -x*v + 67*v + 294. Let u(b) = -6*b + 1. Let j be u(-7). Is j smaller than v?
False
Let f = 9534 + -9544. Are -366 and f equal?
False
Let x(o) = -o**3 - 15*o**2 + 3*o + 2. Let g be x(-15). Let d = g + 43. Is -1/8 at most as big as d?
True
Let l be (1 - -1 - 1) + 6. Suppose l*p - 33 = 4*p. Suppose 15463*i = 15449*i + 182. Is p less than or equal to i?
True
Let c = -2544 - -2526. Is c at most as big as -50/3?
True
Let u = 1/22 + -6/11. Let d = 64831/5 + -12959. Which is smaller: u or d?
u
Let y(p) = p**2 + 10*p + 19. Let b be -8 - (-4 + (11 - 4)). Let h be y(b). Which is smaller: h or 39?
h
Let n(i) = -1252*i + 1253. Let b be n(1). Which is smaller: b or -4/1651?
-4/1651
Let v = 1.562 + -0.162. 