 equal to g?
True
Let p = 50 + -49.9. Which is bigger: 1/4 or p?
1/4
Let h = -23.09 + 23. Let r = h - -0.14. Let a = -0.05 - r. Which is smaller: a or 1/9?
a
Let z = -2 + 4. Suppose -z*i - 1 - 1 = 0. Let o = -0.2 - -0.3. Which is smaller: o or i?
i
Let g = 17 - 9. Let v = -5.8 + 0.8. Let l = g + v. Is -1 less than l?
True
Let s = -23/4 + 25/4. Which is greater: s or 7/4?
7/4
Let u(h) = -4*h + 2. Let x(t) = -t. Let k be 1*(1 + (-3 - -1)). Let s(d) = k*u(d) + 3*x(d). Let l be s(4). Is l bigger than 2?
False
Let m(x) = -x**2 + 6*x - 2. Let n be m(6). Let c(f) = -2*f**2 - 5*f - 1. Let t be c(-2). Let a = -2 - t. Is n at most a?
False
Suppose c = 3*h - 2*c + 12, -5*c = -h - 4. Is h at least as big as -3?
False
Let d be -4 - (-4 - (-5)/20). Let b = -5 + 9. Suppose -5*r + b = -6. Which is greater: d or r?
r
Let x(h) = -h - 1. Let w be x(5). Let y = w - -10. Let j = y + -6. Do j and 0.1 have the same value?
False
Let s = 12 - -3. Suppose -5*g = -35 + s. Let n(t) = -t**2 + t. Let l be n(0). Which is smaller: g or l?
l
Let w(q) = -4*q - 16. Let r be w(-4). Which is smaller: r or -1/17?
-1/17
Suppose 4*p + 100 = -2*w - 2*w, p - 5*w = -55. Let m be 1/(-3) + (-10)/p. Is m < 2/5?
True
Suppose -1 = f - 5. Let a = -34 - -103/3. Is f at least as big as a?
True
Suppose 0 = -4*n + 13*n + 153. Which is smaller: -16 or n?
n
Suppose 2*y = -2*y - 3*p - 29, -1 = -p. Is -8 less than or equal to y?
True
Let b = -6.8 - -6. Let n = 0.82 + b. Which is smaller: -2/3 or n?
-2/3
Let t = 1497/26 + -57. Let w = t + -233/494. Is w > 0.1?
True
Let r = 8 - 4. Suppose 3*t - g - 21 = 0, -4*t + 0*g + 23 = -3*g. Suppose 8*c = r*c - t. Which is smaller: c or -3?
-3
Suppose -117 = l + 5*m, 507 = l - 6*l + m. Which is greater: l or -103?
l
Suppose -a = -n - 4*n - 40, 2*a = -2*n - 28. Which is smaller: -10 or n?
-10
Let v = 8.77 - -0.23. Let d = v - 7. Which is greater: d or -1?
d
Let h = -7 + -2. Let t = h + 7. Is t > -6/5?
False
Let w = 11.8 - -16.2. Which is greater: 0.1 or w?
w
Let r be (-20)/(-58)*(-26)/(-65). Which is smaller: r or 1?
r
Let x = 5 - 7. Suppose -3*s - 11 = 5*w, -3*s - 5 = -2*s + 3*w. Let h be (s + -2)*2/x. Are 4 and h equal?
True
Suppose 16 = -y + 10. Which is bigger: -1 or y?
-1
Suppose 4*s = -3*j - 52, 53 - 13 = -2*j - 4*s. Let m be j/(-18)*(-6)/(-10). Let u = -3 - -4. Are u and m equal?
False
Let v be (0 - -1) + 1 + 2. Let p be 0 + -3 - (-44)/8. Do p and v have the same value?
False
Let i(s) = -s**3 + 3*s - 3. Let g be i(2). Let w = 7 + g. Suppose -4*m - 6 = -w. Is -2 < m?
True
Let j be ((-5)/(-10))/(26/(-4)). Let s be (3 - 1) + (-2 - -1). Is j at most as big as s?
True
Let q = -0.44 - -0.54. Which is smaller: q or -3/11?
-3/11
Let w = 2483/10 + -248. Which is smaller: w or 2/7?
2/7
Let l = -669/2 + 343. Is l > 9?
False
Suppose 4*g - 14 = 2*g. Suppose -5*f - 2 = -g. Let d = 17 - 154/9. Is d less than f?
True
Suppose 1 = -4*z + 2*t - 35, 2*z + 4*t + 8 = 0. Let b(a) = -a**2 - 9*a - 4. Let c be b(z). Is 1 > c?
False
Suppose l - 4*f + 11 = 33, 3*l - 4*f - 58 = 0. Is l at least 17?
True
Let m(r) = -r**3 - 10*r**2 - 10*r - 9. Let a be m(-9). Suppose 0 = 3*p + 5*z - 15, 2*z + a*z - 5 = -p. Suppose 3*j - p*j - 8 = 0. Is -2 not equal to j?
True
Suppose 3*w - 9 = -3*v, 4*w = 3*w + 4*v - 12. Is -9/11 smaller than w?
True
Let b be ((-4)/(-28))/(0 + (-276)/(-14)). Which is bigger: b or -1?
b
Let a be (196/12)/(2/(-3)). Let o = a - -249/10. Which is smaller: -10/11 or o?
-10/11
Let g be (-8)/44 - 100/55. Do g and -1 have the same value?
False
Suppose 4*r + 20 = 0, 2*r = 2*l + l + 14. Let f = l - -9. Which is bigger: 0 or f?
f
Let n be (32/(-6))/2 - (-18 - -16). Let m = 0 + 2. Let t = -2.1 + m. Is n at least t?
False
Let v(r) = -r - 7. Let h be v(-5). Let b(l) = l**3 - 6*l**2 - l + 4. Let m be b(6). Is m greater than or equal to h?
True
Let l = 11 - 17. Let m = l + 6. Is -0.3 less than m?
True
Let w = 10.4 - 9.4. Is -1 >= w?
False
Suppose -2*u + 0 = 2. Let t be (-11)/(-8) + (-1 - 0). Which is smaller: u or t?
u
Suppose 0*h + h = 8. Let j(u) = u**3 - 3*u + 5. Let o be j(2). Let g = 2 + o. Which is smaller: h or g?
h
Let c = 3 + 5. Suppose c*h + 3 = 5*h. Let t = -3/68 + -5/68. Which is greater: t or h?
t
Let j(q) = -q + 7. Let o be j(7). Suppose o = 2*c + h + 3, -c - 2*c - 3*h = 0. Let w(g) = -g**3 - 10*g**2 - 2. Let f be w(-10). Is f equal to c?
False
Let v = 2.82 + -2.6. Let y = v - 0.22. Is y < 0.07?
True
Let g = 226 + -228.07. Let t = -13.07 + 13. Let y = g - t. Do y and -1/3 have the same value?
False
Suppose 2*v = -0*v + 8. Suppose 0 = 4*c + v*t - 4, 0 = -3*t + 6*t. Let g be (0 - 0)/(3 - c). Is g bigger than 0?
False
Let a(t) = 3*t. Let r be a(-4). Let p be r/68*3/9. Is -1 at least as big as p?
False
Suppose -6*k + 4*k = 6. Is -1 less than or equal to k?
False
Let g be 0/(12/3 - 2). Is 2/313 bigger than g?
True
Suppose -5*o = -3*y + 21, 3*y + 2*y = -3*o + 1. Let q = 223/344 - 1/43. Do y and q have the same value?
False
Let g = -2870/1179 + -4/393. Are -3 and g nonequal?
True
Let t be ((-2)/8)/((-10)/8). Let i = -4 + 3.8. Let c = -1.2 - i. Which is smaller: c or t?
c
Let t(i) = i**3 + 10*i**2 + 18*i + 11. Let m be t(-8). Which is smaller: -19/4 or m?
m
Suppose -d - 4*d = 0. Let t be (-1 - -3) + 1*-7. Let v be (-1)/(-2) - t/(-18). Is d >= v?
False
Let q be (-2 - -7)*6/10. Let a(t) = t**q + 8*t + 2*t**3 + 1 - 2*t**3 + 9*t**2. Let b be a(-8). Is b > 3?
False
Suppose 2*s + 3 + 1 = -4*t, 0 = -2*s + t + 6. Suppose a = s*z - 5*z - 2, -8 = 4*z + 4*a. Are z and -1/3 nonequal?
True
Let r = -1 - 2. Suppose 1 = -4*v + 2*g - 3, 0 = 2*v - 2*g + 4. Let w be 1/r + v/2. Is 0.1 bigger than w?
True
Let k be 1/(-27)*(-17 - -15). Which is bigger: k or -0.7?
k
Suppose -2 + 24 = 2*r. Is 12 at least as big as r?
True
Let x = -50 + 50. Let k = -36 - -182/5. Do k and x have the same value?
False
Suppose -4*t + 2 = -2, 0 = -4*v + 4*t + 44. Suppose k + 3 = -3*o - v, -4*k = 4*o + 20. Let b(l) = -l - 5. Let f be b(-6). Which is smaller: f or k?
k
Suppose -4*c = -5*c - 11. Which is greater: c or -12?
c
Suppose 5*h + p - 5 = 6*p, 0 = 4*h + p - 19. Let r be 1/h*2 - 1. Let o = r - 1/10. Is 0 at least as big as o?
True
Let p = -0.051 - -0.181. Which is smaller: p or 0.1?
0.1
Suppose 2 = c - 2*q + 4*q, 8 = c + 5*q. Which is bigger: c or 2/19?
2/19
Suppose 4*n - 4*k - 552 = 0, -3*n = -0*n + 5*k - 382. Let i = n + -668/5. Let d = 53 - 213/4. Which is bigger: i or d?
i
Let d = -28 + 111/4. Suppose 0 = 4*k - 5*c - 25, 4*c + 20 + 0 = k. Let g = -1 + k. Is d >= g?
True
Let n(r) = r**2 - 8*r + 2. Let k be n(7). Let t = -3 - k. Suppose t*m + 5*q + 0*q - 8 = 0, -m + q = 3. Is m greater than or equal to -1?
True
Let f = 0 + -0.2. Let d = -7.86 - 0.14. Let a = d - -7.9. Is f equal to a?
False
Let d(j) = j + 1. Let h be d(5). Let z be 10/33*h/5. Which is smaller: z or -1?
-1
Let z be -2 + (-2 - -3) + 1. Suppose z = 5*a - 5*b + 15, -b = -0*a - 5*a - 11. Let f be 1/a - (2 + -2). Is f greater than 0?
False
Let f be (-3 - 0/(-2))*(-3)/9. Which is bigger: -2/91 or f?
f
Let x be ((-1)/2)/((-2)/(-12)). Is x at least -3?
True
Let z(l) = l**2 + l - 4. Let i be z(-3). Let o be i/4 - (-2 - -2). Which is smaller: 2 or o?
o
Let f(u) = 2*u - 6. Let r be f(-6). Let z = -12 - r. Let d be z/(-27) - (-4)/18. Which is smaller: d or -1/7?
-1/7
Let s = 98 + -39. Is s != -1?
True
Let n be (-4 - 0)/((-3)/3). Suppose -1 = a - 2, n*a = -5*v + 14. Do 2 and v have different values?
False
Let c(y) = -1184*y**2 - 2*y - 1. Let t be c(-1). Let i be 2/(-4) + t/42. Let d = i + 29. Which is smaller: d or -1?
-1
Let u = 40 + -42. Let f be (4/21)/((-4)/(-18)). Let d = 5/14 - f. Is d < u?
False
Suppose 4*z - 6*k = -k - 24, 2*z - 2*k = -10. Which is bigger: z or 1?
1
Let x be -12*2/(-12)*-2. Is 0 bigger than x?
True
Let u be (-18)/(-42) + (-18)/(-7). Let t = -7 - -11. Which is smaller: t or u?
u
Let h(j) = -j - 3. Let b be h(-2). Let v = 12/13 + -49/39. Is b > v?
False
Let y = -50 - -71. Is y at least 0?
True
Let w(k) = -k**2 + 4*k - 4. Let n(q) = q - 1. Let h be n(4). Let a be w(h). Do -2/9 and a have different values?
True
Let z be 2/4 - (-7)/2. Suppose -a - z = 3*x - 5, -3*x + 21 = -3*a. Suppose 2*y + x = 4. Which is greater: -1/6 or y?
y
Let d(n) = -n**3 - 5*n**2 - 4*n - 3. Let x be d(-4). Is x not equal to -3?
False
Suppose 11*g - 24 = 9*g. Suppose g