: -1/7 or g?
g
Let d = -5 + 5. Suppose 0 = 3*z - d*z + 3. Let b be 27/(-21) - 4/(-14). Is b at least z?
True
Suppose 0 = -d - d. Suppose 2*s + 6*w = w - 7, d = -2*w - 2. Suppose 2 = -0*l - l. Does l = s?
False
Let h = 4.1 - 0.1. Let r = -11 + h. Which is bigger: -0.1 or r?
-0.1
Suppose -49 + 13 = -3*g. Is g less than or equal to 0?
False
Let x(m) = -m**2 + 11*m - 17. Let g be x(10). Which is smaller: -5 or g?
g
Suppose 18 - 122 = -4*c. Let n be (-4)/(-10) + c/10. Suppose -n*d = d. Is 2/5 equal to d?
False
Let b be (5 - 2)/(1/(-2)). Let a(q) = 5*q - 12*q**2 - 2*q**2 + 15*q**2 - 6. Let y be a(b). Which is smaller: 2/9 or y?
y
Let n be -8 + 750/65 + -2*2. Let o be -1 + -1 + 1 + 0. Are o and n unequal?
True
Let o(h) be the first derivative of -h**4/4 + 4*h**3/3 + h + 2. Let g be o(4). Is 1 less than or equal to g?
True
Let v(q) = -4*q**2 + 1. Let r be v(2). Let n be 0 - (-2)/r*-1. Let j(f) = -f**2 - 8*f - 7. Let o be j(-7). Which is greater: n or o?
n
Suppose 0 = -6*j + 41 + 31. Are 14 and j unequal?
True
Let n(b) = b**3 + 14 - 14 + b + b**2. Let l be n(-2). Is -6 smaller than l?
False
Let p = -68 + 69. Which is smaller: p or -2?
-2
Let w = 20 - 0. Let i = 15 - w. Is i >= -7?
True
Let j be 2 - 0*3/9. Suppose -h - 2 = j*o + o, 6 = -3*h. Are -3/8 and o equal?
False
Let d = -484 - -485. Let b be -3*(-1 - (2 + -4)). Is b at most as big as d?
True
Let o be 9/(-6)*14/(-12). Are -1/3 and o nonequal?
True
Suppose 0 = -5*n - y + 23, 5*n = -2*y - y + 29. Suppose 0 = 3*o - n*o + 3. Let f = -4 + o. Does -1 = f?
True
Let b(s) be the second derivative of -5*s**4/12 + s**3/6 + s. Let d be b(1). Let u be d/(-14) + (-8)/77. Are 1 and u unequal?
True
Let p(b) = -2*b - 4. Let t be p(-6). Let u be t/(-10) + (-1)/(-5). Are 4 and u nonequal?
True
Suppose 9 = 2*a + 5*j - 16, -5*a + 53 = 3*j. Is 8 at most a?
True
Suppose 187 = -5*l + 622. Is l less than or equal to 87?
True
Let m = -9 - -6. Let z(k) = k**2 - 10*k + 8. Suppose -2*j + 2*s - 6*s + 26 = 0, -2*j - 2*s + 22 = 0. Let n be z(j). Which is bigger: m or n?
n
Let r be -3*((-84)/(-9))/(-4). Suppose 5*q = r*q - 4. Let g = 14 - 27/2. Which is bigger: g or q?
q
Let h(q) = q + 6. Let a be h(-5). Suppose 0 = 5*u - 0 - 15. Suppose 2*r - r + 4*n = -19, 7 = -u*r - 2*n. Do a and r have different values?
False
Let w be (603/(-72))/((-2)/31). Let a = w + -130. Are a and 1 equal?
False
Let l be (1*-2)/2 - 0. Let h be (8/6)/((-8)/12). Let q be 6/9*3/h. Are q and l non-equal?
False
Let l = -21 - -13. Which is smaller: l or -7?
l
Let a be (-8 - 84) + 3 + -1. Which is smaller: a or -89?
a
Let a = -8 + 6. Suppose 1 + 3 = -2*u. Is u at most as big as a?
True
Let i be -1 - 3 - (1 - 4). Let q = i - -3. Let l = -3 + 3.1. Does q = l?
False
Let g be 20/9 - 6/27 - 2. Let k be (-4)/18 - 80/(-522). Which is smaller: g or k?
k
Let b = 48 + -52. Is 1 at most as big as b?
False
Let l = -3 - -1. Let d = 3.2 - 3. Which is bigger: d or l?
d
Let l(b) = -2*b**2 - 3*b + 4. Let j be l(-7). Is j at most -74?
False
Let p be 344/(-77) - (-6)/33 - -4. Which is greater: 0.52 or p?
0.52
Let m(v) = v**2 + 9*v - 4. Let g be m(-7). Let x be (-7)/(-9) + (-4)/g. Are x and 2/15 non-equal?
True
Let z = -1.8 + 2.9. Let a = 1 - z. Let s = -17 - -137/8. Is a < s?
True
Let k be 0 - (4 + -6) - -20. Is 22 greater than k?
False
Let u = -3 - -2. Let i = 1 - 0. Let q = u - i. Which is smaller: q or -1/4?
q
Let s(j) = j**2 - 4*j + 3. Let c be s(4). Suppose -5*r + 2*t - 3 = 0, 3 = -3*r - 2*t - 2. Let f be r*(-1 + -2) - 1. Is c at least as big as f?
True
Suppose 1 - 2 = -t. Let c be (-8)/11*(-1)/4. Are c and t non-equal?
True
Suppose 0 = -0*k + 2*k. Suppose 4*o = 2*t + t + 20, 0 = 2*t + 3*o - 15. Suppose t = -q + 2 - 4. Is k at most as big as q?
False
Let r = -463 - -24541/53. Let g = 49/106 + r. Is 4 at least as big as g?
True
Let d = -10 - -13. Suppose -d = -3*f + 6*f. Is 2/31 > f?
True
Let w(k) = k + 10. Let q be w(-9). Let b(u) = u**2 - u + 1. Let n be b(q). Which is bigger: 2/27 or n?
n
Suppose -4*f = -4*q + 12, q + 2*f = 4*q - 11. Let i be (6 - (0 - -1)) + 1. Which is bigger: i or q?
i
Let v(c) = -c - 5. Let f be v(-4). Suppose -j = j - h + 3, -2*j - h = -3. Let i = 0 + j. Which is smaller: i or f?
f
Let g = 2.22 - 2.2. Which is greater: -0.1 or g?
g
Let x be 2/16*-2 - (-44)/(-80). Let u be (0 + (1 - 1))*-1. Is u less than or equal to x?
False
Let x = 17/6 - 49/12. Is x not equal to -1?
True
Let l be (2/(-20))/((-2)/(-8)). Let r = -5 - -5. Let z = 0 + r. Which is greater: z or l?
z
Let m be (-2)/6 - 60/(-18). Suppose 5*b - 31 + 6 = -5*k, m*k - 7 = -b. Which is bigger: 1/8 or k?
k
Suppose 3*u + 20 = -2*x, -4*u + x - 24 = 3*x. Let w(y) = -y - 4. Let z be w(u). Which is smaller: z or 3/4?
z
Suppose -1 = 7*h - 6*h. Are -3/67 and h nonequal?
True
Let s = -167 - -166. Which is smaller: s or -17/4?
-17/4
Suppose 5*k - 32 = -117. Which is smaller: k or 1?
k
Suppose 2*y = -3*i - 3*y + 7, -i + 7 = 4*y. Let u(k) = -k**3 - 4*k**2 + 3*k - 3. Let f be u(-5). Let r be ((-2)/6)/(f/6). Is i greater than or equal to r?
False
Let r be (-3)/(-2) - 8/4. Let h be ((-3)/3)/3*6. Which is greater: r or h?
r
Let v be (-2)/4*0 + -1. Let o(m) = -m**3 + 5*m**2 + 10*m - 9. Let j be o(6). Let x be 1*((-18)/j)/(-3). Which is smaller: x or v?
v
Let c = 7 - 5. Suppose 0 = -c*g + 11 - 1. Suppose 0 = -l + g, 8 + 2 = -5*q + 2*l. Does q = -2/7?
False
Let i = 2 - 3. Suppose -4*q - 20 - 268 = 0. Let a be (-86)/q + 6/(-8). Is a less than i?
False
Let m be (-24)/(-9) + 3 + -6. Which is greater: m or -1.9?
m
Let g = 0.013 - -0.987. Do g and 0.43 have the same value?
False
Let l be (-9)/6*16/6. Suppose 0*f = -2*f - 8. Is f at least l?
True
Let t be 2 + -1 - (3 + 1). Which is smaller: t or -4?
-4
Let m = -2.21 - -2.3. Let w = m + -0.09. Is w at most as big as 1/5?
True
Let l = -11 + 12. Which is smaller: 7 or l?
l
Let y = 0.4 - 0.4. Let w = 3 + -4. Let f = y - w. Is 1/5 at most f?
True
Let l be -5*(-165)/(-12) + -3. Let r = -71 - l. Does 0 = r?
False
Suppose 3*h = -0*h. Is h less than 3/22?
True
Let q = -12 - -12. Let i = 6 + -3. Suppose -2*c - i*c - 5 = q. Which is smaller: c or 3/8?
c
Suppose v - 3*v = 0. Suppose 25*d - 24*d = -4. Which is smaller: d or v?
d
Suppose d - 2 + 0 = 0. Let h = d - 3. Is h < -0.01?
True
Let w = 21 + -16. Suppose 0 = -4*n - 1 + w. Are -2 and n nonequal?
True
Suppose -b + 0 = -19. Let p = b + -6. Suppose 0 = 5*k - 38 + p. Do k and 3 have the same value?
False
Let s be (-16)/(-10)*6/(-8). Let l = -1.2 - -0.2. Is s < l?
True
Let p = -4 + 8. Let n be 0/((1 - p) + 2). Is 4 at least n?
True
Let j = 121/20 - 43/10. Is j at least 2?
False
Let b = 6.5 + 0.5. Let d = b - 7.3. Let p = d + -1.7. Is p at least -1/4?
False
Let m be -1 + 0 + 5 - -2. Let d be (m - 1)/(-4 + 3). Let h be (-2 - d)*(-4)/16. Is h <= -1?
False
Suppose 15 = -58*s + 53*s. Let g = -1.3 + 0.3. Which is smaller: g or s?
s
Suppose -n - n + 6 = 0. Suppose -4*s + s - n = 0. Which is greater: 0 or s?
0
Let a = -0.22 + 0.12. Which is smaller: 0.07 or a?
a
Suppose 0 = 3*m + 2*m. Is m smaller than -3?
False
Let x = 171/5 - 3928/115. Is 1 >= x?
True
Let p = -191/1539 - -20/81. Let m = 4/19 + p. Which is smaller: m or 1?
m
Let f = 21 + -21. Is -1/5 greater than f?
False
Let p = 2 - 2.1. Let i = 308 + -3390/11. Is p not equal to i?
True
Suppose -8*g + 28 = -g. Which is smaller: g or 3?
3
Let n(v) = 2*v + 5. Let c be n(-7). Which is smaller: c or -7?
c
Let l(m) = -6*m - 27. Let h be l(8). Is h greater than or equal to -76?
True
Let d = 32 - 34. Which is greater: d or -4/3?
-4/3
Suppose 0 = f + 3*y - 5, 0 = -3*y + 6 - 0. Let h = -0.817 + -0.073. Let u = h - 0.11. Is f at most as big as u?
True
Suppose 2 = 2*h - 5*a, 0 = -h - 0*a + a - 2. Let w = 9 + -6. Let f be 1/w + h/(-6). Which is smaller: f or -2/7?
-2/7
Let t(p) = -3*p + 12 - 3 + p + p**2 + 11*p. Let a be t(-8). Is a less than 0?
False
Let i = -0.18 - -0.2. Let b = 0.28 + i. Which is greater: 1/2 or b?
1/2
Let i = 2/5 + -9/10. Do -1 and i have the same value?
False
Suppose -4*w = 5*f - 46 - 15, -f + 21 = 3*w. Is 6 less than or equal to f?
True
Let t(d) = -12*d**2 + d - 1. Let f(u) = 11*u**2 - u + 1. Let g(k) = -4*f(k) - 3*t(k). Let o be g(1). Which is smaller: o or -7?
o
Let q = -25/6 + 163/42. Suppose f - b - 3 = -0*f, 2*f = -3*b - 14. Is q greater than f?
True
Let o = -2 + 3. Wh