be 8 - 2/(-66)*-261. Suppose -2*y + 11 = -3*o, -4 + 1 = -y - o. Let x be (-8)/3 + y/2. Do z and x have different values?
True
Let f = -1.26 - -0.1. Let s = f + 1.1. Let c = -5.94 + s. Which is smaller: c or 1?
c
Suppose 4*c - 4*m = -44, -3*c - 3*m = m - 2. Let o be (-4)/(-10) - c/10. Is o less than or equal to 12/13?
False
Suppose 0 = 3*w + 3*w. Let u be -2 + 7 + 2 + -2. Suppose u*k + 6 = 16. Which is greater: w or k?
k
Suppose -196 - 229 = -17*l. Is l <= 20?
False
Suppose 0 = 5*m + 2*b - 5*b - 68, -5*m - 5*b + 60 = 0. Suppose 6*z = 3*z - p + 29, -3*z + m = 5*p. Is z less than or equal to 9?
False
Suppose -1 - 2 = 3*x + b, -x = 2*b - 4. Let a be (-7)/(-21) + x/(-3). Which is greater: a or 2?
2
Let p be -4*3/(-3) - 2. Let w(a) = a**2 + 0*a**2 + 2 + 4*a - p*a**2 - 1. Let d be w(4). Is d less than or equal to 8/5?
True
Let r be 3*-1*1 + 19 + -4. Let d be r/3 - 12/3. Let m = -2 + 2.1. Which is bigger: d or m?
m
Let t = 1147 + -10210/9. Is t at most 14?
True
Suppose -3*c - 16 = -31. Suppose -48 - 42 = -c*g. Suppose x + 67 = 4*r, r + 46 = 4*r - 5*x. Which is smaller: g or r?
r
Let j be 12/28 + 172/56. Suppose -3*p - 5*i + 22 = 0, -1 + 3 = -p + 3*i. Let l(f) = -f**2 + 5*f - 1. Let d be l(p). Which is smaller: j or d?
d
Let i = -632.31 - -628. Let l = -4.4 - i. Which is bigger: -4 or l?
l
Suppose 0*x - 27 = -9*x. Let i(v) = -10*v + 31. Let o be i(x). Which is smaller: o or 2?
o
Let n = 574 - 439. Which is smaller: 134 or n?
134
Let o = 41.6 - 41.5. Which is bigger: o or 449?
449
Suppose 3*b = -3*q - 108, 2*q = -4*b - 233 + 85. Let l = -32 - -33. Which is greater: b or l?
l
Suppose -2*k = -1 - 5. Suppose 0*n = -k*n + 12. Suppose -3*w + 12 = -5*f, 3*w = -5*f + n*w - 4. Is 2 != f?
True
Suppose -5*q + 4*u = 30, 4*u = -q - u - 35. Let b = -10 - q. Which is greater: 2/49 or b?
2/49
Let n be 8 + -4 + 105/(-3). Let c = -27 - n. Which is smaller: c or 3?
3
Let w = -2.648 - 0.052. Let f = w + 2.8. Let i(v) = v**3 + 3*v**2 - 3*v - 2. Let g be i(-4). Is f bigger than g?
True
Suppose -3*w = 6 + 9, -3*p = -w + 25. Is 2 equal to p?
False
Let h = -11 - -17. Suppose -10*o = -9*o - 3. Suppose 18 - 11 = -o*p + 5*s, -4*p + 3*s = -9. Are p and h equal?
True
Let c = 3.9 - 4. Let z = c - -14.1. Let i = 11 - z. Which is bigger: i or -1/5?
-1/5
Let c(g) = 3*g + 3*g - 6*g + g - 4. Let l be c(4). Which is smaller: l or 5/7?
l
Let k be 2/6 - (1100/(-12))/(-5). Let d = 196 - 109. Suppose d = -3*q + 36. Which is smaller: q or k?
k
Suppose -4*w = 3*x + 190 - 593, 0 = x - 5. Is w less than 98?
True
Let t = 0 - 0. Let h = 875606/23 - 38070. Which is bigger: t or h?
t
Suppose 0 = -s + 5*t - 10, 0 = -7*t + 3*t + 8. Is 11/36 bigger than s?
True
Let z = -1.64 + 1.6. Let r = -1.04 - z. Let v = 0 - r. Which is smaller: -15 or v?
-15
Let k = 5.39 + -6.39. Is k at most as big as -90?
False
Let x(s) be the third derivative of -s**6/120 - s**5/30 + 5*s**4/12 + 4*s**3/3 - 23*s**2 - 2*s. Let j be x(-4). Which is greater: -3 or j?
j
Let x = -24 - -8. Which is greater: x or -87/5?
x
Let p = -1.236 - -6.236. Let o = 17847/4 + -4503. Let t = o + 41. Are t and p equal?
False
Let f = -24.8 + 28. Let z = 1522 - 1525.1. Let j = z + f. Are j and 2/15 equal?
False
Let p = 0.3 + 0.1. Let k = -157 - -151. Is k at least p?
False
Let u = -0.06 + 0.083. Let v = u + 1.217. Let i = -1.3 + v. Which is smaller: 0 or i?
i
Let u = -97 + 97. Let l be ((-2)/92)/(27/12). Are l and u equal?
False
Let w be ((-10)/(-25))/(54/(-45)). Is -750 equal to w?
False
Let j(t) = t**2 - 6*t + 7. Let a be j(5). Let k be ((-16)/168)/((-3)/49). Which is smaller: k or a?
k
Let h = 112 + -110. Let v(o) be the third derivative of -o**4/8 + 5*o**3/6 + 3*o**2. Let p be v(h). Do p and 1 have the same value?
False
Let n = 4579 + -4582. Let q(c) = -c - 7. Let t be q(-6). Which is smaller: n or t?
n
Suppose 0 = 5*f + 2*b - 1, -b + 4 = -f - 0*f. Which is smaller: 2/585 or f?
f
Suppose 0 = -6*c + 9*c + 3. Let w be 3178/(-791) - -2*2. Is w at most c?
False
Let m = -2 - 0. Let b = m - -1. Let r = -0.462 - 0.038. Which is bigger: b or r?
r
Let j = 0.81 - 0.91. Which is smaller: j or -323?
-323
Suppose 3*r + 5*s - 70 - 572 = 0, -214 = -r - 5*s. Is 211 at most as big as r?
True
Suppose -7*a - 123 = -123. Which is bigger: a or 64?
64
Let o = 1 - -1. Suppose 4*d + 4*m = 2*m + 54, -4*d + m + 57 = 0. Let x be 1*(-3 + 2)*(-12)/d. Is x smaller than o?
True
Let p = -11.01 - -58.11. Let m = p + -47. Which is greater: m or -7?
m
Let m = 3067/50 - 456/25. Let w = -87/2 + m. Which is smaller: w or -4?
-4
Suppose g + 3 = 4*g + 4*d, -2 = -2*g + 2*d. Let v = 4/759 + -58/2277. Which is bigger: g or v?
g
Let u = -42 - -20. Let r = -24 - u. Is r < -2?
False
Let m(n) = -n**2 + 15*n - 34. Let q be m(3). Is q smaller than -111?
False
Let m(z) = -z**2 + 13*z + 8. Let b be m(13). Suppose 5*j + l = -4*l + 20, b = -j + 3*l. Is j < 2/141?
False
Suppose 9*j = -3*n + 4*j - 174, -174 = 3*n - j. Is n less than or equal to 0.02?
True
Let h = -45 - -46. Let j be (3 - (h - -3))/(-5)*-9. Suppose 0 = -2*m - 5*l - 4, -2*m - l + 6 = -5*m. Is j not equal to m?
True
Let v be (-24 + 24)/(1*2). Let m be 4*1/8*v*-1. Which is smaller: 2/71 or m?
m
Let g = -381 - -393. Is 12 >= g?
True
Let q = -41.949 - 0.051. Let y = -41.87 - q. Is -2/7 at least as big as y?
False
Let v(x) = x**2 + 6*x - 2. Let j be 12/(-30) - (-304)/10. Let s be (j/(-25))/(2/10). Let u be v(s). Which is smaller: u or -6?
-6
Let l(q) = 5*q**2 - 28*q - 34. Let z be l(10). Which is greater: z or 0?
z
Suppose 0 = 2*u - 6*u + 140. Suppose p + u - 11 = 0. Is p > 0?
False
Suppose -3*l - 15 = 3*x, -2*x + 0*l = -l + 1. Let s be (4/(-1) + 4)/1. Let q be (-6)/(-14) + s + -1. Which is smaller: q or x?
x
Let y = 2/109 + 430/327. Let v be (-18)/(-10) - 6/(-30). Let t be (-9)/(-15) + v/5. Is y >= t?
True
Let j = -223 + 218. Is j at most 0.37?
True
Let q be (1 + -1)*38/(-76). Is q equal to 2/883?
False
Let b = -100 - -605/6. Let d(q) = -404*q + 2. Let o be d(0). Which is greater: o or b?
o
Suppose -n - 2*n = 2*f - 12, f - 19 = 5*n. Let b = -6 + f. Let j be (-15)/(-10) - 3/(-2). Is b > j?
False
Let i = -130 - -127.7. Let s = 0.3 + 0. Let h = s + i. Which is bigger: 0.2 or h?
0.2
Suppose -s + 0*r + r - 6 = 0, -5*s - 44 = 2*r. Suppose 0 = 8*j - 3*j + 30. Is j greater than s?
True
Let z be ((-44)/803)/(-1)*2/(-52). Is z >= 1?
False
Let b = 133 - 227. Which is smaller: -96 or b?
-96
Let i(y) = 2*y**2 - 228*y + 1108. Let v be i(5). Let f = -6 - -9. Let j be (21 - 1) + (-3)/f. Is j >= v?
True
Let c = -0.8 + 1. Let z = 0.1 - c. Suppose -11*y + 26 = 4. Is y less than or equal to z?
False
Let s = -2491/87 + 86/3. Suppose 2*g - 2 = 2. Suppose 0 = z - 4*y + 17, g*z = 7*z + y + 1. Which is bigger: z or s?
s
Suppose -5*l + 2*d - 68 = -d, 3*l + 4*d + 35 = 0. Which is smaller: l or -2?
l
Let a(j) = j**2 - 35*j + 38. Let w be a(34). Let c(q) = 4*q**2 + 1. Let p be c(-1). Which is bigger: w or p?
p
Let p be (-8)/(-36) + (-38)/9. Let u be (6 - 4) + p + 0. Let c be -1 - (-2 + 21/6). Which is smaller: u or c?
c
Let v be (-90)/(-35)*(-196)/6. Is v equal to -83?
False
Suppose 0 = -42*c + 40*c - 446. Is -223 > c?
False
Let y = 1709/2 + -846. Is 9 greater than y?
True
Let x = -12 + 12. Suppose 0 = 2*u - x*u - 2. Let f be (u - 1/2)*12. Which is greater: 4 or f?
f
Suppose l = -5*l + 12. Suppose -l*o + 11 = -7. Which is smaller: o or 10?
o
Let n = -330 - -327. Is -11 less than or equal to n?
True
Let p = 147 - 243. Does p = -95?
False
Let l(r) = -82*r + 81. Let m be l(1). Is m less than -24/17?
False
Let a(d) be the second derivative of 0 - 4*d**2 + 4*d - 1/6*d**3. Let h be a(-6). Which is smaller: h or -1/2?
h
Let d(y) = -y**3 + 11*y**2 + y - 2. Let w be 5*(3 - 8/10). Let f be d(w). Is f equal to 9?
True
Suppose 5*m - 21 = 9. Suppose -k = 5, -3*n - k + m*k + 25 = 0. Let r be (-77)/88*(-4)/(-14). Is r equal to n?
False
Let a = -100.6 + 100.7. Let w = -0.21 - 9.79. Let r = w - -7. Which is bigger: r or a?
a
Let g be (-5)/(20/(-112)) - -2. Let c = g - 38. Is -9 bigger than c?
False
Let f = -577 + 581. Is 63 smaller than f?
False
Suppose -8 = -2*r + 2*i, 0*r + 5*r + 4*i = -7. Is -1/130 bigger than r?
False
Let b(z) = -z**3 + 2*z**2 - 2*z + 4. Suppose 5 + 15 = 5*s. Let t be b(s). Let h be (2/(-6))/((-22)/t). Is h at least 0?
False
Let n be -354 + (5 - 3) + -7. Is -35