4)/z). Which is greater: k or 5?
k
Let h(l) = 2*l - 2. Let d(r) = -r + 1. Let o(y) = -3*d(y) - 2*h(y). Suppose -f + 3*f = 4. Let b be o(f). Are 0.3 and b nonequal?
True
Let o = 1012 + -1023. Is -192/19 bigger than o?
True
Let d = 17 - 11. Let z = -93 - -65. Let m be d/4*z/(-105). Which is greater: m or 0.1?
m
Let k(m) = 8*m - 32. Let o be k(-7). Let d = o - -91. Which is smaller: 4 or d?
d
Let r be (-2*(-4)/8)/(1/(-1)). Let l be r + (-42)/(-9) + (-3 - 0). Which is smaller: l or 14?
l
Let b(i) = 7*i + 25. Let f be b(5). Suppose 4*q = q - 3, 4*v + 4*q = -f. Suppose -2*p = 8*y - 3*y - 21, -4*p = -4*y + 28. Which is smaller: v or p?
v
Let k = 761/11 + -69. Let r be 6/9 + 2/(-3). Is r > k?
False
Let a(b) = -2*b. Suppose 3*g - 21 = -3*q, -3*q - g = -0*g - 13. Let r be a(q). Let f be (-1 + 10/6)*(-93)/(-62). Which is smaller: r or f?
r
Let j = 5 - 2. Suppose -f + 45 = -j*n, -18 = n + f - 7. Let o be n*(-2)/(-15) - -2. Does -1 = o?
False
Let j(i) = 4*i**3 - 5*i**2 + i - 2. Let d be j(4). Let a be d/60 + (-3 - 0). Let v = -223/60 + a. Which is greater: v or -5?
v
Let z = -781/30 - 1133/10. Let x = 139 + z. Do x and 110 have different values?
True
Let h = 7656 - 4803. Let i be ((-3)/h)/((-2)/(-12)). Is -1 at most i?
True
Let z = 0.26 - 0.16. Let s = 0.9 + z. Is -1/3 at least s?
False
Suppose 4*q + 40 = 4*t, 6*q = -t + 8*q + 15. Let k(x) = -x + 6. Let o be k(t). Let g be (4/(-3))/(1*26). Is g != o?
True
Suppose -4*r + 3 = -r, 0 = -3*d + 2*r + 1. Let x be (5 + 38/(-8))/(1 + d). Suppose 4*j + 4 = -m - 0*m, 3*m = 5*j + 5. Which is bigger: j or x?
x
Suppose 0*u - 4 = -u. Suppose 3*i + m = -1, u*i + 4*m + 12 = -0*i. Is -3 > i?
False
Suppose n + 4*k = -n - 664, 4*k - 1590 = 5*n. Is n > -320?
False
Let v = 0.12 + -0.07. Let t = -0.3 - -0.55. Let g = t - v. Is g at least 2/5?
False
Let b(z) = -z**3 - 6*z**2 + 26*z - 10. Let c be b(-9). Is 1/739 at most as big as c?
False
Let b be 849*(-1)/2*16/96. Which is bigger: b or -72?
b
Let f(z) = -z**3 - 7*z**2 - 5*z + 9. Let j be f(-6). Suppose j*i - 259 + 83 = 2*h, -5*h + 227 = 4*i. Which is greater: i or 59?
59
Let m = 1838 - 1810. Does m = 11?
False
Let s(k) = 2*k**2 + 15*k - 10. Let d be (3/(-6)*-3)/(8/(-48)). Let q be s(d). Let c = -1.5 - -1.3. Which is bigger: c or q?
q
Let q be 2/26*54 + (-228)/57. Which is smaller: q or 0?
0
Let o = 4 - -18. Let w = o + -16. Suppose 3*d - 2*u = -w, -d + 0*u + 3*u - 9 = 0. Which is bigger: -1/20 or d?
d
Let n(y) = -25*y**2 - 4*y + 2. Let r be n(2). Which is bigger: -107 or r?
r
Let z be 18/(-2 + -1)*52. Let y be 1/(1/z*-4). Let r be ((-42)/7)/(y/(-4)). Which is smaller: r or 0?
0
Suppose 0 = -11*d + 170 - 665. Which is smaller: -43 or d?
d
Let c(a) = 28*a + 176. Let v be c(20). Which is smaller: v or 735?
735
Let t = -318247/1257711 + 4/13821. Which is smaller: t or 1?
t
Suppose -3*y - 2*y + 4*p = 755, 2*y + 300 = 2*p. Is y <= -156?
False
Let s(p) = -5*p**2 + 4*p + 1. Let u be s(4). Let j be 1 - -1 - u/7. Suppose 0 = 2*w + 4*f - 2 - 12, 4*w + 5*f - 16 = 0. Which is greater: j or w?
j
Let c = 921.1 + -921. Let m = 12.2 - 15. Which is greater: c or m?
c
Let b be 12/(-48)*(24 - 2). Which is smaller: 3 or b?
b
Let b be ((-2)/(-10)*5)/((-18)/(-1462)). Let h = -100 - -181. Let m = b - h. Which is bigger: m or 1?
1
Let r(a) = a**2 + 5*a - 8. Let t be r(-5). Let x be (-10)/t - 1 - (-427)/(-1596). Which is greater: -1 or x?
x
Let l = -1.1 - -1.15. Let r = -0.14 + l. Let k = r + 1.09. Is 2 <= k?
False
Suppose -f + 24 = 5*k, -5*f + 10*k = 13*k - 10. Is 123 less than or equal to f?
False
Suppose -7*n = 3*n - 300. Is 28 < n?
True
Suppose z - 5*z = 0. Let f = z - 2. Let g = -25/58 - 2/29. Which is smaller: f or g?
f
Let s(a) = -a**3 - 6*a**2 + 3*a. Let o be s(-6). Let z(f) = -f**3 - 18*f**2 + f + 17. Let g be z(o). Which is bigger: g or 0?
0
Let v be (-3 + 10 - 2)/1. Suppose -v*f = -4*f - 6. Let y = f - 7. Is 1/4 not equal to y?
True
Let l(f) be the second derivative of f**4/6 - 23*f**3/6 + 31*f**2/2 + 38*f. Let b be l(10). Which is smaller: 5/21 or b?
5/21
Let g(d) = d**2. Let j(h) = 9*h**2 - 4*h**2 - 2*h**2. Let m(a) = -7*g(a) + 2*j(a). Let v be m(1). Which is bigger: 5 or v?
5
Let v = 3.35 + -3.454. Which is smaller: v or 1?
v
Let g be 4/(-6) + 48/45. Does 61 = g?
False
Let f = -31 + 96. Let l = -50 + f. Is l at least 12?
True
Let o be (1 + -4)*(-39)/9. Suppose 2*s = -3*v + s - o, -v + s = -1. Is -5 less than or equal to v?
True
Let t = -2369/5360 + 3/670. Is t less than 0?
True
Let j = -1114 - -2764. Let t be (-2)/(-11) + (-168)/j. Which is greater: 0 or t?
t
Let g = -142 - -142. Which is greater: 1/36 or g?
1/36
Let t = -1227 - -1227.0178. Which is smaller: 1 or t?
t
Suppose 58 = 4*g - 134. Let b be (-1)/5 - (-31)/5. Let z be (b/28)/(g/64). Is 1 != z?
True
Suppose -4*g + 2*g + 8 = 0. Suppose 4*m - s = g*s + 18, m - 4*s = 10. Let n(r) = -r**2 + 3*r - 3. Let j be n(m). Which is bigger: j or -13?
j
Let n(u) = -2*u**2 + 11. Let d be n(3). Suppose 5*c + 56 - 11 = 0. Which is smaller: c or d?
c
Let x = -0.13 - 6.87. Let t = x - -6.85. Let j = -0.05 - t. Is 2 at least j?
True
Suppose -164 = -9*r + 250. Which is smaller: 51 or r?
r
Let a(d) = -d**3 - 25*d**2 - 57*d + 37. Let z be a(-22). Which is smaller: -645/4 or z?
-645/4
Let k = -2 + -3.9. Is k smaller than -1?
True
Let p(i) = 2*i**2 + 1. Let h be p(1). Suppose 2*d - h*j - 3 = d, -5*j = -5*d + 45. Suppose -2*f - f - d = 0. Which is smaller: f or -23/5?
-23/5
Suppose -10 = -38*p + 37*p. Which is smaller: 69/8 or p?
69/8
Let f = 30.33 - 8.33. Is 1 < f?
True
Suppose -3 = 5*h + 7. Let u be h/(-4) + -2*260/16. Do u and -32 have different values?
False
Let a = 22.78 - 22.8. Do a and -3 have the same value?
False
Let g be (-26466)/(-5294) + (-10 + 75)/(-13). Which is greater: g or 0?
0
Suppose -3*i - x - 18 = 0, -6 + 21 = 5*x. Is i >= 4?
False
Let z(u) = u**2 - 5*u - 1. Let x be z(5). Let g = -193 - -48055/249. Which is bigger: x or g?
g
Suppose -2*n = -8*n. Suppose 3*h + 0 + 6 = n. Is h at least 3?
False
Let i be (-335)/(-45) + (1 - 8). Which is smaller: 2/5 or i?
2/5
Let n = -0.28 + 2.28. Which is smaller: n or 0.061?
0.061
Let p(s) = -s**3 - 4*s**2 + 4*s - 5. Let g be p(-5). Is g at most as big as -3/77?
False
Let j = -528 - 652. Let y = -2405/2 - j. Is -23 at least as big as y?
False
Let g = -990 + 1732. Is 744 greater than g?
True
Suppose -45*y + 7 + 18 = 25. Let u = 5 + -3. Is y less than u?
True
Suppose -2*o + 282 = g, 4*o - 20*g + 23*g = 560. Is 144 > o?
True
Let u(h) = 5*h - 172. Let d be u(21). Which is smaller: d or 3?
d
Let r = 449.88 + -450. Which is greater: r or -23?
r
Let c be ((-6)/(-12))/((-1)/(-336)). Suppose 6*t + c = -2*t. Which is smaller: -20 or t?
t
Suppose 0 = 2*z + 10*c - 7*c + 147, 2*z + 5*c = -149. Is -75 < z?
True
Suppose 33 = 5*s - b + 113, 2*b + 78 = -4*s. Is s != -21?
True
Let d(b) = b**3 - 7*b**2 + 6*b + 2. Let l be (-19 - -7)/(-2*1). Let a be d(l). Suppose 0 = -a*x + 2*r + 4, 0 = -2*r - 2*r - 8. Which is smaller: -2/11 or x?
-2/11
Let d(o) = 2*o + 7. Let x be d(-3). Are 9 and x equal?
False
Let y be (-19)/(22/(-18) - (-16)/72). Suppose -11*b + y*b = 312. Do b and 39 have different values?
False
Suppose -x = -u + 5, -6*u = -11*u + 4*x + 22. Suppose 4*o + u*d = -0*d - 6, 0 = 3*o + d + 6. Which is greater: o or -7/3?
-7/3
Suppose 3*v + 3*l = l + 25, -2*l - 3 = -v. Suppose 2*i = 3*k - 25, 0 = -4*i - v*k + 3*k - 40. Is -13 at least as big as i?
False
Let u be (69/6 - 2)*(6 - 4). Let k be (u/(-2) - -4) + -2. Let h = 1.1 - 1. Which is bigger: k or h?
h
Let s = -174 + 174. Suppose -9 = 3*a - 0. Let q = a - -8. Do q and s have different values?
True
Let f = -9 + -2. Let m be (-15)/(-99) + (-2)/f. Is m at most as big as -1?
False
Let j = 1992272/69 + -28874. Which is bigger: 1 or j?
1
Suppose 2*y = -3*y - 25, 5 = 5*k + y. Let j = 10 - 10. Are j and k equal?
False
Suppose 0 = 11*u - 4*u - 602. Is 86 bigger than u?
False
Let z be 2 + (-7)/(-7) + -2. Which is bigger: 2/7 or z?
z
Let f(a) = -3*a - 17. Suppose -5*x + 98 = -19*x. Let v be f(x). Is 10 at most as big as v?
False
Let n = 7.5 - 0.5. Let g = n - 11. Let l = g - -3. Which is smaller: l or 4?
l
Suppose 3*i - 103 = 131. Let t be (2/i)/((-22)/(-33)). Are t and 2 nonequal?
True
Suppose r - 477 = -2*c, -r - 3*r = 5*c - 1899. Let a = r - 2344/5. Which is greater: a or 2?
a