rent values?
True
Let p = -0.4 - -0.4. Let h = -2 - p. Let d = -1.732 - 0.268. Is h at most as big as d?
True
Suppose 10*g - 159 = -3*q + 7*g, -215 = -4*q - 3*g. Let t = q - 59. Which is bigger: 2 or t?
2
Let o = 2 - 4. Let p = 63 + -47. Let x = p + -18. Is x >= o?
True
Let a(l) = l**2 - 16*l - 63. Let x be a(-5). Suppose -3*c - z = c - 166, 4*c - 3*z - 158 = 0. Are x and c nonequal?
True
Suppose z + 4 = -3*z. Let g(w) = -2*w**2 + 7*w - 1. Let y be g(3). Let d = y + z. Which is smaller: 1/6 or d?
1/6
Suppose 22 - 102 = 4*n. Let j be 4/10 - 432/n. Is j < 23?
True
Let q(w) = w**3 + 2*w**2. Let n be q(-2). Let s be 8/44*3 + n. Which is greater: s or 2?
2
Let x = 16 - 13. Let c be 10/x*(-9)/(-6). Suppose -5*i = 4*y - c, 4*i - 49 = 4*y - 9. Which is bigger: 3 or i?
i
Let h be (-108)/(-1680)*-324 + 2/5. Is h greater than -21?
True
Let z be ((-10)/45*48)/(4/(-6)). Suppose -d + z*d = -75. Suppose -m = 5*h - 0*m + 25, h = 5*m - 5. Is d less than or equal to h?
True
Let a be 702/312 - (-27)/(-12). Let w = 11 + -7. Let c be (w/(-21))/(6/(-7)). Which is bigger: c or a?
c
Suppose 3*h - 77 = -j, 8*h - 3*j - 133 = 3*h. Suppose 0 = w + 3*g - h, -w + 4*w - 4*g = 13. Suppose -9*m + w*m = 16. Is m greater than or equal to -2?
True
Let f = 118.12 - 117. Let m = 0.92 - f. Let n = -3.6 + 4. Which is greater: m or n?
n
Let c = -362.4 - 78.6. Which is smaller: 1 or c?
c
Let r be -1*8*(-1)/(-104). Is r < 1/3?
True
Let s be (-16 + 22)*(-2)/(-4). Suppose s*d = -13 + 10. Is 8/17 at most as big as d?
False
Let v = -1.418 - -1.458. Is -6.9 != v?
True
Let c = -337.2 - -355. Let p = -20.36 - -0.36. Let v = p + c. Which is smaller: -0.1 or v?
v
Let m = 29 - 28. Let z be -22 - -2 - (-4)/(4/m). Is z at most as big as -20?
False
Let i = 387 - 8899/23. Suppose 22*k = 16*k + 126. Suppose -18 = 3*r - k. Which is smaller: r or i?
i
Let z = -0.97 - 55.03. Let d = 55.98 + z. Is d at least as big as -2?
True
Let i(y) be the third derivative of -y**4/24 + y**3/2 + 3*y**2. Let b(z) = -z - 1. Let k(f) = -2*b(f) - i(f). Let s be k(5). Is 15 at least as big as s?
True
Let f = -25128/49 - -1550795/3234. Let j = f - -333/10. Are 1 and j nonequal?
True
Let d be (-45)/6*(6/(-15))/(-2). Let m(i) = i**3 + i - 2. Let x be m(0). Is x <= d?
True
Let k = -1361/8 + 1411/8. Suppose 2*y - 24 = -n - 3*n, -3*y + 15 = -n. Which is bigger: k or y?
k
Let n = 16057/62 + -259. Is -8 greater than n?
False
Let a be 3/8*((-98410)/39)/5. Is a greater than -190?
True
Let v(h) = 15*h - 186. Let f be v(14). Is f at least 220/9?
False
Let d be (4373 + -1)/(-3 - 4 - -16). Let o = 482 - d. Which is greater: -4 or o?
o
Let s = -1592 - -1590. Is 251/5 greater than s?
True
Let o = -2566.87 - -2579. Let t = -0.13 + o. Let q = 10.6 - t. Which is smaller: q or 0?
q
Let s = -0.01 + 3.01. Let z = s - 2.2. Let v = z + -0.9. Is -3/10 > v?
False
Let n = -9 + 17. Let t = 10.323 + -0.323. Let x = t - n. Which is smaller: 2/3 or x?
2/3
Let v(n) = 2*n**2 + 43*n + 25. Let k be v(-21). Which is smaller: 28/9 or k?
28/9
Let z = -1 + -1. Let t = z - -2. Let y = 13/76 - -391/380. Do y and t have the same value?
False
Let l = 18 + 6. Let p = 23 - l. Are -4/9 and p equal?
False
Suppose 0*v - 334 = -2*v - 5*z, -3*z + 6 = 0. Let y be v/(-8)*(-3)/(-9). Which is smaller: -6 or y?
y
Let l be 20/10*(-34)/(-4). Suppose -4*f + b - 2 = -l, 3*f - 17 = -5*b. Let r(u) = -u - 4. Let v be r(-7). Which is bigger: v or f?
f
Let c be (-11)/(-33) + 92176/(-390). Let a = 236 + c. Is -1 >= a?
False
Let p = 6.21 - -0.79. Is p greater than or equal to 23?
False
Let c be (-40033)/21 - (-2 + 4). Let a = c - -1927. Let f = 899/48 - a. Which is bigger: f or -1?
f
Suppose 20*k - 21*k = 1. Is 4/107 less than k?
False
Let l(n) = -4*n**2 - 5*n - 2. Let k be l(-3). Let t(z) = 63*z - 5. Let m be t(2). Suppose -5*h = 2*x + m, 0*h + 8 = -h + 5*x. Is h >= k?
True
Suppose 0 = 5*z + 3*t - 100, -z - 3*t - t + 37 = 0. Suppose 31 = -3*u + 76. Does z = u?
False
Let c(m) = -4*m + 2. Let z be c(3). Let q be (17 + -8)*z/24. Which is greater: q or -4?
q
Suppose -3*m - 3 = 4*n - 0, 3 = 4*n - 3*m. Suppose 2*f = 12, 313*l - 5*f = 309*l - 42. Are l and n unequal?
True
Let j = -466 + 465. Which is smaller: j or -4?
-4
Let x be (0 - -6)*(-14)/(-28). Suppose 4*r = x*f, 2*f + 4*r = f. Which is smaller: -2/5 or f?
-2/5
Let r(n) = -n**2 - 6*n - 8. Let x be r(-2). Is x at least 3/143?
False
Let b be (-20)/(-70) + (-45)/161. Which is bigger: b or 0?
b
Let l = -12 - -39. Let d = l - 24. Let v be 5 + 0/1*-1. Is d at least as big as v?
False
Let l = -759 + 760. Is 1 < l?
False
Let f = 7443083/1010 + 3315/202. Let s = 7433 - f. Let a = s - 47. Is a not equal to 2/5?
True
Let r be 14/2 + 27/9. Let a(j) = j**2 - 9*j - 14. Let b be a(r). Are b and -3 nonequal?
True
Suppose -60*y + 56*y = 104. Let h = y + 25. Which is greater: -7/5 or h?
h
Suppose 4*s + 994 = 5*s. Let j = s - 6946/7. Which is smaller: 3 or j?
j
Let l = 0.049 - 1.055. Let m = -0.006 - l. Do 0.1 and m have the same value?
False
Let l = 9.6 - 359.6. Which is smaller: l or -0.1?
l
Let k = -7 + 15. Let y = k + -12. Let o be 6/8 + 27/y. Which is greater: -9/2 or o?
-9/2
Let g = -6 + 3. Let f be (15/(-10))/(g/(-4)). Let t be 260/(-385) + ((-26)/(-14) - 2). Which is bigger: f or t?
t
Let y = 1.5 + -2. Let t = y + 6.5. Let r = t - 6.2. Which is smaller: r or -3?
-3
Let r(m) = 3*m**2 - 32*m + 20. Let t be r(6). Which is smaller: t or -65?
-65
Let w = -24 + 4. Let s = 19 + w. Which is greater: -4 or s?
s
Suppose -60*i - 385 = 17*i. Which is smaller: i or -7?
-7
Let y = 2.468 - 0.468. Is y at least as big as -0.09?
True
Let q be (0/16)/(3/(-2)*2). Is q bigger than -1/201?
True
Suppose -3*i = -5*u - 31, 21 = -3*u + 6. Suppose -y - 1 = 2*t, -6*t - 23 = -5*y - i*t. Is 2 at least as big as y?
False
Let w(q) = -q**2 + 5*q + 2. Let j be w(5). Suppose 2*a - 4*n + 3*n = 23, 0 = -a + 4*n + 8. Let c be -5 + 10 + 4/(a/(-9)). Do c and j have different values?
False
Let i(r) = 29*r**3 - 12*r**2 - 9*r + 2. Let o be i(-1). Which is smaller: -63 or o?
-63
Let m = -20 + 22. Suppose m = -4*i + 3*i. Is i equal to -2?
True
Let q = -0.156 - -0.296. Which is bigger: q or 6?
6
Let h = 550 - 361. Let m be (-12)/h - (-14)/49. Which is bigger: m or 0?
m
Let w = -1 - -1.1. Let t = 30391.12 + -30391. Which is bigger: t or w?
t
Let b = -556 - -615. Which is greater: b or -2?
b
Suppose -4 = -140*y + 139*y. Which is smaller: 5 or y?
y
Let q(o) = -o**2 + 4*o + 3. Suppose 3*z - f = 13, -2*z + 4*f + 4 = 2. Let b be q(z). Let v = 443 - 443. Is b != v?
True
Suppose 2*t = -7*t - 18. Let m be 36*t/(3 + 11). Is m greater than or equal to -5?
False
Let c be 69*2601/35883 - 5. Is c smaller than 0?
False
Let i be ((-18)/(-3))/((-2)/(-31)). Which is smaller: 96 or i?
i
Let r(z) = z**3 + 19*z**2 + 17*z - 18. Let g be r(-18). Suppose -2*b - 4*i = -10, 5*b - i - 3 = -g*b. Which is greater: -1 or b?
b
Let l = 2401/16 + -150. Let r = 25 - 27. Let j(z) = 4*z + 7. Let x be j(r). Does x = l?
False
Let x = 45 - 26. Let s = x + -18.9. Is s at most as big as 0.9?
True
Let m(k) = 3*k**3 + 8*k**2 + 6*k - 10. Let i be m(-4). Is i not equal to -98?
False
Let c be (3/(-6))/(27/12). Let a be (5035/106)/((-15)/12). Is a less than c?
True
Let u = -21.6 - -1.6. Let t = 0 + 23. Let p = t + u. Which is bigger: -0.1 or p?
p
Let u = -765075691/517380 - -4/129345. Let t = u + 1471. Let a = -6 + -1. Is t smaller than a?
True
Suppose 2*l + 0*l = 4. Let a be l*2 - (0 - -4). Suppose f - 5*f + 8 = a. Is 5 greater than f?
True
Let j(q) = -12*q - 207. Let n be j(-7). Which is smaller: -125 or n?
-125
Let d = -37 - -57. Let h = 0.78 + -0.88. Which is smaller: h or d?
h
Let m = 675 - 752. Is -305/4 at least as big as m?
True
Let m = -542 - -652. Is m <= -0.1?
False
Suppose -10450 = 24*j - 2050. Is -350 greater than j?
False
Suppose -2*g = 4*l + 168, -g + 5 = -2*l + 77. Which is bigger: g or -79?
g
Let f(u) = -4*u**2 + 2*u + 2. Let z be f(2). Let v = -0.1 - 2.4. Let d = -2.4 - v. Which is bigger: d or z?
d
Let m(q) = 4*q**2 + 26*q - 47. Let r be m(-9). Which is smaller: r or 42?
42
Let c be 1/(-2 - (1 + -2)). Let k = -87 - -89. Let a be ((-4)/k)/(8/12). Is c equal to a?
False
Let i = 0.189 - 0.54. Is 1 greater than or equal to i?
True
Let i be 26 - -1 - (-3 - -1). Suppose 2*w - w + 5*o = 8, 5*w + i = -2*o. Suppose 5 + 11 