ue
Let b = 200905 - 2208336/11. Suppose -2*j = -221 - 73. Let h = j - b. Which is smaller: h or 0?
h
Suppose -3*r - 9 = 18. Let z = r + 5. Is -4 >= z?
True
Suppose -4*y + 2*z - 3*z - 5 = 0, -2*y - 4*z = -8. Which is smaller: y or 0?
y
Let p = 7.7 - 6.6. Do 0 and p have different values?
True
Let q = 26 - 7. Do 18 and q have different values?
True
Let u be 10/(-3)*(-7 + (-17)/(-2)). Let p(b) = -2*b + 5. Let n be p(5). Is n greater than u?
False
Let y be (-96)/224*7/(-20). Let x(t) = -t - 4. Let d be x(-4). Which is greater: y or d?
y
Suppose 19 = -3*k - 26. Is -15 equal to k?
True
Suppose b + b = -5*g - 22, 0 = b + 2*g + 12. Let n = b + 8. Is -8 > n?
False
Let b(t) = -t**3 + 5*t**2 + 7*t - 4. Let f be b(6). Suppose -3*p + 9 = -3. Suppose -5*u + 7 = 3*c, 4*c + p = u - 2. Does u = f?
True
Let d be (9/(-2))/(9/12). Let v be 7*(-5)/((-35)/d). Which is smaller: -5 or v?
v
Let r be ((-8)/10)/(12/90). Let n be (-12)/r + (-7)/4. Is n at least 1?
False
Let m(n) = 2*n**2 + 2*n. Let r be m(2). Suppose -2*q - 5*v = r, -2*q - 4*v - 6 = -4*q. Which is smaller: 2 or q?
q
Let x(b) = b. Let q be x(10). Suppose -11 = -5*i + 2*v + q, 4*v = 3*i - 7. Which is smaller: -1 or i?
-1
Let f(y) = 2*y + 2. Let h be f(-2). Let v = -38 + 37.8. Which is smaller: h or v?
h
Let z be 4/(8/22) - -2. Let l = 8 - z. Is -4 <= l?
False
Let z(f) = -5*f - 1. Let i be z(-1). Suppose 3*b - 2*t = 32, 0*b - 5*t - i = 2*b. Let l be (-2)/((b/5)/4). Which is smaller: l or -4?
l
Suppose -3*g + 4*g = 0. Let a = -18 - -71/4. Is g not equal to a?
True
Let l = 25.08 - 24. Let p = l + -0.08. Which is greater: -5 or p?
p
Let u(k) = -k**3 - 2*k**2 - 2*k - 1. Let v be u(-2). Suppose v*l = 4*l - 5*g - 2, 3*l - g + 8 = 0. Is -3 at most as big as l?
True
Suppose -2*m - 2 = -8. Suppose 8 = m*q - q. Which is bigger: 3 or q?
q
Let d = -1.12 + 0.72. Are d and -0.04 equal?
False
Suppose f = -5, f + 16 = 3*a + 2. Suppose -a*b + l = 0, -5*b - l - 8 = -0*l. Let o = -36 - -34. Do b and o have the same value?
False
Let s = 2 - -2. Suppose s = -2*m - 0*m. Suppose 0 = -c - 2 + 3. Which is bigger: m or c?
c
Let v = -8 - -8. Let x(k) = -k**3 + 6*k**2 - 7*k + 2. Let i be x(6). Let j be (-8)/6*12/i. Are j and v nonequal?
True
Let r = 129.4 - 118. Let u = -11 + r. Is -3/2 bigger than u?
False
Suppose -5*t = -a + 22, 4*a = -4*t + 4 - 12. Let u = a + -3. Let o = 26 + -28. Is u != o?
True
Let s = -0.28 - -0.08. Let h be (-75)/(-140) + (-4)/14. Which is bigger: s or h?
h
Let w be ((-10)/25)/(-3*(-3)/165). Which is smaller: -7 or w?
w
Suppose 2*a - 3*a + 12 = 0. Let k be 6/(-10)*(-8)/a. Which is smaller: 0 or k?
0
Let z = -1 - 1. Let r be (6/24)/(1/(-6)). Which is bigger: z or r?
r
Let s = 11/10 - 1/2. Let k(b) = b. Let d be k(2). Which is smaller: d or s?
s
Let m be (0 - (-2)/5)*5. Suppose 2*u + 4 = -3*u - 3*b, -2*u - 8 = -m*b. Let v be 6/(-12)*(-4)/(-1). Is u not equal to v?
False
Suppose 4*j + 2 = 14. Let t be ((-1)/302)/(j/(-6)). Let g = 323/3171 - t. Which is bigger: -1 or g?
g
Let l(d) = d**3 + 2*d**2 - 2*d + 1. Let v be l(1). Suppose -v*b = -4*b. Which is greater: b or -3/8?
b
Let d(p) = -p - 7. Let f be d(-7). Let c = -41/2 - -21. Which is greater: f or c?
c
Let b = -4 + 3. Suppose 2*r - 2*s - 6 = -2*r, 3*r = -3*s. Let q be (0 + 2 - r) + -2. Are b and q non-equal?
False
Suppose 2*j = -j + 6. Let m be (-6*j/3)/(-2). Let f = 0.1 - 0.1. Is m less than f?
False
Let x = -0.1 - -0.1. Is -2 > x?
False
Suppose -17 = 5*m - 2. Let f be (-16)/(-36)*m/(-2). Is -3 bigger than f?
False
Suppose 10*n - 7*n + 3 = 0. Which is greater: n or 1/25?
1/25
Let z = 0 + 1. Let g = z + -0.9. Let p = 144 - 1010/7. Which is bigger: g or p?
g
Let s be 2/1 - (2 + 0). Which is smaller: s or -2/13?
-2/13
Let l = 6 - 5.7. Let u = l + -0.1. Let o be 2 - (2 - (-2)/(-5)). Which is bigger: o or u?
o
Let m be (-6)/14 + (-990)/42. Which is smaller: m or -23?
m
Let d(i) be the third derivative of i**4/24 + 7*i**3/6 - i**2. Let n be d(-4). Suppose -l + n = 2*l, 3 = -3*k + 3*l. Are k and -3/5 non-equal?
True
Let c = -40 + 40.07. Which is greater: c or 2/5?
2/5
Suppose -n = m + 4*n - 14, 2*m + 3*n = 14. Suppose -3*w - m*k = -9, 2 = w + 3*k - 1. Let f be -2 + w/(-1) + 4. Which is bigger: f or -2?
f
Let t = -2 + 2. Suppose 2 + t = y. Suppose -y*o - 9 = -5*o. Is o bigger than 3/2?
True
Let b be -1 + 2*(-15)/6. Let z = -5 - b. Let l be (z*-1)/((-5)/(-15)). Is -2 less than l?
False
Suppose 5*i - 50 = -3*t, -2*t - 2*t = -5*i - 125. Suppose t = -w + 5*p, 0 = -w + 4*w - 3*p + 27. Let j(y) = 5*y - 1. Let v be j(-1). Is v smaller than w?
True
Let d(i) = -8*i**3 - 23*i**2 + 14*i - 17. Let u(p) = 3*p**3 + 8*p**2 - 5*p + 6. Let z(c) = 4*d(c) + 11*u(c). Let v be z(4). Is v less than or equal to 3?
True
Let f = 13 - 28. Let u = 3 + f. Let c be 13/u - 2/(-6). Which is greater: c or -1?
c
Let j = -19 - -18. Do -13 and j have different values?
True
Let f = 0.1 + -7.1. Let v = f + 7.6. Let y = -0.2 + v. Which is smaller: y or 0?
0
Let a = -62816/16623 + 2/1847. Is a at least -4?
True
Let b = 0 - -1. Let c = 7.2 - 7.1. Which is smaller: b or c?
c
Suppose 0 = 2*z + 3*v - 27, -5*z - 2*v + 57 = 2*v. Do 8 and z have the same value?
False
Let x(j) = 3*j + 24. Let v be x(-8). Which is bigger: 5 or v?
5
Let k be (-12)/2*(-10)/(-6). Let s = -34 - -24. Is s less than k?
False
Let d = -20 - -18. Let z = -4 - d. Is z equal to -2?
True
Suppose -7*z + 2*z = 0. Which is greater: z or 0.1?
0.1
Let i = 41 + -2176/53. Is i < 0?
True
Let l = 27 + -34. Is -8 equal to l?
False
Suppose t - 18 = -4*p, 5*t - 8 - 2 = 0. Are p and 5 equal?
False
Let s = 1 + 4. Suppose 44 = 4*y + x - 69, y - 23 = s*x. Let c be ((-2)/y)/(3/36). Is 0 at least c?
True
Suppose 13 + 11 = -4*m. Are -7 and m equal?
False
Let y = -8 - -4. Let l be (14/(-4))/((-2)/y). Let i be 80/182 + 2/l. Is 1 at most as big as i?
False
Let o(x) = x**3 + 2*x + 4. Let f be o(-3). Let d = 42 + f. Let p = -9 + d. Is 4 at least p?
True
Let s = -3308637/11 + 300517. Let t = s + 268. Let w = -1 + 0. Which is bigger: t or w?
t
Let w(s) = -3*s + 12. Let h = -13 + 18. Let m be w(h). Which is smaller: -4 or m?
-4
Let r be 5*5/25 + 38. Which is greater: 40 or r?
40
Suppose -t - 1 = h - 0, -7 = 4*t + 5*h. Which is smaller: t or 29/9?
t
Let w(s) = -s - 1. Let i be 1 + 2 - (3 - -4). Let a be w(i). Is a bigger than 4?
False
Let o = 5.8 + -2.9. Are o and -2/7 equal?
False
Let s = 5834/267 + -46/89. Which is smaller: 21 or s?
21
Suppose -2*g + t + 5 = 0, 0 = 5*g + 3*t - 5*t - 15. Suppose 0 = -5*s + i - g*i + 14, 5 = 5*i. Let q = 583/4 - 145. Is s > q?
True
Let g be 34/105 + (-16)/24. Let v = -33/35 - g. Is -2 bigger than v?
False
Let u(p) = p**2 - 2. Let o be u(-2). Let d be (4/(-3))/(4/(-6)). Suppose -o = -d*h - 4. Which is bigger: h or -3?
h
Let r(h) = h**3 - 9*h**2 + 9*h - 5. Let d be r(8). Suppose -2*k + 13 = 3*o, -d*o + 5 = 2*k + 2*k. Let v be (-7)/o*(-1 - -1). Which is smaller: 1/5 or v?
v
Let q = 1823/12 + -152. Which is smaller: 1 or q?
q
Let y = 11 - 6. Suppose -y*f = -4*f + 4. Is -13/4 at least f?
True
Let a = -1 - 1. Let m = -6172/21 + 294. Let q = -2/3 + m. Is a > q?
False
Let g(k) = k - 3. Let j be g(8). Let h = 5 - j. Is 2 >= h?
True
Let w be (-2)/(-14)*(-566)/198. Let f = 4453/99 + -45. Let b = f + w. Which is greater: 0 or b?
0
Suppose -2*r + 9 = r. Let h = r + -3. Let k be h*-3*3/(-9). Which is smaller: 3/5 or k?
k
Let v be (-66)/8*10/3. Let g = -27 - v. Let h = -1 + 1. Which is bigger: h or g?
g
Let n be 9/(1260/(-416)) + 3. Which is greater: 0 or n?
n
Suppose 9 - 26 = -j. Suppose 5*t + 36 = 4*l, 3*t + j = 2*l - 5. Which is smaller: t or -6?
t
Let n = -5 - -7. Let d(k) = 7*k**3 + 7*k**2 - 8*k**3 + 0*k - 6 + k. Let m be d(7). Which is greater: n or m?
n
Suppose v + 13 = -2*c, 0*c = -5*v + 4*c - 135. Let y = -28 - v. Is y at least as big as -4?
False
Let v be -4*1/(-2) - 2. Suppose 5*w = -u - v*w - 10, -u - 3*w - 4 = 0. Suppose 3*g = -4*k - 0*g + 26, -3*k - 2*g = -19. Is k > u?
False
Let f(o) = o**2 - 11*o + 4. Let n be f(10). Let i(g) = g**2 + 4*g - 8. Let w be i(n). Suppose 3*p - 7 + 0 = -w*b, -2*p = -2. Are 1 and b unequal?
False
Let d = -13 + 11. Which is smaller: d or -1?
d
Let o(r) = -r**2 - 10*r - 9. Let u be o(-9). Do -1/48 and u have the same value?
False
Let u(m) = 9 + 7*m + m**2 - 2*m**2 + 2*m**2. Let y be u(-6). Let k be (y/(-10)