7. Let d = 1.2 - v. Is -3 at most as big as d?
True
Let i = 19 + -4. Let l = i - 14.8. Which is smaller: -2 or l?
-2
Let x(p) = -2*p**2 - 3*p + 7. Let r be x(3). Let w = 21 + r. Which is bigger: w or 0?
w
Let k be (-2 - 0)*(3 + (-30)/12). Let a(l) = l**3 + 6*l**2 - 6*l + 8. Let z be a(-7). Let u be z/(-3) + 6/45. Which is smaller: u or k?
k
Let c = 12 + -12.7. Let d = c + 0.73. Let f = 1.03 - d. Is 1/13 equal to f?
False
Let k = -91 + 100.23. Let s = k + -0.23. Are s and 1 equal?
False
Let w be 0/1 - 2 - -5. Suppose -w*m - 2*m - 33 = -2*x, m = -3. Is 10 >= x?
True
Let o be 2/3 + 28/21. Suppose o*y - 8 = -2*y. Let j be (-6)/(-21) - (-38)/14. Is y less than j?
True
Let j = 5.2 + -0.2. Let d = j + -4. Which is bigger: -4 or d?
d
Let h = -19 + 9. Let v be (-2)/6*(-12)/h. Is v < 1?
True
Let a be (15/(-3))/(-5) + -3. Are a and -1 equal?
False
Suppose -l = 8 - 7. Are l and 2/65 nonequal?
True
Suppose z + z - 18 = -3*a, -3*z + 8 = -5*a. Let o = 53 - 38. Suppose o = 3*d - 6. Is z less than or equal to d?
True
Suppose -v = -2*v + o + 2, 0 = -v - 4*o - 13. Let m be (v + 2)/((-3)/6). Let x be 0 - -2 - (-17)/(-6). Is x at least m?
True
Suppose 2*g + 8 = -2*g. Which is smaller: -2.7 or g?
-2.7
Let u = 2.8 + -3. Let x = -41.1 + 38. Let b = 3 + x. Which is smaller: u or b?
u
Let g(l) = -l + 16. Let b be g(17). Suppose 0 = -2*z - 37 - 65. Let y be (-1)/(-4) + z/156. Is y < b?
False
Let o = 27/4 - 191/28. Is 0 <= o?
False
Suppose v = -v. Let l = 1151/3112 + 2/389. Are v and l non-equal?
True
Let o = 0.08 - -2.92. Let l = o - 9. Let h = -5 - -5.1. Is h at most l?
False
Let w(h) = h + 7. Suppose 5 = 2*l + 17. Let m be w(l). Which is greater: 2/7 or m?
m
Let a = 21 + -14. Let r be (a/(-5) + 2)/(-1). Which is greater: -1 or r?
r
Let u = 1.1 + -1. Let v = 2.1 + u. Let m = v + -2. Which is greater: m or -2?
m
Let q(h) = h**2 + 5*h - 7. Let z be q(-11). Is 60 smaller than z?
False
Suppose 0 = -v - 4 + 24. Let w be (6/40)/(5/v). Let l = -2 - -2. Which is greater: w or l?
w
Let a = 119 - 116.98. Let v = -0.02 + a. Let q = 1 + 0. Is q at least v?
False
Let c = 0 - 0. Is c equal to 2/87?
False
Let b(g) = g**3 - 6*g**2 + 4*g + 6. Let m be b(5). Let q = -0.71 - 0.19. Let r = 0.8 + q. Which is bigger: m or r?
m
Let p be (-4 - 0 - -3)*1. Let o(d) = d - 1. Let j be o(-1). Let v be j + (-1 - 1 - -1). Is p greater than v?
True
Suppose 5*o - 18 = -3*k, -2*k - 5 = -7*k. Suppose o = -r, -4*x + 19 = x - 3*r. Let m be ((0 + 1)*-3)/(-1). Which is bigger: x or m?
m
Let n be 86/7 + 12/(-3). Which is bigger: n or 7?
n
Let q(r) = -r + 5. Let k be q(5). Let b be (1 + 3/(-6))*k. Suppose b + 4 = 4*p. Is -1/5 less than p?
True
Let s = 19 - 18. Is s at least as big as 2/19?
True
Let a = -70/51 + 12/17. Which is greater: -1 or a?
a
Let u = -0.11 - 0.89. Let w = -3 + 7. Which is bigger: w or u?
w
Suppose -7*k - 5*i = -2*k + 10, 3*i - 12 = 0. Let m(z) = -z - 7. Let l be m(k). Let o be (-3 - l) + -3 + 5. Which is bigger: o or -0.1?
o
Suppose 0 = 9*a - 0*a + 9. Let h = 39/5 - 283/35. Which is smaller: h or a?
a
Let m = -21/13 + 20/13. Which is smaller: -1 or m?
-1
Let r(v) be the second derivative of -2/3*v**3 + 1/20*v**5 - 1/4*v**4 + 0 + 3/2*v**2 - 3*v. Let g be r(4). Which is bigger: g or -0.1?
g
Suppose z - 3*n + 19 = 0, -51 = 4*z - 5*n - 3. Which is smaller: z or -6?
z
Let p be (-120)/(-297) - (-4)/(-22). Is p at most as big as 0?
False
Suppose 2*t = -20*t - 682. Is -31 bigger than t?
False
Suppose 6*y = 9*y. Suppose y = -4*i - 0 + 4. Which is greater: 2 or i?
2
Suppose 0 = -i - 4*k - 69, -k - k = i + 65. Which is smaller: -62 or i?
-62
Let u = 2/13 - 69/26. Is -4 at most u?
True
Let z = -575/9 + 64. Let f = -2 - -1. Is z greater than or equal to f?
True
Let g = -31271/7 - -4460. Which is smaller: g or -7?
g
Let k be (-24)/6*(-2 + 13/(-2)). Is 35 greater than or equal to k?
True
Let y(a) = a**3 + 8*a**2 - 2*a - 12. Let s be y(-8). Let o = s - 3. Let t be (3/2 - o)*0. Is t equal to -2/3?
False
Let j = -4 + 4. Let d be (-5)/(-85)*(-1 - j). Let q(y) = -y**3 - 2*y**2 - 2*y - 3. Let c be q(-2). Which is smaller: c or d?
d
Suppose 3*x + 1 = 7. Suppose -q - 21 = -5*j + j, x*q = -5*j + 23. Is 1 smaller than q?
False
Let l = 148/145 - 18/29. Is -13 < l?
True
Let r be (-2541)/(-28) + (-1)/(-4). Let s be r/(-77) - 4/(-22). Let u be (-4)/6*3/5. Which is bigger: u or s?
u
Let b = -2 - -1. Suppose 0 = 8*d - 5*d + 3. Is d < b?
False
Let g be (2 + -3)/((-4)/20). Is 6 at least g?
True
Let v = -6 + 7. Let a be (-2)/v + 0/(-5). Is a > -3?
True
Let z be (-2 + -1)*4/(-78). Let f = 5456/274025 + 2/2825. Let d = -204/485 + f. Is z at most as big as d?
False
Let t(d) = 5*d**2 - d + 1. Let a be t(1). Let g be (a/25)/(2/(-15)). Which is smaller: g or 1?
g
Let d be (348/112)/(11/(-8)). Let c = 28/11 + d. Is 0 >= c?
False
Suppose 0 = g + h + 4*h - 16, -3*h + 15 = 0. Let l be g/(-42)*(1 + 1). Let p = 0.1 - 2.1. Which is greater: p or l?
l
Let d = 65 - -12. Is d at least as big as 76?
True
Let a = -0.1 - 0.1. Let t = 5 + -4.9. Let j = t + a. Which is bigger: 0.2 or j?
0.2
Let c be (0/(-3) + 2)*1. Suppose u - 3 = 2*g, -u + 5*g + c = -1. Let z(k) = -3*k. Let m be z(-1). Is m at most as big as u?
True
Let t(z) = -z**2 - 12*z - 10. Let p be t(-11). Let l = 8/31 + 38/93. Which is greater: l or p?
p
Let i = -9 - -7. Let t be ((-1)/2)/((-3)/36). Let d = t - 8. Are i and d unequal?
False
Suppose 3*h + 5*i = 7*h - 22, -4*h = -3*i - 18. Suppose 4 = 3*o + 4*n + 11, 0 = -2*o + 4*n + 22. Is h equal to o?
True
Let a = 217/59 + -2/177. Is a bigger than 4?
False
Let y be -1*-1*(8 - 3). Suppose 7 = h + y. Let p(o) = o**2 - 6*o + 7. Let c be p(5). Is c less than h?
False
Let o be -1 + (-1 - (-1 + 6)). Let g be ((-15)/o + -2)*-4. Which is smaller: 0 or g?
g
Suppose 0 = -2*o + 5 + 13. Is 10 >= o?
True
Let w = 4 - 0. Suppose -6*p + 2*p - 2*f + 10 = 0, 0 = w*p + 3*f - 13. Are -0.4 and p equal?
False
Let u be (-1 + 3)/((-1)/1). Suppose -j + k = -2*k - 3, -3*k = -3*j - 3. Is u less than j?
False
Let o = -10 + 9. Let b be 6/15 - 6/15. Suppose b = -4*f - 16, -f = 2*c + f + 20. Which is greater: c or o?
o
Suppose 3*s = -j + 19, -43 = -7*s + 2*s + 4*j. Which is smaller: 3 or s?
3
Let o(d) = d**2 + 3*d - 3. Let c be o(3). Let f be c*(-2)/12*2. Is -6 less than f?
True
Let n = 3.081 + 0.019. Let z = 3 - n. Let m be 3/4*2/(-6). Which is smaller: z or m?
m
Let v = -1.007 + 0.007. Are v and -2/7 unequal?
True
Let k = -17 - -9. Let j = -7.5 - k. Let r = 0.4 - j. Does -6 = r?
False
Let s = 2.36 + -0.36. Which is smaller: 19 or s?
s
Let f(a) = -1 + 4*a + 4*a + a**2 - 7. Let k be f(-9). Which is greater: -1/6 or k?
k
Let z = -117359/28 + 118079921/28084. Let d = z + -225/17. Let x = d - -196/767. Is x bigger than -0.1?
True
Let x(q) = -8*q**2 + 3*q + 1. Let k be x(-3). Let j = 561/7 + k. Do 0 and j have the same value?
False
Let h = 36 - 51. Is 2 smaller than h?
False
Let o be (-24)/42 + 2 + 0. Is -2 at most o?
True
Suppose -32 = -11*x + 13*x. Let t = 20 + x. Is 4 less than t?
False
Let y = -419/129 + -1/516. Which is smaller: y or -4?
-4
Let v = 10 + 5. Let n = v - 7. Is -0.1 less than n?
True
Let v be 36/(-21) + (-2)/(-1). Are -1/7 and v non-equal?
True
Suppose 3 = k + 2. Let w be 1 + 1 - (-4)/(-2). Suppose -2*r - 7 + k = w. Which is greater: -2 or r?
-2
Let p = -206 - -7827/38. Is p at most as big as 0?
True
Let x = 0.27 - 0.16. Let z = x - 0.05. Is z less than -2/3?
False
Let t = -6 - -9.6. Let s = 0.4 + t. Let y = s + -3.9. Is 2 less than or equal to y?
False
Suppose -r - 3 = -2*r. Suppose -r*p + 4*p = 2. Let m(o) = -o + 1. Let u be m(p). Is -3 at most as big as u?
True
Let g = 23 - 17.98. Let r = g + -0.02. Let o = r - 3. Which is greater: o or -2/3?
o
Let s = 9 + -83/9. Which is smaller: -4 or s?
-4
Let z = -5.5 + 5. Let i = z + 0.4. Let b be (-4)/14 - (0 + 0). Which is bigger: i or b?
i
Let g = -1 - -3. Suppose g*b - 5*l = -21, 4*b + 6 = -l - l. Which is bigger: -4 or b?
b
Let n = 5 - 7. Let o be (-13)/(-6) - (-1)/n. Is o greater than or equal to 2?
False
Suppose l + 3*w + 13 = 0, -3*l - 45 = -3*w + 6*w. Which is smaller: -15 or l?
l
Suppose -5*n + 5 + 0 = 0. Suppose 3*m - n = 3*f + 26, 2*f = -3*m + 2. Let s be 4/18 - (-35)/45. Is m bigger than s?
True
Suppose -1 = 4*z + 3. Let m be (-24)/14 + (-2)/z. Let j(l) = l**3 + 2*l**2 - 4*l - 4. Let p be j(