-1 + 0) - x. Which is greater: 1/7 or b?
b
Suppose -h - 7 = -v, 3*v - 6*h + 7*h = 13. Is v >= 3?
True
Let p be 9/(-15) - (-129)/15. Is 7 at most p?
True
Let s be (4/(-30))/(12/15). Which is greater: s or 2?
2
Suppose -4*r + 20 = -0*r. Suppose 5*i + r*s - 4*s - 9 = 0, i + 3 = s. Which is bigger: 2/3 or i?
i
Suppose j + 3*s = 2*j - 8, 2*s = -3*j - 31. Let f = 3 + j. Let h be (2/(-4))/(((-25)/(-20))/5). Is f < h?
True
Let i = -3 - -7. Is i < 4?
False
Let q = -54081/7 - -7739. Let i be 327/(-21) - (0 + -2). Let v = q + i. Do v and 1 have the same value?
False
Let c = 123 + -125. Which is smaller: c or -3/20?
c
Let b(u) = 4*u**2 + u - 1. Let p be b(-2). Suppose -2*s + 0 = -12. Let j = p - s. Do j and 6 have different values?
True
Let u = -7 - -9. Let m be u/6 + 10/6. Suppose 0 = i + 3*i - 8. Does i = m?
True
Let u = 58 + -62. Is -2 less than u?
False
Let v = -2/47 - -51/94. Suppose 2 = f - 2. Let x be 0/((-3)/((-6)/f)). Which is greater: x or v?
v
Suppose 0 = -3*o - 27 - 24. Do -18 and o have different values?
True
Let w(r) = -r**3 + 5*r**2 + 9*r - 6. Let d be w(6). Is d >= 11?
True
Let s(c) = -2*c**2 + 2*c - 2. Let g be s(2). Is g bigger than -6?
False
Suppose -6*n = -5*c - 2*n + 180, -25 = 5*n. Suppose 0 = -4*v + 2*q - 162, -q = -v - c - 10. Let y be v/12*1 - -3. Which is bigger: 0 or y?
0
Let y be ((-31)/(-62))/(2/(-16)). Is y at most as big as -2?
True
Let z = 1078/3 - 356. Which is smaller: 3 or z?
3
Let g be 2/(-2)*(-1 + 2). Let b = 19596/3029 + 34/233. Let o = b - 581/78. Is g bigger than o?
False
Let b = -2.1 - -3.4. Let v = 1 - b. Which is smaller: v or 3?
v
Let s be ((-1 - -1)/(10/5))/(-2). Suppose -3*y - 1 = 2. Let i be (6 + y)*2/15. Is s less than i?
True
Let k(c) = 53*c - 1. Let g be k(7). Let l be (8/g)/((-4)/(-10)). Let y = l + 23/259. Which is bigger: y or 0?
y
Let r = -343 - -4461/13. Let f = 95 + -96. Do r and f have different values?
True
Let w = 12.1 - 12.26. Which is smaller: -0.4 or w?
-0.4
Suppose -m + 3*q = -4*m + 66, -4*m + 79 = q. Suppose 2*b - 4*s = -10, -4*b - s - m = 19. Let w = 5 + b. Is w greater than -3?
False
Let x = -15 - -14. Let n = -1.5 + 0.4. Let m = n - x. Is m >= 0?
False
Let g = -3 - -5. Let f be 44/(-32) + (-3)/(-8). Which is greater: f or g?
g
Let d = 1 - 1. Let l = -3 - -1. Let q be d + l/(3*2). Is q less than or equal to 0?
True
Suppose -2*c + 0 + 20 = 4*k, -2*k + 10 = -5*c. Let z = 4 + -2. Suppose 0 = 5*r - z*s - 1, 3 = -6*r + 3*r + 3*s. Which is bigger: r or c?
r
Let r be -7*4*2/8. Which is smaller: -20/3 or r?
r
Let b = -2 - -2. Let t = -481 + 479. Which is greater: t or b?
b
Suppose q = -q + 6. Suppose -q*u - 6 = -u. Are u and -4 equal?
False
Let p be (4/2)/(2/64). Suppose 5*h - 4 + p = 0. Let g be ((-2)/h)/(1/(-8)). Is -1 bigger than g?
True
Suppose -x + 6*x = -255. Let m = -513/10 - x. Let j(c) = -c**2 + 4*c - 3. Let w be j(2). Are w and m non-equal?
True
Let y = 2 - 7. Let o be (2/y)/((-4)/(-5)). Which is smaller: -1 or o?
-1
Let b be (1*-3)/(18/(-12)). Is b at most as big as 9?
True
Let d be ((-4)/(-14))/((-8)/12). Let f = -6 + 6. Is f greater than d?
True
Let u = 0.123 + 0.077. Does u = -25?
False
Let g = 0.1 - 0.1. Let z(d) = d**3 - 11*d**2 - 12*d - 1. Suppose 37 = 2*x + 13. Let j be z(x). Is j less than or equal to g?
True
Let q = -5 - -4.9. Let p(r) = -29*r - 1. Let v be p(-1). Let t be v/(-45) + (-4)/(-18). Which is greater: t or q?
q
Let y = -2 - 5. Let b(v) = v + 6. Let j be b(y). Let n be 2*(0 + 1/(-1)). Is j greater than or equal to n?
True
Let o = 1.99 - -0.01. Suppose 2*t - 5*q = 5, 0 = -2*t + 4*t - 2*q - 14. Let z = 10 - t. Is o less than or equal to z?
False
Suppose 2*z + 50 = 7*z. Suppose 0 = -3*s - 2*q + z, 4*q - 2*q = 2*s - 20. Which is bigger: 5 or s?
s
Let k(g) = -g**2 + 0 + 5*g + 4 + 2. Let z be k(6). Suppose z = -f - 0*f. Which is smaller: 0.1 or f?
f
Let f = 0.4 + -0.4. Let u = 20 - 19.5. Which is smaller: u or f?
f
Suppose 4*y = -0 + 4. Which is smaller: -2/349 or y?
-2/349
Let t(i) = -1 + 0*i - 1 - 5 - i. Let w be t(-5). Which is bigger: w or -3?
w
Let l be 3 + (-19)/7 + (-94)/(-14). Which is smaller: l or 22/3?
l
Suppose 11*m - 7*m = 0. Let l = 201 - 2611/13. Is m less than l?
True
Let m be 17 - (-4 + (-2)/(-1)). Let i = -24 + m. Which is bigger: i or -4?
-4
Let r = 16 - -7. Which is smaller: r or 22?
22
Suppose -24 = -2*f - 0*f. Let x be 13/(-6) + (-4)/f. Let n = x + 9/4. Is n bigger than 0.3?
False
Let l = -20/13 - -67/52. Is -0.6 at least l?
False
Let w = -13.996 + 0.096. Let m = w - -14. Is m > 13/4?
False
Let f(u) = u**3 + 5*u**2 - u - 4. Let n be f(-5). Let r be (-1 - n) + -1 + 6. Let b be 9*2/8 - r. Is 0 at most as big as b?
False
Let u be 1/1*4/4. Let c(z) = 2*z**2 - z + 1. Let d be c(1). Let j be (-6)/28 + 1/d. Which is smaller: j or u?
j
Suppose -3*i - 3*u = 6, -2*i + 2*u = 7*u + 7. Does i = -1/34?
False
Let l = -135659/13503 + -2/1929. Let w = 31/3 + l. Let k = 4 - 4. Are w and k equal?
False
Suppose 3*b = 4*b. Suppose b = 2*a + a. Which is smaller: a or 2?
a
Let u = 2 - 2. Suppose z + 5*d - 24 + 3 = u, -18 = 2*z - 5*d. Which is smaller: z or -2/9?
-2/9
Let z = -0.29 - -0.58. Let q = -0.22 + z. Which is smaller: q or 1?
q
Let c = 53/52 - 10/13. Let j = c + -3/28. Let p be -1 - (1 - (2 - 1)). Is p greater than or equal to j?
False
Let v = 4513/3 + -1517. Let x be ((-368)/90)/((-2)/6). Let q = x + v. Is q greater than 1?
False
Let h = 0.296 + -2.266. Let s = h - 0.03. Let t be (-24)/110 + (4 - (-230)/(-55)). Which is smaller: t or s?
s
Let v(t) = t**3 + 9*t**2 + 7*t - 9. Let c be ((-3)/1)/(-3) + -9. Let k be v(c). Is k greater than or equal to 2/11?
False
Let z be ((-4)/6)/((-2)/24). Let d = z - 9. Is d less than 0.1?
True
Let h = 15.07 - 15. Let a = 0.17 - h. Which is bigger: -0.1 or a?
a
Suppose 2*o = o - 6. Let w = o + 8. Suppose 2*p = 5*a - 9, 0 = p - w*p + 3*a - 6. Are p and 2 unequal?
True
Let o be 38*4/24*-3. Is -17 smaller than o?
False
Let z be (64/12)/(4/(-186)). Let b = z - -1740/7. Is b < 2/3?
True
Let k = 33227/63641 - 1/2767. Does 0 = k?
False
Let u = -4 - -7. Suppose 2*n + u*n = 0. Is n <= 0?
True
Let j = 47/14 - 244/7. Let g = -32 - j. Do g and -0.3 have the same value?
False
Suppose 4 = 4*w + 4*c, 2*w + c - 5 = -2. Let v be 33/(-6*1/(-4)). Let h be v/18 - (-10)/(-45). Is h <= w?
True
Let s be (1/2)/((-2)/(-4)). Is -6 smaller than s?
True
Let q be ((-56)/46 + 0)*1/2. Does q = -2?
False
Let k(f) = f**2 + 2*f + 2. Let q be k(-2). Suppose 2*h = -q*h. Let p be 1/(17/(-6) - -2). Is h less than p?
False
Let m = -1 - 0. Let x be (-6)/(-39) - 50/(-13). Let n = x + -5. Is n greater than m?
False
Let n = 9/26 - 102/13. Let v = n - -127/18. Let l be (-8)/16*(-4)/2. Is v <= l?
True
Let w = 35 + 15. Let t be 2/(-3) - w/(-30). Is 2 at least as big as t?
True
Let m = 1 + -4. Let g be m/63 - (-2)/(-7). Let k = 1 - 0. Which is smaller: k or g?
g
Let w = 39.9 + -40. Is w less than -2.5?
False
Let z(m) = -m**2 + 10*m - 21. Let q be z(4). Suppose 2*b + t - 3 = -4*t, 0 = -3*b - t + 11. Which is smaller: q or b?
q
Let i(f) = f**2 + 5*f - 1. Let v(x) = 1. Let a(b) = -i(b) + 2*v(b). Let c be a(-5). Which is smaller: 1/4 or c?
1/4
Let s be 4/(-18) - (-218)/(-2664). Let y = -2/37 - s. Which is greater: y or 0.1?
y
Suppose -2 = 2*a, 4*z = 2*z - 2*a - 16. Let b(o) = -o**2 + o + 6. Let u be b(-3). Is u greater than z?
True
Let i = 6.8 - 7. Are -0.02 and i equal?
False
Let h = -2/93 + 24/155. Suppose -24 = 6*i - 2*i. Let w be (7/21)/(2/i). Which is bigger: w or h?
h
Let l = -105 + 737/7. Let f = 2 - 2. Let p = 0.1 - f. Which is greater: p or l?
l
Suppose w + 13 + 2 = 0. Let n = w - -21. Which is bigger: 3 or n?
n
Let r(q) = -3*q. Let g be r(-1). Suppose -4*o = o. Suppose -l + 5*v - 3*v = o, -5*l + g*v = 0. Is l at most -1/4?
False
Let o = -7 + 11. Let l = 16 - o. Let y be (-8)/l*(-3)/(-8). Is y at most as big as 1?
True
Let o = 7.1 - -4.1. Let b = 2.2 - o. Are 0.1 and b unequal?
True
Let z(u) = -u - 34. Let o be z(-11). Which is smaller: o or -25?
-25
Let n be (9 - -3)*(-6)/(-4). Let h be (-1 + -2)/n*3. Let x be -1*(-3)/((-6)/4). Is h bigger than x?
True
Let b = -6 - -6.05. Let p = b - -0.25. Is p != -0.1?
True
Let m be 1 + 4/4 + 1. Suppose -m*l + s = -3*s - 14, l - s = 3. Are l and 1 non-equal?
True
Let b be 16/(-70) + 15/35. Let c(i) = i**2 - 6. Let z be c(5). Suppose 10