t m = -7 + 6. Is i <= m?
False
Let g be ((-2)/5)/((-1)/5). Suppose -4*d + 9 = -4*q - 11, 2*d - 12 = 4*q. Let y be g/d + (-30)/48. Is 1 >= y?
True
Let p(g) = -14*g + 183. Let i be p(4). Which is smaller: i or 0?
0
Let i = -15.3 + 24. Let j = i - 8.6. Which is smaller: j or 101?
j
Let k = 0 + 3. Let a = k + 7. Let c be (10/(-25))/(34/a). Which is greater: c or 1?
1
Let a(d) = -d**2 - 12*d - 19. Let c be a(-7). Suppose -177 = 7*m - c. Which is greater: 2 or m?
2
Let o(u) = -2*u**2 - 34*u + 19. Let f be o(-17). Suppose -f*g = -17*g. Is 2/33 less than g?
False
Let o = 739426/7 + -260269811/2464. Let g = o + -36/11. Which is bigger: g or -1?
g
Suppose 2*l = -0*u + 4*u + 170, 0 = 2*l - 2*u - 162. Let i = l - 461/6. Do i and 0.4 have the same value?
False
Let q = 0.263 - 0.363. Which is bigger: q or 288?
288
Let v = 118 + -121. Let d = -0.04 + 0.34. Let c = -0.4 + d. Is c at most v?
False
Let v be -2 - -3 - 2 - -20. Suppose 2*d = a + v, -11 = 5*d - 4*a - 57. Suppose x + 0*x = -d. Which is smaller: x or -11?
-11
Suppose -4*m - 117 = -5*d, -3*d - 5*m = -d - 27. Let h = -5140 - -5160. Is h > d?
False
Let o be 0/((-7)/(14/(-4))). Suppose -2*w - 31 = -3*n - 3*w, -2*n + 3*w + 28 = o. Is n <= 4?
False
Suppose 22 = -5*v + 2. Let w be 3 + 3 + (-1 - v). Suppose -2*p + 10 = -p. Is p > w?
True
Let g = 0.021 - -0.459. Let w = g - -20.52. Which is bigger: -3 or w?
w
Suppose 0 = 5*k - 172 - 3. Let x be 14/(-10) + 14/k. Let y be ((-36)/45)/((-4)/(-10)). Which is smaller: x or y?
y
Let q(f) = 2*f**3 + 9*f**2 - 8*f - 11. Let y be q(-8). Let n be y/78*(-11)/660. Let w = n + -3/104. Is w >= 1?
False
Let y(i) = i**3 - 4*i**2 - 5*i + 1. Let g be y(4). Let d = g - -13. Let w = 12.42 - 12.52. Which is smaller: w or d?
d
Let l = -1 + 2. Let n(u) = -u + 1. Let z be n(l). Let w be ((-3)/2)/((-117)/12). Which is greater: w or z?
w
Let i = 10841642/55 + -197113. Let u = -32/5 + i. Is 1 < u?
True
Let m = 93 + -139. Suppose -37*r = -22*r. Which is greater: r or m?
r
Let p = 0.62 + 0.04. Let z = p + 4.34. Is 0 at least as big as z?
False
Suppose 4*j + v = -12, 4*j + 0*j - 12 = 5*v. Let c be (j/1)/(5 - -56). Are 1 and c equal?
False
Let j(t) be the second derivative of t**5/20 + 7*t**4/12 - 4*t**3/3 - 4*t**2 - t. Let b be j(-8). Let z be (b/(-10))/(18/45). Is 2 smaller than z?
False
Let i = 26 + 85. Let p = i + -110.7. Which is greater: -0.29 or p?
p
Let z = 52 + -57. Are 0.01 and z equal?
False
Let l = -75 + 76. Suppose -2*j + 3 = -j - w, 0 = -w - 1. Let k be j - l/((-9)/(-8)). Which is bigger: 2 or k?
2
Suppose 3*v - 59 - 37 = 0. Let l = 13 - -17. Is v at most l?
False
Let y = 1.4 + 2.6. Let h = 5.7 - y. Let n = h - 1.9. Is 0.2 <= n?
False
Suppose 5*o - 580 = 5*n, -123 = n + 5*o + 23. Are n and -122 non-equal?
True
Let c = 299 - -524. Let s = c + -10693/13. Is s less than or equal to 1?
True
Let r be (-24)/3*(-2)/(-4). Suppose -4 + 12 = 2*u. Let t be 5 + -34*1/u. Is r not equal to t?
True
Suppose 0 = 3*o - 41 + 14. Let t be (-168)/o - 6/(-9). Let r be (-2)/8*t*-2. Which is greater: r or 1/2?
1/2
Let n be 8/36 + 212/18. Let d(l) = 13*l. Let s be d(3). Let p be 10/30*s/1. Are n and p equal?
False
Let q = -106.33 - -107. Let h = q - -6.93. Let r = 8 - h. Which is bigger: -0.3 or r?
r
Suppose 11*r - 9*r - 8 = 0. Suppose 0 = -0*f + r*f - 180. Let a be 6/(-30) + 11/f. Are a and 0 nonequal?
True
Let r = -6/187 - 6111/1870. Which is bigger: r or -2?
-2
Let t be (4/(-6))/(16/(-102)). Let k = t + -9/2. Let d be 4/(-3) - 6/(-18). Is k at least d?
True
Let u = 21 + -46. Let z = u - -2. Is -22 greater than or equal to z?
True
Suppose -6*j = 74 + 28. Let n = j - -20. Is -3 equal to n?
False
Suppose -4*p + 6 - 2 = 0. Let d be 292/(-66) + (-2)/(-6). Let o = d - -743/187. Is p < o?
False
Let u = -8 - -22. Let s = 8488 - 8474. Are s and u non-equal?
False
Let x = 781.2 + -781. Is x at least as big as -0.027?
True
Let u = -111.87 - -112. Let r = -243.03 + 242. Let j = r + u. Are j and -2/5 nonequal?
True
Let k(u) = 3*u**2 + 71*u - 25. Let o be k(-24). Which is smaller: o or 12/85?
o
Let z = 3.4 + -3. Let q = z - -1.6. Let s = 0 + 0.4. Is s at least as big as q?
False
Let h be 1/(-24)*-4*(-1 - -7). Is 3/17 < h?
True
Let c = 0 - 2. Let m(h) = h**3 - 28*h**2 + 121*h - 138. Let v be m(23). Which is smaller: c or v?
c
Let l(s) = 35*s - 64. Let k(h) = 17*h - 33. Let b(o) = 13*k(o) - 6*l(o). Let i be b(4). Which is bigger: -3/17 or i?
-3/17
Let h(l) = -l**2 + 43*l + 147. Let k be h(44). Is 101 at most as big as k?
True
Let v = 71 - 88. Which is bigger: v or -55/3?
v
Let l = 38.97 + 0.03. Let s = 183 - 182. Is s less than or equal to l?
True
Let o be (-1102)/(-95) + 4/10. Which is greater: o or 15?
15
Let u = 11 + -13. Let r be 4/u*2/(-10). Let h(z) = -z**2 - 3*z + 1. Let t be h(-3). Is r less than or equal to t?
True
Let k = -89 + 37. Which is greater: k or -55?
k
Let s = -20.61 + -0.39. Let z = 2086 - 2086.2. Are s and z equal?
False
Let d be (10 - (-84)/(-12))*(-1)/(-3). Which is greater: d or 2/313?
d
Let h = 7315171/3957 + -5546/3. Is 0 greater than h?
True
Let v be (3 - 87/33) + (-5238)/66. Suppose 0 = -2*f + 3*f, -5*k - 5*f = 395. Is k at most as big as v?
True
Let g = -19.19 + 19. Let x = 26.19 - 26. Let l = x + g. Which is smaller: -1 or l?
-1
Let l(i) = -3*i**3 - 2*i**2 + i. Let x be l(1). Let j be (0/x - 1)*0. Let b = -1/20 - -43/460. Which is bigger: b or j?
b
Let z = 26 + -31. Let b = z + 3.4. Let w = -1.4 - b. Is 3/8 greater than w?
True
Let a = -1610 - -1611. Which is greater: a or -2/1729?
a
Let p = -385 + 390. Suppose 0 = 2*o - 2 - 0. Do p and o have different values?
True
Let r(u) = -3*u**2 - 18*u - 1. Let o be r(-6). Which is smaller: o or -20/31?
o
Suppose 0 = 3*s - 3*f + 6, -s + 3*f = -f + 14. Suppose 12*k - s*k = -90. Which is smaller: k or -37/4?
-37/4
Let n(g) = -g**3 - 2*g - 2. Let j(d) = -d**2 + 6*d - 8. Let o be j(5). Let a be n(o). Is 32 at least a?
True
Let z(i) = 384*i**3 + 2*i**2 + 35*i - 35. Let x be z(1). Which is greater: 0 or x?
x
Let a = 1/39 + 4/13. Suppose -3*x = -4*z + z + 42, -12 = x + z. Is x bigger than a?
False
Let q = 15 + -10. Let z(n) = 6*n**2 - 2. Let h be z(-1). Is q smaller than h?
False
Suppose x + 55 = 40. Is x not equal to -16?
True
Let f be (13/(-3) - 1)/(-2). Suppose 4*c + 5*n = 3*c - 10, -5*c + 4*n + 8 = 0. Suppose c*l - 12 = -3*l. Which is greater: l or f?
l
Let x = 36 + -29. Suppose -x*p = -12*p + 30. Suppose 7 = z + p*z. Which is greater: z or -1?
z
Let c be (-9 - (9 + -20))/(-4). Which is greater: -234 or c?
c
Let h = -5 + 23. Suppose 0 = l + 22 - h. Which is smaller: l or -3?
l
Suppose -5 = 4*y - 9*y. Suppose 2 = -2*v + 2*h, h - y = -2*v + 2*h. Let w = -41.2 - -39.2. Is w less than v?
True
Let r = 6 - 7. Which is smaller: 2/2069 or r?
r
Suppose -3*s - 55 = z - 6*s, 10 = -5*s. Let g = 42 + z. Is -21 at most g?
True
Suppose 4*k = 2*k + 3*r - 1, -10 = -5*k - 5*r. Let b be k/(3/(-117)*3). Is b > -13?
False
Suppose -10 - 3 = 4*y + 5*n, -15 = -5*n. Let c = -7 - y. Let z = 7/18 + -1/6. Is c greater than z?
False
Suppose -2 = 3*s + 5*k, 5*s - 2*k - 14 - 24 = 0. Let i = -16 + s. Let u be (-4 - -6) + -12 - 1. Which is greater: u or i?
i
Suppose 5*j + 1024 = z, -5*z - 67 = 4*j + 758. Are -206 and j unequal?
True
Let f = -3 + 1.6. Let l = -1.3 - -2.2. Let x = l + f. Which is greater: -0.1 or x?
-0.1
Suppose -3 = -o - 0*o. Suppose 0*y - g + 16 = 2*y, -o*g - 22 = -y. Suppose 5*p + 95 = y*p. Is p not equal to 18?
True
Let c be 60/(-50) + 84/(-5). Is -1 <= c?
False
Let w = 1/1483 + -115679/7415. Does w = -16?
False
Let b be (432/15)/(6/20). Is b at most 96?
True
Suppose -4*p = -19 - 17. Let x be (6/p)/((-1)/9). Is x at least -6?
True
Let n = -36.1 + -6.9. Let y = -44 - n. Let o = -0.52 + 0.6. Which is bigger: o or y?
o
Suppose 0*k + 13 = 3*k + 2*l, -3*l - 3 = 0. Suppose 0 = -k*s + 3*s. Which is smaller: s or -6/23?
-6/23
Suppose 0 = -4*n - 2*t - 191 - 57, -5*t + 40 = -n. Which is greater: -58 or n?
-58
Suppose -4*g + o = -19, 2*g + 5*o + 3 = 18. Suppose -4*q = -3 - g. Suppose b = -2*n + 5, -q*b - 17 = -4*n + 13. Is b smaller than -4?
True
Let x = -109 - -97. Let t be x*((-658)/(-164) - 4). Does 1 = t?
False
Let s be -1*(10*3 + 4). Let w(l) = l. Let c be w(-1). Let i = c - 33. Is s at least i?
True
Suppose 11*g = 163 - 1472. Let x = -120 - g. Which is smaller: 