- 4. Is v bigger than h?
True
Let h = -1059 - -49778/47. Which is bigger: h or 1?
1
Let r(i) = -i**3 + 5*i**2 + 1. Let u be r(5). Let p(b) = 1 + 3*b**3 + 3*b - 7*b + 2*b + b**2. Let s be p(u). Is s < 5?
True
Let o be 0/(6 + -2 + -7). Is 2/201 greater than or equal to o?
True
Let k be (4 - 2) + (0 - (-2)/(-1)). Is k <= 2/35?
True
Let j be (-4)/6 + (-32)/(-39). Let f be (1/(-3))/((22/6)/11). Which is smaller: j or f?
f
Suppose -4*v = 7 - 3. Let s = -2/5 - -1/5. Which is smaller: s or v?
v
Let x = 21 - 33. Let k be (2/x)/(6/(-12)). Which is smaller: k or 0?
0
Suppose 3*a = -q - 20, 5*q = -a - a - 22. Let n = a - -6. Which is bigger: 3/8 or n?
3/8
Let r = 10 - 6. Suppose -c = c - r. Suppose 0*s - c*s = 0. Is 0 at least s?
True
Let s = 84 - 91. Which is smaller: s or 0.18?
s
Let k be (-10)/50 + (-11)/(-5). Let q(h) = -h**3 + 10*h**2 - 8*h - 6. Let o be q(9). Suppose o*i + 6 = w + 1, -w + 2*i = -4. Do k and w have different values?
False
Let i = 75 - 8. Let m = 94 - i. Let w be -1 - (2 + m/(-6)). Is 3 bigger than w?
True
Let j be (-3 + 3)*(-1)/(-2). Suppose -4*z = -8, 2*o + 2 - 12 = -5*z. Let g be (-1)/(-1 + o + 2). Is j < g?
False
Suppose -26 = -4*c + 3*p, -3*c - p + 23 = 2*c. Suppose -c*s + 14 - 19 = 0. Which is smaller: s or 2/27?
s
Let g = -101 - -108. Is 27/4 equal to g?
False
Let x = -13 + 23. Suppose 2*y - x = -3*y. Let f be 2 - y*9/(-6). Are 6 and f unequal?
True
Let c = -1 - -2. Let v = c + -1.3. Let r = -0.4 - v. Is -1 equal to r?
False
Let y be -1*1/2*(8 - -4). Is -7 at least as big as y?
False
Suppose 2*d = 4*t - 3*d - 17, -4*t + 16 = -4*d. Which is greater: t or 4?
4
Let y(s) = -3*s + 21. Let u be y(7). Which is smaller: -2/9 or u?
-2/9
Suppose 0 = 3*h + h - 8. Which is smaller: h or -1?
-1
Let j(t) = -t**3 + 6*t**2 + 4*t. Let y be j(6). Is y at most 24?
True
Let x = -14 + 14. Let o be 4 - (x + -1 + 3). Are o and 20/7 non-equal?
True
Let w = 7 - 6.9. Let x = w - 0. Which is greater: x or -0.1?
x
Let k = 1.57 + 0.43. Which is bigger: k or 2/3?
k
Suppose -3*g = 2*g + l - 20, -5*g + 3*l = 0. Let j = -134 + 96. Let o = j - -39. Which is bigger: g or o?
g
Let u = -87 + 38. Which is smaller: -48 or u?
u
Let c be 33/(-7) - 6/21. Let x be 3/c - 34/10. Let l = x - -4. Is 0.1 > l?
True
Suppose -266 = c - 6*c + 2*z, -2*z - 162 = -3*c. Let n be 44/c - (-2)/13. Which is bigger: n or -2/5?
n
Let m be 1/(-5) + 178/(-10). Let w be (-78)/m - 2/6. Are 4 and w unequal?
False
Suppose 0*z = 2*z - 10. Let h = z + -3. Let f = 0 - -1. Is f at least as big as h?
False
Let p = -0.06 + -0.04. Let n = p - 0.2. Let k = -0.4 - -0.5. Is k bigger than n?
True
Suppose -8*i + 31 = -49. Let x be (-4)/6*-21 + -2. Let d be (x/i)/((-8)/40). Are -6 and d unequal?
False
Let t(y) = y**3 - 5*y**2 - 8*y + 40. Let x be t(3). Let m = -3 - -2. Which is bigger: x or m?
m
Let m(v) = 6*v**3 + v**2. Let f be m(1). Suppose -4*o + f*o = 45. Let h = -23 + o. Is -7 bigger than h?
True
Let a = -6.93 - 0.07. Let b = 6 + a. Let k be 1/5 + 21/45. Which is smaller: b or k?
b
Let s = 2 - 1. Let a(y) = -y**3 + y**2 + y + 1. Let z be a(2). Let n be z/(-2) - 2/4. Which is smaller: s or n?
n
Let r(w) = 4*w. Let u = -2 - -3. Let n be r(u). Suppose n - 19 = 5*b, -2*b = 2*o. Is 1 <= o?
True
Let h(p) = p - 1. Let v be h(6). Suppose -5*u = -2*k - 60, -v*u - 42 + 2 = 2*k. Let y be 18/(-20)*k/15. Which is smaller: 1 or y?
1
Let g = -14.2 - 1.8. Which is greater: g or -1?
-1
Let o = 18 + -9. Let z(i) = i**3 - 8*i**2 - 7*i - 13. Let b be z(o). Does 6 = b?
False
Let g = -9 - -17. Let u = 3/11 + 1/77. Which is smaller: g or u?
u
Let g = -0.3 + 0.6. Let q = -0.3 - 0. Let m = q + g. Which is greater: 0.3 or m?
0.3
Let y = 0 - -1. Suppose 7*c - 8*c = 4. Let h be (-15)/(-12)*c/20. Is y smaller than h?
False
Let i = 3/8 + 1/8. Let f(w) = -w**3 - 3*w**2 + 2. Let y be f(-3). Are i and y equal?
False
Suppose 15 = 3*b + 3*t, 5*t + 35 = 2*b - 10. Let o = 6 - b. Suppose 0 = -3*q + a - 2*a - 8, 1 = q + 4*a. Are o and q non-equal?
True
Suppose 6 = v + 2*v. Let l be 13 - (v - (4 + -2)). Suppose x + 0*x + 5*b = l, -x - 4*b + 10 = 0. Are x and -1 nonequal?
True
Let t(o) = o - 1. Let n be t(3). Suppose -h + n = -2*h. Let x be (-2)/4 - (-5)/h. Is -4 less than x?
True
Suppose 0*g - 5*p = 4*g - 31, -2*g = -2*p - 2. Let x(f) = -f**2 - 4*f. Let c be x(-3). Which is bigger: c or g?
g
Suppose 0*r - m = -5*r + 6, 2*r + 5*m = 24. Let p be 21/(-14)*(-16)/6. Suppose -p*h + 3 = -5. Is r <= h?
True
Let q = 0.363 - 0.153. Is q smaller than 0.4?
True
Let a be -74*(-3)/(-234) + (2 - 1). Are a and 1 unequal?
True
Let k = -15 - 7. Let j be 2/(-3) + k/3. Which is smaller: -9 or j?
-9
Let r = -9 - -9. Let j = r - 6. Is j > -2/5?
False
Let g = 848/4785 + 2/435. Let t = 68 + -474/7. Which is smaller: g or t?
g
Let d = -115 + 925/8. Which is greater: d or 1?
1
Let l be 198/(-102) - (-4 + 2). Which is smaller: l or -1?
-1
Suppose q + 2 + 3 = 0, 5*p + 15 = -q. Let v be (11/(-2)*4)/p. Which is greater: v or 10?
v
Let p be 436/110 - (1 - -3). Let b = -8 - -8. Which is smaller: p or b?
p
Let t = 10 - 3. Let u be (-1 + t)/(45/6). Which is greater: 2 or u?
2
Let x = -16.428 + 0.328. Let p = x - -16. Are 0.04 and p unequal?
True
Let x be (-20)/(-28)*-18*5. Let w = 64 + x. Is w less than or equal to 1/3?
True
Let r(i) = i**2 - 9*i + 4. Let k be r(9). Let y be 3/k*(-112)/(-1470). Is y less than -1?
False
Suppose m + 4*h - 3 = 0, -2*m + 3*h = 2*m - 12. Let k be (-43)/(-5) + (-4)/(-10). Suppose 3*c + k = 2*f, 2*f + 5 = -m*f + 2*c. Which is smaller: f or -9/4?
f
Let s = 4057/35 + -116. Is s < -1?
False
Let k be (15/5)/((-2)/6). Let m = -4 - k. Suppose -g + 9 = 5*p + 3, -5 = -m*g. Does 1 = p?
True
Let p(s) = -s**3 - 10*s**2 - 8*s - 1. Let a be p(-9). Let j = a - -7. Which is greater: -11/4 or j?
-11/4
Let q = 7 + -3. Which is greater: 3 or q?
q
Let n = -1627/3497 - -1/269. Is n greater than or equal to -1?
True
Let a = 3 - -8. Let t = a - 10. Let q = -0.1 - -0.3. Which is greater: t or q?
t
Let h be (2/4)/(1/2). Let w = -1.3 - -0.3. Are w and h non-equal?
True
Let j = 2.6 - -3.4. Let y = j + -8. Is y equal to -3/5?
False
Let z(u) = -u + 1. Let q be z(11). Let x = q - -9. Let p = 324/7 - 46. Which is smaller: p or x?
x
Suppose -3*r = v, 0*v + 9 = 3*r - 2*v. Let n be (-17)/51*(-4)/(-3). Is r < n?
False
Suppose 0*g + 4*b = 3*g - 4, 5 = -5*g - 5*b. Let v be g/(-2) + (-2)/(-5). Let y = -2 - -5/2. Which is bigger: v or y?
y
Let v = 90.91 - 91. Is 2/9 not equal to v?
True
Let p(z) = -3*z**2 - 4*z - 2. Let n be p(-2). Let l be (n/20)/((-4)/(-5)). Which is greater: -1 or l?
l
Suppose -2*o + 3 = -3. Let m = -3 + o. Are m and -5/6 nonequal?
True
Let y = -151/10 + 15. Is y greater than or equal to -0.2?
True
Let s(c) = -c - 7. Let g be (0 - -4*2)/(-1). Let i be s(g). Suppose 1 = 3*o - 2. Is o >= i?
True
Let q be (-4)/30 + (-213)/90. Is -0.11 <= q?
False
Let m be 4/((-1)/((-1)/4)). Which is greater: 3 or m?
3
Let g = -445/4 + 111. Which is smaller: g or -1.2?
-1.2
Let v = -5 + 10. Suppose -2*x = v - 1. Let i be 3/x*4/(-6). Are 1 and i unequal?
False
Let q be -1 - -9 - 8/4. Let b be (-6)/(-3)*(-7)/(-2). Is b at least q?
True
Let i = 57 - 347/6. Is i not equal to -1?
True
Let h = 13 - 10. Is -2/5 > h?
False
Let b = 1.04 - 0.04. Which is smaller: 34 or b?
b
Let f = 1331/14196 - -1/676. Is 1 at most f?
False
Let b = -4.1 + 1.1. Are b and 4 nonequal?
True
Suppose 3*k - 8 = -5*s, s + 16 = -0*k - 5*k. Let p = 5 - 3. Is p >= s?
False
Let m = -13 - -14.4. Let g = m - 2.3. Let v = -0.1 + g. Which is bigger: v or -3?
v
Let w = -0.014 + 0.054. Let o = -0.2 + 0.3. Is o != w?
True
Let j = 128 + -249/2. Are j and 1 equal?
False
Suppose r + 59 = 6*r + t, -5*r = -4*t - 64. Is 62/5 less than or equal to r?
False
Let k = 20.96 - -0.04. Is k < 0.1?
False
Let w = 28 - -16. Let j = -131/3 + w. Which is greater: j or 0?
j
Let u be (-3 - 0 - -2)/(2/2). Is u greater than -3?
True
Suppose 4*z - 18 = 7*z. Let q = z - -11. Suppose -55 = 5*g - 5*c, 0 = 2*g + q*c - 0*c - 13. Is g greater than or equal to -6?
True
Suppose -3*z + 28 = 4*g, -2*z - 2*g = -6*g + 8. Suppose -3*x = -z*x. Is x < -1/3?
False
Let f be (-3)/(-4)*24/45. Let a be (0 - 3/(-3)) + 0. Let m be 0 + (-3 - (a + -2)). Is f at least as big as m?
True
Let b(s) be the third derivative of -s**4/24 + s**3/3 - s**2. Let d be b(6). Is -4 > d?
F