 0.2. Is f > a?
True
Let h be (-70)/(-15) + (-2)/3. Let b be 2/(-15)*(1 + h). Is 0 < b?
False
Let s = 28 + -27. Is -3/56 at least as big as s?
False
Let r = -7 + 11. Let w be (3 - r)*(-2 - -3). Is w at least -12/11?
True
Suppose 13*p = 14*p. Which is smaller: -2 or p?
-2
Let r(j) = -10 + 5 + j**3 - j**3 - j**3 + 8*j + 2*j**2. Let g be r(5). Let p be (-44)/g + (-2)/4. Which is smaller: 1 or p?
p
Let k = -53 + 160/3. Which is smaller: 24 or k?
k
Let q = 8355/16 - 522. Which is smaller: q or 0?
0
Let n be 0 + 1 + (0 - -2). Suppose n*d + 6 = 0, -g - 6 = 4*d - 0. Are 3 and g nonequal?
True
Let y = 3086/7 + -1345489/3052. Let a be 8465/28776*10 + -3. Let k = y - a. Does -1 = k?
False
Let q = -1.97 + -0.03. Let d = -12.2 - -14. Let z = d + q. Which is smaller: z or 2/5?
z
Let b = -87 - -87.1. Is 7/4 bigger than b?
True
Let y(f) = -3*f**2 + 2*f + 2. Let r(c) = c**2 + c. Let b(k) = 2*r(k) + y(k). Let d be b(5). Which is bigger: d or -2?
-2
Suppose -3*t - 4 = -a + 2*t, 3*t = -4*a + 16. Suppose 0*x + x - 17 = -a*f, 0 = -2*x - 4*f + 18. Which is smaller: x or 0?
0
Suppose v - 66 = 3*v. Does v = -33?
True
Let a = 234/5 - 47. Which is smaller: a or -1?
-1
Let o(h) = -h**2 + 3*h - 2. Let u be o(2). Suppose 3*k + 2*k = u. Let l(r) = -r**3 + r**2 + 2. Let a be l(k). Are a and 5/7 unequal?
True
Let s = 0.015 - -0.385. Is 2/7 > s?
False
Let m be (2/(-5))/(10*(-2)/(-12)). Is m greater than 0?
False
Let c(a) = -3*a**2 + 5*a + 5. Let d(i) = 14*i**2 - 26*i - 26. Let x(v) = 16*c(v) + 3*d(v). Let w be x(2). Let f be (-2)/w*(5 - 7). Is f at most -1?
False
Let r = 10.5 - 1.5. Does 1 = r?
False
Let y be (-40)/(-91) + 2/(-7). Suppose -3*c + 5 + 4 = -2*o, -4*o - 16 = -4*c. Is c less than y?
False
Let m = -1.6 - -0.6. Let q = 3 - 2. Is q bigger than m?
True
Let b = 8 + -8. Let w be 0 + -1 + 10/8. Which is greater: w or b?
w
Let x be (-22)/(-4)*(3 - 1). Let o be (-10)/(-4) + -2 - 189/(-18). Is x <= o?
True
Let q(s) = s - 12. Let n be q(8). Is n > -4?
False
Suppose -6*u + 30 = -11*u. Is u less than -6?
False
Let z = -0.11 + 6.11. Let y = z + -7. Let q = 1 + y. Is -0.2 <= q?
True
Let b be (40/(4/1))/(-2). Let c be (b - 1)/(9/6). Which is smaller: c or -5?
-5
Let j(c) = c**3 + 7*c**2 + 1. Let z be j(-7). Suppose f = z + 3. Suppose 2*w - 16 = -2*w. Is f > w?
False
Suppose 5*z - 10 = -0*z. Suppose 3 = q + z. Which is bigger: q or 0?
q
Suppose 0 = -4*w + 9*w. Let i be (-48)/(-28) - (w + 2). Which is bigger: i or 0?
0
Let n(p) = -p**3 + 2*p**2 + 2. Let h be n(3). Let q(f) = f**3 + 8*f**2 + 6*f - 9. Let s be q(h). Are -3 and s nonequal?
True
Let c = -19 + 46. Is -1 <= c?
True
Let f be (5 + 1)*(2 + -1). Suppose -4*p - 34 = -14, m - 5*p - 32 = 0. Is f bigger than m?
False
Let j(a) = a**2 - 14*a + 16. Let h be j(13). Suppose -h + 9 = 6*t. Which is smaller: 4/9 or t?
4/9
Suppose -h = 3*b - 8 - 10, 0 = -5*h + 2*b + 124. Let z be 0 + 2 - h/14. Let c = 1 - -1. Which is greater: c or z?
c
Let i = -24 - -121/5. Is i less than -3?
False
Let l be (-8)/6 - (-3)/6. Let i(w) = -w**3 + 8*w**2. Let f = 9 - 1. Let v be i(f). Is l greater than or equal to v?
False
Suppose 11*y - 9*y = 12. Is y at least 7?
False
Suppose 2*q = -11 + 9. Is -2/63 <= q?
False
Let g = -1/261 - 1130/261. Is g bigger than 2/5?
False
Suppose 4*m + 32 = -3*j, 0 = 5*m + 2*j - 4*j + 63. Let s = m - -4. Let o = s + 9. Which is smaller: -2/7 or o?
-2/7
Let d = -4 + 0. Let c = -2 - d. Suppose -4*k + 4*y + 2 = -10, 4*k + 3*y = -9. Is c <= k?
False
Let s be (80/110)/(-1*2). Let x be 2 + -3 + 2 + 0. Is x greater than s?
True
Let q be (-30)/70 + ((-101)/(-7) - 2). Is q at least 12?
True
Let n = 2 - 3. Suppose 0 = -2*u + j - 2, -6*j - 4 = -3*u - j. Are n and u unequal?
True
Let r = -38 + 75. Let v = 35.1 - r. Let x = v + 2. Is x != -1/2?
True
Suppose 5 = 5*w + 5*i, -2*w = 3*w + 2*i - 5. Are w and -3/10 equal?
False
Let j = -6.2 - 0.8. Let p = j + 5. Suppose -5*r = -4*b - 4 + 23, -1 = r + 2*b. Is p > r?
True
Suppose 2*t = 6*t - 12. Let u be (-2)/(-4) + t/6. Let r = -1.2 + 0.2. Are r and u equal?
False
Let m(q) = -q**3 + 7*q**2 - 5*q - 3. Let g be m(6). Let w = 9 - 10. Is w at most as big as g?
True
Let t be (2/(-10))/(2/4). Suppose -p - 2*v = 1 + 2, 2*p - 26 = 4*v. Suppose -4*l + l - 5 = -u, -1 = -p*l - 3*u. Which is greater: l or t?
t
Let w = 45/7 + -170/21. Let t(z) = z + 4. Let i be t(-5). Is w equal to i?
False
Let t be (-111)/(-39) + 1*-3. Which is bigger: t or -2?
t
Let n = -0.1 - -0.2. Let b = 11 - 113/10. Is b equal to n?
False
Let s = 151 + -2871/19. Suppose 7 = -d + 2. Let w = d - -5. Is s < w?
True
Let o be 82/4 - 7/14. Let p be 51/30 - 4/o. Which is greater: 2 or p?
2
Let a(x) = x**2 - 8*x + 16. Let h be a(4). Which is smaller: h or -1/10?
-1/10
Let h(f) = -f**2 - 2*f - 1. Let y be h(-1). Suppose -4*c + y*c = 8. Let t be (-1)/1 - (-1)/c. Are -2 and t equal?
False
Let r = 419/11 - 37. Does 1 = r?
False
Let f(u) = u - 4. Let c be f(5). Let t be (-3*1)/(c/1). Suppose 3*p - 3*m + 2*m + 6 = 0, 5*m - 15 = 0. Is t equal to p?
False
Let q = 5.8 - 2. Let n = 4 - q. Is n less than 0.1?
False
Let y(i) = i. Let b be y(2). Let w(j) = j - 4. Let t be w(6). Is b >= t?
True
Suppose 3*q - 2*m = -2 + 4, 0 = q - 5*m + 8. Let w(u) = -u - 4. Let b be w(-7). Which is smaller: q or b?
q
Suppose -7*t + 5*t = 0. Is -2/5 equal to t?
False
Let l = -1/124 - 243/620. Let p = 26/51 - 3/17. Does l = p?
False
Let d be ((-542)/(-6))/1*-3. Let p = d - 34. Let t = p - -1532/5. Which is smaller: 1 or t?
1
Let f = -26 + 27. Is f less than -2/27?
False
Let s be (-2)/(-10) - (-5855)/(-1400) - -4. Which is smaller: s or 1?
s
Let g be (-5578)/11*(-6)/51. Let y = g - 642/11. Let z = y + -47/102. Do 1 and z have different values?
True
Suppose -3*q - 29 = -6*h + h, -q = -4*h + 26. Is 6 bigger than h?
False
Let o = -147 + 148. Is -1 > o?
False
Let c = 15 + -12. Suppose -i - c*i - 24 = 0. Is i smaller than -6?
False
Let o be 16/(-44)*(-4)/8. Suppose 3*u = -3*b - 18, -4*b - 4*u - 9 = -3*u. Is b <= o?
True
Let c be 54/11 - 14/(-154). Are 4 and c nonequal?
True
Let n = 7.4 + -8. Suppose 4*h = 6*h. Suppose o + 5 = -h, 0 = 2*u - 3*o - 13. Is n >= u?
True
Let h be 0*(-3 + (-7)/(-2)). Suppose 6 = 2*u + 3*a, 2*a + 3*a + 3 = u. Let b = u + -2. Which is greater: b or h?
b
Let p = 0.109 + 0.091. Let m(u) be the third derivative of -u**6/120 - u**5/20 + u**4/24 + 2*u**2. Let a be m(-3). Which is greater: p or a?
p
Let t(w) = 2*w - 3. Let a(j) = -3*j + 6. Let x(o) = 3*a(o) + 5*t(o). Let q be x(-4). Suppose -l + 8 = 3*l. Is l at most as big as q?
False
Let c = 755 - 1333. Let d = c - -569.98. Let y = d - -0.02. Is y < 0?
True
Let x(n) = n**3 - 3*n**2 + 2*n - 1. Let h be x(2). Let k be ((-2)/(-4))/(h/(-6)). Let g = -5 + k. Is g <= 0?
True
Let c = -583347/245 + 2381. Which is greater: c or -1?
c
Let p(n) = n**2 - 3*n - 1. Let d be p(3). Let t be 1 - (0 - (-1 + d)). Which is smaller: t or 3/8?
t
Let v be 70/8*(-84)/10. Let g = 75 + v. Is g bigger than 3?
False
Let y be (17 - -1)*(-16)/(-24). Let m be (y/9)/(2/(-6)). Which is smaller: m or -3?
m
Let i = -7 - 1. Let s = -6 - i. Which is smaller: 3 or s?
s
Let r = 55 - 54.99. Are -0.1 and r non-equal?
True
Suppose 318 = -3*s + 327. Suppose -4*h - v + 12 + 52 = 0, -3*h + 57 = 3*v. Suppose -t - 4*t + h = 0. Is s at least as big as t?
True
Let q(v) = -v**3 - 7*v**2 + 3*v + 24. Let w be q(-7). Is w greater than or equal to 7?
False
Let x be 24/(-9)*(-9)/(-3). Let t be (-94)/14 - 6/21. Let u be (-9)/t + (x - -7). Which is greater: -1 or u?
u
Suppose 5*r - 149 - 41 = 0. Which is smaller: 37 or r?
37
Let n be (3 - -1 - 2)/(-2). Suppose 4*t - 10 - 6 = 0. Suppose 5*r - h = -t, 0*r - 2*r - 3*h = -12. Is r greater than n?
True
Let v = 1 + -1.03. Let q = v + -0.97. Let c = 0.7 - 1. Which is smaller: c or q?
q
Suppose 2*t = 5 + 1. Suppose j - t*q + 3 = -2*j, 2*j + 2*q + 2 = 0. Let f be -1 - (j - (1 + -2)). Which is greater: -2/13 or f?
-2/13
Let f = 22 + -30. Is 1 at least f?
True
Let x(j) = -12*j**3 - j**2. Let r be x(-1). Suppose 0 = -5*q - c - r, 2*c + 8 = -3*q - 0*q. Which is bigger: -7/5 or q?
-7/5
Let w = 41/14 - 3/7. Suppose -3*s = -3*b - 72 - 9, 4*s = 3*b + 105. Suppose -a - 16 = 5*p, a + s = 4*a - 3*p. Which is smaller: w or a?
w
Suppose -4 = -2*w - 2*w. Which is smaller: 2/5 or w?
2/5
Suppose 0 = g + 2*g - 24. Is g < 9?
True
Suppose -5*k 