Suppose 0*f - f = k - 16, 3*f = 4*k - 71. Suppose 6*i + 2*s - k = i, 2*i + 3*s - 9 = 0. Suppose -3*h + d = 3, -4*d = h - i*d + 5. Are h and -4 unequal?
True
Let a(s) = -3*s + 0*s - 2 + 2*s. Suppose 0 = 5*j + 3 + 12. Let d be a(j). Which is smaller: d or 2/5?
2/5
Let o be -3 - (-5 + -1 + 3). Which is smaller: o or -2/17?
-2/17
Suppose -5*l - 2 - 3 = 0. Which is greater: l or -3/38?
-3/38
Suppose -s - d = 1, 2*s + 9 = 2*d + 3*d. Suppose 0 = -3*t + 4*t + 9. Let f be (t/(-6))/((-6)/8). Is f not equal to s?
False
Let o(x) = -x**3 - 3*x**2 - 17. Let p be o(-4). Is -12/13 bigger than p?
True
Let p = 0.64 - 2.64. Let y be -1 + 0 - (-1 - 2). Is y greater than p?
True
Let s = -6.7 + 6. Let c = -0.8 - s. Which is greater: 2 or c?
2
Suppose 0 = -3*h + 8*h - 135. Which is greater: h or -1?
h
Let p(q) = -q**3 - 3*q**2 + 4*q + 4. Let l(t) = -t**2 + t - 2. Let s be l(2). Let o be p(s). Suppose 0 = 2*v + 6, 3*c + 0*c = o*v. Which is smaller: c or -7/2?
c
Let f = -44 - -46. Which is smaller: f or 7?
f
Let f = -48.1 - -130. Let p = f - 78. Let j = p + -4. Is 3/2 >= j?
True
Let g(m) = m**2 - m - 3. Suppose 0 = -3*y - 1 + 4. Let v = y - 1. Let f be g(v). Is f less than -5?
False
Let t = 2.5 + -2. Let a = 0.7 - t. Which is smaller: 2 or a?
a
Let z be (-2)/(-6)*66/14. Let j = z - -13/14. Is j less than or equal to 3?
True
Let s(t) = t**2 + 2*t. Let z be s(-2). Let y be -34 - (-3 + 1)*1. Let c be (-2)/7 + y/84. Does c = z?
False
Let r = 77.8 - 78. Which is smaller: r or -1/11?
r
Let q(h) = -15*h + 24. Let d be q(3). Is -20 >= d?
True
Let l be ((-3)/2)/((-3)/2). Let a be (2 - 3)*(-11 + l). Suppose d - a = -d. Do d and 5 have the same value?
True
Suppose -3*j + 28 = -7*j. Let q be 20/(-5) + (-24)/j. Which is greater: -2/5 or q?
-2/5
Suppose 0 = -t + p + 76, -4*p + 197 + 75 = 4*t. Which is smaller: t or 73?
t
Let y(g) = 4*g - 9. Let c be y(6). Suppose 0 = -3*f + 2*f - 3*u + 10, 4*u = -3*f + c. Suppose 0 = -2*b - 0*b. Is f at most as big as b?
False
Let b = 12 + -11. Is b <= 0.03?
False
Suppose 0 = 5*s - s. Let a = 2/55 - 136/715. Which is greater: a or s?
s
Let l = 19.1 - 21. Let z = l - -2.1. Are z and 6 equal?
False
Suppose -4*v = -53 + 17. Is 9 not equal to v?
False
Let t = 9 - -45. Which is smaller: t or 56?
t
Let s be 2/(-14)*(-1 + -1). Is -1/27 bigger than s?
False
Let p be (2/(-4))/((-2)/4). Let b be 1*5/((-20)/(-16)). Let l be b/6 - 34/42. Which is bigger: l or p?
p
Let q be 12 - 4 - (2 + -3). Suppose -8*z - q = -5*z. Which is smaller: -7/2 or z?
-7/2
Suppose 5*o + 12 = 4*f - 2*f, -36 = 5*f + 4*o. Which is smaller: f or 0.3?
f
Let g = 202 + -5052/25. Do g and -1 have different values?
True
Suppose 4*o + 2 = 5*o. Let f be (-1)/o + (-18)/(-4). Suppose f*b + b = 5. Is b less than or equal to 1/5?
False
Let t be -1 + -10 + (-68)/(-17). Which is smaller: -8 or t?
-8
Suppose 5 = 5*l + 15. Let p be (-2)/7 - (-4)/14. Are p and l nonequal?
True
Let m(u) = u**3 + 7*u**2 - 9*u - 4. Let v be m(-8). Suppose 4 = v*k + 48. Does k = -10?
False
Let l be 4/22 + 117/(-99). Are 1/11 and l nonequal?
True
Let v = 2 + -1. Let l = v - 0.9. Is l smaller than 1?
True
Let a = -16 - -21. Suppose 0 = -7*o + 2*o + a. Which is greater: o or -5?
o
Suppose 0*t + 3*t = 6. Let d be 2/(-10) - (-17)/85. Which is greater: d or t?
t
Let f = 7 + -5. Let l(i) = -i**3 + 2*i**2 + i - 2. Let q be l(f). Suppose q = -3*r - h - 18 + 8, 0 = -5*r + h - 6. Is -5/6 >= r?
True
Let t = 0.1 + -0.1. Let r = t + -0.2. Let d = -633/5 + 127. Is r equal to d?
False
Let w(x) = x**3 - 11*x**2 + 11*x - 9. Let j be w(10). Is j > -0.6?
True
Let q be 3/9 + (-29)/(-3). Let p = -7 + q. Suppose -p*a = 5*g - 25, g = -4*a + 11 + 11. Is 2 at least g?
True
Suppose 0 = 3*z - 0*z - 3. Let n be 4*(-2 + (-207)/(-102)). Which is greater: n or z?
z
Let q be (6/(-8))/((-2)/(-8)). Let r be (-3)/(-14)*(-4)/q. Let m be ((-5)/(-15))/((-2)/6). Is m bigger than r?
False
Let g be 318/(-54) - 1*3/(-9). Is -5 at most g?
False
Suppose -11*u + 5 = -6*u. Is u bigger than 28?
False
Suppose 5*p - 13 = n, 3*p - 5*p = -2*n - 2. Suppose -3*r - 1 = 4*c, -c - n*r = 2*c. Let w be (c/(-8))/(9/8). Is w smaller than 0?
True
Suppose -2*g - 2*g - 10 = 2*o, -3*o + g - 15 = 0. Which is smaller: o or -2?
o
Let k(n) = -2*n - 9. Let q be k(-6). Let z be (1/q)/(2/30). Suppose -f + 5 = -4*o - 4, z = 3*f - o. Do 0 and f have the same value?
False
Let y(d) = 11 - 2*d**2 - 2*d - 8*d + 2*d + d**2. Let u be y(-9). Let r(j) = -2*j**2 + 3*j - 1. Let m be r(u). Which is greater: m or -2?
-2
Let z(l) = -2*l + 4. Let y be z(0). Do y and -2/5 have the same value?
False
Suppose -4*b + 25 = -3. Do 23/3 and b have the same value?
False
Suppose 0 = 4*v, -6*v - 85 = 5*s - 3*v. Suppose 16 = -73*b + 72*b. Which is greater: s or b?
b
Let s = 2.28 + -2.31. Let p = -1.1 + 2. Let v = -1 + p. Do s and v have different values?
True
Suppose -3*c - 6*c = -9. Which is smaller: -0.06 or c?
-0.06
Let f(x) = -4*x**2 + x - 1. Let w be f(1). Let k be (9/3 - 1) + w. Is -8/5 at least as big as k?
True
Let v(f) = f + 5. Let n be v(0). Suppose -n*b - 2 = -42. Which is smaller: 9 or b?
b
Let q = 13 + -9. Suppose -2 = 2*l + q. Suppose -2*i - 3*o + 15 = -7*i, 2*i + 2*o + 6 = 0. Is l greater than i?
False
Suppose -9*q - 423 = -0*q. Which is bigger: -46 or q?
-46
Let y = -1/10 - 1/10. Which is smaller: y or 1?
y
Suppose -5*y - 24 = -7*y. Suppose 4 = -4*z + y. Which is smaller: z or 1?
1
Let t = 0 + 1. Let z = 556/245 + -78/35. Let o = -43/147 - z. Which is smaller: t or o?
o
Suppose 5*u + 31 = -2*h + 4*h, -3*u = 5*h. Suppose -5*d + h*d = 2. Are d and -2/9 nonequal?
True
Let w = 4 - 4. Which is smaller: -0.6 or w?
-0.6
Let h = 235/2 - 115. Let a = h + -2. Suppose 5 = 5*s - 5*q, -1 = 5*s + q - 0*q. Which is smaller: s or a?
s
Let s be 28/(-6)*(-9)/(-6). Is -6 >= s?
True
Suppose 6*w + 8 = 10*w. Let y(b) = b - 3*b**2 + b**3 - 2*b + 2*b**2 - 1. Let m be y(w). Is 2 > m?
True
Let v(r) = -2*r - 6. Let l be v(-4). Let n be ((-2)/6)/(l/6). Let c be (n - -1)*1 - 0. Is -1 at most as big as c?
True
Let j = 67 - 42. Suppose -3*p + 3 + 12 = -3*g, 4*p - j = 5*g. Suppose 0 = 2*u - p*u - 2. Which is smaller: u or 2?
u
Let q(w) = w - 6*w + 2*w**2 - 6*w**2 + w**3. Let k be q(5). Which is bigger: k or 1/2?
1/2
Let y be 6/27 - (-34)/9. Let g be 5/((2 - 0)/10). Suppose -y*s - 5*z + g = 0, 2*s - 5*z = -13 - 12. Which is bigger: s or 1/4?
1/4
Suppose -x + 5*i = 12, -x - 3*i - i + 15 = 0. Suppose -3 = -x*u + 3. Suppose q - u = -q. Is 2 at least as big as q?
True
Let w be 4 - (-4 + (-4 - 11/(-1))). Which is smaller: w or 2/371?
2/371
Let f be 2/(-7) + (-4)/(-14). Let b = 312/755 + -2/151. Which is smaller: b or f?
f
Let h be ((-188)/(-926))/((-14)/20). Let k = 2/463 + h. Is k <= 0.1?
True
Let x be 4/((-156)/(-45)) + -1. Let h = -4 - -5. Does x = h?
False
Let a(n) = 4*n**2 - n. Let x be a(-1). Suppose x*w - 6 = 2*w. Let p = -0.03 - 0.07. Is w at most as big as p?
False
Suppose -4*q - q = 55. Let f = q + 9. Which is greater: f or -3/4?
-3/4
Let y be 665/245 + (-9)/(-7) + -1. Which is smaller: y or 0.1?
0.1
Suppose q = -5*q - 108. Which is smaller: -17 or q?
q
Suppose -3*x = -2*q - 10, x + 0*x - 3*q = 15. Suppose -2 = -r, -2*v + 1 + 1 = -r. Suppose 2*s = -4*g + 5*g - 7, 8 = v*s + 4*g. Is s bigger than x?
False
Let g = -2 - -1. Let j = -1 - g. Let w = -259/3 + 85. Is j < w?
False
Suppose 4*b = -2*b - 168. Let g = b - -83/3. Which is bigger: g or 1/4?
1/4
Let m(k) = -17*k + 32. Let t(r) = -11*r + 21. Let w(d) = 5*m(d) - 8*t(d). Let i be w(4). Which is smaller: i or 0.1?
0.1
Suppose 0 = -2*f - 2*k - 2*k - 6, -k = -5*f + 18. Suppose -2*m - 6 = 5*u, 4*m + f*u + 10 = -2. Do -4 and m have the same value?
False
Let h = 142 + -136.1. Let v = -2 - -8. Let y = v - h. Is -2 > y?
False
Let c = 721 - 716.89. Let v = c - 0.11. Let x = 65 - 65. Which is bigger: v or x?
v
Let v = -3 - -3. Suppose -f - 5*i = 23, 3*f + 0*f - 21 = 3*i. Let u = v - f. Is -2/3 smaller than u?
False
Let x be -1*(-1)/(-1) - -8. Let c(b) = b**2 - 7*b + 10. Let h be c(x). Suppose -g = -2*s + g - h, 2*g = -s - 2. Is -4 less than or equal to s?
True
Let u = -0.112 + -6.788. Let y = u - -7. Which is smaller: y or 0.5?
y
Suppose u - 2*v = 2*u + 1, 2*v = -3*u + 9. Suppose 0 = -5*l - 2*g - u, 5*g = l + g - 21. Let o be (2 + -2 - 0)*l. Are o and 4/5 equal?
False
Suppose -16*v = -20*v 