 + t, -f = -3*a - 1. Suppose -5 = -2*z + 3. Which is smaller: a or z?
a
Let o = -685 + 702. Which is bigger: o or -6?
o
Suppose 8 = -3*s + 7*s, h = -3*s + 219. Which is smaller: 637/3 or h?
637/3
Suppose 4*i = -5*u - 140, 2*u + 18 = -i + 5*u. Let g = -18 - i. Suppose -17*k + g*k + 100 = 0. Which is smaller: 19 or k?
19
Let l = -10 - -16. Let h be 32/(-432)*l/(-10). Is -1 <= h?
True
Let p(x) = x**3 - 13*x**2 + 41*x - 9. Let t be p(8). Let s be 2 - ((-528)/(-261) + 0). Is t at most s?
True
Let o = 2.6 + 0.4. Let j = -9 + o. Let q = 6 - 6.1. Is j > q?
False
Let v(b) = -b**3. Let l be (3 + -2 + -2)*1. Let j be v(l). Which is smaller: 6 or j?
j
Let p = 3.3 + -4.9. Let m = p + 1.7. Is m less than or equal to 6?
True
Suppose -6 = r - 3*r. Let m(v) = v**3 - 5*v**2 + 5*v - 3. Let y be m(r). Let x be (-27)/12 - y/24. Which is smaller: -1 or x?
x
Let a = -357 - -359. Which is greater: -0.4 or a?
a
Let j be (1054/10 - 1)/((-72)/(-180)). Are j and 262 unequal?
True
Let p(u) = -u - 3. Let n(s) = s + 2. Let c(m) = -3*n(m) - 2*p(m). Let g be c(0). Let j be (-1 + g)*8/32. Do 0 and j have different values?
True
Let f be (204/40 - 5)*10. Let a = -3361/19 + 41691/133. Let d = 137 - a. Is d greater than or equal to f?
False
Let n = 13 - 12. Which is bigger: n or 3/167?
n
Suppose 162 = -0*i - 3*i + 3*r, -i = -4*r + 54. Let b = -52 - i. Which is bigger: b or -1?
b
Let k be -1*1/(-4 + 3). Let i(v) = v**3 - 5*v + 2. Let h be i(3). Let y = 14 - h. Is k less than y?
False
Let i be (-64)/12 - (-2)/(-3). Let x be ((-21)/56)/(3/i). Is 1 smaller than x?
False
Let r = -2.2 - -2.19. Let j = r + -0.69. Which is smaller: j or -1/4?
j
Let u(m) = -m + 2. Let i be u(-6). Let b be ((-8)/(-2))/i*-2 - -2. Is b equal to -1/8?
False
Suppose -2*n - 3*n - 10 = 0. Let y be 6/(-4)*n/(-5). Let x = -88 - -89. Is y greater than or equal to x?
False
Let x = 234 + -230. Which is smaller: x or 21/8?
21/8
Suppose -4*b - 4*m - 20 = 0, -4*b - 10*m - 44 = -12*m. Are b and -18 equal?
False
Let x = 932 + -449. Is 485 <= x?
False
Let v = -319/8 + 40. Let a(p) = p**2 - 9*p - 8. Let q be a(10). Suppose -q*j - 2 = 0, 0 = -o + j - 0*j. Which is smaller: o or v?
o
Let n = 0.95 - -0.15. Let p = 1.2 - n. Is 12 at least as big as p?
True
Let a = 39 - 35. Suppose -a*i = i + 10. Is i <= -1?
True
Let v = -4/1209 + -39841/16926. Which is bigger: -3 or v?
v
Let u(r) = -9 - 4*r - 4 - 3*r + 10*r. Let a be u(3). Which is smaller: a or 1?
a
Let v = -14 - -6. Let q = 0.1 - 0.3. Which is smaller: v or q?
v
Let g be ((-66)/(-55))/(3/20). Let j(a) = a**3 + 12*a**2 + 12*a + 10. Let x be j(-11). Let k be 12 + (x - -2) + -3. Which is smaller: g or k?
g
Let x = -693/3589 - -3/97. Let w be ((1 - 3) + 2)/(2 - 0). Is w less than or equal to x?
False
Let j = -228541/3505 - -3/701. Let y be 10916/180 + (0 - -3). Let n = y + j. Is n bigger than -1?
False
Let r be (-1)/(-2)*(-2)/7. Which is smaller: r or 0?
r
Let s = -4 - -6. Let w be 4/6*11/s. Let h = -9 - -13. Is w less than h?
True
Suppose 26 = 5*q + 6. Let g(i) = i**3 - 4*i**2 - 9. Let c be g(5). Suppose -2*a - 4*u = c + 22, q*u = -4*a - 68. Is -15 less than or equal to a?
True
Suppose 4*o - 205 + 37 = 0. Let c be ((-4)/o)/(9/(-54)). Is 0 >= c?
False
Let j = 413 - 278. Let f be (-260)/j + (5 - 3). Suppose -2 = 4*i + q + 4, 4*i - q = -2. Is f > i?
True
Suppose -6*u = -4*u + 16. Let q be 1/(4/u*-2). Which is bigger: q or 2/11?
q
Let b(t) = -36*t - 256. Let c be b(8). Is c greater than -545?
True
Let w be ((-2)/6)/((-176512)/(-50412)). Let x = 2/1379 + w. Which is greater: -1 or x?
x
Let d = 33185/27 + -1229. Are -0.3 and d equal?
False
Let b = 154 + -1394/9. Suppose 5*c - 3*x - 15 = -7*x, -c - 3*x = -3. Suppose -d = -5*a - 6, 0*a - c*a = 3*d. Is b at least a?
True
Let n = -0.04 - -33.04. Let z = n - 34.7. Let l = z + -0.3. Is l at least -2/5?
False
Let c(u) = 2*u + 20. Suppose -2*t + 12 - 32 = 0. Let q be c(t). Suppose 2*x + 3*h = 17 - 3, 5*h - 18 = 2*x. Which is smaller: q or x?
q
Let b(r) = -r**2 - 11*r + 16. Let m be b(-14). Let d = -27 - m. Does d = -7?
False
Let c = -681 + 12942/19. Let v = 47/57 - c. Is 2 < v?
False
Let h = 0 + -1. Let s be (-4 + 9)/(1/(-1)). Which is smaller: h or s?
s
Suppose 0 = 19*w - 16*w - o + 5, 0 = -4*w - 2*o - 20. Suppose 4 = -x + 1. Do x and w have the same value?
True
Let j = 0.4 - 3.2. Let d = -2.88 - j. Which is bigger: d or 0.1?
0.1
Let w = -53 + 27. Let i be (-25)/(-11 + 4 - -8). Which is smaller: i or w?
w
Let k(w) = -2*w - 20. Let d be k(-7). Let q be d/(-9) - (-1)/3. Which is bigger: 5/4 or q?
5/4
Suppose -39 = -0*b - b. Let q be (-12)/(-78) - 84/b. Let d = 1.3 - 0.3. Which is smaller: d or q?
q
Let o be 6*1*(-255)/153. Let t(q) = q**3 - 5*q**2 + 4*q - 1. Let y be t(3). Which is smaller: o or y?
o
Suppose 0 = -4*w + 77 + 31. Which is smaller: 29 or w?
w
Let j(x) = 17*x - 7. Let q be j(3). Let f be ((-11)/q)/((-2)/(-44)). Which is smaller: -5 or f?
f
Let q = 355 - 545. Is 0 not equal to q?
True
Let p = -263 + 293. Are 30 and p nonequal?
False
Let z = 619 + -732. Which is smaller: z or -447/4?
z
Let k(r) = 130*r**2 - 2*r + 1. Let o be k(1). Suppose f + 5*m - 4*m = -o, 2*f + m = -253. Let q be 2/4 - f/(-8). Which is smaller: q or 0?
q
Let k be 6/(-4) + (-2)/4. Let y be 15 - ((-2)/k - 2). Let d(w) = 15*w**2 - 155*w + 67. Let a be d(10). Which is greater: a or y?
a
Suppose 10*b - 9*b = 2*q - 7007, -5*b + 7013 = 2*q. Let o be q/(-504) - 1/((-7)/2). Is -7 bigger than o?
False
Suppose s = -p + 422, -12*s - p + 1673 = -8*s. Is 419 at least s?
True
Let v = 1/28 + -61/140. Is -3.3 at most as big as v?
True
Let g = 439 - 438. Do g and 20 have the same value?
False
Let p(o) = 3*o**3 - 5. Let l be p(-3). Which is bigger: -88 or l?
l
Let y(z) = -z**2 - z + 3. Let c be y(0). Suppose -3*r + 0 - c = 0. Let o be (-6)/(-21)*-5*4/8. Which is bigger: o or r?
o
Suppose -3*t + 14 = 5. Suppose 0 = 2*p - p + 5*z + 25, t*p + 10 = -2*z. Which is greater: -6/23 or p?
p
Let x be (2 + (-18)/10)/((-69)/(-513015)). Is 1487 >= x?
True
Suppose -4*p = -12, 0*h - 5*p = 3*h - 96. Suppose -121 = -2*r + h. Which is bigger: 73 or r?
r
Suppose -v - 2*v = -12. Suppose u + v = 2*u. Let c be (-12)/(-90) - u/(-15). Is c at least 1.1?
False
Suppose 0 = -5*u + 28 - 8. Suppose u*d + 12 = -32. Let b(n) = -n**3 - 11*n**2 + n + 11. Let c be b(d). Which is smaller: c or 2/3?
c
Suppose -4*i + q = -3*q, -2*q = i - 6. Let b be 140/(-12) - i/(-3). Which is bigger: -8 or b?
-8
Let l(o) = o + 12. Let q(c) = -c**3 + 8*c**2 - 11. Let y be q(8). Let f be l(y). Let i be (-18)/12*f*-2. Which is smaller: -1 or i?
-1
Let h(s) = s**3 - 2*s + 5. Let x be h(-3). Let j be 8/(-20) + x/(-15). Let q = 47/21 - 18/7. Which is bigger: q or j?
j
Let f = -0.055 - 1.945. Let m be (0 + 5)*(-4)/50. Which is smaller: f or m?
f
Let v = -146 + 289. Let u be 22/v + 358/(-1820). Are 0 and u nonequal?
True
Let g = 366 + -365.867. Is 1 greater than or equal to g?
True
Let a = -66.597 - -57.36. Let f = 0.137 + a. Is f at least as big as 0.1?
False
Let c = -114 - -115. Let h = -0.9 + c. Which is smaller: -0.35 or h?
-0.35
Let u be 2*((-5)/10)/((-75)/6). Which is smaller: u or -0.1?
-0.1
Let d = 3.004 + -0.004. Is d <= 0.23?
False
Let r(d) = d - 187. Let i be r(0). Are i and -188 non-equal?
True
Suppose -15*w - w = 32. Let b be 12/9*8*(-1 + w). Which is smaller: b or -34?
-34
Let k be (-2 + 0)/(-1 + -1). Let m(t) = -5*t**2 + 2*t + 3. Let q(u) = 5*u**2 - 3*u - 4. Let f(i) = -3*m(i) - 2*q(i). Let y be f(k). Is 4 at least y?
True
Suppose -2*c - 8 = 4*v, 2*v + 6 = -2*c - 0. Is v > -4?
True
Suppose 0 = -h - 5*a - 6 - 4, 0 = -3*h - 5*a - 10. Suppose 3*m + 4*s + 23 = h, -m + 7 = 2*m - 2*s. Let y = -6.5 + 6.5. Which is bigger: y or m?
y
Suppose 2*c + 27 = -3. Let p = -92 - -106. Let k = c + p. Which is smaller: -1/6 or k?
k
Let m(o) = o**2 + 5*o + 8. Let h be m(-4). Suppose -h*i + 15 + 1 = 0. Is i less than 5?
True
Let t = 23.6 + -14.7. Let h = t - 8.8. Is 4 < h?
False
Let h(f) = -f**2 + 1. Let v be h(-1). Let m be (184/22)/(14*1). Let z = m - -6/11. Are v and z equal?
False
Let v(x) be the first derivative of x**4/2 - 4*x**3/3 + 3*x**2/2 - 2*x + 5. Let o be v(2). Let q be o/(-18) - (-86)/306. Which is greater: 1 or q?
1
Let x = 270 + -270. Which is greater: x or 1/196?
1/196
Let t(g) = -g**3. Let q be t(-3). Let d be (18/q)/(4/2). L