. Which is greater: u or j?
u
Let x be (-2)/(-4) - (-5)/10. Which is bigger: x or -2/5?
x
Let w be 3*(-2)/(-3) + 0. Let p = 30/17 - 1/68. Which is smaller: w or p?
p
Let x be (5 + -10)/(4/(-6)). Is x less than 9?
True
Let b(f) be the second derivative of f**4/12 + f**3/6 - 2*f**2 - 5*f. Let y be b(-3). Is 5/4 equal to y?
False
Suppose -5*k - 30 = -5*y - 0*y, 0 = -k + 4. Is y smaller than 8?
False
Let y = -25 + 17. Let i(u) = -3*u + 14. Let w be i(6). Let p be (y/(-16))/(7/w). Is p > -1?
True
Let y be -2 - 10/(-3) - 2. Let g(n) = 2*n + 4. Let p be g(-5). Let h be -2*(p/(-20) + 0). Is h not equal to y?
True
Suppose -1 = -4*s - z, 0 = -5*s + 2*s - 2*z + 2. Let l = -1 + s. Are 1 and l non-equal?
True
Let x = -8136978691/840 + 9686881. Let a = 1/168 - x. Which is greater: a or -2?
a
Let j be (20/16)/(-5)*-2. Is -8 <= j?
True
Suppose 299 = 5*x + 294. Which is greater: x or -1/97?
x
Let w = 1 - -2. Suppose -4 + w = -z. Which is bigger: z or 0?
z
Let v = -57/8 + 415/56. Let h be (-1 - -3)/(4 + 12/(-6)). Is h smaller than v?
False
Let m = 17.68 - 18. Let h = -0.07 - m. Let p = h + -0.05. Which is bigger: p or 2?
2
Suppose -5*f + 2*i = -13 - 11, 2*f - 2*i - 12 = 0. Let q be (3/(-153))/(f/(-24)). Which is smaller: q or 1?
q
Let m(s) = -2*s + 1. Suppose -2*q = 3*q - 15. Let j be m(q). Let d be 1/4 + j/(-12). Are 2 and d equal?
False
Let x(m) = -m**2 + 4*m + 2. Let t be x(4). Suppose -5*h + 6 = 4*j, 9*j - 10 = 4*j - 5*h. Does j = t?
False
Let o(n) = n + 9. Let f be o(-11). Let z be 5 - f - (-1)/(-1). Suppose 0 = -k + 5 - 0. Which is greater: k or z?
z
Let r be 1/(-2)*-2 - 4 - -2. Which is smaller: -2/7 or r?
r
Let q = 9 - 15. Suppose 3*g + 45 - 39 = 0. Which is greater: q or g?
g
Let p(z) = z - 5. Let k be p(6). Let a be k*(-2 + 3 - 2). Which is smaller: a or 3/8?
a
Let y = 127 - 410. Let h = 1975/7 + y. Which is greater: 0 or h?
0
Let b be (60 - 62)*(2/(-2) - 0). Which is smaller: b or -20?
-20
Suppose 3*t = 3*f - 9, -5*f = -4*t - 15 - 5. Suppose f*y - 20 = 4*y. Suppose y*p + 6 = -19. Is -5 equal to p?
True
Let a = -1917/1106 - -3/158. Which is smaller: a or -3?
-3
Let d(l) = l - 6. Let t be d(5). Let f be 36/8*-1*2. Let x be 5/2*f/135. Which is greater: x or t?
x
Let j be 1/5*(-2)/2. Suppose -5*n + 2*x = 26, 0*x = 3*n + 4*x + 26. Let d be 7/(21/n) - -1. Which is smaller: j or d?
d
Let x(g) = -g**2 + 2*g + 2. Let v be x(4). Let u be 14/v - (-8)/(-12). Which is smaller: -0.2 or u?
u
Let h(o) = -2*o - 6. Let i be h(-3). Which is smaller: -12/13 or i?
-12/13
Let k(b) = b**2 - 5*b + 2. Let d be k(5). Suppose 5*w - 2*u - 2 + 4 = 0, 5*w + 3 = 3*u. Let g = w - d. Is -2 >= g?
True
Suppose -2*u + 1 = -u. Let c be (8/(-42))/(u/2110). Let l = -402 - c. Is 0 bigger than l?
True
Let i(j) = j + 9. Suppose -26 = 2*u + 2*y, 5*y = 4*u - 0*y + 7. Let z be i(u). Let w = 1.5 - 1. Are z and w equal?
False
Let f = -5 - 1. Let x = f + 6.1. Let p = 83 + -749/9. Which is smaller: p or x?
p
Let x be 80*(13/(-26) - (-2)/(-4)). Is -79 less than or equal to x?
False
Suppose -5*y - 2*w + 72 = -2*y, -5*w = -y + 41. Which is smaller: 25 or y?
25
Suppose 2*u - 12 + 6 = 0. Let k(z) = -z + 3. Let h be k(4). Let t be (-4*1)/(-1 + h). Which is smaller: t or u?
t
Let q(o) = -2*o**3 - 7*o + 13. Let s(k) = k**3 + 4*k - 7. Let b(v) = 4*q(v) + 7*s(v). Let g be b(0). Suppose 0 = g*f + 3 + 3. Which is greater: f or -1?
-1
Let x = 19/440 + -9/40. Which is bigger: x or 0?
0
Suppose -28 = -2*c + 2*q + 3*q, -5*c = -5*q - 85. Which is bigger: -0.1 or c?
c
Let j = 14 + -12. Suppose 25 = 5*x, 5*f - 17 + j = 2*x. Is 5 less than or equal to f?
True
Let h(a) = -a**3 - 9*a**2 + 11*a + 4. Let y be h(-10). Let q = -16 + 11. Which is smaller: y or q?
y
Let p(k) = k**2 + 5*k + 4. Let c be p(-3). Suppose -133 = -5*m - 2*i, 5*i = 2*m - 0*i - 30. Let t = -26 + m. Which is bigger: t or c?
t
Let o be -5*((-291)/75 - -4). Which is smaller: o or -1?
-1
Let x(d) = -d + 7. Let b be x(0). Suppose -13 = 3*s - b. Which is greater: s or -6/7?
-6/7
Let i = 240231 + -15134975/63. Let p = -68/9 - i. Which is bigger: -2 or p?
p
Let k(r) = r**3 - 3*r**2 + 3*r - 2. Let b be k(2). Let a = -7 - -11. Suppose b = -j + a - 3. Is 1/3 > j?
False
Let o be (-3 - (-18)/69) + 2 + 1. Is -1 at least as big as o?
False
Let s be ((-1)/2 + 30/12)*8. Is s greater than 15?
True
Suppose 0 = 2*z - 69 + 15. Suppose -2*o - 4*v + 16 = 0, -4*o - 2*v = v - z. Is 7 < o?
False
Let l be 3/(36/(-7)) - (-11)/44. Which is greater: 2/9 or l?
2/9
Let p = -18.95 - 0.05. Let f = -18.5 - p. Is f at least as big as 2?
False
Let q be ((-15)/3)/(-1 + 2). Which is smaller: q or -1?
q
Suppose -6*u + 9*u = 0. Which is greater: u or -1/13?
u
Suppose -3*n + n - 8 = 3*j, 4*n - 2 = 3*j. Let t be 2 + (0 - j - 0). Let c be 4*(10/t)/(-5). Do c and 1 have different values?
True
Let k be (-1 + (-9)/(-2))/(10/(-4)). Which is greater: k or 0?
0
Suppose -56 = 2*r + 2*r - 4*k, -5*k = -3*r - 52. Is -8 less than r?
False
Suppose -3*r = r - 32. Let o = -9 - -17. Do r and o have the same value?
True
Suppose -5 = n + 3*r + 2*r, 2*r = 5*n - 2. Let d = -1/2 + n. Is d != -1/4?
True
Let p be 3*1*(-3 - -4). Which is bigger: p or 21/5?
21/5
Let d = -10 - -9.9. Which is smaller: d or 0?
d
Suppose -4*g = 6 + 2. Let h = 1 - g. Let q = h - 3. Is -1 less than or equal to q?
True
Suppose 2*j - 10 + 0 = 0, 5*j = -5*d + 40. Suppose 3*b + 3 = 4*y - 10, -b + y = d. Let k be (1/(-4))/(2/3). Which is bigger: b or k?
b
Let z(l) = l**3 - 3*l**2 + 3*l. Let k be z(2). Let w(s) = -s**2 + 5*s + 6. Let m be w(5). Let c be ((-10)/m + k)*2. Are c and 1 equal?
False
Suppose -w + 2 = -5*j - 8, -10 = 5*j + 4*w. Let k be (3 - 2) + 2/j. Let y = -1265/7 + 181. Is k < y?
True
Let f be (0 - -2)*(0 + -1). Which is bigger: f or -4?
f
Let z = 9 - 8.95. Which is smaller: 2 or z?
z
Suppose -3*m - 18 = -6, 0 = -2*i + m + 20. Suppose 2*c = 3*c + i. Which is smaller: c or -7?
c
Suppose 0 = -0*t - 2*t, 2*t - 4 = -2*w. Which is greater: 4 or w?
4
Let c be 0 + (-2 - -1) - 5. Is c equal to -2?
False
Suppose -t = 2*f - 13, -31 = -2*t - 0*f - 5*f. Suppose -2*i = t + 3. Which is smaller: i or -2?
i
Suppose -29 = 2*c - 79. Let n = c + -13. Suppose -n = a + 2*a. Which is greater: a or -3?
-3
Suppose -m + 5*o - 2 = 0, 5*m + 0*m - 30 = 5*o. Let n be 16/(-10) - m/20. Is -1 greater than n?
True
Let y be (-3)/9 + 7/3 + 0. Which is smaller: -47 or y?
-47
Let a = 5 - 3. Let y = 1 - a. Is y smaller than -1?
False
Suppose q + 1 = -4*k - 11, -9 = 5*q + 3*k. Which is greater: q or 2?
2
Suppose 0 = 4*j - 2*j. Let y be (-80)/325 + (-4)/(-10). Is j <= y?
True
Let t be 51/68*(-8)/(-711). Is 1 != t?
True
Let i = -0.8 - 0.2. Suppose -h = m - 1, -2*m - 3*h + 1 = 4. Which is bigger: m or i?
m
Suppose 8*f - 3*f = 4*i + 30, -f + 5 = -i. Let q = f - 0. Suppose -n - 2*p - q = 0, 0 = -p - 4*p - 25. Which is greater: n or -2?
n
Let z = 0 - 0. Let s(u) = -u**3 + 12*u**2 - 12*u + 5. Let v be s(11). Let c be (3 + v)*(-3)/(-12). Are z and c unequal?
True
Let o(c) = c**2 + 5*c - 4. Let f(h) = -h + 1. Let z(n) = -3*f(n) - o(n). Let l be z(-2). Is l <= 0?
False
Let o = 5 - 3. Suppose 0 = o*f + 1 + 3. Let q be f/(-7) - 4/(-35). Which is greater: 0 or q?
q
Let i = 1/8 + 3/8. Which is smaller: i or -0.3?
-0.3
Let s = -1 - -1.3. Let z = -92 - -92. Which is smaller: z or s?
z
Let d = -1 + 1. Let k = d - -0.1. Is 1 > k?
True
Let i be (16/(-10))/(1 - 3). Suppose -4*z = t - 12, 15 = -0*t + t + 5*z. Is t bigger than i?
False
Let p = -29739265 + 15901620. Let y = 27993555271/2023 + p. Let s = -2/289 + y. Is -2 greater than or equal to s?
False
Let j = 146 + -262. Let m be 1 + j/52 + 1. Is -1 less than m?
True
Let q = 14.7 - 10.7. Which is bigger: q or 1/12?
q
Let z(l) be the second derivative of -l**4/6 - l**3/6 + 3*l. Suppose 0*u - u + 1 = 0. Let t be z(u). Are -2 and t non-equal?
True
Let r be (8/(-68))/(1*(0 - 2)). Are 0 and r unequal?
True
Let z(f) = f**2 - 7*f - 8. Let d be z(8). Suppose 15 = -d*o - 3*o. Which is smaller: -4 or o?
o
Let x be (1/6)/((-1)/(-3)). Let m(p) = -p**3 - 10*p**2 + 4. Let h be m(-10). Suppose h*t - 5 = -b + 3, 3*b = 4*t + 8. Which is smaller: x or t?
x
Let x(s) = s - 6. Let y be x(8). Suppose -h + 11 = -3*f, -y*f = 5*h - 2*h. Suppose 5*l = -h*o + 30, 2*o - 24 = -2*o - l. Is 6 at most o?
False
Suppose -13*g + 17 - 4 = 0. Which is smaller: g or 2/3?
2