-1 - (l + 0)). Which is bigger: h or x?
x
Suppose -4*j + 2*v = 38, -2*j - 4*v - 24 = -6*v. Which is smaller: j or -11?
-11
Suppose -4*p = 101 - 13. Which is bigger: -24 or p?
p
Let k = -263/679 - 4/97. Let v(o) = -o**3 + 4*o**2 + o - 5. Let g be v(4). Let i be (1 - 0) + g/1. Do k and i have the same value?
False
Suppose 7*h - 6*h + 2 = 0. Which is smaller: h or -3/4?
h
Let v = -1 + 1.1. Let c = 0.9 + v. Does 2/11 = c?
False
Let z = 108 - 1838/17. Let o = -3 + 2. Which is smaller: z or o?
o
Let a = 80 - 93. Which is greater: -1 or a?
-1
Let a = 2 - 4. Let s = a - -1.99. Let u = 0.01 + s. Which is smaller: -1 or u?
-1
Let u be (2 + -3)/((-3)/9). Is u greater than or equal to 1?
True
Let n be 8/48*(-2 + 0). Which is greater: n or -7?
n
Let i(b) = 2 + 0*b + 2*b + 3*b - 4*b. Let a be i(0). Is a less than or equal to 2?
True
Let k(w) = w + 1. Let i be k(5). Suppose 3*t = 3, -4*t = u - t - 10. Which is greater: i or u?
u
Suppose 11 = -4*i + 63. Which is smaller: i or 14?
i
Let b = 1.8 - 1.7. Suppose -4*t = -t + 15. Are b and t nonequal?
True
Let s = 0.02 - 2.02. Let o = 31/3 + -10. Which is bigger: o or s?
o
Suppose -l = -9 + 3. Suppose -3*m + 4*n = n - l, 4*m - 4 = 2*n. Which is smaller: -9 or m?
-9
Let v = 0.6 - 0.8. Is 0 bigger than v?
True
Let j = -176 + 1586/9. Let t = -0.06 + 1.06. Let k = 0 + t. Is k < j?
False
Let a = -155/4 - -39. Let u be 2/(1*22/6*1). Which is smaller: a or u?
a
Let g = -4334/63 + 650/9. Is 2 bigger than g?
False
Let d = 2.6 + -3. Let f = d + -0.6. Let p = 0.3 - 0.2. Which is bigger: p or f?
p
Let m = 9 + -5. Suppose -k = -m*k + 270. Let c be (-7)/k - (-4)/(-18). Are 0 and c equal?
False
Let a = -135/2 + 69. Suppose 0*g + 6 = 3*g. Suppose w - g = s - 1, 5*s - 3 = w. Is w not equal to a?
True
Suppose -4*s = -3*s - 10. Suppose -a + s = -6*a. Which is smaller: 0 or a?
a
Let d = -8324/19 + 438. Let r(h) = -5*h - 49. Let j be r(-10). Which is bigger: d or j?
j
Let h = -13 + 19. Suppose 9 = h*n - 3*n. Let r = n - 5. Do 1 and r have different values?
True
Let o be ((-615)/(-40))/(-3) - -4. Are -2 and o unequal?
True
Let d be ((-9)/45)/(1/(-5)). Which is bigger: d or 3/10?
d
Let p = -6.8 + 7. Which is bigger: p or -0.1?
p
Let l = -6 + 8. Are l and -0.03 unequal?
True
Let u = 5 + -6. Let t be u/(-4) - 14/(-8). Is 2 >= t?
True
Let w(s) = -s**2 - 14*s + 17. Let y(g) = -3*g**2 - 41*g + 50. Let f(v) = 17*w(v) - 6*y(v). Let l be f(-8). Which is greater: -10 or l?
-10
Let n = -45 + 118. Is n < 74?
True
Suppose 6*s = 10*s - 20. Suppose 0 = -s*g + 1 - 6. Which is smaller: -0.2 or g?
g
Suppose 0 = 10*r - 13*r. Is r >= 1/19?
False
Let f = -0.8 + 0.5. Let y = -359/5 - -72. Do f and y have the same value?
False
Let q = -3/268 - -169/134. Suppose -2*c + c - 5 = 2*r, 3*c + 9 = -4*r. Let j = c - 1. Is j at least as big as q?
False
Suppose -3*j - 4*l + 11 = 0, -2*j - 2*l = 3*j - 9. Let m = 0 + 0.14. Let v = -2.86 - m. Is j less than or equal to v?
False
Suppose -c = -6*c - 10. Let d = 7 + -1. Let u be (-1)/d*(-9)/(-2). Which is smaller: c or u?
c
Let y be (-166)/8 - 2/8. Let r = y + 62/3. Let j = -22 + 24. Is j greater than or equal to r?
True
Let w = 36 + -32.6. Let t = 2.4 - w. Is t at least as big as -15?
True
Let c = 3.5 + -4. Let s = c + 0.4. Let u = 0.9 - s. Is -0.2 bigger than u?
False
Let s be (10/(-5))/((-1)/5). Suppose s = 5*g + 5*x, -5*g + 7 - 1 = x. Is 1 at most g?
True
Suppose -4*j = -5*j - 2. Are -19/7 and j nonequal?
True
Suppose -3*k - 40 = -7. Let q be 2/(-8) + k/420. Let a = -2/35 + q. Is a >= 0.1?
False
Let m = 23 + -22. Let g(v) = v**3 + 3. Let y be g(0). Which is smaller: m or y?
m
Let f = -38.73 - -39. Let k = -0.07 + f. Let c = k - 0. Is c not equal to 4?
True
Let n be (-3*4/30)/((-45)/75). Let u be 3 + (-3 - -2 - 0). Let f = u - 2. Which is smaller: n or f?
f
Let q = -18.8 + 18. Which is bigger: q or -0.1?
-0.1
Let v = -126/13 - -908/91. Which is smaller: v or 0?
0
Let c = -6 - -2. Let a be (46/(-2))/((-6)/c). Let p = -14 - a. Which is bigger: p or -2/7?
p
Let n be 2 + 1 + 1 + -1. Suppose 2*t - 15 = -n*w, 5*w - 49 = -5*t - 19. Suppose -2 = 5*m - t*m. Do m and 2 have the same value?
False
Let i = 0.041 - 0.053. Which is smaller: i or 1/4?
i
Suppose 2*k = i - 5, 3*i = -4 + 19. Are 0 and k equal?
True
Let q be 12/2*((-30)/(-6))/345. Is 1 <= q?
False
Let t = -0.23 + 9.23. Let m = -12 + t. Let n be (4/25)/(4/10). Which is bigger: n or m?
n
Let s be (-2)/(-3) + (76/(-6))/(-2). Do 5 and s have different values?
True
Suppose 0 = 2*m - 6 - 6. Let v = m - 9. Let l be v/(1*(1 + -2)). Is l smaller than 3?
False
Let s be 240/122 + (18 - 20). Which is smaller: 0 or s?
s
Let x = 1682255 + -8513522/5. Let m = x + 20514. Let l = m + -64. Which is bigger: 0 or l?
l
Let a(k) = k**3 - 20*k**2 + 18*k + 24. Let b be a(19). Which is smaller: b or 2?
2
Let b(r) be the first derivative of -r**2/2 + 14*r - 4. Let c be b(9). Is c greater than 5?
False
Suppose 4*k = -3*j + 5, 2*j + 12 = 8*k - 3*k. Let g be k/((-1)/((-3)/(-39))). Is 1 less than g?
False
Let k = 0 + 2. Suppose 6 = k*f + 3*g, -g - 4*g = -f + 16. Suppose 2*p = f*p - 4*c - 4, 5*c = -4*p - 32. Is -3 <= p?
True
Let p = -87 + 83. Is -3 less than p?
False
Let s be 1*(-1*5)/(-1). Let v = s - 1. Suppose -10 = -v*u + 6. Which is smaller: 3 or u?
3
Suppose -4*l = 4*r - 16, 5*l - 4*r - r = 30. Let h(s) = -s**2 + 5*s + 1. Let i be h(l). Are 1/8 and i equal?
False
Let z = 118 - 76. Let h be (4/6)/(4/z). Is 7 != h?
False
Suppose -3*s = 3*c - 12, 5*c + 15 = 5*s - 3*s. Which is smaller: -5/13 or c?
c
Let f be (2 - 5) + 0 + 8. Let l be 2/f + (-32)/180. Which is smaller: l or -4?
-4
Let a(t) = 4*t**2 + t - 1. Let d be a(1). Suppose -2*n + 3*k = k + 2, 0 = 3*n + k - 13. Which is smaller: n or d?
n
Suppose 2*o + 5 = 3*o. Let b be (3/(-5))/(2/(-10)). Suppose 2*p + b*p = -o. Is p at most as big as -1?
True
Let o = 1/29 + -39/290. Is o less than or equal to 0.1?
True
Let s = -1.1 + 1. Let x be 5/(-2) + (-4)/(-8). Let b = 16/7 + x. Which is smaller: b or s?
s
Let l(o) = -o**2 - 3*o - 3. Let u be l(-3). Which is bigger: u or -1?
-1
Let t(z) = -z**3 + 4*z**2 + 2*z + 7. Let p be t(5). Which is smaller: p or -6?
p
Let j be (75/10 + -7)/((-11)/(-72)). Which is greater: 4 or j?
4
Let m = -8 - -3. Suppose -2*v = 6 + 6. Is m < v?
False
Suppose -2*r - r - 6 = 0, -s - 2*r = -9. Let n = s + -18. Suppose 23*u = 44*u + 84. Is u greater than or equal to n?
True
Suppose 1 = -b - 0. Is b smaller than -2?
False
Suppose 0 = 5*f - 5. Let b(p) = p**3 + 5*p**2 + 4. Let a be b(-5). Suppose -a*g + 3 = -1. Are f and g equal?
True
Let z = -8 - -13. Let c = 2 - z. Let v = c - -2.8. Which is smaller: 1 or v?
v
Let l = 10 + -10. Is 3/11 at most l?
False
Suppose 0 = -4*t - 3*x - 51, 0 = 2*t - t + 2*x + 19. Let a be (-4)/6 - (-3)/t. Let u = a - 2. Is -3 <= u?
True
Suppose 2*g + 2*g = 0. Let o be 1*(-2)/(-2)*g. Which is smaller: o or -2/19?
-2/19
Let m = -20 + 20. Is -2/3 less than m?
True
Let t(n) = 5*n**3 + n**2 - n - 4. Let f(j) = -14*j**3 - 2*j**2 + 3*j + 12. Let g(m) = -6*f(m) - 17*t(m). Let v be g(-5). Which is smaller: v or -1/6?
-1/6
Let z = 59 + -26. Which is greater: 34 or z?
34
Let h = -0.4 - -2.4. Which is smaller: h or -0.02?
-0.02
Let a = -8 + 12. Let k = a - -3. Are 7 and k unequal?
False
Let m = 43 - 46. Which is greater: m or -2/47?
-2/47
Let y(i) = i + 3. Let s be y(-5). Let u be 3/(15*(-1)/s). Let m = 2 + -4. Is m <= u?
True
Let q = 7 + -5. Suppose r + 0*l = -4*l + q, -3*r + 6 = -3*l. Suppose -k + 4*m + 7 = 0, -2*m - m = 3. Which is smaller: r or k?
r
Let y = -2.2 + -9.8. Let c = 11.7 + y. Which is smaller: c or 0?
c
Let z(j) = -j**3 - 6*j**2 + 8. Let i be z(-6). Do i and 9 have different values?
True
Let h = 5 - 1. Suppose -16 = b - 3*m, -h*b - 4 + 5 = m. Let g be (b/2)/(1/4). Which is smaller: -4/7 or g?
g
Let q(a) = -a**3 + 7*a**2 - 11*a + 12. Let h be q(6). Suppose -x + 0 - 2 = 0. Let n be (-8)/h*(-3)/x. Do 2/5 and n have the same value?
False
Suppose 2*u + 24 = 5*v - 20, 2*v - 20 = 2*u. Let d be (v/(-6))/((-12)/(-18)). Which is smaller: d or 3?
d
Let w = -10 + 7. Let j = 5 + w. Are 5 and j unequal?
True
Let p = -6497/252 + 103/4. Which is bigger: p or 0?
0
Suppose 4*r + 4*n - n + 27 = 0, -2*n + 15 = -r. Which is smaller: -6 or r?
r
Let j = 7 - 7.6. Let v = 0.2 + j. Let c = v + 0.2. Is c greater than or equal to 2