- -7. Which is smaller: s or -4/5?
-4/5
Let t be 1 - ((-216)/45 + (-2)/10). Is t bigger than 1/11?
True
Let k(i) = -i + 2. Let h be k(0). Let j = h + -3. Is j greater than -2/19?
False
Suppose -48 = 3*q - 7*q. Let o = 29 + -18. Is o >= q?
False
Let m(c) = -c**3 - 6*c**2 - c - 6. Let h be m(-6). Let y be h + (-1 - -2 - 3). Is y >= -1?
False
Let h be (-4)/(-18) + 350/(-360). Is 6 less than h?
False
Suppose -3*w = 4*x - 53, -4*x = -6*w + w + 67. Let l = -18 + w. Which is bigger: -7 or l?
l
Let i = -99 - -89.1. Let u = -6 - i. Let z = u + -4. Which is smaller: 6 or z?
z
Suppose -2*r - 8 = -b, -6 - 14 = 5*r - 5*b. Do -2 and r have the same value?
False
Let v(g) = -g**3 + 5*g**2 + g - 5. Let n be v(5). Let h(o) = o**2 + 7*o + 2. Let p be h(-7). Is n < p?
True
Suppose 5*k + 5*n = -20, 3*n + 7 = -2. Does k = -1/130?
False
Let t(n) = -n**2 - 3. Let i = 6 - 6. Let p be t(i). Which is smaller: p or -2?
p
Let m = 20 + -21. Is m smaller than -4/25?
True
Let o be (-2)/18*-2 + 8/(-198). Let u = -0.1 - -0.2. Which is bigger: u or o?
o
Let w = -12 + 12. Let l = 0.08 + 0.12. Does l = w?
False
Let f = 1.05 + -0.85. Let r = 0.6 + -2.6. Is f smaller than r?
False
Suppose 0 = -d + 5*u - 6, 2*d = 7*d - 5*u - 10. Suppose -3*f + 8 = -4. Do d and f have different values?
False
Let n(v) = v**3 - 3*v**2 - 3*v - 3. Let w be (0/(-3))/(-2 - 1). Suppose w = 2*h - h - 4. Let l be n(h). Is 3 less than l?
False
Let c be 6*(2/4 - 0). Let f be c + 27/(-3) + 1. Is f greater than or equal to -5?
True
Let r be -3 + 5 + 96/2. Suppose -3*z + r = 2*z. Suppose 2*q = 5*d + 10, 0*q - 5*d = 4*q + z. Which is bigger: q or 4/3?
4/3
Let l = 54 - 36. Let m be 14/(-18) + (-4)/l. Is m at most 0.3?
True
Let n = 0 + -7. Let j = -7 - n. Which is smaller: j or 2/3?
j
Suppose 2*b + t = 2, t + 5 - 1 = 0. Suppose 4*a = -5*p + a - 1, 4*p - b*a - 10 = 0. Let r = -1241/10 + 124. Are r and p nonequal?
True
Suppose -5 = -5*a - 2*v + 1, 2*v + 10 = 3*a. Let b = 6 - 1. Let x be a/(-5) + 2/b. Which is bigger: x or -1?
x
Let v = -1662/11 - -151. Let s(r) = -r**2 + 13*r - 1. Suppose -4*o + 22 + 30 = 0. Let z be s(o). Is z bigger than v?
False
Suppose -5*v - 4*f + 5*f = -76, -3*f + 28 = v. Let p = -12 + v. Is 5 < p?
False
Let p = -94.4 - -93. Which is smaller: 0 or p?
p
Let c(q) = 2 + 55*q - 2. Let n be c(-3). Let k be ((-6)/n)/((-1)/(-5)). Which is greater: k or 0?
k
Suppose 4 = g + 2. Let r be (2 - 1)/(-2 + 3). Let k = r + 0. Which is bigger: k or g?
g
Let k = 2 + -2. Let q be ((-54)/(-72))/(3/(-2)). Which is bigger: q or k?
k
Let f = -10 - 16. Let n = f - -76/3. Which is smaller: -2 or n?
-2
Suppose -d + 3 = 0, -4*i - 2*d = -4*d - 6. Suppose 0 = -i*g - g + 4. Which is bigger: g or 0?
g
Suppose 3*z + z + 4 = 0. Let s be z/6 - (-57)/18. Is s equal to 2?
False
Let s be ((-2)/2)/((-3)/(-9)) + 27. Which is smaller: 26 or s?
s
Suppose 45 = 5*c + 3*w - 61, 2*w - 64 = -3*c. Which is greater: c or 21?
21
Let z be 6/(-10) + (-278)/(-480). Do z and 0 have different values?
True
Let f(k) = -3*k + 9. Let n be f(4). Let t(c) = c**3 + 3*c**2 + c + 3. Let v be t(-3). Let b be v/((-2 - -4) + -3). Which is greater: n or b?
b
Let c = -2 - -6. Suppose -5*m = -m + c. Let z = -182 + 1270/7. Which is smaller: m or z?
m
Let n = 49 + -20. Suppose 3*f - 5 = 2*y, 3*y - 4*f = 2*y - 15. Suppose -y*l + 4 = n. Are l and -6 equal?
False
Let m(y) = 48*y**2 - 2. Let q be m(-3). Let v be 8/(-28) + q/35. Is v > 12?
False
Let q(p) = 3*p - 1. Let l be q(-1). Let f = -22 - l. Is -18 at least f?
True
Suppose 0 = -5*k - k + 6. Are k and 4 equal?
False
Let p(i) = i**2 + 13*i - 10. Let c be p(-13). Let v = 9 + c. Suppose 0*s - 4 = 4*s. Is s at most as big as v?
True
Let i = 288817 + -3180135/11. Let c = -286 - i. Is c at least 0?
True
Let d = 4492/399 + 10/133. Let y = 281/24 - d. Which is bigger: y or -1?
y
Let p = -27 + 28. Is p greater than -28?
True
Suppose q = -0*q - g + 22, 3*q = 3*g + 42. Is 18 <= q?
True
Let a(w) = -w**3 - 3*w**2 - w + 1. Let b be a(-1). Is b equal to 2?
False
Suppose -m - m = 0. Let q = m - 1. Let t(a) = -a**2 + 2*a + 1. Let p be t(q). Is p > -3?
True
Let i = -5.4 + 5.1. Are i and -4 nonequal?
True
Let b = 584 - 601. Suppose 46 = -5*v - 34. Which is greater: b or v?
v
Let k be (-3)/(-6) - 11/14. Suppose 3*u = 4*u - 2. Suppose -4 = u*p - 2. Are p and k unequal?
True
Let j be 0/(3*4/12). Which is greater: 4/9 or j?
4/9
Let k = 124 - 136. Is k at least as big as -3/2?
False
Let y = 14.98 - 15. Is 3/5 bigger than y?
True
Let s be 2*(5 - 3)*6. Suppose 13 = 5*o - 3*i, 8 = 4*o + 3*i - s. Let r = o + -4. Is -2 at least r?
False
Suppose 0 = -6*b + 12*b + 7*b. Do 0 and b have the same value?
True
Suppose 2*i - 3*i = 8. Let d = i - -2. Let v be (1 + -2)*(-4)/d. Does 0.1 = v?
False
Let k(z) = -z - 7. Let w be k(-6). Let l be 3/w + 25/9. Let i = 0.1 - 0. Is l less than or equal to i?
True
Let h = -1 - -1.2. Let b = -2.2 - -0.7. Let p = -1.5 + b. Which is greater: p or h?
h
Let n(r) = -r**3 + 8*r**2 + 8*r - 10. Let t be n(8). Let v = t - 376/7. Which is bigger: 1 or v?
1
Let o be 3/(-4) - (-19)/(-12). Suppose -7*z = -3*z + 2*m + 10, 3 = -2*z + m. Let f = o - z. Is 1 < f?
False
Suppose -5*i + p - 8 = 0, -4*i + 0*i = 5*p + 18. Let n be -1*(2 - i) + 1. Which is smaller: n or -4?
-4
Let z = 7 + -6. Let u = -3441/16 + 215. Is u less than z?
True
Let m = 64 - 45. Which is smaller: m or 59/3?
m
Suppose l = 5*c + 2, 4*c - 8 = -5*l + l. Let o be -1*(l/1 - 8). Which is greater: 5 or o?
o
Let c = 40 + -33. Are c and 7 nonequal?
False
Suppose 3*a = -6*a + 90. Suppose -4*p = -p + d - 22, 4*p + 3*d - 21 = 0. Which is smaller: a or p?
p
Let i = 127/4 - 2405/76. Let u be 10/8 + -1 + 15/20. Is u >= i?
True
Suppose 2*y = -a + 1 - 14, 5*y = -3*a - 41. Let d = -10 - a. Is d greater than 6?
True
Let w be (-2)/(1/(-1)) - 0. Suppose -4*t = 2 + w. Let v(q) = -q - 2. Let f be v(-3). Which is smaller: t or f?
t
Suppose 0*r + 2*r = 0. Let d be 6/(-68)*12/9. Is d greater than or equal to r?
False
Suppose 1 + 2 = -4*y - 3*m, -5*y = 2*m + 2. Let z be 4/6 + 13/((-3198)/176). Is y at most z?
False
Let u = 88 - 86. Are u and 0 equal?
False
Let q = -5 - 22. Let s be (-75)/q - (-4)/18. Suppose -d - 4 = -s*d. Is d smaller than 1?
False
Let s(r) = r + 1. Let z(m) = -m - 8. Let w(q) = -2*s(q) - z(q). Let y be w(8). Let a be 2/4*(-3)/3. Which is smaller: a or y?
y
Let g be 1/5 - (-14)/5. Suppose g*x = -z - x + 8, -5*x + 23 = -2*z. Let c = 4 + z. Which is smaller: c or -1/8?
-1/8
Let a(v) = v**2 - 25*v + 19. Let s be a(25). Is s less than or equal to 19?
True
Let z = -22 - -34. Let i = -3/47 - 85/141. Which is greater: i or z?
z
Let g = -6 - -7. Is g greater than or equal to -0.08?
True
Let m(o) = -o**2 + 4*o + 7. Let a(b) = -1. Let v(q) = -q + 4. Let c(f) = -a(f) - v(f). Let k be c(8). Let h be m(k). Is 1 equal to h?
False
Let u = 23 - 33. Are u and 0 unequal?
True
Suppose -4*o - 17 = -3*t, -o + 3*o + 4*t = 8. Which is smaller: o or 1/3?
o
Let m = 1116 + -52446/47. Is m greater than 1?
False
Let p(z) = -z**2 - 13*z - 7. Let i be p(-11). Is i at most as big as 14?
False
Suppose -2*b + 10 = 0, -19 = -a - b + 2. Let x = 31 - a. Suppose -w - 5*s = 3, -5*w - 4*s - x = -3*s. Is w <= -3/2?
True
Suppose -8*g = -11*g + 21. Which is smaller: 41/5 or g?
g
Let n be ((-14)/21)/(17/3). Let b be (1 - 1) + 0/(-1). Is b > n?
True
Let j(n) = 16*n**2 + 60*n + 56. Let f(t) = 3*t**2 + 12*t + 11. Let o(h) = -11*f(h) + 2*j(h). Let v be o(-11). Which is bigger: 3 or v?
3
Let t = -3 + -5. Let w = -11 - t. Which is greater: 0 or w?
0
Let q(u) = u**3 - 5*u**2 - 12*u - 11. Let x be q(7). Which is bigger: x or 1/15?
x
Let f = 1.7 + -1.85. Let q = f + -0.15. Is q >= 2/5?
False
Let n be (-5)/18 - (-1)/2. Is n less than -1?
False
Let z = 3 + -3. Let q = 7 + -16. Let a = q + 9.3. Is a at least as big as z?
True
Let i = 29 - 29. Which is smaller: -3/10 or i?
-3/10
Let i = 107 + -107. Do -9/7 and i have the same value?
False
Let d = 12 - 8. Let z = d - 2. Let c = z + -1. Is c > 2/9?
True
Let q = 11 + -20. Let l = 8.8 + q. Are -1 and l nonequal?
True
Let w(i) = 5*i**2 + 13*i + 7. Let m be w(-7). Let s = m - 802/5. Let v = 3 + -2. Is v not equal to s?
True
Let u = -3 - -3. Let x = u - -3. Is x at least as big as 3?
True
Suppose 2*n + 4 = 0, 2*k + 6 = -n - 3*n. Let s be (-3)/((-6)/(-4)) - -1. Let v be s/((-2)/(-