 Is -43 at least as big as f?
True
Let c be 384/(-18)*(-6)/4. Let o = c + 4. Which is smaller: o or 37?
o
Let k = 0.13 + -0.23. Let o = -35/11 + 34/11. Let y = -58/33 - o. Is y less than or equal to k?
True
Suppose l = d + 6, -3*d = l - 5*d - 2. Is -1/13 greater than or equal to l?
False
Let x = 153 - 153. Which is bigger: x or 9/8?
9/8
Let x = -27 - -55. Let c = x + -33. Is -7 smaller than c?
True
Let o = -374 - -382. Is o >= -6/5?
True
Let k = -5.02 + 5.22. Is -0.144 greater than k?
False
Suppose -5*m = 2 + 8. Let r be m*(-4)/16*-2. Is r greater than -1?
False
Suppose 18*j - 4*b + 2196 = 22*j, -4*b - 2156 = -4*j. Are 544 and j equal?
True
Suppose 5*q - 48 = 2*g, 0 = -4*q - 5*g + 3*g + 24. Let r = 22 + -16. Are r and q nonequal?
True
Let m = -2 - -2.2. Let i = m + -0.3. Let f = -444.8 + 445. Is i less than f?
True
Suppose 5*l + 0*s + 3*s = -15, 0 = -3*l + 2*s + 10. Let f(k) = 2*k**2 + 7*k - 4. Let b be f(-4). Suppose l = g - b*g + 2. Which is greater: g or -1?
-1
Let b = 1 + -0.7. Let r = 0.4 - b. Which is greater: -6 or r?
r
Let h be 6/(((-75)/(-220))/(-5)). Which is greater: -89 or h?
h
Let f be (-24)/108 + (-142)/9. Let z = 24 + f. Let m be (z/(-564))/(6/9). Are m and 1 equal?
False
Let c = 2644 - 1549383/586. Is c equal to 1?
False
Let s = 162 - 164. Let n = 51127/5 + -10347. Let a = -122 - n. Which is smaller: a or s?
s
Let y(l) = -l**2 - l + 15. Let g be y(0). Let m be (36/g)/(6/20). Suppose -m*n = -7*n. Is n bigger than 2/13?
False
Let m = -161/3 - -4994/93. Suppose -6*o - 2 = -8. Are m and o non-equal?
True
Let b = -25 - -23. Let s = -38 + 39. Does b = s?
False
Let x = -7193/9 + 798. Which is smaller: x or -1?
x
Suppose -40 = x + x. Let t be x/70 - 26/7. Let d be (4 - 1) + (-6)/1. Which is smaller: t or d?
t
Let x(g) = -g + 4. Let b be x(2). Suppose -2*y + 22 = b*j + 3*j, 0 = -4*y - 3*j + 16. Let s = 2696/15 - 180. Is s < y?
True
Suppose 5*s + 6 = 11. Let q be s/9 - 13785/135. Let m be (2/q)/((-1)/(-3)). Which is smaller: -1 or m?
-1
Let k = 457.41 - 454. Let r = k + -1.41. Is -9/4 >= r?
False
Let o(u) be the second derivative of u**4/12 + 5*u**3/3 + 23*u**2/2 + 2*u. Let a = -109 - -103. Let b be o(a). Which is smaller: -2/57 or b?
b
Let a be (273/(-14))/(6/8). Let s = a + 30. Let c be 6/s*(-12)/18. Are 2 and c equal?
False
Let n(s) = -s. Suppose 11 = -w + 4*w - 2*o, -4*w + 11 = o. Let d be n(w). Let h be (-3)/d - (-1 + 2). Does h = 1/14?
False
Let h be 8/100*(-15)/12*1. Let i = 5 - 5. Let c be -1 + 1 + i - 1. Which is smaller: c or h?
c
Let b be (50/(-75) + (-46)/12)/(-21). Which is bigger: b or -11?
b
Let f(h) = -2*h**3 + 11*h**2 + 4*h + 9. Let a be f(6). Which is greater: 0 or a?
0
Let d(t) = t**2 - 11*t - 12. Let g be d(14). Suppose g = 3*u - 6. Suppose -2*b = -q - 27, q + 5 = -4*q. Does b = u?
False
Let a = -594 - -1781/3. Which is smaller: a or -45?
-45
Let t = -14.6 - -13. Let d = -8.6 - t. Let r = d - -8. Which is greater: -1 or r?
r
Let w be 11 + -10 - (-1 - -5). Let y(n) = n - 3. Let d be y(-3). Is w at least as big as d?
True
Let r = 354 - 365. Let t = -10 - -3. Let o be (-13)/21 + (-2)/t. Which is smaller: r or o?
r
Let g be 32/(-24)*-3 + 105. Is 112 at least g?
True
Let x(i) = -i**2 + 2*i - 4. Let y(b) = -b**2 + b - 2. Let a(c) = 4*x(c) - 7*y(c). Let d be a(-2). Which is bigger: d or 10?
10
Let d = 246 + -258.6. Is d equal to -1?
False
Suppose 4*c - 2*g - 843 + 233 = 0, 4*g + 600 = 4*c. Let v = c + -154. Which is greater: v or 2/7?
v
Suppose -5*y + 2*f - 1 = 0, 4*f + 3*f = 4*y - 10. Let w be (1/(-2))/((-14)/(-4)). Is w at least as big as y?
True
Let o = 22537/3050 + -189/122. Are o and 7 non-equal?
True
Let u(x) = -30*x + 11. Let h be u(2). Let p be -3 + 1 + h/(-28). Let i(c) = c - 5. Let s be i(6). Which is bigger: p or s?
s
Suppose 5*y + 5*a = -7 + 22, -2*y + 1 = -3*a. Let i be 4/(-28)*y + (-99)/21. Is -7 greater than i?
False
Suppose -14*b + 65*b = -2652. Are b and 2 equal?
False
Let i = -6 + 10. Let v = i + 4. Let c be v/(-6) + (-1)/(-3). Is c greater than -1/2?
False
Let n be 56/72 - (16/9 - 2). Is n >= 42/25?
False
Suppose -13*b + 8*b - 65 = z, 5*z = -b - 325. Which is greater: z or -452/7?
-452/7
Let i = 2011/33 - 61. Let a be 1 + 0 - (3 - 4). Suppose 0*t + 2*t - a = 0. Which is smaller: i or t?
i
Let w = -65449/18957 + 243/71. Which is bigger: 0 or w?
0
Let s = 3075 + -3143.7. Is s at most as big as -2?
True
Suppose -4*q - 3*d + 18 = -3*q, -5*d = 4*q - 51. Suppose -9 = -3*n + q. Which is smaller: 5 or n?
5
Let n = 13.2 + -2.2. Let d = -1538/7 - -220. Which is bigger: d or n?
n
Let x(i) = -i**3 - 7*i**2 + i + 15. Let y be x(-7). Suppose y*k = 2*k + 18. Which is greater: k or 2?
k
Let k = -10 - -7. Let w = -96 + 41. Let g = w - -56. Does k = g?
False
Let b be -2*(-4)/56*7. Which is smaller: 6/247 or b?
6/247
Suppose 29 + 94 = 3*d. Let x = d - 40. Is x not equal to 5/8?
True
Let b = -97387/74 - -1316. Is b less than or equal to 0?
True
Let u be (-54)/(-42) + (-2)/7. Let g be 0/u - (-5 + 1). Suppose -8*q - 16 = 4*z - g*q, -24 = -4*z + 4*q. Is 1/2 at most z?
True
Suppose p + 30 + 5 = 3*r, 0 = 2*r + 3*p - 5. Let w = r - 8. Let b be 1/1*(w - 1). Does 2 = b?
False
Let x = 46 - 109. Let a be (-36)/x - (-4)/(-7). Which is smaller: a or 2/7?
a
Suppose -i = -1 - 0. Let r = 2 - i. Let z = -35021/20 + 1751. Which is bigger: z or r?
r
Let i = -116 + 168. Let y be ((-6)/i)/((-6)/4). Let v(a) = a - 2. Let r be v(1). Which is smaller: y or r?
r
Let c be (18/5)/((-9)/(-30)). Suppose -7*k + 4*k + c = 0. Let n = 0.2 + 0. Which is bigger: k or n?
k
Let y(w) be the first derivative of -w**4/4 + 11*w**3/3 - w**2/2 + 26. Let u be y(11). Is u at least -11?
True
Let m(l) = 2*l**3 + 2*l**2 + 4*l + 1. Let u be m(-2). Let h be (-6 - -4) + u/(-7). Do -1 and h have the same value?
False
Let j = -764 - -770. Let v(g) = -g + 3. Let t be v(-4). Is t greater than j?
True
Let v = 15 + -15. Let y = v + -2. Let g be (-8)/(-16)*(-4)/y. Which is greater: 3 or g?
3
Let r(b) = -b + 1. Let w be r(3). Let q be (-620)/434 + 181/210 + 1/6. Is q at least as big as w?
True
Let c = 299 - -61. Is 359 at least as big as c?
False
Let h(l) = -l**2 + 5*l - 4. Let v(c) = c - 13. Let i be v(6). Let g = 13 + i. Let n be h(g). Does -9 = n?
False
Let k(z) = z**3 + 4*z**2 - 6*z - 9. Let m be k(-5). Let d be 0/((-8*1)/m). Which is greater: -1/41 or d?
d
Suppose -r + 2*t - 99 = 0, -37*t + 35*t = 5*r + 447. Are -91 and r nonequal?
False
Let k be -1 + -3 + -2 + 24. Let o be (4/(-5))/(k/30). Suppose -4*i - 20 = 5*t - 0*t, -i + 12 = -3*t. Which is smaller: o or i?
o
Let d(s) = -s**3 + 6*s**2 + 8*s + 9. Let h be d(7). Let b = 55 - 38. Which is bigger: h or b?
b
Suppose 3*q + 12 = 6*q. Let c be q/21*(-14)/12. Suppose -5*w - 17 = -7*w - 5*f, -2*f = 5*w - 11. Is c bigger than w?
False
Let s = -829.026 + 851. Let m = 0.026 + s. Let t = m + -15. Which is greater: t or -0.1?
t
Let w be 203/4 + (-201)/134. Which is greater: w or 49?
w
Let x = 15 - 9. Let k = x - -3. Let n = k + -11. Is -2 bigger than n?
False
Let u = -19 - -26.8. Let j = 8 - u. Is 19 smaller than j?
False
Let y = -1780 - -1775. Is -0.93 at most y?
False
Let c(p) = p**2 - 12*p + 1. Let b be c(10). Which is greater: b or -22?
b
Let x = 9.9 - -11.1. Is x < 0.1?
False
Let v = 397/7 + -57. Let g = -79.77 - -79. Let j = -13.77 - g. Is j != v?
True
Suppose 0 = -3*z - 6 - 9. Let r be (-6)/(-15) - 68/z. Let w = r + -14. Which is smaller: 1/11 or w?
w
Let y = -0.89 + 0.7. Let m = 1.2 - 1.29. Let n = m - y. Which is bigger: n or 5?
5
Let y be (-1*144/14)/(91/3185). Which is smaller: y or -359?
y
Suppose 16*j - 108 = 19*j. Let y be ((-4)/(-4 + j))/((-3)/12). Is -1 at least as big as y?
False
Let b = -74 - -37. Let s = b - -38. Is 1/2 at most s?
True
Let c = 5 - 6. Let r be c/(0 + (-1)/2). Suppose -r*z = 3*x + z - 12, z - 4 = -5*x. Is x at least 2/35?
False
Let o = -29 - -29. Let s be 42/(-147)*(-28)/(-30). Is s != o?
True
Let f = 10.4 - 9.22. Is -1 bigger than f?
False
Let c = 187.9 - 198. Let v = c + 10. Let z = 0.4 + 3.6. Which is smaller: z or v?
v
Let o = -1555 - -1554.9. Is 118 bigger than o?
True
Let m be (2/4)/((-8)/448). Is m smaller than -56?
False
Let k be 36/63 - 2/28. Let s be (-14)/12*(-18)/56. Which is greater: k or s?
k
Let w be 16/(-96)*(-7 - -1). Is -3/49 at least as big as w?
False
Let i = -24 + 29. Let p = 7 