bigger: 4/3 or h?
4/3
Let f be (-3)/6*0*1/(-2). Are f and 2/47 equal?
False
Let c(m) = -m**2 + 6*m - 4. Let z be c(5). Suppose -v = -4 - z. Is v < 5?
False
Suppose -4*y - 1800 = y. Let f be 4/(-22) - y/44. Is 9 greater than f?
True
Let v = -115/327 - -2/109. Which is smaller: -1 or v?
-1
Let z be 1/((1 - -2) + -2). Let x be (-27)/9 + 5/((-60)/(-39)). Which is bigger: z or x?
z
Let u = -0.04 - 0.06. Let j = 4 + -4.4. Is u at least as big as j?
True
Let p = 4.14 - -1.84. Let x = p + -6. Let y = 1.98 - x. Is 0.2 at least as big as y?
False
Suppose -h - 2 = -3*h. Let y be 1/(-3)*h*-8. Is 4 smaller than y?
False
Let z = 75/583 - 2/53. Let b be 1 + 2*3/2. Suppose b*s + 1 = 3*s. Is s smaller than z?
True
Let r = -8 - -11. Let i = r - 3.2. Let k = 2 - 2. Which is smaller: k or i?
i
Suppose -2*s - 3*s - 12 = -3*z, 5*z + 5*s = -20. Does -2 = z?
False
Let u(z) = -z**2 - 12*z + 12. Let t = -33 - -20. Let r be u(t). Does 1 = r?
False
Let m = 1 + -7. Let z be m/(-10) + (-4)/(-10). Let r be ((-6)/(-4))/(255/(-20)). Is z greater than r?
True
Suppose 3*f = -2*u + 12, f - 5*u = 2*f - 4. Is 7 at most as big as f?
False
Let k = 18 + -17.2. Is k > -1?
True
Let p(m) = 2*m - 10. Let g be p(7). Let d(w) = w**2 - 3*w + 3*w - w + g - 4*w. Let c be d(4). Is -4/11 at least as big as c?
False
Suppose 0 = -i - 4*h - 1, -4*h = -4*i - 2 + 18. Suppose t = -i*t. Let p(r) = -r**3 - 4*r**2 - 1. Let g be p(-4). Is g greater than t?
False
Let x = 7 + -7. Let b be x + 3 + -1*3. Let k be -2 + b - (-5 - -1). Is 3 at most k?
False
Let r be 8/36*-3*-9. Is 7 less than r?
False
Let f be (-66)/(-9) - 1/3. Is 4 at least f?
False
Suppose 5*m + 22 = 16*m. Suppose -3*u = -u - 8. Is u greater than m?
True
Let k = -7188/11 - -654. Let z = k + -1/22. Which is bigger: z or 0?
z
Let j = 2 - 1. Let v be j/2*(9 + -7). Is v != -1/5?
True
Suppose 4*f + 7*s = 3*s + 24, 0 = 2*s. Are f and 13/2 non-equal?
True
Let f = 16 + -20. Let q be ((-27)/(-6))/((-3)/f). Is q smaller than 6?
False
Suppose -44 = -4*h + 8. Let f = -21 + h. Let t be f*(5/(-2))/(-5). Is t greater than -4?
False
Let j = -1.2 + 0.9. Let v = 0 - -1. Is j >= v?
False
Let c(g) = g**2 + 6*g + 3. Suppose 0*s + 3*s = -15. Let v be c(s). Let m be v - (-1 + 6/(-10)). Which is greater: -3 or m?
m
Suppose -4*f + 4*t - 7*t = 9, 0 = -2*f + 5*t + 15. Suppose -c + 2*c + 3 = f. Let i be -1 + (0 - c/12). Is i less than or equal to -2?
False
Let m(f) = f**2 + 4*f. Let s be m(-4). Let n be 2/(-2)*(-3)/(-5). Which is bigger: s or n?
s
Let j(o) = -o - 5. Let y be j(-7). Let i(l) = -l**3 - 6*l**2 - 5*l + 3. Let b be i(-5). Are b and y non-equal?
True
Let g be 3 - (-1 + 0)/(-1). Suppose -g*m + m = 0. Is m greater than or equal to 2/7?
False
Suppose 2*v + 5*s + 4 = 0, 0 = 2*v + v - 4*s + 6. Which is smaller: -2/3 or v?
v
Let x = -0.1 - -0.2. Let k = 4.9 + -5. Let q = 0 - k. Is q less than x?
False
Let o be (-10)/4*(-12)/315. Which is smaller: 0 or o?
0
Let c = 3 - 5. Which is smaller: 8 or c?
c
Let p = 250 - 4249/17. Is p at most 1?
True
Let x be 624/140 - 5 - (-1)/7. Suppose -4*r + 7 = -1. Suppose -5*p + 7 = 3*t, 4*t + 10 = r*p + p. Are x and t nonequal?
True
Let r be (0 + 1 + -2)/((-4)/8). Which is smaller: -4 or r?
-4
Let s = -4.4 - -4.2. Which is bigger: s or -13?
s
Let a be (14/(-10))/((-4)/(-10)). Suppose 2*o + 52 = 5*r, -2*o = -4*r - 3*o + 52. Suppose r = -0*h - 4*h. Which is greater: h or a?
h
Let v = 8 - 1. Which is greater: -1 or v?
v
Let d(l) = -l**3 + 15*l**2 - 11*l - 25. Let n be d(14). Is 0 bigger than n?
False
Let p = -3.5 + 2. Let i = p + 1.61. Is i >= 0.1?
True
Let h = 0.04 + 0.02. Let x = 0.06 - h. Let i = x + 2. Is -0.1 >= i?
False
Let o = 17 - 11. Suppose o*i = i. Suppose 3*v - 2*v - 2 = i. Which is smaller: v or 2/3?
2/3
Let s = -17 + 16. Which is bigger: 3/29 or s?
3/29
Let b = 25 - 25.1. Which is smaller: b or -15?
-15
Let a(h) = -h**2 + 11*h - 6. Let y be a(10). Let z = y + -9/2. Let s be 2*-1 - (-2 + 2). Which is bigger: z or s?
z
Let j(w) = -w**3 - 5*w**2 - 4*w - 1. Let u be j(-3). Let x be (-1 + u/(-2))/1. Which is greater: 0 or x?
x
Let i(r) be the first derivative of -r**4/4 - r**3 + 3*r**2 + 6*r + 3. Let y be i(-4). Let w be -2*2*y/40. Is w greater than -1?
True
Suppose 10 = 5*n + t, 5*t = -3*n + 39 - 11. Let i be 12/(-27)*(-3)/2. Does n = i?
False
Let l = 396 + -807/2. Let d = 111/14 + l. Which is greater: 0 or d?
d
Let h = -29 + 33. Which is greater: h or 7?
7
Let k be (-2)/(-11) + (-4)/22. Is 0 bigger than k?
False
Let l(m) = -m**3 - 11*m**2 - 1. Suppose -a + 6*a - 3*u + 40 = 0, -26 = a + 3*u. Let o be l(a). Which is smaller: 3/7 or o?
o
Suppose v + 3*v = 3*c - 13, -c = v - 2. Let p be (2 - 2)/(1/v). Let f be 2/6*(2 - 1). Which is greater: p or f?
f
Let f = -53 - -1221/23. Is f equal to -1?
False
Let v = -2 + 0. Let d be (-4)/14 + v/(-7). Is d less than or equal to 5?
True
Let m(i) = 28 + 2*i - i**2 - 15*i - 8. Let q be m(-14). Which is greater: 5 or q?
q
Suppose 0 = -3*m - 3*a + 15 + 3, 2*m = 3*a + 2. Let p(z) = -8*z - 4. Let q be p(-2). Let j be (9 + 0)*4/q. Is m equal to j?
False
Let n = 8 - 9. Let r be 58/6 + 0 + 2. Let l = -12 + r. Which is bigger: n or l?
l
Let h be (-20)/12*3/(-15). Let z be 1/((-2)/(-3 + 1)). Which is bigger: z or h?
z
Let s be ((-3)/(-12))/((-6)/(-12)). Which is smaller: -25 or s?
-25
Let d be 1/(0 + 3 + 0 + -4). Is d at least as big as 1/45?
False
Let n = 535/3 - 4813/27. Which is greater: 0 or n?
n
Let c be 122/(-6) + 12/(-18). Let a = c - -21. Is 2/7 not equal to a?
True
Let a = -0.3 + 0.4. Let b = -64 + 574/9. Which is smaller: b or a?
b
Let d(b) = b**3 + 11*b**2 + 19*b + 1. Let z be d(-9). Are z and -6 equal?
False
Let j = 8 - 5. Suppose -j*c = -c. Suppose 15*t = 12*t. Is t > c?
False
Suppose -3*g + 0 = -21. Let i be 40/g - 14/(-49). Which is greater: 7 or i?
7
Let z(d) be the third derivative of d**6/120 - 2*d**5/15 + d**4/4 + d**3/6 + 4*d**2. Let l be z(7). Let o = l - -6. Is 1/10 greater than or equal to o?
True
Let k = 98983/94 + -1053. Are k and -1 unequal?
True
Let v(m) = -m + 5. Let y be v(4). Let n = 29/28 - 9/7. Which is greater: y or n?
y
Let a be 0*2/4*1. Let r be -1 + a - (-2)/5. Let v = -5 + 5. Which is smaller: v or r?
r
Let w be (5/2)/(1/(-2)). Let d be 1/w - 6/(-30). Which is bigger: -1/5 or d?
d
Suppose 98 = -7*i + 14. Which is smaller: -14 or i?
-14
Suppose 0 = -5*h - v - 6, 4*h + 7 = -6*v + 3*v. Let u = -233/4 + 58. Which is bigger: u or h?
u
Let b = -0.9 - -1. Let k = 14 - 30. Let f = -17 - k. Is f >= b?
False
Let z(i) = i**2 - 3*i + 1. Let l be z(3). Let t be l/(-6)*(-16)/(-12). Which is greater: 0 or t?
0
Let y = 10 + -8. Is -3 bigger than y?
False
Let h = 11 + -6. Let m = h + -5. Which is greater: -2 or m?
m
Let f(p) = -p**3 - 4*p**2 - 9. Let q be f(-4). Suppose 0*i + 28 = -2*i. Let b = q - i. Do 6 and b have the same value?
False
Let o = -181/5 - -36. Which is bigger: 0 or o?
0
Let p(n) = -n - 2. Let i be p(4). Let v be (4/i)/((-8)/(-12)). Is -2/5 < v?
False
Let p = -3.9 + -3.1. Is p at least as big as 2?
False
Let x(d) = d - 2. Let t be x(4). Let z be 2008/770 + (-4)/t. Let i = 2/55 - z. Which is smaller: i or -2?
-2
Let b = 9 - 18. Which is smaller: -8 or b?
b
Suppose 4*i - 14 = -2. Suppose 2*g - w = 4, 8 = g - 2*g + i*w. Which is smaller: g or 2?
2
Let z = 29/68 - 3/17. Suppose 5*u - 13 = -m, 5*m + 1 = u + 14. Suppose 0 = -4*f - 3*q - 23, -u*f + 2*q + 4 = f. Is f < z?
True
Let y(u) = -u**2 - 3*u + 4. Let v be y(-5). Let l be -2*(v/2 + 2). Does 1 = l?
False
Let y = -1/38 - 63/494. Do y and 0 have different values?
True
Let l = -0.01 + -0.19. Let j(c) = -3*c - 30. Let s be j(-12). Is s at least as big as l?
True
Let b be (2 - 6/2) + 1. Is b != 6?
True
Let x = 10 + -7. Suppose -6*u + 3*u = -5*q - 19, -x*u + 2*q = -13. Let p be (-10)/(-6) - u/(-9). Which is greater: p or 0?
p
Suppose -z - 17 = t, 1 - 6 = t. Let v be 8/3*(-27)/z. Let n(o) = o**2 - 7*o + 2. Let g be n(v). Which is bigger: g or 0?
0
Let i(n) = -n**2 + 7*n - 4. Let a be (-7 + 1/1)/(-1). Let x be i(a). Let f(y) = -y**3 - 32*y**2 - 32*y - 30. Let o be f(-31). Which is smaller: o or x?
o
Let m be -1*(3 + -3 + -1) - 3. Is m greater than -2?
False
Let g = -9 - -37/4. Let b = 0.2 + -0.09. Let w = b - -0.09. Which is smaller: g or w?
w
Let a = -11/27 - -2/27. Let u = -72 + 74.05. Let p = u - 0.05. Are a and p equal