Let l = 1 - -3. Suppose 4*f = f + s, -2*f + 2*s = -l. Is f != -1?
False
Let s = -0.01 + -0.02. Let i = s - 0.07. Let x = 81 - 727/9. Which is smaller: x or i?
i
Let i = 3 + -6. Let l = -0.02 - -4.02. Let w = i + l. Which is bigger: w or 3?
3
Let r be (1/90)/(1/484). Let i = r - 52/9. Are i and 0 equal?
False
Let a be (-1 + (-497)/(-539))*(7 + 0). Is -2 < a?
True
Let x be 2 - 2*15/12. Let r = -5 - -6. Are x and r equal?
False
Suppose -2*p - 2 = a, -p - 7 + 1 = -2*a. Let i be (-5)/p*20/125. Let l(v) = -v - 5. Let u be l(-6). Is u at most i?
False
Let v = -24 + 24.1. Is -5 > v?
False
Let w = -27 + 245/9. Let o = -2 + 3. Is o not equal to w?
True
Let i be -1 + 15/12 - 0. Suppose 0 = 3*m - 4*b - 20, 0 = 9*m - 5*m + 2*b + 10. Which is smaller: i or m?
m
Suppose 13 = -2*s + 3*u, 4*s - 5 = 2*s - 3*u. Let y be (s - 34/(-20))/(-3). Which is bigger: y or 1?
1
Let w = 0 + 0. Let z = 1 - -8. Let k = z + -9.3. Is k less than or equal to w?
True
Let f = 33 + -23. Suppose -4*k + 25 = 5*s - f*s, 26 = -s + 5*k. Is -7/3 greater than s?
False
Suppose 2*j + f = 2*f + 2, 0 = 3*f + 12. Let p be j + 5 - 1*2. Suppose -k - 2*i + 3 = -0*k, 0 = 4*k + 2*i - 12. Is k at least as big as p?
True
Let k be 88/(-33)*1/(86/3). Which is greater: 0 or k?
0
Let b be (-6)/4*(-28)/189. Which is smaller: -0.03 or b?
-0.03
Let s = -3 - -5. Suppose -s*u + 9 = -5*h, -u + 5*h = -5 - 2. Suppose -r = u*r. Which is bigger: r or 2/11?
2/11
Let l be (-24)/2*(-2)/(-3). Let s be (-5 - -1) + (l - -7). Let q be 0 + s/(55/2). Which is smaller: -1 or q?
-1
Let l = 7 + -8. Is l at most -3/8?
True
Suppose -5*r - 1 = 9. Let i be 2/(-4)*r/(-1). Let s be 2 - -2 - (-33)/(-9). Which is greater: s or i?
s
Let a = 6/13 - 37/52. Let y be (12/(-30))/(11/(-5)). Does a = y?
False
Suppose 7 = -0*d + d + h, -3*h = 2*d - 10. Which is bigger: 9 or d?
d
Let d be (3 + -3)/3 + 26/(-7). Is -5 <= d?
True
Let l be (6/8)/((-5)/(-20)). Suppose -g + 2*i = 2, 0 = g + 3*g + 2*i - 42. Which is bigger: l or g?
g
Let r be (-135)/18*72/10. Let n = r + 217/4. Suppose 0*m + 2 = 2*m. Which is smaller: n or m?
n
Let n(i) = i**2 + 5*i + 2. Let q be n(-5). Suppose q = -0*s + 2*s. Is 1 < s?
False
Suppose 0 = -2*m - 2*m + 20. Suppose 3 = 2*i - m. Which is smaller: i or 5?
i
Let r = 212979/7 - 30649. Let o = r + 223. Are -1 and o nonequal?
True
Let i be 0/(1 - 3) + (4 - 1). Let u be (-70)/(-12)*(-9)/(-30). Which is smaller: i or u?
u
Let j = 10 + -13. Suppose -2*b - 2 = -6. Let s = b + j. Which is bigger: -6/11 or s?
-6/11
Let h(z) = -z - 2. Let d be h(-2). Let g be (3 + -2 + d)*0. Suppose -c = -g*c. Is 2 bigger than c?
True
Let g be 3 + (2 - 4) + 4. Suppose o = 3*o + 4*v + 10, -5*o = g*v. Let r = -12 - -18. Is r != o?
True
Let g = -23 + 1. Which is smaller: g or 0.3?
g
Let o be 22/8 + (-3)/(-12). Let g(x) = x**3 - x**2 - 3*x + 3. Let m be g(o). Suppose 0 = 3*i + i + m. Is -3 != i?
False
Suppose 3*h + 10 = -5*q + 1, 6 = 3*h. Let k = -5 + 4. Is q equal to k?
False
Let b(h) = -h**3 + h**2 + 2*h + 1. Let o be b(-2). Is o at least as big as 10?
False
Let u(l) = l**3 - 5*l**2 - 7*l + 2. Let q be u(6). Suppose 0 = -3*w - 6, 7*w - 2*w = 4*h + 2. Which is smaller: h or q?
q
Let b be (-6)/45 - (-2 - -1). Let h = -89/120 + b. Suppose 16 = -l - 2*j - 3*j, 4*j = -2*l - 14. Which is smaller: l or h?
l
Let c(a) = -a**2 - 6*a - 4. Let h be c(-4). Suppose u = -v + 4, 3*v - 5 = -2. Is u != h?
True
Let p(a) = -32*a + 3. Let c be p(5). Let q = 782/5 + c. Let i = -2.1 - -2. Which is smaller: i or q?
q
Let r be ((-9)/(-3))/(-3) + 1. Suppose 0*b - b = r. Is b smaller than 4/5?
True
Let m be -2 - -2*(-33)/(-6). Is m at most 8?
False
Let u = 0.24 + -1.24. Which is smaller: 3/4 or u?
u
Suppose -s = 2*x + 3*x - 8, -3*x - 5*s + 18 = 0. Let c = x - 1. Suppose -r - r = c. Which is smaller: -2/23 or r?
-2/23
Let a be (3/(-5))/(1/(-5)). Suppose -3*b - 4*h + 2 = 0, -a*b - 3*h = -8*h + 16. Let d be (-1)/(-4) - b/(-8). Which is bigger: -3/11 or d?
d
Suppose 0*x + 5 = -5*x. Let n be x + -2*(-2)/12. Which is smaller: n or -2?
-2
Let u = 2.8 - 3. Let p = u - -0.3. Let n = -6 - -5. Is n bigger than p?
False
Let n be ((-6)/60*-5)/(9/(-4)). Let o = 0 + -1. Is o bigger than n?
False
Let r be 2/6 + 40/120. Let t be -5*3*(-2)/(-15). Let x be (1*(t - -1))/(-1). Which is smaller: r or x?
r
Let q be 6/5*(-50)/(-15). Let j = 7 - q. Which is bigger: j or 2?
j
Let f be (-2)/16*-46 - 3. Let k = f + -13/4. Suppose 0 = 2*i - 3*i. Which is bigger: i or k?
i
Let n be (-15)/(-6) + 2/(-12). Let m = 26/15 - n. Let v be 5/(-2)*8/(-50). Which is bigger: v or m?
v
Let m(v) = v**3 - 2*v**2 + 2*v - 2. Let z be m(2). Suppose -q = 3 - z. Let g = -2 - q. Which is smaller: g or -1/3?
g
Let u be (3/9)/((-1)/(-18)). Let o be 14/6*(1 + 2). Does u = o?
False
Suppose 3*w = 13 + 5. Let i be ((-2)/w)/(6/6). Let f = -0.1 - -0.3. Which is smaller: f or i?
i
Let i(f) = f**2 + 8*f + 4. Let z be i(-8). Let q = z - 6. Let a = q - -1. Is a at most as big as -1/4?
True
Let c(i) = 0 - 1 + 4 - 2*i + 0. Let p be c(4). Is -5 at least as big as p?
True
Let s(z) = z**2 - 3*z. Let x be (-1)/3*(-1 + -8). Let d be s(x). Suppose -3*m - 2*m = d. Does -2 = m?
False
Suppose -7*k = -0*k + 154. Is k not equal to -21?
True
Let s = -1 - -2. Let b = s + -2. Suppose -2*p + 3*p = 0. Is p > b?
True
Let j = 8 + -17. Let h be (-9 - j) + (-4)/6. Is 2/9 greater than or equal to h?
True
Suppose a - 5*n = -4, -6 + 5 = -2*a + n. Is -2/7 > a?
False
Let m = 5 + -4. Let l be (-734)/696 + m/4. Let x = -4/29 - l. Which is greater: 2 or x?
2
Let f = -57/182 - 3/26. Which is smaller: f or 0.1?
f
Suppose 0 = 4*t - 0*t. Suppose -2*s + t*s = 6. Which is smaller: -1 or s?
s
Let m = 99.959 + -100. Is 0.1 < m?
False
Let x = -137/5 + 984/35. Are 2 and x equal?
False
Let w be 1*(9 - 0 - 2). Let g be ((-3)/w)/(4/(-14)). Is 2 at most g?
False
Let g(d) = -d**2 + 2*d - 2. Let s be g(5). Let k = s - -9. Which is greater: -5 or k?
-5
Let a(z) = 13*z**2 + z. Let q be a(1). Suppose -4*p - g - 1 + 0 = 0, 2*p - 4*g + q = 0. Is p <= -1?
True
Let v be (-1)/2*(0 + -58). Let d = -1 + v. Let f be 8/d - (1 - 1). Which is smaller: 1 or f?
f
Let q = -63 + 43. Let f = 14 + q. Let g(b) = b**2 + 7*b + 7. Let p be g(f). Which is bigger: -2/5 or p?
p
Let f(g) be the second derivative of -g**3/6 + 7*g**2 + 5*g. Let k be f(5). Which is smaller: 8 or k?
8
Let k be (-16)/8*98/(-4). Is 48 greater than k?
False
Let t = 7.7 - 8.7. Which is smaller: 9/2 or t?
t
Let c = -0.19 - 0.91. Let r = -1 - c. Let d = 0.1 - r. Is -2 less than d?
True
Suppose -5*f - n + 100 = -6*n, -5*f = -4*n - 96. Let x = f - 7. Is x less than 9?
False
Let b(f) = -2*f**2 - f + 1. Let y(s) = 3*s**2 + 3*s - 2. Let g(o) = -5*b(o) - 3*y(o). Let c be g(4). Let h(q) = -q + 1. Let a be h(c). Which is greater: a or 1?
1
Suppose 2*w - k - k - 10 = 0, 2*w = -3*k. Let t be (w/(-2))/(9/(-12)). Suppose 2*q + 5*a - 18 = 11, t*a = 5*q. Does 2 = q?
True
Let h = -6 - -4. Are h and -1 non-equal?
True
Suppose -4*r + a + 199 = 0, 3*a + 71 = 2*r - 36. Is r not equal to 48?
True
Let m be -1 + (-2 - -8 - 0). Suppose 4*x - 8 = -5*u, x + m*u = -0*x + 17. Is -2 at most as big as x?
False
Let p(q) = q**3 + 8*q**2 - 9*q + 3. Suppose -2*t = 5*j + 28, -5*t - 3*j = -18 + 69. Let g be p(t). Which is smaller: g or 4?
g
Suppose 2*i - u = 2 + 1, 0 = -4*i - 4*u - 24. Let o = 5 + i. Is 3 greater than o?
False
Suppose 0 = 12*j - 9*j. Let c(i) be the first derivative of -i**3/3 + 2*i + 1. Let w be c(j). Is w greater than 2?
False
Let g(q) = -3*q**2 + 7*q + 2. Let n be g(6). Let h be (-2 + -1)*n/(-24). Let o be (h/(-3))/((-7)/3). Which is bigger: -2 or o?
o
Let x be ((-4)/6)/((-4)/18). Suppose 0 = -2*j + 5*d - 4*d - 3, 0 = -3*j + x*d - 6. Which is greater: j or -3/8?
-3/8
Let c be 4933/13290 + (-2)/(-12). Let f = 2/443 - c. Let b = f - -1/3. Which is bigger: 1 or b?
1
Let g be (2 - -4)/1 + -1. Suppose -g*o = -o. Do o and -1/35 have the same value?
False
Let r = 17 - 12. Suppose 7 = -3*g - r. Let y be -2*(12/(-45))/g. Are y and 1 unequal?
True
Let d be 2 + (-37)/(-6)*-2. Let a = 11 + d. Which is smaller: a or 1?
a
Let o = 6 - 6. Suppose -5*y = -2*y. Are o and y nonequal?
False
Let a = 0.45 - 0.25. Is a greater than 5?
False
Let u(a) = a**3 - 6*a**2 - 7*a - 7. Let r be u(7). Which is bigger: r or -8?
r
Let r = 21/2 - 285/26. Which is smaller: 0 or r?
r
Le