-2.12 + -2.79. Let d = i - b. Which is smaller: 2/5 or d?
d
Suppose 2*c + 5*d = 16, 3*d + d = c + 5. Let z(i) = 2*i - 1 - 6*i + i + i**2. Let p be z(c). Which is smaller: 1/22 or p?
p
Let k = 2.99 - 1.99. Which is greater: -25 or k?
k
Let a = 9 - 7. Let u(m) = -3*m - 1. Let y be u(1). Let t be (1 - (-140)/(-128))*y. Is a bigger than t?
True
Suppose t = h - 3 + 13, 4*t = -4*h - 8. Let u(m) = m**2 - 3*m - 1. Let f be u(2). Are f and h nonequal?
True
Let h be 33885/132 + 2/8. Let b = 89 - -168. Let k = h - b. Which is smaller: 0 or k?
k
Let s(o) = -2*o**3 - 3*o**2 - 3*o - 17. Let m be s(-3). Let d = -2 - -3. Suppose -2*t + 37 = q - 2*q, 0 = q - d. Is m > t?
False
Suppose 36*m = 9 - 117. Is -60 >= m?
False
Let n = -5.2 - -1.2. Let d be 115/2 + (-13)/(-26). Let k be d/(-56) + (-15)/(-20). Is n greater than k?
False
Let u = -286 - -278. Which is bigger: -1/7 or u?
-1/7
Let z be 15/(-5) + (-3 - -1) + -3. Let u be (z + 91/14)/(9/4). Let a be 2/(-4) + (-1)/(-2). Is a greater than or equal to u?
True
Suppose 5*l = -2*l - 469. Is -65 > l?
True
Suppose -f - 109 = -2*p, p = -9*f + 4*f + 49. Suppose 211 = 4*a + 5*k, -26 = -5*a - k + 243. Is p < a?
False
Let j = 493/356 - 12/89. Which is greater: 5/16 or j?
j
Let i = -77.2 - -77. Are 0 and i non-equal?
True
Let a = 36.47 - 37. Let x = a + 0.53. Which is greater: -11 or x?
x
Let w(v) = -v**3 - 7*v**2 - 7*v - 13. Let y be (-3)/(-9)*-4*9/2. Let d be w(y). Is -8 less than d?
True
Let r = 115 + -441. Which is bigger: 1 or r?
1
Let h = 3.7 + -6.7. Let y = 0.04 + 0.05. Let q = y + -0.09. Which is bigger: q or h?
q
Let p be (-96)/(-24) - (-3 - (-102)/22). Is -2/11 >= p?
False
Let l(z) = -z**3 + 9*z**2 + 5*z - 3. Let f be l(9). Let j = f - 1136/27. Which is greater: 0 or j?
0
Suppose -2*k + 2 = 4. Let b be -1 - k - 2/2. Let g = b - -1. Is g smaller than 2/23?
True
Suppose -3*f - 2 = 1. Let p be 1/((-285)/925) - -3. Let k = p - 8/19. Is k bigger than f?
True
Let t(p) = p + 6. Suppose x + 16 = -x + 2*z, 0 = -3*x - z - 12. Let l be t(x). Is l smaller than -2/65?
False
Suppose 0 = -3*u - 2*v - 26, 2*v - 24 = u - 2. Let f = u + 15. Suppose 4*m + l = -4, -f*l + 0*l - 4 = 4*m. Is -1/2 > m?
True
Suppose -a - a = -6*a. Let r = 0.9 - 1.4. Let q = -1 - r. Do a and q have the same value?
False
Let p = -146.89 + 146. Let w = p - -0.85. Which is smaller: w or 0?
w
Let o be (-22)/(-10) + -12*1/4. Is o equal to -15/13?
False
Suppose 0 = -2*r + 4*z - 18, 0*z + z + 6 = -r. Let x be (-11)/(-44) + (2 - (-434)/(-8)). Let s = x - -44. Which is bigger: r or s?
r
Let s = 128 - 151. Let w = -22.84 - s. Is w >= -0.2?
True
Let c = -2962 + 35569/12. Which is smaller: 3 or c?
c
Let s = 1095 + -1077.3. Which is bigger: 2 or s?
s
Let v = -45 - -50. Suppose 4*a - 4 = 0, -3*a - 2*a + v = -2*y. Let j = 20 + -14. Is y != j?
True
Let a be (-2208)/(-15) + 9/(-45). Let g = -75 + a. Which is smaller: 73 or g?
g
Suppose -57*p + 62*p = -1085. Is p at least as big as -218?
True
Let k = 3.5 + -4.5. Which is smaller: k or 5/14?
k
Let i be -5 + (9/(-21) - 6/(-1)). Which is bigger: -12/11 or i?
i
Let z = 12/65311 - -15346897/6465789. Let k = -23/9 + z. Which is greater: 2/5 or k?
2/5
Let x(d) = 5*d**2 - 2*d - 8. Let c be x(-4). Which is smaller: 0 or c?
0
Let x = 0.17 + -0.06. Let d = x + 1.69. Let h = d + -1.9. Which is smaller: h or -0.3?
-0.3
Let z = 2489 - 2489. Which is smaller: -15/7 or z?
-15/7
Let p(g) be the first derivative of -g**3/3 + 5*g**2/2 - 7*g + 7. Let b be p(4). Are -4 and b equal?
False
Let u = 9 - 4. Suppose 51 - 6 = 9*l. Suppose u*b - l*s + 1 = 3*b, 4*b - 2*s + 10 = 0. Is -2 greater than or equal to b?
True
Let b be (-4)/(4/(20*-2)) - -3. Which is smaller: b or 44?
b
Let v = -1196 + 1198. Which is greater: v or 246?
246
Suppose 3*h + 18 = h. Let c = -200 + 192. Which is greater: h or c?
c
Let r = 49 - 58. Let i = -0.8 + 4.8. Let c = r + i. Is c at most as big as -4/5?
True
Let c = -2477 + 2477. Let l be 7/(-3) - 2/3. Which is smaller: c or l?
l
Let l = 69.2 - 11.2. Let i = l + -58. Which is bigger: 0.6 or i?
0.6
Let t be -33*(-21)/90 + 30/(-25). Which is greater: 3 or t?
t
Suppose 4 = -2*n + 3*n. Suppose n*b + b = 0. Let x be -26 + 25 + (-13)/(-11). Is b <= x?
True
Let c be (-1)/(1/6) + 42*(-17)/(-102). Let r be (-4)/(-3)*18/16. Is c greater than r?
False
Let r be -4 + (-3 - 17740/(-3324)). Let i = 1/277 - r. Which is greater: i or 1?
i
Let q be ((-81)/(-30) - -2)*-4. Are -18 and q equal?
False
Let v = -41 - -43. Let y be 12/12*(v - 1). Which is bigger: y or 3/19?
y
Let s be 1/2 - 6279/12742. Which is smaller: 1 or s?
s
Let n(a) = -7*a + 34. Let c(t) = t - 1. Let p(f) = 5*c(f) + n(f). Let k be p(15). Let l = 1 + -1. Is k equal to l?
False
Suppose -2*v + 8 = -m, m - 3*v + 10 = -1. Let o be (-8)/24*(m - (-8)/(-3)). Do o and -0.1 have different values?
True
Let y = 14 + -12. Let c = y - 0.2. Let p = 0.8 - c. Which is greater: p or 3?
3
Let r = 2271 - 1918. Is 353 less than r?
False
Let u = -238 - -133. Let q be (-10)/25 + (-67)/u. Is 0 bigger than q?
False
Suppose -4*i - 2118 = 174. Which is smaller: -572 or i?
i
Let b(o) = -2*o + 22. Let m be b(20). Let h = m + -16. Is h > -34?
False
Suppose -34 = -2*s + 5*d - 4, 0 = -5*s + d + 98. Let v = s + -20. Let a be 33/(-9) + (v - -1). Is a != -4?
True
Let a be (57/(-190))/((-177)/(-4)). Let y = -2083/2655 - a. Which is smaller: -1 or y?
-1
Let g be 15/6 + (-5)/(-10). Suppose 4*p - 7 = p + 5*z, 2*p - 11 = -g*z. Suppose p*j + 22 = 6. Which is greater: j or -5?
j
Let g be 13694/(-66) - 12/(-18). Let k = -207 - g. Which is smaller: 0 or k?
k
Let s be 4/(-18) + (-160)/9. Suppose 4*f + 10*i - 14*i + 80 = 0, i = -3*f - 48. Let n = f - s. Which is bigger: n or 2/7?
n
Let f(c) = 5*c**3 - 15*c**2 + 6*c**2 + 1 + 7*c**2. Let x be f(-1). Is -5 >= x?
True
Let m = -216 - -285. Which is greater: m or 66?
m
Suppose -4*b + 6*b - x - 3 = 0, b - 3*x + 1 = 0. Suppose -5*v - b*v = -0*v. Is -0.084 at least v?
False
Let o = 605.6 + -606. Which is greater: o or 79?
79
Let q(v) = 3*v + 5. Let c be q(-9). Let i(z) = -z**3 - 7*z**2 + 14*z + 26. Let o be i(-8). Is c > o?
False
Let k = -31.21 - -31. Let l = -0.11 - k. Let p = -0.1 - -0.1. Which is bigger: p or l?
l
Suppose -4*q + 130 = -3*a, -5*a - 3 = 7. Let j = -28 + q. Let o be (-64)/(-62) - j/3. Is o <= -1?
False
Let m = 426 - 427. Is -2/39 smaller than m?
False
Let r(o) = o**2 - 18*o. Let n be r(18). Are -1/547 and n equal?
False
Let g = -166 - -1158/7. Let p be (-2 - -6)*(-3 - -4). Suppose 0 = 5*w - p*w + 4*o + 18, 0 = 2*w + 5*o + 24. Is w at least as big as g?
False
Let n be 10/15 - 248/(-6). Let o be (-7)/n - (-134)/(-60). Which is smaller: -3 or o?
-3
Let g(d) = 25*d**2 - 2*d + 1. Let j be g(1). Suppose -5*u + 0*u + 35 = -3*n, 4*n + j = u. Suppose -4*h - p + 10 = -0*p, -p = h - 4. Does h = u?
False
Let a = -14 + 8. Let d be (1 - -3)*(-56)/32. Let m = -12 - d. Which is greater: a or m?
m
Let s = 109 - 218. Let m = 109 + s. Is -0.11 >= m?
False
Let a = -0.21 + 45.21. Let l = a - 44.8. Is -8 at most as big as l?
True
Suppose 2*m = 3*d + 3, 2*d + 4*m - 1 = -3. Let u(l) = -l**3 - l - 1. Let b be u(d). Is 3 smaller than b?
False
Let c be 4 + (-7 - ((-3 - -2) + -3)). Let z be (-9)/(-17) - (-4)/(-8). Which is greater: c or z?
c
Let i be 4/(-22) - 1224/(-2860). Let g = 24/13 - i. Suppose 2 = 3*m - 2*m. Which is bigger: g or m?
m
Let i = 40 - 35. Suppose h - 8 = -6*t + 5*t, -2*t + i*h = -9. Which is bigger: t or 8?
8
Let j(x) = -36*x**2 - 2*x + 3. Let m be j(3). Which is greater: m or -330?
m
Let v be 4 - 3/3*1. Let l(m) = 4*m - 3 - m**v - 3*m**2 + 2 + 3. Let b be l(-4). Is b < -1?
False
Let m = -1.38 - -0.09. Let l = 2.38 + m. Let p = 0.09 - l. Are 0.3 and p non-equal?
True
Suppose -1 = -j + 1. Let u be (j/(-108))/((-2)/4). Let n(k) = k**2 - 7*k - 31. Let d be n(10). Which is smaller: u or d?
d
Suppose 0 = -2*a - 5*h - 1411, 2458 = -3*a + 3*h + 289. Is -718 > a?
False
Suppose -c - 3*w - 55 = 66, -516 = 4*c - 4*w. Is c <= -127?
True
Suppose 3*i + 3 = -0*i. Let m be (1 + i)/(-2 - -1). Suppose m*j = j. Which is greater: 2/11 or j?
2/11
Let v = -565 - -599. Which is smaller: v or 30?
30
Let y(p) = -3 + 17 - 6 + 9*p + 26. Let n be y(-4). Is n > -24/11?
True
Suppose 4 - 1 = k. Let z be 112/(-24)*3/(-5). Which is bigger: z or k?
k
Let v(p) = -p**2 - p - 19. Let g be v(7). Let s be 