er: 5 or h?
h
Let v = 6.18 - 6. Let j = -0.26 + v. Which is smaller: j or -1?
-1
Let i be (-5)/(-15) + 2/(-60). Is 1 at most as big as i?
False
Let b = 23 + -24. Is 2/73 greater than or equal to b?
True
Let w be (24/20)/((-6)/(-15)). Suppose -w*k - 4 = -4*a, 2*k + k - 1 = -a. Let o = 0 + -6. Is a >= o?
True
Let s = -1 - -2. Let p be (2 + (-3)/1)*(0 - -2). Are s and p unequal?
True
Let y be (422/(-2 - -4))/(-65). Let s = -63/13 - y. Is s < -3?
False
Let q be (-5)/4 - 3/(-12). Suppose 4*v - 8 = -2*l, 0*v - 3*l + 12 = -v. Is v >= q?
True
Let u(f) = 3*f**2 + f. Let n be u(1). Suppose -5*i - 53 + 137 = -4*m, 0 = i + 3*m - 32. Suppose -y = n*y - i. Is y > 4?
False
Let y(m) = -13*m**2. Suppose -3*x - 2 = 1. Let g be y(x). Let n be g/7 - (-1 + -1). Are n and -1 non-equal?
True
Let w(a) = 2*a**2 + 3. Let m be w(4). Suppose -4*r - m = -3. Let v = r - -7. Do v and -3 have the same value?
False
Let q(o) = -o**2 - 7*o - 2. Let y be q(-6). Do 6 and y have different values?
True
Let j(x) = -x**2 + 5*x + 4. Let l be j(6). Let o = 85/372 + 2/93. Which is smaller: o or l?
l
Let h = -35.15 - 0.85. Which is smaller: h or 0.1?
h
Suppose 0 = 5*h - 6 - 4. Let y be (h*2)/(0 + -7). Which is greater: y or -2?
y
Suppose 4*r - 21 + 132 = 3*m, -3*r - 5*m = 47. Is -25 <= r?
True
Suppose 2 = -4*x - 14. Let g(r) = -r**3 - 6*r**2 - 8*r + 1. Let w be g(x). Let i = 15 + -46/3. Which is bigger: w or i?
w
Let d = 3.1 + -3.04. Let h = 0 - -2. Is h at least d?
True
Let s = -3 - -3. Suppose s = -4*l + v + 3, 4*l - 5 = -3*v + 2*v. Is l less than or equal to -2/17?
False
Let y = 0.02 - 0.52. Let x = -0.6 - y. Is -5 smaller than x?
True
Let g be 46/(-14) + 12/42. Let x = g + 6. Suppose 0 = 4*d - 2 - 6. Which is greater: d or x?
x
Let n(q) = -q - 3. Let v be n(-3). Let o = -17023/4 - -4226. Let b = o - -30. Which is smaller: b or v?
v
Let c = -47 + 48. Is -1/10 > c?
False
Let h = 1.1 + -0.9. Which is smaller: h or -0.15?
-0.15
Suppose -2*c + 5*b + 16 = 0, 5*b + 22 = -3*c + 2*c. Suppose -4 = 4*g - 2*g. Are c and g non-equal?
False
Suppose 2*z + 5*o = -0*z - 29, -3 = o. Which is smaller: z or -8?
-8
Suppose -6*q + 2*q = 16. Let d = 0 - q. Let r = d + -4. Which is smaller: r or 1/6?
r
Suppose 5*h - 7 = 2*b + 3, 0 = 2*h + 5*b - 4. Suppose -a = h - 6, 0 = -m - 4*a + 13. Do m and -1 have the same value?
False
Let k be (-2 + 1)*(3 - 3). Let t = 11 - 11. Is k != t?
False
Let m = 2 - 1.9. Let i = m + 0. Let f = -957/7 - -137. Is f bigger than i?
True
Suppose -5*b = 5*c, -2*b = 4*c - 0 + 2. Let d be c*(-3 + 6 - 4). Which is bigger: 0 or d?
d
Let c = 78.7 - 79. Let d = -0.39 + -0.01. Let g = d - c. Which is smaller: 2/3 or g?
g
Suppose -4*o = -3*o + 4*g + 1, -4*o + 2*g = 4. Is o smaller than 3?
True
Suppose -3*h = 3*g + 78, -5*g + 2*h = 174 - 16. Let t be (-1118)/g + (-2)/(-5). Let u = t + -38. Is -2/3 equal to u?
False
Suppose -5*b = -5*m + 55, -2*m - 6 = m. Which is bigger: b or -12?
-12
Let x = 1262/7 - 180. Which is bigger: 3/5 or x?
3/5
Let w be 0 + (-165)/9 + -2. Suppose -4*k + 3*f + 84 = 4*f, 3*k - 63 = f. Let q = w + k. Which is smaller: 0 or q?
0
Let a be 4*2/(96/15). Which is greater: a or 0?
a
Let s be 1/(-2) + 39/(-26). Is s greater than or equal to -1?
False
Let o(v) = -v**2 + 3*v + 2. Let m be o(3). Suppose -w + m*w = -181. Let r = w - -1265/7. Does r = 0?
False
Let k = -2.742 - -2.8. Let z = k + 0.922. Let t = z + 0.02. Which is bigger: 2/5 or t?
t
Suppose -2*j + 2*u = -14, 3*j - 2*u - 23 = 3*u. Which is bigger: 8 or j?
8
Let n(f) = -f**2 - 6*f + 9. Let l be n(-8). Which is smaller: -11 or l?
-11
Suppose -152 = 5*s - 13*s. Which is bigger: 21 or s?
21
Let x = 5 + 1. Let a be 3/x + 1/(-4). Let f(b) = b**2 + 5*b. Let m be f(-5). Which is smaller: m or a?
m
Suppose 0 = m + 3*h - 1 - 4, -h = -4*m + 7. Let j = m - 4. Let y be 1 + j + (-52)/(-60). Which is greater: -1 or y?
y
Let y = -0.9 - -1. Is y greater than 74?
False
Let p = 20.8 + -21. Is p equal to 2?
False
Let v be (-423)/39 + (-6)/39. Is v >= 0.1?
False
Suppose 0*f + 2*f + 10 = 0. Which is bigger: f or 3?
3
Let m = -2131/16 - -133. Which is smaller: -2 or m?
-2
Let q(v) = v - 5. Let l be q(4). Let g be (-3 - -3) + (-3 - -2) - -1. Is l > g?
False
Suppose 2*a + 2 = j, 3*a - a + 10 = -j. Let r = -9 + a. Is r at least -11?
False
Suppose -5*y + 0 = -5. Suppose -3*x + 22 - 7 = 0. Suppose -4*s - y = -x. Is s equal to -0.1?
False
Let m = -2 - 0. Is m equal to -20/9?
False
Let m(d) = d**2 - 6*d + 5. Let l be m(3). Which is smaller: l or -26/9?
l
Let x = 12 + -10. Suppose x*z + 12 = 10. Are z and -3/4 non-equal?
True
Suppose 4 + 6 = -2*z, 3*o - 5*z = 22. Suppose -15 + 17 = h. Suppose 0 = -h*d + 3*d + 4. Is o smaller than d?
False
Let u be (1/6)/((-2)/(-8)). Let l = -17.12 + 17. Is u <= l?
False
Let c(k) = -19*k**3 - 2*k**2 + 1. Let q be c(-1). Which is smaller: q or 20?
q
Let d(n) = n**3 - 6*n**2 - 10*n - 1. Let o be d(7). Let v = -12 - o. Let h be (-10)/(-4)*(-2)/v. Which is smaller: h or -2?
-2
Let x = -17093/1862 + 175/19. Let f = x - -141/196. Is f bigger than 1?
False
Suppose -a - 5*z + 21 = 3*a, -5*z + 5 = 0. Suppose -5*l = 5*i + 30 + 40, 2*l - 44 = a*i. Is -12 greater than i?
False
Let a(o) = -o**2 + o + 1. Let t = 12 - 10. Let l be a(t). Let k be -3 + l + 3 + 1. Is -2 < k?
True
Suppose -5*f + 32 - 12 = 0. Let t = 4 - f. Are t and 3/8 unequal?
True
Let l be (-6)/4 + (-42)/(-12). Suppose -8 = -l*n - 2. Let m = n - 5. Is -3 at least m?
False
Let k be (-2)/(-42)*(-1)/8. Let d = -185/2856 - k. Is -1 at least d?
False
Let c be ((-4)/(-8))/(3/2). Which is smaller: -2/33 or c?
-2/33
Suppose -4*k - 3*m = -2*m - 9, 8 = 5*k - 2*m. Let f(w) = -3*w - 37. Let n be f(-12). Is n <= k?
True
Let m be (-2)/(-9) - 0 - 0. Let y = 1.6 + -1.4. Which is smaller: y or m?
y
Let l(f) = f + 1. Let o be l(-1). Let n = 226 - 148. Let i = n + -236/3. Does i = o?
False
Suppose -y + 5 = 4. Let s be -218*(-3)/(-23 - 1). Let t = -27 - s. Is t less than or equal to y?
True
Let h be (-2)/(-1*6/21). Let b(u) = -u**3 + 6*u**2 + 6*u + 10. Let j be b(h). Suppose -j*i + 2*p - 6 + 2 = 0, -3*i + p - 2 = 0. Which is smaller: i or -1/4?
-1/4
Let u(i) be the second derivative of i**4/12 - i**3/2 + i**2/2 + i. Let b be u(3). Let z = 0.2 - 0.1. Which is smaller: b or z?
z
Let t = -24 + 73. Suppose 0 + 44 = -4*i + 4*y, -y - t = 5*i. Let z be (-1)/3 - i/12. Which is smaller: 0 or z?
0
Let j = -4.97 + 5. Let x = j + 1.97. Which is smaller: 0 or x?
0
Let s = -52 + 36. Let u = s - -14. Is u less than -0.1?
True
Let v = -0.1 + 1.1. Let o = -6.175 - -0.075. Let l = o + 6. Which is smaller: v or l?
l
Suppose -5 = 5*d, 3*d = -4*y + 9 + 4. Suppose -2 - 2 = y*u. Is u at least -1/4?
False
Let t = 21166/143 - 1552/11. Which is bigger: t or 6?
t
Let v = 30 + -36. Let q be ((-1)/10)/((-1)/(-4)). Which is greater: q or v?
q
Let r(x) = -188*x**2 + 15*x - 7*x - 1 + 187*x**2. Let y be r(7). Is y != 2/7?
True
Let t be (66/(-4))/(6/8). Let s = t - -31. Is s < 9?
False
Let b be (-6)/18 - (-4)/3. Let h be (-2)/b*2/1. Suppose -2*n - 3*n - 4*s = 11, -3*s + 12 = -3*n. Which is smaller: n or h?
h
Let p = 5 + -1. Suppose -4*b = -3*o - 0*b + 22, -2*b - 16 = -p*o. Is 2 <= o?
True
Let s = 17 + -13. Let g = 3 - s. Which is smaller: g or -2/35?
g
Let o = -22 + 21. Let k = -0.5 + 2.5. Which is greater: k or o?
k
Let h be ((-54)/(-4))/((-9)/12). Let k be h/(2/(0 + 2)). Let d be 2/(-1)*3/k. Which is smaller: d or -3?
-3
Let l be 10 - 1 - (-51)/17. Which is greater: 9 or l?
l
Let m(z) be the third derivative of z**5/60 + 5*z**4/24 + z**3/6 - 3*z**2. Let y be m(-4). Let x be y*((-2)/24 + 0). Is -1 smaller than x?
True
Suppose 3*l - 9 = -0*l. Suppose -5*z + 41 + 24 = 4*s, -l*z + 22 = -s. Is z at most as big as 10?
True
Let y be (-3)/2 - -6*1/4. Is 34 smaller than y?
False
Let j = 22 - 5. Let i(z) = z**2 + 7*z + 10. Let s be i(-8). Is s < j?
False
Let o = -3 - -3.2. Let s = 3 - 6. Let b = 2.9 + s. Which is greater: b or o?
o
Suppose 8*k + 210 = -102. Let v be (10/35)/(k/(-21)). Suppose -q = 3*q. Are v and q equal?
False
Let a(b) be the first derivative of -b**2/2 + 11*b - 4. Let c be a(9). Is c bigger than 1?
True
Let s be (52/(-2))/((-4)/86). Let y be (-192963)/(-345) - 4/10. Let b = s - y. Is 0 > b?
False
Suppose 4*k + 2*h = -h + 11, 0 = 5*k + 5*h - 15. Suppose 4*m = 2*d + 20, 2*m - 3*m = 3*d + 2. Let b be 10/15