h is greater: o or -3?
o
Let f = 4.3 + -3.3. Let g = -151/84 + 25/12. Which is smaller: g or f?
g
Suppose 0 = 2*j - y + 10, -4*j - 29 = -j - 5*y. Is j > -5?
True
Let a = -175.32 + 196.5. Let x = a - 21. Let r = 0.02 + x. Which is greater: -2 or r?
r
Suppose -11 = 2*q - 1. Which is smaller: q or -4?
q
Let g = -1.957 - -0.057. Which is greater: g or 2?
2
Let f(z) = -z**2 + 4*z - 1. Let g be f(4). Let t be ((-3)/(-6))/(g/3). Which is bigger: -1 or t?
-1
Let r(c) = -c**2 - 8*c. Let f be r(-9). Is f > -10?
True
Suppose 0 = -4*j + 3*j - 2. Is -8/9 less than j?
False
Let k = -54 + 128. Let c = -373/5 + k. Which is smaller: 0 or c?
c
Let u be 4/22 + (-18)/(-22). Suppose -20 = -4*a - 4. Suppose a*y = -y. Which is smaller: y or u?
y
Let a = -14 - -14.26. Let n = -0.27 + a. Is 2 at most n?
False
Let f = 41/5035 + 14454952/65455. Let w = -221 + f. Suppose 1 + 2 = -3*j. Which is smaller: j or w?
j
Let d be (-4)/6*3/(-2). Which is bigger: 2/7 or d?
d
Let r = 0.5 - 0.8. Suppose 25 = -2*u + 7*u. Suppose -3*c - 2*c = -4*j - u, 0 = -2*j. Is c > r?
True
Suppose 43 = 11*u + 10. Is u at most as big as 25/8?
True
Let t = -3.7 + 1.7. Is -3 != t?
True
Let a = 1317/2 + -682. Which is greater: -24 or a?
a
Let b be (-2)/(-7) + (-6)/21. Let h = -1 + 1. Suppose -l - 2*l = h. Is b >= l?
True
Let o = 25 - 28.9. Let g = o - -4. Are -4/5 and g unequal?
True
Let i = 13 + -8. Suppose 0 = 5*d + 2*z - 10, 6*d + i = d + z. Is d less than 1/6?
True
Let x(c) = c**2 - 11*c + 2. Let n be x(11). Let s be ((-1)/(-2))/(n/(-8)). Let m = s + 4. Which is smaller: 1 or m?
1
Suppose 0 = -0*h + 3*h - 3. Let o be (-4)/(-18) + 100/(-531). Let v = -100/531 - o. Which is greater: v or h?
h
Let z be 7/((-7)/16)*1*-2. Which is smaller: z or 33?
z
Let x be (-1)/(-1) - (-6)/(-4). Let p(w) = -2*w + 8. Let a(g) = -g + 4. Let z(y) = 11*a(y) - 6*p(y). Let q be z(2). Which is smaller: q or x?
q
Let j = -4 - -4. Let a = -0.4 - j. Let b = a + 0.5. Which is smaller: -2/5 or b?
-2/5
Let m be (-1)/(-4) - (-319)/(-44). Is -7 at least as big as m?
True
Let v(x) = x**3 + 8*x**2 + 7*x - 1. Let w be v(-7). Let l be 3/8*105/(-9). Let h = l + 17/4. Is h at most as big as w?
False
Let r be 1/1 - (-2 - -3). Let v(f) = -f**3 - 10*f**2 - 8*f + 10. Let w be v(-9). Is r < w?
True
Let r(a) = -a**3 - 4*a**2 - 2*a + 2. Let v be r(-2). Let l be ((-4)/(-10))/(2/(-30)). Are l and v non-equal?
True
Suppose 9*o + 24 = 5*o. Is o less than or equal to -5?
True
Suppose -2*z - 5*u = -6 - 6, z = -5*u + 11. Let h = 5/83 - -111/913. Which is smaller: h or z?
h
Let a = 1 + 2. Let d = 22 - 20. Let b be d/a - (-25)/(-24). Which is greater: 0 or b?
0
Let r be (3 - (2 - 0))*3. Suppose -5*i + 3*z - 4 + 19 = 0, -i - 15 = r*z. Suppose -3*y = -i*y. Do y and 0 have different values?
False
Suppose 2*r - 5 = -1. Suppose 3 + 3 = r*q. Let n be ((-54)/30)/(q/(-10)). Is n greater than 6?
False
Suppose 5*o = -l - 15 - 2, -2*o + 4 = 4*l. Are -9 and o equal?
False
Let z = -872/9 - -97. Is 1 >= z?
True
Suppose -69 = -3*i - 4*o, o = -2*i - 2*o + 46. Suppose 5*m - i = -4*c, -2*c = m - 7*c - 22. Suppose 0 = -q - m. Are q and -6 equal?
False
Let g(o) = o**3 + o**2 + o + 4. Let j be g(0). Let z be 14/28*2/j. Which is greater: -1/5 or z?
z
Suppose 0 = -0*r + 4*r + 28. Let g(f) = f**3 + 6*f**2 - 6*f + 8. Let p be g(r). Let z(u) = u + 2. Let k be z(-2). Which is smaller: k or p?
k
Let f = 95 + -63. Let z be 2/(-8) + (-104)/f. Are -4 and z nonequal?
True
Suppose -x = -3*a + 2*a + 2, -4*a = 2*x + 16. Let m(v) = -v. Let c be m(a). Suppose -2*k = 2*k - 12. Which is bigger: k or c?
k
Let w(t) = -t**2 + 6*t - 3. Let d be w(5). Is d greater than 5/7?
True
Let o = 14101/47 + -300. Which is bigger: -1 or o?
o
Let y = -26 - -37. Which is bigger: y or 10?
y
Suppose -3*b = 2*z - 7*b, 0 = z + 5*b. Is 1/79 at most z?
False
Suppose -4*f - 480 = f. Let g = 670/7 + f. Is g greater than 3?
False
Suppose 0 = -6*t + 9*t + 3. Do -4 and t have the same value?
False
Suppose 2*g = -3 + 1, 0 = 4*r - 4*g - 24. Suppose -5*p + 5*j = -20, 0 = -2*p + 3*j + 2 + 10. Suppose -y + 2*l = -3*l - 4, p = l. Which is smaller: r or y?
y
Let x(n) = -n**3 - 11*n**2 - 12*n - 5. Let v be x(-10). Let s = -8 + v. Suppose h = 2*h - 3*g, 2*h = -g - s. Are -4 and h unequal?
True
Let m be -1 - 3 - (-294)/54. Is 1 smaller than m?
True
Suppose -m + 2*m - 4 = 0. Let g(p) = p**3 - 5*p**2 + 5*p - 6. Let s be g(m). Let l be (-22)/60 + s/(-10). Which is smaller: 2/3 or l?
l
Suppose 0 = 6*v + 4 + 20. Let o = 3 + v. Is -11 > o?
False
Suppose 0 = -3*q + h + 22, h - 1 - 13 = -3*q. Let d = 0 - 0. Which is smaller: d or q?
d
Let m be (2/(-3))/(8*(-1)/(-6)). Which is bigger: m or -1?
m
Let k = -17 - -17.1. Do k and 0.05 have different values?
True
Let f = 2.5 - 2.4. Let j(z) = -z**3 + 5*z + 0*z + 5*z**2 - 6 + 2*z. Let t be j(6). Do t and f have different values?
True
Suppose -2*c = 5*l - 10, l + 3*c = -4 + 19. Which is smaller: l or 4/19?
l
Let s be (1/(-3))/((-3)/51). Let m = -116/21 + s. Which is bigger: -2/3 or m?
m
Suppose -3*x + 4*q - 1260 = 0, 4*x + 2*q + q = -1680. Let d be 129/x + 1/4. Which is greater: 0 or d?
0
Let x(m) = 4*m - 1. Let s be x(-1). Let q = s - -2. Let b be 1*q + (-3 - -8). Is 3 bigger than b?
True
Suppose -o = -3*o + 4. Suppose 4*b = o*b + 4. Suppose w = -b*w. Does w = 0.05?
False
Let g be -22 + 26 - (0 - (-1 - 1)). Which is bigger: g or 3?
3
Let q = 8/3 + -25/9. Which is smaller: -2 or q?
-2
Let r = 172/747 - 2/249. Which is greater: r or 0?
r
Let z = -100 - -699/7. Let b(i) = i**2 - 7*i + 2. Let p be b(7). Let q = p + -2. Which is smaller: q or z?
z
Let l = 9.7 + -2.7. Is l smaller than -1?
False
Let x = 23 - 33. Let o be x/(-2)*(-3)/5. Which is bigger: o or 1?
1
Let d = -12/79 + -232/553. Which is smaller: -1 or d?
-1
Let x(a) = -2*a + 1. Let d be x(5). Let n = d + 4. Let o be 4 + -5 + (-8)/n. Which is greater: -2 or o?
o
Let k = 29 - 15. Let y = 15 - k. Is y less than or equal to -1/9?
False
Suppose -i = 1 - 4. Suppose 5*x = 4*x + 6. Let h be i/9 - 8/x. Is -1 at most h?
True
Suppose 0*h + 14 = -2*h. Let i = h + 8. Which is smaller: i or -1?
-1
Let v(b) = -b**3 - 2*b**2 + 6*b + 5. Let r be v(-4). Suppose -3*z + n = -7, -4*z - 4 = -n - r. Which is smaller: z or 0?
0
Suppose -2*j + 2 = 0, -3*j = 4*z + 2*j + 7. Let l be ((-2)/3)/((-2)/z). Let p = 3/20 - 7/30. Which is smaller: p or l?
l
Let b = 1.8 - 1. Let q = b - -1.2. Which is greater: q or -5?
q
Let t = 60/31 + -1032/341. Let y be -2 + (4/2 - 1). Which is bigger: y or t?
y
Suppose -4*n = w + 2*w + 66, 0 = -2*n - 3*w - 36. Let f be (-2)/(-3)*n/6. Is -1 equal to f?
False
Let v(w) = w**3 - 7*w**2 + w - 4. Let b be v(7). Which is greater: 16/5 or b?
16/5
Let g = 3.8 + -4. Is -4 equal to g?
False
Let u be -1 + 0 + -1*(-2 - -2). Is u less than or equal to -8/5?
False
Let q = -2 + -2. Let z be 5*(4/1)/(-8). Which is smaller: z or q?
q
Let d = -0.44 - -0.14. Let c = -0.2 - d. Is -4 greater than c?
False
Let w = -10 - -16. Let o be 6*(-1)/((-81)/w). Which is bigger: o or -1?
o
Let v = -6 + 4. Let z = -2.2 - v. Let k = 102 - 508/5. Do k and z have different values?
True
Let j be (-2)/6 - (-1 - -1). Which is smaller: 1 or j?
j
Let u be (-51)/(-68) + (-39)/(-12). Let j = 4 - 1. Is j less than u?
True
Let i(z) = -z**2 + 4*z - 2. Let n be i(2). Let u be 1/(26/4) - (-979)/143. Let p be u*(n/(-2))/1. Does p = -7?
True
Let k(r) = r**2 - r - 2. Suppose -2*o - 5*i = 16, i - 13 = 5*o - 0*i. Let f = 3 + o. Let x be k(f). Which is smaller: x or -3/4?
x
Suppose -a + 4*a - 15 = 0. Suppose -3*j = 2*j - 25. Suppose a*f = 2*x + 11 + 8, -j*x = 5*f - 40. Is x equal to 3?
True
Let y be 8/66*(-12)/(-8)*4. Which is bigger: 2 or y?
2
Let z = 1 + -0.7. Let m = 0.1 - z. Let v = -1.2 - m. Is 1 bigger than v?
True
Let g(h) = 2*h - 4. Let c be g(2). Which is bigger: -2 or c?
c
Let w be 2/(3 + 1)*-12. Let a be 4/w + (-7)/3. Do -3 and a have the same value?
True
Let v = -31 - -33. Are 2 and v non-equal?
False
Let c = -1 - -3. Suppose 3*w = -4*u, -2*u = -3*w + 4*w - c. Which is smaller: -5 or w?
-5
Let n be (-14)/(-8) - -1 - 1. Let s(j) = 9*j - 33. Let p be s(4). Do p and n have the same value?
False
Suppose 0 = -27*v + 22*v - 5. Which is smaller: 1/54 or v?
v
Let l = 1 - 1.2. Suppose 0*h + f = -2*h + 9, 3 = -3*h + 4*f. Suppose g - h + 7 = 0, 2*t + 12 = -2*g. Which is bigger: l or t?
l