7. Is r less than or equal to 2?
True
Let a = -0.244 + -0.056. Let t = -3 + 3.2. Is t bigger than a?
True
Suppose 4*v + 5 = 4*r + 21, 0 = 5*v - 3*r - 20. Let z be v/4*(-2)/(-4). Let w = -6 - -6. Is z greater than or equal to w?
True
Let p be 10 - -30 - (0 - -4). Let x be -15*(-8)/p + -3. Suppose 0*r = -4*r + 4. Which is smaller: r or x?
x
Suppose 0 = -2*x + 7*x - 15. Let n = 3 - x. Let i be ((-4)/26)/(2/(-2)). Is i at least n?
True
Let h = 2683/8 - 336. Are h and 0 nonequal?
True
Let i(r) = 4*r**3 + r**2 - 2*r + 2. Let v be i(1). Are 6 and v unequal?
True
Let q be 9/((-180)/(-8))*-60. Is q not equal to -23?
True
Suppose 2*u - 28 = 18. Is 23 smaller than u?
False
Let j(y) = 11*y**3 - y**2. Let l be j(1). Is l greater than 3?
True
Let g = 0 + -3. Let p = g + 2. Is 0.3 at most p?
False
Suppose 10 - 74 = -4*w. Is w greater than 13?
True
Let p be 4 + -2 + 16/(-5). Is -2 at least as big as p?
False
Suppose 3*j = -j. Let u = 4.01 - 4. Let m = -0.09 - u. Which is greater: m or j?
j
Let k be 63*1 - (-12)/3. Let b = k + -341/5. Which is bigger: b or 0?
0
Let x = 0.23 - -1.77. Is x at least 1/2?
True
Suppose 3*k = -4 + 16. Suppose 0 = -0*u + u - 4. Suppose -u*b + 2*b = 0. Which is bigger: b or k?
k
Let p(k) = k - 9*k - k**2 + 2*k**2. Suppose -4*u - 40 = -9*u. Let z be p(u). Do -1 and z have the same value?
False
Let k be (-24)/(-40)*10/(-4). Are 2 and k unequal?
True
Suppose -3*y - 446299 = -5*i - 0*i, -3*i = -2*y - 297532. Let v = y - -8181709/55. Let a = v - -60/11. Is 2 >= a?
True
Let x = 8 + -6. Let p = -5.2 + 7. Let h = x - p. Which is greater: h or 1?
1
Suppose -4 = -f - 16. Let p = f + 8. Let t be ((-3)/42)/((-2)/p). Is 0 at most as big as t?
False
Let n = 3 + -3.3. Let b = 0.3 + n. Let q = 0.2 + b. Are q and 2/3 nonequal?
True
Let d(g) = -g**2 + 7*g - 1. Let f be d(6). Suppose 2*k - f = -3*k. Let a be 0*(9/(-6) + k). Is a bigger than 1?
False
Let i = 39 - 38. Is i at least as big as 105?
False
Let o = 4 - 7. Suppose 16 = -2*v + 3*i, 0*i = -4*v - 2*i. Let m be (6/(-24))/(v/4). Which is smaller: m or o?
o
Let w be (-1 + 8/10)/((-28)/(-385)). Which is smaller: -2 or w?
w
Let m be 4/(-6) + (-4)/3. Let y be (15/(-140))/(1 - 14/16). Is y bigger than m?
True
Let k(y) = -3*y**2 + 1. Let a be k(-1). Let b be a/3*15/(-10). Let z be (-5)/13*(-2)/(-5). Is b smaller than z?
False
Let j = 6 + -6.32. Let v = j + 0.12. Let s = 3 + -2. Are s and v nonequal?
True
Let s(h) = -6*h**2 - 2*h**2 - 9 - 3*h**3 + 2*h**3 - 3*h + 2*h. Let r be s(-8). Which is smaller: 17 or r?
r
Let h = 0.4 - -0.1. Let x = h + -0.3. Let n = 0.3 + -0.5. Is x <= n?
False
Let n = -1.4 + 0.1. Let j = n + -0.4. Which is smaller: -1 or j?
j
Let g = 33 + -23. Does g = -2?
False
Let n = 549/26 + 31/13. Let z = 25 - n. Which is smaller: z or 2?
z
Let a = 3.31 - 0.11. Let r = a - 3. Suppose 5*x + 0*v = -5*v + 20, 4*v - 16 = 5*x. Which is bigger: r or x?
r
Let o = -11 + 6. Let w be (2/4)/((-1)/(-8)). Suppose -x + c = 0, w*x = c - 6*c - 27. Which is bigger: x or o?
x
Suppose -3*d = -2*u - 11 - 23, -5*u - 25 = 0. Suppose 4*z = 12 + d. Suppose -2*n - 2*n + 12 = -4*w, -z*w + 1 = -n. Which is smaller: n or 2?
2
Let d = -36 + 110/3. Which is bigger: d or -1/2?
d
Let l = -5998 - -30198/5. Let q = l + -42. Let k = -0.22 + 0.12. Which is greater: q or k?
k
Let k(v) = 3*v**2 - 3*v. Let w be k(2). Let r = -9 + w. Let s(a) = a**3 + 2*a**2 - 4*a - 2. Let f be s(r). Is f at most as big as 0?
False
Let q be -2 - (2/(-2) - 5). Suppose 4*m - 2*w - 3*w - 60 = 0, 5*m = -q*w + 34. Is m at most 10?
True
Let x be ((-28)/(-35))/((-4)/(-10)). Suppose -x*w - w = 0. Let k = -2 - -2. Is k at most as big as w?
True
Suppose 0 = -2*q + q + 5. Suppose 0*v - q = 5*z + 5*v, 4*v + 11 = 3*z. Let x(k) = k**2 + 2*k - 2. Let r be x(-3). Is z >= r?
True
Let r(u) = 0*u + 2*u - u - u**3 + 5 - 4*u**2. Let b be r(-4). Let h be -1*((-14)/(-4) + -3). Which is smaller: h or b?
h
Let q be 1/28 + 8/(-28). Is 0.1 greater than or equal to q?
True
Let i = -1256/5 - -243. Let j = i - -8. Are -1/2 and j nonequal?
True
Let o = 0.02 - -0.98. Is o > -2?
True
Let p be 21/14*(-28)/(-3). Suppose 2*v - p = 5*k, k = v + 2*v - 21. Which is bigger: v or 0.1?
v
Let t = 0.1 + 0.9. Let d = 1.2 + 0.5. Let p = d - 4.7. Is t less than p?
False
Let y = -18 + 21. Suppose -2*z - 3*n = -9, 4*z - 2*z + 5*n - 15 = 0. Which is smaller: z or y?
z
Suppose 0 = 3*u - 3*r - 24, -13 = -3*u - 4*r + 11. Let i be 5*-4*16/(-40). Is u < i?
False
Suppose -h + 0*h + 4 = 0. Suppose 5*j + 2*a - 8 = 6*a, -5*a - 5 = -5*j. Suppose j*d + 0 - 20 = 0. Which is greater: d or h?
d
Suppose 0*j + 3*j + 2*g = -3, 0 = 2*j + 5*g + 13. Is j at least 4/17?
True
Let d = 52 + -51. Are d and 3/35 non-equal?
True
Suppose -2*r - 3*r + 51 = 3*y, -5*r + 5*y + 35 = 0. Let s be r/30*4/3. Let u(m) = -m**2 + 2*m + 4. Let p be u(3). Are p and s nonequal?
True
Suppose 2*v - 18 = -0*v. Let i be ((-6)/v)/((-8)/(-21)). Is i at most -1?
True
Let m(j) = j**2 + 3*j + 3. Let u be m(-3). Suppose h - 5*t - 36 = -5, 3*t = -15. Suppose u*l = l - h. Is -4 at least as big as l?
False
Let g be 5*1/(-3610)*4. Is g at most 0?
True
Let q be 42/9*(-1)/4. Is -2 greater than or equal to q?
False
Let w = 12 + -14. Is w >= -4?
True
Let u = -46934/15 - -9556/3. Let d = u - 56. Let i be (-6)/20*8/6. Which is bigger: i or d?
d
Let y = -0.27 + 0.17. Which is smaller: 2 or y?
y
Let a(x) = -6*x**3 + x. Let n be a(-1). Suppose 25 = -5*k + n. Let b be k/(-18) + 93/(-297). Is b < 0?
True
Let h = 149 - 85. Let g = h - 511/8. Suppose -4*l + 3 = 7. Which is bigger: l or g?
g
Suppose 0 - 8 = -t. Let x = -6 + t. Are x and 3/4 unequal?
True
Let d be 4/24*2 - 31/(-87). Is d bigger than 0?
True
Let s = -15 + 16. Which is smaller: s or 0?
0
Suppose -2*l + 5*l + 6 = 0. Let c(g) = 5*g**2 + 7*g + 7. Let p(a) = -14*a**2 - 20*a - 20. Let i(t) = -11*c(t) - 4*p(t). Let k be i(l). Which is smaller: 2 or k?
k
Let k = 8 + 0. Suppose 2*b + 10 + k = 0. Are -8 and b unequal?
True
Let i(s) = -4*s - 5 + s**3 - 2*s**2 + 0*s - 2*s**2. Let x be i(5). Suppose x = -4*a + a + 3. Is -3 less than or equal to a?
True
Let j be ((-6)/4)/(2/(-20)). Let z be 6/j + (-14)/10. Which is smaller: 1/5 or z?
z
Let d(q) = -q**2 + 2*q + 14. Let i be d(3). Let x(s) = 10*s**3 - s**2 + s. Let f be x(1). Which is smaller: i or f?
f
Let k be 2 + (-1 - -3 - 3). Let p = -0.6 + 2.6. Which is greater: k or p?
p
Let m = -21 - -17. Which is smaller: -3 or m?
m
Suppose 4*s - 40 = -5*r + 3*s, s = -3*r + 24. Suppose -2*v = -4*v + r. Does 3 = v?
False
Let f be (-9)/6*(-2 - 0). Let b be (-1)/9 + 50/45. Which is smaller: f or b?
b
Let p = -11/2 + 9. Which is smaller: 0 or p?
0
Let o be (-4)/((-56)/18) + -1. Is o greater than -3/2?
True
Let n = 3.4 - 2.1. Let d = 5.3 + -5. Let o = n - d. Which is smaller: o or 0.1?
0.1
Let q be (-52)/(-60) - (-2)/15. Suppose 3*u + 0*o = 4*o - 7, u + 4*o - 3 = 0. Let s be (u + q)/(7/7). Is 2/3 not equal to s?
True
Let y = -0.78 + -0.02. Let d = 3.8 + y. Which is bigger: d or 0?
d
Let f(g) = -7 - 4 + g + 3. Let r be f(6). Is r at most as big as -1/3?
True
Let j = -604 + 6638/11. Let z(n) = n**2 + 6*n - 1. Let t be z(-6). Is t at least as big as j?
False
Let n be ((-15)/(-36))/(3/12). Is 2 greater than or equal to n?
True
Let w = 2.1 + -3. Let x = w + 1. Which is smaller: x or 2/3?
x
Let p = 435 - 438.03. Let j = p - -0.03. Is 0 > j?
True
Let i = -0.04 + -2.76. Let a = -3 - i. Which is smaller: a or 0?
a
Let v = 0.94 - -0.06. Let f = -0.6 + v. Let h = 0.6 + f. Which is smaller: h or 0?
0
Let t be (-1)/2 - (-26)/36. Let x = -9 - -8. Which is smaller: x or t?
x
Let r be ((-6)/(-4))/(2/8). Suppose r + 0 = -3*c. Which is greater: 0 or c?
0
Let r = -4 + 6. Let s(q) = q - 3 - 2*q**2 + 5*q**r - q**3 + 0. Let p be s(3). Which is greater: p or 1/2?
1/2
Suppose -5*s + 0*s = 2*k - 39, 0 = 4*s + 2*k - 30. Let q be 60/s - 4/6. Is q smaller than 6?
False
Let g(t) = -t**3 + 4*t**2 + t - 5. Let j be g(4). Let r be (2 + 11/(-5))/j. Is 1 <= r?
False
Let g be -7 + (-1 - (-9)/3). Let y(p) = p + 2. Let k be y(-7). Do g and k have the same value?
True
Let y = 0.02 + -0.04. Let z = 3.02 + y. Which is bigger: -1 or z?
z
Suppose 4*s = -s. Which is bigger: -1 or s?
s
Let h = -5 - -4. Let o(z) = 2*z - 6. Let b be o(5). Suppose b*j + 5 = -j. Is h bigger than j?
False
Suppose 12*l + 8 = 8. Is -5 >= l?
Fa