 w = 1/5 + 3/10. Suppose -5*f + 1 = 5*i - 4, 1 = i. Suppose 5*n + x - 2 = f, 0 = -2*n + 5*x - 5 - 5. Which is greater: w or n?
w
Let k = 0.8 - 1.6. Let r = 0.83 + k. Let n = 0.97 + r. Does n = 1?
True
Let t be ((-8)/48)/(2/(-1112)). Let k = 95 - t. Which is greater: -3 or k?
k
Suppose 3*j - 137 = -5*z, -17*z + 18*z = -j + 27. Which is greater: z or 36?
36
Suppose -7 + 19 = -2*l. Let q be (-2)/36*(l - -2). Let x = 6.871 - 5.871. Is q < x?
True
Suppose -5*l + 3*l = -12. Let u be (2/(-5))/(l/(-30)). Suppose 2*r = -2*m + 18, r + 53 = u*m - 4*r. Is 14 >= m?
True
Let z(f) = -f**2 + 9*f + 8. Let h be z(9). Let r(l) = -l**2 - 1. Let u(m) = 4*m**2 + 4*m + 18. Let j(t) = -5*r(t) - u(t). Let d be j(7). Is h smaller than d?
False
Suppose 0 = 2*i - 4, -3*i - 154 = 2*a - 4*a. Is a not equal to 81?
True
Let a be -1 - -5 - (-178)/((-6)/6). Is -0.1 at least as big as a?
True
Let b be 1 - (-10345)/(-32190)*3. Let s = -5/74 - b. Which is smaller: s or 1?
s
Let h = -1.853 - -1.887. Is 3 at most h?
False
Let f(z) = -z**2 + 12*z + 12. Let k be f(13). Is 3/544 > k?
True
Let m = -0.1 + -0.1. Let c = -0.3 - m. Let o = -909.5 - -909. Which is smaller: o or c?
o
Suppose 0 = -8*r - 8*r - 32. Let v(p) = 14*p**2 + 2*p + 2. Let o be v(r). Which is smaller: 53 or o?
53
Suppose 60*t + 295 = 55. Suppose 18 = -p - 0*u + 3*u, 2*u = p + 13. Is t greater than p?
False
Let d be 1 - (-1 - 0 - 21). Suppose -99 = 3*o - 162. Are d and o equal?
False
Suppose -5*a = -2*p - 5, -6*p - 5*a = -11*p - 35. Which is greater: p or -62/7?
-62/7
Let u = 2/7 - 239/28. Which is smaller: -9 or u?
-9
Let r(n) = n**3 + 11*n**2 + 8*n - 42. Let m be r(-3). Let x(f) = 2*f**2 + 5 - 1 - f**2 - 6*f. Let o be x(6). Is m < o?
False
Let u = 2592/1066033 + 1/2953. Let i = u - 773/18411. Let g = 120 + -119. Is g greater than or equal to i?
True
Let m(b) = b**2 + 1. Let o be m(-1). Suppose 6*l + 52 = o*l. Let i be ((-8)/(-8))/((-11)/(-12) - 1). Is i equal to l?
False
Let b be 12*-1*(-12)/144. Does 3/44 = b?
False
Let y = -2379 - -2379. Let t = 837/190 - 78/19. Is y bigger than t?
False
Let s(i) be the second derivative of 13/2*i**2 - i - 1/3*i**3 - 1/2*i**4 + 1/20*i**5 + 0. Let v be s(6). Which is bigger: v or 2?
2
Let g be 6/26*8/12. Let t be (-17)/(((-234)/(-3))/3). Let b = g + t. Which is smaller: b or 3?
b
Let k = 961 - 1225. Is -1316/5 != k?
True
Let a = -546 + 543. Let s be 1/(1*(-2)/10). Let m be (1 - -2)*s/3. Which is smaller: a or m?
m
Let a(b) = b**3 - 8*b**2 + 6*b + 6. Let y be a(7). Let f = 421 + -5479/13. Let j = 67/117 + f. Is y at least as big as j?
False
Let p be ((-2)/8)/(483/(-70) - -7). Which is smaller: p or -48?
-48
Let c = -653 + 651. Which is smaller: -1/204 or c?
c
Let h = -17517/38 + 461. Let n be (-2)/(-6 - 0 - -4). Which is bigger: n or h?
n
Let c = 0.3 + -0.2. Let g be 161/4 - 1 - 62/248. Let m be 43/143 + (-2)/g*-3. Is m > c?
True
Let w(i) = 13*i + 77. Let y be w(-6). Is 4/377 less than or equal to y?
False
Let x = 2.5 + -2.5. Let u = 3.95 + -30.99. Let h = 27 + u. Which is bigger: h or x?
x
Let j = 30.8 + -44.1. Is -3 greater than j?
True
Suppose -5*r - 3*b + 11 = 0, 0 = 64*r - 66*r - 4*b + 10. Which is smaller: 2/357 or r?
2/357
Let l(g) = -3 + 4 + 6 + g - 3. Let o be l(-3). Let d be (3 - o)/(34/(-323)). Do d and -18 have the same value?
False
Let m be 1/(-4) + (-7)/14. Let f = -2.63 + 2.33. Which is bigger: f or m?
f
Let r = -53 + 83. Let u be (-50)/r - (-2)/3. Is u smaller than 51?
True
Let t = -38.23 - -38. Let m = t + 1.23. Let u be 15/(-6) - (-6)/4. Do m and u have different values?
True
Let g be 2*(0 + (-2)/(-4)). Suppose 6*t + 2 = 8*t. Is t greater than g?
False
Let v = 29 + -22. Suppose 8 - v = f. Is -1/26 equal to f?
False
Let k be -2*(1/(-2) - 1). Which is smaller: k or 4?
k
Let a = -41 - -46. Suppose 2*o + 4*k = -o + 46, 4*k - 66 = -5*o. Which is bigger: a or o?
o
Let z be 2 + -2*4/(-8). Let v be (-13 - 0) + 1 + z. Let j be (v/(-14))/(39/52). Is j > 1?
False
Suppose 0 = 5*a - 10 - 0. Let r = 8939/3 + -2917. Let s = r + -61. Which is smaller: s or a?
s
Let l be (1 + -1)*14/(-28). Suppose 5*p - p = l. Suppose p = h - 3*h. Which is smaller: -4/5 or h?
-4/5
Suppose -21 = 5*m - 16. Is m at most as big as -12/103?
True
Let s = -96523/31 - -3114. Is s less than or equal to 0?
False
Let b = -5 - -15. Suppose 3*s - 138 = -2*q - 15, 2*s = 2*q + 72. Suppose 3*j - y = 29, -3*j = 2*j - 4*y - s. Is b < j?
True
Let k(i) = -4*i - 96. Let p be k(-24). Which is smaller: -79 or p?
-79
Let r = -37 + 39. Suppose 3*u + 57 = -3*l, -4*l = r*u - l + 41. Are u and -17 nonequal?
True
Let t be 7 + 11/((-5709)/3660). Which is smaller: 1 or t?
t
Let u(o) = -10*o**3 + 2*o**2 - o + 1. Let y be u(2). Let k = y + 74. Which is bigger: k or 4/55?
k
Let v(o) = o**2 - 3*o. Let z be v(7). Let i be (-2)/z + (-5)/(-10). Let c = 235/4 + -59. Is i not equal to c?
True
Let b be (-4 - -15) + 20/(-1). Let g be 1/((-2)/(192/10)). Are g and b equal?
False
Let l be (-6)/3*42/24*18. Is -63 at most l?
True
Suppose 3*x - 4*x = -42. Let m be (x/(-49))/(1/(-7)). Is 2 != m?
True
Suppose 3 = -p + 14. Let a(i) = 138*i - 680. Let x be a(5). Do p and x have the same value?
False
Let m be 12/(-4) - 42/(-18). Is 3.6 less than m?
False
Let j = -10 - -2. Let b = j - -8.9. Let h = b + -0.9. Is h at most 1/12?
True
Let h = -2.3 - -11.3. Let i = -11.4 + 3.4. Let d = i + h. Is d at most -0.2?
False
Suppose -2*v = 2*v + 28. Let b(u) = 4*u - 40. Let w be b(8). Let c = v - w. Which is greater: 4 or c?
4
Let c be (((-35)/(-10))/(-7))/(3/(-846)). Is 139 at most as big as c?
True
Let q(f) = 5*f**2 - 42*f + 15. Let y be q(8). Let p be (-4)/(-146)*(-1)/(-2). Is p at most as big as y?
False
Let z = -0.416 - -12.416. Which is smaller: 8 or z?
8
Let j(p) = -7*p - 3. Let n(w) = w - 1. Let b(m) = -j(m) - 6*n(m). Let h be b(-8). Let d be (-3)/((h - 9)/(-2)). Which is smaller: d or -2?
-2
Suppose 0 = 4*l - k - 2*k - 1, l + 21 = 5*k. Let h be -1 + -3 + 2 + l. Suppose 8 = -4*n, 0 = 3*i - n + 2*n + h. Do -1 and i have the same value?
False
Let c(d) = d**3 - 21*d**2 - 16*d - 76. Let o be c(22). Is 54 less than or equal to o?
True
Let u = 42 - -242. Is 284 > u?
False
Let n = -1539 + 1647. Is n less than 110?
True
Suppose s - 9 = -2*s. Let h(v) = -v**2 + v**2 - 8*v - s*v**2 - 6 + 2*v**2. Let d be h(-6). Is d >= 5?
True
Let w = -2.2 + 2.2. Let q = -0.01 - -3.01. Let k = q + w. Is k at most as big as -3/4?
False
Let a(x) = 5*x**2 + 38*x + 15. Let f be a(-10). Is f smaller than 133?
False
Suppose 0*a - 4*f = 2*a + 20, a - 15 = 3*f. Suppose 4*h - 5*v - 211 = a, -3*v = 5*h - 158 - 78. Is h at most as big as 48?
False
Let d be 2/4*348/(-3). Are -58 and d non-equal?
False
Suppose 0 = -5*q + 193 + 47. Suppose q + 24 = -4*s + 3*c, -4 = -c. Let j be (-3)/s*(-5)/4. Is -2 less than or equal to j?
True
Let c = -212.2 - -212. Is c > 5/11?
False
Let j = 47/9 + -89/9. Which is smaller: -5 or j?
-5
Let f(q) be the first derivative of -q**3/3 - 5*q**2/2 - q + 2. Let m be f(-5). Suppose -26*n = -39*n - 26. Is m smaller than n?
False
Let b = -490/249 + 108/83. Let h = 0.96 - 1. Let c = h + -3.96. Is b greater than c?
True
Let j be (-11723)/74442 + ((-2)/12)/(-1). Is 0 not equal to j?
True
Suppose -16*z - 15*z = 3100. Is -102 at least as big as z?
False
Let b be (-4)/14 - 27/(-21). Let y be ((-2)/4 + 47/(-2))*-1. Let u be (-90)/y - -4 - 17/116. Is b at least as big as u?
True
Let f be (-1)/(-6)*363/(-5). Suppose -2*r - 49 = -5*x, 0 = -2*r + 3*x - 30 - 9. Let m = f - r. Are 1 and m nonequal?
True
Let o(h) = h**2 - 2*h - 2. Let k be o(3). Let u = -1 + k. Let l = -3/13 + -5/91. Which is smaller: l or u?
l
Let c = -94 - -102. Suppose 0 = c*f - 10 + 114. Are f and -13 non-equal?
False
Let k = 227/14 - 39/14. Which is greater: 1 or k?
k
Let j be ((-20)/175)/(2/5). Is -27/2 greater than j?
False
Let p = 1.43 - 0.61. Let q = p + -0.52. Which is greater: q or -12?
q
Suppose s + 21 - 13 = 4*w, 2*w - 4 = 3*s. Which is smaller: -1/4 or s?
-1/4
Let j(i) = i**3 + i. Let g(a) = -a**2 + 3*a + 1. Let s be g(3). Let c be j(s). Is c less than or equal to -2?
False
Let h(l) = 3*l**2 - 23*l - 7. Let p be h(8). Let r be 5/((-20)/72)*p. Which is greater: -19 or r?
r
Let p(g) = -g**3 - 12*g**2 - g - 1. Let j be p(-12). Let y be 2/j - 81/506. Which is smaller: y or -1?
-1
Let m be -2*6/(24/(-2)). Su