e 0*v = v - j. Which is bigger: -1 or v?
v
Let f be 1/3 + 1/(-3). Let i be -4 - ((-34)/9)/1. Is f smaller than i?
False
Let u be -6*(-2 + 3/6). Let h be 0/(-3*6/u). Is 1/3 != h?
True
Suppose -4 = -5*j + 3*j. Suppose 4*r - 26 - 2 = 0. Let y be ((-1)/(-2))/(r/j). Which is bigger: 0 or y?
y
Let d(r) = -r**3 + 5*r**2 - 4*r + 5. Let l be d(4). Suppose -4*m = -5*q - 45, m = -0*m - q. Is l equal to m?
True
Let u = -4660/21 - -222. Let x = 2 + -2. Which is bigger: x or u?
u
Suppose 2 = n, 8*f = 3*f + 3*n + 374. Which is greater: 77 or f?
77
Suppose -12 - 3 = -p. Suppose 5 + p = -5*h. Which is greater: h or -2?
-2
Let y = -192 - -191.69. Which is smaller: 3 or y?
y
Let j = 4 + -5. Let u = j + 0.8. Let f = -4/77 - -251/385. Which is bigger: f or u?
f
Let w be 50/(-18) - -3 - (-1 + 0). Which is smaller: 2 or w?
w
Let q = 119 + -593/5. Let d = -6 - -6.4. Let y = 1.6 + d. Which is greater: y or q?
y
Suppose 9*u + 3*u - 10*u = 0. Let q be (-1 - -2) + 2/(-1). Is q smaller than u?
True
Suppose 4*c + 10 = 2*l + 3*c, -26 = -5*l + 3*c. Let f = -0.2 - -0.2. Which is smaller: f or l?
f
Let p = 3 - 4. Let h be (-2)/(-4)*4/6. Which is smaller: h or p?
p
Let i(u) = u - 6. Let r = -10 - -15. Let q be i(r). Let g = -2 - q. Which is bigger: -2/9 or g?
-2/9
Let q be (24/22 - 0)/(-2). Suppose -v = -5*k + 7, 8 = -7*v + 2*v - 2*k. Which is greater: v or q?
q
Let z = -1.7 + 2.7. Let s = z + -0.6. Which is smaller: s or -2?
-2
Let a = -16 + 14. Let b = 4/23 - 31/46. Does a = b?
False
Let s be 4 - (0/5 + 3). Which is bigger: s or -2/239?
s
Let i = -11 + 3. Let j be i/(-10)*(-20)/(-8). Which is bigger: 3 or j?
3
Suppose 96 = -3*j + 7*j. Suppose b - 7 = -2*f, -4*b + j = 3*f + 1. Is f at most as big as 2/25?
False
Let l be (-4)/(-18) + (-2)/9 + 0. Which is greater: l or -2/163?
l
Suppose 0 = 3*y - 6, -l + 0*l - y = -3. Let b(w) = w**2 - w - 2. Let s be b(3). Let a be s/6*(-1)/2. Is a at least as big as l?
False
Let r(v) = 2*v**2 - 8*v - 4. Let n be r(6). Let f be (-5)/n*1/(-2). Which is bigger: f or -1?
f
Let r = 2 - 1. Let c = -4.8 + 0.8. Let i = -4 - c. Are r and i non-equal?
True
Let y = -17 + 19. Which is bigger: 12/11 or y?
y
Suppose -20 = -3*c + 5*p, -4*p + 24 = 2*c - 2*p. Suppose -4*g + c = -14. Which is smaller: 4 or g?
4
Let r = 12 + -24. Is r not equal to -12?
False
Let h be 25/10*-1 - -2. Are h and 32 equal?
False
Let n be 0/(1 - (3 - -1)). Suppose -4*v + 9*v - 15 = n. Which is greater: -2/7 or v?
v
Let r = 209/4 + -52. Let p(b) = 2*b + 6. Let z be p(-6). Let i = -4 - z. Which is smaller: i or r?
r
Let y be (2/(-4))/(2/8). Let k = -7 + 6. Let u = k + -2. Which is smaller: y or u?
u
Let b be -7 + 6 - (1 + 0). Let y = 2 + b. Which is greater: 0.2 or y?
0.2
Let n(b) = b**2 + 5*b + 5. Let a be n(-5). Let m = 4 - 4.1. Is a less than m?
False
Let c(w) = -w**3 + 8*w**2 + 9*w + 1. Let i be c(9). Let h be (-2 - i) + 3 + -1. Let l be (2 + h)/(1/(-6)). Is -5 at most l?
False
Let d = 2 + -2. Suppose d = 2*a + a - 12. Suppose 9*u = a*u. Which is greater: 2/3 or u?
2/3
Let n = -1.8 - -2. Let u be 7 - 3 - 3 - 0. Let g = u + -2. Which is bigger: n or g?
n
Let d = 12 - 10. Let h be 42/(-10) - d/(-10). Which is smaller: -3 or h?
h
Suppose 3*f - 2*w = 84, -5*w = 2*f - 26 - 11. Which is smaller: f or 25?
25
Suppose -4*p + 2*r = 7*r + 15, -2*r - 6 = -3*p. Let h be p + (0 - 4) + 3. Which is bigger: h or 3/7?
3/7
Let l be 3*2/8*4. Let f(k) = 6*k**3 - 3*k**3 - 4*k + 3*k + 1. Let s be f(1). Is s >= l?
True
Let z be -1 + -1 + (1 - -1). Suppose 0*i - 5*i = 15. Let r be 0 + 7 + i + -3. Which is smaller: r or z?
z
Let y be (6 - 3)/3*1. Is y at least as big as -1?
True
Suppose 5*x - c + 18 = 3*c, -2*c + 14 = -5*x. Which is bigger: x or -4?
x
Suppose 0 = 3*g + g - 8. Let z(d) = -2*d**2 + 2*d + 1. Let a be z(g). Let l be (-4)/(-6) - (-11)/(-3). Is a less than l?
False
Let o(s) = -s**3 - 3*s**2 + 2*s - 2. Let y be o(-4). Let t = y + -4. Suppose t*b = -b. Are b and -1/7 equal?
False
Let m be -1 + 2 + -2*28/24. Which is bigger: -2 or m?
m
Let b = -0.5 + -4.5. Let w = -5.3 - b. Let r = w + 1.3. Is r greater than or equal to 1?
True
Let z(l) = -l**3 + 7*l**2 - 4*l - 11. Let g be z(6). Is -6 equal to g?
False
Suppose 0*x - 3 = -4*c + x, c + 1 = 2*x. Which is greater: c or 1/37?
c
Let w be ((-2)/4)/(6/(-42)). Are 5 and w equal?
False
Let h(x) = -x**2 - 12*x - 37. Let v be h(-6). Is v at least -3?
True
Let z(i) = i**2 + 11*i + 1. Let c be z(-11). Is c > 5/6?
True
Let d = 5.868 + -0.068. Let z = -5 + d. Let w = -0.6 + z. Which is bigger: w or -3/4?
w
Suppose 0 = -0*o + 4*o - 24. Is o greater than or equal to 2?
True
Let f = 19 + -19.1. Which is smaller: f or -2/3?
-2/3
Let x(t) = -6*t**3 + 2*t - 1. Let i be (12/(-8))/((-6)/4). Let f be x(i). Let o = f + 4. Which is bigger: 2/7 or o?
2/7
Let s(u) = 15*u. Let q be s(1). Suppose 2*h + q = 5*v, -4*v + 19 = -h - 2*h. Let y(t) = t + 4. Let i be y(-4). Is v less than i?
False
Let t be -2*1/(4/(-2)). Let d(k) = -4 + 0*k - 2*k + 2 + 0*k**2 + k**3 - 2*k**2. Let a be d(3). Is t at most a?
True
Let x be 1/(-5) - 106/(-5). Suppose o - x = -5*g, 10 = -3*o + g - 7. Let c = o - -4. Is c less than -1?
False
Let a = -0.03 + -0.07. Let w(y) = y**3 - 15*y**2 + 14*y + 1. Let f be w(14). Is f > a?
True
Let t = -148 - -127. Which is smaller: t or 0.1?
t
Suppose -g = 2*g + 15, 26 = -2*c - 2*g. Let z = 6 + c. Let o be (z + 5/2)*0. Which is smaller: o or -1/3?
-1/3
Let r be 8/(-1020)*(-1 + -9)/1. Is 1 at least r?
True
Let y = 0.16 + -0.26. Are y and -1/3 unequal?
True
Let p be -1 - 3/(9/(-15)). Let u be (-6)/6 + p/1. Suppose -9 = -r + 2*f, 2*r - 5*r - 5*f - 6 = 0. Is r != u?
False
Let b(v) be the first derivative of -v**4/4 + 7*v**3/3 - 9*v**2/2 + 8*v - 7. Let n be b(6). Which is smaller: n or -9?
n
Suppose -2*h - 4 = -3*r - 11, -4*h + 3 = 5*r. Let k = 5 - -16. Let f = 21.2 - k. Which is smaller: f or h?
f
Suppose 4*p - 8 = -5*q + 58, 3*p = -5*q + 62. Suppose -5*d + x = -q, -5*d - 6*x + x = -10. Suppose -g = d*g. Is g less than -3/4?
False
Suppose -1 = 3*l - 13. Suppose 9 + 3 = l*d. Which is bigger: 1 or d?
d
Suppose -13 = -3*u + o - 3, 4*o + 12 = 5*u. Suppose -u*f + 0*x + 2 = 2*x, 10 = 5*f - 5*x. Are f and 1 unequal?
False
Let f = 61 + -63. Let x be (2/21 - 0)*-6. Is f greater than x?
False
Let l be ((-12)/8)/(2/12). Which is smaller: l or -8?
l
Let r = 227/30 - 42/5. Suppose 0 = -5*b - 6 + 1. Which is smaller: b or r?
b
Let f be 7 + (1 - 0) + -2. Let t be ((-4)/f)/((-4)/42). Is t <= 6?
False
Let f(n) = n**2 + 2*n + 1. Let m be f(-4). Let i(p) = p + 5. Let y be i(4). Is y at least m?
True
Let b(x) = x**3 + 7*x**2 + 5*x - 1. Let w be b(-6). Suppose 1 = -0*y + y. Suppose 3*s + 5*z - 3 = 0, y + 4 = w*s + 5*z. Which is smaller: -1/3 or s?
-1/3
Suppose 5*v - 39 = -0*r + r, 4*v - 5*r = 48. Let b(h) = -h**2 + 8*h - 7. Let a be b(v). Let o = -174 + 1216/7. Is a at most o?
False
Let v(i) = -i**3 + 9*i**2 + i - 7. Let r be v(9). Which is smaller: r or 0?
0
Let h(l) = 3*l + 2. Let g be h(2). Let m(q) = -2*q + 33. Let d be m(12). Is d <= g?
False
Let o be 0 - -2*(-717)/10. Let u = -143 - o. Let x = -0.06 - 0.04. Which is smaller: x or u?
x
Let p = -0.027 + -24.973. Let q = -26 - p. Let z = -4.6 - -5. Which is greater: z or q?
z
Let a be (2/12)/((-2)/4). Suppose 0 = -7*f + 2*f - 5*v + 10, 2*v = 2*f - 12. Suppose -4*c = -0 + 4, f*c + 2 = -2*q. Which is smaller: q or a?
a
Let s(r) = 3*r + 11. Let b be s(-7). Is b smaller than -8?
True
Suppose -5*m = -8 - 17. Suppose 0 = 2*x - r - 5, x - m = -3*r + 6*r. Is 1 smaller than x?
True
Let a = -13 - -13.1. Is -16 at most a?
True
Let y be 1/3 + (-1)/435*151. Is y less than 1?
True
Let i = 0.22 - 0. Let q = i - 0.15. Let h = -0.37 + q. Which is smaller: h or 0?
h
Let s = 8 - 9.4. Let a = 0.6 - s. Is 0.1 <= a?
True
Let f = -157 + 314. Let r be (-50)/(-16)*(1 + -51). Let w = r + f. Is w less than or equal to 0?
False
Let d be 1 + -6 + 3 + 0. Let p be (0 + -1)/(0 + 2). Is p less than d?
False
Let b(i) be the third derivative of i**5/15 - 3*i**2. Let w be b(2). Let g be (6/w)/((-6)/4). Is g less than or equal to 0?
True
Let u = 34 + -34. Let t be (0 + -1)*1/(-1). Which is greater: t or u?
t
Let i = -15.79 + -0.21. Let y = 15 + i. Are y and -0.5 unequal?
True
Suppose 4*d - 2*d - 27 = g, 4*g + 73 = d. Is -18 greater than or equal to g?
False
Suppose 0 = 2*x +