a = -3 + t. Let x = -81 + 80. Which is smaller: a or x?
x
Suppose -5*h + 2012 = -4*r, 0 = -17*h + 15*h - 8. Which is smaller: -509 or r?
-509
Suppose 3*u - 3*q = 174, 46 = 3*u - 5*q - 118. Suppose 0 = i - 3*r + 13, -u = 5*i + r + 82. Let j = i + 28. Which is greater: -3/4 or j?
j
Let a be (-8)/48*(-18)/42*-2. Let q be (-2 - 0)*2/4. Which is bigger: a or q?
a
Let x(z) = 2*z**2 - 15*z + 4. Let a be x(7). Let i be 9/a*11/99. Is i bigger than -0.2?
False
Let r = 3.76 - 19.86. Let f = 9.1 + r. Which is bigger: f or 3?
3
Suppose -1183 = q + 12*q. Which is smaller: q or -92?
-92
Let r(d) = d**3 - 4*d**2 + 3*d - 2. Let v be r(3). Let p be (-17 - (-2 - 1))/v. Is p not equal to 9?
True
Let d = -4/5583 + 134140/206571. Which is bigger: d or 1?
1
Suppose 2*b + 2*d - 54 = 0, -3*d = 5*b - 72 - 53. Which is bigger: b or 0.1?
b
Let f = 104 - 99. Let x = -9142279 + 4068316014/445. Let a = x + 2/89. Which is bigger: a or f?
f
Let r = -1858 + 68739/37. Let c = -1868245/1223516 + -429/4724. Let b = r - c. Which is bigger: b or 2?
2
Let y = -2.55 + 2.8. Let a = -0.15 + y. Let j = 1.9 - 1.99. Are j and a nonequal?
True
Suppose -4*f + 13 - 1 = 0. Let q = f - 2. Let m = 69/25 - 709/275. Is m equal to q?
False
Suppose 2*i + 1320 = -5*k, 3*k - 4*i + 337 = -481. Do -263 and k have the same value?
False
Suppose -3*b = -4 + 76. Suppose 0 = -l + 2*o - 28, 2*o + 50 = -2*l + 3*o. Is l bigger than b?
False
Let q be (-24)/(-9)*6/(-4). Let d be 2/q*(-176)/77. Is 2 <= d?
False
Let p be (4/(-5))/((-7)/35). Suppose -44 = -2*o - p*g, -o - 34 = -3*o - 2*g. Let m = -2 + o. Which is bigger: 6 or m?
m
Let t = -16 - -18. Suppose -n = -t*n. Let r = 36/73 - 1478/2701. Is r not equal to n?
True
Suppose 0*l + 2*l + 156 = 0. Let i = -543/7 - l. Is i at least as big as -1?
True
Suppose m + 2 = 2*o + 3, -5*m - 3*o + 5 = 0. Are -94 and m non-equal?
True
Let s(n) = -5*n + 1. Suppose w + 5 = -5*i - 0*w, 0 = 3*w. Let g be s(i). Suppose 0 = 2*q - g*q. Which is smaller: q or 6?
q
Suppose 0 = 5*a - 2*a + 9, 3*a = 3*g + 81. Which is bigger: -31 or g?
g
Let a = -48 - -33. Let k be (-2)/6*a/20. Which is bigger: k or 4/3?
4/3
Let u(h) = 7*h**2 - 3. Let w(i) = -22*i**2 + 8. Let j(a) = 8*u(a) + 3*w(a). Let n be j(-1). Suppose o + 0 = -9. Which is bigger: n or o?
o
Let x(n) = -17*n - 12. Let q be x(-4). Suppose 5*g - 2*c - c = -52, 5*g + c = -q. Is -11 at least g?
True
Let w = 443 - 379.8. Let h = w + -44.5. Let k = 19 - h. Is k <= -7?
False
Let v = -4/625 + 15649/3750. Let g = 63.1 - 63. Which is smaller: g or v?
g
Let b be 2 - 5 - (-836)/328. Let y = b - 2/41. Let r = -31 + 43. Is y > r?
False
Let o = -6 - -7. Let z = 10 - o. Let v = 8.9 - z. Which is smaller: v or 5?
v
Let g = 1431014/293 - 4884. Suppose 3*x + 12 = -3*u, -7 = -2*u + x - 3. Which is smaller: u or g?
u
Suppose -30 = l + 2*l. Let v(n) = -n**2 - 9*n + 4. Let i be v(l). Let k be (-23)/3 - 16/(-24). Is i equal to k?
False
Let y = -628 - -625. Which is smaller: y or -21/11?
y
Suppose -3*r + 6 = -4*y, 3*r - 8 = -2. Suppose 167 = 8*h - 297. Let b = -57 + h. Which is bigger: b or y?
b
Let a be (-1 + 15)*6/(-4). Let y be 3/(-2) - a/14. Is y >= 1/3?
False
Let j(z) = -z**2 + 2*z + 1. Let d be j(-2). Let v(o) = o**3 - 6*o**2 + 6*o + 1. Let p be v(5). Let f be p/36 + 49/(-6). Which is smaller: f or d?
f
Let z = 0.6 + -0.3. Let y = 800/7 + -115. Which is bigger: y or z?
z
Let g = 2 + 5. Let z = 8 - g. Let n be (0 - z)/((-10)/40). Do n and 0 have the same value?
False
Let s be 2/(4/10 - 3360/7650). Do s and -47 have different values?
True
Let t(j) = 2*j**3 + 23*j**2 + 2*j + 5. Let m be t(-11). Which is bigger: 105 or m?
105
Let a = 53 + -25. Let u = a + -21. Suppose 3*i = u*i - 60. Is 17 > i?
True
Let d = 0 + 1. Let i be 15231/(-142380) + 1 + (-12)/15. Let c = 1/452 + i. Is c at most d?
True
Let o(c) = c - 2. Let p be o(-7). Suppose -4*u + 54 = -10*u. Is u at most as big as p?
True
Let x = -37.4 + 42.4. Let a = 0.4 + -0.4. Let c = 1 - a. Is c greater than x?
False
Let u be ((-6)/(-5))/((-32)/(-80)). Let p be u/5 + (-28)/80. Is p at least 3/25?
True
Let u = 0.3 + -0.4. Let z = 0.0628 - -14.9372. Are z and u equal?
False
Let i be 261/35 + 93/(-155). Is 0 at most as big as i?
True
Let b = -270 + 290. Which is bigger: b or -4?
b
Let n(u) = -17 - 5*u**2 - 2*u + 3*u**2 - 20 + 35. Let f be n(-2). Which is smaller: -0.2 or f?
f
Let l(b) = 131*b**3 + b**2 - 10*b - 11. Let f be l(-1). Is -130 < f?
False
Let p be 14/7 - (-22904)/(-11459). Which is smaller: p or -1?
-1
Let b = -17.7 - -21. Let q = b + -5.3. Let n be 1 + (0 - 4/1). Which is smaller: n or q?
n
Let z be (-189)/10*2270/(-1362). Suppose 59 = 3*h - 37. Is h at least as big as z?
True
Let h(n) be the first derivative of n**3/3 - 7*n**2/2 + 4*n + 3. Let r be h(7). Let v be (-3)/2 - 2/r. Is -7/5 equal to v?
False
Let p be ((-17)/(-3) - 0)*3. Let i = p - 2. Let y = -14 + i. Which is smaller: y or -2?
-2
Let y be (0 - 2*-9)/(6/(-8)). Let t be (-1 + 4)*y/81. Which is greater: t or -2?
t
Let w be (5*3/30)/(1/2). Is w at least 2/61?
True
Let i be (1 + 8/(-4) + 0)/1. Is i < 2.05?
True
Suppose 5*t - 16 = -4*m + 14, 3*m = 2*t + 11. Suppose -3*a + u = t*a + 142, 4*u = 2*a + 46. Let l = 15 + a. Is l equal to -13?
False
Let m = -1.98 - 38.02. Which is smaller: -0.2 or m?
m
Let c(i) = 3*i**3 - 41*i**2 - 61*i + 15. Let y be c(15). Which is greater: -11 or y?
y
Suppose -89 = 5*n - 594. Let o be ((-20)/(-12) - 52/60)*125. Which is greater: o or n?
n
Let a be 1 - (-1 + (-30)/(-4)). Suppose -s - 3*s - 33 = 3*b, 2*b + 17 = -s. Which is smaller: b or a?
b
Let o = 3 - 13. Let h = 11 + o. Let t = 17 + -16.9. Which is smaller: t or h?
t
Suppose -441 + 1721 = -4*o. Which is smaller: o or -319?
o
Let r = -458.65 + 459. Is -5/6 less than or equal to r?
True
Suppose 0 = 5*j + 5 - 0. Let g(t) = -t**3 - 18*t**2 - 2*t + 20. Let v be g(-18). Let q be (2/36)/(7/v). Is q > j?
True
Let r be 330/(-170)*1 - -2. Which is bigger: r or 2?
2
Let u = 2.045 + -2. Let q = -2.145 + u. Let b = q - -2.03. Which is smaller: 1 or b?
b
Suppose -2*q - 10 = 412. Let y = q + 355. Let m be (y/12)/((-3)/2). Is -9 < m?
True
Let j = -3794/5 + 759. Let r = -0.3 - -2.3. Let i = 2.1 - r. Which is bigger: j or i?
j
Let k(t) = t**3 + 0*t + 5*t - 4*t. Let x(z) = 4*z**3 - z**2 - z + 1. Let l(p) = 2*k(p) + x(p). Let w be l(-1). Is w at most as big as -9?
False
Let i(w) = 2*w + 16. Let f be i(-7). Let v be (-2)/((-24)/(-663)) - f. Let s = v + 9397/164. Do s and -1 have the same value?
False
Let k = 3 + -1. Suppose p + 13 = -k*p - v, -3*v - 19 = 4*p. Let n = -7 + 3. Is n < p?
False
Let k = -1141/11 + 103. Let m = k + 153/44. Which is bigger: m or 3?
3
Suppose -8*v + 10*v = 5*v. Is v at least as big as 2/59?
False
Let o be 1/(1 - ((-1)/(-2) - -1)). Is -11/18 less than o?
False
Let n be 4/16*-4*(-2 + 1). Let j be 4/16 - (-1)/(-36). Is j < n?
True
Let a be (5 + -3)*(2 - 10/4). Suppose s + 2*w - 79 = 2*s, -2*s = 4*w + 118. Let j = s - -205/3. Which is smaller: a or j?
a
Let w = 14.1 + -4.4. Let r = w + -7.7. Let i = -9 + 14. Is i at least r?
True
Let f(k) be the third derivative of k**5/60 + 3*k**4/8 - 3*k**3/2 - 11*k**2. Let m be f(-10). Let t be 3/12 + (-1)/4. Which is bigger: m or t?
m
Let i = -106.2 - -106. Which is smaller: 186 or i?
i
Let i(d) = 30*d**2 + 11*d + 23. Let w be i(-2). Which is smaller: 3 or w?
3
Suppose 0 = -5*i + 2 + 3. Let q = -1176289/12 - -97952. Let n = 72 + q. Which is smaller: n or i?
n
Let y be (-12)/(-3)*(-27)/108. Which is greater: 5/11 or y?
5/11
Let m(p) = -p**2 - 2*p + 20. Let w be m(4). Let u be (-22)/(-88)*w/14. Which is smaller: u or 0?
u
Suppose -6*x - 32 = -10*x. Let z be ((-2)/9)/(-9 + 2690/300). Which is greater: x or z?
x
Let n(q) = q**3 + 19*q**2 - 18*q - 24. Let x(d) = -d**3 - 19*d**2 + 19*d + 23. Let b(a) = 2*n(a) + 3*x(a). Let j be b(-20). Is 0 not equal to j?
True
Suppose -3*p + 65 = b, -p + 2*b - 42 = -3*p. Let f(m) = -m**3 + 15*m**2 - 17*m + 21. Let c be f(14). Let s = p + c. Does s = -1/6?
False
Let l = 987 - 999. Which is smaller: l or -0.17?
l
Suppose 56 = -12*d - 4. Which is bigger: 3 or d?
3
Let c(s) = -33 + 4*s + 36 + s + s**2. Let q = -2 + -3. Let g be c(q). Which is smaller: 5/3 or g?
5/3
Let i(j) = -25*j + 82. Let y be i(40). Which is greater: y or -919?
y
Suppose 8 = -4*l - 0*l + r, -3*r + 7 = 5*l. Suppose -4*k + 