 -4*i + 1277 = 3*d, -2*d + 2*i = 4*i - 848. Let r = d + -2087/5. Is 3 <= r?
False
Let l be (-224)/(-552) + 4/(-6). Which is smaller: 1 or l?
l
Let m = -0.0497 - -25.1497. Let n = 24 - m. Let r = n + 1. Which is bigger: r or -2/3?
r
Let o = 1238 - 1225.14. Let t = o - -0.14. Which is greater: 0.1 or t?
t
Let n = 2.6 - 5.6. Let y = -2.9 - -3. Which is bigger: n or y?
y
Suppose -21*d - 30 = -26*d. Is d at least as big as 5?
True
Let y = 7 + -4. Suppose -3*h - 2*q - 2 = y*q, -7 = -2*h + 5*q. Let x = -134 + 133. Which is smaller: h or x?
x
Let f = 1 - -2. Suppose -37 = -p - 38. Does p = f?
False
Let f be 12/(-10)*(-2 - 45/(-10)). Let h be 3/((-1)/(1 - 0)). Does f = h?
True
Let f = 16 + -63/4. Let g = 77 - 78. Which is bigger: f or g?
f
Let g = -4361 - -39287/9. Which is smaller: 3 or g?
3
Let k = -0.05 - -1.05. Let u = -2 + k. Which is smaller: u or -2/9?
u
Let v = -15 - -16. Which is bigger: v or -27?
v
Let x be ((-12)/5)/(2/(-10)). Let w = 16 - x. Is 4 > w?
False
Let j = 1 + -1.1. Let x be ((-5)/(-50))/((-2)/8). Which is greater: j or x?
j
Suppose -1 = r - 4. Let c be (-4)/6*(0 + -3). Let u be (c + (-2)/(-2))/r. Which is bigger: -1 or u?
u
Let w = 4961/29 + -171. Is w not equal to 0?
True
Let g be (-4)/(-6)*1*-3. Let h be 4*g/44*1. Suppose 0 = 4*y + 4*p - 20, 11 = -5*y + p + 3*p. Which is smaller: h or y?
h
Suppose 0*k - 5*u - 25 = k, 20 = 3*k - 4*u. Let d = -42/295 + 61989/6490. Let l = d - 19/2. Which is smaller: k or l?
l
Let o(l) = l**2 + 10*l - 2. Let g be o(-10). Let w be 3 - (g/3 - -2). Which is smaller: w or 0?
0
Suppose -b - 2 = -2*b. Let c be (1/b)/((-1)/4). Let q be 4/(-14) + c/(-56). Which is smaller: q or 2?
q
Let c = 367600/121 - 3038. Which is smaller: -1 or c?
-1
Let t = 2 + -1. Let y = -2 + -1. Is t > y?
True
Let n be (-12)/(-8)*(-1)/(-3). Which is smaller: n or 0?
0
Let c be ((-2)/(-32))/(5/30). Let g be ((-28)/21)/((-2)/3). Let z be (-1)/(g/(2/(-1))). Is z >= c?
True
Let l = -183 + 99. Which is smaller: -83 or l?
l
Let d be ((-1)/(-3))/(-5 - 16/(-3)). Which is smaller: -1/156 or d?
-1/156
Let n = 24 + -4. Suppose -2*w + n = 2*w. Which is smaller: 4 or w?
4
Suppose -13*h + h = 12. Is h at most as big as 0.3?
True
Let l = 3.014 - 0.014. Does 7/3 = l?
False
Let l = 1 - 265. Let w be 2/15 - l/(-630). Which is bigger: w or 6?
6
Let r = -0.16 + -0.18. Let c = r - -0.04. Are c and 1/2 equal?
False
Suppose -90*l = -92*l - 4. Which is greater: -11 or l?
l
Let c be (-609)/201 + (1 - -2). Let h = c + -63/134. Let n be (0/1)/(1 - -1). Which is smaller: n or h?
h
Let c = -141 + 137. Which is bigger: -1/5 or c?
-1/5
Let f be (2*6/3)/4. Is f at most as big as 3/5?
False
Let p = 4/35539 + 11885253/35539. Let j = p - 335. Is j at least -2?
True
Let c = 14 + -40/3. Let v = -17.8 - -2.8. Let n = -14 - v. Is c greater than n?
False
Suppose w - 13 = -5*z - 2, w + 4 = 0. Let n = 9 - 5. Is z <= n?
True
Let x(q) = q**3 + 4*q**2 - 4*q + 1. Let l be x(-5). Suppose 4*g + 6 = 2*g. Is g < l?
False
Let q(u) = -u**3 - 6*u**2 - 4*u + 6. Let z = 1 + -6. Let f be q(z). Are -2/45 and f equal?
False
Let s = -1 + 2. Suppose -m = -5*g - 22, 5*m + 3*g - 23 = -g. Let j = -5 + m. Is j > s?
True
Let c = -8 - 1. Are -9 and c equal?
True
Let b = 21/2 + -65/6. Let f(g) = -6*g**2 - g. Let z = 3 - 4. Let j be f(z). Is j bigger than b?
False
Suppose i + 4*z - 1 = 0, i + 5*z - 3 = 3*z. Suppose i*n = -4 + 9. Which is bigger: 2 or n?
2
Let x be (-4*2/(-8))/(-2). Which is smaller: 0 or x?
x
Suppose -2*t = -j + 8, 3 + 3 = 2*j - 2*t. Let q = 3.9 - 0.9. Which is bigger: q or j?
q
Suppose -4*y + 117 - 1022 = 5*n, -5*n - y - 905 = 0. Let g = -100 - n. Let o be g/(-30) - (-2)/10. Which is greater: -2 or o?
-2
Let t = 5 + -7. Let i be -2*(-5 + 22/4). Which is smaller: i or t?
t
Suppose 0*p = 4*p + 4. Let z be -3 - (0 + 2)*-1. Does p = z?
True
Let f(a) = -a**3 + 8*a**2 - 12*a - 15. Let x be f(5). Is -1/21 at most as big as x?
True
Let a be 52/3 + (-2)/6. Is 19 at least as big as a?
True
Suppose -2*y = -4*n - 26 + 8, -3 = -y - 4*n. Let g = -11 - -18. Is y < g?
False
Suppose 6*q - q - 5 = 0. Suppose 3*g = -3*y + 12, -2*y + 3 = -g + q. Suppose 2*b = -5*t + 19 + 7, -y*t = -b - 5. Do b and 2 have the same value?
False
Let w = -97.7 - -113. Let i = w + -16. Let p = i + -0.3. Is p greater than -0.2?
False
Let c be 8/16*(9 - 1). Suppose 2*u + 8 = c. Is 0 not equal to u?
True
Let j = 9 + -9. Suppose -4*d + u - 3 = j, -2*d - 4*u + 12 = d. Which is smaller: d or -1/2?
-1/2
Let b = 314 + -312. Let d = -0.1 + 0.1. Which is smaller: d or b?
d
Let l be (14/63)/((-4)/6). Which is smaller: 1/7 or l?
l
Let n = 0 + 6. Suppose -v = -3*v + 8. Let i be v/6*(-3)/n. Which is greater: 0 or i?
0
Let g(i) = i**2 + 15*i - 34. Let c be g(-17). Which is smaller: -4/33 or c?
-4/33
Let w be (-3)/1*(-4)/6. Suppose -w*t - 2 = -0*t. Let q = 1356/7 - 194. Is t equal to q?
False
Suppose -17 = 4*b - 3*n + 43, -2*n + 44 = -3*b. Let o be 16/(-40) + b/(-5). Is o not equal to 2?
False
Suppose -k - m - 14 = k, -4*k - 5*m - 40 = 0. Let z(g) = -g**3 - 5*g**2 + g + 5. Let q be z(k). Is q smaller than -1/4?
False
Suppose -2*r = -0 + 2. Suppose -12 - 12 = 3*i. Let y(c) = c**3 + 7*c**2 - 6*c + 14. Let z be y(i). Are z and r non-equal?
True
Suppose -n + 3*n = 2. Is 20/9 <= n?
False
Suppose -2*n - 16 = p + 4*p, 19 = -5*p - 3*n. Let d be p/(-1)*2/12. Does -1 = d?
False
Let d = -41 + 91/2. Let i = d - 14/3. Which is bigger: i or -1?
i
Let b(y) = y**3 - 8*y**2 + 7*y + 1. Let w be b(7). Suppose -c = -2*c - w. Let t be c*1*3/(-3). Is t equal to 0?
False
Let b(g) = g**2 + 11*g + 1. Let a(v) = v**2 + 10*v + 2. Let m(h) = -3*a(h) + 2*b(h). Let s be m(-6). Let o = s + -10. Is o less than or equal to -1?
True
Let l = 1 + 3. Let f(r) = r**2 - 15*r + 19. Let n be f(14). Let u = l - n. Is -1 bigger than u?
False
Let h = 32 + -36. Which is smaller: h or -10?
-10
Suppose -1 = p + 5. Let o = p - -7. Which is bigger: o or -1?
o
Suppose 13*k - 18*k = -480. Is k != 96?
False
Let f(k) = -k**3 - 2*k**2 + 2*k - 4. Suppose 0*u - 4 = -u. Suppose u*n - 5*n = 3. Let h be f(n). Which is smaller: h or 0?
h
Suppose 4*n = 8 + 4. Suppose -s = n*m, 3*m = s + 2 + 4. Are m and 1 equal?
True
Let d(n) = n**3 + 4*n**2 + 3*n. Let s be ((-9)/(-6))/((-3)/4). Let v be d(s). Suppose -v*k = k. Is k greater than or equal to 2?
False
Let i be (-36)/(-45)*1*5. Suppose -13 = -3*w + 2*h, -w + 2 = i*h + 7. Let r = -3 - -5. Is w bigger than r?
True
Let t(u) be the first derivative of -u**3/3 + 11*u**2/2 + 3. Let f be t(11). Is -4/7 equal to f?
False
Let y be -3 + 1 - 20/5. Let k be -1 - (0 + y/3). Suppose 5*a - 2*o = 11, -a + 14 + 2 = -5*o. Is a greater than k?
False
Let k be (6 + -5)/(2/12). Suppose k*h - 12 = 2*h. Suppose -3*y = b - 4, 0 + 5 = h*y + 2*b. Which is greater: y or 2/3?
y
Let l = 7 - 10. Suppose -3*r - 2*r = -2*t - 20, 0 = -r - 5*t + 31. Suppose 2 + r = -2*i. Which is greater: l or i?
l
Suppose 0 = -3*n + 51 - 3. Is n greater than or equal to 15?
True
Let q = -175/11 - -16. Which is greater: -1 or q?
q
Let t be 1*10*3/6. Suppose -4*s - 175 = 4*n + 45, t*s = -2*n - 275. Let f = 331/6 + s. Which is smaller: 0 or f?
0
Let y = -0.1 - 0.2. Let j = y - -0.4. Suppose -4 = 2*b - 0. Which is smaller: b or j?
b
Let h = -12 - -12. Let j = h + 0. Which is bigger: 2/15 or j?
2/15
Suppose -5*h - 4 + 24 = -3*y, -y - 3*h - 2 = 0. Suppose 24 = -3*g + 2*g - 5*t, -g + 2*t = -4. Which is smaller: y or g?
y
Let c = -439/9039 - -2/393. Let a = c - -27/92. Which is smaller: a or -8?
-8
Suppose 4*n + 48 = -5*x, 2*n = 3*n + x + 11. Is n greater than or equal to -1?
False
Let l(j) = j**2 + 4*j + 4. Let z be l(-4). Let p = z + -5. Is p >= 1?
False
Suppose 4*a - 4*u + 8 = 0, 9 = 2*a + 3*u + 3. Suppose -2 = 2*s - a*s. Let x be 1 + 2/((-12)/10). Which is greater: s or x?
x
Let j(v) = -2*v - 1. Let r be j(-2). Let h(i) = i**2 - 11*i + 12. Let s be h(10). Which is greater: r or s?
r
Let w = -5 + 1. Let d(u) = -2*u - 5. Let a be d(w). Let b(z) = -z**3 + 4*z**2 + 6*z - 1. Let f be b(5). Do a and f have the same value?
False
Let h = 21 + -65/3. Which is smaller: -1/2 or h?
h
Suppose 3*d - 16 = -4*x, 4*d - x - x + 8 = 0. Suppose -2*c = -d*w + w, 3*c = -w + 1. Let u = -148/3 + 442/9. Which is smaller: c or u?
u
Let r = 0.5 - 1.5. Let i = r - 0. Let f = -0.8 - i. Which is bigger: 1/4 or f?
1/4
Let u = 49