et v = -130 - -130. Let r be 12/(-13)*1/2. Which is bigger: r or v?
v
Suppose v + 2*v = -24. Let l be -1 - 3/3 - v. Suppose 2*g = l*g. Is -2/9 not equal to g?
True
Let d = -2371511/390 - -36319/6. Let z = d + 137/5. Which is bigger: z or 0?
0
Let g(l) = -12*l - 3. Let v be g(-1). Which is smaller: 10 or v?
v
Let a be (-1)/(-2) - (-6)/(-24)*2. Is -1/97 greater than a?
False
Let t be ((-3)/(-18))/((-54)/24). Let i be 1/(-4)*-2*-2. Which is bigger: i or t?
t
Suppose 0 = -3*w - 2*r - 3, 4*r + 5 = -5*w - 2. Which is greater: 4/3 or w?
4/3
Let w = 2557 + -570210/223. Let j = w + 439/1561. Which is bigger: j or -0.02?
j
Let y = 1/550 + 1429/550. Suppose -2*s + 6 = 2*z, -3*s + 7 = 3*z + 2*z. Are s and y equal?
False
Let a be 35/(-28)*(-2)/(-35). Which is bigger: a or 0?
0
Let p = 1 - 3. Let l = p - -3. Let j be l + (2 - (-27)/(-12)). Is 0 at least j?
False
Let z(d) = -2*d - 6. Let n be z(-4). Suppose -n*k - 12 = -5*k. Suppose 0 = -k*v - 2 + 10. Which is greater: v or 3?
3
Suppose 0 = -4*x + 5 + 3, 3*x - 6 = -3*i. Which is greater: i or -1/14?
i
Suppose d = 5*h + 13, d - 14 = -d + 4*h. Suppose -d*j - 16 = 2. Let z = j - -5. Which is smaller: z or -3/2?
-3/2
Suppose 0 = 2*f + 1 - 5. Suppose -2*n + 6 = -f. Which is smaller: n or -1?
-1
Let v = 0.22 + -0.3. Which is bigger: -0.01 or v?
-0.01
Let q = 11/7 - 1/14. Let i(m) = m**3 - m**2 - 1. Let v be i(2). Is v equal to q?
False
Let s(f) = 3*f**3 - f**2 - f + 1. Let z be s(1). Let p be ((-3)/z)/((-2)/4). Suppose r = p*r. Is 1 at least as big as r?
True
Let z = 1 - 1. Suppose -m - 2*b + b = z, 0 = -4*m - 2*b. Which is smaller: m or 1?
m
Let o be 4 - 13/5 - 0. Which is greater: o or 0?
o
Suppose 2*s = -i + 1, -s + 5*i - 5 = -0*s. Is 7/6 greater than or equal to s?
True
Let x = -2/109 - -343/872. Let s be (-8)/20*(-5)/2. Are s and x nonequal?
True
Let j(b) = -b**3 - 5*b**2 + 7*b + 4. Let x be j(-6). Let l(d) = d - 7. Let g be (-2)/(-2) + 1*6. Let c be l(g). Is c < x?
False
Let k be 382/66 + (-1)/6. Let d = k + -60/11. Which is smaller: d or -1?
-1
Let u(o) = -2*o**3 - 2*o**2 + 3*o + 2. Let h be u(-2). Let c be 30/(-90)*(-3)/(-2)*0. Is c equal to h?
False
Let n = 8 - 6. Let y(g) = g**3 - 3*g**2 + 1. Let s be y(n). Which is smaller: -1 or s?
s
Let f be ((-16)/6 - -2)/2. Which is smaller: f or 0?
f
Let k = 607/2 + -901/3. Let l = -7/2 + k. Which is greater: l or 0.2?
0.2
Let x = -0.06 - 5.94. Let p = x + 6. Let k = 6 + -3. Is k not equal to p?
True
Let b be 5/(15/62)*-3. Let h be b/10 - 3/(-15). Let n(w) = w**3 + 5*w**2 - 8*w - 9. Let x be n(h). Which is smaller: 1 or x?
1
Let d = -2/343 + 377/5831. Is d at least as big as 1?
False
Suppose -7*b + 2*b - 3 = 4*g, -3*g - 3*b = 0. Let h = 67 + -467/7. Is h greater than g?
False
Let w(h) = 3*h - 21. Let z be w(12). Which is smaller: z or 13?
13
Let o = -3.9 - -4. Let p = 0.1 + -0.2. Let u = p + 0.1. Are o and u equal?
False
Let d(n) = -n**2 + n. Let b be d(2). Let s = -589/4 - -144. Are s and b equal?
False
Suppose 4 + 2 = -6*j. Which is greater: -4 or j?
j
Suppose -v = -4*v - 21. Let o = 9 + v. Which is smaller: 0 or o?
0
Let x(c) = -c**3 + 6*c**2 + 8*c - 7. Let q be x(7). Suppose s = 3*v + 22, 4*s + 24 = 6*s - 2*v. Suppose -s*j + 2*j + 5 = 3*r, j - 1 = 3*r. Is q < r?
False
Let w(o) = 7*o - 31. Let u be w(5). Which is smaller: u or 3?
3
Suppose -4*a + 4*j - 10 = -9*a, a - 2*j = 16. Suppose 2*z = a*z. Suppose z = -n - n + 2*b + 20, -4*n - 5*b = -13. Is n < 7?
False
Suppose 4 = -3*i - 5. Let b = 5 + i. Let n be b*(-2)/(0 - 2). Is 3 at least as big as n?
True
Let z(v) = 17*v - 6. Let x be z(-5). Let u be 280/x + (3 - 0). Which is smaller: u or -1?
-1
Let r = 6 - 2. Suppose r*b + 8 = -4*q, -b = -5*b + 2*q + 4. Suppose 22*z = 15*z - 7. Which is bigger: z or b?
b
Let b = 1 - -4. Let c(g) = -g + 16. Let w be c(12). Let o be (-1)/((w/10)/(-2)). Is o != b?
False
Let l = -0.5 - 0. Let h = -0.17 - -1.17. Is h at least as big as l?
True
Let g = 3355/189 - 124/7. Which is smaller: 1 or g?
g
Suppose 5*u = 3*c - 12, 0 = 2*u - c + 7 - 3. Let b be (-8)/(-12) - (-16)/(-33). Which is smaller: u or b?
u
Let u = 5 - 30. Let x = -28.1 - u. Let b = x + 3. Which is smaller: 1/5 or b?
b
Suppose -4 = 3*b - 19. Which is bigger: 8 or b?
8
Let p(n) = n**2 - 15*n - 3. Let c be p(16). Which is smaller: c or -1?
-1
Let y(h) = h + 2. Let z(u) = u**3 - 5*u**2 + 3*u. Let a be z(2). Let l be y(a). Is -5 less than l?
True
Let g(b) = -b - 4. Let m be g(0). Let t be m/14 + (-180)/(-875). Which is bigger: t or -1?
t
Let b(n) = -n**3 - 6*n**2 + 3*n + 4. Let t be b(-6). Let f = t - -13. Do -3/2 and f have the same value?
False
Let d(l) = -l**2 - 5*l - 4. Let f be d(-3). Let o be (-10)/(-15) + (-5)/(-6). Are o and f unequal?
True
Let t = 13 + -8. Let l = 39 - 38.9. Are t and l non-equal?
True
Let f be 60/(-18)*33/(-4). Let i = f - 27. Is 0.1 at most i?
True
Suppose 6*s - w + 3 = 2*s, 2*w = 2*s. Let h = -3 - -2. Is s < h?
False
Let h(n) = -2*n + 6. Let l be h(4). Let d be l*((-12)/237)/(-2). Let w = 186/553 + d. Which is greater: w or 6?
6
Let t = -158 + 158.03. Which is greater: t or 6?
6
Let t be ((2 + -3)*0)/(-1). Is 4/5 != t?
True
Suppose -5*p - 3 = -13. Suppose -3*u - b + 2*b + 13 = 0, -u = 2*b + 5. Let s = p - u. Is -2 != s?
True
Let f(s) = s**3 + 5*s**2 + 4*s - 4. Let p be f(-4). Let k be (p/(-4) + -9)*-2. Is k greater than 16?
False
Suppose -7*z = -12*z. Let j be ((-5)/5)/(z + 1). Which is greater: j or 1?
1
Let c be 28/(-12) + (-1 - -4). Which is smaller: c or -95?
-95
Let k(o) = 2*o**2 - 4*o + 2. Let p be ((-18)/15)/((-1)/(-5)). Let v = -4 - p. Let y be k(v). Is y greater than 1?
True
Let x be (-3 - 116/(-40))*-1. Which is greater: x or -1?
x
Let i = 11639/19 + -613. Is i less than or equal to -1?
False
Let g = 3.016 - 0.016. Is 0 smaller than g?
True
Let s = -21 + 21.1. Let y = 0.01 - 0.05. Are s and y unequal?
True
Let f = -9.22 + 0.22. Which is smaller: 0 or f?
f
Let n be (-4)/(-14) - 18/14. Which is bigger: -6/5 or n?
n
Let o(f) = f**2 + 14*f + 24. Let r be o(-12). Is -5 > r?
False
Let h = -3 + 5. Let i(x) = x**3 + 9*x**2 + x + 11. Let r be i(-9). Suppose 0 = -h*p + 5*z - 9, r*p - 3*z = -2 - 1. Which is greater: p or 4?
4
Let h = 7 + -3. Let m = -5 + h. Let n be 0 + 2 - (-6)/(-3). Which is bigger: n or m?
n
Let t be 12*(-1)/11 + -4. Is t at least as big as -4?
False
Let u(j) = -j**3 + 8*j**2 - 7*j + 6. Let x be u(7). Let v = 6 - x. Let w be 2 - 48/22 - 0. Which is greater: v or w?
v
Let w be -13 + 3/((-9)/(-6)). Suppose y - 44 = 4*n - 2, -2*n = -y + 20. Is n greater than w?
False
Let o be 7/(-1)*(2/1)/(-1). Are 5 and o nonequal?
True
Let n(r) = r**3 + 7*r**2 + 8*r - 5. Let h be n(-4). Is h >= 35/3?
False
Suppose 4 = -3*q - 4*k, -5 + 1 = 2*q + 4*k. Is 2/9 < q?
False
Let y = -72/7 + 267/28. Is -1 at least as big as y?
False
Let t = 2/1797 - 16187/12579. Is t > -1?
False
Suppose -5*c - 4*r + 11 = 0, -10 = -4*c - r + 1. Suppose c = 2*q - 1. Let p be q*(-1)/2*1. Which is smaller: p or 0?
p
Let l(k) = -k - 5. Let h be l(-5). Suppose j + 42 = 4*j. Suppose -2*r - 4*n - j = -0*r, -3*r - 5*n = 18. Does r = h?
False
Let m(w) = w + 1. Let q be m(0). Suppose 5*d + 21 = 4*a, -a + 3 = -q. Is -1/8 greater than or equal to d?
True
Let z = 43 - 41.3. Let y = z - -0.3. Are -0.1 and y unequal?
True
Let w = -63 - -62. Which is greater: -69 or w?
w
Let g = 36 + -45. Which is smaller: -8 or g?
g
Let r be (-786)/18*(-57)/(-6). Let d = r - -416. Is 0 at least as big as d?
False
Let x(u) = -u - 17. Let p = -27 - -19. Let w be x(p). Which is greater: w or -6?
-6
Let o be (0 + -3)/3*-5. Suppose 0 = -3*c - o*r + 2, -c + 13 = -5*r - 1. Suppose k + c*k = 0. Which is smaller: -4/3 or k?
-4/3
Suppose 2*d - d + 1 = 0. Suppose 0 = -2*u - 74 - 224. Let l = u + 1045/7. Is l at least as big as d?
True
Let i = -0.2 + -77.8. Let z = i + 87.1. Let a = z + -9. Which is bigger: a or -0.8?
a
Let b = -18 + 16. Is 0 not equal to b?
True
Let o(k) = -k**3 - 1. Let c be o(0). Let y be 1 + -2 + 7/5. Which is greater: y or c?
y
Let v(j) = -j**2 + 8*j + 5. Let z be v(7). Suppose 3*l + 1 + 14 = 0, -3*i - 3*l - z = 0. Which is bigger: i or 6/7?
i
Let h(d) = d**3 - 3*d**2 - 5*d - 1. Let m be h(4). Let z = 10 + -6. Let k = z + m. Which is greater: 1/3 or k?
1/3
Let x = -2.51 + 2.4. Let c = -3.89 + x. Which is smaller: 0.1 or c?
c
Let g be 1 + 8 +