rent values?
True
Let f be ((-6)/9)/(10/15). Which is bigger: -2 or f?
f
Let r(v) = -v**2 - 7*v + 8. Let u be r(-8). Is u at most 4/49?
True
Let k be 2/(-9) + (-146)/(-9). Let c = 13 - k. Suppose 0 = y + 2*l + l + 4, 0 = -l. Is y at least c?
False
Let g = -5 - -17. Let l = -2 - -3. Let t be 4/g*l*3. Is t != 1?
False
Let f be ((-2)/52)/(1/(-2)). Is 1 at least as big as f?
True
Let f = -346 + 5186/15. Which is greater: 1 or f?
1
Let i = -0.3 - 2.7. Let z = -24/11 - -2. Which is greater: i or z?
z
Suppose 0 = 5*k + 42 - 12. Let y be ((-2)/(-6))/(k/(-18)). Let r be (-21)/9 + 3 - y. Is r < 0.1?
True
Let h = 0.074 - -2.926. Which is greater: 1.2 or h?
h
Let u be 4*2/(-4) - 4. Let d be u/14 + 36/84. Which is greater: -1/15 or d?
d
Let a(o) = -2 + 2 + 5 - 4 + o. Let v be a(2). Is v at most 1?
False
Let y be (25/28 + -1)*-2. Let w = y + -5/7. Let h be (-11)/14 - (-2)/7. Is w greater than h?
False
Let s = 57 + -81. Does -23 = s?
False
Let j = -0.1 + 0.2. Let m = -82 - -78. Which is bigger: m or j?
j
Let x = -25 - -21. Are x and -1/4 equal?
False
Let m(q) = q**3 - 7*q**2 + 5*q + 7. Let c be m(6). Which is greater: c or -7?
c
Let r = 18 - 18. Which is bigger: -1/13 or r?
r
Let v(f) = f**2 - 3*f - 4. Let u be v(5). Suppose 4*m = 12 + 12. Does m = u?
True
Let d = -2 + 2. Let o = -8 + 2. Which is smaller: o or d?
o
Let k be 4/(-8)*(-4 - -4). Which is smaller: 1/5 or k?
k
Suppose -3*i = -q - 10, -3*i + 10 = 2*i - 5*q. Let j = -7 + 1. Let f = 8 + j. Which is greater: i or f?
i
Suppose -8*q + 4*q + 28 = 0. Which is smaller: 9 or q?
q
Let n be (-2)/7*21/(-3). Let d(y) = -y**3 - 4*y**2 - 5*y - 4. Let b be d(-3). Is b at least n?
True
Let q be (-4)/10 - 154/(-10). Let i(j) = j**3 + 6*j**2 - j - 2. Let o be i(-6). Suppose k - o*k = -q, s + k = 6. Which is smaller: -1/4 or s?
-1/4
Let c = -6 - -9. Suppose 6 - 1 = -t. Let h = t + c. Is -2 > h?
False
Let s be 1009/3 - (-4)/6. Suppose -5*p + 2*k - s = -0*p, -2*p - k - 133 = 0. Let q = p - -605/9. Which is smaller: q or -1/3?
-1/3
Let n = -8 + 8.04. Is n less than or equal to 0.2?
True
Let t = -19925/41 - -486. Is -1 bigger than t?
False
Let j = 465/191 - 335021/5730. Let g = j - -323/6. Are g and -2 equal?
False
Let a = 10 + -6. Suppose 4*f + 6*m - 27 = 3*m, 3*f = a*m - 11. Is f greater than or equal to 3?
True
Let y = 53 + -53. Does y = 2/27?
False
Let x be (8/6 - 2)*-6. Suppose -x*a = -18 - 2. Suppose 2*d - a*d = -9. Is d greater than or equal to 3?
True
Let a = -35 + -28. Let y = a - -443/7. Which is greater: 0.1 or y?
y
Let m = 9.4 - 10. Which is smaller: m or -1/4?
m
Let t = -0.03 - -2.03. Let s = t + -1.8. Let j be -1 + (1 - -3) + -2. Is s greater than j?
False
Suppose -d + 4*d = 48. Which is bigger: 1 or d?
d
Let z be (-5)/(((-1)/(-1))/2). Let b(q) = q + 7. Let s be b(z). Is -3 less than s?
False
Let q(k) = k**2 - 8*k + 1. Let h be q(8). Let i be -9 + 3 + 0 + h. Which is greater: i or -1?
-1
Let h = 102 + -2755/27. Let y = 74/189 - h. Which is smaller: -2/7 or y?
-2/7
Let z(n) = n - 2. Let u be z(2). Let o(w) = w**2 - 12. Let m be o(u). Let b be 1/4 + (-1)/m. Is -1 equal to b?
False
Suppose 2*y = 4*y. Which is greater: y or 1/5?
1/5
Let u be 12/(-7) - 2/(-1). Which is smaller: u or 0.2?
0.2
Suppose 5*z - j - 22 + 9 = 0, 3*z - 5*j - 21 = 0. Is -1/2 > z?
False
Let x = -3 + 2. Let r = -10 + 11. Let s = x - r. Which is smaller: s or -5/4?
s
Suppose 4*s = -2*n - 14, 3*n = s - 9 + 2. Let a(f) = -f**2 - 2*f + 1. Let k be a(n). Which is smaller: k or 0.1?
k
Suppose 60 = -3*d - 4*l + 2*l, -3*d + 5*l = 81. Let w be (0 - 1)/d*-6. Is w > -1?
True
Let o be -1 + 11 - (-1 + 0). Which is smaller: o or 10?
10
Suppose -5*u = -3*f + 29, -4*u - 19 = f - 2*f. Let q = 3 + -3.1. Is u <= q?
True
Let t(f) = -f**2 - 7*f - 1. Let z be t(-6). Suppose -x = -p - z*x - 19, -20 = 4*x. Is 2 at least p?
True
Let o = 13 + -7. Is o at most as big as 3/5?
False
Suppose -2*a = a + 12, 0 = 3*z - 5*a - 8. Let b(x) = -x**2 + 8*x - 10. Let s be b(6). Suppose -i + s*i + 5 = 0. Is z at most as big as i?
False
Suppose 0 = -5*i - 3*n - 79, 3*n - n = 4*i + 72. Let z = 20 + i. Is z <= 9/5?
False
Let d = -72 - -77. Suppose 0*m + 8 = 2*m. Is d greater than m?
True
Suppose 2*j = 2*f - 1464, -2*j + f - 1436 = 6*f. Let n = -8014/11 - j. Which is smaller: n or -1?
-1
Let l(q) = q**3 - 3*q**2 + q - 3. Let z be l(3). Suppose 2 + z = 2*y. Let n(h) = h**2 - h + 1. Let g be n(0). Is g greater than or equal to y?
True
Let v be -3 - (-1)/(21/(-153)). Let a = 10 + v. Is a > -6?
True
Let f = -135/4 - -71/2. Which is smaller: f or 0.1?
0.1
Let k = -0.43 - -0.66. Is 2/5 >= k?
True
Let k = -0.23 + 0.13. Does 4 = k?
False
Suppose 0 = -4*j - 4*b + 72, -3*j - b + 78 = j. Let w be j/(-96) + 2/6. Suppose -9*z + 7*z + 2 = 0. Which is smaller: z or w?
w
Let w(z) = -z**3 - 15*z**2 - z - 18. Let n be w(-15). Let c = 0.04 - 0.14. Are c and n non-equal?
True
Let f be 35/(-3 - (4 - 6)). Is -34 >= f?
True
Suppose j + 25 = 5*v, -2*j - 22 = -3*v - 0. Let l(p) = 2 + 0 + 3 - p**2 - v*p - 2*p. Let b be l(-7). Which is bigger: b or -1?
-1
Let k = 39 + -36. Let z be 2/6*-1*-3. Let o be -2 + (-2 - (z + -7)). Which is smaller: o or k?
o
Let k = -2.5 - 0.5. Let a = -2 - k. Let v be 1 + ((-6)/14 - 0). Is v at most as big as a?
True
Suppose -d = -5*b + 12, 0*b - b = 3*d + 4. Let u be b + (-4 - 0) + 1. Do 2/23 and u have different values?
True
Let h = -4 - -3. Which is bigger: h or -2/419?
-2/419
Let h(i) = -i**3 + 4*i**2 - 2*i + 5. Let z be h(4). Let p = -2 - z. Is p equal to 2/3?
False
Let l(z) = -z**2 + 13*z + 22. Let b be l(15). Which is smaller: 3 or b?
b
Suppose -2*b + 4 = -6*b. Let d(w) = w**3 - 4*w**2 + 4*w - 3. Let l be d(3). Suppose 0 = -2*i - l + 4. Which is smaller: i or b?
b
Let j = 3 - 1. Let p(v) = 2*v + 2 - 2*v**2 + v**3 + 2*v**2 + 2*v**j. Let g be p(-2). Which is greater: -1/4 or g?
-1/4
Let c = 1 - 1. Let f be ((-445)/110 - -4)/(1/12). Do f and c have different values?
True
Suppose r + 0*r = -2*p + 1530, -1530 = -2*p - 2*r. Let x = 8409/11 - p. Which is bigger: x or -1?
x
Let n be (2382/(-27))/(14/(-3)). Let l = -19 + n. Is l greater than or equal to -1?
True
Let g be (-5)/(28/(-8) - -5). Is -4 at most g?
True
Let a = -5.98 + -0.02. Let w = -1 - a. Which is smaller: -2/5 or w?
-2/5
Let v = -1.8 + 2. Let b = 0.2 + 0.1. Let k = -0.1 + b. Is k at most v?
True
Let l be -3*(-3)/(-9) + 12. Is l at least as big as 47/4?
False
Suppose u + 3*u = 2*c - 10, 2*c + 3*u = 17. Suppose -4*h + 4*b - 4 = 0, 8*h - 4*b = 3*h - c. Is h <= -0.1?
True
Suppose 3*r + 9 = 0, r = m + 3*r + 14. Is -10 at most as big as m?
True
Suppose 2*f + 2*f = -8. Do f and 0.04 have different values?
True
Let n be 0 - ((-4)/(-10))/1. Let x = 130 + -227. Let u = x - -483/5. Is n at least as big as u?
True
Let x(j) = j**2 + 7*j - 5. Let l be x(-7). Let b = 7 + l. Is -2 greater than b?
False
Let d = -2356/117 - -282/13. Is 1 at least d?
False
Let j(l) = l + 8. Let p be j(-8). Is -1/90 at most p?
True
Let h = 129/7 + -5554/301. Which is smaller: h or -1?
-1
Suppose 0 = -l + 2*l + 3*f + 6, f + 5 = 0. Let p(c) = -c + 6. Let h be p(l). Let m = 2 + h. Is m bigger than -2/3?
False
Let v(k) = 3*k**3 + 1. Let u be v(1). Suppose 0 = -u*r + 2*r. Suppose 0*h + 2*h - 2 = r. Is 1 > h?
False
Suppose 6 = -12*f + 6*f. Let u be ((-9)/(-7) - 3) + 2. Which is bigger: u or f?
u
Suppose -3*d = 3, 2*d + 23 = 4*t - 7. Which is smaller: t or 8?
t
Let v = 209/268 - 2/67. Is v not equal to 0?
True
Let y(n) = n**3 - 25*n - 1. Let r be y(5). Are -3/22 and r unequal?
True
Suppose -x + 10 - 2 = 0. Are x and 9 equal?
False
Suppose -h = 3 - 4. Which is smaller: 2 or h?
h
Suppose -s = -2 - 0. Suppose -s*f + 4*v + 13 = f, 5*f = v - 1. Which is bigger: 2 or f?
2
Let w(t) = t**2 + 7*t - 55. Let l be w(7). Are 42 and l unequal?
True
Let y(j) = -j + 6. Let m be y(0). Are 5 and m non-equal?
True
Let h(j) = -2*j**2 - 10*j + 12. Let f be h(-6). Is 0 greater than f?
False
Let p = -5/8 + 31/24. Is 0 greater than or equal to p?
False
Let v(y) = -3*y. Let z be v(2). Which is smaller: z or -5?
z
Suppose -3*z = 1 - 19. Let q = 29/115 + -15/23. Is z smaller than q?
False
Let o(x) = -x**3 + 6*x**2 + x + 3. Let a be o(6). Let l = a + -8. Suppose 3*d - 11 = -5. Which is smaller: d or l?
l
Let b = 67 - 69. Which is smaller: -3 or b?
-3
Let j(q) be the third derivative of -q*