2*d. Let i be s(-1). Which is greater: -139 or i?
i
Let q = 23/120 - 10303/120. Let h = q - -85. Let x = 5 + -7. Which is greater: h or x?
h
Suppose 0 = -2*z - 4 + 18. Let v be (-2)/z + (-10506)/(-70). Let r = 149 - v. Are 0 and r unequal?
True
Let v(x) = -x**3 - 44*x**2 + 44*x - 42. Let t be v(-45). Is 21/11 < t?
True
Suppose -5*c - p - 71 = -c, -3*p + 110 = -5*c. Which is greater: c or -2/13?
-2/13
Suppose 6*c - 4 = 14. Let a be c*(26/(-10) + 2). Let t be ((-12)/(-10))/(14/(-35)). Is t at most a?
True
Let s = 94 + -92.75. Let f = s + -0.25. Let l = 5 - 2. Do l and f have different values?
True
Let v = 3.8 - 2.3. Let u = v - 1.1. Suppose 4*b - 2*k = -0*b - 14, 3*k + 1 = -5*b. Which is smaller: b or u?
b
Let y(r) = 27*r - 396. Let f be y(14). Which is smaller: f or -17?
f
Let i be ((-5)/2300)/(6/(-10)). Which is smaller: 0 or i?
0
Suppose 10*u - 4730 = -720. Which is smaller: 400 or u?
400
Suppose -44*w + 53*w = -540. Which is greater: -2/3 or w?
-2/3
Let n = 9 - 42. Let i be n/220*(-2)/6. Let q be -3 + -1 + (-16)/(-4). Is q >= i?
False
Let n = -22.4 - -0.4. Let f = -22.1 - n. Let p(c) = -c**2 - 8*c + 8. Let b be p(-9). Which is bigger: b or f?
f
Suppose 116*n = 82*n - 850. Do -29 and n have different values?
True
Let d = 3.62 + -0.72. Let u = 3 - d. Suppose -55*q - 90 = -25*q. Which is greater: u or q?
u
Let r(v) = -v**2 - 10*v + 40. Let u be r(-10). Which is greater: 3/4 or u?
u
Let n be -46*2/28 + 6. Which is bigger: 3 or n?
3
Let q = 0.319 - -4.565. Let c = q + 0.116. Which is smaller: -0.2 or c?
-0.2
Let u be (-432)/44*(-1)/3. Let d = 86/33 - u. Let x = -29 - -59/2. Which is smaller: d or x?
d
Let f(k) = k**3 + 6*k**2 - 10*k - 6. Suppose 5*m + 5*y = -40, 6 + 5 = -2*m + 3*y. Let i be f(m). Which is smaller: i or 14?
14
Let u be (-4)/((-28)/525) + 1. Do 80 and u have the same value?
False
Let t be 8/30 - 4/6. Suppose 5*v = -18 + 68. Let s = 11 - v. Which is smaller: s or t?
t
Let o = -0.77 + 6.07. Let n = -5.39 + o. Which is smaller: n or -2/9?
-2/9
Let d = 5 - 6. Let i = d - -1. Let g be 1*(i/(-3) - 0). Which is bigger: g or -2/3?
g
Suppose 614 + 640 = 38*g. Which is greater: 3 or g?
g
Let h = -60/809 + 17886/306611. Let w = 17097/2653 + h. Is w bigger than 7?
False
Let v = 173 + -274. Let k = 100.9 + v. Which is smaller: k or 0.35?
k
Suppose -105 = -23*r + 22*r. Let k = 1158/11 - r. Is 0 <= k?
True
Let q(k) = -k + 16. Let n be q(14). Suppose 4*y - 4 = 4*g, 2 = -4*y - n. Which is smaller: -4/5 or g?
g
Let f = 17.2 + -50.1. Let h = f - -33. Let l = -4 - -7. Is l greater than h?
True
Let h be 6/8*(-8)/2. Let v = 7 - -7. Suppose -v*g + 9 = -17*g. Is h greater than or equal to g?
True
Let b = -0.03 - -0.23. Let m = -34 - -35.74. Let n = m + -1.8. Which is bigger: b or n?
b
Let o(g) = -4*g**2 - 2*g - 2. Let f be o(-2). Let u be (7/f)/((-1)/6). Which is smaller: u or 9/5?
9/5
Let i be (-185)/74 - 41/(-2). Let h = 24 - 8. Which is smaller: h or i?
h
Let k be 18/8 + (12/16 - 1). Is k greater than 7?
False
Suppose -79 = 10*o + 421. Which is bigger: o or -49?
-49
Let q(c) = c**2 + 10*c - 4. Suppose 0 = -5*a + 41 + 59. Suppose -3*l = a + 13. Let i be q(l). Are i and 7 nonequal?
False
Let x be (-4)/14 - 40/56. Is x at least as big as -20?
True
Let p = 804 - 869.2. Let m = p - -65. Which is greater: m or 2/85?
2/85
Suppose 4*z = 3*z. Suppose 12 = 4*l - 4*h, 9*h + 10 = 7*h. Let r be (z - (4 + l))*1. Is r less than 2/11?
True
Let i = -195 - -196. Is i != -4/29?
True
Let p = 18 + -14. Suppose 0 = -p*g - 0 - 4, 0 = -4*w + g + 321. Suppose -j - 4*j = -w. Which is smaller: 17 or j?
j
Let p = 7.37 - 7.9. Let q = -6.97 - -6.8. Let d = p + q. Is -1 <= d?
True
Let b = 12404/19 + -653. Let v be (0 - 0)/(-1*2). Is v less than or equal to b?
False
Let l = -113 + 71. Let w = 41 + l. Is w less than -6/23?
True
Let c(h) = 12*h**2 - 10*h - h**3 + 0*h**2 + 10 + 4. Let t be c(10). Let j = t - 1025/9. Which is smaller: 1 or j?
j
Suppose 13*j - 35 = 18*j. Let n be (j - (-84)/9)/(1/3). Which is bigger: n or 20/3?
n
Suppose -2*s - 5*y = -1833, -5*y + y + 20 = 0. Let c be (-2 - -2)/3 + 16292/(-18). Let v = s + c. Which is bigger: -2 or v?
v
Suppose 2*a - 47 + 4 = -5*l, 4*a = -5*l + 51. Which is greater: 8 or l?
8
Let m = 4 - 3.97. Let l = m + 1.97. Suppose -v + 4*v - 9 = 0. Are v and l unequal?
True
Let v = 368 - 3661/10. Which is smaller: v or 1?
1
Let c = -83 + 85. Suppose 0 = z - 5*l - 5, -1 + 3 = -5*z - c*l. Which is greater: z or 1/93?
1/93
Let o = 18 - -42. Let f be -1 - 2 - (-324)/o. Does 0.1 = f?
False
Suppose -7*b = -b + 5*b. Is 2/2143 > b?
True
Suppose -110 = 40*q - 45*q. Which is smaller: q or -2?
-2
Suppose -48 = -2*b + 6*b. Let k be b/6 - 2/(-1). Which is smaller: k or -2/157?
-2/157
Let s = -0.2 - 0.8. Let w = s + 0.9. Let g = -219.3 + 219. Is g at least w?
False
Let o = -16 - 51. Is o at least -67?
True
Let q = 3/2 + -2. Suppose -15*h = -17*h + 28. Suppose -2*k - 5*k - h = 0. Is q bigger than k?
True
Let q = -129 + 140. Suppose -5*n = 4*r - q, 2*n - 2*r + 11 = -n. Let y(u) = -u**2 - 4*u - 1. Let g be y(-4). Is g equal to n?
True
Suppose 0 = -j + 4*j - u - 5, 3*u + 15 = -2*j. Let h = 117130 + -29867951/255. Let k = h - 11/17. Is j bigger than k?
False
Let s = 0.2 + -0.2. Let o = 0.2 - s. Let z = -2/665 - -268/665. Which is smaller: o or z?
o
Let v be (2 - 3) + (-30)/(-38). Suppose 146 = -2*g + 4*p + 172, 2*g = p + 5. Is g greater than or equal to v?
False
Let v be (6/(-3))/(24 - -4 - 5). Suppose -2*o - 9 = -7. Which is smaller: v or o?
o
Suppose 14*o - 21 = 35*o. Which is smaller: o or 4/13?
o
Let p be (-979)/(-5) - 11/((-275)/30). Is 197 != p?
False
Let z be 15/6*(-4)/2. Let i(c) = -c**3 - 5*c**2 - c - 3. Let j be i(z). Let a be (-16)/(-3) - 4/(-6). Is a greater than j?
True
Let k be ((-183)/(-8))/((-33)/(-22)). Let s = k - 15. Which is smaller: 1 or s?
s
Let j = -125.9583 - 0.0417. Which is greater: -2 or j?
-2
Suppose 3 = -5*a - f + 2*f, 3*f + 11 = -5*a. Let k be (-21)/(-28) - (-13)/4. Let d(g) = -g**3 + 5*g**2 - 5*g + 6. Let z be d(k). Is a at least z?
False
Let a = 32 + -13. Is 20 greater than a?
True
Let c be 12/(-54) - (-130)/18. Let x(u) be the second derivative of u**5/20 - 2*u**4/3 + 3*u**3/2 - 15*u**2/2 - 23*u + 2. Let m be x(c). Are m and -14/9 equal?
False
Suppose 7*i - 31 = -10. Suppose 4*t - i = r, -t - 6 = 5*r - 3*r. Let w be 2/(-2)*5 + t. Which is smaller: w or -7?
-7
Let c = 1/3138 - 56495/34518. Suppose 4 = -3*n - n + u, n + 5*u = -22. Is n smaller than c?
True
Suppose -14*p = -12*p + 10. Let f be 2 + 4*p/10. Are f and -4/11 non-equal?
True
Let t be 1/(-6) + (-4)/(-6). Let k = -7.78 - -8.68. Are k and t equal?
False
Let l = -14 - -16. Suppose -2*h - l*t + 152 = 2*h, 4*h + 4*t = 144. Which is bigger: h or 39?
h
Let w be (-10)/(-112) + (-222)/(-42) + -5. Suppose 0 = -o + 3*o + 3*f + 14, 0 = -2*f - 8. Which is smaller: w or o?
o
Suppose 0*p = -p + 3. Suppose 2*b - 7*b - 2*j = -10, -2 = -p*b - 2*j. Suppose -b*l - 9 = -l. Which is smaller: 1/3 or l?
l
Let o be 8*((-1)/(-1))/2. Suppose -2*y + 56 = z, o*y = 3*z + 129 + 3. Let n be 6/y*4/(-1). Which is greater: n or -2?
n
Suppose -136*t + 133*t - 129 = 0. Which is greater: -298/7 or t?
-298/7
Let p = 8 + -5. Let l = 13 - 7. Suppose 9 = l*k - 3*k. Does k = p?
True
Let b be 44958/(-89820) + (-1)/(-2). Let y = b - 14962487/52395. Let d = -285 - y. Which is greater: 1 or d?
1
Let k = -1.5 - -14.5. Let i = -12.8 + k. Are i and -0.8 non-equal?
True
Let s = -0.3 - 0.5. Let g = -0.25 - -2.35. Let w = g - 2.3. Which is smaller: s or w?
s
Suppose -4*t - 3*p - 36 = 0, -1 = 3*t - 4*p + 1. Let h(k) = -k**2 - 10*k - 12. Let x be h(t). Which is bigger: 11 or x?
x
Let u = -29 - -43. Let h = u + -13.94. Let t = -0.16 + h. Which is bigger: t or 0.16?
0.16
Let p be (-14)/(-35) - (-48)/5. Let l(x) = -10*x + 10. Let g(i) = -7*i + 7. Let v(j) = -7*g(j) + 5*l(j). Let o be v(-8). Which is bigger: o or p?
p
Let m be 23*1 - (10 + -12). Suppose 4*g - 25 = -p, -3*g + 10 = 4*p - m. Suppose -l + 1 = -2. Which is smaller: g or l?
l
Let r = 0.046 - 2.346. Let m = r - -29.3. Which is smaller: m or 0?
0
Suppose i - 216 = -3*u, 2*i - 344 - 92 = -2*u. Which is bigger: 220 or i?
220
Let r be -12 + (0/(-3))/(-16). Suppose 0 = -2*w - 1 - 11. Is r bigger than w?
False
Let a = -3/1025 + -75811/13325. Are -7 and a equal?
False
Let v = 77