greater: -1 or f?
f
Let w = 0 + 2. Let v = 200 - 595/3. Which is bigger: v or w?
w
Let v be 655/430 + (-6)/4. Which is bigger: v or 1?
1
Suppose 0 = -3*t - 2*t. Suppose s - 3 = -t*s. Which is greater: s or 1?
s
Let r = -32 - -1. Which is smaller: 1 or r?
r
Let h(g) = g**3 + 6*g**2 + 4*g - 1. Let m be h(-4). Let z = m - 21. Let i = z + 4. Which is smaller: 1/4 or i?
i
Let o = -5.9 - -6. Let r = o + 1.1. Let c = r - 1. Which is greater: c or -2?
c
Let q be 6/(4/((-24)/(-9))). Let s = 5 + -2. Which is bigger: q or s?
q
Let p = -5 - 6. Let r be -1*3*6*156/216. Is r less than p?
True
Let l = 50 + -30. Let i be 48/l - 2/5. Which is greater: i or 1?
i
Let k = -2 + 3. Is k at most as big as -1/13?
False
Let i = 18 + -73/4. Do i and -14 have different values?
True
Let n = -4 - -4. Suppose n*r = -r + 4. Let q = -4 + r. Is 1 greater than or equal to q?
True
Let s(q) = q**3 - 6*q**2 + 6*q - 5. Let l be s(5). Which is bigger: -1/16 or l?
l
Suppose 4*f = -f. Let m = f + 3. Which is smaller: 4 or m?
m
Let w be ((-2)/(-284))/(4/8). Do 1 and w have different values?
True
Let x = -799111/7892170 + -4/27595. Let y = x + 5/26. Let c = y - 25/33. Which is bigger: 0 or c?
0
Suppose -4*a + b - 12 = 0, 0*a + 5*b - 12 = -4*a. Let q(n) = n**3 + 5*n**2 + 3*n - 3. Let t be q(-4). Is t at least as big as a?
True
Suppose 0 = 2*m - 26 - 34. Let x be ((-1)/m)/((-6)/15). Which is greater: -1 or x?
x
Let s = 51 - 54. Which is smaller: s or 1/2?
s
Suppose -2*t - 12 - 10 = 0. Is 2 <= t?
False
Let m = -2 + -4. Let i be (-3 - m) + (0 - 3). Which is bigger: i or -3/11?
i
Suppose -2*p = -4*p - 16. Let g = 6 + p. Which is greater: -3 or g?
g
Let j(w) = 7*w**2 + 2*w + 1. Let l be j(-1). Let n be ((-2)/5)/(l/(-60)). Is n at most 3?
False
Let x(k) = k**2 + 8*k + 6. Let p be x(-4). Let l = 45 + p. Let u be (-25)/l + (-2)/7. Is -1/5 greater than u?
True
Let v = -1.27 + 16.07. Let q = 15 - v. Is 5 != q?
True
Suppose -4*v + 107 = -17. Suppose -4*z = -3*r - v, z + 4*r + 7 = -9. Let i(o) = -o**2 + 5*o. Let d be i(z). Is 4 <= d?
True
Suppose 0 = -0*o - 5*o. Which is smaller: o or 2?
o
Let p = -43 - -43.03. Which is smaller: p or 1?
p
Suppose 0 = n - 5*h + 25, 10 = -4*n + 2*h - 0*h. Do n and -4/33 have the same value?
False
Suppose 3*f - 136 = 2*u, -4*f + 180 = -0*f - 4*u. Which is bigger: f or 0?
f
Suppose -3*p - 28 = 2*a, 0*p = a - 2*p. Which is bigger: a or 0?
0
Let d be (-3)/(-3)*(-1)/(-1). Are d and -1 nonequal?
True
Let b = 1 + -1. Let f = b + -0.4. Let t = 2.6 - f. Which is greater: 0 or t?
t
Let k be (9 - 0)*3/(-9). Let i be 7 + 1/k*-3. Is 9 equal to i?
False
Suppose -13*b - 73 = -255. Which is smaller: -0.1 or b?
-0.1
Let a = 110 + -50. Let q be (-2)/(-20)*a/8. Which is greater: q or 0?
q
Suppose -7*l = -2*l - 5. Is 21 greater than or equal to l?
True
Suppose 3*f - 6*f = -3. Let u be -3 + -1 + 8463/(-792). Let m = -117/8 - u. Do m and f have the same value?
False
Let l be 42/(-63)*(-3)/(-2). Which is greater: -1/33 or l?
-1/33
Let r be (-1 - 31)*1/2. Let g be 1/4*r/(-10). Which is greater: g or -1/2?
g
Let k be (-3 - -2) + 66/36. Is 2 smaller than k?
False
Let l = 3.2 - 3. Let z = -7 - -9. Do z and l have the same value?
False
Suppose -2*x - 3*x - 5 = 0. Let b(u) = 7*u**2 + u + 4. Let j be b(8). Let q = j + -11498/25. Which is smaller: x or q?
x
Suppose 5*j - 5*v = -30, 2*j - v + 14 = 3*v. Let u = 8 + j. Which is smaller: u or 2?
2
Suppose 18*b - 98 = 4*b. Let i(c) = 3*c - 1. Let q be i(3). Is b != q?
True
Let u = 3 - 4. Suppose -4*i + 0*z + 2*z = -18, 4*i + 3 = -5*z. Suppose -i*o - 18 = 3*c, -2*c + 16 = -4*o + 4. Is u smaller than c?
False
Let r be 5/(-10)*(2 - 158). Let s = 627/8 - r. Which is smaller: s or 1?
s
Let s = -511 + 295. Let a be (-4712)/(-22) - 4/(-2). Let c = a + s. Which is greater: -1 or c?
c
Suppose 5*a + 20 = -10. Let g be 2 + 6*(-4)/a. Let t = 9 - 4. Is t equal to g?
False
Let i = 0 - -4. Let q = i - 2. Let h be q/22*(-2 + 4). Which is smaller: 0 or h?
0
Let a be (-4)/(-20) + (16/5)/4. Let j = 7/22 + 2/11. Which is bigger: a or j?
a
Let o(h) = -h + 16. Let q be o(12). Let p be 0 + q/42*-3. Which is smaller: p or -1?
-1
Let n be (-18)/(-4)*(-6)/(-9). Suppose 2*t + n = -589. Let v = 4438/15 + t. Is 2/5 > v?
True
Let k = 148 + -155. Let x be 1/2*(-14 + 0). Are x and k non-equal?
False
Suppose 0 = 4*f - 19 - 25. Suppose -4*j - j + o = 16, -4*j = o + f. Which is smaller: j or -5?
-5
Let k = -0.2 - -0.5. Let w = -0.1 + k. Which is smaller: w or -5?
-5
Let g = 2 - -1. Let n = -2 + 0. Let c = n + g. Which is bigger: c or 2/5?
c
Let t be -1 + 0 + -1 - -1. Let p = -155/6 + 25. Which is bigger: t or p?
p
Let v(a) = -2*a**3 + 3*a**2 - 4*a + 3. Let n be v(2). Let d be (-15)/(-9)*(-1)/n. Let u = d + -11/108. Which is smaller: u or 1?
u
Let k be 44/(-561) - (-2)/17. Is k bigger than -1?
True
Let j = -44 - -175/4. Let x(u) = -u**2 + 0 - 6 + 3 - 2*u. Let l be x(-2). Are j and l equal?
False
Let q(s) = 2*s**2 + 2*s - 2. Let n be q(-2). Suppose r = -n*g - 12, 0*g = g - 3*r - 8. Which is greater: -3 or g?
-3
Let r(d) = -2*d - 2. Let b be r(8). Let l be 13/(-11) - b/99. Is l less than -11/5?
False
Let f(c) = -c**2 - 2*c + 7. Let y be f(-6). Let v be y - (0 - (3 + -1)). Let m be v/6 + (-1)/(-2). Do m and -2 have different values?
False
Let n = -0.1 - 4.9. Let p = -5.3 - n. Does p = 0?
False
Suppose 2*m + 7 = w + 16, 5*w = 2*m - 85. Let j be (1/(-18))/(2/(-692)). Let g = j + w. Is g < 1?
True
Let p(n) = -n - 1. Let a(l) = l. Let j be a(2). Let g be p(j). Let m(v) = -2*v - 26. Let w be m(-12). Which is greater: w or g?
w
Let g be 0 + 4*5/20. Which is greater: 1/142 or g?
g
Suppose -6*z + z = n + 19, -5*n = -4*z - 21. Let o = -240/247 + 14/13. Is o < n?
True
Let g = -0.029 - -0.029. Which is smaller: g or -4.4?
-4.4
Suppose 4*a + 5*n = 27, 3*a + 0*n + 2*n - 29 = 0. Suppose q = -a + 1. Let m be 3/q - (-3)/(-4). Do -1 and m have the same value?
True
Let u(l) be the second derivative of l**5/20 + l**4/3 + l**3/2 + l**2/2 - 5*l. Let s = 3 - 6. Let k be u(s). Which is greater: k or 0?
k
Suppose 7 = 5*p + 3*c, 3*c - 2 = -2*p - 1. Which is smaller: 4 or p?
p
Let o be 2/(-8) - 27/(-12). Let h = 17 + -19. Is o > h?
True
Let l = -13 + 9. Do -2 and l have different values?
True
Suppose 3*f + 3*l - 6 = 0, 2 = -f + 6*f - 3*l. Let z be 10/(-25)*f*-2. Which is greater: z or 0?
z
Let c = -6 + 0. Let p = 24 - 28. Is c smaller than p?
True
Suppose -4*c = -6 + 14. Let u = -14 - -26. Suppose 0 = -0*s - 4*s - u. Which is bigger: c or s?
c
Let v = -4 + 6. Which is smaller: v or 10/17?
10/17
Let i = 62 - 42. Is i greater than or equal to 20?
True
Suppose -3*w + 3*d = 2*d - 3, 5*w + 4*d - 22 = 0. Suppose 0 = -3*u + n + 4, -2*u - 1 = -n - 3. Suppose w = 3*i - u*i. Do i and 2 have the same value?
True
Suppose -2*v - 2 - 6 = 3*u, 2*v + 2*u + 4 = 0. Is 1 not equal to v?
True
Let z = -7 + 11. Suppose -4*l + 2*l + 17 = 3*s, s + 13 = z*l. Let h be s/(15/(-6) - -1). Is 2/7 bigger than h?
True
Suppose 0 = -4*a + 8*a - 8. Which is smaller: 4 or a?
a
Let b = 1 + -1. Suppose -13*s + 16*s = 1131. Let p = s - 3397/9. Is p != b?
True
Let m(c) = -c - 7. Let h be m(-15). Is 8 less than h?
False
Suppose 5*r = -5*v + 5 + 10, -2*r = -2. Suppose -2*w + 4*c = -4, 4*w - 17 = -c - 0. Which is smaller: v or w?
v
Let z be 6/(-14)*2/6. Let b = -0.3 + 0.26. Let u = -0.04 - b. Are z and u non-equal?
True
Suppose 0*l - x = -l + 7, -5*x = l + 11. Suppose -l*k + 4 = -2*k. Let z = -2 + 4. Is z greater than k?
False
Let b = -0.46 + 6.46. Which is bigger: 1/3 or b?
b
Let f = -18 + 11. Let g = 10 + f. Is 1/4 greater than g?
False
Let s = 16.5 + -21. Let l = s + 5. Let t = l - 0.4. Which is smaller: -1 or t?
-1
Let x(b) = b**3 - 11*b**2 + 10*b + 10. Let s be x(10). Let h be ((-1)/(-5))/((-6)/s). Which is smaller: h or 0.05?
h
Let r be ((-21)/2)/(-15 + 3). Let z = 64 + -517/8. Let i = z - r. Which is smaller: -1 or i?
i
Let p = -0.4 + 0.5. Let c = -7.9 + 8. Let t = p - c. Which is smaller: t or 1/9?
t
Suppose 0*y - 2*y - 5*x = -2, -4*y = -3*x - 30. Let q = y + -7. Is -3/4 greater than q?
True
Suppose -4 - 2 = -g. Suppose -g*z = -z. Is 2/5 less than or equal to z?
False
Let o = 15 - 10. Suppose k - 2*d = -4, 2*k + o*d - 1 = -0. Let l be (3 - (3 + k))/4. Is 0 at most l?
True
Suppose 0*t = -t - 1. Is 1/15 smaller than t?
False
Let v = 1.1 + 2.9. Let