
l
Let c be (6/(-18))/((-1)/(-39)). Let q = -18 - c. Let u(h) = -h**3 - 5*h**2 - 3. Let v be u(-5). Is q bigger than v?
False
Let m(r) = -2*r**2 - 17*r + 6. Let s be m(-9). Does -5 = s?
False
Suppose -25 = -0*i + 5*i. Let u be (-237)/i - (-2 + 2). Let g = -47 + u. Which is greater: 1 or g?
1
Let f be ((-3)/9)/((-3)/99). Suppose -x + 2*c = 6*c + f, 4*x = c + 7. Which is bigger: x or -1/3?
x
Let x(c) = -c**3 + 2*c. Let s be x(2). Let b be (20/(-8))/(3/(-6)). Let k be 1/b - 84/20. Is s > k?
False
Let f(k) = -k + 2. Let u be f(0). Suppose 0 = 7*a - 10*a. Let h = a - u. Is h at least as big as -4/5?
False
Let t = 8 + -9. Which is smaller: -2/9 or t?
t
Let s be (14/(-28))/(2/92). Is -22 != s?
True
Let h be ((-14)/6)/(2/90). Let p be 57/h + 2/6. Let g = 4/21 - p. Is 2/13 >= g?
False
Let t = -0.09 - -0.79. Let p = 0.7 - t. Which is greater: -0.2 or p?
p
Let b be 7 - 4*3/6. Suppose 0 = -4*k - b*t + 21, 0 = -5*k + 5*t - 29 - 1. Are k and 1/4 unequal?
True
Let c = 16 - 7. Which is greater: 6 or c?
c
Let v = 74 - 67. Is v at least as big as 7?
True
Let z(r) = 0*r**3 - 2*r**2 + 0*r**3 - 1 - 2*r - 3*r**3 + 0*r**3. Let o be z(-1). Suppose 2*n = o*y + 2, -n + 4*y = n - 6. Which is smaller: -1/4 or n?
n
Let c = 103 - 103.7. Is 2 > c?
True
Suppose 0*a = a - 3. Suppose -16 = a*l - l. Let i = 11 + l. Do 0 and i have the same value?
False
Let l = -174 - -175. Which is smaller: l or 2/259?
2/259
Suppose 3*h - 2 = 7. Suppose 6 = 4*w - h*w. Suppose 2*k + 3 - 12 = 5*u, -2*u - 4*k = -w. Is u bigger than -3/8?
False
Suppose -18 = 4*f + 14. Let n be f/(-6)*(-6)/(-4). Which is bigger: n or 2/3?
n
Let w = -5 - -4.9. Let g = -1 - 3. Is g <= w?
True
Suppose 0 = -3*z + 1 + 8. Let x(w) = w**2 - 2*w + 1. Let s(u) = u - 1. Let t(o) = -2*s(o) + x(o). Let n be t(z). Are n and 0 non-equal?
False
Let n = 245706 - 300252769/1222. Let k = n - 4/47. Let q = 43/78 - k. Which is bigger: q or -3?
q
Suppose n + n + 2 = -d, -2*n - 8 = 4*d. Let x = -2 - d. Let i = -1/133 - 261/665. Which is bigger: x or i?
x
Suppose 0 = -11*i + 6*i + g - 36, 0 = -5*g + 5. Which is smaller: i or 0?
i
Let x = 3.01 + -3. Let q = x - 0.41. Suppose -8 = -4*d, -3*d - 2*d + 10 = -4*u. Is u smaller than q?
False
Let c be ((-18)/42)/((-8)/(-42)). Which is greater: -2 or c?
-2
Let t = 7 + -13. Let y = -5 - t. Let m = y + -4. Which is greater: -4 or m?
m
Let x = 179/460 - -1/92. Let v(o) = o**2 - 7*o + 9. Let a be v(6). Let j be (-2)/a*(-18)/4. Is j greater than or equal to x?
True
Let o(v) = v**3 + 7*v**2 - v - 6. Let r be o(-7). Is -5/4 at least as big as r?
False
Let k be (-2)/5 + (-78501)/(-196815). Let w = k - -1354433/2597958. Let t = -2/99 + w. Do t and -1/4 have the same value?
False
Let n = 4 - 4. Let o be (n - (-2512)/(-22)) + 1. Let s = 113 + o. Is 0 at most as big as s?
False
Let x(s) = -2*s - 1. Let v be x(-3). Suppose -7 - v = -4*b. Let y be (-11)/6 - 2/b. Which is smaller: -2 or y?
y
Let y = 4.8 - -2.3. Let w = y + -7. Is -2/7 >= w?
False
Let i = -32 + 34. Let t be 40/33 - (-2)/(-3). Is t at most i?
True
Let w(m) = m**2 - 8*m. Let j be w(7). Let o be (-11 - -11) + 1 + -9. Which is smaller: j or o?
o
Let b = -24.3 + 26. Let o = b - 1.8. Let u = -0.3 + 0.2. Are o and u nonequal?
False
Let y be 1/(-5) + (-10)/(-50). Suppose -4*x = -3*x - 3*t - 9, -t - 13 = -x. Let b be (-6)/x + (-6)/(-40). Which is smaller: b or y?
b
Let t be (-34)/12*4/(-40). Let z = 8/15 - t. Let c be 1*-3*(-1)/4. Is z greater than or equal to c?
False
Let y = 8 - 50. Which is greater: -41 or y?
-41
Suppose -6*n = -n - 10. Let o be n/8 + 70/8. Let w = -8 + o. Do 1/3 and w have the same value?
False
Let h be ((-6)/9)/((-1)/3). Suppose 2*i - 4*i - h = 2*f, 3*f - 4*i = -3. Let n be ((-2)/(-6))/(-2 - 0). Is n > f?
True
Let f = -1.07 - -1.1. Do f and 1 have the same value?
False
Suppose 0*a + k = -4*a + 29, 4*a - 39 = -3*k. Suppose -5*i - 12 = -5*l - 4*i, -5*i = -5*l + 20. Suppose -c - a = -l. Is -5 smaller than c?
True
Let x(c) = -c + 3. Let n be x(2). Let i = n + 0. Which is greater: -1 or i?
i
Let i be 4/8 - (-18)/4. Suppose 3*b + 25 = 5*a, -2*a + 3*a - i*b = 27. Suppose -2*h = a*p - 6, -5*p + 1 = h + 2. Is -2 greater than p?
False
Suppose m - 3*m = 0. Let v = 756 + -27970/37. Is v greater than m?
True
Let g be ((-13)/(-39))/((-1)/39). Which is smaller: -12 or g?
g
Suppose 3*h + n - 1 = 19, -2*h - 5 = -3*n. Suppose 2*y + 3*y - h = 4*m, 4*m - 5 = -5*y. Which is smaller: 1 or m?
m
Let i = 55/38 - -1/19. Which is smaller: 1 or i?
1
Let a be (3 - (-33)/7)*7. Let l = -217/4 + a. Which is bigger: -3/5 or l?
l
Let q = 0.4 - 0.4. Let y = -0.3 - q. Let k = y + 0.2. Is 0.1 > k?
True
Let j = 12 - 8. Suppose -2*t + 12 = 2*t. Suppose 4*k = -p - 4 - 3, 0 = 2*p + t*k + j. Which is greater: -1/6 or p?
p
Let u = -0.03 + -0.07. Is 0.049 > u?
True
Let s be 1/(-2)*(-4)/6. Suppose 2*l = -1 + 9. Let y(k) = -k**3 + 4*k**2 - k + 5. Let m be y(l). Is s >= m?
False
Let h = 222 + -1996/9. Suppose 0 = 2*x - 0*x + 5*a + 26, -4*x - 5*a = 32. Let l be 3/(-2)*2/x. Are h and l non-equal?
True
Let i(b) = b**2 + 3*b + 4. Let z be i(-4). Is 8 <= z?
True
Let h = -14 - -69/5. Let z = -4 - -3. Which is greater: z or h?
h
Let b be ((-2)/(-3))/((-2)/3). Let v(c) = -3*c**2 + 1. Let t be v(b). Which is smaller: t or 1?
t
Let j(f) = -f**3 - 9*f**2 + 10*f + 2. Let p be j(-10). Suppose 2*w - a = -6, p*w + a = -2 + 4. Which is greater: 2/17 or w?
2/17
Let d be (4/6)/((-2)/(-12)). Let p be d - (1 - 2 - -3). Let l = 4 + -1. Are p and l non-equal?
True
Let v = -116 + 102. Is -1 > v?
True
Let r = 0.56 - 5.26. Let o = -5 - r. Which is greater: o or 1?
1
Suppose 0 = -3*s - 5*w - 31, -2*s - 9 = w - 0. Is s > -1?
False
Let t be (-1)/3 + (-21)/(-9). Let k be t + (3 + -1 - -165). Let h = k - 679/4. Are h and 0 equal?
False
Let t = -20 + 32. Let w be -1 + -2 + -5 + t. Which is smaller: 2 or w?
2
Let g be -2 + 211/43 + -3. Let i = g - -71/301. Is -1 at most as big as i?
True
Let i = -227 - -7265/32. Are i and -1 unequal?
True
Let a be (-6)/(-4) - (-245)/(-150). Is a at least -1?
True
Let c(b) = -2*b - 1. Let z be c(-1). Suppose 7*p - 6 = 4*p. Let g = p + -2. Are z and g equal?
False
Suppose u - 3 - 12 = -4*c, c + 6 = 3*u. Which is smaller: c or 4?
c
Let w be ((-8)/(-12))/(3/9). Which is smaller: w or 4?
w
Let f = 14.5 + -16. Let l = f + 0.5. Is 2/7 bigger than l?
True
Let p = 9.3 + -12. Which is smaller: p or 0?
p
Suppose 3*g - 15 = 0, 0 = -v - 2*v - 2*g + 7. Which is smaller: -2/43 or v?
v
Let w(a) = -a + 2. Suppose 0 = 5*z + 8 - 33. Let d be w(z). Let q be 0 + -2 - (-3 - d). Which is smaller: q or -1/2?
q
Let q(i) = -3*i**3 + i + 1 + 2*i**3 + 2*i**3. Let j = 0 + 0. Let x be q(j). Which is greater: x or 6/5?
6/5
Suppose 0 = -4*s - 0 + 4. Suppose 5*w = -5, -4*w = 5*x - 7*w + 2. Are x and s equal?
False
Suppose 0 = 5*c - 0*c - 20. Suppose -t - c*r = -2, t + 0*r = -r - 1. Do t and -2 have the same value?
True
Let l(c) = c**2 + 3*c - 2. Let q be l(-4). Is 2 != q?
False
Let g be (-40)/(-4) + (3 - 2). Suppose -6*r - 20 = -g*r. Is r < 4?
False
Let q be (-3)/5*(-6 + 1). Suppose q*s + 4 + 2 = 0. Which is smaller: -2/3 or s?
s
Let y = -65.94 - -66. Which is bigger: 17 or y?
17
Let s = 62 - 61. Does 1/14 = s?
False
Let u = -5 - 45. Let r be ((-12)/u)/((-27)/30). Which is smaller: 0 or r?
r
Let o be 1/1 - (2 + -4). Let b = 7 - o. Suppose 0 = 2*d - 3*a + 11, 0 = -3*d - b*a - a + 12. Is 2/9 >= d?
True
Let f(t) = -2*t - 2. Let d be f(2). Let n = -9 + 17. Let j be (d/(-68))/((-6)/n). Is j bigger than 1?
False
Let g(o) = -3*o - 1. Let q be g(-1). Let p be -1*((-4)/q + 3). Is p at most 1/3?
True
Let q(n) = 3*n. Suppose 4*u - 22 = -6. Suppose 0 = -3*c + u*l - 1 + 2, 2*l + 6 = -4*c. Let b be q(c). Is b bigger than -4?
True
Let k be ((-2)/7)/((-3)/21). Suppose -3*p = 4*u + k, 2*p - u = -0*u - 5. Let j = 1 + -1. Is p less than or equal to j?
True
Let u = 1604/165 + -104/11. Which is greater: 1 or u?
1
Let i = -43 + 7. Let g be (-9)/i + 2/(-8). Is g smaller than 2/15?
True
Let r = -13 + 24. Suppose 4*b - w - r = -b, 5 = -5*w. Suppose -j = -2*l - 4, -2 = 5*l - j + b. Which is greater: l or -1/6?
l
Suppose 3*u - 1072 = 19*u. Is u smaller than -67?
False
Let p = -1 + 25. Let t = -22 + p. Let w = -0.1 + 0.2. Is w > t?
False
Let b be 1 + 2/(-2 + 0). Suppose -3*k = -8 - 7. Suppose b = -d - k - 1. Which is greater: d or -