 + 0. Is 1 < m?
False
Let z(w) = -w**3 - 4*w**2 - 4*w - 11. Let y be z(-5). Suppose 33*b - y*b - j = 41, 0 = 5*b - 4*j + 187. Which is smaller: -40 or b?
-40
Let x = 110041 - 5683837731/51652. Is x at least as big as -1?
True
Let h be (-4 - -56)*425/100. Which is smaller: h or 1769/8?
h
Let t be 1 - (2 - (4 + 2)). Suppose -t*w - 3*n = -0*w + 99, 4*w + 3*n = -78. Let k = 17 + w. Is 2 smaller than k?
False
Let z = -0.11 + 0.01. Let w be 178/8*(23 - -9). Let v = w - 4969/7. Are z and v equal?
False
Let s(p) = -p**3 - 11*p**2 - 12*p + 83. Let l be s(-9). Which is bigger: l or 27?
l
Let p be 2 + (1 + (-6055)/(-15) - -4). Let g = p - 410. Is -1.23 equal to g?
False
Let u(x) = -x**2 - 166*x - 800. Let z be u(-5). Is 17/4 equal to z?
False
Let y = 1.61 - 26.71. Let j = -0.02 - 10.08. Let q = j - y. Is -1 bigger than q?
False
Let g = -0.01395 + -0.04345. Which is bigger: g or 2/5?
2/5
Let c = -169 - -172. Suppose -4*g - 2*b = -c*b - 1, -2*b - 10 = 0. Is -2 equal to g?
False
Let m be ((-3)/141)/(4/(-3055896)*-6). Let c = m + 2709. Which is smaller: -1 or c?
-1
Let r be (20/8 - 0)/(4/8). Suppose -4*o - 6 = y, y + 5*o + 6 = -2. Let t be (r + -5)/(y/(-2)). Is t at least as big as 3/19?
False
Let t = -17.3 + 17.5. Let s be -4*((-12)/(-42) + 758/(-2604)). Do s and t have the same value?
False
Let v be (-12)/(-42) + (499/(-7) - 2). Let d = 143 + v. Let t = -77 + d. Is -7 > t?
False
Let r be -3*(-4)/18 - (-6110)/(-390). Suppose 3*f + 23 = -5*h - 72, -2*f = 2*h + 42. Is h greater than or equal to r?
False
Let b be 5/(-25) + (-3)/15*-21. Let v be (161/28 + -6)/(b/26). Let f(j) = -j**2 - 7*j - 9. Let l be f(-6). Which is smaller: l or v?
l
Let b(w) = -39*w**2 + 115*w - 1180. Let c be b(10). Which is greater: c or -3929?
-3929
Let g(o) = -12*o + 272. Let h(r) = r**3 - 2*r**2 - 21*r + 12. Let p be h(6). Let w be g(p). Which is smaller: w or -85?
w
Let c(n) = -75 + 32*n + 21*n - 91*n. Let k be c(-5). Is -0.1 at most k?
True
Let m = -0.177 + -3.003. Let k = m + 2.78. Is 0.031 < k?
False
Let y = -7032 + 7030. Is y < 1920?
True
Suppose w - 3*w = 3*l - 154, -w - 5*l = -91. Suppose 0 = 3*f + 2*z - w, -5*f - z + 2*z + 114 = 0. Which is smaller: 18 or f?
18
Suppose -12 = 30*a - 33*a. Let d be (-4)/1 - (a - 7). Is d not equal to -5/48?
True
Let i = -6901 - -6899.9. Which is smaller: i or 12/43?
i
Let g(c) = -c. Let b(n) = 3*n - 5. Let y(l) = -b(l) - g(l). Let d be y(8). Let p be 3 - 1 - d/(66/(-16)). Which is greater: p or 0.2?
0.2
Let z be ((-2010)/75 - -28) + 39/(-20). Is z greater than 6.34?
False
Suppose 2*w - w - 4*z - 1821 = 0, 5*z = -15. Let r = 148341/82 - w. Which is bigger: r or 0?
r
Let j = -0.7 + -7.5. Let d = 2.2 + j. Is 1.2 bigger than d?
True
Let z = 589.9658 + -590. Let m = z + -1.9658. Is m bigger than -0.75?
False
Let i(b) = -b**2 - b - 3. Let l be i(6). Let s = l - -47. Suppose -n = s*k - 2, k + 4*n = -3*k + 12. Is k greater than or equal to -1?
True
Let d = -0.528 - -0.028. Let i = 5.06 - 0.06. Let k = i - 5. Which is smaller: k or d?
d
Let x = 38 - 36. Let b = -465 + 476. Which is bigger: x or b?
b
Suppose -4*x + o + 383 = 0, -5*o + 316 = 3*x - 0*o. Suppose -5*t + 2*u = -761, -3*u - 2*u + 740 = 5*t. Let a = x - t. Do a and -54 have the same value?
True
Let a = -189/370 + 1/2. Suppose 1 = -h, -45*h + 1 = 2*c - 44*h. Is a != c?
True
Let u = -6365 - -5236. Which is greater: u or -1128?
-1128
Let r = -131 + 74. Let z = -59 - r. Let j = 1/42 - -1/21. Which is smaller: j or z?
z
Let h be ((-40)/80)/((-2)/16). Suppose 5*s = -2*s + h*s. Is s > 2?
False
Let h = 58/419 + -118370/19693. Are -6 and h equal?
False
Let m(p) = -p - 2. Let d be m(-4). Let i(t) = -2*t**3 - 19*t**2 + 9*t - 5. Let n be i(-10). Suppose -d*r + 1 = 3*u, -n*r = -r - 8. Which is bigger: u or -2/49?
-2/49
Let i(p) be the first derivative of p**4/4 + 16*p**3/3 - 9*p**2 - 56*p + 74. Let s be i(-17). Which is bigger: s or -41?
s
Let u = 184 + -156. Suppose u*a = 39*a - 11. Which is smaller: 12.8 or a?
a
Suppose 0 = 6*i - 2 + 14. Let m be (-5)/25 + 2 + i/(-10). Suppose 0 = -4*n + 181 - 129. Which is smaller: m or n?
m
Let w = 13 - 19. Suppose 3*j + t + 0*t + 12 = 0, 0 = -5*j + 2*t - 31. Let y be ((-6)/20)/(j*(-54)/(-225)). Which is bigger: y or w?
y
Suppose -5*l = 3*z - 13, -3*l + 13 = -3*z + 34. Suppose 0 = -103*p + 129*p - 104. Suppose 4 + z = 5*y, -p*r + 20 = 4*y. Is r less than -5?
False
Let w = 3528190049/732 + -19289635/4. Let y = -2477 - w. Let l = 9 + -9. Which is smaller: l or y?
y
Let n = 0.01058 + 1.69742. Which is bigger: n or 0.1?
n
Let p = -6960 + 6953. Suppose 0*n + 4*n = 0. Is p < n?
True
Let b = 25 - 15. Let h be 1/(-5) + ((-8)/b)/1. Let w be -1 + h/(-2 - -1). Is 9/11 bigger than w?
True
Let m = -112 + 893/8. Let h(f) = f**2 - 10*f + 18. Let p be h(6). Let b be 9/p*8/12. Which is smaller: b or m?
b
Suppose 151 = -15*v - 299. Let k be ((0 - 1)/v)/((-32)/(-5088)). Are k and 4 nonequal?
True
Suppose -9*p - 24*p = -66. Is -13 at least as big as p?
False
Let p = 25672/5 + -37098/5. Which is bigger: -2286 or p?
p
Let u = -112 + 1. Let l = -99 - u. Suppose -9*k = -l*k. Which is smaller: k or 1/16?
k
Let r(m) = 2*m**2 + 28*m + 11. Suppose v + 2*v + 2*x = -31, -3*x - 41 = 4*v. Let t be r(v). Is -54 >= t?
True
Let d = 17.757 + -18.757. Which is bigger: d or 1280/19?
1280/19
Let f be 2/(-7) + (-8)/(-28). Let m = -587/15 + 39014/105. Let h = -333 + m. Which is bigger: f or h?
f
Let n = 10223 + -10984. Do n and -5318/7 have different values?
True
Let f(b) = 3*b**2 - 16*b + 2. Let j be f(5). Let t(u) = -7*u - 14. Let i be t(j). Suppose i*r = -7*r + 14. Is 2/271 greater than or equal to r?
False
Let g be 5/((-20)/24) + 74 + -4. Suppose 4*j - 190 = 5*a, 4*a + 6 = -j + g. Let t(v) = 2*v**2 - v + 6. Let b be t(5). Which is greater: b or j?
b
Let j be 6/(48/40) + -5 + 1. Suppose 23 = 8*l - j. Suppose -16*n + l*n - 13 = 0. Which is bigger: -2/29 or n?
-2/29
Let s be (-52)/110 + (-4)/(-20). Let j be 1028/8995 + (-6)/(-21). Which is smaller: j or s?
s
Suppose 6091*u = 6107*u - 2256. Which is smaller: u or -2?
-2
Let k(g) = -167*g - 3518. Let y be k(-21). Is y != 87?
True
Let d = -30 + 34. Suppose 0 = f - 2*l - 12, d*l - 5*l = -3*f + 21. Suppose 2*z = f*q - 2*q, -20 = -3*z + q. Which is smaller: 6 or z?
6
Suppose 2790 + 979 = 45*t - 506. Which is smaller: 41 or t?
41
Let n = 3598.7 - 3615. Which is bigger: n or -0.1?
-0.1
Let o(l) = l**3 + 13*l**2 + 5*l + 6. Let y be o(-6). Let z be ((-4)/(-42)*-23)/(y/(-513)). Which is smaller: z or 5?
z
Let s be 9 - (5/5)/(2/10). Suppose -13 = -j - s*y, 4*j + 0 = 5*y - 11. Which is smaller: j or -7/94?
-7/94
Let q(i) = i**2 - i - 34. Let a be q(-6). Let g be 28/a + 2 + (-10)/4. Suppose 0 = g*v - 2*v + 3*c + 33, -23 = v + c. Is -16 bigger than v?
True
Suppose -z - 3*r = -296, 7*z - 11*z + 1233 = 5*r. Which is smaller: 313 or z?
313
Let f be 1/((-3)/(5/(-2) - 2)). Let n = f - 7/4. Let c = -1/2 - n. Which is bigger: c or 0?
0
Let y be 220 + -226 + (0/(-1) - 23). Which is smaller: -59/2 or y?
-59/2
Let m(z) = -z**3 + 7*z**2 + 16*z - 49. Let y be m(8). Suppose -3*a - 4 = -4*a. Suppose 7 = -i - a*w, -5*i - 29 = 2*w - 84. Which is bigger: y or i?
y
Let i be (-1)/(-3) - ((-20976)/(-18) - 17). Which is greater: -1149 or i?
i
Let l = 456 + -420. Let z(y) = 8*y. Let a be z(5). Let h be -3 + 1 + a - 2. Is l bigger than h?
False
Let u be ((-18)/(-63))/(8/(-28)). Let d be ((-2)/(-3) + 6512/(-9867))/u. Is d != 1?
True
Suppose 0 = -4*m - 20, 2*b - 536 = 2*m - 6*m. Let c = b - 294. Does c = 1/21?
False
Suppose 6*q + 3*z - 95 = q, -z = -q + 11. Suppose 0 = 6*v + q - 4. Is v at least as big as 8?
False
Let h = -70 - -77.9. Let q = 79.9 - h. Let r = q - 24. Is r >= 2/3?
True
Let w(x) = 883*x**2 - 886*x**2 - 5 + 25*x - 29*x. Let p be (-3)/2 + 1/(-2). Let l be w(p). Which is smaller: -11 or l?
-11
Let f be (6 - 1 - -33) + 0. Suppose f = 37*h + 112. Which is bigger: -7 or h?
h
Let n = 45 + -33. Suppose 0 = -4*s + n, 3*s = 4*t - 47 - 56. Let b = -46/65 + 4/13. Which is smaller: b or t?
b
Let l(r) = 16*r - 1. Let u be l(1). Let t be (-2)/u*70/903. Which is bigger: t or 0?
0
Let p = -1003637/4 - -249496. Which is bigger: p or -1413?
-1413
Let c = -563 - -340. Let s = c + 224.6. Which is bigger: -0.5 or s?
s
Let f = -35 + 35. Suppose 5*m = 3*s - 17, f = -3*m + 5*s - 39 + 16. Let a = -688 + 