). Let z = -195611/3932 - 3/1966. Let r = c + z. Are -1 and r equal?
False
Suppose r + 36 = -3*r. Let o be ((-2)/(-222))/(r/(-27)). Is o greater than or equal to -1?
True
Let j be (-3)/8*(-2)/21. Let y = 232.9 - 233. Is y less than j?
True
Let h be (2*-10)/(3 + 12/(-3)). Suppose 0 = -26*r + 23*r + 6. Does r = h?
False
Let t = 1641673/265 + -6195. Which is greater: -1 or t?
t
Suppose 4*b - 16 = -0. Suppose 0 = -b*u - 2*r + 18, -4*u - 4*r = u - 15. Suppose -1 = 4*s + u. Which is smaller: 2/3 or s?
s
Suppose 2*h - 558 = 2*k, 237 - 234 = -h. Are -282 and k non-equal?
False
Let i = 1.198 + -0.058. Is -1/2 < i?
True
Let i be -5 + (6 + -7 - 3424/(-571)). Is -1 less than or equal to i?
True
Suppose -21 = 3*t - 21. Suppose 0 = 3*i - 4*p + 56, -3*i + 2*p - 7*p - 38 = t. Which is greater: i or -13?
-13
Let p be (-2)/2*170/(-119). Suppose -3*x - 3 = 15. Let k = x - -8. Which is smaller: k or p?
p
Let f = 106 + -100. Let n be (0 - -30)/(6*f/18). Which is smaller: n or 16?
n
Let r = 12 + -12.07. Let i = -1879 + 1879.6. Which is greater: r or i?
i
Suppose -2*f - 3*f + r = 2, 0 = -4*r + 8. Suppose -2*o - 62 = 2*m, -2*o + 4*m - 38 = -0*o. Let p = 107/4 + o. Which is greater: p or f?
f
Let t be 4 - 14 - 3430/(-325). Which is bigger: t or 1?
1
Let i(g) = g**2 - 12*g + 17. Let z be i(11). Let t be ((-28)/(-6))/((-4)/z). Is -8 at most as big as t?
True
Let m(t) = 2*t**3 + 12*t**2 - 13*t + 21. Let d be m(-7). Is 102/7 less than d?
False
Suppose 0 = 3*z - 5*m - 62, -43 = -2*z - 7*m + 12*m. Is 6 at most as big as z?
True
Let n be -2 + -1*(-4 + -1). Suppose n*w = 5*w. Is w less than or equal to 2/47?
True
Let i be (-5)/(15/(-18)) - 3636/480. Is i equal to -2?
False
Let x = 36 - -5. Suppose 38*o = x*o. Is 4/7 <= o?
False
Suppose 3*u = 3*x + x + 60, -x - 15 = 5*u. Suppose -5*c - 79 = -3*b + 5*b, -4*c = 2*b + 64. Let m = x - c. Which is smaller: m or 2/25?
m
Let k = 23.018 + -23. Let s = k + -0.018. Suppose 5*p - 2 = 2*u - u, -2*p = 0. Which is smaller: u or s?
u
Let g = 62/7 - 548/35. Which is smaller: -6 or g?
g
Let p(d) = -2*d - 7 - d**2 + 6*d + 3 + 2*d. Let u be p(7). Which is smaller: u or 1?
u
Suppose 152*h - 11*h = -987. Suppose 0*t + 2*t = 10. Let g be -3 + 3 + (0 - t). Is h not equal to g?
True
Let p(c) = 5*c + 75. Let a be p(-21). Suppose -l = 5*d + 4*l + 160, 0 = -5*d - l - 152. Is a <= d?
True
Let g = -119 - -120. Suppose -16 = -2*d - 56. Which is smaller: d or g?
d
Let z = -7 + 10. Let n = -11/4 + z. Which is bigger: 0.02 or n?
n
Suppose 0 = o - 2*g + 6, o + 0 = -2*g - 10. Let b(n) = n**2 + 6*n - 3. Let h be b(-5). Is h at most as big as o?
True
Suppose -2*h + 2*u - 14 = 0, 28 = -0*h - 4*h - 4*u. Let l be 4 - -4*(-106)/40. Is h > l?
False
Suppose -3*c + 36 = 6*c. Suppose 3*s + 32 = c*d, 6*s - 3*s - 5*d = -37. Is -40/9 at most as big as s?
True
Let z = -3 + 2. Let s = 22.065 - 0.065. Let t = 17 - s. Is z greater than or equal to t?
True
Suppose 388 = 4*a - 4*t, -2*t = -a + 89 + 3. Which is smaller: 101 or a?
101
Let y(x) = 2*x**2 - 9*x - 1. Let l be y(4). Let r(w) = -w**2 - 4*w + 4. Let q be r(l). Is q at least as big as -1/26?
False
Let h be 28/(-2)*(-1)/2. Let r(w) = -w**2 + 0*w**3 - 3*w**2 - 3*w**3 - 1. Let u be r(-2). Is u less than h?
False
Suppose 766 + 14 = -12*u. Is 0 <= u?
False
Let k = -0.096 + 0.196. Which is smaller: k or 1.65?
k
Let u = -3 - -3.2. Let f(b) = -b**3 - 2*b**2 + 7*b + 7. Let z be f(-3). Let d be 2/(-7) - ((-707)/(-98) + z). Are u and d nonequal?
True
Suppose -6*b - m = -11*b + 187, -2*m - 32 = -b. Is -3 > b?
False
Let s(v) = -v**2. Let i be s(-1). Let f = 1 - -7. Suppose -3*k = -3*y + f*y - 20, 4*y + 16 = 4*k. Which is greater: y or i?
y
Let m(v) = -2*v + 0*v**2 + 4*v + v + v**2 - 5. Let j be m(-4). Do j and 0.12 have different values?
True
Let o = -19.7 - -16.8. Let s = 3 - 6. Let d = o - s. Which is smaller: -1/2 or d?
-1/2
Suppose 0 = 5*c + 15, 0*x + 3*x - 2*c - 72 = 0. Suppose 4*u - 48 = 2*u. Is u < x?
False
Let y = -22154 - -109864/5. Which is smaller: y or 1?
y
Suppose 68 = i + 5*z, -1 = z - 6. Are -15 and i nonequal?
True
Let g be 119*(-2)/(-118) - 2. Let s = 103/885 + g. Let n be (-2)/18*0*3/12. Which is smaller: n or s?
n
Let c(w) = 1 - 11*w + 4*w - 7 + 6*w. Let x be c(-10). Let d = 19 - 13. Which is smaller: d or x?
x
Let k = 318 - 1003/3. Is -15 bigger than k?
True
Suppose 2*f + f = -12. Let b be (-1 - 0) + (6 - 7). Is f at least as big as b?
False
Let z = -55 - -62. Suppose -5*v + 0*v = 30. Let l = z + v. Which is smaller: l or 10?
l
Let h be (-24)/(-40) - 2/20. Is h smaller than -38/3?
False
Suppose -43 + 10 = r - 5*u, r + 4*u - 12 = 0. Let i = 3.987 + 0.013. Which is greater: i or r?
i
Let m = 106.5 + -472.5. Are m and 0 equal?
False
Let m(t) = -18*t + 4. Let a be m(-2). Let i be (-6)/9*(-1 + a). Let p = i + 29. Which is bigger: 0.1 or p?
p
Let m = 9 - 6. Let x be (57/(-6))/19 + -4 + 1. Let w = m + x. Is 0 at most w?
False
Suppose m - 4*w + 16 = -2*m, 4*m + 2*w - 8 = 0. Suppose f + m*f + 65 = 5*d, 0 = -4*d - 3*f + 71. Which is smaller: d or 9?
9
Suppose d = -2, 19*g - 24*g = 5*d + 50. Which is smaller: -85 or g?
-85
Let y = 3 - -2. Suppose 3*q - 3*g - 57 = 0, -2*q = g + g - 46. Suppose 4*m = a + q, -4*m - 3*a + 39 = m. Is y greater than m?
False
Let d be -35 + (-40)/(-22) + (-6)/(-33). Are d and -33 non-equal?
False
Let u be ((-620)/30)/((-14)/(-21)). Which is greater: -1 or u?
-1
Let o(f) = f - 4. Let x be o(6). Let w = 141 + -143. Let k = x + w. Is 1 at most k?
False
Suppose w = -5, 4*j + 3*w + w - 252 = 0. Let a be -2 - (j/112 - 2). Let u = a - 1/7. Which is bigger: -1 or u?
u
Let l = 4 + 0. Let u = 4 - l. Which is greater: 2/9 or u?
2/9
Let z be (41 - (-4 - -8)) + -4. Let b = -47 + z. Is b greater than -15?
True
Suppose -4*u + 2*b = -763 - 455, 0 = -u + 4*b + 322. Is 303 at least u?
True
Let k be (-592)/(-192) - 4/(-6). Let f(s) = 4*s + 2. Let n be f(-4). Let q = n + 18. Do k and q have the same value?
False
Let n = 61 - 59. Suppose n*i - 11 = -3. Which is smaller: 1.1 or i?
1.1
Let b = 414 + -282. Let u = b + -133. Let f(q) = -2*q + 6. Let a be f(5). Which is greater: a or u?
u
Let b = 1927/4 - 484. Which is bigger: -3 or b?
b
Suppose -c + 16 = -5*a, 31*a = 3*c + 36*a + 12. Which is bigger: 1/217 or c?
c
Let o = -21 + 21.1. Let z = -17.07 - -17. Which is smaller: z or o?
z
Suppose -4*b + 8 = -8*b. Let n = b - 5. Is 0.1 bigger than n?
True
Let w = 0.702 - -5.438. Let i = 0.86 + w. Does -3/2 = i?
False
Suppose -5*j - 113 = -4*j. Does -114 = j?
False
Let h be 6/(-8 + 5) + (-22 - 1). Is h equal to -28?
False
Let g = -98.188 - -0.188. Let y = 101.84 + g. Let j = 0.16 + y. Which is bigger: j or -5?
j
Let t be 10/(-3)*21/(-14). Let z be (-2)/(-7) - 15/(-21). Is t smaller than z?
False
Let f = 0.94 - 319.92. Let i = f - -312. Let g = -7 - i. Are g and -1 non-equal?
True
Let d = 9272 + -9256. Suppose 0 = 5*u + 4*z - 80, 0*z = 3*u - z - 65. Which is bigger: u or d?
u
Let y = 93 + -53. Let v(u) = -6*u + 4. Let b be v(-6). Are b and y unequal?
False
Let o = 0.056 - 0.058. Let j = 1.602 + o. Are j and 1 non-equal?
True
Let h = 13 - 12. Let q = -14.5 + 10.9. Is q bigger than h?
False
Let b = 28.2 + -30. Let n = b + 13.8. Let j = n + -13. Is 1/3 less than or equal to j?
False
Let s be (-1)/((-139)/(-335) + (-6)/15). Let y be (-11)/22 + s/2. Is y greater than -35?
True
Let c = 0.0968 + 92.9032. Which is greater: c or 3?
c
Let x = -2/9 - -5/9. Let v = 12598 - 12587.081. Let j = v + 0.081. Which is bigger: x or j?
j
Let d(m) = 7*m + 0*m + m + m + m**2 + 7. Let l be d(-8). Is -2/31 <= l?
False
Suppose 2*v - 3*v = -2*v. Suppose -4*b + 50 = 5*a + 14, 3*b - 12 = v. Suppose 3*s = 4*r - r + 33, 0 = s + 3*r + 1. Is s >= a?
True
Suppose -3 = -2*h - 5, -2*i + 3*h = -33. Is i less than 9?
False
Let k be (2 - -1) + -2 + 16 + -1. Let x be (-232)/(-20) + (-4)/(-10). Let y = k - x. Which is bigger: y or 13/3?
13/3
Let t be ((-1541)/(-69))/(1/(-18)). Let r be (t/105 - -4)*5. Which is bigger: r or -3/2?
r
Let q = -315 + 314. Is 5/14 less than q?
False
Let x be 6/1*(-2 + (-66)/(-27)). Let h(n) = -5*n**3 - n**2 + n + 1. Let l be h(-1). Which is smaller: x or l?
x
Let v be (-5)/50 + (-2)/(-4). Let l = 0.08 + 0.04. Let a = l + -0.2. Is v != a?
True
Let l be 655/(-10)*-6*(0 + 1). Which is greater: 0.3 or l?
l
Let y(g) = 5*g + 27. Let q(h) = 3*h + 1